title: Solution of some tiling open problems of Propp, Lai, and some related results

abstract: In this paper, we present a new version of the second author's factorization theorem for perfect matchings of symmetric graphs. We then use our result to solve four open problems of Propp on the enumeration of trimer tilings on the hexagonal lattice. As another application, we obtain a semi-factorization result for the number of lozenge tilings of a large class of hexagonal regions with holes (obtained by starting with an arbitrary symmetric hexagon with holes, and translating all the holes one unit lattice segment in the same direction). This in turn leads to the solution of two open problems posed by Lai, to an extension of a result due to Fulmek and Krattenthaler, and to exact enumeration formulas for some new families of hexagonal regions with holes. Our result also allows us to find new, simpler proofs (and in one case, a new, simpler form) of some formulas due to Krattenthaler for the number of perfect matchings of Aztec rectangles with unit holes along a lattice diagonal.

categories: math.CO cond-mat.stat-mech math-ph math.MP


title: Mixture of Experts in a Mixture of RL settings

abstract: Mixtures of Experts (MoEs) have gained prominence in (self-)supervised learning due to their enhanced inference efficiency, adaptability to distributed training, and modularity. Previous research has illustrated that MoEs can significantly boost Deep Reinforcement Learning (DRL) performance by expanding the network's parameter count while reducing dormant neurons, thereby enhancing the model's learning capacity and ability to deal with non-stationarity. In this work, we shed more light on MoEs' ability to deal with non-stationarity and investigate MoEs in DRL settings with "amplified" non-stationarity via multi-task training, providing further evidence that MoEs improve learning capacity. In contrast to previous work, our multi-task results allow us to better understand the underlying causes for the beneficial effect of MoE in DRL training, the impact of the various MoE components, and insights into how best to incorporate them in actor-critic-based DRL networks. Finally, we also confirm results from previous work.


title: Neural Network Emulation of Flow in Heavy-Ion Collisions at Intermediate Energies

abstract: Applications of new techniques in machine learning are speeding up progress in research in various fields. In this work, we construct and evaluate a deep neural network (DNN) to be used within a Bayesian statistical framework as a faster and more reliable alternative to the Gaussian Process (GP) emulator of an isospin-dependent Boltzmann-Uehling-Uhlenbeck (IBUU) transport model simulator of heavy-ion reactions at intermediate beam energies. We found strong evidence of DNN being able to emulate the IBUU simulator's prediction on the strengths of protons' directed and elliptical flow very efficiently even with small training datasets and with accuracy about ten times higher than the GP. Limitations of our present work and future improvements are also discussed.


title: Repeat and Concatenate: 2D to 3D Image Translation with 3D to 3D Generative Modeling

abstract: This paper investigates a 2D to 3D image translation method with a straightforward technique, enabling correlated 2D X-ray to 3D CT-like reconstruction. We observe that existing approaches, which integrate information across multiple 2D views in the latent space, lose valuable signal information during latent encoding. Instead, we simply repeat and concatenate the 2D views into higher-channel 3D volumes and approach the 3D reconstruction challenge as a straightforward 3D to 3D generative modeling problem, sidestepping several complex modeling issues. This method enables the reconstructed 3D volume to retain valuable information from the 2D inputs, which are passed between channel states in a Swin UNETR backbone. Our approach applies neural optimal transport, which is fast and stable to train, effectively integrating signal information across multiple views without the requirement for precise alignment; it produces non-collapsed reconstructions that are highly faithful to the 2D views, even after limited training. We demonstrate correlated results, both qualitatively and quantitatively, having trained our model on a single dataset and evaluated its generalization ability across six datasets, including out-of-distribution samples.


title: Graph Neural Networks for Emulation of Finite-Element Ice Dynamics in Greenland and Antarctic Ice Sheets

abstract: Although numerical models provide accurate solutions for ice sheet dynamics based on physics laws, they accompany intensified computational demands to solve partial differential equations. In recent years, convolutional neural networks (CNNs) have been widely used as statistical emulators for those numerical models. However, since CNNs operate on regular grids, they cannot represent the refined meshes and computational efficiency of finite-element numerical models. Therefore, instead of CNNs, this study adopts an equivariant graph convolutional network (EGCN) as an emulator for the ice sheet dynamics modeling. EGCN reproduces ice thickness and velocity changes in the Helheim Glacier, Greenland, and Pine Island Glacier, Antarctica, with 260 times and 44 times faster computation time, respectively. Compared to the traditional CNN and graph convolutional network, EGCN shows outstanding accuracy in thickness prediction near fast ice streams by preserving the equivariance to the translation and rotation of graphs.


title: Upgrading SPHERE with the second stage AO system SAXO+: non-common path aberrations estimation and correction

abstract: SAXO+ is a planned enhancement of the existing SAXO, the VLT/ SPHERE adaptive optics system, deployed on ESO's Very Large Telescope. This upgrade is designed to significantly enhance the instrument's capacity to detect and analyze young Jupiter-like planets. The pivotal addition in SAXO+ is a second-stage adaptive optics system featuring a dedicated near-infrared pyramid wavefront sensor and a second deformable mirror. This secondary stage is strategically integrated to address any residual wavefront errors persisting after the initial correction performed by the current primary AO loop, SAXO. However, several recent studies clearly showed that in good conditions, even in the current system SAXO, non-common path aberrations (NCPAs) are the limiting factor of the final normalized intensity in focal plane, which is the final metric for ground-based high-contrast instruments. This is likely to be even more so the case with the new AO system, with which the AO residuals will be minimized. Several techniques have already been extensively tested on SPHERE in internal source and/or on-sky and will be presented in this paper. However, the use of a new type of sensor for the second stage, a pyramid wavefront sensor, will likely complicate the correction of these aberrations. Using an end-to-end AO simulation tool, we conducted simulations to gauge the effect of measured SPHERE NCPAs in the coronagraphic image on the second loop system and their correction using focal plane wavefront sensing systems. We finally analyzed how the chosen position of SAXO+ in the beam will impact the evolution of the NCPAs in the new instrument.


title: L-Sort: An Efficient Hardware for Real-time Multi-channel Spike Sorting with Localization

abstract: Spike sorting is essential for extracting neuronal information from neural signals and understanding brain function. With the advent of high-density microelectrode arrays (HDMEAs), the challenges and opportunities in multi-channel spike sorting have intensified. Real-time spike sorting is particularly crucial for closed-loop brain computer interface (BCI) applications, demanding efficient hardware implementations. This paper introduces L-Sort, an hardware design for real-time multi-channel spike sorting. Leveraging spike localization techniques, L-Sort achieves efficient spike detection and clustering without the need to store raw signals during detection. By incorporating median thresholding and geometric features, L-Sort demonstrates promising results in terms of accuracy and hardware efficiency. We assessed the detection and clustering accuracy of our design with publicly available datasets recorded using high-density neural probes (Neuropixel). We implemented our design on an FPGA and compared the results with state of the art. Results show that our designs consume less hardware resource comparing with other FPGA-based spike sorting hardware.


title: Fast 3D 31P B1+ mapping with a weighted stack of spiral trajectory at 7 Tesla

abstract: Purpose: Phosphorus Magnetic Resonance Spectroscopy (31P MRS) enables non-invasive assessment of energy metabolism, yet its application is hindered by sensitivity limitations. To overcome this, often high magnetic fields are used, leading to challenges such as spatial B_1^+ inhomogeneity and therefore the need for accurate flip angle determination in accelerated acquisitions with short repetition times (T_R). In response to these challenges, we propose a novel short T_R and look-up table-based Double-Angle Method for fast 3D 31P B_1^+ mapping (fDAM). Methods: Our method incorporates 3D weighted stack of spiral gradient echo acquisitions and a frequency-selective pulse to enable efficient B_1^+ mapping based on the phosphocreatine signal at 7T. Protocols were optimised using simulations and validated through phantom experiments. The method was validated in phantom experiments and skeletal muscle applications using a birdcage 1H/31P volume coil. Results: The results of fDAM were compared to the classical DAM (cDAM). A good correlation (r=0.94) was obtained between the two B_1^+ maps. A 3D 31P B_1^+ mapping in the human calf muscle was achieved in about 10 min using a birdcage volume coil, with a 20% extended coverage relative to that of the cDAM (24 min). fDAM also enabled the first full brain coverage 31P 3D B_1^+ mapping in approx. 10 min using a 1 Tx/ 32 Rx coil. Conclusion: fDAM is an efficient method for 31P 3D B_1^+ mapping, showing promise for future applications in rapid 31P MRSI.


title: Thermodynamics of Viscous Flows on Surfaces

abstract: In this paper, thermodynamics of a moving medium is considered. Main goal of this paper is to describe thermodynamics state equations and equations of co-existence manifolds of media on two- and three-dimensional manifolds. To this end the phase space of a medium is extended with the deformation tensor and the stress tensor.


title: Small volume bodies of constant width with tetrahedral symmetries

abstract: For every $n\ge 2$, we construct a body $U_n$ of constant width $2$ in $\mathbb{E}^n$ with small volume and symmetries of a regular $n$-simplex. $U_2$ is the Reuleaux triangle. To the best of our knowledge, $U_3$ was not previously constructed, and its volume is smaller than the volume of other three-dimensional bodies of constant width with tetrahedral symmetries. While the volume of $U_3$ is slightly larger than the volume of Meissner's bodies of width $2$, it exceeds the latter by less than $0.137\%$. For all large $n$, the volume of $U_n$ is smaller than the volume of the ball of radius $0.891$.


title: Sum-of-Squares Lower Bounds for Independent Set in Ultra-Sparse Random Graphs

