title: BlockNet Report: Exploring the Blockchain Skills Concept and Best Practice Use Cases

abstract: In order to explore the practical potential and needs of interdisciplinary knowledge and competence requirements of Blockchain technology, the project activity "Development of Interdisciplinary Blockchain Skills Concept" starts with the literature review identifying the state of the art of Blockchain in Supply Chain Management and Logistics, Business and Finance, as well as Computer Science and IT-Security. The project activity further explores the academic and industry landscape of existing initiatives in education which offer Blockchain courses. Moreover, job descriptions and adverts are analyzed in order to specify today's competence requirements from enterprises. To discuss and define the future required competence, expert workshops are organized to validate the findings by academic experts. Based on the research outcome and validation, an interdisciplinary approach for Blockchain competence is developed. A second part focuses on the development of the Blockchain Best Practices activity while conducting qualitative empirical research based on case studies with industry representatives. Therefore, company interviews, based on the theoretical basis of Output 1, explore existing Blockchain use cases in different sectors. Due to the interdisciplinary importance of Blockchain technology, these skills will be defined by different perspectives of Blockchain from across multiple mentioned disciplines. The use cases and companies for the interviews will be selected based on various sampling criteria to gain results valid for a broad scale. The analysis of the various use cases will be conducted and defined in a standardized format to identify the key drivers and competence requirements for Blockchain technology applications and their adoption. On the one hand, this approach ensures comparability, on the other hand, it facilitates the development of a structured and systematic framework.


title: Towards advancing the earthquake forecasting by machine learning of satellite data

abstract: Amongst the available technologies for earthquake research, remote sensing has been commonly used due to its unique features such as fast imaging and wide image-acquisition range. Nevertheless, early studies on pre-earthquake and remote-sensing anomalies are mostly oriented towards anomaly identification and analysis of a single physical parameter. Many analyses are based on singular events, which provide a lack of understanding of this complex natural phenomenon because usually, the earthquake signals are hidden in the environmental noise. The universality of such analysis still is not being demonstrated on a worldwide scale. In this paper, we investigate physical and dynamic changes of seismic data and thereby develop a novel machine learning method, namely Inverse Boosting Pruning Trees (IBPT), to issue short-term forecast based on the satellite data of 1,371 earthquakes of magnitude six or above due to their impact on the environment. We have analyzed and compared our proposed framework against several states of the art machine learning methods using ten different infrared and hyperspectral measurements collected between 2006 and 2013. Our proposed method outperforms all the six selected baselines and shows a strong capability in improving the likelihood of earthquake forecasting across different earthquake databases.

categories: physics.geo-ph astro-ph.EP astro-ph.IM cs.LG


title: Bipartisan politics and poverty as a risk factor for contagion and mortality from SARS-CoV-2 virus in the United States of America

abstract: In the United States, from the start of the COVID-19 pandemic to December 31, 2020, 341,199 deaths and more than 19,663,976 infections were recorded. Recent literature establishes that communities with poverty-related health problems, such as obesity, cardiovascular disease, diabetes, and hypertension, are more susceptible to mortality from SARS-CoV-2 infection. Additionally, controversial public health policies implemented by the nation's political leaders have highlighted the socioeconomic inequalities of minorities. Therefore, through multivariate correlational analysis using machine learning techniques and structural equations, we measure whether social determinants are associated with increased infection and death from COVID-19 disease. The PLS least squares regression analysis allowed identifying a significant impact between social determinants and COVID-19 disease through a predictive value of R2 = .916, \b{eta} = .836, p =. 000 (t-value = 66,137) shows that for each unit of increase in social determinants, COVID-19 disease increases by 91.6%. The clustering index used for correlational analysis generated a new data set comprising three groups: C1 Republicans, C2 and C3 Democrats from California, New York, Texas, and Florida. This analysis made it possible to identify the poverty variable as the main risk factor related to the high rates of infection in Republican states and a high positive correlation between the population not insured with a medical plan and high levels of virus contagion in the states of group C3. These findings explain the argument that poverty and lack of economic security put the public or private health system at risk and calamity.


title: New decay rates for a Cauchy thermelastic laminated Timoshenko problem with interfacial slip under Fourier or Cattaneo laws

abstract: The objective of the present paper is to investigate the decay of solutions for a laminated Timoshenko beam with interfacial slip in the whole space R subject to a thermal effect acting only on one component modelled by either Fourier or Cattaneo law. When the thermal effect is acting via the second or third component of the laminated Timoshenko beam (rotation angle displacement or dynamic of the slip), we obtain that both systems, Timoshenko-Fourier and Timoshenko-Cattaneo systems, satisfy the same polynomial stability estimates in the L2 -norm of the solution and its higher order derivatives with respect of the space variable. The decay rate depends on the regularity of the initial data. In addition, the presence and absence of the regularity-loss type property are determined by some relations between the parameters of systems. However, when the thermal effect is acting via the first comoponent of the system (transversal displacement), a new stability condition is introduced for both TimoshenkoFourier and Timoshenko-Cattaneo systems. This stability condition is in the form of threshold between polynomial stability and convergence to zero. To prove our results, we use the energy method in Fourier space combined with judicious choices of weight functions to build appropriate Lyapunov functionals.


title: Ordinal and cardinal solution concepts for two-sided matching

abstract: We characterize solutions for two-sided matching, both in the transferable and in the nontransferable-utility frameworks, using a cardinal formulation. Our approach makes the comparison of the matching models with and without transfers particularly transparent. We introduce the concept of a no-trade matching to study the role of transfers in matching. A no-trade matching is one in which the availability of transfers do not affect the outcome.


title: The Landscape of Multi-Layer Linear Neural Network From the Perspective of Algebraic Geometry

abstract: The clear understanding of the non-convex landscape of neural network is a complex incomplete problem. This paper studies the landscape of linear (residual) network, the simplified version of the nonlinear network. By treating the gradient equations as polynomial equations, we use algebraic geometry tools to solve it over the complex number field, the attained solution can be decomposed into different irreducible complex geometry objects. Then three hypotheses are proposed, involving how to calculate the loss on each irreducible geometry object, the losses of critical points have a certain range and the relationship between the dimension of each irreducible geometry object and strict saddle condition. Finally, numerical algebraic geometry is applied to verify the rationality of these three hypotheses which further clarify the landscape of linear network and the role of residual connection.


title: Incorporating point defect generation due to jog formation into the vector density-based continuum dislocation dynamics approach

abstract: During plastic deformation of crystalline materials, point defects such as vacancies and interstitials are generated by jogs on moving dislocations. A detailed model for jog formation and transport during plastic deformation was developed within the vector density-based continuum dislocation dynamics framework (Lin and El-Azab, 2020; Xia and El-Azab, 2015). As a part of this model, point defect generation associated with jog transport was formulated in terms of the volume change due to the non-conservative motion of jogs. Balance equations for the vacancies and interstitials including their rate of generation due to jog transport were also formulated. A two-way coupling between point defects and dislocation dynamics was then completed by including the stress contributed by the eigen-strain of point defects. A jog drag stress was further introduced into the mobility law of dislocations to account for the energy dissipation during point defects generation. A number of test problems and a fully coupled simulation of dislocation dynamics and point defect generation and diffusion were performed. The results show that there is an asymmetry of vacancy and interstitial generation due to the different formation energies of the two types of defects. The results also show that a higher hardening rate and a higher dislocation density are obtained when the point defect generation mechanism is coupled to dislocation dynamics.


title: A full complexity dichotomy for immanant families

abstract: Given an integer $n\geq 1$ and an irreducible character $\chi_{\lambda}$ of $S_{n}$ for some partition $\lambda$ of $n$, the immanant $\mathrm{imm}_{\lambda}:\mathbb{C}^{n\times n}\to\mathbb{C}$ maps matrices $A\in\mathbb{C}^{n\times n}$ to $\mathrm{imm}_{\lambda}(A)=\sum_{\pi\in S_{n}}\chi_{\lambda}(\pi)\prod_{i=1}^{n}A_{i,\pi(i)}$. Important special cases include the determinant and permanent, which are the immanants associated with the sign and trivial character, respectively. It is known that immanants can be evaluated in polynomial time for characters that are close to the sign character: Given a partition $\lambda$ of $n$ with $s$ parts, let $b(\lambda):=n-s$ count the boxes to the right of the first column in the Young diagram of $\lambda$. For a family of partitions $\Lambda$, let $b(\Lambda):=\max_{\lambda\in\Lambda}b(\lambda)$ and write Imm$(\Lambda)$ for the problem of evaluating $\mathrm{imm}_{\lambda}(A)$ on input $A$ and $\lambda\in\Lambda$. If $b(\Lambda)<\infty$, then Imm$(\Lambda)$ is known to be polynomial-time computable. This subsumes the case of the determinant. On the other hand, if $b(\Lambda)=\infty$, then previously known hardness results suggest that Imm$(\Lambda)$ cannot be solved in polynomial time. However, these results only address certain restricted classes of families $\Lambda$. In this paper, we show that the parameterized complexity assumption FPT $\neq$ #W[1] rules out polynomial-time algorithms for Imm$(\Lambda)$ for any computationally reasonable family of partitions $\Lambda$ with $b(\Lambda)=\infty$. We give an analogous result in algebraic complexity under the assumption VFPT $\neq$ VW[1]. Furthermore, if $b(\lambda)$ even grows polynomially in $\Lambda$, we show that Imm$(\Lambda)$ is hard for #P and VNP. This concludes a series of partial results on the complexity of immanants obtained over the last 35 years.


title: Learned Camera Gain and Exposure Control for Improved Visual Feature Detection and Matching

abstract: Successful visual navigation depends upon capturing images that contain sufficient useful information. In this letter, we explore a data-driven approach to account for environmental lighting changes, improving the quality of images for use in visual odometry (VO) or visual simultaneous localization and mapping (SLAM). We train a deep convolutional neural network model to predictively adjust camera gain and exposure time parameters such that consecutive images contain a maximal number of matchable features. The training process is fully self-supervised: our training signal is derived from an underlying VO or SLAM pipeline and, as a result, the model is optimized to perform well with that specific pipeline. We demonstrate through extensive real-world experiments that our network can anticipate and compensate for dramatic lighting changes (e.g., transitions into and out of road tunnels), maintaining a substantially higher number of inlier feature matches than competing camera parameter control algorithms.


