title: Scalable Reinforcement Learning for Linear-Quadratic Control of Networks

abstract: Distributed optimal control is known to be challenging and can become intractable even for linear-quadratic regulator problems. In this work, we study a special class of such problems where distributed state feedback controllers can give near-optimal performance. More specifically, we consider networked linear-quadratic controllers with decoupled costs and spatially exponentially decaying dynamics. We aim to exploit the structure in the problem to design a scalable reinforcement learning algorithm for learning a distributed controller. Recent work has shown that the optimal controller can be well approximated only using information from a $\kappa$-neighborhood of each agent. Motivated by these results, we show that similar results hold for the agents' individual value and Q-functions. We continue by designing an algorithm, based on the actor-critic framework, to learn distributed controllers only using local information. Specifically, the Q-function is estimated by modifying the Least Squares Temporal Difference for Q-functions method to only use local information. The algorithm then updates the policy using gradient descent. Finally, we evaluate the algorithm through simulations that indeed suggest near-optimal performance.


title: Realizing Disentanglement in LM Latent Space via Vocabulary-Defined Semantics

abstract: Understanding the latent space of language models (LMs) is important for improving the performance and interpretability of LMs. Existing analyses often fail to provide insights that take advantage of the semantic properties of language models and often overlook crucial aspects of language model adaptation. In response, we introduce a pioneering approach called vocabulary-defined semantics, which establishes a reference frame grounded in LM vocabulary within the LM latent space. We propose a novel technique to compute disentangled logits and gradients in latent space, not entangled ones on vocabulary. Further, we perform semantical clustering on data representations as a novel way of LM adaptation. Through extensive experiments across diverse text understanding datasets, our approach outperforms state-of-the-art methods of retrieval-augmented generation and parameter-efficient finetuning, showcasing its effectiveness and efficiency.


title: LLM4Vuln: A Unified Evaluation Framework for Decoupling and Enhancing LLMs' Vulnerability Reasoning

abstract: Large language models (LLMs) have demonstrated significant potential for many downstream tasks, including those requiring human-level intelligence, such as vulnerability detection. However, recent attempts to use LLMs for vulnerability detection are still preliminary, as they lack an in-depth understanding of a subject LLM's vulnerability reasoning capability -- whether it originates from the model itself or from external assistance, such as invoking tool support and retrieving vulnerability knowledge. In this paper, we aim to decouple LLMs' vulnerability reasoning capability from their other capabilities, including the ability to actively seek additional information (e.g., via function calling in SOTA models), adopt relevant vulnerability knowledge (e.g., via vector-based matching and retrieval), and follow instructions to output structured results. To this end, we propose a unified evaluation framework named LLM4Vuln, which separates LLMs' vulnerability reasoning from their other capabilities and evaluates how LLMs' vulnerability reasoning could be enhanced when combined with the enhancement of other capabilities. To demonstrate the effectiveness of LLM4Vuln, we have designed controlled experiments using 75 ground-truth smart contract vulnerabilities, which were extensively audited as high-risk on Code4rena from August to November 2023, and tested them in 4,950 different scenarios across three representative LLMs (GPT-4, Mixtral, and Code Llama). Our results not only reveal ten findings regarding the varying effects of knowledge enhancement, context supplementation, prompt schemes, and models but also enable us to identify 9 zero-day vulnerabilities in two pilot bug bounty programs with over 1,000 USD being awarded.


title: An Empirical Study on Usage and Perceptions of LLMs in a Software Engineering Project

abstract: Large Language Models (LLMs) represent a leap in artificial intelligence, excelling in tasks using human language(s). Although the main focus of general-purpose LLMs is not code generation, they have shown promising results in the domain. However, the usefulness of LLMs in an academic software engineering project has not been fully explored yet. In this study, we explore the usefulness of LLMs for 214 students working in teams consisting of up to six members. Notably, in the academic course through which this study is conducted, students were encouraged to integrate LLMs into their development tool-chain, in contrast to most other academic courses that explicitly prohibit the use of LLMs. In this paper, we analyze the AI-generated code, prompts used for code generation, and the human intervention levels to integrate the code into the code base. We also conduct a perception study to gain insights into the perceived usefulness, influencing factors, and future outlook of LLM from a computer science student's perspective. Our findings suggest that LLMs can play a crucial role in the early stages of software development, especially in generating foundational code structures, and helping with syntax and error debugging. These insights provide us with a framework on how to effectively utilize LLMs as a tool to enhance the productivity of software engineering students, and highlight the necessity of shifting the educational focus toward preparing students for successful human-AI collaboration.


title: Graph Neural Network-based Joint Equalization and Decoding

abstract: This paper proposes to use graph neural networks (GNNs) for equalization, that can also be used to perform joint equalization and decoding (JED). For equalization, the GNN is build upon the factor graph representations of the channel, while for JED, the factor graph is expanded by the Tanner graph of the parity-check matrix (PCM) of the channel code, sharing the variable nodes (VNs). A particularly advantageous property of the GNN is the robustness against cycles in the factor graphs which is the main problem for belief propagation (BP)-based equalization. As a result of having a fully deep learning-based receiver, joint optimization instead of individual optimization of the components is enabled, so-called end-to-end learning. Furthermore, we propose a parallel flooding schedule that further reduces the latency, which turns out to improve also the error correcting performance. The proposed approach is analyzed and compared to state-of-the-art baselines in terms of error correcting capability and latency. At a fixed low latency, the flooding GNN for JED demonstrates a gain of 2.25 dB in bit error rate (BER) compared to an iterative Bahl--Cock--Jelinek--Raviv (BCJR)-BP baseline.


title: Simultaneous design of fermentation and microbe

abstract: Constraint-based optimization of microbial strains and model-based bioprocess design have been used extensively to enhance yields in biotechnological processes. However, strain and process optimization are usually carried out in sequential steps, causing underperformance of the biotechnological process when scaling up to industrial fermentation conditions. Herein, we propose the optimization formulation SimulKnock that combines the optimization of a fermentation process with metabolic network design in a bilevel optimization program. The upper level maximizes space-time yield and includes mass balances of a continuous fermentation, while the lower level is based on flux balance analysis. SimulKnock predicts optimal gene deletions and finds the optimal trade-off between growth rate and product yield. Results of a case study with a genome-scale metabolic model of E. coli indicate higher space-time yields than a sequential approach using OptKnock for almost all target products considered. By leveraging SimulKnock, we reduce the gap between strain and process optimization.


title: FIMP: Future Interaction Modeling for Multi-Agent Motion Prediction

abstract: Multi-agent motion prediction is a crucial concern in autonomous driving, yet it remains a challenge owing to the ambiguous intentions of dynamic agents and their intricate interactions. Existing studies have attempted to capture interactions between road entities by using the definite data in history timesteps, as future information is not available and involves high uncertainty. However, without sufficient guidance for capturing future states of interacting agents, they frequently produce unrealistic trajectory overlaps. In this work, we propose Future Interaction modeling for Motion Prediction (FIMP), which captures potential future interactions in an end-to-end manner. FIMP adopts a future decoder that implicitly extracts the potential future information in an intermediate feature-level, and identifies the interacting entity pairs through future affinity learning and top-k filtering strategy. Experiments show that our future interaction modeling improves the performance remarkably, leading to superior performance on the Argoverse motion forecasting benchmark.


title: AI prediction of cardiovascular events using opportunistic epicardial adipose tissue assessments from CT calcium score

abstract: Background: Recent studies have used basic epicardial adipose tissue (EAT) assessments (e.g., volume and mean HU) to predict risk of atherosclerosis-related, major adverse cardiovascular events (MACE). Objectives: Create novel, hand-crafted EAT features, 'fat-omics', to capture the pathophysiology of EAT and improve MACE prediction. Methods: We segmented EAT using a previously-validated deep learning method with optional manual correction. We extracted 148 radiomic features (morphological, spatial, and intensity) and used Cox elastic-net for feature reduction and prediction of MACE. Results: Traditional fat features gave marginal prediction (EAT-volume/EAT-mean-HU/ BMI gave C-index 0.53/0.55/0.57, respectively). Significant improvement was obtained with 15 fat-omics features (C-index=0.69, test set). High-risk features included volume-of-voxels-having-elevated-HU-[-50, -30-HU] and HU-negative-skewness, both of which assess high HU, which as been implicated in fat inflammation. Other high-risk features include kurtosis-of-EAT-thickness, reflecting the heterogeneity of thicknesses, and EAT-volume-in-the-top-25%-of-the-heart, emphasizing adipose near the proximal coronary arteries. Kaplan-Meyer plots of Cox-identified, high- and low-risk patients were well separated with the median of the fat-omics risk, while high-risk group having HR 2.4 times that of the low-risk group (P<0.001). Conclusion: Preliminary findings indicate an opportunity to use more finely tuned, explainable assessments on EAT for improved cardiovascular risk prediction.


title: From Tripods to Bipods: Reducing the Queue Number of Planar Graphs Costs Just One Leg

abstract: As an alternative to previously existing planar graph product structure theorems, we prove that every planar graph $G$ is a subgraph of the strong product of $K_2$, a path and a planar subgraph of a $4$-tree. As an application, we show that the queue number of planar graphs is at most $38$ whereas the queue number of planar bipartite graphs is at most $25$.


title: B-twisted Gaiotto-Witten theory and topological quantum field theory

abstract: We develop representation theoretic techniques to construct three dimensional non-semisimple topological quantum field theories which model homologically truncated topological B-twists of abelian Gaiotto-Witten theory with linear matter. Our constructions are based on relative modular structures on the category of weight modules over an unrolled quantization of a Lie superalgebra. The Lie superalgebra, originally defined by Gaiotto and Witten, is associated to a complex symplectic representation of a metric abelian Lie algebra. The physical theories we model admit alternative realizations as Chern-Simons-Rozansky-Witten theories and supergroup Chern-Simons theories and include as particular examples global forms of $\mathfrak{gl}(1 \vert 1)$-Chern-Simons theory and toral Chern-Simons theory. Fundamental to our approach is the systematic incorporation of non-genuine line operators which source flat connections for the topological flavour symmetry of the theory.


