title: LiDAR4D: Dynamic Neural Fields for Novel Space-time View LiDAR Synthesis

abstract: Although neural radiance fields (NeRFs) have achieved triumphs in image novel view synthesis (NVS), LiDAR NVS remains largely unexplored. Previous LiDAR NVS methods employ a simple shift from image NVS methods while ignoring the dynamic nature and the large-scale reconstruction problem of LiDAR point clouds. In light of this, we propose LiDAR4D, a differentiable LiDAR-only framework for novel space-time LiDAR view synthesis. In consideration of the sparsity and large-scale characteristics, we design a 4D hybrid representation combined with multi-planar and grid features to achieve effective reconstruction in a coarse-to-fine manner. Furthermore, we introduce geometric constraints derived from point clouds to improve temporal consistency. For the realistic synthesis of LiDAR point clouds, we incorporate the global optimization of ray-drop probability to preserve cross-region patterns. Extensive experiments on KITTI-360 and NuScenes datasets demonstrate the superiority of our method in accomplishing geometry-aware and time-consistent dynamic reconstruction. Codes are available at https://github.com/ispc-lab/LiDAR4D.


title: IEEE VIS Workshop on Visualization for Climate Action and Sustainability

abstract: This first workshop on visualization for climate action and sustainability aims to explore and consolidate the role of data visualization in accelerating action towards addressing the current environmental crisis. Given the urgency and impact of the environmental crisis, we ask how our skills, research methods, and innovations can help by empowering people and organizations. We believe visualization holds an enormous power to aid understanding, decision making, communication, discussion, participation, education, and exploration of complex topics around climate action and sustainability. Hence, this workshop invites submissions and discussion around these topics with the goal of establishing a visible and actionable link between these fields and their respective stakeholders. The workshop solicits work-in-progress and research papers as well as pictorials and interactive demos from the whole range of visualization research (dashboards, interactive spaces, scientific visualization, storytelling, visual analytics, explainability etc.), within the context of environmentalism (climate science, sustainability, energy, circular economy, biodiversity, etc.) and across a range of scenarios from public awareness and understanding, visual analysis, expert decision making, science communication, personal decision making etc. After presentations of submissions, the workshop will feature dedicated discussion groups around data driven interactive experiences for the public, and tools for personal and professional decision making.


title: Terraced Compression Method with Automated Threshold Selection for Multidimensional Image Clustering of Heterogeneous Bodies

abstract: Multispectral transmission imaging provides strong benefits for early breast cancer screening. The frame accumulation method addresses the challenge of low grayscale and signal-to-noise ratio resulting from the strong absorption and scattering of light by breast tissue. This method introduces redundancy in data while improving the grayscale and signal-to-noise ratio of the image. Existing terraced compression algorithms effectively eliminate the data redundancy introduced by frame accumulation but necessitate significant time for manual debugging of threshold values. Hence, this paper proposes an improved terrace compression algorithm. The algorithm necessitates solely the input of the desired heterogeneous body size and autonomously calculates the optimal area threshold and gradient threshold by counting the grayscale and combining its distribution. Experimental acquisition involved multi-wavelength images of heterogeneous bodies exhibiting diverse textures, depths, and thicknesses. Subsequently, the method was applied after pre-processing to determine the thresholds for terraced compression at each wavelength, coupled with a window function for multi-dimensional image clustering. The results illustrate the method's efficacy in detecting and identifying various heterogeneous body types, depths, and thicknesses. This approach is expected to accurately identify the locations and types of breast tumors in the future, thus providing a more dependable tool for early breast cancer screening.


title: Statistical mechanics and pressure of composite multimoded weakly nonlinear optical systems

abstract: Statistical mechanics can provide a versatile theoretical framework for investigating the collective dynamics of weakly nonlinear waves-settings that can be utterly complex to describe otherwise. In optics, composite systems arise due to interactions between different frequencies and/or polarizations. The purpose of this work is to develop a thermodynamic theory that takes into account the synergistic action of multiple components. We find that the type of the nonlinearity involved can have important implications in the thermalization process and, hence, can lead to different thermal equilibrium conditions. Importantly, we derive closed-form expressions for the actual optomechanical pressure that is exerted on the system. In particular, the total optomechanical pressure is the sum of the partial pressures due to each component. Our results can be applied to a variety of weakly nonlinear optical settings such as multimode fibers, bulk waveguides, photonic lattices, and coupled microresonators. We present two specific examples, where two colors interact in a waveguide array with either a cubic or quadratic nonlinearity.


title: Probing the spatial distribution of gluons within the proton in the coherent vector meson production at large $|t|$

abstract: The coherent production of vector mesons in photon-hadron interactions is considered one of the most promising observables to probe the QCD dynamics at high energies and the transverse spatial distribution of the gluons in the hadron wave function. In this letter, we perform an exploratory study about the dependence of the transverse momentum distributions, $d\sigma/dt$, on the model assumed for the proton density profile. We consider a set of non-Gaussian profiles and include them in the forward dipole-proton scattering amplitude associated with the IP-sat model. We demonstrate that the predictions for $d\sigma/dt$ are similar in the HERA kinematical range, but are very distinct for values of $t$ that will be probed in future colliders. In particular, the presence of diffractive dips in the $t$-distributions associated with the production of $J/\Psi$ and $\rho$ mesons is strongly dependent on the model assumed for the density profile. Similar conclusions are also derived when the non-linear effects on the dipole-target interaction are disregarded. Our results indicate that a future study of the coherent vector meson production at large $t$ will be useful to constrain the spatial distribution of gluons within the proton.


title: Cross-Attention Makes Inference Cumbersome in Text-to-Image Diffusion Models

abstract: This study explores the role of cross-attention during inference in text-conditional diffusion models. We find that cross-attention outputs converge to a fixed point after few inference steps. Accordingly, the time point of convergence naturally divides the entire inference process into two stages: an initial semantics-planning stage, during which, the model relies on cross-attention to plan text-oriented visual semantics, and a subsequent fidelity-improving stage, during which the model tries to generate images from previously planned semantics. Surprisingly, ignoring text conditions in the fidelity-improving stage not only reduces computation complexity, but also maintains model performance. This yields a simple and training-free method called TGATE for efficient generation, which caches the cross-attention output once it converges and keeps it fixed during the remaining inference steps. Our empirical study on the MS-COCO validation set confirms its effectiveness. The source code of TGATE is available at https://github.com/HaozheLiu-ST/T-GATE.


title: Tuning superconductivity in nanosecond laser annealed boron doped $Si_{1-x}Ge_{x}$ epilayers

abstract: Superconductivity in ultra-doped $Si_{1-x}Ge_{x}:B$ epilayers is demonstrated by nanosecond laser doping, which allows introducing substitutional B concentrations well above the solubility limit and up to $7\,at.\%$. A Ge fraction $x$ ranging from 0 to 0.21 is incorporated in $Si:B$ : 1) through a precursor gas by Gas Immersion Laser Doping; 2) by ion implantation, followed by nanosecond laser annealing; 3) by UHV-CVD growth of a thin Ge layer, followed by nanosecond laser annealing. The 30 nm and 80 nm thick $Si_{1-x}Ge_{x}:B$ epilayers display superconducting critical temperatures $T_c$ tuned by B and Ge between 0 and 0.6 K. Within BCS weak-coupling theory, $T_c$ evolves exponentially with both the density of states and the electron-phonon potential. While B doping affects both, through the increase of the carrier density and the tensile strain, Ge incorporation allows addressing independently the lattice deformation influence on superconductivity. To estimate the lattice parameter modulation with B and Ge, Vegard's law is validated for the ternary $SiGeB$ bulk alloy by Density Functional Theory calculations. Its validity is furthermore confirmed experimentally by X-Ray Diffraction. We highlight a global linear dependence of $T_c$ vs. lattice parameter, common for both $Si:B$ and $Si_{1-x}Ge_{x}:B$, with $\delta T_c/T_c \sim 50\,\%$ for $\delta a/a \sim 1\,\%$.


title: Universally defining subrings in function fields

abstract: We establish that all rings of $S$-integers are universally definable in function fields in one variable over certain ground fields including global and non-archimedean local fields. That is, we show that the complement of such a ring of $S$-integers is always a diophantine set. As a technical tool, we use a reciprocity exact sequence for quadratic Witt groups in function fields over almost arbitrary base fields (of any characteristic), which is new and of potentially independent interest.


title: Direct in-situ observations of wave-induced floe collisions in the deeper Marginal Ice Zone

abstract: Ocean waves propagating through the Marginal Ice Zone (MIZ) and the pack ice are strongly attenuated. This attenuation is critical for protecting sea ice from energetic wave events that could otherwise lead to sea ice break-up and dislocation over large areas. Despite the importance of waves-in-ice attenuation, the exact physical mechanisms involved, and their relative importance, are still uncertain. Here we present for the first time direct in situ measurements of floe-floe interactions under the influence of waves, including collisions between adjacent floes. The collision events we report are aligned with the incoming wave direction, and phase-locked to the wave signal, which indicates that the individual collisions we detect are wave-induced. The observations demonstrate that wave attenuation by wave-induced floe-floe collisions, which have been studied in idealized laboratory and field experiments in the outer MIZ, are indeed a likely source of wave energy dissipation deep inside the MIZ as well.


title: Investigating the Relation Between Problem Hardness and QUBO Properties

abstract: Combinatorial optimization problems, integral to various scientific and industrial applications, often vary significantly in their complexity and computational difficulty. Transforming such problems into Quadratic Unconstrained Binary Optimization (QUBO) has regained considerable research attention in recent decades due to the central role of QUBO in Quantum Annealing. This work aims to shed some light on the relationship between the problems' properties. In particular, we examine how the spectral gap of the QUBO formulation correlates with the original problem, since it has an impact on how efficiently it can be solved on quantum computers. We analyze two well-known problems from Machine Learning, namely Clustering and Support Vector Machine (SVM) training, regarding the spectral gaps of their respective QUBO counterparts. An empirical evaluation provides interesting insights, showing that the spectral gap of Clustering QUBO instances positively correlates with data separability, while for SVM QUBO the opposite is true.


