title: Enhancing Physical Layer Communication Security through Generative AI with Mixture of Experts

abstract: AI technologies have become more widely adopted in wireless communications. As an emerging type of AI technologies, the generative artificial intelligence (GAI) gains lots of attention in communication security. Due to its powerful learning ability, GAI models have demonstrated superiority over conventional AI methods. However, GAI still has several limitations, including high computational complexity and limited adaptability. Mixture of Experts (MoE), which uses multiple expert models for prediction through a gate mechanism, proposes possible solutions. Firstly, we review GAI model's applications in physical layer communication security, discuss limitations, and explore how MoE can help GAI overcome these limitations. Furthermore, we propose an MoE-enabled GAI framework for network optimization problems for communication security. To demonstrate the framework's effectiveness, we provide a case study in a cooperative friendly jamming scenario. The experimental results show that the MoE-enabled framework effectively assists the GAI algorithm, solves its limitations, and enhances communication security.


title: Asymptotics of the partition function for beta-ensembles at high temperature

abstract: We consider a model for a gas of $N$ confined particles interacting via a two-body logarithmic interaction, namely the real $\beta$-ensembles. We are interested in the regime where the inverse temperature scales as $N\beta=2P$ with $P$ a fixed positive parameter; this is called the high-temperature regime. The confining potential is of the form $x^2+\phi$ with bounded smooth function $\phi$. We establish for this model, the existence of a large-$N$ asymptotic expansion for the associated partition function. We also prove the existence of a large-$N$ asymptotic expansion of linear statistics for general confining potentials. Our method is based on the analysis of the loop equations. Finally, we establish a continuity result for the equilibrium density with respect to the potential dependence.


title: Fibonacci Neural Network Approach for Numerical Solutions of Fractional Order Differential Equations

abstract: In this paper, the authors propose the utilization of Fibonacci Neural Networks (FNN) for solving arbitrary order differential equations. The FNN architecture comprises input, middle, and output layers, with various degrees of Fibonacci polynomials serving as activation functions in the middle layer. The trial solution of the differential equation is treated as the output of the FNN, which involves adjustable parameters (weights). These weights are iteratively updated during the training of the Fibonacci neural network using backpropagation. The efficacy of the proposed method is evaluated by solving five differential problems with known exact solutions, allowing for an assessment of its accuracy. Comparative analyses are conducted against previously established techniques, demonstrating superior accuracy and efficacy in solving the addressed problems.


title: Exact calculation of the probabilities of rare events in cluster-cluster aggregation

abstract: We develop an action formalism to calculate probabilities of rare events in cluster-cluster aggregation for arbitrary collision kernels and establish a pathwise large deviation principle with total mass being the rate. As an application, the rate function for the number of surviving particles as well as the optimal evolution trajectory are calculated exactly for the constant, sum and product kernels. For the product kernel, we argue that the second derivative of the rate function has a discontinuity. The theoretical results agree with simulations tailored to the calculation of rare events.

categories: cond-mat.stat-mech physics.bio-ph physics.class-ph physics.data-an


title: Transference of measures via disintegration

abstract: Given a compact space $K$ and a Banach space $E$ we study the structure of positive measures on the product space $K\times B_{E^*}$ representing functionals on $C(K,E)$, the space of $E$-valued continuous functions on $K$. Using the technique of disintegration we provide an alternative approach to the procedure of transference of measures introduced by Batty (1990). This enables us to substantially strengthen some of his results, to discover a rich order structure on these measures, to identify maximal and minimal elements and to relate them to the classical Choquet order.


title: Reconciling light nuclei and nuclear matter: relativistic $ab\ initio$ calculations

abstract: It has been a long-standing challenge to accurately predict the properties of light nuclei and nuclear matter simultaneously in nuclear $ab\ initio$ calculations. In this Letter, we develop the relativistic quantum Monte Carlo methods for the nuclear $ab\ initio$ problem, and calculate the ground-state energies of $A\leq4$ nuclei using the two-nucleon Bonn force with an unprecedented high accuracy. For $A=3,4$ nuclei, the present relativistic results significantly outperforms the nonrelativistic results with only two-nucleon forces. Combining the present results for light nuclei and the previous results for nuclear matter with the same Bonn force, a correlation between the properties of light $A\leq4$ nuclei and the nuclear saturation is revealed, and both systems are well described simultaneously, even without introducing three-nucleon forces. This provides a quantitative understanding of the connection between the light nuclei and nuclear matter saturation properties, which has been an outstanding problem in nuclear $ab\ initio$ calculations for decades.


title: Control in the coefficients of an elliptic differential operator: topological derivatives and Pontryagin maximum principle

abstract: We consider optimal control problems, where the control appears in the main part of the operator. We derive the Pontryagin maximum principle as a necessary optimality condition. The proof uses the concept of topological derivatives. In contrast to earlier works, we do not need continuity assumptions for the coefficient or gradients of solutions of partial differential equations. Following classical proofs, we consider perturbations of optimal controls by multiples of characteristic functions of sets, whose scaling factor is send to zero. For $2d$ problems, we can perform an optimization over the elliptic shapes of such sets leading to stronger optimality conditions involving a variational inequality of a new type.


title: Darboux's Theorem, Lie series and the standardization of the Salerno and Ablowitz-Ladik models

abstract: In the framework of nonlinear Hamiltonian lattices, we revisit the proof of Moser-Darboux's Theorem, in order to present a general scheme for its constructive applicability to Hamiltonian models with non-standard symplectic structures. We take as a guiding example the Salerno and Ablowitz-Ladik (AL) models: we justify the form of a well-known change of coordinates which is adapted to the Gauge symmetry, by showing that it comes out in a natural way within the general strategy outlined in the proof. Moreover, the full or truncated Lie-series technique in the extended phase-space is used to transform the Salerno model, at leading orders in the Darboux coordinates: thus the dNLS Hamiltonian turns out to be a normal form of the Salerno and AL models; as a byproduct we also get estimates of the dynamics of these models by means of dNLS one. We also stress that, once it is cast into the perturbative approach, the method allows to deal with the cases where the explicit trasformation is not known, or even worse it is not writable in terms of elementary functions.


title: NOVA: NoC-based Vector Unit for Mapping Attention Layers on a CNN Accelerator

abstract: Attention mechanisms are becoming increasingly popular, being used in neural network models in multiple domains such as natural language processing (NLP) and vision applications, especially at the edge. However, attention layers are difficult to map onto existing neuro accelerators since they have a much higher density of non-linear operations, which lead to inefficient utilization of today's vector units. This work introduces NOVA, a NoC-based Vector Unit that can perform non-linear operations within the NoC of the accelerators, and can be overlaid onto existing neuro accelerators to map attention layers at the edge. Our results show that the NOVA architecture is up to 37.8x more power-efficient than state-of-the-art hardware approximators when running existing attention-based neural networks.


title: On High-Dimensional Twin-Field Quantum Key Distribution

abstract: Twin-Field Quantum Key Distribution (QKD) is a QKD protocol that uses single-photon interference to perform QKD over long distances. QKD protocols that encode information using high-dimensional quantum states can benefit from increased key rates and higher noise resilience. We define the essence of Twin-Field QKD and explore its generalization to higher dimensions. Further, we show that, ultimately, the Twin-Field protocol cannot be generalized to higher dimensions in accordance with our definition.


title: Collapsing immortal K\"ahler-Ricci flows

abstract: We consider the K\"ahler-Ricci flow on compact K\"ahler manifolds with semiample canonical bundle and intermediate Kodaira dimension, and show that the flow collapses to a canonical metric on the base of the Iitaka fibration in the locally smooth topology and with bounded Ricci curvature away from the singular fibers. This follows from an asymptotic expansion for the evolving metrics, in the spirit of recent work of the first and third-named authors on collapsing Calabi-Yau metrics, and proves two conjectures of Song and Tian.


title: Local derivations and automorphisms of nilpotent Lie algebra

abstract: The paper is devoted to the study of local derivations and automorphisms of nilpotent Lie algebras. Namely, we proved that nilpotent Lie algebras with indices of nilpotency $3$ and $4$ admit local derivation (local automorphisms) which is not a derivation (automorphisms). Further, it is presented a sufficient condition under which a nilpotent Lie algebra admits a local derivation which is not a derivation. With the same condition, it is proved the existence of pure local automorphism on a nilpotent Lie algebra. Finally, we present an $n$-dimensional non-associative algebra for which the space of local derivations coincides with the space of derivations.


title: Extracting parity-violating gravitational waves from projected tidal force tensor in three dimensions

abstract: Gravitational waves (GWs) may be produced by various mechanisms in the early universe. In particular, if parity is violated, it may lead to the production of parity-violating GWs. In this paper, we focus on GWs on the scale of the large-scale structure. Since GWs induce tidal deformations of the shape of galaxies, one can extract such GW signals by observing images of galaxies in galaxy surveys. Conventionally the detection of such signals is discussed by considering the three-dimensional power spectra of the $E/B$-modes. Here, we develop a complementary new technique to estimate the contribution of GWs to the tidal force tensor field projected on the celestial sphere, which is a directly observable quantity. We introduce two two-dimensional vector fields constructed by taking the divergence and curl of the projected tidal field in three dimensions. Their auto-correlation functions naturally contain contributions of the scalar-type tidal field. However, we find that the divergence of the curl of the projected tidal field, which is a pseudo-scalar quantity, is free from the scalar contribution and thus enables us to extract GW signals. We also find that we can detect parity-violating signals in the GWs by observing the nonzero cross-correlation between the divergence of the projected tidal field and the curl of it. It roughly corresponds to measuring the cross-power spectrum of E and B-modes, but these are complementary to each other in the sense that our estimator can be naturally defined locally in position space. Finally we present expressions of the correlation functions in the form of Fourier integrals, and discuss the properties of the kernels specific to the GW case, which we call the overlap reduction function, borrowing the terminology used in the pulsar timing array experiments.


