title: A neuromorphic approach to image processing and machine vision

abstract: Neuromorphic engineering is essentially the development of artificial systems, such as electronic analog circuits that employ information representations found in biological nervous systems. Despite being faster and more accurate than the human brain, computers lag behind in recognition capability. However, it is envisioned that the advancement in neuromorphics, pertaining to the fields of computer vision and image processing will provide a considerable improvement in the way computers can interpret and analyze information. In this paper, we explore the implementation of visual tasks such as image segmentation, visual attention and object recognition. Moreover, the concept of anisotropic diffusion has been examined followed by a novel approach employing memristors to execute image segmentation. Additionally, we have discussed the role of neuromorphic vision sensors in artificial visual systems and the protocol involved in order to enable asynchronous transmission of signals. Moreover, two widely accepted algorithms that are used to emulate the process of object recognition and visual attention have also been discussed. Throughout the span of this paper, we have emphasized on the employment of non-volatile memory devices such as memristors to realize artificial visual systems. Finally, we discuss about hardware accelerators and wish to represent a case in point for arguing that progress in computer vision may benefit directly from progress in non-volatile memory technology.


title: Synthesis of cold and trappable fully stripped HCI's via antiproton-induced nuclear fragmentation in traps

abstract: The study of radioisotopes as well as of highly charged ions is a very active and dynamic field. In both cases, the most sensitive probes involve species trapped in Penning or Paul traps after a lengthy series of production and separation steps that limit the types and lifetimes of species that can be investigated. We propose a novel production scheme that forms fully (or almost fully) stripped radionuclei in form of highly charged ions (HCI's) directly in the trapping environment. The method extends the range of species, among them radioisotopes such as $^{21}$F, $^{100}$Sn or $^{229}$Th, that can be readily produced and investigated and is complementary to existing techniques.


title: Synchrotron radiation by slowly rotating fermions

abstract: We study the synchrotron radiation emitted by a charged fermion, rotating as a part of a larger system, in a constant magnetic field $B$ parallel to the axis of rotation. The rotation is classical and independent of the magnetic field. The angular velocity of rotation $\Omega$ is assumed to be much smaller than the inverse magnetic length $\sqrt{qB}$ which allows us to ignore the boundary effects at $r=1/\Omega$. We refer to such rotation as slow, even though in absolute value it may be an extremely rapid rotation. Using the exact solution of the Dirac equation we derived the intensity of electromagnetic radiation, its spectrum and chirality. We demonstrate by explicit numerical calculation that the effect of rotation on the radiation intensity increases with the particle energy. Depending on the relative orientation of the vectors $\bf\Omega$ and $\bf B$ and the sign of the electric charge, the rotation can either strongly enhance or strongly suppress the radiation.


title: Proximinality and uniformly approximable sets in $L^p$

abstract: For any $p\in[1,\infty]$, we prove that the set of simple functions taking at most $k$ different values is proximinal in $L^p$ for all $k\geq 1$. We introduce the class of uniformly approximable subsets of $L^p$, which is larger than the class of uniformly integrable sets. This new class is characterized in terms of the $p$-variation if $p\in[1,\infty)$ and in terms of covering numbers if $p=\infty$. We study properties of uniformly approximable sets. In particular, we prove that the convex hull of a uniformly approximable bounded set is also uniformly approximable and that this class is stable under H\"older transformations. We also prove that, for $p\in [1,\infty)$, the unit ball of $L^p$ is uniformly approximable if and only if $L^p$ is finite-dimensional, while for $p=\infty$ the unit ball is always uniformly approximable.


title: Resonant leptoquark at NLO with POWHEG

abstract: Recent progress in calculating lepton density functions inside the proton and simulating lepton showers laid the foundations for precision studies of resonant leptoquark production at hadron colliders. Direct quark-lepton fusion into a leptoquark is a novel production channel at the LHC that has the potential to probe a unique parameter space for large masses and couplings. In this work, we build the first Monte Carlo event generator for a full-fledged simulation of this process at NLO for production, followed by a subsequent decay using the POWHEG method and matching to the parton showers utilizing HERWIG. The code can handle all scalar leptoquark models with renormalisable quark-lepton interactions. We then comprehensively study the differential distributions, including higher-order effects, and asses the corresponding theoretical uncertainties. We also quantify the impact of the improved predictions on the projected (HL-)LHC sensitivities and initiate the first exploration of the potential at the FCC-hh. Our work paves the way toward performing LHC searches using this channel.


title: Domain Engineering for Applied Monocular Reconstruction of Parametric Faces

abstract: Many modern online 3D applications and video games rely on parametric models of human faces for creating believable avatars. However, manually reproducing someone's facial likeness with a parametric model is difficult and time-consuming. Machine Learning solution for that task is highly desirable but is also challenging. The paper proposes a novel approach to the so-called Face-to-Parameters problem (F2P for short), aiming to reconstruct a parametric face from a single image. The proposed method utilizes synthetic data, domain decomposition, and domain adaptation to address multifaceted challenges in solving the F2P. The open-sourced codebase illustrates our key observations and provides means for quantitative evaluation. The presented approach proves practical in an industrial application; it improves accuracy and allows for more efficient models training. The techniques have the potential to extend to other types of parametric models.


title: Embedding Unicritical Connectedness Loci

abstract: In this article, for degree $d\geq 1$, we construct an embedding $\Phi_d $ of the connectedness locus $\mathcal{M}_{d+1}$ of the polynomials $z^{d+1}+c$ into the connectedness locus of degree $2d+1$ bicritical odd polynomials.


title: A spatial variance-smoothing area level model for small area estimation of demographic rates

abstract: Accurate estimates of subnational health and demographic indicators are critical for informing health policy decisions. Many countries collect relevant data using complex household surveys, but when data are limited, direct survey weighted estimates of small area proportions may be unreliable. Area level models treating these direct estimates as response data can improve precision but often require known sampling variances of the direct estimators for all areas. In practice, the sampling variances are typically estimated, so standard approaches do not account for a key source of uncertainty. In order to account for variability in the estimated sampling variances, we propose a hierarchical Bayesian spatial area level model that smooths both the estimated means and sampling variances to produce point and interval estimates of small area proportions. Our model explicitly targets estimation of small area proportions rather than means of continuous variables and we consider examples of both moderate and low prevalence events. We demonstrate the performance of our approach via simulation and application to vaccination coverage and HIV prevalence data from the Demographic and Health Surveys.


title: Computational Design of Crescent Shaped Promising NonFullerene Acceptors with 2,3-quinoxaline,1,4-dihydro Core and Different Electron-withdrawing Terminal Units for Photovoltaic Applications

abstract: This study aims to design a series of non-fullerene acceptors (NFAs) for photovoltaic applications having 2,3-quinoxalinedione,1,4-dihydro fused thiophene derivative as the core unit and 1,1-dicyanomethylene-3-indanone (IC) derivatives and different {\pi}-conjugated molecules other than IC as terminal acceptor units. All the investigated NFAs are found air-stable as the computed highest occupied molecular orbitals (HOMOs) are below the air oxidation threshold (ca. -5.27 eV vs. saturated calomel electrode). The studied NFAs can act as potential non-fullerene acceptor candidates as they are found to have sufficient open-circuit voltage (Voc) and fill factor (FF) ranging from 0.62-1.41 eV and 83%-91%, respectively. From the anisotropic mobility analysis, it is noticed that the studied NFAs except dicyano-rhodanine terminal unit containing NFA, exhibit better electron mobility than the hole mobility, and therefore, they can be more promising electron transporting acceptor materials in the active layer of an organic photovoltaic cell. From the optical absorption analysis, it is noted that all the designed NFAs have the maximum absorption spectra ranging from 597 nm-730 nm, which lies in the visible region and near infra-red (IR) region of the solar spectrum. The computed light-harvesting efficiencies for the PM6 (thiophene derivative donor selected in our study): NFA blends are found to lie in the range of 0.9589-0.9957, which indicates efficient light-harvesting by the PM6:NFA blends during photovoltaic device operation.


title: Make Acoustic and Visual Cues Matter: CH-SIMS v2.0 Dataset and AV-Mixup Consistent Module

abstract: Multimodal sentiment analysis (MSA), which supposes to improve text-based sentiment analysis with associated acoustic and visual modalities, is an emerging research area due to its potential applications in Human-Computer Interaction (HCI). However, the existing researches observe that the acoustic and visual modalities contribute much less than the textual modality, termed as text-predominant. Under such circumstances, in this work, we emphasize making non-verbal cues matter for the MSA task. Firstly, from the resource perspective, we present the CH-SIMS v2.0 dataset, an extension and enhancement of the CH-SIMS. Compared with the original dataset, the CH-SIMS v2.0 doubles its size with another 2121 refined video segments with both unimodal and multimodal annotations and collects 10161 unlabelled raw video segments with rich acoustic and visual emotion-bearing context to highlight non-verbal cues for sentiment prediction. Secondly, from the model perspective, benefiting from the unimodal annotations and the unsupervised data in the CH-SIMS v2.0, the Acoustic Visual Mixup Consistent (AV-MC) framework is proposed. The designed modality mixup module can be regarded as an augmentation, which mixes the acoustic and visual modalities from different videos. Through drawing unobserved multimodal context along with the text, the model can learn to be aware of different non-verbal contexts for sentiment prediction. Our evaluations demonstrate that both CH-SIMS v2.0 and AV-MC framework enables further research for discovering emotion-bearing acoustic and visual cues and paves the path to interpretable end-to-end HCI applications for real-world scenarios.


title: Dynamics of the $\Lambda$CDM model of the universe from the aspect of the dynamical systems theory

abstract: In this paper we exploit the theory of the dynamical systems to study the dynamics of the standard cosmological model of the universe, which is known as the $\Lambda$CDM model. We assume that the matter content in our universe consists of barotropic perfect fluids without mutual interaction. Furthermore, we present the appropriate physical interpretation, as well as new dependencies between the scale expansion factor of the universe and cosmological density parameters.


title: Unifying Generative Models with GFlowNets and Beyond

abstract: There are many frameworks for deep generative modeling, each often presented with their own specific training algorithms and inference methods. Here, we demonstrate the connections between existing deep generative models and the recently introduced GFlowNet framework, a probabilistic inference machine which treats sampling as a decision-making process. This analysis sheds light on their overlapping traits and provides a unifying viewpoint through the lens of learning with Markovian trajectories. Our framework provides a means for unifying training and inference algorithms, and provides a route to shine a unifying light over many generative models. Beyond this, we provide a practical and experimentally verified recipe for improving generative modeling with insights from the GFlowNet perspective.


title: Topological dynamics of kaleidoscopic groups

abstract: Kaleidoscopic groups are a class of permutation groups recently introduced by Duchesne, Monod, and Wesolek. Starting with a permutation group $\Gamma$, the kaleidoscopic construction produces another permutation group $\mathcal{K}(\Gamma)$ which acts on a Wa\.{z}ewski dendrite (a densely branching tree-like compact space). In this paper, we study how the topological dynamics of $\mathcal{K}(\Gamma)$ can be expressed in terms of the one of $\Gamma$, when the group $\Gamma$ is transitive. By proving a Ramsey theorem for decorated rooted trees, we show that the universal minimal flow (UMF) of $\mathcal{K}(\Gamma)$ is metrizable iff $\Gamma$ is oligomorphic and the UMF of $\Gamma$ is metrizable. More generally, we give concrete calculations, in an appropriate model-theoretic framework, of the UMF of $\mathcal{K}(\Gamma)$ when the UMF of a point stabilizer $\Gamma_c$ has a comeager orbit. Our results also give a large class of examples of non-metrizable UMFs with a comeager orbit. These results extend previous work of Kwiatkowska and Duchesne about the full homeomorphism groups.


title: Automatic counting of mounds on UAV images: combining instance segmentation and patch-level correction

abstract: Site preparation by mounding is a commonly used silvicultural treatment that improves tree growth conditions by mechanically creating planting microsites called mounds. Following site preparation, the next critical step is to count the number of mounds, which provides forest managers with a precise estimate of the number of seedlings required for a given plantation block. Counting the number of mounds is generally conducted through manual field surveys by forestry workers, which is costly and prone to errors, especially for large areas. To address this issue, we present a novel framework exploiting advances in Unmanned Aerial Vehicle (UAV) imaging and computer vision to accurately estimate the number of mounds on a planting block. The proposed framework comprises two main components. First, we exploit a visual recognition method based on a deep learning algorithm for multiple object detection by pixel-based segmentation. This enables a preliminary count of visible mounds, as well as other frequently seen objects (e.g. trees, debris, accumulation of water), to be used to characterize the planting block. Second, since visual recognition could limited by several perturbation factors (e.g. mound erosion, occlusion), we employ a machine learning estimation function that predicts the final number of mounds based on the local block properties extracted in the first stage. We evaluate the proposed framework on a new UAV dataset representing numerous planting blocks with varying features. The proposed method outperformed manual counting methods in terms of relative counting precision, indicating that it has the potential to be advantageous and efficient in difficult situations.


title: Merged-GHCIDR: Geometrical Approach to Reduce Image Data

abstract: The computational resources required to train a model have been increasing since the inception of deep networks. Training neural networks on massive datasets have become a challenging and time-consuming task. So, there arises a need to reduce the dataset without compromising the accuracy. In this paper, we present novel variations of an earlier approach called reduction through homogeneous clustering for reducing dataset size. The proposed methods are based on the idea of partitioning the dataset into homogeneous clusters and selecting images that contribute significantly to the accuracy. We propose two variations: Geometrical Homogeneous Clustering for Image Data Reduction (GHCIDR) and Merged-GHCIDR upon the baseline algorithm - Reduction through Homogeneous Clustering (RHC) to achieve better accuracy and training time. The intuition behind GHCIDR involves selecting data points by cluster weights and geometrical distribution of the training set. Merged-GHCIDR involves merging clusters having the same labels using complete linkage clustering. We used three deep learning models- Fully Connected Networks (FCN), VGG1, and VGG16. We experimented with the two variants on four datasets- MNIST, CIFAR10, Fashion-MNIST, and Tiny-Imagenet. Merged-GHCIDR with the same percentage reduction as RHC showed an increase of 2.8%, 8.9%, 7.6% and 3.5% accuracy on MNIST, Fashion-MNIST, CIFAR10, and Tiny-Imagenet, respectively.


title: A perspective to navigate the National Laboratory environment for RSE career growth

abstract: This paper shares a perspective for the research software engineering (RSE) community to navigate the National Laboratory landscape. The RSE role is a recent concept that led to organizational challenges to place and evaluate their impact, costs and benefits. The premise is that RSEs are a natural fit into the current landscape and can use traditional career growth strategies in science: publications, community engagements and proposals. Projects funding RSEs can benefit from this synergy and be inclusive on traditional activities. Still, a great deal of introspection is needed to close gaps between the rapidly evolving RSE landscape and the well-established communication patterns in science. This perspective is built upon interactions in industry, academia and government in high-performance computing (HPC) environments. The goal is to contribute to the conversation around RSE career growth and understand their return on investment for scientific projects and sponsors.


title: Deep filter bank regression for super-resolution of anisotropic MR brain images

abstract: In 2D multi-slice magnetic resonance (MR) acquisition, the through-plane signals are typically of lower resolution than the in-plane signals. While contemporary super-resolution (SR) methods aim to recover the underlying high-resolution volume, the estimated high-frequency information is implicit via end-to-end data-driven training rather than being explicitly stated and sought. To address this, we reframe the SR problem statement in terms of perfect reconstruction filter banks, enabling us to identify and directly estimate the missing information. In this work, we propose a two-stage approach to approximate the completion of a perfect reconstruction filter bank corresponding to the anisotropic acquisition of a particular scan. In stage 1, we estimate the missing filters using gradient descent and in stage 2, we use deep networks to learn the mapping from coarse coefficients to detail coefficients. In addition, the proposed formulation does not rely on external training data, circumventing the need for domain shift correction. Under our approach, SR performance is improved particularly in "slice gap" scenarios, likely due to the constrained solution space imposed by the framework.


title: On the improvements of Hardy and Copson inequalities

abstract: In this current work, we revisit the recent improvement of the discrete Hardy's inequality in one dimension and establish an extended improved discrete Hardy's inequality with its optimality. We also study one-dimensional discrete Copson's inequality (E.T. Copson, \emph{Notes on a series of positive terms}, J. London Math. Soc., 2 (1927), 9-12.), and achieve an improvement of the same in a particular case. Further, we study some fundamental structures such as completeness, K\"{o}the-Toeplitz duality, separability, etc. of the sequence spaces which originated from the improved discrete Hardy and Copson inequalities in one dimension.


title: Dissipative Quantum Vortices and Superradiant Scattering

abstract: Inspired by Analogue Gravity, superradiance has been previously investigated in Bose-Einstein condensates (BECs). In this work, we revisit this problem by introducing dissipation to the system. After establishing the possibility of quantum vortices in dissipative BECs, we analyze the propagation of elementary excitations and demonstrate the existence of superradiant modes which can be interpreted in terms of the dissipation of ``antiparticles". Our findings support the possibility of superradiant scattering around dissipative quantum vortices and paves the way for future experimental realization of the phenomenon.


title: Variable binding and substitution for (nameless) dummies

abstract: By abstracting over well-known properties of De Bruijn's representation with nameless dummies, we design a new theory of syntax with variable binding and capture-avoiding substitution. We propose it as a simpler alternative to Fiore, Plotkin, and Turi's approach, with which we establish a strong formal link. We also show that our theory easily incorporates simple types and equations between terms.


title: Properties of Critical Points of the Dinew-Popovici Energy Functional

abstract: Recently, Dinew and Popovici introduced and studied an energy functional $F$ acting on the metrics in the Aeppli cohomology class of a Hermitian-symplectic metric and showed that in dimension 3 its critical points (if any) are K\"ahler. In this article we further investigate the critical points of this functional in higher dimensions and under holomorphic deformations. We first prove that being a critical point for $F$ is a closed property under holomorphic deformations. We then show that the existence of a K\"ahler metric $\omega_k$ in the Aeppli cohomology class is an open property under holomorphic deformations. Furthermore, we consider the case when the $(2,\,0)$-torsion form $\rho_{\omega} ^{2,\,0}$ of $\omega$ is $\partial$-exact and prove that this property is closed under holomorphic deformations. Finally, we give an explicit formula for the differential of $F$ when the $(2,\,0)$-torsion form $\rho_{\omega} ^{2,\,0}$ is $\partial$-exact.


title: Radiative processes as diagnostics of cometary atmospheres

abstract: In this chapter, we provide a review of radiative processes in cometary atmospheres spanning a broad range of wavelengths, from radio to X-rays. We focus on spectral modeling, observational opportunities, and anticipated challenges in the interpretation of new observations, based on our current understanding of the atomic and molecular processes occurring in the atmospheres of small, icy bodies. Close to the surface, comets possess a thermalized atmosphere that traces the irregular shape of the nucleus. Gravity is too low to retain the gas, which flows out to form a large, collisionless exosphere (coma) that interacts with the heliospheric radiation environment. As such, cometary comae represent conditions that are familiar in the context of planetary atmosphere studies. However, the outer comae are tenuous, with densities lower than those found in vacuum chambers on Earth. Comets, therefore, provide us with unique natural laboratories that can be understood using state-of-the-art theoretical treatments of the relevant microphysical processes. Radiative processes offer direct diagnostics of the local physical conditions, as well as the macroscopic coma properties.These can be used to improve our understanding of comets and other astrophysical environments such as icy moons and the interstellar medium.


title: Priority Based Synchronization for Faster Learning in Games

abstract: Learning in games has been widely used to solve many cooperative multi-agent problems such as coverage control, consensus, self-reconfiguration or vehicle-target assignment. One standard approach in this domain is to formulate the problem as a potential game and to use an algorithm such as log-linear learning to achieve the stochastic stability of globally optimal configurations. Standard versions of such learning algorithms are asynchronous, i.e., only one agent updates its action at each round of the learning process. To enable faster learning, we propose a synchronization strategy based on decentralized random prioritization of agents, which allows multiple agents to change their actions simultaneously when they do not affect each other's utility or feasible actions. We show that the proposed approach can be integrated into any standard asynchronous learning algorithm to improve the convergence speed while maintaining the limiting behavior (e.g., stochastically stable configurations). We support our theoretical results with simulations in a coverage control scenario.


title: Extreme Spatial Dispersion in Nonlocally-Resonant Elastic Metamaterials

abstract: To date, the vast majority of architected materials have leveraged two physical principles to control wave behavior, namely Bragg interference and local resonances. Here, we describe a third path: structures that accommodate a finite number of delocalized zero-energy modes, leading to anomalous dispersion cones that nucleate from extreme spatial dispersion at 0 Hz. We explain how to design such zero-energy modes in the context of elasticity and show that many of the landmark wave properties of metamaterials can also be induced at an extremely subwavelength scale by the associated anomalous cones, without suffering from the same bandwidth limitations. We then validate our theory through a combination of simulations and experiments. Finally, we present an inverse design method to produce anomalous cones at desired locations in momentum space.


title: Generalized quasi, Ioffe-time, and pseudo quark distributions of the pion in the Nambu--Jona-Lasinio model

abstract: We analyze the generalized quasi, Ioffe-time, and pseudo distributions of the valence quarks in the pion at the quark model scale. We use the framework of the Nambu-Jona-Lasinio model and investigate the basic question of how fast the pion has to move to effectively reach the infinite momentum limit, where the approach can provide the information on the generalized parton distribution functions. We consider both the vector distributions and the transversity distributions, related to the spin densities. With the developed analytic expressions, we conclude that to effectively approach the infinite momentum limit, one roughly needs the pion momenta of the order of $\sim 3$GeV. We also explore polynomiality of the quasi distributions and study the generalized quasi form factors. The issue of separability of the transverse and longitudinal dynamics in the model is studied with the help of the generalized Ioffe-time distributions, with the conclusion that the breaking is not substantial, unless the momentum transfer $t$ is large. We also provide an estimate of the range of the Ioffe-time values needed to obtain the generalized parton distributions with a reasonable accuracy. Our model results, which are analytic or semi-analytic, provide a valuable insight into the theoretical formalism and illustrate the intricate features of the investigated distributions.


title: Three Examples in the Dynamical Systems Theory

abstract: We present three explicit curious simple examples in the theory of dynamical systems. The first one is an example of two analytic diffeomorphisms $R$, $S$ of a closed two-dimensional annulus that possess the intersection property but their composition $RS$ does not ($R$ being just the rotation by $\pi/2$). The second example is that of a non-Lagrangian $n$-torus $L_0$ in the cotangent bundle $T^\ast{\mathbb T}^n$ of ${\mathbb T}^n$ ($n\geq 2$) such that $L_0$ intersects neither its images under almost all the rotations of $T^\ast{\mathbb T}^n$ nor the zero section of $T^\ast{\mathbb T}^n$. The third example is that of two one-parameter families of analytic reversible autonomous ordinary differential equations of the form $\dot{x}=f(x,y)$, $\dot{y}=\mu g(x,y)$ in the closed upper half-plane $\{y\geq 0\}$ such that for each family, the corresponding phase portraits for $0<\mu<1$ and for $\mu>1$ are topologically non-equivalent. The first two examples are expounded within the general context of symplectic topology.


title: Characterizing and quantifying the incompatibility of quantum instruments

abstract: Incompatibility of quantum devices is one of the cornerstones of quantum theory, and the incompatibility of quantum measurements and channels has been linked to quantum advantage in certain information theoretic tasks. In this work, we focus on the less well-explored question of the incompatibility of quantum instruments, that is, devices that describe the measurement process in its entirety, accounting for both the classical measurement outcome and the quantum post-measurement state. In particular, we focus on the recently introduced notion of parallel compatibility of instruments, which has been argued to be a natural notion of instrument compatibility. We introduce -- similarly to the case of measurements and channels -- the incompatibility robustness of quantum instruments and derive universal bounds on it. We then prove that post-processing of quantum instruments is a free operation for parallel compatibility. Last, we provide families of instruments for which our bounds are tight, and families of compatible indecomposable instruments.


title: A Discrete-to-Continuum Model of Weakly Interacting Incommensurate Two-Dimensional Lattices: The hexagonal case

abstract: In this paper, we extend the discrete-to-continuum procedure we developed in our previous work to derive a continuum variational model for a hexagonal twisted bilayer material in which one layer is fixed. We use a discrete energy containing elastic terms and a weak interaction term that could utilize either a Lennard-Jones potential or a Kolmogorov-Crespi potential. To validate our modeling, we perform numerical simulations to compare the predictions of the original discrete model and the proposed continuum model, which also show an agreement with experimental findings for, e.g., twisted bilayer graphene.


title: Multiscale major factor selections for complex system data with structural dependency and heterogeneity

abstract: Based on structured data derived from large complex systems, we computationally further develop and refine a major factor selection protocol by accommodating structural dependency and heterogeneity among many features to unravel data's information content. Two operational concepts: ``de-associating'' and its counterpart ``shadowing'' that play key roles in our protocol, are reasoned, explained, and carried out via contingency table platforms. This protocol via ``de-associating'' capability would manifest data's information content by identifying which covariate feature-sets do or don't provide information beyond the first identified major factors to join the collection of major factors as secondary members. Our computational developments begin with globally characterizing a complex system by structural dependency between multiple response (Re) features and many covariate (Co) features. We first apply our major factor selection protocol on a Behavioral Risk Factor Surveillance System (BRFSS) data set to demonstrate discoveries of localities where heart-diseased patients become either majorities or further reduced minorities that sharply contrast data's imbalance nature. We then study a Major League Baseball (MLB) data set consisting of 12 pitchers across 3 seasons, reveal detailed multiscale information content regarding pitching dynamics, and provide nearly perfect resolutions to the Multiclass Classification (MCC) problem and the difficult task of detecting idiosyncratic changes of any individual pitcher across multiple seasons. We conclude by postulating an intuitive conjecture that large complex systems related to inferential topics can only be efficiently resolved through discoveries of data's multiscale information content reflecting the system's authentic structural dependency and heterogeneity.


title: Neural network approximation of coarse-scale surrogates in numerical homogenization

abstract: Coarse-scale surrogate models in the context of numerical homogenization of linear elliptic problems with arbitrary rough diffusion coefficients rely on the efficient solution of fine-scale sub-problems on local subdomains whose solutions are then employed to deduce appropriate coarse contributions to the surrogate model. However, in the absence of periodicity and scale separation, the reliability of such models requires the local subdomains to cover the whole domain which may result in high offline costs, in particular for parameter-dependent and stochastic problems. This paper justifies the use of neural networks for the approximation of coarse-scale surrogate models by analyzing their approximation properties. For a prototypical and representative numerical homogenization technique, the Localized Orthogonal Decomposition method, we show that one single neural network is sufficient to approximate the coarse contributions of all occurring coefficient-dependent local sub-problems for a non-trivial class of diffusion coefficients up to arbitrary accuracy. We present rigorous upper bounds on the depth and number of non-zero parameters for such a network to achieve a given accuracy. Further, we analyze the overall error of the resulting neural network enhanced numerical homogenization surrogate model.


title: Single-Stage Broad Multi-Instance Multi-Label Learning (BMIML) with Diverse Inter-Correlations and its application to medical image classification

abstract: described by multiple instances (e.g., image patches) and simultaneously associated with multiple labels. Existing MIML methods are useful in many applications but most of which suffer from relatively low accuracy and training efficiency due to several issues: i) the inter-label correlations(i.e., the probabilistic correlations between the multiple labels corresponding to an object) are neglected; ii) the inter-instance correlations (i.e., the probabilistic correlations of different instances in predicting the object label) cannot be learned directly (or jointly) with other types of correlations due to the missing instance labels; iii) diverse inter-correlations (e.g., inter-label correlations, inter-instance correlations) can only be learned in multiple stages. To resolve these issues, a new single-stage framework called broad multi-instance multi-label learning (BMIML) is proposed. In BMIML, there are three innovative modules: i) an auto-weighted label enhancement learning (AWLEL) based on broad learning system (BLS) is designed, which simultaneously and efficiently captures the inter-label correlations while traditional BLS cannot; ii) A specific MIML neural network called scalable multi-instance probabilistic regression (SMIPR) is constructed to effectively estimate the inter-instance correlations using the object label only, which can provide additional probabilistic information for learning; iii) Finally, an interactive decision optimization (IDO) is designed to combine and optimize the results from AWLEL and SMIPR and form a single-stage framework. Experiments show that BMIML is highly competitive to (or even better than) existing methods in accuracy and much faster than most MIML methods even for large medical image data sets (> 90K images).


