title: Robust Symbol Detection in Overloaded NOMA Systems

abstract: We present a framework for the design of low-complexity and high-performance receivers for multidimensional overloaded NOMA systems. The framework is built upon a novel compressive sensing (CS) regularized maximum likelihood formulation of the discrete-input detection problem, in which the L0-norm is introduced to enforce adherence of the solution to the prescribed discrete symbol constellation. Unlike much of preceding literature, the method is not relaxed into the L1-norm, but rather approximated with a continuous and asymptotically exact expression without resorting to parallel interference cancellation. The objective function of the resulting formulation is thus a sum of concave-over-convex ratios, which is then tightly convexized via the quadratic transform, such that its solution can be obtained via the iteration of a simple closed-form expression that closely resembles that of the classic zero-forcing (ZF) receiver. By further transforming the aforementioned problem into a quadratically constrained quadratic program with one convex constraint (QCQP-1), the optimal regularization parameter to be used at each step of the iterative algorithm is then shown to be the largest generalized eigenvalue of a pair of matrices which are given in closed-form. The method so obtained, referred to as the IDLS, is then extended to address several factors of practical relevance, such as noisy conditions, imperfect CSI, and hardware impairments, thus yielding the Robust IDLS algorithm. Simulation results show that the proposed art significantly outperforms both classic receivers, such as the LMMSE, and recent CS-based alternatives, such as the SOAV and the SCSR detectors.


title: Flame dynamics during intermittency and secondary bifurcation to longitudinal thermoacoustic instability in a swirl-stabilized annular combustor

abstract: In this experimental study on a laboratory-scale turbulent annular combustor with sixteen swirl-stabilized burners, we study the flame-flame and flame-acoustic interactions during different dynamical states associated with the longitudinal mode of the combustor. We simultaneously measure the acoustic pressure and CH* chemiluminescence emission of the flame using a high-speed camera. Upon increasing the equivalence ratio, the combustor undergoes the following sequence of transition: combustion noise (CN) to low amplitude longitudinal thermoacoustic instability (TAI) through the state of intermittency (INT), and from low amplitude to high amplitude longitudinal TAI through a secondary bifurcation. We report the first evidence of secondary bifurcation from low amplitude TAI to high amplitude TAI for a turbulent thermoacoustic system which allows us to test the flame response at two different amplitude of perturbation in a natural setting. We find a significant difference in the dynamics of the flame interactions during the periodic part of intermittency and low and high amplitude TAI. Specifically, during the periodic part of intermittency, the phase difference between the local heat release rate (HRR) measured from various burners show significant phase slips in time. During low amplitude TAI, there are fewer phase slips among the HRR response of the burners, which result in a state of weak synchronization among the flames. During high amplitude TAI, we find that the flames are in perfect synchrony amongst themselves and with the pressure fluctuations. We then quantify the degree of temporal and spatial synchronization between different flames, and flames and pressure fluctuations using the Kuramoto order parameter and the phase-locking value. We show that synchronization theory can be conveniently used to characterize and quantify flame-acoustic interactions in an annular combustor.


title: On a curious bias arising when the $\sqrt{\chi^2/\nu}$ scaling prescription is first applied to a sub-sample of the individual results

abstract: As it is well known, the standard deviation of a weighted average depends only on the individual standard deviations, but not on the dispersion of the values around the mean. This property leads sometimes to the embarrassing situation in which the combined result 'looks' somehow at odds with the individual ones. A practical way to cure the problem is to enlarge the resulting standard deviation by the $\sqrt{\chi^2/\nu}$ scaling, a prescription employed with arbitrary criteria on when to apply it and which individual results to use in the combination. But the `apparent' discrepancy between the combined result and the individual ones often remains. Moreover this rule does not affect the resulting `best value', even if the pattern of the individual results is highly skewed. In addition to these reasons of dissatisfaction, shared by many practitioners, the method causes another issue, recently noted on the published measurements of the charged kaon mass. It happens in fact that, if the prescription is applied twice, i.e. first to a sub-sample of the individual results and subsequently to the entire sample, then a bias on the result of the overall combination is introduced. The reason is that the prescription does not guaranty statistical sufficiency, whose importance is reminded in this script, written with a didactic spirit, with some historical notes and with a language to which most physicists are accustomed. The conclusion contains general remarks on the effective presentation of the experimental findings and a pertinent puzzle is proposed in the Appendix.


title: Spatial and energy resolution of electronic states by shot noise

abstract: Shot noise measurements are widely used for the characterization of nonequilibrium configurations in electronic conductors. The recently introduced quantum tomography approach was implemented for the studies of electronic wavefunctions of few-electron excitations created by periodic voltage pulses in phase-coherent ballistic conductors based on the high-quality GaAs two-dimensional electron gas. Still relying on the manifestation of Fermi correlations in noise, we focus on the simpler and more general approach beneficial for the local measurements of energy distribution (ED) in electronic systems with arbitrary excitations with well-defined energies and random phases. Using biased diffusive metallic wire as a testbed, we demonstrate the power of this approach and extract the well-known double-step ED from the shot noise of a weakly coupled tunnel junction. Our experiment paves the way for the local measurements of generic nonequilibrium configurations applicable to virtually any conductor.


title: Optimal networks measured by global mean first return time

abstract: Random walks have wide application in real lives, ranging from target search, reaction kinetics, polymer chains, to the forecast of the arrive time of extreme events, diseases or opinions. In this paper, we consider discrete random walks on general connected networks and focus on the analysis of the global mean first return time (GMFRT), which is defined as the mean first return time averaged over all the possible starting positions (vertices), aiming at finding the structures who have the maximal (or the minimal) GMFRT among all connected graphs with the same number of vertices and edges. Our results show that, among all trees with the same number of vertices, trees with linear structure are the structures with the minimal GMFRT and stars are the structures with the maximal GMFRT. We also find that, among all connected graphs with the same number of vertices, the graphs whose vertices have the same degree, are the structures with the minimal GMFRT; and the graphs whose vertex degrees have the biggest difference, are the structures with the maximal GMFRT. We also present the methods for constructing the graphs with the maximal GMFRT (or the minimal GMFRT), among all connected graphs with the same number of vertices and edges.


title: Dimensionalities and multiplicities determination of crystal nets

abstract: Low-dimensional materials have attracted significant attentions over the past decade. To discover new low-dimensional materials, high-throughout screening methods have been applied in different materials databases. For this purpose, the reliability of dimensionality identification is therefore highly important. In this work, we find that the existence of self-penetrating nets may lead to incorrect results by previous methods. In stead of this, we use the quotient graph to analysis the topologies of structures and compute their dimensionalities. Based on the quotient graph, we can calculate not only the dimensionality but also the multiplicity of self-penetrating structures. As a demonstration, we screened the Crystallography Open Database using our method and found hundreds of structures with different dimensionalities and high multiplicities up to eleven.


title: Channels' Confirmation and Predictions' Confirmation: from the Medical Test to the Raven Paradox

abstract: After long arguments between positivism and falsificationism, the verification of universal hypotheses was replaced with the confirmation of uncertain major premises. Unfortunately, Hemple discovered the Raven Paradox (RP). Then, Carnap used the logical probability increment as the confirmation measure. So far, many confirmation measures have been proposed. Measure F among them proposed by Kemeny and Oppenheim possesses symmetries and asymmetries proposed by Elles and Fitelson, monotonicity proposed by Greco et al., and normalizing property suggested by many researchers. Based on the semantic information theory, a measure b* similar to F is derived from the medical test. Like the likelihood ratio, b* and F can only indicate the quality of channels or the testing means instead of the quality of probability predictions. And, it is still not easy to use b*, F, or another measure to clarify the RP. For this reason, measure c* similar to the correct rate is derived. The c* has the simple form: (a-c)/max(a, c); it supports the Nicod Criterion and undermines the Equivalence Condition, and hence, can be used to eliminate the RP. Some examples are provided to show why it is difficult to use one of popular confirmation measures to eliminate the RP. Measure F, b*, and c* indicate that fewer counterexamples' existence is more essential than more positive examples' existence, and hence, are compatible with Popper's falsification thought.


title: Condensation signatures of photogenerated interlayer excitons in a van der Waals heterostack

abstract: Atomistic van der Waals heterostacks are ideal systems for high-temperature exciton condensation because of large exciton binding energies and long lifetimes. Charge transport and electron energy-loss spectroscopy showed first evidence of excitonic many-body states in such two-dimensional materials. Pure optical studies, the most obvious way to access the phase diagram of photogenerated excitons have been elusive. We observe several criticalities in photogenerated exciton ensembles hosted in MoSe2-WSe2 heterostacks with respect to photoluminescence intensity, linewidth, and temporal coherence pointing towards the transition to a coherent quantum state. For this state, the occupation is 100 percent and the exciton diffusion length is increased. The phenomena survive above 10 kelvin, consistent with the predicted critical condensation temperature. Our study provides a first phase-diagram of many-body interlayer exciton states including Bose Einstein condensation.


title: The Lamb Problem with a Nonuniform String

abstract: The time evolution of an oscillator coupled to an infinite string with a discontinuous mass density is investigated. It is shown that the equation of motion of the oscillator leads to a nonlinear characteristic equation due to the frequency-dependent nature of the point impedance of the string. Then, the method of perturbation theory is applied to solve the characteristic equation to first order in perturbation parameter. Finally, response of the oscillator to an impulse is obtained by means of the Green's function method.


title: R2DE: a NLP approach to estimating IRT parameters of newly generated questions