title: Breast Histopathology Image Retrieval by Attention-based Adversarially Regularized Variational Graph Autoencoder with Contrastive Learning-Based Feature Extraction

abstract: Breast cancer is the most common cancer type in women worldwide. Early detection and appropriate treatment can significantly reduce its impact. While histopathology examinations play a vital role in rapid and accurate diagnosis, they often require a substantial workforce and experienced medical experts for proper recognition and cancer grading. Automated image retrieval systems have the potential to assist pathologists in identifying cancerous tissues, thereby accelerating the diagnostic process. Nevertheless, due to considerable variability among the tissue and cell patterns in histological images, proposing an accurate image retrieval model is very challenging. This work introduces a novel attention-based adversarially regularized variational graph autoencoder model for breast histological image retrieval. Additionally, we incorporated cluster-guided contrastive learning as the graph feature extractor to boost the retrieval performance. We evaluated the performance of the proposed model on two publicly available datasets of breast cancer histological images and achieved superior or very competitive retrieval performance, with average mAP scores of 96.5% for the BreakHis dataset and 94.7% for the BACH dataset, and mVP scores of 91.9% and 91.3%, respectively. Our proposed retrieval model has the potential to be used in clinical settings to enhance diagnostic performance and ultimately benefit patients.


title: Green Tsetlin Redefining Efficiency in Tsetlin Machine Frameworks

abstract: Green Tsetlin (GT) is a Tsetlin Machine (TM) framework developed to solve real-world problems using TMs. Several frameworks already exist that provide access to TM implementations. However, these either lack features or have a research-first focus. GT is an easy-to-use framework that aims to lower the complexity and provide a production-ready TM implementation that is great for experienced practitioners and beginners. To this end, GT establishes a clear separation between training and inference. A C++ backend with a Python interface provides competitive training and inference performance, with the option of running in pure Python. It also integrates support for critical components such as exporting trained models, hyper-parameter search, and cross-validation out-of-the-box.


title: On left braces in which every subbrace is an ideal

abstract: The aim of this paper is to introduce and study the class of all left braces in which every subbrace is an ideal. We call them Dedekind left braces. It is proved that every finite Dedekind left brace is centrally nilpotent. Structural results about Dedekind left braces and a complete description of those ones whose additive group is elementary abelian are also shown. As a consequence, every hypermultipermutational Dedekind left brace whose additive group is elementary abelian is multipermutational of level $2$. A new class of left braces, the extraspecial left braces, is introduced and plays a prominent role in our approach.


title: On the Gelfand Problem and Viscosity Matrices for Two-Dimensional Hyperbolic Systems of Conservation Laws

abstract: We present counter-intuitive examples of a viscous regularizations of a two-dimensional strictly hyperbolic system of conservation laws. The regularizations are obtained using two different viscosity matrices. While for both of the constructed ``viscous'' systems waves propagating in either $x$- or $y$-directions are stable, oblique waves may be linearly unstable. Numerical simulations fully corroborate these analytical results. To the best of our knowledge, this is the first nontrivial result related to the multidimensional Gelfand problem. Our conjectures provide direct answer to Gelfand's problem both in one- and multi-dimensional cases.


title: NL2Plan: Robust LLM-Driven Planning from Minimal Text Descriptions

abstract: Today's classical planners are powerful, but modeling input tasks in formats such as PDDL is tedious and error-prone. In contrast, planning with Large Language Models (LLMs) allows for almost any input text, but offers no guarantees on plan quality or even soundness. In an attempt to merge the best of these two approaches, some work has begun to use LLMs to automate parts of the PDDL creation process. However, these methods still require various degrees of expert input. We present NL2Plan, the first domain-agnostic offline LLM-driven planning system. NL2Plan uses an LLM to incrementally extract the necessary information from a short text prompt before creating a complete PDDL description of both the domain and the problem, which is finally solved by a classical planner. We evaluate NL2Plan on four planning domains and find that it solves 10 out of 15 tasks - a clear improvement over a plain chain-of-thought reasoning LLM approach, which only solves 2 tasks. Moreover, in two out of the five failure cases, instead of returning an invalid plan, NL2Plan reports that it failed to solve the task. In addition to using NL2Plan in end-to-end mode, users can inspect and correct all of its intermediate results, such as the PDDL representation, increasing explainability and making it an assistive tool for PDDL creation.


title: DESI 2024: Reconstructing Dark Energy using Crossing Statistics with DESI DR1 BAO data

abstract: We implement Crossing Statistics to reconstruct in a model-agnostic manner the expansion history of the universe and properties of dark energy, using DESI Data Release 1 (DR1) BAO data in combination with one of three different supernova compilations (PantheonPlus, Union3, and DES-SN5YR) and Planck CMB observations. Our results hint towards an evolving and emergent dark energy behaviour, with negligible presence of dark energy at $z\gtrsim 1$, at varying significance depending on data sets combined. In all these reconstructions, the cosmological constant lies outside the 95\% confidence intervals for some redshift ranges. This dark energy behaviour, reconstructed using Crossing Statistics, is in agreement with results from the conventional $w_0$--$w_a$ dark energy equation of state parametrization reported in the DESI Key cosmology paper. Our results add an extensive class of model-agnostic reconstructions with acceptable fits to the data, including models where cosmic acceleration slows down at low redshifts. We also report constraints on \Hord\ from our model-agnostic analysis, independent of the pre-recombination physics.


title: CAVITY, Calar Alto Void Integral-field Treasury surveY and project extension

abstract: We have learnt in the last decades that the majority of galaxies belong to high density regions interconnected in a sponge-like fashion. This large-scale structure is characterised by clusters, filaments, walls, where most galaxies concentrate, but also under-dense regions, called voids. The void regions and the galaxies within represent an ideal place for the study of galaxy formation and evolution as they are largely unaffected by the complex physical processes that transform galaxies in high-density environments. These void galaxies can hold the key as well to answer current challenges to the $\Lambda$CDM paradigm. The Calar Alto Void Integral-field Treasury surveY (CAVITY) is a Legacy project approved by the Calar Alto Observatory to obtain spatially resolved spectroscopic information of $\sim300$ void galaxies in the Local Universe (0.005 < z < 0.050) covering from -17.0 to -21.5 in $\rm r$ band absolute magnitude. It officially started in January 2021 and has been awarded 110 useful dark observing nights at the 3.5 m telescope using the PMAS spectrograph. Complementary follow-up projects including deep optical imaging, integrated, as well as resolved CO data, and integrated HI spectra, have joint the PMAS observations and naturally complete the scientific aim of characterising galaxies in cosmic voids. The extension data has been denominated CAVITY+. The data will be available to the whole community in different data releases, the first of which is planned for July 2024, and it will provide the community with PMAS data cubes for around 100 void galaxies through a user friendly, and well documented, database platform. We present here the survey, sample selection, data reduction, quality control schemes, science goals, and some examples of the scientific power of the CAVITY and CAVITY+ data.


title: Deep Reinforcement Learning for Multi-User RF Charging with Non-linear Energy Harvesters

abstract: Radio frequency (RF) wireless power transfer (WPT) is a promising technology for sustainable support of massive Internet of Things (IoT). However, RF-WPT systems are characterized by low efficiency due to channel attenuation, which can be mitigated by precoders that adjust the transmission directivity. This work considers a multi-antenna RF-WPT system with multiple non-linear energy harvesting (EH) nodes with energy demands changing over discrete time slots. This leads to the charging scheduling problem, which involves choosing the precoders at each slot to minimize the total energy consumption and meet the EH requirements. We model the problem as a Markov decision process and propose a solution relying on a low-complexity beamforming and deep deterministic policy gradient (DDPG). The results show that the proposed beamforming achieves near-optimal performance with low computational complexity, and the DDPG-based approach converges with the number of episodes and reduces the system's power consumption, while the outage probability and the power consumption increase with the number of devices.


title: Iterative Experience Refinement of Software-Developing Agents

abstract: Autonomous agents powered by large language models (LLMs) show significant potential for achieving high autonomy in various scenarios such as software development. Recent research has shown that LLM agents can leverage past experiences to reduce errors and enhance efficiency. However, the static experience paradigm, reliant on a fixed collection of past experiences acquired heuristically, lacks iterative refinement and thus hampers agents' adaptability. In this paper, we introduce the Iterative Experience Refinement framework, enabling LLM agents to refine experiences iteratively during task execution. We propose two fundamental patterns: the successive pattern, refining based on nearest experiences within a task batch, and the cumulative pattern, acquiring experiences across all previous task batches. Augmented with our heuristic experience elimination, the method prioritizes high-quality and frequently-used experiences, effectively managing the experience space and enhancing efficiency. Extensive experiments show that while the successive pattern may yield superior results, the cumulative pattern provides more stable performance. Moreover, experience elimination facilitates achieving better performance using just 11.54% of a high-quality subset.


title: A characterization of wavelet sets on Vilenkin groups with its application to construction of MRA wavelets

abstract: Let $G$ be a Vilenkin group. In 2008, Y. A. Farkov constructed wavelets on $G$ via the multiresolution analysis method. In this article, a characterization of wavelet sets on $G$ is established, which provides another method for the construction of wavelets. As an application, the relation between multiresolution analyses and wavelets determined from wavelet sets is also presented. To some extent, these results positively answer a question mentioned by P. Mahapatra and D. Singh in [Bull. Sci. Math. 167 (2021), Paper No. 102945, 20 pp].


title: Non-escape of mass for arithmetic quantum limits on hyperbolic $4$-manifolds

abstract: We make progress on the quantum unique ergodicity (QUE) conjecture for Hecke-Maass forms on a congruence quotient of hyperbolic $4$-space, eliminating the possibility of "escape of mass" for these forms.


