title: Non-convex sampling for a mixture of locally smooth potentials

abstract: The purpose of this paper is to examine the sampling problem through Euler discretization, where the potential function is assumed to be a mixture of locally smooth distributions and weakly dissipative. We introduce $\alpha_{G}$-mixture locally smooth and $\alpha_{H}$-mixture locally Hessian smooth, which are novel and typically satisfied with a mixture of distributions. Under our conditions, we prove the convergence in Kullback-Leibler (KL) divergence with the number of iterations to reach $\epsilon$-neighborhood of a target distribution in only polynomial dependence on the dimension. The convergence rate is improved when the potential is $1$-smooth and $\alpha_{H}$-mixture locally Hessian smooth. Our result for the non-strongly convex outside the ball of radius $R$ is obtained by convexifying the non-convex domains. In addition, we provide some nice theoretical properties of $p$-generalized Gaussian smoothing and prove the convergence in the $L_{\beta}$-Wasserstein distance for stochastic gradients in a general setting.


title: Topological features in the ferromagnetic Weyl semimetal CeAlSi: Role of domain walls

abstract: In the ferromagnetic (FM) Weyl semimetal CeAlSi both space-inversion and time-reversal symmetries are broken. Our quantum oscillation (QO) data indicate that the FM ordering modifies the Fermi surface topology and also leads to an unusual drop in the QO amplitude. In the FM phase, we find a pressure-induced suppression of the anomalous and the loop Hall effects. This cannot be explained based on the electronic band structure or magnetic structure, both of which are nearly pressure independent. Instead, we show that a simplified model describing the scattering of Weyl fermions off FM domain walls can potentially explain the observed topological features. Our study highlights the importance of domain walls for understanding transport in FM Weyl semimetals.


title: YunMa: Enabling Spectral Retrievals of Exoplanetary Clouds

abstract: In this paper, we present YunMa, an exoplanet cloud simulation and retrieval package, which enables the study of cloud microphysics and radiative properties in exoplanetary atmospheres. YunMa simulates the vertical distribution and sizes of cloud particles and their corresponding scattering signature in transit spectra. We validated YunMa against results from the literature. When coupled to the TauREx 3 platform, an open Bayesian framework for spectral retrievals, YunMa enables the retrieval of the cloud properties and parameters from transit spectra of exoplanets. The sedimentation efficiency ($f_{\mathrm{sed}}$), which controls the cloud microphysics, is set as a free parameter in retrievals. We assess the retrieval performances of YunMa through 28 instances of a K2-18 b-like atmosphere with different fractions of H$_2$/He and N$_2$, and assuming water clouds. Our results show a substantial improvement in retrieval performances when using YunMa instead of a simple opaque cloud model and highlight the need to include cloud radiative transfer and microphysics to interpret the next-generation data for exoplanet atmospheres. This work also inspires instrumental development for future flagships by demonstrating retrieval performances with different data quality.


title: Metal-Organic Chemical Vapor Deposition of PtSe2

abstract: Platinum diselenide (PtSe2), a novel two-dimensional material from the class of noble-metal dichalcogenide (NMD), has recently received significant attention due to its outstanding properties. PtSe2, which undergoes a semi metallic to semiconductor transition when thinned, offers a band-gap in the infrared range and good air stability. These properties make it a prime active material in optoelectronic and chemical sensing devices. However, a synthesis method that can produce large-scale and reliable high quality PtSe2 is highly sought after. Here, we present PtSe2 growth by metal organic chemical vapor deposition. Films were grown on a variety of centimeter scale substrates and were characterized by Raman, X-ray photoelectron and X-ray diffraction spectroscopy, as well as scanning tunneling microscopy and spectroscopy. Domains within the films are found to be up to several hundred nanometers in size, and atomic scale measurements show their highly ordered crystalline structure. The thickness of homogenous films can be controlled via the growth time. This work provides fundamental guidance for the synthesis and implementation of high quality, large-scale PtSe2 layers, hence offering the key requirement for the implementation of PtSe2 in future electronic devices.


title: On the Initialisation of Wide Low-Rank Feedforward Neural Networks

abstract: The edge-of-chaos dynamics of wide randomly initialized low-rank feedforward networks are analyzed. Formulae for the optimal weight and bias variances are extended from the full-rank to low-rank setting and are shown to follow from multiplicative scaling. The principle second order effect, the variance of the input-output Jacobian, is derived and shown to increase as the rank to width ratio decreases. These results inform practitioners how to randomly initialize feedforward networks with a reduced number of learnable parameters while in the same ambient dimension, allowing reductions in the computational cost and memory constraints of the associated network.


title: Wideband Study of the Brightest Black Hole X-ray Binary 4U 1543-47 in the 2021 Outburst: Signature of Disk-Wind Regulated Accretion

abstract: A comprehensive wideband spectral analysis of the brightest black hole X-ray binary 4U $1543-47$ during its 2021 outburst is carried out for the first time using NICER, NuSTAR, and AstroSat observations by phenomenological and reflection modelling. The source attains a super-Eddington peak luminosity and remains in the soft state, with a small fraction ($< 3\%$) of the inverse-Comptonized photons. The spectral modelling reveals a steep photon index ($\Gamma \sim 2-2.6$) and relatively high inner disk temperature ($T_{in}\sim 0.9-1.27$ keV). The line-of-sight column density varies between ($0.45-0.54$)$\times10^{22}$ cm$^{-2}$. Reflection modelling using the RELXILL model suggests that 4U $1543-47$ is a low-inclination system ($\theta \sim 32^\circ - 40^\circ$). The accretion disk is highly ionized (log $\xi$ > 3) and has super solar abundance (3.6$-$10 $A_{Fe,\odot}$) over the entire period of study. We detected a prominent dynamic absorption feature between $\sim 8-11$ keV in the spectra throughout the outburst. This detection is the first of its kind for X-ray binaries. We infer that the absorption of the primary X-ray photons by the highly ionized, fast-moving disk-winds can produce the observed absorption feature. The phenomenological spectral modelling also shows the presence of a neutral absorption feature $\sim 7.1 - 7.4$ keV, and both ionized and neutral absorption components follow each other with a delay of a typical viscous timescale of $10-15$ days.


title: A Bi-Level Stochastic Game Model for PMU Placement in Power Grid with Cybersecurity Risks

abstract: Phasor measurement units (PMUs) provide accurate and high-fidelity measurements in order to monitor the state of the power grid and support various control and planning tasks. However, PMUs have a high installation cost prohibiting their massive deployment. Minimizing the number of installed PMUs needs to be achieved while also maintaining full observability of the network. At the same time, data integrity attacks on PMU measurements can cause mislead power system control and operation routines. In this paper, a bi-level stochastic non-cooperative game-based placement model is proposed for PMU allocation in the presence of cyber-attack risks. In the first level, the protection of individual PMU placed in a network is addressed, while considering the interaction between the grid operator and the attacker with respective resource constraints. In the second level, the attacker observes the placement of the PMUs and compromises them, with the aim of maximizing the state estimation error and reducing the observability of the network. The proposed technique is deployed in the IEEE-9 bus test system. The results demonstrate a 9% reduction in the cost incurred by the power grid operator for deploying PMUs while considering cyber-risks.


title: A numerical study of the effect of discretization methods on the crystal plasticity finite element method

abstract: The present report describes a big data numerical study of crystal plasticity finite element (CPFE) modelling using static and grain-based meshing to investigate the dependence of the results on the discretization approach. Static mesh refers to the integration point-based representation of the microstructure in which the integration points (IPs) within a finite element may belong to different grains, while in the grain-based meshing the minimum discretization unit is an element that may only belong to one grain. The crystal plasticity constitutive law was coded using UMAT subroutine within commercial finite element software Abaqus. Multiple sets of RVEs were investigated under strain-controlled loading and periodic boundary conditions. The stress and strain contour maps obtained from RVEs with static mesh and grain-based mesh were compared. The simulation results reveal that both discretization methods provide reliable predictions of the stress-strain curves and the stress/strain localization points in polycrystalline alloys. Static mesh tends to smooth the stress/strain profile at the grain boundary, whilst stress/strain discontinuities are present in the grain-based mesh results. The above findings remain valid when the number of grains within an RVE increases from 34 to 1250. To quantify the difference between static and grain-based meshing, a relative measure of deviation is defined. The deviations of global stress were found to be relatively small, within 0.5%, while local deviations were significant up to 50%. Static mesh has the advantage of reducing both the preprocessing procedures and computational time compared to grain-based mesh. It is concluded that static mesh is preferred when investigating the material's macroscopic behaviour, whilst grain-based mesh is recommended for the study of the local response using CPFEM.


title: Recursive Neural Networks with Bottlenecks Diagnose (Non-)Compositionality

abstract: A recent line of work in NLP focuses on the (dis)ability of models to generalise compositionally for artificial languages. However, when considering natural language tasks, the data involved is not strictly, or locally, compositional. Quantifying the compositionality of data is a challenging task, which has been investigated primarily for short utterances. We use recursive neural models (Tree-LSTMs) with bottlenecks that limit the transfer of information between nodes. We illustrate that comparing data's representations in models with and without the bottleneck can be used to produce a compositionality metric. The procedure is applied to the evaluation of arithmetic expressions using synthetic data, and sentiment classification using natural language data. We demonstrate that compression through a bottleneck impacts non-compositional examples disproportionately and then use the bottleneck compositionality metric (BCM) to distinguish compositional from non-compositional samples, yielding a compositionality ranking over a dataset.


title: Physics-constrained 3D Convolutional Neural Networks for Electrodynamics

abstract: We present a physics-constrained neural network (PCNN) approach to solving Maxwell's equations for the electromagnetic fields of intense relativistic charged particle beams. We create a 3D convolutional PCNN to map time-varying current and charge densities J(r,t) and p(r,t) to vector and scalar potentials A(r,t) and V(r,t) from which we generate electromagnetic fields according to Maxwell's equations: B=curl(A), E=-div(V)-dA/dt. Our PCNNs satisfy hard constraints, such as div(B)=0, by construction. Soft constraints push A and V towards satisfying the Lorenz gauge.