abstract: We prove that for every $D \in \N$, and large enough constant $d \in \N$, with high probability over the choice of $G \sim G(n,d/n)$, the \Erdos-\Renyi random graph distribution, the canonical degree $2D$ Sum-of-Squares relaxation fails to certify that the largest independent set in $G$ is of size $o(\frac{n}{\sqrt{d} D^4})$. In particular, degree $D$ sum-of-squares strengthening can reduce the integrality gap of the classical \Lovasz theta SDP relaxation by at most a $O(D^4)$ factor. This is the first lower bound for $>4$-degree Sum-of-Squares (SoS) relaxation for any problems on \emph{ultra sparse} random graphs (i.e. average degree of an absolute constant). Such ultra-sparse graphs were a known barrier for previous methods and explicitly identified as a major open direction (e.g.,~\cite{deshpande2019threshold, kothari2021stressfree}). Indeed, the only other example of an SoS lower bound on ultra-sparse random graphs was a degree-4 lower bound for Max-Cut. Our main technical result is a new method to obtain spectral norm estimates on graph matrices (a class of low-degree matrix-valued polynomials in $G(n,d/n)$) that are accurate to within an absolute constant factor. All prior works lose $\poly log n$ factors that trivialize any lower bound on $o(\log n)$-degree random graphs. We combine these new bounds with several upgrades on the machinery for analyzing lower-bound witnesses constructed by pseudo-calibration so that our analysis does not lose any $\omega(1)$-factors that would trivialize our results. In addition to other SoS lower bounds, we believe that our methods for establishing spectral norm estimates on graph matrices will be useful in the analyses of numerical algorithms on average-case inputs.


title: Facial Image Feature Analysis and its Specialization for Fr\'echet Distance and Neighborhoods

abstract: Assessing distances between images and image datasets is a fundamental task in vision-based research. It is a challenging open problem in the literature and despite the criticism it receives, the most ubiquitous method remains the Fr\'echet Inception Distance. The Inception network is trained on a specific labeled dataset, ImageNet, which has caused the core of its criticism in the most recent research. Improvements were shown by moving to self-supervision learning over ImageNet, leaving the training data domain as an open question. We make that last leap and provide the first analysis on domain-specific feature training and its effects on feature distance, on the widely-researched facial image domain. We provide our findings and insights on this domain specialization for Fr\'echet distance and image neighborhoods, supported by extensive experiments and in-depth user studies.


title: Isospectrally Patterned Aperiodic Lattices

abstract: We design and explore patterned aperiodic lattices consisting of coupled isospectral cells that vary across the lattice. Each resulting band consists of three distinct energy domains with two mobility edges marking the transition from localized to delocalized states and vice versa. The characteristic localization length emerges due to a competition of the involved phase gradient and the coupling between the cells which allows us to understand the localization mechanism and its evolution. The fraction of localized versus delocalized eigenstates can be tuned by changing the gradient between the cells of the lattice. We outline the perspectives of investigation of this novel class of isospectrally patterned aperiodic lattices.


title: Cloud structure and young star distribution in the Dragonfish complex

abstract: One way to shed some light on the star formation process this process is to analyse the relationship between the spatial distributions of gas and newly formed stars. In order to obtain robust results, it is necessary for this comparison to be made using quantitative and consistent descriptors applied to the same star-forming region. Here, we use fractal analysis to characterise and compare in a self-consistent way the structure of the cloud and the distribution of young stellar objects (YSO) in the Dragonfish star-forming complex. We used different emission maps of the Dragonfish Nebula and photometric information from the AllWISE catalogue to select a total of 1082 YSOs in the region, for some of which we derived physical properties from their spectral energy distributions (SEDs). For both datasets (cloud images and YSOs), the three-dimensional fractal dimension (Df) was calculated using previously developed and calibrated algorithms. The fractal dimension of the Dragonfish Nebula (Df = 2.6-2.7) agrees very well with values previously obtained for the Orion, Ophiuchus, and Perseus clouds. On the other hand, YSOs exhibit on average a significantly smaller value (Df = 1.9-2.0) that indicates a much more clumpy structure than the material from which they formed. This is a clear and direct evidence that the clustering degree of the newly born stars is significantly higher than that of the parent cloud from which they formed, but the physical mechanism behind this behaviour is still not clear. Additionally, younger Class I and Class II sources have smaller values (Df = 1.7 +/- 0.1) than more evolved Transition Disk objects (Df = 2.2 +/- 0.1), evidencing a certain evolutionary effect where an initially clumpy structure tends to gradually disappear over time.


title: A Nesterov-style Accelerated Gradient Descent Algorithm for the Symmetric Eigenvalue Problem

abstract: We develop an accelerated gradient descent algorithm on the Grassmann manifold to compute the subspace spanned by a number of leading eigenvectors of a symmetric positive semi-definite matrix. This has a constant cost per iteration and a provable iteration complexity of $\tilde{\mathcal{O}}(1/\sqrt{\delta})$, where $\delta$ is the spectral gap and $\tilde{\mathcal{O}}$ hides logarithmic factors. This improves over the $\tilde{\mathcal{O}}(1/\delta)$ complexity achieved by subspace iteration and standard gradient descent, in cases that the spectral gap is tiny. It also matches the iteration complexity of the Lanczos method that has however a growing cost per iteration. On the theoretical part, we rely on the formulation of Riemannian accelerated gradient descent by [26] and new characterizations of the geodesic convexity of the symmetric eigenvalue problem by [8]. On the empirical part, we test our algorithm in synthetic and real matrices and compare with other popular methods.


title: Relativistic theory of the viscosity of fluids across the entire energy spectrum

abstract: The shear viscosity is a fundamental transport property of matter. Surprisingly, there is no simple analytical theory for the viscosity of relativistic fluids that is able to recover the viscosity of non-relativistic gases as one of its analytical limits. Here we derive a general theory of the viscosity of gases based on the relativistic Langevin equation (deduced from a relativistic Lagrangian) and nonaffine linear response theory. The proposed relativistic theory is able to recover the viscosity of non-relativistic classical gases, with all its key dependencies on mass, temperature, particle diameter and Boltzmann constant, in the limit of Lorentz factor $\gamma=1$. It also unveils the relativistic enhancement of viscosity, which is a fundamental relativistic effect that has been overlooked so far. In the limit of ultrarelativistic fluids, the theory reproduces the cubic increase of viscosity with temperature in agreement with previous estimates for the QGP-type fluid.

categories: hep-ph cond-mat.stat-mech hep-th physics.class-ph physics.plasm-ph


title: Upper Bounds on the Mass of Fundamental Fields from Primordial Universe

abstract: We study the fluctuations in the vacuum zero point energy associated to quantum fields and their statistical distributions during inflation. It is shown that the perturbations in the vacuum zero point energy have large amplitudes which are highly non-Gaussian. The effects of vacuum zero point fluctuations can be interpreted as the loop corrections in primordial power spectrum and bispectrum. Requiring that the primordial curvature perturbation to remain nearly scale-invariant and Gaussian imposes strong upper bounds on the mass of fundamental fields during inflation. We show that the fundamental fields can not be much heavier than the Hubble scale during inflation, otherwise their vacuum zero point fluctuations induce large non-Gaussianities and scale-dependence in primordial perturbations. Considering the observational upper bound on tensor to scalar ratio, we conclude that all fundamental fields are lighter than $10^{14}$ GeV.


title: Diagram categories of Brauer type

abstract: This paper introduces monoidal (super)categories resembling the Brauer category. For all categories, we can construct bases of the hom-spaces using Brauer diagrams. These categories include the Brauer category, its deformation the BWM-category, the periplectic Brauer category, and its deformation the periplectic $q$-Brauer category but also some new exotic categories. We show that the BWM-category is the unique deformation of the Brauer category in this framework, while the periplectic Brauer category has two deformations, which are each other monoidal opposite.


title: Towards odd-sunflowers: temperate families and lightnings