title: Two dimensional semiconductors: optical and electronic properties

abstract: In the last decade atomically thin 2D materials have emerged as a perfect platform for studying and tuning light-matter interaction and electronic properties in nanostructures. The optoelectronic properties in layered materials such as transition-metal-dichalcogenides (TMDs) are governed by excitons, Coulomb bound electron-hole pairs, even at room temperature. The energy, wave function extension, spin and valley properties of optically excited conduction electrons and valence holes are controllable via multiple experimentally accessible knobs, such as lattice strain, varying atomic registries, dielectric engineering as well as electric and magnetic fields. This results in a multitude of fascinating physical phenomena in optics and transport linked to excitons with very specific properties, such as bright and dark excitons, interlayer and charge transfer excitons as well as hybrid and moir\'e excitons. In this book chapter we introduce general optoelectronic properties of 2D materials and energy landscapes in TMD monolayers as well as their vertical and lateral heterostructures, including twisted TMD hetero- and homobilayer bilayers with moir\'e excitons and lattice recombination effects. We review the recently gained insights and open questions on exciton diffusion, strain- and field-induced exciton drift. We discuss intriguing non-linear many-particle effects, such as exciton halo formation, negative and anomalous diffusion, the surprising anti-funneling of dark excitons.


title: Measurement of gravitational acceleration in a single laser operated atomic fountain

abstract: We present measurements on Earth's gravitational acceleration (g) using an in-house developed cold atom gravimeter (CAG) in an atomic fountain geometry. In the setup, the laser cooled $^{87}Rb$ atoms are launched vertically up in the fountain geometry and Doppler sensitive two-photon Raman pulse atom interferometry is applied to detect the gravitational acceleration experienced by the atoms. Using our gravimeter setup, we have measured the local value of 'g' in our laboratory with sensitivity of 621 $\mu$Gal for integration time of 1350 s.


title: ChemPlasKin: a general-purpose program for unified gas and plasma kinetics simulations

abstract: This work introduces ChemPlasKin, a freely accessible solver optimized for zero-dimensional (0D) simulations of chemical kinetics of neutral gas in non-equilibrium plasma environments. By integrating the electron Boltzmann equation solver, CppBOLOS, with the open-source combustion library, Cantera, at the source code level, ChemPlasKin computes time-resolved evolution of species concentration and gas temperature in a unified gas-plasma kinetics framework. The model allows high fidelity predictions of both chemical thermal effects and plasma-induced heating, including fast gas heating and slower vibrational-translational relaxation processes. Additionally, a new heat loss model is developed for nanosecond pulsed discharges, specifically within pin-pin electrode configurations. With its versatility, ChemPlasKin is well-suited for a wide range of applications, from plasma-assisted combustion (PAC) to fuel reforming. In this paper, the reliability, accuracy and efficiency of ChemPlasKin are validated through a number of test problems, demonstrating its utility in advancing gas-plasma kinetic studies.


title: Long-term usage of the off-grid photovoltaic system with lithium-ion battery-based energy storage system on high mountains: A case study in Payiun Lodge on Mt. Jade in Taiwan

abstract: Energy supply on high mountains remains an open issue since grid connection is unavailable. In the past, diesel generators with lead-acid battery energy storage systems (ESSs) are applied in most cases. Recently, photovoltaic (PV) system with lithium-ion (Li-ion) battery ESS is an appropriate method for solving this problem in a greener way. In 2016, an off-grid PV system with Li-ion battery ESS has been installed in Paiyun Lodge on Mt. Jade (the highest lodge in Taiwan). After operation for more than 7 years, the aging problem of the whole electric power system becomes a critical issue for long-term usage. In this work, a method is established for analyzing the massive energy data (over 7 million rows) and estimating the health of the Li-ion battery system, such as daily operation patterns as well as C-rate, temperature, and accumulated energy distributions. The accomplished electric power improvement project dealing with the power system aging is reported. Based on the long-term usage experience, a simple cost analysis model between lead-acid and Li-ion battery systems is built, explaining that the expensive Li-ion batteries can compete with the cheap lead-acid batteries for long-term usage on high mountains. This case study provides engineers and researchers a fundamental understanding of the long-term usage of off-grid PV ESSs and engineering on high mountains.


title: NEST: Neural Estimation by Sequential Testing

abstract: Adaptive psychophysical procedures aim to increase the efficiency and reliability of measurements. With increasing stimulus and experiment complexity in the last decade, estimating multi-dimensional psychometric functions has become a challenging task for adaptive procedures. If the experimenter has limited information about the underlying psychometric function, it is not possible to use parametric techniques developed for the multi-dimensional stimulus space. Although there are non-parametric approaches that use Gaussian process methods and specific hand-crafted acquisition functions, their performance is sensitive to proper selection of the kernel function, which is not always straightforward. In this work, we use a neural network as the psychometric function estimator and introduce a novel acquisition function for stimulus selection. We thoroughly benchmark our technique both using simulations and by conducting psychovisual experiments under realistic conditions. We show that our method outperforms the state of the art without the need to select a kernel function and significantly reduces the experiment duration.


title: The Penrose Inequality for Metrics with Singular Sets

abstract: We study the Penrose inequality and its rigidity for metrics with singular sets. Our result could be viewed as a complement of Theorem 1.1 of Lu and Miao (J. Funct. Anal. 281, 2021) and Theorem 1.2 of Shi, Wang and Yu (Math. Z. 291, 2019), in which they assume the singular set is a hypersurface and assume an additional condition on the mean curvature. As a complement, this paper study the case of singular set of dimensional less than n-1, without any additional conditions.


title: How the presence of a giant planet affects the outcome of terrestrial planet formation simulations

abstract: The architecture and masses of planetary systems in the habitable zone could be strongly influenced by outer giant planets, if present. We investigate here the impact of outer giants on terrestrial planet formation, under the assumption that the final assembly of the planetary system is set by a giant impact phase. Utilizing a state-of-the-art N-body simulation software, GENGA, we interpret how the late stage of terrestrial planet formation results in diversity within planetary systems. We design two global model setups: in the first we place a gas giant on the outer side of planetesimals and embryos disk, while the other only has planetesimals and embryos but no giant. For the model including the outer giant, we study the effect of different giant initial masses, in the range 1.0-3.0 Jupiter mass, and orbital radii, in the range 2.0-5.8 AU.We also study the influence of different initial positions of planetesimals and embryos on the results. Our N-body simulation time is approximately 50 Myr. The results show that the existence of outer giant will promote the interaction between planetesimals and embryos, making the orbits of the formed terrestrial planets more compact, but placing the giant planet too close to the planetesimals and embryos disk suppresses the formation of massive rocky planets. In addition, under the classical theory, where planetary embryos and planetesimals collide to form terrestrial planets, our results show that the presence of a giant planet actually decreases the gap complexity of the inner planetary system.


title: Optical Photon Emission in Extended Airshowers -- Hybrid computing in the context of CORSIKA 8

abstract: With the motivation to improve experimental gains and precision, established astroparticle experiments are currently undergoing massive upgrades. In addition, several new experiments are being built or planned. With the resulting gain in observational quality, the amount and accuracy of simulated data required for the analysis is also rising. In order to meet the increasing requirements and complexity due to the experiments' growth and to provide a unified software ecosystem, it was decided to re-develop the de facto standard extensive air shower simulation CORSIKA completely in C++ based on the original Fortran code. Since one of the largest runtime consumers is the propagation of millions of optical Cherenkov and fluorescence photons, and many experiments are starting to use them for measurements, it was decided to develop hardware-accelerated code to speed up the simulation. Specific methods have been developed to propagate photons on deep learning acceleration hardware similar to classical GPUs to take additional advantage of the current and future growth of the deep learning sector. In particular, Nvidia accelerators were tested.


title: Unveiling the optimization process of Physics Informed Neural Networks: How accurate and competitive can PINNs be?

abstract: This study investigates the potential accuracy boundaries of physics-informed neural networks, contrasting their approach with previous similar works and traditional numerical methods. We find that selecting improved optimization algorithms significantly enhances the accuracy of the results. Simple modifications to the loss function may also improve precision, offering an additional avenue for enhancement. Despite optimization algorithms having a greater impact on convergence than adjustments to the loss function, practical considerations often favor tweaking the latter due to ease of implementation. On a global scale, the integration of an enhanced optimizer and a marginally adjusted loss function enables a reduction in the loss function by several orders of magnitude across diverse physical problems. Consequently, our results obtained using compact networks (typically comprising 2 or 3 layers of 20-30 neurons) achieve accuracies comparable to finite difference schemes employing thousands of grid points. This study encourages the continued advancement of PINNs and associated optimization techniques for broader applications across various fields.


title: Nonlinear dynamics driving the conversion of gravitational and electromagnetic waves in cylindrically symmetric spacetime

abstract: Using the ``composite harmonic mapping method," we construct exact solutions for cylindrically symmetric gravitational and electromagnetic waves within the Einstein-Maxwell system, focusing on the conversion dynamics between these types of waves. In this approach, we employs two types of geodesic surfaces in ${\mathbb H}^{2}_{C}$: (a) the complex line and (b) the totally real Lagrangian plane, applied to two different vacuum seed solutions: (i) a vacuum solution previously utilized in our studies and (ii) the solitonic vacuum solution constructed previously by Economou and Tsoubelis. We study three scenarios: case (a) with seeds (i) and (ii), and case (b) with seed (ii). In all cases (a) and (b), solutions demonstrate notable mode conversions near the symmetric axis. In case (a) with seed (i) or seed (ii), we show that any change in the occupancy of the gravitational or electromagnetic mode relative to the C-energy near the axis always reverts to its initial state once the wave moves away from the axis. Particularly in case (b) with seed (ii), nontrivial conversions occur even when the wave moves away from the axis. In this case, the amplification factors of electromagnetic modes range from an upper limit of approximately $2.4$ to a lower limit of about $0.4$, when comparing the contributions of electromagnetic mode to C-energy at past and future null infinities.