title: Contributing Dimension Structure of Deep Feature for Coreset Selection

abstract: Coreset selection seeks to choose a subset of crucial training samples for efficient learning. It has gained traction in deep learning, particularly with the surge in training dataset sizes. Sample selection hinges on two main aspects: a sample's representation in enhancing performance and the role of sample diversity in averting overfitting. Existing methods typically measure both the representation and diversity of data based on similarity metrics, such as L2-norm. They have capably tackled representation via distribution matching guided by the similarities of features, gradients, or other information between data. However, the results of effectively diverse sample selection are mired in sub-optimality. This is because the similarity metrics usually simply aggregate dimension similarities without acknowledging disparities among the dimensions that significantly contribute to the final similarity. As a result, they fall short of adequately capturing diversity. To address this, we propose a feature-based diversity constraint, compelling the chosen subset to exhibit maximum diversity. Our key lies in the introduction of a novel Contributing Dimension Structure (CDS) metric. Different from similarity metrics that measure the overall similarity of high-dimensional features, our CDS metric considers not only the reduction of redundancy in feature dimensions, but also the difference between dimensions that contribute significantly to the final similarity. We reveal that existing methods tend to favor samples with similar CDS, leading to a reduced variety of CDS types within the coreset and subsequently hindering model performance. In response, we enhance the performance of five classical selection methods by integrating the CDS constraint. Our experiments on three datasets demonstrate the general effectiveness of the proposed method in boosting existing methods.


title: Macroscopic electro-optical modulation of solution-processed molybdenum disulfide

abstract: Molybdenum disulfide (MoS2) has drawn great interest for tunable photonics and optoelectronics advancement. Its solution processing, though scalable, results in randomly networked ensembles of discrete nanosheets with compromised properties for tunable device fabrication. Here, we show via density-functional theory calculations that the electronic structure of the individual solution-processed nanosheets can be modulated by external electric fields collectively. Particularly, the nanosheets can form Stark ladders, leading to variations in the underlying optical transition processes and thus, tunable macroscopic optical properties of the ensembles. We experimentally confirm the macroscopic electro-optical modulation employing solution-processed thin-films of MoS2 and ferroelectric P(VDF-TrFE), and prove that the localized polarization fields of P(VDF-TrFE) can modulate the optical properties of MoS2, specifically, the optical absorption and photoluminescence on a macroscopic scale. Given the scalability of solution processing, our results underpin the potential of electro-optical modulation of solution-processed MoS2 for scalable tunable photonics and optoelectronics. As an illustrative example, we successfully demonstrate solution-processed electro-absorption modulators.


title: Dot-depth three, return of the J-class

abstract: We look at concatenation hierarchies of classes of regular languages. Each such hierarchy is determined by a single class, its basis: level $n$ is built by applying the Boolean polynomial closure operator (BPol), $n$ times to the basis. A prominent and difficult open question in automata theory is to decide membership of a regular language in a given level. For instance, for the historical dot-depth hierarchy, the decidability of membership is only known at levels one and two. We give a generic algebraic characterization of the operator BPol. This characterization implies that for any concatenation hierarchy, if $n$ is at least two, membership at level $n$ reduces to a more complex problem, called covering, for the previous level, $n-1$. Combined with earlier results on covering, this implies that membership is decidable for dot-depth three and for level two in most of the prominent hierarchies in the literature. For instance, we obtain that the levels two in both the modulo hierarchy and the group hierarchy have decidable membership.


title: G3-Criteria and Applications

abstract: The G3-property of a subvariety was introduced by Hironaka-Matsumura, and plays an important role for deducing connectedness and extension results. Unfortunately, it's a rather elusive notion, which is not always easy to establish. Most of the existing work is concentrated on subvarieties of homogeneous varieties. The first goal of this article is to show that mobility assumptions on the subvariety, considered in works of Badescu, Chow, Debarre, Voisin, yield a certain partial positivity property, slightly stronger than G3, previously introduced by the author. Second, we apply the result to prove that, in numerous situations, the splitting of the normal bundle of a smooth two-codimensional subvariety implies that it is a complete intersection.


title: Geospatial Disparities: A Case Study on Real Estate Prices in Paris

abstract: Driven by an increasing prevalence of trackers, ever more IoT sensors, and the declining cost of computing power, geospatial information has come to play a pivotal role in contemporary predictive models. While enhancing prognostic performance, geospatial data also has the potential to perpetuate many historical socio-economic patterns, raising concerns about a resurgence of biases and exclusionary practices, with their disproportionate impacts on society. Addressing this, our paper emphasizes the crucial need to identify and rectify such biases and calibration errors in predictive models, particularly as algorithms become more intricate and less interpretable. The increasing granularity of geospatial information further introduces ethical concerns, as choosing different geographical scales may exacerbate disparities akin to redlining and exclusionary zoning. To address these issues, we propose a toolkit for identifying and mitigating biases arising from geospatial data. Extending classical fairness definitions, we incorporate an ordinal regression case with spatial attributes, deviating from the binary classification focus. This extension allows us to gauge disparities stemming from data aggregation levels and advocates for a less interfering correction approach. Illustrating our methodology using a Parisian real estate dataset, we showcase practical applications and scrutinize the implications of choosing geographical aggregation levels for fairness and calibration measures.


title: Contracting with a Learning Agent

abstract: Many real-life contractual relations differ completely from the clean, static model at the heart of principal-agent theory. Typically, they involve repeated strategic interactions of the principal and agent, taking place under uncertainty and over time. While appealing in theory, players seldom use complex dynamic strategies in practice, often preferring to circumvent complexity and approach uncertainty through learning. We initiate the study of repeated contracts with a learning agent, focusing on agents who achieve no-regret outcomes. Optimizing against a no-regret agent is a known open problem in general games; we achieve an optimal solution to this problem for a canonical contract setting, in which the agent's choice among multiple actions leads to success/failure. The solution has a surprisingly simple structure: for some $\alpha > 0$, initially offer the agent a linear contract with scalar $\alpha$, then switch to offering a linear contract with scalar $0$. This switch causes the agent to ``free-fall'' through their action space and during this time provides the principal with non-zero reward at zero cost. Despite apparent exploitation of the agent, this dynamic contract can leave \emph{both} players better off compared to the best static contract. Our results generalize beyond success/failure, to arbitrary non-linear contracts which the principal rescales dynamically. Finally, we quantify the dependence of our results on knowledge of the time horizon, and are the first to address this consideration in the study of strategizing against learning agents.


title: Optimal quadrature errors and sampling numbers for Sobolev spaces with logarithmic perturbation on spheres

abstract: In this paper, we study optimal quadrature errors, approximation numbers, and sampling numbers in $L_2(\Bbb S^d)$ for Sobolev spaces ${\rm H}^{\alpha,\beta}(\Bbb S^d)$ with logarithmic perturbation on the unit sphere $\Bbb S^d$ in $\Bbb R^{d+1}$. First we obtain strong equivalences of the approximation numbers for ${\rm H}^{\alpha,\beta}(\Bbb S^d)$ with $\alpha>0$, which gives a clue to Open problem 3 as posed by Krieg and Vyb\'iral in \cite{KV}. Second, for the optimal quadrature errors for ${\rm H}^{\alpha,\beta}(\Bbb S^d)$, we use the "fooling" function technique to get lower bounds in the case $\alpha>d/2$, and apply Hilbert space structure and Vyb\'iral's theorem about Schur product theory to obtain lower bounds in the case $\alpha=d/2,\,\beta>1/2$ of small smoothness, which confirms the conjecture as posed by Grabner and Stepanyukin in \cite{GS} and solves Open problem 2 in \cite{KV}. Finally, we employ the weighted least squares operators and the least squares quadrature rules to obtain approximation theorems and quadrature errors for ${\rm H}^{\alpha,\beta}(\Bbb S^d)$ with $\alpha>d/2$ or $\alpha=d/2,\,\beta>1/2$, which are order optimal.


title: Rapidly rotating radiatively driven convection: experimental and numerical validation of the `geostrophic turbulence' scaling predictions

abstract: We experimentally and numerically characterize rapidly rotating radiatively driven thermal convection, beyond the sole heat transport measurements reported in Bouillaut et al. (2021). Based on a suite of direct numerical simulations (DNS) and additional processing of the experimental data collected by Bouillaut et al. (2021), we report the simultaneous validation of the scaling predictions of the `geostrophic turbulence' regime -- the diffusivity-free or `ultimate' regime of rapidly rotating convection -- for the heat transport, the temperature fluctuations, the flow speed and the flow structure. Radiatively driven convection thus appears as a versatile setup for the laboratory observation of the diffusivity-free regimes of various convective flows of geophysical and/or astrophysical interest.


title: On Invariant subspace for hyponormal operators

abstract: There is a resent paper claiming that every hyponormal operator which is not a multiple of the identity (operator) has a nontrivial hyperinvariant subspace. If this claim is true, then every hyponormal operator has a nontrivial invariant subspace, and every subnormal operator which is not multiple of the identity has a nontrivial hyperinvariant subspace. But we find out that the proof of the above claim go wrong. Therefore the invariant subspace problem of the hyponormal operator and the hyperinvariant problem of subnormal operator remains unresolved. Moreover, it is well known that these are two important research topics in operator theory that have not been solved for a long time, and that a lot of people have been trying to solved the two problems. So it is very meaningful to clarify whether these two problems have been solved.


title: FPIA: Field-Programmable Ising Arrays with In-Memory Computing

