title: Creative Quantum Computing: Inverse FFT, Sound Synthesis, Adaptive Sequencing and Musical Composition

abstract: Quantum computing is emerging as an alternative computing technology, which is built on the principles of subatomic physics. In spite of continuing progress in developing increasingly more sophisticated hardware and software, access to quantum computing still requires specialist expertise that is largely confined to research laboratories. Moreover, the target applications for these developments remain primarily scientific. This chapter introduces research aimed at improving this scenario. Our research is aimed at extending the range of applications of quantum computing towards the arts and creative applications, music being our point of departure. This chapter reports on initial outcomes, whereby quantum information processing controls an inverse Fast Fourier Transform (FFT) sound synthesizer and an adaptive musical sequencer. A composition called Zeno is presented to illustrate a practical real-world application.


title: Reducedness of formally unramified algebras over fields

abstract: We prove that under suitable graded and local hypothesis, a formally unramified algebra over a field must be reduced. We detail examples, including one due to Gabber, to show that it is not possible to generalize these results further.


title: Even-odd conductance effect in graphene nanoribbons induced by edge functionalization with aromatic molecules: Basis for novel chemosensors

abstract: We theoretically investigate the electron transport in armchair and zigzag graphene nanoribbons (GNRs) chemically functionalized with p-polyphenyl and polyacene groups of increasing length. Our nearest-neighbor tight-binding calculations indicate that, depending on whether the number of aromatic rings in the functional group is even or odd, the resulting conductance at energies matching the energy levels of the corresponding isolated molecule are either unaffected or reduced by exactly one quantum as compared to the pristine GNR, respectively. Such an even-odd effect is shown to originate from a subtle interplay between the electronic states of the guest molecule that are spatially localized on the binding sites and those of the host nanoribbon. We next generalize our findings by employing more accurate tight-binding Hamiltonians along with density-functional theory calculations, and critically discuss the robustness of the observed physical effects against the level of theory adopted. Our work offers a comprehensive understanding of the influence of aromatic molecules bound to the edge of graphene nanoribbons on their electronic transport properties, an issue which is instrumental to the prospective realization of graphene-based chemosensors.


title: Curvilinear one-dimensional antiferromagnets

abstract: Antiferromagnets host exotic quasiparticles, support high frequency excitations and are key enablers of the prospective spintronic and spin-orbitronic technologies. Here, we propose a concept of a curvilinear antiferromagnetism where material responses can be tailored by a geometrical curvature without the need to adjust material parameters. We show that an intrinsically achiral one-dimensional (1D) curvilinear antiferromagnet behaves as a chiral helimagnet with geometrically tunable Dzyaloshinskii--Moriya interaction (DMI) and orientation of the N\'{e}el vector. The curvature-induced DMI results in the hybridization of spin wave modes and enables a geometrically-driven local minimum of the low frequency branch. This positions curvilinear 1D antiferromagnets as a novel platform for the realization of geometrically tunable chiral antiferromagnets for antiferromagnetic spin-orbitronics and fundamental discoveries in the formation of coherent magnon condensates in the momentum space.


title: Demonstrating 100 Gbps in and out of the public Clouds

abstract: There is increased awareness and recognition that public Cloud providers do provide capabilities not found elsewhere, with elasticity being a major driver. The value of elastic scaling is however tightly coupled to the capabilities of the networks that connect all involved resources, both in the public Clouds and at the various research institutions. This paper presents results of measurements involving file transfers inside public Cloud providers, fetching data from on-prem resources into public Cloud instances and fetching data from public Cloud storage into on-prem nodes. The networking of the three major Cloud providers, namely Amazon Web Services, Microsoft Azure and the Google Cloud Platform, has been benchmarked. The on-prem nodes were managed by either the Pacific Research Platform or located at the University of Wisconsin - Madison. The observed sustained throughput was of the order of 100 Gbps in all the tests moving data in and out of the public Clouds and throughput reaching into the Tbps range for data movements inside the public Cloud providers themselves. All the tests used HTTP as the transfer protocol.


title: Energy-Aware DNN Graph Optimization

abstract: Unlike existing work in deep neural network (DNN) graphs optimization for inference performance, we explore DNN graph optimization for energy awareness and savings for power- and resource-constrained machine learning devices. We present a method that allows users to optimize energy consumption or balance between energy and inference performance for DNN graphs. This method efficiently searches through the space of equivalent graphs, and identifies a graph and the corresponding algorithms that incur the least cost in execution. We implement the method and evaluate it with multiple DNN models on a GPU-based machine. Results show that our method achieves significant energy savings, i.e., 24% with negligible performance impact.


title: Effect of boundary condition on Kapitza resistance between superfluid $^{3}$He-B and sintered metal

abstract: Understanding the temperature dependence of thermal boundary resistance, or Kapitza resistance, between liquid helium and sintered metal has posed a problem in low temperature physics for decades. In the ballistic regime of superfluid $^{3}$He-B, we find the Kapitza resistance can be described via scattering of thermal excitations (quasiparticles) with a macroscopic geometric area, rather than the sintered metal's microscopic area. We estimate that a quasiparticle needs on the order of 1000 collisions to successfully thermalise with the sinter. Finally, we find that the Kapitza resistance is approximately doubled with the addition of two mono-layers of solid $^{4}$He on the sinter surface, which we attribute to an extra magnetic channel of heat transfer being closed as the non-magnetic solid $^{4}$He replaces the magnetic solid $^{3}$He.


title: Bayesian Fusion for Infrared and Visible Images

abstract: Infrared and visible image fusion has been a hot issue in image fusion. In this task, a fused image containing both the gradient and detailed texture information of visible images as well as the thermal radiation and highlighting targets of infrared images is expected to be obtained. In this paper, a novel Bayesian fusion model is established for infrared and visible images. In our model, the image fusion task is cast into a regression problem. To measure the variable uncertainty, we formulate the model in a hierarchical Bayesian manner. Aiming at making the fused image satisfy human visual system, the model incorporates the total-variation(TV) penalty. Subsequently, the model is efficiently inferred by the expectation-maximization(EM) algorithm. We test our algorithm on TNO and NIR image fusion datasets with several state-of-the-art approaches. Compared with the previous methods, the novel model can generate better fused images with high-light targets and rich texture details, which can improve the reliability of the target automatic detection and recognition system.


title: Continuum mechanics of media with inner structures

abstract: We propose a geometrical approach to the mechanics of continuous media equipped with inner structures and give the basic (mass conservation, Navier-Stokes and energy conservation) equations of their motion.


title: Survey of planetesimal belts with ALMA: gas detected around the Sun-like star HD 129590

abstract: Gas detection around main sequence stars is becoming more common with around 20 systems showing the presence of CO. However, more detections are needed, especially around later spectral type stars to better understand the origin of this gas and refine our models. To do so, we carried out a survey of 10 stars with predicted high likelihoods of secondary CO detection using ALMA in band 6. We looked for continuum emission of mm-dust as well as gas emission (CO and CN transitions). The continuum emission was detected in 9/10 systems for which we derived the discs' dust masses and geometrical properties, providing the first mm-wave detection of the disc around HD 106906, the first mm-wave radius for HD 114082, 117214, HD 15745, HD 191089 and the first radius at all for HD 121191. A crucial finding of our paper is that we detect CO for the first time around the young 10-16 Myr old G1V star HD 129590, similar to our early Sun. The gas seems colocated with its planetesimal belt and its total mass is likely between $2-10 \times 10^{-5}$ M$_\oplus$. This first gas detection around a G-type main-sequence star raises questions as to whether gas may have been released in the Solar System as well in its youth, which could potentially have affected planet formation. We also detected CO gas around HD 121191 at a higher S/N than previously and find that the CO lies much closer-in than the planetesimals in the system, which could be evidence for the previously suspected CO viscous spreading owing to shielding preventing its photodissociation. Finally, we make estimates for the CO content in planetesimals and the HCN/CO outgassing rate (from CN upper limits), which we find are below the level seen in Solar System comets in some systems.


title: A Survey of Behavior Trees in Robotics and AI

abstract: Behavior Trees (BTs) were invented as a tool to enable modular AI in computer games, but have received an increasing amount of attention in the robotics community in the last decade. With rising demands on agent AI complexity, game programmers found that the Finite State Machines (FSM) that they used scaled poorly and were difficult to extend, adapt and reuse. In BTs, the state transition logic is not dispersed across the individual states, but organized in a hierarchical tree structure, with the states as leaves. This has a significant effect on modularity, which in turn simplifies both synthesis and analysis by humans and algorithms alike. These advantages are needed not only in game AI design, but also in robotics, as is evident from the research being done. In this paper we present a comprehensive survey of the topic of BTs in Artificial Intelligence and Robotic applications. The existing literature is described and categorized based on methods, application areas and contributions, and the paper is concluded with a list of open research challenges.


title: Circuit-model formulas for external-Q factor of resonant cavities with capacitive and inductive coupling

abstract: The external-Q factor of a resonant mode of a cavity represents the strength of the electromagnetic coupling between this resonant mode and the transmission mode of a waveguide coupled to the cavity. In this paper, we derive formulas to explicitly give the external Q of the cavities coupled with the waveguide through capacitive and inductive coupling. The derivation is based on the classical method that uses the reflection coefficient to estimate the coupling strength. Although the external Q is evaluated via three-dimensional computer simulations currently, these formulas may be useful for making speculations in the initial stages of cavity design.


title: Fundamental pushouts of n-complicial sets

abstract: The paper focuses on investigating how certain relations between strict $n$-categories are preserved in a particular implementation of $(\infty,n)$-categories, given by saturated $n$-complicial sets. In this model, we show that the $(\infty,n)$-categorical nerve of $n$-categories is homotopically compatible with $1$-categorical suspension and wedge. As an application, we show that certain pushouts encoding composition in $n$-categories are homotopy pushouts of saturated $n$-complicial sets.


