title: From Competition to Collaboration: Making Toy Datasets on Kaggle Clinically Useful for Chest X-Ray Diagnosis Using Federated Learning

abstract: Chest X-ray (CXR) datasets hosted on Kaggle, though useful from a data science competition standpoint, have limited utility in clinical use because of their narrow focus on diagnosing one specific disease. In real-world clinical use, multiple diseases need to be considered since they can co-exist in the same patient. In this work, we demonstrate how federated learning (FL) can be used to make these toy CXR datasets from Kaggle clinically useful. Specifically, we train a single FL classification model (`global`) using two separate CXR datasets -- one annotated for presence of pneumonia and the other for presence of pneumothorax (two common and life-threatening conditions) -- capable of diagnosing both. We compare the performance of the global FL model with models trained separately on both datasets (`baseline`) for two different model architectures. On a standard, naive 3-layer CNN architecture, the global FL model achieved AUROC of 0.84 and 0.81 for pneumonia and pneumothorax, respectively, compared to 0.85 and 0.82, respectively, for both baseline models (p>0.05). Similarly, on a pretrained DenseNet121 architecture, the global FL model achieved AUROC of 0.88 and 0.91 for pneumonia and pneumothorax, respectively, compared to 0.89 and 0.91, respectively, for both baseline models (p>0.05). Our results suggest that FL can be used to create global `meta` models to make toy datasets from Kaggle clinically useful, a step forward towards bridging the gap from bench to bedside.


title: Committed by Accident: Studying Prevention and Remediation Strategies Against Secret Leakage in Source Code Repositories

abstract: Version control systems for source code, such as Git, are key tools in modern software development environments. Many developers use online services, such as GitHub or GitLab, for collaborative software development. While software projects often require code secrets to work, such as API keys or passwords, they need to be handled securely within the project. Previous research and news articles have illustrated that developers are blameworthy of committing code secrets, such as private encryption keys, passwords, or API keys, accidentally to public source code repositories. However, making secrets publicly available might have disastrous consequences, such as leaving systems vulnerable to attacks. In a mixed-methods study, we surveyed 109 developers and conducted 14 in-depth semi-structured interviews with developers which experienced secret leakage in the past. We find that 30.3% of our participants have encountered secret leakage in the past, and that developers are facing several challenges with secret leakage prevention and remediation. Based on our findings, we discuss challenges, e. g., estimating risks of leaked secrets, and needs of developers in remediating and preventing code secret leaks, e. g., low adoption requirements. We also give recommendations for developers and source code platform providers to reduce the risk of secret leakage.


title: Linear Fault Estimators for Nonlinear Systems: An Ultra-Local Model Design

abstract: This paper addresses the problem of robust process and sensor fault reconstruction for nonlinear systems. The proposed method augments the system dynamics with an approximated internal linear model of the combined contribution of known nonlinearities and unknown faults -- leading to an approximated linear model in the augmented state. We exploit the broad modeling power of ultra-local models to characterize this internal dynamics. We use a linear filter to reconstruct the augmented state (simultaneously estimating the state of the original system and the sum of nonlinearities and faults). Having this combined estimate, we can simply subtract the analytic expression of nonlinearities from that of the corresponding estimate to reconstruct the fault vector. Because the nonlinearity does not play a role in the filter dynamics (it is only used as a static nonlinear output to estimate the fault), we can avoid standard restrictive assumptions like globally (one-sided) Lipschitz nonlinearities and/or the need for Lipschitz constants to carry out the filter design. The filter synthesis is posed as a mixed H2/Hinf optimization problem where the effect of disturbances and model mismatches is minimized in the Hinf sense, for an acceptable H2 performance with respect to measurement noise.


title: Modelling COVID-19-III: endemic spread in India

abstract: A disease in a given population is termed endemic when it exhibits a steady prevalence. We address the pertinent question as to what extent COVID-19 has turned endemic in India. There are several existing models for studying endemic behaviour, such as the extensions of the traditional temporal SIR model or the spatio-temporal endemic-epidemic model of Held et al. (2005) and its extensions. We propose a "spatio-temporal Gravity model" in a state of the art generalised linear model set up that can be deployed at various spatial resolutions. In absence of routine and quality covariates in the context of COVID-19 at finer spatial scales, we make use of extraneous covariates like air-traffic passenger count that enables us to capture the local mobility and social interactions effectively. This makes the proposed model different from the existing models. The proposed gravity model not only produces consistent estimators, but also outperforms the other models when applied to Indian COVID-19 data.


title: On the coadjoint Virasoro action

abstract: The set of coadjoint orbits of the Virasoro algebra at level 1 is in bijection with the set of conjugacy classes in a certain open subset $\widetilde{\rm SL}(2,\mathbb{R})_+$ of the universal cover of ${\rm SL}(2,\mathbb{R})$. We strengthen this bijection to a Morita equivalence of quasi-symplectic groupoids, integrating the Poisson structure on $\mathfrak{vir}^*_\mathsf{1}(S^1)$ and the Cartan-Dirac structure on $\widetilde{\rm SL}(2,\mathbb{R})_+$, respectively.


title: Under Lock and Key: A Proof System for a Multimodal Logic

abstract: We present a proof system for a multimodal logic, based on our previous work on a multimodal Martin-Loef type theory. The specification of modes, modalities, and implications between them is given as a mode theory, i.e. a small 2-category. The logic is extended to a lambda calculus, establishing a Curry-Howard correspondence.


title: Total Variation Graph Neural Networks

abstract: Recently proposed Graph Neural Networks (GNNs) for vertex clustering are trained with an unsupervised minimum cut objective, approximated by a Spectral Clustering (SC) relaxation. However, the SC relaxation is loose and, while it offers a closed-form solution, it also yields overly smooth cluster assignments that poorly separate the vertices. In this paper, we propose a GNN model that computes cluster assignments by optimizing a tighter relaxation of the minimum cut based on graph total variation (GTV). The cluster assignments can be used directly to perform vertex clustering or to implement graph pooling in a graph classification framework. Our model consists of two core components: i) a message-passing layer that minimizes the $\ell_1$ distance in the features of adjacent vertices, which is key to achieving sharp transitions between clusters; ii) an unsupervised loss function that minimizes the GTV of the cluster assignments while ensuring balanced partitions. Experimental results show that our model outperforms other GNNs for vertex clustering and graph classification.


title: Homological stability of spin mapping class groups and quadratic symplectic groups

abstract: We study the homological stability of spin mapping class groups of surfaces and of quadratic symplectic groups using cellular $E_2$-algebras. We get improvements in their stability results, which for the spin mapping class groups we show to be optimal away from the prime $2$. We also prove that in both cases the $\mathbb{F}_2$-homology satisfies secondary homological stability. Finally, we give full descriptions of the first homology groups of the spin mapping class groups and of the quadratic symplectic groups.


title: OneFormer: One Transformer to Rule Universal Image Segmentation

abstract: Universal Image Segmentation is not a new concept. Past attempts to unify image segmentation in the last decades include scene parsing, panoptic segmentation, and, more recently, new panoptic architectures. However, such panoptic architectures do not truly unify image segmentation because they need to be trained individually on the semantic, instance, or panoptic segmentation to achieve the best performance. Ideally, a truly universal framework should be trained only once and achieve SOTA performance across all three image segmentation tasks. To that end, we propose OneFormer, a universal image segmentation framework that unifies segmentation with a multi-task train-once design. We first propose a task-conditioned joint training strategy that enables training on ground truths of each domain (semantic, instance, and panoptic segmentation) within a single multi-task training process. Secondly, we introduce a task token to condition our model on the task at hand, making our model task-dynamic to support multi-task training and inference. Thirdly, we propose using a query-text contrastive loss during training to establish better inter-task and inter-class distinctions. Notably, our single OneFormer model outperforms specialized Mask2Former models across all three segmentation tasks on ADE20k, CityScapes, and COCO, despite the latter being trained on each of the three tasks individually with three times the resources. With new ConvNeXt and DiNAT backbones, we observe even more performance improvement. We believe OneFormer is a significant step towards making image segmentation more universal and accessible. To support further research, we open-source our code and models at https://github.com/SHI-Labs/OneFormer


title: Short wavelength electrostatic wave measurement using MMS spacecraft

abstract: Determination of the wave mode of short-wavelength electrostatic waves along with their generation mechanism requires reliable measurement of the wave electric field. We investigate the reliability of the electric field measurement for short-wavelength waves observed by MMS. We develop a method, based on spin-plane interferometry, to reliably determine the full 3D wave vector of the observed waves. We test the method on synthetic data and then apply it to ion acoustic wave bursts measured in situ in the solar wind. By studying the statistical properties of ion acoustic waves in the solar wind we retrieve the known results that the wave propagation is predominantly field-aligned. We also determine the wavelength of the waves. We find that the distribution peaks at around 100 m, which when normalized to the Debye length corresponds to scales between 10 and 20 Debye lengths.


title: A Relativistic Gas of Inflatons as an Initial State for Inflation

abstract: The possibility of the resilience of the beginning of inflation under unfavorable conditions is examined by considering the initial state of the inflaton field to be in the form of a relativistic gas with some of its properties in close proximity to the black body spectrum. It is demonstrated that the initial potential energy budget in such an environment is suppressed beyond the minimal value required for inflation. This is the extension of our earlier work, where we have shown that the rare regions which happen to host favorable initial conditions for the beginning of inflation could come to dominate the late-time Universe only if they started out from above the so-called self-reproduction threshold.


title: The Simplest Balance Controller for Dynamic Walking

abstract: Humans can balance very well during walking, even when perturbed. But it seems difficult to achieve robust walking for bipedal robots. Here we describe the simplest balance controller that leads to robust walking for a linear inverted pendulum (LIP) model. The main idea is to use a linear function of the body velocity to determine the next foot placement, which we call linear foot placement control (LFPC). By using the Poincar\'e map, a balance criterion is derived, which shows that LFPC is stable when the velocity-feedback coefficient is located in a certain range. And that range is much bigger when stepping faster, which indicates "faster stepping, easier to balance". We show that various gaits can be generated by adjusting the controller parameters in LFPC. Particularly, a dead-beat controller is discovered that can lead to steady-state walking in just one step. The effectiveness of LFPC is verified through Matlab simulation as well as V-REP simulation for both 2D and 3D walking. The main feature of LFPC is its simplicity and inherent robustness, which may help us understand the essence of how to maintain balance in dynamic walking.