abstract: Ising Machine is a promising computing approach for solving combinatorial optimization problems. It is naturally suited for energy-saving and compact in-memory computing implementations with emerging memories. A na\"ive in-memory computing implementation of a quadratic Ising Machine requires an array of coupling weights that grows quadratically with problem size. However, the resources in such an approach are used inefficiently due to sparsity in practical optimization problems. We first show that this issue can be addressed by partitioning a coupling array into smaller sub-arrays. This technique, however, requires interconnecting subarrays; hence, we developed in-memory computing architecture for quadratic Ising Machines inspired by island-type field programmable gate arrays, which is the main contribution of our paper. We adapt open-source tools to optimize problem embedding and model routing overhead. Modeling results of benchmark problems for the developed architecture show up to 60x area improvement and faster operation than the baseline approach. Finally, we discuss algorithm/circuit co-design techniques for further improvements.


title: FargoCPT: A 2D Multi-Physics Code for Simulating the Interaction of Disks with Stars, Planets and Particles

abstract: Context: Planet-disk interactions play a crucial role in the understanding of planet formation and disk evolution. There are multiple numerical tools available to simulate these interactions, including the often-used FARGO code and its variants. Many of the codes were extended over time to include additional physical processes with a focus on their accurate modeling. Aims: We introduce FargoCPT, an updated version of FARGO incorporating other previous enhancements to the code, to provide a simulation environment tailored to study interactions between stars, planets, and disks, ensuring accurate representation of planet systems, hydrodynamics, and dust dynamics with a focus on usability. Methods: The radiation-hydrodynamics part of FargoCPT uses a second-order upwind scheme in 2D polar coordinates supporting multiple equations of state, radiation transport, heating and cooling, and self-gravity. Shocks are considered using artificial viscosity. Integration of the N-body system is achieved by leveraging the REBOUND code. The dust module utilizes massless tracer particles, adapting to drag laws for the Stokes and Epstein regimes. Moreover, FargoCPT provides mechanisms to simulate accretion onto the stars and planets. Results: The code has been tested in practice by its use in various publications. Additionally, it comes with an automated test suite to test the physics modules. Conclusions: FargoCPT offers a unique set of simulation capabilities within the current landscape of publicly available planet-disk interaction simulation tools. Its structured interface and underlying technical updates are intended to assist researchers in the ongoing exploration of planet formation.


title: Computing High-Degree Polynomial Gradients in Memory

abstract: Specialized function gradient computing hardware could greatly improve the performance of state-of-the-art optimization algorithms, e.g., based on gradient descent or conjugate gradient methods that are at the core of control, machine learning, and operations research applications. Prior work on such hardware, performed in the context of the Ising Machines and related concepts, is limited to quadratic polynomials and not scalable to commonly used higher-order functions. Here, we propose a novel approach for massively parallel gradient calculations of high-degree polynomials, which is conducive to efficient mixed-signal in-memory computing circuit implementations and whose area complexity scales linearly with the number of variables and terms in the function and, most importantly, independent of its degree. Two flavors of such an approach are proposed. The first is limited to binary-variable polynomials typical in combinatorial optimization problems, while the second type is broader at the cost of a more complex periphery. To validate the former approach, we experimentally demonstrated solving a small-scale third-order Boolean satisfiability problem based on integrated metal-oxide memristor crossbar circuits, one of the most prospective in-memory computing device technologies, with a competitive heuristics algorithm. Simulation results for larger-scale, more practical problems show orders of magnitude improvements in the area, and related advantages in speed and energy efficiency compared to the state-of-the-art. We discuss how our work could enable even higher-performance systems after co-designing algorithms to exploit massively parallel gradient computation.


title: CognitiveOS: Large Multimodal Model based System to Endow Any Type of Robot with Generative AI

abstract: This paper introduces CognitiveOS, the first operating system designed for cognitive robots capable of functioning across diverse robotic platforms. CognitiveOS is structured as a multi-agent system comprising modules built upon a transformer architecture, facilitating communication through an internal monologue format. These modules collectively empower the robot to tackle intricate real-world tasks. The paper delineates the operational principles of the system along with descriptions of its nine distinct modules. The modular design endows the system with distinctive advantages over traditional end-to-end methodologies, notably in terms of adaptability and scalability. The system's modules are configurable, modifiable, or deactivatable depending on the task requirements, while new modules can be seamlessly integrated. This system serves as a foundational resource for researchers and developers in the cognitive robotics domain, alleviating the burden of constructing a cognitive robot system from scratch. Experimental findings demonstrate the system's advanced task comprehension and adaptability across varied tasks, robotic platforms, and module configurations, underscoring its potential for real-world applications. Moreover, in the category of Reasoning it outperformed CognitiveDog (by 15%) and RT2 (by 31%), achieving the highest to date rate of 77%. We provide a code repository and dataset for the replication of CognitiveOS: link will be provided in camera-ready submission.


title: On the James brace product: Generalization, relation to $H$-splitting of loop space fibrations & the $J$-homomorphism

abstract: Given a fibration $F \hookrightarrow E \rightarrow B$ with a homotopy section $s : B \rightarrow E$, James introduced a binary product $\left\{ , \right\}_s : \pi_i B \times \pi_j F \rightarrow \pi_{i+j-1} F$, called the brace product. In this article, we generalize this to general homotopy groups. We show that the vanishing of this generalized brace product is the precise obstruction to the $H$-splitting of the loop space fibration, i.e., $\Omega E \simeq \Omega B \times \Omega F$ as $H$-spaces. Using rational homotopy theory, we show that for rational spaces, the vanishing of the generalized brace product coincides with the vanishing of the classical James brace product, enabling us to perform relevant computations. In addition, the notion of $J$-homomorphism is generalized and connected to the generalized brace product. Among applications, we characterize the homotopy types of certain fibrations including sphere bundles over spheres.


title: Probability that $n$ points are in convex position in a regular $\kappa$-gon : Asymptotic results

abstract: Let $\mathbb{P}_{\kappa}(n)$ be the probability that $n$ points $z_1,\ldots,z_n$ picked uniformly and independently in $\mathfrak{C}_\kappa$, a regular $\kappa$-gon with area $1$, are in convex position, that is, form the vertex set of a convex polygon. In this paper, we give an equivalent of $\mathbb{P}_{\kappa}(n)$ for all $\kappa\geq 3$, which improves on a famous result of B\'ar\'any. A second aim of the paper is to establish a limit theorem which describes the fluctuations around the limit shape of a $n$-tuple of points in convex position when $n\to+\infty$. Finally, we give an algorithm asymptotically exact for the random generation of $z_1,\ldots,z_n$, conditioned to be in convex position in $\mathfrak{C}_\kappa$.


title: Quantum algorithms in particle physics

abstract: We motivate the use of quantum algorithms in particle physics and provide a brief overview of the most recent applications at high-energy colliders. In particular, we discuss in detail how a quantum approach reduces the complexity of jet clustering algorithms, such as anti-kT , and show how quantum algorithms efficiently identify causal configurations of multiloop Feynman diagrams. We also present a quantum integration algorithm, called QFIAE, which is successfully applied to the evaluation of one-loop Feynman integrals in a quantum simulator or in a real quantum device.


title: MultiMUC: Multilingual Template Filling on MUC-4

abstract: We introduce MultiMUC, the first multilingual parallel corpus for template filling, comprising translations of the classic MUC-4 template filling benchmark into five languages: Arabic, Chinese, Farsi, Korean, and Russian. We obtain automatic translations from a strong multilingual machine translation system and manually project the original English annotations into each target language. For all languages, we also provide human translations for sentences in the dev and test splits that contain annotated template arguments. Finally, we present baselines on MultiMUC both with state-of-the-art template filling models and with ChatGPT.


title: The Non-Cancelling Intersections Conjecture

abstract: In this note, we present a conjecture on intersections of set families, and a rephrasing of the conjecture in terms of principal downsets of Boolean lattices. The conjecture informally states that, whenever we can express the measure of a union of sets in terms of the measure of some of their intersections using the inclusion-exclusion formula, then we can express the union as a set from these same intersections via the set operations of disjoint union and subset complement. We also present a partial result towards establishing the conjecture.


title: Role of Planetary Radius on Atmospheric Escape of Rocky Exoplanets

abstract: Large-scale characterization of exoplanetary atmospheres is on the horizon, thereby making it possible in the future to extract their statistical properties. In this context, by using a well validated model in the solar system, we carry out three-dimensional magnetohydrodynamic simulations to compute nonthermal atmospheric ion escape rates of unmagnetized rocky exoplanets as a function of their radius based on fixed stellar radiation and wind conditions. We find that the atmospheric escape rate is, unexpectedly and strikingly, a nonmonotonic function of the planetary radius $R$ and that it evinces a maximum at $R \sim 0.7\,R_\oplus$. This novel nonmonotonic behavior may arise from an intricate tradeoff between the cross-sectional area of a planet (which increases with size, boosting escape rates) and its associated escape velocity (which also increases with size, but diminishes escape rates). Our results could guide forthcoming observations because worlds with certain values of $R$ (such as $R \sim 0.7\,R_\oplus$) might exhibit comparatively higher escape rates when all other factors are constant.


title: Better Call GPT, Comparing Large Language Models Against Lawyers

abstract: This paper presents a groundbreaking comparison between Large Language Models and traditional legal contract reviewers, Junior Lawyers and Legal Process Outsourcers. We dissect whether LLMs can outperform humans in accuracy, speed, and cost efficiency during contract review. Our empirical analysis benchmarks LLMs against a ground truth set by Senior Lawyers, uncovering that advanced models match or exceed human accuracy in determining legal issues. In speed, LLMs complete reviews in mere seconds, eclipsing the hours required by their human counterparts. Cost wise, LLMs operate at a fraction of the price, offering a staggering 99.97 percent reduction in cost over traditional methods. These results are not just statistics, they signal a seismic shift in legal practice. LLMs stand poised to disrupt the legal industry, enhancing accessibility and efficiency of legal services. Our research asserts that the era of LLM dominance in legal contract review is upon us, challenging the status quo and calling for a reimagined future of legal workflows.


