title: Review of the particle background of the Athena X-IFU instrument

abstract: X-ray observations are limited by the background, due to intrinsic faintness or diffuse nature of the sources. The future Athena X-ray observatory has among its goals the characterization of these sources. We aim at characterizing the particle-induced background of the Athena microcalorimeter, in both its low (Soft Protons) and high (GCR) energy induced components, to assess the instrument capability to characterize background dominated sources such as the outskirts of clusters of galaxies. We compare two radiation environments, namely the L1 and L2 Lagrangian points, and derive indications against the latter. We estimate the particle-induced background level on the X-IFU microcalorimeter with Monte Carlo simulations, before and after all the solutions adopted to reduce its level. Concerning the GCR induced component the background level is compliant with the mission requirement. Regarding the Soft Protons component, the analysis does not predict dramatically different backgrounds in the L1 and L2 orbits. However, the lack of data concerning the L2 environment labels it as very weakly characterizable, and thus we advise against its choice as orbit for X-ray missions. We then use these background levels to simulate the observation of a typical galaxy cluster from its center out to 1.2 R200 to probe the characterization capabilities of the instrument out to the outskirts. We find that without any background reduction it is not possible to characterize the properties of the cluster in the outer regions. We also find no improvement of the observations when carried out during the solar maximum with respect to the solar minimum conditions.


title: Multidimensional coupling: A variationally consistent approach to fiber-reinforced materials

abstract: A novel mathematical model for fiber-reinforced materials is proposed. It is based on a 1-dimensional beam model for the thin fiber structures, a flexible and general 3-dimensional elasticity model for the matrix and an overlapping domain decomposition approach. From a computational point of view, this is motivated by the fact that matrix and fibers can easily meshed independently. Our main interest is in fiber reinforce polymers where the Young's modulus are quite different. Thus the modeling error from the overlapping approach is of no significance. The coupling conditions acknowledge both, the forces and the moments of the beam model and transfer them to the background material. A suitable static condensation procedure is applied to remove the beam balance equations. The condensed system then forms our starting point for a numerical approximation in terms of isogeometric analysis. The choice of our discrete basis functions of higher regularity is motivated by the fact, that as a result of the static condensation, we obtain second gradient terms in fiber direction. Eventually, a series of benchmark tests demonstrate the flexibility and robustness of the proposed methodology. As a proof-of-concept, we show that our new model is able to capture bending, torsion and shear dominated situations.


title: Pseudospectral methods with PML for nonlinear Klein-Gordon equations in classical and non-relativistic regimes

abstract: Two different Perfectly Matched Layer (PML) formulations with efficient pseudo-spectral numerical schemes are derived for the standard and non-relativistic nonlinear Klein-Gordon equations (NKGE). A pseudo-spectral explicit exponential integrator scheme for a first-order formulation and a linearly implicit preconditioned finite-difference scheme for a second-order formulation are proposed and analyzed. To obtain a high spatial accuracy, new regularized Berm\'udez type absorption profiles are introduced for the PML. It is shown that the two schemes are efficient, but the linearly implicit scheme should be preferred for accuracy purpose when used within the framework of pseudo-spectral methods combined with the regularized Berm\'udez type functions. In addition, in the non-relativistic regime, numerical examples lead to the conclusion that the error related to regularized Berm\'udez type absorption functions is insensitive to the small parameter $\varepsilon$ involved in the NKGE. The paper ends by a two-dimensional example showing that the strategy extends to the rotating NKGE where the vortex dynamics is very well-reproduced.


title: Multiterminal Quantized Conductance in InSb Nanocrosses

abstract: By studying the time-dependent axial and radial growth of InSb nanowires, we map the conditions for the synthesis of single-crystalline InSb nanocrosses by molecular beam epitaxy. Low-temperature electrical measurements of InSb nanocross devices with local gate control on individual terminals exhibit quantized conductance and are used to probe the spatial distribution of the conducting channels. Tuning to a situation where the nanocross junction is connected by few-channel quantum point contacts in the connecting nanowire terminals, we show that transport through the junction is ballistic except close to pinch-off. Combined with a new concept for shadow-epitaxy of patterned superconductors on nanocrosses, the structures reported here show promise for the realization of non-trivial topological states in multi-terminal Josephson Junctions.


title: MSED: a multi-modal sleep event detection model for clinical sleep analysis

abstract: Clinical sleep analysis require manual analysis of sleep patterns for correct diagnosis of sleep disorders. However, several studies have shown significant variability in manual scoring of clinically relevant discrete sleep events, such as arousals, leg movements, and sleep disordered breathing (apneas and hypopneas). We investigated whether an automatic method could be used for event detection and if a model trained on all events (joint model) performed better than corresponding event-specific models (single-event models). We trained a deep neural network event detection model on 1653 individual recordings and tested the optimized model on 1000 separate hold-out recordings. F1 scores for the optimized joint detection model were 0.70, 0.63, and 0.62 for arousals, leg movements, and sleep disordered breathing, respectively, compared to 0.65, 0.61, and 0.60 for the optimized single-event models. Index values computed from detected events correlated positively with manual annotations ($r^2$ = 0.73, $r^2$ = 0.77, $r^2$ = 0.78, respectively). We furthermore quantified model accuracy based on temporal difference metrics, which improved overall by using the joint model compared to single-event models. Our automatic model jointly detects arousals, leg movements and sleep disordered breathing events with high correlation with human annotations. Finally, we benchmark against previous state-of-the-art multi-event detection models and found an overall increase in F1 score with our proposed model despite a 97.5% reduction in model size. Source code for training and inference is available at https://github.com/neergaard/msed.git.


title: Systematic design and experimental demonstration of transmission-type multiplexed acoustic meta-holograms

abstract: Acoustic holograms have promising applications in sound-field reconstruction, particle manipulation, ultrasonic haptics and therapy. This paper reports on the theoretical, numerical, and experimental investigation of multiplexed acoustic holograms at both audio and ultrasonic frequencies via a rationally designed transmission-type acoustic metamaterial. The proposed meta-hologram is composed of two Fabry-Perot resonant channels per unit cell, which enables the simultaneous modulation of the transmitted amplitude and phase at two desired frequencies. In contrast to conventional acoustic metamaterial-based holograms, the design strategy proposed here, provides a new degree of freedom (frequency) that can actively tailor holograms that are otherwise completely passive and hence significantly enhances the information encoded in acoustic metamaterials. To demonstrate the multiplexed acoustic metamaterial, we first show the projection of two different high-quality meta-holograms at 14 kHz and 17 kHz, with the patterns of the letters, N and S. We then demonstrate two-channel ultrasound focusing and annular beams generation for the incident ultrasonic frequencies of 35 kHz and 42.5 kHz. These multiplexed acoustic meta-holograms offer a technical advance to tackle the rising challenges in the fields of acoustic metamaterials, architectural acoustics, and medical ultrasound.


title: Spectroscopic and Photometric Redshift Estimation by Neural Networks For the China Space Station Optical Survey (CSS-OS)

abstract: The estimation of spectroscopic and photometric redshifts (spec-z and photo-z) is crucial for future cosmological surveys. It can directly affect several powerful measurements of the Universe, e.g. weak lensing and galaxy clustering. In this work, we explore the accuracies of spec-z and photo-z that can be obtained in the China Space Station Optical Surveys (CSS-OS), which is a next-generation space survey, using neural networks. The 1-dimensional Convolutional Neural Networks (1-d CNN) and Multi-Layer Perceptron (MLP, one of the simplest forms of Artificial Neural Network) are employed to derive the spec-z and photo-z, respectively. The mock spectral and photometric data used for training and testing the networks are generated based on the COSMOS catalog. The networks have been trained with noisy data by creating Gaussian random realizations to reduce the statistical effects, resulting in similar redshift accuracy for both high-SNR (signal to noise ratio) and low-SNR data. The probability distribution functions (PDFs) of the predicted redshifts are also derived via Gaussian random realizations of the testing data, and then the best-fit redshifts and 1-sigma errors also can be obtained. We find that our networks can provide excellent redshift estimates with accuracies ~0.001 and 0.01 on spec-z and photo-z, respectively. Compared to existing photo-z codes, our MLP has similar accuracy but is more efficient in the training process. The fractions of catastrophic redshifts or outliers can be dramatically suppressed comparing to the ordinary template-fitting method. This indicates that the neural network method is feasible and powerful for spec-z and photo-z estimations in future cosmological surveys.


title: Towards Understanding Learning in Neural Networks with Linear Teachers

abstract: Can a neural network minimizing cross-entropy learn linearly separable data? Despite progress in the theory of deep learning, this question remains unsolved. Here we prove that SGD globally optimizes this learning problem for a two-layer network with Leaky ReLU activations. The learned network can in principle be very complex. However, empirical evidence suggests that it often turns out to be approximately linear. We provide theoretical support for this phenomenon by proving that if network weights converge to two weight clusters, this will imply an approximately linear decision boundary. Finally, we show a condition on the optimization that leads to weight clustering. We provide empirical results that validate our theoretical analysis.


title: Adaptive Immunity for Software: Towards Autonomous Self-healing Systems

abstract: Testing and code reviews are known techniques to improve the quality and robustness of software. Unfortunately, the complexity of modern software systems makes it impossible to anticipate all possible problems that can occur at runtime, which limits what issues can be found using testing and reviews. Thus, it is of interest to consider autonomous self-healing software systems, which can automatically detect, diagnose, and contain unanticipated problems at runtime. Most research in this area has adopted a model-driven approach, where actual behavior is checked against a model specifying the intended behavior, and a controller takes action when the system behaves outside of the specification. However, it is not easy to develop these specifications, nor to keep them up-to-date as the system evolves. We pose that, with the recent advances in machine learning, such models may be learned by observing the system. Moreover, we argue that artificial immune systems (AISs) are particularly well-suited for building self-healing systems, because of their anomaly detection and diagnosis capabilities. We present the state-of-the-art in self-healing systems and in AISs, surveying some of the research directions that have been considered up to now. To help advance the state-of-the-art, we develop a research agenda for building self-healing software systems using AISs, identifying required foundations, and promising research directions.


