title: First-order approximation of strong vector equilibria with application to nondifferentiable constrained optimization

abstract: Vector equilibrium problems are a natural generalization to the context of partially ordered spaces of the Ky Fan inequality, where scalar bifunctions are replaced with vector bifunctions. In the present paper, the local geometry of the strong solution set to these problems is investigated through its inner/outer conical approximations. Formulae for approximating the contingent cone to the set of strong vector equilibria are established, which are expressed via Bouligand derivatives of the bifunctions. These results are subsequently employed for deriving both necessary and sufficient optimality conditions for problems, whose feasible region is the strong solution set to a vector equilibrium problem, so they can be cast in mathematical programming with equilibrium constraints.


title: A modified Christoffel function and its asymptotic properties

abstract: We introduce a certain variant (or regularization) $\tilde{\Lambda}^\mu_n$ of the standard Christoffel function $\Lambda^\mu_n$ associated with a measure $\mu$ on a compact set $\Omega\subset \mathbb{R}^d$. Its reciprocal is now a sum-of-squares polynomial in the variables $(x,\varepsilon)$, $\varepsilon>0$. It shares the same dichotomy property of the standard Christoffel function, that is, the growth with $n$ of its inverse is at most polynomial inside and exponential outside the support of the measure. Its distinguishing and crucial feature states that for fixed $\varepsilon>0$, and under weak assumptions, $\lim_{n\to\infty} \varepsilon^{-d}\tilde{\Lambda}^\mu_n(\xi,\varepsilon)=f(\zeta_\varepsilon)$ where $f$ (assumed to be continuous) is the unknown density of $\mu$ w.r.t. Lebesgue measure on $\Omega$, and $\zeta_\varepsilon\in\mathbf{B}_\infty(\xi,\varepsilon)$ (and so $f(\zeta_\varepsilon)\approx f(\xi)$ when $\varepsilon>0$ is small). This is in contrast with the standard Christoffel function where if $\lim_{n\to\infty} n^d\Lambda^\mu_n(\xi)$ exists, it is of the form $f(\xi)/\omega_E(\xi)$ where $\omega_E$ is the density of the equilibrium measure of $\Omega$, usually unknown. At last but not least, the additional computational burden (when compared to computing $\Lambda^\mu_n$) is just integrating symbolically the monomial basis $(x^{\alpha})_{\alpha\in\mathbb{N}^d_n}$ on the box $\{x: \Vert x-\xi\Vert_\infty<\varepsilon/2\}$, so that $1/\tilde{\Lambda}^\mu_n$ is obtained as an explicit polynomial of $(\xi,\varepsilon)$.


title: Spectral arbitrariness for trees fails spectacularly

abstract: If $G$ is a graph and $\mathbf{m}$ is an ordered multiplicity list which is realizable by at least one symmetric matrix with graph $G$, what can we say about the eigenvalues of all such realizing matrices for $\mathbf{m}$? It has sometimes been tempting to expect, especially in the case that $G$ is a tree, that any spacing of the multiple eigenvalues should be realizable. In 2004, however, F. Barioli and S. Fallat produced the first counterexample: a tree on 16 vertices and an ordered multiplicity list for which every realizing set of eigenvalues obeys a nontrivial linear constraint. We extend this by giving an infinite family of trees and ordered multiplicity lists whose sets of realizing eigenvalues are very highly constrained, with at most 5 degrees of freedom, regardless of the size of the tree in this family. In particular, we give the first examples of multiplicity lists for a tree which impose nontrivial nonlinear eigenvalue constraints and produce an ordered multiplicity list which is achieved by a unique set of eigenvalues, up to shifting and scaling.


title: Digital Inheritance in Web3: A Case Study of Soulbound Tokens and the Social Recovery Pallet within the Polkadot and Kusama Ecosystems

abstract: In recent years discussions centered around digital inheritance have increased among social media users and across blockchain ecosystems. As a result digital assets such as social media content cryptocurrencies and non-fungible tokens have become increasingly valuable and widespread, leading to the need for clear and secure mechanisms for transferring these assets upon the testators death or incapacitation. This study proposes a framework for digital inheritance using soulbound tokens and the social recovery pallet as a use case in the Polkadot and Kusama blockchain networks. The findings discussed within this study suggest that while soulbound tokens and the social recovery pallet offer a promising solution for creating a digital inheritance plan the findings also raise important considerations for testators digital executors and developers. While further research is needed to fully understand the potential impacts and risks of other technologies such as artificial intelligence and quantum computing this study provides a primer for users to begin planning a digital inheritance strategy and for developers to develop a more intuitive solution.


title: Nodal sets of eigenfunctions of sub-Laplacians

abstract: Nodal sets of eigenfunctions of elliptic operators on compact manifolds have been studied extensively over the past decades. In this note, we initiate the study of nodal sets of eigenfunctions of hypoelliptic operators on compact manifolds, focusing on sub-Laplacians. A standard example is the sum of squares of bracket-generating vector fields on compact quotients of the Heisenberg group. Our results show that nodal sets behave in an anisotropic way which can be analyzed with standard tools from sub-Riemannian geometry such as sub-Riemannian dilations, nilpotent approximation and desingularization at singular points. Furthermore, we provide a simple example demonstrating that for sub-Laplacians, the Hausdorff measure of nodal sets of eigenfunctions cannot be bounded above by $\sqrt\lambda$, which is the bound conjectured by Yau for Laplace-Beltrami operators on smooth manifolds.


title: Semi-automatic meteoroid fragmentation modeling using genetic algorithms

abstract: Meteoroids are pieces of asteroids and comets. They serve as unique probes to the physical and chemical properties of their parent bodies. We can derive some of these properties when meteoroids collide with the atmosphere of Earth and become a meteor or a bolide. Even more information can be obtained when meteoroids are mechanically strong and slow enough to drop meteorites. Through physical modeling of bright meteors, we describe their fragmentation in the atmosphere. We also derive their mechanical strength and the mass distribution of the fragments, some of which may hit the ground as meteorites. We developed a semi-automatic program for meteoroid fragmentation modeling using parallel genetic algorithms. This allowed us to determine the most probable fragmentation cascade of the meteoroid, and also to specify its initial mass and velocity. These parameters can be used in turn to derive the heliocentric orbit of the meteoroid and to place constraints on its likely age as a separate object. The program offers plausible solutions for the majority of fireballs we tested, and the quality of the solutions is comparable to that of manual solutions. The two solutions are not the same in detail, but the derived quantities, such as the fragment masses of the larger fragments and the proxy for their mechanical strength, are very similar. With this method, we would like to describe the mechanical properties and structure of both meteoroids belonging to major meteor showers and those that cause exceptional fireballs.


title: Improved Fractal Weyl upper bound in obstacle scattering