title: A Unified Study on Sequentiality in Universal Classification with Empirically Observed Statistics

abstract: In hypothesis testing problems, taking samples sequentially and stopping opportunistically to make the inference greatly enhances the reliability. The design of the stopping and inference policy, however, critically relies on the knowledge of the underlying distribution of each hypothesis. When the knowledge of distributions, say, $P_0$ and $P_1$ in the binary-hypothesis case, is replaced by empirically observed statistics from the respective distributions, the gain of sequentiality is less understood when subject to universality constraints. In this work, the gap is mended by a unified study on sequentiality in the universal binary classification problem. We propose a unified framework where the universality constraints are set on the expected stopping time as well as the type-I error exponent. The type-I error exponent is required to achieve a pre-set distribution-dependent constraint $\lambda(P_0,P_1)$ for all $P_0,P_1$. The framework is employed to investigate a semi-sequential and a fully-sequential setup, so that fair comparison can be made with the fixed-length setup. The optimal type-II error exponents in different setups are characterized when the function $\lambda$ satisfies mild continuity conditions. The benefit of sequentiality is shown by comparing the semi-sequential, the fully-sequential, and the fixed-length cases in representative examples of $\lambda$. Conditions under which sequentiality eradicates the trade-off between error exponents are also derived.


title: Optimizing the method of images for regularized Stokeslets using theory and experiments of spheres moving near boundaries

abstract: The general system of images for regularized Stokeslets (GSIRS) developed by Cortez and Varela (2015) is used extensively to model Stokes flow phenomena such as microorganisms swimming near a boundary. Our collaborative team uses dynamically similar scaled macroscopic experiments to test theories for forces and torques on spheres moving near a boundary and use these data and the method of regularized Stokeslets (MRS) created by Cortez et al. (2015) to calibrate the GSIRS. We find excellent agreement between theory and experiments, which provides the first experimental validation of such series solutions for spheres moving near an infinite plane boundary. We test two surface discretization methods commonly used in the literature: the six-patch method and the spherical centroidal Voronoi tessellation (SCVT) method. Our data show that the SCVT method provides the most accurate results when the motional symmetry is broken by the presence of a boundary. We use theory and the MRS to find optimal values for the regularization parameter in free space and show that the optimal regularization parameter values can be fit with simple formulae when using the SCVT method, so that other researchers have an easy reference. We also present a regularization function with higher order accuracy when compared with the regularization function previously introduced by Cortez et al. (2005). The simulated force and torque values compare very well with experiments and theory for a wide range of boundary distances. But, we find the simulations lose accuracy when the gap between the edge of the sphere and the wall is smaller than the average distance between grid points using the SCVT method. Our computational parameters and MATLAB and PYTHON implementations of the Lee and Leal (1980) theory provide researchers with important resources to optimize the numerical simulations of spheres moving near boundaries.


title: Learning big logical rules by joining small rules

abstract: A major challenge in inductive logic programming is learning big rules. To address this challenge, we introduce an approach where we join small rules to learn big rules. We implement our approach in a constraint-driven system and use constraint solvers to efficiently join rules. Our experiments on many domains, including game playing and drug design, show that our approach can (i) learn rules with more than 100 literals, and (ii) drastically outperform existing approaches in terms of predictive accuracies.


title: A mechanism for discovering semantic relationships among agent communication protocols

abstract: One relevant aspect in the development of the Semantic Web framework is the achievement of a real inter-agents communication capability at the semantic level. Agents should be able to communicate with each other freely using different communication protocols, constituted by communication acts. For that scenario, we introduce in this paper an efficient mechanism presenting the following main features: - It promotes the description of the communication acts of protocols as classes that belong to a communication acts ontology, and associates to those acts a social commitment semantics formalized through predicates in the Event Calculus. - It is sustained on the idea that different protocols can be compared semantically by looking to the set of fluents associated to each branch of the protocols. Those sets are generated using Semantic Web technology rules. - It discovers the following types of protocol relationships: equivalence, specialization, restriction, prefix, suffix, infix and complement_to_infix.


title: A novel internship program in HEP

abstract: The U.S. CMS collaboration has designed a novel internship program for undergraduates to enhance the participation of students from under-represented populations, including those at minority serving institutions, in High Energy Physics (HEP). These students traditionally face several barriers including lack of research infrastructure and opportunities, insufficient mentoring, lack of support networks, and financial hardship, among many others, resulting in a lack of participation in STEM fields. We had recently reported about a fully virtual 10-week internship pilot program called "U.S. CMS - PURSUE (Program for Undergraduate Research SUmmer Experience)" to address dismantling such barriers. The 2023 iteration of this program builds on it by imparting not only an in-person summer internship experience but extends it into the academic semester as well. Students are selected predominantly from Minority Serving Institutions with no research program in HEP and from under-represented groups. They experience a structured hands-on research experience with an initial two-week "bootcamp" on software training modules followed by an 8-week HEP project targeting physics analysis, software, computing or instrumentation work on the CMS Experiment. A subset of interns continue the experience into the academic semester, enabling a further in-depth knowledge of the field and a motivation to persist in STEM areas. In this paper, we describe our recent experience with this upgraded internship program. The paper is dedicated to the memory of Prof. Meenakshi Narain (Brown University) who was the driving force behind this internship program and U.S CMS diversity, equity and inclusion efforts.


title: Solid subalgebras in algebras of Jordan type half

abstract: The class of algebras of Jordan type $\eta$ was introduced by Hall, Rehren and Shpectorov in 2015 within the much broader class of axial algebras. Algebras of Jordan type are commutative algebras $A$ over a field of characteristic not $2$, generated by primitive idempotents, called axes, whose adjoint action on $A$ has minimal polynomial dividing $(x-1)x(x-\eta)$ and where multiplication of eigenvectors follows the rules similar to the Peirce decomposition in Jordan algebras. Naturally, Jordan algebras generated by primitive idempotents are examples of algebras of Jordan type $\eta=\frac{1}{2}$. Further examples are given by the Matsuo algebras constructed from $3$-transposition groups. These examples exist for all values of $\eta\neq 0,1$. Jordan algebras and (factors of) Matsuo algebras constitute all currently known examples of algebras of Jordan type and it is conjectured that there are now additional examples. In this paper we introduce the concept of a solid $2$-generated subalgebra, as a subalgebra $J$ such that all primitive idempotents from $J$ are axes of $A$. We prove that, for axes $a,b\in A$, if $(a,b)\notin\{0,\frac{1}{4},1\}$ then $J=\langle\langle a,b\rangle\rangle$ is solid, that is, generic $2$-generated subalgebras are solid. Furthermore, in characteristic zero, $J$ is solid even for the values $(a,b)=0,1$. As a corollary, in characteristic zero, either $A$ has infinitely many axes and an infinite automorphism group, or it is a Matsuo algebra or a factor of Matsuo algebra.


title: Anatomy of Vector-Like Top-Quark Models in the Alignment Limit of the 2-Higgs Doublet Model Type-II

abstract: A comprehensive extension of the ordinary 2-Higgs Doublet Model (2HDM), supplemented by Vector-Like Quarks (VLQs), in the ``alignment limit'' is presented. In such a scenario, we study the possibility that Large Hadron Collider (LHC) searches for VLQs can profile their nature too, i.e., whether they belong to a singlet, doublet, or triplet representation. To achieve this, we exploit both Standard Model (SM) decays of VLQs with top-(anti)quark Electromagnetic (EM) charge ($T$), i.e., into $b,t$ quarks and $W^\pm, Z,h$ bosons (which turn out to be suppressed and hence $T$ states can escape existing limits) as well as their exotic decays, i.e., into $b,t$ (and possibly $B$) quarks and $H^\pm, H, A$ bosons. We show that quite specific decay patterns emerge in the different VLQ representations so that, depending upon which $T$ signals are accessed at the LHC, one may be able to ascertain the underlying Beyond Standard Model (BSM) structure, especially if mass knowledge of the new fermionic and bosonic sectors can be inferred from (other) data.


title: Symbolic-numeric algorithm for parameter estimation in discrete-time models with $\exp$

abstract: Determining unknown parameter values in dynamic models is crucial for accurate analysis of the dynamics across the different scientific disciplines. Discrete-time dynamic models are widely used to model biological processes, but it is often difficult to determine these parameters. In this paper, we propose a robust symbolic-numeric approach for parameter estimation in discrete-time models that involve non-algebraic functions such as exp. We illustrate the performance (precision) of our approach by applying our approach to the flour beetle (LPA) model, an archetypal discrete-time model in biology. Unlike optimization-based methods, our algorithm guarantees to find all solutions of the parameter values given time-series data for the measured variables.

categories: q-bio.QM cs.SC cs.SY eess.SY math.AC math.DS


title: Foundations of Work-Systems Modeling

abstract: In 2006, the course "Modeling of Organizations" is taught for the third time. This third time will be the second time we will use the new lecture notes "Work Systems Modelling" from the DA VINCI series. These lecture notes, however, will be evolved further hand-in-hand with the actual process of lecturing. In the academic year 2005/2006, a second incarnation of these lecture notes will be created, where the aim is to deliver these lecture notes in three increments. An important step that will be taken in this academic year is the integration of the ICIS Work Systems Modelling lecture notes with the NICI course on Organisational Dynamics. The first results of this integration will start to appear in the second and third trimester.


title: Modelling Solar PV Adoption in Irish Dairy Farms using Agent-Based Modelling