title: Inverse Compton cooling of thermal plasma in colliding-wind binaries

abstract: The inverse-Compton effect (IC) is a widely recognized cooling mechanism for both relativistic and thermal electrons in various astrophysical environments, including the intergalactic medium and X-ray emitting plasmas. Its effect on thermal electrons is however frequently overlooked in theoretical and numerical models of colliding-wind binaries (CWB). In this article, we provide a comprehensive investigation of the impact of IC cooling in CWBs, presenting general results for when the photon fields of the stars dominate the cooling of the thermal plasma and when shocks at the stagnation point are expected to be radiative. Our analysis shows that IC cooling is the primary cooling process for the shocked-wind layer over a significant portion of the relevant parameter space, particularly in eccentric systems with large wind-momentum ratios, e.g., those containing a Wolf-Rayet and O-type star. Using the binary system WR 140 as a case study, we demonstrate that IC cooling leads to a strongly radiative shocked wind near periastron, which may otherwise remain adiabatic if only collisional cooling was considered. Our results are further supported by 2D and 3D simulations of wind-wind collisions. Specifically, 3D magnetohydrodynamic simulations of WR 140 show a significant decrease in hard-X-ray emission around periastron, in agreement with observations but in contrast to equivalent simulations that omit IC cooling. A novel method is proposed for constraining mass-loss rates of both stars in eccentric binaries where the wind-collision zone switches from adiabatic to radiative approaching periastron. IC scattering is an important cooling process in the thermal plasma of CWBs.


title: H- Beam formation simulation in negative ion source for CERN's Linac4 accelerator

abstract: The caesiated surface negative ion source is the first element of CERN's LINAC4 a linear injector designed to accelerate negative hydrogen ions to 160 MeV. The IS03 ion source is operated at 35 mA beam intensity and reliably feeds CERN's accelerator chain, H- ions are generated via plasma volume and caesiated molybdenum plasma electrode surface mechanisms. Studying the beam extraction region of this H- ion source is essential for optimizing the H- production. The 3D Particle-in-cell Monte Carlo code ONIX (Orsay Negative Ion eXtraction), written to study H- beam formation processes in neutral injectors for fusion, has been adapted to single aperture accelerator H- sources. The code was modified to match the conditions of the beam formation and extraction regions of the Linac4 H- source. A set of parameters was chosen to characterize the plasma and to match the specific volume and surface production modes. Simulated results of the extraction regions are presented and benchmarked with experimental results obtained at the Linac4 test stand.


title: Naturally emerging maps for derangements and nonderangements

abstract: A derangement is a permutation with no fixed point, and a nonderangement is a permutation with at least one fixed point. There is a one-term recurrence for the number of derangements of $n$ elements, and we describe a bijective proof of this recurrence which can be found using a recursive map. We then show the combinatorial interpretation of this bijection and how it compares with other known bijections, and show how this gives an involution on $\mathfrak{S}_n$. Nonderangements satisfy a similar recurrence. We convert the bijective proof of the one-term identity for derangements into a bijective proof of the one-term identity for nonderangements.


title: Finite sets containing zero are mapping degree sets

abstract: In this paper we solve in the positive the question of whether any finite set of integers, containing the zero, is the mapping degree set between two oriented closed connected manifolds of the same dimension. We extend this question to the rational setting, where an affirmative answer is also given.


title: Zero-shot cross-lingual transfer language selection using linguistic similarity

abstract: We study the selection of transfer languages for different Natural Language Processing tasks, specifically sentiment analysis, named entity recognition and dependency parsing. In order to select an optimal transfer language, we propose to utilize different linguistic similarity metrics to measure the distance between languages and make the choice of transfer language based on this information instead of relying on intuition. We demonstrate that linguistic similarity correlates with cross-lingual transfer performance for all of the proposed tasks. We also show that there is a statistically significant difference in choosing the optimal language as the transfer source instead of English. This allows us to select a more suitable transfer language which can be used to better leverage knowledge from high-resource languages in order to improve the performance of language applications lacking data. For the study, we used datasets from eight different languages from three language families.


title: DisDiff: Unsupervised Disentanglement of Diffusion Probabilistic Models

abstract: Targeting to understand the underlying explainable factors behind observations and modeling the conditional generation process on these factors, we connect disentangled representation learning to Diffusion Probabilistic Models (DPMs) to take advantage of the remarkable modeling ability of DPMs. We propose a new task, disentanglement of (DPMs): given a pre-trained DPM, without any annotations of the factors, the task is to automatically discover the inherent factors behind the observations and disentangle the gradient fields of DPM into sub-gradient fields, each conditioned on the representation of each discovered factor. With disentangled DPMs, those inherent factors can be automatically discovered, explicitly represented, and clearly injected into the diffusion process via the sub-gradient fields. To tackle this task, we devise an unsupervised approach named DisDiff, achieving disentangled representation learning in the framework of DPMs. Extensive experiments on synthetic and real-world datasets demonstrate the effectiveness of DisDiff.


title: Model reduction for stochastic systems with nonlinear drift

abstract: In this paper, we study dimension reduction techniques for large-scale controlled stochastic differential equations (SDEs). The drift of the considered SDEs contains a polynomial term satisfying a one-sided growth condition. Such nonlinearities in high dimensional settings occur, e.g., when stochastic reaction diffusion equations are discretized in space. We provide a brief discussion around existence, uniqueness and stability of solutions. (Almost) stability then is the basis for new concepts of Gramians that we introduce and study in this work. With the help of these Gramians, dominant subspace are identified leading to a balancing related highly accurate reduced order SDE. We provide an algebraic error criterion and an error analysis of the propose model reduction schemes. The paper is concluded by applying our method to spatially discretized reaction diffusion equations.


title: p-median location interdiction on trees

abstract: In p-median location interdiction the aim is to find a subset of edges in a graph, such that the objective value of the p-median problem in the same graph without the selected edges is as large as possible. We prove that this problem is NP-hard even on acyclic graphs. Restricting the problem to trees with unit lengths on the edges, unit interdiction costs, and a single edge interdiction, we provide an algorithm which solves the problem in polynomial time. Furthermore, we investigate path graphs with unit and arbitrary lengths. For the former case, we present an algorithm, where multiple edges can get interdicted. Furthermore, for the latter case, we present a method to compute an optimal solution for one interdiction step which can also be extended to multiple interdicted edges.


title: Towards fully covariant machine learning

abstract: Any representation of data involves arbitrary investigator choices. Because those choices are external to the data-generating process, each choice leads to an exact symmetry, corresponding to the group of transformations that takes one possible representation to another. These are the passive symmetries; they include coordinate freedom, gauge symmetry, and units covariance, all of which have led to important results in physics. In machine learning, the most visible passive symmetry is the relabeling or permutation symmetry of graphs. Our goal is to understand the implications for machine learning of the many passive symmetries in play. We discuss dos and don'ts for machine learning practice if passive symmetries are to be respected. We discuss links to causal modeling, and argue that the implementation of passive symmetries is particularly valuable when the goal of the learning problem is to generalize out of sample. This paper is conceptual: It translates among the languages of physics, mathematics, and machine-learning. We believe that consideration and implementation of passive symmetries might help machine learning in the same ways that it transformed physics in the twentieth century.

categories: stat.ML astro-ph.IM cs.LG math-ph math.MP physics.data-an


title: The Entropic journey of Kac's Model

abstract: The goal of this paper is to review the advances that were made during the last few decades in the study of the entropy, and in particular the entropy method, for Kac's many particle system.


title: Nodal line resonance generating the giant anomalous Hall effect of Co$_3$Sn$_2$S$_2$

abstract: Giant anomalous Hall effect (AHE) and magneto-optical activity can emerge in magnets with topologically non-trivial degeneracies. However, identifying the specific band structure features like Weyl points, nodal lines or planes which generate the anomalous response is a challenging issue. Since the low-energy interband transitions can govern the static AHE, we addressed this question in the prototypical magnetic Weyl semimetal Co$_3$Sn$_2$S$_2$ also hosting nodal lines by broadband polarized reflectivity and magneto-optical Kerr effect spectroscopy with a focus on the far-infrared range. In the linear dichroism spectrum we observe a strong resonance at 40\,meV, which also shows up in the optical Hall conductivity spectrum and primarily determines the static AHE, thus, confirms its intrinsic origin. Our material-specific theory reproduces the experimental data remarkably well and shows that strongly tilted nodal line segments around the Fermi energy generate the resonance. While the Weyl points only give vanishing contributions, these segments of the nodal lines gapped by the spin-orbit coupling dominate the low-energy optical response.


title: Long-range quenched bond disorder in the bi-dimensional Potts model

abstract: We study the bi-dimensional $q$-Potts model with long-range bond correlated disorder. Similarly to [C. Chatelain, Phys. Rev. E 89, 032105], we implement a disorder bimodal distribution by coupling the Potts model to auxiliary spin-variables, which are correlated with a power-law decaying function. The universal behaviour of different observables, especially the thermal and the order-parameter critical exponents, are computed by Monte-Carlo techniques for $q=1,2,3$-Potts models for different values of the power-law decaying exponent $a$. On the basis of our conclusions, which are in agreement with previous theoretical and numerical results for $q=1$ and $q=2$, we can conjecture the phase diagram for $q\in [1,4]$. In particular, we establish that the system is driven to a fixed point at finite or infinite long-range disorder depending on the values of $q$ and $a$. Finally, we discuss the role of the higher cumulants of the disorder distribution. This is done by drawning the auxiliary spin-variables from different statistical models. While the main features of the phase diagram depend only on the first and second cumulant, we argue, for the infinite disorder fixed point, that certain universal effects are affected by the higher cumulants of the disorder distribution.


title: Convolutional autoencoder for the spatiotemporal latent representation of turbulence