abstract: In this paper, we are interested in the problem of scattering by strictly convex obstacles in the plane. We provide an upper bound for the number $N(r,\gamma)$ of resonances in the box $\{r \le \Re(\lambda) \le r + 1$; $\Im(\lambda) \ge - \gamma \}$. It was proved in a work of S. Nonnenmacher, J. Sj{\"o}strand and M. Zworski (2014) that $N (r,\gamma) = O_\gamma (r^{d_H})$ where $2d_H + 1$ is the Hausdorff dimension of the trapped set of the billiard flow. In this article, we provide an improved upper bound in the band $0 \le \gamma < \gamma_{cl} /2$, where $\gamma_{cl}$ is the classical decay rate of the flow. This improved Weyl upper bound is in the spirit of the ones of F. Naud (2012) and S. Dyatlov (2019) in the case of convex co-compact surfaces, and of S. Dyatlov and L. Jin (2017) in the case of open quantum baker's maps.


title: New developments in econophysics: Option pricing formulas

abstract: We synthesize and discuss some new developments in econophysics. In doing so, we focus on option pricing. We relax the assumptions of constant volatility and interest rate. In doing so, we rely on the square root of the Brownian motion. We also provide simple, closed-form pricing formulas for the American and Bermudan options.


title: Adults in the room? The auditor and dividends in small firms: Evidence from a natural experiment

abstract: We examine the effect of auditing on dividends in small private firms. We hypothesize that auditing can constrain dividends by way of promoting accounting conservatism. We use register data on private Norwegian firms and random variation induced by the introduction of a policy allowing small private firms to forgo the use of an auditor to estimate the effect of auditing on dividend payout. Identification is obtained by a regression discontinuity around the arbitrary thresholds for the policy. Propensity score matching is used to create a balanced synthetic control. We consistently find that forgoing auditing led to a significant increase in dividends in small private firms.


title: Discovering strongly lensed quasar candidates with catalogue-based methods from DESI Legacy Surveys

abstract: The Hubble tension, revealed by a $\sim 5\sigma$ discrepancy between measurements of the Hubble-Lemaitre constant from early- and local-Universe observations, is one of the most significant problems in modern cosmology. In order to better understand the origin of this mismatch, independent techniques to measure $H_0$, such as strong lensing time delays, are required. Notably, the sample size of such systems is key to minimising statistical uncertainties and cosmic variance, which can be improved by exploring the datasets of large-scale sky surveys like DESI (Dark Energy Spectroscopic Instrument). We identify possible strong lensing time-delay systems within DESI by selecting candidate multiply imaged lensed quasars from a catalogue of 24,440,816 candidate QSOs contained in the 9th data release of the DESI Legacy Imaging Surveys (DESI-LS). Using a friend-of-friends-like algorithm on spatial co-ordinates, our method generates an initial list of compact quasar groups. This list is subsequently filtered using a measure of the similarity of colours of a group's members and the likelihood that they are quasars. A visual inspection finally selects candidate strong lensing systems based on the spatial configuration of the group members. We identify 620 new candidate multiply imaged lensed quasars (101 Grade-A, 214 Grade-B, 305 Grade-C). This number excludes 53 known spectroscopically confirmed systems and existing candidate systems identified in other similar catalogues. When available, these new candidates will be further checked by combining the spectroscopic and photometric data from DESI. The catalogues and images of the candidates in this work are available online (https://github.com/EigenHermit/lensed_qso_cand_catalogue_He-22/).


title: On simulation of continuous determinantal point processes

abstract: We review how to simulate continuous determinantal point processes (DPPs) and improve the current simulation algorithms in several important special cases as well as detail how certain types of conditional simulation can be carried out. Importantly we show how to speed up the simulation of the widely used Fourier based projection DPPs, which arise as approximations of more general DPPs. The algorithms are implemented and published as open source software.


title: Coherence and superradiance from a plasma-based quasiparticle accelerator

abstract: Coherent light sources, such as free electron lasers, provide bright beams for biology, chemistry, physics, and advanced technological applications. Increasing the brightness of these sources requires progressively larger devices, with the largest being several km long (e.g., LCLS). Can we reverse this trend, and bring these sources to the many thousands of labs spanning universities, hospitals, and industry? Here we address this long-standing question by rethinking basic principles of radiation physics. At the core of our work is the introduction of quasi-particle-based light sources that rely on the collective and macroscopic motion of an ensemble of light-emitting charges to evolve and radiate in ways that would be unphysical when considering single charges. The underlying concept allows for temporal coherence and superradiance in fundamentally new configurations, providing radiation with clear experimental signatures and revolutionary properties. The underlying concept is illustrated with plasma accelerators but extends well beyond this case, such as to nonlinear optical configurations. The simplicity of the quasi-particle approach makes it suitable for experimental demonstrations at existing laser and accelerator facilities.


title: A Multiclass Simulation-Based Dynamic Traffic Assignment Model for Mixed Traffic Flow of Connected and Autonomous Vehicles and Human-Driven Vehicles

abstract: One of the potential capabilities of Connected and Autonomous Vehicles (CAVs) is that they can have different route choice behavior and driving behavior compared to human Driven Vehicles (HDVs). This will lead to mixed traffic flow with multiple classes of route choice behavior. Therefore, it is crucial to solve the multiclass Traffic Assignment Problem (TAP) in mixed traffic of CAVs and HDVs. Few studies have tried to solve this problem; however, most used analytical solutions, which are challenging to implement in real and large networks (especially in dynamic cases). Also, studies in implementing simulation-based methods have not considered all of CAVs' potential capabilities. On the other hand, several different (conflicting) assumptions are made about the CAV's route choice behavior in these studies. So, providing a tool that can solve the multiclass TAP of mixed traffic under different assumptions can help researchers to understand the impacts of CAVs better. To fill these gaps, this study provides an open-source solution framework of the multiclass simulation-based traffic assignment problem for mixed traffic of CAVs and HDVs. This model assumes that CAVs follow system optimal principles with rerouting capability, while HDVs follow user equilibrium principles. Moreover, this model can capture the impacts of CAVs on road capacity by considering distinct driving behavioral models in both micro and meso scales traffic simulation. This proposed model is tested in two case studies which shows that as the penetration rate of CAVs increases, the total travel time of all vehicles decreases.


title: Measuring Regulatory Barriers Using Annual Reports of Firms

abstract: Existing studies show that regulation is a major barrier to global economic integration. Nonetheless, identifying and measuring regulatory barriers remains a challenging task for scholars. I propose a novel approach to quantify regulatory barriers at the country-year level. Utilizing information from annual reports of publicly listed companies in the U.S., I identify regulatory barriers business practitioners encounter. The barrier information is first extracted from the text documents by a cutting-edge neural language model trained on a hand-coded training set. Then, I feed the extracted barrier information into a dynamic item response theory model to estimate the numerical barrier level of 40 countries between 2006 and 2015 while controlling for various channels of confounding. I argue that the results returned by this approach should be less likely to be contaminated by major confounders such as international politics. Thus, they are well-suited for future political science research.


title: deepPERFECT: Novel Deep Learning CT Synthesis Method for Expeditious Pancreatic Cancer Radiotherapy

abstract: Pancreatic cancer with more than 60,000 new cases each year has less than 10 percent 5-year overall survival. Radiation therapy (RT) is an effective treatment for Locally advanced pancreatic cancer (LAPC). The current clinical RT workflow is lengthy and involves separate image acquisition for diagnostic CT (dCT) and planning CT (pCT). Studies have shown a reduction in mortality rate from expeditious radiotherapy treatment. dCT and pCT are acquired separately because of the differences in the image acquisition setup and patient body. We are presenting deepPERFECT: deep learning-based model to adapt the shape of the patient body on dCT to the treatment delivery setup. Our method expedites the treatment course by allowing the design of the initial RT planning before the pCT acquisition. Thus, the physicians can evaluate the potential RT prognosis ahead of time, verify the plan on the treatment day-one CT and apply any online adaptation if needed. We used the data from 25 pancreatic cancer patients. The model was trained on 15 cases and tested on the remaining ten cases. We evaluated the performance of four different deep-learning architectures for this task. The synthesized CT (sCT) and regions of interest (ROIs) were compared with ground truth (pCT) using Dice similarity coefficient (DSC) and Hausdorff distance (HD). We found that the three-dimensional Generative Adversarial Network (GAN) model trained on large patches has the best performance. The average DSC and HD for body contours were 0.93, and 4.6 mm. We found no statistically significant difference between the synthesized CT plans and the ground truth. We showed that employing deepPERFECT shortens the current lengthy clinical workflow by at least one week and improves the effectiveness of treatment and the quality of life of pancreatic cancer patients.


title: Michael E. Fisher - teacher, mentor, colleague and friend: a (very) personal account

abstract: The only rational way of educating is to be an example. If one cant help it, a warning example. Albert Einstein. I had the good fortune and privilege of having Michael Fisher as my teacher, supervisor, mentor and friend. During my years as a scientist, teacher and supervisor of about one hundred students and post docs I found myself innumerable times realizing that I am following or at least trying to follow Michaels example. These pages are my attempt to convey recollections of my association with Michael, focusing on how he served as an example for me.


title: Generalized Planning as Heuristic Search: A new planning search-space that leverages pointers over objects

abstract: Planning as heuristic search is one of the most successful approaches to classical planning but unfortunately, it does not extend trivially to Generalized Planning (GP). GP aims to compute algorithmic solutions that are valid for a set of classical planning instances from a given domain, even if these instances differ in the number of objects, the number of state variables, their domain size, or their initial and goal configuration. The generalization requirements of GP make it impractical to perform the state-space search that is usually implemented by heuristic planners. This paper adapts the planning as heuristic search paradigm to the generalization requirements of GP, and presents the first native heuristic search approach to GP. First, the paper introduces a new pointer-based solution space for GP that is independent of the number of classical planning instances in a GP problem and the size of those instances (i.e. the number of objects, state variables and their domain sizes). Second, the paper defines a set of evaluation and heuristic functions for guiding a combinatorial search in our new GP solution space. The computation of these evaluation and heuristic functions does not require grounding states or actions in advance. Therefore our GP as heuristic search approach can handle large sets of state variables with large numerical domains, e.g.~integers. Lastly, the paper defines an upgraded version of our novel algorithm for GP called Best-First Generalized Planning (BFGP), that implements a best-first search in our pointer-based solution space, and that is guided by our evaluation/heuristic functions for GP.


title: CNT effective interfacial energy and pre-exponential kinetic factor from measured NaCl crystal nucleation time distributions in contracting microdroplets

abstract: Nucleation, the birth of a stable cluster from disorder, is inherently stochastic. Yet up to date, there are no quantitative studies on NaCl nucleation that accounts for its stochastic nature. Here, we report the first stochastic treatment of NaCl-water nucleation kinetics. Using a recently developed microfluidic system and evaporation model, our measured interfacial energies extracted from a modified Poisson distribution of nucleation time show an excellent agreement with theoretical predictions. Furthermore, analysis of nucleation parameters in 0.5 pL, 1.5pL and 5.5 pL microdroplets reveals an interesting interplay between kinetic confinement and shifting of nucleation mechanisms. Overall, our findings highlight the need to treat nucleation stochastically rather deterministically to bridge the gap between theory and experiment.


title: An Analytical Formula for Stability Sensitivity Using SDP Dual

abstract: In this letter, we analytically investigate the sensitivity of stability index to its dependent variables in general power systems. Firstly, we give a small-signal model, the stability index is defined as the solution to a semidefinite program (SDP) based on the related Lyapunov equation. In case of stability, the stability index also characterizes the convergence rate of the system after disturbances. Then, by leveraging the duality of SDP, we deduce an analytical formula of the stability sensitivity to any entries of the system Jacobian matrix in terms of the SDP primal and dual variables. Unlike the traditional numerical perturbation method, the proposed sensitivity evaluation method is more accurate with a much lower computational burden. This letter applies a modified microgrid for comparative case studies. The results reveal the significant improvements on the accuracy and computational efficiency of stability sensitivity evaluation.


title: Self-similar axisymmetric flows with swirl

abstract: We consider an infinite vortex line in a fluid which interacts with a boundary surface as a simplified model for tornadoes. We study self-similar solutions for stationary axisymmetric Navier-Stokes equations and investigate the types of motion which are compatible with this structure when viscosity is non-negative. For viscosity equal to zero, we construct a class of explicit stationary solutions. We then consider solutions with slip discontinuity and show that they do not exist in this framework.


title: Measuring $\mu_{B}$ at the LHC with ALICE

abstract: The baryon chemical potential $\mu_B$ is a fundamental parameter for the statistical mechanical description of particle production in heavy-ion collisions: its value encodes the average net baryon content of the fireball at chemical freeze-out. The first $\mu_B$ measurement in high-energy Pb-Pb collisions at the LHC was published in 2018 in Nature, and it was found that $\mu_B=0.7\pm3.8$ MeV. In this contribution, an improved $\mu_B$ measurement based on the study of antiparticle-to-particle ratios for protons, $^3\mathrm{He}$ and hypertriton ($^3_\Lambda\mathrm{H}$) using the data collected by ALICE in Run 2 of the LHC, is presented. The isospin chemical potential is also determined via the $\pi^-/\pi^+$ ratio. The obtained $\mu_B$ represents the most precise measurement available.


title: LemonLDAP::NG -- A Full AAA Free Open Source WebSSO Solution

abstract: Nowadays, security is becoming a major issue and concern. More and more organizations like hospitals, metropolis or banks are under cyberattacks and have to improve their network infrastructure security. The first prerequisites are to authenticate users, to provide identity and to grant just the needed and useful accesses. These requirements can be solved by implementing a Single Sign-On (SSO) solution. It is an authentication scheme that permits a user to log in with a single identity to any of several related, yet independent, systems. It allows users to log in once and to access services without authenticating again. SSO solutions are classified depending on Authentication, Authorization, and Accounting features. The 'AAA' acronym defines a framework for intelligently controlling access to resources, enforcing security policies, auditing usage, and providing the information necessary to bill for services. These combined processes are considered important for effective network management and cybersecurity. LemonLDAP::NG (LL::NG) is a full AAA WebSSO solution. It implements all standard authentication and identity federation (IdF) protocols. The main LL::NG's advantages compared to other products are its plug-in engine and its advanced handlerbased protection mechanism that can be employed to protect Server2Server exchanges or to offer the SSO as a Service, a solution to implement a full DevOps architecture. LL::NG is a community and professional project mainly employed by the French government to secure Police, Finance or Justice Ministries and a French mobile operator IT infrastructures since 2010. But for several years, contributions come from all around the world and LL::NG is becoming more and more popular.


title: Simple diffusion: End-to-end diffusion for high resolution images

abstract: Currently, applying diffusion models in pixel space of high resolution images is difficult. Instead, existing approaches focus on diffusion in lower dimensional spaces (latent diffusion), or have multiple super-resolution levels of generation referred to as cascades. The downside is that these approaches add additional complexity to the diffusion framework. This paper aims to improve denoising diffusion for high resolution images while keeping the model as simple as possible. The paper is centered around the research question: How can one train a standard denoising diffusion models on high resolution images, and still obtain performance comparable to these alternate approaches? The four main findings are: 1) the noise schedule should be adjusted for high resolution images, 2) It is sufficient to scale only a particular part of the architecture, 3) dropout should be added at specific locations in the architecture, and 4) downsampling is an effective strategy to avoid high resolution feature maps. Combining these simple yet effective techniques, we achieve state-of-the-art on image generation among diffusion models without sampling modifiers on ImageNet.