abstract: The agricultural sector is facing mounting demands to enhance energy efficiency within farm enterprises, concurrent with a steady escalation in electricity costs. This paper focuses on modelling the adoption rate of photovoltaic (PV) energy within the dairy sector in Ireland. An agent-based modelling approach is introduced to estimate the adoption rate. The model considers grid energy prices, revenue, costs, and maintenance expenses to calculate the probability of PV adoption. The ABM outputs estimate that by year 2022, 2.45% of dairy farmers have installed PV. This is a 0.45% difference to the actual PV adoption rate in year 2022. This validates the proposed ABM. The paper demonstrates the increasing interest in PV systems as evidenced by the rate of adoption, shedding light on the potential advantages of PV energy adoption in agriculture. This study possesses the potential to forecast future rates of PV energy adoption among dairy farmers. It establishes a groundwork for further research on predicting and understanding the factors influencing the adoption of renewable energy.


title: The Jefferson Lab positron physics program

abstract: The Ce$^+$BAF project at the Thomas Jefferson National Accelerator Facility intends to develop over the coming years a high-duty cycle, high intensity, and high polarization positron beam to serve a unique Nuclear Physics experimental program. It generically comprises the study of the effects of the two- and multi-photon exchange mechanisms, the investigation of the nuclear structure at the nucleonic and partonic scales, and tests of the standard model of particle physics and interactions. This proceedings illustrates this physics program through specific examples and presents the Ce$^+$BAF positron injector concept.


title: Diffutoon: High-Resolution Editable Toon Shading via Diffusion Models