title: The Limits of Computation in Solving Equity Trade-Offs in Machine Learning and Justice System Risk Assessment

abstract: This paper explores how different ideas of racial equity in machine learning, in justice settings in particular, can present trade-offs that are difficult to solve computationally. Machine learning is often used in justice settings to create risk assessments, which are used to determine interventions, resources, and punitive actions. Overall aspects and performance of these machine learning-based tools, such as distributions of scores, outcome rates by levels, and the frequency of false positives and true positives, can be problematic when examined by racial group. Models that produce different distributions of scores or produce a different relationship between level and outcome are problematic when those scores and levels are directly linked to the restriction of individual liberty and to the broader context of racial inequity. While computation can help highlight these aspects, data and computation are unlikely to solve them. This paper explores where values and mission might have to fill the spaces computation leaves.


title: Axisymmetric dynamo action produced by differential rotation, with anisotropic electrical conductivity and anisotropic magnetic permeability

abstract: The effect on dynamo action of an anisotropic electrical conductivity conjugated to an anisotropic magnetic permeability is considered. Not only is the dynamo fully axisymmetric, but it requires only a simple differential rotation, which twice challenges the well-established dynamo theory. Stability analysis is conducted entirely analytically, leading to an explicit expression of the dynamo threshold. The results show a competition between the anisotropy of electrical conductivity and that of magnetic permeability, the dynamo effect becoming impossible if the two anisotropies are identical. For isotropic electrical conductivity, Cowling's neutral point argument does imply the absence of an azimuthal component of current density, but does not prevent the dynamo effect as long as the magnetic permeability is anisotropic.


title: Calculation of Hawking Radiation in Local Field Theory

abstract: Hawking radiation of the blackhole is calculated based on the principle of local field theory. In our approach, the radiation is a unitary process, therefore no information loss will be recorded. In fact, observers in different regions of the space communicate using the Hawking radiation, when the systems in the different regions are entangled with each other. The entanglement entropy of the blackhole is also calculated in the local field theory. We found that the entanglement entropy of the systems separated by the blackhole horizon is closely connected to the Hawking radiation in our approach. Our calculation shows that the entanglement entropy of the systems separated by the horizon of a blackhole is just a pure number $\frac{\pi^3 + 270 \zeta(3)}{360 \pi^2}$, independent of any parameter of the blackhole, and its relation to the Hawking radiation is given by $S_{EE} = \frac{8 \pi}{3} \frac{\pi^3 + 270 \zeta(3)}{\pi^3 + 240 \zeta(3)} {\cal A} R_H$, where $S_{EE}$ is the entanglement entropy, $\cal A$ is the area of the horizon, and $R_H$ is the Hawking radiation.


title: Magnetized Kerr-Taub-NUT spacetime and Kerr/CFT correspondence

abstract: We present a new solution in Einstein-Maxwell theory which can be considered as the magnetized version of Kerr-Taub-NUT solution. Some properties of the spacetime are discussed. We also compute the entropy of extremal black hole in the spacetime by using the Kerr/CFT correspondence approach.


title: Learning-based WiFi Traffic Load Estimation in NR-U Systems

abstract: The unlicensed spectrum has been utilized to make up the shortage on frequency spectrum in new radio (NR) systems. To fully exploit the advantages brought by the unlicensed bands, one of the key issues is to guarantee the fair coexistence with WiFi systems. To reach this goal, timely and accurate estimation on the WiFi traffic loads is an important prerequisite. In this paper, a machine learning (ML) based method is proposed to detect the number of WiFi users on the unlicensed bands. An unsupervised Neural Network (NN) structure is applied to filter the detected transmission collision probability on the unlicensed spectrum, which enables the NR users to precisely rectify the measurement error and estimate the number of active WiFi users. Moreover, NN is trained online and the related parameters and learning rate of NN are jointly optimized to estimate the number of WiFi users adaptively with high accuracy. Simulation results demonstrate that compared with the conventional Kalman Filter based detection mechanism, the proposed approach has lower complexity and can achieve a more stable and accurate estimation.


title: On a solution of a fractional hyper-Bessel differential equation by means of a multi-index special function

abstract: In this paper, we introduce a new multiple-parameters (multi-index) extension of the Wright function that arises from an eigenvalue problem for a case of hyper-Bessel operator involving Caputo fractional derivatives. We show that by giving particular values to the parameters involved in this special function, this leads to some known special functions (as the classical Wright function, the $\alpha$-Mittag-Leffer function, the Tricomi function, etc.) that on their turn appear as cases of the so-called multi-index Mittag-Leffer functions. As an application, we mention that this new generalization Wright function is an isochronous solution of a nonlinear fractional partial differential equation.


title: Semi-Streaming Algorithms for Submodular Matroid Intersection

abstract: While the basic greedy algorithm gives a semi-streaming algorithm with an approximation guarantee of $2$ for the \emph{unweighted} matching problem, it was only recently that Paz and Schwartzman obtained an analogous result for weighted instances. Their approach is based on the versatile local ratio technique and also applies to generalizations such as weighted hypergraph matchings. However, the framework for the analysis fails for the related problem of weighted matroid intersection and as a result the approximation guarantee for weighted instances did not match the factor $2$ achieved by the greedy algorithm for unweighted instances. Our main result closes this gap by developing a semi-streaming algorithm with an approximation guarantee of $2+\epsilon$ for \emph{weighted} matroid intersection, improving upon the previous best guarantee of $4+\epsilon$. Our techniques also allow us to generalize recent results by Levin and Wajc on submodular maximization subject to matching constraints to that of matroid-intersection constraints. While our algorithm is an adaptation of the local ratio technique used in previous works, the analysis deviates significantly and relies on structural properties of matroid intersection, called kernels. Finally, we also conjecture that our algorithm gives a $(k+\epsilon)$ approximation for the intersection of $k$ matroids but prove that new tools are needed in the analysis as the used structural properties fail for $k\geq 3$.


title: A Theoretical Answer to "Does the IRC-SINR of an Interference Rejection Combiner always Increase with an Increase in Number of Receive Antennas?"

abstract: Interference rejection combiners (IRCs) are very popular in 4G/5G systems. In particular, they are often times used in co-ordinated multi-point (CoMP) networks where the antennas of a neighboring cell's base station (BS) are used in an IRC receiver, in conjunction with the antennas of the BS of a cell-edge UE's own cell, to improve the IRC-SINR of a cell-edge user. But does the IRC-SINR always increase with an increase in the number of antennas? In this paper, we attempt to answer the question theoretically. We give a theoretical derivation that quantifies the improvement in the IRC-SINR when the number of antennas increases by unity. We show that this improvement in IRC-SINR is always greater than or equal to zero. Thus we prove that increasing the number of antennas even by unity will always improve the IRC-SINR. Selecting the extra antennas of the neighbouring cell can be viewed as a special case of antenna selection described in [1]. We also present the IRC-SINR improvement in an uplink CoMP scenario by simulations and verify that it indeed matches with the theoretical gains derived in this paper.


title: Graph Traversal with Tensor Functionals: A Meta-Algorithm for Scalable Learning

abstract: Graph Representation Learning (GRL) methods have impacted fields from chemistry to social science. However, their algorithmic implementations are specialized to specific use-cases e.g.message passing methods are run differently from node embedding ones. Despite their apparent differences, all these methods utilize the graph structure, and therefore, their learning can be approximated with stochastic graph traversals. We propose Graph Traversal via Tensor Functionals(GTTF), a unifying meta-algorithm framework for easing the implementation of diverse graph algorithms and enabling transparent and efficient scaling to large graphs. GTTF is founded upon a data structure (stored as a sparse tensor) and a stochastic graph traversal algorithm (described using tensor operations). The algorithm is a functional that accept two functions, and can be specialized to obtain a variety of GRL models and objectives, simply by changing those two functions. We show for a wide class of methods, our algorithm learns in an unbiased fashion and, in expectation, approximates the learning as if the specialized implementations were run directly. With these capabilities, we scale otherwise non-scalable methods to set state-of-the-art on large graph datasets while being more efficient than existing GRL libraries - with only a handful of lines of code for each method specialization. GTTF and its various GRL implementations are on: https://github.com/isi-usc-edu/gttf.


title: Generating Fake Cyber Threat Intelligence Using Transformer-Based Models

abstract: Cyber-defense systems are being developed to automatically ingest Cyber Threat Intelligence (CTI) that contains semi-structured data and/or text to populate knowledge graphs. A potential risk is that fake CTI can be generated and spread through Open-Source Intelligence (OSINT) communities or on the Web to effect a data poisoning attack on these systems. Adversaries can use fake CTI examples as training input to subvert cyber defense systems, forcing the model to learn incorrect inputs to serve their malicious needs. In this paper, we automatically generate fake CTI text descriptions using transformers. We show that given an initial prompt sentence, a public language model like GPT-2 with fine-tuning, can generate plausible CTI text with the ability of corrupting cyber-defense systems. We utilize the generated fake CTI text to perform a data poisoning attack on a Cybersecurity Knowledge Graph (CKG) and a cybersecurity corpus. The poisoning attack introduced adverse impacts such as returning incorrect reasoning outputs, representation poisoning, and corruption of other dependent AI-based cyber defense systems. We evaluate with traditional approaches and conduct a human evaluation study with cybersecurity professionals and threat hunters. Based on the study, professional threat hunters were equally likely to consider our fake generated CTI as true.


title: Using the sample variance of 21cm maps as a tracer of the ionisation topology