title: ALANNO: An Active Learning Annotation System for Mortals

abstract: Supervised machine learning has become the cornerstone of today's data-driven society, increasing the need for labeled data. However, the process of acquiring labels is often expensive and tedious. One possible remedy is to use active learning (AL) -- a special family of machine learning algorithms designed to reduce labeling costs. Although AL has been successful in practice, a number of practical challenges hinder its effectiveness and are often overlooked in existing AL annotation tools. To address these challenges, we developed ALANNO, an open-source annotation system for NLP tasks equipped with features to make AL effective in real-world annotation projects. ALANNO facilitates annotation management in a multi-annotator setup and supports a variety of AL methods and underlying models, which are easily configurable and extensible.


title: Over-the-Air Consensus for Distributed Vehicle Platooning Control (Extended version)

abstract: A distributed control of vehicle platooning is referred to as distributed consensus (DC) since many autonomous vehicles (AVs) reach a consensus to move as one body with the same velocity and inter-distance. For DC control to be stable, other AVs' real-time position information should be inputted to each AV's controller via vehicle-to-vehicle (V2V) communications. On the other hand, too many V2V links should be simultaneously established and frequently retrained, causing frequent packet loss and longer communication latency. We propose a novel DC algorithm called over-the-air consensus (AirCons), a joint communication-and-control design with two key features to overcome the above limitations. First, exploiting a wireless signal's superposition and broadcasting properties renders all AVs' signals to converge to a specific value proportional to participating AVs' average position without individual V2V channel information. Second, the estimated average position is used to control each AV's dynamics instead of each AV's individual position. Through analytic and numerical studies, the effectiveness of the proposed AirCons designed on the state-of-the-art New Radio architecture is verified by showing a $14.22\%$ control gain compared to the benchmark without the average position.


title: A constitutive model for elastomers tailored by ionic bonds and entanglements

abstract: Over the past decade or two, the concept has emerged of using multiple types of weak interactions simultaneously to enhance the mechanical properties of elastomers. These weak interactions include physical entanglements, hydrogen bonds, metal-coordination bonds, dynamic covalent bonds, and ionic bonds. The combination of entanglements and ionic bonding has been minimally explored and is particularly exciting because of the broad application space for polyelectrolytes. In this work, a constitutive model framework is developed to describe the response of elastomers with both ionic bonds and entanglements. We formulate a micromechanical model that couples together chain stretching, ionic bond slipping, and entanglement evolution. The ionic bonds provide toughness by enabling plastic deformation in comparison to covalently crosslinked material and add strength compared to a linear polymer. Evolution of the entanglement density is taken as a key mechanism that can govern stiffness, toughness, and self-recovery in elastomers. The model is used to match bulk polyelectrolytes with different fractions of ionic components under a variety of loading histories. The variations in material parameters are then used to help understand the relative importance of different governing mechanisms in the bulk polymers. We show that the theoretical framework can explain our experimental uniaxial tensile experimental results for polyelectrolytes. This model can help to design better material with high stiffness and toughness. We expect that our model can be extended to explain the mechanical behavior of other polyelectrolytes and other soft materials with a wide range of dynamic bonds.


title: Multiscale Optimization via Enhanced Multilevel PCA-based Control Space Reduction for Electrical Impedance Tomography Imaging

abstract: An efficient computational approach for imaging binary-type physical properties suitable for various models in biomedical applications is developed and validated. The proposed methodology includes gradient-based multiscale optimization with multilevel control space reduction based on principal component analysis, optimal switching between the fine and coarse scales, and their effective re-parameterization. The reduced dimensional controls are used interchangeably at both scales to accumulate the optimization progress and mitigate side effects. Computational efficiency and superior quality of obtained results are achieved through proper communication between solutions obtained at the fine and coarse scales. Reduced size of control spaces supplied with adjoint-based gradients facilitates the application of this algorithm to models of high complexity and also to a broad range of problems in biomedical sciences and outside. The performance of the complete computational framework is tested with 2D inverse problems of cancer detection by electrical impedance tomography (EIT) in applications to synthetic models and models based on real breast cancer images. The results demonstrate the superior performance of the new method and its high potential for minimizing possibilities for false positive and false negative screening and improving the overall quality of the EIT-based procedures in medical practice.


title: Symmetry induced selective excitation of topological states in SSH waveguide arrays

abstract: The investigation of topological state transition in carefully designed photonic lattices is of high interest for fundamental research, as well as for applied studies such as manipulating light flow in on-chip photonic systems. Here, we report on topological phase transition between symmetric topological zero modes (TZM) and antisymmetric TZMs in Su-Schrieffer-Heeger (SSH) mirror symmetric waveguides. The transition of TZMs is realized by adjusting the coupling ratio between neighboring waveguide pairs, which is enabled by selective modulation of the refractive index in the waveguide gaps. Bi-directional topological transitions between symmetric and antisymmetric TZMs can be achieved with our proposed switching strategy. Selective excitation of topological edge mode is demonstrated owing to the symmetry characteristics of the TZMs. The flexible manipulation of topological states is promising for on-chip light flow control and may spark further investigations on symmetric/antisymmetric TZM transitions in other photonic topological frameworks.


title: Improving word mover's distance by leveraging self-attention matrix

