title: COVID-19 Antibody Test / Vaccination Certification: There's an app for that

abstract: Goal: As the Coronavirus Pandemic of 2019/2020 unfolds, a COVID-19 'Immunity Passport' has been mooted as a way to enable individuals to return back to work. While the quality of antibody testing, the availability of vaccines, and the likelihood of even attaining COVID-19 immunity continue to be researched, we address the issues involved in providing tamper-proof and privacy-preserving certification for test results and vaccinations. Methods: We developed a prototype mobile phone app and requisite decentralized server architecture that facilitates instant verification of tamper-proof test results. Personally identifiable information is only stored at the user's discretion, and the app allows the end-user selectively to present only the specific test result with no other personal information revealed. The architecture, designed for scalability, relies upon (a) the 2019 World Wide Web Consortium standard called 'Verifiable Credentials', (b) Tim Berners-Lee's decentralized personal data platform 'Solid', and (c) a Consortium Ethereum-based blockchain. Results: Our mobile phone app and decentralized server architecture enable the mixture of verifiability and privacy in a manner derived from public/private key pairs and digital signatures, generalized to avoid restrictive ownership of sensitive digital keys and/or data. Benchmark performance tests show it to scale linearly in the worst case, as significant processing is done locally on each app. For the test certificate Holder, Issuer (e.g. healthcare staff, pharmacy) and Verifier (e.g. employer), it is 'just another app' which takes only minutes to use. Conclusions: The app and decentralized server architecture offer a prototype proof of concept that is readily scalable, applicable generically, and in effect 'waiting in the wings' for the biological issues, plus key ethical issues raised in the discussion section, to be resolved.


title: Polyhedra, lattice structures, and extensions of semigroups

abstract: For an arbitrary rational polyhedron we consider its decompositions into Minkowski summands and, dual to this, the free extensions of the associated pair of semigroups. Being free for the pair of semigroups is equivalent to flatness for the corresponding algebras. Our main result is phrased in this dual setup: the category of free extensions always contains an initial object, which we describe explicitly. These objects seem to be related to unique liftings in log geometry. Further motivation comes from the deformation theory of the associated toric singularity.


title: Decentralized Gaussian Filters for Cooperative Self-localization and Multi-target Tracking

abstract: Scalable and decentralized algorithms for Cooperative Self-localization (CS) of agents, and Multi-Target Tracking (MTT) are important in many applications. In this work, we address the problem of Simultaneous Cooperative Self-localization and Multi-Target Tracking (SCS-MTT) under target data association uncertainty, i.e., the associations between measurements and target tracks are unknown. Existing CS and tracking algorithms either make the assumption of no data association uncertainty or employ a hard-decision rule for measurement-to-target associations. We propose a novel decentralized SCS-MTT method for an unknown and time-varying number of targets under association uncertainty. Marginal posterior densities for agents and targets are obtained by an efficient belief propagation (BP) based scheme while data association is handled by marginalizing over all target-to-measurement association probabilities. Decentralized single Gaussian and Gaussian mixture implementations are provided based on average consensus schemes, which require communication only with one-hop neighbors. An additional novelty is a decentralized Gibbs mechanism for efficient evaluation of the product of Gaussian mixtures. Numerical experiments show the improved CS and MTT performance compared to the conventional approach of separate localization and target tracking.


title: Controlling valley splitting and Polarization of dark- and bi-excitons in monolayer WS$_2$ by a tilted magnetic field

abstract: We developed a comprehensive theoretical framework focusing on many-body effects of exciton species in monolayer WS$_2$, including bright and dark excitons, and intra- and inter-valley biexcitons, to investigate valley dynamics in monolayer WS$_2$ subjected to a tilted magnetic field B. In particular, the evolution of the exciton population densities and the many-body particle scatterings are considered to calculate the valley polarization (V P ) as a function of the magnetic field. We found valley splittings for the dark exciton and biexciton energy levels that are larger than those of bright excitons, of -0.23 meV/T. For example, -0.46 meV/T for dark excitons and -0.69 meV/T for bright-dark intra-valley biexcitons. Furthermore, inter-valley bright-dark excitons have an opposite valley energy splittings of +0.23 meV/T. For the samples pumped by linearly polarized light, V P exhibits distinct magnetic field dependence for different types of many-body particle states. Among them, the V P of the intra-valley bright-dark biexcitons increases with increasing magnetic field and reaches nearly 50% at B=65 T. The brightened dark exciton, on the other hand, exhibits vanishing VP, indicating long valley relaxation time. Remarkably, the inter-valley bright-dark biexciton shows unconventional behavior with an inverted VP. The opposite VP for intra- and inter-valley bright-dark biexcitons, coupled with their large valley splitting and long valley lifetime may facilitate their coherent manipulation for quantum computing.


title: Performance Analysis for Autonomous Vehicle 5G-Assisted Positioning in GNSS-Challenged Environments

abstract: Standalone Global Navigation Satellite Systems (GNSS) are known to provide positioning accuracy of a few meters in open sky conditions. This accuracy can drop significantly when the line-of-sight (LOS) paths to some GNSS satellites are obstructed, e.g., in urban canyons or underground tunnels. To overcome this issue, the general approach is usually to augment GNSS systems with other dedicated subsystems to help cover the gaps arising from obscured LOS. Positioning in 5G has attracted some attention lately, mainly due to the possibility to provide cm-level accuracy using 5G signals and infrastructure, effectively imposing no additional cost. In this paper, we study the hybridization of GNSS and 5G positioning in terms of achievable position and velocity error bounds. We focus on scenarios where satellite visibility is constrained by the environment geometry, and where the GNSS and 5G positioning systems fail to perform individually or provide a prohibitively large error.


title: Optimal protocols for the most difficult repeated coordination games

abstract: This paper investigates repeated win-lose coordination games (WLC-games). We analyse which protocols are optimal for these games covering both the worst case and average case scenarios, i,e., optimizing the guaranteed and expected coordination times. We begin by analysing Choice Matching Games (CM-games) which are a simple yet fundamental type of WLC-games, where the goal of the players is to pick the same choice from a finite set of initially indistinguishable choices. We give a complete classification of optimal expected and guaranteed coordination times in two-player CM-games and show that the corresponding optimal protocols are unique in every case - except in the CM-game with four choices, which we analyse separately. Our results on CM-games are also essential for proving a more general result on the difficulty of all WLC-games: we provide a complete analysis of least upper bounds for optimal expected coordination times in all two-player WLC-games as a function of game size. We also show that CM-games can be seen as the most difficult games among all two-player WLC-games, as they turn out to have the greatest optimal expected coordination times.


title: Stellar-mass black holes in young massive and open stellar clusters IV: updated stellar-evolutionary and black hole spin models and comparisons with the LIGO-Virgo O1/O2 merger-event data

abstract: I present a set of long-term, direct, relativistic many-body computations of model dense stellar clusters with up-to-date stellar-evolutionary, supernova (SN), and remnant natal-kick models, including pair instability and pulsation pair instability supernova (PSN and PPSN), using an updated version of NBODY7 N-body simulation program. The N-body model also includes stellar evolution-based natal spins of BHs and treatments of binary black hole (BBH) mergers based on numerical relativity. These, for the first time in a direct N-body simulation, allow for second-generation BBH mergers. The set of 65 evolutionary models have initial masses $10^4M_\odot-10^5M_\odot$, sizes 1 pc-3 pc, metallicity $0.0001-0.02$, with the massive stars in primordial binaries and they represent young massive clusters (YMC) and moderately massive open clusters (OC). Such models produce dynamically-paired BBH mergers that agree well with the observed masses, mass ratios, effective spin parameters, and final spins of the LVC O1/O2 merger events, provided BHs are born with low or no spin but spin up after undergoing a BBH merger or matter accretion onto it. In particular, the distinctly higher mass, effective spin parameter, and final spin of GW170729 merger event is naturally reproduced, as also the mass asymmetry of the O3 event GW190412. The computed models produce massive, $\sim100M_\odot$ BBH mergers with primary mass within the 'PSN gap' and also yield mergers involving remnants in the 'mass gap'. They also suggest that YMCs and OCs produce persistent, Local-Universe GW sources detectable by LISA. Such clusters are also capable of producing eccentric LIGO-Virgo mergers.


title: Exploiting Categorical Structure Using Tree-Based Methods

abstract: Standard methods of using categorical variables as predictors either endow them with an ordinal structure or assume they have no structure at all. However, categorical variables often possess structure that is more complicated than a linear ordering can capture. We develop a mathematical framework for representing the structure of categorical variables and show how to generalize decision trees to make use of this structure. This approach is applicable to methods such as Gradient Boosted Trees which use a decision tree as the underlying learner. We show results on weather data to demonstrate the improvement yielded by this approach.


title: Topological Descriptors for Parkinson's Disease Classification and Regression Analysis

abstract: At present, the vast majority of human subjects with neurological disease are still diagnosed through in-person assessments and qualitative analysis of patient data. In this paper, we propose to use Topological Data Analysis (TDA) together with machine learning tools to automate the process of Parkinson's disease classification and severity assessment. An automated, stable, and accurate method to evaluate Parkinson's would be significant in streamlining diagnoses of patients and providing families more time for corrective measures. We propose a methodology which incorporates TDA into analyzing Parkinson's disease postural shifts data through the representation of persistence images. Studying the topology of a system has proven to be invariant to small changes in data and has been shown to perform well in discrimination tasks. The contributions of the paper are twofold. We propose a method to 1) classify healthy patients from those afflicted by disease and 2) diagnose the severity of disease. We explore the use of the proposed method in an application involving a Parkinson's disease dataset comprised of healthy-elderly, healthy-young and Parkinson's disease patients. Our code is available at https://github.com/itsmeafra/Sublevel-Set-TDA.


title: Uniqueness in Haken's Theorem

abstract: Following Haken and Casson-Gordon, it was shown in [Sc] that given a reducing sphere or boundary-reducing disk E in a Heegaard split manifold M, the Heegaard surface T can be isotoped so that it intersects E in a single circle. Here we show that when this is achieved by two different positionings of T, one can be moved to the other by a sequence of 1) isotopies of T rel E 2) pushing a stabilizing pair of T through E and 3) eyegelass twists of T. The last move is inspired by one of Powell's proposed generators for the Goeritz group.