abstract: Turbulence is characterised by chaotic dynamics and a high-dimensional state space, which make this phenomenon challenging to predict. However, turbulent flows are often characterised by coherent spatiotemporal structures, such as vortices or large-scale modes, which can help obtain a latent description of turbulent flows. However, current approaches are often limited by either the need to use some form of thresholding on quantities defining the isosurfaces to which the flow structures are associated or the linearity of traditional modal flow decomposition approaches, such as those based on proper orthogonal decomposition. This problem is exacerbated in flows that exhibit extreme events, which are rare and sudden changes in a turbulent state. The goal of this paper is to obtain an efficient and accurate reduced-order latent representation of a turbulent flow that exhibits extreme events. Specifically, we employ a three-dimensional multiscale convolutional autoencoder (CAE) to obtain such latent representation. We apply it to a three-dimensional turbulent flow. We show that the Multiscale CAE is efficient, requiring less than 10% degrees of freedom than proper orthogonal decomposition for compressing the data and is able to accurately reconstruct flow states related to extreme events. The proposed deep learning architecture opens opportunities for nonlinear reduced-order modeling of turbulent flows from data.


title: Low-rank LQR Optimal Control Design over Wireless Communication Networks

abstract: This paper considers a LQR optimal control design problem for distributed control systems with multi-agents. To control large-scale distributed systems such as smart-grid and multi-agent robotic systems over wireless communication networks, it is desired to design a feedback controller by considering various constraints on communication such as limited power, limited energy, or limited communication bandwidth, etc. In this paper, we focus on the reduction of communication energy in an LQR optimal control design problem on wireless communication networks. By considering the characteristic of wireless communication, i.e., Radio Frequency (RF) signal can spread in all directions in a broadcast way, we formulate a low-rank LQR optimal control model to reduce the communication energy in the distributed feedback control system. To solve the problem, we propose an Alternating Direction Method of Multipliers (ADMM) based algorithm. Through various numerical experiments, we demonstrate that a feedback controller designed using low-rank structure can outperform the previous work on sparse LQR optimal control design, which focuses on reducing the number of communication links in a network, in terms of energy consumption, system stability margin against noise and error in communication.


title: Generating General Preferential Attachment Networks with R Package wdnet

abstract: Preferential attachment (PA) network models have a wide range of applications in various scientific disciplines. Efficient generation of large-scale PA networks helps uncover their structural properties and facilitate the development of associated analytical methodologies. Existing software packages only provide limited functions for this purpose with restricted configurations and efficiency. We present a generic, user-friendly implementation of weighted, directed PA network generation with R package wdnet. The core algorithm is based on an efficient binary tree approach. The package further allows adding multiple edges at a time, heterogeneous reciprocal edges, and user-specified preference functions. The engine under the hood is implemented in C++. Usages of the package are illustrated with detailed explanation. A benchmark study shows that wdnet is efficient for generating general PA networks not available in other packages. In restricted settings that can be handled by existing packages, wdnet provides comparable efficiency.


title: A relaxed proximal gradient descent algorithm for convergent plug-and-play with proximal denoiser

abstract: This paper presents a new convergent Plug-and-Play (PnP) algorithm. PnP methods are efficient iterative algorithms for solving image inverse problems formulated as the minimization of the sum of a data-fidelity term and a regularization term. PnP methods perform regularization by plugging a pre-trained denoiser in a proximal algorithm, such as Proximal Gradient Descent (PGD). To ensure convergence of PnP schemes, many works study specific parametrizations of deep denoisers. However, existing results require either unverifiable or suboptimal hypotheses on the denoiser, or assume restrictive conditions on the parameters of the inverse problem. Observing that these limitations can be due to the proximal algorithm in use, we study a relaxed version of the PGD algorithm for minimizing the sum of a convex function and a weakly convex one. When plugged with a relaxed proximal denoiser, we show that the proposed PnP-$\alpha$PGD algorithm converges for a wider range of regularization parameters, thus allowing more accurate image restoration.


title: Preserving local densities in low-dimensional embeddings

abstract: Low-dimensional embeddings and visualizations are an indispensable tool for analysis of high-dimensional data. State-of-the-art methods, such as tSNE and UMAP, excel in unveiling local structures hidden in high-dimensional data and are therefore routinely applied in standard analysis pipelines in biology. We show, however, that these methods fail to reconstruct local properties, such as relative differences in densities (Fig. 1) and that apparent differences in cluster size can arise from computational artifact caused by differing sample sizes (Fig. 2). Providing a theoretical analysis of this issue, we then suggest dtSNE, which approximately conserves local densities. In an extensive study on synthetic benchmark and real world data comparing against five state-of-the-art methods, we empirically show that dtSNE provides similar global reconstruction, but yields much more accurate depictions of local distances and relative densities.


title: A Bayesian Generative Adversarial Network (GAN) to Generate Synthetic Time-Series Data, Application in Combined Sewer Flow Prediction

abstract: Despite various breakthroughs in machine learning and data analysis techniques for improving smart operation and management of urban water infrastructures, some key limitations obstruct this progress. Among these shortcomings, the absence of freely available data due to data privacy or high costs of data gathering and the nonexistence of adequate rare or extreme events in the available data plays a crucial role. Here, Generative Adversarial Networks (GANs) can help overcome these challenges. In machine learning, generative models are a class of methods capable of learning data distribution to generate artificial data. In this study, we developed a GAN model to generate synthetic time series to balance our limited recorded time series data and improve the accuracy of a data-driven model for combined sewer flow prediction. We considered the sewer system of a small town in Germany as the test case. Precipitation and inflow to the storage tanks are used for the Data-Driven model development. The aim is to predict the flow using precipitation data and examine the impact of data augmentation using synthetic data in model performance. Results show that GAN can successfully generate synthetic time series from real data distribution, which helps more accurate peak flow prediction. However, the model without data augmentation works better for dry weather prediction. Therefore, an ensemble model is suggested to combine the advantages of both models.


title: Efficient Policy Evaluation with Offline Data Informed Behavior Policy Design

abstract: Most reinforcement learning practitioners evaluate their policies with online Monte Carlo estimators for either hyperparameter tuning or testing different algorithmic design choices, where the policy is repeatedly executed in the environment to get the average outcome. Such massive interactions with the environment are prohibitive in many scenarios. In this paper, we propose novel methods that improve the data efficiency of online Monte Carlo estimators while maintaining their unbiasedness. We first propose a tailored closed-form behavior policy that provably reduces the variance of an online Monte Carlo estimator. We then design efficient algorithms to learn this closed-form behavior policy from previously collected offline data. Theoretical analysis is provided to characterize how the behavior policy learning error affects the amount of reduced variance. Compared with previous works, our method achieves better empirical performance in a broader set of environments, with fewer requirements for offline data.


title: Flipper games for monadically stable graph classes

abstract: A class of graphs $\mathscr{C}$ is monadically stable if for any unary expansion $\widehat{\mathscr{C}}$ of $\mathscr{C}$, one cannot interpret, in first-order logic, arbitrarily long linear orders in graphs from $\widehat{\mathscr{C}}$. It is known that nowhere dense graph classes are monadically stable; these encompass most of the studied concepts of sparsity in graphs, including graph classes that exclude a fixed topological minor. On the other hand, monadic stability is a property expressed in purely model-theoretic terms and hence it is also suited for capturing structure in dense graphs. For several years, it has been suspected that one can create a structure theory for monadically stable graph classes that mirrors the theory of nowhere dense graph classes in the dense setting. In this work we provide a step in this direction by giving a characterization of monadic stability through the Flipper game: a game on a graph played by Flipper, who in each round can complement the edge relation between any pair of vertex subsets, and Connector, who in each round localizes the game to a ball of bounded radius. This is an analog of the Splitter game, which characterizes nowhere dense classes of graphs (Grohe, Kreutzer, and Siebertz, J.ACM'17). We give two different proofs of our main result. The first proof uses tools from model theory, and it exposes an additional property of monadically stable graph classes that is close in spirit to definability of types. Also, as a byproduct, we give an alternative proof of the recent result of Braunfeld and Laskowski (arXiv 2209.05120) that monadic stability for graph classes coincides with existential monadic stability. The second proof relies on the recently introduced notion of flip-wideness (Dreier, M\"ahlmann, Siebertz, and Toru\'nczyk, arXiv 2206.13765) and provides an efficient algorithm to compute Flipper's moves in a winning strategy.


title: Approximate Functional Differencing

abstract: Inference on common parameters in panel data models with individual-specific fixed effects is a classic example of Neyman and Scott's (1948) incidental parameter problem (IPP). One solution to this IPP is functional differencing (Bonhomme 2012), which works when the number of time periods T is fixed (and may be small), but this solution is not applicable to all panel data models of interest. Another solution, which applies to a larger class of models, is "large-T" bias correction (pioneered by Hahn and Kuersteiner 2002 and Hahn and Newey 2004), but this is only guaranteed to work well when T is sufficiently large. This paper provides a unified approach that connects those two seemingly disparate solutions to the IPP. In doing so, we provide an approximate version of functional differencing, that is, an approximate solution to the IPP that is applicable to a large class of panel data models even when T is relatively small.


title: Self-Consistent Velocity Matching of Probability Flows

abstract: We present a discretization-free scalable framework for solving a large class of mass-conserving partial differential equations (PDEs), including the time-dependent Fokker-Planck equation and the Wasserstein gradient flow. The main observation is that the time-varying velocity field of the PDE solution needs to be self-consistent: it must satisfy a fixed-point equation involving the probability flow characterized by the same velocity field. Instead of directly minimizing the residual of the fixed-point equation with neural parameterization, we use an iterative formulation with a biased gradient estimator that bypasses significant computational obstacles with strong empirical performance. Compared to existing approaches, our method does not suffer from temporal or spatial discretization, covers a wider range of PDEs, and scales to high dimensions. Experimentally, our method recovers analytical solutions accurately when they are available and achieves superior performance in high dimensions with less training time compared to alternatives.


title: CSS code surgery as a universal construction

abstract: We define code maps between Calderbank-Shor-Steane (CSS) codes using maps between chain complexes, and describe code surgery between such codes using a specific colimit in the category of chain complexes. As well as describing a surgery operation, this gives a general recipe for new codes. As an application we describe how to `merge' and `split' along a shared $\overline{X}$ or $\overline{Z}$ operator between arbitrary CSS codes in a fault-tolerant manner, so long as certain technical conditions concerning gauge fixing and code distance are satisfied. We prove that such merges and splits on LDPC codes yield codes which are themselves LDPC.


title: Exact solution of TASEP and variants with inhomogeneous speeds and memory lengths

abstract: In [arXiv:1701.00018, arXiv:2107.07984] an explicit biorthogonalization method was developed that applies to a class of determinantal measures which describe the evolution of several variants of classical interacting particle systems in the KPZ universality class. The method leads to explicit Fredholm determinant formulas for the multipoint distributions of these systems which are suitable for asymptotic analysis. In this paper we extend the method to a broader class of determinantal measures which is applicable to systems where particles have different jump speeds and different memory lengths. As an application of our results we study three particular examples: some variants of TASEP with two blocks of particles having different speeds, a version of discrete time TASEP which mixes particles with sequential and parallel update, and a version of sequential TASEP where a single particle with long memory length (equivalently, a long "caterpillar") is added to the right of the system. In the last two cases we also include a formal asymptotic analysis which shows convergence to the KPZ fixed point.


title: Parity protected superconducting diode effect in topological Josephson junctions

abstract: In bulk superconductors or Josephson junctions formed in materials with spin-orbit interaction, the critical current can depend on the direction of current flow and applied magnetic field, an effect known as the superconducting (SC) diode effect. Here, we consider the SC diode effect in Josephson junctions in nanowire devices. We find that the $4\pi$-periodic contribution of Majorana bound states (MBSs) to the current phase relation (CPR) of single junctions results in a significant enhancement of the SC diode effect when the device enters the topological phase. Crucially, this enhancement of the SC diode effect is independent of the parity of the junction and therefore protected from parity altering events, such as quasiparticle poisoning, which have hampered efforts to directly observe the $4\pi$-periodic CPR of MBSs. We show that this effect can be generalized to SQUIDs and that, in such devices, the parity-protected SC diode effect can provide a highly controllable probe of the topology in a Josephson junction.


title: UPop: Unified and Progressive Pruning for Compressing Vision-Language Transformers

abstract: Real-world data contains a vast amount of multimodal information, among which vision and language are the two most representative modalities. Moreover, increasingly heavier models, \textit{e}.\textit{g}., Transformers, have attracted the attention of researchers to model compression. However, how to compress multimodal models, especially vison-language Transformers, is still under-explored. This paper proposes the \textbf{U}nified and \textbf{P}r\textbf{o}gressive \textbf{P}runing (\textbf{\emph{UPop}}) as a universal vison-language Transformer compression framework, which incorporates 1) unifiedly searching multimodal subnets in a continuous optimization space from the original model, which enables automatic assignment of pruning ratios among compressible modalities and structures; 2) progressively searching and retraining the subnet, which maintains convergence between the search and retrain to attain higher compression ratios. Experiments on various tasks, datasets, and model architectures demonstrate the effectiveness and versatility of the proposed UPop framework. The code is available at https://github.com/sdc17/UPop.