abstract: Measuring the semantic similarity between two sentences is still an important task. The word mover's distance (WMD) computes the similarity via the optimal alignment between the sets of word embeddings. However, WMD does not utilize word order, making it challenging to distinguish sentences with significant overlaps of similar words, even if they are semantically very different. Here, we attempt to improve WMD by incorporating the sentence structure represented by BERT's self-attention matrix (SAM). The proposed method is based on the Fused Gromov-Wasserstein distance, which simultaneously considers the similarity of the word embedding and the SAM for calculating the optimal transport between two sentences. Experiments demonstrate the proposed method enhances WMD and its variants in paraphrase identification with near-equivalent performance in semantic textual similarity. Our code is available at \url{https://github.com/ymgw55/WSMD}.


title: Homological stability for Iwahori-Hecke algebras of type B

abstract: We show that homological stability holds for the family of Iwahori-Hecke algebras of type B_n, where homology is identified with the relevant Tor group. This family of algebras is related to the Coxeter groups of type B_n, which are groups of signed permutations. The result builds on Hepworth's result for Iwahori-Hecke algebras of type A_n.


title: Global small solutions to the 3D compressible viscous non-resistive MHD system

abstract: Whether or not smooth solutions to the 3D compressible magnetohydrodynamic (MHD) equations without magnetic diffusion are always global in time remains an extremely challenging open problem. No global well-posedness or stability result is currently available for this 3D MHD system in the whole space $\mathbb R^3$ or the periodic box $\mathbb T^3$ even when the initial data is small or near a steady-state solution. This paper presents a global existence and stability result for smooth solutions to this 3D MHD system near any background magnetic field satisfying a Diophantine condition.


title: $P^\Lambda_{\psi s}(4459)$ and $P^\Lambda_{\psi s}(4338)$ as molecular states in $ J/\psi \Lambda$ invariant mass spectra

abstract: Recently, the LHCb Collaboration has reported two strange hidden-charm pentaquark states named $P^\Lambda_{\psi s}(4459)$ and $P^\Lambda_{\psi s}(4338)$ in the $ J/\psi \Lambda$ invariant mass spectra of decays $\Xi_b^-$$\to$$ J/\psi \Lambda K^-$ and $B^-$$\to$$J/\psi \Lambda \bar{p}$,respectively. In this work, we perform a coupled-channel study of the interactions $\Xi_c^*\bar{D}^*$, $\Xi'_c\bar{D}^*$, $\Xi^*_c\bar{D}$, $\Xi_c\bar{D}^*$, $\Xi'_c\bar{D}$, $\Lambda_c\bar{D}_s^{*}$, $\Xi_c\bar{D}$, $\Lambda_c\bar{D}_s$, and $\Lambda J/\psi$ in the quasipotential Bethe-Salpeter equation approach to estimate the $ J/\psi \Lambda$ invariant mass spectra. With the help of effective Lagrangians, the potential kernel can be constructed by meson exchanges to obtain the scattering amplitudes, from which the poles of the bound states and the invariant mass spectra can be reached. The coupled-channel calculation results in that the width of state $\Xi_c\bar{D}^{*}(1/2^-)$ is about $18$~MeV and that of state $\Xi_c\bar{D}^{*}(3/2^-)$ is only about $1.6$~MeV. By comparison with experimental data, it indicates that the structure $P^{\Lambda}_{\psi s}(4459)$ is mainly from the contribution from the $\Xi_c \bar{D}^{*}(1/2^-)$ state while the role of state $\Xi_c \bar{D}^{*}(3/2^-)$ cannot be excluded. The line shape of the structure $P^{\Lambda}_{\psi s}(4338)$ can be reproduced roughly by a narrow molecular state from the $\Xi_c \bar{D}$ interaction with $J^P$=$1/2^-$, which is extremely close to the threshold, with a large interference effect. Besides, an additional state $\Xi'_c \bar{D}(1/2^-)$ is suggested to be observed as a dip structure in the $J/\psi \Lambda$ invariant mass spectrum.


title: Comparison of Uncertainty Quantification with Deep Learning in Time Series Regression

abstract: Increasingly high-stakes decisions are made using neural networks in order to make predictions. Specifically, meteorologists and hedge funds apply these techniques to time series data. When it comes to prediction, there are certain limitations for machine learning models (such as lack of expressiveness, vulnerability of domain shifts and overconfidence) which can be solved using uncertainty estimation. There is a set of expectations regarding how uncertainty should ``behave". For instance, a wider prediction horizon should lead to more uncertainty or the model's confidence should be proportional to its accuracy. In this paper, different uncertainty estimation methods are compared to forecast meteorological time series data and evaluate these expectations. The results show how each uncertainty estimation method performs on the forecasting task, which partially evaluates the robustness of predicted uncertainty.


title: Performance of quantum registers in diamond in the presence of spin impurities

abstract: The Nitrogen Vacancy Center in diamond coupled to addressable surrounding nuclear spins forms a versatile building block for future quantum technologies. While previous activities focused on sensing with only a single or very few spins in operation, recently multi-qubit registers have been successfully implemented for quantum information processing. Further progress requires a detailed understanding of the performance of quantum protocols for consecutive gate operations and thus, beyond established treatments for relaxation and dephasing. Here, we provide such a theoretical analysis for a small spin registers with up to four spins built out of NV and environmental constituents in presence of ensembles of interacting impurity spins. Adapting a cluster correlation expansion, we predict coherence properties as well as fidelities for GHZ- and Bell-gate operations also in presence of decoupling pulses. The influence of the volume density and the geometry of the spin-bath consisting of the substitutional nitrogen- or $^{13}C$ atoms are also taken into account.


title: HumanDiffusion: a Coarse-to-Fine Alignment Diffusion Framework for Controllable Text-Driven Person Image Generation

abstract: Text-driven person image generation is an emerging and challenging task in cross-modality image generation. Controllable person image generation promotes a wide range of applications such as digital human interaction and virtual try-on. However, previous methods mostly employ single-modality information as the prior condition (e.g. pose-guided person image generation), or utilize the preset words for text-driven human synthesis. Introducing a sentence composed of free words with an editable semantic pose map to describe person appearance is a more user-friendly way. In this paper, we propose HumanDiffusion, a coarse-to-fine alignment diffusion framework, for text-driven person image generation. Specifically, two collaborative modules are proposed, the Stylized Memory Retrieval (SMR) module for fine-grained feature distillation in data processing and the Multi-scale Cross-modality Alignment (MCA) module for coarse-to-fine feature alignment in diffusion. These two modules guarantee the alignment quality of the text and image, from image-level to feature-level, from low-resolution to high-resolution. As a result, HumanDiffusion realizes open-vocabulary person image generation with desired semantic poses. Extensive experiments conducted on DeepFashion demonstrate the superiority of our method compared with previous approaches. Moreover, better results could be obtained for complicated person images with various details and uncommon poses.


title: Efficient Deep Reinforcement Learning with Predictive Processing Proximal Policy Optimization

abstract: Advances in reinforcement learning (RL) often rely on massive compute resources and remain notoriously sample inefficient. In contrast, the human brain is able to efficiently learn effective control strategies using limited resources. This raises the question whether insights from neuroscience can be used to improve current RL methods. Predictive processing is a popular theoretical framework which maintains that the human brain is actively seeking to minimize surprise. We show that recurrent neural networks which predict their own sensory states can be leveraged to minimise surprise, yielding substantial gains in cumulative reward. Specifically, we present the Predictive Processing Proximal Policy Optimization (P4O) agent; an actor-critic reinforcement learning agent that applies predictive processing to a recurrent variant of the PPO algorithm by integrating a world model in its hidden state. Even without hyperparameter tuning, P4O significantly outperforms a baseline recurrent variant of the PPO algorithm on multiple Atari games using a single GPU. It also outperforms other state-of-the-art agents given the same wall-clock time and exceeds human gamer performance on multiple games including Seaquest, which is a particularly challenging environment in the Atari domain. Altogether, our work underscores how insights from the field of neuroscience may support the development of more capable and efficient artificial agents.


title: An Efficient Method to Verify the Inclusion of Ellipsoids

abstract: We present a novel method for deciding whether a given n-dimensional ellipsoid contains another one (possibly with a different center). This method consists in constructing a particular concave function and deciding whether it has any value greater than -1 in a compact interval that is a subset of [0,1]. This can be done efficiently by a bisection algorithm method that is guaranteed to stop in a finite number of iterations. The initialization of the method requires O(n^3) floating-point operations and evaluating this function and its derivatives requires O(n). This can be also generalized to compute the smallest level set of a convex quadratic function containing a finite number of n-ellipsoids. In our benchmark with randomly generated ellipsoids, when compared with a classic method based on semidefinite programming, our algorithm performs 27 times faster for ellipsoids of dimension n=3 and 2294 times faster for dimension n=100. We illustrate the usefulness of this method with a problem in the control theory field.


title: Multitask Learning for Improved Late Mechanical Activation Detection of Heart from Cine DENSE MRI

abstract: The selection of an optimal pacing site, which is ideally scar-free and late activated, is critical to the response of cardiac resynchronization therapy (CRT). Despite the success of current approaches formulating the detection of such late mechanical activation (LMA) regions as a problem of activation time regression, their accuracy remains unsatisfactory, particularly in cases where myocardial scar exists. To address this issue, this paper introduces a multi-task deep learning framework that simultaneously estimates LMA amount and classify the scar-free LMA regions based on cine displacement encoding with stimulated echoes (DENSE) magnetic resonance imaging (MRI). With a newly introduced auxiliary LMA region classification sub-network, our proposed model shows more robustness to the complex pattern cause by myocardial scar, significantly eliminates their negative effects in LMA detection, and in turn improves the performance of scar classification. To evaluate the effectiveness of our method, we tests our model on real cardiac MR images and compare the predicted LMA with the state-of-the-art approaches. It shows that our approach achieves substantially increased accuracy. In addition, we employ the gradient-weighted class activation mapping (Grad-CAM) to visualize the feature maps learned by all methods. Experimental results suggest that our proposed model better recognizes the LMA region pattern.


title: A monitoring framework for deployed machine learning models with supply chain examples

abstract: Actively monitoring machine learning models during production operations helps ensure prediction quality and detection and remediation of unexpected or undesired conditions. Monitoring models already deployed in big data environments brings the additional challenges of adding monitoring in parallel to the existing modelling workflow and controlling resource requirements. In this paper, we describe (1) a framework for monitoring machine learning models; and, (2) its implementation for a big data supply chain application. We use our implementation to study drift in model features, predictions, and performance on three real data sets. We compare hypothesis test and information theoretic approaches to drift detection in features and predictions using the Kolmogorov-Smirnov distance and Bhattacharyya coefficient. Results showed that model performance was stable over the evaluation period. Features and predictions showed statistically significant drifts; however, these drifts were not linked to changes in model performance during the time of our study.


title: Radiation reaction effects in relativistic plasmas -- the electrostatic limit

abstract: We study the evolution of electrostatic plasma waves, using the relativistic Vlasov equation extended by the Landau-Lifshitz radiation reaction, accounting for the back-reaction due to the emission of single particle Larmor radiation. In particular, the Langmuir wave damping is calculated as a function of wavenumber, initial temperature, and initial electric field amplitude. Moreover, the background distribution function loses energy in the process, and we calculate the cooling rate as a function of initial temperature and initial wave amplitude. Finally, we investigate how the relative magnitude of wave damping and background cooling varies with the initial parameters. In particular, it is found that the relative contribution to the energy loss associated with background cooling decreases slowly with the initial wave amplitude.


title: A Benchmark for Out of Distribution Detection in Point Cloud 3D Semantic Segmentation

abstract: Safety-critical applications like autonomous driving use Deep Neural Networks (DNNs) for object detection and segmentation. The DNNs fail to predict when they observe an Out-of-Distribution (OOD) input leading to catastrophic consequences. Existing OOD detection methods were extensively studied for image inputs but have not been explored much for LiDAR inputs. So in this study, we proposed two datasets for benchmarking OOD detection in 3D semantic segmentation. We used Maximum Softmax Probability and Entropy scores generated using Deep Ensembles and Flipout versions of RandLA-Net as OOD scores. We observed that Deep Ensembles out perform Flipout model in OOD detection with greater AUROC scores for both datasets.


title: Spherical Minkowski content and natural parametrization on the sphere for Schramm-Loewner evolution

abstract: Studying SLE$_{\kappa}$ on $S^2$ provides a new and interesting perspective for the conformality of some 2-dimensional physical models. We prove the existence and some basic properties of the spherical Minkowski content of SLE$_{\kappa}$, which is finite and can be viewed as the natural parametrization of SLE$_{\kappa}$ on $S^2$.


title: Topology and Polarization of Optical Vortex Fields from Atomic Phased Arrays

abstract: We developed theoretical formalism for generation of optical vortices by phased arrays of atoms. Using Jacobi-Anger expansion, we demonstrate the resulting field topology and determine the least number of array elements necessary for generation of vortices with a given topological charge. Vector vortices were considered, taking into account both spin and orbital angular momenta of electromagnetic fields. It was found that for the vortex field near the phase singularity, the transverse-position dependence of 3D polarization parameters is independent of the distance to the radiation source.


title: Formation of the solid-state high-order harmonic generation plateau through destructive interference

abstract: In frequently studied two-band models for solid-state high-harmonic generation, interband harmonics in principle can range from the minimum to the maximum bandgap. However, it is known that a laser-intensity dependent cutoff exists that may be well below the maximum bandgap unless the laser intensity is so high that the electrons explore the entire Brillouin zone. We show that this laser-intensity dependent cutoff is formed by destructive interference of the emission of electrons starting at different initial states in the Brillouin zone. The calculations in this work are for Su-Schrieffer-Heeger chains but our findings apply to other two-band systems as well. Only when the sampling of the Brillouin zone is fine enough or, equivalently, a finite chain is long enough in position space, the destructive interference is complete and forms the cutoff. For coarser sampling and shorter chains all harmonics between minimum and maximum bandgap are emitted. A time-frequency analysis shows how certain trajectories are responsible for the formation of the cutoff.


title: Cycles as edge intersection hypergraphs of $k$-uniform hypergraphs ($k \le 6$) -- a constructive approach

abstract: If ${\cal H}=(V,{\cal E})$ is a hypergraph, its edge intersection hypergraph $EI({\cal H})=(V,{\cal E}^{EI})$ has the edge set ${\cal E}^{EI}=\{e_1 \cap e_2 \ |\ e_1, e_2 \in {\cal E} \ \wedge \ e_1 \neq e_2 \ \wedge \ |e_1 \cap e_2 |\geq 2\}$. In the present paper, we consider 4- and 5-uniform hypergraphs ${\cal H}$, respectively, with $EI({\cal H}) = C_n$. Our results fill the gap between the 3- and the 6-uniform case considered in arXiv:1902.00396.


title: Machine learning based joint polarization and phase compensation for CV-QKD

abstract: We investigated a machine learning method for joint estimation of polarization and phase for use in a Gaussian modulated CV-QKD system, over an 18 hour period measured on a installed fiber with 5.5 dB attenuation.


title: Joint Deep Learning for Improved Myocardial Scar Detection from Cardiac MRI

abstract: Automated identification of myocardial scar from late gadolinium enhancement cardiac magnetic resonance images (LGE-CMR) is limited by image noise and artifacts such as those related to motion and partial volume effect. This paper presents a novel joint deep learning (JDL) framework that improves such tasks by utilizing simultaneously learned myocardium segmentations to eliminate negative effects from non-region-of-interest areas. In contrast to previous approaches treating scar detection and myocardium segmentation as separate or parallel tasks, our proposed method introduces a message passing module where the information of myocardium segmentation is directly passed to guide scar detectors. This newly designed network will efficiently exploit joint information from the two related tasks and use all available sources of myocardium segmentation to benefit scar identification. We demonstrate the effectiveness of JDL on LGE-CMR images for automated left ventricular (LV) scar detection, with great potential to improve risk prediction in patients with both ischemic and non-ischemic heart disease and to improve response rates to cardiac resynchronization therapy (CRT) for heart failure patients. Experimental results show that our proposed approach outperforms multiple state-of-the-art methods, including commonly used two-step segmentation-classification networks, and multitask learning schemes where subtasks are indirectly interacted.


title: Quantum-Hall physics and three dimensions

abstract: The discovery of the quantum Hall effect (QHE) in 1980 marked a turning point in condensed matter physics: given appropriate experimental conditions, the Hall conductivity {\sigma}_xy of a two-dimensional (2D) electron system is exactly quantized. But what happens to the QHE in three dimensions (3D)? Experiments over the past 40 years showed that some of the remarkable physics of the QHE, in particular plateau-like Hall conductivities {\sigma}_xy accompanied by minima in the longitudinal resistivity \r{ho}_xx, can also be found in 3D materials. However, since typically \r{ho}_xx remains finite and a quantitative relation between {\sigma}_xy and the conductance quantum e^2/h could not be established, the role of quantum Hall physics in 3D remains unsettled. Following a recent series of exciting experiments, the QHE in 3D has now returned to the centre stage. Here, we summarize the leap in understanding of 3D matter in magnetic fields emerging from these experiments.

categories: cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.stat-mech quant-ph


title: An Integrity-Focused Threat Model for Software Development Pipelines

abstract: In recent years, there has been a growing concern with software integrity, that is, the assurance that software has not been tampered with on the path between developers and users. This path is represented by a software development pipeline and plays a pivotal role in software supply chain security. While there have been efforts to improve the security of development pipelines, there is a lack of a comprehensive view of the threats affecting them. We develop a systematic threat model for a generic software development pipeline using the STRIDE framework and identify possible mitigations for each threat. The pipeline adopted as a reference comprises five stages (integration, continuous integration, infrastructure-as-code, deployment, and release), and we review vulnerabilities and attacks in all stages reported in the literature. We present a case study applying this threat model to a specific pipeline, showing that the adaptation is straightforward and produces a list of relevant threats.


title: Disentangled Uncertainty and Out of Distribution Detection in Medical Generative Models

abstract: Trusting the predictions of deep learning models in safety critical settings such as the medical domain is still not a viable option. Distentangled uncertainty quantification in the field of medical imaging has received little attention. In this paper, we study disentangled uncertainties in image to image translation tasks in the medical domain. We compare multiple uncertainty quantification methods, namely Ensembles, Flipout, Dropout, and DropConnect, while using CycleGAN to convert T1-weighted brain MRI scans to T2-weighted brain MRI scans. We further evaluate uncertainty behavior in the presence of out of distribution data (Brain CT and RGB Face Images), showing that epistemic uncertainty can be used to detect out of distribution inputs, which should increase reliability of model outputs.


title: A spectral collocation method for elliptic PDEs in irregular domains with Fourier extension

abstract: Based on the Fourier extension, we propose an oversampling collocation method for solving the elliptic partial differential equations with variable coefficients over arbitrary irregular domains. This method only uses the function values on the equispaced nodes, which has low computational cost and versatility. While a variety of numerical experiments are presented to demonstrate the effectiveness of this method, it shows that the approximation error fast reaches a plateau with increasing the degrees of freedom, due to the inherent ill-conditioned of frames.


title: Hamilton-Jacobi theory for nonholonomic and forced hybrid mechanical systems

abstract: A hybrid system is a system whose dynamics is given by a mixture of both continuous and discrete transitions. In particular, these systems can be utilised to describe the dynamics of a mechanical system with impacts. Based on the approach by Clark, we develop a geometric Hamilton-Jacobi theory for forced and nonholonomic hybrid dynamical systems. We state the corresponding Hamilton-Jacobi equations for these classes of systems and apply our results to analyze some examples.


title: Ancient solutions of Ricci flow with Type I curvature growth

abstract: Ancient solutions of the Ricci flow arise naturally as models for singularity formation. There has been significant progress towards the classification of such solutions under natural geometric assumptions. Nonnegatively curved solutions in dimensions 2 and 3, and uniformly PIC solutions in higher dimensions are now well understood. We consider ancient solutions of arbitrary dimension which are complete and have Type~I curvature growth. We show that a $\kappa$-noncollapsed Type~I ancient solution which is noncompact and has nonnegative sectional curvature necessarily splits at least one Euclidean factor. It follows that a $\kappa$-noncollapsed Type~I ancient solution which is weakly PIC2 is a locally symmetric space.


title: Re-visiting Reservoir Computing architectures optimized by Evolutionary Algorithms

abstract: For many years, Evolutionary Algorithms (EAs) have been applied to improve Neural Networks (NNs) architectures. They have been used for solving different problems, such as training the networks (adjusting the weights), designing network topology, optimizing global parameters, and selecting features. Here, we provide a systematic brief survey about applications of the EAs on the specific domain of the recurrent NNs named Reservoir Computing (RC). At the beginning of the 2000s, the RC paradigm appeared as a good option for employing recurrent NNs without dealing with the inconveniences of the training algorithms. RC models use a nonlinear dynamic system, with fixed recurrent neural network named the \textit{reservoir}, and learning process is restricted to adjusting a linear parametric function. %so the performance of learning is fast and precise. However, an RC model has several hyper-parameters, therefore EAs are helpful tools to figure out optimal RC architectures. We provide an overview of the results on the area, discuss novel advances, and we present our vision regarding the new trends and still open questions.


title: Resonant forms at zero for dissipative Anosov flows

abstract: We study resonant differential forms at zero for transitive Anosov flows on $3$-manifolds. We pay particular attention to the dissipative case, that is, Anosov flows that do not preserve an absolutely continuous measure. Such flows have two distinguished Sinai-Ruelle-Bowen $3$-forms, $\Omega_{\text{SRB}}^{\pm}$, and the cohomology classes $[\iota_{X}\Omega_{\text{SRB}}^{\pm}]$ (where $X$ is the infinitesimal generator of the flow) play a key role in the determination of the space of resonant $1$-forms. When both classes vanish we associate to the flow a $\textit{helicity}$ that naturally extends the classical notion associated with null-homologous volume preserving flows. We provide a general theory that includes horocyclic invariance of resonant $1$-forms and SRB-measures as well as the local geometry of the maps $X\mapsto [\iota_{X}\Omega_{\text{SRB}}^{\pm}]$ near a null-homologous volume preserving flow. Next, we study several relevant classes of examples. Among these are thermostats associated with holomorphic quadratic differentials, giving rise to quasi-Fuchsian flows as introduced by Ghys. For these flows we compute explicitly all resonant $1$-forms at zero, we show that $[\iota_{X}\Omega_{\text{SRB}}^{\pm}]=0$ and give an explicit formula for the helicity. In addition we show that a generic time change of a quasi-Fuchsian flow is semisimple and thus the order of vanishing of the Ruelle zeta function at zero is $-\chi(M)$, the same as in the geodesic flow case. In contrast, we show that if $(M,g)$ is a closed surface of negative curvature, the Gaussian thermostat driven by a (small) harmonic $1$-form has a Ruelle zeta function whose order of vanishing at zero is $-\chi(M)-1$.


title: Coherent phase states in the coordinate and Wigner representations

abstract: We study numerically the coordinate wave functions and the Wigner functions of the coherent phase states (CPS), paying the main attention to their differences from the standard (Klauder--Glauber--Sudarshan) coherent states, especially in the case of high mean values of the number operator. In this case, the CPS can possess a strong coordinate (or momentum) squeezing, which is, roughly, twice weaker than for the vacuum squeezed states. The Robertson--Schr\"odinger invariant uncertainty product in the CPS logarithmically increases with the mean value of the number operator (whereas it is constant for the standard coherent states). Some measures of (non)Gaussianity of CPS are considered.


title: A hybrid entity-centric approach to Persian pronoun resolution

abstract: Pronoun resolution is a challenging subset of an essential field in natural language processing called coreference resolution. Coreference resolution is about finding all entities in the text that refers to the same real-world entity. This paper presents a hybrid model combining multiple rulebased sieves with a machine-learning sieve for pronouns. For this purpose, seven high-precision rule-based sieves are designed for the Persian language. Then, a random forest classifier links pronouns to the previous partial clusters. The presented method demonstrates exemplary performance using pipeline design and combining the advantages of machine learning and rulebased methods. This method has solved some challenges in end-to-end models. In this paper, the authors develop a Persian coreference corpus called Mehr in the form of 400 documents. This corpus fixes some weaknesses of the previous corpora in the Persian language. Finally, the efficiency of the presented system compared to the earlier model in Persian is reported by evaluating the proposed method on the Mehr and Uppsala test sets.


title: A variational atomic model of plasma accounting for ion radial correlations and electronic structure of ions (VAMPIRES)

abstract: We propose a model of ion-electron plasma (or nucleus-electron plasma) that accounts for the electronic structure around nuclei (i.e. ion structure) as well as for ion-ion correlations. The model equations are obtained through the minimization of an approximate free-energy functional, and it is shown that the model fulfills the virial theorem. The main hypotheses of this model are 1) nuclei are treated as classical indistinguishable particles 2) electronic density is seen as a superposition of a uniform background and spherically-symmetric distributions around each nucleus (system of ions in a plasma) 3) free energy is approached using a cluster expansion (non-overlapping ions) 4) resulting ion fluid is modeled through an approximate integral equation. In the present paper, the model is described only in its average-atom version.


