title: Small planar hypohamiltonian graphs

abstract: A graph is hypohamiltonian if it is non-Hamiltonian, but the deletion of every single vertex gives a Hamiltonian graph. Until now, the smallest known planar hypohamiltonian graph had 40 vertices, a result due to Jooyandeh, McKay, \"Osterg{\aa}rd, Pettersson, and Zamfirescu. That result is here improved upon by two planar hypohamiltonian graphs on 34 vertices. We exploited a special subgraph contained in two graphs of Jooyandeh et al., and modified it to construct the two 34-vertex graphs and six planar hypohamiltonian graphs on 37 vertices. Each of the 34-vertex graphs has 26 cubic vertices, improving upon the result of Jooyandeh et al. that planar hypohamiltonian graphs have 30 cubic vertices. We use the 34-vertex graphs to construct hypohamiltonian graphs of order 34 with crossing number 1, improving the best-known bound of 36 due to Wiener. Whether there exists a planar hypohamiltonian graph on 41 vertices was an open question. We settled this question by applying an operation introduced by Thomassen to the 37-vertex graphs to obtain several planar hypohamiltonian graphs on 41 vertices. The 25 planar hypohamiltonian graphs on 40 vertices of Jooyandeh et al. have no nontrivial automorphisms. The result is here improved upon by six planar hypohamiltonian graphs on 40 vertices with nontrivial automorphisms.


title: Global solution of 2D hyperbolic liquid crystal system for small initial data

abstract: We prove the global stability of small perturbation near the the constant equilibrium for the two dimensional simplified Ericksen-Leslie's hyperbolic system for incompressible liquid crystal model, where the direction function of liquid crystal molecules satisfies a wave map equation with an acoustical metric. This improves the almost global existence result by Huang-Jiang-Zhao. As byproducts, we obtain the sharp (same as the linear solution) decay estimates for the nonlinear velocity and the nonlinear wave part. Moreover the nonlinear wave part scatters to a linear solution as time goes to infinity. The main novelty of this paper is that we uncover a null structure inside the velocity equation on the Fourier side for the nonlinear interaction between nonlinear heat equation and nonlinear wave equation.


title: Distributed Feedback Optimization of Linear Multi-agent Systems

abstract: Feedback optimization is an increasingly popular control paradigm to optimize dynamical systems, accounting for control objectives that concern the system's operation at steady-state. Existing feedback optimization techniques heavily rely on centralized system and controller architectures, and thus suffer from scalability and privacy issues when systems become large-scale. In this paper, we propose and study a distributed architecture for feedback optimization, in which each agent updates its local control state by combining the average of its neighbors with a local negative-gradient step. Under convexity and smoothness assumptions, we establish convergence of the control method to a fixed point. By reinforcing the assumptions to restricted strong convexity of the cost, we show that our algorithm converges linearly to a neighborhood of the optimal point, where the size of the neighborhood depends on the choice of the stepsize. Simulations corroborate the theoretical results.


title: Morrey-Lorentz estimates for Hodge-type systems

abstract: We prove up to the boundary regularity estimates in Morrey-Lorentz spaces for weak solutions of the linear system of differential forms with regular anisotropic coefficients \begin{equation*} d^{\ast} \left( A d\omega \right) + B^{\intercal}d d^{\ast} \left( B\omega \right) = \lambda B\omega + f \text{ in } \Omega, \end{equation*} with either $ \nu\wedge \omega$ and $\nu\wedge d^{\ast} \left( B\omega \right)$ or $\nu\lrcorner B\omega$ and $\nu\lrcorner \left( A d\omega \right)$ prescribed on $\partial\Omega.$ We derive these estimates from the $L^{p}$ estimates obtained in \cite{Sil_linearregularity} in the spirit of Campanato's method. Unlike Lorentz spaces, Morrey spaces are neither interpolation spaces nor rearrangement invariant. So Morrey estimates can not be obtained directly from the $L^{p}$ estimates using interpolation. We instead adapt an idea of Lieberman \cite{Lieberman_morrey_from_Lp} to our setting to derive the estimates. Applications to Hodge decomposition in Morrey-Lorentz spaces, Gaffney type inequalities and estimates for related systems such as Hodge-Maxwell systems and `div-curl' systems are discussed.


title: FTBC: Forward Temporal Bias Correction for Optimizing ANN-SNN Conversion

abstract: Spiking Neural Networks (SNNs) offer a promising avenue for energy-efficient computing compared with Artificial Neural Networks (ANNs), closely mirroring biological neural processes. However, this potential comes with inherent challenges in directly training SNNs through spatio-temporal backpropagation -- stemming from the temporal dynamics of spiking neurons and their discrete signal processing -- which necessitates alternative ways of training, most notably through ANN-SNN conversion. In this work, we introduce a lightweight Forward Temporal Bias Correction (FTBC) technique, aimed at enhancing conversion accuracy without the computational overhead. We ground our method on provided theoretical findings that through proper temporal bias calibration the expected error of ANN-SNN conversion can be reduced to be zero after each time step. We further propose a heuristic algorithm for finding the temporal bias only in the forward pass, thus eliminating the computational burden of backpropagation and we evaluate our method on CIFAR-10/100 and ImageNet datasets, achieving a notable increase in accuracy on all datasets. Codes are released at a GitHub repository.


title: On the birational geometry of $\mathbf{Q}$-Fano threefolds of large Fano index, I

abstract: We investigate the rationality problem for $\mathbf{Q}$-Fano threefolds of Fano index $\ge 2$.


title: Sails for universal quadratic forms

abstract: We establish a new connection between sails, a key notion in the geometric theory of generalised continued fractions, and arithmetic of totally real number fields, specifically, universal quadratic forms and additively indecomposable integers. Our main application is to biquadratic fields, for which we show that if their signature rank is at least 3, then ranks of universal forms and numbers of indecomposables grow as a power of the discriminant. We also construct a family in which these numbers grow only logarithmically.


title: Bayesian electron density determination from sparse and noisy single-molecule X-ray scattering images

abstract: Single molecule X-ray scattering experiments using free electron lasers hold the potential to resolve both single structures and structural ensembles of biomolecules. However, molecular electron density determination has so far not been achieved due to low photon counts, high noise levels and low hit rates. Most analysis approaches therefore focus on large specimen like entire viruses, which scatter substantially more photons per image, such that it becomes possible to determine the molecular orientation for each image. In contrast, for small specimen like proteins, the molecular orientation cannot be determined for each image, and must be considered random and unknown. Here we developed and tested a rigorous Bayesian approach to overcome these limitations, and also taking into account intensity fluctuations, beam polarization, irregular detector shapes, incoherent scattering and background scattering. We demonstrate using synthetic scattering images that it is possible to determine electron densities of small proteins in this extreme high noise Poisson regime. Tests on published experimental data from the coliphage PR772 achieved the detector-limited resolution of $9\,\mathrm{nm}$, using only $0.01\,\%$ of the available photons per image.


title: Broad-band ellipsometry study of the anisotropic dielectric response of YAlO3

abstract: We present a broad band (THz to UV) ellipsometry study of the anisotropic dielectric response of the orthorhombic perovskite YAlO3. The ellipsometric measurements have been performed on YAlO3 crystals with three different surface cuts and for six high symmetry configurations of the crystal axes with respect to the plane of incidence of the photons. The obtained data are presented in terms of the Mueller Matrix elements N, C, and S and their features are analyzed and discussed with respect to the anisotropy of the dielectric response tensor. In particular, in the infrared range we have identified all 25 infrared active phonon modes that have been predicted from theoretical studies. We also discuss a negative refraction effect that naturally occurs in the vicinity of an anisotropic longitudinal-optical phonon. Moreover, we have determined the temperature dependence of the phonon parameters between 10 and 330 K. The dielectric response above the phonon range, from about 0.1 to 6.5 eV, is shown to be featureless and characteristic of an insulator with a large band gap above 6.5 eV and is well described by anisotropic Cauchy model.


title: Tensor-based Graph Learning with Consistency and Specificity for Multi-view Clustering

abstract: In the context of multi-view clustering, graph learning is recognized as a crucial technique, which generally involves constructing an adaptive neighbor graph based on probabilistic neighbors, and then learning a consensus graph to for clustering. However, they are confronted with two limitations. Firstly, they often rely on Euclidean distance to measure similarity when constructing the adaptive neighbor graph, which proves inadequate in capturing the intrinsic structure among data points in practice. Secondly, most of these methods focus solely on consensus graph, ignoring unique information from each view. Although a few graph-based studies have considered using specific information as well, the modelling approach employed does not exclude the noise impact from the specific component. To this end, we propose a novel tensor-based multi-view graph learning framework that simultaneously considers consistency and specificity, while effectively eliminating the influence of noise. Specifically, we calculate similarity distance on the Stiefel manifold to preserve the intrinsic properties of data. By making an assumption that the learned neighbor graph of each view comprises a consistent part, a specific part, and a noise part, we formulate a new tensor-based target graph learning paradigm for noise-free graph fusion. Owing to the benefits of tensor singular value decomposition (t-SVD) in uncovering high-order correlations, this model is capable of achieving a complete understanding of the target graph. Furthermore, we derive an algorithm to address the optimization problem. Experiments on six datasets have demonstrated the superiority of our method. We have released the source code on https://github.com/lshi91/CSTGL-Code.


title: Vertex corrections to conductivity in the Holstein model: A numerical-analytical study