title: Ultrafast Umklapp-assisted electron-phonon cooling in magic-angle twisted bilayer graphene

abstract: Carrier relaxation measurements in moir\'e materials offer a unique probe of the microscopic interactions, in particular the ones that are not easily measured by transport. Umklapp scattering between phonons is a ubiquitous momentum-nonconserving process that governs the thermal conductivity of semiconductors and insulators. In contrast, Umklapp scattering between electrons and phonons has not been demonstrated experimentally. Here, we study the cooling of hot electrons in moir\'e graphene using time- and frequency-resolved photovoltage measurements as a direct probe of its complex energy pathways including electron-phonon coupling. We report on a dramatic speedup in hot carrier cooling of twisted bilayer graphene near the magic angle: the cooling time is a few picoseconds from room temperature down to 5 K, whereas in pristine graphene coupling to acoustic phonons takes nanoseconds. Our analysis indicates that this ultrafast cooling is a combined effect of the formation of a superlattice with low-energy moir\'e phonons, spatially compressed electronic Wannier orbitals, and a reduced superlattice Brillouin zone, enabling Umklapp scattering that overcomes electron-phonon momentum mismatch. These results demonstrate a way to engineer electron-phonon coupling in twistronic systems, an approach that could contribute to the fundamental understanding of their transport properties and enable applications in thermal management and ultrafast photodetection.


title: Zero-shot-Learning Cross-Modality Data Translation Through Mutual Information Guided Stochastic Diffusion

abstract: Cross-modality data translation has attracted great interest in image computing. Deep generative models (\textit{e.g.}, GANs) show performance improvement in tackling those problems. Nevertheless, as a fundamental challenge in image translation, the problem of Zero-shot-Learning Cross-Modality Data Translation with fidelity remains unanswered. This paper proposes a new unsupervised zero-shot-learning method named Mutual Information guided Diffusion cross-modality data translation Model (MIDiffusion), which learns to translate the unseen source data to the target domain. The MIDiffusion leverages a score-matching-based generative model, which learns the prior knowledge in the target domain. We propose a differentiable local-wise-MI-Layer ($LMI$) for conditioning the iterative denoising sampling. The $LMI$ captures the identical cross-modality features in the statistical domain for the diffusion guidance; thus, our method does not require retraining when the source domain is changed, as it does not rely on any direct mapping between the source and target domains. This advantage is critical for applying cross-modality data translation methods in practice, as a reasonable amount of source domain dataset is not always available for supervised training. We empirically show the advanced performance of MIDiffusion in comparison with an influential group of generative models, including adversarial-based and other score-matching-based models.


title: Elastic solids with strain-gradient elastic boundary surfaces

abstract: Recent works have shown that in contrast to classical linear elastic fracture mechanics, endowing crack fronts in a brittle Green-elastic solid with Steigmann-Ogden surface elasticity yields a model that predicts bounded stresses and strains at the crack tips for plane-strain problems. However, singularities persist for anti-plane shear (mode-III fracture) under far-field loading, even when Steigmann-Ogden surface elasticity is incorporated. This work is motivated by obtaining a model of brittle fracture capable of predicting bounded stresses and strains for all modes of loading. We formulate an exact general theory of a three-dimensional solid containing a boundary surface with strain-gradient surface elasticity. For planar reference surfaces parameterized by flat coordinates, the form of surface elasticity reduces to that introduced by Hilgers and Pipkin, and when the surface energy is independent of the surface covariant derivative of the stretching, the theory reduces to that of Steigmann and Ogden. We discuss material symmetry using Murdoch and Cohen's extension of Noll's theory. We present a model small-strain surface energy that incorporates resistance to geodesic distortion, satisfies strong ellipticity, and requires the same material constants found in the Steigmann-Ogden theory. Finally, we derive and apply the linearized theory to mode-III fracture in an infinite plate under far-field loading. We prove that there always exists a unique classical solution to the governing integro-differential equation, and in contrast to using Steigmann-Ogden surface elasticity, our model is consistent with the linearization assumption in predicting finite stresses and strains at the crack tips.

categories: math-ph cond-mat.mtrl-sci cond-mat.soft math.MP


title: Stick-slip in a stack: how slip dissonance reveals aging

abstract: We perform physical and numerical experiments to study the stick-slip response of a stack of slabs in contact through dry frictional interfaces driven in quasistatic shear. The ratio between the drive's stiffness and the slab's shear stiffness controls the presence or absence of slip synchronization. A sufficiently high stiffness ratio leads to synchronization, comprising periodic slip events in which all interfaces slip simultaneously. A lower stiffness ratio leads to asynchronous slips and, experimentally, to the stick-slip amplitude becoming broadly distributed as the number of layers in the stack increases. We interpret this broadening in light of the combined effect of complex loading paths due to the asynchronous slips and creep. Consequently, the aging rate of the interfaces can be readily extracted from the stick-slip cycles, and it is found to be of the same order of magnitude as existing experimental results on a similar material. Finally, we discuss the emergence of slow slips and an increase in aging-rate variations when more slabs are added to the stack.


title: Measures of Spin Ordering in the Potts Model with a Generalized External Magnetic Field

abstract: We formulate measures of spin ordering in the $q$-state ferromagnetic Potts model in a generalized external magnetic field that favors or disfavors spin values in a subset $I_s = \{1,...,s\}$ of the total set of $q$ values. The results are contrasted with the corresponding measures of spin ordering in the case of a conventional external magnetic field that favors or disfavors a single spin value out of total set of $q$ values. Some illustrative calculations are included.


title: Algebraic identities on q-harmonic numbers and q-binomial coefficients

abstract: The aim of this paper is to present a general algebraic identity. Applying this identity, we provide several formulas involving the q-binomial coefficients and the q-harmonic numbers. We also recover some known identities including an algebraic identity of D. Y. Zheng on q-Ap\'{e}ry numbers and we establish the q-analog of Euler's formula. The proposed results may have important applications in the theory of q-supercongruences.


title: Archetypal Analysis++: Rethinking the Initialization Strategy

abstract: Archetypal analysis is a matrix factorization method with convexity constraints. Due to local minima, a good initialization is essential, but frequently used initialization methods yield either sub-optimal starting points or are prone to get stuck in poor local minima. In this paper, we propose archetypal analysis++ (AA++), a probabilistic initialization strategy for archetypal analysis that sequentially samples points based on their influence on the objective function, similar to $k$-means++. In fact, we argue that $k$-means++ already approximates the proposed initialization method. Furthermore, we suggest to adapt an efficient Monte Carlo approximation of $k$-means++ to AA++. In an extensive empirical evaluation of 15 real-world data sets of varying sizes and dimensionalities and considering two pre-processing strategies, we show that AA++ almost always outperforms all baselines, including the most frequently used ones.


title: Multi-Fidelity Covariance Estimation in the Log-Euclidean Geometry