title: Profiling Television Watching Behaviour Using Bayesian Hierarchical Joint Models for Time-to-Event and Count Data

abstract: Customer churn prediction is a valuable task in many industries. In telecommunications it presents great challenges, given the high dimensionality of the data, and how difficult it is to identify underlying frustration signatures, which may represent an important driver regarding future churn behaviour. Here, we propose a novel Bayesian hierarchical joint model that is able to characterise customer profiles based on how many events take place within different television watching journeys, and how long it takes between events. The model drastically reduces the dimensionality of the data from thousands of observations per customer to 11 customer-level parameter estimates and random effects. We test our methodology using data from 40 BT customers (20 active and 20 who eventually cancelled their subscription) whose TV watching behaviours were recorded from October to December 2019, totalling approximately half a million observations. Employing different machine learning techniques using the parameter estimates and random effects from the Bayesian hierarchical model as features yielded up to 92\% accuracy predicting churn, associated with 100\% true positive rates and false positive rates as low as 14\% on a validation set. Our proposed methodology represents an efficient way of reducing the dimensionality of the data, while at the same time maintaining high descriptive and predictive capabilities. We provide code to implement the Bayesian model at https://github.com/rafamoral/profiling_tv_watching_behaviour.


title: Real-time probing of magnetic domain wall dynamic