title: Control of connectivity and rigidity in prismatic assemblies

abstract: How can we manipulate the topological connectivity of a three-dimensional prismatic assembly to control the number of internal degrees of freedom and the number of connected components in it? To answer this question in a deterministic setting, we use ideas from elementary number theory to provide a hierarchical deterministic protocol for the control of rigidity and connectivity. We then show that is possible to also use a stochastic protocol to achieve the same results via a percolation transition. Together, these approaches provide scale-independent algorithms for the cutting or gluing of three-dimensional prismatic assemblies to control their overall connectivity and rigidity.


title: An additive algorithm for origami design

abstract: Inspired by the allure of additive fabrication, we pose the problem of origami design from a new perspective: how can we grow a folded surface in three dimensions from a seed so that it is guaranteed to be isometric to the plane? We solve this problem in two steps: by first identifying the geometric conditions for the compatible completion of two separate folds into a single developable four-fold vertex, and then showing how this foundation allows us to grow a geometrically compatible front at the boundary of a given folded seed. This yields a complete marching, or additive, algorithm for the inverse design of the complete space of developable quad origami patterns that can be folded from flat sheets. We illustrate the flexibility of our approach by growing ordered, disordered, straight and curved folded origami and fitting surfaces of given curvature with folded approximants. Overall, our simple shift in perspective from a global search to a local rule has the potential to transform origami-based meta-structure design.


title: Generalization of Machine Learning for Problem Reduction: A Case Study on Travelling Salesman Problems

abstract: Combinatorial optimization plays an important role in real-world problem solving. In the big data era, the dimensionality of a combinatorial optimization problem is usually very large, which poses a significant challenge to existing solution methods. In this paper, we examine the generalization capability of a machine learning model for problem reduction on the classic travelling salesman problems (TSP). We demonstrate that our method can greedily remove decision variables from an optimization problem that are predicted not to be part of an optimal solution. More specifically, we investigate our model's capability to generalize on test instances that have not been seen during the training phase. We consider three scenarios where training and test instances are different in terms of: 1) problem characteristics; 2) problem sizes; and 3) problem types. Our experiments show that this machine learning based technique can generalize reasonably well over a wide range of TSP test instances with different characteristics or sizes. While the accuracy of predicting unused variables naturally deteriorates as a test instance is further away from the training set, we observe that even when tested on a different TSP problem variant, the machine learning model still makes useful predictions about which variables can be eliminated without significantly impacting solution quality.


title: Quantifying the error of the core-valence separation approximation

abstract: For the calculation of core-excited states probed through X-ray absorption spectroscopy, the core-valence separation (CVS) scheme has become a vital tool. This approach allows to target such states with high specificity, albeit introducing an error. We report the implementation of a post-processing step for CVS excitations obtained within the algebraic-diagrammatic construction scheme for the polarisation propagator (ADC), which removes this error. Based on this we provide a detailed analysis of the CVS scheme, identifying its accuracy to be dominated by an error balance between two neglected couplings, one between core and valence single excitations and one between single and double core excitations. The selection of the basis set is shown to be vital for a proper description of both couplings, with tight polarising functions being necessary for a good balance of errors. The CVS error is confirmed to be stable across multiple systems, with an element-specific spread for $K$-edge spectrum calculations of about $\pm$0.02 eV. A systematic lowering of the CVS error by 0.02-0.03 eV is noted when considering excitations to extremely diffuse states, emulating ionisation.


title: Argument Schemes for Explainable Planning

abstract: Artificial Intelligence (AI) is being increasingly used to develop systems that produce intelligent solutions. However, there is a major concern that whether the systems built will be trusted by humans. In order to establish trust in AI systems, there is a need for the user to understand the reasoning behind their solutions and therefore, the system should be able to explain and justify its output. In this paper, we use argumentation to provide explanations in the domain of AI planning. We present argument schemes to create arguments that explain a plan and its components; and a set of critical questions that allow interaction between the arguments and enable the user to obtain further information regarding the key elements of the plan. Finally, we present some properties of the plan arguments.


title: Measurement of the Born Cross Sections for $e^+e^-\to D_s^+ D_{s1}(2460)^- +c.c.$ and $e^+e^-\to D_s^{\ast +} D_{s1}(2460)^- +c.c.$

abstract: The processes $e^+e^-\to D_s^+ D_{s1}(2460)^- +c.c.$ and $e^+e^-\to D_s^{\ast +} D_{s1}(2460)^- +c.c.$ are studied for the first time using data samples collected with the BESIII detector at the BEPCII collider. The Born cross sections of $e^+e^-\to D_s^+ D_{s1}(2460)^- +c.c.$ at nine center-of-mass energies between 4.467\,GeV and 4.600\,GeV and those of $e^+e^-\to D_s^{\ast +} D_{s1}(2460)^- +c.c.$ at ${\sqrt s}=$ 4.590\,GeV and 4.600\,GeV are measured. No obvious charmonium or charmonium-like structure is seen in the measured cross sections.


title: Solving nonlinear systems of equations via spectral residual methods: stepsize selection and applications

abstract: Spectral residual methods are derivative-free and low-cost per iteration procedures for solving nonlinear systems of equations. They are generally coupled with a nonmonotone linesearch strategy and compare well with Newton-based methods for large nonlinear systems and sequences of nonlinear systems. The residual vector is used as the search direction and choosing the steplength has a crucial impact on the performance. In this work we address both theoretically and experimentally the steplength selection and provide results on a real application such as a rolling contact problem.


title: Nuclear modification factors for jet fragmentation

abstract: Using a recently-developed perturbative-QCD approach for jet evolution in a dense quark-gluon plasma, we study the nuclear modification factor for the jet fragmentation function. The qualitative behaviour that we find is in agreement with the respective experimental observations in Pb+Pb collisions at the LHC: a pronounced nuclear enhancement at both ends of the spectrum. Our Monte Carlo simulations are supplemented with analytic estimates which clarify the physical interpretation of the results. The main source of theoretical uncertainty is the sensitivity of our calculations to a low-momentum cutoff which mimics confinement. To reduce this sensitivity, we propose a new observable, which describes the jet fragmentation into subjets and is infrared-and-collinear safe by construction. We present Monte Carlo predictions for the associated nuclear modification factor together with their physical interpretation.


title: Lessons from being challenged by COVID-19

abstract: We present results of different approaches to model the evolution of the COVID-19 epidemic in Argentina, with a special focus on the megacity conformed by the city of Buenos Aires and its metropolitan area, including a total of 41 districts with over 13 million inhabitants. We first highlight the relevance of interpreting the early stage of the epidemic in light of incoming infectious travelers from abroad. Next, we critically evaluate certain proposed solutions to contain the epidemic based on instantaneous modifications of the reproductive number. Finally, we build increasingly complex and realistic models, ranging from simple homogeneous models used to estimate local reproduction numbers, to fully coupled inhomogeneous (deterministic or stochastic) models incorporating mobility estimates from cell phone location data. The models are capable of producing forecasts highly consistent with the official number of cases with minimal parameter fitting and fine-tuning. We discuss the strengths and limitations of the proposed models, focusing on the validity of different necessary first approximations, and caution future modeling efforts to exercise great care in the interpretation of long-term forecasts, and in the adoption of non-pharmaceutical interventions backed by numerical simulations.


title: Prta: A System to Support the Analysis of Propaganda Techniques in the News

abstract: Recent events, such as the 2016 US Presidential Campaign, Brexit and the COVID-19 "infodemic", have brought into the spotlight the dangers of online disinformation. There has been a lot of research focusing on fact-checking and disinformation detection. However, little attention has been paid to the specific rhetorical and psychological techniques used to convey propaganda messages. Revealing the use of such techniques can help promote media literacy and critical thinking, and eventually contribute to limiting the impact of "fake news" and disinformation campaigns. Prta (Propaganda Persuasion Techniques Analyzer) allows users to explore the articles crawled on a regular basis by highlighting the spans in which propaganda techniques occur and to compare them on the basis of their use of propaganda techniques. The system further reports statistics about the use of such techniques, overall and over time, or according to filtering criteria specified by the user based on time interval, keywords, and/or political orientation of the media. Moreover, it allows users to analyze any text or URL through a dedicated interface or via an API. The system is available online: https://www.tanbih.org/prta


title: The IOA System for Deep Noise Suppression Challenge using a Framework Combining Dynamic Attention and Recursive Learning

abstract: This technical report describes our system that is submitted to the Deep Noise Suppression Challenge and presents the results for the non-real-time track. To refine the estimation results stage by stage, we utilize recursive learning, a type of training protocol which aggravates the information through multiple stages with a memory mechanism. The attention generator network is designed to dynamically control the feature distribution of the noise reduction network. To improve the phase recovery accuracy, we take the complex spectral mapping procedure by decoding both real and imaginary spectra. For the final blind test set, the average MOS improvements of the submitted system in noreverb, reverb, and realrec categories are 0.49, 0.24, and 0.36, respectively.


title: Probabilistic Semantic Segmentation Refinement by Monte Carlo Region Growing

abstract: Semantic segmentation with fine-grained pixel-level accuracy is a fundamental component of a variety of computer vision applications. However, despite the large improvements provided by recent advances in the architectures of convolutional neural networks, segmentations provided by modern state-of-the-art methods still show limited boundary adherence. We introduce a fully unsupervised post-processing algorithm that exploits Monte Carlo sampling and pixel similarities to propagate high-confidence pixel labels into regions of low-confidence classification. Our algorithm, which we call probabilistic Region Growing Refinement (pRGR), is based on a rigorous mathematical foundation in which clusters are modelled as multivariate normally distributed sets of pixels. Exploiting concepts of Bayesian estimation and variance reduction techniques, pRGR performs multiple refinement iterations at varied receptive fields sizes, while updating cluster statistics to adapt to local image features. Experiments using multiple modern semantic segmentation networks and benchmark datasets demonstrate the effectiveness of our approach for the refinement of segmentation predictions at different levels of coarseness, as well as the suitability of the variance estimates obtained in the Monte Carlo iterations as uncertainty measures that are highly correlated with segmentation accuracy.