abstract: Intensity mapping of the 21cm signal of neutral hydrogen will yield exciting insights into the Epoch of Reionisation and the nature of the first galaxies. However, the large amount of data that will be generated by the next generation of radio telescopes, such as the Square Kilometre Array (SKA), as well as the numerous observational obstacles to overcome, require analysis techniques tuned to extract the reionisation history and morphology. In this context, we introduce a one-point statistic, to which we refer as the local variance, $\sigma_\mathrm{loc}$, that describes the distribution of the mean differential 21cm brightness temperatures measured in two-dimensional maps along the frequency direction of a light-cone. The local variance takes advantage of what is usually considered an observational bias, the sample variance. We find the redshift-evolution of the local variance to not only probe the reionisation history of the observed patches of the sky, but also trace the ionisation morphology. This estimator provides a promising tool to constrain the midpoint of reionisation as well as gaining insight into the ionising properties of early galaxies.


title: Unlocking Pixels for Reinforcement Learning via Implicit Attention

abstract: There has recently been significant interest in training reinforcement learning (RL) agents in vision-based environments. This poses many challenges, such as high dimensionality and the potential for observational overfitting through spurious correlations. A promising approach to solve both of these problems is an attention bottleneck, which provides a simple and effective framework for learning high performing policies, even in the presence of distractions. However, due to poor scalability of attention architectures, these methods cannot be applied beyond low resolution visual inputs, using large patches (thus small attention matrices). In this paper we make use of new efficient attention algorithms, recently shown to be highly effective for Transformers, and demonstrate that these techniques can be successfully adopted for the RL setting. This allows our attention-based controllers to scale to larger visual inputs, and facilitate the use of smaller patches, even individual pixels, improving generalization. We show this on a range of tasks from the Distracting Control Suite to vision-based quadruped robots locomotion. We provide rigorous theoretical analysis of the proposed algorithm.


title: Untilting Line Bundles on Perfectoid Spaces

abstract: Let $X$ be a perfectoid space with tilt $X^\flat$. We construct a canonical map $\theta:\operatorname{Pic} X^\flat\to\lim\operatorname{Pic} X$ where the (inverse) limit is taken over the $p$-power map, and show that $\theta$ is an isomorphism if $R = \Gamma(X,\mathscr{O}_X)$ is a perfectoid ring. As a consequence we obtain a characterization of when the Picard groups of $X$ and $X^\flat$ agree in terms of the $p$-divisibility of $\operatorname{Pic} X$. The main technical ingredient is the vanishing of higher derived limits of the unit group $R^*$, whence the main result follows from the Grothendieck spectral sequence.


title: Multilevel Topological Interference Management: A TIM-TIN Perspective

abstract: The robust principles of treating interference as noise (TIN) when it is sufficiently weak, and avoiding it when it is not, form the background of this work. Combining TIN with the topological interference management (TIM) framework that identifies optimal interference avoidance schemes, we formulate a TIM-TIN problem for multilevel topological interference management, wherein only a coarse knowledge of channel strengths and no knowledge of channel phases is available to transmitters. To address the TIM-TIN problem, we first propose an analytical baseline approach, which decomposes a network into TIN and TIM components, allocates the signal power levels to each user in the TIN component, allocates signal vector space dimensions to each user in the TIM component, and guarantees that the product of the two is an achievable number of signal dimensions available to each user in the original network. Next, a distributed numerical algorithm called ZEST is developed. The convergence of the algorithm is demonstrated, leading to the duality of the TIM-TIN problem (in terms of GDoF). Numerical results are also provided to demonstrate the superior sum-rate performance and fast convergence of ZEST.


title: Measurement of two-photon position-momentum EPR correlations through single-photon intensity measurements

abstract: The measurement of the position-momentum EPR correlations of a two-photon state is important for many quantum information applications ranging from quantum key distribution to coincidence imaging. However, all the existing techniques for measuring the position-momentum EPR correlations involve coincidence detection and thus suffer from issues that result in less accurate measurements. In this letter, we propose and demonstrate an experimental scheme that does not require coincidence detection for measuring the EPR correlations. Our technique works for two-photon states that are pure, irrespective of whether the state is separable or entangled. We theoretically show that if the pure two-photon state satisfies a certain set of conditions then the position-momentum EPR correlations can be obtained by doing the intensity measurements on only one of the photons. We experimentally demonstrate this technique for pure two-photon states produced by type-I spontaneous parametric down-conversion, and to the best of our knowledge, we report the most accurate measurement of position-momentum EPR correlations so far.


title: Mid-infrared photodetector based on 2D material metamaterial with negative index properties for a wide range of angles near vertical illumination

abstract: We present the vertically illuminated Si compatible mid-infrared photodetectors based on graphene that forms negative-index metamaterial. The coupling into a 2D layer at the angles near normal to the surface is negligible without the help of a metamaterial. We propose a low loss metamaterial, the dielectric structure with the nano/microholes through 2D materials that supports a resonance and enhances quantum efficiency in a wide range of incident angles.


title: Explicit Perturbations to the Stabilizer $\tau = {\rm i}$ of Modular $A^\prime_5$ Symmetry and Leptonic CP Violation

abstract: In a class of neutrino mass models with modular flavor symmetries, it has been observed that CP symmetry is preserved at the fixed point (or stabilizer) of the modulus parameter $\tau = {\rm i}$, whereas significant CP violation emerges within the neighbourhood of this stabilizer. In this paper, we first construct a viable model with the modular $A^\prime_5$ symmetry, and explore the phenomenological implications for lepton masses and flavor mixing. Then, we introduce explicit perturbations to the stabilizer at $\tau = {\rm i}$, and present both numerical and analytical results to understand why a small deviation from the stabilizer leads to large CP violation. As low-energy observables are very sensitive to the perturbations to model parameters, we further demonstrate that the renormalization-group running effects play an important role in confronting theoretical predictions at the high-energy scale with experimental measurements at the low-energy scale.


title: Distributed Spectrum and Power Allocation for D2D-U Networks: A Scheme based on NN and Federated Learning

abstract: In this paper, a Device-to-Device communication on unlicensed bands (D2D-U) enabled network is studied. To improve the spectrum efficiency (SE) on the unlicensed bands and fit its distributed structure while ensuring the fairness among D2D-U links and the harmonious coexistence with WiFi networks, a distributed joint power and spectrum scheme is proposed. In particular, a parameter, named as price, is defined, which is updated at each D2D-U pair by a online trained Neural network (NN) according to the channel state and traffic load. In addition, the parameters used in the NN are updated by two ways, unsupervised self-iteration and federated learning, to guarantee the fairness and harmonious coexistence. Then, a non-convex optimization problem with respect to the spectrum and power is formulated and solved on each D2D-U link to maximize its own data rate. Numerical simulation results are demonstrated to verify the effectiveness of the proposed scheme.


title: Hierarchical a posteriori error estimation of Bank-Weiser type in the FEniCS Project

abstract: In the seminal paper of Bank and Weiser [Math. Comp., 44 (1985), pp.283-301] a new a posteriori estimator was introduced. This estimator requires the solution of a local Neumann problem on every cell of the finite element mesh. Despite the promise of Bank-Weiser type estimators, namely locality, computational efficiency, and asymptotic sharpness, they have seen little use in practical computational problems. The focus of this contribution is to describe a novel implementation of hierarchical estimators of the Bank-Weiser type in a modern high-level finite element software with automatic code generation capabilities. We show how to use the estimator to drive (goal-oriented) adaptive mesh refinement and to mixed approximations of the nearly-incompressible elasticity problems. We provide comparisons with various other used estimators. An open-source implementation based on the FEniCS Project finite element software is provided as supplementary material.


title: Regular Model Checking Approach to Knowledge Reasoning over Parameterized Systems (technical report)

abstract: We present a general framework for modelling and verifying epistemic properties over parameterized multi-agent systems that communicate by truthful public announcements. In our framework, the number of agents or the amount of certain resources are parameterized (i.e. not known a priori), and the corresponding verification problem asks whether a given epistemic property is true regardless of the instantiation of the parameters. For example, in a muddy children puzzle, one could ask whether each child will eventually find out whether (s)he is muddy, regardless of the number of children. Our framework is regular model checking (RMC)-based, wherein synchronous finite-state automata (equivalently, monadic second-order logic over words) are used to specify the systems. We propose an extension of public announcement logic as specification language. Of special interests is the addition of the so-called iterated public announcement operators, which are crucial for reasoning about knowledge in parameterized systems. Although the operators make the model checking problem undecidable, we show that this becomes decidable when an appropriate "disappearance relation" is given. Further, we show how Angluin's L*-algorithm for learning finite automata can be applied to find a disappearance relation, which is guaranteed to terminate if it is regular. We have implemented the algorithm and apply this to such examples as the Muddy Children Puzzle, the Russian Card Problem, and Large Number Challenge.


title: Protecting Intellectual Property of Generative Adversarial Networks from Ambiguity Attack

abstract: Ever since Machine Learning as a Service (MLaaS) emerges as a viable business that utilizes deep learning models to generate lucrative revenue, Intellectual Property Right (IPR) has become a major concern because these deep learning models can easily be replicated, shared, and re-distributed by any unauthorized third parties. To the best of our knowledge, one of the prominent deep learning models - Generative Adversarial Networks (GANs) which has been widely used to create photorealistic image are totally unprotected despite the existence of pioneering IPR protection methodology for Convolutional Neural Networks (CNNs). This paper therefore presents a complete protection framework in both black-box and white-box settings to enforce IPR protection on GANs. Empirically, we show that the proposed method does not compromise the original GANs performance (i.e. image generation, image super-resolution, style transfer), and at the same time, it is able to withstand both removal and ambiguity attacks against embedded watermarks.


title: Efficient Data-Driven Optimization with Noisy Data

abstract: Classical Kullback-Leibler or entropic distances are known to enjoy certain desirable statistical properties in the context of decision-making with noiseless data. However, in most practical situations the data available to a decision maker is subject to a certain amount of measurement noise. We hence study here data-driven prescription problems in which the data is corrupted by a known noise source. We derive efficient data-driven formulations in this noisy regime and indicate that they enjoy an entropic optimal transport interpretation. Finally, we show that these efficient robust formulations are tractable in several interesting settings by exploiting a classical representation result by Strassen.