title: Non-abelian extensions of relative Rota-Baxter Lie algebras and Wells type exact sequences

abstract: In this paper, we explore non-abelian extensions of relative Rota-Baxter Lie algebras and classify the non-abelian extensions by introducing the non-abelian second cohomology group. We also study the inducibility of a pair of automorphisms about a non-abelian extension of relative Rota-Baxter Lie algebras and derive the Wells type exact sequences. Finally, we investigate the inducibility problem of pairs of derivations about an abelian extension of relative Rota-Baxter Lie algebras and give an exact sequence of Wells type.


title: The irreducibility of some families of linear series with imposed ramifications

abstract: Suppose the generalized Brill-Noether number is zero, we prove that there exists a family of twice-marked smooth projective curves such that the family of linear series with two imposed ramification conditons is irreducible. Moreover, under certain conditions, we show that the monodromy group contains the alternating group. In the case $r=1$, the monodromy group is the full symmetric group.


title: Continual Learning of Numerous Tasks from Long-tail Distributions

abstract: Continual learning, an important aspect of artificial intelligence and machine learning research, focuses on developing models that learn and adapt to new tasks while retaining previously acquired knowledge. Existing continual learning algorithms usually involve a small number of tasks with uniform sizes and may not accurately represent real-world learning scenarios. In this paper, we investigate the performance of continual learning algorithms with a large number of tasks drawn from a task distribution that is long-tail in terms of task sizes. We design one synthetic dataset and two real-world continual learning datasets to evaluate the performance of existing algorithms in such a setting. Moreover, we study an overlooked factor in continual learning, the optimizer states, e.g. first and second moments in the Adam optimizer, and investigate how it can be used to improve continual learning performance. We propose a method that reuses the optimizer states in Adam by maintaining a weighted average of the second moments from previous tasks. We demonstrate that our method, compatible with most existing continual learning algorithms, effectively reduces forgetting with only a small amount of additional computational or memory costs, and provides further improvements on existing continual learning algorithms, particularly in a long-tail task sequence.


title: DIBS: Enhancing Dense Video Captioning with Unlabeled Videos via Pseudo Boundary Enrichment and Online Refinement

abstract: We present Dive Into the BoundarieS (DIBS), a novel pretraining framework for dense video captioning (DVC), that elaborates on improving the quality of the generated event captions and their associated pseudo event boundaries from unlabeled videos. By leveraging the capabilities of diverse large language models (LLMs), we generate rich DVC-oriented caption candidates and optimize the corresponding pseudo boundaries under several meticulously designed objectives, considering diversity, event-centricity, temporal ordering, and coherence. Moreover, we further introduce a novel online boundary refinement strategy that iteratively improves the quality of pseudo boundaries during training. Comprehensive experiments have been conducted to examine the effectiveness of the proposed technique components. By leveraging a substantial amount of unlabeled video data, such as HowTo100M, we achieve a remarkable advancement on standard DVC datasets like YouCook2 and ActivityNet. We outperform the previous state-of-the-art Vid2Seq across a majority of metrics, achieving this with just 0.4% of the unlabeled video data used for pre-training by Vid2Seq.


title: Chasing Contests

abstract: This paper proposes a dynamic research contest, namely the chasing contest, in which two asymmetric contestants exert costly effort to accomplish two breakthroughs in a continuous-time framework. The contestants are asymmetric in that one of them is present-biased and has already achieved one breakthrough (the leader), while the other is time-consistent and needs to achieve two breakthroughs to win (the chaser). The principal can choose between two disclosure policies, which either immediately announces the first breakthrough of the chaser (public chasing contest), or only announces the contest results until its terminus (hidden chasing contest). We fully characterize the unique x-start and y-stop equilibrium of the chasing contest with the two disclosure policies, in which the leader starts working from an instant x to the end while the chaser stops exerting effort by the instant y. We further compare the asymmetric incentives of the two disclosure policies. Our results imply that the chaser will never stop earlier in the hidden chasing contest compared to its public chasing counterpart, whereas the leader works longer in the public chasing contest only if the contest permits a late deadline.


title: Multi-Polarization Superposition Beamforming: Novel Scheme of Transmit Power Allocation and Subcarrier Assignment

abstract: The 5th generation (5G) new radio (NR) access technology and the beyond-5G future wireless communication require extremely high data rate and spectrum efficiency. Energy-efficient transmission/reception schemes are also regarded as an important component. The polarization domain has attracted substantial attention in this aspects. This paper is the first to propose \textit{multi-polarization superposition beamforming (MPS-Beamforming)} with cross-polarization discrimination (XPD) and cross-polarization ratio (XPR)-aware transmit power allocation utilizing the 5G NR antenna panel structure. The appropriate orthogonal frequency division multiplexing (OFDM) subcarrier assignment algorithm is also proposed to verify the theoretical schemes via simulations. The detailed theoretical derivation along with comprehensive simulation results illustrate that the proposed novel scheme of MPS-Beamforming is significantly beneficial to the improvement of the performance in terms of the symbol error rate (SER) and signal-to-noise ratio (SNR) gain at the user equipment (UE). For instance, a provided practical wireless channel environment in the simulations exhibits 8 dB SNR gain for $10^{-4}$ SER in a deterministic channel, and 4 dB SNR gain for $10^{-5}$ SER in abundant statistical channel realizations.


title: Coarse spaces for non-symmetric two-level preconditioners based on local generalized eigenproblems

abstract: Domain decomposition (DD) methods are a natural way to take advantage of parallel computers when solving large scale linear systems. Their scalability depends on the design of the coarse space used in the two-level method. The analysis of adaptive coarse spaces we present here is quite general since it applies to symmetric and non symmetric problems, to symmetric preconditioners such the additive Schwarz method (ASM) and to the non-symmetric preconditioner restricted additive Schwarz (RAS), as well as to exact or inexact subdomain solves. The coarse space is built by solving generalized eigenvalues in the subdomains and applying a well-chosen operator to the selected eigenvectors.


title: Unsupervised Occupancy Learning from Sparse Point Cloud

abstract: Implicit Neural Representations have gained prominence as a powerful framework for capturing complex data modalities, encompassing a wide range from 3D shapes to images and audio. Within the realm of 3D shape representation, Neural Signed Distance Functions (SDF) have demonstrated remarkable potential in faithfully encoding intricate shape geometry. However, learning SDFs from 3D point clouds in the absence of ground truth supervision remains a very challenging task. In this paper, we propose a method to infer occupancy fields instead of SDFs as they are easier to learn from sparse inputs. We leverage a margin-based uncertainty measure to differentially sample from the decision boundary of the occupancy function and supervise the sampled boundary points using the input point cloud. We further stabilize the optimization process at the early stages of the training by biasing the occupancy function towards minimal entropy fields while maximizing its entropy at the input point cloud. Through extensive experiments and evaluations, we illustrate the efficacy of our proposed method, highlighting its capacity to improve implicit shape inference with respect to baselines and the state-of-the-art using synthetic and real data.


title: Gate-tunable subband degeneracy in semiconductor nanowires

abstract: Degeneracy and symmetry have a profound relation in quantum systems. Here, we report gate-tunable subband degeneracy in PbTe nanowires with a nearly symmetric cross-sectional shape. The degeneracy is revealed in electron transport by the absence of a quantized plateau. Utilizing a dual gate design, we can apply an electric field to lift the degeneracy, reflected as emergence of the plateau. This degeneracy and its tunable lifting were challenging to observe in previous nanowire experiments, possibly due to disorder. Numerical simulations can qualitatively capture our observation, shedding light on device parameters for future applications.


title: AQuA -- Combining Experts' and Non-Experts' Views To Assess Deliberation Quality in Online Discussions Using LLMs

abstract: Measuring the quality of contributions in political online discussions is crucial in deliberation research and computer science. Research has identified various indicators to assess online discussion quality, and with deep learning advancements, automating these measures has become feasible. While some studies focus on analyzing specific quality indicators, a comprehensive quality score incorporating various deliberative aspects is often preferred. In this work, we introduce AQuA, an additive score that calculates a unified deliberative quality score from multiple indices for each discussion post. Unlike other singular scores, AQuA preserves information on the deliberative aspects present in comments, enhancing model transparency. We develop adapter models for 20 deliberative indices, and calculate correlation coefficients between experts' annotations and the perceived deliberativeness by non-experts to weigh the individual indices into a single deliberative score. We demonstrate that the AQuA score can be computed easily from pre-trained adapters and aligns well with annotations on other datasets that have not be seen during training. The analysis of experts' vs. non-experts' annotations confirms theoretical findings in the social science literature.


title: A generalized Tur\'{a}n extension of the Deza--Erd\H{o}s--Frankl Theorem

abstract: For an integer $r \ge 3$ and a subset $L \subset [0,r-1]$, a graph $G$ is $(K_{r}, L)$-intersecting if the number of vertices in the intersection of every pair of $K_r$ in $G$ belongs to $L$. We study the maximum number of $K_r$ in an $n$-vertex $(K_{r}, L)$-intersecting graphs. The celebrated Ruzsa--Szemer\'{e}di Theorem corresponds to the case $r=3$ and $L = \{0,1\}$. For general $L$ with $2 \le |L| \le r-1$, we establish the upper bound $\left(1-\frac{1}{3r}\right) \prod_{\ell \in L}\frac{n-\ell}{r- \ell}$ for large $n$, which improves the bound provided by the celebrated Deza--Erd\H{o}s--Frankl Theorem by a factor of $1-\frac{1}{3r}$. In the special case where $L = \{t, t+1, \ldots, r-1\}$, we derive the tight upper bound for large $n$ and establish a corresponding stability result. This is an extension of the seminal Erd\H{o}s--Ko--Rado Theorem on $t$-intersecting systems to the generalized Tur\'{a}n setting. Our proof for the Deza--Erd\H{o}s--Frankl part involves an interesting combination of the $\Delta$-system method and Tur\'{a}n's theorem. Meanwhile, for the Erd\H{o}s--Ko--Rado part, we employ the stability method, which relies on a theorem of Frankl regarding $t$-intersecting systems.