title: A geometric approach towards inverse kinematics of soft extensible pneumatic actuators intended for trajectory tracking

abstract: Soft robots are interesting examples of hyper-redundancy in robotics, however, the nonlinear continuous dynamics of these robots and the use of hyper-elastic and visco-elastic materials makes modeling of these robots more complicated. This study presents a geometric Inverse Kinematic (IK) model for trajectory tracking of multi-segment extensible soft robots, where, each segment of the soft actuator is geometrically approximated with multiple rigid links connected with rotary and prismatic joints. Using optimization methods, the desired configuration variables of the soft actuator for the desired end-effector positions are obtained. Also, the redundancy of the robot is applied for second task applications, such as tip angle control. The model's performance is investigated through simulations, numerical benchmarks, and experimental validations and results show lower computational costs and higher accuracy compared to most existing methods. The method is easy to apply to multi segment soft robots, both in 2D and 3D. As a case study, a fully 3D-printed soft robot manipulator is tested using a control unit and the model predictions show good agreement with the experimental results.


title: Towards Improved Learning in Gaussian Processes: The Best of Two Worlds

abstract: Gaussian process training decomposes into inference of the (approximate) posterior and learning of the hyperparameters. For non-Gaussian (non-conjugate) likelihoods, two common choices for approximate inference are Expectation Propagation (EP) and Variational Inference (VI), which have complementary strengths and weaknesses. While VI's lower bound to the marginal likelihood is a suitable objective for inferring the approximate posterior, it does not automatically imply it is a good learning objective for hyperparameter optimization. We design a hybrid training procedure where the inference leverages conjugate-computation VI and the learning uses an EP-like marginal likelihood approximation. We empirically demonstrate on binary classification that this provides a good learning objective and generalizes better.