abstract: The main objective of exams consists in performing an assessment of students' expertise on a specific subject. Such expertise, also referred to as skill or knowledge level, can then be leveraged in different ways (e.g., to assign a grade to the students, to understand whether a student might need some support, etc.). Similarly, the questions appearing in the exams have to be assessed in some way before being used to evaluate students. Standard approaches to questions' assessment are either subjective (e.g., assessment by human experts) or introduce a long delay in the process of question generation (e.g., pretesting with real students). In this work we introduce R2DE (which is a Regressor for Difficulty and Discrimination Estimation), a model capable of assessing newly generated multiple-choice questions by looking at the text of the question and the text of the possible choices. In particular, it can estimate the difficulty and the discrimination of each question, as they are defined in Item Response Theory. We also present the results of extensive experiments we carried out on a real world large scale dataset coming from an e-learning platform, showing that our model can be used to perform an initial assessment of newly created questions and ease some of the problems that arise in question generation.


title: Hom 3-Lie-Rinehart Algebras

abstract: After endowing with a 3-Lie-Rinehart structure on Hom 3-Lie algebras, we obtain a class of special Hom 3-Lie algebras, which have close relationships with representations of commutative associative algebras. We provide a special class of Hom 3-Lie-Rinehart algebras, called split regular Hom 3-Lie-Rinehart algebras, and we then characterize their structures by means of root systems and weight systems associated to a splitting Cartan subalgebra.


title: A remark on the sequence defined by the nonhomogeneous linear difference equation

abstract: In this short paper, a formula for the sequence defined by the nonhomogeneous linear difference equation with variable coefficients is presented. A connection with the homogeneous case is shown.


title: Fitting a Linear Control Policy to Demonstrations with a Kalman Constraint

abstract: We consider the problem of learning a linear control policy for a linear dynamical system, from demonstrations of an expert regulating the system. The standard approach to this problem is policy fitting, which fits a linear policy by minimizing a loss function between the demonstrations and the policy's outputs plus a regularization function that encodes prior knowledge. Despite its simplicity, this method fails to learn policies with low or even finite cost when there are few demonstrations. We propose to add an additional constraint to policy fitting, that the policy is the solution to some LQR problem, i.e., optimal in the stochastic control sense for some choice of quadratic cost. We refer to this constraint as a Kalman constraint. Policy fitting with a Kalman constraint requires solving an optimization problem with convex cost and bilinear constraints. We propose a heuristic method, based on the alternating direction method of multipliers (ADMM), to approximately solve this problem. Numerical experiments demonstrate that adding the Kalman constraint allows us to learn good, i.e., low cost, policies even when very few data are available.


title: Implementations in Machine Ethics: A Survey

abstract: Increasingly complex and autonomous systems require machine ethics to maximize the benefits and minimize the risks to society arising from the new technology. It is challenging to decide which type of ethical theory to employ and how to implement it effectively. This survey provides a threefold contribution. First, it introduces a trimorphic taxonomy to analyze machine ethics implementations with respect to their object (ethical theories), as well as their nontechnical and technical aspects. Second, an exhaustive selection and description of relevant works is presented. Third, applying the new taxonomy to the selected works, dominant research patterns, and lessons for the field are identified, and future directions for research are suggested.


title: Generating Sense Embeddings for Syntactic and Semantic Analogy for Portuguese

abstract: Word embeddings are numerical vectors which can represent words or concepts in a low-dimensional continuous space. These vectors are able to capture useful syntactic and semantic information. The traditional approaches like Word2Vec, GloVe and FastText have a strict drawback: they produce a single vector representation per word ignoring the fact that ambiguous words can assume different meanings. In this paper we use techniques to generate sense embeddings and present the first experiments carried out for Portuguese. Our experiments show that sense vectors outperform traditional word vectors in syntactic and semantic analogy tasks, proving that the language resource generated here can improve the performance of NLP tasks in Portuguese.


title: Multimodal Deep Unfolding for Guided Image Super-Resolution

abstract: The reconstruction of a high resolution image given a low resolution observation is an ill-posed inverse problem in imaging. Deep learning methods rely on training data to learn an end-to-end mapping from a low-resolution input to a high-resolution output. Unlike existing deep multimodal models that do not incorporate domain knowledge about the problem, we propose a multimodal deep learning design that incorporates sparse priors and allows the effective integration of information from another image modality into the network architecture. Our solution relies on a novel deep unfolding operator, performing steps similar to an iterative algorithm for convolutional sparse coding with side information; therefore, the proposed neural network is interpretable by design. The deep unfolding architecture is used as a core component of a multimodal framework for guided image super-resolution. An alternative multimodal design is investigated by employing residual learning to improve the training efficiency. The presented multimodal approach is applied to super-resolution of near-infrared and multi-spectral images as well as depth upsampling using RGB images as side information. Experimental results show that our model outperforms state-of-the-art methods.


title: Exact phoretic interaction of two chemically-active particles

abstract: We study the nonequilibrium interaction of two isotropic chemically-active particles taking into account the exact near-field chemical interactions as well as hydrodynamic interactions. We identify regions in the parameter space wherein the dynamical system describing the two particles can have a fixed-point---a phenomenon that cannot be captured under the far-field approximation. We find that due to near-field effects, the particles may reach a stable equilibrium at a nonzero gap size, or make a complex that can dissociate in the presence of sufficiently strong noise. We explicitly show that the near-field effects are originated from a self-generated neighbor-reflected chemical gradient, similar to interactions of a self-propelling phoretic particle and a flat substrate.


title: Geometric Proxies for Live RGB-D Stream Enhancement and Consolidation

abstract: We propose a geometric superstructure for unified real-time processing of RGB-D data. Modern RGB-D sensors are widely used for indoor 3D capture, with applications ranging from modeling to robotics, through augmented reality. Nevertheless, their use is limited by their low resolution, with frames often corrupted with noise, missing data and temporal inconsistencies. Our approach consists in generating and updating through time a single set of compact local statistics parameterized over detected geometric proxies, which are fed from raw RGB-D data. Our proxies provide several processing primitives, which improve the quality of the RGB-D stream on the fly or lighten further operations. Experimental results confirm that our lightweight analysis framework copes well with embedded execution as well as moderate memory and computational capabilities compared to state-of-the-art methods. Processing RGB-D data with our proxies allows noise and temporal flickering removal, hole filling and resampling. As a substitute of the observed scene, our proxies can additionally be applied to compression and scene reconstruction. We present experiments performed with our framework in indoor scenes of different natures within a recent open RGB-D dataset.


title: Adequate and fair explanations

abstract: Explaining sophisticated machine-learning based systems is an important issue at the foundations of AI. Recent efforts have shown various methods for providing explanations. These approaches can be broadly divided into two schools: those that provide a local and human interpreatable approximation of a machine learning algorithm, and logical approaches that exactly characterise one aspect of the decision. In this paper we focus upon the second school of exact explanations with a rigorous logical foundation. There is an epistemological problem with these exact methods. While they can furnish complete explanations, such explanations may be too complex for humans to understand or even to write down in human readable form. Interpretability requires epistemically accessible explanations, explanations humans can grasp. Yet what is a sufficiently complete epistemically accessible explanation still needs clarification. We do this here in terms of counterfactuals, following [Wachter et al., 2017]. With counterfactual explanations, many of the assumptions needed to provide a complete explanation are left implicit. To do so, counterfactual explanations exploit the properties of a particular data point or sample, and as such are also local as well as partial explanations. We explore how to move from local partial explanations to what we call complete local explanations and then to global ones. But to preserve accessibility we argue for the need for partiality. This partiality makes it possible to hide explicit biases present in the algorithm that may be injurious or unfair.We investigate how easy it is to uncover these biases in providing complete and fair explanations by exploiting the structure of the set of counterfactuals providing a complete local explanation.


title: Long-term orbital dynamics of trans-Neptunian objects

abstract: This article reviews the different mechanisms affecting the orbits of trans-Neptunian objects, ranging from internal perturbations (planetary scattering, mean-motion resonances, secular effects) to external perturbations (galactic tides, passing stars). We outline the theoretical tools that can be used to model and study them, focussing on analytical approaches. We eventually compare these mechanisms to the observed distinct populations of trans-Neptunian objects and conclude on how they participate to the sculpting of the whole distribution.


title: Revealing neutrino nature and $CPT$ violation with decoherence effects

abstract: We study decoherence effects on mixing among three generations of neutrinos. We show that in presence of a non--diagonal dissipation matrix, both Dirac and Majorana neutrinos can violate the $CPT$ symmetry and the oscillation formulae depend on the parametrization of the mixing matrix. We reveal the $CP$ violation in the transitions preserving the flavor, for a certain form of the dissipator. In particular, the $CP$ violation affects all the transitions in the case of Majorana neutrinos, unlike Dirac neutrinos which still preserve the $CP$ symmetry in one of the transitions flavor preserving. This theoretical result shows that decoherence effects, if exist for neutrinos, could allow to determine the neutrino nature and to test fundamental symmetries of physics. Next long baseline experiments could allow such an analysis. We relate our study with experiments by using the characteristic parameters and the constraints on the elements of the dissipation matrix of current experiments.


title: Impact of a companion and of chromospheric emission on the shape of chromosome maps for globular clusters