title: Probing the polarized photon content of the proton in $ep$ collisions at the EIC

abstract: We study the single-inclusive production of prompt photons in electron proton collisions, $ep \to \gamma X $, for kinematics relevant at the Electron-Ion Collider (EIC). We perform a perturbative calculation of the differential cross section to next-to-leading order in QCD and to lowest order in QED. We consider unpolarized collisions as well as scattering of longitudinally polarized incident electrons and protons. We show that the cross sections are sensitive to the parton distribution functions of photons inside the proton, which we find to generate the dominant contributions in certain kinematical regions at the EIC. We also investigate the effects of photon isolation on the unpolarized and polarized cross sections.


title: Vidu: a Highly Consistent, Dynamic and Skilled Text-to-Video Generator with Diffusion Models

abstract: We introduce Vidu, a high-performance text-to-video generator that is capable of producing 1080p videos up to 16 seconds in a single generation. Vidu is a diffusion model with U-ViT as its backbone, which unlocks the scalability and the capability for handling long videos. Vidu exhibits strong coherence and dynamism, and is capable of generating both realistic and imaginative videos, as well as understanding some professional photography techniques, on par with Sora -- the most powerful reported text-to-video generator. Finally, we perform initial experiments on other controllable video generation, including canny-to-video generation, video prediction and subject-driven generation, which demonstrate promising results.


title: On a conjecture of Wooley and lower bounds for cubic hypersurfaces

abstract: Let $X \subset \mathbf{P}_{\mathbf{Q}}^{n-1}$ be a cubic hypersurface cut out by the vanishing of a non-degenerate rational cubic form in $n$ variables. Let $N(X,B)$ denote the number of rational points on $X$ of height at most $B$. In this article we obtain lower bounds for $N(X,B)$ for cubic hypersufaces, provided only that $n$ is large enough. In particular, we show that $N(X,B) \gg B^{n-9}$ if $n \geq 39$, thereby proving a conjecture of T. D. Wooley for non-conical cubic hypersurfaces with large enough dimension.


title: LTLDoG: Satisfying Temporally-Extended Symbolic Constraints for Safe Diffusion-based Planning

abstract: Operating effectively in complex environments while complying with specified constraints is crucial for the safe and successful deployment of robots that interact with and operate around people. In this work, we focus on generating long-horizon trajectories that adhere to novel static and temporally-extended constraints/instructions at test time. We propose a data-driven diffusion-based framework, LTLDoG, that modifies the inference steps of the reverse process given an instruction specified using finite linear temporal logic ($\text{LTL}_f$). LTLDoG leverages a satisfaction value function on $\text{LTL}_f$ and guides the sampling steps using its gradient field. This value function can also be trained to generalize to new instructions not observed during training, enabling flexible test-time adaptability. Experiments in robot navigation and manipulation illustrate that the method is able to generate trajectories that satisfy formulae that specify obstacle avoidance and visitation sequences.


title: Semantic API Alignment: Linking High-level User Goals to APIs

abstract: Large Language Models (LLMs) are becoming key in automating and assisting various software development tasks, including text-based tasks in requirements engineering but also in coding. Typically, these models are used to automate small portions of existing tasks, but we present a broader vision to span multiple steps from requirements engineering to implementation using existing libraries. This approach, which we call Semantic API Alignment (SEAL), aims to bridge the gap between a user's high-level goals and the specific functions of one or more APIs. In this position paper, we propose a system architecture where a set of LLM-powered ``agents'' match such high-level objectives with appropriate API calls. This system could facilitate automated programming by finding matching links or, alternatively, explaining mismatches to guide manual intervention or further development. As an initial pilot, our paper demonstrates this concept by applying LLMs to Goal-Oriented Requirements Engineering (GORE), via sub-goal analysis, for aligning with REST API specifications, specifically through a case study involving a GitHub statistics API. We discuss the potential of our approach to enhance complex tasks in software development and requirements engineering and outline future directions for research.


title: QR factorization of ill-conditioned tall-and-skinny matrices on distributed-memory systems

abstract: In this paper we present a novel algorithm developed for computing the QR factorisation of extremely ill-conditioned tall-and-skinny matrices on distributed memory systems. The algorithm is based on the communication-avoiding CholeskyQR2 algorithm and its block Gram-Schmidt variant. The latter improves the numerical stability of the CholeskyQR2 algorithm and significantly reduces the loss of orthogonality even for matrices with condition numbers up to $10^{15}$. Currently, there is no distributed GPU version of this algorithm available in the literature which prevents the application of this method to very large matrices. In our work we provide a distributed implementation of this algorithm and also introduce a modified version that improves the performance, especially in the case of extremely ill-conditioned matrices. The main innovation of our approach lies in the interleaving of the CholeskyQR steps with the Gram-Schmidt orthogonalisation, which ensures that update steps are performed with fully orthogonalised panels. The obtained orthogonality and numerical stability of our modified algorithm is equivalent to CholeskyQR2 with Gram-Schmidt and other state-of-the-art methods. Weak scaling tests performed with our test matrices show significant performance improvements. In particular, our algorithm outperforms state-of-the-art Householder-based QR factorisation algorithms available in ScaLAPACK by a factor of $6$ on CPU-only systems and up to $80\times$ on GPU-based systems with distributed memory.


title: Homogeneity of multinomial populations when data are classified into a large number of groups

abstract: Suppose that we are interested in the comparison of two independent categorical variables. Suppose also that the population is divided into subpopulations or groups. Notice that the distribution of the target variable may vary across subpopulations, moreover, it may happen that the two independent variables have the same distribution in the whole population, but their distributions could differ in some groups. So, instead of testing the homogeneity of the two categorical variables, one may be interested in simultaneously testing the homogeneity in all groups. A novel procedure is proposed for carrying out such a testing problem. The test statistic is shown to be asymptotically normal, avoiding the use of complicated resampling methods to get $p$-values. Here by asymptotic we mean when the number of groups increases; the sample sizes of the data from each group can either stay bounded or grow with the number of groups. The finite sample performance of the proposal is empirically evaluated through an extensive simulation study. The usefulness of the proposal is illustrated by three data sets coming from diverse experimental fields such as education, the COVID-19 pandemic and digital elevation models.


title: Orbital magnetization in two-dimensional materials from high-throughput computational screening

abstract: We calculate the orbital magnetization of 822 two-dimensional magnetic materials from the Computational 2D Materials Database (C2DB). For compounds containing 5$d$ elements we find orbital moments of the order of 0.3-0.5 $\mu_\mathrm{B}$, which points to the necessity of including these in any type of magnetic modeling and comparison with experiments. It is also shown that the alignment of orbital moments with respect to the spin largely follows the predictions from Hund's rule and that deviations may be explained by the $d$-band splitting originating from the crystal field - for example in the important case of CrI$_3$. Finally, we show that for certain insulators, Hubbard corrections may lead to large and fully unquenched orbital moments that are pinned to the lattice rather than the spin and that these moments can lead to enormous magnetic anisotropies. Such unquenched ground states are only found from density functional theory calculations that include both Hubbard corrections and self-consistent spin-orbit coupling and largely invalidates the use of the magnetic force theorem for calculating magnetic anisotropies.


title: Exploring relaxation dynamics in warm dense plasmas by tailoring non-thermal electron distributions with a free electron laser

abstract: Knowing the characteristic relaxation time of free electrons in a dense plasma is crucial to our understanding of plasma equilibration and transport. However, experimental investigations of electron relaxation dynamics have been hindered by the ultra-fast, sub-femtosecond time scales on which these interactions typically take place. Here we propose a novel approach that uses x-rays from a free electron laser to generate well-defined non-thermal electron distributions, which can then be tracked via emission spectroscopy from radiative recombination as they thermalize. Collisional radiative simulations reveal how this method can enable the measurement of electron relaxation time scales {\it in situ}, shedding light on the applicability and accuracy of the Coulomb Logarithm framework for modelling collisions in dense plasmas.


title: Exploring the Potential of Robot-Collected Data for Training Gesture Classification Systems

abstract: Sensors and Artificial Intelligence (AI) have revolutionized the analysis of human movement, but the scarcity of specific samples presents a significant challenge in training intelligent systems, particularly in the context of diagnosing neurodegenerative diseases. This study investigates the feasibility of utilizing robot-collected data to train classification systems traditionally trained with human-collected data. As a proof of concept, we recorded a database of numeric characters using an ABB robotic arm and an Apple Watch. We compare the classification performance of the trained systems using both human-recorded and robot-recorded data. Our primary objective is to determine the potential for accurate identification of human numeric characters wearing a smartwatch using robotic movement as training data. The findings of this study offer valuable insights into the feasibility of using robot-collected data for training classification systems. This research holds broad implications across various domains that require reliable identification, particularly in scenarios where access to human-specific data is limited.


title: Investigation of sample paths properties of sub-Gaussian type random fields, with application to stochasic heat equations

abstract: The paper presents bounds for the distributions of suprema for a particular class of sub-Gaussian type random fields defined over spaces with anisotropic metrics. The results are applied to random fields related to stochastic heat equations with fractional noise: bounds for the tail distributions of suprema and estimates for the rate of growth are provided for such fields.


title: Quantum unital Otto heat engines: using Kirkwood-Dirac quasi-probability for the engine's coherence to stay alive