abstract: We present a study of a very seldom used way of measuring magnetic domain wall velocity, which makes it possible to have a real-time probing of the domain movement in the area illuminated by a laser spot. We have compared this method to the most usual one: although the velocities are similar, the different method do not give the same results if the laser spot is too small. It can be explained by a dendritic shape of the domain wall. By changing the size spot, we propose a basic model which describes quite well the transit time in the laser spot as a function of its size and makes it possible to extract the velocity and the depth of the dendrites.


title: Weak Collocation Regression method: fast reveal hidden stochastic dynamics from high-dimensional aggregate data

abstract: Revealing hidden dynamics from the stochastic data is a challenging problem as randomness takes part in the evolution of the data. The problem becomes exceedingly complex when the trajectories of the stochastic data are absent in many scenarios. Here we present an approach to effectively modeling the dynamics of the stochastic data without trajectories based on the weak form of the Fokker-Planck (FP) equation, which governs the evolution of the density function in the Brownian process. Taking the collocations of Gaussian functions as the test functions in the weak form of the FP equation, we transfer the derivatives to the Gaussian functions and thus approximate the weak form by the expectational sum of the data. With a dictionary representation of the unknown terms, a linear system is built and then solved by the regression, revealing the unknown dynamics of the data. Hence, we name the method with the Weak Collocation Regression (WCR) method for its three key components: weak form, collocation of Gaussian kernels, and regression. The numerical experiments show that our method is flexible and fast, which reveals the dynamics within seconds in multi-dimensional problems and can be easily extended to high-dimensional data such as 20 dimensions. WCR can also correctly identify the hidden dynamics of the complex tasks with variable-dependent diffusion and coupled drift, and the performance is robust, achieving high accuracy in the case with noise added.