abstract: We introduce a multi-fidelity estimator of covariance matrices that employs the log-Euclidean geometry of the symmetric positive-definite manifold. The estimator fuses samples from a hierarchy of data sources of differing fidelities and costs for variance reduction while guaranteeing definiteness, in contrast with previous approaches. The new estimator makes covariance estimation tractable in applications where simulation or data collection is expensive; to that end, we develop an optimal sample allocation scheme that minimizes the mean-squared error of the estimator given a fixed budget. Guaranteed definiteness is crucial to metric learning, data assimilation, and other downstream tasks. Evaluations of our approach using data from physical applications (heat conduction, fluid dynamics) demonstrate more accurate metric learning and speedups of more than one order of magnitude compared to benchmarks.


title: Combining the CLAUDS & HSC-SSP surveys: U+grizy(+YJHKs) photometry and photometric redshifts for 18M galaxies in the 20 deg2 of the HSC-SSP Deep and ultraDeep fields

abstract: We present the combination of the Canada-France-Hawaii Telescope (CHFT) Large Area $U$-bands Deep Survey (CLAUDS) and the Hyper-Suprime-Cam (HSC) Subaru Strategic Program (HSC-SSP) data over their four deep fields. We provide photometric catalogs for $u$, $u^*$ (CFHT--MegaCam), $g$, $r$, $i$, $z$, and $y$ (Subaru--HSC) bands over $\sim 20~{\rm deg}^2$, complemented in two fields by data from the Visible and Infrared Survey Telescope for Astronomy (VISTA) Deep Extragalactic Observations (VIDEO) survey and the UltraVISTA survey, thus extending the wavelength coverage toward near-infrared with VIRCAM $Y$, $J$, $H$, and $K_s$ observations over $5.5~{\rm deg}^2$. The extraction of the photometry was performed with two different softwares: the HSC pipeline hscPipe and the standard and robust SExtractor software. Photometric redshifts were computed with template-fitting methods using the new Phosphoros code for the hscPipe photometry and the well-known Le Phare code for the SExtractor photometry. The products of these methods were compared with each other in detail. We assessed their quality using the large spectroscopic sample available in those regions, together with photometry and photometric redshifts from COSMOS2020, the latest version of the Cosmic Evolution Survey catalogs. We find that both photometric data sets are in good agreement in $Ugrizy$ down to magnitude$\sim26$, and to magnitude$\sim24.5$ in the $YJHK_s$ bands. We achieve good performance for the photometric redshifts, reaching precisions of $\sigma_{NMAD} \lesssim 0.04$ down to ${m}_i\sim25$, even using only the CLAUDS and HSC bands. At the same magnitude limit, we measured an outlier fraction of $\eta \lesssim 10\%$ when using the $Ugrizy$ bands, and down to $\eta \lesssim 6\%$ when considering near-infrared data. [abridged]


title: Instability of a Kerr-type naked singularity due to light and matter accretion and its shadow

abstract: We study null and timelike constant radii geodesics in the environment of an over-spinning putative Kerr-type naked singularity. We are particularly interested in two topics: first, the differences of the shadows of the naked rotating singularity and the Kerr black hole; and second, the spinning down effect of the particles falling from the accretion disk. Around the naked singularity, the non-equatorial prograde orbits in the Kerr black hole remain intact up to a critical rotation parameter ($\alpha=\sqrt{6 \sqrt{3}-9}$) and cease to exist above this value [Eur. Phys. J. C 78, 879 (2018)]. This has an important consequence in the shadow of the naked singularity if the shadow is registered by an observer on the polar plane or close to it as the shadow cannot be distinguished from that of a Kerr black hole viewed from the same angle considering only the light emanating from the unstable photon orbits. We show that the timelike retrograde orbits in the equatorial plane immediately (after about an 8% increase in mass for the case of initial $\alpha=1.5$) reduce the spin parameter of the naked singularity from larger values to $\alpha=1$ at which an event horizon appears. This happens because the retrograde orbits have a larger capture cross-section than the prograde ones. So if a naked singularity happens to have an accretion disk, it will not remain naked for long, an event horizon forms.


title: Quantum mechanics at high school: an online laboratory on wave-particle duality

abstract: The interest in studying quantum mechanics is always increasing in our society and schools. Especially in the latter case, this leads researchers to implement suitable actions to meet social needs of knowledge of quantum physics. We present an online laboratory on wave-particle duality for high school students (17-19 years old). The activity has been carried out in the period December 2021 - May 2022 at the Physics Department of the University of Cagliari and more than 100 students from different high schools in Sardinia have been involved. We will show the design of the activity and the experiments performed. We will show and discuss qualitatively results about a satisfaction questionnaire. A brief discussion about motivational issues will be done.


title: Dynamic Scheduled Sampling with Imitation Loss for Neural Text Generation

abstract: State-of-the-art neural text generation models are typically trained to maximize the likelihood of each token in the ground-truth sequence conditioned on the previous target tokens. However, during inference, the model needs to make a prediction conditioned on the tokens generated by itself. This train-test discrepancy is referred to as exposure bias. Scheduled sampling is a curriculum learning strategy that gradually exposes the model to its own predictions during training to mitigate this bias. Most of the proposed approaches design a scheduler based on training steps, which generally requires careful tuning depending on the training setup. In this work, we introduce Dynamic Scheduled Sampling with Imitation Loss (DySI), which maintains the schedule based solely on the training time accuracy, while enhancing the curriculum learning by introducing an imitation loss, which attempts to make the behavior of the decoder indistinguishable from the behavior of a teacher-forced decoder. DySI is universally applicable across training setups with minimal tuning. Extensive experiments and analysis show that DySI not only achieves notable improvements on standard machine translation benchmarks, but also significantly improves the robustness of other text generation models.


title: CMB signature of non-thermal Dark Matter produced from self-interacting dark sector

abstract: The basic idea of this work is to achieve the observed relic density of a non-thermal dark matter(DM) and its connection with Cosmic Microwave Background (CMB) via additional relativistic degrees of freedom which are simultaneously generated during the period $T_{\rm BBN}~{\rm to}~T_{\rm CMB}$ from a long-lived dark sector particle. To realize this phenomena we minimally extend the type-I seesaw scenario with a Dirac fermion singlet($\chi$) and a complex scalar singlet ($\varphi$) which transform non-trivially under an unbroken symmetry $\mathcal{Z}_3$. $\chi$ being the lightest particle in the dark sector acts as a stable dark matter candidate while the next to lightest state $\varphi$ operates like a long lived dark scalar particle. The initial density of $\varphi$ can be thermally produced through either self-interacting number changing processes ($3 \varphi \to 2 \varphi$) within dark sector or the standard annihilation to SM particles ($2 \varphi \to 2~ {\rm SM}$). The late time (after neutrino decoupling) non-thermal decay of $\varphi$ can produce dark matter in association with active neutrinos. The presence of extra relativistic neutrino degrees of freedom at the time of CMB can have a significant impact on $\Delta \rm N_{eff}$. Thus the precise measurement of $\Delta \rm N_{ eff}$ by current PLANCK 2018 collaboration and future experiments like SPT-3G and CMB-S4 can indirectly probe this non-thermal dark matter scenario which is otherwise completely secluded due to its tiny coupling with the standard model.


title: Retrosynthetic Planning with Dual Value Networks

abstract: Retrosynthesis, which aims to find a route to synthesize a target molecule from commercially available starting materials, is a critical task in drug discovery and materials design. Recently, the combination of ML-based single-step reaction predictors with multi-step planners has led to promising results. However, the single-step predictors are mostly trained offline to optimize the single-step accuracy, without considering complete routes. Here, we leverage reinforcement learning (RL) to improve the single-step predictor, by using a tree-shaped MDP to optimize complete routes. Specifically, we propose a novel online training algorithm, called Planning with Dual Value Networks (PDVN), which alternates between the planning phase and updating phase. In PDVN, we construct two separate value networks to predict the synthesizability and cost of molecules, respectively. To maintain the single-step accuracy, we design a two-branch network structure for the single-step predictor. On the widely-used USPTO dataset, our PDVN algorithm improves the search success rate of existing multi-step planners (e.g., increasing the success rate from 85.79% to 98.95% for Retro*, and reducing the number of model calls by half while solving 99.47% molecules for RetroGraph). Additionally, PDVN helps find shorter synthesis routes (e.g., reducing the average route length from 5.76 to 4.83 for Retro*, and from 5.63 to 4.78 for RetroGraph). Our code is available at \url{https://github.com/DiXue98/PDVN}.


title: PAC learning and stabilizing Hedonic Games: towards a unifying approach

abstract: We study PAC learnability and PAC stabilizability of Hedonic Games (HGs), i.e., efficiently inferring preferences or core-stable partitions from samples. We first expand the known learnability/stabilizability landscape for some of the most prominent HGs classes, providing results for Friends and Enemies Games, Bottom Responsive, and Anonymous HGs. Then, having a broader view in mind, we attempt to shed light on the structural properties leading to learnability/stabilizability, or lack thereof, for specific HGs classes. Along this path, we focus on the fully expressive Hedonic Coalition Nets representation of HGs. We identify two sets of conditions that lead to efficient learnability, and which encompass all of the known positive learnability results. On the side of stability, we reveal that, while the freedom of choosing an ad hoc adversarial distribution is the most obvious hurdle to achieving PAC stability, it is not the only one. First, we show a distribution independent necessary condition for PAC stability. Then, we focus on $\W$-games, where players have individual preferences over other players and evaluate coalitions based on the least preferred member. We prove that these games are PAC stabilizable under the class of bounded distributions, which assign positive probability mass to all coalitions. Finally, we discuss why such a result is not easily extendable to other HGs classes even in this promising scenario. Namely, we establish a purely computational property necessary for achieving PAC stability.


title: Toward Efficient Gradient-Based Value Estimation

abstract: Gradient-based methods for value estimation in reinforcement learning have favorable stability properties, but they are typically much slower than Temporal Difference (TD) learning methods. We study the root causes of this slowness and show that Mean Square Bellman Error (MSBE) is an ill-conditioned loss function in the sense that its Hessian has large condition-number. To resolve the adverse effect of poor conditioning of MSBE on gradient based methods, we propose a low complexity batch-free proximal method that approximately follows the Gauss-Newton direction and is asymptotically robust to parameterization. Our main algorithm, called RANS, is efficient in the sense that it is significantly faster than the residual gradient methods while having almost the same computational complexity, and is competitive with TD on the classic problems that we tested.


title: Learning, Fast and Slow: A Goal-Directed Memory-Based Approach for Dynamic Environments

abstract: Model-based next state prediction and state value prediction are slow to converge. To address these challenges, we do the following: i) Instead of a neural network, we do model-based planning using a parallel memory retrieval system (which we term the slow mechanism); ii) Instead of learning state values, we guide the agent's actions using goal-directed exploration, by using a neural network to choose the next action given the current state and the goal state (which we term the fast mechanism). The goal-directed exploration is trained online using hippocampal replay of visited states and future imagined states every single time step, leading to fast and efficient training. Empirical studies show that our proposed method has a 92% solve rate across 100 episodes in a dynamically changing grid world, significantly outperforming state-of-the-art actor critic mechanisms such as PPO (54%), TRPO (50%) and A2C (24%). Ablation studies demonstrate that both mechanisms are crucial. We posit that the future of Reinforcement Learning (RL) will be to model goals and sub-goals for various tasks, and plan it out in a goal-directed memory-based approach.