abstract: In this work, we consider \textit{quantum unital Otto heat engines}. The latter refers to the fact that both the unitaries of the adiabatic strokes and the source of the heat provided to the engine preserve the maximally mixed state. We show how to compute the cumulants of either the dephased or undephased engine. For a qubit, we give the analytical expressions of the averages and variances for arbitrary unitaries and unital channels. We do a detailed comparative study between the dephased and undephased heat engines. More precisely, we focus on the effect of the parameters on the average work and its reliability and efficiency. As a case study of unital channels, we consider a quantum projective measurement. We show on which basis we should projectively measure the qubit, either the dephased or undephased heat engine, to extract higher amounts of work, increase the latter's reliability, and increase efficiency. Further, we show that non-adiabatic transitions \textit{are not always detrimental} to thermodynamic quantities. Our results, we believe, are important for heat engines fueled by \textit{quantum measurement}.


title: Improving semi-device-independent randomness certification by entropy accumulation

abstract: Certified randomness guaranteed to be unpredictable by adversaries is central to information security. The fundamental randomness inherent in quantum physics makes certification possible from devices that are only weakly characterised, i.e. requiring little trust in their implementation. It was recently shown that the amount of certifiable randomness can be greatly improved using the so-called Entropy Accumulation Theorem generalised to prepare-and-measure settings. Furthermore, this approach allows a finite-size analysis which avoids assuming that all rounds are independent and identically distributed. Here, we demonstrate this improvement in semi-device-independent randomness certification from untrusted measurements.


title: Exploring Correlations of Self-Supervised Tasks for Graphs

abstract: Graph self-supervised learning has sparked a research surge in training informative representations without accessing any labeled data. However, our understanding of graph self-supervised learning remains limited, and the inherent relationships between various self-supervised tasks are still unexplored. Our paper aims to provide a fresh understanding of graph self-supervised learning based on task correlations. Specifically, we evaluate the performance of the representations trained by one specific task on other tasks and define correlation values to quantify task correlations. Through this process, we unveil the task correlations between various self-supervised tasks and can measure their expressive capabilities, which are closely related to downstream performance. By analyzing the correlation values between tasks across various datasets, we reveal the complexity of task correlations and the limitations of existing multi-task learning methods. To obtain more capable representations, we propose Graph Task Correlation Modeling (GraphTCM) to illustrate the task correlations and utilize it to enhance graph self-supervised training. The experimental results indicate that our method significantly outperforms existing methods across various downstream tasks.


title: Dataset and Models for Item Recommendation Using Multi-Modal User Interactions

abstract: While recommender systems with multi-modal item representations (image, audio, and text), have been widely explored, learning recommendations from multi-modal user interactions (e.g., clicks and speech) remains an open problem. We study the case of multi-modal user interactions in a setting where users engage with a service provider through multiple channels (website and call center). In such cases, incomplete modalities naturally occur, since not all users interact through all the available channels. To address these challenges, we publish a real-world dataset that allows progress in this under-researched area. We further present and benchmark various methods for leveraging multi-modal user interactions for item recommendations, and propose a novel approach that specifically deals with missing modalities by mapping user interactions to a common feature space. Our analysis reveals important interactions between the different modalities and that a frequently occurring modality can enhance learning from a less frequent one.


title: Quantum-enhanced Markov Chain Monte Carlo for systems larger than your Quantum Computer

abstract: Quantum computers theoretically promise computational advantage in many tasks, but it is much less clear how such advantage can be maintained when using existing and near-term hardware that has limitations in the number and quality of its qubits. One promising application was proposed in Layden et al [Nature 619, 282-287 (2023)] where a method to reduce the thermalisation time required when sampling from hard probability distribution was introduced as a Quantum-enhanced Markov Chain Monte Carlo (QeMCMC) approach. In [Nature 619, 282-287 (2023)] the size of the required quantum computer scales linearly with the problem, putting limitations on the sizes of systems that one can consider. In this work we introduce a framework to coarse grain the algorithm in such a way that the quantum computation can be performed using, multiple times, smaller quantum computers and we term the method the Coarse Grained Quantum-enhanced Markov Chain Monte Carlo (CGQeMCMC). Example strategies within this framework are put to the test, with the quantum speedup of [Nature 619, 282-287 (2023)] persisting while using only $\sqrt{n}$ simulated qubits where $n$ is the number of qubits required in the original QeMCMC -- a quadratic reduction in resources. The coarse graining framework has the potential to be practically applicable in the near term as it requires very few qubits to approach classically intractable problem instances, here only 6 simulated qubits suffice to gain advantage compared to standard classical approaches when investigating the magnetisation of a 36 spin system. Our method is also adjustable to quantum hardware specifications, and it appears that it can be easily combined with other techniques both classical and quantum.


title: Neurocomputational Phenotypes in Female and Male Autistic Individuals

abstract: Autism Spectrum Disorder (ASD) is characterized by an altered phenotype in social interaction and communication. Additionally, autism typically manifests differently in females as opposed to males: a phenomenon that has likely led to long-term problems in diagnostics of autism in females. These sex-based differences in communicative behavior may originate from differences in neurocomputational properties of brain organization. The present study looked to examine the relationship between one neurocomputational measure of brain organization, the local power-law exponent, in autistic vs. neurotypical, as well as male vs. female participants. To investigate the autistic phenotype in neural organization based on biological sex, we collected continuous resting-state EEG data for 19 autistic young adults (10 F), and 23 controls (14 F), using a 64-channel Net Station EEG acquisition system. The data was analyzed to quantify the 1/f power spectrum. Correlations between power-law exponent and behavioral measures were calculated in a between-group (female vs. male; autistic vs. neurotypical) design. On average, the power-law exponent was significantly greater in the male ASD group than in the female ASD group in fronto-central regions. The differences were more pronounced over the left hemisphere, suggesting neural organization differences in regions responsible for language complexity. These differences provide a potential explanation for behavioral variances in female vs. male autistic young adults.


title: Federated Learning for Cooperative Inference Systems: The Case of Early Exit Networks

abstract: As Internet of Things (IoT) technology advances, end devices like sensors and smartphones are progressively equipped with AI models tailored to their local memory and computational constraints. Local inference reduces communication costs and latency; however, these smaller models typically underperform compared to more sophisticated models deployed on edge servers or in the cloud. Cooperative Inference Systems (CISs) address this performance trade-off by enabling smaller devices to offload part of their inference tasks to more capable devices. These systems often deploy hierarchical models that share numerous parameters, exemplified by Deep Neural Networks (DNNs) that utilize strategies like early exits or ordered dropout. In such instances, Federated Learning (FL) may be employed to jointly train the models within a CIS. Yet, traditional training methods have overlooked the operational dynamics of CISs during inference, particularly the potential high heterogeneity in serving rates across clients. To address this gap, we propose a novel FL approach designed explicitly for use in CISs that accounts for these variations in serving rates. Our framework not only offers rigorous theoretical guarantees, but also surpasses state-of-the-art (SOTA) training algorithms for CISs, especially in scenarios where inference request rates or data availability are uneven among clients.


title: Weighted Least-Squares PARSIM

abstract: Subspace identification methods (SIMs) have proven very powerful for estimating linear state-space models. To overcome the deficiencies of classical SIMs, a significant number of algorithms has appeared over the last two decades, where most of them involve a common intermediate step, that is to estimate the range space of the extended observability matrix. In this contribution, an optimized version of the parallel and parsimonious SIM (PARSIM), PARSIM\textsubscript{opt}, is proposed by using weighted least-squares. It not only inherits all the benefits of PARSIM but also attains the best linear unbiased estimator for the above intermediate step. Furthermore, inspired by SIMs based on the predictor form, consistent estimates of the optimal weighting matrix for weighted least-squares are derived. Essential similarities, differences and simulated comparisons of some key SIMs related to our method are also presented.


title: A General Model for Detecting Learner Engagement: Implementation and Evaluation

abstract: Considering learner engagement has a mutual benefit for both learners and instructors. Instructors can help learners increase their attention, involvement, motivation, and interest. On the other hand, instructors can improve their instructional performance by evaluating the cumulative results of all learners and upgrading their training programs. This paper proposes a general, lightweight model for selecting and processing features to detect learners' engagement levels while preserving the sequential temporal relationship over time. During training and testing, we analyzed the videos from the publicly available DAiSEE dataset to capture the dynamic essence of learner engagement. We have also proposed an adaptation policy to find new labels that utilize the affective states of this dataset related to education, thereby improving the models' judgment. The suggested model achieves an accuracy of 68.57\% in a specific implementation and outperforms the studied state-of-the-art models detecting learners' engagement levels.


title: VAEneu: A New Avenue for VAE Application on Probabilistic Forecasting

abstract: This paper presents VAEneu, an innovative autoregressive method for multistep ahead univariate probabilistic time series forecasting. We employ the conditional VAE framework and optimize the lower bound of the predictive distribution likelihood function by adopting the Continuous Ranked Probability Score (CRPS), a strictly proper scoring rule, as the loss function. This novel pipeline results in forecasting sharp and well-calibrated predictive distribution. Through a comprehensive empirical study, VAEneu is rigorously benchmarked against 12 baseline models across 12 datasets. The results unequivocally demonstrate VAEneu's remarkable forecasting performance. VAEneu provides a valuable tool for quantifying future uncertainties, and our extensive empirical study lays the foundation for future comparative studies for univariate multistep ahead probabilistic forecasting.


title: Fermat Number Transform Based Chromatic Dispersion Compensation and Adaptive Equalization Algorithm

abstract: By introducing the Fermat number transform into chromatic dispersion compensation and adaptive equalization, the computational complexity has been reduced by 68% compared with the con?ventional implementation. Experimental results validate its transmission performance with only 0.8 dB receiver sensitivity penalty in a 75 km-40 GBaud-PDM-16QAM system.


title: Distributed variable screening for generalized linear models