abstract: We investigate the role of binaries and chromospheric emission on HST photometry of globular clusters' stars. We quantify their respective effects on the position of stars in the chromosome map, especially among the first population. We computed atmosphere models and synthetic spectra for stars of different chemical compositions, based on isochrones produced by stellar evolution calculations with abundance variations representative of first and second populations in GCs. From this we built synthetic chromosome maps for a mixture of stars of different chemical compositions. We subsequently replaced a fraction of stars with binaries, or stars with chromospheric emission, using synthetic spectroscopy. We studied how the position of stars is affected in the chromosome map. Binaries can, in principle, explain the extension of the first population in the chromosome map. However, we find that given the binary fraction reported for GCs, the density of stars in the extended part is too small. Another difficulty of the binary explanation is that the shape of the distribution of the first population in the chromosome map is different in clusters with similar binary fractions. Additionally, we find that the contribution of chromospheric emission lines to the HST photometry is too small to have an observable impact on the shape of the chromosome map. Continuum chromospheric emission has an effect qualitatively similar to binaries. We conclude that binaries do have an impact on the morphology of the chromosome map of GCs, but they are unlikely to explain entirely the shape of the extended distribution of the first population stars. Uncertainties in the properties of continuum chromospheric emission of stars in GCs prevent any quantitative conclusion. Therefore, the origin of the extended first population remains unexplained.


title: Motif Difference Field: A Simple and Effective Image Representation of Time Series for Classification

abstract: Time series motifs play an important role in the time series analysis. The motif-based time series clustering is used for the discovery of higher-order patterns or structures in time series data. Inspired by the convolutional neural network (CNN) classifier based on the image representations of time series, motif difference field (MDF) is proposed. Compared to other image representations of time series, MDF is simple and easy to construct. With the Fully Convolution Network (FCN) as the classifier, MDF demonstrates the superior performance on the UCR time series dataset in benchmark with other time series classification methods. It is interesting to find that the triadic time series motifs give the best result in the test. Due to the motif clustering reflected in MDF, the significant motifs are detected with the help of the Gradient-weighted Class Activation Mapping (Grad-CAM). The areas in MDF with high weight in Grad-CAM have a high contribution from the significant motifs with the desired ordinal patterns associated with the signature patterns in time series. However, the signature patterns cannot be identified with the neural network classifiers directly based on the time series.


title: Resilient Privacy Protection for Location-Based Services through Decentralization

abstract: Location-Based Services (LBSs) provide valuable services, with convenient features for mobile users. However, the location and other information disclosed through each query to the LBS erodes user privacy. This is a concern especially because LBS providers can be honest-but-curious, collecting queries and tracking users' whereabouts and infer sensitive user data. This motivated both centralized and decentralized location privacy protection schemes for LBSs: anonymizing and obfuscating LBS queries to not disclose exact information, while still getting useful responses. Decentralized schemes overcome disadvantages of centralized schemes, eliminating anonymizers, and enhancing users' control over sensitive information. However, an insecure decentralized system could create serious risks beyond private information leakage. More so, attacking an improperly designed decentralized LBS privacy protection scheme could be an effective and low-cost step to breach user privacy. We address exactly this problem, by proposing security enhancements for mobile data sharing systems. We protect user privacy while preserving accountability of user activities, leveraging pseudonymous authentication with mainstream cryptography. We show our scheme can be deployed with off-the-shelf devices based on an experimental evaluation of an implementation in a static automotive testbed.


title: Three perspectives on categorical symmetric Howe duality

abstract: In this paper, we consider the categorical symmetric Howe duality introduced by Khovanov, Lauda, Sussan and Yonezawa. While originally defined from a purely diagrammatic perspective, this construction also has geometric and representation-theoretic interpretations, corresponding to certain perverse sheaves on spaces of quiver representations and the category of Gelfand-Tsetlin modules over $\mathfrak{gl}_n$. In particular, we show that the "deformed Webster algebras" discussed in work of Khovanov-Lauda-Sussan-Yonezawa manifest a Koszul duality between blocks of the category of Gelfand-Tsetlin modules over $\mathfrak{gl}_n$, and the constructible sheaves on representations of a linear quiver invariant under a certain parabolic in the group that acts by changing bases. Furthermore, we show that this duality intertwines translation functors with a diagrammatic categorical action. Includes an appendix by the author and Jerry Guan.


title: Proactive Certificate Validation for VANETs

abstract: Security and privacy in Vehicular Ad-hoc Networks (VANETs) mandates use of short-lived credentials (pseudonyms) and cryptographic key pairs. This implies significant computational overhead for vehicles, needing to validate often numerous such pseudonyms within a short period. To alleviate such a bottleneck that could even place vehicle safety at risk, we propose a proactive pseudonym validation approach based on Bloom Filters (BFs). We show that our scheme could liberate computational resources for other (safety- and time-critical) operations with reasonable communication overhead without compromising security and privacy.


title: Resilient Collaborative Privacy for Location-Based Services

abstract: Location-based Services (LBSs) provide valuable services, with convenient features for users. However, the information disclosed through each request harms user privacy. This is a concern particularly with honest-but-curious LBS servers, which could, by collecting requests, track users and infer additional sensitive user data. This is the motivation of both centralized and decentralized location privacy protection schemes for LBSs: anonymizing and obfuscating LBS queries to not disclose exact information, while still getting useful responses. Decentralized schemes overcome the disadvantages of centralized schemes, eliminating anonymizers and enhancing users' control over sensitive information. However, an insecure decentralized system could pose even more serious security threats than privacy leakage. We address exactly this problem, by proposing security enhancements for mobile data sharing systems. We protect user privacy while preserving accountability of user activities, leveraging pseudonymous authentication with mainstream cryptography. Our design leverages architectures proposed for large scale mobile systems, while it incurs minimal changes to LBS servers as it can be deployed in parallel to the LBS servers. This further motivates the adoption of our design, in order to cater to the needs of privacy-sensitive users. We provide an analysis of security and privacy concerns and countermeasures, as well as a performance evaluation of basic protocol operations showing the practicality of our design.


title: Self induced Hall Effect in current carrying bar

abstract: The longitudinal current in a three-dimensional conductor is accompanied by transverse magnetic field in a specimen bulk. The absence of the transverse current in a sample bulk requires a nonzero Hall electric field in transverse cross-section which provides the Lorentz force cancelation. The longitudinal current itself can be viewed as a collective drift of carriers in crossed magnetic and electric(Hall) fields. At low temperatures the enhanced carrier viscosity leads to nonuniform current flow whose transverse profile is sensitive to presence of $collinear$ diamagnetic currents at the sample inner walls. Former dissipative the longitudinal current becomes purely diamagnetic at certain critical temperature. The superconductivity sets on. The current and transverse magnetic field become pushed out from the sample bulk towards the inner wall. Magnetic properties of a sample resemble those expected for ideal diamagnet. The threshold of superconductivity is calculated for arbitrary temperature, disorder strength, sample size and current and(or) magnetic field strength. Sample-size and magnetic field driven transition from normal metal phase to superconductivity has been studied. The superconductivity phase is not discussed.


title: Vietoris-Rips Persistent Homology, Injective Metric Spaces, and The Filling Radius

abstract: In the applied algebraic topology community, the persistent homology induced by the Vietoris-Rips simplicial filtration is a standard method for capturing topological information from metric spaces. In this paper, we consider a different, more geometric way of generating persistent homology of metric spaces which arises by first embedding a given metric space into a larger space and then considering thickenings of the original space inside this ambient metric space. In the course of doing this, we construct an appropriate category for studying this notion of persistent homology and show that, in a category theoretic sense, the standard persistent homology of the Vietoris-Rips filtration is isomorphic to our geometric persistent homology provided that the ambient metric space satisfies a property called injectivity. As an application of this isomorphism result we are able to precisely characterize the type of intervals that appear in the persistence barcodes of the Vietoris-Rips filtration of any compact metric space and also to give succinct proofs of the characterization of the persistent homology of products and metric gluings of metric spaces. Our results also permit proving several bounds on the length of intervals in the Vietoris-Rips barcode by other metric invariants. Finally, as another application, we connect this geometric persistent homology to the notion of filling radius of manifolds introduced by Gromov \cite{G07} and show some consequences related to (1) the homotopy type of the Vietoris-Rips complexes of spheres which follow from work of M.~Katz and (2) characterization (rigidity) results for spheres in terms of their Vietoris-Rips persistence barcodes which follow from work of F.~Wilhelm.


title: Seiberg-Witten monopoles and flat PSL(2;R)-connections

abstract: I show that flat PSL(2;R)-connections on three-manifolds satisfying certain 'stability condition' can be interpreted as solutions of the Seiberg-Witten equations with two spinors. This is used to construct explicit examples of the Seiberg-Witten moduli spaces. Also, I show that in this setting blow up sets satisfy certain non-trivial topological restrictions.


title: A Suboptimality Approach to Distributed H2 Control by Dynamic Output Feedback

abstract: This paper deals with suboptimal distributed H2 control by dynamic output feedback for homogeneous linear multi-agent systems. Given a linear multi-agent system, together with an associated H2 cost functional, the objective is to design dynamic output feedback protocols that guarantee the associated cost to be smaller than an a priori given upper bound while synchronizing the controlled network. A design method is provided to compute such protocols. The computation of the two local gains in these protocols involves two Riccati inequalities, each of dimension equal to the dimension of the state space of the agents. The largest and smallest nonzero eigenvalue of the Laplacian matrix of the network graph are also used in the computation of one of the two local gains.A simulation example is provided to illustrate the performance of the proposed protocols.


title: On Wind Speed Sensor Configurations and Altitude Control in Airborne Wind Energy Systems

