title: Exponential Separation Between Powers of Regular and General Resolution Over Parities

abstract: Proving super-polynomial lower bounds on the size of proofs of unsatisfiability of Boolean formulas using resolution over parities is an outstanding problem that has received a lot of attention after its introduction by Raz and Tzamaret [Ann. Pure Appl. Log.'08]. Very recently, Efremenko, Garl\'ik and Itsykson [ECCC'23] proved the first exponential lower bounds on the size of ResLin proofs that were additionally restricted to be bottom-regular. We show that there are formulas for which such regular ResLin proofs of unsatisfiability continue to have exponential size even though there exists short proofs of their unsatisfiability in ordinary, non-regular resolution. This is the first super-polynomial separation between the power of general ResLin and and that of regular ResLin for any natural notion of regularity. Our argument, while building upon the work of Efremenko et al., uses additional ideas from the literature on lifting theorems.


title: A method to observe field-region oxide charge and inter-electrode isolation from $CV$-characteristics of $n$-on-$p$ devices

abstract: $N$-on-$p$ silicon sensors will be utilized in the Compact Muon Solenoid (CMS) detector's tracker and High Granularity Calorimeter (HGCAL) in the High Luminosity upgrade of the Large Hadron Collider (HL-LHC). Among their several advantages in terms of radiation hardness over the traditional $p$-on-$n$ sensors in the extreme radiation environment of the HL-LHC are electron collection instead of holes and overlapping maxima of weighting and electric fields at the charge-collecting electrodes. The disadvantage of the multi-channel SiO$_2$-passivated $n$-on-$p$ sensors is the generation of an inversion layer under the Si/SiO$_2$-interface by a positive interface-oxide-charge ($N_\textrm{ox}$) that at high densities can compromise the position resolution by creating a conduction channel between the electrodes. This issue is typically addressed by including additional isolation implants ($p$-stop, $p$-spray) between $n^+$-electrodes. Focusing on the guard-ring regions of $n$-on-$p$ sensors where no isolation implants are applied between the electrodes, a capacitance-voltage ($CV$) characterization study of both 6-inch wafer test diodes and 8-inch HGCAL prototype and pre-series sensors showed a distinct threshold voltage ($V_\textrm{th,iso}$) in the $CV$-characteristics of a biased $n^+$-electrode when its enclosing guard-ring was left floating. When reproduced by simulations, the measured $V_\textrm{th,iso}$ was found to contain information on the field-region $N_\textrm{ox}$ and indicate the threshold where the two electrodes become electrically isolated by the influence of the reverse bias voltage. Together with previous studies on the inter-electrode isolation of irradiated $n$-on-$p$ sensors, the results indicate that position sensitive $n$-on-$p$ sensors without isolation implants may be feasible in future HEP experiments.


title: Comparative Study of Quarkonium Transport in Hot QCD Matter

abstract: This document summarizes the efforts of the EMMI Rapid Reaction Task Force on "Suppression and (re)generation of quarkonium in heavy-ion collisions at the LHC", centered around their 2019 and 2022 meetings. It provides a review of existing experimental results and theoretical approaches, including lattice QCD calculations and semiclassical and quantum approaches for the dynamical evolution of quarkonia in the quark-gluon plasma as probed in high-energy heavy-ion collisions. The key ingredients of the transport models are itemized to facilitate comparisons of calculated quantities such as reaction rates, binding energies, and nuclear modification factors. A diagnostic assessment of the various results is attempted and coupled with an outlook for the future.


title: Merkle Trees in Blockchain: A Study of Collision Probability and Security Implications

abstract: In the rapidly evolving landscape of blockchain technology, ensuring the integrity and security of data is paramount. This study delves into the security aspects of Merkle Trees, a fundamental component in blockchain architectures, such as Ethereum. We critically examine the susceptibility of Merkle Trees to hash collisions, a potential vulnerability that poses significant risks to data security within blockchain systems. Despite their widespread application, the collision resistance of Merkle Trees and their robustness against preimage attacks have not been thoroughly investigated, leading to a notable gap in the comprehensive understanding of blockchain security mechanisms. Our research endeavors to bridge this gap through a meticulous blend of theoretical analysis and empirical validation. We scrutinize the probability of root collisions in Merkle Trees, considering various factors such as hash length and path length within the tree. Our findings reveal a direct correlation between the increase in path length and the heightened probability of root collisions, thereby underscoring potential security vulnerabilities. Conversely, we observe that an increase in hash length significantly reduces the likelihood of collisions, highlighting its critical role in fortifying security. The insights garnered from our research offer valuable guidance for blockchain developers and researchers, aiming to bolster the security and operational efficacy of blockchain-based systems.


title: Micro-Doppler-Coded Drone Identification

abstract: The forthcoming era of massive drone delivery deployment in urban environments raises a need to develop reliable control and monitoring systems. While active solutions, i.e., wireless sharing of a real-time location between air traffic participants and control units, are of use, developing additional security layers is appealing. Among various surveillance systems, radars offer distinct advantages by operating effectively in harsh weather conditions and providing high-resolution reliable detection over extended ranges. However, contrary to traditional airborne targets, small drones and copters pose a significant problem for radar systems due to their relatively small radar cross-sections. Here, we propose an efficient approach to label drones by attaching passive resonant scatterers to their rotor blades. While blades themselves generate micro-Doppler rotor-specific signatures, those are typically hard to capture at large distances owing to small signal-to-noise ratios in radar echoes. Furthermore, drones from the same vendor are indistinguishable by their micro-Doppler signatures. Here we demonstrate that equipping the blades with multiple resonant scatterers not only extends the drone detection range but also assigns it a unique micro-Doppler encoded identifier. By extrapolating the results of our laboratory and outdoor experiments to real high-grade radar surveillance systems, we estimate that the clear-sky identification range for a small drone is approximately 3-5 kilometers, whereas it would be barely detectable at 1000 meters if not labeled. This performance places the proposed passive system on par with its active counterparts, offering the clear benefits of reliability and resistance to jamming.


title: Deformation of Fell bundles

abstract: In this paper we study deformations of $C^*$-algebras that are given as cross-sectional $C^*$-algebras of Fell bundles $\mathcal{A}$ over locally compact groups $G$. Our deformation comes from a direct deformation of the Fell bundles $\mathcal{A}$ via certain parameters, like automorphisms of the Fell bundle, group cocycles, or central group extensions of $G$ by the circle group $\mathbb{T}$, and then taking cross-sectional algebras of the deformed Fell bundles. We then show that this direct deformation method is equivalent to the deformation via the dual coactions by similar parameters as studied previously in [4,7].


title: Pedestrian crossing decisions can be explained by bounded optimal decision-making under noisy visual perception

abstract: This paper presents a model of pedestrian crossing decisions, based on the theory of computational rationality. It is assumed that crossing decisions are boundedly optimal, with bounds on optimality arising from human cognitive limitations. While previous models of pedestrian behaviour have been either 'black-box' machine learning models or mechanistic models with explicit assumptions about cognitive factors, we combine both approaches. Specifically, we model mechanistically noisy human visual perception and assumed rewards in crossing, but we use reinforcement learning to learn bounded optimal behaviour policy. The model reproduces a larger number of known empirical phenomena than previous models, in particular: (1) the effect of the time to arrival of an approaching vehicle on whether the pedestrian accepts the gap, the effect of the vehicle's speed on both (2) gap acceptance and (3) pedestrian timing of crossing in front of yielding vehicles, and (4) the effect on this crossing timing of the stopping distance of the yielding vehicle. Notably, our findings suggest that behaviours previously framed as 'biases' in decision-making, such as speed-dependent gap acceptance, might instead be a product of rational adaptation to the constraints of visual perception. Our approach also permits fitting the parameters of cognitive constraints and rewards per individual, to better account for individual differences. To conclude, by leveraging both RL and mechanistic modelling, our model offers novel insights about pedestrian behaviour, and may provide a useful foundation for more accurate and scalable pedestrian models.


title: A new infinite class of $6d$, $\mathcal{N}=(1,0)$ supergravities

abstract: We present a new infinite class of non-abelian, 6d supergravities with eight supercharges. These theories not only satisfy all known low-energy consistency conditions, such as being free of anomalies, but also evade the constraints arising from the consistency of string probes, even after assuming BPS completeness. This demonstrates that some additional UV input or hitherto unknown IR condition is needed in order to be left with a finite landscape, as is generally anticipated from a theory of quantum gravity.


title: Low Mach Number Limit of a Diffuse Interface Model for Two-Phase Flows of Compressible Viscous Fluids

abstract: In this paper, we consider a singular limit problem for a diffuse interface model for two immiscible compressible viscous fluids. Via a relative entropy method, we obtain a convergence result for the low Mach number limit to a corresponding system for incompressible fluids in the case of well-prepared initial data and same densities in the limit.


title: The World of Generative AI: Deepfakes and Large Language Models

abstract: We live in the era of Generative Artificial Intelligence (GenAI). Deepfakes and Large Language Models (LLMs) are two examples of GenAI. Deepfakes, in particular, pose an alarming threat to society as they are capable of spreading misinformation and changing the truth. LLMs are powerful language models that generate general-purpose language. However due to its generative aspect, it can also be a risk for people if used with ill intentions. The ethical use of these technologies is a big concern. This short article tries to find out the interrelationship between them.


title: SKOOTR: A SKating, Omni-Oriented, Tripedal Robot