title: Re-observing the NLS1 Galaxy RE J1034+396. I. the Long-term, Recurrent X-ray QPO with a High Significance

abstract: RE J1034+396 is a narrow-line Seyfert 1 galaxy (NLS1) in which the first significant X-ray quasi-periodic oscillation (QPO) in an active galactic nuclei (AGN) was observed in 2007. We report the detection of this QPO in a recent XMM-Newton observation in 2018 with an even higher significance. The quality factor of this QPO is 20, and its period is 3550 $\pm$ 80 s, which is 250 $\pm$ 100 s shorter than in 2007. While the QPO's period has no significant energy dependence, its fractional root-mean-square (rms) variability increases from 4% in 0.3-1 keV to 12% in 1-4 keV bands. An interesting phenomenon is that the QPO in 0.3-1 keV leads that in the 1-4 keV bands by 430 $\pm$ 50 s with a high coherence, opposite to the soft X-ray lag reported for the observation in 2007. We speculate that the QPO has an intrinsic hard lag, while the previous reported soft lag is caused by the interference of stochastic variability. This soft X-ray lead in the new data supports the idea that the QPO of RE J1034+396 is a possible AGN counterpart of the 67 Hz high-frequency QPO seen in the black hole binary (BHB) GRS 1915+105. We also search for QPO harmonics, but do not find any significant signals. Our new data reinforce previous results that the QPO is seen in a specific spectral state, as the only 2 observations showing no significant QPO signal exhibit an even stronger soft X-ray excess than the other 6 observations which display the QPO. Therefore, our results imply that the QPO in RE J1034+396 is physically linked to a soft X-ray component.


title: Understanding the principles of pattern formation driven by Notch signaling by integrating experiments and theoretical models

abstract: Notch signaling is an evolutionary conserved cell-cell communication pathway. Besides regulating cell-fate decisions at an individual cell level, Notch signaling coordinates the emergent spatiotemporal patterning in a tissue through ligand-receptor interactions among transmembrane molecules of neighboring cells, as seen in embryonic development, angiogenesis, or wound healing. Due to its ubiquitous nature, Notch signaling is also implicated in several aspects of cancer progression, including tumor angiogenesis, stemness of cancer cells and cellular invasion. Here, we review experimental and computational models to help understand the operating principles of cell patterning driven by Notch signaling. First, we discuss the basic mechanisms of spatial patterning via canonical lateral inhibition and lateral induction mechanisms, including examples from angiogenesis, inner ear development and cancer metastasis. Next, we analyze additional layers of complexity in the Notch pathway such as the effects of varying cell sizes and shapes, ligand-receptor binding within the same cell, variable binding affinity of different ligand/receptor subtypes, and filopodia. Finally, we discuss some recent evidence of mechanosensitivity in the Notch pathway in driving collective epithelial cell migration and cardiovascular morphogenesis.


title: Neural Architecture Transfer

abstract: Neural architecture search (NAS) has emerged as a promising avenue for automatically designing task-specific neural networks. Existing NAS approaches require one complete search for each deployment specification of hardware or objective. This is a computationally impractical endeavor given the potentially large number of application scenarios. In this paper, we propose Neural Architecture Transfer (NAT) to overcome this limitation. NAT is designed to efficiently generate task-specific custom models that are competitive under multiple conflicting objectives. To realize this goal we learn task-specific supernets from which specialized subnets can be sampled without any additional training. The key to our approach is an integrated online transfer learning and many-objective evolutionary search procedure. A pre-trained supernet is iteratively adapted while simultaneously searching for task-specific subnets. We demonstrate the efficacy of NAT on 11 benchmark image classification tasks ranging from large-scale multi-class to small-scale fine-grained datasets. In all cases, including ImageNet, NATNets improve upon the state-of-the-art under mobile settings ($\leq$ 600M Multiply-Adds). Surprisingly, small-scale fine-grained datasets benefit the most from NAT. At the same time, the architecture search and transfer is orders of magnitude more efficient than existing NAS methods. Overall, the experimental evaluation indicates that, across diverse image classification tasks and computational objectives, NAT is an appreciably more effective alternative to conventional transfer learning of fine-tuning weights of an existing network architecture learned on standard datasets. Code is available at https://github.com/human-analysis/neural-architecture-transfer


title: Semiclassical instanton formulation of Marcus-Levich-Jortner theory

abstract: Marcus-Levich-Jortner (MLJ) theory is one of the most commonly used methods for including nuclear quantum effects into the calculation of electron-transfer rates and for interpreting experimental data. It divides the molecular problem into a subsystem treated quantum-mechanically by Fermi's golden rule and a solvent bath treated by classical Marcus theory. As an extension of this idea, we here present a "reduced" semiclassical instanton theory, which is a multiscale method for simulating quantum tunnelling of the subsystem in molecular detail in the presence of a harmonic bath. We demonstrate that instanton theory is typically significantly more accurate than the cumulant expansion or the semiclassical Franck-Condon sum, which can give orders-of-magnitude errors and in general do not obey detailed balance. As opposed to MLJ theory, which is based on wavefunctions, instanton theory is based on path integrals and thus does not require solutions of the Schr\"odinger equation, nor even global knowledge of the ground- and excited-state potentials within the subsystem. It can thus be efficiently applied to complex, anharmonic multidimensional subsystems without making further approximations. In addition to predicting accurate rates, instanton theory gives a high level of insight into the reaction mechanism by locating the dominant tunnelling pathway as well as providing information on the reactant and product vibrational states involved in the reaction and the activation energy in the bath similarly to what would be found with MLJ theory.


title: A Priority-Based Cross-Layer Design for Future VANETs through Full-Duplex Technology

abstract: Among all requirements for vehicle-to-everything (V2X) communications, successful delivery of packets with small delay is of the highest significance. Especially, the delivery of a message before a potential accident (i.e. emergency message) should be guaranteed. In this work, we propose a novel cross-layer design to enhance the delivery of emergency messages so that accidents can be further avoided. Particularly, in the PHY layer, imperfect full-duplex (FD) simultaneous transmitting and sensing is analysed and dynamic thresholds for determining the channel status before and during transmissions are mathematically formulated. Then a novel FD MAC protocol, named priority-based multiple access (PBMA), based on prioritised messaging between different vehicles is proposed. Average collision probability, collision duration, waiting time as well as successful delivery rate of the system are formulated too. The delivery performance of emergency messages is also mathematically derived. In addition, comparisons have been made among three different mechanisms. Benchmark is the DSRC standard which uses half-duplex (HD) technology with enhanced distributed channel access (EDCA) protocol. We also compare our proposed protocol with FD EDCA. Simulations have verified the accuracy of our analysis. They have also illustrated the delivery of emergency messages has been enhanced by deploying our proposed design.


title: Machine learning based digital twin for dynamical systems with multiple time-scales