title: Convolutional neural networks for fluid flow analysis: toward effective metamodeling and low-dimensionalization

abstract: We focus on a convolutional neural network (CNN), which has recently been utilized for fluid flow analyses, from the perspective on the influence of various operations inside it by considering some canonical regression problems with fluid flow data. We consider two types of CNN-based fluid flow analyses; 1. CNN metamodeling and 2. CNN autoencoder. For the first type of CNN with additional scalar inputs, which is one of the common forms of CNN for fluid flow analysis, we investigate the influence of input placements in the CNN training pipeline. As an example, estimation of force coefficients of an inclined flat plate and two side-by-side cylinders in laminar flows is considered. We find that care should be taken for the placement of additional scalar inputs depending on the problem setting and the complexity of flows that users handle. We then discuss the influence of various parameters and operations on the CNN performance, with the utilization of autoencoder (AE). A two-dimensional turbulence is considered for the demonstration of AE. The results of AE highly rely on the decaying nature. Investigation on the influence of padding operation at a convolutional layer is also performed. The zero padding shows reasonable ability compared to other methods which account for the boundary conditions assumed in the numerical data. Moreover, the effect of the dimensional reduction/extension methods inside CNN is also examined. The CNN model is robust against the difference in dimension reduction operations, while it is sensitive to the dimensional extension methods. The findings of this paper will help us better design a CNN architecture for practical fluid flow analysis


title: TM-polarized Surface Plasmon Polaritons in Nonlinear Multi-layer Graphene-Based Waveguides: An Analytical Study

abstract: This paper presents an analytical study of TM-polarized surface plasmon polaritons (SPPs) in nonlinear multi-layer structures containing graphene sheets. In the general structure, each graphene sheet has been sandwiched between two different nonlinear magnetic materials. To show the richness of the proposed general waveguide, two novel nonlinear structures have been introduced and investigated as special cases of the general structure. It will be shown that the propagation features of these structures can be tuned by changing the chemical potential of the graphene and the incident mode power. A large value of the effective index, i.e. 240 for the chemical potential of 0.2 ev and the incident power of 3 is obtained for the second structure at the frequency of 40 THz. The analytical results confirm that the integration of nonlinear magnetic materials with graphene sheets can control and enhance the propagating features and the self-focused of the field in the nonlinear layer. This integration gives more degrees of freedom to the designer to propose new THz components such as lasers and switches in the THz region.


title: Total Roman 2-domination in graphs

abstract: Given a graph $G=(V,E)$, a function $f:V\rightarrow \{0,1,2\}$ is a total Roman $\{2\}$-dominating function if: (1) every vertex $v\in V$ for which $f(v)=0$ satisfies that $\sum_{u\in N(v)}f(u)\geq 2$, where $N(v)$ represents the open neighborhood of $v$, and (2) every vertex $x\in V$ for which $f(x)\geq 1$ is adjacent to at least one vertex $y\in V$ such that $f(y)\geq 1$. The weight of the function $f$ is defined as $\omega(f)=\sum_{v\in V}f(v)$. The total Roman $\{2\}$-domination number, denoted by $\gamma_{t\{R2\}}(G)$, is the minimum weight among all total Roman $\{2\}$-dominating functions on $G$. In this article we introduce the concepts above and begin the study of its combinatorial and computational properties. For instance, we give several closed relationships between this parameter and other domination related parameters in graphs. In addition, we prove that the complexity of computing the value $\gamma_{t\{R2\}}(G)$ is NP-hard, even when restricted to bipartite or chordal graphs.


title: MRNet: a Multi-scale Residual Network for EEG-based Sleep Staging

abstract: Sleep staging based on electroencephalogram (EEG) plays an important role in the clinical diagnosis and treatment of sleep disorders. In order to emancipate human experts from heavy labeling work, deep neural networks have been employed to formulate automated sleep staging systems recently. However, EEG signals lose considerable detailed information in network propagation, which affects the representation of deep features. To address this problem, we propose a new framework, called MRNet, for data-driven sleep staging by integrating a multi-scale feature fusion model and a Markov-based sequential correction algorithm. The backbone of MRNet is a residual block-based network, which performs as a feature extractor.Then the fusion model constructs a feature pyramid by concatenating the outputs from the different depths of the backbone, which can help the network better comprehend the signals in different scales. The Markov-based sequential correction algorithm is designed to reduce the output jitters generated by the classifier. The algorithm depends on a prior stage distribution associated with the sleep stage transition rule and the Markov chain. Experiment results demonstrate the competitive performance of our proposed approach on both accuracy and F1 score (e.g., 85.14% Acc and 78.91% F1 score on Sleep-EDFx, and 87.59% Acc and 79.62% F1 score on Sleep-EDF).


title: Accurate polymorphous description of the paramagnetic phases in MnBi$_{2}$Te$_{4}$

abstract: Temperature-driven phase transition is a long-standing frontier in material science, among which the most common phenomenon is the transition from a low-temperature magnetic-ordered phase to a high-temperature paramagnetic phase. A paramount question is if such a paramagnetic phase of the 'correlated solids' can be well described by single-particle band theory to facilitate the experimental observations. In this work, we investigate the electronic properties of the paramagnetic phase by the static density functional theory via two different approaches, namely monomorphous description and polymorphous description. In the conventional monomorphous description, the local spin moments are naively forced to be zero. By contrast, the polymorphous description based on a large enough supercell with disordered distributed local moments is able to count in the effects of distinct local environments, providing a more reliable paramagnetic electronic structure to simulate realistic materials. From a comparison of total energies, symmetries, and band structures, we demonstrate the necessity for a proper treatment of paramagnetic phases, taking MnBi$_{2}$Te$_{4}$ as an example. Our work provides a theoretical perspective on the evolution of electronic structures through magnetic order-disorder phase transitions in emergent topological magnets.


title: Exploring the Galactic Anticenter substructure with LAMOST & Gaia DR2

abstract: We characterize the kinematic and chemical properties of 589 Galactic Anticenter Substructure Stars (GASS) with K-/M- giants in Integrals-of-Motion space. These stars likely include members of previously identified substructures such as Monoceros, A13, and the Triangulum-Andromeda cloud (TriAnd). We show that these stars are on nearly circular orbits on both sides of the Galactic plane. We can see velocity($V_{Z}$) gradient along Y-axis especially for the south GASS members. Our GASS members have similar energy and angular momentum distributions to thin disk stars. Their location in [$\alpha$/M] vs. [M/H] space is more metal poor than typical thin disk stars, with [$\alpha$/M] \textbf{lower} than the thick disk. We infer that our GASS members are part of the outer metal-poor disk stars, and the outer-disk extends to 30 kpc. Considering the distance range and $\alpha$-abundance features, GASS could be formed after the thick disk was formed due to the molecular cloud density decreased in the outer disk where the SFR might be less efficient than the inner disk.


title: Hamiltonicity of doubly semi-equivelar maps on the torus

abstract: The well-known twenty types of 2-uniform tilings of the plane give rise infinitely many doubly semi-equivelar maps on the torus. In this article, we show that every such doubly semi-equivelar map on the torus contains a Hamiltonian cycle. As a consequence, we establish the Nash-Williams conjecture for the graphs associated with these doubly semi-equivelar maps by showing that these graphs are either 3-connected or 4-connected.


title: Self-adaptation of Pseudomonas fluorescens biofilms to hydrodynamic stress

abstract: In some conditions, bacteria self-organise into biofilms, supracellular structures made of a self-produced embedding matrix, mainly composed on polysaccharides, DNA, proteins and lipids. It is known that bacteria change their colony/matrix ratio in the presence of external stimuli such as hydrodynamic stress. However, little is still known about the molecular mechanisms driving this self-adaptation. In this work, we monitor structural features of Pseudomonas fluorescens biofilms grown with and without hydrodynamic stress. Our measurements show that the hydrodynamic stress concomitantly increases the cell density population and the matrix production. At short growth timescales, the matrix mediates a weak cell-cell attractive interaction due to the depletion forces originated by the polymer constituents. Using a population dynamics model, we conclude that hydrodynamic stress causes a faster diffusion of nutrients and a higher incorporation of planktonic bacteria to the already formed microcolonies. This results in the formation of more mechanically stable biofilms due to an increase of the number of crosslinks, as shown by computer simulations. The mechanical stability also lies on a change in the chemical compositions of the matrix, which becomes enriched in carbohydrates, known to display adhering properties. Overall, we demonstrate that bacteria are capable of self-adapting to hostile hydrodynamic stress by tailoring the biofilm chemical composition, thus affecting both the mesoscale structure of the matrix and its viscoelastic properties that ultimately regulate the bacteria-polymer interactions.


title: Fluctuation-dissipation relation, Maxwell-Boltzmann statistics, equipartition theorem, and stochastic calculus

abstract: We derive the fluctuation-dissipation relation and explore its connection with the equipartition theorem and Maxwell-Boltzmann statistics through the use of different stochastic analytical techniques. Our first approach is the theory of backward stochastic differential equations, which arises naturally in this context, and facilitates the understanding of the interplay between these classical results of statistical mechanics. The second approach consists in deriving forward stochastic differential equations for the energy of an electric system according to both It\^o and Stratonovich stochastic calculus rules. While the It\^o equation possesses a unique solution, which is the physically relevant one, the Stratonovich equation admits this solution along with infinitely many more, none of which has a physical nature. Despite of this fact, some, but not all of them, obey the fluctuation-dissipation relation.

categories: math.PR cond-mat.stat-mech math-ph math.MP


title: On multivariate quasi-infinitely divisible distributions