title: Learned practical guidelines for evaluating Conditional Entropy and Mutual Information in discovering major factors of response-vs-covariate dynamics

abstract: We reformulate and reframe a series of increasingly complex parametric statistical topics into a framework of response-vs-covariate (Re-Co) dynamics that is described without any explicit functional structures. Then we resolve these topics' data analysis tasks by discovering major factors underlying such Re-Co dynamics by only making use of data's categorical nature. The major factor selection protocol at the heart of Categorical Exploratory Data Analysis (CEDA) paradigm is illustrated and carried out by employing Shannon's conditional entropy (CE) and mutual information ($I[Re; Co] $) as two key Information Theoretical measurements. Through the process of evaluating these two entropy-based measurements and resolving statistical tasks, we acquire several computational guidelines for carrying out the major factor selection protocol in a do-and-learn fashion. Specifically, practical guidelines are established for evaluating CE and $I[Re; Co] $ in accord with the criterion called [C1:confirmable]. Via [C1:confirmable] criterion, we make no attempts on acquiring consistent estimations of these theoretical information measurements. All evaluations are carried out on a contingency table platform, upon which the practical guidelines also provide ways of lessening effects of curse of dimensionality. We explicitly carry out six examples of Re-Co dynamics, within each of which, several widely extended scenarios are also explored and discussed.


title: Haar frame characterizations of Besov-Sobolev spaces and optimal embeddings into their dyadic counterparts

abstract: We study the behavior of Haar coefficients in Besov and Triebel-Lizorkin spaces on $\mathbb{R}$, for a parameter range in which the Haar system is not an unconditional basis. First, we obtain a range of parameters, extending up to smoothness $s<1$, in which the spaces $F^s_{p,q}$ and $B^s_{p,q}$ are characterized in terms of doubly oversampled Haar coefficients (Haar frames). Secondly, in the case that $1/p<s<1$ and $f\in B^s_{p,q}$, we actually prove that the usual Haar coefficient norm, $\|\{2^j\langle f, h_{j,\mu}\rangle\}_{j,\mu}\|_{b^s_{p,q}}$ remains equivalent to $\|f\|_{B^s_{p,q}}$, i.e., the classical Besov space is a closed subset of its dyadic counterpart. At the endpoint case $s=1$ and $q=\infty$, we show that such an expression gives an equivalent norm for the Sobolev space $W^{1}_p(\mathbb{R})$, $1<p<\infty$, which is related to a classical result by Bo\v{c}karev. Finally, in several endpoint cases we clarify the relation between dyadic and standard Besov and Triebel-Lizorkin spaces.


title: AstroPix: Novel monolithic active pixel silicon sensors for future gamma-ray telescopes

abstract: Space-based gamma-ray telescopes such as the Fermi Large Area Telescope have used single sided silicon strip detectors to track secondary charged particles produced by primary gamma-rays with high resolution. At the lower energies targeted by keV-MeV telescopes, two dimensional position information within a single detector is required for event reconstruction - especially in the Compton regime. This work describes the development of monolithic CMOS active pixel silicon sensors - AstroPix - as a novel technology for use in future gamma-ray telescopes. Based upon sensors (ATLASPix) designed for use in the ATLAS detector at the Large Hadron Collider, AstroPix has the potential to maintain high performance while reducing noise with low power consumption. This is achieved with the dual detection and readout capabilities in each CMOS pixel. The status of AstroPix development and testing, as well as outlook for future testing and application, will be presented.


title: Presolar O- and C-anomalous grains in unequilibrated ordinary chondrite matrices

abstract: Presolar grains are trace components in chondrite matrices. Their abundances and compositions have been systematically studied in carbonaceous chondrites but rarely in situ in other major chondrite classes. We have conducted a NanoSIMS isotopic search for presolar grains with O- and C-anomalous isotopic compositions in the matrices of the unequilibrated ordinary chondrites Semarkona, Meteorite Hills 00526, and Northwest Africa 8276. The matrices of even the most primitive ordinary chondrites have been aqueously altered and/or thermally metamorphosed, destroying their presolar grain populations to varying extents. In addition to randomly placed isotope maps, we targeted recently reported, relatively pristine Semarkona matrix areas to better explore the original inventory of presolar grains. In all samples, we found a total of 122 O-anomalous grains (silicates + oxides), 79 SiC grains, and 22 C-anomalous carbonaceous grains (organics, graphites). Average matrix-normalized abundances are 151 ppm O-anomalous grains, 53 ppm SiC grains and 56 ppm carbonaceous grains in Semarkona, 55 ppm (O-anom.), 22 ppm (SiC) and 3 ppm (carb.) in MET 00526 and 12 ppm (O-anom.), 15 ppm (SiC) and 1 ppm (carb.) in NWA 8276. In relatively pristine ordinary chondrites and in primitive carbonaceous and C-ungrouped chondrites, the O and C isotopic composition of presolar grains and their matrix-normalized abundances are similar, despite the likely differences in chondrite-formation time and nebular location. These results suggest a relatively homogenous distribution of presolar dust across major chondrite-forming reservoirs in the solar nebula. Secondary asteroidal processes are mainly responsible for differences in presolar grain abundances between and within chondrites, highlighting the need to identify and target the most pristine chondrite matrices for such studies.


title: Energy Management of Multi-mode Hybrid Electric Vehicles based on Hand-shaking Multi-agent Learning

abstract: The future transportation system will be a multi-agent network where connected AI agents can work together to address the grand challenges in our age, e.g., mitigation of real-world driving energy consumption. Distinguished from the existing research on vehicle energy management, which decoupled multiple inputs and multiple outputs (MIMO) control into single-output(MISO) control, this paper studied a multi-agent deep reinforcement learning (MADRL) framework to deal with multiple control outputs simultaneously. A new hand-shaking strategy is proposed for the DRL agents by introducing an independence ratio, and a parametric study is conducted to obtain the best setting for the MADRL framework. The study suggested that the MADRL with an independence ratio of 0.2 is the best, and more than 2.4% of energy can be saved over the conventional DRL framework.


title: Non-convergence of the rotating stratified flows toward the quasi-geostrophic dynamics

abstract: The quasi-geostrohpic (QG) equation has been used to capture the asymptotic dynamics of the rotating stratified Boussinesq flows in the regime of strong stratification and rapid rotation. In this paper, we establish the invalidity of such approximation when the rotation-stratification ratio is either fixed to be unity or tends to unity sufficiently slowly in the asymptotic regime: the difference between the rotating stratified Boussinesq flow and the corresponding QG flow remains strictly away from zero, independently of the intensities of rotation and stratification. In contrast, we also show that the convergence occurs when the rotation-stratification ratio is fixed to be a number other than unity or converges to unity sufficiently fast. As a corollary, we compute a lower bound of the convergence rate, which blows up as the rotation-stratification ratio goes to unity.


title: Single and Attractive: Uniqueness and Stability of Economic Equilibria under Monotonicity Assumptions

abstract: This paper characterizes equilibrium properties of a broad class of economic models that allow multiple heterogeneous agents to interact in heterogeneous manners across several markets. Our key contribution is a new theorem providing sufficient conditions for uniqueness and stability of equilibria in this class of models. To illustrate the applicability of our theorem, we characterize the general equilibrium properties of two commonly used quantitative trade models. Specifically, our analysis provides a first proof of uniqueness and stability of the equilibrium in multi-country trade models featuring (i) multiple sectors, or (ii) heterogeneity across countries in terms of their labor cost shares. These examples also provide a practical toolkit for future research on how our theorem can be applied to establish uniqueness and stability of equilibria in a broad set of economic models.


title: Progress in Invariant and Preserving Transforms for the Ratio of Co-Linear Points in the Desargues Affine Plane Skew Field

abstract: This paper introduces invariant transforms that preserve the ratio of either two or three co-linear points in the Desargues affine plane skew field. The results given here have a clean, geometric presentation based based Desargues affine plan axiomatic and definitions with skew field properties. The main results in this paper, are (1) ratio of two and three points is \emph{Invariant} under transforms: Inversion, Natural Translation, Natural dilatation, Mobi\"us Transform, in a line of Desargues affine plane. (2) parallel projection of a pair of lines in the Desargues affine plane preserves the ratio of two and three points, (3) translations in the Desargues affine plane preserve the ratio of 2 and 3 points and (4) dilatation in the Desargues affine plane preserve the ratio of 2 and 3 points.