abstract: Digital twin technology has a huge potential for widespread applications in different industrial sectors such as infrastructure, aerospace, and automotive. However, practical adoptions of this technology have been slower, mainly due to a lack of application-specific details. Here we focus on a digital twin framework for linear single-degree-of-freedom structural dynamic systems evolving in two different operational time scales in addition to its intrinsic dynamic time-scale. Our approach strategically separates into two components -- (a) a physics-based nominal model for data processing and response predictions, and (b) a data-driven machine learning model for the time-evolution of the system parameters. The physics-based nominal model is system-specific and selected based on the problem under consideration. On the other hand, the data-driven machine learning model is generic. For tracking the multi-scale evolution of the system parameters, we propose to exploit a mixture of experts as the data-driven model. Within the mixture of experts model, Gaussian Process (GP) is used as the expert model. The primary idea is to let each expert track the evolution of the system parameters at a single time-scale. For learning the hyperparameters of the `mixture of experts using GP', an efficient framework the exploits expectation-maximization and sequential Monte Carlo sampler is used. Performance of the digital twin is illustrated on a multi-timescale dynamical system with stiffness and/or mass variations. The digital twin is found to be robust and yields reasonably accurate results. One exciting feature of the proposed digital twin is its capability to provide reasonable predictions at future time-steps. Aspects related to the data quality and data quantity are also investigated.


title: Compact Distributed Certification of Planar Graphs

abstract: Naor, Parter, and Yogev (SODA 2020) have recently demonstrated the existence of a \emph{distributed interactive proof} for planarity (i.e., for certifying that a network is planar), using a sophisticated generic technique for constructing distributed IP protocols based on sequential IP protocols. The interactive proof for planarity is based on a distributed certification of the correct execution of any given sequential linear-time algorithm for planarity testing. It involves three interactions between the prover and the randomized distributed verifier (i.e., it is a \dMAM\/ protocol), and uses small certificates, on $O(\log n)$ bits in $n$-node networks. We show that a single interaction from the prover suffices, and randomization is unecessary, by providing an explicit description of a \emph{proof-labeling scheme} for planarity, still using certificates on just $O(\log n)$ bits. We also show that there are no proof-labeling schemes -- in fact, even no \emph{locally checkable proofs} -- for planarity using certificates on $o(\log n)$ bits.


title: Exploiting Syntactic Structure for Better Language Modeling: A Syntactic Distance Approach

abstract: It is commonly believed that knowledge of syntactic structure should improve language modeling. However, effectively and computationally efficiently incorporating syntactic structure into neural language models has been a challenging topic. In this paper, we make use of a multi-task objective, i.e., the models simultaneously predict words as well as ground truth parse trees in a form called "syntactic distances", where information between these two separate objectives shares the same intermediate representation. Experimental results on the Penn Treebank and Chinese Treebank datasets show that when ground truth parse trees are provided as additional training signals, the model is able to achieve lower perplexity and induce trees with better quality.


title: Unsupervised Anomaly Detection via Deep Metric Learning with End-to-End Optimization

abstract: We investigate unsupervised anomaly detection for high-dimensional data and introduce a deep metric learning (DML) based framework. In particular, we learn a distance metric through a deep neural network. Through this metric, we project the data into the metric space that better separates the anomalies from the normal data and reduces the effect of the curse of dimensionality for high-dimensional data. We present a novel data distillation method through self-supervision to remedy the conventional practice of assuming all data as normal. We also employ the hard mining technique from the DML literature. We show these components improve the performance of our model and significantly reduce the running time. Through an extensive set of experiments on the 14 real-world datasets, our method demonstrates significant performance gains compared to the state-of-the-art unsupervised anomaly detection methods, e.g., an absolute improvement between 4.44% and 11.74% on the average over the 14 datasets. Furthermore, we share the source code of our method on Github to facilitate further research.


title: Engineering quantum-coherent defects: the role of substrate miscut in chemical vapor deposition diamond growth

abstract: The engineering of defects in diamond, particularly nitrogen-vacancy (NV) centers, is important for many applications in quantum science. A materials science approach based on chemical vapor deposition (CVD) growth of diamond and in-situ nitrogen doping is a promising path toward tuning and optimizing the desired properties of the embedded defects. Herein, with the coherence of the embedded defects in mind, we explore the effects of substrate miscut on the diamond growth rate, nitrogen density, and hillock defect density, and we report an optimal angle range between 0.66{\deg} < {\theta} < 1.16{\deg} for the purposes of engineering coherent ensembles of NV centers in diamond. We provide a model that quantitatively describes hillock nucleation in the step-flow regime of CVD growth, shedding insight on the physics of hillock formation. We also report significantly enhanced incorporation of nitrogen at hillock defects, opening the possibility for templating hillock-defect-localized NV center ensembles for quantum applications.


title: Optimal inequalities between distances in convex projective domains

abstract: On any proper convex domain in real projective space there exists a natural Riemannian metric, the Blaschke metric. On the other hand, distances between points can be measured in the Hilbert metric. Using techniques of optimal control, we provide inequalities lower bounding the Riemannian length of the line segment joining two points of the domain by the Hilbert distance between these points, thus strengthening a result of Tholozan. Our estimates are valid for a whole class of Riemannian metrics on convex projective domains, namely those induced by convex non-degenerate centro-affine hypersurface immersions. If the immersions are asymptotic to the boundary of the convex cone over the domain, then we can also upper bound the Riemmanian length. On these classes, and in particular for the Blaschke metric, our inequalities are optimal.


title: Recurrent and Spiking Modeling of Sparse Surgical Kinematics

abstract: Robot-assisted minimally invasive surgery is improving surgeon performance and patient outcomes. This innovation is also turning what has been a subjective practice into motion sequences that can be precisely measured. A growing number of studies have used machine learning to analyze video and kinematic data captured from surgical robots. In these studies, models are typically trained on benchmark datasets for representative surgical tasks to assess surgeon skill levels. While they have shown that novices and experts can be accurately classified, it is not clear whether machine learning can separate highly proficient surgeons from one another, especially without video data. In this study, we explore the possibility of using only kinematic data to predict surgeons of similar skill levels. We focus on a new dataset created from surgical exercises on a simulation device for skill training. A simple, efficient encoding scheme was devised to encode kinematic sequences so that they were amenable to edge learning. We report that it is possible to identify surgical fellows receiving near perfect scores in the simulation exercises based on their motion characteristics alone. Further, our model could be converted to a spiking neural network to train and infer on the Nengo simulation framework with no loss in accuracy. Overall, this study suggests that building neuromorphic models from sparse motion features may be a potentially useful strategy for identifying surgeons and gestures with chips deployed on robotic systems to offer adaptive assistance during surgery and training with additional latency and privacy benefits.


title: Energy-momentum conserving integration schemes for molecular dynamics

abstract: We address the formulation and analysis of energy and momentum conserving time integration schemes in the context of particle dynamics, and in particular atomic systems. The article identifies three critical aspects of these models that demand a careful analysis when discretized: first, the treatment of periodic boundary conditions; second, the formulation of approximations of systems with three-body interaction forces; third, their extension to atomic systems with functional potentials. These issues, and in particular their interplay with Energy-Momentum integrators, are studied in detail. Novel expressions for these time integration schemes are proposed and numerical examples are given to illustrate their performance.


title: Hidden Physical Effects in Non-centrosymmetric Crystals

abstract: Symmetry forbidden effects in crystals may emerge in a local environment that breaks the symmetries. Yet these hidden physical effects were only discussed in centrosymmetric crystals. Here we propose that hidden physical effects can be generalized to almost all crystallographic symmetric groups and hence reveal their universality and diversity. We systematically discuss certain symmetries in crystals that may induce hidden spin polarization (HSP), hidden berry curvature and hidden valley polarization, with a focus on a specific pattern of HSP whose winding directions of the in-plane spin vectors are the same for adjacent bands, dubbed anomalous HSP. Such an unprecedented spin pattern arises from relatively weak spin-dependent inter-sector interaction and is demonstrated in mirror-symmetric InSe by first-principles calculations. Unique electric field-dependent splitting into specific spatial polarization pattern may serve as an experimental signature of anomalous HSP. Our results reveal abundant hidden physical effects beyond centrosymmetric crystals and provide new platforms to discuss them for emergent physical effects and future applications.


title: Comparison of Randomized Solutions for Constrained Vehicle Routing Problem

abstract: In this short paper, we study the capacity-constrained vehicle routing problem (CVRP) and its solution by randomized Monte Carlo methods. For solving CVRP we use some pseudorandom number generators commonly used in practice. We use linear, multiple-recursive, inversive, and explicit inversive congruential generators and obtain random numbers from each to provide a route for CVRP. Then we compare the performance of pseudorandom number generators with respect to the total time the random route takes. We also constructed an open-source library github.com/iedmrc/binary-cws-mcs on solving CVRP by Monte-Carlo based heuristic methods.


title: Understanding Memory Access Patterns Using the BSC Performance Tools

abstract: The growing gap between processor and memory speeds results in complex memory hierarchies as processors evolve to mitigate such divergence by taking advantage of the locality of reference. In this direction, the BSC performance analysis tools have been recently extended to provide insight relative to the application memory accesses depicting their temporal and spatial characteristics, correlating with the source-code and the achieved performance simultaneously. These extensions rely on the Precise Event-Based Sampling (PEBS) mechanism available in recent Intel processors to capture information regarding the application memory accesses. The sampled information is later combined with the Folding technique to represent a detailed temporal evolution of the memory accesses and in conjunction with the achieved performance and the source-code counterpart. The results obtained from the combination of these tools help not only application developers but also processor architects to understand better how the application behaves and how the system performs. In this paper, we describe a tighter integration of the sampling mechanism into the monitoring package. We also demonstrate the value of the complete workflow by exploring already optimized state--of--the--art benchmarks, providing detailed insight of their memory access behavior. We have taken advantage of this insight to apply small modifications that improve the applications' performance.


title: Competitive Algorithms for Minimizing the Maximum Age-of-Information

abstract: In this short paper, we consider the problem of designing a near-optimal competitive scheduling policy for $N$ mobile users, to maximize the freshness of available information uniformly across all users. Prompted by the unreliability and non-stationarity of the emerging 5G-mmWave channels for high-speed users, we forego of any statistical assumptions of the wireless channels and user-mobility. Instead, we allow the channel states and the mobility patterns to be dictated by an omniscient adversary. It is not difficult to see that no competitive scheduling policy can exist for the corresponding throughput-maximization problem in this adversarial model. Surprisingly, we show that there exists a simple online distributed scheduling policy with a finite competitive ratio for maximizing the freshness of information in this adversarial model. Moreover, we also prove that the proposed policy is competitively optimal up to an $O(\ln N)$ factor.


title: Fair Resource Allocation in Optical Networks under Tidal Traffic

abstract: We propose an alpha-fair routing and spectrum allocation (RSA) framework for reconfigurable elastic optical networks under modeled tidal traffic, that is based on the maximization of the social welfare function parameterized by a scalar alpha (the inequality aversion parameter). The objective is to approximate an egalitarian spectrum allocation (SA) that maximizes the minimum possible SA over all connections contending for the network resources, shifting from the widely used utilitarian SA that merely maximizes the network efficiency. A set of existing metrics are examined (i.e., connection blocking, resource utilization, coefficient of variation (CV) of utilities), and a set of new measures are also introduced (i.e., improvement on connection over- (COP) and under-provisioning (CUP), CV of unserved traffic), allowing a network operator to derive and evaluate in advance a set of alpha-fair RSA solutions and select the one that best fits the performance requirements of both the individual connections and the overall network. We show that an egalitarian SA better utilizes the network resources by significantly improving both COP (up to 20%) and CUP (up to 80%), compared to the utilitarian allocation, while attaining zero blocking. Importantly, the CVs of utilities and unserved traffic indicate that a SA that is fairest with respect to the amount of utilities allocated to the connections does not imply that the SA is also fairest with respect to the achievable QoS of the connections, while an egalitarian SA better approximates a fairest QoS-based SA.


title: Magnetically induced topological transitions of hyperbolic dispersion in biaxial gyrotropic media

abstract: Magnetically induced topological transitions of isofrequency surfaces of bulk waves propagating through an unbounded biaxial gyrotropic medium are studied. The medium is constructed from a two-component superlattice composed of magnetized ferrite and semiconductor layers. To derive the constitutive parameters of the gyrotropic medium, a homogenization procedure from the effective medium theory is applied. The study is carried out in the frequency range near the frequency of ferromagnetic resonance, where the magnetic subsystem possesses the properties of natural hyperbolic dispersion. The topological transitions from an open type-I hyperboloid to several intricate hyperbolic-like forms are demonstrated for the extraordinary waves. We reveal how realistic material losses change the form of isofrequency surface characterizing hyperbolic dispersion. The obtained results broaden our knowledge on the possible topologies of isofrequency surfaces that can appear in gyrotropic media influenced by an external static magnetic field.


title: Superconductivity in Hydrogenated Graphites

abstract: We report transport and magnetization measurements on graphitic materials that have been hydrogenated after being treated with octane. The temperature-dependent electrical resistivity shows anomalies manifested as re-entrant insulator-metal transitions. Below 50 K, the magnetoresistance data shows both antiferromagnetic and ferromagnetic behavior as the magnetic field is decrease or increased, respectively. The system is possibly an unconventional magnetic superconductor. The irreversible behavior observed in the field-cooled vs. the zero-field cooled data for a sufficiently high magnetic field suggests that the system might enter a superconducting state below 50 K. Energy gap data is obtained from nonlocal electric differential conductance measurements. An exciton-based mechanism is likely driving the system to the superconducting state below 50 K, where the gap is divergent. We find that the hydrogenated carbon fiber is a multiple gap system with critical temperatures estimates above room temperature. The temperature dependence of the superconducting gap follows the flat-band energy relationship, with the flat band gap parameter linearly increasing with the temperature above 50 K. Thus, we find that either a magnetic or an electric field can drive this hydrogenated graphitic system to superconducting state below 50 K. In addition, AF spin fluctuations creates pseudo-gap states above 50 K.


title: Double-soft behavior of massless closed strings interacting with any number of closed string tachyons

abstract: We calculate the simultaneous double-soft limit of two massless closed strings scattering with any number of closed string tachyons to the subleading order at the tree level. The limit factorizes the scattering amplitude into a double-soft factor multiplying the pure tachyon subamplitude, suggesting a universal double-soft theorem for the massless closed string. We confirm an existing result for the double-soft graviton in an on-shell equivalent, but different form, while also establishing the double-soft factorization behavior of the string dilaton and of the Kalb-Ramond state, as well as the mixed graviton-dilaton case. We also show that the simultaneous and consecutive double-soft theorems are consistent with each other. We furthermore provide a complete field theory diagrammatic view on our result, which enables us in particular to establish a four-point interaction vertex for two tachyons and two massless closed string states, as well as the missing in field theory of three-point interaction of two massless closed string state and one tachyon.


title: Latent Fingerprint Registration via Matching Densely Sampled Points

abstract: Latent fingerprint matching is a very important but unsolved problem. As a key step of fingerprint matching, fingerprint registration has a great impact on the recognition performance. Existing latent fingerprint registration approaches are mainly based on establishing correspondences between minutiae, and hence will certainly fail when there are no sufficient number of extracted minutiae due to small fingerprint area or poor image quality. Minutiae extraction has become the bottleneck of latent fingerprint registration. In this paper, we propose a non-minutia latent fingerprint registration method which estimates the spatial transformation between a pair of fingerprints through a dense fingerprint patch alignment and matching procedure. Given a pair of fingerprints to match, we bypass the minutiae extraction step and take uniformly sampled points as key points. Then the proposed patch alignment and matching algorithm compares all pairs of sampling points and produces their similarities along with alignment parameters. Finally, a set of consistent correspondences are found by spectral clustering. Extensive experiments on NIST27 database and MOLF database show that the proposed method achieves the state-of-the-art registration performance, especially under challenging conditions.


title: Partial Regularity of Solutions to $\bm{p(x)}$-Laplacian PDEs with Discontinuous Coefficients

abstract: For $\Omega\subseteq\mathbb{R}^{n}$ an open and bounded region we consider solutions $u\in W_{\text{loc}}^{1,p(x)}\big(\Omega;\mathbb{R}^{N}\big)$, with $N>1$, of the $p(x)$-Laplacian system \begin{equation} \nabla\cdot\left(a(x)|Du|^{p(x)-2}Du\right)=0\text{, a.e. }x\in\Omega,\notag \end{equation} where concerning the coefficient function $x\mapsto a(x)$ we assume only that \begin{equation} a\in W^{1,q}(\Omega)\cap L^{\infty}(\Omega),\notag \end{equation} where $q>1$ is essentially arbitrary. This implies that the coefficient in the PDE can be highly irregular, and yet in spite of this we still recover that \begin{equation} u\in\mathscr{C}_{\text{loc}}^{0,\alpha}\big(\Omega_0\big),\notag \end{equation} for each $0<\alpha<1$, where $\Omega_0\subseteq\Omega$ is a set of full measure. Due to the variational methodology that we employ, our results apply to the more general question of the regularity of the integral functional \begin{equation} \int_{\Omega}a(x)|Du|^{p(x)}\ dx.\notag \end{equation}


title: The Micro-Randomized Trial for Developing Digital Interventions: Experimental Design Considerations

abstract: Just-in-time adaptive interventions (JITAIs) are time-varying adaptive interventions that use frequent opportunities for the intervention to be adapted such as weekly, daily, or even many times a day. This high intensity of adaptation is facilitated by the ability of digital technology to continuously collect information about an individual's current context and deliver treatments adapted to this information. The micro-randomized trial (MRT) has emerged for use in informing the construction of JITAIs. MRTs operate in, and take advantage of, the rapidly time-varying digital intervention environment. MRTs can be used to address research questions about whether and under what circumstances particular components of a JITAI are effective, with the ultimate objective of developing effective and efficient components. The purpose of this article is to clarify why, when, and how to use MRTs; to highlight elements that must be considered when designing and implementing an MRT; and to discuss the possibilities this emerging optimization trial design offers for future research in the behavioral sciences, education, and other fields. We briefly review key elements of JITAIs, and then describe three case studies of MRTs, each of which highlights research questions that can be addressed using the MRT and experimental design considerations that might arise. We also discuss a variety of considerations that go into planning and designing an MRT, using the case studies as examples.


title: Rigidity in Elliptic Curve Local-Global Principles

abstract: We study the rigidity of the local conditions in two well-known local-global principles for elliptic curves over number fields. In particular, we consider a local-global principle for torsion due to Serre and Katz, and one for isogenies due to Sutherland. For each of these local-global principles, we prove that if an elliptic curve $E$ over a number field $K$ is such that it fails to satisfy the local condition for at least one prime ideal of $K$ of good reduction, then $E$ can satisfy the local condition at no more than 75% of prime ideals. We also give for (conjecturally) all elliptic curves over the rationals without complex multiplication, the densities of primes that satisfy the local conditions mentioned above.


title: Deposition distribution of the new coronavirus (SARS-CoV-2) in the human airways upon exposure to cough-generated aerosol

abstract: The new coronavirus disease 2019 (COVID-19) has been emerged as a rapidly spreading pandemic. The disease is thought to spread mainly from person-to-person through respiratory droplets produced when an infected person coughs, sneezes, or talks. The pathogen of COVID-19 is the severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2). It infects the cells binding to the angiotensin-converting enzyme 2 receptor (ACE2) which is expressed by cells throughout the airways as targets for cellular entry. Although the majority of persons infected with SARS-CoV-2 experience symptoms of mild upper respiratory tract infection, in some people infections of the peripheral airways result in severe, potentially fatal pneumonia. However, the induction of COVID-19 pneumonia requires that SARS-CoV-2 reaches the peripheral airways. While huge efforts have been made to understand the spread of the disease as well as the pathogenesis following cellular entry, much less attention is paid how SARS-CoV-2 from the environment reach the receptors of the target cells. The aim of the present study is to characterize the deposition distribution of SARS-CoV-2 in the airways upon exposure to cough-generated aerosol. For this purpose, the Stochastic Lung Deposition Model has been applied. Aerosol size distribution and breathing parameters were taken from the literature supposing normal breathing through the nose. We found that the probability of direct infection of the peripheral airways due to inhalation of aerosol generated by a bystander cough is very low. As the number of pathogens deposited in the extrathoracic airways is ~10 times higher than in the peripheral airways, we concluded that in most cases COVID-19 pneumonia must be preceded by SARS-CoV-2 infection of the upper airways. Our results suggest that without the enhancement of viral load in the upper airways, COVID-19 would be much less dangerous...


title: Networks in a World Unknown: Public WhatsApp Groups in the Venezuelan Refugee Crisis

abstract: By early March 2020, five million Venezuelans had fled their home country after its complete economic and institutional collapse, and over 1.6 million have migrated to Colombia. Migrants struggle to start their lives over in Colombia, having arrived with few economic resources, and often no legal documentation, in cities with little to offer them. Venezuelan migrants, however, rely heavily on mobile phones and social media networks as lifelines for information, opportunities, and resources -- making WhatsApp both a critical tool for migrants' settlement and integration, as well as an invaluable source of data through which we can better understand migrant experiences. This thesis explores the dynamics of public WhatsApp groups used by Venezuelan migrants to Colombia, and what they can tell us about how migrants use and share information. We center our research on information spread and trust, especially as they intersect with concentration and geographic heterogeneity within groups. We analyze messages and memberships broadly, then explore interaction within groups, fake news and economic scams, and effects of the coronavirus pandemic. Our results have a range of policy implications, from reflections on Colombia's decision to shut its borders amidst the coronavirus pandemic, to understandings of how aid organizations can effectively share information over social media channels.


title: Magnonic Quadrupole Topological Insulator in Antiskyrmion Crystals

abstract: When the crystalline symmetries that protect a higher-order topological phase are not preserved at the boundaries of the sample, gapless hinge modes or in-gap corner states cannot be stabilized. Therefore, careful engineering of the sample termination is required. Similarly, magnetic textures, whose quantum fluctuations determine the supported magnonic excitations, tend to relax to new configurations that may also break crystalline symmetries when boundaries are introduced. Here we uncover that antiskyrmion crystals provide an experimentally accessible platform to realize a magnonic topological quadrupole insulator, whose hallmark signature are robust magnonic corner states. Furthermore, we show that tuning an applied magnetic field can trigger the self-assembly of antiskyrmions carrying a fractional topological charge along the sample edges. Crucially, these fractional antiskyrmions restore the symmetries needed to enforce the emergence of the magnonic corner states. Using the machinery of nested Wilson loops, adapted to magnonic systems supported by noncollinear magnetic textures, we demonstrate the quantization of the bulk quadrupole moment, edge dipole moments, and corner charges.


title: The symmetries of the Outer space of a universal Coxeter group

abstract: This paper studies the geometric rigidity of the universal Coxeter group of rank $n$, which is the free product $W_n$ of $n$ copies of $\mathbb{Z}/2\mathbb{Z}$. We prove that for $n\geq 4$ the group of symmetries of the spine of the Guirardel-Levitt outer space of $W_n$ is reduced to the outer automorphism group $\mathrm{Out}(W_n)$.


title: Counting Query Answers over a DL-Lite Knowledge Base (extended version)

abstract: Counting answers to a query is an operation supported by virtually all database management systems. In this paper we focus on counting answers over a Knowledge Base (KB), which may be viewed as a database enriched with background knowledge about the domain under consideration. In particular, we place our work in the context of Ontology-Mediated Query Answering/Ontology-based Data Access (OMQA/OBDA), where the language used for the ontology is a member of the DL-Lite family and the data is a (usually virtual) set of assertions. We study the data complexity of query answering, for different members of the DL-Lite family that include number restrictions, and for variants of conjunctive queries with counting that differ with respect to their shape (connected, branching, rooted). We improve upon existing results by providing a PTIME and coNP lower bounds, and upper bounds in PTIME and LOGSPACE. For the latter case, we define a novel query rewriting technique into first-order logic with counting.


title: Effect of different geometries of self-oscillating trailing-edge flaplets on aerofoil self-noise

abstract: This paper presents an acoustic study of a standard NACA 0012 aerofoil with additional self-oscillating passive flaplets attached to the trailing edge. The tests with varying geometries of the flaplets were conducted in the anechoic wind tunnel at Brandenburg University of Technology, at chord based Reynolds numbers, $Re_c = 100,000 - 900,000$ at three geometric angles of attack $\alpha_g = 0^\circ, 10^\circ$ and $15^\circ$. It was observed that all flaplet configurations reduce tonal noise and that the key geometric parameter to reduce this noise component is the width of the flaplets. The narrowest configuration tested almost completely removed the tonal noise, leading to an average overall sound pressure level reduction of up to 9 dB across the entire $Re_c$ range at $\alpha_g = 10^\circ$. It was also observed that, in the low frequency regime, a further noise reduction can be achieved by tuning the natural frequency of the oscillating flaplets. The thereby affected frequency range in the noise spectrum moves to higher frequencies when the natural frequency of the flaplets is increased and vice versa. Hence we show a novel way to target specific frequencies in passive aerofoil self-noise cancellation.


title: Safe Learning-based Observers for Unknown Nonlinear Systems using Bayesian Optimization

abstract: Data generated from dynamical systems with unknown dynamics enable the learning of state observers that are: robust to modeling error, computationally tractable to design, and capable of operating with guaranteed performance. In this paper, a modular design methodology is formulated, that consists of three design phases: (i) an initial robust observer design that enables one to learn the dynamics without allowing the state estimation error to diverge (hence, safe); (ii) a learning phase wherein the unmodeled components are estimated using Bayesian optimization and Gaussian processes; and, (iii) a re-design phase that leverages the learned dynamics to improve convergence rate of the state estimation error. The potential of our proposed learning-based observer is demonstrated on a benchmark nonlinear system. Additionally, certificates of guaranteed estimation performance are provided.


title: Upper Bounds on the Generalization Error of Private Algorithms for Discrete Data

abstract: In this work, we study the generalization capability of algorithms from an information-theoretic perspective. It has been shown that the expected generalization error of an algorithm is bounded from above by a function of the relative entropy between the conditional probability distribution of the algorithm's output hypothesis, given the dataset with which it was trained, and its marginal probability distribution. We build upon this fact and introduce a mathematical formulation to obtain upper bounds on this relative entropy. Assuming that the data is discrete, we then develop a strategy using this formulation, based on the method of types and typicality, to find explicit upper bounds on the generalization error of stable algorithms, i.e., algorithms that produce similar output hypotheses given similar input datasets. In particular, we show the bounds obtained with this strategy for the case of $\epsilon$-DP and $\mu$-GDP algorithms.


title: Probabilistic error estimation for non-intrusive reduced models learned from data of systems governed by linear parabolic partial differential equations

abstract: This work derives a residual-based a posteriori error estimator for reduced models learned with non-intrusive model reduction from data of high-dimensional systems governed by linear parabolic partial differential equations with control inputs. It is shown that quantities that are necessary for the error estimator can be either obtained exactly as the solutions of least-squares problems in a non-intrusive way from data such as initial conditions, control inputs, and high-dimensional solution trajectories or bounded in a probabilistic sense. The computational procedure follows an offline/online decomposition. In the offline (training) phase, the high-dimensional system is judiciously solved in a black-box fashion to generate data and to set up the error estimator. In the online phase, the estimator is used to bound the error of the reduced-model predictions for new initial conditions and new control inputs without recourse to the high-dimensional system. Numerical results demonstrate the workflow of the proposed approach from data to reduced models to certified predictions.


title: Diffusion coefficients in the envelopes of white dwarfs

abstract: The diffusion of elements is a key process in understanding the unusual surface composition of white dwarfs stars and their spectral evolution. The diffusion coefficients of Paquette et al. (1986) have been widely used to model diffusion in white dwarfs. We perform new calculations of the coefficients of inter-diffusion and ionic thermal diffusion with 1) a more advanced model that uses a recent modification of the calculation of the collision integrals that is more suitable for the partially ionized, partially degenerate and moderately coupled plasma, and 2) classical molecular dynamics. The coefficients are evaluated for silicon and calcium in white dwarf envelopes of hydrogen and helium. A comparison of our results with Paquette et al. shows that the latter systematically underestimates the coefficient of inter-diffusion yet provides reliable estimates for the relatively weakly coupled plasmas found in nearly all types of stars as well as in white dwarfs with hydrogen envelopes. In white dwarfs with cool helium envelopes (Teff < 15000K), the difference grows to more than a factor of two. We also explored the effect of the ionization model used to determine the charges of the ions and found that it can be a substantial source of discrepancy between different calculations. Finally, we consider the relative diffusion time scales of Si and Ca in the context of the pollution of white dwarf photospheres by accreted planetesimals and find factor of > 3 differences between calculations based on Paquette et al. and our model.


title: Experimental review of the $\Upsilon(1S,2S,3S)$ physics at $e^+e^-$ colliders and the LHC

abstract: The three lowest-lying $\Upsilon$ states, i.e. $\Upsilon(1S)$, $\Upsilon(2S)$, and $\Upsilon(3S)$, composed of $b\bar b$ pairs and below the $B\bar B$ threshold, provide a good platform for the researches of hadronic physics and physics beyond the Standard Model. They can be produced directly in $e^+e^-$ colliding experiments, such as CLEO, Babar, and Belle, with low continuum backgrounds. In these experiments, many measurements of the exclusive $\Upsilon(1S)$ and $\Upsilon(2S)$ decays into light hadrons, which shed light on the "80\% rule" for the Okubo-Zweig-Iizuka suppressed decays in the bottomonium sector, were carried out. Meanwhile, many studies of the charmonium and bottomonium productions in $\Upsilon(1S,2S,3S)$ decays were performed, to distinguish different Quantum Chromodynamics (QCD) models. Besides, exotic states and new physics were also extensively explored in $\Upsilon(1S,2S,3S)$ decays at CLEO, BaBar, and Belle. The $\Upsilon(1S,2S,3S)$ states can also be produced in $pp$ collisions and in collisions involving heavy ions. The precision measurements of their cross sections and polarizations at the large hadron collider (LHC), especially in the CMS, ATLAS, and LHCb experiments, help to understand $\Upsilon$ production mechanisms in $pp$ collisions. The observation of the sequential $\Upsilon$ suppression in heavy ion collisions at CMS is of great importance for verifying the quark-gluon plasma predicted by QCD. In this article, we review the experimental results on $\Upsilon(1S,2S,3S)$ at $e^+e^-$ colliders and the LHC, and summarize their prospects at Belle II and the LHC.


title: Thermal Image and Phase Transitions of Charged AdS Black Holes using Shadow Analysis

abstract: We investigate the relations between the black hole shadow and charged AdS black hole critical behaviour in the extended phase space. Using the thermo-shadow formalism built-in [1], we reveal that the shadow radius can be considered as an efficient tool to study thermodynamical black hole systems. Based on such arguments, we build a thermal profile by varying the RN-AdS black hole temperature on the shadow silhouette. Among others, the Van der Waals-like phase transition takes place. This could open a new window on the thermal picture of black holes and the corresponding thermodynamics from the observational point of view.


title: Active Inference for Integrated State-Estimation, Control, and Learning

abstract: This work presents an approach for control, state-estimation and learning model (hyper)parameters for robotic manipulators. It is based on the active inference framework, prominent in computational neuroscience as a theory of the brain, where behaviour arises from minimizing variational free-energy. The robotic manipulator shows adaptive and robust behaviour compared to state-of-the-art methods. Additionally, we show the exact relationship to classic methods such as PID control. Finally, we show that by learning a temporal parameter and model variances, our approach can deal with unmodelled dynamics, damps oscillations, and is robust against disturbances and poor initial parameters. The approach is validated on the `Franka Emika Panda' 7 DoF manipulator.