title: Noncoercive and Noncontinuous Equilibrium Problems (Existence Theorem in Infinite Dimensional Spaces)

abstract: In this paper, we extend the definition of qx-asymptotic function, for extended real-valued function that define on an infinite dimensional topological normed space without lower semicontinuity or quasi-convexity condition. As the main result, by using some asymptotic conditions, we obtain sufficient optimality conditions for existence of solutions to equilibrium problems, under weaker assumptions of continuity and convexity, when the feasible set is an unbounded subset of an infinite dimensional space. Also, as a corollary, we obtain a necessary and sufficient optimality conditions for existence of solutions to equilibrium problems with unbounded feasible set. Finally, as an application, we establish a result for existence of solutions to minimization problems.


title: EC-CFI: Control-Flow Integrity via Code Encryption Counteracting Fault Attacks

abstract: Fault attacks enable adversaries to manipulate the control-flow of security-critical applications. By inducing targeted faults into the CPU, the software's call graph can be escaped and the control-flow can be redirected to arbitrary functions inside the program. To protect the control-flow from these attacks, dedicated fault control-flow integrity (CFI) countermeasures are commonly deployed. However, these schemes either have high detection latencies or require intrusive hardware changes. In this paper, we present EC-CFI, a software-based cryptographically enforced CFI scheme with no detection latency utilizing hardware features of recent Intel platforms. Our EC-CFI prototype is designed to prevent an adversary from escaping the program's call graph using faults by encrypting each function with a different key before execution. At runtime, the instrumented program dynamically derives the decryption key, ensuring that the code only can be successfully decrypted when the program follows the intended call graph. To enable this level of protection on Intel commodity systems, we introduce extended page table (EPT) aliasing allowing us to achieve function-granular encryption by combing Intel's TME-MK and virtualization technology. We open-source our custom LLVM-based toolchain automatically protecting arbitrary programs with EC-CFI. Furthermore, we evaluate our EPT aliasing approach with the SPEC CPU2017 and Embench-IoT benchmarks and discuss and evaluate potential TME-MK hardware changes minimizing runtime overheads.


title: Foundations and Scoping of Data Science

abstract: There has been an increasing recognition of the value of data and of data-based decision making. As a consequence, the development of data science as a field of study has intensified in recent years. However, there is no systematic and comprehensive treatment and understanding of data science. This article describes a systematic and end-to-end framing of the field based on an inclusive definition. It identifies the core components making up the data science ecosystem, presents its lifecycle modeling the development process, and argues its interdisciplinarity.


title: On characterization by Gruenberg-Kegel graph of finite simple exceptional groups of Lie type

abstract: The Gruenberg-Kegel graph $\Gamma(G)$ of a finite group $G$ is the graph whose vertex set is the set of prime divisors of $|G|$ and in which two distinct vertices $r$ and $s$ are adjacent if and only if there exists an element of order $rs$ in $G$. A finite group $G$ is called almost recognizable (by Gruenberg-Kegel graph) if there is only finite number of pairwise non-isomorphic finite groups having Gruenberg-Kegel graph as $G$. If $G$ is not almost recognizable, then it is called unrecognizable (by Gruenberg--Kegel graph). Recently P.J. Cameron and the first author have proved that if a finite group is almost recognizable, then the group is almost simple. Thus, the question of which almost simple groups (in particular, finite simple groups) are almost recognizable is of prime interest. We prove that every finite simple exceptional group of Lie type, which is isomorphic to neither ${^2}B_2(2^{2n+1})$ with $n\geq1$ nor $G_2(3)$ and whose Gruenberg-Kegel graph has at least three connected components, is almost recognizable. Moreover, groups $ {^2}B_2(2^{2n+1})$, where $n\geq1$, and $G_2(3)$ are unrecognizable.


title: Photomeric analysis of eclipsing binaries: VY UMI, RU UMI AND GSC 04364-00648

abstract: We present the photometric analysis of \textit{BVR} and \textit{TESS} light curves of three eclipsing binaries (RU~UMi and purely studied VY~UMi, GSC 04364-00648), together with their period changes considering archival data and new minima times from our and \textit{TESS} observations. For the first time we detected wave-like variations with low-amplitude in $O-C$ residua of RU UMi, which can be interpreted as a consequence of the light-time effect caused by the 3rd invisible component with period 7370 days. Period increase with rate 2.56(9)$\times10^{-7}$~d/yr$^{-1}$ detected in the VY UMi system corresponds to mass transfer from the secondary to the primary component. For GSC 04364-00648 binary system we find some quadratic changes on the $O-C$ diagram, which corresponds to a period decrease with a high rate of $-2.26(5)\times10^{-5}$~d/yr$^{-1}$. We cannot assumptions about their nature, mainly due to short time of observation and uneven coverage of $O-C$ diagram. We also determined the absolute parameter of their components using the photometric solution and \textit{GAIA} distances.


title: Unsupervised Neighborhood Propagation Kernel Layers for Semi-supervised Node Classification

abstract: We present a deep Graph Convolutional Kernel Machine (GCKM) for semi-supervised node classification in graphs. The method is built of two main types of blocks: (i) We introduce unsupervised kernel machine layers propagating the node features in a one-hop neighborhood, using implicit node feature mappings. (ii) We specify a semi-supervised classification kernel machine through the lens of the Fenchel-Young inequality. We derive an effective initialization scheme and efficient end-to-end training algorithm in the dual variables for the full architecture. The main idea underlying GCKM is that, because of the unsupervised core, the final model can achieve higher performance in semi-supervised node classification when few labels are available for training. Experimental results demonstrate the effectiveness of the proposed framework.


title: On a finite type Multivalued Shape

abstract: We briefly review the origins and development of Borsuk's Theory of Shapes and the Multivalued Shape of Sanjurjo. We use a construction over metric compacta using hyperspaces to define a finite type version.


title: In-orbit Performance of the Near-Infrared Spectrograph NIRSpec on the James Webb Space Telescope

abstract: The Near-Infrared Spectrograph (NIRSpec) is one of the four focal plane instruments on the James Webb Space Telescope. In this paper, we summarize the in-orbit performance of NIRSpec, as derived from data collected during its commissioning campaign and the first few months of nominal science operations. More specifically, we discuss the performance of some critical hardware components such as the two NIRSpec Hawaii-2RG (H2RG) detectors, wheel mechanisms, and the micro-shutter array. We also summarize the accuracy of the two target acquisition procedures used to accurately place science targets into the slit apertures, discuss the current status of the spectro-photometric and wavelength calibration of NIRSpec spectra, and provide the as measured sensitivity in all NIRSpec science modes. Finally, we point out a few important considerations for the preparation of NIRSpec science programs.


title: Multicalibration as Boosting for Regression

abstract: We study the connection between multicalibration and boosting for squared error regression. First we prove a useful characterization of multicalibration in terms of a ``swap regret'' like condition on squared error. Using this characterization, we give an exceedingly simple algorithm that can be analyzed both as a boosting algorithm for regression and as a multicalibration algorithm for a class H that makes use only of a standard squared error regression oracle for H. We give a weak learning assumption on H that ensures convergence to Bayes optimality without the need to make any realizability assumptions -- giving us an agnostic boosting algorithm for regression. We then show that our weak learning assumption on H is both necessary and sufficient for multicalibration with respect to H to imply Bayes optimality. We also show that if H satisfies our weak learning condition relative to another class C then multicalibration with respect to H implies multicalibration with respect to C. Finally we investigate the empirical performance of our algorithm experimentally using an open source implementation that we make available. Our code repository can be found at https://github.com/Declancharrison/Level-Set-Boosting.


title: Signature of weakly coupled $f$ electrons and conduction electrons in magnetic Weyl semimetal candidates PrAlSi and SmAlSi

abstract: Magnetic topological materials are a class of compounds with the underlying interplay of nontrivial band topology and magnetic spin configuration. Extensive interests have been aroused due to their application potential involved with an array of exotic quantum states. With angle-resolved photoemission spectroscopy and first-principles calculations, here we study the electronic properties of two magnetic Weyl semimetal candidates PrAlSi and SmAlSi. Though the two compounds harbor distinct magnetic ground states (ferromagnetic and antiferromagnetic for PrAlSi and SmAlSi, respectively) and 4$f$ shell fillings, we find that they share quite analogous low-energy band structure. By the measurements across the magnetic transitions, we further reveal that there is no evident evolution of the band structure in both compounds and the experimental spectra can be well reproduced by the nonmagnetic calculations, together suggesting a negligible effect of the magnetism on their electronic structures and a possibly weak coupling between the localized 4$f$ electrons and the itinerant conduction electrons. Our results offer essential insights into the interactions between magnetism, electron correlations, and topological orders in the $R$Al$X$ ($R$ = light rare earth and $X$ = Si or Ge) family.