abstract: Motivated by odd-sunflowers, introduced recently by Frankl, Pach, and P{\'a}lv{\"o}lgyi, we initiate the study of temperate families: a family $\mathcal{F} \subseteq \mathcal{P}([n])$ is said to be \emph{temperate} if each $A \in \mathcal{F}$ contains at most $|A|$ elements of $\mathcal{F}$ as a proper subset. We show that the maximum size of a temperate family is attained by the middle two layers of the hypercube $\{0,1\}^n$. As a more general result, we obtain that the middle $t+1$ layers of the hypercube maximise the size of a family $\mathcal{F}$ such that each $A \in \mathcal{F}$ contains at most $\sum_{j=1}^t \binom{|A|}{j}$ elements of $\mathcal{F}$ as a proper subset. Moreover, we classify all such families consisting of the maximum number of sets. In the case of intersecting temperate families, we find the maximum size and classify all intersecting temperate families consisting of the maximum number of sets for odd $n$. We also conjecture the maximum size for even $n$.


title: Geometrical finiteness for automorphism groups via cone conjecture

abstract: This paper aims to establish the geometrical finiteness for the natural isometric actions of (birational) automorphism groups on the hyperbolic spaces for K3 surfaces, Enriques surfaces, Coble surfaces, and irreducible symplectic varieties. As an application, it can be seen that such groups are non-positively curved: ${\rm CAT(0)}$ and relatively hyperbolic. In the case of K3 surfaces, we additionally provide a dynamical characterization of the relative hyperbolicity, and the first counterexample to Mukai's conjecture concerning the virtual cohomological dimension of automorphism groups.


title: Strong, but not weak, noise correlations are beneficial for population coding

abstract: Neural correlations play a critical role in sensory information coding. They are of two kinds: signal correlations, when neurons have overlapping sensitivities, and noise correlations from network effects and shared noise. It is commonly thought that stimulus and noise correlations should have opposite signs to improve coding. However, experiments from early sensory systems and cortex typically show the opposite effect, with many pairs of neurons showing both types of correlations to be positive and large. Here, we develop a theory of information coding by correlated neurons which resolves this paradox. We show that noise correlations are always beneficial if they are strong enough. Extensive tests on retinal recordings under different visual stimuli confirm our predictions. Finally, using neuronal recordings and modeling, we show that for high dimensional stimuli noise correlation benefits the encoding of fine-grained details of visual stimuli, at the expense of large-scale features, which are already well encoded.


title: New intelligent empowerment for digital transformation

abstract: This study proposes an innovative evaluation method based on large language models (LLMs) specifically designed to measure the digital transformation (DT) process of enterprises. By analyzing the annual reports of 4407 companies listed on the New York Stock Exchange and Nasdaq from 2005 to 2022, a comprehensive set of DT indicators was constructed. The findings revealed that DT significantly improves a company's financial performance, however, different digital technologies exhibit varying effects on financial performance. Specifically, blockchain technology has a relatively limited positive impact on financial performance. In addition, this study further discovered that DT can promote the growth of financial performance by enhancing operational efficiency and reducing costs. This study provides a novel DT evaluation tool for the academic community, while also expanding the application scope of generative artificial intelligence technology in economic research.


title: On Approximate 8-bit Floating-Point Operations Using Integer Operations

abstract: In this work, approximate eight-bit floating-point operations performed using simple integer operations is discussed. For two-bit mantissa formats, faithful rounding can always be obtained for the considered operations. For all operations, correctly rounded results can be obtained for different rounding modes, either directly or by adding a conditional carry in. For three-bit mantissa formats, faithful rounding can be sometimes be obtained directly, while for other operations a conditional carry in must be added. Correctly rounded results can be obtained for most operations and rounding modes using slightly more complicated expressions for the carry in. Hardware implementation results for multiplication using both standard cell and FPGA technology are presented illustrating the potential benefit of integer computation. Especially for FPGA, significant resource savings are obtained.


title: Correlation of the L-mode density limit with edge collisionality

abstract: The "density limit" is one of the fundamental bounds on tokamak operating space, and is commonly estimated via the empirical Greenwald scaling. This limit has garnered renewed interest in recent years as it has become clear that ITER and many tokamak pilot plant concepts must operate near or above the widely-used Greenwald limit to achieve their objectives. Evidence has also grown that the Greenwald scaling - in its remarkable simplicity - may not capture the full complexity of the disruptive density limit. In this study, we assemble a multi-machine database to quantify the effectiveness of the Greenwald limit as a predictor of the L-mode density limit and identify alternative stability metrics. We find that a two-parameter dimensionless boundary in the plasma edge, $\nu_{*\rm, edge}^{\rm limit} = 3.0 \beta_{T,{\rm edge}}^{-0.4}$, achieves significantly higher accuracy (true negative rate of 97.7% at a true positive rate of 95%) than the Greenwald limit (true negative rate 86.1% at a true positive rate of 95%) across a multi-machine dataset including metal- and carbon-wall tokamaks (AUG, C-Mod, DIII-D, and TCV). The collisionality boundary presented here can be applied for density limit avoidance in current devices and in ITER, where it can be measured and responded to in real time.


title: Unveiling the Unknown: Conditional Evidence Decoupling for Unknown Rejection

abstract: In this paper, we focus on training an open-set object detector under the condition of scarce training samples, which should distinguish the known and unknown categories. Under this challenging scenario, the decision boundaries of unknowns are difficult to learn and often ambiguous. To mitigate this issue, we develop a novel open-set object detection framework, which delves into conditional evidence decoupling for the unknown rejection. Specifically, we select pseudo-unknown samples by leveraging the discrepancy in attribution gradients between known and unknown classes, alleviating the inadequate unknown distribution coverage of training data. Subsequently, we propose a Conditional Evidence Decoupling Loss (CEDL) based on Evidential Deep Learning (EDL) theory, which decouples known and unknown properties in pseudo-unknown samples to learn distinct knowledge, enhancing separability between knowns and unknowns. Additionally, we propose an Abnormality Calibration Loss (ACL), which serves as a regularization term to adjust the output probability distribution, establishing robust decision boundaries for the unknown rejection. Our method has achieved the superiority performance over previous state-of-the-art approaches, improving the mean recall of unknown class by 7.24% across all shots in VOC10-5-5 dataset settings and 1.38% in VOC-COCO dataset settings. The code is available via https://github.com/zjzwzw/CED-FOOD.


title: Structure-Driven Prediction of Magnetic Order in Uranium Compounds

abstract: The advancement of machine learning technologies has revolutionized the search and optimization of material properties. These algorithms often rely on theoretical calculations, such as density functional theory (DFT), for data inputs and validation, which are not always effective for uranium-based materials due to their strong electron correlations. This study presents a computationally inexpensive machine learning approach, specifically a random forest classifier, to predict the magnetic ground states of uranium compounds using only structural inputs. Our model, trained on a curated dataset of experimentally-verified magnetic orders, achieves a mean accuracy of 60.2%, significantly outperforming random chance. By excluding computationally intensive DFT calculations, our method offers a faster and reliable alternative for discovering new materials with desirable magnetic properties, addressing the challenges posed by strong correlations in quantum materials.


title: An Autotuning-based Optimization Framework for Mixed-kernel SVM Classifications in Smart Pixel Datasets and Heterojunction Transistors

abstract: Support Vector Machine (SVM) is a state-of-the-art classification method widely used in science and engineering due to its high accuracy, its ability to deal with high dimensional data, and its flexibility in modeling diverse sources of data. In this paper, we propose an autotuning-based optimization framework to quantify the ranges of hyperparameters in SVMs to identify their optimal choices, and apply the framework to two SVMs with the mixed-kernel between Sigmoid and Gaussian kernels for smart pixel datasets in high energy physics (HEP) and mixed-kernel heterojunction transistors (MKH). Our experimental results show that the optimal selection of hyperparameters in the SVMs and the kernels greatly varies for different applications and datasets, and choosing their optimal choices is critical for a high classification accuracy of the mixed kernel SVMs. Uninformed choices of hyperparameters C and coef0 in the mixed-kernel SVMs result in severely low accuracy, and the proposed framework effectively quantifies the proper ranges for the hyperparameters in the SVMs to identify their optimal choices to achieve the highest accuracy 94.6\% for the HEP application and the highest average accuracy 97.2\% with far less tuning time for the MKH application.


title: Bergman projection induced by radial weight acting on growth spaces

abstract: Let $\omega$ be a radial weight on the unit disc of the complex plane $\mathbb{D}$ and denote $\omega_x =\int_0^1 s^x \omega(s)\,ds$, $x\ge 0$, for the moments of $\omega$ and $\widehat{\omega}(r)=\int_r^1 \omega(s)\,ds$ for the tail integrals. A radial weight $\omega$ belongs to the class $\widehat{\mathcal{D}}$ if satisfies the upper doubling condition $$\sup_{0<r<1}\frac{\widehat{\omega}(r)}{\widehat{\omega}\left(\frac{1+r}{2}\right)}<\infty.$$ If $\nu$ or $\omega$ belongs to $\widehat{\mathcal{D}}$, it is described the boundedness of the Bergman projection $P_\omega$ induced by $\omega$ on the growth space $L^\infty_{\widehat{\nu}} =\{ f: \|f\|_{\infty,v}={ esssup}_{z\in\mathbb{D}} |f(z)|\widehat{\nu}(z)<\infty\}$ in terms of neat conditions on the moments and/or the tail integrals of $\omega$ and $\nu$. Moreover, it is solved the analogous problem for $P_\omega$ from $L^\infty_{\widehat{\nu}}$ to the Bloch type space $B^\infty_{\widehat{\nu}}$ of analytic functions such that $\sup_{z\in \mathbb{D}}(1-|z|)\widehat{\nu}(z) |f'(z)|<\infty.$ We also study similar questions for exponentially decreasing radial weights.


title: How to Achieve High Spatial Resolution in Organic Optobioelectronic Devices?

abstract: Light activated local stimulation and sensing of biological cells offers enormous potential for minimally invasive bioelectronic interfaces. Organic semiconductors are a promising material class to achieve this kind of transduction due to their optoelectronic properties and biocompatibility. Here we investigate which material properties are necessary to keep the optical excitation localized. This is critical to single cell transduction with high spatial resolution. As a model system we use organic photocapacitors for cell stimulation made of the small molecule semiconductors H2Pc and PTCDI. We investigate the spatial broadening of the localized optical excitation with photovoltage microscopy measurements. Our experimental data combined with modelling show that resolution losses due to the broadening of the excitation are directly related to the effective diffusion length of charge carriers generated at the heterojunction. With additional transient photovoltage measurements we find that the H2Pc/PTCDI heterojunction offers a small diffusion length of lambda = 1.5 +/- 0.1 um due to the small mobility of charge carriers along the heterojunction. Instead covering the heterojunction with a layer of PEDOT:PSS improves the photocapacitor performance but increases the carrier diffusion length to lambda = 7.0 +/- 0.3 um due to longer lifetime and higher carrier mobility. Furthermore, we introduce electrochemical photocurrent microscopy experiments to demonstrate micrometric resolution with the pn-junction under realistic aqueous operation conditions. This work offers valuable insights into the physical mechanisms governing the excitation and transduction profile and provide design principles for future organic semiconductor junctions, aiming to achieve high efficiency and high spatial resolution.


title: On the increase of the melting temperature of water confined in one-dimensional nano-cavities

abstract: Water confined in nanoscale cavities plays a crucial role in everyday phenomena in geology and biology, as well as technological applications at the water-energy nexus. However, even understanding the basic properties of nano-confined water is extremely challenging for theory, simulations, and experiments. In particular, determining the melting temperature of quasi-one-dimensional ice polymorphs confined in carbon nanotubes has proven to be an exceptionally difficult task, with previous experimental and classical simulations approaches report values ranging from $\sim 180 \text{ K}$ up to $\sim 450 \text{ K}$ at ambient pressure. In this work, we use a machine learning potential that delivers first principles accuracy to study the phase diagram of water for confinement diameters $ 9.5 < d < 12.5 \text{ \AA}$. We find that several distinct ice polymorphs melt in a surprisingly narrow range between $\sim 280 \text{ K}$ and $\sim 310 \text{ K}$, with a melting mechanism that depends on the nanotube diameter. These results shed new light on the melting of ice in one-dimension and have implications for the operating conditions of carbon-based filtration and desalination devices.


title: Cascading Large Language Models for Salient Event Graph Generation

abstract: Generating event graphs from long documents is challenging due to the inherent complexity of multiple tasks involved such as detecting events, identifying their relationships, and reconciling unstructured input with structured graphs. Recent studies typically consider all events with equal importance, failing to distinguish salient events crucial for understanding narratives. This paper presents CALLMSAE, a CAscading Large Language Model framework for SAlient Event graph generation, which leverages the capabilities of LLMs and eliminates the need for costly human annotations. We first identify salient events by prompting LLMs to generate summaries, from which salient events are identified. Next, we develop an iterative code refinement prompting strategy to generate event relation graphs, removing hallucinated relations and recovering missing edges. Fine-tuning contextualised graph generation models on the LLM-generated graphs outperforms the models trained on CAEVO-generated data. Experimental results on a human-annotated test set show that the proposed method generates salient and more accurate graphs, outperforming competitive baselines.


title: Preference Elicitation for Offline Reinforcement Learning

abstract: Applying reinforcement learning (RL) to real-world problems is often made challenging by the inability to interact with the environment and the difficulty of designing reward functions. Offline RL addresses the first challenge by considering access to an offline dataset of environment interactions labeled by the reward function. In contrast, Preference-based RL does not assume access to the reward function and learns it from preferences, but typically requires an online interaction with the environment. We bridge the gap between these frameworks by exploring efficient methods for acquiring preference feedback in a fully offline setup. We propose Sim-OPRL, an offline preference-based reinforcement learning algorithm, which leverages a learned environment model to elicit preference feedback on simulated rollouts. Drawing on insights from both the offline RL and the preference-based RL literature, our algorithm employs a pessimistic approach for out-of-distribution data, and an optimistic approach for acquiring informative preferences about the optimal policy. We provide theoretical guarantees regarding the sample complexity of our approach, dependent on how well the offline data covers the optimal policy. Finally, we demonstrate the empirical performance of Sim-OPRL in different environments.


title: Detecting Brittle Decisions for Free: Leveraging Margin Consistency in Deep Robust Classifiers

abstract: Despite extensive research on adversarial training strategies to improve robustness, the decisions of even the most robust deep learning models can still be quite sensitive to imperceptible perturbations, creating serious risks when deploying them for high-stakes real-world applications. While detecting such cases may be critical, evaluating a model's vulnerability at a per-instance level using adversarial attacks is computationally too intensive and unsuitable for real-time deployment scenarios. The input space margin is the exact score to detect non-robust samples and is intractable for deep neural networks. This paper introduces the concept of margin consistency -- a property that links the input space margins and the logit margins in robust models -- for efficient detection of vulnerable samples. First, we establish that margin consistency is a necessary and sufficient condition to use a model's logit margin as a score for identifying non-robust samples. Next, through comprehensive empirical analysis of various robustly trained models on CIFAR10 and CIFAR100 datasets, we show that they indicate strong margin consistency with a strong correlation between their input space margins and the logit margins. Then, we show that we can effectively use the logit margin to confidently detect brittle decisions with such models and accurately estimate robust accuracy on an arbitrarily large test set by estimating the input margins only on a small subset. Finally, we address cases where the model is not sufficiently margin-consistent by learning a pseudo-margin from the feature representation. Our findings highlight the potential of leveraging deep representations to efficiently assess adversarial vulnerability in deployment scenarios.


title: Optimal Multi-Robot Communication-Aware Trajectory Planning by Constraining the Fiedler Value

abstract: The paper present a novel approach for the solution of the Multi-Robot Communication-Aware Trajectory Planning, which builds on a general optimisation framework where the changes in robots positions are used as decision variable, and linear constraints on the trajectories of the robots are introduced to ensure communication performance and collision avoidance. The Fiedler value is adopted as communication performance metric. The validity of the method in computing both feasible and optimal trajectories for the robots is demonstrated both in simulation and experimentally. Results show that the constraint on the Fiedler value ensures that the robot network fulfils its objective while maintaining communication connectivity at all times. Further, the paper shows that the introduction of approximations for the constraints enables a significant improvement in the computational time of the solution, which remain very close to the optimal solution.


title: Towards Human-Level 3D Relative Pose Estimation: Generalizable, Training-Free, with Single Reference

abstract: Humans can easily deduce the relative pose of an unseen object, without label/training, given only a single query-reference image pair. This is arguably achieved by incorporating (i) 3D/2.5D shape perception from a single image, (ii) render-and-compare simulation, and (iii) rich semantic cue awareness to furnish (coarse) reference-query correspondence. Existing methods implement (i) by a 3D CAD model or well-calibrated multiple images and (ii) by training a network on specific objects, which necessitate laborious ground-truth labeling and tedious training, potentially leading to challenges in generalization. Moreover, (iii) was less exploited in the paradigm of (ii), despite that the coarse correspondence from (iii) enhances the compare process by filtering out non-overlapped parts under substantial pose differences/occlusions. Motivated by this, we propose a novel 3D generalizable relative pose estimation method by elaborating (i) with a 2.5D shape from an RGB-D reference, (ii) with an off-the-shelf differentiable renderer, and (iii) with semantic cues from a pretrained model like DINOv2. Specifically, our differentiable renderer takes the 2.5D rotatable mesh textured by the RGB and the semantic maps (obtained by DINOv2 from the RGB input), then renders new RGB and semantic maps (with back-surface culling) under a novel rotated view. The refinement loss comes from comparing the rendered RGB and semantic maps with the query ones, back-propagating the gradients through the differentiable renderer to refine the 3D relative pose. As a result, our method can be readily applied to unseen objects, given only a single RGB-D reference, without label/training. Extensive experiments on LineMOD, LM-O, and YCB-V show that our training-free method significantly outperforms the SOTA supervised methods, especially under the rigorous Acc@5/10/15{\deg} metrics and the challenging cross-dataset settings.


title: From Counting Stations to City-Wide Estimates: Data-Driven Bicycle Volume Extrapolation

abstract: Shifting to cycling in urban areas reduces greenhouse gas emissions and improves public health. Street-level bicycle volume information would aid cities in planning targeted infrastructure improvements to encourage cycling and provide civil society with evidence to advocate for cyclists' needs. Yet, the data currently available to cities and citizens often only comes from sparsely located counting stations. This paper extrapolates bicycle volume beyond these few locations to estimate bicycle volume for the entire city of Berlin. We predict daily and average annual daily street-level bicycle volumes using machine-learning techniques and various public data sources. These include app-based crowdsourced data, infrastructure, bike-sharing, motorized traffic, socioeconomic indicators, weather, and holiday data. Our analysis reveals that the best-performing model is XGBoost, and crowdsourced cycling and infrastructure data are most important for the prediction. We further simulate how collecting short-term counts at predicted locations improves performance. By providing ten days of such sample counts for each predicted location to the model, we are able to halve the error and greatly reduce the variability in performance among predicted locations.


title: System for Measurement of Electric Energy Using Beacons with Optical Sensors and LoRaWAN Transmission

abstract: In this article, we present the results of experiments with finding an efficient radio transmission method for an electric energy measurement system called OneMeter 2.0. This system offers a way of collecting energy usage data from beacons attached to regular, non-smart meters. In our study, we compared several low power wide area network (LPWAN) protocols, out of which we chose the LoRaWAN protocol. We verified the energy consumption of a LoRa-based transmission unit, as well as the transmission range between network nodes in urban conditions. We discovered that LoRaWAN-based transmission was highly energy-efficient and offered decent coverage, even in a difficult, dense urban environment.


title: Boundary Detection Algorithm Inspired by Locally Linear Embedding

abstract: In the study of high-dimensional data, it is often assumed that the data set possesses an underlying lower-dimensional structure. A practical model for this structure is an embedded compact manifold with boundary. Since the underlying manifold structure is typically unknown, identifying boundary points from the data distributed on the manifold is crucial for various applications. In this work, we propose a method for detecting boundary points inspired by the widely used locally linear embedding algorithm. We implement this method using two nearest neighborhood search schemes: the $\epsilon$-radius ball scheme and the $K$-nearest neighbor scheme. This algorithm incorporates the geometric information of the data structure, particularly through its close relation with the local covariance matrix. We discuss the selection the key parameter and analyze the algorithm through our exploration of the spectral properties of the local covariance matrix in both neighborhood search schemes. Furthermore, we demonstrate the algorithm's performance with simulated examples.


title: Costly Signalling in DAOs

abstract: Decentralised Autonomous Organisations (DAOs) are a new type of digital organisation that uses blockchain infrastructure (e.g. smart contracts, tokens) to coordinate a group of people around a shared mission. Like all organisations, DAOs must attract sources of funding and other resources, and discover and retain a talented community and workforce. To do this, they must signal their true quality. Yet the characteristics of the environment that DAOs operate in (pseudonymous actors, global scale, permissionless entry and exit) makes this difficult. We apply costly signalling theory to explore the information asymmetry problem in DAOs and some of the strategies (behaviours and investments) and institutional solutions (including better signalling mechanisms) that have evolved to solve this problem.


title: Scalable tomography of many-body quantum environments with low temporal entanglement

abstract: Describing dynamics of a quantum system coupled to a complex many-body environment is a ubiquitous problem in quantum science. General non-Markovian environments are characterized by their influence matrix~(IM) -- a multi-time tensor arising from repeated interactions between the system and environment. While complexity of the most generic IM grows exponentially with the evolution time, recent works argued that for many instances of physical many-body environments, the IM is significantly less complex. This is thanks to area-law scaling of temporal entanglement, which quantifies the correlations between the past and the future states of the system. However, efficient classical algorithms for computing IM are only available for non-interacting environments or certain interacting 1D environments. Here, we study a learning algorithm for reconstructing IMs of large many-body environments simulated on a quantum processor. This hybrid algorithm involves experimentally collecting quantum measurement results of auxiliary qubits which are repeatedly coupled to the many-body environment, followed by a classical machine-learning construction of a matrix-product (MPS) representation of the IM. Using the example of 1D spin-chain environments, with a classically generated training dataset, we demonstrate that the algorithm allows scalable reconstruction of IMs for long evolution times. The reconstructed IM can be used to efficiently model quantum transport through an impurity, including cases with multiple leads and time-dependent controls. These results indicate the feasibility of characterizing long-time dynamics of complex environments using a limited number of measurements, under the assumption of a moderate temporal entanglement.

categories: quant-ph cond-mat.mes-hall cond-mat.quant-gas cond-mat.str-el


title: DiffuseHigh: Training-free Progressive High-Resolution Image Synthesis through Structure Guidance

abstract: Recent surge in large-scale generative models has spurred the development of vast fields in computer vision. In particular, text-to-image diffusion models have garnered widespread adoption across diverse domain due to their potential for high-fidelity image generation. Nonetheless, existing large-scale diffusion models are confined to generate images of up to 1K resolution, which is far from meeting the demands of contemporary commercial applications. Directly sampling higher-resolution images often yields results marred by artifacts such as object repetition and distorted shapes. Addressing the aforementioned issues typically necessitates training or fine-tuning models on higher resolution datasets. However, this undertaking poses a formidable challenge due to the difficulty in collecting large-scale high-resolution contents and substantial computational resources. While several preceding works have proposed alternatives, they often fail to produce convincing results. In this work, we probe the generative ability of diffusion models at higher resolution beyond its original capability and propose a novel progressive approach that fully utilizes generated low-resolution image to guide the generation of higher resolution image. Our method obviates the need for additional training or fine-tuning which significantly lowers the burden of computational costs. Extensive experiments and results validate the efficiency and efficacy of our method.


title: Role-Play Zero-Shot Prompting with Large Language Models for Open-Domain Human-Machine Conversation

abstract: Recently, various methods have been proposed to create open-domain conversational agents with Large Language Models (LLMs). These models are able to answer user queries, but in a one-way Q&A format rather than a true conversation. Fine-tuning on particular datasets is the usual way to modify their style to increase conversational ability, but this is expensive and usually only available in a few languages. In this study, we explore role-play zero-shot prompting as an efficient and cost-effective solution for open-domain conversation, using capable multilingual LLMs (Beeching et al., 2023) trained to obey instructions. We design a prompting system that, when combined with an instruction-following model - here Vicuna (Chiang et al., 2023) - produces conversational agents that match and even surpass fine-tuned models in human evaluation in French in two different tasks.


title: Broadening the Canonical Picture of EUV-Driven Photoevaporation of Accretion Disks

abstract: Photoevaporation driven by hydrogen-ionizing radiation, also known as extreme-ultraviolet (EUV), profoundly shapes the lives of diverse astrophysical objects. Focusing here mainly on the dispersal of protoplanetary disks, we construct an analytical model accounting for the finite timescales of photoheating and photoionization. The model offers improved estimates for the ionization, temperature, and velocity structures versus distance from the central source, for a given EUV emission rate and spectral hardness. Compared to the classical picture of fully-ionized and isothermal winds with temperatures $\approx 10^4{\rm \,K}$ and speeds $\approx 10{\rm \,km\,s^{-1}}$, our model unveils broader hydrodynamical and thermochemical states of photoevaporative winds. In contrast to the classical picture, T~Tauri stars with EUV luminosities around $10^{30}{\rm \,erg\,s^{-1}}$ have non-isothermal ionized winds at lower temperatures than the classical value if the spectrum is soft, with an average deposited energy per photoionization less than about 3.7\,eV. Conversely, if the spectrum is hard, the winds tend to be atomic and isothermal at most radii in the disk. For lower EUV intensities, even with soft spectra, atomic winds can emerge beyond $\sim 10{\, \rm au}$ through advection. We demonstrate that the analytical model's predictions are in general agreement with detailed radiation-hydrodynamics calculations. The model furthermore illustrates how the energy efficiency of photoevaporation varies with the intensity and spectral hardness of the EUV illumination, as well as addressing discrepancies in the literature around the effectiveness of X-ray photoevaporation. These findings highlight the importance of considering the finite timescales of photoheating and photoionization, both in modeling and in interpreting observational data.


title: GaussianDreamerPro: Text to Manipulable 3D Gaussians with Highly Enhanced Quality

abstract: Recently, 3D Gaussian splatting (3D-GS) has achieved great success in reconstructing and rendering real-world scenes. To transfer the high rendering quality to generation tasks, a series of research works attempt to generate 3D-Gaussian assets from text. However, the generated assets have not achieved the same quality as those in reconstruction tasks. We observe that Gaussians tend to grow without control as the generation process may cause indeterminacy. Aiming at highly enhancing the generation quality, we propose a novel framework named GaussianDreamerPro. The main idea is to bind Gaussians to reasonable geometry, which evolves over the whole generation process. Along different stages of our framework, both the geometry and appearance can be enriched progressively. The final output asset is constructed with 3D Gaussians bound to mesh, which shows significantly enhanced details and quality compared with previous methods. Notably, the generated asset can also be seamlessly integrated into downstream manipulation pipelines, e.g. animation, composition, and simulation etc., greatly promoting its potential in wide applications. Demos are available at https://taoranyi.com/gaussiandreamerpro/.


title: Complexity Aversion

abstract: This paper proposes a model of decision-making under uncertainty in which an agent is constrained in her cognitive ability to consider complex acts. We identify the complexity of an act according to the corresponding partition of state space. The agent ranks acts according to the expected utility net of complexity cost. A key feature of this model is that the agent is able to update her complexity cost function after the arrival of new information. The main result characterizes axiomatically an updating rule for complexity cost function, the Minimal Complexity Aversion representation. According to this rule, the agent measures the complexity cost of an act conditional on the new information by using the cost of another act that gives exactly the same partition of the event but with the lowest ex-ante cost.


title: Bayesian inverse Navier-Stokes problems: joint flow field reconstruction and parameter learning

abstract: We formulate and solve a Bayesian inverse Navier-Stokes (N-S) problem that assimilates velocimetry data in order to jointly reconstruct a 3D flow field and learn the unknown N-S parameters, including the boundary position. By hardwiring a generalised N-S problem, and regularising its unknown parameters using Gaussian prior distributions, we learn the most likely parameters in a collapsed search space. The most likely flow field reconstruction is then the N-S solution that corresponds to the learned parameters. We develop the method in the variational setting and use a stabilised Nitsche weak form of the N-S problem that permits the control of all N-S parameters. To regularise the inferred the geometry, we use a viscous signed distance field (vSDF) as an auxiliary variable, which is given as the solution of a viscous Eikonal boundary value problem. We devise an algorithm that solves this inverse problem, and numerically implement it using an adjoint-consistent stabilised cut-cell finite element method. We then use this method to reconstruct magnetic resonance velocimetry (flow-MRI) data of a 3D steady laminar flow through a physical model of an aortic arch for two different Reynolds numbers and signal-to-noise ratio (SNR) levels (low/high). We find that the method can accurately i) reconstruct the low SNR data by filtering out the noise/artefacts and recovering flow features that are obscured by noise, and ii) reproduce the high SNR data without overfitting. Although the framework that we develop applies to 3D steady laminar flows in complex geometries, it readily extends to time-dependent laminar and Reynolds-averaged turbulent flows, as well as non-Newtonian (e.g. viscoelastic) fluids.