title: Impact and Integration of Mini Photovoltaic Systems on Electric Power Distribution Grids

abstract: This work analyzes the impact of varying concentrations mini-photovoltaic (MPV) systems, often referred to as balcony power plants, on the stability and control of the low-voltage (LV) grid. By local energy use and potentially reversing meter operation, we focus on how these MPV systems transform grid dynamics and elucidate consumer participation in the energy transition. We scrutinize the effects of these systems on power quality, power loss, transformer loading, and the functioning of other inverter-based voltage-regulating distributed energy resources (DER). Owing to the rise in renewable output from MPVs, the emerging bidirectional energy flow poses challenges for distribution grids abundant with DERs. Our case studies, featuring sensitivity analysis and comparison of distributed and decentralized DER control strategies, highlight that autonomous inverters are essential for providing ancillary services. With the growing use of battery energy storage (BES) systems in LV grids for these services, the need for adaptable DER control strategies becomes increasingly evident.


title: Estimation of Quantile Functionals in Linear Model

abstract: Various indicators and measures of the real life procedures rise up as functionals of the quantile process of a parent random variable Z. However, Z can be observed only through a response in a linear model whose covariates are not under our control and the probability distribution of error terms is generally unknown. The problem is that of nonparametric estimation or other inference for such functionals. We propose an estimation procedure based on the averaged two-step regression quantile, recently developed by the authors, combined with an R-estimator of slopes of the linear model.


title: Closing the Implementation Gap in MC: Fully Chemical Synchronization and Detection for Cellular Receivers

abstract: In the context of the Internet of Bio-Nano Things (IoBNT), nano-devices are envisioned to perform complex tasks collaboratively, i.e., by communicating with each other. One candidate for the implementation of such devices are engineered cells due to their inherent biocompatibility. However, because each engineered cell has only little computational capabilities, transmitter and receiver (RX) functionalities can afford only limited complexity. In this paper, we propose a simple, yet modular, architecture for a cellular RX that is capable of processing a stream of observed symbols using chemical reaction networks. Furthermore, we propose two specific detector implementations for the RX. The first detector is based on a machine learning model that is trained offline, i.e., before the cellular RX is deployed. The second detector utilizes pilot symbol-based training and is therefore able to continuously adapt to changing channel conditions online, i.e., after deployment. To coordinate the different chemical processing steps involved in symbol detection, the proposed cellular RX leverages an internal chemical timer. Furthermore, the RX is synchronized with the transmitter via external, i.e., extracellular, signals. Finally, the proposed architecture is validated using theoretical analysis and stochastic simulations. The presented results confirm the feasibility of both proposed implementations and reveal that the proposed online learning-based RX is able to perform reliable detection even in initially unknown or slowly changing channels. By its modular design and exclusively chemical implementation, the proposed RX contributes towards the realization of versatile and biocompatible nano-scale communication networks for IoBNT applications narrowing the existing implementation gap in cellular molecular communication (MC).


title: (Non-)Extendability of Abel-Jacobi Maps

abstract: We investigate the "natural" locus of definition of Abel-Jacobi maps. In particular, we show that, for a proper, geometrically reduced curve C -- not necessarily smooth -- the Abel-Jacobi map from the smooth locus C^{sm} into the Jacobian of C does not extend to any larger (separated, geometrically reduced) curve containing C^{sm} except under certain particular circumstances which we describe explicitly. As a consequence, we deduce that the Abel-Jacobi map has closed image except in certain explicitly described circumstances, and that it is always a closed embedding for irreducible curves not isomorphic to P^1.


title: Fast Diffusion Model For Seismic Data Noise Attenuation

abstract: Noise is one of the primary sources of interference in seismic exploration. Many authors have proposed various methods to remove noise from seismic data; however, in the face of strong noise conditions, satisfactory results are often not achievable. In recent years, methods based on diffusion models have been applied to the task of strong noise processing in seismic data. However, due to iterative computations, the computational efficiency of diffusion-based methods is much lower than conventional methods. To address this issue, we propose using an improved Bayesian equation for iterations, removing the stochastic terms from the computation. Additionally, we proposed a new normalization method adapted to the diffusion model. Through various improvements, on synthetic datasets and field datasets, our proposed method achieves significantly better noise attenuation effects compared to the benchmark methods, while also achieving a several-fold increase in computational speed. We employ transfer learning to demonstrate the robustness of our proposed method on open-source synthetic seismic data and validate on open-source field data sets. Finally, we open-sourced the code to promote the development of high-precision and efficient seismic exploration work.


title: Locking-free hybrid high-order method for linear elasticity

abstract: The hybrid-high order (HHO) scheme has many successful applications including linear elasticity as the first step towards computational solid mechanics. The striking advantage is the simplicity among other higher-order nonconforming schemes and its geometric flexibility as a polytopal method on the expanse of a parameter-free refined stabilization. The classical suggestion of a locking-free HHO discretization requires a split of the the reconstruction terms with an additional reconstruction of the divergence operator that might be motivated by the Stokes equations for the robust approximation in the incompressible limit, when one Lam\'e parameter $\lambda\to\infty$ becomes very large. This paper utilizes just one reconstruction operator for the linear Green strain and therefore does not rely on a split in deviatoric and spherical behavior. The a priori error analysis provides quasi-best approximation with $\lambda$-independent equivalence constants. The reliable and (up to data oscillations) efficient a posteriori error estimates are stabilization-free and $\lambda$-robust. The error analysis is carried out on simplicial meshes to allow conforming piecewise polynomials finite elements in the kernel of the stabilization terms. Numerical benchmarks provide empirical evidence for optimal convergence rates of the a posteriori error estimator in some associated adaptive mesh-refining algorithm also in the incompressible limit.


title: Precise Omega baryons from lattice QCD

abstract: In this paper we determine the masses of $I(J^P)=0\left(3/2^+\right)$ and $0\left(3/2^-\right)$ $\Omega$-baryon ground states using lattice QCD. We utilise Wilson-clover ensembles with $2+1$ dynamical quark flavours generated by the CLS consortium along a trajectory with a constant trace of the quark-mass matrix. We show that N$^3$LO $\text{SU}(3)_f$ chiral perturbation theory expressions describe the ground-state masses with positive-parity well, and we use them to set the lattice scale. Methodologically, our combination of gauge-fixed wall sources and the generalized Pencil of Functions allows for high-precision determinations of the lattice spacing at a relative error of around $0.3\%$ with controlled excited-state contamination. The fit we perform allows for the continuum value of $t_0$ to vary, thereby determining this quantity with a comparable level of precision to that of the lattice scale. Using the resulting scales our measurement of the negative-parity $\Omega^{3/2^{-}}$ state is found to be consistent with the recently-discovered $\Omega(2012)^-$, which can therefore be assigned the quantum numbers $I(J^P)=0\left(3/2^-\right)$.


title: Proper Implicit Discretization of Arbitrary-Order Robust Exact Differentiators

abstract: This paper considers the implicit Euler discretization of Levant's arbitrary order robust exact differentiator in presence of sampled measurements. Existing implicit discretizations of that differentiator are shown to exhibit either unbounded bias errors or, surprisingly, discretization chattering despite the use of the implicit discretization. A new, proper implicit discretization that exhibits neither of these two detrimental effects is proposed by computing the differentiator's outputs as appropriately designed linear combinations of its state variables. A numerical differentiator implementation is discussed and closed-form stability conditions for arbitrary differentiation orders are given. The influence of bounded measurement noise and numerical approximation errors is formally analyzed. Numerical simulations confirm the obtained results.


title: Forming Large Patterns with Local Robots in the OBLOT Model

abstract: In the arbitrary pattern formation problem, $n$ autonomous, mobile robots must form an arbitrary pattern $P \subseteq \mathbb{R}^2$. The (deterministic) robots are typically assumed to be indistinguishable, disoriented, and unable to communicate. An important distinction is whether robots have memory and/or a limited viewing range. Previous work managed to form $P$ under a natural symmetry condition if robots have no memory but an unlimited viewing range [22] or if robots have a limited viewing range but memory [25]. In the latter case, $P$ is only formed in a shrunk version that has constant diameter. Without memory and with limited viewing range, forming arbitrary patterns remains an open problem. We provide a partial solution by showing that $P$ can be formed under the same symmetry condition if the robots' initial diameter is $\leq 1$. Our protocol partitions $P$ into rotation-symmetric components and exploits the initial mutual visibility to form one cluster per component. Using a careful placement of the clusters and their robots, we show that a cluster can move in a coordinated way through its component while drawing $P$ by dropping one robot per pattern coordinate.


title: FPT: Feature Prompt Tuning for Few-shot Readability Assessment

abstract: Prompt-based methods have achieved promising results in most few-shot text classification tasks. However, for readability assessment tasks, traditional prompt methods lackcrucial linguistic knowledge, which has already been proven to be essential. Moreover, previous studies on utilizing linguistic features have shown non-robust performance in few-shot settings and may even impair model performance.To address these issues, we propose a novel prompt-based tuning framework that incorporates rich linguistic knowledge, called Feature Prompt Tuning (FPT). Specifically, we extract linguistic features from the text and embed them into trainable soft prompts. Further, we devise a new loss function to calibrate the similarity ranking order between categories. Experimental results demonstrate that our proposed method FTP not only exhibits a significant performance improvement over the prior best prompt-based tuning approaches, but also surpasses the previous leading methods that incorporate linguistic features. Also, our proposed model significantly outperforms the large language model gpt-3.5-turbo-16k in most cases. Our proposed method establishes a new architecture for prompt tuning that sheds light on how linguistic features can be easily adapted to linguistic-related tasks.