abstract: The optical-conductivity profile carries information on electronic dynamics in interacting quantum many-body systems. Its computation is a formidable task that is usually approached by invoking the single-particle (bubble) approximation and neglecting the vertex corrections, the importance of which remains elusive even in model Hamiltonian calculations. Here, we combine analytical arguments with our recent breakthroughs in numerically exact and approximate calculations of finite-temperature real-time correlation functions to thoroughly assess the importance of vertex corrections in the one-dimensional Holstein polaron model. We find, both analytically and numerically, vanishing vertex corrections to optical conductivity in the limits of zero electron--phonon interaction, zero electronic bandwidth, and infinite temperature. Furthermore, our numerical results show that vertex corrections to the electron mobility also vanish in many parameter regimes between these limits. In some of these cases, the vertex corrections still introduce important qualitative changes to the optical-conductivity profile in comparison to the bubble approximation even though the self-energy remains approximately local. We trace these changes back to the bubble approximation not fully capturing a time-limited slow-down of the electron on intermediate time scales between ballistic and diffusive transport. We find that the vertex corrections are overall most pronounced for intermediate electron--phonon interaction and may increase or decrease the bubble-approximation mobility depending on the values of model parameters.

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


title: Effective Embedding of Integer Linear Inequalities for Variational Quantum Algorithms

abstract: In variational quantum algorithms, constraints are usually added to the problem objective via penalty terms. For linear inequality constraints, this procedure requires additional slack qubits. Those extra qubits tend to blow up the search space and complicate the parameter landscapes to be navigated by the classical optimizers. In this work, we explore approaches to model linear inequalities for quantum algorithms without these drawbacks. More concretely, our main suggestion is to omit the slack qubits completely and evaluate the inequality classically during parameter tuning. We test our methods on QAOA as well as on Trotterized adiabatic evolution, and present empirical results. As a benchmark problem, we consider different instances of the multi-knapsack problem. Our results show that removing the slack bits from the circuit Hamiltonian and considering them only for the expectation value yields better solution quality than the standard approach. The tests have been carried out using problem sizes up to 26 qubits. Our methods can in principle be applied to any problem with linear inequality constraints, and are suitable for variational as well as digitized versions of adiabatic quantum computing.


title: Asymptotic symmetries from the string worldsheet

abstract: In IIB string theory on AdS$_3$ background with NS-NS fluxes, we show that Brown-Henneaux asymptotic Killing vectors can be derived by requiring both the worldsheet equations of motion and Virasoro constraints are preserved near the asymptotic boundary of the target spacetime. The charges on the worldsheet that generate the corresponding transformations can be written down in both the Lagrangian formalism and Hamiltonian formalism. This provides a method of studying asymptotic symmetry of the target spacetime directly from worldsheet string theories, without using results from the supergravity limit. As an example, we apply this method to flat spacetime in three dimensions and obtain the BMS$_3$ generators on the worldsheet theory.


title: Colour and Brush Stroke Pattern Recognition in Abstract Art using Modified Deep Convolutional Generative Adversarial Networks

abstract: Abstract Art is an immensely popular, discussed form of art that often has the ability to depict the emotions of an artist. Many researchers have made attempts to study abstract art in the form of edge detection, brush stroke and emotion recognition algorithms using machine and deep learning. This papers describes the study of a wide distribution of abstract paintings using Generative Adversarial Neural Networks(GAN). GANs have the ability to learn and reproduce a distribution enabling researchers and scientists to effectively explore and study the generated image space. However, the challenge lies in developing an efficient GAN architecture that overcomes common training pitfalls. This paper addresses this challenge by introducing a modified-DCGAN (mDCGAN) specifically designed for high-quality artwork generation. The approach involves a thorough exploration of the modifications made, delving into the intricate workings of DCGANs, optimisation techniques, and regularisation methods aimed at improving stability and realism in art generation enabling effective study of generated patterns. The proposed mDCGAN incorporates meticulous adjustments in layer configurations and architectural choices, offering tailored solutions to the unique demands of art generation while effectively combating issues like mode collapse and gradient vanishing. Further this paper explores the generated latent space by performing random walks to understand vector relationships between brush strokes and colours in the abstract art space and a statistical analysis of unstable outputs after a certain period of GAN training and compare its significant difference. These findings validate the effectiveness of the proposed approach, emphasising its potential to revolutionise the field of digital art generation and digital art ecosystem.


title: Adaptive Economic Model Predictive Control for linear systems with performance guarantees

abstract: We present a model predictive control (MPC) formulation to directly optimize economic criteria for linear constrained systems subject to disturbances and uncertain model parameters. The proposed formulation combines a certainty equivalent economic MPC with a simple least-squares parameter adaptation. For the resulting adaptive economic MPC scheme, we derive strong asymptotic and transient performance guarantees. We provide a numerical example involving building temperature control and demonstrate performance benefits of online parameter adaptation.


title: Cyclic operads through modules

abstract: We describe a way to compute mapping spaces of cyclic operads through modules. As an application we compute the homotopy automorphism space of the cyclic Batalin-Vilkovisky (Hopf co-)operad.


title: Reweighted Quasi Norm Regularized Low-Rank Factorization for Matrix Robust PCA

abstract: Robust Principal Component Analysis (RPCA) and its associated non-convex relaxation methods constitute a significant component of matrix completion problems, wherein matrix factorization strategies effectively reduce dimensionality and enhance computational speed. However, some non-convex factorization forms lack theoretical guarantees. This paper proposes a novel strategy in non-convex quasi-norm representation, introducing a method to obtain weighted matrix quasi-norm factorization forms. Especially, explicit bilinear factor matrix factorization formulations for the weighted logarithmic norm and weighted Schatten-$q$ quasi norms with $q=1, 1/2, 2/3$ are provided, along with the establishment of corresponding matrix completion models. An Alternating Direction Method of Multipliers (ADMM) framework algorithm is employed for solving, and convergence results of the algorithm are presented.


title: Force generation by a cylindrical cell under stationary osmolytes synthesis

abstract: Turgor is the driving force of plant growth, making possible for roots to overcome soil resistance or for stems to counteract gravity. Maintaining a constant growth rate while avoiding the cell content dilution, which would progressively stop the inward water flux, imposes the production or import of osmolytes in proportion to the increase of volume. We coin this phenomenon stationary osmoregulation. The article explores the quantitative consequences of this hypothesis on the interaction of a cylindrical cell growing axially against an obstacle. An instantaneous axial compression of a pressurized cylindrical cell generates a force and a pressure jump which both decrease toward a lower value once water has flowed out of the cell to reach the water potential equilibrium. In a first part, the article derives analytical formula for these force and over-pressure both before and after relaxation. In a second part, we describe how the coupling of the Lockhart's growth law with the stationary osmoregulation hypothesis predicts a transient slowdown in growth due to contact before a re-acceleration in growth. We finally compare these predictions with the output of an elastic growth model which ignores the osmotic origin of growth: models only match in the early phase of contact for high stiffness obstacle.


title: On Spectrogram Analysis in a Multiple Classifier Fusion Framework for Power Grid Classification Using Electric Network Frequency

abstract: The Electric Network Frequency (ENF) serves as a unique signature inherent to power distribution systems. Here, a novel approach for power grid classification is developed, leveraging ENF. Spectrograms are generated from audio and power recordings across different grids, revealing distinctive ENF patterns that aid in grid classification through a fusion of classifiers. Four traditional machine learning classifiers plus a Convolutional Neural Network (CNN), optimized using Neural Architecture Search, are developed for One-vs-All classification. This process generates numerous predictions per sample, which are then compiled and used to train a shallow multi-label neural network specifically designed to model the fusion process, ultimately leading to the conclusive class prediction for each sample. Experimental findings reveal that both validation and testing accuracy outperform those of current state-of-the-art classifiers, underlining the effectiveness and robustness of the proposed methodology.


title: FoC: Figure out the Cryptographic Functions in Stripped Binaries with LLMs

abstract: Analyzing the behavior of cryptographic functions in stripped binaries is a challenging but essential task. Cryptographic algorithms exhibit greater logical complexity compared to typical code, yet their analysis is unavoidable in areas such as virus analysis and legacy code inspection. Existing methods often rely on data or structural pattern matching, leading to suboptimal generalizability and suffering from manual work. In this paper, we propose a novel framework called FoC to Figure out the Cryptographic functions in stripped binaries. In FoC, we first build a binary large language model (FoCBinLLM) to summarize the semantics of cryptographic functions in natural language. The prediction of FoC-BinLLM is insensitive to minor changes, such as vulnerability patches. To mitigate it, we further build a binary code similarity model (FoC-Sim) upon the FoC-BinLLM to create change-sensitive representations and use it to retrieve similar implementations of unknown cryptographic functions in a database. In addition, we construct a cryptographic binary dataset for evaluation and to facilitate further research in this domain. And an automated method is devised to create semantic labels for extensive binary functions. Evaluation results demonstrate that FoC-BinLLM outperforms ChatGPT by 14.61% on the ROUGE-L score. FoC-Sim outperforms the previous best methods with a 52% higher Recall@1. Furthermore, our method also shows practical ability in virus analysis and 1-day vulnerability detection.


title: Convexity of near-optimal orthogonal-pair-free sets on the unit sphere

abstract: A subset $S$ of the unit sphere $\mathbb{S}^2$ is called orthogonal-pair-free if and only if there do not exist two distinct points $u, v \in S$ at distance $\frac{\pi}{2}$ from each other. Witsenhausen \cite{witsenhausen} asked the following question: {\it What is the least upper bound $\alpha_3$ on the Lesbegue measure of any measurable orthogonal-pair-free subset of $\mathbb{S}^2$?} We prove the following result in this paper: Let $\mathcal{A}$ be the collection of all orthogonal-pair-free sets $S$ such that $S$ consists of a finite number of mutually disjoint convex sets. Then, $\alpha_3 = \limsup_{S \in \mathcal{A}} \mu(S)$. Thus, if the double cap conjecture \cite{kalai1} is not true, there is a set in $\mathcal{A}$ with measure strictly greater than the measure of the double cap.


title: Leveraging Large Language Models for Relevance Judgments in Legal Case Retrieval