title: Combinatorics of the 2-species exclusion processes, marked Laguerre histories, and partially signed permutations

abstract: Starting from the two-species partially asymmetric simple exclusion process, we study a subclass of signed permutations, the partially signed permutations, using the combinatorics of Laguerre histories. From this physical and bijective point of view, we obtain a natural descent statistic on partially signed permutations; as well as partially signed permutations patterns.


title: Efficient and Model-Based Infrared and Visible Image Fusion Via Algorithm Unrolling

abstract: Infrared and visible image fusion (IVIF) expects to obtain images that retain thermal radiation information from infrared images and texture details from visible images. In this paper, a model-based convolutional neural network (CNN) model, referred to as Algorithm Unrolling Image Fusion (AUIF), is proposed to overcome the shortcomings of traditional CNN-based IVIF models. The proposed AUIF model starts with the iterative formulas of two traditional optimization models, which are established to accomplish two-scale decomposition, i.e., separating low-frequency base information and high-frequency detail information from source images. Then the algorithm unrolling is implemented where each iteration is mapped to a CNN layer and each optimization model is transformed into a trainable neural network. Compared with the general network architectures, the proposed framework combines the model-based prior information and is designed more reasonably. After the unrolling operation, our model contains two decomposers (encoders) and an additional reconstructor (decoder). In the training phase, this network is trained to reconstruct the input image. While in the test phase, the base (or detail) decomposed feature maps of infrared/visible images are merged respectively by an extra fusion layer, and then the decoder outputs the fusion image. Qualitative and quantitative comparisons demonstrate the superiority of our model, which can robustly generate fusion images containing highlight targets and legible details, exceeding the state-of-the-art methods. Furthermore, our network has fewer weights and faster speed.