abstract: A quasi-infinitely divisible distribution on $\mathbb{R}^d$ is a probability distribution $\mu$ on $\mathbb{R}^d$ whose characteristic function can be written as the quotient of the characteristic functions of two infinitely divisible distributions on $\mathbb{R}^d$. Equivalently, it can be characterised as a probability distribution whose characteristic function has a L\'evy--Khintchine type representation with a "signed L\'evy measure", a so called quasi--L\'evy measure, rather than a L\'evy measure. A systematic study of such distributions in the univariate case has been carried out in Lindner, Pan and Sato \cite{lindner}. The goal of the present paper is to collect some known results on multivariate quasi-infinitely divisible distributions and to extend some of the univariate results to the multivariate setting. In particular, conditions for weak convergence, moment and support properties are considered. A special emphasis is put on examples of such distributions and in particular on $\mathbb{Z}^d$-valued quasi-infinitely divisible distributions.


title: Dark Self-Healing Mediated Negative Photoconductivity of Lead-Free Cs3Bi2Cl9 Perovskite Single Crystal

abstract: Halide perovskites are recently emerged as one of the frontline optoelectronic materials for device applications and have been extensively studied in past few years. Among these while, lead-based materials were most widely explored, investigation of optical properties of lead-free perovskites is limited. Being optically active, these materials were expected to show light-induced enhanced photoconductivity and the same was reported for lead halide perovskite single crystals. However, on contrary, herein, light-induced degradation of bismuth halide perovskite Cs3Bi2Cl9 single crystals is reported which was evidenced by negative photoconductivity with slow recovery. The femtosecond transient reflectance (fs-TR) spectroscopy studies further revealed these electronic transport properties were due to the formation of light-activated metastable trap states within the perovskite crystal. The figure of merits of Cs3Bi2Cl9 single-crystal detectors such as responsivity (17 mA/W), detectivity (6.23 X 10power 11 Jones) and the ratio of current in dark to light (~7160) was calculated and it is found that they are comparable or higher to reported perovskite single crystals based positive photodetectors. This observation for lead-free perovskite single crystals which were optically active but showed retroactive photocurrent on irradiation remained unique for such materials.


title: Thermodynamic Formalism for Generalized Countable Markov Shifts

abstract: Countable Markov shifts, denoted by $\Sigma_A$ for a 0-1 infinite matrix $A$, are central objects in symbolic dynamics and ergodic theory. R. Exel and M. Laca introduced the corresponding operator algebras, a generalization of the Cuntz-Krieger algebras for infinite countable alphabet, and the set $X_A$, a kind of Generalized Markov Shift (GMS) that coincides with $\Sigma_A$ in the locally compact case. The set $\Sigma_A$ is dense in $X_A$, and its complement, a set of finite allowed words, is dense in $X_A$ when non-empty. We develop the thermodynamic formalism for $X_A$, introducing the notion of conformal measure in it, and exploring its connections with the usual formalism for $\Sigma_A$. New phenomena appear, as different types of phase transitions and new conformal measures undetected by the classical thermodynamic formalism for $A$ not row-finite. Given a potential $F$ and inverse of temperature $\beta$, we study the existence of conformal measures $\mu_{\beta}$ associated to $\beta F$. We present examples where there exists a critical $\beta_c$ s. t. we have existence of conformal probabilities satisfying $\mu_{\beta}(\Sigma_A)=0$ for every $\beta > \beta_c$ and, on the weak$^*$ topology, the set of conformal probabilities for $\beta >\beta_c$ collapses to the standard conformal probability $\mu_{\beta_c}$, $\mu_{\beta_c}(\Sigma_A)=1$, for the limit $\beta\to\beta_c$. We study in detail the generalized renewal shift and modifications of it. We highlight the bijection between infinite emitters of the alphabet and extremal conformal probabilities for this class of renewal type shifts. We prove the existence and uniqueness of the eigenmeasure probability of the Ruelle's transformation at low enough temperature for a particular potential on the generalized renewal shift; such measures are not detected on the standard renewal shift since for low temperatures, $\beta F$ is transient.


title: On the Convergence of Tsetlin Machines for the XOR Operator

abstract: The Tsetlin Machine (TM) is a novel machine learning algorithm with several distinct properties, including transparent inference and learning using hardware-near building blocks. Although numerous papers explore the TM empirically, many of its properties have not yet been analyzed mathematically. In this article, we analyze the convergence of the TM when input is non-linearly related to output by the XOR-operator. Our analysis reveals that the TM, with just two conjunctive clauses, can converge almost surely to reproducing XOR, learning from training data over an infinite time horizon. Furthermore, the analysis shows how the hyper-parameter T guides clause construction so that the clauses capture the distinct sub-patterns in the data. Our analysis of convergence for XOR thus lays the foundation for analyzing other more complex logical expressions. These analyses altogether, from a mathematical perspective, provide new insights on why TMs have obtained state-of-the-art performance on several pattern recognition problems


title: Constraining the Metallicities of Damped Ly$\alpha$ Systems Using Extinction Curves

abstract: In this paper, we present a new method to constrain the metallicities of high redshift damped Ly$\alpha$ (DLA) absorbers using observed extinction curves. This is the first time such an approach is employed to constrain the metallicities of extragalactic absorbers. To demonstrate our method, we use the spectra of 13 quasars and one GRB with DLA absorbers detected along their sightlines. By using the Kramers-Kronig (KK) relation, which relates the wavelength-integrated extinction to the total volume occupied by dust per hydrogen nucleon, we set some robust lower limits on the metallicity of the DLAs. The resulting lower limits are all consistent with the DLA metallicities from the literature. The GRB extinction curve exhibits a very strong 2175 A extinction bump. We try to constrain the metallicity of the GRB DLA by modeling the GRB extinction curve using dust models with two (graphite and silicates) and three (PAH, hydrogenated amorphous carbon, and silicates) dust components. The two-component model resulted in a metallicity of $Z\sim$$-$0.45 while the three-component model gives $Z\sim$$-$0.50. On the other hand, the lower limit from the KK approach for this DLA is $Z\ge$$-$0.60. Modeling a large sample of extinction curves with 2175 A extinction bump and measured DLA metallicities would allow a thorough comparison between the KK and the model-dependent approach. In cases where the precise measurement of the metallicity of a DLA is not possible (e.g. due to the saturation of important absorption lines), the approach presented in this paper can be used to constrain the metallicity.


title: Stability of the log-Brunn-Minkowski inequality in the case of many hyperplane symmetries

abstract: In the case of symmetries with respect to n independent linear hyperplanes, a stability version of the logarithmic Brunn-Minkowski inequality and the logarithmic Minkowski inequality for convex bodies is established.


title: Attention-based multi-task learning for speech-enhancement and speaker-identification in multi-speaker dialogue scenario

abstract: Multi-task learning (MTL) and attention mechanism have been proven to effectively extract robust acoustic features for various speech-related tasks in noisy environments. In this study, we propose an attention-based MTL (ATM) approach that integrates MTL and the attention-weighting mechanism to simultaneously realize a multi-model learning structure that performs speech enhancement (SE) and speaker identification (SI). The proposed ATM system consists of three parts: SE, SI, and attention-Net (AttNet). The SE part is composed of a long-short-term memory (LSTM) model, and a deep neural network (DNN) model is used to develop the SI and AttNet parts. The overall ATM system first extracts the representative features and then enhances the speech signals in LSTM-SE and specifies speaker identity in DNN-SI. The AttNet computes weights based on DNN-SI to prepare better representative features for LSTM-SE. We tested the proposed ATM system on Taiwan Mandarin hearing in noise test sentences. The evaluation results confirmed that the proposed system can effectively enhance speech quality and intelligibility of a given noisy input. Moreover, the accuracy of the SI can also be notably improved by using the proposed ATM system.


title: On finite molecularization domains

abstract: In this paper, we advance an ideal-theoretic analogue of a "finite factorization domain" (FFD), giving such a domain the moniker "finite molecularization domain" (FMD). We characterize FMD's as those factorable domains (termed "molecular domains" in the paper) for which every nonzero ideal is divisible by only finitely many nonfactorable ideals (termed "molecules" in the paper) and the monoid of nonzero ideals of the domain is unit-cancellative, in the language of Fan, Geroldinger, Kainrath, and Tringali. We develop a number of connections, particularly at the local level, amongst the concepts of "FMD", "FFD", and the "finite superideal domains" (FSD's) of Hetzel and Lawson. Characterizations of when $k[X^2, X^3]$, where $k$ is a field, and the classical $D+M$ construction are FMD's are provided. We also demonstrate that if $R$ is a Dedekind domain with the finite norm property, then $R[X]$ is an FMD.


title: Phishing Attacks and Websites Classification Using Machine Learning and Multiple Datasets (A Comparative Analysis)

abstract: Phishing attacks are the most common type of cyber-attacks used to obtain sensitive information and have been affecting individuals as well as organisations across the globe. Various techniques have been proposed to identify the phishing attacks specifically, deployment of machine intelligence in recent years. However, the deployed algorithms and discriminating factors are very diverse in existing works. In this study, we present a comprehensive analysis of various machine learning algorithms to evaluate their performances over multiple datasets. We further investigate the most significant features within multiple datasets and compare the classification performance with the reduced dimensional datasets. The statistical results indicate that random forest and artificial neural network outperform other classification algorithms, achieving over 97% accuracy using the identified features.


title: Off-Policy Evaluation of Slate Policies under Bayes Risk

abstract: We study the problem of off-policy evaluation for slate bandits, for the typical case in which the logging policy factorizes over the slots of the slate. We slightly depart from the existing literature by taking Bayes risk as the criterion by which to evaluate estimators, and we analyze the family of 'additive' estimators that includes the pseudoinverse (PI) estimator of Swaminathan et al.\ (2017; arXiv:1605.04812). Using a control variate approach, we identify a new estimator in this family that is guaranteed to have lower risk than PI in the above class of problems. In particular, we show that the risk improvement over PI grows linearly with the number of slots, and linearly with the gap between the arithmetic and the harmonic mean of a set of slot-level divergences between the logging and the target policy. In the typical case of a uniform logging policy and a deterministic target policy, each divergence corresponds to slot size, showing that maximal gains can be obtained for slate problems with diverse numbers of actions per slot.