abstract: Collecting relevant judgments for legal case retrieval is a challenging and time-consuming task. Accurately judging the relevance between two legal cases requires a considerable effort to read the lengthy text and a high level of domain expertise to extract Legal Facts and make juridical judgments. With the advent of advanced large language models, some recent studies have suggested that it is promising to use LLMs for relevance judgment. Nonetheless, the method of employing a general large language model for reliable relevance judgments in legal case retrieval is yet to be thoroughly explored. To fill this research gap, we devise a novel few-shot workflow tailored to the relevant judgment of legal cases. The proposed workflow breaks down the annotation process into a series of stages, imitating the process employed by human annotators and enabling a flexible integration of expert reasoning to enhance the accuracy of relevance judgments. By comparing the relevance judgments of LLMs and human experts, we empirically show that we can obtain reliable relevance judgments with the proposed workflow. Furthermore, we demonstrate the capacity to augment existing legal case retrieval models through the synthesis of data generated by the large language model.


title: An Image Grid Can Be Worth a Video: Zero-shot Video Question Answering Using a VLM

abstract: Stimulated by the sophisticated reasoning capabilities of recent Large Language Models (LLMs), a variety of strategies for bridging video modality have been devised. A prominent strategy involves Video Language Models (VideoLMs), which train a learnable interface with video data to connect advanced vision encoders with LLMs. Recently, an alternative strategy has surfaced, employing readily available foundation models, such as VideoLMs and LLMs, across multiple stages for modality bridging. In this study, we introduce a simple yet novel strategy where only a single Vision Language Model (VLM) is utilized. Our starting point is the plain insight that a video comprises a series of images, or frames, interwoven with temporal information. The essence of video comprehension lies in adeptly managing the temporal aspects along with the spatial details of each frame. Initially, we transform a video into a single composite image by arranging multiple frames in a grid layout. The resulting single image is termed as an image grid. This format, while maintaining the appearance of a solitary image, effectively retains temporal information within the grid structure. Therefore, the image grid approach enables direct application of a single high-performance VLM without necessitating any video-data training. Our extensive experimental analysis across ten zero-shot video question answering benchmarks, including five open-ended and five multiple-choice benchmarks, reveals that the proposed Image Grid Vision Language Model (IG-VLM) surpasses the existing methods in nine out of ten benchmarks.


title: A Channel-ensemble Approach: Unbiased and Low-variance Pseudo-labels is Critical for Semi-supervised Classification

abstract: Semi-supervised learning (SSL) is a practical challenge in computer vision. Pseudo-label (PL) methods, e.g., FixMatch and FreeMatch, obtain the State Of The Art (SOTA) performances in SSL. These approaches employ a threshold-to-pseudo-label (T2L) process to generate PLs by truncating the confidence scores of unlabeled data predicted by the self-training method. However, self-trained models typically yield biased and high-variance predictions, especially in the scenarios when a little labeled data are supplied. To address this issue, we propose a lightweight channel-based ensemble method to effectively consolidate multiple inferior PLs into the theoretically guaranteed unbiased and low-variance one. Importantly, our approach can be readily extended to any SSL framework, such as FixMatch or FreeMatch. Experimental results demonstrate that our method significantly outperforms state-of-the-art techniques on CIFAR10/100 in terms of effectiveness and efficiency.


title: $J_{eff}$ states in a quasi one dimensional antiferromagnetic spin chain hexagonal Iridates Sr$_3$MIrO$_6$ (M=Mg, Zn, Cd): an $ab-initio$ comparative perspective

abstract: We employ first-principles density-functional theory, to perform a comparative investigation of the effect of the spin-orbit coupling (SOC) on the electronic and magnetic properties of three experimentally synthesized and characterized hexagonal perovskites Sr$_3$MIrO$_6$(M=Mg, Zn, Cd). The electronic structure calculations show that in all the compounds, Ir is the only magnetically active site in +4[5$d^5$] configuration, whereas M$^{+2}$ (M=Cd, Zn, Mg), remains in nonmagnetic states with Cd/Zn and Mg featuring $d^{10}$ and $d^{0}$ electronic configurations, respectively. The insulating gap could be opened by switching on the correlation parameter $U$ for Sr$_3$CdrO$_6$ and Sr$_3$ZnIrO$_6$ which qualifies it to be a correlated Mott insulator. However, in the case of Sr$_3$MgIrO$_6$ both $U$ and antiferromagnetic ordering is not enough and the gap could only be opened by including the SOC which classifies it to fall under the category of a typical SOC Mott insulator. The $j_{eff}$ states are visualized from the orbital projected band structure. The magnetism is studied from the point of view of exchange interactions and magnetocrystalline anisotropy in the presence of the SOC. We also present the comparative analysis of the renormalized impact of SOC on the three compounds, which shows that all the three compounds fall under the $intermediate$ coupling regime, where Sr$_3$MgIrO$_6$ is comparatively closer to the atomic $j_{eff}=\frac{1}{2}$ picture from the others.


title: Effect of Magnetic diffusion in the Chromosphere on the Solar Wind

abstract: We investigate non-ideal magnetohydrodynamical (MHD) effects in the chromosphere on the solar wind by performing MHD simulations for Alfv\'en-wave driven winds with explicitly including Ohmic and ambipolar diffusion. We find that MHD waves are significantly damped in the chromosphere by ambipolar diffusion so that the Alfv\'enic Poynting flux that reaches the corona is substantially reduced. As a result, the coronal temperature and the mass loss rate of the solar wind are considerably reduced, compared with those obtained from an ideal MHD case, which is indicative of a great importance of the non-ideal MHD effects in the solar atmosphere. However, the temperature and the mass loss rate are recovered by a small increase in the convection-originated velocity perturbation at the photosphere because of the sensitive dependence of the ambipolar diffusion and reflection of Alfv\'en waves on the physical properties of the chromosphere. We also find that density perturbations in the corona are reduced by the ambipolar diffusion of Alfv\'en waves in the chromosphere because the nonlinear generation of compressible perturbations is suppressed.


title: Chiral Virasoro algebra from a single wavefunction

abstract: Chiral edges of 2+1D systems can have very robust emergent conformal symmetry. When the edge is purely chiral, the Hilbert space of low-energy edge excitations can form a representation of a single Virasoro algebra. We propose a method to systematically extract the generators of the Virasoro algebra from a single ground state wavefunction, using entanglement bootstrap and an input from the edge conformal field theory. We corroborate our construction by numerically verifying the commutation relations of the generators. We also study the unitary flows generated by these operators, whose properties (such as energy and state overlap) are shown numerically to agree with our analytical predictions.

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


title: The role of hidden-color components in the tetraquark mixing model

abstract: Multiquarks can have two-hadron components and hidden-color components in their wave functions. The presence of two-hadron components in multiquarks introduces a potential source of confusion, particularly with respect to their resemblance to hadronic molecules. On the other hand, hidden-color components are essential for distinguishing between multiquarks and hadronic molecules. In this work, we study the hidden-color components in the wave functions of the tetraquark mixing model, a model that has been proposed as a suitable framework for describing the properties of two nonets in the $J^P=0^+$ channel: the light nonet [$a_0 (980)$, $K_0^* (700)$, $f_0 (500)$, $f_0 (980)$] and the heavy nonet [$a_0 (1450)$, $K_0^* (1430)$, $f_0 (1370)$, $f_0 (1500)$]. Our analysis reveals a substantial presence of hidden-color components within the tetraquark wave functions. To elucidate the impact of hidden-color components on physical quantities, we conduct computations of the hyperfine masses, $\langle V_{CS}\rangle$, for the two nonets, considering scenarios involving only the two-meson components and those incorporating the hidden-color components. We demonstrate that the hidden-color components constitute an important part of the hyperfine masses, such that the mass difference formula, $\Delta M\approx \Delta \langle V_{CS}\rangle$, which has been successful for the two nonets, cannot be achieved without the hidden-color contributions. This can provide another evidence supporting the tetraquark nature of the two nonets.


title: Shear-induced diffusivity in supercooled liquids

abstract: The Taylor-Aris theory of shear diffusion predicts that the effective diffusivity of a tracer molecule in a sheared liquid is enhanced by a term quadratic in the shear rate. In sheared supercooled liquids, instead, the observed enhancement is linear in the shear rate. This is a fundamental observation for the physics of nonequilibrium liquids for which no theory or fundamental understanding is available. We derive a formula for the effective molecular diffusivity in supercooled liquids under shear flow based on the underlying Smoluchowski equation with shear (Smoluchowski diffusion-convection equation) with an energy barrier representing a crowded energy landscape. The obtained formula correctly recovers the effective diffusivity with a correction term linear in the shear rate, in agreement with results from numerical simulations of different liquids as well as with earlier experimental results on shear melting of colloidal glass. The theory predictions are supported by comparisons with molecular simulations of supercooled water and supercooled Lennard-Jones liquids, which confirm that the predicted enhancement of diffusivity is inversely proportional to temperature and directly proportional to the zero shear viscosity.

categories: cond-mat.soft cond-mat.dis-nn cond-mat.mtrl-sci cond-mat.stat-mech


title: HyRRT-Connect: A Bidirectional Rapidly-Exploring Random Trees Motion Planning Algorithm for Hybrid Systems

abstract: This paper proposes a bidirectional rapidly-exploring random trees (RRT) algorithm to solve the motion planning problem for hybrid systems. The proposed algorithm, called HyRRT-Connect, propagates in both forward and backward directions in hybrid time until an overlap between the forward and backward propagation results is detected. Then, HyRRT-Connect constructs a motion plan through the reversal and concatenation of functions defined on hybrid time domains, ensuring the motion plan thoroughly satisfies the given hybrid dynamics. To address the potential discontinuity along the flow caused by tolerating some distance between the forward and backward partial motion plans, we reconstruct the backward partial motion plan by a forward-in-hybrid-time simulation from the final state of the forward partial motion plan. By applying the reversed input of the backward partial motion plan, the reconstruction process effectively eliminates the discontinuity and ensures that as the tolerance distance decreases to zero, the distance between the endpoint of the reconstructed motion plan and the final state set approaches zero. The proposed algorithm is applied to an actuated bouncing ball example and a walking robot example so as to highlight its generality and computational improvement.