title: Simultaneously Cloaking Electric and Hydrodynamic Fields via Electro-osmosis

abstract: In this paper, we develop a general mathematical framework for the electro-osmosis problem to design simultaneous microscale electric and hydrodynamic cloaking in a Hele-Shaw configuration. A novel approach to achieving simultaneously cloaking both the electric and flow fields through a combination of scattering-cancellation technology and an electro-osmosis effect is proposed. In the design, the electric field is manipulated with scattering-cancellation technology while the pressure with electro-osmosis effect. As proof of this concept, the perfect electric and hydrodynamic cloaking conditions are derived for the cloaks with the cross-sectional shape being annulus or confocal ellipses using the layer potential techniques. Furthermore, we also propose an optimization scheme for the design of approximate cloaks within general geometries and prove the well-posedness of the optimization problem. In particular, the conditions that can ensure the simultaneous occurrence of approximate cloaks for general geometries are also established. Our theoretical findings are validated by a variety of numerical results and guide efficiently designing electric-related multiphysics cloaking.


title: Profile Likelihood via Optimisation and Differential Equations

abstract: Profile likelihood provides a general framework to infer on a scalar parameter of a statistical model. A confidence interval is obtained by numerically finding the two abscissas where the profile log-likelihood curve intersects an horizontal line. An alternative derivation for this interval can be obtained by solving a constrained optimisation problem which can broadly be described as: maximise or minimise the parameter of interest under the constraint that the log-likelihood is high enough. This formulation allows nice geometrical interpretations; It can be used to infer on a parameter or on a known scalar function of the parameter, such as a quantile. Widely available routines for constrained optimisation can be used for this task, as well as Markov Chain Monte Carlo samplers. When the interest is on a smooth function depending on an extra continuous variable, the constrained optimisation framework can be used to derive Ordinary Differential Equation (ODE) for the confidence limits. This is illustrated with the return levels of Extreme Value models based on the Generalised Extreme Value distribution. Moreover the same ODE-based technique applies as well to the derivation of profile likelihood contours for couples of parameters. The initial value of the ODE used in the determination of the interval or the contour can itself be obtained by another auxiliary ODE with known initial value obtained by using the confidence level as the extra continuous variable.


title: A plethora of long-range neutrino interactions probed by DUNE and T2HK

abstract: Upcoming neutrino experiments will soon search for new neutrino interactions more thoroughly than ever before, boosting the prospects of extending the Standard Model. In anticipation of this, we forecast the capability of two of the leading long-baseline neutrino oscillation experiments, DUNE and T2HK, to look for new flavor-dependent neutrino interactions with electrons, protons, and neutrons that could affect the transitions between different flavors. We interpret their sensitivity in the context of long-range neutrino interactions, mediated by a new neutral boson lighter than $10^{-10}$ eV, and sourced by the vast amount of nearby and distant matter in the Earth, Moon, Sun, Milky Way, and beyond. For the first time, we explore the sensitivity of DUNE and T2HK to a wide variety of $U(1)^\prime$ symmetries, built from combinations of lepton and baryon numbers, each of which induces new interactions that affect oscillations differently. We find ample sensitivity: in all cases, DUNE and T2HK may constrain the existence of the new interaction even if it is supremely feeble, may discover it, and, in some cases, may identify the symmetry responsible for it.


title: Recovering generalized homology from Floer homology: the complex oriented case

abstract: We associate an invariant called the completed Tate cohomology to a filtered circle equivariant spectrum and a complex oriented cohomology theory. We show that when the filtered spectrum is the spectral symplectic cohomology of a Liouville manifold, this invariant depends only on the stable homotopy type of the underlying manifold. We make explicit computations for several complex oriented cohomology theories, including Eilenberg-Maclane spectra, Morava K-theories, their integral counterparts, and complex K-theory. We show that the result for Eilenberg-Maclane spectra depends only on the rational homology, and we use the computations for Morava K-theory to recover the integral homology (as an ungraded group). In a different direction, we use the completed Tate cohomology computations for the complex K-theory to recover the complex K-theory of the underlying manifold from its equivariant filtered Floer homotopy type. A key Floer theoretic input is the computation of local equivariant Floer theory near the orbit of an autonomous Hamiltonian, which may be of independent interest from the perspective of dynamics.


title: Decompositions of Periodic Matrices into a Sum of Special Matrices

abstract: We study the problem of when a periodic square matrix of order $n$ over an arbitrary field $\mathbb{F}$ is decomposable into the sum of a square-zero matrix and a torsion matrix, and show that this decomposition can always be obtained for matrices of rank at least $\frac n2$ when $\mathbb{F}$ is either a field of prime characteristic, or the field of rational numbers, or an algebraically closed field of zero characteristic. We also provide a counterexample to such a decomposition when $\mathbb{F}$ equals the field of the real numbers. Moreover, we prove that each periodic square matrix over any field is a sum of an idempotent matrix and a torsion matrix.


title: Chain event graphs for assessing activity-level propositions in forensic science in relation to drug traces on banknotes

abstract: Graphical models and likelihood ratios can be used by forensic scientists to compare support given by evidence to propositions put forward by competing parties during court proceedings. Such models can also be used to evaluate support for activity-level propositions, i.e. propositions that refer to the nature of activities associated with evidence and how this evidence came to be at a crime scene. Graphical methods can be used to show explicitly different scenarios that might explain the evidence in a case and to distinguish between evidence requiring evaluation by a jury and quantifiable evidence from the crime scene. Such visual representations can be helpful for forensic practitioners, the police and lawyers who may need to assess the value that different pieces of evidence make to their arguments in a case. In this paper we demonstrate for the first time how chain event graphs can be applied to a criminal case involving drug trafficking. We show how different types of evidence (i.e. expert judgement and data collected from a crime scene) can be combined using a chain event graph and show how the hierarchical model deriving from the graph can be used to evaluate the degree of support for different activity-level propositions in the case. We also develop a modification of the standard chain event graph to simplify their use in forensic applications.


title: Federated Computing -- Survey on Building Blocks, Extensions and Systems

abstract: In response to the increasing volume and sensitivity of data, traditional centralized computing models face challenges, such as data security breaches and regulatory hurdles. Federated Computing (FC) addresses these concerns by enabling collaborative processing without compromising individual data privacy. This is achieved through a decentralized network of devices, each retaining control over its data, while participating in collective computations. The motivation behind FC extends beyond technical considerations to encompass societal implications. As the need for responsible AI and ethical data practices intensifies, FC aligns with the principles of user empowerment and data sovereignty. FC comprises of Federated Learning (FL) and Federated Analytics (FA). FC systems became more complex over time and they currently lack a clear definition and taxonomy describing its moving pieces. Current surveys capture domain-specific FL use cases, describe individual components in an FC pipeline individually or decoupled from each other, or provide a quantitative overview of the number of published papers. This work surveys more than 150 papers to distill the underlying structure of FC systems with their basic building blocks, extensions, architecture, environment, and motivation. We capture FL and FA systems individually and point out unique difference between those two.


title: One-photon-interference quantum secure direct communication

abstract: Quantum secure direct communication (QSDC) is a quantum communication paradigm that transmits confidential messages directly using quantum states. Measurement-device-independent (MDI) QSDC protocols can eliminate the security loopholes associated with measurement devices. To enhance the practicality and performance of MDI-QSDC protocols, we propose a one-photon-interference MDI QSDC (OPI-QSDC) protocol which transcends the need for quantum memory, ideal single-photon sources, or entangled light sources. The security of our OPI-QSDC protocol has also been analyzed using quantum wiretap channel theory. Furthermore, our protocol could double the distance of usual prepare-and-measure protocols, since quantum states sending from adjacent nodes are connected with single-photon interference, which demonstrates its potential to extend the communication distance for point-to-point QSDC.


title: CLaM-TTS: Improving Neural Codec Language Model for Zero-Shot Text-to-Speech

abstract: With the emergence of neural audio codecs, which encode multiple streams of discrete tokens from audio, large language models have recently gained attention as a promising approach for zero-shot Text-to-Speech (TTS) synthesis. Despite the ongoing rush towards scaling paradigms, audio tokenization ironically amplifies the scalability challenge, stemming from its long sequence length and the complexity of modelling the multiple sequences. To mitigate these issues, we present CLaM-TTS that employs a probabilistic residual vector quantization to (1) achieve superior compression in the token length, and (2) allow a language model to generate multiple tokens at once, thereby eliminating the need for cascaded modeling to handle the number of token streams. Our experimental results demonstrate that CLaM-TTS is better than or comparable to state-of-the-art neural codec-based TTS models regarding naturalness, intelligibility, speaker similarity, and inference speed. In addition, we examine the impact of the pretraining extent of the language models and their text tokenization strategies on performances.


title: AstroSat View of the Neutron Star Low-mass X-Ray Binary GX 5-1

abstract: We present the spectral and timing study of the bright NS-LMXB GX 5-1 using \textit{\textit{AstroSat}/LAXPC} and \textit{SXT} observations conducted in the year 2018. During the observation, the source traces out the complete HB and NB of the Z-track in the HID. Understanding the spectral and temporal evolution of the source along the 'Z' track can probe the accretion process in the vicinity of a neutron star. Spectral analysis was performed in the 0.7-20 keV energy range for different segments in the HID using a multi-temperature disc black body with an average temperature, $kT_{in} \sim$0.46 and a thermal Comptonization model. It is found that the optical depth of the corona drops from $\sim$6.68 in HB to $\sim$2.74 in NB. The Timing analysis using the LAXPC instrument indicates the presence of quasi-periodic oscillations in HB, NB, and the hard apex of the Z-track. The observed QPO frequencies are similar to the characteristic frequencies of horizontal branch and normal branch oscillations. The HBO frequency increase from $\sim$12-46 Hz towards the hard apex. The timing studies conducted in soft and hard band indicate the association of HBO and NBO origin with the non-thermal component. Further research could explore the implications of this relationship for understanding the dynamics of accretion onto neutron stars.