abstract: Real-time altitude control of airborne wind energy (AWE) systems can improve performance by allowing turbines to track favorable wind speeds across a range of operating altitudes. The current work explores the performance implications of deploying an AWE system with sensor configurations that provide different amounts of data to characterize wind speed profiles. We examine various control objectives that balance trade-offs between exploration and exploitation, and use a persistence model to generate a probabilistic wind speed forecast to inform control decisions. We assess system performance by comparing power production against baselines such as omniscient control and stationary flight. We show that with few sensors, control strategies that reward exploration are favored. We also show that with comprehensive sensing, the implications of choosing a sub-optimal control strategy decrease. This work informs and motivates the need for future research exploring online learning algorithms to characterize vertical wind speed profiles.


title: Incompleteness for stably consistent formal systems

abstract: We first partly develop a mathematical notion of stable consistency intended to reflect the actual consistency property of human beings. Then we give a generalization of the first and second G\"odel incompleteness theorem to stably $1,2$-consistent formal systems. Our argument in particular re-proves the original incompleteness theorems from first principles, using Turing machine language to (computably) construct our "G\"odel sentence" directly, in particular we do not use the diagonal lemma, nor any meta-logic, with the proof naturally formalizable in set theory. In practice such a stably consistent formal system could be meant to represent the mathematical output of humanity evolving in time, so that the above gives a formalization of a famous disjunction of G\"odel, obstructing computability of intelligence.


title: Coupled Moebius Maps as a Tool to Model Kuramoto Phase Synchronization

abstract: We propose Moebius maps as a tool to model synchronization phenomena in coupled phase oscillators. Not only does the map provide fast computation of phase synchronization, it also reflects the underlying group structure of the sinusoidally coupled continuous phase dynamics. We study map versions of various known continuous-time collective dynamics, such as the synchronization transition in the Kuramoto-Sakaguchi model of non-identical oscillators, chimeras in two coupled populations of identical phase oscillators, and Kuramoto-Battogtokh chimeras on a ring, and demonstrate similarities and differences between the iterated map models and their known continuous-time counterparts.


title: Dual-Wavelength Lasing in Quantum-Dot Plasmonic Lattice Lasers

abstract: Arrays of metallic particles patterned on a substrate have emerged as a promising design for on-chip plasmonic lasers. In past examples of such devices, the periodic particles provided feedback at a single resonance wavelength, and organic dye molecules were used as the gain material. Here, we introduce a flexible template-based fabrication method that allows a broader design space for Ag particle-array lasers. Instead of dye molecules, we integrate colloidal quantum dots (QDs), which offer better photostability and wavelength tunability. Our fabrication approach also allows us to easily adjust the refractive index of the substrate and the QD-film thickness. Exploiting these capabilities, we demonstrate not only single-wavelength lasing but dual-wavelength lasing via two distinct strategies. First, by using particle arrays with rectangular lattice symmetries, we obtain feedback from two orthogonal directions. The two output wavelengths from this laser can be selected individually using a linear polarizer. Second, by adjusting the QD-film thickness, we use higher-order transverse waveguide modes in the QD film to obtain dual-wavelength lasing at normal and off-normal angles from a symmetric square array. We thus show that our approach offers various design possibilities to tune the laser output.


title: Electromagnetic transition rates of Carbon-12 and Oxygen-16 in rotational-vibrational models

abstract: We develop a formalism to calculate electromagnetic (EM) transition rates for rotational-vibrational models of nuclei. The formalism is applied to recently proposed models of Carbon-12 and Oxygen-16 which are inspired by nuclear dynamics in the Skyrme model. We compare the results to experimental data, as well as other nuclear models. The results for Carbon-12 are in good agreement with the data across all models, making it difficult to differentiate the models. More experimental data is needed to do this, and we suggest which transitions would be most interesting to measure. The models of Oxygen-16 are less successful in describing the data, and we suggest some possible improvements to our approximations which may help.


title: The LASCO Coronal Brightness Index

abstract: We present the construction of a new white-light coronal brightness index (CBI) from the entire archive of observations recorded by the Large Angle Spectrometric Coronagraph (LASCO) C2 camera between 1996 and 2017, comprising two full solar cycles. We reduce all fully calibrated daily C2 observations of the white light corona into a single daily coronal brightness observation for every day of observation recorded by the instrument, with mean daily brightness values binned into 0.1 Rsun radial x 1 degree angular regions from 2.4 -- 6.2 Rsun for a full 360-degrees. As a demonstration of the utility of the CBI, we construct a new solar irradiance proxy that correlates well with a variety of direct solar irradiance observations, with correlations shown to be in the range of 0.77-0.89. We also present a correlation mapping technique to show how irradiance correlations depend on, and relate to, coronal structure/locations, and to demonstrate how the LASCO CBI can be used to perform long-term "spatial correlation" studies to investigate relationships between the solar corona and any arbitrary concurrent geophysical index. Using this technique we find possible relationships between coronal brightness and plasma temperature, interplanetary magnetic field magnitude and (very weakly) proton density.


title: Bayesian Hierarchical Methods for Modeling Electrical Grid Component Failures

abstract: Failure probabilities for grid components are often estimated using parametric models which can capitalize on operational grid data. This work formulates a Bayesian hierarchical framework designed to integrate data and domain expertise to understand the failure properties of a regional power system, where variability in the expected performance of individual components gives rise to failure processes that are heterogeneous and uncertain. We use Bayesian methods to fit failure models to failure data generated in simulation. We test our algorithm by evaluating differences between the data-generating model, our Bayesian hierarchical model, and maximum likelihood parameter estimates. We evaluate how well each model can approximate the failure properties of individual components, and of the system overall. Finally, we define an upgrade policy for achieving targeted reductions in risk exposure, and compare the magnitude of upgrades recommended by each model.


title: Computing the Hausdorff boundary measure of semi-algebraic sets

abstract: Given a compact basic semi-algebraic set we provide a numerical scheme to approximate as closely as desired, any finite number of moments of the Hausdorff measure on the boundary of this set. This also allows one to approximate interesting quantities like length, surface, or more general integrals on the boundary, as closely as desired from above and below.


title: Inverse problems for real principal type operators

abstract: We consider inverse boundary value problems for general real principal type differential operators. The first results state that the Cauchy data set uniquely determines the scattering relation of the operator and bicharacteristic ray transforms of lower order coefficients. We also give two different boundary determination methods for general operators, and prove global uniqueness results for determining coefficients in nonlinear real principal type equations. The article presents a unified approach for treating inverse boundary problems for transport and wave equations, and highlights the role of propagation of singularities in the solution of related inverse problems.


title: The Evolution of the Manosphere Across the Web

abstract: In this paper, we present a large-scale characterization of the Manosphere, a conglomerate of Web-based misogynist movements roughly focused on "men's issues," which has seen significant growth over the past years. We do so by gathering and analyzing 28.8M posts from 6 forums and 51 subreddits. Overall, we paint a comprehensive picture of the evolution of the Manosphere on the Web, showing the links between its different communities over the years. We find that milder and older communities, such as Pick Up Artists and Men's Rights Activists, are giving way to more extremist ones like Incels and Men Going Their Own Way, with a substantial migration of active users. Moreover, our analysis suggests that these newer communities are more toxic and misogynistic than the former.


title: Varieties of monoids with complex lattices of subvarieties

abstract: A variety is finitely universal if its lattice of subvarieties contains an isomorphic copy of every finite lattice. Examples of finitely universal varieties of semigroups have been available since the early 1970s, but it is unknown if there exists a finitely universal variety of monoids. The main objective of the present article is to exhibit the first examples of finitely universal varieties of monoids. The finite universality of these varieties is established by showing that the lattice of equivalence relations on every sufficiently large finite set is anti-isomorphic to some subinterval of the lattice of subvarieties.


title: The contribution of nearby supernova remnants on the cosmic ray flux at Earth

abstract: We consider anisotropic diffusion of Galactic cosmic rays in the Galactic magnetic field, using the Jansson-Farrar model for the field. In this paper we investigate the influence of source position on the cosmic ray flux at Earth in two ways: [1] by considering the contribution from cosmic ray sources located in different intervals in Galacto-centric radius, and [2] by considering the contribution from a number of specific and individual close-by supernova remnants. Our calculation is performed by using a fully three-dimensional stochastic method. This method is based on the numerical solution of a set of stochastic differential equations, equivalent to Ito formulation, that describes the propagation of the Galactic cosmic rays.


title: Using observed bacteria concentration and modeled transit time under an analytical framework to estimate overall removal rate of fecal coliform in an estuary

abstract: Abundance of fecal coliform (FC) is widely used to indicate the potential presence of pathogens, the No.1 cause of water impairments in the U.S. Despite extensive monitoring efforts, assessing and modeling FC pollution still faces challenges, largely owing to the uncertainties in estimation of overall removal rate (K). This study proposes an alternative method to estimate in situ K by combining observational data, hydrodynamic simulation, and analytical solution. The method requires the observed spatial distribution of FC concentration along an estuarine channel and the numerically-simulated transit time, and converts the K estimation from a temporal problem into a spatial problem, potentially reducing survey duration, effort, and cost. Application of the method gave an estimation of K = 0.5 d-1 on average for the Nassawadox Creek in Chesapeake Bay. The numerical and analytical model results with the estimated K agreed well with the observation, demonstrating the credibility of the method.


title: Entanglement protection in higher-dimensional systems

abstract: The inevitable dissipative interaction of an entangled quantum system with its environment causes degradation in quantum correlations present in the system. This can lead to a finite-time disappearance of entanglement, which is known as entanglement sudden death (ESD). Here, we consider an initially entangled qubit-qutrit system and a dissipative noise which leads to ESD, and propose a set of local unitary operations, which when applied on the qubit, qutrit, or both subsystems during the decoherence process, cause ESD to be hastened, delayed, or avoided altogether, depending on its time of application. The physical implementation of these local unitaries is discussed in the context of an atomic system. The simulation results of such ESD manipulations are presented for two different classes of initially entangled qubit-qutrit systems. A prescription for generalization of this scheme to a qutrit-qutrit system is given. This technique for entanglement protection in the noisy environment is compared with other related techniques such as weak measurement reversal and dynamic decoupling.