title: Compact gate-based read-out of multiplexed quantum devices with a cryogenic CMOS active inductor

abstract: In the strive for scalable quantum processors, significant effort is being devoted to the development of cryogenic classical hardware for the control and readout of a growing number of qubits. Here we report on a cryogenic circuit incorporating a CMOS-based active inductor enabling fast impedance measurements with a sensitivity of 10 aF and an input-referred noise of 3.7 aF/sqrt(Hz). This type of circuit is especially conceived for the readout of semiconductor spin qubits. As opposed to commonly used schemes based on dispersive rf reflectometry, which require mm-scale passive inductors, it allows for a markedly reduced footprint (50$\mu$m $\times$ 60$\mu$m), facilitating its integration in a scalable quantum-classical architecture. In addition, its active inductor results in a resonant circuit with tunable frequency and quality factor, enabling the optimization of readout sensitivity.


title: Observation of Microwave Shielding of Ultracold Molecules

abstract: Harnessing the potential wide-ranging quantum science applications of molecules will require control of their interactions. Here, we use microwave radiation to directly engineer and tune the interaction potentials between ultracold calcium monofluoride (CaF) molecules. By merging two optical tweezers, each containing a single molecule, we probe collisions in three dimensions. The correct combination of microwave frequency and power creates an effective repulsive shield, which suppresses the inelastic loss rate by a factor of six, in agreement with theoretical calculations. The demonstrated microwave shielding shows a general route to the creation of long-lived, dense samples of ultracold molecules and evaporative cooling.


title: Counting and Locating High-Density Objects Using Convolutional Neural Network

abstract: This paper presents a Convolutional Neural Network (CNN) approach for counting and locating objects in high-density imagery. To the best of our knowledge, this is the first object counting and locating method based on a feature map enhancement and a Multi-Stage Refinement of the confidence map. The proposed method was evaluated in two counting datasets: tree and car. For the tree dataset, our method returned a mean absolute error (MAE) of 2.05, a root-mean-squared error (RMSE) of 2.87 and a coefficient of determination (R$^2$) of 0.986. For the car dataset (CARPK and PUCPR+), our method was superior to state-of-the-art methods. In the these datasets, our approach achieved an MAE of 4.45 and 3.16, an RMSE of 6.18 and 4.39, and an R$^2$ of 0.975 and 0.999, respectively. The proposed method is suitable for dealing with high object-density, returning a state-of-the-art performance for counting and locating objects.


title: Extremal problems of Erd\H{o}s, Faudree, Schelp and Simonovits on paths and cycles

abstract: For positive integers $n>d\geq k$, let $\phi(n,d,k)$ denote the least integer $\phi$ such that every $n$-vertex graph with at least $\phi$ vertices of degree at least $d$ contains a path on $k+1$ vertices. Many years ago, Erd\H{o}s, Faudree, Schelp and Simonovits proposed the study of the function $\phi(n,d,k)$, and conjectured that for any positive integers $n>d\geq k$, it holds that $\phi(n,d,k)\leq \lfloor\frac{k-1}{2}\rfloor\lfloor\frac{n}{d+1}\rfloor+\epsilon$, where $\epsilon=1$ if $k$ is odd and $\epsilon=2$ otherwise. In this paper we determine the values of the function $\phi(n,d,k)$ exactly. This confirms the above conjecture of Erd\H{o}s et al. for all positive integers $k\neq 4$ and in a corrected form for the case $k=4$. Our proof utilizes, among others, a lemma of Erd\H{o}s et al. \cite{EFSS89}, a theorem of Jackson \cite{J81}, and a (slight) extension of a very recent theorem of Kostochka, Luo and Zirlin \cite{KLZ}, where the latter two results concern maximum cycles in bipartite graphs. Moreover, we construct examples to provide answers to two closely related questions raised by Erd\H{o}s et al.


title: Coherence resonance in influencer networks

abstract: Complex networks are abundant in nature and many share an important structural property: they contain a few nodes that are abnormally highly connected (hubs). Some of these hubs are called influencers because they couple strongly to the network and play fundamental dynamical and structural roles. Strikingly, despite the abundance of networks with influencers, little is known about their response to stochastic forcing. Here, for oscillatory dynamics on influencer networks, we show that subjecting influencers to an optimal intensity of noise can result in enhanced network synchronization. This new network dynamical effect, which we call coherence resonance in influencer networks, emerges from a synergy between network structure and stochasticity and is highly nonlinear, vanishing when the noise is too weak or too strong. Our results reveal that the influencer backbone can sharply increase the dynamical response in complex systems of coupled oscillators.


title: Mixed Hodge structure on local cohomology with support in determinantal varieties

abstract: We employ the inductive structure of determinantal varieties to calculate the mixed Hodge module structure of local cohomology modules with determinantal support. We show that the weight of a simple composition factor is uniquely determined by its support and cohomological degree. As a consequence, we obtain the equivariant structure of the Hodge filtration on each local cohomology module. Finally, as an application, we provide a formula for the generation level of the Hodge filtration on these modules.


title: High-dimensional nonlinear approximation by parametric manifolds in H\"older-Nikol'skii spaces of mixed smoothness

abstract: We study high-dimensional nonlinear approximation of functions in H\"older-Nikol'skii spaces $H^\alpha_\infty(\mathbb{I}^d)$ on the unit cube $\mathbb{I}^d:=[0,1]^d$ having mixed smoothness, by parametric manifolds. The approximation error is measured in the $L_\infty$-norm. In this context, we explicitly constructed methods of nonlinear approximation, and give dimension-dependent estimates of the approximation error explicitly in dimension $d$ and number $N$ measuring computation complexity of the parametric manifold of approximants. For $d=2$, we derived a novel right asymptotic order of noncontinuous manifold $N$-widths of the unit ball of $H^\alpha_\infty(\mathbb{I}^2)$ in the space $L_\infty(\mathbb{I}^2)$. In constructing approximation methods, the function decomposition by the tensor product Faber series and special representations of its truncations on sparse grids play a central role.


title: Chiral Anomaly in Interacting Condensed Matter Systems

abstract: The chiral anomaly is a fundamental quantum mechanical phenomenon which is of great importance to both particle physics and condensed matter physics alike. In the context of QED it manifests as the breaking of chiral symmetry in the presence of electromagnetic fields. It is also known that anomalous chiral symmetry breaking can occur through interactions alone, as is the case for interacting one dimensional systems. In this paper we investigate the interplay between these two modes of anomalous chiral symmetry breaking in the context of interacting Weyl semimetals. Using Fujikawa's path integral method we show that the chiral charge continuity equation is modified by the presence of interactions which can be viewed as including the effect of the electric and magnetic fields generated by the interacting quantum matter. This can be understood further using dimensional reduction and a Luttinger liquid description of the lowest Landau level. These effects manifest themselves in the non-linear response of the system. In particular we find an interaction dependent density response due to a change in the magnetic field as well as a contribution to the non-equilibrium and inhomogeneous anomalous Hall response while preserving its equilibrium value.


title: Functionalities for genus $2$ and $3$ curves

abstract: We gather and illustrate some functions that we wrote in the Magma computer algebra system for curves of genus $2$ and $3$. In genus $3$, we furnish functions both for non-hyperelliptic and for hyperelliptic curves. A fair bit of the functionality in the latter case extends to hyperelliptic curves of arbitrary genus.


title: Partition-based formulations for mixed-integer optimization of trained ReLU neural networks

abstract: This paper introduces a class of mixed-integer formulations for trained ReLU neural networks. The approach balances model size and tightness by partitioning node inputs into a number of groups and forming the convex hull over the partitions via disjunctive programming. At one extreme, one partition per input recovers the convex hull of a node, i.e., the tightest possible formulation for each node. For fewer partitions, we develop smaller relaxations that approximate the convex hull, and show that they outperform existing formulations. Specifically, we propose strategies for partitioning variables based on theoretical motivations and validate these strategies using extensive computational experiments. Furthermore, the proposed scheme complements known algorithmic approaches, e.g., optimization-based bound tightening captures dependencies within a partition.


title: Mutual Information of Neural Network Initialisations: Mean Field Approximations

abstract: The ability to train randomly initialised deep neural networks is known to depend strongly on the variance of the weight matrices and biases as well as the choice of nonlinear activation. Here we complement the existing geometric analysis of this phenomenon with an information theoretic alternative. Lower bounds are derived for the mutual information between an input and hidden layer outputs. Using a mean field analysis we are able to provide analytic lower bounds as functions of network weight and bias variances as well as the choice of nonlinear activation. These results show that initialisations known to be optimal from a training point of view are also superior from a mutual information perspective.


title: Non-existence of the box dimension for dynamically invariant sets

abstract: One of the key challenges in the dimension theory of smooth dynamical systems is in establishing whether or not the Hausdorff, lower and upper box dimensions coincide for invariant sets. For sets invariant under conformal dynamics, these three dimensions always coincide. On the other hand, considerable attention has been given to examples of sets invariant under non-conformal dynamics whose Hausdorff and box dimensions do not coincide. These constructions exploit the fact that the Hausdorff and box dimensions quantify size in fundamentally different ways, the former in terms of covers by sets of varying diameters and the latter in terms of covers by sets of fixed diameters. In this article we construct the first example of a dynamically invariant set with distinct lower and upper box dimensions. Heuristically, this describes that if size is quantified in terms of covers by sets of equal diameters, a dynamically invariant set can appear bigger when viewed at certain resolutions than at others.


title: Adversarially Guided Actor-Critic

abstract: Despite definite success in deep reinforcement learning problems, actor-critic algorithms are still confronted with sample inefficiency in complex environments, particularly in tasks where efficient exploration is a bottleneck. These methods consider a policy (the actor) and a value function (the critic) whose respective losses are built using different motivations and approaches. This paper introduces a third protagonist: the adversary. While the adversary mimics the actor by minimizing the KL-divergence between their respective action distributions, the actor, in addition to learning to solve the task, tries to differentiate itself from the adversary predictions. This novel objective stimulates the actor to follow strategies that could not have been correctly predicted from previous trajectories, making its behavior innovative in tasks where the reward is extremely rare. Our experimental analysis shows that the resulting Adversarially Guided Actor-Critic (AGAC) algorithm leads to more exhaustive exploration. Notably, AGAC outperforms current state-of-the-art methods on a set of various hard-exploration and procedurally-generated tasks.