title: A Testing Tool for IoT Systems Operating with Limited Network Connectivity

abstract: For Internet of Things (IoT) systems operating in areas with limited network connectivity, reliable and safe functionality must be ensured. This can be done using special test cases which are examining system behavior in cases of network outage and restoration. These test cases have to be optimal when approached from the testing effort viewpoint. When approached from the process viewpoint, in the sense that a business process supported by a tested system might be affected by a network outage and restoration, test cases can be automatically generated using a suitable model-based testing (MBT) technique. This technique is currently available in the open freeware Oxygen MBT tool. In this paper, we explain the principle of the technique, a process model of the tested system that may be affected by limited network connectivity, and support for this specialized MBT technique on the Oxygen platform.


title: Explainable AI and Adoption of Financial Algorithmic Advisors: an Experimental Study

abstract: We study whether receiving advice from either a human or algorithmic advisor, accompanied by five types of Local and Global explanation labelings, has an effect on the readiness to adopt, willingness to pay, and trust in a financial AI consultant. We compare the differences over time and in various key situations using a unique experimental framework where participants play a web-based game with real monetary consequences. We observed that accuracy-based explanations of the model in initial phases leads to higher adoption rates. When the performance of the model is immaculate, there is less importance associated with the kind of explanation for adoption. Using more elaborate feature-based or accuracy-based explanations helps substantially in reducing the adoption drop upon model failure. Furthermore, using an autopilot increases adoption significantly. Participants assigned to the AI-labeled advice with explanations were willing to pay more for the advice than the AI-labeled advice with a No-explanation alternative. These results add to the literature on the importance of XAI for algorithmic adoption and trust.


title: Spatial K-anonymity: A Privacy-preserving Method for COVID-19 Related Geospatial Technologies

abstract: There is a growing need for spatial privacy considerations in the many geo-spatial technologies that have been created as solutions for COVID-19-related issues. Although effective geo-spatial technologies have already been rolled out, most have significantly sacrificed privacy for utility. In this paper, we explore spatial k-anonymity, a privacy-preserving method that can address this unnecessary tradeoff by providing the best of both privacy and utility. After evaluating its past implications in geo-spatial use cases, we propose applications of spatial k-anonymity in the data sharing and managing of COVID-19 contact tracing technologies as well as heat maps showing a user's travel history. We then justify our propositions by comparing spatial k-anonymity with several other spatial privacy methods, including differential privacy, geo-indistinguishability, and manual consent based redaction. Our hope is to raise awareness of the ever-growing risks associated with spatial privacy and how they can be solved with Spatial K-anonymity.


title: Continuous Glucose Monitoring Prediction

abstract: Diabetes is one of the deadliest diseases in the world and affects nearly 10 percent of the global adult population. Fortunately, powerful new technologies allow for a consistent and reliable treatment plan for people with diabetes. One major development is a system called continuous blood glucose monitoring (CGM). In this review, we look at three different continuous meal detection algorithms that were developed using given CGM data from patients with diabetes. From this analysis, an initial meal prediction algorithm was also developed utilizing these methods.


title: Using BART to Perform Pareto Optimization and Quantify its Uncertainties

abstract: Techniques to reduce the energy burden of an industrial ecosystem often require solving a multiobjective optimization problem. However, collecting experimental data can often be either expensive or time-consuming. In such cases, statistical methods can be helpful. This article proposes Pareto Front (PF) and Pareto Set (PS) estimation methods using Bayesian Additive Regression Trees (BART), which is a non-parametric model whose assumptions are typically less restrictive than popular alternatives, such as Gaussian Processes (GPs). These less restrictive assumptions allow BART to handle scenarios (e.g. high-dimensional input spaces, nonsmooth responses, large datasets) that GPs find difficult. The performance of our BART-based method is compared to a GP-based method using analytic test functions, demonstrating convincing advantages. Finally, our BART-based methodology is applied to a motivating engineering problem. Supplementary materials, which include a theorem proof, algorithms, and R code, for this article are available online.


title: Robust Machine Learning Systems: Challenges, Current Trends, Perspectives, and the Road Ahead

abstract: Machine Learning (ML) techniques have been rapidly adopted by smart Cyber-Physical Systems (CPS) and Internet-of-Things (IoT) due to their powerful decision-making capabilities. However, they are vulnerable to various security and reliability threats, at both hardware and software levels, that compromise their accuracy. These threats get aggravated in emerging edge ML devices that have stringent constraints in terms of resources (e.g., compute, memory, power/energy), and that therefore cannot employ costly security and reliability measures. Security, reliability, and vulnerability mitigation techniques span from network security measures to hardware protection, with an increased interest towards formal verification of trained ML models. This paper summarizes the prominent vulnerabilities of modern ML systems, highlights successful defenses and mitigation techniques against these vulnerabilities, both at the cloud (i.e., during the ML training phase) and edge (i.e., during the ML inference stage), discusses the implications of a resource-constrained design on the reliability and security of the system, identifies verification methodologies to ensure correct system behavior, and describes open research challenges for building secure and reliable ML systems at both the edge and the cloud.


title: Probing the $\Delta U=0$ Rule in Three Body Charm Decays

abstract: CP violation in charm decay was observed in the decays $D^0\rightarrow P^{\pm}P^{\mp}$ of a $D^0$ meson to two pseudoscalars. When interpreted within the SM, the results imply that the ratio of the relevant rescattering amplitudes has a magnitude and phase that are both of $O(1)$. We discuss ways to probe similar ratios in $D^0\rightarrow V^{\pm}P^{\mp}$ decays, where $V$ is a vector that decays to two pseudoscalars, from the Dalitz-plot analysis of time-integrated three-body decays. Compared to two-body decays, three-body decays have the advantage that the complete system can be solved without the need for time-dependent CP violation measurements or use of correlated $D^0$--$\overline{D}^0$ production. We discuss the decays $D^0\rightarrow \pi^+\pi^-\pi^0$ and $D^0\rightarrow K^+K^-\pi^0$ as examples by considering a toy model of only two overlapping charged resonances, treating the underlying pseudo two-body decays in full generality.


title: Open Set Domain Adaptation by Extreme Value Theory

abstract: Common domain adaptation techniques assume that the source domain and the target domain share an identical label space, which is problematic since when target samples are unlabeled we have no knowledge on whether the two domains share the same label space. When this is not the case, the existing methods fail to perform well because the additional unknown classes are also matched with the source domain during adaptation. In this paper, we tackle the open set domain adaptation problem under the assumption that the source and the target label spaces only partially overlap, and the task becomes when the unknown classes exist, how to detect the target unknown classes and avoid aligning them with the source domain. We propose to utilize an instance-level reweighting strategy for domain adaptation where the weights indicate the likelihood of a sample belonging to known classes and to model the tail of the entropy distribution with Extreme Value Theory for unknown class detection. Experiments on conventional domain adaptation datasets show that the proposed method outperforms the state-of-the-art models.


title: DeepPoison: Feature Transfer Based Stealthy Poisoning Attack

abstract: Deep neural networks are susceptible to poisoning attacks by purposely polluted training data with specific triggers. As existing episodes mainly focused on attack success rate with patch-based samples, defense algorithms can easily detect these poisoning samples. We propose DeepPoison, a novel adversarial network of one generator and two discriminators, to address this problem. Specifically, the generator automatically extracts the target class' hidden features and embeds them into benign training samples. One discriminator controls the ratio of the poisoning perturbation. The other discriminator works as the target model to testify the poisoning effects. The novelty of DeepPoison lies in that the generated poisoned training samples are indistinguishable from the benign ones by both defensive methods and manual visual inspection, and even benign test samples can achieve the attack. Extensive experiments have shown that DeepPoison can achieve a state-of-the-art attack success rate, as high as 91.74%, with only 7% poisoned samples on publicly available datasets LFW and CASIA. Furthermore, we have experimented with high-performance defense algorithms such as autodecoder defense and DBSCAN cluster detection and showed the resilience of DeepPoison.


title: Using Mars co-orbitals to estimate the importance of rotation-induced YORP break-up events in Earth co-orbital space

abstract: Both Earth and Mars host populations of co-orbital minor bodies. A large number of present-day Mars co-orbitals is probably associated with the fission of the parent body of Mars Trojan 5261 Eureka (1990 MB) during a rotation-induced YORP break-up event. Here, we use the statistical distributions of the Tisserand parameter and the relative mean longitude of Mars co-orbitals with eccentricity below 0.2 to estimate the importance of rotation-induced Yarkovsky-O'Keefe-Radzievskii-Paddack (YORP) break-up events in Martian co-orbital space. Machine-learning techniques (k-means++ and agglomerative hierarchical clustering algorithms) are applied to assess our findings. Our statistical analysis identified three new Mars Trojans: 2009 SE, 2018 EC4 and 2018 FC4. Two of them, 2018 EC4 and 2018 FC4, are probably linked to Eureka but we argue that 2009 SE may have been captured, so it is not related to Eureka. We also suggest that 2020 VT1, a recent discovery, is a transient Martian co-orbital of the horseshoe type. When applied to Earth co-orbital candidates with eccentricity below 0.2, our approach led us to identify some clustering, perhaps linked to fission events. The cluster with most members could be associated with Earth quasi-satellite 469219 Kamo`oalewa (2016 HO3) that is a fast rotator. Our statistical analysis identified two new Earth co-orbitals: 2020 PN1, that follows a horseshoe path, and 2020 PP1, a quasi-satellite that is dynamically similar to Kamo`oalewa. For both Mars and Earth co-orbitals, we found pairs of objects whose values of the Tisserand parameter differ by very small amounts, perhaps hinting at recent disruption events. Clustering algorithms and numerical simulations both suggest that 2020 KZ2 and Kamo`oalewa could be related.


title: Green valley galaxies in the cosmic web: internal versus environmental quenching