title: First search for r-mode gravitational waves from J0537-6910

abstract: We report results of the first search to date for continuous gravitational waves from unstable r-modes from the pulsar J0537-6910. We use data from the first two observing runs of the Advanced LIGO network. We find no significant signal candidate and set upper limits on the amplitude of gravitational wave signals, which are within an order of magnitude of the spin-down values. We highlight the importance of having timing information at the time of the gravitational wave observations, i.e. rotation frequency and frequency-derivative values, and glitch occurrence times, such as those that a NICER campaign could provide.


title: Probing Jet Medium Interactions via $Z$($H$)+jet Momentum Imbalances

abstract: Different types of high energy hard probes are used to extract the jet transport properties of the Quark-Gluon Plasma created in heavy-ion collisions, of which the heavy boson tagged jets are undoubtedly the most sophisticated due to its clean decay signature and production mechanism. In this study, we used the resummation improved pQCD approach with high order correction in the hard factor to calculate the momentum ratio $x_J$ distributions of $Z$ and Higgs($H$) tagged jets. We found that the formalism can provide a good description of the 5.02 TeV $pp$ data. Using the BDMPS energy loss formalism, along with the OSU 2+1D hydro to simulate the effect of the medium, we extracted the value of the jet transport coefficient to be around $\hat{q}_0=4\sim8~GeV^2/fm$ by comparing with the $Z$+jet $PbPb$ experimental data. The $H$+jet $x_J$ distribution were calculated in a similar manner in contrast and found to have a stronger Sudakov effect as compared with the $Z$+jet distribution. This study uses a clean color-neutral boson as trigger to study the jet quenching effect and serves as a complimentary method in the extraction of the QGP's transport coefficient in high energy nuclear collisions.


title: Understanding the Limitations of Network Online Learning

abstract: Studies of networked phenomena, such as interactions in online social media, often rely on incomplete data, either because these phenomena are partially observed, or because the data is too large or expensive to acquire all at once. Analysis of incomplete data leads to skewed or misleading results. In this paper, we investigate limitations of learning to complete partially observed networks via node querying. Concretely, we study the following problem: given (i) a partially observed network, (ii) the ability to query nodes for their connections (e.g., by accessing an API), and (iii) a budget on the number of such queries, sequentially learn which nodes to query in order to maximally increase observability. We call this querying process Network Online Learning and present a family of algorithms called NOL*. These algorithms learn to choose which partially observed node to query next based on a parameterized model that is trained online through a process of exploration and exploitation. Extensive experiments on both synthetic and real world networks show that (i) it is possible to sequentially learn to choose which nodes are best to query in a network and (ii) some macroscopic properties of networks, such as the degree distribution and modular structure, impact the potential for learning and the optimal amount of random exploration.


title: Analytic Properties of Trackable Weak Models

abstract: We present several new results on the feasibility of inferring the hidden states in strongly-connected trackable weak models. Here, a weak model is a directed graph in which each node is assigned a set of colors which may be emitted when that node is visited. A hypothesis is a node sequence which is consistent with a given color sequence. A weak model is said to be trackable if the worst case number of such hypotheses grows as a polynomial in the sequence length. We show that the number of hypotheses in strongly-connected trackable models is bounded by a constant and give an expression for this constant. We also consider the problem of reconstructing which branch was taken at a node with same-colored out-neighbors, and show that it is always eventually possible to identify which branch was taken if the model is strongly connected and trackable. We illustrate these properties by assigning transition probabilities and employing standard tools for analyzing Markov chains. In addition, we present new results for the entropy rates of weak models according to whether they are trackable or not. These theorems indicate that the combination of trackability and strong connectivity dramatically simplifies the task of reconstructing which nodes were visited. This work has implications for any problem which can be described in terms of an agent traversing a colored graph, such as the reconstruction of hidden states in a hidden Markov model (HMM).


title: Uniform Regularity of Set-Valued Mappings and Stability of Implicit Multifunctions

abstract: We propose a unifying general (i.e. not assuming the mapping to have any particular structure) view on the theory of regularity and clarify the relationships between the existing primal and dual quantitative sufficient and necessary conditions including their hierarchy. We expose the typical sequence of regularity assertions, often hidden in the proofs, and the roles of the assumptions involved in the assertions, in particular, on the underlying space: general metric, normed, Banach or Asplund. As a consequence, we formulate primal and dual conditions for the stability properties of solution mappings to inclusions


title: Quantum Information Scrambling and Entanglement in Bipartite Quantum States

abstract: Investigating the influence of quantum information (QI) scrambling on quantum correlations in a physical system is an interesting problem. In this article we establish the mathematical connections among the quantifiers known as quantum information scrambling, Uhlmann fidelity, Bures metric and bipartite concurrence. We study these relations via four point out-of-time-order correlation (OTOC) function used for quantum information scrambling. Further we study the dynamics of all the quantifiers and investigate the influence of QI scrambling on entanglement in two qubits prepared in Bell states. We also determine the related QI scrambling and entanglement balancing points and investigate that they are periodic in nature for the Ising Hamiltonian.


title: Effects of neighbouring planets on the formation of resonant dust rings in the inner Solar System

abstract: Context. Findings by the Helios and STEREO mission have indicated the presence of a resonant circumsolar ring of dust associated with Venus. Attempts to model this phenomenon as an analogue to the resonant ring of Earth - as a result of migrating dust trapped in external mean-motion resonances (MMRs) - have so far been unable to reproduce the observed dust feature. Other theories of origin have recently been put forward. However, the reason for the low trapping efficiency of Venus's external MMRs remains unclear. Aims. Here we look into the nature of the dust trapping resonant phenomena that arise from the multi-planet configuration of the inner Solar System, aiming to add to the existent understanding of resonant dust rings in single planet systems. Methods. We numerically modelled resonant dust features associated with the inner planets and specifically looked into the dependency of these structures and the trapping efficiency of particular resonances on the configuration of planets. Results. Besides Mercury showing no resonant interaction with the migrating dust cloud, we find Venus, Earth, and Mars to considerably interfere with each other's resonances, influencing their ability to form circumsolar rings. We find that the single most important reason for the weakness of Venus's external MMR ring is the perturbing influence of its outer neighbour - Earth. In addition, we find Mercury and Mars to produce crescent-shaped density features, caused by a directed apsidal precession occurring in particles traversing their orbital region.


title: Optimal Dispatch of Electrified Autonomous Mobility on Demand Vehicles during Power Outages

abstract: The era of fully autonomous, electrified taxi fleets is rapidly approaching, and with it the opportunity to innovate myriad on-demand services that extend beyond the realm of human mobility. This project envisions a future where autonomous plug-in electric vehicle (PEV) fleets can be dispatched as both a taxi service and a source of on-demand power serving customers during power outages. We develop a PDE-based scheme to manage the optimal dispatch of an autonomous fleet to serve passengers and electric power demand during outages as an additional stream of revenue. We use real world power outage and taxi data from San Francisco for our case study, modeling the optimal dispatch of several fleet sizes over the course of one day; we examine both moderate and extreme outage scenarios. In the moderate scenario, the revenue earned serving power demand is negligible compared with revenue earned serving passenger trips. In the extreme scenario, supplying power accounts for between $1 and $2 million, amounting to between 32\% and 40\% more revenue than is earned serving mobility only, depending on fleet size. While the overall value of providing on-demand power depends on the frequency and severity of power outages, our results show that serving power demand during large-scale outages can provide a substantial value stream, comparable to the value to be earned providing grid services.


title: Cut-Based Graph Learning Networks to Discover Compositional Structure of Sequential Video Data

abstract: Conventional sequential learning methods such as Recurrent Neural Networks (RNNs) focus on interactions between consecutive inputs, i.e. first-order Markovian dependency. However, most of sequential data, as seen with videos, have complex dependency structures that imply variable-length semantic flows and their compositions, and those are hard to be captured by conventional methods. Here, we propose Cut-Based Graph Learning Networks (CB-GLNs) for learning video data by discovering these complex structures of the video. The CB-GLNs represent video data as a graph, with nodes and edges corresponding to frames of the video and their dependencies respectively. The CB-GLNs find compositional dependencies of the data in multilevel graph forms via a parameterized kernel with graph-cut and a message passing framework. We evaluate the proposed method on the two different tasks for video understanding: Video theme classification (Youtube-8M dataset) and Video Question and Answering (TVQA dataset). The experimental results show that our model efficiently learns the semantic compositional structure of video data. Furthermore, our model achieves the highest performance in comparison to other baseline methods.


title: Simple and Effective Graph Autoencoders with One-Hop Linear Models

abstract: Over the last few years, graph autoencoders (AE) and variational autoencoders (VAE) emerged as powerful node embedding methods, with promising performances on challenging tasks such as link prediction and node clustering. Graph AE, VAE and most of their extensions rely on multi-layer graph convolutional networks (GCN) encoders to learn vector space representations of nodes. In this paper, we show that GCN encoders are actually unnecessarily complex for many applications. We propose to replace them by significantly simpler and more interpretable linear models w.r.t. the direct neighborhood (one-hop) adjacency matrix of the graph, involving fewer operations, fewer parameters and no activation function. For the two aforementioned tasks, we show that this simpler approach consistently reaches competitive performances w.r.t. GCN-based graph AE and VAE for numerous real-world graphs, including all benchmark datasets commonly used to evaluate graph AE and VAE. Based on these results, we also question the relevance of repeatedly using these datasets to compare complex graph AE and VAE.