abstract: Toon shading is a type of non-photorealistic rendering task of animation. Its primary purpose is to render objects with a flat and stylized appearance. As diffusion models have ascended to the forefront of image synthesis methodologies, this paper delves into an innovative form of toon shading based on diffusion models, aiming to directly render photorealistic videos into anime styles. In video stylization, extant methods encounter persistent challenges, notably in maintaining consistency and achieving high visual quality. In this paper, we model the toon shading problem as four subproblems: stylization, consistency enhancement, structure guidance, and colorization. To address the challenges in video stylization, we propose an effective toon shading approach called \textit{Diffutoon}. Diffutoon is capable of rendering remarkably detailed, high-resolution, and extended-duration videos in anime style. It can also edit the content according to prompts via an additional branch. The efficacy of Diffutoon is evaluated through quantitive metrics and human evaluation. Notably, Diffutoon surpasses both open-source and closed-source baseline approaches in our experiments. Our work is accompanied by the release of both the source code and example videos on Github (Project page: https://ecnu-cilab.github.io/DiffutoonProjectPage/).


title: Minimality in Finite-Dimensional ZW-Calculi

abstract: The ZW-calculus is a graphical language capable of representing 2-dimensional quantum systems (qubit) through its diagrams, and manipulating them through its equational theory. We extend the formalism to accommodate finite dimensional Hilbert spaces beyond qubit systems. First we define a qudit version of the language, where all systems have the same arbitrary finite dimension d, and show that the provided equational theory is both complete -- i.e. semantical equivalence is entirely captured by the equations -- and minimal -- i.e. none of the equations are consequences of the others. We then extend the graphical language further to accommodate all finite dimensional Hilbert spaces at the same time. We again show the completeness of the provided equational theory.


title: A new catalog of magnetically active solar-like oscillators

abstract: We present a new catalog of stars for which detected solar-like oscillations and magnetic activity measurements are both available from chromospheric spectroscopic observations. Our results were obtained by exploiting NASA TESS mission light curves for active stars observed within the Mount Wilson Observatory HK project and the HK survey of the Hamburg Robotic Telescope TIGRE. We analyzed the light curves for a total of 191 stars by adopting recent techniques based on Bayesian analysis and model comparison to assess the detection of a power excess originating from solar-like oscillations. We characterized the oscillations in a total of 34 targets, for which we provide estimates for the global asteroseismic parameters of $\nu_\mathrm{max}$ (the frequency of maximum oscillation power), $\Delta\nu$ (the large frequency separation), and for the amplitude of the solar-like oscillation envelope $A_\mathrm{max}$. We provide strong statistical evidence for the detection of solar-like oscillations in 15 stars of our sample, identify six further stars where a detection is likely, and 13 stars for which oscillations cannot be ruled out. The key parameters extracted in this work will be exploited for a detailed stellar modeling of the targets and to calibrate relations that connect the level of the measured magnetic activity to the suppression induced on the global oscillation amplitudes. This opens the possibility of shedding light on the interplay between magnetic fields and oscillations. Because of their relatively high brightness, the targets may also be of interest for future dedicated follow-up observations using both photometry and spectropolarimetry.


title: A Volumetric Saliency Guided Image Summarization for RGB-D Indoor Scene Classification

abstract: Image summary, an abridged version of the original visual content, can be used to represent the scene. Thus, tasks such as scene classification, identification, indexing, etc., can be performed efficiently using the unique summary. Saliency is the most commonly used technique for generating the relevant image summary. However, the definition of saliency is subjective in nature and depends upon the application. Existing saliency detection methods using RGB-D data mainly focus on color, texture, and depth features. Consequently, the generated summary contains either foreground objects or non-stationary objects. However, applications such as scene identification require stationary characteristics of the scene, unlike state-of-the-art methods. This paper proposes a novel volumetric saliency-guided framework for indoor scene classification. The results highlight the efficacy of the proposed method.


title: On the Anatomy of Real-World R Code for Static Analysis

abstract: CONTEXT The R programming language has a huge and active community, especially in the area of statistical computing. Its interpreted nature allows for several interesting constructs, like the manipulation of functions at run-time, that hinder the static analysis of R programs. At the same time, there is a lack of existing research regarding how these features, or even the R language as a whole are used in practice. OBJECTIVE In this paper, we conduct a large-scale, static analysis of more than 50 million lines of real-world R programs and packages to identify their characteristics and the features that are actually used. Moreover, we compare the similarities and differences between the scripts of R users and the implementations of package authors. We provide insights for static analysis tools like the lintr package as well as potential interpreter optimizations and uncover areas for future research. METHOD We analyze 4230 R scripts submitted alongside publications and the sources of 19450 CRAN packages for over 350000 R files, collecting and summarizing quantitative information for features of interest. RESULTS We find a high frequency of name-based indexing operations, assignments, and loops, but a low frequency for most of R's reflective functions. Furthermore, we find neither testing functions nor many calls to R's foreign function interface (FFI) in the publication submissions. CONCLUSION R scripts and package sources differ, for example, in their size, the way they include other packages, and their usage of R's reflective capabilities. We provide features that are used frequently and should be prioritized by static analysis tools, like operator assignments, function calls, and certain reflective functions like load.


title: Theoretical Analysis of Solvent Effect on NAPBr Dye's Two-photon Absorption Ability and Non-Radiative Transition in Lipid Droplets Detection

abstract: Two-photon fluorescence imaging has shown a promising application in biomedical imaging due to its outstanding advantages such as large penetration depth, low photo-damage, and photo-bleaching, etc. Among them, the two-photon fluorescent dye NAPBr, which can effectively select and monitor lipid droplets in living cells and biological tissues, has attracted extensive attention because of its excellent fluorescent properties. However, the research on the fluorescent abilities of two-photon fluorescent dyes in solvent environment is not sufficient. In our work, theoretical analysis reveals the internal mechanism of the solvent effect on geometric structure and photophysical properties of two-photon fluorescent dyes, especially non-radiative transition process, and holes-electrons distribution and transfer. This can provide a reference for the development of efficient two-photon absorption (TPA) molecules with aggregation-induced emission (AIE) characteristics. Related data also showed good regularity. Moreover, dye in four solvents have excellent photophysical properties: high fluorescence quantum efficiency (up to 66.60%), large Stokes shift (up to 108696 cm-1), and two-photon absorption cross section (up to 3658 GM). The medium dielectric constant solution environment can achieve a balance between two-photon absorption and fluorescence emission capabilities better, which lays a solid foundation for the study of TPA molecules with AIE functions in terms of solvent effects.


title: Elementary first-order model checking for sparse graphs

abstract: It is known that for subgraph-closed graph classes the first-order model checking problem is fixed-parameter tractable if and only if the class is nowhere dense [Grohe, Kreutzer, Siebertz, STOC 2014]. However, the dependency on the formula size is non-elementary, and in fact, this is unavoidable even for the class of all trees [Frick and Grohe, LICS 2002]. On the other hand, it is known that the dependency is elementary for classes of bounded degree [Frick and Grohe, LICS 2002] as well as for classes of bounded pathwidth [Lampis, ICALP 2023]. In this paper we generalise these results and almost completely characterise subgraph-closed graph classes for which the model checking problem is fixed-parameter tractable with an elementary dependency on the formula size. Those are the graph classes for which there exists a number $d$ such that for every $r$, some tree of depth $d$ and size bounded by an elementary function of $r$ is avoided as an $({\leq} r)$-subdivision in all graphs in the class. In particular, this implies that if the class in question excludes a fixed tree as a topological minor, then first-order model checking for graphs in the class is fixed-parameter tractable with an elementary dependency on the formula size.


title: Error Mitigation for Thermodynamic Computing

abstract: While physics-based computing can offer speed and energy efficiency compared to digital computing, it also is subject to errors that must be mitigated. For example, many error mitigation methods have been proposed for quantum computing. However this error mitigation framework has yet to be applied to other physics-based computing paradigms. In this work, we consider thermodynamic computing, which has recently captured attention due to its relevance to artificial intelligence (AI) applications, such as probabilistic AI and generative AI. A key source of errors in this paradigm is the imprecision of the analog hardware components. Here, we introduce a method that reduces the overall error from a linear to a quadratic dependence (from $\epsilon$ to $\epsilon^2$) on the imprecision $\epsilon$, for Gaussian sampling and linear algebra applications. The method involves sampling from an ensemble of imprecise distributions associated with various rounding events and then merging these samples. We numerically demonstrate the scalability of this method for dimensions greater than 1000. Finally, we implement this method on an actual thermodynamic computer and show $20\%$ error reduction for matrix inversion; the first thermodynamic error mitigation experiment.


title: Cross-Database Liveness Detection: Insights from Comparative Biometric Analysis

abstract: In an era where biometric security serves as a keystone of modern identity verification systems, ensuring the authenticity of these biometric samples is paramount. Liveness detection, the capability to differentiate between genuine and spoofed biometric samples, stands at the forefront of this challenge. This research presents a comprehensive evaluation of liveness detection models, with a particular focus on their performance in cross-database scenarios, a test paradigm notorious for its complexity and real-world relevance. Our study commenced by meticulously assessing models on individual datasets, revealing the nuances in their performance metrics. Delving into metrics such as the Half Total Error Rate, False Acceptance Rate, and False Rejection Rate, we unearthed invaluable insights into the models' strengths and weaknesses. Crucially, our exploration of cross-database testing provided a unique perspective, highlighting the chasm between training on one dataset and deploying on another. Comparative analysis with extant methodologies, ranging from convolutional networks to more intricate strategies, enriched our understanding of the current landscape. The variance in performance, even among state-of-the-art models, underscored the inherent challenges in this domain. In essence, this paper serves as both a repository of findings and a clarion call for more nuanced, data-diverse, and adaptable approaches in biometric liveness detection. In the dynamic dance between authenticity and deception, our work offers a blueprint for navigating the evolving rhythms of biometric security.


title: Incremental Proof Development in Dafny with Module-Based Induction

abstract: Highly automated theorem provers like Dafny allow users to prove simple properties with little effort, making it easy to quickly sketch proofs. The drawback is that such provers leave users with little control about the proof search, meaning that the small changes inherent to the iterative process of writing a proof often lead to unpredictable variations in verification time, and eventually hard-to-diagnose proof failures. This sometimes turns the boon of high automation into a curse, as instead of breaking early and showing unsolved goals to the user like in Coq, proofs tend to gradually become unstable until their verification time explodes. At this point, the absence of a proof context to investigate often leaves the user to a painful debugging session. In this paper, we show how to use Dafny modules to encode Coq-like induction principles to dramatically improve the stability and maintainability of proofs about inductive data structures.


title: DAEDALUS: Defense Against Firmware ROP Exploits Using Stochastic Software Diversity

abstract: This paper presents DAEDALUS, a software diversity-based framework designed to resist ROP attacks on Linux-based IoT devices. DAEDALUS generates unique, semantically equivalent but syntactically different rewrites of IoT firmware, disrupting large-scale replication of ROP attacks. DAEDALUS employs STOKE, a stochastic optimizer for x86 binaries, as its core diversity engine but introduces significant extensions to address unique IoT firmware challenges. DAEDALUS's effectiveness is evaluated using DDoSim, a published botnet DDoS attack simulation testbed. Results demonstrate that DAEDALUS successfully neutralizes ROP payloads by diversifying critical basic blocks in the firmware, preventing attackers from compromising multiple devices for DDoS attacks via memory error vulnerabilities. The findings indicate that DAEDALUS not only mitigates the impact of ROP attacks on individual IoT devices through probabilistic protection but also thwarts large-scale ROP attacks across multiple devices.


title: Player Pressure Map -- A Novel Representation of Pressure in Soccer for Evaluating Player Performance in Different Game Contexts

abstract: In soccer, contextual player performance metrics are invaluable to coaches. For example, the ability to perform under pressure during matches distinguishes the elite from the average. Appropriate pressure metric enables teams to assess players' performance accurately under pressure and design targeted training scenarios to address their weaknesses. The primary objective of this paper is to leverage both tracking and event data and game footage to capture the pressure experienced by the possession team in a soccer game scene. We propose a player pressure map to represent a given game scene, which lowers the dimension of raw data and still contains rich contextual information. Not only does it serve as an effective tool for visualizing and evaluating the pressure on the team and each individual, but it can also be utilized as a backbone for accessing players' performance. Overall, our model provides coaches and analysts with a deeper understanding of players' performance under pressure so that they make data-oriented tactical decisions.


title: Effective Communication with Dynamic Feature Compression

abstract: The remote wireless control of industrial systems is one of the major use cases for 5G and beyond systems: in these cases, the massive amounts of sensory information that need to be shared over the wireless medium may overload even high-capacity connections. Consequently, solving the effective communication problem by optimizing the transmission strategy to discard irrelevant information can provide a significant advantage, but is often a very complex task. In this work, we consider a prototypal system in which an observer must communicate its sensory data to a robot controlling a task (e.g., a mobile robot in a factory). We then model it as a remote Partially Observable Markov Decision Process (POMDP), considering the effect of adopting semantic and effective communication-oriented solutions on the overall system performance. We split the communication problem by considering an ensemble Vector Quantized Variational Autoencoder (VQ-VAE) encoding, and train a Deep Reinforcement Learning (DRL) agent to dynamically adapt the quantization level, considering both the current state of the environment and the memory of past messages. We tested the proposed approach on the well-known CartPole reference control problem, obtaining a significant performance increase over traditional approaches.


title: A mathematical model for contaminant adsorption in packed columns using nonlinear mass transfer

abstract: We propose a mathematical model for describing column adsorption processes where large amounts of contaminant are removed from a carrier gas. The large mass loss causes velocity and pressure to be variables which must then be determined along with the contaminant and gas concentrations and adsorbed quantity. The adsorption rate is described using a Langmuir sink, which is physically more sensible than the linear sink used in a previous study. The proposed model is solved numerically and using a traveling wave approach. The analytical solutions are consistent with previous models with fixed gas velocity and provide excellent agreement when validated against experimental data.


title: Alternating Minimization for Wideband Multiuser IRS-aided MIMO Systems under Imperfect CSI

abstract: This work focuses on wideband intelligent reflecting surface (IRS)-aided multiuser MIMO systems. One of the major challenges of this scenario is the joint design of the frequency-dependent base station (BS) precoder and user filters, and the IRS phase-shift matrix which is frequency flat and common to all the users. In addition, we consider that the channel state information (CSI) is imperfect at both the transmitter and the receivers. A statistical model for the imperfect CSI is developed and exploited for the system design. A minimum mean square error (MMSE) approach is followed to determine the IRS phase-shift matrix, the transmit precoders, and the receiving filters. The broadcast (BC)- multiple access channel (MAC) duality is used to solve the optimization problem following an alternating minimization approach. Numerical results show that the proposed approach leads to substantial performance gains with respect to baseline strategies that neglect the inter-user interference and do not optimize the IRS phase-shift matrix. Further performance gains are obtained when incorporating into the system design the statistical information of the channel estimation errors.


title: The polarization of the boundary layer around weakly magnetized neutron stars in X-ray binaries

abstract: X-ray binaries hosting a compact object have been among the main targets of the Imaging X-ray Polarimetry Explorer (IXPE) since its launch, due to their high brightness in the 2-8 keV energy band. The spectropolarimetric analysis performed so far has proved to be of great importance in providing constraints on the accretion geometry of these systems. However, the data statistics is not enough to unambiguously disentangle the contribution of the single components to the net observed polarimetric signal. In this work, we aim to present a model for computing the polarization degree and polarization angle of the boundary layer around weakly magnetized neutron stars in low-mass X-ray binaries in the soft state. The main motivation is to provide strong theoretical support to data interpretation of observations performed by IXPE or future satellites for X-ray polarimetry. The results were obtained by modeling the boundary layer as an equatorial belt around the compact object and locally approximating it as a plane-parallel scattering atmosphere, for which the associated radiative transfer equation for polarized radiation in the Thomson limit was solved. The polarimetric quantities were then transformed from the comoving frame to the observer frame using the numerical methods formerly developed for X-ray pulsars. For typical values of the optical depth and electron temperature of the boundary layer of these systems in a soft state, the polarization degree was less then 0.5\%, while the polarization angle was rotated by $\protect \la 5^{\circ}$ with respect to the neutron star spin axis due to special and general relativistic effects for fast rotation, the amount progressively decreasing for lower spin frequencies. The derived quantities can be used to remove degeneracy when multicomponent spectropolarimetry is performed.


title: Combining Hierachical VAEs with LLMs for clinically meaningful timeline summarisation in social media

abstract: We introduce a hybrid abstractive summarisation approach combining hierarchical VAE with LLMs (LlaMA-2) to produce clinically meaningful summaries from social media user timelines, appropriate for mental health monitoring. The summaries combine two different narrative points of view: clinical insights in third person useful for a clinician are generated by feeding into an LLM specialised clinical prompts, and importantly, a temporally sensitive abstractive summary of the user's timeline in first person, generated by a novel hierarchical variational autoencoder, TH-VAE. We assess the generated summaries via automatic evaluation against expert summaries and via human evaluation with clinical experts, showing that timeline summarisation by TH-VAE results in more factual and logically coherent summaries rich in clinical utility and superior to LLM-only approaches in capturing changes over time.


title: Channel Estimation and Hybrid Precoding for Frequency Selective Multiuser mmWave MIMO Systems

abstract: Configuring the hybrid precoders and combiners in a millimeter wave (mmWave) multiuser (MU) multiple-input multiple-output (MIMO) system is challenging in frequency selective channels. In this paper, we develop a system that uses compressive estimation on the uplink to configure precoders and combiners for the downlink (DL). In the first step, the base station (BS) simultaneously estimates the channels from all the mobile stations (MSs) on each subcarrier. To reduce the number of measurements required, compressed sensing techniques are developed that exploit common support on the different subcarriers. In the second step, exploiting reciprocity and the channel estimates, the base station designs hybrid precoders and combiners. Two algorithms are developed for this purpose, with different performance and complexity tradeoffs: 1) a factorization of the purely digital solution, and 2) an iterative hybrid design. Extensive numerical experiments evaluate the proposed solutions comparing to state-of-the-art strategies, and illustrating design tradeoffs in overhead, complexity, and performance.