title: Approximation of functions of many variables from the generalization Nikol'skii-Besov type classes in the uniform and integral metrics

abstract: We obtain the exact order estimates of the approximation of the functions of many variables from the generalized Nikol'skii-Besov classes $B^{\Omega}_{p,\theta}(\mathbb{R}^d)$ by sums of de la Vallee Poussin type in the metrics space $L_{\infty}(\mathbb{R}^d)$ and $L_{1}(\mathbb{R}^d)$. These classes of functions for some given $\Omega$ coincide with the well-known classical Nikol'skii-Besov isotropic classes.


title: The Topos of Transformer Networks

abstract: The transformer neural network has significantly out-shined all other neural network architectures as the engine behind large language models. We provide a theoretical analysis of the expressivity of the transformer architecture through the lens of topos theory. From this viewpoint, we show that many common neural network architectures, such as the convolutional, recurrent and graph convolutional networks, can be embedded in a pretopos of piecewise-linear functions, but that the transformer necessarily lives in its topos completion. In particular, this suggests that the two network families instantiate different fragments of logic: the former are first order, whereas transformers are higher-order reasoners. Furthermore, we draw parallels with architecture search and gradient descent, integrating our analysis in the framework of cybernetic agents.


title: A Delaunay Refinement Algorithm for the Particle Finite Element Method applied to Free Surface Flows

abstract: This paper proposes two contributions to the calculation of free surface flows using the particle finite element method (PFEM). The PFEM is based on a Lagrangian approach: a set of particles defines the fluid. Then, unlike a pure Lagrangian method, all the particles are connected by a triangular mesh. The difficulty lies in locating the free surface from this mesh. It is a matter of deciding which of the elements in the mesh are part of the fluid domain, and to define a boundary - the free surface. Then, the incompressible Navier-Stokes equations are solved on the fluid domain and the particles' position is updated using the resulting velocity vector. Our first contribution is to propose an approach to adapt the mesh with theoretical guarantees of quality: the mesh generation community has acquired a lot of experience and understanding about mesh adaptation approaches with guarantees of quality on the final mesh. We use here a Delaunay refinement strategy, allowing to insert and remove nodes while gradually improving mesh quality. We show that this allows to create stable and smooth free surface geometries. Our PFEM approach models the topological evolution of one fluid. It is nevertheless necessary to apply conditions on the domain boundaries. When a boundary is a free surface, the flow on the other side is not modelled, it is represented by an external pressure. On the external free surface boundary, atmospheric pressure can be imposed. Nevertheless, there may be internal free surfaces: the fluid can fully encapsulate cavities to form bubbles. The pressure required to maintain the volume of those bubbles is a priori unknown. We propose a multi-point constraint approach to enforce global incompressibility of those empty bubbles. This approach allows to accurately model bubbly flows that involve two fluids with large density differences, while only modelling the heavier fluid.


title: ECNet: Effective Controllable Text-to-Image Diffusion Models

abstract: The conditional text-to-image diffusion models have garnered significant attention in recent years. However, the precision of these models is often compromised mainly for two reasons, ambiguous condition input and inadequate condition guidance over single denoising loss. To address the challenges, we introduce two innovative solutions. Firstly, we propose a Spatial Guidance Injector (SGI) which enhances conditional detail by encoding text inputs with precise annotation information. This method directly tackles the issue of ambiguous control inputs by providing clear, annotated guidance to the model. Secondly, to overcome the issue of limited conditional supervision, we introduce Diffusion Consistency Loss (DCL), which applies supervision on the denoised latent code at any given time step. This encourages consistency between the latent code at each time step and the input signal, thereby enhancing the robustness and accuracy of the output. The combination of SGI and DCL results in our Effective Controllable Network (ECNet), which offers a more accurate controllable end-to-end text-to-image generation framework with a more precise conditioning input and stronger controllable supervision. We validate our approach through extensive experiments on generation under various conditions, such as human body skeletons, facial landmarks, and sketches of general objects. The results consistently demonstrate that our method significantly enhances the controllability and robustness of the generated images, outperforming existing state-of-the-art controllable text-to-image models.


title: Electrolyte effects on the alkaline hydrogen evolution reaction: a mean-field approach

abstract: This paper introduces the combination of an advanced double-layer model with electrochemical kinetics to explain electrolyte effects on the alkaline hydrogen evolution reaction. It is known from experimental studies that the alkaline hydrogen evolution current shows a strong dependence on the concentration and identity of cations in the electrolyte, but is independent of pH. To explain these effects, we formulate the faradaic current in terms of the electric potential in the double layer, which is calculated using a mean-field model that takes into account the cation and anion sizes as well as the electric dipole moment of water molecules. We propose that the Volmer step consists of two activated processes: a water reduction sub-step, and a sub-step in which a hydroxide ion is transferred away from the reaction plane through the double layer. Either of these sub-steps may limit the rate. The proposed models for these sub-steps qualitatively explain experimental observations, including cation effects, pH-independence, and the trend reversal between gold and platinum electrodes. We also assess the quantitative accuracy of the water-reduction-limited current model; we suggest that the predicted functional relationship is valid as long as the hydrogen bonding structure of water near the electrode is sufficiently maintained.


title: Frequency Stable Microwave Sapphire Oscillators

abstract: We show that state-of-the-art phase noise and high frequency stability could be simultaneously achieved in a microwave oscillator based on the sapphire-loaded cavity resonator. The 9 GHz sapphire oscillator was constructed with the SSB phase noise close to -170 dBc/Hz at an offset frequency of 10 kHz and fractional frequency instability less than 2 10$^{-13}$ for integration times from 5 to 50 s. In this work, we focus on the technique for phase-referencing the microwave sapphire oscillator to a stable radio-frequency source. We also discuss the suppression of the fast phase fluctuations of the microwave signal due to its transmission through the high-Q resonator.


title: Bounded islands in dS$_{2}$ multiverse model

abstract: The cosmological event horizons are observer-dependent, which might bring a paradox. As an example, in dS$_{2}$ multiverse model there are entanglement islands in crunching regions encoding the information of regions near future infinity of inflating or Minkowski bubbles, however, for two observers in different bubbles, since their island regions overlap, both observers will be able to get access to the information encoded in the overlapping region, indicating a violation of no-cloning theorem. In this paper, we present a different resolution to this paradox. Based on the Petz $\mathrm{R\acute{e}nyi}$ mutual information, we show that besides the quantum extremal surfaces there might be another boundary for the island in corresponding spacetime so that the island regions are bounded by ``division points" rather than extending to the rest of the entire spacetime. We also discuss the implications of our result.


title: BioMedLM: A 2.7B Parameter Language Model Trained On Biomedical Text

abstract: Models such as GPT-4 and Med-PaLM 2 have demonstrated impressive performance on a wide variety of biomedical NLP tasks. However, these models have hundreds of billions of parameters, are computationally expensive to run, require users to send their input data over the internet, and are trained on unknown data sources. Can smaller, more targeted models compete? To address this question, we build and release BioMedLM, a 2.7 billion parameter GPT-style autoregressive model trained exclusively on PubMed abstracts and full articles. When fine-tuned, BioMedLM can produce strong multiple-choice biomedical question-answering results competitive with much larger models, such as achieving a score of 57.3% on MedMCQA (dev) and 69.0% on the MMLU Medical Genetics exam. BioMedLM can also be fine-tuned to produce useful answers to patient questions on medical topics. This demonstrates that smaller models can potentially serve as transparent, privacy-preserving, economical and environmentally friendly foundations for particular NLP applications, such as in biomedicine. The model is available on the Hugging Face Hub: https://huggingface.co/stanford-crfm/BioMedLM.


title: Feedback Linearizable Discretizations of Second Order Mechanical Systems using Retraction Maps

abstract: Mechanical systems, in nature, are often described by a set of continuous-time, nonlinear, second-order differential equations (SODEs). This has motivated designs of various control laws implemented on digital controllers, consequently requiring numerical discretization schemes. Feedback linearizability of such sampled systems depends on the discretization scheme or map choice. In this article, we utilize retraction maps and their lifts to construct feedback linearizable discretizations for SODEs, which can be applied to various mechanical systems.


title: SemRoDe: Macro Adversarial Training to Learn Representations That are Robust to Word-Level Attacks

abstract: Language models (LMs) are indispensable tools for natural language processing tasks, but their vulnerability to adversarial attacks remains a concern. While current research has explored adversarial training techniques, their improvements to defend against word-level attacks have been limited. In this work, we propose a novel approach called Semantic Robust Defence (SemRoDe), a Macro Adversarial Training strategy to enhance the robustness of LMs. Drawing inspiration from recent studies in the image domain, we investigate and later confirm that in a discrete data setting such as language, adversarial samples generated via word substitutions do indeed belong to an adversarial domain exhibiting a high Wasserstein distance from the base domain. Our method learns a robust representation that bridges these two domains. We hypothesize that if samples were not projected into an adversarial domain, but instead to a domain with minimal shift, it would improve attack robustness. We align the domains by incorporating a new distance-based objective. With this, our model is able to learn more generalized representations by aligning the model's high-level output features and therefore better handling unseen adversarial samples. This method can be generalized across word embeddings, even when they share minimal overlap at both vocabulary and word-substitution levels. To evaluate the effectiveness of our approach, we conduct experiments on BERT and RoBERTa models on three datasets. The results demonstrate promising state-of-the-art robustness.


title: On the existence of a second positive solution to mixed local-nonlocal concave-convex critical problems

abstract: We prove the existence of a second positive weak solution for mixed local-nonlocal critical semilinear elliptic problems with a sublinear perturbation in the spirit of [Ambrosetti, Brezis, Cerami, 1994].


title: U-Sketch: An Efficient Approach for Sketch to Image Diffusion Models