abstract: We analyze the SDSS data to classify the galaxies based on their colour using a fuzzy set-theoretic method and quantify their environments using the local dimension. We find that the fraction of the green galaxies does not depend on the environment and $10\%-20\%$ of the galaxies at each environment are in the green valley depending on the stellar mass range chosen. Approximately $10\%$ of the green galaxies at each environment host an AGN. Combining data from the Galaxy Zoo, we find that $\sim 95\%$ of the green galaxies are spirals and $\sim 5\%$ are ellipticals at each environment. Only $\sim 8\%$ of green galaxies exhibit signs of interactions and mergers, $\sim 1\%$ have dominant bulge, and $\sim 6\%$ host a bar. We show that the stellar mass distributions for the red and green galaxies are quite similar at each environment. Our analysis suggests that the majority of the green galaxies must curtail their star formation using physical mechanism(s) other than interactions, mergers, and those driven by bulge, bar and AGN activity. We speculate that these are the massive galaxies that have grown only via smooth accretion and suppressed the star formation primarily through mass driven quenching. Using a Kolmogorov-Smirnov test, we do not find any statistically significant difference between the properties of green galaxies in different environments. We conclude that the environmental factors play a minor role and the internal processes play the dominant role in quenching star formation in the green valley galaxies.


title: Augmentix -- An Augmented Reality System for asymmetric Teleteaching

abstract: Using augmented reality in education is already a common concept, as it has the potential to turn learning into a motivational learning experience. However, current research only covers the students site of learning. Almost no research focuses on the teachers' site and whether augmented reality could potentially improve his/her workflow of teaching the students or not. Many researchers do not differentiate between multiple user roles, like a student and a teacher. To allow investigation into these lacks of research, a teaching system "Augmentix" is presented, which includes a differentiation between the two user roles "teacher" and "student" to potentially enhances the teachers workflow by using augmented reality. In this system's setting the student can explore a virtual city in virtual reality and the teacher can guide him with augmented reality.


title: Approximation of wave packets on the real line

abstract: In this paper we compare three different orthogonal systems in $\mathrm{L}_2(\mathbb{R})$ which can be used in the construction of a spectral method for solving the semi-classically scaled time dependent Schr\"odinger equation on the real line, specifically, stretched Fourier functions, Hermite functions and Malmquist--Takenaka functions. All three have banded skew-Hermitian differentiation matrices, which greatly simplifies their implementation in a spectral method, while ensuring that the numerical solution is unitary -- this is essential in order to respect the Born interpretation in quantum mechanics and, as a byproduct, ensures numerical stability with respect to the $\mathrm{L}_2(\mathbb{R})$ norm. We derive asymptotic approximations of the coefficients for a wave packet in each of these bases, which are extremely accurate in the high frequency regime. We show that the Malmquist--Takenaka basis is superior, in a practical sense, to the more commonly used Hermite functions and stretched Fourier expansions for approximating wave packets


title: Monitoring of Railpad Long-term Condition in Turnouts Using Extreme Value Distributions

abstract: The railpad is a key element in railway infrastructures that plays an essential role in the train-track dynamics. Presence of worn or defective railpads along railway track may lead to large wheel/rail interaction forces, and a high rate of deterioration for track components. Despite the importance of railpad, the track infrastructure managers use no inspection tool for monitoring in-service railpads over time. In this paper, a novel data-driven monitoring tool for long-term performance analysis of in-service railpads is developed based on train-induced vibration data collected by a track-side measurement system. The monitoring tool consists of a method for track resonance frequencies estimation, a temperature-frequency model for describing railpad behavior with respect to ambient temperature, and a generalized likelihood ratio test based on the generalized extreme value distribution for detecting changes in the railpad status over time. To evaluate the performance of the proposed monitoring system, the status of railpads at four different locations along a railway turnout is monitored over a period of 18 months. It is shown that the monitoring system can successfully detect changes in railpad properties over the considered period.


title: HAVANA: Hierarchical and Variation-Normalized Autoencoder for Person Re-identification

abstract: Person Re-Identification (Re-ID) is of great importance to the many video surveillance systems. Learning discriminative features for Re-ID remains a challenge due to the large variations in the image space, e.g., continuously changing human poses, illuminations and point of views. In this paper, we propose HAVANA, a novel extensible, light-weight HierArchical and VAriation-Normalized Autoencoder that learns features robust to intra-class variations. In contrast to existing generative approaches that prune the variations with heavy extra supervised signals, HAVANA suppresses the intra-class variations with a Variation-Normalized Autoencoder trained with no additional supervision. We also introduce a novel Jensen-Shannon triplet loss for contrastive distribution learning in Re-ID. In addition, we present Hierarchical Variation Distiller, a hierarchical VAE to factorize the latent representation and explicitly model the variations. To the best of our knowledge, HAVANA is the first VAE-based framework for person ReID.


title: The Sun's magnetic (Hale) cycle and 27 day recurrences in the $aa$ geomagnetic index

abstract: We construct a new solar cycle phase clock which maps each of the last 18 solar cycles onto a single normalized epoch for the approximately 22 year Hale (magnetic polarity) cycle, using the Hilbert transform of daily sunspot numbers (SSN) since 1818. The occurrences of solar maxima show almost no Hale cycle dependence, confirming that the clock is synchronized to polarity reversals. The odd cycle minima lead the even cycle minima by ~ 1.1 normalized years, whereas the odd cycle terminators (McIntosh et al. (2019)) lag the even cycle terminators by ~ 2.3 normalized years. The mimimum-terminator interval is thus relatively extended for odd cycles and shortened for even ones. We re-engineer the Sargent(1985,2021) R27 index and combine it with our epoch analysis to obtain a high time resolution parameter for 27 day recurrence in aa, <acv(27)>. This reveals that the transition to recurrence, that is, to an ordered solar wind dominated by high speed streams, is fast, occurring within 2-3 solar rotations or less. It resolves an extended late declining phase which is approximately twice as long on even Schwabe cycles as odd. Galactic Cosmic Ray flux rises in step with <acv(27)> but then stays high. Our analysis also identifies a slow timescale trend in SSN that simply tracks the Gleissberg cycle. We find that this trend is in phase with the slow timescale trend in the modulus of sunspot latitudes, and in antiphase with that of the R27 index.


title: Instanced model simplification using combined geometric and appearance-related metric

abstract: Evolution of 3D graphics and graphical worlds has brought issues like content optimization, real-time processing, rendering, and shared storage limitation under consideration. Generally, different simplification approaches are used to make 3D meshes viable for rendering. However, many of these approaches ignore vertex attributes for instanced 3D meshes. In this paper, we implement and evaluate a simple and improved version to simplify instanced 3D textured models. The approach uses different vertex attributes in addition to geometry to simplify mesh instances. The resulting simplified models demonstrate efficient time-space requirements and better visual quality.


title: DarpanX: A Python Package for Modeling X-ray Reflectivity of Multilayer Mirrors

abstract: Multilayer X-ray mirrors consist of a coating of a large number of alternate layers of high Z and low Z materials with a typical thickness of 10-100 Angstrom, on a suitable substrate. Such coatings play an important role in enhancing the reflectivity of X-ray mirrors by allowing reflections at angles much larger than the critical angle of X-ray reflection for the given materials. Coating with an equal thickness of each bilayer enhances the reflectivity at discrete energies, satisfying Bragg condition. However, by systematically varying the bilayer thickness in the multilayer stack, it is possible to design X-ray mirrors having enhanced reflectivity over a broad energy range. One of the most important applications of such a depth graded multilayer mirror is to realize hard X-ray telescopes for astronomical purposes. Design of such multilayer X-ray mirrors and their characterization with X-ray reflectivity measurements require appropriate software tools. We have initiated the development of hard X-ray optics for future Indian X-ray astronomical missions, and in this context, we have developed a program, DarpanX, to calculate X-ray reflectivity for single and multilayer mirrors. It can be used as a stand-alone tool for designing multilayer mirrors with required characteristics. But more importantly, it has been implemented as a local model for the popular X-ray spectral fitting program, XSPEC, and thus can be used for accurate fitting of the experimentally measured X-ray reflectivity data. DarpanX is implemented as a Python 3 module, and an API is provided to access the underlying algorithms. Here we present details of DarpanX implementation and its validation for different type multilayer structures. We also demonstrate the model fitting capability of DarpanX for experimental X-ray reflectivity measurements of single and multilayer samples.


title: "Pass the Buck" on a Rooted Tree

abstract: The Stochastic Abacus is can employed to compute winning probabilities for each vertex of a rooted tree in the game "Pass the Buck", with the starting vertex being the root of the tree. For all but the simplest trees, the abacus can't really be implemented due to the large number of steps needed for completion. In this paper, a technique for anticipating the outcome is introduced.


title: RANK: AI-assisted End-to-End Architecture for Detecting Persistent Attacks in Enterprise Networks

abstract: Advanced Persistent Threats (APTs) are sophisticated multi-step attacks, planned and executed by skilled adversaries targeting modern government and enterprise networks. Intrusion Detection Systems (IDSs) and User and Entity Behavior Analytics (UEBA) are commonly employed to aid a security analyst in the detection of APTs. The prolonged nature of APTs, combined with the granular focus of UEBA and IDS, results in overwhelming the analyst with an increasingly impractical number of alerts. Consequent to this abundance of data, and together with the crucial importance of the problem as well as the high cost of the skilled personnel involved, the problem of APT detection becomes a perfect candidate for automation through Artificial Intelligence (AI). In this paper, we provide, up to our knowledge, the first study and implementation of an end-to-end AI-assisted architecture for detecting APTs -- RANK. The goal of the system is not to replace the analyst, rather, it is to automate the complete pipeline from data sources to a final set of incidents for analyst review. The architecture is composed of four consecutive steps: 1) alert templating and merging, 2) alert graph construction, 3) alert graph partitioning into incidents, and 4) incident scoring and ordering. We evaluate our architecture against the 2000 DARPA Intrusion Detection dataset, as well as a read-world private dataset from a medium-scale enterprise. Extensive results are provided showing a three order of magnitude reduction in the amount of data to be reviewed by the analyst, innovative extraction of incidents and security-wise scoring of extracted incidents.