title: Parameterizing the quantification of CMSO: model checking on minor-closed graph classes

abstract: Given a graph $G$ and a vertex set $X$, the annotated treewidth tw$(G,X)$ of $X$ in $G$ is the maximum treewidth of an $X$-rooted minor of $G$, i.e., a minor $H$ where the model of each vertex of $H$ contains some vertex of $X$. That way, tw$(G,X)$ can be seen as a measure of the contribution of $X$ to the tree-decomposability of $G$. We introduce the logic CMSO/tw as the fragment of monadic second-order logic on graphs obtained by restricting set quantification to sets of bounded annotated treewidth. We prove the following Algorithmic Meta-Theorem (AMT): for every non-trivial minor-closed graph class, model checking for CMSO/tw formulas can be done in quadratic time. Our proof works for the more general CMSO/tw+dp logic, that is CMSO/tw enhanced by disjoint-path predicates. Our AMT can be seen as an extension of Courcelle's theorem to minor-closed graph classes where the bounded-treewidth condition in the input graph is replaced by the bounded-treewidth quantification in the formulas. Our results yield, as special cases, all known AMTs whose combinatorial restriction is non-trivial minor-closedness.


title: Equilibria in a Hypercube Spatial Voting Model

abstract: We give conditions for equilibria in the following Voronoi game on the discrete hypercube. Two players position themselves in $\{0,1\}^d$ and each receives payoff equal to the measure (under some probability distribution) of their Voronoi cell (the set of all points which are closer to them than to the other player). This game can be thought of as a discrete analogue of the Hotelling--Downs spatial voting model in which the political spectrum is determined by $d$ binary issues rather than a continuous interval. We observe that if an equilibrium does exist then it must involve the two players co-locating at the majority point (ie the point representing majority opinion on each separate issue). Our main result is that a sufficient condition for an equilibrium is that on each issue the majority option is held by at least $\frac{3}{4}$ of voters. The value $\frac{3}{4}$ can be improved slightly in a way that depends on $d$ and with this improvement the result is best possible. We give similar sufficient conditions for the existence of a local equilibrium. We also analyse the situation where the distribution is a mix of two product measures. We show that either there is an equilibrium or the best response to the majority point is its antipode.