abstract: Diffusion models have demonstrated remarkable performance in text-to-image synthesis, producing realistic and high resolution images that faithfully adhere to the corresponding text-prompts. Despite their great success, they still fall behind in sketch-to-image synthesis tasks, where in addition to text-prompts, the spatial layout of the generated images has to closely follow the outlines of certain reference sketches. Employing an MLP latent edge predictor to guide the spatial layout of the synthesized image by predicting edge maps at each denoising step has been recently proposed. Despite yielding promising results, the pixel-wise operation of the MLP does not take into account the spatial layout as a whole, and demands numerous denoising iterations to produce satisfactory images, leading to time inefficiency. To this end, we introduce U-Sketch, a framework featuring a U-Net type latent edge predictor, which is capable of efficiently capturing both local and global features, as well as spatial correlations between pixels. Moreover, we propose the addition of a sketch simplification network that offers the user the choice of preprocessing and simplifying input sketches for enhanced outputs. The experimental results, corroborated by user feedback, demonstrate that our proposed U-Net latent edge predictor leads to more realistic results, that are better aligned with the spatial outlines of the reference sketches, while drastically reducing the number of required denoising steps and, consequently, the overall execution time.


title: TriviaHG: A Dataset for Automatic Hint Generation from Factoid Questions

abstract: Nowadays, individuals tend to engage in dialogues with Large Language Models, seeking answers to their questions. In times when such answers are readily accessible to anyone, the stimulation and preservation of human's cognitive abilities, as well as the assurance of maintaining good reasoning skills by humans becomes crucial. This study addresses such needs by proposing hints (instead of final answers or before giving answers) as a viable solution. We introduce a framework for the automatic hint generation for factoid questions, employing it to construct TriviaHG, a novel large-scale dataset featuring 160,230 hints corresponding to 16,645 questions from the TriviaQA dataset. Additionally, we present an automatic evaluation method that measures the Convergence and Familiarity quality attributes of hints. To evaluate the TriviaHG dataset and the proposed evaluation method, we enlisted 10 individuals to annotate 2,791 hints and tasked 6 humans with answering questions using the provided hints. The effectiveness of hints varied, with success rates of 96%, 78%, and 36% for questions with easy, medium, and hard answers, respectively. Moreover, the proposed automatic evaluation methods showed a robust correlation with annotators' results. Conclusively, the findings highlight three key insights: the facilitative role of hints in resolving unknown questions, the dependence of hint quality on answer difficulty, and the feasibility of employing automatic evaluation methods for hint assessment.


title: Noise Suppression with Cryogenic Resonators

abstract: We show that fast technical fluctuations of microwave signals can be strongly suppressed by cryogenic resonators. The experiments were carried out with sapphire resonators cooled to approximately 6 K at frequencies around 11 GHz. Each sapphire crystal was shaped like a spindle with the rotational and crystal axes aligned within a degree. Noise suppression factors in excess of 50 dB were measured at 10 kHz offset from the carrier. This was achieved by rotating the sapphire spindle and moving the coupling probes relative to its surface. Microwave signals with reduced fast technical fluctuations allow the high-precision tests of fundamental physics, as well as the development of better radars.


title: Fermion integrals for finite spectral triples

abstract: Fermion functional integrals are calculated for the Dirac operator of a finite real spectral triple. Complex, real and chiral functional integrals are considered for each KO-dimension where they are non-trivial, and phase ambiguities in the definition are noted.


title: Reinforcement learning for graph theory, I. Reimplementation of Wagner's approach

abstract: We reimplement here the recent approach of Adam Zsolt Wagner [arXiv:2104.14516], which applies reinforcement learning to construct (counter)examples in graph theory, in order to make it more readable, more stable and much faster. The presented concepts are illustrated by constructing counterexamples for a number of published conjectured bounds for the Laplacian spectral radius of graphs.


title: Exploring language relations through syntactic distances and geographic proximity

abstract: Languages are grouped into families that share common linguistic traits. While this approach has been successful in understanding genetic relations between diverse languages, more analyses are needed to accurately quantify their relatedness, especially in less studied linguistic levels such as syntax. Here, we explore linguistic distances using series of parts of speech (POS) extracted from the Universal Dependencies dataset. Within an information-theoretic framework, we show that employing POS trigrams maximizes the possibility of capturing syntactic variations while being at the same time compatible with the amount of available data. Linguistic connections are then established by assessing pairwise distances based on the POS distributions. Intriguingly, our analysis reveals definite clusters that correspond to well known language families and groups, with exceptions explained by distinct morphological typologies. Furthermore, we obtain a significant correlation between language similarity and geographic distance, which underscores the influence of spatial proximity on language kinships.

categories: cs.CL physics.data-an physics.soc-ph stat.AP


title: $l^2$ decoupling theorem for surfaces in $\mathbb{R}^3$

abstract: We identify a new way to divide the $\delta$-neighborhood of surfaces $\mathcal{M}\subset\mathbb{R}^3$ into a finitely-overlapping collection of rectangular boxes $S$. We obtain a sharp $(l^2,L^p)$ decoupling estimate using this decomposition, for the sharp range of exponents $2\leq p\leq 4$. Our decoupling inequality leads to new exponential sum estimates where the frequencies lie on surfaces which do not contain a line.


title: Poisson Regression in one Covariate on Massive Data

abstract: The goal of subsampling is to select an informative subset of all observations, when using the full data for statistical analysis is not viable. We construct locally $ D $-optimal subsampling designs under a Poisson regression model with a log link in one covariate. A Representation of the support of locally $ D $-optimal subsampling designs is established. We make statements on scale-location transformations of the covariate that require a simultaneous transformation of the regression parameter. The performance of the methods is demonstrated by illustrating examples. To show the advantage of the optimal subsampling designs, we examine the efficiency of uniform random subsampling as well as of two heuristic designs. Further, the efficiency of locally $ D $-optimal subsampling designs is studied when the parameter is misspecified.


title: iFace: Hand-Over-Face Gesture Recognition Leveraging Impedance Sensing

abstract: Hand-over-face gestures can provide important implicit interactions during conversations, such as frustration or excitement. However, in situations where interlocutors are not visible, such as phone calls or textual communication, the potential meaning contained in the hand-over-face gestures is lost. In this work, we present iFace, an unobtrusive, wearable impedance-sensing solution for recognizing different hand-over-face gestures. In contrast to most existing works, iFace does not require the placement of sensors on the user's face or hands. Instead, we proposed a novel sensing configuration, the shoulders, which remains invisible to both the user and outside observers. The system can monitor the shoulder-to-shoulder impedance variation caused by gestures through electrodes attached to each shoulder. We evaluated iFace in a user study with eight participants, collecting six kinds of hand-over-face gestures with different meanings. Using a convolutional neural network and a user-dependent classification, iFace reaches 82.58 \% macro F1 score. We discuss potential application scenarios of iFace as an implicit interaction interface.


title: On perspective Abelian groups

abstract: As a special case of perspective R-modules, an Abelian goup is called perspective if isomorphic summands have a common complement. In this paper we describe many classes of such groups.


title: DELTA: Pre-train a Discriminative Encoder for Legal Case Retrieval via Structural Word Alignment

abstract: Recent research demonstrates the effectiveness of using pre-trained language models for legal case retrieval. Most of the existing works focus on improving the representation ability for the contextualized embedding of the [CLS] token and calculate relevance using textual semantic similarity. However, in the legal domain, textual semantic similarity does not always imply that the cases are relevant enough. Instead, relevance in legal cases primarily depends on the similarity of key facts that impact the final judgment. Without proper treatments, the discriminative ability of learned representations could be limited since legal cases are lengthy and contain numerous non-key facts. To this end, we introduce DELTA, a discriminative model designed for legal case retrieval. The basic idea involves pinpointing key facts in legal cases and pulling the contextualized embedding of the [CLS] token closer to the key facts while pushing away from the non-key facts, which can warm up the case embedding space in an unsupervised manner. To be specific, this study brings the word alignment mechanism to the contextual masked auto-encoder. First, we leverage shallow decoders to create information bottlenecks, aiming to enhance the representation ability. Second, we employ the deep decoder to enable translation between different structures, with the goal of pinpointing key facts to enhance discriminative ability. Comprehensive experiments conducted on publicly available legal benchmarks show that our approach can outperform existing state-of-the-art methods in legal case retrieval. It provides a new perspective on the in-depth understanding and processing of legal case documents.


title: Collaborative Active Learning in Conditional Trust Environment

abstract: In this paper, we investigate collaborative active learning, a paradigm in which multiple collaborators explore a new domain by leveraging their combined machine learning capabilities without disclosing their existing data and models. Instead, the collaborators share prediction results from the new domain and newly acquired labels. This collaboration offers several advantages: (a) it addresses privacy and security concerns by eliminating the need for direct model and data disclosure; (b) it enables the use of different data sources and insights without direct data exchange; and (c) it promotes cost-effectiveness and resource efficiency through shared labeling costs. To realize these benefits, we introduce a collaborative active learning framework designed to fulfill the aforementioned objectives. We validate the effectiveness of the proposed framework through simulations. The results demonstrate that collaboration leads to higher AUC scores compared to independent efforts, highlighting the framework's ability to overcome the limitations of individual models. These findings support the use of collaborative approaches in active learning, emphasizing their potential to enhance outcomes through collective expertise and shared resources. Our work provides a foundation for further research on collaborative active learning and its practical applications in various domains where data privacy, cost efficiency, and model performance are critical considerations.


title: Coherent Collections of Rules Describing Exceptional Materials Identified with a Multi-Objective Optimization of Subgroups