title: Planar Reachability Under Single Vertex or Edge Failures

abstract: In this paper we present an efficient reachability oracle under single-edge or single-vertex failures for planar directed graphs. Specifically, we show that a planar digraph $G$ can be preprocessed in $O(n\log^2{n}/\log\log{n})$ time, producing an $O(n\log{n})$-space data structure that can answer in $O(\log{n})$ time whether $u$ can reach $v$ in $G$ if the vertex $x$ (the edge~$f$) is removed from $G$, for any query vertices $u,v$ and failed vertex $x$ (failed edge $f$). To the best of our knowledge, this is the first data structure for planar directed graphs with nearly optimal preprocessing time that answers all-pairs queries under any kind of failures in polylogarithmic time. We also consider 2-reachability problems, where we are given a planar digraph $G$ and we wish to determine if there are two vertex-disjoint (edge-disjoint) paths from $u$ to $v$, for query vertices $u,v$. In this setting we provide a nearly optimal 2-reachability oracle, which is the existential variant of the reachability oracle under single failures, with the following bounds. We can construct in $O(n\log^{O(1)}{n})$ time an $O(n\log^{3+o(1)}{n})$-space data structure that can check in $O(\log^{2+o(1)}{n})$ time for any query vertices $u,v$ whether $v$ is 2-reachable from $u$, or otherwise find some separating vertex (edge) $x$ lying on all paths from $u$ to $v$ in $G$. To obtain our results, we follow the general recursive approach of Thorup for reachability in planar graphs [J.~ACM~'04] and we present new data structures which generalize dominator trees and previous data structures for strong-connectivity under failures [Georgiadis et al., SODA~'17]. Our new data structures work also for general digraphs and may be of independent interest.


title: Modelling of runaway electron dynamics during argon-induced disruptions in ASDEX Upgrade and JET

abstract: Disruptions in tokamak plasmas may lead to the generation of runaway electrons that have the potential to damage plasma-facing components. Improved understanding of the runaway generation process requires interpretative modelling of experiments. In this work we simulate eight discharges in the ASDEX Upgrade and JET tokamaks, where argon gas was injected to trigger the disruption. We use a fluid modelling framework with the capability to model the generation of runaway electrons through the hot-tail, Dreicer and avalanche mechanisms, as well as runaway electron losses. Using experimentally based initial values of plasma current and electron temperature and density, we can reproduce the plasma current evolution using realistic assumptions about temperature evolution and assimilation of the injected argon in the plasma. The assumptions and results are similar for the modelled discharges in ASDEX Upgrade and JET, indicating that the implemented models are applicable to machines of varying size, which is important for the modelling of future, larger machines. For the modelled discharges in ASDEX Upgrade, where the initial temperature was comparatively high, we had to assume that a large fraction of the hot-tail runaway electrons were lost in order to reproduce the measured current evolution.


title: Discussing the Risks of Adaptive Virtual Environments for User Autonomy

abstract: Adaptive virtual environments are an opportunity to support users and increase their flow, presence, immersion, and overall experience. Possible fields of application are adaptive individual education, gameplay adjustment, professional work, and personalized content. But who benefits more from this adaptivity, the users who can enjoy a greater user experience or the companies or governments who are completely in control of the provided content. While the user autonomy decreases for individuals, the power of institutions raises, and the risk exists that personal opinions are precisely controlled. In this position paper, we will argue that researchers should not only propose the benefits of their work but also critically discuss what are possible abusive use cases. Therefore, we will examine two use cases in the fields of professional work and personalized content and show possible abusive use.


title: Robust and Attack Resilient Logic Locking with a High Application-Level Impact

abstract: Logic locking is a hardware security technique to intellectual property (IP) against security threats in the IC supply chain, especially untrusted fabs. Such techniques incorporate additional locking circuitry within an IC that induces incorrect functionality when an incorrect key is provided. The amount of error induced is known as the effectiveness of the locking technique. "SAT attacks" provide a strong mathematical formulation to find the correct key of locked circuits. In order to achieve high SAT resilience(i.e. complexity of SAT attacks), many conventional logic locking schemes fail to inject sufficient error into the circuit. For example, in the case of SARLock and Anti-SAT, there are usually very few (or only one) input minterms that cause any error at the circuit output. The state-of-the-art stripped functionality logic locking (SFLL) technique introduced a trade-off between SAT resilience and effectiveness. In this work, we prove that such a trade-off is universal in logic locking. In order to attain high effectiveness of locking without compromising SAT resilience, we propose a novel logic locking scheme, called Strong Anti-SAT (SAS). In addition to SAT attacks, removal-based attacks are also popular against logic locking. Based on SAS, we propose Robust SAS (RSAS) which is resilient to removal attacks and maintains the same SAT resilience and as effectiveness as SAS. SAS and RSAS have the following significant improvements over existing techniques. (1) SAT resilience of SAS and RSAS against SAT attack is not compromised by increase in effectiveness. (2) In contrast to prior work focusing solely on the circuit-level locking impact, we integrate SAS-locked modules into a processor and show that SAS has a high application-level impact. (3) Our experiments show that SAS and RSAS exhibit better SAT resilience than SFLL and have similar effectiveness.


title: Progress in the development of TES microcalorimeter detectors suitable for neutrino mass measurement

abstract: The HOLMES experiment will perform a precise calorimetric measurement of the end point of the Electron Capture (EC) decay spectrum of 163Ho in order to extract information on neutrino mass with a sensitivity below 2 eV. In its final configuration, HOLMES will deploy 1000 detectors of low-temperature microcalorimeters with implanted 163Ho nuclei. The baseline sensors for HOLMES are Mo/Cu TESs (Transition Edge Sensors) on SiNx membrane with gold absorbers. Considering the large number of pixels and an event rate of about 300 Hz/pixel, a large multiplexing factor and a large bandwidth are needed. To fulfill this requirement, HOLMES will exploit recent advances in microwave multiplexing. In this contribution, we present the status of the activities in development, the performances of the developed microwave-multiplexed readout system, and the results obtained with the detectors specifically designed for HOLMES in terms of noise, time, and energy resolutions


title: Multi-harmonic correlations of different flow amplitudes in Pb-Pb collisions at $\sqrt{s_{_{\rm NN}}}=2.76$ TeV

abstract: The event-by-event correlations between three flow amplitudes are measured for the first time in Pb--Pb collisions, using higher-order Symmetric Cumulants. We find that different three-harmonic correlations develop during the collective evolution of the medium, when compared with correlations that exist in the initial state. These new results cannot be interpreted in terms of previous lower-order flow measurements, since contributions from two-harmonic correlations are explicitly removed in the new observables. Comparison with Monte Carlo simulations provides new and independent constraints for the initial conditions and system properties of nuclear matter created in heavy-ion collisions.


title: Handling Missingness Value on Jointly Measured Time-Course and Time-to-event Data

abstract: Joint modeling technique is a recent advancement in effectively analyzing the longitudinal history of patients with the occurrence of an event of interest attached to it. This procedure is successfully implemented in biomarker studies to examine parents with the occurrence of tumor. One of the typical problem that influences the necessary inference is the presence of missing values in the longitudinal responses as well as in covariates. The occurrence of missingness is very common due to the dropout of patients from the study. This article presents an effective and detailed way to handle the missing values in the covariates and response variable. This study discusses the effect of different multiple imputation techniques on the inferences of joint modeling implemented on imputed datasets. A simulation study is carried out to replicate the complex data structures and conveniently perform our analysis to show its efficacy in terms of parameter estimation. This analysis is further illustrated with the longitudinal and survival outcomes of biomarkers' study by assessing proper codes in R programming language.


title: First measurement of coherent $\rho^{0}$ photoproduction in ultra-peripheral Xe-Xe collisions at $\mathbf{\sqrt{s_{\rm {\scriptscriptstyle \mathbf{NN}}}} = 5.44}$ TeV

abstract: The first measurement of the coherent photoproduction of $\rho^{0}$ vector mesons in ultra-peripheral Xe-Xe collisions at $\sqrt{s_{\mathrm{\rm NN}}}= 5.44$ TeV is presented. This result, together with previous HERA $\gamma$p data and $\gamma$-Pb measurements from ALICE, describes the atomic number ($A$) dependence of this process, which is particularly sensitive to nuclear shadowing effects and to the approach to the black-disc limit of QCD at a semi-hard scale. The cross section of the ${\rm Xe}+{\rm Xe} \to \rho^{0} + {\rm Xe}+{\rm Xe}$ process, measured at midrapidity through the decay channel $\rho^{0}\to\pi^+\pi^-$, is found to be ${\rm d}\sigma/{\rm d}y=131.5\pm 5.6 {\rm (stat.)} ^{+17.5}_{-16.9} {\rm (syst.)}$ mb. The ratio of the continuum to resonant contributions for the production of pion pairs is also measured. In addition, the fraction of events accompanied by electromagnetic dissociation of either one or both colliding nuclei is reported. The dependence on $A$ of cross section for the coherent $\rho^{0}$ photoproduction at a centre-of-mass energy per nucleon of the $\gamma A$ system of $W_{\gamma A,n}= 65$ GeV is found to be consistent with a power-law behaviour $\sigma (\gamma A\rightarrow \rho^{0} A) \propto A^{\alpha}$ with a slope $\alpha = 0.96 \pm 0.02 {\rm (syst.)}$. This slope signals important shadowing effects, but it is still far from the behaviour expected in the black-disc limit.


title: Self-similar signed growth-fragmentations

abstract: Growth-fragmentation processes model the evolution of positive masses which undergo binary divisions. The aim of this paper is twofold. First, we extend the theory of growth-fragmentation processes to allow signed mass. Among others, we introduce genealogical martingales and establish a spinal decomposition for the associated cell system, following arXiv:1605.00581. Then, we study a particular family of such self-similar signed growth-fragmentation processes which arise when cutting half-planar excursions at horizontal levels. When restricting this process to the positive masses, we recover part of the family introduced by Bertoin, Budd, Curien and Kortchemski in arXiv:1605.00581.