title: BCIM: Efficient Implementation of Binary Neural Network Based on Computation in Memory

abstract: Applications of Binary Neural Networks (BNNs) are promising for embedded systems with hard constraints on computing power. Contrary to conventional neural networks with the floating-point datatype, BNNs use binarized weights and activations which additionally reduces memory requirements. Memristors, emerging non-volatile memory devices, show great potential as the target implementation platform for BNNs by integrating storage and compute units. The energy and performance improvements are mainly due to 1) accelerating matrix-matrix multiplication as the main kernel for BNNs, 2) diminishing memory bottleneck in von-Neumann architectures, 3) and bringing massive parallelization. However, the efficiency of this hardware highly depends on how the network is mapped and executed on these devices. In this paper, we propose an efficient implementation of XNOR-based BNN to maximize parallelization while using a simple sensing scheme to generate activation values. Besides, a new mapping is introduced to minimize the overhead of data communication between convolution layers mapped to different memristor crossbars. This comes with extensive analytical and simulation-based analysis to evaluate the implication of different design choices considering the accuracy of the network. The results show that our approach achieves up to $10\times$ energy-saving and $100\times$ improvement in latency compared to the state-of-the-art in-memory hardware design.


title: Principles for generation of reverberation

abstract: In modern neuroscience, memory has been postulated to stored in neural circuits as sequential spike train and Reverberation is one of the specific example.Former research has made much progress on phenomenon description. However, the mechanism of reverberation has been unclear yet. In this study, combining electrophysiological record and numerical simulation, we confirmed a formerly unrealized neuron property that is necessary for the burst generation in reverberation. Secondly, we find out the mechanism of sequential pattern generation which clearly explained by network topology and asynchronous neurotransmitter release. In addition, we also developed a pipeline that could design the network fire in manually set order. Thirdly, we explored the dynamics of STDP learning and chased down the effects of STDP Rule in reverberation. With these understandings, we developed a STDP based learning rule which could drive the network to remember any presupposed sequence. These results indicated that neuron circuit can remember malformation through STDP rule. Those information are stored in synapse connections. By this way, animals remember information as spike sequence pattern.


title: PyNet-V2 Mobile: Efficient On-Device Photo Processing With Neural Networks

abstract: The increased importance of mobile photography created a need for fast and performant RAW image processing pipelines capable of producing good visual results in spite of the mobile camera sensor limitations. While deep learning-based approaches can efficiently solve this problem, their computational requirements usually remain too large for high-resolution on-device image processing. To address this limitation, we propose a novel PyNET-V2 Mobile CNN architecture designed specifically for edge devices, being able to process RAW 12MP photos directly on mobile phones under 1.5 second and producing high perceptual photo quality. To train and to evaluate the performance of the proposed solution, we use the real-world Fujifilm UltraISP dataset consisting on thousands of RAW-RGB image pairs captured with a professional medium-format 102MP Fujifilm camera and a popular Sony mobile camera sensor. The results demonstrate that the PyNET-V2 Mobile model can substantially surpass the quality of tradition ISP pipelines, while outperforming the previously introduced neural network-based solutions designed for fast image processing. Furthermore, we show that the proposed architecture is also compatible with the latest mobile AI accelerators such as NPUs or APUs that can be used to further reduce the latency of the model to as little as 0.5 second. The dataset, code and pre-trained models used in this paper are available on the project website: https://github.com/gmalivenko/PyNET-v2


title: Zeros of Dirichlet $L$-functions near the critical line

abstract: We prove an upper bound on the density of zeros very close to the critical line of the family of Dirichlet $L$-functions of modulus $q$ at height $T$. To do this, we derive an asymptotic for the twisted second moment of Dirichlet $L$-functions uniformly in $q$ and $t$. As a second application of the asymptotic formula we prove that, for every integer $q$, at least $38.2\%$ of zeros of the primitive Dirichlet $L$-functions of modulus $q$ lie on the critical line.


title: A particle method for continuous Hegselmann-Krause opinion dynamics

abstract: We derive a differential-integral equation akin to the Hegselmann-Krause model of opinion dynamics, and propose a particle method for solving the equation. Numerical experiments demonstrate second-order convergence of the method in a weak sense. We also show that our differential-integral equation can equivalently be stated as a system of differential equations. An integration-by-parts argument that would typically yield an energy dissipation inequality in physical problems then yields a concentration inequality, showing that a natural measure of concentration increases monotonically.


title: Aberration of the Green's function estimator in hybridization expansion continuous-time quantum Monte Carlo

abstract: We describe an aberration of the resampling estimator for the Green's function customarily used in hybridization expansion continuous-time quantum Monte Carlo. It occurs due to Pauli principle constraints in calculations of Anderson impurity models with baths consisting of a discrete energy spectrum. We identify the missing Feynman diagrams, characterize the affected models and discuss implications as well as solutions. This issue does not occur when using worm sampling or in the presence of continuous baths. However certain energy spectra can be inherently close to a discrete limit, and we explain why autocorrelation times can become very large in these cases.


title: Approximate Max-Flow Min-Multicut Theorem for Graphs of Bounded Treewidth

abstract: We prove an approximate max-multiflow min-multicut theorem for bounded treewidth graphs. In particular, we show the following: Given a treewidth-$r$ graph, there exists a (fractional) multicommodity flow of value $f$, and a multicut of capacity $c$ such that $ f \leq c \leq \mathcal{O}(\ln (r+1)) \cdot f$. It is well known that the multiflow-multicut gap on an $r$-vertex (constant degree) expander graph can be $\Omega(\ln r)$, and hence our result is tight up to constant factors. Our proof is constructive, and we also obtain a polynomial time $\mathcal{O}(\ln (r+1))$-approximation algorithm for the minimum multicut problem on treewidth-$r$ graphs. Our algorithm proceeds by rounding the optimal fractional solution to the natural linear programming relaxation of the multicut problem. We introduce novel modifications to the well-known region growing algorithm to facilitate the rounding while guaranteeing at most a logarithmic factor loss in the treewidth.


title: Early and late time cosmology: the $f(R)$ gravity perspective

abstract: Discrepancies between observations at early and late cosmic epochs, and the vacuum energy problem associated with the interpretation of cosmological constant, are questioning the $\Lambda$CDM model. Motivated by these conceptual and observational facts, extensions of Einstein's gravity are recently intensively considered in view of curing unsolved issues suffered by General Relativity at ultraviolet and infrared scales. Here, we provide a short overview of some aspects of $f(R)$ gravity, focusing, in particular, on cosmological applications. Specifically, Noether symmetries are adopted as a criterion to select viable models and investigate the corresponding dynamics. We thus find solutions to the cosmological field equations, analyzing the behaviour of selected models from the matter-dominated to the present epoch. Moreover, constraints coming from energy conditions and the so-called swampland criteria are also considered. In particular, we qualitatively discuss the possibility of $f(R)$ gravity to account for fixing cosmic tensions.


title: A didactically motivated reexamination of a particle's quantum mechanics with square-well potentials