title: Neuromorphic Event-Based Slip Detection and suppression in Robotic Grasping and Manipulation

abstract: Slip detection is essential for robots to make robust grasping and fine manipulation. In this paper, a novel dynamic vision-based finger system for slip detection and suppression is proposed. We also present a baseline and feature based approach to detect object slips under illumination and vibration uncertainty. A threshold method is devised to autonomously sample noise in real-time to improve slip detection. Moreover, a fuzzy based suppression strategy using incipient slip feedback is proposed for regulating the grip force. A comprehensive experimental study of our proposed approaches under uncertainty and system for high-performance precision manipulation are presented. We also propose a slip metric to evaluate such performance quantitatively. Results indicate that the system can effectively detect incipient slip events at a sampling rate of 2kHz ($\Delta t = 500\mu s$) and suppress them before a gross slip occurs. The event-based approach holds promises to high precision manipulation task requirement in industrial manufacturing and household services.


title: Continuously many bounded displacement non-equivalences in substitution tiling spaces

abstract: We consider substitution tilings in R^d that give rise to point sets that are not bounded displacement (BD) equivalent to a lattice and study the cardinality of BD(X), the set of distinct BD class representatives in the corresponding tiling space X. We prove a sufficient condition under which the tiling space contains continuously many distinct BD classes and present such an example in the plane. In particular, we show here for the first time that this cardinality can be greater than one.


title: Transfer learning in large-scale ocean bottom seismic wavefield reconstruction

abstract: Achieving desirable receiver sampling in ocean bottom acquisition is often not possible because of cost considerations. Assuming adequate source sampling is available, which is achievable by virtue of reciprocity and the use of modern randomized (simultaneous-source) marine acquisition technology, we are in a position to train convolutional neural networks (CNNs) to bring the receiver sampling to the same spatial grid as the dense source sampling. To accomplish this task, we form training pairs consisting of densely sampled data and artificially subsampled data using a reciprocity argument and the assumption that the source-site sampling is dense. While this approach has successfully been used on the recovery monochromatic frequency slices, its application in practice calls for wavefield reconstruction of time-domain data. Despite having the option to parallelize, the overall costs of this approach can become prohibitive if we decide to carry out the training and recovery independently for each frequency. Because different frequency slices share information, we propose the use the method of transfer training to make our approach computationally more efficient by warm starting the training with CNN weights obtained from a neighboring frequency slices. If the two neighboring frequency slices share information, we would expect the training to improve and converge faster. Our aim is to prove this principle by carrying a series of carefully selected experiments on a relatively large-scale five-dimensional data synthetic data volume associated with wide-azimuth 3D ocean bottom node acquisition. From these experiments, we observe that by transfer training we are able t significantly speedup in the training, specially at relatively higher frequencies where consecutive frequency slices are more correlated.


title: Extended source imaging, a unifying framework for seismic & medical imaging

abstract: We present three imaging modalities that live on the crossroads of seismic and medical imaging. Through the lens of extended source imaging, we can draw deep connections among the fields of wave-equation based seismic and medical imaging, despite first appearances. From the seismic perspective, we underline the importance to work with the correct physics and spatially varying velocity fields. Medical imaging, on the other hand, opens the possibility for new imaging modalities where outside stimuli, such as laser or radar pulses, can not only be used to identify endogenous optical or thermal contrasts but that these sources can also be used to insonify the medium so that images of the whole specimen can in principle be created.


title: Trakhtenbrot's Theorem in Coq, A Constructive Approach to Finite Model Theory

abstract: We study finite first-order satisfiability (FSAT) in the constructive setting of dependent type theory. Employing synthetic accounts of enumerability and decidability, we give a full classification of FSAT depending on the first-order signature of non-logical symbols. On the one hand, our development focuses on Trakhtenbrot's theorem, stating that FSAT is undecidable as soon as the signature contains an at least binary relation symbol. Our proof proceeds by a many-one reduction chain starting from the Post correspondence problem. On the other hand, we establish the decidability of FSAT for monadic first-order logic, i.e. where the signature only contains at most unary function and relation symbols, as well as the enumerability of FSAT for arbitrary enumerable signatures. All our results are mechanised in the framework of a growing Coq library of synthetic undecidability proofs.


title: Mathematical assessment of the impact of non-pharmaceutical interventions on curtailing the 2019 novel Coronavirus

abstract: A novel Coronavirus pandemic emerged in December of 2019, causing devastating public health impact across the world. In the absence of a safe and effective vaccine or antiviral, strategies for mitigating the burden of the pandemic are focused on non-pharmaceutical interventions, such as social-distancing, contact-tracing, quarantine, isolation and the use of face-masks in public. We develop a new mathematical model for assessing the population-level impact of these mitigation strategies. Simulations of the model, using data relevant to COVID-19 transmission in New York state and the entire US, show that the pandemic will peak in mid and late April, respectively. The worst-case scenario projections for cumulative mortality (based on the baseline levels of anti-COVID non-pharmaceutical interventions considered in the study) in New York State and the entire US decrease dramatically by 80% and 64%, respectively, if the strict social-distancing measures implemented are maintained until the end of May or June, 2020. This study shows that early termination of strict social-distancing could trigger a devastating second wave with burden similar to that projected before the onset of strict social-distance. The use of efficacious face-masks (efficacy greater than 70%) could lead to the elimination of the pandemic if at least 70% of the residents of New York state use such masks consistently (nationwide, a compliance of at least 80% will be required using such masks). The use of low efficacy masks, such as cloth masks (of efficacy less than 30%), could also lead to significant reduction of COVID-19 burden (albeit, they are not able to lead to elimination). Combining low efficacy masks with improved levels of other anti-COVID-19 intervention measures can lead to elimination of the pandemic. The mask coverage needed to eliminate COVID-19 decreases if mask-use is combined with strict social-distancing.


title: Joint Supervised and Self-Supervised Learning for 3D Real-World Challenges

abstract: Point cloud processing and 3D shape understanding are very challenging tasks for which deep learning techniques have demonstrated great potentials. Still further progresses are essential to allow artificial intelligent agents to interact with the real world, where the amount of annotated data may be limited and integrating new sources of knowledge becomes crucial to support autonomous learning. Here we consider several possible scenarios involving synthetic and real-world point clouds where supervised learning fails due to data scarcity and large domain gaps. We propose to enrich standard feature representations by leveraging self-supervision through a multi-task model that can solve a 3D puzzle while learning the main task of shape classification or part segmentation. An extensive analysis investigating few-shot, transfer learning and cross-domain settings shows the effectiveness of our approach with state-of-the-art results for 3D shape classification and part segmentation.


title: Minimal quantum heat manager boosted by bath spectral filtering

abstract: We reveal the potentially important role of a general mechanism that has hitherto not been invoked in quantum heat management schemes, namely, spectral filtering of the coupling between the heat baths in the setup and the quantum system that controls the heat flow. Such filtering is enabled by interfaces between the system and the baths by means of harmonic-oscillator modes whose resonant frequencies and coupling strengths are used as control parameters of the system-bath coupling spectra. We show that this uniquely quantum-electrodynamic mechanism, here dubbed bath spectral filtering, boosts the performance of a minimal quantum heat manager comprised of two interacting qubits or an analogous optomechanical system, allowing this device to attain either perfect heat diode action or strongly enhanced heat transistor action.


title: Generalized Shortest Path-based Superpixels for Accurate Segmentation of Spherical Images

abstract: Most of existing superpixel methods are designed to segment standard planar images as pre-processing for computer vision pipelines. Nevertheless, the increasing number of applications based on wide angle capture devices, mainly generating 360{\deg} spherical images, have enforced the need for dedicated superpixel approaches. In this paper, we introduce a new superpixel method for spherical images called SphSPS (for Spherical Shortest Path-based Superpixels). Our approach respects the spherical geometry and generalizes the notion of shortest path between a pixel and a superpixel center on the 3D spherical acquisition space. We show that the feature information on such path can be efficiently integrated into our clustering framework and jointly improves the respect of object contours and the shape regularity. To relevantly evaluate this last aspect in the spherical space, we also generalize a planar global regularity metric. Finally, the proposed SphSPS method obtains significantly better performance than both planar and recent spherical superpixel approaches on the reference 360{\deg} spherical panorama segmentation dataset.


title: Joint User Pairing and Association for Multicell NOMA: A Pointer Network-based Approach

abstract: In this paper, we investigate the joint user pairing and association problem for multicell non-orthogonal multiple access (NOMA) systems. We consider a scenario where the user equipments (UEs) are located in a multicell network equipped with multiple base stations. Each base station has multiple orthogonal physical resource blocks (PRBs). Each PRB can be allocated to a pair of UEs using NOMA. Each UE has the additional freedom to be served by any one of the base stations, which further increases the complexity of the joint user pairing and association algorithm design. Leveraging the recent success on using machine learning to solve numerical optimization problems, we formulate the joint user pairing and association problem as a combinatorial optimization problem. The solution is found using an emerging deep learning architecture called Pointer Network (PtrNet), which has a lower computational complexity compared to solutions based on iterative algorithms and has been proven to achieve near-optimal performance. The training phase of the PtrNet is based on deep reinforcement learning (DRL), and does not require the use of the optimal solution of the formulated problem as training labels. Simulation results show that the proposed joint user pairing and association scheme achieves near-optimal performance in terms of the aggregate data rate, and outperforms the random user pairing and association heuristic by up to 30%.


title: Global solutions to the spherically symmetric Einstein-scalar field system with a positive cosmological constant in Bondi coordinates

abstract: We consider a characteristic initial value problem, with initial data given on a future null cone, for the Einstein (massless) scalar field system with a positive cosmological constant, in Bondi coordinates. We prove that, for small data, this system has a unique global classical solution which is causally geodesically complete to the future and decays polynomially in radius and exponentially in Bondi time, approaching the de Sitter solution.