abstract: In this article, we develop a distributed variable screening method for generalized linear models. This method is designed to handle situations where both the sample size and the number of covariates are large. Specifically, the proposed method selects relevant covariates by using a sparsity-restricted surrogate likelihood estimator. It takes into account the joint effects of the covariates rather than just the marginal effect, and this characteristic enhances the reliability of the screening results. We establish the sure screening property of the proposed method, which ensures that with a high probability, the true model is included in the selected model. Simulation studies are conducted to evaluate the finite sample performance of the proposed method, and an application to a real dataset showcases its practical utility.


title: Ruled Ricci surfaces and curves of constant torsion

abstract: We show that all non-developable ruled surfaces endowed with Ricci metrics in the three-dimensional Euclidean space may be constructed using curves of constant torsion and its binormal. This allows us to give characterizations of the helicoid as the only surface of this kind that admits a parametrization with plane line of striction, and as the only with constant mean curvature.


title: Fermi surface of the chiral topological semimetal CoSi

abstract: We report a study of the Fermi surface of the chiral semimetal CoSi and its relationship to a network of multifold topological crossing points,Weyl points, and topological nodal planes in the electronic band structure. Combining quantum oscillations in the Hall resistivity, magnetization, and torque magnetization with ab initio electronic structure calculations, we identify two groups of Fermi-surface sheets, one centered at the R point and the other centered at the $\Gamma$ point. The presence of topological nodal planes at the Brillouin zone boundary enforces topological protectorates on the Fermi-surface sheets centered at the R point. In addition, Weyl points exist close to the Fermi-surface sheets centered at the R and the $\Gamma$ points. In contrast, topological crossing points at the R point and the $\Gamma$ point, which have been advertised to feature exceptionally large Chern numbers, are located at a larger distance to the Fermi level. Representing a unique example in which the multitude of topological band crossings has been shown to form a complex network, our observations in CoSi highlight the need for detailed numerical calculations of the Berry curvature at the Fermi level, regardless of the putative existence and the possible character of topological band crossings in the band structure.


title: Insights from Basilisk: Are Open-Source EDA Tools Ready for a Multi-Million-Gate, Linux-Booting RV64 SoC Design?

abstract: Designing complex, multi-million-gate application-specific integrated circuits requires robust and mature electronic design automation (EDA) tools. We describe our efforts in enhancing the open-source Yosys+Openroad EDA flow to implement Basilisk, a fully open-source, Linux-booting RV64GC system-on-chip (SoC) design. We analyze the quality-of-results impact of our enhancements to synthesis tools, interfaces between EDA tools, logic optimization scripts, and a newly open-sourced library of optimized arithmetic macro-operators. We also introduce a streamlined physical design flow with an improved power grid and cell placement integration. Our Basilisk SoC design was taped out in IHP's open 130 nm technology. It achieves an operating frequency of 77 MHz (51 logic levels) under typical conditions, a 2.3x improvement compared to the baseline open-source EDA flow, while also reducing logic area by 1.6x. Furthermore, tool runtime was reduced by 2.5x, and peak RAM usage decreased by 2.9x. Through collaboration with EDA tool developers and domain experts, Basilisk establishes solid "proof of existence" for a fully open-source EDA flow used in designing a competitive multi-million-gate digital SoC.


title: A Weighted Least-Squares Method for Non-Asymptotic Identification of Markov Parameters from Multiple Trajectories

abstract: Markov parameters play a key role in system identification. There exists many algorithms where these parameters are estimated using least-squares in a first, pre-processing, step, including subspace identification and multi-step least-squares algorithms, such as Weighted Null-Space Fitting. Recently, there has been an increasing interest in non-asymptotic analysis of estimation algorithms. In this contribution we identify the Markov parameters using weighted least-squares and present non-asymptotic analysis for such estimator. To cover both stable and unstable systems, multiple trajectories are collected. We show that with the optimal weighting matrix, weighted least-squares gives a tighter error bound than ordinary least-squares for the case of non-uniformly distributed measurement errors. Moreover, as the optimal weighting matrix depends on the system's true parameters, we introduce two methods to consistently estimate the optimal weighting matrix, where the convergence rate of these estimates is also provided. Numerical experiments demonstrate improvements of weighted least-squares over ordinary least-squares in finite sample settings.


title: Interacting supernovae

abstract: Modern photometric surveys of the sky suggest that many, perhaps most supernovae (SNe) associated with the explosion of massive stars are influenced at an appreciable level by their interaction with circumstellar material (CSM). The photometric and spectroscopic diversity of these transients point to a wide range of CSM properties in terms of mass, extent, composition, and location relative to the exploding star, suggesting progenitors that cover from standard to the most extreme mass loss rates. Surveys at high-cadence catch massive stars at shock breakout and inform us on the immediate mass loss history before core collapse. In contrast, long-term monitoring of these SNe cover the transition to the birth of a SN remnant and document the progenitor mass loss that took place centuries to millennia before explosion. Interacting SNe are therefore not just extraordinary astrophysical laboratories to study radiation-dominated shocks and probe the distant Universe, they also open the path to novel and fundamental studies on stellar evolution, stellar stability, or mass loss in single and binary massive stars.


title: Verified Neural Compressed Sensing

abstract: We develop the first (to the best of our knowledge) provably correct neural networks for a precise computational task, with the proof of correctness generated by an automated verification algorithm without any human input. Prior work on neural network verification has focused on partial specifications that, even when satisfied, are not sufficient to ensure that a neural network never makes errors. We focus on applying neural network verification to computational tasks with a precise notion of correctness, where a verifiably correct neural network provably solves the task at hand with no caveats. In particular, we develop an approach to train and verify the first provably correct neural networks for compressed sensing, i.e., recovering sparse vectors from a number of measurements smaller than the dimension of the vector. We show that for modest problem dimensions (up to 50), we can train neural networks that provably recover a sparse vector from linear and binarized linear measurements. Furthermore, we show that the complexity of the network (number of neurons/layers) can be adapted to the problem difficulty and solve problems where traditional compressed sensing methods are not known to provably work.


title: Graph Reconstruction from Noisy Random Subgraphs

abstract: We consider the problem of reconstructing an undirected graph $G$ on $n$ vertices given multiple random noisy subgraphs or "traces". Specifically, a trace is generated by sampling each vertex with probability $p_v$, then taking the resulting induced subgraph on the sampled vertices, and then adding noise in the form of either (a) deleting each edge in the subgraph with probability $1-p_e$, or (b) deleting each edge with probability $f_e$ and transforming a non-edge into an edge with probability $f_e$. We show that, under mild assumptions on $p_v$, $p_e$ and $f_e$, if $G$ is selected uniformly at random, then $O(p_e^{-1} p_v^{-2} \log n)$ or $O((f_e-1/2)^{-2} p_v^{-2} \log n)$ traces suffice to reconstruct $G$ with high probability. In contrast, if $G$ is arbitrary, then $\exp(\Omega(n))$ traces are necessary even when $p_v=1, p_e=1/2$.


title: "Horseshoe" Structures in the Debris Disks of Planet-Hosting Binary Stars

abstract: The formation of a planetary system from the protoplanetary disk leads to destruction of the latter; however, a debris disk can remain in the form of asteroids and cometary material. The motion of planets can cause the formation of coorbital structures from the debris disk matter. Previous calculations have shown that such a ring-like structure is more stable if there is a binary star in the center of the system, as opposed to a single star. To analyze the properties of the coorbital structure, we have calculated a grid of models of binary star systems with a circumbinary planet moving in a planetesimal disk. The calculations are performed considering circular orbits of the stars and the planet; the mass and position of the planet, as well as the mass ratio of the stars, are varied. The analysis of the models shows that the width of the coorbital ring and its stability significantly depend on the initial parameters of the problem. Additionally, the empirical dependences of the width of the coorbital structure on the parameters of the system have been obtained, and the parameters of the models with the most stable coorbital structures have been determined. The results of the present study can be used for the search of planets around binary stars with debris disks.


title: Energy-Efficient Deployment of Stateful FaaS Vertical Applications on Edge Data Networks

abstract: 5G and beyond support the deployment of vertical applications, which is particularly appealing in combination with network slicing and edge computing to create a logically isolated environment for executing customer services. Even if serverless computing has gained significant interest as a cloud-native technology its adoption at the edge is lagging, especially because of the need to support stateful tasks, which are commonplace in, e.g., cognitive services, but not fully amenable to being deployed on limited and decentralized computing infrastructures. In this work, we study the emerging paradigm of stateful Function as a Service (FaaS) with lightweight task abstractions in WebAssembly. Specifically, we assess the implications of deploying inter-dependent tasks with an internal state on edge computing resources using a stateless vs. stateful approach and then derive a mathematical model to estimate the energy consumption of a workload with given characteristics, considering the power used for both processing and communication. The model is used in extensive simulations to determine the impact of key factors and assess the energy trade-offs of stateless vs. stateful.


title: Morphological Evidence for the eROSITA Bubbles Being Giant and Distant Structures

abstract: There are two contradictory views of the eROSITA bubbles: either a 10 kpc-scale pair of giant bubbles blown by the Galactic center (GC), or a 100 pc-scale local structure coincidentally located in the direction of GC. A key element of this controversy is the distance to the bubbles. Based on the 3D dust distribution in the Galactic plane, we found three isolated, distant (500-800 pc) clouds at intermediate Galactic latitudes. Their projected morphologies perfectly match the X-ray shadows on the defining features of the north eROSITA bubble, i.e., the North Polar Spur (NPS) and the Lotus Petal Cloud (LPC), indicating that both the NPS and LPC are distant with a distance lower limit of nearly 1kpc. In the X-ray dark region between the NPS and LPC, we found a few polarized radio arcs and attributed them to the bubble's shock front. These arcs match up perfectly with the outer border of the NPS and LPC and provide a way to define the bubble's border. The border defined in this way can be well described by the line-of-sight tangent of a 3D skewed cup model rooted in the GC. We conclude that, instead of being two independent, distant features, NPS and LPC compose a single, giant bubble, which, therefore, is most plausibly a 10-kpc scale bubble rooted at the GC.