title: Testing new physics models with global comparisons to collider measurements: the Contur toolkit

abstract: Measurements at particle collider experiments, even if primarily aimed at understanding Standard Model processes, can have a high degree of model independence, and implicitly contain information about potential contributions from physics beyond the Standard Model. The Contur package allows users to benefit from the hundreds of measurements preserved in the Rivet library to test new models against the bank of LHC measurements to date. This method has proven to be very effective in several recent publications from the Contur team, but ultimately, for this approach to be successful, the authors believe that the Contur tool needs to be accessible to the wider high energy physics community. As such, this manual accompanies the first user-facing version: Contur v2. It describes the design choices that have been made, as well as detailing pitfalls and common issues to avoid. The authors hope that with the help of this documentation, external groups will be able to run their own Contur studies, for example when proposing a new model, or pitching a new search.


title: TransReID: Transformer-based Object Re-Identification

abstract: Extracting robust feature representation is one of the key challenges in object re-identification (ReID). Although convolution neural network (CNN)-based methods have achieved great success, they only process one local neighborhood at a time and suffer from information loss on details caused by convolution and downsampling operators (e.g. pooling and strided convolution). To overcome these limitations, we propose a pure transformer-based object ReID framework named TransReID. Specifically, we first encode an image as a sequence of patches and build a transformer-based strong baseline with a few critical improvements, which achieves competitive results on several ReID benchmarks with CNN-based methods. To further enhance the robust feature learning in the context of transformers, two novel modules are carefully designed. (i) The jigsaw patch module (JPM) is proposed to rearrange the patch embeddings via shift and patch shuffle operations which generates robust features with improved discrimination ability and more diversified coverage. (ii) The side information embeddings (SIE) is introduced to mitigate feature bias towards camera/view variations by plugging in learnable embeddings to incorporate these non-visual clues. To the best of our knowledge, this is the first work to adopt a pure transformer for ReID research. Experimental results of TransReID are superior promising, which achieve state-of-the-art performance on both person and vehicle ReID benchmarks.


title: End-to-end Generative Zero-shot Learning via Few-shot Learning

abstract: Contemporary state-of-the-art approaches to Zero-Shot Learning (ZSL) train generative nets to synthesize examples conditioned on the provided metadata. Thereafter, classifiers are trained on these synthetic data in a supervised manner. In this work, we introduce Z2FSL, an end-to-end generative ZSL framework that uses such an approach as a backbone and feeds its synthesized output to a Few-Shot Learning (FSL) algorithm. The two modules are trained jointly. Z2FSL solves the ZSL problem with a FSL algorithm, reducing, in effect, ZSL to FSL. A wide class of algorithms can be integrated within our framework. Our experimental results show consistent improvement over several baselines. The proposed method, evaluated across standard benchmarks, shows state-of-the-art or competitive performance in ZSL and Generalized ZSL tasks.


title: Space-time statistical solutions for an inhomogeneous chain of harmonic oscillators

abstract: We consider an one-dimensional inhomogeneous harmonic chain consisting of two different semi-infinite chains of harmonic oscillators. We study the Cauchy problem with random initial data. Under some restrictions on the interaction between the oscillators of the chain and on the distribution of the initial data, we prove the convergence of space-time statistical solutions to a Gaussian measure.


title: Nanoscale decoupling of electronic nematicity and structural anisotropy in FeSe thin films

abstract: In a material prone to a nematic instability, anisotropic strain in principle provides a preferred symmetry-breaking direction for the electronic nematic state to follow. This is consistent with experimental observations, where electronic nematicity and structural anisotropy typically appear hand-in-hand. In this work, we discover that electronic nematicity can be locally decoupled from the underlying structural anisotropy in strain-engineered iron-selenide (FeSe) thin films. We use heteroepitaxial molecular beam epitaxy to grow FeSe with a nanoscale network of modulations that give rise to spatially varying strain. We map local anisotropic strain by analyzing scanning tunneling microscopy topographs, and visualize electronic nematic domains from concomitant spectroscopic maps. While the domains form so that the energy of nemato-elastic coupling is minimized, we observe distinct regions where electronic nematic ordering fails to flip direction, even though the underlying structural anisotropy is locally reversed. The findings point towards a nanometer-scale stiffness of the nematic order parameter.


title: Assessing Sensitivity of Machine Learning Predictions.A Novel Toolbox with an Application to Financial Literacy

abstract: Despite their popularity, machine learning predictions are sensitive to potential unobserved predictors. This paper proposes a general algorithm that assesses how the omission of an unobserved variable with high explanatory power could affect the predictions of the model. Moreover, the algorithm extends the usage of machine learning from pointwise predictions to inference and sensitivity analysis. In the application, we show how the framework can be applied to data with inherent uncertainty, such as students' scores in a standardized assessment on financial literacy. First, using Bayesian Additive Regression Trees (BART), we predict students' financial literacy scores (FLS) for a subgroup of students with missing FLS. Then, we assess the sensitivity of predictions by comparing the predictions and performance of models with and without a highly explanatory synthetic predictor. We find no significant difference in the predictions and performances of the augmented (i.e., the model with the synthetic predictor) and original model. This evidence sheds a light on the stability of the predictive model used in the application. The proposed methodology can be used, above and beyond our motivating empirical example, in a wide range of machine learning applications in social and health sciences.


title: The Kinematic Richness of Star Clusters - II. Stability of Spherical Anisotropic Models with Rotation

abstract: We study the bar instability in collisionless, rotating, anisotropic, stellar systems, using N-body simulations and also the matrix technique for calculation of modes with the perturbed collisionless Boltzmann equation. These methods are applied to spherical systems with an initial Plummer density distribution, but modified kinematically in two ways: the velocity distribution is tangentially anisotropic, using results of Dejonghe, and the system is set in rotation by reversing the velocities of a fraction of stars in various regions of phase space, a la Lynden-Bell. The aim of the N-body simulations is first to survey the parameter space, and, using those results, to identify regions of phase space (by radius and orbital inclination) which have the most important influence on the bar instability. The matrix method is then used to identify the resonant interactions in the system which have the greatest effect on the growth rate of a bar. Complementary series of N-body simulations examine these processes in relation to the evolving frequency distribution and the pattern speed. Finally, the results are synthesised with an existing theoretical framework, and used to consider the old question of constructing a stability criterion.


title: Efficient, Fair, and Incentive-Compatible Healthcare Rationing

abstract: Rationing of healthcare resources has emerged as an important issue, which has been discussed by medical experts, policy-makers, and the general public. We consider a rationing problem where medical units are to be allocated to patients. Each unit is reserved for one of several categories and each category has a priority ranking of the patients. We present an allocation rule that respects the priorities, complies with the eligibility requirements, allocates the largest feasible number of units, and does not incentivize agents to hide that they qualify through a category. The rule characterizes all possible allocations that satisfy the first three properties and is polynomial-time computable.


title: Search for (sub)stellar companions of exoplanet hosts by exploring the second ESA-Gaia data release

abstract: We present the latest results of an ongoing multiplicity survey of exoplanet hosts, which was initiated at the Astrophysical Institute and University Observatory Jena, using data from the second data release of the ESA-Gaia mission. In this study the multiplicity of 289 targets was investigated, all located within a distance of about 500 pc from the Sun. In total, 41 binary, and 5 hierarchical triple star systems with exoplanets were detected in the course of this project, yielding a multiplicity rate of the exoplanet hosts of about 16 %. A total of 61 companions (47 stars, a white dwarf, and 13 brown dwarfs) were detected around the targets, whose equidistance and common proper motion with the exoplanet hosts were proven with their precise Gaia DR2 astrometry, which also agrees with the gravitational stability of most of these systems. The detected companions exhibit masses from about 0.016 up to 1.66 M$_\odot$ and projected separations in the range between about 52 and 9555 au.


title: Distributive Laws, Spans and the ZX-Calculus

abstract: We modularly build increasingly larger fragments of the ZX-calculus by modularly adding new generators and relations, at each point, giving some concrete semantics in terms of some category of spans. This is performed using Lack's technique of composing props via distributive laws, as well as the technique of pushout cubes of Zanasi. We do this for the fragment of the ZX-calculus with only the black $\pi$-phase (and no Hadamard gate) as well as well as the fragment which additionally has the and gate as a generator (which is equivalent to the natural number H-box fragment of the ZH-calculus). In the former case, we show that this is equivalent to the full subcategory of spans of (possibly empty) free, finite dimensional affine $\mathbb F_2$-vector spaces, where the objects are the non-empty affine vector spaces. In the latter case, we show that this is equivalent to the full subcategory of spans of finite sets where the objects are powers of the two element set. Because these fragments of the ZX-calculus have semantics in terms of full subcategories of categories of spans, they can not be presented by distributive laws over groupoids. Instead, we first construct their subcategories of partial isomorphisms via distributive laws over all isomorphims with subobjects adjoined. After which, the full subcategory of spans are obtained by freely adjoining units and counits the the semi-Frobenius structures given by the diagonal and codiagonal maps.


title: A Generalized Mountain Pass Lemma with a Closed Subset for Locally Lipschitz Functionals

abstract: The classical Mountain Pass Lemma of Ambrosetti-Rabinowitz has been studied, extended and modified in several directions. Notable examples would certainly include the generalization to locally Lipschitz functionals by K.C. Chang, analyzing the structure of the critical set in the mountain pass theorem in the works of Hofer, Pucci-Serrin and Tian, and the extension by Ghoussoub-Preiss to closed subsets in a Banach space with recent variations. In this paper, we utilize the generalized gradient of Clarke and Ekeland's variatonal principle to generalize the Ghoussoub-Preiss's Theorem in the setting of locally Lipschitz functionals. We give an application to periodic solutions of Hamiltonian systems.


title: Parameters of the type-IIP supernova SN 2012aw