title: Do Unions Shape Political Ideologies at Work?

abstract: Labor unions' greatest potential for political influence likely arises from their direct connection to millions of individuals at the workplace. There, they may change the ideological positions of both unionizing workers and their non-unionizing management. In this paper, we analyze the workplace-level impact of unionization on workers' and managers' political campaign contributions over the 1980-2016 period in the United States. To do so, we link establishment-level union election data with transaction-level campaign contributions to federal and local candidates. In a difference-in-differences design that we validate with regression discontinuity tests and a novel instrumental variables approach, we find that unionization leads to a leftward shift of campaign contributions. Unionization increases the support for Democrats relative to Republicans not only among workers but also among managers, which speaks against an increase in political cleavages between the two groups. We provide evidence that our results are not driven by compositional changes of the workforce and are weaker in states with Right-to-Work laws where unions can invest fewer resources in political activities.


title: DFI: An Interprocedural Value-Flow Analysis Framework that Scales to Large Codebases

abstract: Context- and flow-sensitive value-flow information is an important building block for many static analysis tools. Unfortunately, current approaches to compute value-flows do not scale to large codebases, due to high memory and runtime requirements. This paper proposes a new scalable approach to compute value-flows via graph reachability. To this end, we develop a new graph structure as an extension of LLVM IR that contains two additional operations which significantly simplify the modeling of pointer aliasing. Further, by processing nodes in the opposite direction of SSA def-use chains, we are able to minimize the tree width of the resulting graph. This allows us to employ efficient tree traversal algorithms in order to resolve graph reachability. We present a value-flow analysis framework,DFI, implementing our approach. We compare DFI against two state-of-the-art value-flow analysis frameworks, Phasar and SVF, to extract value-flows from 4 real-world software projects. Given 32GB of memory, Phasar and SVF are unable to complete analysis of larger projects such as OpenSSL or FFmpeg, while DFI is able to complete all evaluations. For the subset of benchmarks that Phasar and SVF do handle, DFI requires significantly less memory (1.5% of Phasar's, 6.4% of SVF's memory footprint on average) and runs significantly faster (23x speedup over Phasar, 57x compared to SVF). Our analysis shows that, in contrast to previous approaches, DFI's memory and runtime requirements scale almost linearly with the number of analyzed instructions.


title: Personal Identity and Uncertainty in the Everett Interpretation of Quantum Mechanics

abstract: The deterministic nature of EQM (the Everett Interpretation of Quantum Mechanics) seems to be inconsistent to the use of probability in EQM, giving rise to what is known as the "incoherence problem". In this paper, I explore approaches to solve the incoherence problem of EQM via pre-measurement uncertainty. Previous discussions on the validity of pre-measurement uncertainty have leaned heavily on intricate aspects of the theory of semantics and reference, the embrace of either 4-dimensionalism or 3-dimensionalism of personhood, or the ontology of EQM. In this paper, I argue that, regardless of the adoption of whether 3-dimensionalism or 4-dimensionalism of personhood, the overlapping view or the divergence view of the ontology of EQM, the pre-measurement uncertainty approach to the incoherence problem of EQM can only archive success while contradicting fundamental principles of physicalism. I also use the divergence view of EQM as an example to illustrate my analyses.


title: Enumerative geometry meets statistics, combinatorics and topology

abstract: We explain connections among several, a priori unrelated, areas of mathematics: combinatorics, algebraic statistics, topology and enumerative algebraic geometry. Our focus is on discrete invariants, strongly related to the theory of Lorentzian polynomials. The main concept joining the mentioned fields is a linear space of matrices.


title: Spacelike thermal correlators are almost time-independent

abstract: We show that, in relativistic field theories, the thermal correlation function of N bosonic operators <O_1(x_1,t_1) O_2(x_2,t_2) .. O_N(x_N,t_N)> at sufficiently spacelike-separated points shows exponentially weak dependence on the time variables t_1,...,t_N, when the space separations are held fixed. For classical thermal field theory, the time dependence vanishes when all points are spacelike separated


title: Multiscale reduced-order modeling of fused filament fabricated composites

abstract: Defects such as voids are observed at multiple length scales of an additively manufactured composite material. Modeling such defects and their multiscale interaction is crucial for the materials performance prediction. In this work, we study as-built defects in fused filament fabricated Polycarbonate/Short Carbon Fiber (PC/SCF) composite samples. The microscale and mesoscale voids along with the mesoscale layer orientations have been studied using a mechanistic reduced-order model. Our result indicates that the microscale intrabead voids interact with the mesoscale interbead voids and significantly degrade the mechanical response of the printed composites compared to the microscale microstructure without voids. The mesoscale layer orientations also influence the stress-strain response and show better performance when the load is applied to the bead direction. The efficient reduced-order modeling approach used in this work provides a way to evaluate multiscale design aspects of additively manufactured composite materials.


title: Polynuclear growth and the Toda lattice

abstract: It is shown that the polynuclear growth model is a completely integrable Markov process in the sense that its transition probabilities are given by Fredholm determinants of kernels produced by a scattering transform based on the invariant measures modulo the absolute height, continuous time simple random walks. From the linear evolution of the kernels, it is shown that the $n$-point distributions are determinants of $n\times n$ matrices evolving according to the two dimensional non-Abelian Toda lattice.


title: Modeling and Active Learning for Experiments with Quantitative-Sequence Factors

abstract: A new type of experiment that aims to determine the optimal quantities of a sequence of factors is eliciting considerable attention in medical science, bioengineering, and many other disciplines. Such studies require the simultaneous optimization of both quantities and the sequence orders of several components which are called quantitative-sequence (QS) factors. Given the large and semi-discrete solution spaces in such experiments, efficiently identifying optimal or near-optimal solutions by using a small number of experimental trials is a nontrivial task. To address this challenge, we propose a novel active learning approach, called QS-learning, to enable effective modeling and efficient optimization for experiments with QS factors. QS-learning consists of three parts: a novel mapping-based additive Gaussian process (MaGP) model, an efficient global optimization scheme (QS-EGO), and a new class of optimal designs (QS-design). The theoretical properties of the proposed method are investigated, and optimization techniques using analytical gradients are developed. The performance of the proposed method is demonstrated via a real drug experiment on lymphoma treatment and several simulation studies.


title: Semi-Riemannian Structures on Manifolds

abstract: This text is an introductory review of the basic concepts of the theory of semi-Riemannian geometry on real finite-dimensional manifolds without boundary.


title: A Survey on Generative Diffusion Model

abstract: Deep generative models have unlocked another profound realm of human creativity. By capturing and generalizing patterns within data, we have entered the epoch of all-encompassing Artificial Intelligence for General Creativity (AIGC). Notably, diffusion models, recognized as one of the paramount generative models, materialize human ideation into tangible instances across diverse domains, encompassing imagery, text, speech, biology, and healthcare. To provide advanced and comprehensive insights into diffusion, this survey comprehensively elucidates its developmental trajectory and future directions from three distinct angles: the fundamental formulation of diffusion, algorithmic enhancements, and the manifold applications of diffusion. Each layer is meticulously explored to offer a profound comprehension of its evolution. Structured and summarized approaches are presented in https://github.com/chq1155/A-Survey-on-Generative-Diffusion-Model.


title: Large spin Hall conductivity in epitaxial thin films of kagome antiferromagnet Mn$_3$Sn at room temperature

abstract: Mn$_3$Sn is a non-collinear antiferromagnetic quantum material that exhibits a magnetic Weyl semimetallic state and has great potential for efficient memory devices. High-quality epitaxial $c$-plane Mn$_3$Sn thin films have been grown on a sapphire substrate using a Ru seed layer. Using spin pumping induced inverse spin Hall effect measurements on $c$-plane epitaxial Mn$_3$Sn/Ni$_{80}$Fe$_{20}$, we measure spin-diffusion length ($\lambda_{\rm Mn_3Sn}$), and spin Hall conductivity ($\sigma_{\rm{SH}}$) of Mn$_3$Sn thin films: $\lambda_{\rm Mn_3Sn}=0.42\pm 0.04$ nm and $\sigma_{\rm{SH}}=-702~\hbar/ e~\Omega^{-1}$cm$^{-1}$. While $\lambda_{\rm Mn_3Sn}$ is consistent with earlier studies, $\sigma_{\rm{SH}}$ is an order of magnitude higher and of the opposite sign. The behavior is explained on the basis of excess Mn, which shifts the Fermi level in our films, leading to the observed behavior. Our findings demonstrate a technique for engineering $\sigma_{\rm{SH}}$ of Mn$_3$Sn films by employing Mn composition for functional spintronic devices.


title: On Modelling Sputtering of Interstellar Grain Ices

abstract: In the interstellar medium (ISM), the formation of complex organic molecules (COMs) is largely facilitated by surface reactions. However, in cold dark clouds, thermal desorption of COMs is inefficient because of the lack of thermal energy to overcome binding energies to the grain surface. Non-thermal desorption methods are therefore important explanations for the gas-phase detection of many COMs that are primarily formed on grains. Here we present a new non-thermal desorption process: cosmic ray sputtering of grain ice surfaces based on water, carbon dioxide, and a simple mixed ice. Our model applies estimated rates of sputtering to the 3-phase rate equation model Nautilus-1.1, where this inclusion results in enhanced gas phase abundances for molecules produced by grain reactions such as methanol (CH$_{3}$OH) and methyl formate (HCOOCH$_{3}$). Notably, species with efficient gas phase destruction pathways exhibit less of an increase in models with sputtering compared to other molecules. These model results suggest that sputtering is an efficient, non-specific method of non-thermal desorption that should be considered as an important factor in future chemical models.


title: Learn to Adapt to New Environment from Past Experience and Few Pilot