title: CMB spectrum in unified EFT of dark energy: scalar-tensor and vector-tensor theories

abstract: We study the cosmic microwave background (CMB) radiation in the unified description of the effective field theory (EFT) of dark energy that accommodates both scalar-tensor and vector-tensor theories. The boundaries of different classes of theories are universally parameterised by a new EFT parameter $\alpha_V$ characterising the vectorial nature of dark energy and a set of consistency relations associated with the global/local shift symmetry. After implementing the equations of motion in a Boltzmann code, as a demonstration, we compute the CMB power spectrum based on the $w$CDM background with the EFT parameterisation of perturbations and a concrete Horndeski/generalised Proca theory. We show that the vectorial nature generically prevents modifications of gravity in the CMB spectrum. On the other hand, while the shift symmetry is less significant in the perturbation equations unless the background is close to the $\Lambda$CDM, it requires that the effective equation of state of dark energy is in the phantom region $w_{\rm DE}<-1$. The latter is particularly interesting in light of the latest result of the DESI+CMB combination as the observational verification of $w_{\rm DE}>-1$ can rule out shift-symmetric theories including vector-tensor theories in one shot.


title: Self-Stabilizing MIS Computation in the Beeping Model

abstract: We consider self-stabilizing algorithms to compute a Maximal Independent Set (MIS) in the extremely weak beeping communication model. The model consists of an anonymous network with synchronous rounds. In each round, each vertex can optionally transmit a signal to all its neighbors (beep). After the transmission of a signal, each vertex can only differentiate between no signal received, or at least one signal received. We assume that vertices have some knowledge about the topology of the network. We revisit the not self-stabilizing algorithm proposed by Jeavons, Scott, and Xu (2013), which computes an MIS in the beeping model. We enhance this algorithm to be self-stabilizing, and explore two different variants, which differ in the knowledge about the topology available to the vertices. In the first variant, every vertex knows an upper bound on the maximum degree $\Delta$ of the graph. For this case, we prove that the proposed self-stabilizing version maintains the same run-time as the original algorithm, i.e. it stabilizes after $O(\log n)$ rounds w.h.p. on any $n$-vertex graph. In the second variant, each vertex only knows an upper bound on its own degree. For this case, we prove that the algorithm stabilizes after $O(\log n\cdot \log \log n)$ rounds on any $n$-vertex graph, w.h.p.


title: Quenches in the Sherrington-Kirkpatrick model

abstract: The Sherrington-Kirkpatrick (SK) model is a prototype of a complex non-convex energy landscape. Dynamical processes evolving on such landscapes and locally aiming to reach minima are generally poorly understood. Here, we study quenches, i.e. dynamics that locally aim to decrease energy. We analyse the energy at convergence for two distinct algorithmic classes, single-spin flip and synchronous dynamics, focusing on greedy and reluctant strategies. We provide precise numerical analysis of the finite size effects and conclude that, perhaps counter-intuitively, the reluctant algorithm is compatible with converging to the ground state energy density, while the greedy strategy is not. Inspired by the single-spin reluctant and greedy algorithms, we investigate two synchronous time algorithms, the sync-greedy and sync-reluctant algorithms. These synchronous processes can be analysed using dynamical mean field theory (DMFT), and a new backtracking version of DMFT. Notably, this is the first time the backtracking DMFT is applied to study dynamical convergence properties in fully connected disordered models. The analysis suggests that the sync-greedy algorithm can also achieve energies compatible with the ground state, and that it undergoes a dynamical phase transition.


title: Dynamics of an epidemic model with nonlocal di?usion and a free boundary

abstract: An epidemic model, where the dispersal is approximated by nonlocal diffusion operator and spatial domain has one ?xed boundary and one free boundary, is considered in this paper. Firstly, using some elementary analysis instead of variational characterization, we show the existence and asymptotic behaviors of the principal eigenvalue of a cooperative system which can be used to characterize more epidemic models, not just ours. Then we study the existence, uniqueness and stability of a related steady state problem. Finally, we obtain a rather complete understanding for long time behaviors, spreading-vanishing dichotomy, criteria for spreading and vanishing, and spreading speed. Particularly, we prove that the asymptotic spreading speed of solution component (u; v) is equal to the spreading speed of free boundary which is ?nite if and only if a threshold condition holds for kernel functions.


title: An Analysis of Sea Level Spatial Variability by Topological Indicators and $k$-means Clustering Algorithm

abstract: The time-series data of sea level rise and fall contains crucial information on the variability of sea level patterns. Traditional $k$-means clustering is commonly used for categorizing regional variability of sea level, however, its results are not robust against a number of factors. This study analyzed fourteen datasets of monthly sea level in fourteen shoreline regions of Peninsular Malaysia. We applied a hybridization of clustering technique to analyze data categorization and topological data analysis method to enhance the performance of our clustering analysis. Specifically, our approach utilized the persistent homology and $k$-means/$k$-means++ clustering. The fourteen data sets from fourteen tide gauge stations were categorized in classes based on a prior categorization that was determined by topological information, and the probability of data points that belong to certain groups that is yielded by $k$-means/$k$-means++ clustering. Our results demonstrated that our method significantly improves the performance of traditional clustering techniques.


title: Very Long Baseline Array Observations of Parsec-scale Radio Emission in Dual Active Galactic Nuclei

abstract: It is believed that dual active galactic nuclei (dual AGN) will form during galaxies merge. Studying dual-AGN emission can provide valuable insights into galaxy merging and evolution. To investigate parsec-scale radio emission properties, we observed eight radio components of four selected dual-AGN systems using the Very Long Baseline Array (VLBA) at 5 GHz in multiple-phase-center mode. Among them, two compact radio components, labeled J0051+0020B and J2300-0005A, were detected clearly on parsec scales for the first time. However, the radio emission of the other six components was resolved out in the high-resolution images. We provided the values or upper limits of the brightness temperature and radio emission power, and analyzed the emission origins in detail for each target. Based on their physical properties reported in this work and in the literature, we suggest the radio emission in J0051+0020B and J2300-0005A originates primarily from compact jets, while the other six sources show more complex emission mechanisms. In addition, our VLBA observations suggest the systematic X-ray deficit in our dual-AGN sample is likely attributed to the tidally induced effect and possible viewing angle effect.


title: Generating Feature Vectors from Phonetic Transcriptions in Cross-Linguistic Data Formats

abstract: When comparing speech sounds across languages, scholars often make use of feature representations of individual sounds in order to determine fine-grained sound similarities. Although binary feature systems for large numbers of speech sounds have been proposed, large-scale computational applications often face the challenges that the proposed feature systems -- even if they list features for several thousand sounds -- only cover a smaller part of the numerous speech sounds reflected in actual cross-linguistic data. In order to address the problem of missing data for attested speech sounds, we propose a new approach that can create binary feature vectors dynamically for all sounds that can be represented in the the standardized version of the International Phonetic Alphabet proposed by the Cross-Linguistic Transcription Systems (CLTS) reference catalog. Since CLTS is actively used in large data collections, covering more than 2,000 distinct language varieties, our procedure for the generation of binary feature vectors provides immediate access to a very large collection of multilingual wordlists. Testing our feature system in different ways on different datasets proves that the system is not only useful to provide a straightforward means to compare the similarity of speech sounds, but also illustrates its potential to be used in future cross-linguistic machine learning applications.


title: BUDDy: Single-Channel Blind Unsupervised Dereverberation with Diffusion Models

abstract: In this paper, we present an unsupervised single-channel method for joint blind dereverberation and room impulse response estimation, based on posterior sampling with diffusion models. We parameterize the reverberation operator using a filter with exponential decay for each frequency subband, and iteratively estimate the corresponding parameters as the speech utterance gets refined along the reverse diffusion trajectory. A measurement consistency criterion enforces the fidelity of the generated speech with the reverberant measurement, while an unconditional diffusion model implements a strong prior for clean speech generation. Without any knowledge of the room impulse response nor any coupled reverberant-anechoic data, we can successfully perform dereverberation in various acoustic scenarios. Our method significantly outperforms previous blind unsupervised baselines, and we demonstrate its increased robustness to unseen acoustic conditions in comparison to blind supervised methods. Audio samples and code are available online.


title: The forest at EndEoR: The effect of Lyman Limit Systems on the End of Reionisation

abstract: The final stages of cosmic reionisation (EndEoR) are expected to be strongly regulated by the residual neutral hydrogen in the already ionised regions of the Universe. Its presence limits the mean distance that ionising photons can travel and hence, the extent of the regions that sources of ionising photons can affect. The structures containing most of this residual neutral hydrogen are typically unresolved in large-scale simulations of reionisation. Here, we investigate and compare a range of approaches for including the effect of these small-scale absorbers, also known as Lyman limit systems (LLS), in such simulations. We evaluate the impact of these different approaches on the reionisation history, the evolution of the ultraviolet background, and its fluctuations. We also compare to observational results on the distribution of Lyman-$\alpha$ opacity towards the EndEoR and the measured mean free path of ionising photons. We further consider their effect on the 21-cm power spectrum. We find that although each of the different approaches can match some of the observed probes of the final stages of reionisation, only the use of a redshift-dependent and position-dependent LLS model is able to reproduce all of them. We therefore recommend that large-scale reionisation simulations, which aim to describe both the state of the ionised and neutral intergalactic medium use such an approach, although the other, simpler approaches are applicable depending on the science goal of the simulation.


title: Group-aware Parameter-efficient Updating for Content-Adaptive Neural Video Compression