title: Algebraic Connectivity Control and Maintenance in Multi-Agent Networks under Attack

abstract: This paper studies the problem of increasing the connectivity of an ad-hoc peer-to-peer network subject to cyber-attacks targeting the agents in the network. The adopted strategy involves the design of local interaction rules for the agents to locally modify the graph topology by adding and removing links with neighbors. Two distributed protocols are presented to boost the algebraic connectivity of the network graph beyond $k-2\sqrt{k-1}$ where $k\in \mathbb{N}$ is a free design parameter; these two protocols are achieved through the distributed construction of random (approximate) regular graphs. One protocol leverages coordinated actions between pairs of neighboring agents and is mathematically proven to converge to the desired graph topology. The other protocol relies solely on the uncoordinated actions of individual agents and it is validated by a spectral analysis through Monte-Carlo simulations. Numerical simulations offer a comparative analysis with other state-of-the-art algorithms, showing the ability of both proposed protocols to maintain high levels of connectivity despite attacks carried out with full knowledge of the network structure, and highlighting their superior performance.


title: Convergence of Tsirelson convolution systems of probability spaces

abstract: We associate two specific projective systems of probability spaces with any Tsirelson convolution system. If the projective limits of these systems exist, then we call the convolution system convergent and $K$-convergent, respectively. It is shown that convergent convolution systems give rise to continuous products of probability spaces, while $K$-convergent convolution systems lead to flow systems. We investigate the relationship between convergence and $K$-convergence, as well as their connections to two-parameter product systems of Hilbert spaces.