title: Integrated resonant electro-optic comb enabled by platform-agnostic laser integration

abstract: The field of integrated photonics has significantly impacted numerous fields including communication, sensing, and quantum physics owing to the efficiency, speed, and compactness of its devices. However, the reliance on off-chip bulk lasers compromises the compact nature of these systems. While silicon photonics and III-V platforms have established integrated laser technologies, emerging demands for ultra-low optical loss, wider bandgaps, and optical nonlinearities necessitate other platforms. Developing integrated lasers on less mature platforms is arduous and costly due to limited throughput or unconventional process requirements. In response, we propose a novel platform-agnostic laser integration technique utilizing a singular design and process flow, applicable without modification to a diverse range of platforms. Leveraging a two-step micro-transfer printing method, we achieve nearly identical laser performance across platforms with refractive indices between 1.7 and 2.5. Experimental validation demonstrates strikingly similar laser characteristics between devices processed on lithium niobate and silicon nitride platforms. Furthermore, we showcase the integration of a laser with a resonant electro-optic comb generator on the thin-film lithium niobate platform, producing over 80 comb lines spanning 12 nm. This versatile technique transcends platform-specific limitations, facilitating applications like microwave photonics, handheld spectrometers, and cost-effective Lidar systems, across multiple platforms.


title: Competition between phase ordering and phase segregation in the Ti$_x$NbMoTaW and Ti$_x$VNbMoTaW refractory high-entropy alloys

abstract: Refractory high-entropy alloys are under consideration for applications where materials are subjected to high temperatures and levels of radiation, such as in the fusion power sector. However, at present, their scope is limited because they are highly brittle at room temperature. One suggested route to mitigate this issue is by alloying with Ti. In this theoretical study, using a computationally efficient linear-response theory based on density functional theory calculations of the electronic structure of the disordered alloys, we study the nature of atomic short-range order in these multi-component materials, as well as assessing their overall phase stability. Our analysis enables direct inference of phase transitions in addition to the extraction of an atomistic, pairwise model of the internal energy of an alloy suitable for study via, e.g. Monte Carlo simulations. Once Ti is added into either the NbMoTaW or VNbMoTaW system, we find that there is competition between chemical phase ordering and segregation. These results shed light on observed chemical inhomogeneity in experimental samples, as well as providing fundamental insight into the physics of these complex systems.


title: Employing Iterative Feature Selection in Fuzzy Rule-Based Binary Classification

abstract: The feature selection in a traditional binary classification algorithm is always used in the stage of dataset preprocessing, which makes the obtained features not necessarily the best ones for the classification algorithm, thus affecting the classification performance. For a traditional rule-based binary classification algorithm, classification rules are usually deterministic, which results in the fuzzy information contained in the rules being ignored. To do so, this paper employs iterative feature selection in fuzzy rule-based binary classification. The proposed algorithm combines feature selection based on fuzzy correlation family with rule mining based on biclustering. It first conducts biclustering on the dataset after feature selection. Then it conducts feature selection again for the biclusters according to the feedback of biclusters evaluation. In this way, an iterative feature selection framework is build. During the iteration process, it stops until the obtained bicluster meets the requirements. In addition, the rule membership function is introduced to extract vectorized fuzzy rules from the bicluster and construct weak classifiers. The weak classifiers with good classification performance are selected by Adaptive Boosting and the strong classifier is constructed by "weighted average". Finally, we perform the proposed algorithm on different datasets and compare it with other peers. Experimental results show that it achieves good classification performance and outperforms its peers.


title: Beyond Local Structures In Critical Supercooled Water Through Unsupervised Learning

abstract: The presence of a second critical point in water has been a topic of intense investigation for the last few decades. The molecular origins underlying this phenomenon are typically rationalized in terms of the competition between local high-density (HD) and low-density (LD) structures. Their identification often require designing parameters that are subject to human intervention. Herein, we use unsupervised learning to discover structures in atomistic simulations of water close to the Liquid-Liquid Critical point (LLCP). Encoding the information of the environment using local descriptors, we do not find evidence for two distinct thermodynamic structures. In contrast, when we deploy non-local descriptors that probe instead heterogeneities on the nanometer length scale, this leads to the emergence of LD and HD domains rationalizing the microscopic origins of the density fluctuations close to criticality.


title: Solving intractable chemical problems by tensor decomposition

abstract: Many complex chemical problems encoded in terms of physics-based models become computationally intractable for traditional numerical approaches due to their unfavourable scaling with increasing molecular size. Tensor decomposition techniques can overcome such challenges by decomposing unattainably large numerical representations of chemical problems into smaller, tractable ones. In the first two decades of this century, algorithms based on such tensor factorizations have become state-of-the-art methods in various branches of computational chemistry, ranging from molecular quantum dynamics to electronic structure theory and machine learning. Here, we consider the role that tensor decomposition schemes have played in expanding the scope of computational chemistry. We relate some of the most prominent methods to their common underlying tensor network formalism, providing a unified perspective on leading tensor-based approaches in chemistry and materials science.


title: Towards Red Teaming in Multimodal and Multilingual Translation

abstract: Assessing performance in Natural Language Processing is becoming increasingly complex. One particular challenge is the potential for evaluation datasets to overlap with training data, either directly or indirectly, which can lead to skewed results and overestimation of model performance. As a consequence, human evaluation is gaining increasing interest as a means to assess the performance and reliability of models. One such method is the red teaming approach, which aims to generate edge cases where a model will produce critical errors. While this methodology is becoming standard practice for generative AI, its application to the realm of conditional AI remains largely unexplored. This paper presents the first study on human-based red teaming for Machine Translation (MT), marking a significant step towards understanding and improving the performance of translation models. We delve into both human-based red teaming and a study on automation, reporting lessons learned and providing recommendations for both translation models and red teaming drills. This pioneering work opens up new avenues for research and development in the field of MT.


title: Random Geometry and Quantum Spacetime: From scale-invariant random geometries and asymptotic safety to random hyperbolic surfaces and JT gravity

abstract: This thesis is driven by a central question: "What can we learn from random geometries about the structure of quantum spacetime?" In Chapter 2, we provide a partial review of the mathematical foundation of this thesis, random geometry. In Chapter 3, we use a construction coming from random geometry called Mating of Trees to build scale-invariant random geometries that appear in Liouville Quantum Gravity and have the potential to implement the UV fixed point predicted by Asymptotic Safety in two and three dimensions. In Chapter 4 we explore the random geometry formulation of JT gravity and how our understanding of random critical maps yields the discovery of a new family of deformations of JT gravity. Furthermore, the connection between JT gravity and matrix models leads us to delve deeper into the link between discrete geometry and hyperbolic surfaces, building upon the geometry of metric maps and irreducible metric maps in Chapter 5.


title: Molecular dynamics simulations of heat transport using machine-learned potentials: A mini review and tutorial on GPUMD with neuroevolution potentials

abstract: Molecular dynamics (MD) simulations play an important role in understanding and engineering heat transport properties of complex materials. An essential requirement for reliably predicting heat transport properties is the use of accurate and efficient interatomic potentials. Recently, machine-learned potentials (MLPs) have shown great promise in providing the required accuracy for a broad range of materials. In this mini review and tutorial, we delve into the fundamentals of heat transport, explore pertinent MD simulation methods, and survey the applications of MLPs in MD simulations of heat transport. Furthermore, we provide a step-by-step tutorial on developing MLPs for highly efficient and predictive heat transport simulations, utilizing the neuroevolution potentials (NEPs) as implemented in the GPUMD package. Our aim with this mini review and tutorial is to empower researchers with valuable insights into cutting-edge methodologies that can significantly enhance the accuracy and efficiency of MD simulations for heat transport studies.


title: Efficient solution of ill-posed integral equations through averaging

abstract: This paper discusses the error and cost aspects of ill-posed integral equations when given discrete noisy point evaluations on a fine grid. Standard solution methods usually employ discretization schemes that are directly induced by the measurement points. Thus, they may scale unfavorably with the number of evaluation points, which can result in computational inefficiency. To address this issue, we propose an algorithm that achieves the same level of accuracy while significantly reducing computational costs. Our approach involves an initial averaging procedure to sparsify the underlying grid. To keep the exposition simple, we focus only on one-dimensional ill-posed integral equations that have sufficient smoothness. However, the approach can be generalized to more complicated two- and three-dimensional problems with appropriate modifications.


title: Cross-silo Federated Learning with Record-level Personalized Differential Privacy

abstract: Federated learning enhanced by differential privacy has emerged as a popular approach to better safeguard the privacy of client-side data by protecting clients' contributions during the training process. Existing solutions typically assume a uniform privacy budget for all records and provide one-size-fits-all solutions that may not be adequate to meet each record's privacy requirement. In this paper, we explore the uncharted territory of cross-silo FL with record-level personalized differential privacy. We devise a novel framework named rPDP-FL, employing a two-stage hybrid sampling scheme with both client-level sampling and non-uniform record-level sampling to accommodate varying privacy requirements. A critical and non-trivial problem is to select the ideal per-record sampling probability q given the personalized privacy budget {\epsilon}. We introduce a versatile solution named Simulation-CurveFitting, allowing us to uncover a significant insight into the nonlinear correlation between q and {\epsilon} and derive an elegant mathematical model to tackle the problem. Our evaluation demonstrates that our solution can provide significant performance gains over the baselines that do not consider personalized privacy preservation.


title: Zero-sum Random Games on Directed Graphs

abstract: This paper considers a class of two-player zero-sum games on directed graphs whose vertices are equipped with random payoffs of bounded support known by both players. Starting from a fixed vertex, players take turns to move a token along the edges of the graph. On the one hand, for acyclic directed graphs of bounded degree and sub-exponential expansion, we show that the value of the game converges almost surely to a constant at an exponential rate dominated in terms of the expansion. On the other hand, for the infinite $d$-ary tree that does not fall into the previous class of graphs, we show convergence at a double-exponential rate in terms of the expansion.