abstract: We present the results the photometric observations of the Type IIP supernova SN 2012aw obtained for the time interval from 7 till 371 days after the explosion. Using the previously published values of the photospheric velocities we've computed the hydrodynamic model which simultaneously reproduced the photometry observations and velocity measurements. The model was calculated with the multi-energy group radiation hydrodynamics code STELLA. We found the parameters of the pre-supernova: radius $R = 500 R_\odot$, nickel mass $M(^{56}$Ni$)$ $\sim 0.06 M_\odot$, pre-supernova mass $25 M_\odot$, mass of ejected envelope $23.6 M_\odot$, explosion energy $E \sim 2 \times 10^{51}$ erg. The model progenitor mass $M=25 M_\odot$ significantly exceeds the upper limit mass $M=17 M_\odot$, obtained from analysis the pre-SNe observations. This result confirms once more that the 'Red Supergiant Problem' must be resolved by stellar evolution and supernova explosion theories in interaction with observations.


title: On deficiency problems for graphs

abstract: Motivated by analogous questions in the setting of Steiner triple systems and Latin squares, Nenadov, Sudakov and Wagner [Completion and deficiency problems, Journal of Combinatorial Theory Series B, 2020] recently introduced the notion of graph deficiency. Given a global spanning property $\mathcal P$ and a graph $G$, the deficiency $\text{def}(G)$ of the graph $G$ with respect to the property $\mathcal P$ is the smallest non-negative integer $t$ such that the join $G*K_t$ has property $\mathcal P$. In particular, Nenadov, Sudakov and Wagner raised the question of determining how many edges an $n$-vertex graph $G$ needs to ensure $G*K_t$ contains a $K_r$-factor (for any fixed $r\geq 3$). In this paper we resolve their problem fully. We also give an analogous result which forces $G*K_t$ to contain any fixed bipartite $(n+t)$-vertex graph of bounded degree and small bandwidth.


title: Untangling scaling dimensions of fixed charge operators in Higgs Theories

abstract: We go beyond a systematic review of the semiclassical approaches for determining the scaling dimensions of fixed-charge operators in $U(1)$ and $O(N)$ models by introducing a general strategy apt at determining the relation between a given charge configuration and the associated operators for more involved symmetry groups such as the $U(N) \times U(M)$. We show how, varying the charge configuration, it is possible to access anomalous dimensions of different operators transforming according to a variety of irreducible representations of the non-abelian symmetry group without the aid of diagrammatical computations. We illustrate our computational strategy by determining the anomalous dimensions of several composite operators to the next-to-leading order in the semiclassical expansion for the $U(N) \times U(M)$ conformal field theory (CFT) in $4-\epsilon$ dimensions. Thanks to the powerful interplay between semiclassical methods and group theory we can, for the first time, extract scaling dimensions for a wide range of operators.

categories: hep-th cond-mat.stat-mech hep-lat hep-ph


title: From zero surgeries to candidates for exotic definite four-manifolds

abstract: One strategy for distinguishing smooth structures on closed $4$-manifolds is to produce a knot $K$ in $S^3$ that is slice in one smooth filling $W$ of $S^3$ but not slice in some homeomorphic smooth filling $W'$. In this paper we explore how $0$-surgery homeomorphisms can be used to potentially construct exotic pairs of this form. In order to systematically generate a plethora of candidates for exotic pairs, we give a fully general construction of pairs of knots with the same zero surgeries. By computer experimentation, we find $5$ topologically slice knots such that, if any of them were slice, we would obtain an exotic four-sphere. We also investigate the possibility of constructing exotic smooth structures on $\#^n \mathbb{C}P^2$ in a similar fashion.


title: Long-Term Evolution of Three Light Bridges Developed on the Same Sunspot

abstract: One important feature of sunspots is the presence of light bridges. These structures are elongated and bright (as compared to the umbra) features that seem to be related to the formation and evolution of sunspots. In this work, we studied the long-term evolution and the stratification of different atmospheric parameters of three light bridges formed in the same host sunspot by different mechanisms. To accomplish this, we used data taken with the GREGOR Infrared Spectrograph installed at the GREGOR telescope. These data were inverted to infer the physical parameters of the atmosphere where the observed spectral profiles were formed of the three light bridges. We find that, in general, the behaviour of the three light bridges is typical of this kind of structure with the magnetic field strength, inclination, and temperature values between the values at the umbra and the penumbra. We also find that they are of a significantly non-magnetic character (particularly at the axis of the light bridges) as it is deduced from the filling factor. In addition, within the common behaviour of the physical properties of light bridges, we observe that each one exhibits a particular behaviour. Another interesting result is that the light bridge cools down, the magnetic field decreases, and the magnetic field lines get more inclined higher in the atmosphere. Finally, we studied the magnetic and non-magnetic line-of-sight velocities of the light bridges. The former shows that the magnetic component is at rest and, interestingly, its variation with optical depth shows a bi-modal behaviour. For the line-of-sight velocity of the non-magnetic component, we see that the core of the light bridge is at rest or with shallow upflows and clear downflows sinking through the edges.


title: Analysis of the Optimization Landscape of Linear Quadratic Gaussian (LQG) Control

abstract: This paper revisits the classical Linear Quadratic Gaussian (LQG) control from a modern optimization perspective. We analyze two aspects of the optimization landscape of the LQG problem: 1) connectivity of the set of stabilizing controllers $\mathcal{C}_n$; and 2) structure of stationary points. It is known that similarity transformations do not change the input-output behavior of a dynamical controller or LQG cost. This inherent symmetry by similarity transformations makes the landscape of LQG very rich. We show that 1) the set of stabilizing controllers $\mathcal{C}_n$ has at most two path-connected components and they are diffeomorphic under a mapping defined by a similarity transformation; 2) there might exist many \emph{strictly suboptimal stationary points} of the LQG cost function over $\mathcal{C}_n$ and these stationary points are always \emph{non-minimal}; 3) all \emph{minimal} stationary points are globally optimal and they are identical up to a similarity transformation. These results shed some light on the performance analysis of direct policy gradient methods for solving the LQG problem.


title: Learning with Density Matrices and Random Features

abstract: A density matrix describes the statistical state of a quantum system. It is a powerful formalism to represent both the quantum and classical uncertainty of quantum systems and to express different statistical operations such as measurement, system combination and expectations as linear algebra operations. This paper explores how density matrices can be used as a building block for machine learning models exploiting their ability to straightforwardly combine linear algebra and probability. One of the main results of the paper is to show that density matrices coupled with random Fourier features could approximate arbitrary probability distributions over $\mathbb{R}^n$. Based on this finding the paper builds different models for density estimation, classification and regression. These models are differentiable, so it is possible to integrate them with other differentiable components, such as deep learning architectures and to learn their parameters using gradient-based optimization. In addition, the paper presents optimization-less training strategies based on estimation and model averaging. The models are evaluated in benchmark tasks and the results are reported and discussed.


title: 5-Dimensional $SO(1, 4)$-Invariant Action as an Origin to the Magueijo-Smolin Doubly Special Relativity Proposal

abstract: In this paper we discuss how the Magueijo-Smolin Doubly Special Relativity proposal may obtained from a singular Lagrangian action. The deformed energy-momentum dispersion relation rises as a particular gauge, whose covariance imposes the non-linear Lorentz group action. Moreover, the additional invariant scale is present from the beginning as a coupling constant to a gauge auxiliary variable. The geometrical meaning of the gauge fixing procedure and its connection to the free relativistic particle are also described.


title: SGD in the Large: Average-case Analysis, Asymptotics, and Stepsize Criticality

abstract: We propose a new framework, inspired by random matrix theory, for analyzing the dynamics of stochastic gradient descent (SGD) when both number of samples and dimensions are large. This framework applies to any fixed stepsize and the finite sum setting. Using this new framework, we show that the dynamics of SGD on a least squares problem with random data become deterministic in the large sample and dimensional limit. Furthermore, the limiting dynamics are governed by a Volterra integral equation. This model predicts that SGD undergoes a phase transition at an explicitly given critical stepsize that ultimately affects its convergence rate, which we also verify experimentally. Finally, when input data is isotropic, we provide explicit expressions for the dynamics and average-case convergence rates (i.e., the complexity of an algorithm averaged over all possible inputs). These rates show significant improvement over the worst-case complexities.


title: Entropic Optimal Transport: Geometry and Large Deviations

abstract: We study the convergence of entropically regularized optimal transport to optimal transport. The main result is concerned with the convergence of the associated optimizers and takes the form of a large deviations principle quantifying the local exponential convergence rate as the regularization parameter vanishes. The exact rate function is determined in a general setting and linked to the Kantorovich potential of optimal transport. Our arguments are based on the geometry of the optimizers and inspired by the use of $c$-cyclical monotonicity in classical transport theory. The results can also be phrased in terms of Schr\"odinger bridges.


title: Approximation of discontinuous functions by Kantorovich exponential sampling series

abstract: The Kantorovich exponential sampling series at jump discontinuities of the bounded measurable signal f has been analysed. A representation lemma for the series is established and using this lemma certain approximation theorems for discontinuous signals are proved. The degree of approximation in terms of logarithmic modulus of smoothness for the series is studied. Further a linear prediction of signals based on past sample values has been obtained. Some numerical simulations are performed to validate the approximation of discontinuous signals f by the sampling series.


title: Escaping Stochastic Traps with Aleatoric Mapping Agents

abstract: Exploration in environments with sparse rewards is difficult for artificial agents. Curiosity driven learning -- using feed-forward prediction errors as intrinsic rewards -- has achieved some success in these scenarios, but fails when faced with action-dependent noise sources. We present aleatoric mapping agents (AMAs), a neuroscience inspired solution modeled on the cholinergic system of the mammalian brain. AMAs aim to explicitly ascertain which dynamics of the environment are unpredictable, regardless of whether those dynamics are induced by the actions of the agent. This is achieved by generating separate forward predictions for the mean and variance of future states and reducing intrinsic rewards for those transitions with high aleatoric variance. We show AMAs are able to effectively circumvent action-dependent stochastic traps that immobilise conventional curiosity driven agents. The code for all experiments presented in this paper is open sourced: http://github.com/self-supervisor/Escaping-Stochastic-Traps-With-Aleatoric-Mapping-Agents.