title: Two detection results of Khovanov homology on links

abstract: We prove that Khovanov homology with Z/2-coefficients detects the link L7n1, and the union of a trefoil and its meridian.


title: Learning to Estimate Driver Drowsiness from Car Acceleration Sensors using Weakly Labeled Data

abstract: This paper addresses the learning task of estimating driver drowsiness from the signals of car acceleration sensors. Since even drivers themselves cannot perceive their own drowsiness in a timely manner unless they use burdensome invasive sensors, obtaining labeled training data for each timestamp is not a realistic goal. To deal with this difficulty, we formulate the task as a weakly supervised learning. We only need to add labels for each complete trip, not for every timestamp independently. By assuming that some aspects of driver drowsiness increase over time due to tiredness, we formulate an algorithm that can learn from such weakly labeled data. We derive a scalable stochastic optimization method as a way of implementing the algorithm. Numerical experiments on real driving datasets demonstrate the advantages of our algorithm against baseline methods.


title: Heterogeneous CPU/GPU co-execution of CFD simulations on the POWER9 architecture: Application to airplane aerodynamics

abstract: High fidelity Computational Fluid Dynamics simulations are generally associated with large computing requirements, which are progressively acute with each new generation of supercomputers. However, significant research efforts are required to unlock the computing power of leading-edge systems, currently referred to as pre-Exascale systems, based on increasingly complex architectures. In this paper, we present the approach implemented in the computational mechanics code Alya. We describe in detail the parallelization strategy implemented to fully exploit the different levels of parallelism, together with a novel co-execution method for the efficient utilization of heterogeneous CPU/GPU architectures. The latter is based on a multi-code co-execution approach with a dynamic load balancing mechanism. The assessment of the performance of all the proposed strategies has been carried out for airplane simulations on the POWER9 architecture accelerated with NVIDIA Volta V100 GPUs.