abstract: Using a modest amount of data from a large population, subgroup discovery (SGD) identifies outstanding subsets of data with respect to a certain property of interest of that population. The SGs are described by "rules". These are constraints on key descriptive parameters that characterize the material or the environment. These parameters and constraints are obtained by maximizing a quality function that establishes a tradeoff between SG size and utility, i.e., between generality and exceptionality. The utility function measures how outstanding a SG is. However, this approach does not give a unique solution, but typically many SGs have similar quality-function values. Here, we identify coherent collections of SGs of a "Pareto region" presenting various size-utility tradeoffs and define a SG similarity measure based on the Jaccard index, which allows us to hierarchically cluster these optimal SGs. These concepts are demonstrated by learning rules that describe perovskites with high bulk modulus. We show that SGs focusing on exceptional materials exhibit a high quality-function value but do not necessarily maximize it. We compare the mean shift with the cumulative Jensen-Shannon divergence ($D_{sJS}$) as utility functions and show that the SG rules obtained with $D_{cJS}$ are more focused than those obtained with the mean shift.


title: Global Vegetation Modeling with Pre-Trained Weather Transformers

abstract: Accurate vegetation models can produce further insights into the complex interaction between vegetation activity and ecosystem processes. Previous research has established that long-term trends and short-term variability of temperature and precipitation affect vegetation activity. Motivated by the recent success of Transformer-based Deep Learning models for medium-range weather forecasting, we adapt the publicly available pre-trained FourCastNet to model vegetation activity while accounting for the short-term dynamics of climate variability. We investigate how the learned global representation of the atmosphere's state can be transferred to model the normalized difference vegetation index (NDVI). Our model globally estimates vegetation activity at a resolution of \SI{0.25}{\degree} while relying only on meteorological data. We demonstrate that leveraging pre-trained weather models improves the NDVI estimates compared to learning an NDVI model from scratch. Additionally, we compare our results to other recent data-driven NDVI modeling approaches from machine learning and ecology literature. We further provide experimental evidence on how much data and training time is necessary to turn FourCastNet into an effective vegetation model. Code and models will be made available upon publication.


title: Generalized Policy Learning for Smart Grids: FL TRPO Approach

abstract: The smart grid domain requires bolstering the capabilities of existing energy management systems; Federated Learning (FL) aligns with this goal as it demonstrates a remarkable ability to train models on heterogeneous datasets while maintaining data privacy, making it suitable for smart grid applications, which often involve disparate data distributions and interdependencies among features that hinder the suitability of linear models. This paper introduces a framework that combines FL with a Trust Region Policy Optimization (FL TRPO) aiming to reduce energy-associated emissions and costs. Our approach reveals latent interconnections and employs personalized encoding methods to capture unique insights, understanding the relationships between features and optimal strategies, allowing our model to generalize to previously unseen data. Experimental results validate the robustness of our approach, affirming its proficiency in effectively learning policy models for smart grid challenges.


title: Connections between metric differentiability and rectifiability

abstract: We combine Kirchheim's metric differentials with Cheeger charts in order to establish a non-embeddability principle for any collection $\mathcal C$ of Banach (or metric) spaces: if a metric measure space $X$ bi-Lipschitz embeds in some element in $\mathcal C$, and if every Lipschitz map $X\to Y\in \mathcal C$ is differentiable, then $X$ is rectifiable. This gives a simple proof of the rectifiability of Lipschitz differentiability spaces that are bi-Lipschitz embeddable in Euclidean space, due to Kell--Mondino. Our principle also implies a converse to Kirchheim's theorem: if all Lipschitz maps from a domain space to arbitrary targets are metrically differentiable, the domain is rectifiable. We moreover establish the compatibility of metric and w$^*$-differentials of maps from metric spaces in the spirit of Ambrosio--Kirchheim.


title: Physics and data driven model for prediction of residual stresses in machining

abstract: Predicting residual stresses has always been a topic of significance due to its implications in the development of enhanced materials and better processing conditions. In this work, an analytical model for prediction of residual stresses is developed for orthogonal machining. It consists of three component models for force, temperature and stress computation. The Oxley force model and Waldorf's slip-line model are employed for obtaining cutting force, thrust force, and temperatures at the shear zone and tool-chip interface for the given parameters. The Komanduri-Hou two heat source model is used for obtaining the temperature distribution in the workpiece. The effect of coolant with differing mass flow rates has also been incorporated. The residual stresses are obtained by combining the mechanical and thermal components, followed by the loading and relaxation of the stresses. Optimal values for unknown parameters are predicted by leveraging a cost function. The residual stress distributions obtained give a tensile region near the surface for Inconel 718, and a compressive region for Ti6Al4V, which are in line with experimental results found in literature.


title: Backpropagation-free Network for 3D Test-time Adaptation