title: Universal Anomaly Detection at the LHC: Transforming Optimal Classifiers and the DDD Method

abstract: In this work, we present a novel approach to transform supervised classifiers into effective unsupervised anomaly detectors. The method we have developed, termed Discriminatory Detection of Distortions (DDD), enhances anomaly detection by training a discriminator model on both original and artificially modified datasets. We conducted a comprehensive evaluation of our models on the Dark Machines Anomaly Score Challenge channels and a search for 4-top quark events, demonstrating the effectiveness of our approach across various final states and beyond the Standard Model scenarios. We compare the performance of the DDD method with the Deep Robust One-Class Classification method (DROCC), which incorporates signals in the training process, and the Deep Support Vector Data Description (DeepSVDD) method, a well established and well performing method for anomaly detection. Results show that the effectiveness of each model varies by signal and channel, with DDD proving to be a very effective anomaly detector. We recommend the combined use of DeepSVDD and DDD for purely unsupervised applications, with the addition of flow models for improved performance when resources allow. Findings suggest that network architectures that excel in supervised contexts, such as the particle transformer with standard model interactions, also perform well as unsupervised anomaly detectors. We also show that with these methods, it is likely possible to recognize 4-top quark production as an anomaly without prior knowledge of the process. We argue that the Large Hadron Collider community can transform supervised classifiers into anomaly detectors to uncover potential new physical phenomena in each search.


title: UniRec: A Dual Enhancement of Uniformity and Frequency in Sequential Recommendations

abstract: Representation learning in sequential recommendation is critical for accurately modeling user interaction patterns and improving recommendation precision. However, existing approaches predominantly emphasize item-to-item transitions, often neglecting the time intervals between interactions, which are closely related to behavior pattern changes. Additionally, broader interaction attributes, such as item frequency, are frequently overlooked. We found that both sequences with more uniform time intervals and items with higher frequency yield better prediction performance. Conversely, non-uniform sequences exacerbate user interest drift and less-frequent items are difficult to model due to sparse sampling, presenting unique challenges inadequately addressed by current methods. In this paper, we propose UniRec, a novel bidirectional enhancement sequential recommendation method. UniRec leverages sequence uniformity and item frequency to enhance performance, particularly improving the representation of non-uniform sequences and less-frequent items. These two branches mutually reinforce each other, driving comprehensive performance optimization in complex sequential recommendation scenarios. Additionally, we present a multidimensional time module to further enhance adaptability. To the best of our knowledge, UniRec is the first method to utilize the characteristics of uniformity and frequency for feature augmentation. Comparing with eleven advanced models across four datasets, we demonstrate that UniRec outperforms SOTA models significantly. The code is available at https://github.com/Linxi000/UniRec.


title: Pareto-Nash Reversion Strategies: Three Period Dynamic Co-operative Signalling with Sticky Efficiency Wages

abstract: In this paper the Nash equilibrium reversion is used as an optimal tool for clearing dynamic prices and wages. The balanced growth path of the efficiency wage and the outcome of repeated household and firm wage bargaining decisions are determined by various exogenous competitive rigidities. A location model is pursued to explore the extent to which a downstream spatial cooperation agreement might affect the price equilibrium. There is also an endogenous hiring function and a knowledge base which is increasing in output, as is the real wage. As the article demonstrates, after accounting for real rigidities in the baseline model the effect of wage growth on household utility through staggered bargaining can be best catered for by adopting a policy of point scoring on the mobility of skilled labour against the models key rigidities. Finally labour mobility is explored. Mobility point scores, which serve to encourage mobility from skilled labour within the model not only increase the knowledge base but also place upward pressure on nominal wage growth.


title: Ground states of a nonlocal variational problem and Thomas-Fermi limit for the Choquard equation

abstract: We study nonnegative optimizers of a Gagliardo-Nirenberg type inequality $$\iint_{\mathbb{R}^N \times \mathbb{R}^N} \frac{|u(x)|^p\,|u(y)|^p}{|x - y|^{N-\alpha}} dx\, dy\le C\Big(\int_{{\mathbb R}^N}|u|^2 dx\Big)^{p\theta} \Big(\int_{{\mathbb R}^N}|u|^q dx\Big)^{2p(1-\theta)/q},$$ that involves the nonlocal Riesz energy with $0<\alpha<N$, $p>\frac{N+\alpha}{N}$, $q>\frac{2Np}{N+\alpha}$ and $\theta=\frac{(N+\alpha)q-2Np}{Np(q-2)}$. For $p=2$, the equivalent problem has been studied in connection with the Keller-Segel diffusion-aggregation models in the past few decades. The general case $p\neq 2$ considered here appears in the study of Thomas-Fermi limit regime for the Choquard equations with local repulsion. We establish optimal ranges of parameters for the validity of the above interpolation inequality, discuss the existence and qualitative properties of the nonnegative maximizers, and in some special cases estimate the optimal constant. For $p=2$ it is known that the maximizers are H\"older continuous and compactly supported on a ball. We show that for $p<2$ the maximizers are smooth functions supported on $\mathbb{R}^N$, while for $p>2$ the maximizers consist of a characteristic function of a ball and a nonconstant nonincreasing H\"older continuous function supported on the same ball. We use these qualitative properties of the maximizers to establish the validity of the Thomas-Fermi approximations for the Choquard equations with local repulsion. The results are verified numerically with extensive examples.


title: Unveiling the connection between the Lyndon factorization and the Canonical Inverse Lyndon factorization via a border property

abstract: The notion of Lyndon word and Lyndon factorization has shown to have unexpected applications in theory as well in developing novel algorithms on words. A counterpart to these notions are those of inverse Lyndon word and inverse Lyndon factorization. Differently from the Lyndon words, the inverse Lyndon words may be bordered. The relationship between the two factorizations is related to the inverse lexicographic ordering, and has only been recently explored. More precisely, a main open question is how to get an inverse Lyndon factorization from a classical Lyndon factorization under the inverse lexicographic ordering, named CFLin. In this paper we reveal a strong connection between these two factorizations where the border plays a relevant role. More precisely, we show two main results. We say that a factorization has the border property if a nonempty border of a factor cannot be a prefix of the next factor. First we show that there exists a unique inverse Lyndon factorization having the border property. Then we show that this unique factorization with the border property is the so-called canonical inverse Lyndon factorization, named ICFL. By showing that ICFL is obtained by compacting factors of the Lyndon factorization over the inverse lexicographic ordering, we provide a linear time algorithm for computing ICFL from CFLin.


title: Near-Term Quantum Spin Simulation of the Spin-$\frac{1}{2}$ Square $J_{1}-J_{2}$ Heisenberg Model

abstract: Simulating complex spin systems, particularly those with high degrees of frustration and entanglement, presents significant challenges. These systems often defy traditional simulation techniques due to their complex energy landscapes and entanglement properties. We focus on the $J_{1}-J_{2}$ Heisenberg model, known for its rich phase behavior on the square lattice. The model serves to study magnetic states, including phases that might be linked to high-temperature superconductivity. We carry out 16-qubit experiments on the 127-qubit IBM Rensselear Eagle processor to perform ground state simulation using the Variational Quantum Eigensolver (VQE) algorithm, enhanced through classical warm-starting. Our results are qualitatively consistent with established theoretical predictions, underscoring the viability of VQE for ground-state estimation in the noisy intermediate-scale quantum (NISQ) era. We utilize existing error mitigation strategies, introduce a novel Classically-Reinforced VQE error mitigation scheme, and compare its performance with the Quantum Moments algorithm. Additionally, we explore an experimental implementation of the Quantum Lanczos (QLanczos) algorithm using Variational-Fast Forwarding (VFF) on a 4 qubit site. Our study demonstrates the capability of near-term quantum devices to both identify trends and predict phase transitions within the $J_1-J_2$ Heisenberg model.


title: Strong wave turbulence in strongly local large $N$ theories

abstract: We study wave turbulence in systems with two special properties: a large number of fields (large $N$) and a nonlinear interaction that is strongly local in momentum space. The first property allows us to find the kinetic equation at all interaction strengths -- both weak and strong, at leading order in $1/N$. The second allows us to turn the kinetic equation -- an integral equation -- into a differential equation. We find stationary solutions for the occupation number as a function of wave number, valid at all scales. As expected, on the weak coupling end the solutions asymptote to Kolmogorov-Zakharov scaling. On the strong coupling end, they asymptote to either the widely conjectured generalized Phillips spectrum (also known as critical balance), or a Kolmogorov-like scaling exponent.

categories: hep-th astro-ph.HE cond-mat.stat-mech physics.flu-dyn


title: Multicarrier ISAC: Advances in Waveform Design, Signal Processing and Learning under Non-Idealities

abstract: This paper addresses the topic of integrated sensing and communications (ISAC) in 5G and emerging 6G wireless networks. ISAC systems operate within shared, congested or even contested spectrum, aiming to deliver high performance in both wireless communications and radio frequency (RF) sensing. The expected benefits include more efficient utilization of spectrum, power, hardware (HW) and antenna resources. Focusing on multicarrier (MC) systems, which represent the most widely used communication waveforms, it explores the co-design and optimization of waveforms alongside multiantenna transceiver signal processing for communications and both monostatic and bistatic sensing applications of ISAC. Moreover, techniques of high practical relevance for overcoming and even harnessing challenges posed by non-idealities in actual transceiver implementations are considered. To operate in highly dynamic radio environments and target scenarios, both model-based structured optimization and learning-based methodologies for ISAC systems are covered, assessing their adaptability and learning capabilities under real-world conditions. The paper presents trade-offs in communication-centric and radar-sensing-centric approaches, aiming for an optimized balance in densely used spectrum.


title: Decidability of Krohn-Rhodes complexity for all finite semigroups and automata

abstract: The Krohn-Rhodes Theorem proves that a finite semigroup divides a wreath product of groups and aperiodic semigroups. Krohn-Rhodes complexity equals the minimal number of groups that are needed. Determining an algorithm to compute complexity has been an open problem for more than 50 years. The main result of this paper proves that it is decidable whether a semigroup has complexity k for any k greater than or equal to 0. This builds on our previous work for complexity 1. In that paper we proved using profinite methods and results on free Burnside semigroups by McCammond and others that the lower bound from a 2012 paper by Henckell, Rhodes and Steinberg is precise for complexity 1. In this paper we define an improved version of the lower bound from the 2012 paper and prove that it is exact for arbitrary complexity.