title: HoRStify: Sound Security Analysis of Smart Contracts

abstract: The cryptocurrency Ethereum is the most widely used execution platform for smart contracts. Smart contracts are distributed applications, which govern financial assets and, hence, can implement advanced financial instruments, such as decentralized exchanges or autonomous organizations (DAOs). Their financial nature makes smart contracts an attractive attack target, as demonstrated by numerous exploits on popular contracts resulting in financial damage of millions of dollars. This omnipresent attack hazard motivates the need for sound static analysis tools, which assist smart contract developers in eliminating contract vulnerabilities a priori to deployment. Vulnerability assessment that is sound and insightful for EVM contracts is a formidable challenge because contracts execute low-level bytecode in a largely unknown and potentially hostile execution environment. So far, there exists no provably sound automated analyzer that allows for the verification of security properties based on program dependencies, even though prevalent attack classes fall into this category. In this work, we present HoRStify, the first automated analyzer for dependency properties of Ethereum smart contracts based on sound static analysis. HoRStify grounds its soundness proof on a formal proof framework for static program slicing that we instantiate to the semantics of EVM bytecode. We demonstrate that HoRStify is flexible enough to soundly verify the absence of famous attack classes such as timestamp dependency and, at the same time, performant enough to analyze real-world smart contracts.


title: Energy-Conserving Neural Network for Turbulence Closure Modeling