title: Determination of an Optimal Control Strategy for Vaccine Administration in COVID-19 Pandemic Treatment

abstract: During decades, mathematical models have been used to predict the behavior of physical and biologic systems, and to define strategies aiming the minimization of the effects regarding different types of diseases. In the present days, the development of mathematical models to simulate the dynamic behavior of novel coronavirus disease (COVID-19) is considered an important theme due to the quantity of infected people worldwide. In this work, the aim is to determine an optimal control strategy for vaccine administration in COVID-19 pandemic treatment considering real data from China. For this purpose, an inverse problem is formulated and solved in order to determine the parameters of the compartmental SIR (Susceptible-Infectious-Recovered) model. To solve such inverse problem, the Differential Evolution (DE) algorithm is employed. After this step, two optimal control problems (mono- and multi-objective) to determine the optimal strategy for vaccine administration in COVID-19 pandemic treatment are proposed. The first consists of minimizing the quantity of infected individuals during the treatment. The second considers minimizing together the quantity of infected individuals and the prescribed vaccine concentration during the treatment, i.e., a multi-objective optimal control problem. The solution of each optimal control problems is obtained using DE and Multi-Objective Differential Evolution (MODE) algorithms, respectively. The results regarding the proposed multi-objective optimal control problem provides a set of evidences from which an optimal strategy for vaccine administration can be chosen, according to a given criterion.


title: Neuromorphic Eye-in-Hand Visual Servoing

abstract: Robotic vision plays a major role in factory automation to service robot applications. However, the traditional use of frame-based camera sets a limitation on continuous visual feedback due to their low sampling rate and redundant data in real-time image processing, especially in the case of high-speed tasks. Event cameras give human-like vision capabilities such as observing the dynamic changes asynchronously at a high temporal resolution ($1\mu s$) with low latency and wide dynamic range. In this paper, we present a visual servoing method using an event camera and a switching control strategy to explore, reach and grasp to achieve a manipulation task. We devise three surface layers of active events to directly process stream of events from relative motion. A purely event based approach is adopted to extract corner features, localize them robustly using heat maps and generate virtual features for tracking and alignment. Based on the visual feedback, the motion of the robot is controlled to make the temporal upcoming event features converge to the desired event in spatio-temporal space. The controller switches its strategy based on the sequence of operation to establish a stable grasp. The event based visual servoing (EVBS) method is validated experimentally using a commercial robot manipulator in an eye-in-hand configuration. Experiments prove the effectiveness of the EBVS method to track and grasp objects of different shapes without the need for re-tuning.


title: Representation Learning of Histopathology Images using Graph Neural Networks

abstract: Representation learning for Whole Slide Images (WSIs) is pivotal in developing image-based systems to achieve higher precision in diagnostic pathology. We propose a two-stage framework for WSI representation learning. We sample relevant patches using a color-based method and use graph neural networks to learn relations among sampled patches to aggregate the image information into a single vector representation. We introduce attention via graph pooling to automatically infer patches with higher relevance. We demonstrate the performance of our approach for discriminating two sub-types of lung cancers, Lung Adenocarcinoma (LUAD) & Lung Squamous Cell Carcinoma (LUSC). We collected 1,026 lung cancer WSIs with the 40$\times$ magnification from The Cancer Genome Atlas (TCGA) dataset, the largest public repository of histopathology images and achieved state-of-the-art accuracy of 88.8% and AUC of 0.89 on lung cancer sub-type classification by extracting features from a pre-trained DenseNet


title: Affordances in Robotic Tasks -- A Survey

abstract: Affordances are key attributes of what must be perceived by an autonomous robotic agent in order to effectively interact with novel objects. Historically, the concept derives from the literature in psychology and cognitive science, where affordances are discussed in a way that makes it hard for the definition to be directly transferred to computational specifications useful for robots. This review article is focused specifically on robotics, so we discuss the related literature from this perspective. In this survey, we classify the literature and try to find common ground amongst different approaches with a view to application in robotics. We propose a categorisation based on the level of prior knowledge that is assumed to build the relationship among different affordance components that matter for a particular robotic task. We also identify areas for future improvement and discuss possible directions that are likely to be fruitful in terms of impact on robotics practice.


title: Poisoning Attacks on Algorithmic Fairness

abstract: Research in adversarial machine learning has shown how the performance of machine learning models can be seriously compromised by injecting even a small fraction of poisoning points into the training data. While the effects on model accuracy of such poisoning attacks have been widely studied, their potential effects on other model performance metrics remain to be evaluated. In this work, we introduce an optimization framework for poisoning attacks against algorithmic fairness, and develop a gradient-based poisoning attack aimed at introducing classification disparities among different groups in the data. We empirically show that our attack is effective not only in the white-box setting, in which the attacker has full access to the target model, but also in a more challenging black-box scenario in which the attacks are optimized against a substitute model and then transferred to the target model. We believe that our findings pave the way towards the definition of an entirely novel set of adversarial attacks targeting algorithmic fairness in different scenarios, and that investigating such vulnerabilities will help design more robust algorithms and countermeasures in the future.


title: Optimal Control of Aquatic Diseases: A Case Study of Yemen's Cholera Outbreak

abstract: We propose a mathematical model for the transmission dynamics of some strains of the bacterium Vibrio cholerae, responsible for the cholera disease in humans. We prove that, when the basic reproduction number is equal to one, a transcritical bifurcation occurs for which the endemic equilibrium emanates from the disease-free point. A control function is introduced into the model, representing the distribution of chlorine water tablets for water purification. An optimal control problem is then proposed and analyzed, where the goal is to determine the fraction of susceptible individuals who should have access to chlorine water tablets in order to minimize the total number of new infections plus the total cost associated with the distribution of chlorine water tablets, over the considered period of time. Finally, we consider real data of the cholera outbreak in Yemen, from 27 April 2017 to 15 April 2018, choosing the values of the parameters of the uncontrolled model that fit the real data. Using our optimal control results, we show, numerically, that the distribution of chlorine water tablets could have stopped, in a fast way, the worst cholera outbreak that ever occurred in human history. Due to the critical situation of Yemen, we also simulate the case where only a small percentage of susceptible individuals has access to chlorine water tablets and obtain an optimal control solution that decreases, substantially, the maximum number of infective individuals attained at the outbreak.


title: On the computability of continuous maximum entropy distributions with applications

abstract: We initiate a study of the following problem: Given a continuous domain $\Omega$ along with its convex hull $\mathcal{K}$, a point $A \in \mathcal{K}$ and a prior measure $\mu$ on $\Omega$, find the probability density over $\Omega$ whose marginal is $A$ and that minimizes the KL-divergence to $\mu$. This framework gives rise to several extremal distributions that arise in mathematics, quantum mechanics, statistics, and theoretical computer science. Our technical contributions include a polynomial bound on the norm of the optimizer of the dual problem that holds in a very general setting and relies on a "balance" property of the measure $\mu$ on $\Omega$, and exact algorithms for evaluating the dual and its gradient for several interesting settings of $\Omega$ and $\mu$. Together, along with the ellipsoid method, these results imply polynomial-time algorithms to compute such KL-divergence minimizing distributions in several cases. Applications of our results include: 1) an optimization characterization of the Goemans-Williamson measure that is used to round a positive semidefinite matrix to a vector, 2) the computability of the entropic barrier for polytopes studied by Bubeck and Eldan, and 3) a polynomial-time algorithm to compute the barycentric quantum entropy of a density matrix that was proposed as an alternative to von Neumann entropy in the 1970s: this corresponds to the case when $\Omega$ is the set of rank one projections matrices and $\mu$ corresponds to the Haar measure on the unit sphere. Our techniques generalize to the setting of Hermitian rank $k$ projections using the Harish-Chandra-Itzykson-Zuber formula, and are applicable even beyond, to adjoint orbits of compact Lie groups.


title: Neutrinoless Double Beta Decay from Lattice QCD: The Long-Distance $\pi^{-} \rightarrow \pi^{+} e^{-} e^{-}$ Amplitude

abstract: Neutrinoless double beta decay (\( 0 \nu \beta \beta \)) is a hypothetical nuclear decay mode with important implications. In particular, observation of this decay would demonstrate that the neutrino is a Majorana particle and that lepton number conservation is violated in nature. Relating experimental constraints on \(0 \nu \beta \beta\) decay rates to the neutrino masses requires theoretical input in the form of non-perturbative nuclear matrix elements which remain difficult to calculate reliably. This work marks a first step toward providing a general lattice QCD framework for computing long-distance \(0 \nu \beta \beta\) matrix elements in the case where the decay is mediated by a light Majorana neutrino. The relevant formalism is developed and then tested by computing the simplest such matrix element describing an unphysical \( \pi^{-} \rightarrow \pi^{+} e^{-} e^{-} \) transition on a series of domain wall fermion ensembles. The resulting lattice data is then fit to next-to-leading-order chiral perturbation theory, allowing a fully-controlled extraction of the low energy constant governing the transition rate, \(g_{\nu}^{\pi \pi}(\mu = 770 \,\, \mathrm{MeV}) = -10.78(12)_{\rm stat}(51)_{\rm sys}\). Finally, future prospects for calculations of more complicated processes, such as the phenomenologically important \(n^{0} n^{0} \rightarrow p^{+} p^{+} e^{-} e^{-}\) decay, are discussed.


title: Homology spheres bounding acyclic smooth manifolds and symplectic fillings

abstract: In this paper, we collect various structural results to determine when an integral homology $3$--sphere bounds an acyclic smooth $4$--manifold, and when this can be upgraded to a Stein manifold. In a different direction we study whether smooth embedding of connected sums of lens spaces in $\mathbb{C}^2$ can be upgraded to a Stein embedding, and determined that this never happens.


title: Supercritical elliptic problems involving a Cordes like operator