title: Rapid Classification of Glaucomatous Fundus Images

abstract: We propose a new method for training convolutional neural networks which integrates reinforcement learning along with supervised learning and use ti for transfer learning for classification of glaucoma from colored fundus images. The training method uses hill climbing techniques via two different climber types, viz "random movment" and "random detection" integrated with supervised learning model though stochastic gradient descent with momentum (SGDM) model. The model was trained and tested using the Drishti GS and RIM-ONE-r2 datasets having glaucomatous and normal fundus images. The performance metrics for prediction was tested by transfer learning on five CNN architectures, namely GoogLenet, DesnseNet-201, NASNet, VGG-19 and Inception-resnet-v2. A fivefold classification was used for evaluating the perfroamnace and high sensitivities while high maintaining high accuracies were achieved. Of the models tested, the denseNet-201 architecture performed the best in terms of sensitivity and area under the curve (AUC). This method of training allows transfer learning on small datasets and can be applied for tele-ophthalmology applications including training with local datasets.


title: The Optimality of Polynomial Regression for Agnostic Learning under Gaussian Marginals

abstract: We study the problem of agnostic learning under the Gaussian distribution. We develop a method for finding hard families of examples for a wide class of problems by using LP duality. For Boolean-valued concept classes, we show that the $L^1$-regression algorithm is essentially best possible, and therefore that the computational difficulty of agnostically learning a concept class is closely related to the polynomial degree required to approximate any function from the class in $L^1$-norm. Using this characterization along with additional analytic tools, we obtain optimal SQ lower bounds for agnostically learning linear threshold functions and the first non-trivial SQ lower bounds for polynomial threshold functions and intersections of halfspaces. We also develop an analogous theory for agnostically learning real-valued functions, and as an application prove near-optimal SQ lower bounds for agnostically learning ReLUs and sigmoids.


title: Contrasting Centralized and Decentralized Critics in Multi-Agent Reinforcement Learning

abstract: Centralized Training for Decentralized Execution, where agents are trained offline using centralized information but execute in a decentralized manner online, has gained popularity in the multi-agent reinforcement learning community. In particular, actor-critic methods with a centralized critic and decentralized actors are a common instance of this idea. However, the implications of using a centralized critic in this context are not fully discussed and understood even though it is the standard choice of many algorithms. We therefore formally analyze centralized and decentralized critic approaches, providing a deeper understanding of the implications of critic choice. Because our theory makes unrealistic assumptions, we also empirically compare the centralized and decentralized critic methods over a wide set of environments to validate our theories and to provide practical advice. We show that there exist misconceptions regarding centralized critics in the current literature and show that the centralized critic design is not strictly beneficial, but rather both centralized and decentralized critics have different pros and cons that should be taken into account by algorithm designers.


title: Perturbative Determination of Plasma Microinstabilities in Tokamaks

abstract: Recently, theoretical analysis has identified plasma microinstabilities as the primary mechanism responsible for anomalous heat transport in tokamaks. In particular, the microtearing mode (MTM) has been credited with the production of intense electron heat fluxes, most notably through a thin self-organized boundary layer called the pedestal. Here we exploit a novel, time-dependent analysis to compile explicit experimental evidence that MTMs are active in the pedestal region. The expected frequency of pedestal MTMs, calculated as a function of time from plasma profile measurements, is shown in a dedicated experiment to be in excellent agreement with observed magnetic turbulence fluctuations. Further, fast perturbations of the plasma equilibrium are introduced to decouple the instability drive and resonant location, providing a compelling validation of the analytical model. This analysis offers strong evidence of edge MTMs, validating the existing theoretical work and highlighting the important role of MTMs in regulating electron heat flow in tokamaks.


title: PFH spectral invariants on the two-sphere and the large scale geometry of Hofer's metric

abstract: We resolve three longstanding questions related to the large scale geometry of the group of Hamiltonian diffeomorphisms of the two-sphere, equipped with Hofer's metric. Namely: (1) we resolve the Kapovich-Polterovich question by showing that this group is not quasi-isometric to the real line; (2) more generally, we show that the kernel of Calabi over any proper open subset is unbounded; and (3) we show that the group of area and orientation preserving homeomorphisms of the two-sphere is not a simple group. We also obtain, as a corollary, that the group of area-preserving diffeomorphisms of the open disc, equipped with an area-form of finite area, is not perfect. Central to all of our proofs are new sequences of spectral invariants over the two-sphere, defined via periodic Floer homology.


title: A dynamical approach to generalized Weil's Riemann hypothesis and semisimplicity

abstract: Let $X$ be a smooth projective variety over an algebraically closed field of arbitrary characteristic, and $f$ a dynamical correspondence of $X$. In 2016, the second author conjectured that the dynamical degrees of $f$ defined by the pullback actions on \'etale cohomology groups and on numerical cycle class groups are equivalent, which we call the dynamical degree comparison (DDC) conjecture. It contains the generalized Weil's Riemann hypothesis (for polarized endomorphisms) as a special case. To proceed, we introduce the so-called Conjecture $G_r$, which is a quantitative strengthening of the standard conjecture $C$ and holds on abelian varieties and Kummer surfaces. We prove that for arbitrary varieties, Conjecture $G_r$ yields the generalized Weil's Riemann hypothesis. Moreover, Conjecture $G_r$ plus the standard conjecture $D$ imply the so-called norm comparison (NC) conjecture, whose consequences include the DDC conjecture and the generalized semisimplicity conjecture (for polarized endomorphisms). As an application, we obtain new results on the DDC conjecture for abelian varieties and Kummer surfaces, and the generalized semisimplicity conjecture for Kummer surfaces. Finally, we also obtain a similar comparison result for effective finite correspondences of abelian varieties.


title: Increasing Energy Resiliency to Hurricanes with Battery and Rooftop Solar Through Intelligent Control

abstract: Rooftop solar photovoltaic (PV) panels together with batteries can provide resiliency to blackouts during natural disasters such as hurricanes. Without intelligent and automated decision making that can trade off conflicting requirements, a large PV system and a large battery is needed to provide meaningful resiliency. By utilizing the flexibility of various household demands, an intelligent system can ensure that critical loads are serviced longer than a non-intelligent system. As a result a smaller (and thus lower cost) system can provide the same energy resilience that a much larger system will be needed otherwise. In this paper we propose such an intelligent control system that uses a model predictive control (MPC) architecture. The optimization problem is formulated as a MILP (mixed integer linear program) due to the on/off decisions for the loads. Performance is compared with two rule based controllers, a simple all-or-none controller that mimics what is available now commercially, and a Rule-Based controller that uses the same information that the MPC controller uses. The controllers are tested through simulation on a PV-battery system chosen carefully for a small single family house in Florida. Simulations are conducted for a one week period during hurricane Irma in 2017. Simulations show that the size of the PV+battery system to provide a certain resiliency performance can be halved by the proposed control system.


title: Quantifying the Temperature of Heated Microdevices Using Scanning Thermal Probes

abstract: Quantifying the temperature of microdevices is critical for probing nanoscale energy transport.Such quantification is often accomplished by integrating resistance thermometers into microdevices. However, such thermometers frequently become structurally unstable and fail due to thermal stresses at elevated temperatures. Here, we show that custom-fabricated scanning thermal probes (STPs) with a sharp tip and an integrated heater/thermometer can accurately measure the temperature of microdevices held at elevated temperatures. This measurement is accomplished by introducing a modulated heat input to the STP after contacting the microdevice with the STP's tip, and characterizing the DC and AC components of the STP's temperature.From these measured temperature components, the tip-to-sample thermal resistance and the microdevice surface temperature are deduced via a simple lumped-capacitance model. The advances presented here can greatly facilitate temperature measurements of a variety of heated microdevices.


title: Role of coherence in quantum-dot-based nanomachines within the Coulomb blockade regime

abstract: During the last decades, quantum dots within the Coulomb blockade regime of transport have been proposed as essential building blocks for a wide variety of nanomachines. This includes thermoelectric devices, quantum shuttles, quantum pumps, and even quantum motors. However, in this regime, the role of quantum mechanics is commonly limited to provide energy quantization while the working principle of the devices is ultimately the same as their classic counterparts. Here, we study quantum-dot-based nanomachines in the Coulomb blockade regime, but in a configuration where the coherent superpositions of the dots' states plays a crucial role. We show that the studied system can be used as the basis for different forms of "true" quantum machines that should only work in the presence of these coherent superpositions. We analyze the efficiency of these machines against different nonequilibrium sources (bias voltage, temperature gradient, and external driving) and the factors that limit it, including decoherence and the role of the different orders appearing in the adiabatic expansion of the charge/heat currents.


title: Why nuclear forces favor the highest weight irreducible representations of the fermionic SU(3) symmetry

abstract: The consequences of the attractive, short-range nucleon-nucleon (NN) interaction on the wave functions of the Elliott SU(3) and the proxy-SU(3) symmetry are discussed. The NN interaction favors the most symmetric spatial SU(3) irreducible representation, which corresponds to the maximal spatial overlap among the fermions. The percentage of the symmetric components out of the total in an SU(3) wave function is introduced, through which it is found, that no SU(3) irrep is more symmetric than the highest weight irrep for a certain number of valence particles in a three dimensional, isotropic, harmonic oscillator shell. The consideration of the highest weight irreps in nuclei and in alkali metal clusters, leads to the prediction of a prolate to oblate shape transition beyond the mid-shell region.


title: On the entropy and index of the winding endomorphisms of p-adic ring C$^*$-algebras