abstract: Content-adaptive compression is crucial for enhancing the adaptability of the pre-trained neural codec for various contents. Although these methods have been very practical in neural image compression (NIC), their application in neural video compression (NVC) is still limited due to two main aspects: 1), video compression relies heavily on temporal redundancy, therefore updating just one or a few frames can lead to significant errors accumulating over time; 2), NVC frameworks are generally more complex, with many large components that are not easy to update quickly during encoding. To address the previously mentioned challenges, we have developed a content-adaptive NVC technique called Group-aware Parameter-Efficient Updating (GPU). Initially, to minimize error accumulation, we adopt a group-aware approach for updating encoder parameters. This involves adopting a patch-based Group of Pictures (GoP) training strategy to segment a video into patch-based GoPs, which will be updated to facilitate a globally optimized domain-transferable solution. Subsequently, we introduce a parameter-efficient delta-tuning strategy, which is achieved by integrating several light-weight adapters into each coding component of the encoding process by both serial and parallel configuration. Such architecture-agnostic modules stimulate the components with large parameters, thereby reducing both the update cost and the encoding time. We incorporate our GPU into the latest NVC framework and conduct comprehensive experiments, whose results showcase outstanding video compression efficiency across four video benchmarks and adaptability of one medical image benchmark.


title: Grey-box Recursive Parameter Identification of a Nonlinear Dynamic Model for Mineral Flotation

abstract: This study presents a grey-box recursive identification technique to estimate key parameters in a mineral flotation process across two scenarios. The method is applied to a nonlinear physics-based dynamic model validated at a laboratory scale, allowing real-time updates of two model parameters, n and C, in response to changing conditions. The proposed approach effectively adapts to process variability and allows for continuous adjustments based on operational fluctuations, resulting in a significantly improved estimation of concentrate grade - one key performance indicator. In Scenario 1, parameters n and C achieved fit metrics of 97.99 and 96.86, respectively, with concentrate grade estimations improving from 75.1 to 98.69 using recursive identification. In Scenario 2, the fit metrics for n and C were 96.27 and 95.48, respectively, with the concentrate grade estimations increasing from 96.27 to 99.45 with recursive identification. The results demonstrate the effectiveness of the proposed grey-box recursive identification method in accurately estimating parameters and predicting concentrate grade in a mineral flotation process.


title: Alfv\'en waves at low Magnetic Reynolds number

abstract: This paper seeks whether Alfv\'en waves (AW) can be produced in laboratory-scale liquid metal experiments, \emph{i.e.} at low-magnetic Reynolds Number ($R\!m$). AW are incompressible waves propagating along magnetic fields typically found geo and astrophysical systems. Until now, only faint linear waves have been experimentally produced in liquid metals because of the large magnetic dissipation they undergo when $R\!m\ll1$. Yet, controlling laboratory AW could emulate such far remote processes as anomalous heating in the solar corona, oscillations of the Earth inner core or turbulence in the solar wind. To answer this question, we force AW with an AC electric current in a liquid metal channel in a transverse magnetic field. We derive a wave-bearing extension of the usual low$-R\!m$ MHD approximation to identify two linear regimes: The purely diffusive regime exists when $N_\omega$, the ratio of the oscillation period to the timescale of diffusive two-dimensionalisation by the Lorentz force, is small. The propagative regime is governed by the ratio of the forcing period to the AW propagation timescale which, we call the Jameson number $J\!a$ after Jameson (1964), JFM. In this regime, AW are dissipative and dispersive as they propagate more slowly where velocity gradients are higher. Both regimes are recovered in the FLOWCUBE experiment, in excellent agreement with the model up to $J\!a \lesssim 0.85$ but near the $J\!a=1$ resonance, high amplitude waves become clearly nonlinear. Hence, in electrically driving AW, we were able to produce some of the propagative, diffusive and nonlinear processes of astro and geophysical AW.


title: Antiferromagnetic and spin spiral correlations in the doped two-dimensional Hubbard model: gauge symmetry, Ward identities, and dynamical mean-field theory analysis

abstract: We reconsider the derivation of Ward identities for spin stiffnesses, which determine the non-linear sigma model of magnetic degrees of freedom of interacting electrons in the presence of antiferromagnetic or incommensurate correlations. We emphasize that in the approaches, which do not break explicitly spin symmetry of the action, the spatial components of gauge kernel, which is used to obtain spin stiffnesses, remain gauge invariant even in case of spontaneous spin symmetry breaking. We derive the corrected Ward identities, which account for this gauge invariance. We emphasize that the frequency dependence of temporal spin stiffnesses is not fixed by the obtained identities, and show that the infinitesimally small external staggered field is crucially important to obtain finite static uniform transverse susceptibility. On the other hand, we find that the spatial spin stiffnesses are determined by the gauge kernel of the Legendre transformed theory, which is in general {\it different} from the gauge kernel of the original theory and obtain an explicit expressions for spatial spin stiffnesses through susceptibilities and current correlation functions. We verify numerically the obtained results within dynamic mean field theory, and obtain doping dependencies of the resulting spin stiffnesses for antiferromagnetic and incommensurate phase.


title: Uncertainty Quantification Metrics for Deep Regression

abstract: When deploying deep neural networks on robots or other physical systems, the learned model should reliably quantify predictive uncertainty. A reliable uncertainty allows downstream modules to reason about the safety of its actions. In this work, we address metrics for evaluating such an uncertainty. Specifically, we focus on regression tasks, and investigate Area Under Sparsification Error (AUSE), Calibration Error, Spearman's Rank Correlation, and Negative Log-Likelihood (NLL). Using synthetic regression datasets, we look into how those metrics behave under four typical types of uncertainty, their stability regarding the size of the test set, and reveal their strengths and weaknesses. Our results indicate that Calibration Error is the most stable and interpretable metric, but AUSE and NLL also have their respective use cases. We discourage the usage of Spearman's Rank Correlation for evaluating uncertainties and recommend replacing it with AUSE.


title: Task Presentation and Human Perception in Interactive Video Retrieval

abstract: Interactive video retrieval is a cooperative process between humans and retrieval systems. Large-scale evaluation campaigns, however, often overlook human factors, such as the effects of perception, attention, and memory, when assessing media retrieval systems. Consequently, their setups fall short of emulating realistic retrieval scenarios. In this paper, we design novel task presentation modes based on concepts in media memorability, implement the pipelines necessary for processing target video segments, and build a custom experimental platform for the final evaluation. In order to study the effects of different task representation schemes, we conduct a large crowdsourced experiment. Our findings demonstrate that the way in which the target of a video retrieval task is presented has a substantial influence on the difficulty of the retrieval task and that individuals can successfully retrieve a target video segment despite reducing or even altering the provided hints, opening up a discussion around future evaluation protocols in the domain of interactive media retrieval.


title: Modal Folding: Discovering Smooth Folding Patterns for Sheet Materials using Strain-Space Modes

abstract: Folding can transform mundane objects such as napkins into stunning works of art. However, finding new folding transformations for sheet materials is a challenging problem that requires expertise and real-world experimentation. In this paper, we present Modal Folding -- an automated approach for discovering energetically optimal folding transformations, i.e., large deformations that require little mechanical work. For small deformations, minimizing internal energy for fixed displacement magnitudes leads to the well-known elastic eigenmodes. While linear modes provide promising directions for bending, they cannot capture the rotational motion required for folding. To overcome this limitation, we introduce strain-space modes -- nonlinear analogues of elastic eigenmodes that operate on per-element curvatures instead of vertices. Using strain-space modes to determine target curvatures for bending elements, we can generate complex nonlinear folding motions by simply minimizing the sheet's internal energy. Our modal folding approach offers a systematic and automated way to create complex designs. We demonstrate the effectiveness of our method with simulation results for a range of shapes and materials, and validate our designs with physical prototypes.


title: On a variant of Hilbert's 16th problem

abstract: We study the number of limit cycles that a planar polynomial vector field can have as a function of its number $m$ of monomials. We prove that the number of limit cycles increases at least quadratically with $m$ and we provide good lower bounds for $m\le10.$


title: CoqPyt: Proof Navigation in Python in the Era of LLMs

abstract: Proof assistants enable users to develop machine-checked proofs regarding software-related properties. Unfortunately, the interactive nature of these proof assistants imposes most of the proof burden on the user, making formal verification a complex, and time-consuming endeavor. Recent automation techniques based on neural methods address this issue, but require good programmatic support for collecting data and interacting with proof assistants. This paper presents CoqPyt, a Python tool for interacting with the Coq proof assistant. CoqPyt improves on other Coq-related tools by providing novel features, such as the extraction of rich premise data. We expect our work to aid development of tools and techniques, especially LLM-based, designed for proof synthesis and repair. A video describing and demonstrating CoqPyt is available at: https://youtu.be/fk74o0rePM8.


title: PDCCH Scheduling via Maximum Independent Set

abstract: In 5G, the Physical Downlink Control CHannel (PDCCH) carries crucial information enabling the User Equipment (UE) to connect in UL and DL. UEs are unaware of the frequency location at which PDCCH is encoded, hence they need to perform blind decoding over a limited set of possible candidates. We address the problem faced by the gNodeB of selecting PDCCH candidates for each UE to optimize data transmission. We formulate it as a Maximum Weighted Independent Set (MWIS) problem, that is known to be an NP-hard problem and cannot even be approximated. A solution method called Weight-to-Degree Ratio (WDR) Greedy emerges as a strong contender for practical implementations due to its favorable performance-to-complexity trade-off and theoretical performance guarantees.


title: Quasi-stationary distributions for subcritical branching Markov chains

abstract: Consider a subcritical branching Markov chain. Let $Z_n$ denote the counting measure of particles of generation $n$. Under some conditions, we give a probabilistic proof for the existence of the Yaglom limit of $(Z_n)_{n\in\mathbb{N}}$ by the moment method, based on the spinal decomposition and the many-to-few formula. As a result, we give explicit integral representations of all quasi-stationary distributions of $(Z_n)_{n\in\mathbb{N}}$, whose proofs are direct and probabilistic, and don't rely on Martin boundary theory.