title: Simulating the Universe from the cosmological horizon to halo scales

abstract: Ultra-large scales close to the cosmological horizon will be probed by the upcoming observational campaigns. They hold the promise to constrain single-field inflation as well as general relativity, but in order to include them in the forthcoming analyses, their modelling has to be robust. In particular, general relativistic effects may be mistaken for primordial signals, and no consensus has emerged either from analytical modelling nor from the numerical route, obstructed by the large dynamical range to be simulated. In this work, we present a numerical technique to overcome the latter limitation: we compute the general relativistic displacement field with the N-body relativistic code gevolution and combine it with the accurate Newtonian simulation Gadget-4. This combination leads to an effective simulation reproducing the desired behaviour at the level of the matter power spectrum and bispectrum. We then measure, for the first time in a simulation, the relativistic scale-dependent bias in Poisson gauge; at redshift $z=0$, we find $b_1^{\mathrm{GR}}=-5.7 \pm 1.7$. Our results at the field level are only valid in the Poisson gauge and need to be complemented with a relativistic ray tracing algorithm to compute the number count observable.


title: Minimizing the Number of Tardy Jobs and Maximal Tardiness on a Single Machine is NP-hard

abstract: This paper resolves a long-standing open question in bicriteria scheduling regarding the complexity of a single machine scheduling problem which combines the number of tardy jobs and the maximal tardiness criteria. We use the lexicographic approach with the maximal tardiness being the primary criterion. Accordingly, the objective is to find, among all solutions minimizing the maximal tardiness, the one which has the minimum number of tardy jobs. The complexity of this problem has been open for over thirty years, and has been known since then to be one of the most challenging open questions in multicriteria scheduling. We resolve this question by proving that the problem is strongly NP-hard. We also prove that the problem is at least weakly NP-hard when we switch roles between the two criteria (i.e., when the number of tardy jobs is the primary criterion). Finally, we provide hardness results for two other approaches (constraint and a priori approaches) to deal with these two criteria.


title: Domain Generalization through Meta-Learning: A Survey

abstract: Deep neural networks (DNNs) have revolutionized artificial intelligence but often lack performance when faced with out-of-distribution (OOD) data, a common scenario due to the inevitable domain shifts in real-world applications. This limitation stems from the common assumption that training and testing data share the same distribution-an assumption frequently violated in practice. Despite their effectiveness with large amounts of data and computational power, DNNs struggle with distributional shifts and limited labeled data, leading to overfitting and poor generalization across various tasks and domains. Meta-learning presents a promising approach by employing algorithms that acquire transferable knowledge across various tasks for fast adaptation, eliminating the need to learn each task from scratch. This survey paper delves into the realm of meta-learning with a focus on its contribution to domain generalization. We first clarify the concept of meta-learning for domain generalization and introduce a novel taxonomy based on the feature extraction strategy and the classifier learning methodology, offering a granular view of methodologies. Through an exhaustive review of existing methods and underlying theories, we map out the fundamentals of the field. Our survey provides practical insights and an informed discussion on promising research directions, paving the way for future innovation in meta-learning for domain generalization.


title: The Steinberg Tensor Product Theorem for General Linear Group Schemes in the Verlinde Category

abstract: The Steinberg tensor product theorem is a fundamental result in the modular representation theory of reductive algebraic groups. It describes any finite-dimensional simple module of highest weight $\lambda$ over such a group as the tensor product of Frobenius twists of simple modules with highest weights the weights appearing in a $p$-adic decomposition of $\lambda$, thereby reducing the character problem to a a finite collection of weights. In recent years this theorem has been extended to various quasi-reductive supergroup schemes. In this paper, we prove the analogous result for the general linear group scheme $GL(X)$ for any object $X$ in the Verlinde category $\mathrm{Ver}_p$.


title: Mixed-encoding one-photon-interference quantum secure direct communication

abstract: Quantum secure direct communication (QSDC) guarantees both the security and reliability of information transmission using quantum states. One-photon-interference QSDC (OPI-QSDC) is a technique that enhances the transmission distance and ensures secure point-to-point information transmission, but it requires complex phase locking technology. This paper proposes a mixed-encoding one-photon-interference QSDC (MO-QSDC) protocol that removes the need for phase locking technology. Numerical simulations demonstrate that the MO-QSDC protocol could also beat the PLOB bound.


title: GenN2N: Generative NeRF2NeRF Translation

abstract: We present GenN2N, a unified NeRF-to-NeRF translation framework for various NeRF translation tasks such as text-driven NeRF editing, colorization, super-resolution, inpainting, etc. Unlike previous methods designed for individual translation tasks with task-specific schemes, GenN2N achieves all these NeRF editing tasks by employing a plug-and-play image-to-image translator to perform editing in the 2D domain and lifting 2D edits into the 3D NeRF space. Since the 3D consistency of 2D edits may not be assured, we propose to model the distribution of the underlying 3D edits through a generative model that can cover all possible edited NeRFs. To model the distribution of 3D edited NeRFs from 2D edited images, we carefully design a VAE-GAN that encodes images while decoding NeRFs. The latent space is trained to align with a Gaussian distribution and the NeRFs are supervised through an adversarial loss on its renderings. To ensure the latent code does not depend on 2D viewpoints but truly reflects the 3D edits, we also regularize the latent code through a contrastive learning scheme. Extensive experiments on various editing tasks show GenN2N, as a universal framework, performs as well or better than task-specific specialists while possessing flexible generative power. More results on our project page: https://xiangyueliu.github.io/GenN2N/


title: RNA Dynamics from Experimental and Computational Approaches