title: A 3 mm spectral line study of the Central Molecular Zone infrared dark cloud G1.75-0.08

abstract: Infrared dark clouds (IRDCs) are fruitful objects to study the fragmentation of interstellar filaments and initial conditions and early stages of high-mass ($M>8$ M$_{\odot}$) star formation. We used the Yebes 40 m and IRAM 30 m radio telescopes to carry out the first single-pointing spectral line observations towards the IRDC G1.75-0.08, which is a filamentary Central Molecular Zone (CMZ) cloud. Our aim is to reach an improved understanding of the gas kinematics and dynamical state of the cloud and its two clumps that we call clumps A and B. We also aim to determine the fractional abundances of the molecules detected at 3 mm towards G1.75-0.08. We detected HNCO$(J_{K_a,\,K_c}=4_{0,\,4}-3_{0,\,3})$, HCN$(J=1-0)$, and HCO$^+(J=1-0)$ towards both clumps. The N$_2$H$^+(J=1-0)$ line was detected only in clump B, while N$_2$D$^+(J=1-0)$ was not detected at all. The HCN and HNCO spectra exhibit two velocity components. The abundances of the detected species are comparable to those in other IRDCs. An upper limit to the [N$_2$D$^+$]/[N$_2$H$^+$] deuterium fraction of $<0.05$ derived towards clump B is consistent with values observed in many high-mass clumps. The line mass analysis suggests that the G1.75-0.08 filament is subcritical by a factor of $11\pm6$, and the clumps were found to be gravitationally unbound ($\alpha_{\rm vir} > 2$). Our finding that G1.75-0.08 is strongly subcritical is atypical compared to the general population of Galactic filamentary clouds. The cloud's location in the CMZ might affect the cloud kinematics similar to what has been found for the Brick IRDC, and the cloud's dynamical state might also be the result of the turbulent motions or shear and tidal forces in the CMZ. Because the target clumps are dark at 70 $\mu$m and massive (several $10^3$ M$_{\odot}$), they can be considered candidates for being high-mass starless (but not prestellar) clumps.


title: Green/WeakCoupling: Implementation of fully self-consistent finite-temperature many-body perturbation theory for molecules and solids

abstract: The accurate ab initio simulation of molecules and periodic solids with diagrammatic perturbation theory is an important task in quantum chemistry, condensed matter physics, and materials science. In this article, we present the WeakCoupling module of the open-source software package Green, which implements fully self-consistent diagrammatic weak coupling simulations, capable of dealing with real materials in the finite-temperature formalism. The code is licensed under the permissive MIT license. We provide self-consistent GW (scGW) and self-consistent second-order Green's function perturbation theory (GF2) solvers, analysis tools, and post-processing methods. This paper summarizes the theoretical methods implemented and provides background, tutorials and practical instructions for running simulations.


title: Hook length biases for self-conjugate partitions and partitions with distinct odd parts

abstract: We establish a hook length bias between self-conjugate partitions and partitions of distinct odd parts, demonstrating that there are more hooks of fixed length $t \geq 2$ among self-conjugate partitions of $n$ than among partitions of distinct odd parts of $n$ for sufficiently large $n$. More precisely, we derive asymptotic formulas for the total number of hooks of fixed length $t$ in both classes. This resolves a conjecture of Ballantine, Burson, Craig, Folsom, and Wen.


title: Robust Surgical Phase Recognition From Annotation Efficient Supervision

abstract: Surgical phase recognition is a key task in computer-assisted surgery, aiming to automatically identify and categorize the different phases within a surgical procedure. Despite substantial advancements, most current approaches rely on fully supervised training, requiring expensive and time-consuming frame-level annotations. Timestamp supervision has recently emerged as a promising alternative, significantly reducing annotation costs while maintaining competitive performance. However, models trained on timestamp annotations can be negatively impacted by missing phase annotations, leading to a potential drawback in real-world scenarios. In this work, we address this issue by proposing a robust method for surgical phase recognition that can handle missing phase annotations effectively. Furthermore, we introduce the SkipTag@K annotation approach to the surgical domain, enabling a flexible balance between annotation effort and model performance. Our method achieves competitive results on two challenging datasets, demonstrating its efficacy in handling missing phase annotations and its potential for reducing annotation costs. Specifically, we achieve an accuracy of 85.1\% on the MultiBypass140 dataset using only 3 annotated frames per video, showcasing the effectiveness of our method and the potential of the SkipTag@K setup. We perform extensive experiments to validate the robustness of our method and provide valuable insights to guide future research in surgical phase recognition. Our work contributes to the advancement of surgical workflow recognition and paves the way for more efficient and reliable surgical phase recognition systems.


title: Constructing regular saturated formations of finite soluble groups

abstract: For a formation $\mathfrak{F}$ of finite groups consider a graph whose vertices are elements of a finite group and two vertices are connected by an edge if and only if they generates non-$\mathfrak{F}$-group as elements of a group. A hereditary formation $\mathfrak{F}$ is called regular if the set of all isolated vertices of the described graph coincides with the intersection of all maximal $\mathfrak{F}$-subgroups in every group. The constructive description of saturated regular formations of soluble groups which improves the results of Lucchini and Nemmi is obtained in this paper. In particular, it is showed that saturated regular non-empty formations of soluble groups are just hereditary formations $\mathfrak{F}$ of soluble groups that contains every group all whose cyclic primary subgroups are $K$-$\mathfrak{F}$-subnormal. Also we prove that the lattice of saturated regular formations of soluble groups is lattice isomorphic to the Steinitz's lattice.


title: Curvature and Weitzenbock formula for the Podle\'{s} quantum sphere

abstract: We prove that there is a unique Levi-Civita connection on the one-forms of the Dabrowski-Sitarz spectral triple for the Podle\'{s} sphere $S^{2}_{q}$. We compute the full curvature tensor, as well as the Ricci and scalar curvature of the Podle\'{s} sphere using the framework of \cite{MRLC}. The scalar curvature is a constant, and as the parameter $q\to 1$, the scalar curvature converges to the classical value $2$. We prove a generalised Weitzenbock formula for the spinor bundle, which differs from the classical Lichnerowicz formula for $q\neq 1$, yet recovers it for $q\to 1$.


title: An Understanding of Principal Differential Analysis