title: London dispersion forces without density distortion: a path to first principles inclusion in density functional theory

abstract: We analyse a path to construct density functionals for the dispersion interaction energy from an expression in terms of the ground state densities and exchange-correlation holes of the isolated fragments. The expression is based on a constrained search formalism for a supramolecular wavefunction that is forced to leave the diagonal of the many-body density matrix of each fragment unchanged, and is exact for the interaction between one-electron densities. We discuss several aspects: the needed features a density functional approximation for the exchange-correlation holes of the monomers should have, the optimal choice of the one-electron basis needed (named "dispersals"), and the functional derivative with respect to monomer density variations.


title: Initial Conflicts for Transformation Rules with Nested Application Conditions

abstract: We extend the theory of initial conflicts in the framework of M-adhesive categories to transformation rules with ACs. We first show that for rules with ACs, conflicts are in general neither inherited from a bigger context any more, nor is it possible to find a finite and complete subset of finite conflicts as illustrated for the category of graphs. We define initial conflicts to be special so-called symbolic transformation pairs, and show that they are minimally complete (and in the case of graphs also finite) in this symbolic way. We show that initial conflicts represent a proper subset of critical pairs again. We moreover demonstrate that (analogous to the case of rules without ACs) for each conflict a unique initial conflict exists representing it. We conclude with presenting a sufficient condition illustrating important special cases for rules with ACs, where we do not only have initial conflicts being complete in a symbolic way, but also find complete (and in the case of graphs also finite) subsets of conflicts in the classical sense.


title: {\pi} with leftovers: a mechanisation in Agda

abstract: Linear type systems need to keep track of how programs use their resources. The standard approach is to use context splits specifying how resources are (disjointly) split across subterms. In this approach, context splits redundantly echo information which is already present within subterms. An alternative approach is to use leftover typing, where in addition to the usual (input) usage context, typing judgments have also an output usage context: the leftovers. In this approach, the leftovers of one typing derivation are fed as input to the next, threading through linear resources while avoiding context splits. We use leftover typing to define a type system for a resource-aware {\pi}-calculus, a process algebra used to model concurrent systems. Our type system is parametrised over a set of usage algebras that are general enough to encompass shared types (free to reuse and discard), graded types (use exactly n number of times) and linear types (use exactly once). Linear types are important in the {\pi}-calculus: they ensure privacy and safety of communication and avoid race conditions, while graded and shared types allow for more flexible programming. We provide a framing theorem for our type system, generalise the weakening and strengthening theorems to include linear types, and prove subject reduction. Our formalisation is fully mechanised in about 1850 lines of Agda.


title: Functions and eigenvectors of partially known matrices with applications to network analysis

abstract: Matrix functions play an important role in applied mathematics. In network analysis, in particular, the exponential of the adjacency matrix associated with a network provides valuable information about connectivity, as well as about the relative importance or centrality of nodes. Another popular approach to rank the nodes of a network is to compute the left Perron vector of the adjacency matrix for the network. The present article addresses the problem of evaluating matrix functions, as well as computing an approximation to the left Perron vector, when only some of the columns and/or some of the rows of the adjacency matrix are known. Applications to network analysis are considered, when only some sampled columns and/or rows of the adjacency matrix that defines the network are available. A sampling scheme that takes the connectivity of the network into account is described. Computed examples illustrate the performance of the methods discussed.


title: Insights from intracules and Coulomb holes

abstract: We point out that a typical two-electron distribution function in atoms and molecules often called the intracule depends sensitively on the electron-electron repulsion which leads to the so-called Coulomb correlation. The difference between the intracule densities computed by using the correlated and uncorrelated wave functions has been given the name Coulomb hole. Studies in intracule densities and Coulomb holes form a subject of considerable current interest. We make use of a three-parameter correlated wave function and its uncorrelated limit to study the properties of intracules and Coulomb holes in $He$, $Li^+$, $Be^{2+}$ and $Ne^{8+}$ and thus provide a transparent physical picture for the interplay between the electron-nucleus attraction and electron-electron repulsion in forming Coulomb holes around electrons in atoms of different $Z$ values.


title: Matching and running sensitivity in non-renormalizable inflationary models

abstract: Most of the inflationary models that are in agreement with the Planck data rely on the presence of non-renormalizable operators. If the connection to low energy particle physics is made, the renormalization group (RG) introduces a sensitivity to ultraviolet (UV) physics that can be crucial in determining the inflationary predictions. We analyse this effect for the Standard Model (SM) augmented with non-minimal derivative couplings to gravity. Our set-up reduces to the SM for small values of the Higgs field, and allows for inflation in the opposite large field regime. The one-loop beta functions in the inflationary region are calculated using a covariant approach that properly accounts for the non-trivial structure of the field space manifold. We run the SM parameters from the electroweak to the inflationary scale, matching the couplings of the different effective field theories at the boundary between the two regimes, where we also include threshold corrections that parametrize effects from UV physics. We then compute the spectral index and tensor-to-scalar ratio and find that RG flow corrections can be determinant: a scenario that is ruled out at tree level can be resurrected and vice versa.


title: Why Fairness Cannot Be Automated: Bridging the Gap Between EU Non-Discrimination Law and AI