abstract: For $p\geq 2$, the $p$-adic ring $C^*$-algebra $\mathcal{Q}_p$ is the universal $C^*$-algebra generated by a unitary $U$ and an isometry $S_p$ such that $S_pU=U^pS_p$ and $\sum_{l=0}^{p-1}U^lS_pS_p^*U^{-l}=1$. For any $k$ coprime with $p$ we define an endomorphism $\chi_k\in{\rm End}(\mathcal{Q}_p)$ by setting $\chi_k(U):=U^k$ and $\chi_k(S_p):=S_p$. We then compute the entropy of $\chi_k$, which turns out to be $\log |k|$. Finally, for selected values of $k$ we also compute the Watatani index of $\chi_k$ showing that the entropy is the natural logarithm of the index.


title: Traceability Transformed: Generating more Accurate Links with Pre-Trained BERT Models

abstract: Software traceability establishes and leverages associations between diverse development artifacts. Researchers have proposed the use of deep learning trace models to link natural language artifacts, such as requirements and issue descriptions, to source code; however, their effectiveness has been restricted by availability of labeled data and efficiency at runtime. In this study, we propose a novel framework called Trace BERT (T-BERT) to generate trace links between source code and natural language artifacts. To address data sparsity, we leverage a three-step training strategy to enable trace models to transfer knowledge from a closely related Software Engineering challenge, which has a rich dataset, to produce trace links with much higher accuracy than has previously been achieved. We then apply the T-BERT framework to recover links between issues and commits in Open Source Projects. We comparatively evaluated accuracy and efficiency of three BERT architectures. Results show that a Single-BERT architecture generated the most accurate links, while a Siamese-BERT architecture produced comparable results with significantly less execution time. Furthermore, by learning and transferring knowledge, all three models in the framework outperform classical IR trace models. On the three evaluated real-word OSS projects, the best T-BERT stably outperformed the VSM model with average improvements of 60.31% measured using Mean Average Precision (MAP). RNN severely underperformed on these projects due to insufficient training data, while T-BERT overcame this problem by using pretrained language models and transfer learning.


title: BAT AGN Spectroscopic Survey-XXIII. A New Mid-Infrared Diagnostic for Absorption in Active Galactic Nuclei

abstract: In this study, we use the SWIFT/BAT AGN sample, which has received extensive multiwavelength follow-up analysis as a result of the BAT AGN Spectroscopic Survey (BASS), to develop a diagnostic for nuclear obscuration by examining the relationship between the line-of-sight column densities ($N_{\rm{H}}$), the 2-10 keV-to-$12\,\rm{\mu m}$ luminosity ratio, and WISE mid-infrared colors. We demonstrate that heavily obscured AGNs tend to exhibit both preferentially ''redder'' mid-infrared colors and lower values of $L_{\rm{X,\,Obs.}}$/$L_{12\,\rm{\mu m}}$ than less obscured AGNs, and we derive expressions relating $N_{\rm{H}}$ to the $L_{\rm{X,\,Obs.}}$/$L_{12\,\rm{\mu m}}$ and $L_{22\,\rm{\mu m}}$/$L_{4.6\,\rm{\mu m}}$ luminosity ratios as well as develop diagnostic criteria using these ratios. Our diagnostic regions yield samples that are $\gtrsim80$% complete and $\gtrsim60$% pure for AGNs with log($N_{\rm{H}})\geq24$, as well as $\gtrsim85$% pure for AGNs with $\rm{log}(N_{\rm{H}})\gtrsim23.5$. We find that these diagnostics cannot be used to differentiate between optically star forming galaxies and active galaxies. Further, mid-IR contributions from host galaxies that dominate the observed $12~\rm{\mu m}$ emission can lead to larger apparent X-ray deficits and redder mid-IR colors than the AGNs would intrinsically exhibit, though this effect helps to better separate less obscured and more obscured AGNs. Finally, we test our diagnostics on two catalogs of AGNs and infrared galaxies, including the XMM-Newton XXL-N field, and we identify several known Compton-thick AGNs as well as a handful of candidate heavily obscured AGNs based upon our proposed obscuration diagnostics.


title: Transport information Hessian distances

abstract: We formulate closed-form Hessian distances of information entropies in one-dimensional probability density space embedded with the L2-Wasserstein metric.


title: Abelian parton state for the $\nu=4/11$ fractional quantum Hall effect

abstract: We consider the fractional quantum Hall effect at the filling factor $\nu=4/11$, where two independent experiments have observed a well-developed and quantized Hall plateau. We examine the Abelian state described by the "$4\bar{2}1^{3}$" parton wave function and numerically demonstrate it to be a plausible candidate for the ground state at $\nu=4/11$. We work out the low-energy effective theory of the $4\bar{2}1^{3}$ edge and make predictions for experimentally measurable properties of the state.


title: Self-duality of the lattice of transfer systems via weak factorization systems

abstract: For a finite group $G$, $G$-transfer systems are combinatorial objects which encode the homotopy category of $G$-$N_\infty$ operads, whose algebras in $G$-spectra are $E_\infty$ $G$-spectra with a specified collection of multiplicative norms. For $G$ finite Abelian, we demonstrate a correspondence between $G$-transfer systems and weak factorization systems on the poset category of subgroups of $G$. This induces a self-duality on the lattice of $G$-transfer systems.


title: Lifshitz theory of wetting films at three phase coexistence: The case of ice nucleation on Silver Iodide (AgI)

abstract: Hypothesis: As a fluid approaches three phase coexistence, adsorption may take place by the successive formation of two intervening wetting films. The equilibrium thickness of these wetting layers is the result of a delicate balance of intermolecular forces, as dictated by an underlying interface potential. The van der Waals forces for the two variable adsorption layers may be formulated exactly from Dzyaloshinskii-Lifshitz-Pitaevskii theory, and analytical approximations may be derived that extent well beyond the validity of conventional Hamaker theory. Calculations: We consider the adsorption equilibrium of water vapor on Silver Iodide where both ice and a water layers can form simultaneously and compete for the vapor as the triple point is approached. We perform numerical calculations of Lifshitz theory for this complex system and work out analytical approximations which provide quantitative agreement with the numerical results. Findings: At the three phase contact line between AgI/water/air, surface forces promote growth of ice both on the AgI/air and the water/vapor interfaces, lending support to a contact nucleation mode of AgI in the atmosphere. Our approach provides a framework for the description of adsorption at three phase coexistence, and allows for the study of ice nucleation efficiency on atmospheric aerosols.

categories: physics.chem-ph cond-mat.mtrl-sci cond-mat.soft cond-mat.stat-mech physics.ao-ph physics.flu-dyn


title: Identifiability of Linear Compartmental Models: The Impact of Removing Leaks and Edges

abstract: A mathematical model is identifiable if its parameters can be recovered from data. Here, we focus on a particular class of model, linear compartmental models, which are used to represent the transfer of substances in a system. We analyze what happens to identifiability when operations are performed on a model, specifically, adding or deleting a leak or an edge. We first consider the conjecture of Gross et al. that states that removing a leak from an identifiable model yields a model that is again identifiable. We prove a special case of this conjecture, and also show that the conjecture is equivalent to asserting that leak terms do not divide the so-called singular-locus equation. As for edge terms that do divide this equation, we conjecture that removing any one of these edges makes the model become unidentifiable,and then prove a case of this somewhat surprising conjecture.


title: On $12$-regular nut graphs

abstract: A nut graph is a simple graph whose adjacency matrix is singular with $1$-dimensional kernel such that the corresponding eigenvector has no zero entries. In 2020, Fowler et al. characterised for each $d \in \{3,4,\ldots,11\}$ all values $n$ such that there exists a $d$-regular nut graph of order $n$. In the present paper, we determine all values $n$ for which a $12$-regular nut graph of order $n$ exists. We also present a result by which there are infinitely many circulant nut graphs of degree $d \equiv 0 \pmod 4$ and no circulant nut graph of degree $d \equiv 2 \pmod 4$.


title: Analysis of the Effectiveness of Face-Coverings on the Death Ratio of COVID-19 Using Machine Learning

abstract: The recent outbreak of the COVID-19 led to the death of millions of people worldwide. To stave off the spread of the virus, the authorities in the US employed different strategies, including the mask mandate order issued by the states' governors. In the current work, we defined a parameter called the average death ratio as the monthly average of the number of daily deaths to the monthly average number of daily cases. We utilized survey data to quantify people's abidance by the mask mandate order. Additionally, we implicitly addressed the extent to which people abide by the mask mandate order that may depend on some parameters like population, income, and education level. Using different machine learning classification algorithms, we investigated how the decrease or increase in death ratio for the counties in the US West Coast correlates with the input parameters. The results showed that for most counties there, the mask mandate order decreased the death ratio reflecting the effectiveness of this preventive measure on the West Coast. Additionally, the changes in the death ratio demonstrated a noticeable correlation with the socio-economic condition of each county. Moreover, the results showed a promising classification accuracy score as high as around 90%.


title: The Multi-Temporal Urban Development SpaceNet Dataset

abstract: Satellite imagery analytics have numerous human development and disaster response applications, particularly when time series methods are involved. For example, quantifying population statistics is fundamental to 67 of the 231 United Nations Sustainable Development Goals Indicators, but the World Bank estimates that over 100 countries currently lack effective Civil Registration systems. To help address this deficit and develop novel computer vision methods for time series data, we present the Multi-Temporal Urban Development SpaceNet (MUDS, also known as SpaceNet 7) dataset. This open source dataset consists of medium resolution (4.0m) satellite imagery mosaics, which includes 24 images (one per month) covering >100 unique geographies, and comprises >40,000 km2 of imagery and exhaustive polygon labels of building footprints therein, totaling over 11M individual annotations. Each building is assigned a unique identifier (i.e. address), which permits tracking of individual objects over time. Label fidelity exceeds image resolution; this "omniscient labeling" is a unique feature of the dataset, and enables surprisingly precise algorithmic models to be crafted. We demonstrate methods to track building footprint construction (or demolition) over time, thereby directly assessing urbanization. Performance is measured with the newly developed SpaceNet Change and Object Tracking (SCOT) metric, which quantifies both object tracking as well as change detection. We demonstrate that despite the moderate resolution of the data, we are able to track individual building identifiers over time. This task has broad implications for disaster preparedness, the environment, infrastructure development, and epidemic prevention.