abstract: In this work we obtain positive bounded solutions of various perturbations of \begin{equation} \left\{ \begin{array}{lcl} \hfill -\Delta u - \gamma \sum_{i,j=1}^N \frac{x_i x_j}{|x|^2} u_{x_i x_j} &=& u^p \qquad \mbox{ in } B_1, \\ \hfill u &=& 0 \hfill \mbox{ on } \partial B_1, \end{array}\right. \end{equation} where $B_1$ is the unit ball in $ \IR^N$ where $N \ge 3$, $ \gamma>0$ and $ 1<p<p_{N,\gamma}$ where \begin{equation*} p_{N,\gamma}:=\left\{ \begin{array}{lc} \frac{N+2+3 \gamma}{N-2-\gamma} & \qquad \mbox{ if } \gamma<N-2, \\ \infty & \qquad \mbox{ if } \gamma \ge N-2. \end{array}\right. \end{equation*} Note for $\gamma>0$ this allows for supercritical range of $p$.


title: Radiologist-Level COVID-19 Detection Using CT Scans with Detail-Oriented Capsule Networks

abstract: Radiographic images offer an alternative method for the rapid screening and monitoring of Coronavirus Disease 2019 (COVID-19) patients. This approach is limited by the shortage of radiology experts who can provide a timely interpretation of these images. Motivated by this challenge, our paper proposes a novel learning architecture, called Detail-Oriented Capsule Networks (DECAPS), for the automatic diagnosis of COVID-19 from Computed Tomography (CT) scans. Our network combines the strength of Capsule Networks with several architecture improvements meant to boost classification accuracies. First, DECAPS uses an Inverted Dynamic Routing mechanism which increases model stability by preventing the passage of information from non-descriptive regions. Second, DECAPS employs a Peekaboo training procedure which uses a two-stage patch crop and drop strategy to encourage the network to generate activation maps for every target concept. The network then uses the activation maps to focus on regions of interest and combines both coarse and fine-grained representations of the data. Finally, we use a data augmentation method based on conditional generative adversarial networks to deal with the issue of data scarcity. Our model achieves 84.3% precision, 91.5% recall, and 96.1% area under the ROC curve, significantly outperforming state-of-the-art methods. We compare the performance of the DECAPS model with three experienced, well-trained thoracic radiologists and show that the architecture significantly outperforms them. While further studies on larger datasets are required to confirm this finding, our results imply that architectures like DECAPS can be used to assist radiologists in the CT scan mediated diagnosis of COVID-19.


title: Non-backtracking spectra of weighted inhomogeneous random graphs

abstract: We study a model of random graphs where each edge is drawn independently (but not necessarily identically distributed) from the others, and then assigned a random weight. When the mean degree of such a graph is low, it is known that the spectrum of the adjacency matrix $A$ deviates significantly from that of its expected value $\mathbb E A$. In contrast, we show that over a wide range of parameters the top eigenvalues of the non-backtracking matrix $B$ -- a matrix whose powers count the non-backtracking walks between two edges -- are close to those of $\mathbb E A$, and all other eigenvalues are confined in a bulk with known radius. We also obtain a precise characterization of the scalar product between the eigenvectors of $B$ and their deterministic counterparts derived from the model parameters. This result has many applications, in domains ranging from (noisy) matrix completion to community detection, as well as matrix perturbation theory. In particular, we establish as a corollary that a result known as the Baik-Ben Arous-P\'ech\'e phase transition, previously established only for rotationally invariant random matrices, holds more generally for matrices $A$ as above under a mild concentration hypothesis.


title: Dynamical obstructions to classification by (co)homology and other TSI-group invariants

abstract: In the spirit of Hjorth's turbulence theory, we introduce "unbalancedness": a new dynamical obstruction to classifying orbit equivalence relations by actions of Polish groups which admit a two side invariant metric (TSI). Since abelian groups are TSI, unbalancedness can be used for identifying which classification problems cannot be solved by classical homology and cohomology theories. In terms of applications, we show that Morita equivalence of continuous-trace $C^*$-algebras, as well as isomorphism of Hermitian line bundles, are not classifiable by actions of TSI groups. In the process, we show that the Wreath product of any two non-compact subgroups of $S_{\infty}$ admits an action whose orbit equivalence relation is generically ergodic against any action of a TSI group and we deduce that there is an orbit equivalence relation of a CLI group which is not classifiable by actions of TSI groups.


title: AstroSeis -- A 3D Boundary element modeling code for seismic wavefields in irregular asteroids and bodies

abstract: We developed a 3-D elastic Boundary Element Method (BEM) computer code, called AstroSeis, to model seismic wavefields in a body with an arbitrary shape, such as an asteroid. Besides the AstroSeis can handle arbitrary surface topography, it can deal with a liquid core in an asteroid model. Both the solid and liquid domains are homogenous in our current code. For seismic sources, we can use single forces or moment tensors. The AstroSeis is implemented in the frequency domain and the frequency-dependent Q can be readily incorporated. The code is in MATLAB and it is straightforward to set up the model to run our code. The frequency-domain calculation is advantageous to study the long-term elastic response of a celestial body due to a cyclic force such as the tidal force with no numerical dispersion issue suffered by many other methods requiring volume meshing. Our AstroSeis has been benchmarked with other methods such as normal modes summation and the direct solution method (DSM). This open-source AstroSeis will be a useful tool to study the interior and surface processes of asteroids.


title: Leaderless Consensus of a Hierarchical Cyber-Physical System

abstract: This paper models a class of hierarchical cyber-physical systems and studies its associated consensus problem. The model has a pyramid structure, which reflects many realistic natural or human systems. By analyzing the spectrum of the coupling matrix, it is shown that all nodes in the physical layer can reach a consensus based on the proposed distributed protocols without interlayer delays. Then, the result is extended to the case with interlayer delays. A necessary and sufficient condition for consensus-seeking is derived from the frequency domain perspective, which describes a permissible range of the delay. Finally, the application of the proposed model in the power-sharing problem is simulated to demonstrate the effectiveness and significance of the analytic results.


title: Stochastic Processes as the Origin of the Double-Power Law Shape of the Quasar Luminosity Function

abstract: The Quasar Luminosity Function (QLF) offers insight into the early co-evolution of black holes and galaxies. It has been characterized observationally up to redshift $z\sim6$ with clear evidence of a double power-law shape, in contrast to the Schechter-like form of the underlying dark-matter halo mass function. We investigate a physical origin for the difference in these distributions by considering the impact of stochasticity induced by the processes that determine the quasar luminosity for a given host halo and redshift. We employ a conditional luminosity function and construct the relation between median quasar magnitude versus halo mass $M_{UV,\rm{c}}(M_{\rm{h}})$ with log-normal in luminosity scatter $\Sigma$, and duty-cycle $\epsilon_{\rm{DC}}$, and focus on high redshift $z\gtrsim4$. We show that, in order to reproduce the observed QLF, the $\Sigma=0$ abundance matching requires all of the brightest quasars to be hosted in the rarest most massive dark-matter halos (with an increasing $M_{UV,\rm{c}}/M_{\rm{h}}$ in halo mass). Conversely, for $\Sigma>0$ the brightest quasars can be over-luminous outliers hosted in relatively common dark-matter halos. In this case, the median quasar magnitude versus halo mass relation, $M_{UV,\rm{c}}$, flattens at the high-end, as expected in self-regulated growth due to feedback. We sample the parameter space of $\Sigma$ and $\epsilon_{\rm{DC}}$ and show that $M_{UV,\rm{c}}$ flattens above $M_{\rm{h}}\sim 10^{12}M_{\odot}$ for $\epsilon_{\rm{DC}}<10^{-2}$. Models with $\epsilon_{\rm{DC}}\sim1$ instead require a high mass threshold close to $M_{\rm{h}}\gtrsim10^{13}M_{\odot}$. We investigate the impact of $\epsilon_{\rm{DC}}$ and $\Sigma$ on measurements of clustering and find there is no luminosity dependence on clustering for $\Sigma>0.3$, consistent with recent observations from Subaru HSC.


title: The second Yang-Baxter homology for the Homflypt polynomial

abstract: In this article, we adjust the Yang-Baxter operators constructed by Jones for the HOMFLYPT polynomal. Then we compute the second homology for this family of Yang-Baxter operators. It has the potential to yield 2-cocycle invariant for links.


title: Combinatorial 3D Shape Generation via Sequential Assembly

abstract: Sequential assembly with geometric primitives has drawn attention in robotics and 3D vision since it yields a practical blueprint to construct a target shape. However, due to its combinatorial property, a greedy method falls short of generating a sequence of volumetric primitives. To alleviate this consequence induced by a huge number of feasible combinations, we propose a combinatorial 3D shape generation framework. The proposed framework reflects an important aspect of human generation processes in real life -- we often create a 3D shape by sequentially assembling unit primitives with geometric constraints. To find the desired combination regarding combination evaluations, we adopt Bayesian optimization, which is able to exploit and explore efficiently the feasible regions constrained by the current primitive placements. An evaluation function conveys global structure guidance for an assembly process and stability in terms of gravity and external forces simultaneously. Experimental results demonstrate that our method successfully generates combinatorial 3D shapes and simulates more realistic generation processes. We also introduce a new dataset for combinatorial 3D shape generation. All the codes are available at \url{https://github.com/POSTECH-CVLab/Combinatorial-3D-Shape-Generation}.


title: The MosaicSim Simulator (Full Technical Report)

abstract: As Moore's Law has slowed and Dennard Scaling has ended, architects are increasingly turning to heterogeneous parallelism and domain-specific hardware-software co-designs. These trends present new challenges for simulation-based performance assessments that are central to early-stage architectural exploration. Simulators must be lightweight to support rich heterogeneous combinations of general purpose cores and specialized processing units. They must also support agile exploration of hardware-software co-design, i.e. changes in the programming model, compiler, ISA, and specialized hardware. To meet these challenges, we introduce MosaicSim, a lightweight, modular simulator for heterogeneous systems, offering accuracy and agility designed specifically for hardware-software co-design explorations. By integrating the LLVM toolchain, MosaicSim enables efficient modeling of instruction dependencies and flexible additions across the stack. Its modularity also allows the composition and integration of different hardware components. We first demonstrate that MosaicSim captures architectural bottlenecks in applications, and accurately models both scaling trends in a multicore setting and accelerator behavior. We then present two case-studies where MosaicSim enables straightforward design space explorations for emerging systems, i.e. data science application acceleration and heterogeneous parallel architectures.


title: Discovery of two-dimensional anisotropic superconductivity at KTaO$_3$ (111) interfaces

abstract: The unique electronic structure found at interfaces between materials can allow unconventional quantum states to emerge. Here we observe superconductivity in electron gases formed at interfaces between (111) oriented KTaO$_3$ and insulating overlayers of either EuO or LaAlO$_3$. The superconducting transition temperature, approaching 2.2 K, is about one order of magnitude higher than that of the LaAlO$_3$/SrTiO$_3$ system. Strikingly, similar electron gases at (001) KTaO$_3$ interfaces remain normal down to 25 mK. The critical field and current-voltage measurements indicate that the superconductivity is two dimensional. Higher mobility EuO/KTaO$_3$ (111) samples show a large in-plane anisotropy in transport properties at low temperatures prior to onset of superconductivity, suggesting the emergence of a stripe like phase where the superconductivity is nearly homogeneous in one direction, but strongly modulated in the other.


title: Cellular Communications in Ocean Waves for Maritime Internet of Things

abstract: The rapid advancement of Internet of Things (IoT) and 5G and beyond technologies are transforming the marine industry and research. Our understanding of the vast sea that covers 71% of the Earth's surface is being enhanced by the various ocean sensor networks equipped with effective communications technologies. In this paper, we begin with a review of the research and development status-quo of maritime IoT (MIoT) enabled by multiple wireless communication technologies. Then we study the impact of sea waves to radio propagation and the communications link quality. Due to the severe attenuation of sea water to radio frequency electromagnetic waves propagation, large ocean waves can easily block the communications link between a buoy sensor and a cell tower near shore. This paper for the first time uses the ocean wave modeling of coastal and oceanic waters to examine the line of sight communications condition. Real wave measurement data parameters are applied in the numerical evaluation of the developed model. Finally, the critical antenna design taking into account the wave impact is numerically studied with implementation solutions proposed, and the system hardware and protocol aspects are discussed.


title: Domain-Specific Compilers for Dynamic Simulations of Quantum Materials on Quantum Computers

abstract: Simulation of the dynamics of quantum materials is emerging as a promising scientific application for noisy intermediate-scale quantum (NISQ) computers. Due to their high gate-error rates and short decoherence times, however, NISQ computers can only produce high-fidelity results for those quantum circuits smaller than some given circuit size. Dynamic simulations, therefore, pose a challenge as current algorithms produce circuits that grow in size with each subsequent time-step of the simulation. This underscores the crucial role of quantum circuit compilers to produce executable quantum circuits of minimal size, thereby maximizing the range of physical phenomena that can be studied within the NISQ fidelity budget. Here, we present two domain-specific quantum circuit compilers for the Rigetti and IBM quantum computers, specifically designed to compile circuits simulating dynamics under a special class of time-dependent Hamiltonians. The compilers outperform state-of-the-art general-purpose compilers in terms of circuit size reduction by around 25-30% as well as wall-clock compilation time by around 40% (dependent on system size and simulation time-step). Drawing on heuristic techniques commonly used in artificial intelligence, both compilers scale well with simulation time-step and system size. Code for both compilers is included to enhance the results of dynamic simulations for future researchers. We anticipate that our domain-specific compilers will enable dynamic simulations of quantum materials on near-future NISQ computers that would not otherwise be possible with general-purpose compilers.


title: Numerical and analytical studies of a matrix model with non-pairwise contracted indices

abstract: The canonical tensor model, which is a tensor model in the Hamilton formalism, can be straightforwardly quantized and has an exactly solved physical state. The state is expressed by a wave function with a generalized form of the Airy function. The simplest observable on the state can be expressed by a matrix model which contains non-pairwise index contractions. This matrix model has the same form as the one that appears when the replica trick is applied to the spherical $p$-spin model for spin glasses, but our case has different ranges of variables and parameters from the spin glass case. We analyze the matrix model analytically and numerically. We show some evidences for the presence of a continuous phase transition at the location required by a consistency condition of the canonical tensor model. We also show that there are dimensional transitions of configurations around the transition region. Implications of the results to the canonical tensor model are discussed.


title: Ultrarelativistic spinning objects in non-local ghost-free gravity

abstract: We study the gravitational field of ultrarelativistic spinning objects (gyratons) in a modified gravity theory with higher derivatives. In particular, we focus on a special class of such theories with an infinite number of derivatives known as "ghost-free gravity" that include a non-local form factor such as $\exp(-\Box\ell^2)$, where $\ell$ is the scale of non-locality. First, we obtain solutions of the linearized ghost-free equations for stationary spinning objects. To obtain gyraton solutions we boost these metrics and take their Penrose limit. This approach allows us to perform calculations for any number of spacetime dimensions. All solutions are regular at the gyraton axis. In four dimensions, when the scale non-locality $\ell$ tends to zero, the obtained gyraton solutions correctly reproduce the Aichelburg--Sexl metric and its generalization to spinning sources found earlier by Bonnor. We also study the properties of the obtained four-dimensional and higher-dimensional ghost-free gyraton metrics and briefly discuss their possible applications.


title: Localization of the Kobayashi metric and applications

abstract: In this paper we introduce a new class of domains -- log-type convex domains, which have no boundary regularity assumptions. Then we will localize the Kobayashi metric in log-type convex subdomains. As an application, we prove a local version of continuous extension of rough isometric maps between two bounded domains with log-type convex Dini-smooth boundary points. Moreover we prove that the Teichm\"uller space $\mathcal T_{g,n}$ is not biholomorphic to any bounded pseudoconvex domain in $\mathbb C^{3g-3+n}$ which is locally log-type convex near some boundary point.


title: Mutually synchronized macroscopic Josephson oscillations demonstrated by polarization analysis of superconducting terahertz emitters

abstract: We demonstrate mutual synchronization of Josephson oscillations in multiple stacks of intrinsic Josephson junctions of the cuprate superconductor Bi$_2$Sr$_2$CaCu$_2$O$_{8+\delta }$. Detailed analysis of the full polarization parameters allows the determination of a phase correlation between the stacks: a simultaneous emission state is described by a linear combination of individual emission states with a phase retardation. This proves that the stacks are coupled via a Josephson plasma in a superconducting substrate and the coupling matrices can be extracted from polarization analyses. Our findings suggest a route towards the realization of high-power terahertz sources based on the synchronization of a large number of intrinsic Josephson junctions.


title: Roper-like resonances with various flavor contents and their two-pion emission decays

abstract: We study the three-body decay of the newly observed bottom baryon $\Lambda_b^*(6072)$ by LHCb; $\Lambda_b^*(6072) \to \Lambda_b \pi \pi$. Its mass about 500 MeV above the ground state $\Lambda_b$ and a broad width imply that the state could be an analogue of the Roper resonance of the nucleon $N(1440)$. In terms of sequential processes going through $\Sigma_b$ and $\Sigma_b^*$, we find that the observed invariant mass distribution is reproduced assuming its spin and parity $J^P = 1/2^+$. We discuss that the ratio of the two sequential processes and angular correlation of two pions are useful for the determination of spin and parity. We suggest further studies for the Roper resonance analogue in various flavor contents, raising an interesting and important question in baryon spectroscopy.


title: Structure-specific, mode-resolved phonon coherence and specularity at graphene grain boundaries

abstract: In spite of their importance for understanding phonon transport phenomena in thin films and polycrystalline solids, the effects of boundary roughness scattering on phonon specularity and coherence are poorly understood because there is no general method for predicting their dependence on phonon momentum, frequency, branch and boundary morphology. Using the recently formulated atomistic S-matrix method, we develop a theory of boundary roughness scattering to determine the mode-resolved phonon coherence and specularity parameters from the scattering amplitudes. To illustrate the theory, we apply it to phonon scattering in realistic nonsymmetric graphene grain boundary (GB) models derived from atomic structure predictions. The method is validated by comparing its predictions with frequency-resolved results from lattice dynamics-based calculations. We prove that incoherent scattering is almost perfectly diffusive. We show that phonon scattering at the graphene GB is not diffuse although coherence and specularity are significantly reduced for long-wavelength flexural acoustic phonons. Our approach can be generalized to other atomistic boundary models.


title: Differentially Private Linear Regression over Fully Decentralized Datasets

abstract: This paper presents a differentially private algorithm for linear regression learning in a decentralized fashion. Under this algorithm, privacy budget is theoretically derived, in addition to that the solution error is shown to be bounded by $O(t)$ for $O(1/t)$ descent step size and $O(\exp(t^{1-e}))$ for $O(t^{-e})$ descent step size.


title: Neural Data-to-Text Generation with Dynamic Content Planning

abstract: Neural data-to-text generation models have achieved significant advancement in recent years. However, these models have two shortcomings: the generated texts tend to miss some vital information, and they often generate descriptions that are not consistent with the structured input data. To alleviate these problems, we propose a Neural data-to-text generation model with Dynamic content Planning, named NDP for abbreviation. The NDP can utilize the previously generated text to dynamically select the appropriate entry from the given structured data. We further design a reconstruction mechanism with a novel objective function that can reconstruct the whole entry of the used data sequentially from the hidden states of the decoder, which aids the accuracy of the generated text. Empirical results show that the NDP achieves superior performance over the state-of-the-art on ROTOWIRE dataset, in terms of relation generation (RG), content selection (CS), content ordering (CO) and BLEU metrics. The human evaluation result shows that the texts generated by the proposed NDP are better than the corresponding ones generated by NCP in most of time. And using the proposed reconstruction mechanism, the fidelity of the generated text can be further improved significantly.


title: Asymmetrical Vertical Federated Learning

abstract: Federated learning is a distributed machine learning method that aims to preserve the privacy of sample features and labels. In a federated learning system, ID-based sample alignment approaches are usually applied with few efforts made on the protection of ID privacy. In real-life applications, however, the confidentiality of sample IDs, which are the strongest row identifiers, is also drawing much attention from many participants. To relax their privacy concerns about ID privacy, this paper formally proposes the notion of asymmetrical vertical federated learning and illustrates the way to protect sample IDs. The standard private set intersection protocol is adapted to achieve the asymmetrical ID alignment phase in an asymmetrical vertical federated learning system. Correspondingly, a Pohlig-Hellman realization of the adapted protocol is provided. This paper also presents a genuine with dummy approach to achieving asymmetrical federated model training. To illustrate its application, a federated logistic regression algorithm is provided as an example. Experiments are also made for validating the feasibility of this approach.


title: Heat Diffusion Imaging: In-Plane Thermal Conductivity Measurement of Thin Films in a Broad Temperature Range

abstract: This work combines the principles of the heat spreader method and imaging capability of the thermoreflectance measurements to measure the in-plane thermal conductivity of thin-films without the requirement of film suspension or multiple thermometer deposition. We refer to this hybrid technique as heat diffusion imaging. The thermoreflectance imaging system provides a temperature distribution map across the film surface. The in-plane thermal conductivity can be extracted from the temperature decay profile. By coupling the system with a cryostat, we were able to conduct measurements from 40 K to 400 K. Silicon thin film samples with and without periodic holes were measured and compared with in-plane time-domain thermoreflectance (TDTR) measurement and literature data as validation for heat diffusion imaging.


title: Exactly computing the tail of the Poisson-Binomial Distribution

abstract: We offer ShiftConvolvePoibin, a fast exact method to compute the tail of a Poisson-Binomial distribution (PBD). Our method employs an exponential shift to retain its accuracy when computing a tail probability, and in practice we find that it is immune to the significant relative errors that other methods, exact or approximate, can suffer from when computing very small tail probabilities of the PBD. The accompanying R package is also competitive with the fastest implementations for computing the entire PBD.


title: Ideals generated by $a$-fold products of linear forms have linear graded free resolution

abstract: Given $\Sigma\subset R:=\mathbb K[x_1,\ldots,x_k]$, where $\mathbb K$ is a field of characteristic 0, any finite collection of linear forms, some possibly proportional, and any $1\leq a\leq |\Sigma|$, we prove that $I_a(\Sigma)$, the ideal generated by all $a$-fold products of $\Sigma$, has linear graded free resolution. This allows us to determine a generating set for the defining ideal of the Orlik-Terao algebra of the second order of a line arrangement in $\mathbb P_{\mathbb{K}}^2$, and to conclude that for the case $k=3$, and $\Sigma$ defining such a line arrangement, the ideal $I_{|\Sigma|-2}(\Sigma)$ is of fiber type. We also prove several conjectures of symbolic powers for defining ideals of star configurations of any codimension $c$.


title: Colour-colour and colour-magnitude diagrams for Hot Jupiters

abstract: We use ground-based and space-based eclipse measurements for the near-infrared ($JHK\!s$) bands and Spitzer 3.6 $\mu$m and 4.5 $\mu$m bands to construct colour-colour and colour-magnitude diagrams for hot Jupiters. We compare the results with previous observations of substellar objects and find that hot Jupiters, when corrected for their inflated radii, lie near the black body line and in the same region of the colour magnitude diagrams as brown dwarfs, including low gravity dwarfs that have been previously suggested as exoplanet analogs. We use theoretical emission spectra to investigate the effects of different metallicity, C/O ratios and temperatures on the IR colours. In general we find that while differences in C/O ratio and metallicity do correspond to different locations on these diagrams, the measurement errors are too large to use this method to put strong constraints on the composition of individual objects. However, as a class hot Jupiters cluster around the location expected for solar metallicity and C/O ratio.


title: Theoretical Insights into C$-$H Bond Activation of Methane by Transition Metal Clusters: The Role of Anharmonic Effects

abstract: Aiming towards materials design for methane activation, we study temperature ($T$), pressure ($p$) dependence of the composition, structure, and stability of metal oxide clusters in a reactive atmosphere using a prototypical model catalyst having wide applications: free transition metal (Ni) clusters in a combined oxygen and methane atmosphere. A robust methodological approach is employed, to show that the conventional harmonic approximation miserably fails for this class of materials and capturing anharmonic effects to the vibration free energy contribution is indispensable. To incorporate the anharmonicity in the vibrational free energy, we evaluate the excess free energy of the clusters numerically by thermodynamic integration method with hybrid density functional theory and {\em ab initio} molecular dynamics simulation inputs. We find that the anharmonic effect has a significant impact in detecting the activation of C$-$H bond, whereas the harmonic infrared spectrum completely fails due to the wrong prediction of the vibrational modes.


title: Theoretical insights of codoping to modulate electronic structure of TiO$_2$ and SrTiO$_3$ for enhanced photocatalytic efficiency

abstract: TiO$_2$ and SrTiO$_3$ are well known materials in the field of photocatalysis due to their exceptional electronic structure, high chemical stability, non-toxicity and low cost. However, owing to the wide band gap, these can be utilized only in the UV region. Thus, it's necessary to expand their optical response in visible region by reducing their band gap through doping with metals, nonmetals or the combination of different elements, while retaining intact the photocatalytic efficiency. We report here, the codoping of a metal and a nonmetal in anatase TiO$_2$ and SrTiO$_3$ for efficient photocatalytic water splitting using hybrid density functional theory and \textit{ab initio} atomistic thermodynamics. The latter ensures to capture the environmental effect to understand thermodynamic stability of the charged defects at a realistic condition. We have observed that the charged defects are stable in addition to neutral defects in anatase TiO$_2$ and the codopants act as donor as well as acceptor depending on the nature of doping (p-type or n-type). However, the most stable codopants in SrTiO$_3$ mostly act as donor. Our results reveal that despite the response in visible light region, the codoping in TiO$_2$ and SrTiO$_3$ cannot always enhance the photocatalytic activity due to either the formation of recombination centers or the large shift in the conduction band minimum or valence band maximum. Amongst various metal-nonmetal combinations, Mn$_\textrm{Ti}$S$_\textrm{O}$ (i.e. Mn is substituted at Ti site and S is substituted at O site), S$_\textrm{O}$ in anatase TiO$_2$ and Mn$_\textrm{Ti}$S$_\textrm{O}$, Mn$_\textrm{Sr}$N$_\textrm{O}$ in SrTiO$_3$ are the most potent candidates to enhance the photocatalytic efficiency of anatase TiO$_2$ and SrTiO$_3$ under visible light irradiation.


title: Self-Triggered Scheduling for Boolean Control Networks

abstract: It has been shown that self-triggered control has the ability to reduce computational loads and deal with the cases with constrained resources by properly setting up the rules for updating the system control when necessary. In this paper, self-triggered stabilization of Boolean control networks (BCNs), including deterministic BCNs, probabilistic BCNs and Markovian switching BCNs, is first investigated via semi-tensor product of matrices and Lyapunov theory of Boolean networks. The self-triggered mechanism with the aim to determine when the controller should be updated is given based on the decrease of the corresponding Lyapunov functions between two successive sampling times. We show that the self-triggered controllers can be chosen as the conventional controllers without sampling, and also can be optimally constructed based on the triggering conditions.


title: Experiments with a LoRaWAN-Based Remote ID System for Locating Unmanned Aerial Vehicles (UAVs)

abstract: Federal Aviation Administration (FAA) of the United States is considering Remote ID systems for unmanned aerial vehicles (UAVs). These systems act as license plates used on automobiles, but they transmit information using radio waves. To be useful, the transmissions in such systems need to reach long distances to minimize the number of ground stations to capture these transmissions. LoRaWAN is designed as a cheap long-range technology to be used for long-range communication for the Internet of Things. Several manufacturers make LoRaWAN modules, which are readily available on the market and are, therefore, ideal for the UAVs Remote IDs at a low cost. In this paper, we present our experiences in using LoRaWAN technology as a communication technology. Our experiments to identify and locate the UAV systems uncovered several issues of using LoRaWAN in such systems that are documented in this paper. Using several ground stations, we can determine the location of a UAV equipped with a LoRaWAN module that transmits the UAV Remote ID. Hence, it can help identify UAVs that unintentionally, or intentionally, fly into restricted zones.


title: Algebraic reduced genus one Gromov-Witten invariants for complete intersections in projective spaces, Part 2

abstract: In our previous work, we provided an algebraic proof of the Zinger's comparison formula between genus one Gromov-Witten invariants and reduced invariants when the target space is a complete intersection of dimension two or three in a projective space. In this paper, we extend the result in any dimensions and for descendant invariants.


title: Non-Autoregressive Machine Translation with Latent Alignments

abstract: This paper presents two strong methods, CTC and Imputer, for non-autoregressive machine translation that model latent alignments with dynamic programming. We revisit CTC for machine translation and demonstrate that a simple CTC model can achieve state-of-the-art for single-step non-autoregressive machine translation, contrary to what prior work indicates. In addition, we adapt the Imputer model for non-autoregressive machine translation and demonstrate that Imputer with just 4 generation steps can match the performance of an autoregressive Transformer baseline. Our latent alignment models are simpler than many existing non-autoregressive translation baselines; for example, we do not require target length prediction or re-scoring with an autoregressive model. On the competitive WMT'14 En$\rightarrow$De task, our CTC model achieves 25.7 BLEU with a single generation step, while Imputer achieves 27.5 BLEU with 2 generation steps, and 28.0 BLEU with 4 generation steps. This compares favourably to the autoregressive Transformer baseline at 27.8 BLEU.


title: Measuring Human and Economic Activity from Satellite Imagery to Support City-Scale Decision-Making during COVID-19 Pandemic

abstract: The COVID-19 outbreak forced governments worldwide to impose lockdowns and quarantines to prevent virus transmission. As a consequence, there are disruptions in human and economic activities all over the globe. The recovery process is also expected to be rough. Economic activities impact social behaviors, which leave signatures in satellite images that can be automatically detected and classified. Satellite imagery can support the decision-making of analysts and policymakers by providing a different kind of visibility into the unfolding economic changes. In this work, we use a deep learning approach that combines strategic location sampling and an ensemble of lightweight convolutional neural networks (CNNs) to recognize specific elements in satellite images that could be used to compute economic indicators based on it, automatically. This CNN ensemble framework ranked third place in the US Department of Defense xView challenge, the most advanced benchmark for object detection in satellite images. We show the potential of our framework for temporal analysis using the US IARPA Function Map of the World (fMoW) dataset. We also show results on real examples of different sites before and after the COVID-19 outbreak to illustrate different measurable indicators. Our code and annotated high-resolution aerial scenes before and after the outbreak are available on GitHub (https://github.com/maups/covid19-satellite-analysis).


title: The Small ${\cal N}=4$ Superconformal ${\cal W}_{\infty}$ Algebra

abstract: The symmetric orbifold of $\mathbb{T}^4$ is the CFT dual of string theory on AdS$_3\times {\rm S}^3 \times \mathbb{T}^4$ with minimal NS-NS flux. We study its symmetry algebra and provide evidence that it does not have any deformation parameter. This suggests that the symmetric orbifold is (at least locally) the most symmetrical CFT in its moduli space.


title: Signaling activations through G-protein-coupled-receptor aggregations

abstract: Eukaryotic cells transmit extracellular signal information to cellular interiors through the formation of a ternary complex made up of a ligand (or agonist), G-protein, and G-protein coupled receptor (GPCR). Previously formalized theories of ternary complex formation have mainly assumed that observable states of receptors can only take the form of monomers. Here, we propose a multiary complex model of GPCR signaling activations via the vector representation of various unobserved aggregated receptor states. Our results from model simulations imply that receptor aggregation processes can govern cooperative effects in a regime inaccessible by previous theories. In particular, we show how the affinity of ligand-receptor binding can be largely varied by various oligomer formations in the low concentration range of G-protein stimulus.


title: Embedding snowflakes of Carnot groups into bounded dimensional Euclidean spaces with optimal distortion

abstract: We show that for any Carnot group $G$ there exists a natural number $D_G$ such that for any $0<\varepsilon<1/2$ the metric space $(G,d_G^{1-\varepsilon})$ admits a bi-Lipschitz embedding into $\mathbb{R}^{D_G}$ with distortion $O_G(\varepsilon^{-1/2})$. This is done by building on the approach of T. Tao (2021), who established the above assertion when $G$ is the Heisenberg group using a new variant of the Nash--Moser iteration scheme combined with a new extension theorem for orthonormal vector fields. Beyond the need to overcome several technical issues that arise in the more general setting of Carnot groups, a key point where our proof departs from that of Tao is in the proof of the orthonormal vector field extension theorem, where we incorporate the Lov\'{a}sz local lemma and the concentration of measure phenomenon on the sphere in place of Tao's use of a quantitative homotopy argument.


title: Voice-Indistinguishability: Protecting Voiceprint in Privacy-Preserving Speech Data Release

abstract: With the development of smart devices, such as the Amazon Echo and Apple's HomePod, speech data have become a new dimension of big data. However, privacy and security concerns may hinder the collection and sharing of real-world speech data, which contain the speaker's identifiable information, i.e., voiceprint, which is considered a type of biometric identifier. Current studies on voiceprint privacy protection do not provide either a meaningful privacy-utility trade-off or a formal and rigorous definition of privacy. In this study, we design a novel and rigorous privacy metric for voiceprint privacy, which is referred to as voice-indistinguishability, by extending differential privacy. We also propose mechanisms and frameworks for privacy-preserving speech data release satisfying voice-indistinguishability. Experiments on public datasets verify the effectiveness and efficiency of the proposed methods.


title: Relational Modeling for Robust and Efficient Pulmonary Lobe Segmentation in CT Scans

abstract: Pulmonary lobe segmentation in computed tomography scans is essential for regional assessment of pulmonary diseases. Recent works based on convolution neural networks have achieved good performance for this task. However, they are still limited in capturing structured relationships due to the nature of convolution. The shape of the pulmonary lobes affect each other and their borders relate to the appearance of other structures, such as vessels, airways, and the pleural wall. We argue that such structural relationships play a critical role in the accurate delineation of pulmonary lobes when the lungs are affected by diseases such as COVID-19 or COPD. In this paper, we propose a relational approach (RTSU-Net) that leverages structured relationships by introducing a novel non-local neural network module. The proposed module learns both visual and geometric relationships among all convolution features to produce self-attention weights. With a limited amount of training data available from COVID-19 subjects, we initially train and validate RTSU-Net on a cohort of 5000 subjects from the COPDGene study (4000 for training and 1000 for evaluation). Using models pre-trained on COPDGene, we apply transfer learning to retrain and evaluate RTSU-Net on 470 COVID-19 suspects (370 for retraining and 100 for evaluation). Experimental results show that RTSU-Net outperforms three baselines and performs robustly on cases with severe lung infection due to COVID-19.


title: Fast exact computation of the $k$ most abundant isotope peaks with layer-ordered heaps

abstract: The theoretical computation of isotopic distribution of compounds is crucial in many important applications of mass spectrometry, especially as machine precision grows. A considerable amount of good tools have been created in the last decade for doing so. In this paper we present a novel algorithm for calculating the top $k$ peaks of a given compound. The algorithm takes advantage of layer-ordered heaps used in an optimal method of selection on $X+Y$ and is able to efficiently calculate the top $k$ peaks on very large molecules. Among its peers, this algorithm shows a significant speedup on molecules whose elements have many isotopes. The algorithm obtains a speedup of more than 31x when compared to $\textsc{IsoSpec}$ on \ch{Au2Ca10Ga10Pd76} when computing 47409787 peaks, which covers 0.999 of the total abundance.


title: Braids, fibered knots, and concordance questions

abstract: Given a knot in $S^3$, one can associate to it a surface diffeomorphism in two different ways. First, an arbitrary knot in $S^{3}$ can be represented by braids, which can be thought of as diffeomorphisms of punctured disks. Second, if the knot is fibered -- that is, if its complement fibers over $S^1$ -- one can consider the monodromy of the fibration. One can ask to what extent properties of these surface diffeomorphisms dictate topological properties of the corresponding knot. In this article we collect observations, conjectures, and questions addressing this, from both the braid perspective and the fibered knot perspective. We particularly focus on exploring whether properties of the surface diffeomorphisms relate to four-dimensional topological properties of knots such as the slice genus.


title: Fate of Fermi-arc States in Gapped Weyl Semimetals under Long-ranged Interactions

abstract: For noninteracting Weyl semimetals (WSMs), Fermi-arc surface states can arise when there exist gapless Weyl nodes in the bulk single-particle spectrum. However, in the presence of electronic correlations, it is not clear whether this bulk-boundary correspondence still holds or not. Recently, novel correlated phases are predicted to appear in WSMs with long-ranged interactions, in which the bulk Weyl nodes can be gapped but without destroying their topological properties. Here, we explore the fate of the Fermi-arc states under the influence of such long-ranged interactions. After mapping the system onto a one-dimensional interacting Su-Schrieffer-Heeger (SSH) model with two open ends, we employ numerical exact diagonalizations to address the issue whether the Fermi-arc states will be modified. By extrapolating our data to the thermodynamic limit, we find that the zero-energy edge states of the corresponding SSH model still exist for those momenta giving the noninteracting Fermi-arc states. Moreover, this observation applies to both the single-particle and the collective edge excitations. Since the locus of these edge states constitutes the Fermi arcs, the robustness of the Fermi-arc states against long-ranged interactions is thus demonstrated. In particular, the Fermi arcs of single-particle nature can survive even when the single-particle gaps at the Weyl nodes are opened by interactions. Our results illustrate the subtlety in identifying the topological phases of interacting WSMs and show the limitation of the approaches simply by examining the nodal structure of the single-particle spectrum.


title: Resolving the Optimal Metric Distortion Conjecture

abstract: We study the following metric distortion problem: there are two finite sets of points, $V$ and $C$, that lie in the same metric space, and our goal is to choose a point in $C$ whose total distance from the points in $V$ is as small as possible. However, rather than having access to the underlying distance metric, we only know, for each point in $V$, a ranking of its distances to the points in $C$. We propose algorithms that choose a point in $C$ using only these rankings as input and we provide bounds on their \emph{distortion} (worst-case approximation ratio). A prominent motivation for this problem comes from voting theory, where $V$ represents a set of voters, $C$ represents a set of candidates, and the rankings correspond to ordinal preferences of the voters. A major conjecture in this framework is that the optimal deterministic algorithm has distortion $3$. We resolve this conjecture by providing a polynomial-time algorithm that achieves distortion $3$, matching a known lower bound. We do so by proving a novel lemma about matching voters to candidates, which we refer to as the \emph{ranking-matching lemma}. This lemma induces a family of novel algorithms, which may be of independent interest, and we show that a special algorithm in this family achieves distortion $3$. We also provide more refined, parameterized, bounds using the notion of $\alpha$-decisiveness, which quantifies the extent to which a voter may prefer her top choice relative to all others. Finally, we introduce a new randomized algorithm with improved distortion compared to known results, and also provide improved lower bounds on the distortion of all deterministic and randomized algorithms.


title: 2x2 convexifications for convex quadratic optimization with indicator variables

abstract: In this paper, we study the convex quadratic optimization problem with indicator variables. For the bivariate case, we describe the convex hull of the epigraph in the original space of variables, and also give a conic quadratic extended formulation. Then, using the convex hull description for the bivariate case as a building block, we derive an extended SDP relaxation for the general case. This new formulation is stronger than other SDP relaxations proposed in the literature for the problem, including Shor's SDP relaxation, the optimal perspective relaxation as well as the optimal rank-one relaxation. Computational experiments indicate that the proposed formulations are quite effective in reducing the integrality gap of the optimization problems.


title: A Precise Benchmark for Cluster Scaling Relations: Fundamental Plane, Mass Plane and IMF in the Coma Cluster from Dynamical Models

abstract: We study a sample of 148 early-type galaxies in the Coma cluster using SDSS photometry and spectra, and calibrate our results using detailed dynamical models for a subset of these galaxies, to create a precise benchmark for dynamical scaling relations in high-density environments. For these galaxies, we successfully measured global galaxy properties, modeled stellar populations, and created dynamical models, and support the results using detailed dynamical models of 16 galaxies, including the two most massive cluster galaxies, using data taken with the SAURON IFU. By design, the study provides minimal scatter in derived scaling relations due to the small uncertainty in the relative distances of galaxies compared to the cluster distance. Our results demonstrate low ($\leq$55% for 90$^{th}$ percentile) dark matter fractions in the inner 1$R_{\rm e}$ ~of galaxies. Owing to the study design, we produce the tightest, to our knowledge, IMF-$\sigma_e$ relation of galaxies, with a slope consistent with that seen in local galaxies. Leveraging our dynamical models, we transform the classical Fundamental Plane of the galaxies to the Mass Plane. We find that the coefficients of the mass plane are close to predictions from the virial theorem, and have significantly lower scatter compared to the Fundamental plane. We show that Coma galaxies occupy similar locations in the (M$_*$ - $R_{\rm e}$) and (M$_*$ - $\sigma_e$) relations as local field galaxies but are older. This, and the fact we find only three slow rotators in the cluster, is consistent with the scenario of hierarchical galaxy formation and expectations of the kinematic morphology-density relation.


title: Subjectifying Objectivity: Delineating Tastes in Theoretical Quantum Gravity Research

abstract: Research in Theoretical Quantum Gravity has continued expansively even as it has become detached from classic arbiters of research such as direct empirical falsification. This makes it an interesting test case for social-scientific theories of what motivates and mediates contemporary scientific research and the nature of scientific objectivity. For our empirical investigation, we conducted 50 semi-structured interviews with researchers in the rival camps of String Theory and Loop Quantum Gravity, coded a subset for reoccurring themes, and subjected the resulting data to statistical analysis. Theoretically, we mobilize aspects of Daston and Galison's depiction of the scientific self and its relation to epistemic virtues, Pierre Bourdieu's field-centered account of social space, and Kantian notions of aesthetics in order to delineate the subjective tastes and the related process of collective consensus-making in contemporary quantum gravity research. We make two key contributions. First, our analysis sheds light on the inner workings of the field by connecting its internal epistemic struggles with relevant social-scientific theories. For example, we are able to suggest an explanation for how one approach, String Theory, has become so dominant. Second, our application of theories of social reproduction to the substance of scientific inquiry merits some substantive generalizations to Daston and Galison's framework. Most significantly, we propose as an addendum to their progression the notion of objectivity through intersubjectivity: objectivity obtained not through the suppression of the self but by its (regulated) pluralistic expression and performance.


title: Observing the "quantum Cheshire cat" effect with noninvasive weak measurement

abstract: One of the common conceptions of nature, typically derived from the experiences with classical systems, is that attributes of the matter coexist with the substance. In the quantum regime, however, the quantum particle itself and its physical property may be in spatial separation, known as the quantum Cheshire cat effect. While there have been several reports to date on the observation of the quantum Cheshire cat effect, all such experiments are based on first-order interferometry and destructive projection measurement, thus allowing simple interpretation due to measurement-induced disturbance and also subject to trivial interpretation based on classical waves. In this work, we report a genuine experimental observation of the quantum Cheshire cat effect with noninvasive weak quantum measurement as originally proposed. The use of the weak-measurement probe has allowed us to identify the location of the single-photon and that of the disembodied polarization state in a quantum interferometer. We furthermore elucidate the paradox of the quantum Cheshire cat effect as quantum interference of the transition amplitudes for the photon and the polarization state which are directly obtained from the measurement outcomes or the weak values.


title: On complexity and Jacobian of cone over a graph

abstract: For any given graph $G$ consider a graph $\widetilde{G}$ which is a cone over graph $G.$ In this paper, we study two important invariants of such a cone. Namely, complexity (the number of spanning trees) and the Jacobian of a graph. We prove that complexity of graph $\widetilde{G}$ coincides the number of rooted spanning forests in graph $G$ and the Jacobian of $\widetilde{G}$ is isomorphic to cokernel of the operator $I+L(G),$ where $L(G)$ is Laplacian of $G$ and $I$ is the identity matrix. As a consequence, one can calculate the complexity of $\widetilde{G}$ as $\det(I+L(G)).$


title: The Right Tool for the Job: Matching Model and Instance Complexities

abstract: As NLP models become larger, executing a trained model requires significant computational resources incurring monetary and environmental costs. To better respect a given inference budget, we propose a modification to contextual representation fine-tuning which, during inference, allows for an early (and fast) "exit" from neural network calculations for simple instances, and late (and accurate) exit for hard instances. To achieve this, we add classifiers to different layers of BERT and use their calibrated confidence scores to make early exit decisions. We test our proposed modification on five different datasets in two tasks: three text classification datasets and two natural language inference benchmarks. Our method presents a favorable speed/accuracy tradeoff in almost all cases, producing models which are up to five times faster than the state of the art, while preserving their accuracy. Our method also requires almost no additional training resources (in either time or parameters) compared to the baseline BERT model. Finally, our method alleviates the need for costly retraining of multiple models at different levels of efficiency; we allow users to control the inference speed/accuracy tradeoff using a single trained model, by setting a single variable at inference time. We publicly release our code.


title: Sustainable Recipes. A Food Recipe Sourcing and Recommendation System to Minimize Food Miles

abstract: Sustainable Recipes is a tool that (1) connects food recipes ingredient lists with the closest organic providers to minimize the distance that food travels from farm to food preparation site and (2) recommends recipes given a GPS coordinate to minimize food miles. Sustainable Recipes provides consumers, entrepreneurs, cooking enthusiasts, and restauranteurs in the United States and elsewhere with an easy to use interface to help them (1) connect with organic ingredient producers to source ingredients to produce food recipes minimizing food miles and (2) recommend recipes using locally grown food. The main academic contribution of Sustainable Recipes is to bridge the gap between two streams of literature in data science of food recipes: studies of food recipes and studies of food supply chains. The outcomes of the interphase are (1) a map visualization that highlights the location of the producers that can supply the ingredients for a food recipe along with a ticket consisting of their contact addresses and the food miles used to produce a recipe and (2) a list of recipes that minimize food miles for a given GPS coordinate in which the recipe is going to be produced.


title: Two phase transitions driven by surface electron-doping in WTe$_2$

abstract: WTe$_2$ is a multifunctional quantum material exhibiting numerous emergent phases in which tuning of the carrier density plays an important role. Here we demonstrate two non-monotonic changes in the electronic structure of WTe$_2$ upon \textit{in-situ} electron doping. The first phase transition is interpreted in terms of a shear displacement of the top WTe$_2$ layer, which realizes a local crystal structure not normally found in bulk WTe$_2$. The second phase transition is associated with stronger interactions between the dopant atoms and the host, both through hybridization and electric field. These results demonstrate that electron-doping can drive structural and electronics changes in bulk WTe$_2$ with implications for realizing nontrivial band structure changes in heterointerfaces and devices.


title: Single upper limb pose estimation method based on improved stacked hourglass network

abstract: At present, most high-accuracy single-person pose estimation methods have high computational complexity and insufficient real-time performance due to the complex structure of the network model. However, a single-person pose estimation method with high real-time performance also needs to improve its accuracy due to the simple structure of the network model. It is currently difficult to achieve both high accuracy and real-time performance in single-person pose estimation. For use in human-machine cooperative operations, this paper proposes a single-person upper limb pose estimation method based on an end-to-end approach for accurate and real-time limb pose estimation. Using the stacked hourglass network model, a single-person upper limb skeleton key point detection model was designed.Deconvolution was employed to replace the up-sampling operation of the hourglass module in the original model, solving the problem of rough feature maps. Integral regression was used to calculate the position coordinates of key points of the skeleton, reducing quantization errors and calculations. Experiments showed that the developed single-person upper limb skeleton key point detection model achieves high accuracy and that the pose estimation method based on the end-to-end approach provides high accuracy and real-time performance.


title: Asymmetric list sizes in bipartite graphs

abstract: Given a bipartite graph with parts $A$ and $B$ having maximum degrees at most $\Delta_A$ and $\Delta_B$, respectively, consider a list assignment such that every vertex in $A$ or $B$ is given a list of colours of size $k_A$ or $k_B$, respectively. We prove some general sufficient conditions in terms of $\Delta_A$, $\Delta_B$, $k_A$, $k_B$ to be guaranteed a proper colouring such that each vertex is coloured using only a colour from its list. These are asymptotically nearly sharp in the very asymmetric cases. We establish one sufficient condition in particular, where $\Delta_A=\Delta_B=\Delta$, $k_A=\log \Delta$ and $k_B=(1+o(1))\Delta/\log\Delta$ as $\Delta\to\infty$. This amounts to partial progress towards a conjecture from 1998 of Krivelevich and the first author. We also derive some necessary conditions through an intriguing connection between the complete case and the extremal size of approximate Steiner systems. We show that for complete bipartite graphs these conditions are asymptotically nearly sharp in a large part of the parameter space. This has provoked the following. In the setup above, we conjecture that a proper list colouring is always guaranteed * if $k_A \ge \Delta_A^\varepsilon$ and $k_B \ge \Delta_B^\varepsilon$ for any $\varepsilon>0$ provided $\Delta_A$ and $\Delta_B$ are large enough; * if $k_A \ge C \log\Delta_B$ and $k_B \ge C \log\Delta_A$ for some absolute constant $C>1$; or * if $\Delta_A=\Delta_B = \Delta$ and $ k_B \ge C (\Delta/\log\Delta)^{1/k_A}\log \Delta$ for some absolute constant $C>0$. These are asymmetric generalisations of the above-mentioned conjecture of Krivelevich and the first author, and if true are close to best possible. Our general sufficient conditions provide partial progress towards these conjectures.


title: A Crank-Nicolson type minimization scheme for a hyperbolic free boundary problem

abstract: We consider a hyperbolic free boundary problem by means of minimizing time discretized functionals of Crank-Nicolson type. The feature of this functional is that it enjoys energy conservation in the absence of free boundaries, which is an essential property for numerical calculations. The existence and regularity of minimizers is shown and an energy estimate is derived. These results are then used to show the existence of a weak solution to the free boundary problem in the 1-dimensional setting.