abstract: This article identifies a critical incompatibility between European notions of discrimination and existing statistical measures of fairness. First, we review the evidential requirements to bring a claim under EU non-discrimination law. Due to the disparate nature of algorithmic and human discrimination, the EU's current requirements are too contextual, reliant on intuition, and open to judicial interpretation to be automated. Second, we show how the legal protection offered by non-discrimination law is challenged when AI, not humans, discriminate. Humans discriminate due to negative attitudes (e.g. stereotypes, prejudice) and unintentional biases (e.g. organisational practices or internalised stereotypes) which can act as a signal to victims that discrimination has occurred. Finally, we examine how existing work on fairness in machine learning lines up with procedures for assessing cases under EU non-discrimination law. We propose "conditional demographic disparity" (CDD) as a standard baseline statistical measurement that aligns with the European Court of Justice's "gold standard." Establishing a standard set of statistical evidence for automated discrimination cases can help ensure consistent procedures for assessment, but not judicial interpretation, of cases involving AI and automated systems. Through this proposal for procedural regularity in the identification and assessment of automated discrimination, we clarify how to build considerations of fairness into automated systems as far as possible while still respecting and enabling the contextual approach to judicial interpretation practiced under EU non-discrimination law. N.B. Abridged abstract


title: Ideal Separation and General Theorems for Constrained Synchronization and their Application to Small Constraint Automata

abstract: In the constrained synchronization problem we ask if a given automaton admits a synchronizing word coming from a fixed regular constraint language. We show that intersecting a given constraint language with an ideal language decreases the computational complexity. Additionally, we state a theorem giving PSPACE-hardness that broadly generalizes previously used constructions and a result on how to combine languages by concatenation to get polynomial time solvable constrained synchronization problems. We use these results to give a classification of the complexity landscape for small constraint automata of up to three states.


title: Towards Exascale Lattice Boltzmann computing

abstract: We discuss the state of art of Lattice Boltzmann (LB) computing, with special focus on prospective LB schemes capable of meeting the forthcoming Exascale challenge. After reviewing the basic notions of LB computing, we discuss current techniques to improve the performance of LB codes on parallel machines and illustrate selected leading-edge applications in the Petascale range. Finally, we put forward a few ideas on how to improve the communication/computation overlap in current large-scale LB simulations, as well as possible strategies towards fault-tolerant LB schemes.


title: TextAttack: A Framework for Adversarial Attacks, Data Augmentation, and Adversarial Training in NLP

abstract: While there has been substantial research using adversarial attacks to analyze NLP models, each attack is implemented in its own code repository. It remains challenging to develop NLP attacks and utilize them to improve model performance. This paper introduces TextAttack, a Python framework for adversarial attacks, data augmentation, and adversarial training in NLP. TextAttack builds attacks from four components: a goal function, a set of constraints, a transformation, and a search method. TextAttack's modular design enables researchers to easily construct attacks from combinations of novel and existing components. TextAttack provides implementations of 16 adversarial attacks from the literature and supports a variety of models and datasets, including BERT and other transformers, and all GLUE tasks. TextAttack also includes data augmentation and adversarial training modules for using components of adversarial attacks to improve model accuracy and robustness. TextAttack is democratizing NLP: anyone can try data augmentation and adversarial training on any model or dataset, with just a few lines of code. Code and tutorials are available at https://github.com/QData/TextAttack.


title: DMR API: Improving cluster productivity by turning applications into malleable

abstract: Adaptive workloads can change on--the--fly the configuration of their jobs, in terms of number of processes. In order to carry out these job reconfigurations, we have designed a methodology which enables a job to communicate with the resource manager and, through the runtime, to change its number of MPI ranks. The collaboration between both the workload manager---aware of the queue of jobs and the resource allocation---and the parallel runtime---able to transparently handle the processes and the program data---is crucial for our throughput-aware malleability methodology. Hence, when a job triggers a reconfiguration, the resource manager will check the cluster status and return an action: an expansion, if there are spare resources; a shrink, if queued jobs can be initiated; or none, if no change can improve the global productivity. In this paper, we describe the internals of our framework and how it is capable of reducing the global workload completion time along with providing a smarter usage of the underlying resources. For this purpose, we present a thorough study of the adaptive workloads processing by showing the detailed behavior of our framework in representative experiments and the low overhead that our reconfiguration involves.


title: An Economic Model for Quantum Key-Recovery Attacks against Ideal Ciphers

abstract: It has been established that quantum algorithms can solve several key cryptographic problems more efficiently than classical computers. As progress continues in the field of quantum computing it is important to understand the risks they pose to deployed cryptographic systems. Here we focus on one of these risks - quantum key-recovery attacks against ideal ciphers. Specifically, we seek to model the risk posed by an economically motivated quantum attacker who will choose to run a quantum key-recovery attack against an ideal cipher if the cost to recover the secret key is less than the value of the information at the time when the key-recovery attack is complete. In our analysis we introduce the concept of a quantum cipher circuit year to measure the cost of a quantum attack. This concept can be used to model the inherent tradeoff between the total time to run a quantum key recovery attack and the total work required to run said attack. Our model incorporates the time value of the encrypted information to predict whether any time/work tradeoff results in a key-recovery attack with positive utility for the attacker. We make these predictions under various projections of advances in quantum computing. We use these predictions to make recommendations for the future use and deployment of symmetric key ciphers to secure information against these quantum key-recovery attacks. We argue that, even with optimistic predictions for advances in quantum computing, 128 bit keys (as used in common cipher implementations like AES-128) provide adequate security against quantum attacks in almost all use cases.


title: Blockchain Superoptimizer

abstract: In the blockchain-based, distributed computing platform Ethereum, programs called smart contracts are compiled to bytecode and executed on the Ethereum Virtual Machine (EVM). Executing EVM bytecode is subject to monetary fees---a clear optimization target. Our aim is to superoptimize EVM bytecode by encoding the operational semantics of EVM instructions as SMT formulas and leveraging a constraint solver to automatically find cheaper bytecode. We implement this approach in our EVM Bytecode SuperOptimizer ebso and perform two large scale evaluations on real-world data sets.


title: Gradient-Free Methods for Saddle-Point Problem

abstract: In the paper, we generalize the approach Gasnikov et. al, 2017, which allows to solve (stochastic) convex optimization problems with an inexact gradient-free oracle, to the convex-concave saddle-point problem. The proposed approach works, at least, like the best existing approaches. But for a special set-up (simplex type constraints and closeness of Lipschitz constants in 1 and 2 norms) our approach reduces $\frac{n}{\log n}$ times the required number of oracle calls (function calculations). Our method uses a stochastic approximation of the gradient via finite differences. In this case, the function must be specified not only on the optimization set itself, but in a certain neighbourhood of it. In the second part of the paper, we analyze the case when such an assumption cannot be made, we propose a general approach on how to modernize the method to solve this problem, and also we apply this approach to particular cases of some classical sets.


title: Benchmarking Coherent Errors in Controlled-Phase Gates due to Spectator Qubits

abstract: A major challenge in operating multi-qubit quantum processors is to mitigate multi-qubit coherent errors. For superconducting circuits, besides crosstalk originating from imperfect isolation of control lines, dispersive coupling between qubits is a major source of multi-qubit coherent errors. We benchmark phase errors in a controlled-phase gate due to dispersive coupling of either of the qubits involved in the gate to one or more spectator qubits. We measure the associated gate infidelity using quantum process tomography. In addition, we point out that, due to coupling of the gate qubits to a non-computational state during the gate, two-qubit conditional phase errors are enhanced. Our work is important for understanding limits to the fidelity of two-qubit gates with finite on/off ratio in multi-qubit settings.


title: Heartbeat-Based Synchronization Scheme for the Human Intranet: Modeling and Analysis

abstract: Sharing a common clock signal among the nodes is crucial for communication in synchronized networks. This work presents a heartbeat-based synchronization scheme for body-worn nodes. The principles of this coordination technique combined with a puncture-based communication method are introduced. Theoretical models of the hardware blocks are presented, outlining the impact of their specifications on the system. Moreover, we evaluate the synchronization efficiency in simulation and compare with a duty-cycled receiver topology. Improvement in power consumption of at least 26% and tight latency control are highlighted at no cost on the channel availability.


title: Chemical trends in the high thermoelectric performance of the pyrite-type dichalcogenides: ZnS2, CdS2 and CdSe2

abstract: The thermoelectric properties of the three pyrite-type IIB-VIA2 dichalcogenides (ZnS2, CdS2 and CdSe2) are systematically investigated and compared with those of the prototype ZnSe2 in order to optimize their thermoelectric properties. Using the phonon Boltzmann transport equation, we find that they all have ultralow lattice thermal conductivities. By analyzing their vibrational properties, these are attributed to soft phonon modes derived from the loosely bound rattling-like metal atoms and to strong anharmonicities caused by the vibrations of all atoms perpendicular to the strongly bound nonmetallic dimers. Additionally, by correlating those properties along the series, we elucidate a number of chemical trends. We find that heavier atom masses, larger atomic displacement parameters and longer bond lengths between metal and nonmetal atoms can be beneficial to the looser rattling of the metal atoms and therefore lead to softer phonon modes, and that stronger nonmetallic dimer bonds can boost the anharmonicities, both leading to lower thermal conductivities. Furthermore, we find that all three compounds have complex energy isosurfaces at valence and conduction band edges that simultaneously allow for large density-of-states effective masses and small conductivity effective masses for both p-type and n-type carriers. Consequently, the calculated thermoelectric figures of merit (ZT), can reach large values both for p-type and n-type doping. Our study illustrates the effects of rattling-like metal atoms and localized nonmetallic dimers on the thermal transport properties and the importance of different carrier effective masses to electrical transport properties in these pyrite-type dichalcogenides, which can be used to predict and optimize the thermoelectric properties of other thermoelectric compounds in the future.


title: Analytical solutions for Navier-Stokes equations with $\psi$-Caputo fractional derivative

abstract: This work aims to use the homotopy analysis method to obtain analytical solutions of linear time-fractional Navier-Stokes equations with cylindrical coordinates and of a system of nonlinear time-fractional Navier-Stokes equations with Cartesian coordinates. These equations are described in the $\psi$-Caputo time-fractional derivative. The solutions obtained for time-fractional Navier-Stokes equations are graphically presented.