title: Qutrit-based semi-quantum key distribution protocol

abstract: This article provides the unconditional security of a semi quantum key distribution (SQKD) protocol based on 3-dimensional quantum states. By deriving a lower bound for the key rate, in the asymptotic scenario, as a function of the quantum channel's noise, we find that this protocol has improved secret key rate with much more tolerance for noise compared to the previous 2-dimensional SQKD protocol. Our results highlight that, similar to the fully quantum key distribution protocol, increasing the dimension of the system can increase the noise tolerance in the semi-quantum key distribution, as well.


title: Oscillatory Residual Stresses in Steady Angular Channel Extrusion

abstract: Angular channel extrusion has evolved as processes that can induce significant strengthening of the formed product through grain refinement. However, significant residual stresses are developed in the extruded product whose quantification is necessary for accurate process design and subsequent heat treatment. Experimental evaluation of residual stress provides the through thickness (normal) variation at chosen sampling points on the formed product and may provide inaccurate estimates if variations along the extrusion (longitudinal) directions are present. Process models can complement the experimental measurements and improve the estimates of residual stress distribution. While models of this process have been developed, very few of them have been applied to understand the variation of residual stress in the formed products. The present work aims to address this limitation by providing a complete map of residual stress distribution in angular extrusion process through numerical simulations. Interestingly, our simulations show that the angular channel extruded product can have significant longitudinal variation of residual stress depending on the extrusion ratio and strain hardening rate. Detailed analyses of the process reveals that these spatial oscillations occur due to cyclic movement of the contact location between the die and the top-billet surface in the exit channel. The outcome of this study suggests that accurate measurement technique of residual stress field in angular channel extruded products should consider the possibility of longitudinal variations. The findings can be extended to other continuous forming processes as well.


title: Explore the Axion Dark Matter through the Radio Signals from Magnetic White Dwarf Stars

abstract: Axion as one of the promising dark matter candidates can be detected through narrow radio lines emitted from the magnetic white dwarf stars. Due to the existence of the strong magnetic field, the axion may resonantly convert into the radio photon (Primakoff effect) when it passes through a narrow region in the corona of the magnetic white dwarf, where the plasma frequency is equal to the axion mass. We show that for the magnetic white dwarf WD 2010+310, the future experiment SKA phase 1 with 100 hours of observation can effectively probe the parameter space of the axion-photon coupling $g_{a\gamma}$ up to $\sim 10^{-12}~ \text{GeV}^{-1}$ for the axion mass range of $0.2 \sim 3.7~ \mu$eV. Note that in the low mass region ($m_a \lesssim 1.5 ~\mu\text{eV}$), the WD 2010+310 could give greater sensitivity than the neutron star RX J0806.4-4123.


title: Sum-full sets are not zero-sum-free

abstract: Let $A$ be a finite, nonempty subset of an abelian group. We show that if every element of $A$ is a sum of two other elements, then $A$ has a nonempty zero-sum subset. That is, a (finite, nonempty) sum-full subset of an abelian group is not zero-sum-free.


title: Mining the Relationship Between COVID-19 Sentiment and Market Performance

abstract: At the beginning of the COVID-19 outbreak in March, we observed one of the largest stock market crashes in history. Within the months following this, a volatile bullish climb back to pre-pandemic performances and higher. In this paper, we study the stock market behavior during the initial few months of the COVID-19 pandemic in relation to COVID-19 sentiment. Using text sentiment analysis of Twitter data, we look at tweets that contain key words in relation to the COVID-19 pandemic and the sentiment of the tweet to understand whether sentiment can be used as an indicator for stock market performance. There has been previous research done on applying natural language processing and text sentiment analysis to understand the stock market performance, given how prevalent the impact of COVID-19 is to the economy, we want to further the application of these techniques to understand the relationship that COVID-19 has with stock market performance. Our findings show that there is a strong relationship to COVID-19 sentiment derived from tweets that could be used to predict stock market performance in the future.


title: Leveraging latent persistency in United States patent and trademark applications to gain insight into the evolution of an innovation-driven economy

abstract: Objective: An understanding of when one or more external factors may influence the evolution of innovation tracking indices (such as US patent and trademark applications (PTA)) is an important aspect of examining economic progress/regress. Using exploratory statistics, the analysis uses a novel tool to leverage the long-range dependency (LRD) intrinsic to PTA to resolve when such factor(s) may have caused significant disruptions in the evolution of the indices, and thus give insight into substantive economic growth dynamics. Approach: This paper explores the use of the Chronological Hurst Exponent (CHE) to explore the LRD using overlapping time windows to quantify long-memory dynamics in the monthly PTA time-series spanning 1977 to 2016. Results/Discussion: The CHE is found to increase in a clear S-curve pattern, achieving persistence (H~1) from non-persistence (H~0.5). For patents, the inflection occurred over a span of 10 years (1980-1990), while it was much sharper (3 years) for trademarks (1977-1980). Conclusions/Originality/Value: This analysis suggests (in part) that the rapid augmentation in R&D expenditure and the introduction of the various patent directed policy acts (e.g., Bayh-Dole, Stevenson-Wydler) are the key impetuses behind persistency, latent in PTA. The post-1990s exogenic factors seem to be simply maintaining the high degree and consistency of the persistency metric. These findings suggest investigators should consider latent persistency when using these data and the CHE may be an important tool to investigate the impact of substantive exogenous variables on growth dynamics.


title: Optimal asymptotic of the $J$ functional with respect to the $d_1$ metric

abstract: We obtain sharp inequalities between the large scale asymptotic of the $J$ functional with respect to the $d_1$ metric on the space of Kahler metrics. Applications regarding the initial value problem for geodesic rays are presented.


title: Upswing in Industrial Activity and Infant Mortality during Late 19th Century US

abstract: This paper aims to assess the effects of industrial pollution on infant mortality between the years 1850-1940 using full count decennial censuses. In this period, US economy experienced a tremendous rise in industrial activity with significant variation among different counties in absorbing manufacturing industries. Since manufacturing industries are shown to be the main source of pollution, we use the share of employment at the county level in this industry to proxy for space-time variation in industrial pollution. Since male embryos are more vulnerable to external stressors like pollution during prenatal development, they will face higher likelihood of fetal death. Therefore, we proxy infant mortality with different measures of gender ratio. We show that the upswing in industrial pollution during late nineteenth century and early twentieth century has led to an increase in infant mortality. The results are consistent and robust across different scenarios, measures for our proxies, and aggregation levels. We find that infants and more specifically male infants had paid the price of pollution during upswing in industrial growth at the dawn of the 20th century. Contemporary datasets are used to verify the validity of the proxies. Some policy implications are discussed.


title: Efficient Data Management in Neutron Scattering Data Reduction Workflows at ORNL

abstract: Oak Ridge National Laboratory (ORNL) experimental neutron science facilities produce 1.2\,TB a day of raw event-based data that is stored using the standard metadata-rich NeXus schema built on top of the HDF5 file format. Performance of several data reduction workflows is largely determined by the amount of time spent on the loading and processing algorithms in Mantid, an open-source data analysis framework used across several neutron sciences facilities around the world. The present work introduces new data management algorithms to address identified input output (I/O) bottlenecks on Mantid. First, we introduce an in-memory binary-tree metadata index that resemble NeXus data access patterns to provide a scalable search and extraction mechanism. Second, data encapsulation in Mantid algorithms is optimally redesigned to reduce the total compute and memory runtime footprint associated with metadata I/O reconstruction tasks. Results from this work show speed ups in wall-clock time on ORNL data reduction workflows, ranging from 11\% to 30\% depending on the complexity of the targeted instrument-specific data. Nevertheless, we highlight the need for more research to address reduction challenges as experimental data volumes increase.


title: Arrangement of Central Points on the Faces of a Tetrahedron

abstract: We systematically investigate properties of various triangle centers (such as orthocenter or incenter) located on the four faces of a tetrahedron. For each of six types of tetrahedra, we examine over 100 centers located on the four faces of the tetrahedron. Using a computer, we determine when any of 16 conditions occur (such as the four centers being coplanar). A typical result is: The lines from each vertex of a circumscriptible tetrahedron to the Gergonne points of the opposite face are concurrent.


title: Relationships Between Circles Inscribed in Triangles and Related Curvilinear Triangles

abstract: If P is a point inside triangle ABC, then the cevians through P extended to the circumcircle of triangle ABC create a figure containing a number of curvilinear triangles. Each curvilinear triangle is bounded by an arc of the circumcircle and two line segments lying along the sides or cevians of the original triangle. We give theorems about the relationships between the radii of circles inscribed in various sets of these curvilinear triangles.


title: On Satisficing in Quantitative Games

abstract: Several problems in planning and reactive synthesis can be reduced to the analysis of two-player quantitative graph games. {\em Optimization} is one form of analysis. We argue that in many cases it may be better to replace the optimization problem with the {\em satisficing problem}, where instead of searching for optimal solutions, the goal is to search for solutions that adhere to a given threshold bound. This work defines and investigates the satisficing problem on a two-player graph game with the discounted-sum cost model. We show that while the satisficing problem can be solved using numerical methods just like the optimization problem, this approach does not render compelling benefits over optimization. When the discount factor is, however, an integer, we present another approach to satisficing, which is purely based on automata methods. We show that this approach is algorithmically more performant -- both theoretically and empirically -- and demonstrates the broader applicability of satisficing overoptimization.


title: A Clinical Evaluation of a Low-Cost Strain Gauge Respiration Belt and Machine Learning to Detect Sleep Apnea