abstract: Ribonucleic acids (RNA) are unique in that they can store genetic information, replicate and perform catalysis. Importantly, RNA molecules are highly dynamic, and thus determining the ensemble of conformations that they populate is crucial not only to elucidate their biological functions, but also for their potential use as therapeutic targets. Computational and experimental techniques provide complementary views on RNA dynamics, and their integration is fundamental to improve the accuracy of computations and the resolution of experiments. Recent exciting developments in this field, were discussed at the CECAM workshop ``RNA dynamics from experimental and computational approaches'', in Paris, June 26-28, 2023. This report outlines key `take-home' messages that emerged during this workshop from the presentations and discussions.


title: MULAN: A Multi Layer Annotated Dataset for Controllable Text-to-Image Generation

abstract: Text-to-image generation has achieved astonishing results, yet precise spatial controllability and prompt fidelity remain highly challenging. This limitation is typically addressed through cumbersome prompt engineering, scene layout conditioning, or image editing techniques which often require hand drawn masks. Nonetheless, pre-existing works struggle to take advantage of the natural instance-level compositionality of scenes due to the typically flat nature of rasterized RGB output images. Towards adressing this challenge, we introduce MuLAn: a novel dataset comprising over 44K MUlti-Layer ANnotations of RGB images as multilayer, instance-wise RGBA decompositions, and over 100K instance images. To build MuLAn, we developed a training free pipeline which decomposes a monocular RGB image into a stack of RGBA layers comprising of background and isolated instances. We achieve this through the use of pretrained general-purpose models, and by developing three modules: image decomposition for instance discovery and extraction, instance completion to reconstruct occluded areas, and image re-assembly. We use our pipeline to create MuLAn-COCO and MuLAn-LAION datasets, which contain a variety of image decompositions in terms of style, composition and complexity. With MuLAn, we provide the first photorealistic resource providing instance decomposition and occlusion information for high quality images, opening up new avenues for text-to-image generative AI research. With this, we aim to encourage the development of novel generation and editing technology, in particular layer-wise solutions. MuLAn data resources are available at https://MuLAn-dataset.github.io/.


title: Information propagation in far-from-equilibrium molecular templating networks is optimised by pseudo-equilibrium systems with negligible dissipation

abstract: Far-from equilibrium molecular templating networks, like those that maintain the populations of RNA and protein molecules in the cell, are key biological motifs. These networks share the general property that assembled products are produced and degraded via complex pathways controlled by catalysts, including molecular templates. Although it has been suggested that the information propagated from templates to products sets a lower bound on the thermodynamic cost of these networks, this bound has not been explored rigorously to date. We show that, for an arbitrarily catalytic reaction network in steady state, the specificity with which a single product can dominate the ensemble is upper bounded, and the entropy of the product ensemble lower bounded, by a function of $\Delta G$, the difference between the maximal and minimal free-energy changes along pathways to assembly. These simple bounds are particularly restrictive for systems with a smaller number of possible products $M$. Remarkably, however, although $\Delta G$ constrains the information propagated to the product distribution, the systems that saturate the bound operate in a pseudo-equilibrium fashion, and there is no minimal entropy production rate for maintaining this non-equilibrium distribution. Moreover, for large systems, a vanishingly small subset of the possible products can dominate the product ensemble even for small values of $\Delta G/\ln M$.

categories: physics.bio-ph cond-mat.stat-mech cs.IT math.IT q-bio.MN


title: Numerical relativity simulations of black hole and relativistic jet formation

abstract: We investigate impacts of stellar rotation and magnetic fields on black hole (BH) formation and its subsequent explosive activities, by conducting axisymmetric radiation-magnetohydrodynamics simulations of gravitational collapse of a 70 $M_\odot$ star with two-moment multi energy neutrino transport in numerical relativity. Due to its dense stellar structure, all models cannot avoid the eventual BH formation even though a strongly magnetized model experiences the so-called magnetorotational explosion prior to the BH formation. One intriguing phenomenon observed in the strongly magnetized model is the formation of a relativistic jet in the post-BH formation. The relativistic jet is the outcome of a combination of strong magnetic fields and low-density materials above the BH. The jet further enhances the explosion energy beyond $\sim10^{52}$ erg, which is well exceeding the gravitational overburden ahead of the shock. Our self-consistent supernova models demonstrate that rotating magnetized massive stars at the high-mass end of supernova progenitors could be a potential candidate of hypernova and long gamma-ray burst progenitors.


title: xGASS: The scatter of the HI-halo mass relation of central galaxies

abstract: Empirical studies of the relationship between baryonic matter in galaxies and the gravitational potential of their host halos are important to constrain our theoretical framework for galaxy formation and evolution. One such relation, between the atomic hydrogen (HI) mass of central galaxies ($M_{\rm{HI,c}}$) and the total mass of their host halos ($M_{\rm{halo}}$), has attracted significant interest in the last few years. In this work, we use the extended GALEX Arecibo SDSS Survey to examine the scatter of the HI-halo mass relation for a representative sample of central galaxies. Our findings reveal a flat median relation at $\rm{log}_{10}$$(M_{\rm{HI,c}}/\rm{M}_{\odot}) \approx 9.40$, across $11.1 < \rm{log}_{10}$$(M_{\rm{halo}}/\rm{M_{\odot}}) < 14.1$. This flat relation stems from the statistical dominance of star-forming, disc galaxies at low $M_{\rm{halo}}$ in combination with the increasing prevalence of passive, high stellar-concentration systems at higher $M_{\rm{halo}}$. The scatter of this relation and the stellar specific angular momentum of centrals have a strong link (Spearman's rank correlation coefficient $\geq 0.5$). Comparisons with simulations suggest that the kinematic state of host halos may be primarily driving this scatter. Our findings highlight that the HI-halo mass parameter space is too complex to be completely represented by simple median or average relations and we show that tensions with previous works are most likely due to selection biases. We recommend that future observational studies, and their comparisons with theoretical models, bin central galaxies also by their secondary properties to enable a statistically robust understanding of the processes regulating the cold gas content within central galaxies of dark-matter halos.


title: Multifunctorial Equivariant Algebraic K-Theory

abstract: A central question in equivariant algebraic K-theory asks whether there exists an equivariant K-theory machine from genuine symmetric monoidal G-categories to orthogonal G-spectra that preserves equivariant algebraic structures. We answer this question positively by constructing an enriched multifunctor K from the G-categorically enriched multicategory of O-pseudoalgebras to the symmetric monoidal category of orthogonal G-spectra, for a compact Lie group G and a 1-connected pseudo-commutative G-categorical operad O. As the main application of its enriched multifunctoriality, K preserves all equivariant algebraic structures parametrized by multicategories enriched in either G-spaces or G-categories. For example, for a finite group G and the G-Barratt-Eccles operad, K transports equivariant E-infinity algebras, in the sense of Guillou-May or Blumberg-Hill, of genuine symmetric monoidal G-categories to equivariant E-infinity algebras of orthogonal G-spectra.


title: Robust Pushing: Exploiting Quasi-static Belief Dynamics and Contact-informed Optimization

abstract: Non-prehensile manipulation such as pushing is typically subject to uncertain, non-smooth dynamics. However, modeling the uncertainty of the dynamics typically results in intractable belief dynamics, making data-efficient planning under uncertainty difficult. This article focuses on the problem of efficiently generating robust open-loop pushing plans. First, we investigate how the belief over object configurations propagates through quasi-static contact dynamics. We exploit the simplified dynamics to predict the variance of the object configuration without sampling from a perturbation distribution. In a sampling-based trajectory optimization algorithm, the gain of the variance is constrained in order to enforce robustness of the plan. Second, we propose an informed trajectory sampling mechanism for drawing robot trajectories that are likely to make contact with the object. This sampling mechanism is shown to significantly improve chances of finding robust solutions, especially when making-and-breaking contacts is required. We demonstrate that the proposed approach is able to synthesize bi-manual pushing trajectories, resulting in successful long-horizon pushing maneuvers without exteroceptive feedback such as vision or tactile feedback. We furthermore deploy the proposed approach in a model-predictive control scheme, demonstrating additional robustness against unmodeled perturbations.


title: Spin foam amplitude of the black-to-white hole transition

abstract: It has been conjectured that quantum gravity effects may cause the black-to-white hole transition due to quantum tunneling. The transition amplitude of this process is explored within the framework of the spin foam model on a 2-complex containing 56 vertices. We develop a systematic way to construct the bulk triangulation from the boundary triangulation to obtain the 2-complex. By using Thiemann's complexifier coherent state as the boundary state to resemble the semiclassical geometry, we introduce a procedure to calculate the parameters labeling the coherent state from the continuous curved geometry. Considering that triad fields of different orientations, i.e., $e_i^a$ and $-e_i^a$, give the same intrinsic geometry of the boundary, we creatively adopt the boundary state as a superposition of the coherent states associated with both orientations. We employ the method of complex critical point to numerically compute the transition amplitude. Despite the numerical results, it is interestingly found that the transition amplitude is dominated by the terms allowing the change in orientation. This suggests that the black-to-white hole transition should be accompanied by quantum tunneling process of a change in orientation.


title: Quantum enhanced mechanical rotation sensing using wavefront photonic gears

abstract: Quantum metrology leverages quantum correlations for enhanced parameter estimation. Recently, structured light enabled increased resolution and sensitivity in quantum metrology systems. However, lossy and complex setups impacting photon flux, hinder true quantum advantage while using high dimensional structured light. We introduce a straightforward mechanical rotation quantum sensing mechanism, employing high-dimensional structured light and a compact high-flux (45,000 coincidence counts per second) N00N state source with N=2. The system utilizes two opposite spiral phase plates with topological charge of up to l=16 that convert mechanical rotation into wavefront phase shifts, and exhibit a 16-fold enhanced super-resolution and 25-fold enhanced sensitivity between different topological charges, while retaining the acquisition times and with negligible change in coincidence count. Furthermore, the high photon flux enables to detect mechanical angular acceleration in real-time. Our approach paves the way for highly sensitive quantum measurements, applicable to various interferometric schemes.


title: AI and personalized learning: bridging the gap with modern educational goals

abstract: Personalized learning (PL) aspires to provide an alternative to the one-size-fits-all approach in education. Technology-based PL solutions have shown notable effectiveness in enhancing learning performance. However, their alignment with the broader goals of modern education is inconsistent across technologies and research areas. In this paper, we examine the characteristics of AI-driven PL solutions in light of the OECD Learning Compass 2030 goals. Our analysis indicates a gap between the objectives of modern education and the current direction of PL. We identify areas where most present-day PL technologies could better embrace essential elements of contemporary education, such as collaboration, cognitive engagement, and the development of general competencies. While the present PL solutions are instrumental in aiding learning processes, the PL envisioned by educational experts extends beyond simple technological tools and requires a holistic change in the educational system. Finally, we explore the potential of large language models, such as ChatGPT, and propose a hybrid model that blends artificial intelligence with a collaborative, teacher-facilitated approach to personalized learning.


title: Direct, simple, and efficient computation of all components of the virtual-casing magnetic field in axisymmetric geometries with Kapur-Rokhlin quadrature

abstract: In a recent publication (Toler et al. 2023), we demonstrated that for axisymmetric geometries, the Kapur-Rokhlin quadrature rule provided an efficient and high-order accurate method for computing the normal component, on the plasma surface, of the magnetic field due to the toroidal current flowing in the plasma, via the virtual-casing principle. The calculation was indirect, as it required the prior computation of the magnetic vector potential from the virtual-casing principle, followed by the computation of its tangential derivative by Fourier differentiation, in order to obtain the normal component of the magnetic field. Our approach did not provide the other components of the virtual-casing magnetic field. In this letter, we show that a more direct and more general approach is available for the computation of the virtual-casing magnetic field. The Kapur-Rokhlin quadrature rule accurately calculates the principal value integrals in the expression for all the components of the magnetic field on the plasma boundary, and the numerical error converges at a rate nearly as high as the indirect method we presented previously.


title: On Few-Shot Prompting for Controllable Question-Answer Generation in Narrative Comprehension

abstract: Question Generation aims to automatically generate questions based on a given input provided as context. A controllable question generation scheme focuses on generating questions with specific attributes, allowing better control. In this study, we propose a few-shot prompting strategy for controlling the generation of question-answer pairs from children's narrative texts. We aim to control two attributes: the question's explicitness and underlying narrative elements. With empirical evaluation, we show the effectiveness of controlling the generation process by employing few-shot prompting side by side with a reference model. Our experiments highlight instances where the few-shot strategy surpasses the reference model, particularly in scenarios such as semantic closeness evaluation and the diversity and coherency of question-answer pairs. However, these improvements are not always statistically significant. The code is publicly available at github.com/bernardoleite/few-shot-prompting-qg-control.


title: The Primordial Black Hole Formation -- Null Geodesic Correspondence

abstract: We provide evidence for a correspondence between the formation of primordial black holes and the stability of circular null geodesics around the collapsing perturbation. We first show that the critical threshold of the compaction function to form a black hole in radiation is well approximated by the critical threshold for the appearance of the first unstable circular orbit. We also show that the critical exponent in the scaling law of the primordial black hole mass close to the threshold is set by the inverse of the Lyapunov coefficient of the unstable orbits when a self-similar stage is developed close to criticality.


title: Quantum Big-Bounce as a phenomenology of RQM in the Mini-superspace

abstract: We investigate the emergence of a quantum Big-Bounce in the context of an isotropic Universe, filled by a self-interacting scalar field, which plays the role of a physical clock. The bouncing cosmology is the result of a scattering process, driven by the scalar field potential, which presence breaks down the frequency separation of the Wheeler-DeWitt equation, treated in strict analogy to a relativistic quantum system. Differently from previous analyses, we consider a really perturbative self-interaction potential, affecting the dynamics in a finite range of the time labeled by the scalar clock (and in particular we remove the divergent character previously allowed). The main result of the present analysis is that, when the Relativistic Quantum Mechanics formalism is properly implemented in the Mini-superspace analogy, the probability amplitude for the bounce is, both in the standard and polymerized case, characterized by a maximum in correspondence of the quasi-classical condition of a Universe minimum volume.


title: Collaboratively adding context to social media posts reduces the sharing of false news

abstract: We build a novel database of around 285,000 notes from the Twitter Community Notes program to analyze the causal influence of appending contextual information to potentially misleading posts on their dissemination. Employing a difference in difference design, our findings reveal that adding context below a tweet reduces the number of retweets by almost half. A significant, albeit smaller, effect is observed when focusing on the number of replies or quotes. Community Notes also increase by 80% the probability that a tweet is deleted by its creator. The post-treatment impact is substantial, but the overall effect on tweet virality is contingent upon the timing of the contextual information's publication. Our research concludes that, although crowdsourced fact-checking is effective, its current speed may not be adequate to substantially reduce the dissemination of misleading information on social media.


title: Residual-Based a Posteriori Error Estimators for Algebraic Stabilizations

abstract: In this note, we extend the analysis for the residual-based a posteriori error estimators in the energy norm defined for the algebraic flux correction (AFC) schemes [Jha20.CAMWA] to the newly proposed algebraic stabilization schemes [JK21.NM, Kn23.NA]. Numerical simulations on adaptively refined grids are performed in two dimensions showing the higher efficiency of an algebraic stabilization with similar accuracy compared with an AFC scheme.


title: Efficient Multi-Vector Dense Retrieval Using Bit Vectors

abstract: Dense retrieval techniques employ pre-trained large language models to build a high-dimensional representation of queries and passages. These representations compute the relevance of a passage w.r.t. to a query using efficient similarity measures. In this line, multi-vector representations show improved effectiveness at the expense of a one-order-of-magnitude increase in memory footprint and query latency by encoding queries and documents on a per-token level. Recently, PLAID has tackled these problems by introducing a centroid-based term representation to reduce the memory impact of multi-vector systems. By exploiting a centroid interaction mechanism, PLAID filters out non-relevant documents, thus reducing the cost of the successive ranking stages. This paper proposes ``Efficient Multi-Vector dense retrieval with Bit vectors'' (EMVB), a novel framework for efficient query processing in multi-vector dense retrieval. First, EMVB employs a highly efficient pre-filtering step of passages using optimized bit vectors. Second, the computation of the centroid interaction happens column-wise, exploiting SIMD instructions, thus reducing its latency. Third, EMVB leverages Product Quantization (PQ) to reduce the memory footprint of storing vector representations while jointly allowing for fast late interaction. Fourth, we introduce a per-document term filtering method that further improves the efficiency of the last step. Experiments on MS MARCO and LoTTE show that EMVB is up to 2.8x faster while reducing the memory footprint by 1.8x with no loss in retrieval accuracy compared to PLAID.


title: The RealHumanEval: Evaluating Large Language Models' Abilities to Support Programmers

abstract: Evaluation of large language models (LLMs) for code has primarily relied on static benchmarks, including HumanEval (Chen et al., 2021), which measure the ability of LLMs to generate complete code that passes unit tests. As LLMs are increasingly used as programmer assistants, we study whether gains on existing benchmarks translate to gains in programmer productivity when coding with LLMs, including time spent coding. In addition to static benchmarks, we investigate the utility of preference metrics that might be used as proxies to measure LLM helpfulness, such as code acceptance or copy rates. To do so, we introduce RealHumanEval, a web interface to measure the ability of LLMs to assist programmers, through either autocomplete or chat support. We conducted a user study (N=213) using RealHumanEval in which users interacted with six LLMs of varying base model performance. Despite static benchmarks not incorporating humans-in-the-loop, we find that improvements in benchmark performance lead to increased programmer productivity; however gaps in benchmark versus human performance are not proportional -- a trend that holds across both forms of LLM support. In contrast, we find that programmer preferences do not correlate with their actual performance, motivating the need for better, human-centric proxy signals. We also open-source RealHumanEval to enable human-centric evaluation of new models and the study data to facilitate efforts to improve code models.


title: An Optimization Framework to Personalize Passive Cardiac Mechanics

abstract: Personalized cardiac mechanics modeling is a powerful tool for understanding the biomechanics of cardiac function in health and disease and assisting in treatment planning. However, current models are limited to using medical images acquired at a single cardiac phase, often limiting their applicability for processing dynamic image acquisitions. This study introduces an inverse finite element analysis (iFEA) framework to estimate the passive mechanical properties of cardiac tissue using time-dependent medical image data. The iFEA framework relies on a novel nested optimization scheme, in which the outer iterations utilize a traditional optimization method to best approximate material parameters that fit image data, while the inner iterations employ an augmented Sellier's algorithm to estimate the stress-free reference configuration. With a focus on characterizing the passive mechanical behavior, the framework employs structurally based anisotropic hyperelastic constitutive models and physiologically relevant boundary conditions to simulate myocardial mechanics. We use a stabilized variational multiscale formulation for solving the governing nonlinear elastodynamics equations, verified for cardiac mechanics applications. The framework is tested in myocardium models of biventricle and left atrium derived from cardiac phase-resolved computed tomographic (CT) images of a healthy subject and three patients with hypertrophic obstructive cardiomyopathy (HOCM). The impact of the choice of optimization methods and other numerical settings, including fiber direction parameters, mesh size, initial parameters for optimization, and perturbations to optimal material parameters, is assessed using a rigorous sensitivity analysis. The performance of the current iFEA is compared against an assumed power-law-based pressure-volume relation, typically used for single-phase image acquisition.


title: Dancing above the abyss: Environmental effects and dark matter signatures in inspirals into massive black holes

abstract: In this dissertation, we look at environmental effects in extreme and intermediate mass ratio inspirals into massive black holes. In these systems, stellar mass compact objects orbit massive black holes and lose orbital energy due to gravitational wave emission and other dissipative forces. We explore environmental interactions with dark matter spikes, stellar distributions, accretion disks, and combine and compare them. We discuss the existence and properties of dark matter spikes in the presence of these environmental effects. The signatures of the environmental effects, such as the phase space flow, dephasing, deshifting of the periapse, and alignment with accretion disks, are examined. These signatures are quantified in isolated spike systems, in dry, and in wet inspirals. We generally find dark matter effects to be subdominant to the other environmental effects, but their impact on the waveform is still observable and identifiable. Lastly, the rates of inspirals and the impact of spikes are estimated. All of these results are obtained with the help of a code imripy that is published alongside. If dark matter spikes exist, they should be observable with space-based gravitational wave observatories


title: The ALMA Legacy survey of Class 0/I disks in Corona australis, Aquila, chaMaeleon, oPhiuchus north, Ophiuchus, Serpens (CAMPOS). I. Evolution of Protostellar disk radii

abstract: We surveyed nearly all the embedded protostars in seven nearby clouds (Corona Australis, Aquila, Chamaeleon I & II, Ophiuchus North, Ophiuchus, Serpens) with the Atacama Large Millimeter/submillimeter Array at 1.3mm observations with a resolution of 0.1". This survey detected 184 protostellar disks, 90 of which were observed at a resolution of 14-18 au, making it one of the most comprehensive high-resolution disk samples across various protostellar evolutionary stages to date. Our key findings include the detection of new annular substructures in two Class I and two Flat-spectrum sources, while 21 embedded protostars exhibit distinct asymmetries or substructures in their disks. We find that protostellar disks have a substantially large variability in their radii across all classes. In particular, the fraction of large disks with sizes above 40 au decreases with the protostellar evolutionary stage. Compiling the literature data, we discovered an increasing trend of the gas disk radii to dust disk radii ratio ($R_{\rm gas,Kep}/R_{\rm mm}$) with increasing bolometric temperature (${\rm T}_{\rm bol}$). Our results indicate that the dust and gas disk radii decouple during the early Class I stage. We find that Class 0 dust disk size resembled the gas disk size, enabling a direct comparison between models and observational data at the earliest stages of protostellar evolution. We show that the distribution of radii in the 52 Class 0 disks in our sample is in high tension with various disk formation models, indicating that protostellar disk formation remains an unsolved question.


abstract: Heterogeneous Graphs (HGs) can effectively model complex relationships in the real world by multi-type nodes and edges. In recent years, inspired by self-supervised learning, contrastive Heterogeneous Graphs Neural Networks (HGNNs) have shown great potential by utilizing data augmentation and contrastive discriminators for downstream tasks. However, data augmentation is still limited due to the graph data's integrity. Furthermore, the contrastive discriminators remain sampling bias and lack local heterogeneous information. To tackle the above limitations, we propose a novel Generative-Enhanced Heterogeneous Graph Contrastive Learning (GHGCL). Specifically, we first propose a heterogeneous graph generative learning enhanced contrastive paradigm. This paradigm includes: 1) A contrastive view augmentation strategy by using a masked autoencoder. 2) Position-aware and semantics-aware positive sample sampling strategy for generating hard negative samples. 3) A hierarchical contrastive learning strategy for capturing local and global information. Furthermore, the hierarchical contrastive learning and sampling strategies aim to constitute an enhanced contrastive discriminator under the generative-contrastive perspective. Finally, we compare our model with seventeen baselines on eight real-world datasets. Our model outperforms the latest contrastive and generative baselines on node classification and link prediction tasks. To reproduce our work, we have open-sourced our code at https://anonymous.4open.science/r/GC-HGNN-E50C.


title: Wideband Beamforming for Near-Field Communications with Circular Arrays

abstract: The beamforming performance of the uniform circular array (UCA) in near-field wideband communication systems is investigated. Compared to uniform linear array (ULA), UCA exhibits uniform effective array aperture in all directions, thus enabling more users to benefit from near-field communications. In this paper, the unique beam squint effect in near-field wideband UCA systems is comprehensively analyzed in both the distance and angular domains. It is rigorously demonstrated that the beam focal point only exists at a specific frequency in wideband UCA systems, resulting in significant beamforming loss. To alleviate this unique beam squint effect, the true-time delay (TTD)-based beamforming architecture is exploited. In particular, two wideband beamforming optimization approaches leveraging TTD units are proposed. 1) Analytical approach: In this approach, the phase shifters (PSs) and the time delay of TTD units are designed based on the analytical formula for beamforming gain. Following this design, the minimum number of TTD units required to achieve a predetermined beamforming gain is quantified. 2) Joint-optimization approach: In this method, the PSs and the TTD units are jointly optimized under practical maximum delay constraints to approximate the optimal unconstrained analog beamformer. Specifically, an efficient alternating optimization algorithm is proposed, where the PSs and the TTD units are alternately updated using either the closed-form solution or the low-complexity linear search approach. Extensive numerical results demonstrate that 1) the proposed beamforming schemes effectively mitigate the beam squint effect, and 2) the joint-optimization approach outperforms the analytical approach in terms of array gain and achievable spectral efficiency.


title: Auxiliary Monge-Amp\`ere Equations in Orbifold Setting -- a Mean-Value Inequality

abstract: In this note, we generalize a mean-value inequality of Guo-Phong-Sturm to the setting of a compact K\"ahler orbifold. This shows that their reasoning is insensitive to quotient singularities. As we aim for a self-contained exposition, we generalize some fundamental results, namely the $\alpha$-invariant estimate by H\"ormander and Tian, an approximation result for the psh-envelope of a $(1,1)$-form in a K\"ahler class by Berman and an $L^\infty$ estimate for this envelope by Guo-Phong-Tong-Wang.


title: GPU-Accelerated RSF Level Set Evolution for Large-Scale Microvascular Segmentation

abstract: Microvascular networks are challenging to model because these structures are currently near the diffraction limit for most advanced three-dimensional imaging modalities, including confocal and light sheet microscopy. This makes semantic segmentation difficult, because individual components of these networks fluctuate within the confines of individual pixels. Level set methods are ideally suited to solve this problem by providing surface and topological constraints on the resulting model, however these active contour techniques are extremely time intensive and impractical for terabyte-scale images. We propose a reformulation and implementation of the region-scalable fitting (RSF) level set model that makes it amenable to three-dimensional evaluation using both single-instruction multiple data (SIMD) and single-program multiple-data (SPMD) parallel processing. This enables evaluation of the level set equation on independent regions of the data set using graphics processing units (GPUs), making large-scale segmentation of high-resolution networks practical and inexpensive. We tested this 3D parallel RSF approach on multiple data sets acquired using state-of-the-art imaging techniques to acquire microvascular data, including micro-CT, light sheet fluorescence microscopy (LSFM) and milling microscopy. To assess the performance and accuracy of the RSF model, we conducted a Monte-Carlo-based validation technique to compare results to other segmentation methods. We also provide a rigorous profiling to show the gains in processing speed leveraging parallel hardware. This study showcases the practical application of the RSF model, emphasizing its utility in the challenging domain of segmenting large-scale high-topology network structures with a particular focus on building microvascular models.


title: Anyonic quantum multipartite maskers in the Kitaev model

abstract: The structure of quantum mechanics forbids a bipartite scenario for masking quantum information, however, it allows multipartite maskers. The Latin squares are found to be closely related to a series of tripartite maskers. This adds another item, significantly different from the original no-cloning theorem, to the no-go theorems. On the other hand, anyonic excitations in two dimensions exhibit exotic collective behaviors of quantum physics, and open the avenue of fault-tolerant topological quantum computing. Here, we give the Latin-square construction of Abelian and Ising anyons %of in the Kitaev model and study the maskable space configuration in anyonic space. The circling and braiding of Kitaev anyons are masking operations on extended hyperdisks in anyonic space. We also realize quantum information masking in a teleportation way in the Kitaev Ising anyon model.


title: First Light and Reionization Epoch Simulations (FLARES) -- XV: The physical properties of super-massive black holes and their impact on galaxies in the early universe

abstract: Understanding the co-evolution of super-massive black holes (SMBHs) and their host galaxies remains a key challenge of extragalactic astrophysics, particularly the earliest stages at high-redshift. However, studying SMBHs at high-redshift with cosmological simulations, is challenging due to the large volumes and high-resolution required. Through its innovative simulation strategy, the First Light And Reionisation Epoch Simulations (FLARES) suite of cosmological hydrodynamical zoom simulations allows us to simulate a much wider range of environments which contain SMBHs with masses extending to $M_{\bullet}>10^{9}\ M_{\odot}$ at $z=5$. In this paper, we use FLARES to study the physical properties of SMBHs and their hosts in the early Universe ($5\le\, z \le10$). FLARES predicts a sharply declining density with increasing redshift, decreasing by a factor of 100 over the range $z=5\to 10$. Comparison between our predicted bolometric luminosity function and pre-\emph{JWST} observations yield a good match. However, recent \emph{JWST} observations appear to suggest a larger contribution of SMBHs than previously observed, or predicted by FLARES. Finally, by using a re-simulation with AGN feedback disabled, we explore the impact of AGN feedback on their host galaxies. This reveals that AGN feedback results in a reduction of star formation activity, even at $z>5$, but only in the most massive galaxies. A deeper analysis reveals that AGN are also the cause of suppressed star formation in passive galaxies but that the presence of an AGN doesn't necessarily result in the suppression of star formation.


title: A Dual Geometric Test for Forward-Flatness

abstract: Forward-flatness is a generalization of static feedback linearizability and a special case of a more general flatness concept for discrete-time systems. Recently, it has been shown that this practically quite relevant property can be checked by computing a unique sequence of involutive distributions which generalizes the well-known static feedback linearization test. In this paper, a dual test for forward-flatness based on a unique sequence of integrable codistributions is derived. Since the main mathematical operations for determining this sequence are the intersection of codistributions and the calculation of Lie derivatives of 1-forms, it is computationally quite efficient. Furthermore, the formulation with codistributions also facilitates a comparison with the existing discrete-time literature regarding the closely related topic of dynamic feedback linearization, which is mostly formulated in terms of 1-forms rather than vector fields. The presented results are illustrated by two examples.


title: A Survey of Optimization-based Task and Motion Planning: From Classical To Learning Approaches

abstract: Task and Motion Planning (TAMP) integrates high-level task planning and low-level motion planning to equip robots with the autonomy to effectively reason over long-horizon, dynamic tasks. Optimization-based TAMP focuses on hybrid optimization approaches that define goal conditions via objective functions and are capable of handling open-ended goals, robotic dynamics, and physical interaction between the robot and the environment. Therefore, optimization-based TAMP is particularly suited to solve highly complex, contact-rich locomotion and manipulation problems. This survey provides a comprehensive review on optimization-based TAMP, covering (i) planning domain representations, including action description languages and temporal logic, (ii) individual solution strategies for components of TAMP, including AI planning and trajectory optimization (TO), and (iii) the dynamic interplay between logic-based task planning and model-based TO. A particular focus of this survey is to highlight the algorithm structures to efficiently solve TAMP, especially hierarchical and distributed approaches. Additionally, the survey emphasizes the synergy between the classical methods and contemporary learning-based innovations such as large language models. Furthermore, the future research directions for TAMP is discussed in this survey, highlighting both algorithmic and application-specific challenges.


title: Thermodynamics and Quasinormal Modes of the Dymnikova Black Hole in Higher Dimensions

abstract: In this study, we investigate the thermodynamic properties and quasinormal modes of Dymnikova black holes within the context of higher dimensions in Einstein's general theory of relativity. We calculate the thermodynamic parameters, including the Hawking temperature and heat capacity, which allowed us to investigate the black hole's stability. Lastly the quasinormal modes with the WKB formula were calculated.


title: Efficient Quantum Circuits for Non-Unitary and Unitary Diagonal Operators with Space-Time-Accuracy trade-offs

abstract: Unitary and non-unitary diagonal operators are fundamental building blocks in quantum algorithms with applications in the resolution of partial differential equations, Hamiltonian simulations, the loading of classical data on quantum computers (quantum state preparation) and many others. In this paper, we introduce a general approach to implement unitary and non-unitary diagonal operators with efficient-adjustable-depth quantum circuits. The depth, i.e., the number of layers of quantum gates of the quantum circuit, is reducible with respect either to the width, i.e, the number of ancilla qubits, or to the accuracy between the implemented operator and the target one. While exact methods have an optimal exponential scaling either in terms of size, i.e., the total number of primitive quantum gates, or width, approximate methods prove to be efficient for the class of diagonal operators depending on smooth, at least differentiable, functions. Our approach is general enough to allow any method for diagonal operators to become adjustable-depth or approximate, decreasing the depth of the circuit by increasing its width or its approximation level. This feature offers flexibility and can match with the hardware limitations in coherence time or cumulative gate error. We illustrate these methods by performing quantum state preparation and non-unitary-real-space simulation of the diffusion equation. This simulation paves the way to efficient implementations of stochastic models useful in physics, chemistry, biology, image processing and finance.


title: Optimal distributed control with stability guarantees by training a network of neural closed-loop maps

abstract: This paper proposes a novel approach to improve the performance of distributed nonlinear control systems while preserving stability by leveraging Deep Neural Networks (DNNs). We build upon the Neural System Level Synthesis (Neur-SLS) framework and introduce a method to parameterize stabilizing control policies that are distributed across a network topology. A distinctive feature is that we iteratively minimize an arbitrary control cost function through an unconstrained optimization algorithm, all while preserving the stability of the overall network architecture by design. This is achieved through two key steps. First, we establish a method to parameterize interconnected Recurrent Equilibrium Networks (RENs) that guarantees a bounded $\mathcal{L}_2$ gain at the network level. This ensures stability. Second, we demonstrate how the information flow within the network is preserved, enabling a fully distributed implementation where each subsystem only communicates with its neighbors. To showcase the effectiveness of our approach, we present a simulation of a distributed formation control problem for a fleet of vehicles. The simulation demonstrates how the proposed neural controller enables the vehicles to maintain a desired formation while navigating obstacles and avoiding collisions, all while guaranteeing network stability.