abstract: In recent years, deep learning has been widely applied in communications and achieved remarkable performance improvement. Most of the existing works are based on data-driven deep learning, which requires a significant amount of training data for the communication model to adapt to new environments and results in huge computing resources for collecting data and retraining the model. In this paper, we will significantly reduce the required amount of training data for new environments by leveraging the learning experience from the known environments. Therefore, we introduce few-shot learning to enable the communication model to generalize to new environments, which is realized by an attention-based method. With the attention network embedded into the deep learning-based communication model, environments with different power delay profiles can be learnt together in the training process, which is called the learning experience. By exploiting the learning experience, the communication model only requires few pilot blocks to perform well in the new environment. Through an example of deep-learning-based channel estimation, we demonstrate that this novel design method achieves better performance than the existing data-driven approach designed for few-shot learning.


title: Learning Interpretable Temporal Properties from Positive Examples Only

abstract: We consider the problem of explaining the temporal behavior of black-box systems using human-interpretable models. To this end, based on recent research trends, we rely on the fundamental yet interpretable models of deterministic finite automata (DFAs) and linear temporal logic (LTL) formulas. In contrast to most existing works for learning DFAs and LTL formulas, we rely on only positive examples. Our motivation is that negative examples are generally difficult to observe, in particular, from black-box systems. To learn meaningful models from positive examples only, we design algorithms that rely on conciseness and language minimality of models as regularizers. To this end, our algorithms adopt two approaches: a symbolic and a counterexample-guided one. While the symbolic approach exploits an efficient encoding of language minimality as a constraint satisfaction problem, the counterexample-guided one relies on generating suitable negative examples to prune the search. Both the approaches provide us with effective algorithms with theoretical guarantees on the learned models. To assess the effectiveness of our algorithms, we evaluate all of them on synthetic data.


title: The Coronavirus Tradeoff -- Life vs. Economy: Handling the Tradeoff Rationally and Optimally

abstract: The recent coronavirus outbreak has made governments face an inconvenient tradeoff choice, i.e. the choice between saving lives and saving the economy, forcing them to make immensely consequential decisions among alternative courses of actions without knowing what the ultimate results would be for the society as a whole. This paper attempts to frame the coronavirus tradeoff problem as an economic optimization problem and proposes mathematical optimization methods to make rationally optimal decisions when faced with trade-off situations such as those involved in managing through the recent coronavirus pandemic. The framework introduced and the method proposed in this paper are on the basis of the theory of rational choice at a societal level, which assumes that the government is a rational, benevolent agent that systematically and purposefully takes into account the social marginal costs and social marginal benefits of its actions to its citizens and makes decisions that maximize the society's well-being as a whole. We approach solving this tradeoff problem from a static as well as a dynamic point of view. Finally, we provide several numerical examples clarifying how the proposed framework and methods can be applied in the real-world context.


title: Environmental Impacts of MSW Collection Route Optimization Using Gis: A Case Study Of 10th Of Ramadan City, Egypt

abstract: For municipal solid waste (MSW) collection purposes, optimal routes for collection need to be determined for trucks to improve the impact on both the environment and the collection cost. This improvement leads to benefits such as decreasing truck emissions, and pollution and improving the collection efficiency of the process. In this research, a case study is developed using the ArcMap Network Analyst tool to plan the MSW collection and transportation scheme from the city of the 10th of Ramadan to a new proposed landfill location. Several collection scenarios are analyzed and evaluated in terms of total travel time and distance to find the best operation variables such as the number of collection trucks and their routes. Results showed that the system improved the total travel time of waste collection by (26.5%). However, due to the increased number of trucks, the traveled distance increased by (90%) in the proposed scenario.


title: Measuring Price Risk Aversion through Indirect Utility Functions: A Laboratory Experiment

abstract: The present paper introduces a theoretical framework through which the degree of risk aversion with respect to uncertain prices can be measured through the context of the indirect utility function (IUF) using a lab experiment. First, the paper introduces the main elements of the duality theory (DT) in economics. Next, it proposes the context of IUFs as a suitable framework for measuring price risk aversion through varying prices as opposed to varying payoffs, which has been common practice in the mainstream of experimental economics. Indeed, the DT in modern microeconomics indicates that the direct utility function (DUF) and the IUF are dual to each other, implicitly suggesting that the degree of risk aversion (or risk seeking) that a given rational subject exhibits in the context of the DUF must be equivalent to the degree of risk aversion (or risk seeking) elicited through the context of the IUF. This paper tests the accuracy of this theoretical prediction through a lab experiment using a series of relevant statistical tests. This study uses the multiple price list (MPL) method, which has been one of the most popular sets of elicitation procedures in experimental economics to study risk preferences in the experimental laboratory using non-interactive settings. The key findings of this study indicate that price risk aversion (PrRA) is statistically significantly greater than payoff risk aversion (PaRA). Additionally, it is shown that the risk preferences elicited under the expected utility theory (EUT) are somewhat subject to context. Other findings imply that the risk premium (RP), as a measure of willingness to pay for insuring an uncertain situation, is statistically significantly greater for stochastic prices compared to that for stochastic payoffs. These results are robust across different MPL designs and various statistical tests that are utilized.

categories: econ.GN q-fin.EC q-fin.GN q-fin.MF q-fin.RM q-fin.TR


title: Covariant holographic reflected entropy in $AdS_3/CFT_2$

abstract: We substantiate a covariant proposal for the holographic reflected entropy in $CFT$s dual to non-static $AdS$ geometries from the bulk extremal entanglement wedge cross section in the literature with explicit computations in the $AdS_3/CFT_2$ scenario. In this context we obtain the reflected entropy for zero and finite temperature time dependent bipartite mixed states in $CFT_{1+1}$s with a conserved charge dual to bulk rotating extremal and non-extremal BTZ black holes through a replica technique. Our results match exactly with the corresponding extremal entanglement wedge cross section for these bulk geometries in the literature. This constitutes a significant consistency check for the proposal and its possible extension to the corresponding higher dimensional $AdS/CFT$ scenario.


title: Concentration of polynomial random matrices via Efron-Stein inequalities

abstract: Analyzing concentration of large random matrices is a common task in a wide variety of fields. Given independent random variables, many tools are available to analyze random matrices whose entries are linear in the variables, e.g. the matrix-Bernstein inequality. However, in many applications, we need to analyze random matrices whose entries are polynomials in the variables. These arise naturally in the analysis of spectral algorithms, e.g., Hopkins et al. [STOC 2016], Moitra-Wein [STOC 2019]; and in lower bounds for semidefinite programs based on the Sum of Squares hierarchy, e.g. Barak et al. [FOCS 2016], Jones et al. [FOCS 2021]. In this work, we present a general framework to obtain such bounds, based on the matrix Efron-Stein inequalities developed by Paulin-Mackey-Tropp [Annals of Probability 2016]. The Efron-Stein inequality bounds the norm of a random matrix by the norm of another simpler (but still random) matrix, which we view as arising by "differentiating" the starting matrix. By recursively differentiating, our framework reduces the main task to analyzing far simpler matrices. For Rademacher variables, these simpler matrices are in fact deterministic and hence, analyzing them is far easier. For general non-Rademacher variables, the task reduces to scalar concentration, which is much easier. Moreover, in the setting of polynomial matrices, our results generalize the work of Paulin-Mackey-Tropp. Using our basic framework, we recover known bounds in the literature for simple "tensor networks" and "dense graph matrices". Using our general framework, we derive bounds for "sparse graph matrices", which were obtained only recently by Jones et al. [FOCS 2021] using a nontrivial application of the trace power method, and was a core component in their work. We expect our framework to be helpful for other applications involving concentration phenomena for nonlinear random matrices.

categories: cs.CC cs.DM cs.LG math.PR math.ST stat.TH


title: Quantum Electrodynamical Metamaterials

abstract: Recent experiments have revealed ultrastrong coupling between light and matter as a promising avenue for modifying material properties, such as electrical transport, chemical reaction rates, and even superconductivity. Here, we explore (ultra)strong coupling as a means for manipulating the optical response of metamaterials based on ensembles of constituent units individually in the ultrastrong coupling regime. We develop a framework based on linear response for quantum electrodynamical systems to study how light-matter coupling affects the optical response. We begin by applying this framework to find the optical response of a two-level emitter coupled to a single cavity mode, which could be seen as a "meta-atom" of a metamaterial built from repeated units of this system. We find optical behaviors ranging from that of a simple two-level system (Lorentz-oscillator) to effectively transparent, as the coupling goes from the weak to deep strong coupling regimes. We explore a one-dimensional chain of these meta-atoms, demonstrating the tunability of its optical behavior. Our scheme may ultimately provide a framework for designing new metamaterials with low-loss, highly-confined modes, as well as tunable (single-photon) nonlinearities.


title: Characterizing parabolic hyperplanes of the hyperbolic and elliptic quadrics in PG(2n + 1, q)

abstract: In this article, a combinatorial characterization of the family of parabolic hyperplanes of a hyperbolic (respectively, elliptic) quadric of PG(2n + 1, q), using their intersection properties with the points and subspaces of codimension 2, is given.


title: Group-$k$ Consistent Measurement Set Maximization for Robust Outlier Detection

abstract: This paper presents a method for the robust selection of measurements in a simultaneous localization and mapping (SLAM) framework. Existing methods check consistency or compatibility on a pairwise basis, however many measurement types are not sufficiently constrained in a pairwise scenario to determine if either measurement is inconsistent with the other. This paper presents group-$k$ consistency maximization (G$k$CM) that estimates the largest set of measurements that is internally group-$k$ consistent. Solving for the largest set of group-$k$ consistent measurements can be formulated as an instance of the maximum clique problem on generalized graphs and can be solved by adapting current methods. This paper evaluates the performance of G$k$CM using simulated data and compares it to pairwise consistency maximization (PCM) presented in previous work.


title: Jacobian determinants for (nonlinear) gradient of planar $\infty$-harmonic functions and applications