abstract: In turbulence modeling, we are concerned with finding closure models that represent the effect of the subgrid scales on the resolved scales. Recent approaches gravitate towards machine learning techniques to construct such models. However, the stability of machine-learned closure models and their abidance by physical structure (e.g. symmetries, conservation laws) are still open problems. To tackle both issues, we take the `discretize first, filter next' approach. In this approach we apply a spatial averaging filter to existing fine-grid discretizations. The main novelty is that we introduce an additional set of equations which dynamically model the energy of the subgrid scales. Having an estimate of the energy of the subgrid scales, we can use the concept of energy conservation to derive stability. The subgrid energy containing variables are determined via a data-driven technique. The closure model is used to model the interaction between the filtered quantities and the subgrid energy. Therefore the total energy should be conserved. Abiding by this conservation law yields guaranteed stability of the system. In this work, we propose a novel skew-symmetric convolutional neural network architecture that satisfies this law. The result is that stability is guaranteed, independent of the weights and biases of the network. Importantly, as our framework allows for energy exchange between resolved and subgrid scales it can model backscatter. To model dissipative systems (e.g. viscous flows), the framework is extended with a diffusive component. The introduced neural network architecture is constructed such that it also satisfies momentum conservation. We apply the new methodology to both the viscous Burgers' equation and the Korteweg-De Vries equation in 1D. The novel architecture displays superior stability properties when compared to a vanilla convolutional neural network.


title: The Touch\'e23-ValueEval Dataset for Identifying Human Values behind Arguments

abstract: We present the Touch\'e23-ValueEval Dataset for Identifying Human Values behind Arguments. To investigate approaches for the automated detection of human values behind arguments, we collected 9324 arguments from 6 diverse sources, covering religious texts, political discussions, free-text arguments, newspaper editorials, and online democracy platforms. Each argument was annotated by 3 crowdworkers for 54 values. The Touch\'e23-ValueEval dataset extends the Webis-ArgValues-22. In comparison to the previous dataset, the effectiveness of a 1-Baseline decreases, but that of an out-of-the-box BERT model increases. Therefore, though the classification difficulty increased as per the label distribution, the larger dataset allows for training better models.


title: Triple Halide Wide Bandgap Perovskites for Efficient Indoor Photovoltaics

abstract: Indoor photovoltaics are receiving tremendous attention due to the continuous development of the Internet of Things (IoT). Here we report a triple anion (TA) perovskite CH3NH3PbI2.6(BrCl)0.2 with a tailored bandgap suitable for maximizing indoor light harvesting compared to methyl ammonium lead iodide CH3NH3PbI3. The best-performing TA perovskite indoor-photovoltaic device achieved a steady-state power conversion efficiency (PCE) of 25.1% with an output power density of ~ 75 microW/cm2 under 1000 lux indoor illumination (0.3 mW/cm2 irradiance). This PCE is almost 40% higher than that of equivalent CH3NH3PbI3-based devices (PCE of 17.9%). Longer carrier lifetime, reduced density of trap states and improved crystalline quality were achieved by the triple anion alloying method. The decisive role of chlorine (Cl) in the better performance of TA-based indoor photovoltaic devices was further investigated by successively reducing the Cl content and correlating it with the corresponding photovoltaic device performance. Replacing the commonly used hole transporting layer of Spiro-MeOTAD with undoped P3HT was found to significantly reduce the current-voltage hysteresis under indoor lighting conditions. A graphene-coated textile fiber-based temperature sensor was successfully powered by the triple anion perovskite indoor photovoltaic devices. The results from the present study demonstrate a novel route to maximize the PCE of halide perovskite indoor photovoltaic devices and their potential for application in the IoT industry.


title: Revisiting one-loop corrections to the trilinear Higgs boson self-coupling in the Inert Doublet Model

abstract: We investigate predictions of the trilinear Higgs self-coupling with radiative corrections in the context of the Inert Doublet Model. The triple Higgs vertex is computed at the one-loop level based on the on-shell renormalization scheme. We calculate its possible deviation from the predictions within the standard model, taking into account all relevant theoretical and experimental constraints, including dark matter searches and the latest bounds on the branching fraction of the Higgs boson decaying to invisible particles. By scanning the model's parameter space, we find that the deviation in the triple Higgs boson self-coupling from standard model expectations can be substantial, exceeding 100\% in certain regions of the parameter space.


title: Multi Feature Data Fusion-Based Load Forecasting of Electric Vehicle Charging Stations Using a Deep Learning Model

abstract: We propose a forecasting technique based on multi-feature data fusion to enhance the accuracy of an electric vehicle (EV) charging station load forecasting deep-learning model. The proposed method uses multi-feature inputs based on observations of historical weather (wind speed, temperature, and humidity) data as multiple inputs to a Long Short-Term Memory (LSTM) model to achieve a robust prediction of charging loads. Weather conditions are significant influencers of the behavior of EV drivers and their driving patterns. These behavioral and driving patterns affect the charging patterns of the drivers. Rather than one prediction (step, model, or variables) made by conventional LSTM models, three charging load (energy demand) predictions of EVs were made depending on different multi-feature inputs. Data fusion was used to combine and optimize the different charging load prediction results. The performance of the final implemented model was evaluated by the mean absolute prediction error of the forecast. The implemented model had a prediction error of 3.29%. This prediction error was lower than initial prediction results by the LSTM model. The numerical results indicate an improvement in the performance of the EV load forecast, indicating that the proposed model could be used to optimize and improve EV load forecasts for electric vehicle charging stations to meet the energy requirements of EVs.


title: On Using The Two-Way Cluster-Robust Standard Errors

abstract: Thousands of papers have reported two-way cluster-robust (TWCR) standard errors. However, the recent econometrics literature points out the potential non-gaussianity of two-way cluster sample means, and thus invalidity of the inference based on the TWCR standard errors. Fortunately, simulation studies nonetheless show that the gaussianity is rather common than exceptional. This paper provides theoretical support for this encouraging observation. Specifically, we derive a novel central limit theorem for two-way clustered triangular arrays that justifies the use of the TWCR under very mild and interpretable conditions. We, therefore, hope that this paper will provide a theoretical justification for the legitimacy of most, if not all, of the thousands of those empirical papers that have used the TWCR standard errors. We provide a guide in practice as to when a researcher can employ the TWCR standard errors.


title: Real Factorization of Positive Semidefinite Matrix Polynomials

abstract: Suppose $Q(x)$ is a real $n\times n$ regular symmetric positive semidefinite matrix polynomial. Then it can be factored as $$Q(x) = G(x)^TG(x),$$ where $G(x)$ is a real $n\times n$ matrix polynomial with degree half that of $Q(x)$ if and only if $\det(Q(x))$ is the square of a nonzero real polynomial. We provide a constructive proof of this fact, rooted in finding a skew-symmetric solution to a modified algebraic Riccati equation $$XSX - XR + R^TX + P = 0,$$ where $P,R,S$ are real $n\times n$ matrices with $P$ and $S$ real symmetric. In addition, we provide a detailed algorithm for computing the factorization.


title: Computer Algebra in R Bridges a Gap Between Mathematics and Data in the Teaching of Statistics and Data Science

abstract: The capability of R to do symbolic mathematics is enhanced by the caracas package. This package uses the Python computer algebra library SymPy as a back-end but caracas is tightly integrated in the R environment. This enables the R user with symbolic mathematics within R at a high abstraction level rather than using text strings and text string manipulation as the case would be if using SymPy from R directly. We demonstrate how mathematics and statistics can benefit from bridging computer algebra and data via R. This is done thought a number of examples and we propose some topics for small student projects. The caracas package integrates well with e.g. Rmarkdown, and as such creation of scientific reports and teaching is supported.


title: Differentially Private Distributed Bayesian Linear Regression with MCMC

abstract: We propose a novel Bayesian inference framework for distributed differentially private linear regression. We consider a distributed setting where multiple parties hold parts of the data and share certain summary statistics of their portions in privacy-preserving noise. We develop a novel generative statistical model for privately shared statistics, which exploits a useful distributional relation between the summary statistics of linear regression. Bayesian estimation of the regression coefficients is conducted mainly using Markov chain Monte Carlo algorithms, while we also provide a fast version to perform Bayesian estimation in one iteration. The proposed methods have computational advantages over their competitors. We provide numerical results on both real and simulated data, which demonstrate that the proposed algorithms provide well-rounded estimation and prediction.


title: FLAME: A small language model for spreadsheet formulas

abstract: Spreadsheets are a vital tool for end-user data management. Using large language models for formula authoring assistance in these environments can be difficult, as these models are expensive to train and challenging to deploy due to their size (up to billions of parameters). We present FLAME, a transformer-based model trained exclusively on Excel formulas that leverages domain insights to achieve competitive performance while being substantially smaller (60M parameters) and training on two orders of magnitude less data. We curate a training dataset using sketch deduplication, introduce an Excel-specific formula tokenizer, and use domain-specific versions of masked span prediction and noisy auto-encoding as pre-training objectives. We evaluate FLAME on formula repair, formula completion, and similarity-based formula retrieval. FLAME can outperform much larger models, such as the Davinci (175B) and Cushman (12B) variants of Codex and CodeT5 (220M), in 10 of 14 evaluation settings for the repair and completion tasks. For formula retrieval, FLAME outperforms CodeT5, CodeBERT, and GraphCodeBERT.


title: Commuting Cohesions

abstract: Shulman's spatial type theory internalizes the modalities of Lawvere's axiomatic cohesion in a homotopy type theory, enabling many of the constructions from Schreiber's modal approach to differential cohomology to be carried out synthetically. In spatial type theory, every type carries a spatial cohesion among its points and every function is continuous with respect to this. But in mathematical practice, objects may be spatial in more than one way at the same time; for example, a simplicial space has both topological and simplicial structures. In this paper, we put forward a type theory with "commuting focuses" which allows for types to carry multiple kinds of spatial structure. The theory is a relatively painless extension of spatial type theory, and enables us to give a synthetic account of simplicial, differential, equivariant, and other cohesions carried by the same types. We demonstrate the theory by showing that the homotopy type of any differential stack may be computed from a discrete simplicial set derived from the \v{C}ech nerve of any good cover. We also give other examples of commuting cohesions, such as differential equivariant types and supergeometric types, laying the groundwork for a synthetic account of Schreiber and Sati's proper orbifold cohomology.


title: Scaling limits for fractional polyharmonic Gaussian fields

abstract: This work is concerned with fractional Gaussian fields, i.e. Gaussian fields whose covariance operator is given by the inverse fractional Laplacian $(-\Delta)^{-s}$ (where, in particular, we include the case $s >1$). We define a lattice discretization of these fields and show that their scaling limits -- with respect to the optimal Besov space topology (up to an endpoint case) -- are the original continuous fields. As a byproduct, in dimension $d<2s$, we prove the convergence in distribution of the maximum of the fields. A key tool in the proof is a sharp error estimate for the natural finite difference scheme for $(-\Delta)^s$ under minimal regularity assumptions, which is also of independent interest.


title: Active Nematic Multipoles: Flow Responses and the Dynamics of Defects and Colloids

abstract: We introduce a general description of localised distortions in active nematics using the framework of active nematic multipoles. We give the Stokesian flows for arbitrary multipoles in terms of differentiation of a fundamental flow response and describe them explicitly up to quadrupole order. We also present the response in terms of the net active force and torque associated to the multipole. This allows the identification of the dipolar and quadrupolar distortions that generate self-propulsion and self-rotation respectively and serves as a guide for the design of arbitrary flow responses. Our results can be applied to both defect loops in three-dimensional active nematics and to systems with colloidal inclusions. They reveal the geometry-dependence of the self-dynamics of defect loops and provide insights into how colloids might be designed to achieve propulsive or rotational dynamics, and more generally for the extraction of work from active nematics. Finally, we extend our analysis also to two dimensions and to systems with chiral active stresses.


title: An analytical approach to Bayesian evidence computation

abstract: The Bayesian evidence is a key tool in model selection, allowing a comparison of models with different numbers of parameters. Its use in analysis of cosmological models has been limited by difficulties in calculating it, with current numerical algorithms requiring supercomputers. In this paper we give exact formulae for the Bayesian evidence in the case of Gaussian likelihoods with arbitrary correlations and top-hat priors, and approximate formulae for the case of likelihood distributions with leading non-Gaussianities (skewness and kurtosis). We apply these formulae to cosmological models with and without isocurvature components, and compare with results we previously obtained using numerical thermodynamic integration. We find that the results are of lower precision than the thermodynamic integration, while still being good enough to be useful.


title: Pre-Galois categories and Fra\"iss\'e's theorem

abstract: Galois categories can be viewed as the combinatorial analog of Tannakian categories. We introduce the notion of pre-Galois category, which can be viewed as the combinatorial analog of pre-Tannakian categories. Given an oligomorphic group $G$, the category $\mathbf{S}(G)$ of finitary smooth $G$-sets is pre-Galois. Our main theorem (approximately) says that these examples are exhaustive; this result is, in a sense, a reformulation of Fra\"iss\'e's theorem. We also introduce a more general class of B-categories, and give some examples of B-categories that are not pre-Galois using permutation classes. This work is motivated by certain applications to pre-Tannakian categories.


title: Commitment Against Front Running Attacks

abstract: We provide a game-theoretic analysis of the problem of front-running attacks. We use it to distinguish attacks from legitimate competition among honest users for having their transactions included earlier in the block. We also use it to introduce an intuitive notion of the severity of front-running attacks. We then study a simple commit-reveal protocol and discuss its properties. This protocol has costs because it requires two messages and imposes a delay. However, we show that it prevents the most severe front-running attacks while preserving legitimate competition between users, guaranteeing that the earliest transaction in a block belongs to the honest user who values it the most. When the protocol does not fully eliminate attacks, it nonetheless benefits honest users because it reduces competition among attackers (and overall expenditure by attackers).


title: Deep learning-based lung segmentation and automatic regional template in chest X-ray images for pediatric tuberculosis

abstract: Tuberculosis (TB) is still considered a leading cause of death and a substantial threat to global child health. Both TB infection and disease are curable using antibiotics. However, most children who die of TB are never diagnosed or treated. In clinical practice, experienced physicians assess TB by examining chest X-rays (CXR). Pediatric CXR has specific challenges compared to adult CXR, which makes TB diagnosis in children more difficult. Computer-aided diagnosis systems supported by Artificial Intelligence have shown performance comparable to experienced radiologist TB readings, which could ease mass TB screening and reduce clinical burden. We propose a multi-view deep learning-based solution which, by following a proposed template, aims to automatically regionalize and extract lung and mediastinal regions of interest from pediatric CXR images where key TB findings may be present. Experimental results have shown accurate region extraction, which can be used for further analysis to confirm TB finding presence and severity assessment. Code publicly available at https://github.com/dani-capellan/pTB_LungRegionExtractor.


title: Designing Covalent Organic Framework-based Light-driven Microswimmers towards Intraocular Theranostic Applications

abstract: Even micromachines with tailored functionalities enable targeted therapeutic applications in biological environments, their controlled motion in biological media and drug delivery functions usually require sophisticated designs and complex propulsion apparatuses for practical applications. Covalent organic frameworks (COFs), new chemically versatile and nanoporous materials, offer microscale multi-purpose solutions, which are not explored in light-driven micromachines. We describe and compare two different types of COFs, uniformly spherical TABP-PDA-COF sub-micron particles and texturally highly nanoporous, irregular, micron-sized TpAzo-COF particles as light-driven microrobots. They can be used as highly efficient visible-light-driven drug carriers in aqueous ionic and cellular media, even in intraocular fluids. Their absorption ranging down to red light enables phototaxis even in deeper biological media and the organic nature of COFs enables their biocompatibility. The inherently porous structure with ~2.5 nm structural pores, and large surface areas allow for targeted and efficient drug loading even for insoluble drugs and peptides, which can be released on demand. Also, indocyanine green (ICG) dye loading in the pores enables photoacoustic imaging or optical coherence tomography and hyperthermia in operando conditions. The real-time visualization of the drug-loaded COF microswimmers enables new insights into the function of porous organic micromachines, which will be useful to solve various drug delivery problems.

categories: physics.bio-ph cond-mat.mtrl-sci cond-mat.soft q-bio.QM


title: Synthesis and characterization of PEG-coated Zn$_{0.3}$Mn$_x$Fe$_{2.7-x}$O$_4$ nanoparticles as the dual T1/T2-weighted MRI contrast agent

abstract: Super-paramagnetic nanoparticles (NPs) have been widely explored as magnetic resonance imaging (MRI) contrast agents because of a combination of favorable magnetic properties, biocompability and ease of fabrication. MRI using traditional T1- or T2-weighted single mode contrast-enhanced techniques may yield inaccurate imaging results. In the present work, a T1/T2 dual mode contrast agent based on the super-paramagnetic zinc-manganese ferrite (Zn$_{0.3}$Mn$_x$Fe$_{2.7-x}$O$_4$, x= 0, 0.25, 0.75 and 1) NPs with small core size and a hydrophilic PEG surface coating is reported. The TEM, TGA and FTIR results confirmed the formation of a uniform coating on the NPs surface. The MRI analysis revealed that the Zn$_{0.3}$Mn$_{0.5}$Fe$_{2.2}$O$_4$ NPs had the maximum image contrast compared to other zinc-manganese ferrite samples. Cell viability evaluations revealed that the coated and uncoated particles did not inhibit cell growth pattern. The present PEG-coated Zn$_{0.3}$Mn$_{0.5}$Fe$_{2.2}$O$_4$ NPs can be utilized as a suitable T1/T2-weighted MRI contrast agent for better diagnostic of abnormalities in the organs or tissues.


title: The Minimum Degree Removal Lemma Thresholds

abstract: The graph removal lemma is a fundamental result in extremal graph theory which says that for every fixed graph $H$ and $\varepsilon > 0$, if an $n$-vertex graph $G$ contains $\varepsilon n^2$ edge-disjoint copies of $H$ then $G$ contains $\delta n^{v(H)}$ copies of $H$ for some $\delta = \delta(\varepsilon,H) > 0$. The current proofs of the removal lemma give only very weak bounds on $\delta(\varepsilon,H)$, and it is also known that $\delta(\varepsilon,H)$ is not polynomial in $\varepsilon$ unless $H$ is bipartite. Recently, Fox and Wigderson initiated the study of minimum degree conditions guaranteeing that $\delta(\varepsilon,H)$ depends polynomially or linearly on $\varepsilon$. In this paper we answer several questions of Fox and Wigderson on this topic.