abstract: In functional data analysis, replicate observations of a smooth functional process and its derivatives offer a unique opportunity to flexibly estimate continuous-time ordinary differential equation models. Ramsay (1996) first proposed to estimate a linear ordinary differential equation from functional data in a technique called Principal Differential Analysis, by formulating a functional regression in which the highest-order derivative of a function is modelled as a time-varying linear combination of its lower-order derivatives. Principal Differential Analysis was introduced as a technique for data reduction and representation, using solutions of the estimated differential equation as a basis to represent the functional data. In this work, we re-formulate PDA as a generative statistical model in which functional observations arise as solutions of a deterministic ODE that is forced by a smooth random error process. This viewpoint defines a flexible class of functional models based on differential equations and leads to an improved understanding and characterisation of the sources of variability in Principal Differential Analysis. It does, however, result in parameter estimates that can be heavily biased under the standard estimation approach of PDA. Therefore, we introduce an iterative bias-reduction algorithm that can be applied to improve parameter estimates. We also examine the utility of our approach when the form of the deterministic part of the differential equation is unknown and possibly non-linear, where Principal Differential Analysis is treated as an approximate model based on time-varying linearisation. We demonstrate our approach on simulated data from linear and non-linear differential equations and on real data from human movement biomechanics. Supplementary R code for this manuscript is available at \url{https://github.com/edwardgunning/UnderstandingOfPDAManuscript}.


title: LoongTrain: Efficient Training of Long-Sequence LLMs with Head-Context Parallelism

abstract: Efficiently training LLMs with long sequences is important yet challenged by the massive computation and memory requirements. Sequence parallelism has been proposed to tackle these problems, but existing methods suffer from scalability or efficiency issues. We propose LoongTrain, a novel system to efficiently train LLMs with long sequences at scale. The core of LoongTrain is the 2D-Attention mechanism, which combines both head-parallel and context-parallel techniques to break the scalability constraints while maintaining efficiency. We introduce Double-Ring-Attention and analyze the performance of device placement strategies to further speed up training. We implement LoongTrain with the hybrid ZeRO and Selective Checkpoint++ techniques. Experiment results show that LoongTrain outperforms state-of-the-art baselines, i.e., DeepSpeed-Ulysses and Megatron Context Parallelism, in both end-to-end training speed and scalability, and improves Model FLOPs Utilization (MFU) by up to 2.88x.


title: White dwarf constraints on geological processes at the population level

abstract: White dwarf atmospheres are frequently polluted by material from their own planetary systems. Absorption features from Ca, Mg, Fe and other elements can provide unique insights into the provenance of this exoplanetary material, with their relative abundances being used to infer accretion of material with core- or mantle-like composition. Across the population of white dwarfs, the distribution of compositions reveals the prevalence of geological and collisional processing across exoplanetary systems. By predicting the distribution of compositions in three evolutionary scenarios, this work assesses whether they can explain current observations. We consider evolution in an asteroid belt analog, in which collisions between planetary bodies that formed an iron core lead to core- or mantle-rich fragments. We also consider layer-by-layer accretion of individual bodies, such that the apparent composition of atmospheric pollution changes during the accretion of a single body. Finally, we consider that compositional spread is due to random noise. We find that the distribution of Ca, Fe and Mg in a sample of 202 cool DZs is consistent with the random noise scenario, although 7 individual systems show strong evidence of core-mantle differentiation from additional elements and/or low noise levels. Future surveys which detect multiple elements in each of a few hundred white dwarfs, with well understood biases, have the potential to confidently distinguish between the three models.


title: 14 New Light Curves and an Updated Ephemeris for the Hot Jupiter HAT-P-54 b

abstract: Here we present an analysis of 14 transit light curves of the hot Jupiter HAT-P-54 b. Thirteen of our datasets were obtained with the 6-inch MicroObservatory telescope, Cecilia, and one was measured with the 61-inch Kuiper Telescope. We used the EXOplanet Transit Interpretation Code (EXOTIC) to reduce 49 datasets in order to update the planet's ephemeris to a mid-transit time of 2460216.95257 +/- 0.00022 BJD_TBD and an updated orbital period of 3.79985363 +/- 0.00000037 days. These results improve the mid-transit uncertainty by 70.27% from the most recent ephemeris update. The updated mid-transit time can help to ensure the efficient use of expensive, large ground- and space-based telescope missions in the future. This result demonstrates that amateur astronomers and citizen scientists can provide meaningful, cost-efficient, crowd-sourcing observations using ground-based telescopes to further refine current mid-transit times and orbital periods.


title: Modeling the amplitude and energy decay of a weakly damped harmonic oscillator using the energy dissipation rate and a simple trick

abstract: We demonstrate how to derive the exponential decrease of amplitude and an excellent approximation of the energy decay of a weakly damped harmonic oscillator. This is achieved using a basic understanding of the undamped harmonic oscillator and the connection between the damping force's power and the energy dissipation rate. The trick is to add the energy dissipation rates corresponding to two specific pairs of initial conditions with the same initial energy. In this way, we obtain a first-order differential equation from which we quickly determine the time-dependent amplitude and the energies corresponding to each pair of considered initial conditions. Comparing the results of our model to the exact solutions and energies yielded an excellent agreement. The physical concepts and mathematical tools we utilize are familiar to first-year undergraduates.


title: Indefinite Causal Structure and Causal Inequalities with Time-Symmetry

abstract: Time-reversal symmetry is a prevalent feature of microscopic physics, including operational quantum theory and classical general relativity. Previous works have studied indefinite causal structure using the language of operational quantum theory, however, these rely on time-asymmetric conditions to constrain both operations and the process matrix. Here, we use time-symmetric, operational probabilistic theory to develop a time-symmetric process matrix formalism for indefinite causal structure. This framework allows for more processes than previously considered and a larger set of causal inequalities. We demonstrate that this larger set of causal inequalities offers new opportunities for device-independent certification of causal non-separability by violating new inequalities. Additionally, we determined that the larger class of time-symmetric processes found here is equivalent to those with Indefinite Causal Order and Time Direction (ICOTD) considered by Chiribella and Liu, thereby providing a description of these processes in terms of process matrices.


title: Parameter selection and optimization of a computational network model of blood flow in single-ventricle patients

abstract: Hypoplastic left heart syndrome (HLHS) is a congenital heart disease responsible for 23% of infant cardiac deaths each year. HLHS patients are born with an underdeveloped left heart, requiring several surgeries to reconstruct the aorta and create a single ventricle circuit known as the Fontan circulation. While survival into early adulthood is becoming more common, Fontan patients suffer from reduced cardiac output, putting them at risk for a multitude of complications. These patients are monitored using chest and neck MRI imaging, but these scans do not capture energy loss, pressure, wave intensity, or hemodynamics beyond the imaged region. This study develops a framework for predicting these missing features by combining imaging data and computational fluid dynamics (CFD) models. Predicted features from models of HLHS patients are compared to those from control patients with a double outlet right ventricle (DORV). We use parameter inference to render the model patient-specific. In the calibrated model, we predict pressure, flow, wave-intensity (WI), and wall shear stress (WSS). Results reveal that HLHS patients have higher vascular stiffness and lower compliance than DORV patients, resulting in lower WSS and higher WI in the ascending aorta and increased WSS and decreased WI in the descending aorta.


title: Enhancing Federated Learning with Adaptive Differential Privacy and Priority-Based Aggregation

abstract: Federated learning (FL), a novel branch of distributed machine learning (ML), develops global models through a private procedure without direct access to local datasets. However, it is still possible to access the model updates (gradient updates of deep neural networks) transferred between clients and servers, potentially revealing sensitive local information to adversaries using model inversion attacks. Differential privacy (DP) offers a promising approach to addressing this issue by adding noise to the parameters. On the other hand, heterogeneities in data structure, storage, communication, and computational capabilities of devices can cause convergence problems and delays in developing the global model. A personalized weighted averaging of local parameters based on the resources of each device can yield a better aggregated model in each round. In this paper, to efficiently preserve privacy, we propose a personalized DP framework that injects noise based on clients' relative impact factors and aggregates parameters while considering heterogeneities and adjusting properties. To fulfill the DP requirements, we first analyze the convergence boundary of the FL algorithm when impact factors are personalized and fixed throughout the learning process. We then further study the convergence property considering time-varying (adaptive) impact factors.


title: Exact and approximate fluxonium array modes

abstract: We present an exact solution for the linearized junction array modes of the superconducting qubit fluxonium in the absence of array disorder. This solution holds for arrays of any length and ground capacitance, and for both differential and grounded devices. Array mode energies are determined by roots of convex combinations of Chebyshev polynomials, and their spatial profiles are plane waves. We also provide a simple, approximate solution, which estimates array mode properties over a wide range of circuit parameters, and an accompanying Mathematica file that implements both the exact and approximate solutions.


title: A weakly monotonic, logically constrained, HORPO-variant

abstract: In this short paper, we present a simple variant of the recursive path ordering, specified for Logically Constrained Simply Typed Rewriting Systems (LCSTRSs). This is a method for curried systems, without lambda but with partially applied function symbols, which can deal with logical constraints. As it is designed for use in the dependency pair framework, it is defined as reduction pair, allowing weak monotonicity.


title: On the effectiveness of the collapse in the Di\'osi-Penrose model

abstract: The possibility that gravity plays a role in the collapse of the quantum wave function has been considered in the literature, and it is of relevance not only because it would provide a solution to the measurement problem in quantum theory, but also because it would give a new and unexpected twist to the search for a unified theory of quantum and gravitational phenomena, possibly overcoming the current impasse. The Di\'osi-Penrose model is the most popular incarnation of this idea. It predicts a progressive breakdown of quantum superpositions when the mass of the system increases; as such, it is susceptible to experimental verification. Current experiments set a lower bound $R_0\gtrsim 4 \times 10^{-10}$ m for the free parameter of the model, excluding some versions of it. In this work we search for an upper bound, coming from the request that the collapse is effective enough to guarantee classicality at the macroscopic scale: we find out that not all macroscopic systems collapse effectively. If one relaxes this request, a reasonable (although to some degree arbitrary) bound is found to be: $R_0\lesssim 10^{-4}$ m. This will serve to better direct future experiments to further test the model.


title: WildGuard: Open One-Stop Moderation Tools for Safety Risks, Jailbreaks, and Refusals of LLMs

abstract: We introduce WildGuard -- an open, light-weight moderation tool for LLM safety that achieves three goals: (1) identifying malicious intent in user prompts, (2) detecting safety risks of model responses, and (3) determining model refusal rate. Together, WildGuard serves the increasing needs for automatic safety moderation and evaluation of LLM interactions, providing a one-stop tool with enhanced accuracy and broad coverage across 13 risk categories. While existing open moderation tools such as Llama-Guard2 score reasonably well in classifying straightforward model interactions, they lag far behind a prompted GPT-4, especially in identifying adversarial jailbreaks and in evaluating models' refusals, a key measure for evaluating safety behaviors in model responses. To address these challenges, we construct WildGuardMix, a large-scale and carefully balanced multi-task safety moderation dataset with 92K labeled examples that cover vanilla (direct) prompts and adversarial jailbreaks, paired with various refusal and compliance responses. WildGuardMix is a combination of WildGuardTrain, the training data of WildGuard, and WildGuardTest, a high-quality human-annotated moderation test set with 5K labeled items covering broad risk scenarios. Through extensive evaluations on WildGuardTest and ten existing public benchmarks, we show that WildGuard establishes state-of-the-art performance in open-source safety moderation across all the three tasks compared to ten strong existing open-source moderation models (e.g., up to 26.4% improvement on refusal detection). Importantly, WildGuard matches and sometimes exceeds GPT-4 performance (e.g., up to 3.9% improvement on prompt harmfulness identification). WildGuard serves as a highly effective safety moderator in an LLM interface, reducing the success rate of jailbreak attacks from 79.8% to 2.4%.


title: $\Lambda_{\rm s}$CDM cosmology: Alleviating major cosmological tensions by predicting standard neutrino properties

abstract: We investigate a two-parameter extension of the $\Lambda_{\rm s}$CDM model by allowing variations in the effective number of neutrino species $N_{\rm eff}$ and their total mass $\sum m_\nu$. Our motivation is twofold: (i) to examine whether $\Lambda_{\rm s}$CDM retains its success in fitting the data and addressing major cosmological tensions, without suggesting a need for a deviation from the standard model of particle physics, and (ii) to determine whether the data indicate new physics that could potentially address cosmological tensions, either in the post-recombination universe through the late-time mirror AdS-dS transition, or in the pre-recombination universe through modifications in the standard values of $N_{\rm eff}$ and $\sum m_\nu$, or both. Within the extended $\Lambda_{\rm s}$CDM model, referred to as $\Lambda_{\rm s}$CDM+$N_{\rm eff}$+$\sum m_{\rm \nu}$, we find no significant tension when considering the Planck-alone analysis. We observe that incorporating BAO data limits the further success of the $\Lambda_{\rm s}$CDM extension. However, the weakly model-dependent BAOtr data, along with Planck and Planck+PP\&SH0ES, favor $H_0\sim 73\,{\rm km\, s^{-1}\, Mpc^{-1}}$. In cases where BAOtr dataset is used, the mirror AdS-dS transition is very effective in providing enhanced $H_0$ values, and thus the model requires no significant deviation from the standard value of $N_{\rm eff} = 3.044$. Both the $H_0$ and $S_8$ tensions are effectively addressed, with some compromise in the case of the Planck+BAO dataset. Finally, the upper bounds obtained on $\sum m_\nu \lesssim 0.5$~eV are fully compatible with neutrino oscillation experiments. Our findings provide evidence that late-time physics beyond $\Lambda$CDM, such as $\Lambda_{\rm s}$CDM, without altering the standard pre-recombination universe, can suffice to alleviate the major cosmological tensions.