title: Variable Selection for Doubly Robust Causal Inference

abstract: Confounding control is crucial and yet challenging for causal inference based on observational studies. Under the typical unconfoundness assumption, augmented inverse probability weighting (AIPW) has been popular for estimating the average causal effect (ACE) due to its double robustness in the sense it relies on either the propensity score model or the outcome mean model to be correctly specified. To ensure the key assumption holds, the effort is often made to collect a sufficiently rich set of pretreatment variables, rendering variable selection imperative. It is well known that variable selection for the propensity score targeted for accurate prediction may produce a variable ACE estimator by including the instrument variables. Thus, many recent works recommend selecting all outcome predictors for both confounding control and efficient estimation. This article shows that the AIPW estimator with variable selection targeted for efficient estimation may lose the desirable double robustness property. Instead, we propose controlling the propensity score model for any covariate that is a predictor of either the treatment or the outcome or both, which preserves the double robustness of the AIPW estimator. Using this principle, we propose a two-stage procedure with penalization for variable selection and the AIPW estimator for estimation. We show the proposed procedure benefits from the desirable double robustness property. We evaluate the finite-sample performance of the AIPW estimator with various variable selection criteria through simulation and an application.


title: Experimental challenges for high-mass matter-wave interference with nanoparticles

abstract: We discuss recent advances towards matter-wave interference experiments with free beams of metallic and dielectric nanoparticles. They require a brilliant source, an efficient detection scheme and a coherent method to divide the de Broglie waves associated with these clusters: We describe an approach based on a magnetron sputtering source which ejects an intense cluster beam with a wide mass dispersion but a small velocity spread of 10%. The source is universal as it can be used with all conducting and many semiconducting or even insulating materials. Here we focus on metals and dielectrics with a low work function of the bulk and thus a low cluster ionization energy. This allows us to realize photoionization gratings as coherent matter-wave beam splitters and also to realize an efficient ionization detection scheme. These new methods are now combined in an upgraded Talbot-Lau interferometer with three 266 nm depletion gratings. We here describe the experimental boundary conditions and how to realize them in the lab. This next generation of near-field interferometers shall allow us to soon push the limits of matter-wave interference to masses up to 10 megadaltons.


title: How flexible electrification can integrate fluctuating renewables

abstract: To phase-out fossil fuels, energy systems must shift to renewable electricity as the main source of primary energy. In this paper, we analyze how electrification can support the integration of fluctuating renewables, like wind and PV, and mitigate the need for storage and thermal backup plants. Using a cost minimizing model for system planning, we find substantial benefits of electricity demand in heating, transport, and industry adapting to supply. In Germany, flexible demand halves the residual peak-load and the residual demand and reduces excess generation by 80%. Flexible operation of electrolyzers has the most significant impact accounting for 42% of the reduction in residual peak-load and 59% in residual demand. District heating networks and BEVs also provide substantial flexibility, while the contribution of space and process heating is negligible. The results are robust to restrictions on the expansion of the transmission grid.


title: Joint data rate and EMF exposure analysis in Manhattan environments: stochastic geometry and ray tracing approaches

abstract: The objective of this study is to jointly analyze the data rate and electromagnetic field (EMF) exposure in urban environments. Capitalizing on stochastic geometry (SG), a network level analysis is performed by modelling these environments via Manhattan Poisson line processes (MPLP). Using this framework, a number of performance metrics are derived: first moments, marginal distributions and joint distributions of the data rate and exposure. In addition, the original Manhattan model is generalized to include advanced features: corner diffraction, presence of potential blockages in streets, and users positioned at crossroads. As a second approach, deterministic ray tracing (RT) is utilized to compute the same metrics. The two methods are shown to provide close results on the condition that the model parameters are coherently selected. Furthermore, the numerical results enable to gain insight into several aspects: the role of the propagation mechanisms in the performance metrics, existing trade-offs between the rate and exposure requirements, as well as the impact of the user location (at a crossroad or in a single street). (This work has been submitted to the IEEE for possible publication. Copyright may be transferred without notice, after which this version may no longer be accessible)


title: Rapidity distribution within the defocusing non-linear Schr\"odinger equation model

abstract: We consider the classical field integrable system whose evolution equation is the nonlinear Schr\"odinger equation with defocusing non-linearities, which is the classical limit of the quantum Lieb-Liniger model. We propose a simple derivation of the relation between two sets of conserved quantities: on the one hand the trace of the monodromy matrix, parameterized by the spectral parameter and introduced in the inverse-scattering framework, and on the other hand the rapidity distribution, a concept imported from the Lieb-Liniger model. To do so we use the definition of the rapidity distribution as the asymptotic momentum distribution after an expansion. More precisely we use thought experiments implementing an expansion and we present two different ways to derive our result, based on different thought experiments which lead to different calculations.


title: Federated Learning over Coupled Graphs

abstract: Graphs are widely used to represent the relations among entities. When one owns the complete data, an entire graph can be easily built, therefore performing analysis on the graph is straightforward. However, in many scenarios, it is impractical to centralize the data due to data privacy concerns. An organization or party only keeps a part of the whole graph data, i.e., graph data is isolated from different parties. Recently, Federated Learning (FL) has been proposed to solve the data isolation issue, mainly for Euclidean data. It is still a challenge to apply FL on graph data because graphs contain topological information which is notorious for its non-IID nature and is hard to partition. In this work, we propose a novel FL framework for graph data, FedCog, to efficiently handle coupled graphs that are a kind of distributed graph data, but widely exist in a variety of real-world applications such as mobile carriers' communication networks and banks' transaction networks. We theoretically prove the correctness and security of FedCog. Experimental results demonstrate that our method FedCog significantly outperforms traditional FL methods on graphs. Remarkably, our FedCog improves the accuracy of node classification tasks by up to 14.7%.


title: Vision-Language Models Performing Zero-Shot Tasks Exhibit Gender-based Disparities

abstract: We explore the extent to which zero-shot vision-language models exhibit gender bias for different vision tasks. Vision models traditionally required task-specific labels for representing concepts, as well as finetuning; zero-shot models like CLIP instead perform tasks with an open-vocabulary, meaning they do not need a fixed set of labels, by using text embeddings to represent concepts. With these capabilities in mind, we ask: Do vision-language models exhibit gender bias when performing zero-shot image classification, object detection and semantic segmentation? We evaluate different vision-language models with multiple datasets across a set of concepts and find (i) all models evaluated show distinct performance differences based on the perceived gender of the person co-occurring with a given concept in the image and that aggregating analyses over all concepts can mask these concerns; (ii) model calibration (i.e. the relationship between accuracy and confidence) also differs distinctly by perceived gender, even when evaluating on similar representations of concepts; and (iii) these observed disparities align with existing gender biases in word embeddings from language models. These findings suggest that, while language greatly expands the capability of vision tasks, it can also contribute to social biases in zero-shot vision settings. Furthermore, biases can further propagate when foundational models like CLIP are used by other models to enable zero-shot capabilities.


title: Bracelets bases are theta bases

abstract: The skein algebra of a marked surface, possibly with punctures, admits the basis of (tagged) bracelet elements constructed by Fock-Goncharov and Musiker-Schiffler-Williams. As a cluster algebra, it also admits the theta basis of Gross-Hacking-Keel-Kontsevich, quantized by Davison-Mandel. We show that these two bases coincide (with a caveat for notched arcs in once-punctured tori). In unpunctured cases, one may consider the quantum skein algebra. We show that the quantized bases also coincide. Even for cases with punctures, we define quantum bracelets for the cluster algebras with coefficients, and we prove that these are again theta functions. On the corresponding cluster Poisson varieties (parameterizing framed $PGL_2$-local systems), we prove in general that the canonical coordinates of Fock-Goncharov, quantized by Bonahon-Wong and Allegretti-Kim, coincide with the associated (quantum) theta functions. Long-standing conjectures on strong positivity and atomicity follow as corollaries. Of potentially independent interest, we examine the behavior of cluster scattering diagrams under folding.