abstract: We address two questions regarding square-well potentials from a didactic perspective. The first question concerns whether or not the justification of the standard a priori omission of the potential's vertical segments in the analysis of the eigenvalue problem is licit. The detour we follow to find out the answer considers a trapezoidal potential, includes the solution, analytical and numerical, of the corresponding eigenvalue problem and then analyzes the behavior of that solution in the limit when the slope of the trapezoidal potential's ramps becomes vertical. The second question, obviously linked to the first one, pertains whether or not eigenfunction's and its first derivative's continuity at the potential's jump points is justified as a priori assumption to kick-off the solution process, as it is standardly accepted in textbook approaches to the potential's eigenvalue problem.


title: Probing light exotics from a hidden sector at $c$-$\tau$ factories with polarized electron beams

abstract: Future $c$-$\tau$ factories are natural places to study extensions of the Standard Model of particle physics (SM) with new long-lived feebly interacting particles light enough to be produced in electron-positron collisions. We investigate prospects of these machines in exploring such extensions emphasizing the role of polarized beams in getting rid of the SM irreducible background for the missing energy signature. We illustrate this on example of $c$-$\tau$ project in Novosibirsk, where the electron beam is designed to be polarized to achieve much higher sensitivity to hadronic resonances and $\tau$-leptons. We investigate models with hidden photons, with millicharged particles (fermions and scalars), with $Z'$ bosons and with axion-like particles. We find that the electron beam polarization of 80\% significantly improves the chances to observe the signal, especially with large statistics. We outline the regions of the model parameter space which can be reached at this factory in one year and in ten years of operation according with the scientific schedule of tuning the energy of colliding beams.


title: MAXI~J1348--630: Estimating the black hole mass and binary inclination using a scaling technique

abstract: The outburst activity in the MAXI~J1348--630 has sparked a great deal of controversy, whether the source contains a black hole (BH). Here, we present the results of our analysis of the outburst of MAXI J348--630 using Swift/XRT data. We find that energy spectra in all spectral states can be modeled using a combination of Comptonization and Gaussian iron-line components. In addition, we show that the X-ray photon index, Gamma, is correlated with the mass accretion rate, Mdot. We find that Gamma increases monotonically with Mdot from the LHS to the HSS, and then saturated at Gamma~3. This index behavior is similar to that exhibited by a number of other BH candidates. This result represents observational evidence of the presence of a BH in MAXI~J1348--630. We also show that the value of Gamma is correlated with the QPO frequency, \nu_{L}. Based on this correlation, we applied a scaling method to estimate a BH mass of 14.8 +/- 0.9 M_{\odot}, using the BH binary XTE~J1550--564 as a reference source. The recent discovery of a giant dust scattering ring around MAXI~J1348--630 by SRG/eROSITA has refined distance estimates to this X-ray source. With this distance, we were able to estimate the disk inclination i = (65+/- 7)^0 using the scaling technique for the correlation between Gamma and normalization proportional to Mdot. An initial decrease in kT_s occurred simultaneously with an increase in the illumination fraction, f. At the start of the outburst, the Compton cloud (or "corona") is very extended and, thus, the seed photons injected to the corona from the relatively far-away disk region, where kT_s is about 0.2--0.4 keV. While Mdot increases (or luminosity increases), the corona contracts, thus increasing the seed photon temperature, kT_s.


title: Pointwise-in-time a posteriori error control for higher-order discretizations of time-fractional parabolic equations

abstract: Time-fractional parabolic equations with a Caputo time derivative are considered. For such equations, we explore and further develop the new methodology of the a-posteriori error estimation and adaptive time stepping proposed in [7]. We improve the earlier time stepping algorithm based on this theory, and specifically address its stable and efficient implementation in the context of high-order methods. The considered methods include an L1-2 method and continuous collocation methods of arbitrary order, for which adaptive temporal meshes are shown to yield optimal convergence rates in the presence of solution singularities.


title: Wilsonian approach to the interaction $\phi^2(i\phi)^\varepsilon$

abstract: We study the renormalisation of the non-Hermitian $\mathcal{P}\mathcal{T}$-symmetric scalar field theory with the interaction $\phi^2(i\phi)^\varepsilon$ using the Wilsonian approach and without any expansion in $\varepsilon$. Specifically, we solve the Wetterich equation in the local potential approximation, both in the ultraviolet regime and with the loop expansion. We calculate the scale-dependent effective potential and its infrared limit. The theory is found to be renormalisable at the one-loop level only for integer values of $\varepsilon$, a result which is not yet established within the $\varepsilon$-expansion. Particular attention is therefore paid to the two interesting cases $\varepsilon=1,2$, and the one-loop beta functions for the coupling associated with the interaction $i\phi^3$ and $-\phi^4$ are computed. It is found that the $-\phi^4$ theory has asymptotic freedom in four-dimensional spacetime. Some general properties for the Euclidean partition function and $n$-point functions are also derived.


title: Density control of GaN nanowires at the wafer scale using self-assembled SiN$_x$ patches on sputtered TiN(111)

abstract: The self-assembly of heteroepitaxial GaN nanowires using either molecular beam epitaxy (MBE) or metal-organic vapor phase epitaxy (MOVPE) mostly results in wafer-scale ensembles with ultrahigh ($>10$ $\mu$m$^{-2}$) or ultralow ($<1$ $\mu$m$^{-2}$) densities, respectively. A simple means to tune the density of well-developed nanowire ensembles between these two extremes is generally lacking. Here, we examine the self-assembly of SiN$_x$ patches on TiN(111) substrates which are eventually acting as seeds for the growth of GaN nanowires. We first found that if prepared by reactive sputtering, the TiN surface is characterized by \{100\} facets for which the GaN incubation time is extremely long. Fast GaN nucleation is only obtained after deposition of a sub-monolayer of SiN$_x$ atoms prior to the GaN growth. By varying the amount of pre-deposited SiN$_x$, the GaN nanowire density could be tuned by three orders of magnitude with excellent uniformity over the entire wafer, bridging the density regimes conventionally attainable by direct self-assembly with MBE or MOVPE. The analysis of the nanowire morphology agrees with a nucleation of the GaN nanowires on nanometric SiN$_x$ patches. The photoluminescence analysis of single freestanding GaN nanowires reveals a band edge luminescence dominated by excitonic transitions that are broad and blue shifted compared to bulk GaN, an effect that is related to the small nanowire diameter and to the presence of a thick native oxide. The approach developed here can be principally used for tuning the density of most III-V semiconductors nucleus grown on inert surfaces like 2D materials.


title: Hilbert Series, the Higgs Mechanism, and HEFT

abstract: We expand Hilbert series technologies in effective field theory for the inclusion of massive particles, enabling, among other things, the enumeration of operator bases for non-linearly realized gauge theories. We find that the Higgs mechanism is manifest at the level of the Hilbert series, as expected for the partition function of an $S$-matrix that is subject to the Goldstone equivalence theorem. In addition to massive vectors, we detail how other massive, spinning particles can be studied with Hilbert series; in particular, we spell out the ingredients for massive gravity in general spacetime dimensions. Further methodology is introduced to enable Hilbert series to capture the effect of spurion fields acquiring vevs. We apply the techniques to the Higgs Effective Field Theory (HEFT), providing a systematic enumeration of its operator basis. This is achieved both from a direct and a custodial symmetry spurion-based approach; we compare and contrast the two approaches, and our results to those appearing in previous literature.


title: One-Time Model Adaptation to Heterogeneous Clients: An Intra-Client and Inter-Image Attention Design

abstract: The mainstream workflow of image recognition applications is first training one global model on the cloud for a wide range of classes and then serving numerous clients, each with heterogeneous images from a small subset of classes to be recognized. From the cloud-client discrepancies on the range of image classes, the recognition model is desired to have strong adaptiveness, intuitively by concentrating the focus on each individual client's local dynamic class subset, while incurring negligible overhead. In this work, we propose to plug a new intra-client and inter-image attention (ICIIA) module into existing backbone recognition models, requiring only one-time cloud-based training to be client-adaptive. In particular, given a target image from a certain client, ICIIA introduces multi-head self-attention to retrieve relevant images from the client's historical unlabeled images, thereby calibrating the focus and the recognition result. Further considering that ICIIA's overhead is dominated by linear projection, we propose partitioned linear projection with feature shuffling for replacement and allow increasing the number of partitions to dramatically improve efficiency without scarifying too much accuracy. We finally evaluate ICIIA using 3 different recognition tasks with 9 backbone models over 5 representative datasets. Extensive evaluation results demonstrate the effectiveness and efficiency of ICIIA. Specifically, for ImageNet-1K with the backbone models of MobileNetV3-L and Swin-B, ICIIA can improve the testing accuracy to 83.37% (+8.11%) and 88.86% (+5.28%), while adding only 1.62% and 0.02% of FLOPs, respectively.


title: Explainability in Practice: Estimating Electrification Rates from Mobile Phone Data in Senegal

abstract: Explainable artificial intelligence (XAI) provides explanations for not interpretable machine learning (ML) models. While many technical approaches exist, there is a lack of validation of these techniques on real-world datasets. In this work, we present a use-case of XAI: an ML model which is trained to estimate electrification rates based on mobile phone data in Senegal. The data originate from the Data for Development challenge by Orange in 2014/15. We apply two model-agnostic, local explanation techniques and find that while the model can be verified, it is biased with respect to the population density. We conclude our paper by pointing to the two main challenges we encountered during our work: data processing and model design that might be restricted by currently available XAI methods, and the importance of domain knowledge to interpret explanations.


title: Temperature-dependence of the chirality-induced spin selectivity effect -- experiments and theory

abstract: The temperature dependence of the chirality-induced spin selectivity (CISS) effect can be used to discriminate between different theoretical proposals for the mechanism of the CISS effect. Here we briefly review key experimental results and discuss the effect of temperature in different models for the CISS effect. We then focus on the recently suggested spinterface mechanism and describe the different possible effects temperature can have within this model. Finally, we analyze in detail recent experimental results from Qian, et.al., (Nature, 606, 902-908 (2022)) and demonstrate that, opposite to the original interpretation by the authors, these data indicate that the CISS effect increases with decreasing temperature. Finally, we show how the spinterface model can accurately reproduce these experimental results.