abstract: In dimension 2, we introduce a distributional Jacobian determinant $\det DV_\beta(Dv)$ for the nonlinear complex gradient $(x_1,x_2)\mapsto |Dv|^\beta(v_{x_1},-v_{x_2})$ for any $\beta>-1$, whenever $v\in W^{1,2 }_{\text{loc}}$ and $\beta |Dv|^{1+\beta}\in W^{1,2}_{\text{loc}}$. Then for any planar $\infty$-harmonic function $u$, we show that such distributional Jacobian determinant is a nonnegative Radon measure with some quantitative local lower and upper bounds. We also give the following two applications. (i) Applying this result with $\beta=0$, we develop an approach to build up a Liouville theorem, which improves that of Savin [33]. Precisely, if $u$ is $\infty$-harmonic functions in whole ${\mathbb R}^2$ with $$ \liminf_{R\to\infty}\inf_{c\in\mathbb R}\frac1 {R^3}\int_{B(0,R)}|u(x)-c|\,dx<\infty,$$ then $u=b+a\cdot x$ for some $b\in{\mathbb R}$ and $a\in{\mathbb R}^2$. (ii) Denoting by $u_p$ the $p$-harmonic function having the same nonconstant boundary condition as $u$, we show that $\det DV_\beta(Du_p) \to \det DV_\beta(Du)$ as $p\to\infty$ in the weak-$\star$ sense in the space of Radon measure. Recall that $V_\beta(Du_p)$ is always quasiregular mappings, but $V_\beta(Du)$ is not in general.


title: Huppert's analogue conjecture for $\PSL(3,q)$ and $\PSU(3,q)$

abstract: Let $G$ be a finite group and $\chi\in \irr(G)$. The codegree of $\chi$ is defined as $\cod(\chi)=\frac{|G:\ker(\chi)|}{\chi(1)}$ and $\cod(G)=\{\cod(\chi) \ |\ \chi\in \irr(G)\}$ is called the set of codegrees of $G$. In this paper, we show that the set of codegrees of $\PSL(3,q)$ and $\PSU(3,q)$ determines the group up to isomorphism.


title: Hardware Software Co-design of Statistical and Deep Learning Frameworks for Wideband Sensing on Zynq System on Chip

abstract: With the introduction of spectrum sharing and heterogeneous services in next-generation networks, the base stations need to sense the wideband spectrum and identify the spectrum resources to meet the quality-of-service, bandwidth, and latency constraints. Sub-Nyquist sampling (SNS) enables digitization for sparse wideband spectrum without needing Nyquist speed analog-to-digital converters. However, SNS demands additional signal processing algorithms for spectrum reconstruction, such as the well-known orthogonal matching pursuit (OMP) algorithm. OMP is also widely used in other compressed sensing applications. The first contribution of this work is efficiently mapping the OMP algorithm on the Zynq system-on-chip (ZSoC) consisting of an ARM processor and FPGA. Experimental analysis shows a significant degradation in OMP performance for sparse spectrum. Also, OMP needs prior knowledge of spectrum sparsity. We address these challenges via deep-learning-based architectures and efficiently map them on the ZSoC platform as second contribution. Via hardware-software co-design, different versions of the proposed architecture obtained by partitioning between software (ARM processor) and hardware (FPGA) are considered. The resource, power, and execution time comparisons for given memory constraints and a wide range of word lengths are presented for these architectures.


title: Matching Consumer Fairness Objectives & Strategies for RecSys

abstract: The last several years have brought a growing body of work on ensuring that recommender systems are in some sense consumer-fair -- that is, they provide comparable quality of service, accuracy of representation, and other effects to their users. However, there are many different strategies to make systems more fair and a range of intervention points. In this position paper, we build on ongoing work to highlight the need for researchers and practitioners to attend to the details of their application, users, and the fairness objective they aim to achieve, and adopt interventions that are appropriate to the situation. We argue that consumer fairness should be a creative endeavor flowing from the particularities of the specific problem to be solved.


title: TAPA: A Scalable Task-Parallel Dataflow Programming Framework for Modern FPGAs with Co-Optimization of HLS and Physical Design

abstract: In this paper, we propose TAPA, an end-to-end framework that compiles a C++ task-parallel dataflow program into a high-frequency FPGA accelerator. Compared to existing solutions, TAPA has two major advantages. First, TAPA provides a set of convenient APIs that allow users to easily express flexible and complex inter-task communication structures. Second, TAPA adopts a coarse-grained floorplanning step during HLS compilation for accurate pipelining of potential critical paths. In addition, TAPA implements several optimization techniques specifically tailored for modern HBM-based FPGAs. In our experiments with a total of 43 designs, we improve the average frequency from 147 MHz to 297 MHz (a 102% improvement) with no loss of throughput and a negligible change in resource utilization. Notably, in 16 experiments we make the originally unroutable designs achieve 274 MHz on average. The framework is available at https://github.com/UCLA-VAST/tapa and the core floorplan module is available at https://github.com/UCLA-VAST/AutoBridge.


title: Spin-phonon interaction and short range order in $\mathrm{Mn_3Si_{2}Te_6}$

abstract: The vibrational properties of ferrimagnetic $\mathrm{Mn_3Si_{2}Te_6}$ single crystals are investigated using Raman spectroscopy and density functional theory calculations. Eighteen Raman-active modes are identified, fourteen of which are assigned according to with the trigonal symmetry. Four additional peaks, obeying the $A_{1g}$ selection rules, are attributed to the overtones. The unconventional temperature evolution of the $A_{1g}^5$ mode self-energy suggests a competition between different short-range magnetic correlations that significantly impact the spin-phonon interaction in $\mathrm{Mn_3Si_{2}Te_6}$. The research provides a comprehensive insight to the lattice properties, studies their temperature dependence and shows the arguments for existence of competing short-range magnetic phases in $\mathrm{Mn_3Si_{2}Te_6}$.


title: Using the Interactive Graphic Syllabus in the Teaching of Economics

abstract: Syllabus is essentially a concise outline of a course of study, and conventionally a text document. In the past few decades, however, two novel variations of syllabus have emerged, namely "the Graphic Syllabus" and "the Interactive Syllabus". Each of these two variations of syllabus has its own special advantages. The present paper argues that there could be devised a new combined version of the two mentioned variations, called "the Interactive Graphic Syllabus", which can potentially bring us the advantages of both at the same time. Specifically, using a well-designed Interactive Graphic syllabus can bring about many advantages such as clarifying complex relationships; causing a better retention; needing less cognitive energy for interpretation; helping instructors identify any snags in their course organization; capability of being integrated easily into a course management system; appealing to many of learning styles and engaging students with different learning styles.


title: Vanishing viscosity limit for concentrated vortex rings

abstract: We study the time evolution of a viscous incompressible fluid with axial symmetry without swirl, when the initial vorticity is very concentrated in $N$ disjoint rings. We show that in a suitable joint limit, in which both the thickness of the rings and the viscosity tend to zero, the vorticity remains concentrated in $N$ disjointed rings, each one of them performing a simple translation along the symmetry axis with constant speed.


title: Directed degeneracy maps for precubical sets

abstract: Symmetric transverse sets were introduced to make the construction of the parallel product with synchronization for process algebras functorial. It is proved that one can do directed homotopy on symmetric transverse sets in the following sense. A q-realization functor from symmetric transverse sets to flows is introduced using a q-cofibrant replacement functor of flows. By topologizing the cotransverse maps, the cotransverse topological cube is constructed. It can be regarded both as a cotransverse topological space and as a cotransverse Lawvere metric space. A natural realization functor from symmetric transverse sets to flows is introduced using Raussen's notion of natural $d$-path extended to symmetric transverse sets thanks to their structure of Lawvere metric space. It is proved that these two realization functors are homotopy equivalent on cofibrant symmetric transverse sets by using the fact that the small category defining symmetric transverse sets is c-Reedy in Shulman's sense. This generalizes to symmetric transverse sets results previously obtained for precubical sets.


title: Non-perturbative production of fermionic dark matter from fast preheating

abstract: We investigate non-perturbative production of fermionic dark matter in the early universe. We study analytically the gravitational production mechanism accompanied by the coupling of fermions to the background inflaton field. The latter leads to the variation of effective fermion mass during preheating and makes the resulting spectrum and abundance sensitive to its parameters. Assuming fast preheating that completes in less than the inflationary Hubble time and no oscillations of the inflaton field after inflation, we find an abundant production of particles with energies ranging from the inflationary Hubble rate to the inverse duration of preheating. The produced fermions can account for all observed dark matter in a broad range of parameters. As an application of our analysis, we study non-perturbative production of heavy Majorana neutrino in the model of Palatini Higgs inflation.


title: Hardware-Conscious Optimization of the Quantum Toffoli Gate

abstract: While quantum computing holds great potential in combinatorial optimization, electronic structure calculation, and number theory, the current era of quantum computing is limited by noisy hardware. Many quantum compilation approaches can mitigate the effects of imperfect hardware by optimizing quantum circuits for objectives such as critical path length. Few approaches consider quantum circuits in terms of the set of vendor-calibrated operations (i.e., native gates) available on target hardware. This manuscript expands the analytical and numerical approaches for optimizing quantum circuits at this abstraction level. We present a procedure for combining the strengths of analytical native gate-level optimization with numerical optimization. Although we focus on optimizing Toffoli gates on the IBMQ native gate set, the methods presented are generalizable to any gate and superconducting qubit architecture. Our optimized Toffoli gate implementation demonstrates an $18\%$ reduction in infidelity compared with the canonical implementation as benchmarked on IBM Jakarta with quantum process tomography. Assuming the inclusion of multi-qubit cross-resonance (MCR) gates in the IBMQ native gate set, we produce Toffoli implementations with only six multi-qubit gates, a $25\%$ reduction from the canonical eight multi-qubit implementations for linearly connected qubits.


title: Inequalities witnessing coherence, nonlocality, and contextuality

abstract: Quantum coherence, nonlocality, and contextuality are key resources for quantum advantage in metrology, communication, and computation. We introduce a graph-based approach to derive classicality inequalities that bound local, non-contextual, and coherence-free models, offering a unified description of these seemingly disparate quantum resources. Our approach generalizes recently proposed basis-independent coherence witnesses, and recovers all non-contextuality inequalities of the exclusivity graph approach. Moreover, violations of certain classicality inequalities witness preparation contextuality. We describe an algorithm to find all such classicality inequalities, and use it to analyze some of the simplest scenarios.


title: Light bullets in moir\'e lattices