title: Improving Interaction Quality Estimation with BiLSTMs and the Impact on Dialogue Policy Learning

abstract: Learning suitable and well-performing dialogue behaviour in statistical spoken dialogue systems has been in the focus of research for many years. While most work which is based on reinforcement learning employs an objective measure like task success for modelling the reward signal, we use a reward based on user satisfaction estimation. We propose a novel estimator and show that it outperforms all previous estimators while learning temporal dependencies implicitly. Furthermore, we apply this novel user satisfaction estimation model live in simulated experiments where the satisfaction estimation model is trained on one domain and applied in many other domains which cover a similar task. We show that applying this model results in higher estimated satisfaction, similar task success rates and a higher robustness to noise.


title: Synthetic band-structure engineering in polariton crystals with non-Hermitian topological phases

abstract: Synthetic crystal lattices provide ideal environments for simulating and exploring the band structure of solid-state materials in clean and controlled experimental settings. Physical realisations have, so far, dominantly focused on implementing irreversible patterning of the system, or interference techniques such as optical lattices of cold atoms. Here, we realise reprogrammable synthetic band-structure engineering in an all optical exciton-polariton lattice. We demonstrate polariton condensation into excited states of linear one-dimensional lattices, periodic rings, dimerised non-trivial topological phases, and defect modes utilising malleable optically imprinted non-Hermitian potential landscapes. The stable excited nature of the condensate lattice with strong interactions between sites results in an actively tuneable non-Hermitian analogue of the Su-Schrieffer-Heeger system.


title: TopRank+: A Refinement of TopRank Algorithm

abstract: Online learning to rank is a core problem in machine learning. In Lattimore et al. (2018), a novel online learning algorithm was proposed based on topological sorting. In the paper they provided a set of self-normalized inequalities (a) in the algorithm as a criterion in iterations and (b) to provide an upper bound for cumulative regret, which is a measure of algorithm performance. In this work, we utilized method of mixtures and asymptotic expansions of certain implicit function to provide a tighter, iterated-log-like boundary for the inequalities, and as a consequence improve both the algorithm itself as well as its performance estimation.


title: Curvature effects on phase transitions in chiral magnets

abstract: Periodical equilibrium states of magnetization exist in chiral ferromagnetic films, if the constant of antisymmetric exchange (Dzyaloshinskii-Moriya interaction) exceeds some critical value. Here, we demonstrate that this critical value can be significantly modified in curved film. The competition between symmetric and antisymmetric exchange interactions in a curved film can lead to a new type of domain wall which is inclined with respect to the cylinder axis. The wall structure is intermediate between Bloch and N\'eel ones. The exact analytical solutions for phase boundary curves and the new domain wall are obtained.


title: Gravity in the infrared and effective nonlocal models

abstract: We provide a systematic and updated discussion of a research line carried out by our group over the last few years, in which gravity is modified at cosmological distances by the introduction of nonlocal terms, assumed to emerge at an effective level from the infrared behavior of the quantum theory. The requirement of producing a viable cosmology turns out to be very stringent and basically selects a unique model, in which the nonlocal term describes an effective mass for the conformal mode. We discuss how such a specific structure could emerge from a fundamental local theory of gravity, and we perform a detailed comparison of this model with the most recent cosmological datasets, confirming that it fits current data at the same level as $\Lambda$CDM. Most notably, the model has striking predictions in the sector of tensor perturbations, leading to a very large effect in the propagation of gravitational wave (GWs) over cosmological distances. At the redshifts relevant for the next generation of GW detectors such as Einstein Telescope, Cosmic Explorer and LISA, this leads to deviations from GR that could be as large as $80\%$, and could be verified with the detection of just a single coalescing binary with electromagnetic counterpart. This would also have potentially important consequences for the search of the counterpart since, for a given luminosity distance to the source, as inferred through the GW signal, the actual source redshift could be significantly different from that predicted by $\Lambda$CDM. At the redshifts relevant for advanced LIGO/Virgo/Kagra the effect is smaller, but still potentially observable over a few years of runs at target sensitivity.


title: EdgeNets:Edge Varying Graph Neural Networks

abstract: Driven by the outstanding performance of neural networks in the structured Euclidean domain, recent years have seen a surge of interest in developing neural networks for graphs and data supported on graphs. The graph is leveraged at each layer of the neural network as a parameterization to capture detail at the node level with a reduced number of parameters and computational complexity. Following this rationale, this paper puts forth a general framework that unifies state-of-the-art graph neural networks (GNNs) through the concept of EdgeNet. An EdgeNet is a GNN architecture that allows different nodes to use different parameters to weigh the information of different neighbors. By extrapolating this strategy to more iterations between neighboring nodes, the EdgeNet learns edge- and neighbor-dependent weights to capture local detail. This is a general linear and local operation that a node can perform and encompasses under one formulation all existing graph convolutional neural networks (GCNNs) as well as graph attention networks (GATs). In writing different GNN architectures with a common language, EdgeNets highlight specific architecture advantages and limitations, while providing guidelines to improve their capacity without compromising their local implementation. An interesting conclusion is the unification of GCNNs and GATs -- approaches that have been so far perceived as separate. In particular, we show that GATs are GCNNs on a graph that is learned from the features. This particularization opens the doors to develop alternative attention mechanisms for improving discriminatory power.


title: rf-SQUID measurements of anomalous Josephson effect

abstract: We discuss the response of an rf-SQUID formed by anomalous Josephson junctions embedded in a superconducting ring with a non-negligible inductance. We demonstrate that a properly sweeping in-plane magnetic field can cause both the total flux and the current circulating in the device to modulate and to behave hysteretically. The bistable response of the system is analyzed as a function of the anomalous phase shift at different values of the screening parameter, in order to highlight the parameter range within which a hysteretic behavior can be observed. The magnetic flux piercing the SQUID ring is demonstrated to further modulate the hysteretical response of the system. Moreover, we show that the anomalous phase shift can be conveniently determined through the measurement of the out-of-plane magnetic field at which the device switches to the voltage state and the number of trapped flux quanta changes. Finally, we compare the response of two different device configurations, namely, a SQUID including only one or two anomalous junctions. In view of these results, the proposed device can be effectively used to detect and measure the anomalous Josephson effect.


title: Caching at Base Stations with Multi-Cluster Multicast Wireless Backhaul via Accelerated First-Order Algorithm

abstract: Cloud radio access network (C-RAN) has been recognized as a promising architecture for next-generation wireless systems to \textcolor{black}{support} the rapidly increasing demand for higher data rate. However, the performance of C-RAN is limited by the backhaul capacities, especially for the wireless deployment. While C-RAN with fixed BS caching has been demonstrated to reduce backhaul consumption, it is more challenging to further optimize the cache allocation at BSs with multi-cluster multicast backhaul, where the inter-cluster interference induces additional non-convexity to the cache optimization problem. Despite the challenges, we propose an accelerated first-order algorithm, which achieves much higher content downloading sum-rate than a second-order algorithm running for the same amount of time. Simulation results demonstrate that, by simultaneously delivering the required contents to different multicast clusters, the proposed algorithm achieves significantly higher downloading sum-rate than those of time-division single-cluster transmission schemes. Moreover, it is found that the proposed algorithm allocates larger cache sizes to the farther BSs within the nearer clusters, which provides insight to the superiority of the proposed cache allocation.


title: Understanding the stochastic partial differential equation approach to smoothing

abstract: Correlation and smoothness are terms used to describe a wide variety of random quantities. In time, space, and many other domains, they both imply the same idea: quantities that occur closer together are more similar than those further apart. Two popular statistical models that represent this idea are basis-penalty smoothers (Wood, 2017) and stochastic partial differential equations (SPDE) (Lindgren et al., 2011). In this paper, we discuss how the SPDE can be interpreted as a smoothing penalty and can be fitted using the R package mgcv, allowing practitioners with existing knowledge of smoothing penalties to better understand the implementation and theory behind the SPDE approach.


title: Clinical Prediction Models to Predict the Risk of Multiple Binary Outcomes: a comparison of approaches

abstract: Clinical prediction models (CPMs) are used to predict clinically relevant outcomes or events. Typically, prognostic CPMs are derived to predict the risk of a single future outcome. However, with rising emphasis on the prediction of multi-morbidity, there is growing need for CPMs to simultaneously predict risks for each of multiple future outcomes. A common approach to multi-outcome risk prediction is to derive a CPM for each outcome separately, then multiply the predicted risks. This approach is only valid if the outcomes are conditionally independent given the covariates, and it fails to exploit the potential relationships between the outcomes. This paper outlines several approaches that could be used to develop prognostic CPMs for multiple outcomes. We consider four methods, ranging in complexity and assumed conditional independence assumptions: namely, probabilistic classifier chain, multinomial logistic regression, multivariate logistic regression, and a Bayesian probit model. These are compared with methods that rely on conditional independence: separate univariate CPMs and stacked regression. Employing a simulation study and real-world example via the MIMIC-III database, we illustrate that CPMs for joint risk prediction of multiple outcomes should only be derived using methods that model the residual correlation between outcomes. In such a situation, our results suggest that probabilistic classification chains, multinomial logistic regression or the Bayesian probit model are all appropriate choices. We call into question the development of CPMs for each outcome in isolation when multiple correlated or structurally related outcomes are of interest and recommend more holistic risk prediction.