categories: cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.other cond-mat.str-el


title: Solving optimal control problems with non-smooth solutions using an integrated residual method and flexible mesh

abstract: Solutions to optimal control problems can be discontinuous, even if all the functionals defining the problem are smooth. This can cause difficulties when numerically computing solutions to these problems. While conventional numerical methods assume state and input trajectories are continuous and differentiable or smooth, our method is able to capture discontinuities in the solution by introducing time-mesh nodes as decision variables. This allows one to obtain a higher accuracy solution for the same number of mesh nodes compared to a fixed time-mesh approach. Furthermore, we propose to first solve a sequence of suitably-defined least-squares problems to ensure that the error in the dynamic equation is below a given tolerance. The cost functional is then minimized subject to an inequality constraint on the dynamic equation residual. We demonstrate our implementation on an optimal control problem that has a chattering solution. Solving such a problem is difficult, since the solution involves infinitely many switches of decreasing duration. This simulation shows how the flexible mesh is able to capture discontinuities present in the solution and achieve superlinear convergence as the number of mesh intervals is increased.


title: Noncompact Fill-Ins of Bartnik Data

abstract: We generalize Y. Shi and L.-F.\ Tam's \cite{ShiTam} nonnegativity result for the Brown-York mass, by considering nonnegative scalar curvature (NNSC) fill-ins that need only be complete rather than compact. Moreover, the NNSC fill-ins need not even be complete as long the incompleteness is ``shielded'' by a region with positive scalar curvature and occurs occurs sufficiently far away. We accomplish this by generalizing P.~Miao's~\cite{Miao02} positive mass theorem with corners to asymptotically flat manifolds that may have other complete ends, or possibly incomplete ends that are appropriately shielded. We can similarly extend other results on the compact NNSC fill-in problem to allow for complete (or shielded) NNSC fill-ins. In particular, we prove the following generalization of a theorem of Miao~\cite{Miao20}: Given any metric $\gamma$ on a closed manifold $\Sigma^{n-1}$, there exists a constant $\lambda$ such that for any complete (or shielded) NNSC fill-in $(\Omega^n, g)$ of $(\Sigma^{n-1},\gamma)$, we have $\min_\Sigma H \le \lambda$, where $H$ is the mean curvature of $\Sigma$ with respect to $g$.


title: Perspectives on few-body cluster structures in exotic nuclei

abstract: It is a fascinating phenomenon in nuclear physics that states with a pronounced few-body structure can emerge from the complex dynamics of many nucleons. Such halo or cluster states often appear near the boundaries of nuclear stability. As such, they are an important part of the experimental program beginning at the Facility for Rare Isotope Beams (FRIB). A concerted effort of theory and experiment is necessary both to analyze experiments involving effective few-body states, as well as to constrain and refine theories of the nuclear force in light of new data from these experiments. As a contribution to exactly this effort, this paper compiles a collection of ``perspectives'' that emerged out of the Topical Program ``Few-body cluster structures in exotic nuclei and their role in FRIB experiments'' that was held at FRIB in August 2022 and brought together theorists and experimentalists working on this topic.


title: Martensite plasticity and damage competition in dual-phase steel: A micromechanical experimental-numerical study

abstract: Martensite damage in Dual-Phase (DP) steel has been studied extensively, yet, the exact deformation mechanisms that trigger or inhibit damage initiation remain mostly unexplored. Whereas generally assumed to be hard and brittle, lath martensite in fact deforms in a highly anisotropic manner, showing large strains under favorable habit plane orientations, which is attributed both to the lath morphology and to so-called 'substructure boundary sliding'. Yet, the correlation (or interplay) between plasticity and damage in lath martensite has not received much attention. Therefore, we raise the question whether these soft martensite plasticity mechanisms can delay or even inhibit damage initiation. We analyze several 'damage-sensitive' martensite notches, {i.e. thin contractions of two martensite islands,} by combining several state-of-the-art experimental and analysis methods. Deformations are tracked in-situ at the nanoscale, aligned to detailed microstructure maps, and categorised, for each martensite variant, into habit plane or out-of-habit-plane slip. In these experiments, strong plasticity (>70%) is observed in martensite notches, enabled by slip along a favorably oriented habit plane, whereas damaged notches have unfavorably oriented habit planes, showing limited pre-damage strains (<10%), carried by out-of-habit-plane slip. Additionally, one-to-one experimentally based Crystal Plasticity (CP) simulations are performed in parallel, employing a recently introduced Enriched CP approach which models a soft plasticity mechanism on the variants' habit plane. The Enriched CP simulations show considerably lower hydrostatic stresses in non-damaged and plastically deforming notches, thereby revealing that the soft habit plane mechanism is key for introducing the high plastic anisotropy that can lead to the inhibition of martensite damage in highly strained martensite notches.


title: Unbalanced OPF Modelling for Mixed Monopolar and Bipolar HVDC Grid Configurations

abstract: HVDC is a critically important technology for the large-scale integration of renewable resources such as offshore wind farms. Currently, only point-to-point and multi-terminal HVDC connections exist in real-life operation. However, with the advancement of VSC-based converter technologies, future HVDC systems are foreseen to develop into meshed HVDC grids. Bipolar HVDC grids can be operated in an unbalanced way during single pole outages or in form of mixed monopolar and bipolar grids. However, currently, there are no (optimal) power flow tools to study the feasibility of such systems. Therefore, we develop an optimal power flow (OPF) model for hybrid AC-DC grids to capture the DC side unbalances and allowing to efficiently plan and operate such future grids. In this paper, we present a multi-conductor OPF model with separate modeling of the positive pole, negative pole, metallic return conductors, and ground return. The capabilities of the model are demonstrated on a small test case, including monopolar tapping over a bipolar DC link. It is demonstrated that the developed OPF model can capture the loop flows between the different poles in unbalanced conditions, as opposed to the existing single-wire representations in the literature. Further, numerical results are presented for multiple test cases with various system sizes, starting from an 11-bus system to a 3120-bus system to demonstrate the computational tractability of the chosen model formulation.


title: Accelerated Distributed Projected Gradient Descent for Convex Optimization with Clique-wise Coupled Constraints

abstract: This paper addresses a distributed convex optimization problem with a class of coupled constraints, which arise in a multi-agent system composed of multiple communities modeled by cliques. First, we propose a fully distributed gradient-based algorithm with a novel operator inspired by the convex projection, called the clique-based projection. Next, we scrutinize the convergence properties for both diminishing and fixed step sizes. For diminishing ones, we show the convergence to an optimal solution under the assumptions of the smoothness of an objective function and the compactness of the constraint set. Additionally, when the objective function is strongly monotone, the strict convergence to the unique solution is proved without the assumption of compactness. For fixed step sizes, we prove the non-ergodic convergence rate of O(1/k) concerning the objective residual under the assumption of the smoothness of the objective function. Furthermore, we apply Nesterov's acceleration method to the proposed algorithm and establish the convergence rate of O(1/k^2). Numerical experiments illustrate the effectiveness of the proposed method.


title: Robustness of electronic screening effects in electron spectroscopies: example of V$_2$O$_5$

abstract: In bulk and low-dimensional extended systems, the screening of excitations by the electron cloud is a key feature governing spectroscopic properties. Widely used computational approaches, especially in the framework of many-body perturbation theory, such as the GW approximation and the resulting approximate Bethe-Salpeter equation, are explicitly formulated in terms of the screened Coulomb interaction. In the present work we explore the effect of screening in absorption and electron energy loss spectroscopy, concentrating on the effect of local distortions on the screening and elucidating the resulting changes in the various spectra. Using the layered bulk oxide V$_2$O$_5$ as prototype material, we show in which way local distortions affect the screening, and in which way changes in the screening impact electron energy loss and absorption spectra including excitons. We highlight cancellations that make many-body effects in the spectra very robust with respect to structural modifications, while the band structure undergoes significant changes and the nature of the excitations may also be affected. This yields insight concerning the structure-properties relations that are crucial for the use of V$_2$O$_5$ as energy storage material, and more generally, that may be used to optimize the analysis and the calculation of electronic spectra in complex materials.


title: Traveling wave solutions to the one-phase Muskat problem: existence and stability

abstract: We study the Muskat problem for one fluid in arbitrary dimension, bounded below by a flat bed and above by a free boundary given as a graph. In addition to a fixed uniform gravitational field, the fluid is acted upon by a generic force field in the bulk and an external pressure on the free boundary, both of which are posited to be in traveling wave form. We prove that for sufficiently small force and pressure data in Sobolev spaces, there exists a locally unique traveling wave solution in Sobolev-type spaces. The free boundary of the traveling wave solutions is either periodic or asymptotically flat at spatial infinity. Moreover, we prove that small periodic traveling wave solutions induced by external pressure only are asymptotically stable. These results provide the first class of nontrivial stable solutions for the problem.


title: Distributed Optimal Control Framework for High-Speed Convoys: Theory and Hardware Results

abstract: Practical deployments of coordinated fleets of mobile robots in different environments have revealed the benefits of maintaining small distances between robots, especially as they move at higher speeds. However, this is counter-intuitive in that as speed increases, reducing the amount of space between robots also reduces the time available to the robots to respond to sudden motion variations in surrounding robots. However, in certain examples, the benefits in performance due to traveling at closer distances can outweigh the potential instability issues, for instance, autonomous trucks on highways that optimize energy by vehicle ``drafting'' or smaller robots in cluttered environments that need to maintain close, line of sight communication, etc. To achieve this kind of closely coordinated fleet behavior, this work introduces a model predictive optimal control framework that directly takes non-linear dynamics of the vehicles in the fleet into account while planning motions for each robot. The robots are able to follow each other closely at high speeds by proactively making predictions and reactively biasing their responses based on state information from the adjacent robots. This control framework is naturally decentralized and, as such, is able to apply to an arbitrary number of robots without any additional computational burden. We show that our approach is able to achieve lower inter-robot distances at higher speeds compared to existing controllers. We demonstrate the success of our approach through simulated and hardware results on mobile ground robots.