title: Optimal stopping: Bermudan strategies meet non-linear evaluations

abstract: We address an optimal stopping problem over the set of Bermudan-type strategies $\Theta$ (which we understand in a more general sense than the stopping strategies for Bermudan options in finance) and with non-linear operators (non-linear evaluations) assessing the rewards, under general assumptions on the non-linear operators $\rho$. We provide a characterization of the value family V in terms of what we call the ($\rho$,$\Theta$) -Snell envelope of the pay-off family. We establish a Dynamic Programming Principle. We provide an optimality criterion in terms of a ($\rho$,$\Theta$) -martingale property of V on a stochastic interval. We investigate the ($\rho$,$\Theta$)-martingale structure and we show that the ''first time'' when the value family coincides with the pay-off family is optimal. The reasoning simplifies in the case where there is a finite number n of pre-described stopping times, where n does not depend on the scenario $\omega$. We provide examples of non-linear operators entering our framework.


title: Galois cohomology and profinitely solitary Chevalley groups

abstract: For every number field and every Cartan Killing type, there is an associated split simple algebraic group. We examine whether the corresponding arithmetic subgroups are profinitely solitary so that the commensurability class of the profinite completion determines the commensurability class of the group among finitely generated residually finite groups. Assuming Grothendieck rigidity, we essentially solve the problem by Galois cohomological means.


title: Discovering and Mitigating Visual Biases through Keyword Explanation

abstract: Addressing biases in computer vision models is crucial for real-world AI deployments. However, mitigating visual biases is challenging due to their unexplainable nature, often identified indirectly through visualization or sample statistics, which necessitates additional human supervision for interpretation. To tackle this issue, we propose the Bias-to-Text (B2T) framework, which interprets visual biases as keywords. Specifically, we extract common keywords from the captions of mispredicted images to identify potential biases in the model. We then validate these keywords by measuring their similarity to the mispredicted images using a vision-language scoring model. The keyword explanation form of visual bias offers several advantages, such as a clear group naming for bias discovery and a natural extension for debiasing using these group names. Our experiments demonstrate that B2T can identify known biases, such as gender bias in CelebA, background bias in Waterbirds, and distribution shifts in ImageNet-R/C. Additionally, B2T uncovers novel biases in larger datasets, such as Dollar Street and ImageNet. For example, we discovered a contextual bias between "bee" and "flower" in ImageNet. We also highlight various applications of B2T keywords, including debiased training, CLIP prompting, and model comparison.


title: 130 years of spectroheliograms at Paris-Meudon observatories (1892-2022)