abstract: Sleep apnea is a serious and severely under-diagnosed sleep-related respiration disorder characterized by repeated disrupted breathing events during sleep. It is diagnosed via polysomnography which is an expensive test conducted in a sleep lab requiring sleep experts to manually score the recorded data. Since the symptoms of sleep apnea are often ambiguous, it is difficult for a physician to decide whether to prescribe polysomnography. In this study, we investigate whether helpful information can be obtained by collecting and automatically analysing sleep data using a smartphone and an inexpensive strain gauge respiration belt. We evaluate how accurately we can detect sleep apnea with wide variety of machine learning techniques with data from a clinical study with 49 overnight sleep recordings. With less than one hour of training, we can distinguish between normal and apneic minutes with an accuracy, sensitivity, and specificity of 0.7609, 0.7833, and 0.7217, respectively. These results can be achieved even if we train only on high-quality data from an entirely separate, clinically certified sensor, which has the potential to substantially reduce the cost of data collection. Data from a complete night can be analyzed in about one second on a smartphone.


title: Continuum Model and Numerical Method for Dislocation Structure and Energy of Grain Boundaries

abstract: We present a continuum model to determine the dislocation structure and energy of low angle grain boundaries in three dimensions. The equilibrium dislocation structure is obtained by minimizing the grain boundary energy that is associated with the constituent dislocations subject to the constraint of Frank's formula. The orientation-dependent continuous distributions of dislocation lines on grain boundaries are described conveniently using the dislocation density potential functions, whose contour lines on the grain boundaries represent the dislocations. The energy of a grain boundary is the total energy of the constituent dislocations derived from discrete dislocation dynamics model, incorporating both the dislocation line energy and reactions of dislocations. The constrained energy minimization problem is solved by the augmented Lagrangian method and projection method. Comparisons with atomistic simulation results show that our continuum model is able to give excellent predictions of the energy and dislocation densities of both planar and curved low angle grain boundaries.


title: Han's conjecture for bounded extensions

abstract: Let $B\subset A$ be a left or right bounded extension of finite dimensional algebras. We use the Jacobi-Zariski long nearly exact sequence to show that $B$ satisfies Han's conjecture if and only if $A$ does, regardless if the extension splits or not. We provide conditions ensuring that an extension by arrows and relations is left or right bounded. Finally we give a structure result for extensions of an algebra given by a quiver and admissible relations, and examples of non split left or right bounded extensions.


title: Mathematical modelling of fibre coating

abstract: In this report we formulate and analyse a mathematical model describing the evolution of a thin liquid film coating a wire via an extrusion process. We consider the Navier-Stokes equations for a 2D incompressible Newtonian fluid coupled to the standard equation relating the fluid surface tension with the curvature. Taking the lubrication theory approximation and assuming steady state, the problem is reduced to a single third-order differential equation for the thin film height. An approximate analytical solution for the final film height is derived and compared with a numerical solution obtained by means of a shooting scheme. Good agreement between the two solutions is obtained, resulting in a relative error of around 5\%. The approximate solution reveals that the key control parameters for the process are the initial film height, the fluid surface tension and viscosity, the wire velocity and the angle of exit at the extruder.


title: 28 GHz Indoor and Outdoor Propagation Analysis at a Regional Airport

abstract: In the upcoming 5G communication, the millimeter-wave (mmWave) technology will play an important role due to its large bandwidth and high data rate. However, mmWave frequencies have higher free-space path loss (FSPL) in line-of-sight (LOS) propagation compared to the currently used sub-6 GHz frequencies. What is more, in non-line-of-sight (NLOS) propagation, the attenuation of mmWave is larger compared to the lower frequencies, which can seriously degrade the performance. It is therefore necessary to investigate mmWave propagation characteristics for a given deployment scenario to understand coverage and rate performance for that environment. In this paper, we focus on 28 GHz wideband mmWave signal propagation characteristics at Johnston Regional Airport (JNX), a local airport near Raleigh, NC. To collect data, we use an NI PXI based channel sounder at 28 GHz for indoor, outdoor, and indoor-to-outdoor scenarios. Results on LOS propagation, reflection, penetration, signal coverage, and multi-path components (MPCs) show a lower indoor FSPL, a richer scattering, and a better coverage compared to outdoor. We also observe high indoor-to-outdoor propagation losses.


title: "Pushing" our way from the valley Delta to the generalised valley Delta

abstract: In [Haglund, Remmel, Wilson 2018] the authors state two versions of the so called Delta conjecture, the rise version and the valley version. Of the former, they also give a more general statement in which zero labels are also allowed. In [Qiu, Wilson 2020], the corresponding generalisation of the valley version is also formulated. In [D'Adderio, Iraci, Vanden Wyngaerd 2020], the authors use a pushing algorithm to prove the generalised version of the shuffle theorem. An extension of that argument is used in [Iraci, Vanden Wyngaerd 2020] to formulate a valley version of the (generalised) Delta square conjecture, and to suggest a symmetric function identity later stated and proved in [D'Adderio, Romero 2020]. In this paper, we use the pushing algorithm together with the aforementioned symmetric function identity in order to prove that the valley version of the Delta conjecture implies the valley version of the generalised Delta conjecture, which means that they are actually equivalent. Combining this with the results in [Iraci, Vanden Wyngaerd 2020], we prove that the valley version of the Delta conjecture also implies the corresponding generalised Delta square conjecture.


title: Probing the dynamics of chiral SU(N) gauge theories via generalized anomalies

abstract: We study symmetries and dynamics of chiral $SU(N)$ gauge theories with matter Weyl fermions in a two-index symmetric ($\psi$) or anti-symmetric tensor ($\chi$) representation, together with $N \pm 4 + p $ fermions in the anti-fundamental ($\eta$) and $p$ fermions in the fundamental ($\xi$) representations. They are known as the Bars-Yankielowicz (the former) and the generalized Georgi-Glashow models (the latter). The conventional 't Hooft anomaly matching algorithm is known to allow a confining, chirally symmetric vacuum in all these models, with a simple set of massless baryonlike composite fermions describing the infrared physics. We analyzed recently one of these models ($\psi\eta$ model), by applying the ideas of generalized symmetries and the consequent, stronger constraints involving certain mixed anomalies, finding that the confining, chirally symmetric, vacuum is actually inconsistent. In the present paper this result is extended to a wider class of the Bars-Yankielowicz and the generalized Georgi-Glashow models. It is shown that for all these models with $N$ and $p$ both even, at least, the generalized anomaly matching requirement forbids the persistence of the full chiral symmetries in the infrared if the system confines. The most natural and consistent possibility is that some bifermion condensates form, breaking the color gauge symmetry dynamically, together with part of the global symmetry.


title: Schemes in Lean

abstract: We tell the story of how schemes were formalised in three different ways in the Lean theorem prover.


title: Multilevel Laser Induced Continuum Structure

abstract: Laser-induced-continuum-structure(LICS) allows for coherent control techniques to be applied in a Raman type system with intermediate continuum state. To this end the standard LICS problem treats two bound states coupled to one or more continua states. In this paper we discuss the simplest non-trivial multilevel generalization of LICS coupling two bound levels, each composed of two degenerate states through a common continuum state. We reduce the complexity of the effective system of bound states by switching to a rotated basis in which different sub-systems of lower dimension evolve independently. We derive a trapping condition and explore the dynamics of the sub-systems under different initial conditions.


title: Adhesion as a trigger of droplet polarization in flowing emulsions

abstract: Tissues are subjected to large external forces and undergo global deformations during morphogenesis. We use synthetic analogues of tissues to study the impact of cell-cell adhesion on the response of cohesive cellular assemblies under such stresses. In particular, we use biomimetic emulsions in which the droplets are functionalized in order to exhibit specific droplet-droplet adhesion. We flow these emulsions in microfluidic constrictions and study their response to this forced deformation via confocal microscopy. We find that the distributions of avalanche sizes are conserved between repulsive and adhesive droplets. However, adhesion locally impairs the rupture of droplet-droplet contacts, which in turn pulls on the rearranging droplets. As a result, adhesive droplets are a lot more deformed along the axis of elongation in the constriction. This finding could shed light on the origin of polarization processes during morphogenesis.


title: Mixing and unmixing induced by active camphor particles

abstract: In this experimental study, we report on the mixing properties of interfacial colloidal floaters (glass bubbles) by chemical and hydrodynamical currents generated by self-propelled camphor disks swimming at the air-water interface. Despite reaching a statistically stationary state for the glass bubbles distribution, those floaters always remain only partially mixed. This intermediate state results from a competition between (i) the mixing induced by the disordered motion of many camphor swimmers and (ii) the unmixing promoted by the chemical cloud attached to each individual self-propelled disk. Mixing/unmixing is characterized globally using the standard deviation of concentration and spectra, but also more locally by averaging the concentration field around a swimmer. Besides the demixing process, the system develops a "turbulent-like" concentration spectra, with a large-scale region, an inertial regime and a Batchelor region. We show that unmixing is due to the Marangoni flow around the camphor swimmers, and is associated to compressible effects.


title: Solving the Bethe-Salpeter Equation on a Subspace: Approximations and Consequences for Low-dimensional Materials

abstract: It is well known that the ambient environment can dramatically renormalize the quasiparticle gap and exciton binding energies in low-dimensional materials, but the effect of the environment on the energy splitting of the spin-singlet and spin-triplet exciton states is less understood. A prominent effect is the renormalization of the exciton binding energy and optical strength (and hence the optical spectrum) through additional screening of the direct Coulomb term describing the attractive electron-hole interaction in the kernel of the Bethe-Salpeter equation (BSE). The repulsive exchange interaction responsible for the singlet-triplet slitting, on the other hand, is unscreened within formal many-body perturbation theory. However, Loren Benedict argued that in practical calculations restricted to a subspace of the full Hilbert space, the exchange interaction should be appropriately screened by states outside of the subspace, the so-called $S$ approximation \cite{Benedict2002}. Here, we systematically explore the accuracy of the $S$ approximation for different confined systems, including a molecule and heterostructures of semiconducting and metallic layered materials. We show that the $S$ approximation is actually exact in the limit of small exciton binding energies (i.e., small direct term) and can be used to significantly accelerate convergence of the exciton energies with respect to the number of empty states, provided that a particular effective screening consistent with the conventional Tamm-Dancoff approximation is employed. We further find that the singlet-triplet splitting in the energy of the excitons is largely unaffected by the external dielectric environment for most quasi-two-dimensional materials.