abstract: In both animals and robots, locomotion capabilities are determined by the physical structure of the system. The majority of legged animals and robots are bilaterally symmetric, which facilitates locomotion with consistent headings and obstacle traversal, but leads to constraints in their turning ability. On the other hand, radially symmetric animals have demonstrated rapid turning abilities enabled by their omni-directional body plans. Radially symmetric tripedal robots are able to turn instantaneously, but are commonly constrained by needing to change direction with every step, resulting in inefficient and less stable locomotion. We address these challenges by introducing a novel design for a tripedal robot that has both frictional and rolling contacts. Additionally, a freely rotating central sphere provides an added contact point so the robot can retain a stable tripod base of support while lifting and pushing with any one of its legs. The SKating, Omni-Oriented, Tripedal Robot (SKOOTR) is more versatile and stable than other existing tripedal robots. It is capable of multiple forward gaits, multiple turning maneuvers, obstacle traversal, and stair climbing. SKOOTR has been designed to facilitate customization for diverse applications: it is fully open-source, is constructed with 3D printed or off-the-shelf parts, and costs approximately $500 USD to build.


title: Bounding the Excess Risk for Linear Models Trained on Marginal-Preserving, Differentially-Private, Synthetic Data

abstract: The growing use of machine learning (ML) has raised concerns that an ML model may reveal private information about an individual who has contributed to the training dataset. To prevent leakage of sensitive data, we consider using differentially-private (DP), synthetic training data instead of real training data to train an ML model. A key desirable property of synthetic data is its ability to preserve the low-order marginals of the original distribution. Our main contribution comprises novel upper and lower bounds on the excess empirical risk of linear models trained on such synthetic data, for continuous and Lipschitz loss functions. We perform extensive experimentation alongside our theoretical results.


title: Scaling laws for learning with real and surrogate data