title: MonteCarloMeasurements.jl: Nonlinear Propagation of Arbitrary Multivariate Distributions by means of Method Overloading

abstract: This manuscript outlines a software package that facilitates working with probability distributions by means of Monte-Carlo methods, in a way that allows for propagation of multivariate probability distributions through arbitrary functions. We provide a \emph{type} that represents probability distributions by an internal vector of unweighted samples, \texttt{Particles}, which is a subtype of a \texttt{Real} number and behaves just like a regular real number in calculations by means of method overloading. This makes the software easy to work with and presents minimal friction for the user. We highlight how this design facilitates optimal usage of SIMD instructions and showcase the package for uncertainty propagation through an off-the-shelf ODE solver, as well as for robust probabilistic optimization with automatic differentiation.


title: PatchPerPix for Instance Segmentation

abstract: We present a novel method for proposal free instance segmentation that can handle sophisticated object shapes which span large parts of an image and form dense object clusters with crossovers. Our method is based on predicting dense local shape descriptors, which we assemble to form instances. All instances are assembled simultaneously in one go. To our knowledge, our method is the first non-iterative method that yields instances that are composed of learnt shape patches. We evaluate our method on a diverse range of data domains, where it defines the new state of the art on four benchmarks, namely the ISBI 2012 EM segmentation benchmark, the BBBC010 C. elegans dataset, and 2d as well as 3d fluorescence microscopy data of cell nuclei. We show furthermore that our method also applies to 3d light microscopy data of Drosophila neurons, which exhibit extreme cases of complex shape clusters


title: batchboost: regularization for stabilizing training with resistance to underfitting & overfitting

abstract: Overfitting & underfitting and stable training are an important challenges in machine learning. Current approaches for these issues are mixup, SamplePairing and BC learning. In our work, we state the hypothesis that mixing many images together can be more effective than just two. Batchboost pipeline has three stages: (a) pairing: method of selecting two samples. (b) mixing: how to create a new one from two samples. (c) feeding: combining mixed samples with new ones from dataset into batch (with ratio $\gamma$). Note that sample that appears in our batch propagates with subsequent iterations with less and less importance until the end of training. Pairing stage calculates the error per sample, sorts the samples and pairs with strategy: hardest with easiest one, than mixing stage merges two samples using mixup, $x_1 + (1-\lambda)x_2$. Finally, feeding stage combines new samples with mixed by ratio 1:1. Batchboost has 0.5-3% better accuracy than the current state-of-the-art mixup regularization on CIFAR-10 & Fashion-MNIST. Our method is slightly better than SamplePairing technique on small datasets (up to 5%). Batchboost provides stable training on not tuned parameters (like weight decay), thus its a good method to test performance of different architectures. Source code is at: https://github.com/maciejczyzewski/batchboost


title: Set Membership identification of linear systems with guaranteed simulation accuracy

abstract: The problem of model identification for linear systems is considered, using a finite set of sampled data affected by a bounded measurement noise, with unknown bound. The objective is to identify one-step-ahead models and their accuracy in terms of worst-case simulation error bounds. To do so, the Set Membership identification framework is exploited. Theoretical results are derived, allowing one to estimate the noise bound and system decay rate. Then, these quantities and the data are employed to define the Feasible Parameter Set (FPS), which contains all possible models compatible with the available information. Here, the estimated decay rate is used to refine the standard FPS formulation, by adding constraints that enforce the desired converging behavior of the models' impulse response. Moreover, guaranteed simulation error bounds for an infinite future horizon are derived, improving over recent results pertaining to finite simulation horizon only. These bounds are the basis for a result and method to guarantee asymptotic stability of the identified model. Finally, the desired one-step-ahead model is identified by means of numerical optimization, and the related simulation error bounds are evaluated. Both input-output and state-space model structures are addressed. The approach is showcased on a numerical example and on real-world experimental data of the roll rate dynamics of an autonomous glider.


title: Efficient Computation of the Magnetic Polarizability Tensor Spectral Signature using POD

abstract: Our interest lies in the identification of hidden conducting permeable objects from measurements of the perturbed magnetic field in metal detection taken over range of low frequencies. The magnetic polarizability tensor (MPT) provides a characterisation of a conducting permeable object using a small number of coefficients, has explicit formula for their calculation and a well understood frequency behaviour, which we call its spectral signature. However, to compute such signatures, and build a library of them for object classification, requires repeated solution of a direct (full order) problem, which is typically accomplished using a finite element discretisation. To overcome this issue, we propose an efficient reduced order model (ROM) using a proper orthogonal decomposition (POD) for the rapid computation of MPT spectral signatures. Our ROM benefits from output certificates, which give bounds on the accuracy of the predicted outputs with respect to the full order model solutions. To further increase the efficiency of the computation of the MPT spectral signature, we provide scaling results, which enable an immediate calculation of the signature under changes in the object size or conductivity. We illustrate our approach by application to a range of homogenous and inhomogeneous conducting permeable objects.


title: Why Does Cultural Diversity Foster Technology-enabled Intergenerational Collaboration?

abstract: Globalization and information technology enable people to join the movement of global citizenship and work without borders. However, different type of barriers existed that could affect collaboration in todays work environment, in which different generations are involved. Although researchers have identified several technical barriers to intergenerational collaboration (iGOAL), the influence of cultural diversity on iGOAL has rarely been studied. Therefore, using a quantitative study approach, this paper investigates the impact of differences in cultural background on perceived technical and operational barriers to iGOAL. Our study reveals six barriers to IGC that are perceived differently by culturally diverse people (CDP) and non-CDP. Furthermore, CDP can foster IGC because CDP consider the barriers to be of less of a reason to avoid working with different generations than do non-CDP.


title: HRFA: High-Resolution Feature-based Attack

abstract: Adversarial attacks have long been developed for revealing the vulnerability of Deep Neural Networks (DNNs) by adding imperceptible perturbations to the input. Most methods generate perturbations like normal noise, which is not interpretable and without semantic meaning. In this paper, we propose High-Resolution Feature-based Attack (HRFA), yielding authentic adversarial examples with up to $1024 \times 1024$ resolution. HRFA exerts attack by modifying the latent feature representation of the image, i.e., the gradients back propagate not only through the victim DNN, but also through the generative model that maps the feature space to the image space. In this way, HRFA generates adversarial examples that are in high-resolution, realistic, noise-free, and hence is able to evade several denoising-based defenses. In the experiment, the effectiveness of HRFA is validated by attacking the object classification and face verification tasks with BigGAN and StyleGAN, respectively. The advantages of HRFA are verified from the high quality, high authenticity, and high attack success rate faced with defenses.


title: Structure of $\mathbb{A}^2$-fibrations Having Fixed Point Free Locally Nilpotent Derivations

abstract: In this article, we show that a fixed point free locally nilpotent derivation of an $\mathbb{A}^2$-fibration over a Noetherian ring containing $\mathbb{Q}$ has slice.


title: The signature of primordial black holes in the dark matter halos of galaxies

abstract: The aim of this paper is to investigate the claim that stars in the lensing galaxy of a gravitationally lensed quasar system can always account for the observed microlensing of the individual quasar images. A small sample of gravitationally lensed quasar systems was chosen where the quasar images appear to lie on the fringe of the stellar distribution of the lensing galaxy. As with most quasar systems, all the individual quasar images were observed to be microlensed. The surface brightness of the lensing galaxy at the positions of the quasar images was measured from HST frames, and converted to stellar surface mass density. The surface density of smoothly distributed dark matter at the image positions was obtained from lensing models of the quasar systems and applied to the stellar surface mass density to give the optical depth to microlensing. This was then used to assess the probability that the stars in the lensing galaxy could be responsible for the observed microlensing. The results were supported by microlensing simulations of the star fields around the quasar images combined with values of convergence and shear from the lensing models. Taken together, the probability that all the observed microlensing is due to stars was found to be ~0.0003. Errors resulting from surface brightness measurement, mass-to-light ratio and the contribution of the dark matter halo do not significantly affect this result. It is argued that the most plausible candidates for the microlenses are primordial black holes, either in the dark matter halos of the lensing galaxies, or more generally distributed along the lines of sight to the quasars.


title: On singular equations over torsion-free groups

abstract: We prove a Freiheitssatz for one-relator products of torsion-free groups, where the relator has syllable length at most 8. This result has applications to equations over torsion-free groups: in particular a singular equation of syllable length at most 18 over a torsion-free group has a solution in some overgroup.


title: Early steps in the formation of the interface between organic molecular semiconductors and metals: a computational approach

abstract: A computational approach for predictive simulations of the nanoscale morphology in the early steps of the formation of the interface between metals and organic molecular semiconductors is presented. Despite the relevance of the metal-molecule junction for the development of electronic applications, structural details at the interface are often difficult to assess. Our approach, based on the integration of density functional theory with methods for the simulation of growth dynamics, allows to unravel the structural details of the formation of gold aggregates onto molecular materials. Simulations are applied to investigations of the initial steps in the formation of gold clusters at the interface with prototypical p-type and n-type organic molecular semiconductors. Results show a striking correlation between the morphology of the metal-organic interface, the details of the molecular structure and the peculiar metal-molecule interaction, also highlighting the role of fabrication conditions.


title: Mobility Inference on Long-Tailed Sparse Trajectory