abstract: Broad-band observations of the solar photosphere began in Meudon in 1875 under the auspices of Jules Janssen. For his part, Henri Deslandres initiated imaging spectroscopy in 1892 at Paris observatory. He invented, concurrently with George Hale in Kenwood (USA) but quite independently, the spectroheliograph designed for monochromatic imagery of the solar atmosphere. Deslandres developed two kinds of spectrographs: the ''spectroh{\'e}liographe des formes'', i.e. the narrow bandpass instrument to reveal chromospheric structures (such as filaments, prominences, plages and active regions); and the ''spectroh{\'e}liographe des vitesses'', i.e. the section spectroheliograph to record line profiles of cross sections of the Sun with a 20''-30'' spatial step. This second apparatus was intended to measure the velocities (more exactly the Dopplershifts) of dynamic features. Deslandres moved to Meudon in 1898 with his instruments and tested various combinations, in order to improve the spectral and spatial resolutions, leading to the final large quadruple spectroheliograph in 1908. CaII K systematic observations started at this date and were followed in 1909 by H$\alpha$. The service was organized by Lucien d'Azambuja and continues today. Optical and mechanical parts were revisited in 1989 and the digital technology was introduced in 2002. Full line profiles are registered for all pixels of the Sun since 2018, so that the instrument produces now data-cubes. The collection is one of the longest available (more than 100 000 observations). It contains sporadic images from 1893 to 1907 (during the development phase) and systematic observations along 10 solar cycles since 1908, in H$\alpha$ and CaII K lines. This paper summarizes 130 years of observations, instrumental research and technical advances.


title: Klein-Gordon Equation with Self-Interaction $\lambda\phi^4$ and Arbitrary Spherical Source Terms

abstract: The Klein-Gordon equation for a scalar field sourced by a spherically symmetric background is an interesting second-order differential equation with applications in particle physics, astrophysics, and elsewhere. Here we present solutions for generic source density profiles in the case where the scalar field has no interactions or a mass term. For a $\lambda\phi^4$ self-interaction term, we provide the necessary expressions for a numerical computation, an algorithm to numerically match the initial conditions from infinity to the origin, and an accurate guess of that initial condition. We also provide code to perform the numerical calculations that can be adapted for arbitrary density profiles.


title: Covariant Light-Front Approach for $B_c$ Decays into Charmonium: Implications on Form Factors and Branching Ratios

abstract: In this work, we investigate the form factors of $B_c$ decays into $J/\Psi, \psi(2S,3S)$, $\eta_c, \eta_c(2S,3S), \chi_{c0}, \chi_{c1}, h_c$ and $X(3872)$ mesons in the covariant light-front quark model (CLFQM). For the purpose of the branching ratio calculation, the form factors of $B_c\to D^{(*)}, D^{(*)}_s$ transitions are also included. In order to obtain the form factors for the physical transition processes, we need extend these form factors from the space-like region to the time-like region. The $q^2$-dependence for each transition form factor is also plotted. Then, under the factorization method, we calculate the branching ratios of 80 $B_c$ decay channels with a charmonium involved in each mode. Most of our predictions are comparable with the results given by most of other approaches. As to the decays with the radially excited state S-wave charmonia, such as $\psi(2S,3S)$ and $\eta_c(2S,3S)$, involved, there are two sets of parameters for their light-front wave functions, corresponding to scenario I (SI) and scenario II (SII), are adopted to calculate the branching ratios. Comparing with the future experimental data, one can discriminate which parameters are more favored.


title: On the Mathematics of Diffusion Models

abstract: This paper gives direct derivations of the differential equations and likelihood formulas of diffusion models assuming only knowledge of Gaussian distributions. A VAE analysis derives both forward and backward stochastic differential equations (SDEs) as well as non-variational integral expressions for likelihood formulas. A score-matching analysis derives the reverse diffusion ordinary differential equation (ODE) and a family of reverse-diffusion SDEs parameterized by noise level. The paper presents the mathematics directly with attributions saved for a final section.


title: Functional Differences of MIP (Lens Fiber Major Intrinsic Protein) Between Animals and Birds

abstract: The major intrinsic protein (MIP) of the lens fiber cell membrane plays a role in lens biogenesis and maintenance. Its polypeptide chains span the membrane six times, and the protein is naturally divided into two halves. We use modern sequence analysis to identify differences between halves for humans (common to animals) and chickens (common to birds).


title: Device JNEEG to convert Jetson Nano to brain-Computer interfaces. Short report

abstract: Artificial intelligence has made significant advances in recent years and this has had an impact on the field of neuroscience. As a result, different architectures have been implemented to extract features from EEG signals in real time. However, the use of such architectures requires a lot of computing power. As a result, EEG devices typically act only as transmitters of EEG data, with the actual data processing taking place in a third-party device. That's expensive and not compact. In this paper, we present a shield that allows a single-board computer, the Jetson Nano from Nvidia, to be converted into a brain-computer interface and, most importantly, the Jetson Nano's capabilities allow machine learning tools to be used directly on the data collection device. Here we present the test results of the developed device. https://github.com/HackerBCI/EEG-with-JetsonNano


title: Towards 6G Hyper-Connectivity: Vision, Challenges, and Key Enabling Technologies

abstract: Technology forecasts anticipate a new era in which massive numbers of humans, machines, and things are connected to wireless networks to sense, process, act, and communicate with the surrounding environment in a real-time manner. To make the visions come true, the sixth generation (6G) wireless networks should be hyper-connected, implying that there are no constraints on the data rate, coverage, and computing. In this article, we first identify the main challenges for 6G hyper-connectivity, including terabits-per-second (Tbps) data rates for immersive user experiences, zero coverage-hole networks, and pervasive computing for connected intelligence. To overcome these challenges, we highlight key enabling technologies for 6G such as distributed and intelligence-aware cell-free massive multi-input multioutput (MIMO) networks, boundless and fully integrated terrestrial and non-terrestrial networks, and communication-aware distributed computing for computation-intensive applications. We further illustrate and discuss the hyper-connected 6G network architecture along with open issues and future research directions.


title: uHelp: intelligent volunteer search for mutual help communities

abstract: When people need help with their day-to-day activities, they turn to family, friends or neighbours. But despite an increasingly networked world, technology falls short in finding suitable volunteers. In this paper, we propose uHelp, a platform for building a community of helpful people and supporting community members find the appropriate help within their social network. Lately, applications that focus on finding volunteers have started to appear, such as Helpin or Facebook's Community Help. However, what distinguishes uHelp from existing applications is its trust-based intelligent search for volunteers. Although trust is crucial to these innovative social applications, none of them have seriously achieved yet a trust-building solution such as that of uHelp. uHelp's intelligent search for volunteers is based on a number of AI technologies: (1) a novel trust-based flooding algorithm that navigates one's social network looking for appropriate trustworthy volunteers; (2) a novel trust model that maintains the trustworthiness of peers by learning from their similar past experiences; and (3) a semantic similarity model that assesses the similarity of experiences. This article presents the uHelp application, describes the underlying AI technologies that allow uHelp find trustworthy volunteers efficiently, and illustrates the implementation details. uHelp's initial prototype has been tested with a community of single parents in Barcelona, and the app is available online at both Apple Store and Google Play.


title: Finding Regions of Counterfactual Explanations via Robust Optimization

abstract: Counterfactual explanations play an important role in detecting bias and improving the explainability of data-driven classification models. A counterfactual explanation (CE) is a minimal perturbed data point for which the decision of the model changes. Most of the existing methods can only provide one CE, which may not be achievable for the user. In this work we derive an iterative method to calculate robust CEs, i.e. CEs that remain valid even after the features are slightly perturbed. To this end, our method provides a whole region of CEs allowing the user to choose a suitable recourse to obtain a desired outcome. We use algorithmic ideas from robust optimization and prove convergence results for the most common machine learning methods including logistic regression, decision trees, random forests, and neural networks. Our experiments show that our method can efficiently generate globally optimal robust CEs for a variety of common data sets and classification models.


title: Unitary anchored planar algebras

abstract: In our previous article [arXiv:1607.06041], we established an equivalence between pointed pivotal module tensor categories and anchored planar algebras. This article introduces the notion of unitarity for both module tensor categories and anchored planar algebras, and establishes the unitary analog of the above equivalence. Our constructions use Baez's 2-Hilbert spaces (i.e., semisimple $C^*$-categories equipped with unitary traces), the unitary Yoneda embedding, and the notion of unitary adjunction for dagger functors between 2-Hilbert spaces.


title: Hybrid Protection of Digital FIR Filters

abstract: A digital Finite Impulse Response (FIR) filter is a ubiquitous block in digital signal processing applications and its behavior is determined by its coefficients. To protect filter coefficients from an adversary, efficient obfuscation techniques have been proposed, either by hiding them behind decoys or replacing them by key bits. In this article, we initially introduce a query attack that can discover the secret key of such obfuscated FIR filters, which could not be broken by existing prominent attacks. Then, we propose a first of its kind hybrid technique, including both hardware obfuscation and logic locking using a point function for the protection of parallel direct and transposed forms of digital FIR filters. Experimental results show that the hybrid protection technique can lead to FIR filters with higher security while maintaining the hardware complexity competitive or superior to those locked by prominent logic locking methods. It is also shown that the protected multiplier blocks and FIR filters are resilient to existing attacks. The results on different forms and realizations of FIR filters show that the parallel direct form FIR filter has a promising potential for a secure design.


title: Revisiting Temporal Modeling for CLIP-based Image-to-Video Knowledge Transferring

abstract: Image-text pretrained models, e.g., CLIP, have shown impressive general multi-modal knowledge learned from large-scale image-text data pairs, thus attracting increasing attention for their potential to improve visual representation learning in the video domain. In this paper, based on the CLIP model, we revisit temporal modeling in the context of image-to-video knowledge transferring, which is the key point for extending image-text pretrained models to the video domain. We find that current temporal modeling mechanisms are tailored to either high-level semantic-dominant tasks (e.g., retrieval) or low-level visual pattern-dominant tasks (e.g., recognition), and fail to work on the two cases simultaneously. The key difficulty lies in modeling temporal dependency while taking advantage of both high-level and low-level knowledge in CLIP model. To tackle this problem, we present Spatial-Temporal Auxiliary Network (STAN) -- a simple and effective temporal modeling mechanism extending CLIP model to diverse video tasks. Specifically, to realize both low-level and high-level knowledge transferring, STAN adopts a branch structure with decomposed spatial-temporal modules that enable multi-level CLIP features to be spatial-temporally contextualized. We evaluate our method on two representative video tasks: Video-Text Retrieval and Video Recognition. Extensive experiments demonstrate the superiority of our model over the state-of-the-art methods on various datasets, including MSR-VTT, DiDeMo, LSMDC, MSVD, Kinetics-400, and Something-Something-V2. Codes will be available at https://github.com/farewellthree/STAN


title: Synthesizing Specifications

abstract: Every program should be accompanied by a specification that describes important aspects of the code's behavior, but writing good specifications is often harder than writing the code itself. This paper addresses the problem of synthesizing specifications automatically, guided by user-supplied inputs of two kinds: i) a query posed about a set of function definitions, and ii) a domain-specific language L in which the extracted property is to be expressed (we call properties in the language L-properties). Each of the property is a best L-property for the query: there is no other L-property that is strictly more precise. Furthermore, the set of synthesized L-properties is exhaustive: no more L-properties can be added to it to make the conjunction more precise. We implemented our method in a tool, Spyro. The ability to modify both the query and L provides a Spyro user with ways to customize the kind of specification to be synthesized. We use this ability to show that Spyro can be used in a variety of applications, such as mining program specifications, performing abstract-domain operations, and synthesizing algebraic properties of program modules.


title: Dual Box Embeddings for the Description Logic EL++

abstract: OWL ontologies, whose formal semantics are rooted in Description Logic (DL), have been widely used for knowledge representation. Similar to Knowledge Graphs (KGs), ontologies are often incomplete, and maintaining and constructing them has proved challenging. While classical deductive reasoning algorithms use the precise formal semantics of an ontology to predict missing facts, recent years have witnessed growing interest in inductive reasoning techniques that can derive probable facts from an ontology. Similar to KGs, a promising approach is to learn ontology embeddings in a latent vector space, while additionally ensuring they adhere to the semantics of the underlying DL. While a variety of approaches have been proposed, current ontology embedding methods suffer from several shortcomings, especially that they all fail to faithfully model one-to-many, many-to-one, and many-to-many relations and role inclusion axioms. To address this problem and improve ontology completion performance, we propose a novel ontology embedding method named Box$^2$EL for the DL EL++, which represents both concepts and roles as boxes (i.e., axis-aligned hyperrectangles), and models inter-concept relationships using a bumping mechanism. We theoretically prove the soundness of Box$^2$EL and conduct an extensive experimental evaluation, achieving state-of-the-art results across a variety of datasets on the tasks of subsumption prediction, role assertion prediction, and approximating deductive reasoning.


title: Robust multi-party semi-quantum private comparison protocols with decoherence-free states against collective noises

abstract: Based on decoherence-free states, two multi-party semi-quantum private comparison protocols are proposed to counteract collective noises. One could resist the collective-dephasing noise well, whereas the other could resist the collective-rotation noise. Multiple classical participants could compare their secret information by performing the proposed protocols once. It is manifested that the proposed protocols could resist both external attacks and internal attacks. Besides, the operations of our protocols were simulated on the IBM Quantum Experience.


title: Bayesian Detection of Mesoscale Structures in Pathway Data on Graphs

abstract: Mesoscale structures are an integral part of the abstraction and analysis of complex systems. They reveal a node's function in the network, and facilitate our understanding of the network dynamics. For example, they can represent communities in social or citation networks, roles in corporate interactions, or core-periphery structures in transportation networks. We usually detect mesoscale structures under the assumption of independence of interactions. Still, in many cases, the interactions invalidate this assumption by occurring in a specific order. Such patterns emerge in pathway data; to capture them, we have to model the dependencies between interactions using higher-order network models. However, the detection of mesoscale structures in higher-order networks is still under-researched. In this work, we derive a Bayesian approach that simultaneously models the optimal partitioning of nodes in groups and the optimal higher-order network dynamics between the groups. In synthetic data we demonstrate that our method can recover both standard proximity-based communities and role-based groupings of nodes. In synthetic and real world data we show that it can compete with baseline techniques, while additionally providing interpretable abstractions of network dynamics.


title: Partial and complete qubit estimation using a single observable: optimization and quantum simulation

abstract: Quantum state estimation is an important task of many quantum information protocols. We consider two families of unitary evolution operators, one with a one-parameter and the other with a two-parameter, which enable the estimation of a single spin component and all spin components, respectively, of a two-level quantum system. To evaluate the tomographic performance, we use the quantum tomographic transfer function (qTTF), which is calculated as the average over all pure states of the trace of the inverse of the Fisher information matrix. Our goal is to optimize the qTTF for both estimation models. We find that the minimum qTTF for the one-parameter model is achieved when the entangling power of the corresponding unitary operator is at its maximum. The models were implemented on an IBM quantum processing unit, and while the estimation of a single-spin component was successful, the whole spin estimation displayed relatively large errors due to the depth of the associated circuit. To address this issue, we propose a new scalable circuit design that improves qubit state tomography when run on an IBM quantum processing unit.


title: Dark Photon Bremsstrahlung and Ultra-High-Energy Cosmic Ray

abstract: A dark photon is a hypothetical particle that is similar to a photon with a small mass and interacts very weakly with ordinary matter through a kinetic mixing with the ordinary photon. In this paper, we propose a new way to probe the existence of dark photons through the Bremsstrahlung effect on ultra-high-energy cosmic rays (UHECRs). Using the standard soft photon calculation, we demonstrate that the dark photon Bremsstrahlung process could lead to significant energy loss for protons in the ultralight dark photon scenario, and that this effect could be tested against observational data of UHECRs. We also provide exclusion limits which can be compared with existing limits on ultralight dark photons.


title: Bending fluctuations in semiflexible, inextensible, slender filaments in Stokes flow: towards a spectral discretization

abstract: Semiflexible slender filaments are ubiquitous in nature and cell biology, including in the cytoskeleton, where reorganization of actin filaments allows the cell to move and divide. Most methods for simulating semiflexible inextensible fibers/polymers are based on discrete (bead-link or blob-link) models, which become prohibitively expensive in the slender limit when hydrodynamics is accounted for. In this paper, we develop a novel coarse-grained approach for simulating fluctuating slender filaments with hydrodynamic interactions. Our approach is tailored to relatively stiff fibers whose persistence length is comparable to or larger than their length, and is based on three major contributions. First, we discretize the filament centerline using a coarse non-uniform Chebyshev grid, on which we formulate a discrete constrained Gibbs-Boltzmann equilibrium distribution and overdamped Langevin equation. Second, we define the hydrodynamic mobility at each point on the filament as an integral of the Rotne-Prager-Yamakawa kernel along the centerline, and apply a spectrally-accurate quadrature to accurately resolve the hydrodynamics. Third, we propose a novel midpoint temporal integrator which can correctly capture the Ito drift terms that arise in the overdamped Langevin equation. We verify that the equilibrium distribution for the Chebyshev grid is a good approximation of the blob-link one, and that our temporal integrator samples the equilibrium distribution for sufficiently small time steps. We also study the dynamics of relaxation of an initially straight filament, and find that as few as 12 Chebyshev nodes provides a good approximation to the dynamics while allowing a time step size two orders of magnitude larger than a resolved blob-link simulation. We conclude by studying how bending fluctuations aid the process of bundling in cross-linked networks of semiflexible fibers.


title: SQ Lower Bounds for Random Sparse Planted Vector Problem

abstract: Consider the setting where a $\rho$-sparse Rademacher vector is planted in a random $d$-dimensional subspace of $R^n$. A classical question is how to recover this planted vector given a random basis in this subspace. A recent result by [ZSWB21] showed that the Lattice basis reduction algorithm can recover the planted vector when $n\geq d+1$. Although the algorithm is not expected to tolerate inverse polynomial amount of noise, it is surprising because it was previously shown that recovery cannot be achieved by low degree polynomials when $n\ll \rho^2 d^{2}$ [MW21]. A natural question is whether we can derive an Statistical Query (SQ) lower bound matching the previous low degree lower bound in [MW21]. This will - imply that the SQ lower bound can be surpassed by lattice based algorithms; - predict the computational hardness when the planted vector is perturbed by inverse polynomial amount of noise. In this paper, we prove such an SQ lower bound. In particular, we show that super-polynomial number of VSTAT queries is needed to solve the easier statistical testing problem when $n\ll \rho^2 d^{2}$ and $\rho\gg \frac{1}{\sqrt{d}}$. The most notable technique we used to derive the SQ lower bound is the almost equivalence relationship between SQ lower bound and low degree lower bound [BBH+20, MW21].


title: A benchmark for toxic comment classification on Civil Comments dataset

abstract: Toxic comment detection on social media has proven to be essential for content moderation. This paper compares a wide set of different models on a highly skewed multi-label hate speech dataset. We consider inference time and several metrics to measure performance and bias in our comparison. We show that all BERTs have similar performance regardless of the size, optimizations or language used to pre-train the models. RNNs are much faster at inference than any of the BERT. BiLSTM remains a good compromise between performance and inference time. RoBERTa with Focal Loss offers the best performance on biases and AUROC. However, DistilBERT combines both good AUROC and a low inference time. All models are affected by the bias of associating identities. BERT, RNN, and XLNet are less sensitive than the CNN and Compact Convolutional Transformers.


title: Three facets of mathematical cancer biology research

abstract: Cancer, as the uncontrollable cell growth, is related to many branches of biology. In this review, we will discuss three mathematical approaches for studying cancer biology: population dynamics, gene regulation, and developmental biology. If we understand all biochemical mechanisms of cancer cells, we can directly calculate how the cancer cell population behaves. Inversely, just from the cell count data, we can use population dynamics to infer the mechanisms. Cancer cells emerge from certain genetic mutations, which affect the expression of other genes through gene regulation. Therefore, knowledge of gene regulation can help with cancer prevention and treatment. Developmental biology studies acquisition and maintenance of normal cellular function, which is inspiring to cancer biology in the opposite direction. Besides, cancer cells implanted into an embryo can differentiate into normal tissues, which provides a possible approach of curing cancer. This review illustrates the role of mathematics in these three fields: what mathematical models are used, what data analysis tools are applied, and what mathematical theorems need to be proved. We hope that applied mathematicians and even pure mathematicians can find meaningful mathematical problems related to cancer biology.


title: Joint data rate and EMF exposure analysis in user-centric cell-free massive MIMO networks

abstract: The objective of this study is to analyze the statistics of the data rate and of the incident power density (IPD) in user-centric cell-free networks (UCCFNs). To this purpose, our analysis proposes a number of performance metrics derived using stochastic geometry (SG). On the one hand, the first moments and the marginal distribution of the IPD are calculated. On the other hand, bounds on the joint distributions of rate and IPD are provided for two scenarios: when it is relevant to obtain IPD values above a given threshold (for energy harvesting purposes), and when these values should instead remain below the threshold (for public health reasons). In addition to deriving these metrics, this work incorporates features related to UCCFNs which are new in SG models: a power allocation based on collective channel statistics, as well as the presence of potential overlaps between adjacent clusters. Our numerical results illustrate the achievable trade-offs between the rate and IPD performance. For the considered system, these results also highlight the existence of an optimal node density maximizing the joint distributions. (This work has been submitted to the IEEE for possible publication. Copyright may be transferred without notice, after which this version may no longer be accessible.)


title: A Cloud-Edge Continuum Experimental Methodology Applied to a 5G Core Study

abstract: There is an increasing interest in extending traditional cloud-native technologies, such as Kubernetes, outside the data center to build a continuum towards the edge and between. However, traditional resource orchestration algorithms do not work well in this case, and it is also difficult to test applications for a heterogeneous cloud infrastructure without actually building it. To address these challenges, we propose a new methodology to aid in deploying, testing, and analyzing the effects of microservice placement and scheduling in a heterogeneous Cloud environment. With this methodology, we can investigate any combination of deployment scenarios and monitor metrics in accordance with the placement of microservices in the cloud-edge continuum. Edge devices may be simulated, but as we use Kubernetes, any device which can be attached to a Kubernetes cluster could be used. In order to demonstrate our methodology, we have applied it to the problem of network function placement of an open-source 5G core implementation.


title: Sustainability is Stratified: Toward a Better Theory of Sustainable Software Engineering

abstract: Background: Sustainable software engineering (SSE) means creating software in a way that meets present needs without undermining our collective capacity to meet our future needs. It is typically conceptualized as several intersecting dimensions or ``pillars'' -- environmental, social, economic, technical and individual. However; these pillars are theoretically underdeveloped and require refinement. Objectives: The objective of this paper is to generate a better theory of SSE. Method: First, a scoping review was conducted to understand the state of research on SSE and identify existing models thereof. Next, a meta-synthesis of qualitative research on SSE was conducted to critique and improve the existing models identified. Results: 961 potentially relevant articles were extracted from five article databases. These articles were de-duplicated and then screened independently by two screeners, leaving 243 articles to examine. Of these, 109 were non-empirical, the most common empirical method was systematic review, and no randomized controlled experiments were found. Most papers focus on ecological sustainability (158) and the sustainability of software products (148) rather than processes. A meta-synthesis of 36 qualitative studies produced several key propositions, most notably, that sustainability is stratified (has different meanings at different levels of abstraction) and multisystemic (emerges from interactions among multiple social, technical, and sociotechnical systems). Conclusion: The academic literature on SSE is surprisingly non-empirical. More empirical evaluations of specific sustainability interventions are needed. The sustainability of software development products and processes should be conceptualized as multisystemic and stratified, and assessed accordingly.


title: Overcoming Inverse-square Law of Gravitation and Luminosity for Interstellar Hyperspace Navigation by Celestial Objects

abstract: In this paper, we propose novel methods to increase total luminosity and decrease error propagation during subluminal or luminal interstellar transits by navigation with star maps. We demonstrate with theoretical and simulation models in first order approximation results that are correlated to eccentric and concentric of light bands, ebbing and ascending of light streaks, and centric of celestial distance. Finally our models show that both near-field and far-field celestial objects enhance error correction and navigation vectors even when the traveling speed is approaching the speed-of-light. We demonstrate that our method of varying a spaceship's primary axis rotational rate and angle of approach are superior than traveling at a straight line, especially when the traveling speed is approaching or exceeding the speed of light.


title: The Method of Harmonic Balance for the Giesekus Model under Oscillatory Shear

abstract: The method of harmonic balance (HB) is a spectrally accurate method used to obtain periodic steady state solutions to dynamical systems subjected to periodic perturbations. We adapt HB to solve for the stress response of the Giesekus model under large amplitude oscillatory shear (LAOS) deformation. HB transforms the system of differential equations to a set of nonlinear algebraic equations in the Fourier coefficients. Convergence studies find that the difference between the HB and true solutions decays exponentially with the number of harmonics ($H$) included in the ansatz as $e^{-m H}$. The decay coefficient $m$ decreases with increasing strain amplitude, and exhibits a "U" shaped dependence on applied frequency. The computational cost of HB increases slightly faster than linearly with $H$. The net result of rapid convergence and modest increase in computational cost with increasing $H$ implies that HB outperforms the conventional method of using numerical integration to solve differential constitutive equations under oscillatory shear. Numerical experiments find that HB is simultaneously about three orders of magnitude cheaper, and several orders of magnitude more accurate than numerical integration. Thus, it offers a compelling value proposition for parameter estimation or model selection.


title: Modelling sample-to-sample fluctuations of the gap ratio in finite disordered spin chains

abstract: We study sample-to-sample fluctuations of the gap ratio in the energy spectra in finite disordered spin chains. The chains are described by the random-field Ising model and the Heisenberg model. We show that away from the ergodic/nonergodic crossover, the fluctuations are correctly captured by the Rosenzweig-Porter (RP) model. However, fluctuations in the microscopic models significantly exceed those in the RP model in the vicinity of the crossover. We show that upon introducing an extension to the RP model, one correctly reproduces the fluctuations in all regimes, i.e., in the ergodic and nonergodic regimes as well as at the crossover between them. Finally, we demonstrate how to reduce the sample-to-sample fluctuations in both studied microscopic models.

categories: cond-mat.stat-mech cond-mat.dis-nn cond-mat.str-el quant-ph


title: Effective Projections on Group Shifts to Decide Properties of Group Cellular Automata

abstract: Many decision problems concerning cellular automata are known to be decidable in the case of algebraic cellular automata, that is, when the state set has an algebraic structure and the automaton acts as a morphism. The most studied cases include finite fields, finite commutative rings and finite commutative groups. In this paper, we provide methods to generalize these results to the broader case of group cellular automata, that is, the case where the state set is a finite (possibly non-commutative) finite group. The configuration space is not even necessarily the full shift but a subshift -- called a group shift -- that is a subgroup of the full shift on Z^d, for any number d of dimensions. We show, in particular, that injectivity, surjectivity, equicontinuity, sensitivity and nilpotency are decidable for group cellular automata, and non-transitivity is semi-decidable. Injectivity always implies surjectivity, and jointly periodic points are dense in the limit set. The Moore direction of the Garden-of-Eden theorem holds for all group cellular automata, while the Myhill direction fails in some cases. The proofs are based on effective projection operations on group shifts that are, in particular, applied on the set of valid space-time diagrams of group cellular automata. This allows one to effectively construct the traces and the limit sets of group cellular automata. A preliminary version of this work was presented at the conference Mathematical Foundations of Computer Science 2020.


title: SNR/CRB-Constrained Joint Beamforming and Reflection Designs for RIS-ISAC Systems

abstract: In this paper, we investigate the integration of integrated sensing and communication (ISAC) and reconfigurable intelligent surfaces (RIS) for providing wide-coverage and ultra-reliable communication and high-accuracy sensing functions. In particular, we consider an RIS-assisted ISAC system in which a multi-antenna base station (BS) simultaneously performs multi-user multi-input single-output (MU-MISO) communications and radar sensing with the assistance of an RIS. We focus on both target detection and parameter estimation performance in terms of the signal-to-noise ratio (SNR) and Cramer-Rao bound (CRB), respectively. Two optimization problems are formulated for maximizing the achievable sum-rate of the multi-user communications under an SNR constraint for target detection or a CRB constraint for parameter estimation, the transmit power budget, and the unit-modulus constraint of the RIS reflection coefficients. Efficient algorithms are developed to solve these two complicated non-convex problems. Extensive simulation results demonstrate the advantages of the proposed joint beamforming and reflection designs compared with other schemes. In addition, it is shown that more RIS reflection elements bring larger performance gains for direct-of-arrival (DoA) estimation than for target detection.


title: FedHQL: Federated Heterogeneous Q-Learning

abstract: Federated Reinforcement Learning (FedRL) encourages distributed agents to learn collectively from each other's experience to improve their performance without exchanging their raw trajectories. The existing work on FedRL assumes that all participating agents are homogeneous, which requires all agents to share the same policy parameterization (e.g., network architectures and training configurations). However, in real-world applications, agents are often in disagreement about the architecture and the parameters, possibly also because of disparate computational budgets. Because homogeneity is not given in practice, we introduce the problem setting of Federated Reinforcement Learning with Heterogeneous And bLack-box agEnts (FedRL-HALE). We present the unique challenges this new setting poses and propose the Federated Heterogeneous Q-Learning (FedHQL) algorithm that principally addresses these challenges. We empirically demonstrate the efficacy of FedHQL in boosting the sample efficiency of heterogeneous agents with distinct policy parameterization using standard RL tasks.


title: Conformal Prediction for Trustworthy Detection of Railway Signals

abstract: We present an application of conformal prediction, a form of uncertainty quantification with guarantees, to the detection of railway signals. State-of-the-art architectures are tested and the most promising one undergoes the process of conformalization, where a correction is applied to the predicted bounding boxes (i.e. to their height and width) such that they comply with a predefined probability of success. We work with a novel exploratory dataset of images taken from the perspective of a train operator, as a first step to build and validate future trustworthy machine learning models for the detection of railway signals.


title: Linked partition ideals and a family of quadruple summations

abstract: Recently, $4$-regular partitions into distinct parts are connected with a family of overpartitions. In this paper, we provide a uniform extension of two relations due to Andrews for the two types of partitions. Such an extension is made possible with recourse to a new trivariate Rogers--Ramanujan type identity, which concerns a family of quadruple summations appearing as generating functions for the aforementioned overpartitions. More interestingly, the derivation of this Rogers--Ramanujan type identity is relevant to a certain well-poised basic hypergeometric series.


title: Optical orientation of excitons in a longitudinal magnetic field in indirect band gap (In,Al)As/AlAs quantum dots with type-I band alignment

abstract: The exciton recombination and spin dynamics in (In,Al)As/AlAs quantum dots (QDs) with indirect band gap and type-I band alignment are studied. The negligible (less than $0.2~\mu$eV) value of the anisotropic exchange interaction in these QDs prevents a mixing of the excitonic basis states with pure spin and allows for the formation of spin polarized bright excitons for quasi-resonant circularly polarized excitation. In a longitudinal magnetic field, the recombination and spin dynamics of the excitons are controlled by the hyperfine interaction between the electron and nuclear spins. A QD blockade by dark excitons is observed in magnetic field eliminating the impact of the nuclear spin fluctuations. A kinetic equation model, which accounts for the population dynamics of the bright and dark exciton states as well as for the spin dynamics, has been developed, which allows for a quantitative description of the experimental data.


title: Gravitational wave energy-momentum tensor and radiated power in a strongly curved background

abstract: Allowing for the possibility of extra dimensions, there are two paradigms: either the extra dimensions are hidden from observations by being compact and small as in Kaluza-Klein scenarios, or the extra dimensions are large/non-compact and undetectable due to a large warping as in the Randall-Sundrum scenario. In the latter case, the five-dimensional background has a large curvature, and Isaacson's construction of the gravitational energy-momentum tensor, which relies on the assumption that the wavelength of the metric fluctuations is much smaller than the curvature length of the background spacetime, cannot be used. In this paper, we construct the gravitational energy-momentum tensor in a strongly curved background such as Randall-Sundrum. We perform a scalar-vector-tensor decomposition of the metric fluctuations with respect to the $SO(1,3)$ background isometry and construct the covariantly-conserved gravitational energy-momentum tensor out of the gauge-invariant metric fluctuations. We give a formula for the power radiated by gravitational waves and verify it in known cases. In using the gauge-invariant metric fluctuations to construct the gravitational energy-momentum tensor we follow previous work done in cosmology. Our framework has applicability beyond the Randall-Sundrum model.


title: Radiation from polarized vacuum in a laser-particle collision

abstract: The probability of photon emission of a charged particle traversing a strong field becomes modified if vacuum polarization is considered. This feature is important for fundamental quantum electrodynamics processes present in extreme astrophysical environments and can be studied in a collision of a charged particle with a strong laser field. We show that for today's available 700 GeV (6.5 TeV) protons and the field provided by the next generation of lasers, the emission spectra peak is enhanced due to vacuum polarization effect by 30% (suppressed by 65%) in comparison to the traditionally considered Compton process. This striking phenomenon offers a novel path to the laboratory-based manifestation of vacuum polarization.

categories: hep-ph astro-ph.HE hep-th physics.plasm-ph


title: Production measurements of heavy quarks in pp collisions at $\sqrt{s}$ = 13 TeV with the ALICE detector

abstract: Heavy-flavour production measurements in pp collisions are important tools to test theoretical models based on perturbative quantum chromodymanics (pQCD) and to investigate the heavy-quark hadronization mechanisms. In ALICE, heavy quarks are measured via the hadronic and electronic decay channels at central rapidity (-0.9 $<$ $\textit{y}$ $<$ 0.9) and via the muon decay channels at forward rapidity (-4 $<$ $\textit{y}$ $<$ -2.5). In this contribution, the production cross-section measurements via the leptonic decay of heavy-flavour hadrons are presented and compared to pQCD theoretical calculations. The latest measurements of $\rm D^{0}$, $\rm D^{+}$, $\rm D^{*+}$, $D^{+}_{s}$ mesons whose hadronic decays into charged are fully reconstructed together with the measurements of $\Lambda^{+}_{c}$ , $\Xi^{0,+}_{c}$, $\Sigma^{0,++}_{c}$ and $\Omega^{0}_{c}$ baryons, performed with the ALICE detector at midrapidity in pp collisions at $\sqrt{s}$ = 13 TeV, are also presented. Measurements of charm-baryon production are crucial to study the charm-quark hadronization mechanisms in a partonic rich environment like the one produced in pp collisions at LHC energies.


title: Hardware-Aware Automated Neural Minimization for Printed Multilayer Perceptrons

abstract: The demand of many application domains for flexibility, stretchability, and porosity cannot be typically met by the silicon VLSI technologies. Printed Electronics (PE) has been introduced as a candidate solution that can satisfy those requirements and enable the integration of smart devices on consumer goods at ultra low-cost enabling also in situ and ondemand fabrication. However, the large features sizes in PE constraint those efforts and prohibit the design of complex ML circuits due to area and power limitations. Though, classification is mainly the core task in printed applications. In this work, we examine, for the first time, the impact of neural minimization techniques, in conjunction with bespoke circuit implementations, on the area-efficiency of printed Multilayer Perceptron classifiers. Results show that for up to 5% accuracy loss up to 8x area reduction can be achieved.


title: Unraveling the effects of inter-site Hubbard interactions in spinel Li-ion cathode materials

abstract: Accurate first-principles predictions of the structural, electronic, magnetic, and electrochemical properties of cathode materials can be key in the design of novel efficient Li-ion batteries. Spinel-type cathode materials Li$_x$Mn$_2$O$_4$ and Li$_x$Mn$_{1.5}$Ni$_{0.5}$O$_4$ are promising candidates for Li-ion battery technologies, but they present serious challenges when it comes to their first-principles modeling. Here, we use density-functional theory with extended Hubbard functionals - DFT+$U$+$V$ with on-site $U$ and inter-site $V$ Hubbard interactions - to study the properties of these transition-metal oxides. The Hubbard parameters are computed from first-principles using density-functional perturbation theory. We show that while $U$ is crucial to obtain the right trends in properties of these materials, $V$ is essential for a quantitative description of the structural and electronic properties, as well as the Li-intercalation voltages. This work paves the way for reliable first-principles studies of other families of cathode materials without relying on empirical fitting or calibration procedures.


title: Evaluating the acceptance of autonomous vehicles in the future

abstract: The continuous advance of the automotive industry is leading to the emergence of more advanced driver assistance systems that enable the automation of certain tasks and that are undoubtedly aimed at achieving vehicles in which the driving task can be completely delegated. All these advances will bring changes in the paradigm of the automotive market, as is the case of insurance. For this reason, CESVIMAP and the Universidad Carlos III de Madrid are working on an Autonomous Testing pLatform for insurAnce reSearch (ATLAS) to study this technology and obtain first-hand knowledge about the responsibilities of each of the agents involved in the development of the vehicles of the future. This work gathers part of the advancements made in ATLAS, which have made it possible to have an autonomous vehicle with which to perform tests in real environments and demonstrations bringing the vehicle closer to future users. As a result of this work, and in collaboration with the Johannes Kepler University Linz, the impact, degree of acceptance and confidence of users in autonomous vehicles has been studied once they have taken a trip on board a fully autonomous vehicle such as ATLAS. This study has found that, while most users would be willing to use an autonomous vehicle, the same users are concerned about the use of this type of technology. Thus, understanding the reasons for this concern can help define the future of autonomous cars.


title: Learning from Mistakes: Self-Regularizing Hierarchical Representations in Point Cloud Semantic Segmentation

abstract: Recent advances in autonomous robotic technologies have highlighted the growing need for precise environmental analysis. LiDAR semantic segmentation has gained attention to accomplish fine-grained scene understanding by acting directly on raw content provided by sensors. Recent solutions showed how different learning techniques can be used to improve the performance of the model, without any architectural or dataset change. Following this trend, we present a coarse-to-fine setup that LEArns from classification mistaKes (LEAK) derived from a standard model. First, classes are clustered into macro groups according to mutual prediction errors; then, the learning process is regularized by: (1) aligning class-conditional prototypical feature representation for both fine and coarse classes, (2) weighting instances with a per-class fairness index. Our LEAK approach is very general and can be seamlessly applied on top of any segmentation architecture; indeed, experimental results showed that it enables state-of-the-art performances on different architectures, datasets and tasks, while ensuring more balanced class-wise results and faster convergence.


title: Two-step interpretable modeling of Intensive Care Acquired Infections

abstract: We present a novel methodology for integrating high resolution longitudinal data with the dynamic prediction capabilities of survival models. The aim is two-fold: to improve the predictive power while maintaining interpretability of the models. To go beyond the black box paradigm of artificial neural networks, we propose a parsimonious and robust semi-parametric approach (i.e., a landmarking competing risks model) that combines routinely collected low-resolution data with predictive features extracted from a convolutional neural network, that was trained on high resolution time-dependent information. We then use saliency maps to analyze and explain the extra predictive power of this model. To illustrate our methodology, we focus on healthcare-associated infections in patients admitted to an intensive care unit.


title: Train Hard, Fight Easy: Robust Meta Reinforcement Learning

abstract: A major challenge of reinforcement learning (RL) in real-world applications is the variation between environments, tasks or clients. Meta-RL (MRL) addresses this issue by learning a meta-policy that adapts to new tasks. Standard MRL methods optimize the average return over tasks, but often suffer from poor results in tasks of high risk or difficulty. This limits system reliability since test tasks are not known in advance. In this work, we define a robust MRL objective with a controlled robustness level. Optimization of analogous robust objectives in RL is known to lead to both *biased gradients* and *data inefficiency*. We prove that the gradient bias disappears in our proposed MRL framework. The data inefficiency is addressed via the novel Robust Meta RL algorithm (RoML). RoML is a meta-algorithm that generates a robust version of any given MRL algorithm, by identifying and over-sampling harder tasks throughout training. We demonstrate that RoML achieves robust returns on multiple navigation and continuous control benchmarks.


title: On a problem of Nathanson related to minimal asymptotic bases of order $h$

abstract: For integer $h\geq2$ and $A\subseteq\mathbb{N}$, we define $hA$ to be all integers which can be written as a sum of $h$ elements of $A$. The set $A$ is called an asymptotic basis of order $h$ if $n\in hA$ for all sufficiently large integers $n$. An asymptotic basis $A$ of order $h$ is minimal if no proper subset of $A$ is an asymptotic basis of order $h$. For $W\subseteq\mathbb{N}$, denote by $\mathcal{F}^*(W)$ the set of all finite, nonempty subsets of $W$. Let $A(W)$ be the set of all numbers of the form $\sum_{f \in F} 2^f$, where $F \in \mathcal{F}^*(W)$. In this paper, we give some characterizations of the partitions $\mathbb{N}=W_1\cup\cdots \cup W_h$ with the property that $A=A(W_1)\cup\cdots \cup A(W_{h})$ is a minimal asymptotic basis of order $h$. This generalizes a result of Chen and Chen, recent result of Ling and Tang, and also recent result of Sun.


title: GIT stable cubic threefolds and certain fourfolds of $K3^{[2]}$-type

abstract: We study the behaviour on some nodal hyperplanes of the isomorphism, described in a paper of 2019 by Boissi\`ere, Camere and Sarti, between the moduli space of smooth cubic threefolds and the moduli space of hyperk\"ahler fourfolds of $K3^{[2]}$-type with a non-symplectic automorphism of order three, whose invariant lattice has rank one and is generated by a class of square 6; along those hyperplanes the automorphism degenerates by jumping to another family. We generalize their result to singular nodal cubic threefolds having one singularity of type $A_i$ for $i=2, 3, 4$ providing birational maps between the loci of cubic threefolds where a generic element has an isolated singularity of the types $A_i$ and some moduli spaces of hyperk\"ahler fourfolds of $K3^{[2]}$-type with non-symplectic automorphism of order three belonging to different families. In order to treat the $A_2$ case, we introduce the notion of K\"ahler cone sections of $K$-type generalizing the definition of $K$-general polarized hyperk\"ahler manifolds.


title: Asymptotic analysis a perturbed Robin problem in a planar domain

abstract: We consider a perforated domain $\Omega(\epsilon)$ of $\mathbb{R}^2$ with a small hole of size $\epsilon$ and we study the behavior of the solution of a mixed Neumann-Robin problem in $\Omega(\epsilon)$ as the size $\epsilon$ of the small hole tends to $0$. In addition to the geometric degeneracy of the problem, the $\epsilon$-dependent Robin condition may degenerate into a Neumann condition for $\epsilon=0$ and the Robin datum may diverge to infinity. Our goal is to analyze the asymptotic behavior of the solutions to the problem as $\epsilon$ tends to $0$ and understand how the boundary condition affects the behavior of the solutions when $\epsilon$ is close to $0$.


title: A new investigation on the characteristics of a W UMa type system LO Andromedae

abstract: In this study, a W Ursae Majoris (W UMa) type system LO Andromedae (LO And) was observed over nine nights at Durham to fully investigate its physical properties and update its stellar parameters. After obtaining the observational data in both V-filter and B-filter, the Gaia CCD images of LO And were extracted from the Astrolab internal archive using Linux commands. By applying the "Nightfall" program and local Python scripts, the calibrated light curves of LO And can be plotted, phase-folded, and fitted to derive the period of this system as $0.3804573 \pm 0.0000482\, \mathrm{d}$. Then, 2D chi-squared heat maps were illustrated to determine LO And's best-fit stellar parameters and estimate their uncertainties, including the mass ratio $q = 0.371 \pm 0.207$, the inclination $i = 78.5 \pm 3.8\, \mathrm{deg}$, the primary temperature $T_1 = 6290 \pm 358\, \mathrm{K}$, the secondary temperature $T_2 = 6449 \pm 445\, \mathrm{K}$, and two fill factors $f_1 = f_2 = 1.02258$. In addition, the "Nightfall" program built the 3D models and evaluated the spot distribution parameters to visualize the configuration of LO And. There were seven new eclipsing timings added in this study to reconstruct the O-C diagram together with LO And's previous observational data. It was clearly found that the period of LO And is currently undergoing an accelerated increase with a change rate $d\mathrm{P}/d\mathrm{t} = 2.27 \times 10^{-7}\, \mathrm{day\, yr^{-1}}$, which was attributed to the mass transfer in this system with a transfer rate $dM_1/d\mathrm{t} = 1.43 \times 10^{-7}\, \mathrm{M_\odot\, yr^{-1}}$ and the light time effect caused by the possible existence of a third star $M_3 = 0.224\, M_\odot$ orbiting around LO And.


title: Cluster Forming of Multiagent Systems in Rolling Horizon Games with Non-uniform Horizons

abstract: Consensus and cluster forming of multiagent systems in the face of jamming attacks along with reactive recovery actions by a defender are discussed. The attacker is capable to disable some of the edges of the network with the objective to divide the agents into a smaller size of clusters while, in response, the defender recovers some of the edges by increasing the transmission power. We consider repeated games where the resulting optimal strategies for the two players are derived in a rolling horizon fashion. The attacker and the defender possess different computational abilities to calculate their strategies. This aspect is represented by the non-uniform values of the horizon lengths and the game periods. Theoretical and simulation based results demonstrate the effects of the horizon lengths and the game periods on the agents' states.


title: Learning from Multiple Independent Advisors in Multi-agent Reinforcement Learning

abstract: Multi-agent reinforcement learning typically suffers from the problem of sample inefficiency, where learning suitable policies involves the use of many data samples. Learning from external demonstrators is a possible solution that mitigates this problem. However, most prior approaches in this area assume the presence of a single demonstrator. Leveraging multiple knowledge sources (i.e., advisors) with expertise in distinct aspects of the environment could substantially speed up learning in complex environments. This paper considers the problem of simultaneously learning from multiple independent advisors in multi-agent reinforcement learning. The approach leverages a two-level Q-learning architecture, and extends this framework from single-agent to multi-agent settings. We provide principled algorithms that incorporate a set of advisors by both evaluating the advisors at each state and subsequently using the advisors to guide action selection. We also provide theoretical convergence and sample complexity guarantees. Experimentally, we validate our approach in three different test-beds and show that our algorithms give better performances than baselines, can effectively integrate the combined expertise of different advisors, and learn to ignore bad advice.