title: A Residuals-Based Nonparametric Variance Ratio Test for Cointegration

abstract: This paper derives asymptotic theory for Breitung's (2002, Journal of Econometrics 108, 343-363) nonparameteric variance ratio unit root test when applied to regression residuals. The test requires neither the specification of the correlation structure in the data nor the choice of tuning parameters. Compared with popular residuals-based no-cointegration tests, the variance ratio test is less prone to size distortions but has smaller local asymptotic power. However, this paper shows that local asymptotic power properties do not serve as a useful indicator for the power of residuals-based no-cointegration tests in finite samples. In terms of size-corrected power, the variance ratio test performs relatively well and, in particular, does not suffer from power reversal problems detected for, e.g., the frequently used augmented Dickey-Fuller type no-cointegration test. An application to daily prices of cryptocurrencies illustrates the usefulness of the variance ratio test in practice.


title: High-Q magnetic levitation and control of superconducting microspheres at millikelvin temperatures

abstract: We report the levitation of a superconducting lead-tin sphere with 100 micrometer diameter (corresponding to a mass of 5.6 micrograms) in a static magnetic trap formed by two coils in an anti-Helmholtz configuration, with adjustable resonance frequencies up to 240 hertz. The center-of-mass motion of the sphere is monitored magnetically using a dc superconducting quantum interference device as well as optically and exhibits quality factors of up to 2.6e7. We also demonstrate 3D magnetic feedback control of the sphere's motion. The setup is housed in a dilution refrigerator operating at 15 millikelvin. By implementing a cryogenic vibration isolation system we can attenuate environmental vibrations at 200 hertz by approximately seven orders of magnitude. The combination of low temperature, large mass and high quality factor as well as adjustable resonance frequencies provides a promising platform for testing quantum physics in previously unexplored regimes with high mass and long coherence times.


title: Observation of quantum capture in an ion-molecule reaction

abstract: In 1954, Vogt and Wannier (Phys. Rev. 95, 1190) predicted that the capture rate of a polarizable neutral atom or molecule by an ion should increase by a factor of two compared to the classical Langevin rate as the collision energy approaches zero. This prediction has not been verified experimentally. The H$_2^+$ + H$_2$ reaction is ideally suited to observe this effect, because the small reduced mass makes quantum effects related to s-wave scattering observable at higher collision energies than in other systems. Moreover, the reaction rate for this barrierless, strongly exothermic reaction follows the classical Langevin capture model down to cold-collision conditions (about $k_\mathrm{B} \cdot~1\,\mathrm{K}$) and is not affected by short-range interactions. Below this temperature, a strong enhancement of the reaction rate resulting from charge--quadrupole interaction between H$_2^+$ and ground-state ortho H$_2$ ($J=1$) was observed. Here we present an experimental study of the reaction of H$_2^+$ and para H$_2$ ($J=0$), which has no dipole and no quadrupole moments, at collision energies below $k_\mathrm{B}\cdot 1\,\mathrm{K}$. We observe an enhancement at the lowest collision energies which is attributed to the quantum enhancement predicted by Vogt and Wannier. Measurements of the reaction of HD$^+$ with HD support this conclusion.


title: Do Bayesian Neural Networks Need To Be Fully Stochastic?

abstract: We investigate the benefit of treating all the parameters in a Bayesian neural network stochastically and find compelling theoretical and empirical evidence that this standard construction may be unnecessary. To this end, we prove that expressive predictive distributions require only small amounts of stochasticity. In particular, partially stochastic networks with only $n$ stochastic biases are universal probabilistic predictors for $n$-dimensional predictive problems. In empirical investigations, we find no systematic benefit of full stochasticity across four different inference modalities and eight datasets; partially stochastic networks can match and sometimes even outperform fully stochastic networks, despite their reduced memory costs.


title: A New Graph Node Classification Benchmark: Learning Structure from Histology Cell Graphs

abstract: We introduce a new benchmark dataset, Placenta, for node classification in an underexplored domain: predicting microanatomical tissue structures from cell graphs in placenta histology whole slide images. This problem is uniquely challenging for graph learning for a few reasons. Cell graphs are large (>1 million nodes per image), node features are varied (64-dimensions of 11 types of cells), class labels are imbalanced (9 classes ranging from 0.21% of the data to 40.0%), and cellular communities cluster into heterogeneously distributed tissues of widely varying sizes (from 11 nodes to 44,671 nodes for a single structure). Here, we release a dataset consisting of two cell graphs from two placenta histology images totalling 2,395,747 nodes, 799,745 of which have ground truth labels. We present inductive benchmark results for 7 scalable models and show how the unique qualities of cell graphs can help drive the development of novel graph neural network architectures.


title: Assessing passive scalar dynamics in bubble-induced turbulence using DNS

abstract: By using Direct Numerical Simulations (DNS) of bubbly flows with passive scalars, we show a transition in the scalar spectra from a $k^{-5/3}$ to a $k^{-3}$ scaling with the wavenumber $k$, in contrast with those of single-phase isotropic turbulence. For cases with a mean scalar gradient in the horizontal direction, the scalar spectrum decays faster than $k^{-3}$ at high wavenumbers. While the $k^{-3}$ scaling is well established in the bubbly flow velocity spectrum, the scalar spectrum behaviour is not fully understood. We find that the transition length scale of the scalar spectra is comparable to or below the bubble diameter and decreases with the molecular diffusivity of the scalar in the liquid. We use DNS to compute the scalar spectra budget and show that the scalar fluctuations are produced by the mean scalar gradient at length scales above the bubble diameter, contrary to the velocity fluctuations. At length scales below the bubble diameter, the net scalar transfer scales as $k^{-1}$ inducing the $k^{-3}$ scaling of the scalar spectra. This finding is consistent with the hypothesis proposed by Dung et al. (2023) about the physical mechanism behind the $k^{-3}$ scaling. We also show dependencies of the bubble suspension's convective scalar diffusivity on the gas volume fraction and molecular diffusivity that differs based on the direction of the mean scalar gradient. For a mean scalar gradient in the vertical direction, we find and qualitatively explain a significant effect of the molecular diffusivity in the gas on the convective scalar diffusivity.


title: Waves over a periodic progressive modulation: A python tutorial

abstract: This chapter presents a selection of theoretical and numerical tools suitable for the study of wave propagation in time-dependent media. The focus is on one-dimensional spring-mass chains whose properties are modulated in space and time in a periodic progressive fashion. The chapter is written for the uninitiated newcomer as well as for the theoretically inclined numerical empiricist. Thus, whenever possible, deployed theory is motivated and exploited numerically, and code for example simulations is written in python. The chapter begins with an introduction to Mathieu's equation and its stability analysis using the monodromy matrix; generalizations to systems with multiple degrees of freedom are then pursued. The progressive character of the modulation leads to a factorization of the monodromy matrix and provides a "discrete change of variables" otherwise only available for continuous systems. Moreover, the factorization allows to reduce the computational complexity of dispersion diagrams and of long term behaviors. Chosen simulations illustrate salient features of non-reciprocity such as strong left-right biases in the speed and power of propagated waves.


title: A novel approach to preventing SARS-CoV-2 transmission in classrooms: An OpenFOAM based CFD Study

abstract: The education sector has suffered a catastrophic setback due to ongoing COVID-pandemic, with classrooms being closed indefinitely. The current study aims to solve the existing dilemma by examining COVID transmission inside a classroom and providing long-term sustainable solutions. In this work, a standard 5m x 3m x 5m classroom is considered where 24 students are seated, accompanied by a teacher. A computational fluid dynamics simulation based on OpenFOAM is performed using a Eulerian-Lagrangian framework. Based on the stochastic dose response framework, we have evaluated the infection risk in the classroom for two distinct cases: (i) certain students are infected (ii) the teacher is infected. If the teacher is infected, the probability of infection could reach 100% for certain students. When certain students are infected, the maximum infection risk for a susceptible person reaches 30%. The commonly used cloth mask proves to be ineffective in providing protection against infection transmission reducing the maximum infection probability by approximately 26% only. Another commonly used solution in the form of shields installed on desks have also failed to provide adequate protection against infection reducing the infection risk only by 50%. Furthermore, the shields serves as a source of fomite mode of infection. Screens suspended from the ceiling, which entrap droplets, have been proposed as a novel solution that reduces the infection risk by 90% and 95% compared to the no screen scenario besides being completely devoid of fomite infection mode. As a result of the screens, the class-time can be extended by 55 minutes.


title: Topology-dependent coalescence controls scaling exponents in finite networks

abstract: Multiple studies of neural avalanches across different data modalities led to the prominent hypothesis that the brain operates near a critical point. The observed exponents often indicate the mean-field directed-percolation universality class, leading to the fully-connected or random network models to study the avalanche dynamics. However, the cortical networks have distinct non-random features and spatial organization that is known to affect the critical exponents. Here we show that distinct empirical exponents arise in networks with different topology and depend on the network size. In particular, we find apparent scale-free behavior with mean-field exponents appearing as quasi-critical dynamics in structured networks. This quasi-critical dynamics cannot be easily discriminated from an actual critical point in small networks. We find that the local coalescence in activity dynamics can explain the distinct exponents. Therefore, both topology and system size should be considered when assessing criticality from empirical observables.


title: Some examples of BL-algebras using commutative rings

abstract: The aim of this paper is to analize the structure of BL-algebras using commutative rings. From computational considerations, we are very interested in the finite case. We present new ways to generate finite BL-algebras using commutative rings and we give summarizing statistics. Furthermore, we investigated BL-rings, i.e., commutative rings whose the lattice of ideals can be equiped with a structure of BL-algebra. A new characterization for these rings and their connections to other classes of rings are established. Also, we give examples of finite BL-rings for which their lattice of ideals is not an MV-algebra and using these rings we construct BL-algebras with $2^{r}+1$ elements, $r\geq 2,$ and \ all BL-chains with $k$ elements, $k\geq 4.$