abstract: Analyzing the urban trajectory in cities has become an important topic in data mining. How can we model the human mobility consisting of stay and travel from the raw trajectory data? How can we infer such a mobility model from the single trajectory information? How can we further generalize the mobility inference to accommodate the real-world trajectory data that is sparsely sampled over time? In this paper, based on formal and rigid definitions of the stay/travel mobility, we propose a single trajectory inference algorithm that utilizes a generic long-tailed sparsity pattern in the large-scale trajectory data. The algorithm guarantees a 100\% precision in the stay/travel inference with a provable lower-bound in the recall. Furthermore, we introduce an encoder-decoder learning architecture that admits multiple trajectories as inputs. The architecture is optimized for the mobility inference problem through customized embedding and learning mechanism. Evaluations with three trajectory data sets of 40 million urban users validate the performance guarantees of the proposed inference algorithm and demonstrate the superiority of our deep learning model, in comparison to well-known sequence learning methods. On extremely sparse trajectories, the deep learning model achieves a 2$\times$ overall accuracy improvement from the single trajectory inference algorithm, through proven scalability and generalizability to large-scale versatile training data.


title: Gravitational waves from neutrino mass and dark matter genesis

abstract: We introduce a model in which the genesis of dark matter (DM) and neutrino masses is associated with a first order phase transition of a scalar singlet field. During the phase transition a source right-handed neutrino (RHN) acquires a spacetime-dependent mass dynamically, a small fraction of which is converted via resonant oscillations into a very weakly mixed dark RHN which decays to a dark matter RHN with the observed relic abundance. Neutrino masses are generated via a traditional two RHN type-I seesaw between a fourth RHN and the source neutrino. The gravitational waves produced during the phase transition have a peak frequency that increases with the DM mass, and are detectable at future gravitational wave interferometers for DM masses above ~ 1 MeV. Since the source RHNs are heavier than the electroweak scale, successful leptogenesis is also attainable.


title: Tensor supercurrent in QCD

abstract: An external Abelian magnetic field excites in the QCD vacuum a tensor supercurrent that represents the tensor polarization of the chiral condensate. This tensor supercurrent can be deduced from the chiral lagrangian in the presence of anomalies; a similar tensor supercurrent emerges in rotating systems at finite chemical potential. We discuss the microscopic origin of this supercurrent and argue that it screens the instanton--anti-instanton $I\bar{I}$ molecules in the QCD vacuum, similarly to the vector supercurrent screening Abrikosov vortices in a superconductor. A number of possible experimental manifestations of the tensor supercurrent are discussed: {\it i}) spin alignment of axial-vector and vector mesons in heavy ion collisions; {\it ii}) tensor charge of the nucleon; {\it iii}) transversity of quark distributions in polarized nucleons.


title: Determining the glue component of the nucleon

abstract: Computing the gluon component of momentum in the nucleon is a difficult and computationally expensive problem, as the matrix element involves a quark-line-disconnected gluon operator which suffers from ultra-violet fluctuations. But also necessary for a successful determination is the non-perturbative renormalisation of this operator. As a first step we investigate here this renormalisation in the RI-MOM scheme. Using quenched QCD as an example, a statistical signal is obtained in a direct calculation using an adaption of the Feynman-Hellmann technique.


title: Differential cohomotopy versus differential cohomology for M-theory and differential lifts of Postnikov towers

abstract: We compare the description of the M-theory form fields via cohomotopy versus that via integral cohomology. The conditions for lifting the latter to the former are identified using obstruction theory in the form of Postnikov towers, where torsion plays a central role. A subset of these conditions is shown to correspond compatibly to existing consistency conditions, while the rest are new and point to further consistency requirements for M-theory. Bringing in the geometry leads to a differential refinement of the Postnikov tower, which should be of independent interest. This provides another confirmation that cohomotopy is the proper generalized cohomology theory to describe these fields.


title: Deceptive AI Explanations: Creation and Detection

abstract: Artificial intelligence (AI) comes with great opportunities but can also pose significant risks. Automatically generated explanations for decisions can increase transparency and foster trust, especially for systems based on automated predictions by AI models. However, given, e.g., economic incentives to create dishonest AI, to what extent can we trust explanations? To address this issue, our work investigates how AI models (i.e., deep learning, and existing instruments to increase transparency regarding AI decisions) can be used to create and detect deceptive explanations. As an empirical evaluation, we focus on text classification and alter the explanations generated by GradCAM, a well-established explanation technique in neural networks. Then, we evaluate the effect of deceptive explanations on users in an experiment with 200 participants. Our findings confirm that deceptive explanations can indeed fool humans. However, one can deploy machine learning (ML) methods to detect seemingly minor deception attempts with accuracy exceeding 80% given sufficient domain knowledge. Without domain knowledge, one can still infer inconsistencies in the explanations in an unsupervised manner, given basic knowledge of the predictive model under scrutiny.


title: Bipartite Perfect Matching as a Real Polynomial

abstract: We obtain a description of the Bipartite Perfect Matching decision problem as a multilinear polynomial over the Reals. We show that it has full degree and $(1-o_n(1))\cdot 2^{n^2}$ monomials with non-zero coefficients. In contrast, we show that in the dual representation (switching the roles of 0 and 1) the number of monomials is only exponential in $\Theta(n \log n)$. Our proof relies heavily on the fact that the lattice of graphs which are "matching-covered" is Eulerian.


title: Bound states in ultrastrong waveguide QED

abstract: We discuss the properties of bound states in finite-bandwidth waveguide QED beyond the Rotating Wave Approximation or excitation number conserving light-matter coupling models. Therefore, we extend the \emph{standard} calculations to a broader range of light-matter strengths, in particular, in the so-called ultrastrong coupling regime. We do this using the Polaron technique. Our main results are as follows. We compute the spontaneous emission rate, which is renormalized as compared to the Fermi Golden Rule formula. We generalise the existence criteria for bound states, their properties and their role in the qubits thermalization. We discuss effective spin-spin interactions through both vacuum fluctuations and bound states. Finally, we sketch a perfect state-transfer protocol among distant emitters.


title: Towards Flexible Wireless Charging for Medical Implants Using Distributed Antenna System

abstract: This paper presents the design, implementation and evaluation of In-N-Out, a software-hardware solution for far-field wireless power transfer. In-N-Out can continuously charge a medical implant residing in deep tissues at near-optimal beamforming power, even when the implant moves around inside the human body. To accomplish this, we exploit the unique energy ball pattern of distributed antenna array and devise a backscatter-assisted beamforming algorithm that can concentrate RF energy on a tiny spot surrounding the medical implant. Meanwhile, the power levels on other body parts stay in low level, reducing the risk of overheating. We prototype In-N-Out on 21 software-defined radios and a printed circuit board (PCB). Extensive experiments demonstrate that In-N-Out achieves 0.37~mW average charging power inside a 10~cm-thick pork belly, which is sufficient to wirelessly power a range of commercial medical devices. Our head-to-head comparison with the state-of-the-art approach shows that In-N-Out achieves 5.4$\times$--18.1$\times$ power gain when the implant is stationary, and 5.3$\times$--7.4$\times$ power gain when the implant is in motion.


title: SAUNet: Shape Attentive U-Net for Interpretable Medical Image Segmentation

abstract: Medical image segmentation is a difficult but important task for many clinical operations such as cardiac bi-ventricular volume estimation. More recently, there has been a shift to utilizing deep learning and fully convolutional neural networks (CNNs) to perform image segmentation that has yielded state-of-the-art results in many public benchmark datasets. Despite the progress of deep learning in medical image segmentation, standard CNNs are still not fully adopted in clinical settings as they lack robustness and interpretability. Shapes are generally more meaningful features than solely textures of images, which are features regular CNNs learn, causing a lack of robustness. Likewise, previous works surrounding model interpretability have been focused on post hoc gradient-based saliency methods. However, gradient-based saliency methods typically require additional computations post hoc and have been shown to be unreliable for interpretability. Thus, we present a new architecture called Shape Attentive U-Net (SAUNet) which focuses on model interpretability and robustness. The proposed architecture attempts to address these limitations by the use of a secondary shape stream that captures rich shape-dependent information in parallel with the regular texture stream. Furthermore, we suggest multi-resolution saliency maps can be learned using our dual-attention decoder module which allows for multi-level interpretability and mitigates the need for additional computations post hoc. Our method also achieves state-of-the-art results on the two large public cardiac MRI image segmentation datasets of SUN09 and AC17.


title: How Fast You Can Actually Fly: A Comparative Investigation of Flight Airborne Time in China and the U.S

abstract: Actual airborne time (AAT) is the time between wheels-off and wheels-on of a flight. Understanding the behavior of AAT is increasingly important given the ever growing demand for air travel and flight delays becoming more rampant. As no research on AAT exists, this paper performs the first empirical analysis of AAT behavior, comparatively for the U.S. and China. The focus is on how AAT is affected by scheduled block time (SBT), origin-destination (OD) distance, and the possible pressure to reduce AAT from other parts of flight operations. Multiple econometric models are developed. The estimation results show that in both countries AAT is highly correlated with SBT and OD distance. Flights in the U.S. are faster than in China. On the other hand, facing ground delay prior to takeoff, a flight has limited capability to speed up. The pressure from short turnaround time after landing to reduce AAT is immaterial. Sensitivity analysis of AAT to flight length and aircraft utilization is further conducted. Given the more abundant airspace, flexible routing networks, and efficient ATFM procedures, a counterfactual that the AAT behavior in the U.S. were adopted in China is examined. We find that by doing so significant efficiency gains could be achieved in the Chinese air traffic system. On average, 11.8 minutes of AAT per flight would be saved, coming from both reduction in SBT and reduction in AAT relative to the new SBT. Systemwide fuel saving would amount to over 300 million gallons with direct airline operating cost saving of nearly $1.3 billion nationwide in 2016.