abstract: Collecting large quantities of high-quality data is often prohibitively expensive or impractical, and a crucial bottleneck in machine learning. One may instead augment a small set of $n$ data points from the target distribution with data from more accessible sources like public datasets, data collected under different circumstances, or synthesized by generative models. Blurring distinctions, we refer to such data as `surrogate data'. We define a simple scheme for integrating surrogate data into training and use both theoretical models and empirical studies to explore its behavior. Our main findings are: $(i)$ Integrating surrogate data can significantly reduce the test error on the original distribution; $(ii)$ In order to reap this benefit, it is crucial to use optimally weighted empirical risk minimization; $(iii)$ The test error of models trained on mixtures of real and surrogate data is well described by a scaling law. This can be used to predict the optimal weighting and the gain from surrogate data.


title: NeRCC: Nested-Regression Coded Computing for Resilient Distributed Prediction Serving Systems

abstract: Resilience against stragglers is a critical element of prediction serving systems, tasked with executing inferences on input data for a pre-trained machine-learning model. In this paper, we propose NeRCC, as a general straggler-resistant framework for approximate coded computing. NeRCC includes three layers: (1) encoding regression and sampling, which generates coded data points, as a combination of original data points, (2) computing, in which a cluster of workers run inference on the coded data points, (3) decoding regression and sampling, which approximately recovers the predictions of the original data points from the available predictions on the coded data points. We argue that the overall objective of the framework reveals an underlying interconnection between two regression models in the encoding and decoding layers. We propose a solution to the nested regressions problem by summarizing their dependence on two regularization terms that are jointly optimized. Our extensive experiments on different datasets and various machine learning models, including LeNet5, RepVGG, and Vision Transformer (ViT), demonstrate that NeRCC accurately approximates the original predictions in a wide range of stragglers, outperforming the state-of-the-art by up to 23%.


title: Graphene field-effect transistors for sensing ion-channel coupled receptors: towards biohybrid nanoelectronics for chemical detection

abstract: Graphene field effect transistors (G-FETs) have appeared as suitable candidates for sensing charges and have thus attracted large interest for ion and chemical detections. In particular, their high sensitivity, chemical robustness, transparency and bendability offer a unique combination for interfacing living and soft matters. Here we have demonstrated their ability to sense targeted biomolecules, by combining them with ion channels-coupled receptors (ICCRs). These receptors have been naturally or artificially expressed within living cell membranes to generate ion fluxes in presence of chemicals of interest. Here, we have successfully combined those biosensors with G-FET array which converts the bio-activation of the ICCRs into readable electronic signals. This hybrid bioelectronic device leverages the advantages of the biological receptor and the graphene field effect transistor enabling the selective detection of biomolecules, which is a current shortcoming of electronic sensors. Additionally, the G-FET allows to discriminate the polarity of the ion fluxes which otherwise remains hidden from conventional electrophysiological recordings. The multisite recording ability offered by the G-FET array rises numerous possibilities for multiscale sensing and high throughput screening of cellular solutions or analytes, which is of both fundamental and applied interests in health and environment monitoring.


title: Fine-Tuned Language Models Generate Stable Inorganic Materials as Text

abstract: We propose fine-tuning large language models for generation of stable materials. While unorthodox, fine-tuning large language models on text-encoded atomistic data is simple to implement yet reliable, with around 90% of sampled structures obeying physical constraints on atom positions and charges. Using energy above hull calculations from both learned ML potentials and gold-standard DFT calculations, we show that our strongest model (fine-tuned LLaMA-2 70B) can generate materials predicted to be metastable at about twice the rate (49% vs 28%) of CDVAE, a competing diffusion model. Because of text prompting's inherent flexibility, our models can simultaneously be used for unconditional generation of stable material, infilling of partial structures and text-conditional generation. Finally, we show that language models' ability to capture key symmetries of crystal structures improves with model scale, suggesting that the biases of pretrained LLMs are surprisingly well-suited for atomistic data.


title: Assured LLM-Based Software Engineering

abstract: In this paper we address the following question: How can we use Large Language Models (LLMs) to improve code independently of a human, while ensuring that the improved code - does not regress the properties of the original code? - improves the original in a verifiable and measurable way? To address this question, we advocate Assured LLM-Based Software Engineering; a generate-and-test approach, inspired by Genetic Improvement. Assured LLMSE applies a series of semantic filters that discard code that fails to meet these twin guarantees. This overcomes the potential problem of LLM's propensity to hallucinate. It allows us to generate code using LLMs, independently of any human. The human plays the role only of final code reviewer, as they would do with code generated by other human engineers. This paper is an outline of the content of the keynote by Mark Harman at the International Workshop on Interpretability, Robustness, and Benchmarking in Neural Software Engineering, Monday 15th April 2024, Lisbon, Portugal.


title: Biomimetic hydrogel based on HET-s amylo\"id fibers for long-term culture of primary hippocampal neurons

abstract: Historically, amyloid fibers (AF) in research has always been linked to degenerative diseases. However, HET-s AF, by their morphology and function, have only little in common to pathogenic amyloid fibers such as {\alpha}-synuclein or a\b{eta} and they have appeared as promising candidate for biocoating since few years. Here we have shown than HET-s amyloid fibers hydrogel is an extremely polyvalent coating material for the in vitro culture of primary hippocampal neurons. First, the non-cytotoxicity was demonstrated in vitro using standardized ISO protocols. Then, it is shown that in vitro culture of primary hippocampal neurons on HET-s AF hydrogels could last more than 45 days with clear signatures of spontaneous network activity, with which is a feat that not many other coatings have achieved yet. Finally, interactions between the cells, the dendrites and the hydrogels are highlighted, showing that dendrites might be able to penetrate the hydrogels in depth, therefore allowing recordings even within micrometer-thick hydrogels. In the end, those properties combined with group functionalization using standard biochemistry techniques, makes HET-s hydrogels ideal candidates to be used for the long-term growth of neurons as well as other types of cells. This versatility and easiness to use are definitely still unheard, especially for protein material. Due to its ability to transform from dry films to hydrogel when in contact with the extracellular matrix (ECM), it could also be used for in vivo implants, solving the issue of hydrogel damaging during the implant surgery.


title: Counterfactual Generation with Answer Set Programming

abstract: Machine learning models that automate decision-making are increasingly being used in consequential areas such as loan approvals, pretrial bail approval, hiring, and many more. Unfortunately, most of these models are black-boxes, i.e., they are unable to reveal how they reach these prediction decisions. A need for transparency demands justification for such predictions. An affected individual might also desire explanations to understand why a decision was made. Ethical and legal considerations may further require informing the individual of changes in the input attribute that could be made to produce a desirable outcome. This paper focuses on the latter problem of automatically generating counterfactual explanations. We propose a framework Counterfactual Generation with s(CASP) (CFGS) that utilizes answer set programming (ASP) and the s(CASP) goal-directed ASP system to automatically generate counterfactual explanations from rules generated by rule-based machine learning (RBML) algorithms. In our framework, we show how counterfactual explanations are computed and justified by imagining worlds where some or all factual assumptions are altered/changed. More importantly, we show how we can navigate between these worlds, namely, go from our original world/scenario where we obtain an undesired outcome to the imagined world/scenario where we obtain a desired/favourable outcome.


title: FairWire: Fair Graph Generation

abstract: Machine learning over graphs has recently attracted growing attention due to its ability to analyze and learn complex relations within critical interconnected systems. However, the disparate impact that is amplified by the use of biased graph structures in these algorithms has raised significant concerns for the deployment of them in real-world decision systems. In addition, while synthetic graph generation has become pivotal for privacy and scalability considerations, the impact of generative learning algorithms on the structural bias has not yet been investigated. Motivated by this, this work focuses on the analysis and mitigation of structural bias for both real and synthetic graphs. Specifically, we first theoretically analyze the sources of structural bias that result in disparity for the predictions of dyadic relations. To alleviate the identified bias factors, we design a novel fairness regularizer that offers a versatile use. Faced with the bias amplification in graph generation models that is brought to light in this work, we further propose a fair graph generation framework, FairWire, by leveraging our fair regularizer design in a generative model. Experimental results on real-world networks validate that the proposed tools herein deliver effective structural bias mitigation for both real and synthetic graphs.


title: Denoising Diffusion Probabilistic Models in Six Simple Steps

abstract: Denoising Diffusion Probabilistic Models (DDPMs) are a very popular class of deep generative model that have been successfully applied to a diverse range of problems including image and video generation, protein and material synthesis, weather forecasting, and neural surrogates of partial differential equations. Despite their ubiquity it is hard to find an introduction to DDPMs which is simple, comprehensive, clean and clear. The compact explanations necessary in research papers are not able to elucidate all of the different design steps taken to formulate the DDPM and the rationale of the steps that are presented is often omitted to save space. Moreover, the expositions are typically presented from the variational lower bound perspective which is unnecessary and arguably harmful as it obfuscates why the method is working and suggests generalisations that do not perform well in practice. On the other hand, perspectives that take the continuous time-limit are beautiful and general, but they have a high barrier-to-entry as they require background knowledge of stochastic differential equations and probability flow. In this note, we distill down the formulation of the DDPM into six simple steps each of which comes with a clear rationale. We assume that the reader is familiar with fundamental topics in machine learning including basic probabilistic modelling, Gaussian distributions, maximum likelihood estimation, and deep learning.


title: Locating the roots of a quadratic equation in one variable through a Line-Circumference (LC) geometric construction in the plane of complex numbers

abstract: This paper describes a geometrical method for finding the roots $r_1$, $r_2$ of a quadratic equation in one complex variable of the form $x^2+c_1 x+c_2=0$, by means of a Line $L$ and a Circumference $C$ in the complex plane, constructed from known coefficients $c_1$, $c_2$. This Line-Circumference (LC) geometric structure contains the sought roots $r_1$, $r_2$ at the intersections of its component elements $L$ and $C$. Line $L$ is mapped onto Circumference $C$ by a Mobius transformation. The location and inclination angle of $L$ can be computed directly from coefficients $c_1$, $c_2$, while $C$ is constructed by dividing the constant term $c_2$ by each point from $L$. This paper describes the technical details for the quadratic LC method, and then shows how the quadratic LC method works through a numerical example. The quadratic LC method described here, although more elaborate than the traditional quadratic formula, can be extended to find initial approximations to the roots of polynomials in one variable of degree $n \geq 3$. As an additional feature, this paper also studies an interesting property of the rectilinear segments connecting key points in a quadratic LC structure.


title: Novel Methods for Load Estimation in Cell Switching in HAPS-Assisted Sustainable 6G Networks

abstract: In the evolving landscape of vertical heterogeneous networks, the practice of cell switching particularly for small base stations faces a significant challenge due to the lack of accurate data on the traffic load of sleeping SBSs. This information gap is crucial as it hinders the feasibility and applicability of existing power consumption optimization methods; however, the studies in the literature predominantly assume perfect knowledge about the traffic load of sleeping SBSs. Addressing this critical issue, our study introduces innovative methodologies for estimating the traffic load of sleeping SBSs in a vHetNet including the integration of a high altitude platform as a super macro base station into the terrestrial network. We propose three distinct spatial interpolation-based estimation schemes: clustering-based, distance based, and random neighboring selection. Employing a real data set for empirical validations, we compare the estimation performance of the developed traffic load estimation schemes and assess the impact of estimation errors. Our findings demonstrate that accurate estimation of sleeping SBSs' traffic loads is essential for making network power consumption optimization methods both feasible and applicable in vHetNets.


title: Giant piezoelectricity in group IV monochalcogenides with ferroelectric AA layer stacking

abstract: The piezoelectricity of group IV monochalcogenides (MXs, with M = Ge, Sn and X = S, Se) has attracted much attention due to their substantially higher piezoelectric coefficients compared to other 2D materials. However, with increasing layer number, their piezoelectricity rapidly disappears due to the antiferroelectric stacking order, severely limiting their practical applications. Using first-principles calculations, we investigated the piezoelectricity of MXs with the ferroelectric AA stacking configuration, which has recently been stabilized in experiments. We found that AA-stacked MXs have a ferroelectric ground state with the smallest lattice constant among other stacking configurations, resulting in a giant piezoelectric coefficient, which is the first demonstration of a strategy where the piezoelectric coefficients can increase with the number of layers. This can be attributed to a strong negative correlation between the lattice constant along the armchair direction and the piezoelectric coefficient, and spontaneous compressive strain stabilized in ferroelectric AA stacking configuration.


title: Control of seizure-like dynamics in neuronal populations with excitability adaptation related to ketogenic diet

abstract: We consider a heterogeneous, globally coupled population of excitatory quadratic integrate-and-fire neurons with excitability adaptation due to a metabolic feedback associated with ketogenic diet, a form of therapy for epilepsy. Bifurcation analysis of a three-dimensional mean-field system derived in the framework of next-generation neural mass models allows us to explain the scenarios and suggest control strategies for the transitions between the neurophysiologically desired asynchronous states and the synchronous, seizure-like states featuring collective oscillations. We reveal two qualitatively different scenarios for the onset of synchrony. For weaker couplings, a bistability region between the lower- and the higher-activity asynchronous states unfolds from the cusp point, and the collective oscillations emerge via a supercritical Hopf bifurcation. For stronger couplings, one finds seven co-dimension two bifurcation points, including pairs of Bogdanov-Takens and generalized Hopf points, such that both lower- and higher-activity asynchronous states undergo transitions to collective oscillations, with hysteresis and jump-like behavior observed in vicinity of subcritical Hopf bifurcations. We demonstrate three control mechanisms for switching between asynchronous and synchronous states, involving parametric perturbation of the adenosine triphosphate (ATP) production rate, external stimulation currents, or pulse-like ATP shocks, and indicate a potential therapeutic advantage of hysteretic scenarios.


title: Ultrathin, flexible and MRI-compatible microelectrode array for chronic single units recording within subcortical layers

abstract: Current techniques of neuroimaging, including electrical devices, are either of low spatiotemporal resolution or invasive, impeding multiscale monitoring of brain activity at both single cell and network levels. Overcoming this issue is of great importance to assess brain's computational ability and for neurorehabilitation projects that require real-time monitoring of neurons and concomitant networks activities. Currently, that information could be extracted from functional MRI when combined with mathematical models. Novel methods enabling quantitative and long-lasting recording at both single cell and network levels will allow to correlate the MRI data with intracortical activity at single cell level, and to refine those models. Here, we report the fabrication and validation of ultra-thin, optically transparent and flexible intracortical microelectrode arrays for combining extracellular multi-unit and fMRI recordings. The sensing devices are compatible with large-scale manufacturing, and demonstrate both fMRI transparency at 4.7 T, and high electrical performance, and thus appears as a promising candidate for simultaneous multiscale neurodynamic measurements.


title: Densely Multiplied Physics Informed Neural Networks

abstract: Although physics-informed neural networks (PINNs) have shown great potential in dealing with nonlinear partial differential equations (PDEs), it is common that PINNs will suffer from the problem of insufficient precision or obtaining incorrect outcomes. Unlike most of the existing solutions trying to enhance the ability of PINN by optimizing the training process, this paper improved the neural network architecture to improve the performance of PINN. We propose a densely multiply PINN (DM-PINN) architecture, which multiplies the output of a hidden layer with the outputs of all the behind hidden layers. Without introducing more trainable parameters, this effective mechanism can significantly improve the accuracy of PINNs. The proposed architecture is evaluated on four benchmark examples (Allan-Cahn equation, Helmholtz equation, Burgers equation and 1D convection equation). Comparisons between the proposed architecture and different PINN structures demonstrate the superior performance of the DM-PINN in both accuracy and efficiency.


title: The Howard-Harvard effect: Institutional reproduction of intersectional inequalities

abstract: The US higher education system concentrates the production of science and scientists within a few institutions. This has implications for minoritized scholars and the topics with which they are disproportionately associated. This paper examines topical alignment between institutions and authors of varying intersectional identities, and the relationship with prestige and scientific impact. We observe a Howard-Harvard effect, in which the topical profile of minoritized scholars are amplified in mission-driven institutions and decreased in prestigious institutions. Results demonstrate a consistent pattern of inequality in topics and research impact. Specifically, we observe statistically significant differences between minoritized scholars and White men in citations and journal impact. The aggregate research profile of prestigious US universities is highly correlated with the research profile of White men, and highly negatively correlated with the research profile of minoritized women. Furthermore, authors affiliated with more prestigious institutions are associated with increasing inequalities in both citations and journal impact. Academic institutions and funders are called to create policies to mitigate the systemic barriers that prevent the United States from achieving a fully robust scientific ecosystem.


title: Factorial Basis Method for q-Series Applications

abstract: The Factorial Basis method, initially designed for quasi-triangular, shift-compatible factorial bases, provides solutions to linear recurrence equations in the form of definite-sums. This paper extends the Factorial Basis method to its q-analog, enabling its application in q-calculus. We demonstrate the adaptation of the method to q-sequences and its utility in the realm of q-combinatorics. The extended technique is employed to automatically prove established identities and unveil novel ones, particularly some associated with the Rogers-Ramanujan identities.


title: Definite integral of a Laguerre polynomial and exponentials

abstract: In our investigations on the effect of strong magnetic fields on the properties of elementary particles we have been faced with a definite integral of the form $$\int_0^{2\pi}d\theta\ L_{n}(s^2+t^2+2st\cos\theta)\ e^{-ik\theta}\, \exp{(-st\,e^{i\theta})}\ , $$ where $L_n(x)$ is a Laguerre polynomial, $s$ and $t$ are real numbers and $n$ and $k$ are integers, with $n \geq 0$. In the present article we show that this integral can be solved analytically. The result can be used to get an alternative proof of an addition formula for Laguerre polynomials.


title: Total mean curvature surfaces in the product space $\mathbb{S}^n\times\mathbb{R}$ and applications

abstract: The total mean curvature functional for submanifolds into the Riemannian product space $\mathbb{S}^n\times\mathbb{R}$ is considered and its first variational formula is presented. Later on, two second order differential operators are defined and a nice integral inequality relating both of them is proved. Finally we prove our main result: an integral inequality for closed stationary $\mathcal{H}$-surfaces in $\mathbb{S}^n\times\mathbb{R}$, characterizing the cases where the equality is attained.


title: Auto-Encoder Optimized PAM IM/DD Transceivers for Amplified Fiber Links

abstract: We examine pulse amplitude modulation (PAM) for intensity modulation and direct detection systems. Using a straight-forward, mixed noise model, we optimize the constellations with an autoencoder-based neural network (NN), an improve required signal-to-noise ratio of 4 dB for amplified spontaneous emission (ASE)-limited PAM4 and PAM8, without increasing system complexity. Performance can also be improved in O-band wavelength division multiplexing system with semiconductor optical amplifier amplification and chromatic dispersion. We show via simulation that for such a system operating at 53 Gbaud, we can extend the reach of PAM4 by 10-25 km with an optimized constellation and a NN decoder. We present an experimental validation of 4 dB improvement of an ASE-limited PAM4 at 60 Gbaud using an optimized constellation and a NN decoder.


title: QuIP#: Even Better LLM Quantization with Hadamard Incoherence and Lattice Codebooks

abstract: Post-training quantization (PTQ) reduces the memory footprint of LLMs by quantizing their weights to low-precision. In this work, we introduce QuIP#, a weight-only PTQ method that achieves state-of-the-art results in extreme compression regimes ($\le$ 4 bits per weight) using three novel techniques. First, QuIP# improves QuIP's (Chee et al., 2023) incoherence processing by using the randomized Hadamard transform, which is faster and has better theoretical properties. Second, QuIP# uses vector quantization to take advantage of the ball-shaped sub-Gaussian distribution that incoherent weights possess: specifically, we introduce a set of hardware-efficient codebooks based on the highly symmetric $E_8$ lattice, which achieves the optimal 8-dimension unit ball packing. Third, QuIP# uses fine-tuning to improve fidelity to the original model. Our experiments show that QuIP# outperforms existing PTQ methods, enables new behaviors in PTQ scaling, and supports fast inference. Our code can be found at https://github.com/Cornell-RelaxML/quip-sharp.


title: Spontaneous Micro Flocking of Active Inertial Particles without Alignment Interaction

abstract: Observing spontaneous velocity ordering or flocking during motility induced phase separation (MIPS) in a system of spherical active Brownian particles without alignment interaction is challenging. We take up this problem by performing simulations of spherical active inertial particles with purely repulsive potential in presence of thermal noise and absence of any explicit alignment interaction. Our results not only show the presence of MIPS, but also reveal a micro-flocking transition. We characterize this transition in terms of a velocity order parameter as well as a characteristic length scale derived from the spatial correlation of the velocities.


title: Learning from Time Series under Temporal Label Noise

abstract: Many sequential classification tasks are affected by label noise that varies over time. Such noise can cause label quality to improve, worsen, or periodically change over time. We first propose and formalize temporal label noise, an unstudied problem for sequential classification of time series. In this setting, multiple labels are recorded in sequence while being corrupted by a time-dependent noise function. We first demonstrate the importance of modelling the temporal nature of the label noise function and how existing methods will consistently underperform. We then propose methods that can train noise-tolerant classifiers by estimating the temporal label noise function directly from data. We show that our methods lead to state-of-the-art performance in the presence of diverse temporal label noise functions using real and synthetic data.


title: A Repeated Auction Model for Load-Aware Dynamic Resource Allocation in Multi-Access Edge Computing

abstract: Multi-access edge computing (MEC) is one of the enabling technologies for high-performance computing at the edge of the 6 G networks, supporting high data rates and ultra-low service latency. Although MEC is a remedy to meet the growing demand for computation-intensive applications, the scarcity of resources at the MEC servers degrades its performance. Hence, effective resource management is essential; nevertheless, state-of-the-art research lacks efficient economic models to support the exponential growth of the MEC-enabled applications market. We focus on designing a MEC offloading service market based on a repeated auction model with multiple resource sellers (e.g., network operators and service providers) that compete to sell their computing resources to the offloading users. We design a computationally-efficient modified Generalized Second Price (GSP)-based algorithm that decides on pricing and resource allocation by considering the dynamic offloading requests arrival and the servers' computational workloads. Besides, we propose adaptive best-response bidding strategies for the resource sellers, satisfying the symmetric Nash equilibrium (SNE) and individual rationality properties. Finally, via intensive numerical results, we show the effectiveness of our proposed resource allocation mechanism.


title: CEHR-GPT: Generating Electronic Health Records with Chronological Patient Timelines

abstract: Synthetic Electronic Health Records (EHR) have emerged as a pivotal tool in advancing healthcare applications and machine learning models, particularly for researchers without direct access to healthcare data. Although existing methods, like rule-based approaches and generative adversarial networks (GANs), generate synthetic data that resembles real-world EHR data, these methods often use a tabular format, disregarding temporal dependencies in patient histories and limiting data replication. Recently, there has been a growing interest in leveraging Generative Pre-trained Transformers (GPT) for EHR data. This enables applications like disease progression analysis, population estimation, counterfactual reasoning, and synthetic data generation. In this work, we focus on synthetic data generation and demonstrate the capability of training a GPT model using a particular patient representation derived from CEHR-BERT, enabling us to generate patient sequences that can be seamlessly converted to the Observational Medical Outcomes Partnership (OMOP) data format.


title: Democratizing Large Language Models via Personalized Parameter-Efficient Fine-tuning

abstract: Personalization in large language models (LLMs) is increasingly important, aiming to align LLM's interactions, content, and recommendations with individual user preferences. Recent advances in LLM personalization have spotlighted effective prompt design, by enriching user queries with non-parametric knowledge through behavior history retrieval and textual profiles. However, these approaches were limited due to a lack of model ownership, resulting in constrained customization and privacy issues. Moreover, they often failed to accurately capture user behavior patterns, especially in cases where user data were complex and dynamic. To address these shortcomings, we introduce One PEFT Per User (OPPU), which employs personalized parameter-efficient fine-tuning (PEFT) modules, to store user-specific behavior patterns and preferences. By plugging in users' personal PEFT parameters, they can own and use their LLMs personally. OPPU integrates parametric user knowledge in the personal PEFT parameters with the non-parametric knowledge acquired through retrieval and profile. This integration adapts individual LLMs to user behavior shifts. Experimental results demonstrate that OPPU significantly outperforms existing prompt-based methods across seven diverse tasks in the LaMP benchmark. Further in-depth studies reveal OPPU's enhanced capabilities in handling user behavior shifts, modeling users at different active levels, maintaining robustness across various user history formats, and displaying versatility with different PEFT methods.


title: Understanding the Role of Open Metal Sites in MOFs for the Efficient Separation of Benzene/Cyclohexane Mixtures

abstract: Separating C6 cyclic hydrocarbons, specifically benzene and cyclohexane, presents a significant industrial challenge due to their similar physicochemical properties. We conducted Monte Carlo simulations in the Grand-Canonical ensemble to acquire adsorption properties and separation performance data for benzene and cyclohexane in three metal-organic frameworks featuring coordinatively unsaturated metal sites (Ni-MOF-74, Ni-ClBBTA, and Ni-ClBTDD). The separation performance of these MOFs was analyzed and compared with literature data for adsorbents of different natures, demonstrating superior performance. Additionally, we explored the molecular origins of this effective separation, examining the pore-filling mechanism, interaction of guest molecules with metal centers, and mutual interactions of each adsorbate. Our results highlight that the selected adsorbents, with remarkable loading capacity, can efficiently separate both compounds in a mixture with exceptional effectiveness.


title: Edge-Parallel Graph Encoder Embedding

abstract: New algorithms for embedding graphs have reduced the asymptotic complexity of finding low-dimensional representations. One-Hot Graph Encoder Embedding (GEE) uses a single, linear pass over edges and produces an embedding that converges asymptotically to the spectral embedding. The scaling and performance benefits of this approach have been limited by a serial implementation in an interpreted language. We refactor GEE into a parallel program in the Ligra graph engine that maps functions over the edges of the graph and uses lock-free atomic instrutions to prevent data races. On a graph with 1.8B edges, this results in a 500 times speedup over the original implementation and a 17 times speedup over a just-in-time compiled version.


title: Quadrature Coherence Scale of Linear Combinations of Gaussian Functions in Phase Space

abstract: The quadrature coherence scale (QCS) is a recently introduced measure that was shown to be an efficient witness of nonclassicality. It takes a simple form for pure and Gaussian states, but a general expression for mixed states tends to be prohibitively unwieldy. In this paper, we introduce a method for computing the quadrature coherence scale of quantum states characterized by Wigner functions expressible as linear combinations of Gaussian functions. Notable examples within this framework include cat states, GKP states, and states resulting from Gaussian transformations, measurements, and breeding protocols. In particular, we show that the quadrature coherence scale serves as a valuable tool for examining the scalability of nonclassicality in the presence of loss. Our findings lead us to put forth a conjecture suggesting that, subject to 50% loss or more, all pure states lose any QCS-certifiable nonclassicality. We also consider the quadrature coherence scale as a measure of quality of the output state of the breeding protocol.


title: Interpretable domain knowledge enhanced machine learning framework on axial capacity prediction of circular CFST columns

abstract: This study introduces a novel machine learning framework, integrating domain knowledge, to accurately predict the bearing capacity of CFSTs, bridging the gap between traditional engineering and machine learning techniques. Utilizing a comprehensive database of 2621 experimental data points on CFSTs, we developed a Domain Knowledge Enhanced Neural Network (DKNN) model. This model incorporates advanced feature engineering techniques, including Pearson correlation, XGBoost, and Random tree algorithms. The DKNN model demonstrated a marked improvement in prediction accuracy, with a Mean Absolute Percentage Error (MAPE) reduction of over 50% compared to existing models. Its robustness was confirmed through extensive performance assessments, maintaining high accuracy even in noisy environments. Furthermore, sensitivity and SHAP analysis were conducted to assess the contribution of each effective parameter to axial load capacity and propose design recommendations for the diameter of cross-section, material strength range and material combination. This research advances CFST predictive modelling, showcasing the potential of integrating machine learning with domain expertise in structural engineering. The DKNN model sets a new benchmark for accuracy and reliability in the field.


title: Regularized MIP Model for Optimal Power Flow with Energy Storage Systems and its Applications

abstract: Incorporating energy storage systems (ESS) into power systems has been studied in many recent works, where binary variables are often introduced to model the complementary nature of battery charging and discharging. A conventional approach for these ESS optimization problems is to relax binary variables and convert the problem into a linear program. However, such linear programming relaxation models can yield unrealistic fractional solutions, such as simultaneous charging and discharging. In this paper, we develop a regularized Mixed-Integer Programming (MIP) model for the ESS optimal power flow (OPF) problem. We prove that under mild conditions, the proposed regularized model admits a zero integrality gap with its linear programming relaxation; hence, it can be solved efficiently. By studying the properties of the regularized MIP model, we show that its optimal solution is also near-optimal to the original ESS OPF problem, thereby providing a valid and tight upper bound for the ESS OPF problem. The use of the regularized MIP model allows us to solve two intractable problems: a two-stage stochastic ESS OPF problem and a trilevel network contingency problem.


title: Sharp Lower Bounds on the Manifold Widths of Sobolev and Besov Spaces

abstract: We consider the problem of determining the manifold $n$-widths of Sobolev and Besov spaces with error measured in the $L_p$-norm. The manifold widths control how efficiently these spaces can be approximated by general non-linear parametric methods with the restriction that the parameter selection and parameterization maps must be continuous. Existing upper and lower bounds only match when the Sobolev or Besov smoothness index $q$ satisfies $q\leq p$ or $1 \leq p \leq 2$. We close this gap and obtain sharp lower bounds for all $1 \leq p,q \leq \infty$ for which a compact embedding holds. A key part of our analysis is to determine the exact value of the manifold widths of finite dimensional $\ell^M_q$-balls in the $\ell_p$-norm when $p\leq q$. Although this result is not new, we provide a new proof and apply it to lower bounding the manifold widths of Sobolev and Besov spaces. Our results show that the Bernstein widths, which are typically used to lower bound the manifold widths, decay asymptotically faster than the manifold widths in many cases.


title: Detection Transformer for Teeth Detection, Segmentation, and Numbering in Oral Rare Diseases: Focus on Data Augmentation and Inpainting Techniques

abstract: In this work, we focused on deep learning image processing in the context of oral rare diseases, which pose challenges due to limited data availability. A crucial step involves teeth detection, segmentation and numbering in panoramic radiographs. To this end, we used a dataset consisting of 156 panoramic radiographs from individuals with rare oral diseases and labeled by experts. We trained the Detection Transformer (DETR) neural network for teeth detection, segmentation, and numbering the 52 teeth classes. In addition, we used data augmentation techniques, including geometric transformations. Finally, we generated new panoramic images using inpainting techniques with stable diffusion, by removing teeth from a panoramic radiograph and integrating teeth into it. The results showed a mAP exceeding 0,69 for DETR without data augmentation. The mAP was improved to 0,82 when data augmentation techniques are used. Furthermore, we observed promising performances when using new panoramic radiographs generated with inpainting technique, with mAP of 0,76.


title: Towards Fair, Robust and Efficient Client Contribution Evaluation in Federated Learning

abstract: The performance of clients in Federated Learning (FL) can vary due to various reasons. Assessing the contributions of each client is crucial for client selection and compensation. It is challenging because clients often have non-independent and identically distributed (non-iid) data, leading to potentially noisy or divergent updates. The risk of malicious clients amplifies the challenge especially when there's no access to clients' local data or a benchmark root dataset. In this paper, we introduce a novel method called Fair, Robust, and Efficient Client Assessment (FRECA) for quantifying client contributions in FL. FRECA employs a framework called FedTruth to estimate the global model's ground truth update, balancing contributions from all clients while filtering out impacts from malicious ones. This approach is robust against Byzantine attacks and incorporates a Byzantine-resilient aggregation algorithm. FRECA is also efficient, as it operates solely on local model updates and requires no validation operations or datasets. Our experimental results show that FRECA can accurately and efficiently quantify client contributions in a robust manner.


title: Totally Geodesic Spanning Surfaces of Knots and Links in 3-Manifolds

abstract: I construct infinite families of knots and links with totally geodesic spanning surfaces, which we call TGS knots and TGS links, in various 3-manifolds. These 3-manifolds include thickened orientable surfaces, the sphere cross the circle, lens spaces, and the solid torus. The totally geodesic spanning surfaces of knots embedded in thickened orientable surfaces are the first examples of totally geodesic spanning surfaces of virtual knots.


title: DFA-RAG: Conversational Semantic Router for Large Language Model with Definite Finite Automaton

abstract: This paper introduces the retrieval-augmented large language model with Definite Finite Automaton (DFA-RAG), a novel framework designed to enhance the capabilities of conversational agents using large language models (LLMs). Traditional LLMs face challenges in generating regulated and compliant responses in special scenarios with predetermined response guidelines, like emotional support and customer service. Our framework addresses these challenges by embedding a Definite Finite Automaton (DFA), learned from training dialogues, within the LLM. This structured approach acts as a semantic router which enables the LLM to adhere to a deterministic response pathway. The routing is achieved by the retrieval-augmentation generation (RAG) strategy, which carefully selects dialogue examples aligned with the current conversational context. The advantages of DFA-RAG include an interpretable structure through human-readable DFA, context-aware retrieval for responses in conversations, and plug-and-play compatibility with existing LLMs. Extensive benchmarks validate DFA-RAG's effectiveness, indicating its potential as a valuable contribution to the conversational agent.


title: The VampPrior Mixture Model

abstract: Current clustering priors for deep latent variable models (DLVMs) require defining the number of clusters a-priori and are susceptible to poor initializations. Addressing these deficiencies could greatly benefit deep learning-based scRNA-seq analysis by performing integration and clustering simultaneously. We adapt the VampPrior (Tomczak & Welling, 2018) into a Dirichlet process Gaussian mixture model, resulting in the VampPrior Mixture Model (VMM), a novel prior for DLVMs. We propose an inference procedure that alternates between variational inference and Empirical Bayes to cleanly distinguish variational and prior parameters. Using the VMM in a Variational Autoencoder attains highly competitive clustering performance on benchmark datasets. Augmenting scVI (Lopez et al., 2018), a popular scRNA-seq integration method, with the VMM significantly improves its performance and automatically arranges cells into biologically meaningful clusters.


title: The multiples of a numerical semigroup

abstract: Given two numerical semigroups $S$ and $T$ we say that $T$ is a multiple of $S$ if there exists an integer $d \in \mathbb{N} \setminus \{0\}$ such that $S = \{x \in \mathbb{N} \mid d x \in T\}$. In this paper we study the family of multiples of a (fixed) numerical semigroup. We also address the open problem of finding numerical semigroups of embedding dimension $e$ without any quotient of embedding dimension less than $e$, and provide new families with this property.


title: The wave function of a photoelectron near the center of a quantum vortex

abstract: In a two-dimensional approximation, the probability density and current for a photoelectron near the localization of a quantum vortex are theoretically investigated. The wave function in the momentum representation, which we found earlier, is simplified near zero, corresponding to the center of the vortex. This allows us to obtain a simple analytical expression for it, which has the structure of a Gaussian wave packet and contains basic information about the vortex. It is used to analyze the temporal evolution of a quantum vortex, both in momentum and coordinate space. The effect of the intensity of an ionizing ultrashort laser pulse on the shape of a quantum vortex is also investigated.


title: Non-Markovian quantum dynamics from symmetric measurements

abstract: We use symmetric measurement operators to construct quantum channels that provide a further generalization of generalized Pauli channels. The resulting maps are bistochastic but in general no longer mixed unitary. We analyze their important properties, such as complete positivity and the ability to break quantum entanglement. In the main part, we consider the corresponding open quantum systems dynamics with time-local generators. From divisibility properties of dynamical maps, we derive sufficient Markovianity and non-Markovianity conditions. As instructive examples, we present the generators of P-divisible generalized Pauli dynamical maps that allow for more negativity in the decoherence rates.


title: Multimodal Unsupervised Domain Generalization by Retrieving Across the Modality Gap

abstract: Domain generalization (DG) is an important problem that learns a model which generalizes to unseen test domains leveraging one or more source domains, under the assumption of shared label spaces. However, most DG methods assume access to abundant source data in the target label space, a requirement that proves overly stringent for numerous real-world applications, where acquiring the same label space as the target task is prohibitively expensive. For this setting, we tackle the multimodal version of the unsupervised domain generalization (MUDG) problem, which uses a large task-agnostic unlabeled source dataset during finetuning. Our framework does not explicitly assume any relationship between the source dataset and target task. Instead, it relies only on the premise that the source dataset can be accurately and efficiently searched in a joint vision-language space. We make three contributions in the MUDG setting. Firstly, we show theoretically that cross-modal approximate nearest neighbor search suffers from low recall due to the large distance between text queries and the image centroids used for coarse quantization. Accordingly, we propose paired k-means, a simple clustering algorithm that improves nearest neighbor recall by storing centroids in query space instead of image space. Secondly, we propose an adaptive text augmentation scheme for target labels designed to improve zero-shot accuracy and diversify retrieved image data. Lastly, we present two simple but effective components to further improve downstream target accuracy. We compare against state-of-the-art name-only transfer, source-free DG and zero-shot (ZS) methods on their respective benchmarks and show consistent improvement in accuracy on 20 diverse datasets. Code is available: https://github.com/Chris210634/mudg


title: Decentralized Blockchain-based Robust Multi-agent Multi-armed Bandit

abstract: We study a robust multi-agent multi-armed bandit problem where multiple clients or participants are distributed on a fully decentralized blockchain, with the possibility of some being malicious. The rewards of arms are homogeneous among the clients, following time-invariant stochastic distributions that are revealed to the participants only when the system is secure enough. The system's objective is to efficiently ensure the cumulative rewards gained by the honest participants. To this end and to the best of our knowledge, we are the first to incorporate advanced techniques from blockchains, as well as novel mechanisms, into the system to design optimal strategies for honest participants. This allows various malicious behaviors and the maintenance of participant privacy. More specifically, we randomly select a pool of validators who have access to all participants, design a brand-new consensus mechanism based on digital signatures for these validators, invent a UCB-based strategy that requires less information from participants through secure multi-party computation, and design the chain-participant interaction and an incentive mechanism to encourage participants' participation. Notably, we are the first to prove the theoretical guarantee of the proposed algorithms by regret analyses in the context of optimality in blockchains. Unlike existing work that integrates blockchains with learning problems such as federated learning which mainly focuses on numerical optimality, we demonstrate that the regret of honest participants is upper bounded by $log{T}$. This is consistent with the multi-agent multi-armed bandit problem without malicious participants and the robust multi-agent multi-armed bandit problem with purely Byzantine attacks.


title: A Survey of Offline and Online Learning-Based Algorithms for Multirotor UAVs

abstract: Multirotor UAVs are used for a wide spectrum of civilian and public domain applications. Navigation controllers endowed with different attributes and onboard sensor suites enable multirotor autonomous or semi-autonomous, safe flight, operation, and functionality under nominal and detrimental conditions and external disturbances, even when flying in uncertain and dynamically changing environments. During the last decade, given the faster-than-exponential increase of available computational power, different learning-based algorithms have been derived, implemented, and tested to navigate and control, among other systems, multirotor UAVs. Learning algorithms have been, and are used to derive data-driven based models, to identify parameters, to track objects, to develop navigation controllers, and to learn the environment in which multirotors operate. Learning algorithms combined with model-based control techniques have been proven beneficial when applied to multirotors. This survey summarizes published research since 2015, dividing algorithms, techniques, and methodologies into offline and online learning categories, and then, further classifying them into machine learning, deep learning, and reinforcement learning sub-categories. An integral part and focus of this survey are on online learning algorithms as applied to multirotors with the aim to register the type of learning techniques that are either hard or almost hard real-time implementable, as well as to understand what information is learned, why, and how, and how fast. The outcome of the survey offers a clear understanding of the recent state-of-the-art and of the type and kind of learning-based algorithms that may be implemented, tested, and executed in real-time.


title: What limits performance of weakly supervised deep learning for chest CT classification?

abstract: Weakly supervised learning with noisy data has drawn attention in the medical imaging community due to the sparsity of high-quality disease labels. However, little is known about the limitations of such weakly supervised learning and the effect of these constraints on disease classification performance. In this paper, we test the effects of such weak supervision by examining model tolerance for three conditions. First, we examined model tolerance for noisy data by incrementally increasing error in the labels within the training data. Second, we assessed the impact of dataset size by varying the amount of training data. Third, we compared performance differences between binary and multi-label classification. Results demonstrated that the model could endure up to 10% added label error before experiencing a decline in disease classification performance. Disease classification performance steadily rose as the amount of training data was increased for all disease classes, before experiencing a plateau in performance at 75% of training data. Last, the binary model outperformed the multilabel model in every disease category. However, such interpretations may be misleading, as the binary model was heavily influenced by co-occurring diseases and may not have learned the specific features of the disease in the image. In conclusion, this study may help the medical imaging community understand the benefits and risks of weak supervision with noisy labels. Such studies demonstrate the need to build diverse, large-scale datasets and to develop explainable and responsible AI.


title: Measuring machine learning harms from stereotypes: requires understanding who is being harmed by which errors in what ways

abstract: As machine learning applications proliferate, we need an understanding of their potential for harm. However, current fairness metrics are rarely grounded in human psychological experiences of harm. Drawing on the social psychology of stereotypes, we use a case study of gender stereotypes in image search to examine how people react to machine learning errors. First, we use survey studies to show that not all machine learning errors reflect stereotypes nor are equally harmful. Then, in experimental studies we randomly expose participants to stereotype-reinforcing, -violating, and -neutral machine learning errors. We find stereotype-reinforcing errors induce more experientially (i.e., subjectively) harmful experiences, while having minimal changes to cognitive beliefs, attitudes, or behaviors. This experiential harm impacts women more than men. However, certain stereotype-violating errors are more experientially harmful for men, potentially due to perceived threats to masculinity. We conclude that harm cannot be the sole guide in fairness mitigation, and propose a nuanced perspective depending on who is experiencing what harm and why.


title: Studying Vulnerable Code Entities in R

abstract: Pre-trained Code Language Models (Code-PLMs) have shown many advancements and achieved state-of-the-art results for many software engineering tasks in the past few years. These models are mainly targeted for popular programming languages such as Java and Python, leaving out many other ones like R. Though R has a wide community of developers and users, there is little known about the applicability of Code-PLMs for R. In this preliminary study, we aim to investigate the vulnerability of Code-PLMs for code entities in R. For this purpose, we use an R dataset of code and comment pairs and then apply CodeAttack, a black-box attack model that uses the structure of code to generate adversarial code samples. We investigate how the model can attack different entities in R. This is the first step towards understanding the importance of R token types, compared to popular programming languages (e.g., Java). We limit our study to code summarization. Our results show that the most vulnerable code entity is the identifier, followed by some syntax tokens specific to R. The results can shed light on the importance of token types and help in developing models for code summarization and method name prediction for the R language.


title: Immunogenic cell death triggered by pathogen ligands via host germ line-encoded receptors

abstract: The strategic induction of cell death serves as a crucial immune defense mechanism for the eradication of pathogenic infections within host cells. Investigating the molecular mechanisms underlying immunogenic cell pathways has significantly enhanced our understanding of the host's immunity. This review provides a comprehensive overview of the immunogenic cell death mechanisms triggered by pathogen infections, focusing on the critical role of pattern recognition receptors. In response to infections, host cells dictate a variety of cell death pathways, including apoptosis, pyroptosis, necrosis, and lysosomal cell death, which are essential for amplifying immune responses and controlling pathogen dissemination. Key components of these mechanisms are host cellular receptors that recognize pathogen-associated ligands. These receptors activate downstream signaling cascades, leading to the expression of immunoregulatory genes and the production of antimicrobial cytokines and chemokines. Particularly, the inflammasome, a multi-protein complex, plays a pivotal role in these responses by processing pro-inflammatory cytokines and inducing pyroptotic cell death. Pathogens, in turn, have evolved strategies to manipulate these cell death pathways, either by inhibiting them to facilitate their replication or by triggering them to evade host defenses. This dynamic interplay between host immune mechanisms and pathogen strategies highlights the intricate co-evolution of microbial virulence and host immunity.


title: Smart Pipe System for a Shipyard 4.0

abstract: As a result of the progressive implantation of the Industry 4.0 paradigm, many industries are experimenting a revolution that shipyards cannot ignore. Therefore, the application of the principles of Industry 4.0 to shipyards are leading to the creation of Shipyards 4.0. Due to this, Navantia, one of the 10 largest shipbuilders in the world, is updating its whole inner workings to keep up with the near-future challenges that a Shipyard 4.0 will have to face. Such challenges can be divided into three groups: the vertical integration of production systems, the horizontal integration of a new generation of value creation networks, and the re-engineering of the entire production chain, making changes that affect the entire life cycle of each piece of a ship. Pipes, which exist in a huge number and varied typology on a ship, are one of the key pieces, and its monitoring constitutes a prospective cyber-physical system. Their improved identification, traceability, and indoor location, from production and through their life, can enhance shipyard productivity and safety. In order to perform such tasks, this article first conducts a thorough analysis of the shipyard environment. From this analysis, the essential hardware and software technical requirements are determined. Next, the concept of smart pipe is presented and defined as an object able to transmit signals periodically that allows for providing enhanced services in a shipyard. In order to build a smart pipe system, different technologies are selected and evaluated, concluding that passive and active RFID are currently the most appropriate technologies to create it. Furthermore, some promising indoor positioning results obtained in a pipe workshop are presented, showing that multi-antenna algorithms and Kalman filtering can help to stabilize Received Signal Strength (RSS) and improve the overall accuracy of the system.


title: Optimal Binary Signaling for a Two Sensor Gaussian MAC Network

abstract: We consider a two sensor distributed detection system transmitting a binary non-uniform source over a Gaussian multiple access channel (MAC). We model the network via binary sensors whose outputs are generated by binary symmetric channels of different noise levels. We prove an optimal one dimensional constellation design under individual sensor power constraints which minimizes the error probability of detecting the source. Three distinct cases arise for this optimization based on the parameters in the problem setup. In the most notable case (Case III), the optimal signaling design is to not necessarily use all of the power allocated to the more noisy sensor (with less correlation to the source). We compare the error performance of the optimal one dimensional constellation to orthogonal signaling. The results show that the optimal one dimensional constellation achieves lower error probability than using orthogonal channels.


title: Linear-Phase-Type probability modelling of functional PCA with applications to resistive memories

abstract: Functional principal component analysis based on Karhunen Loeve expansion allows to describe the stochastic evolution of the main characteristics associated to multiple systems and devices. Identifying the probability distribution of the principal component scores is fundamental to characterize the whole process. The aim of this work is to consider a family of statistical distributions that could be accurately adjusted to a previous transformation. Then, a new class of distributions, the linear-phase-type, is introduced to model the principal components. This class is studied in detail in order to prove, through the KL expansion, that certain linear transformations of the process at each time point are phase-type distributed. This way, the one-dimensional distributions of the process are in the same linear-phase-type class. Finally, an application to model the reset process associated with resistive memories is developed and explained.


title: Quantitative Metrics for Benchmarking Medical Image Harmonization

abstract: Image harmonization is an important preprocessing strategy to address domain shifts arising from data acquired using different machines and scanning protocols in medical imaging. However, benchmarking the effectiveness of harmonization techniques has been a challenge due to the lack of widely available standardized datasets with ground truths. In this context, we propose three metrics: two intensity harmonization metrics and one anatomy preservation metric for medical images during harmonization, where no ground truths are required. Through extensive studies on a dataset with available harmonization ground truth, we demonstrate that our metrics are correlated with established image quality assessment metrics. We show how these novel metrics may be applied to real-world scenarios where no harmonization ground truth exists. Additionally, we provide insights into different interpretations of the metric values, shedding light on their significance in the context of the harmonization process. As a result of our findings, we advocate for the adoption of these quantitative harmonization metrics as a standard for benchmarking the performance of image harmonization techniques.


title: Field-dependent magnetic relaxation times of magnetic nanoparticle systems: analytic approximations supported by numerical simulations

abstract: Many estimates for the magnetic relaxation time of magnetic nanoparticle systems neglect the effect of the applied field strength. This is despite many applications of magnetic nanoparticles involving relaxation dynamics under the influence of applied fields. Here, an analytic approximation for the field-dependent Brownian relaxation time of single-domain, spherical magnetic nanoparticles in an external applied field is developed mathematically. This expression is validated by comparison with existing empirically-derived expressions and by comparison to particle-level simulations that allow particle rotations. Our approximation works particularly well for larger particles. We then use the developed expression to analytically calculate the total magnetic relaxation time when both Brownian and N\'eel relaxation mechanisms are at play. Again, we show that the results match those found using particle-level simulations, this time with both particle rotations and internal magnetization dynamics allowed. However, for some particle parameters and for large field strengths, our simulations reveal that the Brownian and N\'eel relaxation mechanisms are decoupled and it is not appropriate to combine these to calculate a total relaxation time.


title: At most one solution to $a^x + b^y = c^z$ for some ranges of $a$, $b$, $c$

abstract: We consider the number of solutions in positive integers $(x,y,z)$ for the purely exponential Diophantine equation $a^x+b^y =c^z$ (with $\gcd(a,b)=1$). Apart from a list of known exceptions, a conjecture published in 2016 claims that this equation has at most one solution in positive integers $x$, $y$, and $z$. We show that this is true for some ranges of $a$, $b$, $c$, for instance, when $1 < a,b < 3600$ and $c<10^{10}$. The conjecture also holds for small pairs $(a,b)$ independent of $c$, where $2 \le a,b \le 10$ with $\gcd(a,b)=1$. We show that the Pillai equation $a^x - b^y = r > 0$ has at most one solution (with a known list of exceptions) when $2 \le a,b \le 3600$. Finally, the primitive case of the Je\'smanowicz conjecture holds when $a \le 10^6$ or when $b \le 10^6$. This work highlights the power of some ideas of Miyazaki and Pink and the usefulness of a theorem by Scott.


title: Meritocracy and Its Discontents: Long-run Effects of Repeated School Admission Reforms

abstract: What happens if selective colleges change their admission policies? We study this question by analyzing the world's first implementation of nationally centralized meritocratic admissions in the early twentieth century. We find a persistent meritocracy-equity tradeoff. Compared to the decentralized system, the centralized system admitted more high-achievers and produced more occupational elites (such as top income earners) decades later in the labor market. This gain came at a distributional cost, however. Meritocratic centralization also increased the number of urban-born elites relative to rural-born ones, undermining equal access to higher education and career advancement.


title: Local Index Theory for the Rarita-Schwinger Operator

abstract: We prove the local index theorem for the Rarita-Schwinger operator and higher Dirac operators using Gilkey's invariance theory. That is, we show that the supertrace of the heat kernel of a given geometric operator converges as time goes to zero, and identifies the limit as the Chern-Weil form of the Atiyah-Singer integrand.


title: ARMAN: A Reconfigurable Monolithic 3D Accelerator Architecture for Convolutional Neural Networks

abstract: The Convolutional Neural Network (CNN) has emerged as a powerful and versatile tool for artificial intelligence (AI) applications. Conventional computing architectures face challenges in meeting the demanding processing requirements of compute-intensive CNN applications, as they suffer from limited throughput and low utilization. To this end, specialized accelerators have been developed to speed up CNN computations. However, as we demonstrate in this paper via extensive design space exploration, different neural network models have different characteristics, which calls for different accelerator architectures and configurations to match their computing demand. We show that a one-size-fits-all fixed architecture does not guarantee optimal power/energy/performance trade-off. To overcome this challenge, this paper proposes ARMAN, a novel reconfigurable systolic-array-based accelerator architecture based on Monolithic 3D (M3D) technology for CNN inference. The proposed accelerator offers the flexibility to reconfigure among different scale-up or scale-out arrangements depending on the neural network structure, providing the optimal trade-off across power, energy, and performance for various neural network models. We demonstrate the effectiveness of our approach through evaluations of multiple benchmarks. The results demonstrate that the proposed accelerator exhibits up to 2x, 2.24x, 1.48x, and 2x improvements in terms of execution cycles, power, energy, and EDP respectively, over the non-configurable architecture.


title: Comprehensive Forecasting of California's Energy Consumption: A Multi-Source and Sectoral Analysis Using ARIMA and ARIMAX Models

abstract: California's significant role as the second-largest consumer of energy in the United States underscores the importance of accurate energy consumption predictions. With a thriving industrial sector, a burgeoning population, and ambitious environmental goals, the state's energy landscape is dynamic and complex. This paper presents a comprehensive analysis of California's energy consumption trends and provides detailed forecasting models for different energy sources and sectors. The study leverages ARIMA and ARIMAX models, considering both historical consumption data and exogenous variables. We address the unique challenges posed by the COVID-19 pandemic and the limited data for 2022, highlighting the resilience of these models in the face of uncertainty. Our analysis reveals that while fossil fuels continue to dominate California's energy landscape, renewable energy sources, particularly solar and biomass, are experiencing substantial growth. Hydroelectric power, while sensitive to precipitation, remains a significant contributor to renewable energy consumption. Furthermore, we anticipate ongoing efforts to reduce fossil fuel consumption. The forecasts for energy consumption by sector suggest continued growth in the commercial and residential sectors, reflecting California's expanding economy and population. In contrast, the industrial sector is expected to experience more moderate changes, while the transportation sector remains the largest energy consumer.


title: Fast Online Changepoint Detection

abstract: We study online changepoint detection in the context of a linear regression model. We propose a class of heavily weighted statistics based on the CUSUM process of the regression residuals, which are specifically designed to ensure timely detection of breaks occurring early on during the monitoring horizon. We subsequently propose a class of composite statistics, constructed using different weighing schemes; the decision rule to mark a changepoint is based on the largest statistic across the various weights, thus effectively working like a veto-based voting mechanism, which ensures fast detection irrespective of the location of the changepoint. Our theory is derived under a very general form of weak dependence, thus being able to apply our tests to virtually all time series encountered in economics, medicine, and other applied sciences. Monte Carlo simulations show that our methodologies are able to control the procedure-wise Type I Error, and have short detection delays in the presence of breaks.


title: Upper efficiency limit of Sb2Se3 solar cells

abstract: Antimony selenide (Sb2Se3) is at the forefront of an emerging class of sustainable photovoltaic materials. Despite notable developments over the past decade, the light-to-electricity conversion efficiency of Sb2Se3 has reached a plateau of ~10%. Is this an intrinsic limitation of the material or is there scope to rival the success of metal halide perovskite solar cells? Here we assess the trap-limited conversion efficiency of Sb2Se3. First-principles defect analysis of the hole and electron capture rates for point defects demonstrates the critical role of vacancies as active recombination centres. We predict an upper limit of 25% efficiency in Sb2Se3 grown under optimal equilibrium conditions where the concentrations of charged vacancies are minimised. We further reveal how the detrimental effect of Se vacancies can be reduced by extrinsic oxygen passivation, highlighting a pathway to achieve high-performance metal selenide solar cells close to the thermodynamic limit.


title: PreGIP: Watermarking the Pretraining of Graph Neural Networks for Deep Intellectual Property Protection

abstract: Pretraining on Graph Neural Networks (GNNs) has shown great power in facilitating various downstream tasks. As pretraining generally requires huge amount of data and computational resources, the pretrained GNNs are high-value Intellectual Properties (IP) of the legitimate owner. However, adversaries may illegally copy and deploy the pretrained GNN models for their downstream tasks. Though initial efforts have been made to watermark GNN classifiers for IP protection, these methods require the target classification task for watermarking, and thus are not applicable to self-supervised pretraining of GNN models. Hence, in this work, we propose a novel framework named PreGIP to watermark the pretraining of GNN encoder for IP protection while maintain the high-quality of the embedding space. PreGIP incorporates a task-free watermarking loss to watermark the embedding space of pretrained GNN encoder. A finetuning-resistant watermark injection is further deployed. Theoretical analysis and extensive experiments show the effectiveness of {\method} in IP protection and maintaining high-performance for downstream tasks.


title: Continuous Multidimensional Scaling

abstract: Multidimensional scaling (MDS) is the act of embedding proximity information about a set of $n$ objects in $d$-dimensional Euclidean space. As originally conceived by the psychometric community, MDS was concerned with embedding a fixed set of proximities associated with a fixed set of objects. Modern concerns, e.g., that arise in developing asymptotic theories for statistical inference on random graphs, more typically involve studying the limiting behavior of a sequence of proximities associated with an increasing set of objects. Standard results from the theory of point-to-set maps imply that, if $n$ is fixed and a sequence of proximities converges, then the limit of the embedded structures is the embedded structure of the limiting proximities. But what if $n$ increases? It then becomes necessary to reformulate MDS so that the entire sequence of embedding problems can be viewed as a sequence of optimization problems in a fixed space. We present such a reformulation and derive some consequences.


title: Learning to Extract Structured Entities Using Language Models

abstract: Recent advances in machine learning have significantly impacted the field of information extraction, with Language Models (LMs) playing a pivotal role in extracting structured information from unstructured text. Prior works typically represent information extraction as triplet-centric and use classical metrics such as precision and recall for evaluation. We reformulate the task to be entity-centric, enabling the use of diverse metrics that can provide more insights from various perspectives. We contribute to the field by introducing Structured Entity Extraction and proposing the Approximate Entity Set OverlaP (AESOP) metric, designed to appropriately assess model performance. Later, we introduce a new model that harnesses the power of LMs for enhanced effectiveness and efficiency by decomposing the extraction task into multiple stages. Quantitative and human side-by-side evaluations confirm that our model outperforms baselines, offering promising directions for future advancements in structured entity extraction.


title: The domino problem is decidable for robust tilesets

abstract: One of the most fundamental problems in tiling theory is the domino problem: given a set of tiles and tiling rules, decide if there exists a way to tile the plane using copies of tiles and following their rules. The problem is known to be undecidable in general and even for sets of Wang tiles, which are unit square tiles wearing colours on their edges which can be assembled provided they share the same colour on their common edge, as proven by Berger in the 1960s. In this paper, we focus on Wang tilesets. We prove that the domino problem is decidable for robust tilesets, i.e. tilesets that either cannot tile the plane or can but, if so, satisfy some particular invariant provably. We establish that several famous tilesets considered in the literature are robust. We give arguments that this is true for all tilesets unless they are produced from non-robust Turing machines: a Turing machine is said to be non-robust if it does not halt and furthermore does so non-provably. As a side effect of our work, we provide a sound and relatively complete method for proving that a tileset can tile the plane. Our analysis also provides explanations for the observed similarities between proofs in the literature for various tilesets, as well as of phenomena that have been observed experimentally in the systematic study of tilesets using computer methods.


title: Resonant Raman scattering of surface phonon polaritons mediated by excitons in WSe$_2$ films

abstract: Surface phonon-polaritons propagating along interfaces of polar dielectrics coexist with excitons in many van der Waals heterostructures, so understanding their mutual interactions is of great interest. Here, we investigate the type I surface phonon polariton of hBN via low-temperature resonant-Raman spectroscopy in hBN/WSe2 heterostructures. The resonantly enhanced hBN surface phonon polariton (SPhP) Raman signal, when laser energy is such that the scattered photons have energy close to that of the WSe2 excitons, enables detailed characterization of type I SPhP in hBN even when hBN is one monolayer thick. We find that the measured bandwidth of the SPhP Raman signal depends on the thicknesses of the hBN layer. We are able explain the experimental data using transfer matrix method simulations of SPhP dispersions providing that we assume the Raman scattering to be momentum non-conserving, as could be the case if localized WSe2 exciton states participated in the process. We further show that resonant Raman scattering from SiO2 SPhP can also be mediated by WSe$_2$.


title: Exploring higher-order neural network node interactions with total correlation

abstract: In domains such as ecological systems, collaborations, and the human brain the variables interact in complex ways. Yet accurately characterizing higher-order variable interactions (HOIs) is a difficult problem that is further exacerbated when the HOIs change across the data. To solve this problem we propose a new method called Local Correlation Explanation (CorEx) to capture HOIs at a local scale by first clustering data points based on their proximity on the data manifold. We then use a multivariate version of the mutual information called the total correlation, to construct a latent factor representation of the data within each cluster to learn the local HOIs. We use Local CorEx to explore HOIs in synthetic and real world data to extract hidden insights about the data structure. Lastly, we demonstrate Local CorEx's suitability to explore and interpret the inner workings of trained neural networks.


title: Galois invariants of finite abelian descent and Brauer sets

abstract: For a variety over a global field, one can consider subsets of the set of adelic points of the variety cut out by finite abelian descent or Brauer-Manin obstructions. Given a Galois extension of the ground field one can consider similar sets over the extension and take Galois invariants. In this paper, we study under which circumstances the Galois invariants recover the obstruction sets over the ground field. As an application of our results, we study finite abelian descent and Brauer-Manin obstructions for isotrivial curves over function fields and extend results obtained by the first and last authors for constant curves to the isotrivial case.


title: Evaluating Embeddings for One-Shot Classification of Doctor-AI Consultations

abstract: Effective communication between healthcare providers and patients is crucial to providing high-quality patient care. In this work, we investigate how Doctor-written and AI-generated texts in healthcare consultations can be classified using state-of-the-art embeddings and one-shot classification systems. By analyzing embeddings such as bag-of-words, character n-grams, Word2Vec, GloVe, fastText, and GPT2 embeddings, we examine how well our one-shot classification systems capture semantic information within medical consultations. Results show that the embeddings are capable of capturing semantic features from text in a reliable and adaptable manner. Overall, Word2Vec, GloVe and Character n-grams embeddings performed well, indicating their suitability for modeling targeted to this task. GPT2 embedding also shows notable performance, indicating its suitability for models tailored to this task as well. Our machine learning architectures significantly improved the quality of health conversations when training data are scarce, improving communication between patients and healthcare providers.


title: J0526+5934: a peculiar ultra-short period double white dwarf

abstract: Ultra-short period compact binaries are important sources of gravitational waves, which include e.g. the progenitors of type Ia supernovae or the progenitors of merger episodes that may lead to massive and magnetic single white dwarfs. J0526+5934 is an unresolved compact binary star with an orbital period of 20.5 minutes that belongs to this category. The visible component of J0526+5934 has been recently claimed to be a hot sub-dwarf star with a CO white dwarf companion. Our aim is to provide strong observational plus theoretical evidence that the primary star is rather an extremely-low mass white dwarf, although the hot subdwarf nature cannot be completely ruled out. We analyse optical spectra together with time-series photometry of the visible component of J0526+5934 to constrain its orbital and stellar parameters. We also employ evolutionary sequences for low-mass white dwarfs to derive independent values of the primary mass. From the analysis of our observational data, we find a stellar mass for the primary star in J0526+5934 of 0.26+-0.05 Msun, which perfectly matches the 0.237+-0.035 Msun independent measurement we derived from the theoretical evolutionary models. This value is considerably lower than the theoretically expected and generally observed mass range of hot subdwarf stars, but falls well within the mass limit values of extremely low-mass white dwarfs. We conclude J0526+5934 is the fifth ultra-short period detached double white dwarf currently known.


title: Equitable Networked Microgrid Topology Reconfiguration for Wildfire Risk Mitigation

abstract: Increasing amount of wildfires in recent years consistently challenges the safe and reliable operations of power systems. To prevent power lines and other electrical components from causing wildfires under extreme conditions, electric utilities often deploy public safety power shutoffs (PSPS) to mitigate the wildfire risks therein. Although PSPS are effective countermeasures against wildfires, uncoordinated strategies can cause disruptions in electricity supply and even lead to cascading failures. Meanwhile, it is extremely important to consider mitigating biased decisions on different communities and populations during the implementation of shutoff actions. In this work, we primarily focus on the dynamic reconfiguration problem of networked microgrids with distributed energy resources. In particular, we formulate a rolling horizon optimization problem allowing for flexible network reconfiguration at each time interval to mitigate wildfire risks. To promote equity and fairness during the span of shutoffs, we further enforce a range of constraints associated with load shedding to discourage disproportionate impact on individual load blocks. Numerical studies on the modified IEEE 13-bus system and a larger-sized Smart-DS system demonstrate the performance of the proposed algorithm towards more equitable power shutoff operations.


title: Doppler Signature of a Possible Termination Shock in an Off-Limb Solar Flare

abstract: We report striking Doppler velocity gradients observed during the well-observed September 10th 2017 solar flare, and argue that they are consistent with the presence of an above-the-looptop termination shock beneath the flare current sheet. Observations from the Hinode Extreme-ultraviolet Imaging Spectrometer (EIS) measure plasma sheet Doppler shifts up to 35 km/s during the late-phase of the event. By comparing these line-of-sight flows with plane-of-sky measurements, we calculate total velocity downflows of 200+ km/s, orientated 6-10{\deg} out of the plane of sky. The observed velocities drop rapidly at the base of the hot plasma sheet seen in extreme ultraviolet, consistent with simulated velocity profiles predicted by our 2.5D magnetohydrodynamics model that features a termination shock at the same location. Finally, the striking velocity deceleration aligns spatially with the suppression of Fe XXIV non-thermal velocities, and a 35--50 keV hard X-ray looptop source observed by the Reuven Ramaty High Energy Solar Spectroscopic Imager (RHESSI). Together, these observations are consistent with the presence of a possible termination shock within the X8.2-class solar flare.

categories: astro-ph.SR astro-ph.HE physics.plasm-ph physics.space-ph