abstract: We predict that photonic moir\'e lattices produced by two mutually twisted periodic sublattices in the medium with Kerr nonlinearity can support stable three-dimensional light bullets localized in both space and time. Stability of light bullets and their properties are tightly connected with the properties of linear spatial eigenmodes of moir\'e lattice that undergo localization-delocalization transition (LDT) upon increase of the depth of one of the sublattices forming moir\'e lattice, but only for twist angles corresponding to incommensurate, aperiodic moir\'e structures. Above LDT threshold such incommensurate moir\'e lattices support stable light bullets without energy threshold. In contrast, commensurate, or periodic, moir\'e lattices arising at Pythagorean twist angles, whose eigenmodes are delocalized Bloch waves, can support stable light bullets only above certain energy threshold. Moir\'e lattices below LDT threshold cannot support stable light bullets for our parameters. Our results illustrate that periodicity/aperiodicity of the underlying lattice is a crucial factor determining stability properties of the nonlinear three-dimensional states.


title: Bayesian Statistical Model Checking for Multi-agent Systems using HyperPCTL*

abstract: In this paper, we present a Bayesian method for statistical model checking (SMC) of probabilistic hyperproperties specified in the logic HyperPCTL* on discrete-time Markov chains (DTMCs). While SMC of HyperPCTL* using sequential probability ratio test (SPRT) has been explored before, we develop an alternative SMC algorithm based on Bayesian hypothesis testing. In comparison to PCTL*, verifying HyperPCTL* formulae is complex owing to their simultaneous interpretation on multiple paths of the DTMC. In addition, extending the bottom-up model-checking algorithm of the non-probabilistic setting is not straight forward due to the fact that SMC does not return exact answers to the satisfiability problems of subformulae, instead, it only returns correct answers with high-confidence. We propose a recursive algorithm for SMC of HyperPCTL* based on a modified Bayes' test that factors in the uncertainty in the recursive satisfiability results. We have implemented our algorithm in a Python toolbox, HyProVer, and compared our approach with the SPRT based SMC. Our experimental evaluation demonstrates that our Bayesian SMC algorithm performs better both in terms of the verification time and the number of samples required to deduce satisfiability of a given HyperPCTL* formula.


title: A Joint-Chirp-Rate-Time-Frequency Transform for BBH Merger Gravitational Wave Signal Detection

abstract: Low-latency detection of Binary Black Hole (BBH) and Binary Neutron Star (BNS) merger Gravitational Wave (GW) signals is essential for enabling multi-messenger observations of such systems. The merger GW signals have varying frequencies and are contaminated by non-stationary noises. Earlier studies of non-templated merger signal detection techniques used traditional Fourier transform-based time-frequency decomposition methods for spectrogram generation, which have had difficulties identifying rapid frequency changes in merger signals with heavy background noise. To address this problem, we introduce the Joint-Chirp-rate-Time-Frequency Transform (JCTFT), in which complex-valued window functions are used to modulate the amplitude, frequency, and phase of the input signal. In addition, we outline the techniques for generating chirp-rate-enhanced time-frequency spectrograms from the results of a JCTFT. We demonstrate an average of 14 improved merger detectability among simulated detector signals with Signal-to-Noise Ratios between 6 and 10 using the InceptionV3 image classification neural network compared to the same network trained with Q-transform spectrograms. The JCTFT is a general transformation technique that can be applied to existing and third-generation GW detector signals. Further studies will aim to improve the efficiency and performance of the JCTFT.


title: One-dimensional non-interacting topological insulators with chiral symmetry

abstract: We construct microscopical models of one-dimensional non-interacting topological insulators in all of the chiral universality classes. Specifically, we start with a deformation of the Su-Schrieffer-Heeger (SSH) model that breaks time-reversal symmetry, which is in the AIII class. We then couple this model to its time-reversal counterpart in order to build models in the classes BDI, CII, DIII and CI. We find that the $\mathbb{Z}$ topological index (the winding number) in individual chains is defined only up to a sign. This comes from noticing that changing the sign of the chiral symmetry operator changes the sign of the winding number. The freedom to choose the sign of the chiral symmetry operator on each chain independently allows us to construct two distinct possible chiral symmetry operators when the chains are weakly coupled -- in one case, the total winding number is given by the sum of the winding number of individual chains while in the second case, the difference is taken. We find that the chiral models that belong to $\mathbb{Z}$ classes, AIII, BDI and CII are topologically equivalent, so they can be adiabatically deformed into one another so long as the chiral symmetry is preserved. We study the properties of the edge states in the constructed models and prove that topologically protected edge states must all be localised on the same sublattice (on any given edge). We also discuss the role of particle-hole symmetry on the protection of edge states and explain how it manages to protect edge states in $\mathbb{Z}_2$ classes, where the integer invariant vanishes and chiral symmetry alone does not protect the edge states anymore. We discuss applications of our results to the case of an arbitrary number of coupled chains, construct possible chiral symmetry operators for the multiple chain case, and briefly discuss the generalisation to any odd number of dimensions.


title: Symphony: Cosmological Zoom-in Simulation Suites over Four Decades of Host Halo Mass

abstract: We present Symphony, a compilation of $262$ cosmological, cold-dark-matter-only zoom-in simulations spanning four decades of host halo mass, from $10^{11}$$-$$10^{15}~M_{\mathrm{\odot}}$. This compilation includes three existing simulation suites at the cluster and Milky Way$-$mass scales, and two new suites: $39$ Large Magellanic Cloud-mass ($10^{11}~M_{\mathrm{\odot}}$) and $49$ strong-lens-analog ($10^{13}~M_{\mathrm{\odot}}$) group-mass hosts. Across the entire host halo mass range, the highest-resolution regions in these simulations are resolved with a dark matter particle mass of $\approx 3\times 10^{-7}$ times the host virial mass and a Plummer-equivalent gravitational softening length of $\approx 9\times 10^{-4}$ times the host virial radius, on average. We measure correlations between subhalo abundance and host concentration, formation time, and maximum subhalo mass, all of which peak at the Milky Way host halo mass scale. Subhalo abundances are $\approx 50\%$ higher in clusters than in lower-mass hosts at fixed sub-to-host halo mass ratios. Subhalo radial distributions are approximately self-similar as a function of host mass and are less concentrated than hosts' underlying dark matter distributions. We compare our results to the semianalytic model $\mathrm{\texttt{Galacticus}}$, which predicts subhalo mass functions with a higher normalization at the low-mass end and radial distributions that are slightly more concentrated than Symphony. We use $\mathrm{\texttt{UniverseMachine}}$ to model halo and subhalo star formation histories in Symphony, and we demonstrate that these predictions resolve the formation histories of the halos that host nearly all currently observable satellite galaxies in the universe. To promote open use of Symphony, data products are publicly available at http://web.stanford.edu/group/gfc/symphony.


title: Orchestrating Collaborative Cybersecurity: A Secure Framework for Distributed Privacy-Preserving Threat Intelligence Sharing

abstract: Cyber Threat Intelligence (CTI) sharing is an important activity to reduce information asymmetries between attackers and defenders. However, this activity presents challenges due to the tension between data sharing and confidentiality, that result in information retention often leading to a free-rider problem. Therefore, the information that is shared represents only the tip of the iceberg. Current literature assumes access to centralized databases containing all the information, but this is not always feasible, due to the aforementioned tension. This results in unbalanced or incomplete datasets, requiring the use of techniques to expand them; we show how these techniques lead to biased results and misleading performance expectations. We propose a novel framework for extracting CTI from distributed data on incidents, vulnerabilities and indicators of compromise, and demonstrate its use in several practical scenarios, in conjunction with the Malware Information Sharing Platforms (MISP). Policy implications for CTI sharing are presented and discussed. The proposed system relies on an efficient combination of privacy enhancing technologies and federated processing. This lets organizations stay in control of their CTI and minimize the risks of exposure or leakage, while enabling the benefits of sharing, more accurate and representative results, and more effective predictive and preventive defenses.


title: Reshaping and ejection processes on rubble-pile asteroids by impacts

abstract: Context. Most small asteroids (<50 km in diameter) are the result of the breakup of a larger parent body and are often considered to be rubble-pile objects. Similar structures are expected for the secondaries of small asteroid binaries, including Dimorphos, the smaller component of the 65803 Didymos binary system and the target of NASA's Double Asteroid Redirection Test (DART) and ESA's Hera mission. The DART impact occurs on September 26th, 2022 and it will alter the orbital period of Dimorphos around Didymos. Aims. In this work we assume Dimorphos-like bodies with a rubble-pile structure, and quantify the effects of boulder packing in its interior on the post-impact morphology, degree of shape change and material ejection processes. Methods. We used the Bern SPH shock physics code to numerically model hypervelocity impacts into small, 160 m in diameter rubble-pile asteroids, with a variety of boulder distributions. Results. We find that the post-impact target morphology is most sensitive to the mass-fraction of boulders in the target, while the asteroid deflection efficiency depends on both the mass-fraction of boulders in the target and on the boulder size-distribution close to the impact point. Our results may also have important implications for the structure of small asteroids.


title: An Optimized and Safety-aware Maintenance Framework: A Case Study on Aircraft Engine

abstract: The COVID-19 pandemic has recently exacerbated the fierce competition in the transportation businesses. The airline industry took one of the biggest hits as the closure of international borders forced aircraft operators to suspend their international routes, keeping aircraft on the ground without generating revenues while at the same time still requiring adequate maintenance. To maintain their operational sustainability, finding a good balance between cost reductions measure and safety standards fulfillment, including its maintenance procedure, becomes critical. This paper proposes an AI-assisted predictive maintenance scheme that synthesizes prognostics modeling and simulation-based optimization to help airlines decide their optimal engine maintenance approach. The proposed method enables airlines to utilize their diagnostics measurements and operational settings to design a more customized maintenance strategy that takes engine operations conditions into account. Our numerical experiments on the proposed approach resulted in significant cost savings without compromising the safety standards. The experiments also show that maintenance strategies tailored to the failure mode and operational settings (that our framework enables) yield 13% more cost savings than generic optimal maintenance strategies. The generality of our proposed framework allows the extension to other intelligent, safety-critical transportation systems.