title: Astrophysical Equation-of-State Constraints on the Color-Superconducting Gap

abstract: We demonstrate that astrophysical constraints on the dense-matter equation of state place an upper bound on the color-superconducting gap in dense matter above the transition from nuclear matter to quark matter. Pairing effects in the color-flavor locked (CFL) quark matter phase increase the pressure at high density, and if this effect is sufficiently large then the requirements of causality and mechanical stability make it impossible to reach such a pressure in a way that is consistent with what is known at lower densities. The intermediate-density equation of state is inferred by considering extensions of chiral effective field theory (CEFT) to neutron star densities, and conditioning these using current astrophysical observations of neutron star radius, maximum mass, and tidal deformability (PSR J0348+0432, PSR J1624-2230, PSR J0740+6620, GW170817). At baryon number chemical potential $\mu = 2.6~\text{GeV}$ we find a 95% upper limit on the CFL pairing gap $\Delta$ of $457~\text{MeV}$ using overly conservative assumptions and $216~\text{MeV}$ with more reasonable assumptions. This constraint may be strengthened by future astrophysical measurements as well as by future advances in high density QCD calculations.


title: YingLong: Skillful High Resolution Regional Short Term Forecasting with Boundary Smoothing

abstract: In the realm of numerical weather forecasting, achieving higher resolution demands increased computational resources and time investment, and leveraging deep learning networks trained solely on data significantly reduces the time expenditure during forecasting. Recently, several global forecasting artificial-intelligence-based models are developed, which are mainly trained on reanalysis dataset with a spatial resolution of approximately 25km. However, regional forecasting prefers a higher spatial resolution, and boundary information for the region also plays an important role in regional forecasting, which turns out to be a major difference from global forecasting. Here we introduce a high resolution, short-term regional weather forecasting, artificial-intelligence-based model called 'YingLong', which is capable of hourly predicting weather fields including wind speed, temperature, and specific humidity at a 3km resolution. YingLong utilizes a parallel structure of global and local blocks to capture multiscale meteorological features and is trained on analysis dataset. Additionally, the necessary information around the regional boundary is introduced to YingLong through the boundary smoothing strategy, which significantly improves the regional forecasting results. By comparing forecast results with those from WRF-ARW, one of the best numerical prediction models, YingLong demonstrates superior forecasting performances in most cases, especially on surface variables.


title: Evaluating the consequences: Impact of sex-selective harvesting on fish population and identifying tipping points via life-history parameters

abstract: Fish harvesting often targets larger individuals, which can be sex-specific due to size dimorphism or differences in behaviors like migration and spawning. Sex-selective harvesting can have dire consequences in the long run, potentially pushing fish populations towards collapse much earlier due to skewed sex ratios and reduced reproduction. To investigate this pressing issue, we used a single-species sex-structured mathematical model with a weak Allee effect on the fish population. Additionally, we incorporate a realistic harvesting mechanism resembling the Michaelis-Menten function. Our analysis illuminates the intricate interplay between life history traits, harvesting intensity, and population stability. The results demonstrate that fish life history traits, such as a higher reproductive rate, early maturation of juveniles, and increased longevity, confer advantages under intensive harvesting. To anticipate potential population collapse, we employ a novel early warning tool (EWT) based on the concept of basin stability to pinpoint tipping points before they occur. Harvesting yield at our proposed early indicator can act as a potential pathway to achieve optimal yield while keeping the population safely away from the brink of collapse, rather than relying solely on the established maximum sustainable yield (MSY), where the population dangerously approaches the point of no return. Furthermore, we show that density-dependent female stocking upon receiving an EWT signal significantly shifts the tipping point, allowing safe harvesting even at MSY levels, thus can act as a potential intervention strategy.


title: Bounds for exponential sums with random multiplicative coefficients

abstract: For $f$ a Rademacher or Steinhaus random multiplicative function, we prove that $$ \max_{\theta \in [0,1]} \frac{1}{\sqrt{N}} \Bigl| \sum_{n \leq N} f(n) \mathrm{e} (n \theta) \Bigr| \gg \sqrt{\log N} ,$$ asymptotically almost surely as $N \rightarrow \infty$. Furthermore, for $f$ a Steinhaus random multiplicative function, and any $\varepsilon > 0$, we prove the partial upper bound result $$ \max_{\theta \in [0,1]} \frac{1}{\sqrt{N}} \Bigl| \sum_{\substack{n \leq N \\ P(n) \geq N^{0.8}}} f(n) \mathrm{e} (n \theta) \Bigr| \ll {(\log N)}^{7/4 + \varepsilon},$$ asymptotically almost surely as $N \rightarrow \infty$, where $P(n)$ denotes the largest prime factor of $n$.


title: Neutrino Masses and Higher Degree Siegel Modular Forms

abstract: In this work, we have analyzed a neutrino model within the distinct framework of modular forms with degree, $ g>1 $ . This offers a more generalized scenario of modular forms which is popularly known as Siegel modular forms. We explore the implications of this special case of automorphic forms for physics beyond the standard model (BSM) within the lepton sector. In our model, we explicitly treat the Yukawa couplings as Siegel modular forms with both degree and level being equivalent to 2. We restrict our modulus parameter for $ \tau_{1}=\tau_{2} $ spanning within the finite modular $ S_{4}\times Z_{2} $ space. This helps us for a broader understanding of the multiplets at higher degree and simplifies the process of model building of the fermion masses. At the end, we compute the unknown neutrino oscillation parameters and find the optimal values of the modulus parameters $ \tau_{1} $ and $ \tau_{3} $ for which the values of the Yukawa couplings are consistent at $ 3\sigma $ for the input parameters of neutrinos as given in NuFIT 5.2 and discuss its underlying physics.


title: MosquIoT: A System Based on IoT and Machine Learning for the Monitoring of Aedes aegypti (Diptera: Culicidae)

abstract: Millions of people around the world are infected with mosquito-borne diseases each year. One of the most dangerous species is Aedes aegypti, the main vector of viruses such as dengue, yellow fever, chikungunya, and Zika, among others. Mosquito prevention and eradication campaigns are essential to avoid major public health consequences. In this respect, entomological surveillance is an important tool. At present, this traditional monitoring tool is executed manually and requires digital transformation to help authorities make better decisions, improve their planning efforts, speed up execution, and better manage available resources. Therefore, new technological tools based on proven techniques need to be designed and developed. However, such tools should also be cost-effective, autonomous, reliable, and easy to implement, and should be enabled by connectivity and multi-platform software applications. This paper presents the design, development, and testing of an innovative system named MosquIoT. It is based on traditional ovitraps with embedded Internet of Things (IoT) and Tiny Machine Learning (TinyML) technologies, which enable the detection and quantification of Ae. aegypti eggs. This innovative and promising solution may help dynamically understand the behavior of Ae. aegypti populations in cities, shifting from the current reactive entomological monitoring model to a proactive and predictive digital one.


title: Optical properties of black holes in regularized Maxwell theory

abstract: Regularized Maxwell electrodynamics is a recently discovered theory of non-linear electrodynamics, with a "minimally regularized" field strength of a point charge, that is "very close" to the Maxwell theory in many aspects. In this paper we investigate some of the optical properties of its black holes. Namely, we study geodesics, gravitational red-shift, black hole shadow, as well as investigate the relationship between the behavior of (null geodesic) Lyapunov exponents and the existence of thermodynamic critical points in both canonical and grand-canonical ensembles.


title: Kinetic theory of motility induced phase separation for active Brownian particles

abstract: When two active Brownian particles collide, they slide along each other until they can continue their free motion. For persistence lengths much larger than the particle diameter, the directors do not change, but the collision can be modeled as producing a net displacement on the particles compared to their free motion in the absence of the encounter. With these elements, a Boltzmann--Enskog-like kinetic theory is built. A linear stability analysis of the homogeneous state predicts a density instability resulting from the effective velocity reduction of tagged particles predicted by the theory.


title: Using multiple Dirac delta points to describe inhomogeneous flux density over a cell boundary in a single-cell diffusion model

abstract: Biological cells can release compounds into their direct environment, generally inhomogeneously over their cell membrane, after which the compounds spread by diffusion. In mathematical modelling and simulation of a collective of such cells, it is theoretically and numerically advantageous to replace spatial extended cells with point sources, in particular when cell numbers are large, but still so small that a continuum density description cannot be justified, or when cells are moving. We show that inhomogeneous flux density over the cell boundary may be realized in a point source approach, thus maintaining computational efficiency, by utilizing multiple, clustered point sources (and sinks). In this report, we limit ourselves to a sinusoidal function as flux density in the spatial exclusion model, and we show how to determine the amplitudes of the Dirac delta points in the point source model, such that the deviation between the point source model and the spatial exclusion model is small.


title: Theory of universal diode effect in three-terminal Josephson junctions

abstract: We theoretically study the superconducting diode effect in a three-terminal Josephson junction. The diode effect in superconducting systems is typically related to the presence of a difference in the critical currents for currents flowing in the opposite direction. We show that in multi-terminal systems this effect occurs naturally without the need of the presence of any spin interactions and is a result of the presence of a relative shift between the Andreev bound states carrying the supercurrent. On an example of a three-terminal junction, we demonstrate that the non-reciprocal current in one of the superconducting contacts can be induced by proper phase biasing of the other contacts, provided that there are at least two Andreev bound states in the system and the symmetry of the system is broken. This result is confirmed in numerical models describing the junctions in both the short- and long-regime. By optimizing the geometry of the junction, we show that the efficiency of the realized superconducting diode exceeds $35 \%$. We relate our predictions to recent experiments on multi-terminal junctions, in which non-reciprocal supercurrents were observed.