abstract: Real-world systems often encounter new data over time, which leads to experiencing target domain shifts. Existing Test-Time Adaptation (TTA) methods tend to apply computationally heavy and memory-intensive backpropagation-based approaches to handle this. Here, we propose a novel method that uses a backpropagation-free approach for TTA for the specific case of 3D data. Our model uses a two-stream architecture to maintain knowledge about the source domain as well as complementary target-domain-specific information. The backpropagation-free property of our model helps address the well-known forgetting problem and mitigates the error accumulation issue. The proposed method also eliminates the need for the usually noisy process of pseudo-labeling and reliance on costly self-supervised training. Moreover, our method leverages subspace learning, effectively reducing the distribution variance between the two domains. Furthermore, the source-domain-specific and the target-domain-specific streams are aligned using a novel entropy-based adaptive fusion strategy. Extensive experiments on popular benchmarks demonstrate the effectiveness of our method. The code will be available at \url{https://github.com/abie-e/BFTT3D}.


title: $\mathrm{F^2Depth}$: Self-supervised Indoor Monocular Depth Estimation via Optical Flow Consistency and Feature Map Synthesis

abstract: Self-supervised monocular depth estimation methods have been increasingly given much attention due to the benefit of not requiring large, labelled datasets. Such self-supervised methods require high-quality salient features and consequently suffer from severe performance drop for indoor scenes, where low-textured regions dominant in the scenes are almost indiscriminative. To address the issue, we propose a self-supervised indoor monocular depth estimation framework called $\mathrm{F^2Depth}$. A self-supervised optical flow estimation network is introduced to supervise depth learning. To improve optical flow estimation performance in low-textured areas, only some patches of points with more discriminative features are adopted for finetuning based on our well-designed patch-based photometric loss. The finetuned optical flow estimation network generates high-accuracy optical flow as a supervisory signal for depth estimation. Correspondingly, an optical flow consistency loss is designed. Multi-scale feature maps produced by finetuned optical flow estimation network perform warping to compute feature map synthesis loss as another supervisory signal for depth learning. Experimental results on the NYU Depth V2 dataset demonstrate the effectiveness of the framework and our proposed losses. To evaluate the generalization ability of our $\mathrm{F^2Depth}$, we collect a Campus Indoor depth dataset composed of approximately 1500 points selected from 99 images in 18 scenes. Zero-shot generalization experiments on 7-Scenes dataset and Campus Indoor achieve $\delta_1$ accuracy of 75.8% and 76.0% respectively. The accuracy results show that our model can generalize well to monocular images captured in unknown indoor scenes.


title: FRESCO: Federated Reinforcement Energy System for Cooperative Optimization

abstract: The rise in renewable energy is creating new dynamics in the energy grid that promise to create a cleaner and more participative energy grid, where technology plays a crucial part in making the required flexibility to achieve the vision of the next-generation grid. This work presents FRESCO, a framework that aims to ease the implementation of energy markets using a hierarchical control architecture of reinforcement learning agents trained using federated learning. The core concept we are proving is that having greedy agents subject to changing conditions from a higher level agent creates a cooperative setup that will allow for fulfilling all the individual objectives. This paper presents a general overview of the framework, the current progress, and some insights we obtained from the recent results.


title: Asymptotic Analysis of Synchronous Signal Processing

abstract: This paper extends various theoretical results from stationary data processing to cyclostationary (CS) processes under a unified framework. We first derive their asymptotic eigenbasis, which provides a link between their Fourier and Karhunen-Lo\`eve (KL) expansions, through a unitary transformation dictated by the cyclic spectrum. By exploiting this connection and the optimalities offered by the KL representation, we study the asymptotic performance of smoothing, filtering and prediction of CS processes, without the need for deriving explicit implementations. We obtain minimum mean squared error expressions that depend on the cyclic spectrum and include classical limits based on the power spectral density as particular cases. We conclude this work by applying the results to a practical scenario, in order to quantify the achievable gains of synchronous signal processing.


title: Cosmic Inflation From Fluctuating Baby-Skyrme Brane

abstract: In this work, we explore the inflationary dynamics induced by small fluctuations on the Skyrme brane, characterized by a time-dependent perturbative function $\tilde{\phi}$. In the low-energy regime, the model successfully reproduces standard inflation, with a potential term dictated by the Skyrmion at the brane. Gravity localization is achieved at the brane, and the lowest energy scale is established at the asymptotic boundary. The model demonstrates the capability to emulate standard inflation dynamics, resembling $\tilde{\phi}^4$ potential characteristics under certain conditions. At higher energy levels, the behaviour of $\tilde{\phi}$ is contingent upon the Skyrme term coupling constant $\lambda$, influencing reheating phases. The wave-like nature of fluctuations allows for energy transfer, resulting in a possibly lower reheating temperature. We also discuss the prospect of $\lambda$ changing sign during inflation, presenting a non-standard coupling dependent on the matter field.


title: Can Language Beat Numerical Regression? Language-Based Multimodal Trajectory Prediction

abstract: Language models have demonstrated impressive ability in context understanding and generative performance. Inspired by the recent success of language foundation models, in this paper, we propose LMTraj (Language-based Multimodal Trajectory predictor), which recasts the trajectory prediction task into a sort of question-answering problem. Departing from traditional numerical regression models, which treat the trajectory coordinate sequence as continuous signals, we consider them as discrete signals like text prompts. Specially, we first transform an input space for the trajectory coordinate into the natural language space. Here, the entire time-series trajectories of pedestrians are converted into a text prompt, and scene images are described as text information through image captioning. The transformed numerical and image data are then wrapped into the question-answering template for use in a language model. Next, to guide the language model in understanding and reasoning high-level knowledge, such as scene context and social relationships between pedestrians, we introduce an auxiliary multi-task question and answering. We then train a numerical tokenizer with the prompt data. We encourage the tokenizer to separate the integer and decimal parts well, and leverage it to capture correlations between the consecutive numbers in the language model. Lastly, we train the language model using the numerical tokenizer and all of the question-answer prompts. Here, we propose a beam-search-based most-likely prediction and a temperature-based multimodal prediction to implement both deterministic and stochastic inferences. Applying our LMTraj, we show that the language-based model can be a powerful pedestrian trajectory predictor, and outperforms existing numerical-based predictor methods. Code is publicly available at https://github.com/inhwanbae/LMTrajectory .


title: Sensing with submarine optical cables

abstract: In this paper, we establish the theoretical framework for understanding the sensing capabilities of optical fibers. We show the distinct advantage of polarization over phase in detecting subhertz environmental processes. Subsequently, we propose a scheme capable of extracting the spectrum of perturbations affecting a specific section at any position along an optical fiber by detecting the state of polarization of the backreflected light. We discuss two examples of earthquake detection and the detection of sea swells and ocean tides through the analysis of the state of polarization of an optical signal reconstructed by the receiver of a transoceanic cable, obtained from an online database.\cite{zhongwenzhan_2020} Finally, we provide the analytical expression for the cross-correlation of the polarization perturbations of two wavelength division multiplexed channels, and show that the analysis of the polarization correlations between adjacent channels can provide valuable insights into the localization of earthquakes.


title: Generalizations of free monoids

abstract: We generalize free monoids by defining $k$-monoids. These are nothing other than the one-vertex higher-rank graphs used in $C^{\ast}$-algebra theory with the cardinality requirement waived. The $1$-monoids are precisely the free monoids. We then take the next step and generalize $k$-monoids in such a way that self-similar group actions yield monoids of this type.


title: Loop homology of moment-angle complexes in the flag case

abstract: We develop a general homological approach to presentations of connected graded associative algebras, and apply it to loop homology of moment-angle complexes $Z_K$ that correspond to flag simplicial complexes $K$. For arbitrary coefficient ring, we describe generators of the Pontryagin algebra $H_*(\Omega Z_K)$ and defining relations between them. We prove that such moment-angle complexes are coformal over $\mathbb{Q},$ give a necessary condition for rational formality, and compute their homotopy groups in terms of homotopy groups of spheres.


title: CoRAST: Towards Foundation Model-Powered Correlated Data Analysis in Resource-Constrained CPS and IoT

abstract: Foundation models (FMs) emerge as a promising solution to harness distributed and diverse environmental data by leveraging prior knowledge to understand the complicated temporal and spatial correlations within heterogeneous datasets. Unlike distributed learning frameworks such as federated learning, which often struggle with multimodal data, FMs can transform diverse inputs into embeddings. This process facilitates the integration of information from various modalities and the application of prior learning to new domains. However, deploying FMs in resource-constrained edge systems poses significant challenges. To this end, we introduce CoRAST, a novel learning framework that utilizes FMs for enhanced analysis of distributed, correlated heterogeneous data. Utilizing a server-based FM, CoRAST can exploit existing environment information to extract temporal, spatial, and cross-modal correlations among sensor data. This enables CoRAST to offer context-aware insights for localized client tasks through FM-powered global representation learning. Our evaluation on real-world weather dataset demonstrates CoRAST's ability to exploit correlated heterogeneous data through environmental representation learning to reduce the forecast errors by up to 50.3% compared to the baselines.


title: SingularTrajectory: Universal Trajectory Predictor Using Diffusion Model

abstract: There are five types of trajectory prediction tasks: deterministic, stochastic, domain adaptation, momentary observation, and few-shot. These associated tasks are defined by various factors, such as the length of input paths, data split and pre-processing methods. Interestingly, even though they commonly take sequential coordinates of observations as input and infer future paths in the same coordinates as output, designing specialized architectures for each task is still necessary. For the other task, generality issues can lead to sub-optimal performances. In this paper, we propose SingularTrajectory, a diffusion-based universal trajectory prediction framework to reduce the performance gap across the five tasks. The core of SingularTrajectory is to unify a variety of human dynamics representations on the associated tasks. To do this, we first build a Singular space to project all types of motion patterns from each task into one embedding space. We next propose an adaptive anchor working in the Singular space. Unlike traditional fixed anchor methods that sometimes yield unacceptable paths, our adaptive anchor enables correct anchors, which are put into a wrong location, based on a traversability map. Finally, we adopt a diffusion-based predictor to further enhance the prototype paths using a cascaded denoising process. Our unified framework ensures the generality across various benchmark settings such as input modality, and trajectory lengths. Extensive experiments on five public benchmarks demonstrate that SingularTrajectory substantially outperforms existing models, highlighting its effectiveness in estimating general dynamics of human movements. Code is publicly available at https://github.com/inhwanbae/SingularTrajectory .


title: Annotating Slack Directly on Your Verilog: Fine-Grained RTL Timing Evaluation for Early Optimization

abstract: In digital IC design, compared with post-synthesis netlists or layouts, the early register-transfer level (RTL) stage offers greater optimization flexibility for both designers and EDA tools. However, timing information is typically unavailable at this early stage. Some recent machine learning (ML) solutions propose to predict the total negative slack (TNS) and worst negative slack (WNS) of an entire design at the RTL stage, but the fine-grained timing information of individual registers remains unavailable. In this work, we address the unique challenges of RTL timing prediction and introduce our solution named RTL-Timer. To the best of our knowledge, this is the first fine-grained general timing estimator applicable to any given design. RTL-Timer explores multiple promising RTL representations and proposes customized loss functions to capture the maximum arrival time at register endpoints. RTL-Timer's fine-grained predictions are further applied to guide optimization in a standard synthesis flow. The average results on unknown test designs demonstrate a correlation above 0.89, contributing around 3% WNS and 10% TNS improvement after optimization.


title: Scaling Vision-and-Language Navigation With Offline RL

abstract: The study of vision-and-language navigation (VLN) has typically relied on expert trajectories, which may not always be available in real-world situations due to the significant effort required to collect them. On the other hand, existing approaches to training VLN agents that go beyond available expert data involve data augmentations or online exploration which can be tedious and risky. In contrast, it is easy to access large repositories of suboptimal offline trajectories. Inspired by research in offline reinforcement learning (ORL), we introduce a new problem setup of VLN-ORL which studies VLN using suboptimal demonstration data. We introduce a simple and effective reward-conditioned approach that can account for dataset suboptimality for training VLN agents, as well as benchmarks to evaluate progress and promote research in this area. We empirically study various noise models for characterizing dataset suboptimality among other unique challenges in VLN-ORL and instantiate it for the VLN$\circlearrowright$BERT and MTVM architectures in the R2R and RxR environments. Our experiments demonstrate that the proposed reward-conditioned approach leads to significant performance improvements, even in complex and intricate environments.


title: Onset of penumbra formation

abstract: Context. Fully fledged penumbrae have been widely studied both observationally and theoretically. Yet the relatively fast process of penumbra formation has not been studied closely with high spatial resolution. Aims. We investigate the stages previous to and during the formation of penumbral filaments in a developing sunspot. Methods. We analysed Milne-Eddington inversions from spectro-polarimetric data of the leading sunspot of NOAA 11024 during the development of its penumbra. We focused on selected areas of this protospot in which segments of penumbra develop. Results. We find that few types of distinctive flow patterns develop at the protospot limb and centre sides previous to penumbra formation. The flow in the centre side is often characterised by a persistent (>20 min) inflow-outflow pattern extending radially over 4 arcsec at the direct periphery of the protospot umbra. This inflow-outflow system often correlates with elongated granules, as seen in continuum intensity maps, and is also coupled with magnetic bipolar patches at its edges, as seen in magnetograms. The field is close to horizontal between the bipolar patches, which is indicative of its possible loop configuration. All of these aspects are analogous to observations of magnetic flux emergence. In the protospot limb side, however, we observed a mostly regular pattern associated with small granules located near the protospot intensity boundary. Locally, an inflow develops adjacent to an existing penumbral segment, and this inflow is correlated with a single bright penumbral filament that is brighter than filaments containing the Evershed flow. All investigated areas at the centre and limb side eventually develop penumbral filaments with an actual Evershed flow that starts at the umbral boundary and grows outwards radially as the penumbral filaments become longer in time


title: Inverse kinematics learning of a continuum manipulator using limited real time data

abstract: Data driven control of a continuum manipulator requires a lot of data for training but generating sufficient amount of real time data is not cost efficient. Random actuation of the manipulator can also be unsafe sometimes. Meta learning has been used successfully to adapt to a new environment. Hence, this paper tries to solve the above mentioned problem using meta learning. We consider two cases for that. First, this paper proposes a method to use simulation data for training the model using MAML(Model-Agnostic Meta-Learning). Then, it adapts to the real world using gradient steps. Secondly,if the simulation model is not available or difficult to formulate, then we propose a CGAN(Conditional Generative adversial network)-MAML based method for it. The model is trained using a small amount of real time data and augmented data for different loading conditions. Then, adaptation is done in the real environment. It has been found out from the experiments that the relative positioning error for both the cases are below 3%. The proposed models are experimentally verified on a real continuum manipulator.


title: Specificity of $\tau$ -- approximation for chaotic electron trajectories on complex Fermi surfaces

abstract: The work examines a special behavior of the magnetic conductivity of metals that arises when chaotic electron trajectories appear on the Fermi surface. This behavior is due to the scattering of electrons at singular points of the dynamic system describing the dynamics of electrons in $\, {\bf p}$-space, and caused by small-angle scattering of electrons on phonons. In this situation, the electronic system is described by a "non-standard" relaxation time, which plays the main role in a certain range of temperature and magnetic field values.


title: Dust Extinction Measures for $z\sim 8$ Galaxies using Machine Learning on JWST Imaging

abstract: We present the results of a machine learning study to measure the dust content of galaxies observed with JWST at z > 6 through the use of trained neural networks based on high-resolution IllustrisTNG simulations. Dust is an important unknown in the evolution and observability of distant galaxies and is degenerate with other stellar population features through spectral energy fitting. As such, we develop and test a new SED-independent machine learning method to predict dust attenuation and sSFR of high redshift (z > 6) galaxies. Simulated galaxies were constructed using the IllustrisTNG model, with a variety of dust contents parameterized by E(B-V) and A(V) values, then used to train Convolutional Neural Network (CNN) models using supervised learning through a regression model. We demonstrate that within the context of these simulations, our single and multi-band models are able to predict dust content of distant galaxies to within a 1$\sigma$ dispersion of A(V) $\sim 0.1$. Applied to spectroscopically confirmed z > 6 galaxies from the JADES and CEERS programs, our models predicted attenuation values of A(V) < 0.7 for all systems, with a low average (A(V) = 0.28). Our CNN predictions show larger dust attenuation but lower amounts of star formation compared to SED fitted values. Both results show that distant galaxies with confirmed spectroscopy are not extremely dusty, although this sample is potentially significantly biased. We discuss these issues and present ideas on how to accurately measure dust features at the highest redshifts using a combination of machine learning and SED fitting.


title: CoBOS: Constraint-Based Online Scheduler for Human-Robot Collaboration

abstract: Assembly processes involving humans and robots are challenging scenarios because the individual activities and access to shared workspace have to be coordinated. Fixed robot programs leave no room to diverge from a fixed protocol. Working on such a process can be stressful for the user and lead to ineffective behavior or failure. We propose a novel approach of online constraint-based scheduling in a reactive execution control framework facilitating behavior trees called CoBOS. This allows the robot to adapt to uncertain events such as delayed activity completions and activity selection (by the human). The user will experience less stress as the robotic coworkers adapt their behavior to best complement the human-selected activities to complete the common task. In addition to the improved working conditions, our algorithm leads to increased efficiency, even in highly uncertain scenarios. We evaluate our algorithm using a probabilistic simulation study with 56000 experiments. We outperform all baselines by a margin of 4-10%. Initial real robot experiments using a Franka Emika Panda robot and human tracking based on HTC Vive VR gloves look promising.


title: Probing the quantum nature of gravity using a Bose-Einstein condensate

abstract: The effect of noise induced by gravitons has been investigated using a Bose-Einstein condensate. The gravitational wave perturbation is then considerd as a sum of discrete Fourier modes in the momentum space. Coming to an operatorial representation and quantizing the phase space variables via appropriately introduced canonincal commutation relations between the canonically conjugate variables corresponding to the graviton and bosonic part of the total system, one obtains a proper quantum gravity setup. Then we obtain the Bogoliubov coefficients from the solution of the time-dependent part of the pseudo-Goldstone boson and construct the covariance metric for the bosons initially being in a squeezed state. Using the stochastic average of the Fisher information, we obtain a lower bound on the amplitude parameter of the gravitational wave. As the entire calculation is done at zero temperature, the bosonic system, by construction, will behave as a Bose-Einstein condensate. For a Bose-Einstein condensate with a single mode, we observe that the lower bound of the expectation value of the square of the uncertainty in the amplitude measurement does not become infinite when the total observational term approaches zero. In order to sum over all possible momentum modes, we next consider a noise term with a suitable Gaussian weight factor which decays over time. We then obtain the lower bound on the final expectation value of the square of the variance in the amplitude parameter. Because of the noise induced by the graviton, there is a minimum value of the measurement time below which it is impossible to detect any gravitational wave using a Bose-Einstein condensate. Finally, we consider interaction between the phonon modes of the Bose-Einstein condensate which results in the decoherence. We observe that the decoherence effect becomes significant for gravitons with minimal squeezing.


title: DiffStyler: Diffusion-based Localized Image Style Transfer

abstract: Image style transfer aims to imbue digital imagery with the distinctive attributes of style targets, such as colors, brushstrokes, shapes, whilst concurrently preserving the semantic integrity of the content. Despite the advancements in arbitrary style transfer methods, a prevalent challenge remains the delicate equilibrium between content semantics and style attributes. Recent developments in large-scale text-to-image diffusion models have heralded unprecedented synthesis capabilities, albeit at the expense of relying on extensive and often imprecise textual descriptions to delineate artistic styles. Addressing these limitations, this paper introduces DiffStyler, a novel approach that facilitates efficient and precise arbitrary image style transfer. DiffStyler lies the utilization of a text-to-image Stable Diffusion model-based LoRA to encapsulate the essence of style targets. This approach, coupled with strategic cross-LoRA feature and attention injection, guides the style transfer process. The foundation of our methodology is rooted in the observation that LoRA maintains the spatial feature consistency of UNet, a discovery that further inspired the development of a mask-wise style transfer technique. This technique employs masks extracted through a pre-trained FastSAM model, utilizing mask prompts to facilitate feature fusion during the denoising process, thereby enabling localized style transfer that preserves the original image's unaffected regions. Moreover, our approach accommodates multiple style targets through the use of corresponding masks. Through extensive experimentation, we demonstrate that DiffStyler surpasses previous methods in achieving a more harmonious balance between content preservation and style integration.


title: Decoy Effect In Search Interaction: Understanding User Behavior and Measuring System Vulnerability

abstract: This study examines the decoy effect's underexplored influence on user search interactions and methods for measuring information retrieval (IR) systems' vulnerability to this effect. It explores how decoy results alter users' interactions on search engine result pages, focusing on metrics like click-through likelihood, browsing time, and perceived document usefulness. By analyzing user interaction logs from multiple datasets, the study demonstrates that decoy results significantly affect users' behavior and perceptions. Furthermore, it investigates how different levels of task difficulty and user knowledge modify the decoy effect's impact, finding that easier tasks and lower knowledge levels lead to higher engagement with target documents. In terms of IR system evaluation, the study introduces the DEJA-VU metric to assess systems' susceptibility to the decoy effect, testing it on specific retrieval tasks. The results show differences in systems' effectiveness and vulnerability, contributing to our understanding of cognitive biases in search behavior and suggesting pathways for creating more balanced and bias-aware IR evaluations.


title: Affine Weyl groups and non-Abelian discrete systems: an application to the $d$-Painlev\'e equations

abstract: A non-abelian generalisation of a birational representation of affine Weyl groups and their application to the discrete dynamical systems is presented. By using this generalisation, non-commutative analogs for the discrete systems of $A_n^{(1)}$, $n \geq 2$ type and of $d$-Painlev\'e equations with an additive dynamic were derived. A coalescence cascade of the later is also discussed.


title: Cumulative Incidence Function Estimation Based on Population-Based Biobank Data

abstract: Many countries have established population-based biobanks, which are being used increasingly in epidemiolgical and clinical research. These biobanks offer opportunities for large-scale studies addressing questions beyond the scope of traditional clinical trials or cohort studies. However, using biobank data poses new challenges. Typically, biobank data is collected from a study cohort recruited over a defined calendar period, with subjects entering the study at various ages falling between $c_L$ and $c_U$. This work focuses on biobank data with individuals reporting disease-onset age upon recruitment, termed prevalent data, along with individuals initially recruited as healthy, and their disease onset observed during the follow-up period. We propose a novel cumulative incidence function (CIF) estimator that efficiently incorporates prevalent cases, in contrast to existing methods, providing two advantages: (1) increased efficiency, and (2) CIF estimation for ages before the lower limit, $c_L$.


title: Posets of finite GK-dimensional graded pre-Nichols algebras of diagonal type

abstract: We classify graded pre-Nichols algebras of diagonal type with finite Gelfand-Kirillov dimension. The characterization is made through an isomorphism of posets with the family of appropriate subsets of the set of positive roots coming from central extensions of Nichols algebras of diagonal type, generalizing the corresponding extensions for small quantum groups in de Concini-Kac-Procesi forms of quantum groups. On the way to achieving this result, we also classify graded quotients of algebras of functions of unipotent algebraic groups attached to semisimple Lie algebras.


title: Kinetic data-driven approach to turbulence subgrid modeling

abstract: Numerical simulations of turbulent flows are well known to pose extreme computational challenges due to the huge number of dynamical degrees of freedom required to correctly describe the complex multi-scale statistical correlations of the velocity. On the other hand, kinetic mesoscale approaches based on the Boltzmann equation, have the potential to describe a broad range of flows, stretching well beyond the special case of gases close to equilibrium, which results in the ordinary Navier-Stokes dynamics. Here we demonstrate that, by properly tuning, a kinetic approach can statistically reproduce the quantitative dynamics of the larger scales in turbulence, thereby providing an alternative, computationally efficient and physically rooted approach towards subgrid scale (SGS) modeling in turbulence. More specifically we show that by leveraging on data from fully resolved Direct Numerical Simulation (DNS) data we can learn a collision operator for the discretized Boltzmann equation solver (the lattice Boltzmann method), which effectively implies a turbulence subgrid closure model. The mesoscopic nature of our formulation makes the learning problem fully local in both space and time, leading to reduced computational costs and enhanced generalization capabilities. We show that the model offers superior performance compared to traditional methods, such as the Smagorinsky model, being less dissipative and, therefore, being able to more closely capture the intermittency of higher-order velocity correlations.

categories: physics.flu-dyn math-ph math.MP physics.comp-ph


title: Variational principles and apllications to symmetric PDEs

abstract: In this paper, we explore various equivalences of Ekeland's variational principle within the framework of group-invariant mappings. We introduce and analyze several key theorems, including the Drop theorem, the Petal theorem, Caristi-Kirk fxed-point theorem, and Takahashi's theorem, all of them within this context. Moreover, we extend the classical Drop theorem and Petal theorem to a more generalized setting. We also demonstrate the practical signifcance of these findings through numerous applications to diverse areas of mathematics. In particular, in the context of partial differential equations, we explore their implications on the solution of the Plateau problem, and in control theory. We also extend the classical Pontyargin maximum principle.