title: Resource-efficient Parallel Split Learning in Heterogeneous Edge Computing

abstract: Edge AI has been recently proposed to facilitate the training and deployment of Deep Neural Network (DNN) models in proximity to the sources of data. To enable the training of large models on resource-constraint edge devices and protect data privacy, parallel split learning is becoming a practical and popular approach. However, current parallel split learning neglects the resource heterogeneity of edge devices, which may lead to the straggler issue. In this paper, we propose EdgeSplit, a novel parallel split learning framework to better accelerate distributed model training on heterogeneous and resource-constraint edge devices. EdgeSplit enhances the efficiency of model training on less powerful edge devices by adaptively segmenting the model into varying depths. Our approach focuses on reducing total training time by formulating and solving a task scheduling problem, which determines the most efficient model partition points and bandwidth allocation for each device. We employ a straightforward yet effective alternating algorithm for this purpose. Comprehensive tests conducted with a range of DNN models and datasets demonstrate that EdgeSplit not only facilitates the training of large models on resource-restricted edge devices but also surpasses existing baselines in performance.


title: Combining genetic algorithm and compressed sensing for features and operators selection in symbolic regression

abstract: Symbolic-inference methods have recently found a broad application in materials science. In particular, the Sure-Independence Screening and Sparsifying Operator (SISSO) performs symbolic regression and classification by adopting compressed sensing for the selection of an optimized subset of features and mathematical operators out of a given set of candidates. However, SISSO becomes computationally unpractical when the set of candidate features and operators exceeds the size of few tens. In the present work, we combine SISSO with a genetic algorithm (GA) for the global search of the optimal subset of features and operators. We demonstrate that GA-SISSO efficiently finds more accurate predictive models than the original SISSO, due to the possibility to access a larger input feature and operator space. GA-SISSO was applied for the search of the model for the prediction of carbon-dioxide adsorption energies on semiconductor oxides. The obtained with GA-SISSO model has much higher accuracy compared to models previously discussed in the literature (based solely on the O 2p-band center). The analysis of features importance shows that, besides the O 2p-band center, the contribution of the electrostatic potential above adsorption sites and the surface formation energies are also important.


title: Bilinear magnetoresistance in 2DEG with isotropic cubic Rashba spin-orbit interaction

abstract: Bilinear magnetoresistance has been studied theoretically in 2D systems with isotropic cubic form of Rashba spin-orbit interaction. We have derived the effective spin-orbital field due to current-induced spin polarization and discussed its contribution to the unidirectional system response. The analysed model can be applied to the semiconductor quantum wells as well as 2DEG at the surfaces and interfaces of perovskite oxides.


title: Blender-producing mechanisms and a dichotomy for local dynamics for heterodimensional cycles

abstract: Blenders are special hyperbolic sets used to produce various robust dynamical phenomena which appear fragile at first glance. We prove for $C^r$ diffeomorphisms ($r=2,\dots,\infty,\omega$) that blenders naturally exist (without perturbation) near non-degenerate heterodimensional cycles of coindex-1, and the existence is determined by arithmetic properties of moduli of topological conjugacy for diffeomorphisms with heterodimensional cycles. In particular, we obtain a $C^r$-generic dichotomy for dynamics in any small neighborhood $U$ of a non-degenerate heterodimensional cycle: either there exist infinitely many blenders accumulating on the cycle, forming robust heterodimensional dynamics in most cases, or there are no orbits other than those constituting the cycle lying entirely in $U$.


title: Probing marginal stability in the spherical $p=2$ model

abstract: In this paper we investigate the marginally stable nature of the low-temperature trivial spin glass phase in the spherical $p=2$ spin glass, by perturbing the system with three different kinds of non-linear interactions. In particular, we compare the effect of three additional dense four-body interactions: ferromagnetic couplings, purely disordered couplings and couplings with competing disordered and ferromagnetic interactions. Our study, characterized by the effort to present in a clear and pedagogical way the derivation of all the results, shows that the marginal stability property of the spherical spin glass depends in fact on which kind of perturbation is applied to the system: in general, a certain degree of frustration is needed also in the additional terms in order to induce a transition from a trivial to a non-trivial spin-glass phase. On the contrary, the addition of generic non-frustrated interactions does not destabilize the trivial spin-glass phase.


title: The fractional quantum Hall nematics on the first Landau level in a tilted field

abstract: We investigated the behavior of fractional quantum Hall (FQH) states in a two-dimensional electron system with layer thickness and an in-plane magnetic field. Our comparisons across various filling factors within the first Landau level revealed a crucial observation. A slight in-plane magnetic field specifically enhances the nematic order of the $\nu = 7/3$ FQH state. For this particular filling, through calculating the energy gap, the Ising nematic order parameter, the pair-correlation function, and the static structure factor, we observed that as the in-plane magnetic field increases, the system first enters into an anisotropic FQH phase without closing the spectrum gap, then the FQH nematic (FQHN) phase after neutral gap closing. The system eventually enters a gapless one-dimensional charge density wave (CDW) phase for a large in-plane field. We thus provide a full phase diagram of the $\nu = 7/3$ state in a tilted magnetic field, demonstrating the existence of the FQHN, which aligns with recent resonant inelastic light scattering (RILS) experimental observations.


title: Local Features: Enhancing Variability Modeling in Software Product Lines

abstract: Context and motivation: Software Product Lines (SPL) enable the creation of software product families with shared core components using feature models to model variability. Choosing features from a feature model to generate a product may not be sufficient in certain situations because the application engineer may need to be able to decide on configuration time the system's elements to which a certain feature will be applied. Therefore, there is a need to select which features have to be included in the product but also to which of its elements they have to be applied. Objective: We introduce local features that are selectively applied to specific parts of the system during product configuration. Results: We formalize local features using multimodels to establish relationships between local features and other elements of the system models. The paper includes examples illustrating the motivation for local features, a formal definition, and a domain-specific language for specification and implementation. Finally, we present a case study in a real scenario that shows how the concept of local features allowed us to define the variability of a complex system. The examples and the application case show that the proposal achieves higher customization levels at the application engineering phase.


title: Computational Sentence-level Metrics Predicting Human Sentence Comprehension

abstract: The majority of research in computational psycholinguistics has concentrated on the processing of words. This study introduces innovative methods for computing sentence-level metrics using multilingual large language models. The metrics developed sentence surprisal and sentence relevance and then are tested and compared to validate whether they can predict how humans comprehend sentences as a whole across languages. These metrics offer significant interpretability and achieve high accuracy in predicting human sentence reading speeds. Our results indicate that these computational sentence-level metrics are exceptionally effective at predicting and elucidating the processing difficulties encountered by readers in comprehending sentences as a whole across a variety of languages. Their impressive performance and generalization capabilities provide a promising avenue for future research in integrating LLMs and cognitive science.


title: Toward Optimum Coupling between Free Electrons and Confined Optical Modes

abstract: Free electrons are unique tools to probe and manipulate nanoscale optical fields with emerging applications in ultrafast spectromicroscopy and quantum metrology. However, advances in this field are hindered by the small probability associated with the excitation of single optical modes by individual free electrons. Here, we theoretically investigate the scaling properties of the electron-driven excitation probability for a wide variety of optical modes including plasmons in metallic nanostructures and Mie resonances in dielectric cavities, spanning a broad spectral range that extends from the ultraviolet to the infrared. The highest probabilities for the direct generation of three-dimensionally confined modes are observed at low electron and mode energies in small structures, with order-unity ($\sim100$\%) coupling demanding the use of $<100$~eV electrons interacting with $<1$~eV polaritons confined down to tens of nm. Electronic transitions in artificial atoms also emerge as practical systems to realize strong coupling to few-eV free electrons. In contrast, conventional dielectric cavities reach a maximum probability in the few-percent range. In addition, we show that waveguide modes can be generated with higher-than-unity efficiency by phase-matched interaction with grazing electrons, suggesting an efficient method to create multiple excitations of a localized optical mode by an individual electron through funneling the so-generated propagating photons into a confining cavity -- an alternative approach to direct electron-cavity interaction. Our work provides a roadmap to optimize electron-photon coupling with potential applications in electron spectromicroscopy as well as nonlinear and quantum optics at the nanoscale.


title: Carbon Intensity-Aware Adaptive Inference of DNNs

abstract: DNN inference, known for its significant energy consumption and the resulting high carbon footprint, can be made more sustainable by adapting model size and accuracy to the varying carbon intensity throughout the day. Our heuristic algorithm uses larger, high-accuracy models during low-intensity periods and smaller, lower-accuracy ones during high-intensity periods. We also introduce a metric, carbon-emission efficiency, which quantitatively measures the efficacy of adaptive model selection in terms of carbon footprint. The evaluation showed that the proposed approach could improve the carbon emission efficiency in improving the accuracy of vision recognition services by up to 80%.


title: Relativistic stochastic hydrodynamics from quantum nonlinear projection operator

abstract: We systematically derive relativistic stochastic hydrodynamics based on the method of quantum nonlinear projection operator. Morozov's nonlinear projection operator is a generalization of the well-known linear Mori-Zwanzig projection operator method, from which one can account for the nonlinear interaction between macroscopic modes. The quantum generalized Fokker-Planck and Langevin equations are also obtained using this formalism, which are fundamentally important in non-equilibrium statistical physics. As an application, the relativistic stochastic hydrodynamic equations with Gaussian noises are derived, which are applicable in studying anomalous transport phenomena near critical points. The possible extension to include multiplicative noises is also discussed.

categories: cond-mat.stat-mech hep-ph nucl-th quant-ph


title: Scaling Learning based Policy Optimization for Temporal Tasks via Dropout

abstract: This paper introduces a model-based approach for training feedback controllers for an autonomous agent operating in a highly nonlinear environment. We desire the trained policy to ensure that the agent satisfies specific task objectives, expressed in discrete-time Signal Temporal Logic (DT-STL). One advantage for reformulation of a task via formal frameworks, like DT-STL, is that it permits quantitative satisfaction semantics. In other words, given a trajectory and a DT-STL formula, we can compute the robustness, which can be interpreted as an approximate signed distance between the trajectory and the set of trajectories satisfying the formula. We utilize feedback controllers, and we assume a feed forward neural network for learning these feedback controllers. We show how this learning problem is similar to training recurrent neural networks (RNNs), where the number of recurrent units is proportional to the temporal horizon of the agent's task objectives. This poses a challenge: RNNs are susceptible to vanishing and exploding gradients, and na\"{i}ve gradient descent-based strategies to solve long-horizon task objectives thus suffer from the same problems. To tackle this challenge, we introduce a novel gradient approximation algorithm based on the idea of dropout or gradient sampling. We show that, the existing smooth semantics for robustness are inefficient regarding gradient computation when the specification becomes complex. To address this challenge, we propose a new smooth semantics for DT-STL that under-approximates the robustness value and scales well for backpropagation over a complex specification. We show that our control synthesis methodology, can be quite helpful for stochastic gradient descent to converge with less numerical issues, enabling scalable backpropagation over long time horizons and trajectories over high dimensional state spaces.


title: Permutation Recovery Problem against Deletion Errors for DNA Data Storage

abstract: Owing to its immense storage density and durability, DNA has emerged as a promising storage medium. However, due to technological constraints, data can only be written onto many short DNA molecules called data blocks that are stored in an unordered way. To handle the unordered nature of DNA data storage systems, a unique address is typically prepended to each data block to form a DNA strand. However, DNA storage systems are prone to errors and generate multiple noisy copies of each strand called DNA reads. Thus, we study the permutation recovery problem against deletions errors for DNA data storage. The permutation recovery problem for DNA data storage requires one to reconstruct the addresses or in other words to uniquely identify the noisy reads. By successfully reconstructing the addresses, one can essentially determine the correct order of the data blocks, effectively solving the clustering problem. We first show that we can almost surely identify all the noisy reads under certain mild assumptions. We then propose a permutation recovery procedure and analyze its complexity.


title: TJCCT: A Two-timescale Approach for UAV-assisted Mobile Edge Computing

abstract: Unmanned aerial vehicle (UAV)-assisted mobile edge computing (MEC) is emerging as a promising paradigm to provide aerial-terrestrial computing services in close proximity to mobile devices (MDs). However, meeting the demands of computation-intensive and delay-sensitive tasks for MDs poses several challenges, including the demand-supply contradiction between MDs and MEC servers, the demand-supply heterogeneity between MDs and MEC servers, the trajectory control requirements on energy efficiency and timeliness, and the different time-scale dynamics of the network. To address these issues, we first present a hierarchical architecture by incorporating terrestrial-aerial computing capabilities and leveraging UAV flexibility. Furthermore, we formulate a joint computing resource allocation, computation offloading, and trajectory control problem to maximize the system utility. Since the problem is a non-convex and NP-hard mixed integer nonlinear programming (MINLP), we propose a two-timescale joint computing resource allocation, computation offloading, and trajectory control (TJCCT) approach for solving the problem. In the short timescale, we propose a price-incentive model for on-demand computing resource allocation and a matching mechanism-based method for computation offloading. In the long timescale, we propose a convex optimization-based method for UAV trajectory control. Besides, we theoretically prove the stability, optimality, and polynomial complexity of TJCCT. Extended simulation results demonstrate that the proposed TJCCT outperforms the comparative algorithms in terms of the system utility, average processing rate, average completion delay, and average completion ratio.


title: Ferromagnetic Ising model on the hierarchical pentagon lattice

abstract: Thermodynamic properties of the ferromagnetic Ising model on the hierarchical pentagon lattice is studied by means of the tensor network methods. The lattice consists of pentagons, where 3 or 4 of them meet at each vertex. Correlation functions on the surface of the system up to n = 10 layers are evaluated by means of the time evolving block decimation (TEBD) method, and the power low decay is observed in the high temperature region. The recursive structure of the lattice enables complemental numerical study for larger systems, by means of a variant of the corner transfer matrix renormalization group (CTMRG) method. Calculated spin expectation value shows that there is a mean-field type order-disorder transition at T1 = 1.58 on the surface of the system. On the other hand, the bulk part exhibits the transition at T2 = 2.269. Consistency of these calculated results is examined.


title: Spin-2 fields and cosmic censorship

abstract: We evaluate the possibility of the formation of naked singularities in the interaction of Kerr black holes with test massless spin-2 fields. We analyse the scattering problem for both extremal and nearly extremal black holes by incorporating the explicit form of the absorption probabilities. We show that extremal black holes become non-extremal after the interaction with the modes with both positive and negative absorption probabilities. For nearly extremal black holes the absorption probability for the challenging modes turns out to be of the order $\epsilon^5$, where $\epsilon$ parametrizes the closeness to extremality. This value implies that the event horizon is preserved without the need to employ the backreaction effects. The result directly follows from the incorporation of the absorption probabilities into the analysis. We also review and extend our previous comments on Sorce-Wald method. We show that the order magnitude problems can be avoided by abandoning the non-physical parameter $\lambda$. The conditions derived by Sorce-Wald can be legitimately used to incorporate the back-reaction effects by avoiding to multiply them by $\lambda^2$, thereby preserving the magnitude of their contribution. We apply this method to the problems of over-charging R-N black holes and over-spinning Kerr black holes, in a rough analysis ignoring absorption probabilities which could apply to test bodies.


title: Spatio-Temporal Bi-directional Cross-frame Memory for Distractor Filtering Point Cloud Single Object Tracking

abstract: 3D single object tracking within LIDAR point clouds is a pivotal task in computer vision, with profound implications for autonomous driving and robotics. However, existing methods, which depend solely on appearance matching via Siamese networks or utilize motion information from successive frames, encounter significant challenges. Issues such as similar objects nearby or occlusions can result in tracker drift. To mitigate these challenges, we design an innovative spatio-temporal bi-directional cross-frame distractor filtering tracker, named STMD-Tracker. Our first step involves the creation of a 4D multi-frame spatio-temporal graph convolution backbone. This design separates KNN graph spatial embedding and incorporates 1D temporal convolution, effectively capturing temporal fluctuations and spatio-temporal information. Subsequently, we devise a novel bi-directional cross-frame memory procedure. This integrates future and synthetic past frame memory to enhance the current memory, thereby improving the accuracy of iteration-based tracking. This iterative memory update mechanism allows our tracker to dynamically compensate for information in the current frame, effectively reducing tracker drift. Lastly, we construct spatially reliable Gaussian masks on the fused features to eliminate distractor points. This is further supplemented by an object-aware sampling strategy, which bolsters the efficiency and precision of object localization, thereby reducing tracking errors caused by distractors. Our extensive experiments on KITTI, NuScenes and Waymo datasets demonstrate that our approach significantly surpasses the current state-of-the-art methods.


title: Time-series Initialization and Conditioning for Video-agnostic Stabilization of Video Super-Resolution using Recurrent Networks

abstract: A Recurrent Neural Network (RNN) for Video Super Resolution (VSR) is generally trained with randomly clipped and cropped short videos extracted from original training videos due to various challenges in learning RNNs. However, since this RNN is optimized to super-resolve short videos, VSR of long videos is degraded due to the domain gap. Our preliminary experiments reveal that such degradation changes depending on the video properties, such as the video length and dynamics. To avoid this degradation, this paper proposes the training strategy of RNN for VSR that can work efficiently and stably independently of the video length and dynamics. The proposed training strategy stabilizes VSR by training a VSR network with various RNN hidden states changed depending on the video properties. Since computing such a variety of hidden states is time-consuming, this computational cost is reduced by reusing the hidden states for efficient training. In addition, training stability is further improved with frame-number conditioning. Our experimental results demonstrate that the proposed method performed better than base methods in videos with various lengths and dynamics.


title: Exact and Efficient Numerical approaches to MIT Bag Model

abstract: In this document, we examine exact and efficient numerical approaches to the MIT Bag Model, a theoretical framework used to describe the properties of bound quarks in Hadrons. We present the exact and Boundary Value Problem (BVP) numerical approaches. Both methods are effective in calculating the eigen-functions and energy levels. Notably, the precision of the BVP approach matches up to 10 decimal places when compared to the exact approach.


title: ARO: Large Language Model Supervised Robotics Text2Skill Autonomous Learning

abstract: Robotics learning highly relies on human expertise and efforts, such as demonstrations, design of reward functions in reinforcement learning, performance evaluation using human feedback, etc. However, reliance on human assistance can lead to expensive learning costs and make skill learning difficult to scale. In this work, we introduce the Large Language Model Supervised Robotics Text2Skill Autonomous Learning (ARO) framework, which aims to replace human participation in the robot skill learning process with large-scale language models that incorporate reward function design and performance evaluation. We provide evidence that our approach enables fully autonomous robot skill learning, capable of completing partial tasks without human intervention. Furthermore, we also analyze the limitations of this approach in task understanding and optimization stability.


title: Once for Both: Single Stage of Importance and Sparsity Search for Vision Transformer Compression

abstract: Recent Vision Transformer Compression (VTC) works mainly follow a two-stage scheme, where the importance score of each model unit is first evaluated or preset in each submodule, followed by the sparsity score evaluation according to the target sparsity constraint. Such a separate evaluation process induces the gap between importance and sparsity score distributions, thus causing high search costs for VTC. In this work, for the first time, we investigate how to integrate the evaluations of importance and sparsity scores into a single stage, searching the optimal subnets in an efficient manner. Specifically, we present OFB, a cost-efficient approach that simultaneously evaluates both importance and sparsity scores, termed Once for Both (OFB), for VTC. First, a bi-mask scheme is developed by entangling the importance score and the differentiable sparsity score to jointly determine the pruning potential (prunability) of each unit. Such a bi-mask search strategy is further used together with a proposed adaptive one-hot loss to realize the progressive-and-efficient search for the most important subnet. Finally, Progressive Masked Image Modeling (PMIM) is proposed to regularize the feature space to be more representative during the search process, which may be degraded by the dimension reduction. Extensive experiments demonstrate that OFB can achieve superior compression performance over state-of-the-art searching-based and pruning-based methods under various Vision Transformer architectures, meanwhile promoting search efficiency significantly, e.g., costing one GPU search day for the compression of DeiT-S on ImageNet-1K.


title: VLM-CPL: Consensus Pseudo Labels from Vision-Language Models for Human Annotation-Free Pathological Image Classification

abstract: Despite that deep learning methods have achieved remarkable performance in pathology image classification, they heavily rely on labeled data, demanding extensive human annotation efforts. In this study, we present a novel human annotation-free method for pathology image classification by leveraging pre-trained Vision-Language Models (VLMs). Without human annotation, pseudo labels of the training set are obtained by utilizing the zero-shot inference capabilities of VLM, which may contain a lot of noise due to the domain shift between the pre-training data and the target dataset. To address this issue, we introduce VLM-CPL, a novel approach based on consensus pseudo labels that integrates two noisy label filtering techniques with a semi-supervised learning strategy. Specifically, we first obtain prompt-based pseudo labels with uncertainty estimation by zero-shot inference with the VLM using multiple augmented views of an input. Then, by leveraging the feature representation ability of VLM, we obtain feature-based pseudo labels via sample clustering in the feature space. Prompt-feature consensus is introduced to select reliable samples based on the consensus between the two types of pseudo labels. By rejecting low-quality pseudo labels, we further propose High-confidence Cross Supervision (HCS) to learn from samples with reliable pseudo labels and the remaining unlabeled samples. Experimental results showed that our method obtained an accuracy of 87.1% and 95.1% on the HPH and LC25K datasets, respectively, and it largely outperformed existing zero-shot classification and noisy label learning methods. The code is available at https://github.com/lanfz2000/VLM-CPL.


title: Centered Masking for Language-Image Pre-Training

abstract: We introduce Gaussian masking for Language-Image Pre-Training (GLIP) a novel, straightforward, and effective technique for masking image patches during pre-training of a vision-language model. GLIP builds on Fast Language-Image Pre-Training (FLIP), which randomly masks image patches while training a CLIP model. GLIP replaces random masking with centered masking, that uses a Gaussian distribution and is inspired by the importance of image patches at the center of the image. GLIP retains the same computational savings as FLIP, while improving performance across a range of downstream datasets and tasks, as demonstrated by our experimental results. We show the benefits of GLIP to be easy to obtain, requiring no delicate tuning of the Gaussian, and also applicable to data sets containing images without an obvious center focus.


title: Spectral profile of ro-vibrational transitions of HCl broadened by He, Ar and SF6: testing the $\beta$-correction to the Hartmann-Tran profile and the speed dependent (complex) hard collision model

abstract: The $\beta$-correction to the Hartmann-Tran (HT) profile, recently introduced to model the spectral shape of a molecular transition strongly affected by the Dicke narrowing effect (Konefal et al., JQSRT 242 (2020) 106784), the HT profile (Ngo et al., JQSRT 129 (2013) 89), and the speed dependent (complex) hard collision model (SDcHC, in which the velocity changing collision rate is characterized by a complex number) are tested using spectra of two rovibrational lines of HCl. The R(5) and R(9) lines of the fundamental band of HCl broadened by He, Ar and SF$_6$ have been recorded with a difference-frequency laser spectrometer for total pressures ranging from 12 to 930 mbar. These lines, measured in large pressure ranges with different collision-partners provide a meaningful test of the above-mentioned line-shape models. The results confirm that non-Voigt effects are significant for HCl broadened by Ar and SF$_6$ and mainly due to the large influence of the Dicke narrowing effect. For HCl-SF$_6$ and HCl-Ar, especially for the R(9) line, using the $\beta$-correction together with the HT profile (and with the speed-dependent hard collision model, SDHC) significantly improves the fit residuals while it has no effect on (or tends to deteriorate) the quality of the fit for HCl-He and for the R(5) line of HCl-SF$_6$, for which the influence of velocity changing collisions is smaller. Except for HCl-He, the SDcHC model leads to better quality of fit compared to the HT profile. The results also show that numerical correlations between refined line-shape parameters of the HT profile are important and can lead to ill-determined parameters while they are more properly determined with the SDcHC model.


title: TablePuppet: A Generic Framework for Relational Federated Learning

abstract: Current federated learning (FL) approaches view decentralized training data as a single table, divided among participants either horizontally (by rows) or vertically (by columns). However, these approaches are inadequate for handling distributed relational tables across databases. This scenario requires intricate SQL operations like joins and unions to obtain the training data, which is either costly or restricted by privacy concerns. This raises the question: can we directly run FL on distributed relational tables? In this paper, we formalize this problem as relational federated learning (RFL). We propose TablePuppet, a generic framework for RFL that decomposes the learning process into two steps: (1) learning over join (LoJ) followed by (2) learning over union (LoU). In a nutshell, LoJ pushes learning down onto the vertical tables being joined, and LoU further pushes learning down onto the horizontal partitions of each vertical table. TablePuppet incorporates computation/communication optimizations to deal with the duplicate tuples introduced by joins, as well as differential privacy (DP) to protect against both feature and label leakages. We demonstrate the efficiency of TablePuppet in combination with two widely-used ML training algorithms, stochastic gradient descent (SGD) and alternating direction method of multipliers (ADMM), and compare their computation/communication complexity. We evaluate the SGD/ADMM algorithms developed atop TablePuppet by training diverse ML models. Our experimental results show that TablePuppet achieves model accuracy comparable to the centralized baselines running directly atop the SQL results. Moreover, ADMM takes less communication time than SGD to converge to similar model accuracy.


title: Spatial Control of Hybridization-Induced Spin-Wave Transmission Stop Band

abstract: Spin-wave (SW) propagation close to the hybridization-induced transmission stop band is investigated within a trapezoid-shaped 200\,nm thick yttrium iron garnet (YIG) film using time-resolved magneto-optic Kerr effect (TR-MOKE) microscopy and broadband spin wave spectroscopy, supported by micromagnetic simulations. The gradual reduction of the effective field within the structure leads to local variations of the SW dispersion relation and results in a SW hybridization at a fixed position in the trapezoid where the propagation vanishes since the SW group velocity approaches zero. By tuning external field or frequency, spatial control of the spatial stop band position and spin-wave propagation is demonstrated and utilized to gain transmission control over several microstrip lines.


title: Fock-space relativistic coupled-cluster calculations of clock transition properties in Pb$^{2+}$

abstract: We have implemented an all-particle multireference Fock-space relativistic coupled-cluster theory to probe $6s^2{\;^1}S_{0} - 6s6p{\;^3P^o_{0}}$ clock transition in an even isotope of Pb$^{2+}$. We have computed, excitation energy for several low lying states, E1 and M1 transition amplitudes, and the lifetime of the clock state. Moreover, we have also calculated the ground state dipole polarizability using perturbed relativistic coupled-cluster theory. To improve the accuracy of results, we incorporated the corrections from the relativistic and QED effects in all our calculations. The contributions from triple excitations are accounted perturbatively. Our computed excitation energies are in excellent agreement with the experimental values for all the states. Our result for lifetime, $9.76\times10^{6}$ s, of clock state is $\approx$ 8.5\% larger than the previous value using CI+MBPT [Phys. Rev. Lett. {\bf 127}, 013201 (2021)]. Based on our analysis, we find that the contributions from the {\em valence-valence} correlations arising from higher energy configurations and the corrections from the perturbative triples and QED effects are essential to get accurate clock transition properties in Pb$^{2+}$. Our computed value of dipole polarizability is in good agreement with the available theoretical and experimental data.


title: Phylogenetic diversity indices from an affine and projective viewpoint

abstract: Phylogenetic diversity indices are commonly used to rank the elements in a collection of species or populations for conservation purposes. The derivation of these indices is typically based on some quantitative description of the evolutionary history of the species in question, which is often given in terms of a phylogenetic tree. Both rooted and unrooted phylogenetic trees can be employed, and there are close connections between the indices that are derived in these two different ways. In this paper, we introduce more general phylogenetic diversity indices that can be derived from collections of subsets (clusters) and collections of bipartitions (splits) of the given set of species. Such indices could be useful, for example, in case there is some uncertainty in the topology of the tree being used to derive a phylogenetic diversity index. As well as characterizing some of the indices that we introduce in terms of their special properties, we provide a link between cluster-based and split-based phylogenetic diversity indices that uses a discrete analogue of the classical link between affine and projective geometry. This provides a unified framework for many of the various phylogenetic diversity indices used in the literature based on rooted and unrooted phylogenetic trees, generalizations and new proofs for previous results concerning tree-based indices, and a way to define some new phylogenetic diversity indices that naturally arise as affine or projective variants of each other.


title: Fractal ground state of ion chains in periodic potentials

abstract: Trapped ions in a periodic potential are a paradigm of a frustrated Wigner crystal. The dynamics is captured by a long-range Frenkel-Kontorova model. The classical ground state can be mapped to the one of an antiferromagnetic spin chain with long-range interactions in a magnetic field, whose strength is determined by the mismatch between chain's and substrate lattice's periodicity. The mapping is exact when the substrate potential is a piecewise harmonic potential and holds for any two-body interaction decaying as $1/r^\alpha$ with the distance $r$. The ground state is a devil's staircase of regular, periodic structures as a function of the mismatch, whose range of stability depends also on the coefficient $\alpha$. While the staircase is well defined in the thermodynamic limit for $\alpha>1$, for Coulomb interactions, $\alpha=1$, it disappears and the sliding-to-pinned transitions becomes crossovers. However, due to the logarithmic convergence to the thermodynamic limit characteristic of the Coulomb potential, the staircase is found for any finite number of ions. We discuss the experimental parameters as well as the features that allow one to observe and reveal our predictions in experimental platforms. These dynamics are a showcase of the versatility of trapped ion platforms for exploring the interplay between frustration and interactions.


title: Almost Complete Intersections: Regularity of powers and Rees algebra

abstract: An almost complete intersection ideal can be seen as a $d$-sequence ideal with the minimal number of generators being one more than its height. In this paper, we give exact formulas for the regularity of powers of graded almost complete intersection ideals. We also present the minimal bigraded free resolutions of Rees algebras associated with linear type ideals having one generator more than their grade and study the properties of Cohen-Macaualyness, Koszulness associated to their diagonals.


title: The First High-Contrast Images of Near High-Mass X-Ray Binaries with Keck/NIRC2

abstract: Although the study of X-ray binaries has led to major breakthroughs in high-energy astrophysics, their circumbinary environment at scales of $\sim$100--10,000 astronomical units has not been thoroughly investigated. In this paper, we undertake a novel and exploratory study by employing direct and high-contrast imaging techniques on a sample of X-ray binaries, using adaptive optics and the vortex coronagraph on Keck/NIRC2. High-contrast imaging opens up the possibility to search for exoplanets, brown dwarfs, circumbinary companion stars, and protoplanetary disks in these extreme systems. Here, we present the first near-infrared high-contrast images of 13 high-mass X-ray binaries located within $\sim$2--3 kpc. The key results of this campaign involve the discovery of several candidate circumbinary companions ranging from sub-stellar (brown dwarf) to stellar masses. By conducting an analysis based on galactic population models, we discriminate sources that are likely background/foreground stars and isolate those that have a high probability ($\gtrsim 60 - 99\%$) of being gravitationally bound to the X-ray binary. This publication seeks to establish a preliminary catalog for future analyses of proper motion and subsequent observations. With our preliminary results, we calculate the first estimate of the companion frequency and the multiplicity frequency for X-ray binaries: $\approx$0.6 and 1.8 $\pm$ 0.9 respectively, considering only the sources that are most likely bound to the X-ray binary. In addition to extending our comprehension of how brown dwarfs and stars can form and survive in such extreme systems, our study opens a new window to our understanding of the formation of X-ray binaries.

categories: astro-ph.SR astro-ph.EP astro-ph.HE astro-ph.IM


title: A numerical study of gravity-driven instability in strongly coupled dusty plasma. Part 3: Homo-interaction between a pair of rising/falling bubbles/droplets

abstract: A numerical study of the homo-interactions between two falling droplets and between two rising bubbles in a strongly coupled dusty plasma medium is presented in this article. This strongly coupled dusty plasma is considered as a viscoelastic fluid using the generalized hydrodynamic fluid model formalism. Two factors that affect homo-interactions are taken into account: the initial spacing and the coupling strength of the medium. Three different spacings between two droplets are simulated: widely, medium, and closely. In each case, the coupling strength has been given as mild-strong and strong. It is shown that the overall dynamic is governed by the competition between the acceleration of two droplets/bubbles due to gravity and the interaction due to the closeness of the droplets/bubbles. Especially in viscoelastic fluids, the closeness between two droplets/bubbles, aside from their initial separation, at a later time may result from shear waves that emerge from rotating vorticies. For widely-spaced, unlike classical hydrodynamic fluids, we find that shear waves in viscoelastic fluids facilitate the pairing between two bubbles/droplets. In the case of medium-spaced, the two new dipoles of unequal strength blobs exhibit a circular motion and exchange their partners. For closely-spaced, the droplet/bubble fall/rise is suppressed as the coupling strength of the medium increases. Numerous two-dimensional simulations have been carried out. This work is a continuation of the work done in parts I (V. S. Dharodi and A. Das, J. Plasma Phys. 87 (02), 905870216 (2021)) and II (V. S. Dharodi, J. Plasma Phys. 87 (04), 905870402 (2021)).


title: $f(R, T)$ Gravity Bouncing Universe with Cosmological Parameters

abstract: The basic aim of this manuscript is to investigate the cosmological solutions in the context of the modified $f(R, T)$ theory of gravity, where $R$ is the Ricci scalar and $T$ is the trace of the energy-momentum tensor. For our current work, we consider the Friedmann-Robertson-Walker space-time for finding the solutions of field equations. We investigate the nature of universe by considering acceleration expansion of universe, ultra relativistic universe, sub-relativistic universe, dust universe, radiation universe, stiff universe. Moreover, we apply the power law technique by taking two different $f(R, T)$ gravity models to observe the expanding nature of the universe. The bouncing scenario is also discussed by choosing some particular values of the model parameters and observed the energy conditions, which are satisfied for a successful bouncing model. It is also concluded that some solutions in $f(R, T)$ theory of gravity supports the concept of exotic matter and accelerated expansion of the universe due to a large amount of negative pressure.


title: On the Stability of Learning in Network Games with Many Players

abstract: Multi-agent learning algorithms have been shown to display complex, unstable behaviours in a wide array of games. In fact, previous works indicate that convergent behaviours are less likely to occur as the total number of agents increases. This seemingly prohibits convergence to stable strategies, such as Nash Equilibria, in games with many players. To make progress towards addressing this challenge we study the Q-Learning Dynamics, a classical model for exploration and exploitation in multi-agent learning. In particular, we study the behaviour of Q-Learning on games where interactions between agents are constrained by a network. We determine a number of sufficient conditions, depending on the game and network structure, which guarantee that agent strategies converge to a unique stable strategy, called the Quantal Response Equilibrium (QRE). Crucially, these sufficient conditions are independent of the total number of agents, allowing for provable convergence in arbitrarily large games. Next, we compare the learned QRE to the underlying NE of the game, by showing that any QRE is an $\epsilon$-approximate Nash Equilibrium. We first provide tight bounds on $\epsilon$ and show how these bounds lead naturally to a centralised scheme for choosing exploration rates, which enables independent learners to learn stable approximate Nash Equilibrium strategies. We validate the method through experiments and demonstrate its effectiveness even in the presence of numerous agents and actions. Through these results, we show that independent learning dynamics may converge to approximate Nash Equilibria, even in the presence of many agents.


title: Inpainting-Driven Mask Optimization for Object Removal

abstract: This paper proposes a mask optimization method for improving the quality of object removal using image inpainting. While many inpainting methods are trained with a set of random masks, a target for inpainting may be an object, such as a person, in many realistic scenarios. This domain gap between masks in training and inference images increases the difficulty of the inpainting task. In our method, this domain gap is resolved by training the inpainting network with object masks extracted by segmentation, and such object masks are also used in the inference step. Furthermore, to optimize the object masks for inpainting, the segmentation network is connected to the inpainting network and end-to-end trained to improve the inpainting performance. The effect of this end-to-end training is further enhanced by our mask expansion loss for achieving the trade-off between large and small masks. Experimental results demonstrate the effectiveness of our method for better object removal using image inpainting.


title: Engineering the electronic and magnetic properties of monolayer TiS$_2$ through systematic transition-metal doping

abstract: Layered materials that exhibit magnetic ordering in their pristine form are very rare. Several standard approaches, such as adsorption of atoms, introduction of point defects, and edge engineering, have been developed to induce magnetism in two-dimensional materials. In this way, we investigate the electronic and magnetic properties of monolayer TiS$_2$ doped with 3$d$ transition metals (TMs) atoms in both octahedral 1T and trigonal prismatic 1H structures using first-principles calculations. In its pristine form, TiS$_2$ is a non-magnetic semiconductor. The bands near the Fermi energy primarily exhibit $d$ orbital characters, and due to the presence of ideal octahedral and trigonal arrangements, they are well separated from other bands with $p$ character. Upon substituting 3$d$-TM atoms in both structures, a variety of electronic and magnetic phases emerge, including magnetic semiconductor, magnetic half-metal, non-magnetic metal, and magnetic metal. Chromium exhibits the largest magnetic moment in both the 1T and 1H structures. The 1T structure shows a slightly higher magnetic moment of 3.419 $\mu_B$ compared to the 1H structure 3.138 $\mu_B$, attributed to the distorted octahedral structure of the 1T structure. Unlike pristine TiS$_2$, the deficiency in saturation of neighboring S atoms in the presence of impurities leads to the proximity of energy levels of $d$ and $p$ states, resulting in unexpectedly sizable magnetic moments. Another interesting case is Cobalt, which leads to a magnetic moment of approximately 0.805 $\mu_B$ in the 1H structure, while the Co exhibits a non-magnetic state in the 1H structure. These materials demonstrate a high degree of tunability and can be optimized for various magnetic applications.


title: Local operator quench induced by two-dimensional inhomogeneous and homogeneous CFT Hamiltonians

abstract: We explore non-equilibrium processes in two-dimensional conformal field theories (2d CFTs) due to the growth of operators induced by inhomogeneous and homogeneous Hamiltonians by investigating the time dependence of the partition function, energy density, and entanglement entropy. The non-equilibrium processes considered in this paper are constructed out of the Lorentzian and Euclidean time evolution governed by different Hamiltonians. We explore the effect of the time ordering on entanglement dynamics so that we find that in a free boson CFT and RCFTs, this time ordering does not affect the entanglement entropy, while in the holographic CFTs, it does. Our main finding is that in the holographic CFTs, the non-unitary time evolution induced by the inhomogeneous Hamiltonian can retain the initial state information longer than in the unitary time evolution.


title: When LLM-based Code Generation Meets the Software Development Process

abstract: Software process models play a pivotal role in fostering collaboration and communication within software teams, enabling them to tackle intricate development tasks effectively. This paper introduces LCG, a code generation framework inspired by established software engineering practices. LCG leverages multiple Large Language Model (LLM) agents to emulate various software process models, namely LCGWaterfall, LCGTDD, and LCGScrum. Each model assigns LLM agents specific roles such as requirement engineer, architect, developer, tester, and scrum master, mirroring typical development activities and communication patterns. Through collaborative efforts utilizing chain-of-thought and prompt composition techniques, the agents continuously refine themselves to enhance code quality. Utilizing GPT3.5 as the underlying LLM and baseline (GPT), we evaluate LCG across four code generation benchmarks: HumanEval, HumanEval-ET, MBPP, and MBPP-ET. Results indicate LCGScrum outperforms other models, achieving Pass@1 scores of 75.2, 65.5, 82.5, and 56.7 in HumanEval, HumanEval-ET, MBPP, and MBPP-ET, respectively - an average 15% improvement over GPT. Analysis reveals distinct impacts of development activities on generated code, with design and code reviews contributing to enhanced exception handling, while design, testing, and code reviews mitigate code smells. Furthermore, temperature values exhibit negligible influence on Pass@1 across all models. However, variations in Pass@1 are notable for different GPT3.5 model versions, ranging from 5 to over 60 in HumanEval, highlighting the stability of LCG across model versions. This stability underscores the importance of adopting software process models to bolster the quality and consistency of LLM-generated code.


title: An edge detection-based deep learning approach for tear meniscus height measurement

abstract: Automatic measurements of tear meniscus height (TMH) have been achieved by using deep learning techniques; however, annotation is significantly influenced by subjective factors and is both time-consuming and labor-intensive. In this paper, we introduce an automatic TMH measurement technique based on edge detection-assisted annotation within a deep learning framework. This method generates mask labels less affected by subjective factors with enhanced efficiency compared to previous annotation approaches. For improved segmentation of the pupil and tear meniscus areas, the convolutional neural network Inceptionv3 was first implemented as an image quality assessment model, effectively identifying higher-quality images with an accuracy of 98.224%. Subsequently, by using the generated labels, various algorithms, including Unet, ResUnet, Deeplabv3+FcnResnet101, Deeplabv3+FcnResnet50, FcnResnet50, and FcnResnet101 were trained, with Unet demonstrating the best performance. Finally, Unet was used for automatic pupil and tear meniscus segmentation to locate the center of the pupil and calculate TMH,respectively. An evaluation of the mask quality predicted by Unet indicated a Mean Intersection over Union of 0.9362, a recall of 0.9261, a precision of 0.9423, and an F1-Score of 0.9326. Additionally, the TMH predicted by the model was assessed, with the fitting curve represented as y= 0.982x-0.862, an overall correlation coefficient of r^2=0.961 , and an accuracy of 94.80% (237/250). In summary, the algorithm can automatically screen images based on their quality,segment the pupil and tear meniscus areas, and automatically measure TMH. Measurement results using the AI algorithm demonstrate a high level of consistency with manual measurements, offering significant support to clinical doctors in diagnosing dry eye disease.


title: A Modular Safety Filter for Safety-Certified Cyber-Physical Systems

abstract: Nowadays, many control systems are networked and embed communication and computation capabilities. Such control architectures are prone to cyber attacks on the cyberinfrastructure. Consequently, there is an impellent need to develop solutions to preserve the plant's safety against potential attacks. To ensure safety, this paper introduces a modular safety filter approach that is effective for a variety of cyber-attack types. This solution can be implemented in combination with existing control and detection algorithms, effectively separating safety from performance. The safety filter does not require information on the reliability of the received command or the feature of the used anomaly detector. It can be implemented in conjunction with high-performance, resilient controllers, to achieve both high performance during normal operation and safety during an attack. As an illustrative example, we have shown the effectiveness of the proposed design considering a multi-agent formation task involving 20 mobile robots. The simulation results testify that the safety filter operates effectively during false data injection and intelligent attacks.


title: Initialisation and Topology Effects in Decentralised Federated Learning

abstract: Fully decentralised federated learning enables collaborative training of individual machine learning models on distributed devices on a communication network while keeping the training data localised. This approach enhances data privacy and eliminates both the single point of failure and the necessity for central coordination. Our research highlights that the effectiveness of decentralised federated learning is significantly influenced by the network topology of connected devices. We propose a strategy for uncoordinated initialisation of the artificial neural networks, which leverages the distribution of eigenvector centralities of the nodes of the underlying communication network, leading to a radically improved training efficiency. Additionally, our study explores the scaling behaviour and choice of environmental parameters under our proposed initialisation strategy. This work paves the way for more efficient and scalable artificial neural network training in a distributed and uncoordinated environment, offering a deeper understanding of the intertwining roles of network structure and learning dynamics.


title: #TeamFollowBack: Detection & Analysis of Follow Back Accounts on Social Media

abstract: Follow back accounts inflate their follower counts by engaging in reciprocal followings. Such accounts manipulate the public and the algorithms by appearing more popular than they really are. Despite their potential harm, no studies have analyzed such accounts at scale. In this study, we present the first large-scale analysis of follow back accounts. We formally define follow back accounts and employ a honeypot approach to collect a dataset of such accounts on X (formerly Twitter). We discover and describe 12 communities of follow back accounts from 12 different countries, some of which exhibit clear political agenda. We analyze the characteristics of follow back accounts and report that they are newer, more engaging, and have more followings and followers. Finally, we propose a classifier for such accounts and report that models employing profile metadata and the ego network demonstrate promising results, although achieving high recall is challenging. Our study enhances understanding of the follow back accounts and discovering such accounts in the wild.


title: Automated System-level Testing of Unmanned Aerial Systems

abstract: Unmanned aerial systems (UAS) rely on various avionics systems that are safety-critical and mission-critical. A major requirement of international safety standards is to perform rigorous system-level testing of avionics software systems. The current industrial practice is to manually create test scenarios, manually/automatically execute these scenarios using simulators, and manually evaluate outcomes. The test scenarios typically consist of setting certain flight or environment conditions and testing the system under test in these settings. The state-of-the-art approaches for this purpose also require manual test scenario development and evaluation. In this paper, we propose a novel approach to automate the system-level testing of the UAS. The proposed approach (AITester) utilizes model-based testing and artificial intelligence (AI) techniques to automatically generate, execute, and evaluate various test scenarios. The test scenarios are generated on the fly, i.e., during test execution based on the environmental context at runtime. The approach is supported by a toolset. We empirically evaluate the proposed approach on two core components of UAS, an autopilot system of an unmanned aerial vehicle (UAV) and cockpit display systems (CDS) of the ground control station (GCS). The results show that the AITester effectively generates test scenarios causing deviations from the expected behavior of the UAV autopilot and reveals potential flaws in the GCS-CDS.


title: Homogeneous multigrid for hybrid discretizations: application to HHO methods

abstract: We prove the uniform convergence of the geometric multigrid V-cycle for hybrid high-order (HHO) and other discontinuous skeletal methods. Our results generalize previously established results for HDG methods, and our multigrid method uses standard smoothers and local solvers that are bounded, convergent, and consistent. We use a weak version of elliptic regularity in our proofs. Numerical experiments confirm our theoretical results.


title: Self-organised dynamics beyond scaling of avalanches: Cyclic stress fluctuations in critical sandpiles

abstract: Recognising changes in collective dynamics in complex systems is essential for predicting potential events and their development. Possessing intrinsic attractors with laws associated with scale invariance, self-organised critical dynamics represent a suitable example for quantitatively studying changes in collective behaviour. We consider two prototypal models of self-organised criticality, the sandpile automata with deterministic (Bak-Tang-Wiesenfeld) and probabilistic (Manna model) dynamical rules, focusing on the nature of stress fluctuations induced by driving - adding grains during the avalanche propagation, and dissipation through avalanches that hit the system boundary. Our analysis of stress evolution time series reveals robust cycles modulated by collective fluctuations with dissipative avalanches. These modulated cycles are multifractal within a broad range of time scales. Features of the associated singularity spectra capture the differences in the dynamic rules behind the self-organised critical states and their response to the increased driving rate, altering the process stochasticity and causing a loss of avalanche scaling. In the related sequences of outflow current, the first return distributions are found to follow modified laws that describe different pathways to the gradual loss of cooperative behaviour in these two models. The spontaneous appearance of cycles is another characteristic of self-organised criticality. It can also help identify the prominence of self-organisational phenomenology in an empirical time series when underlying interactions and driving modes remain hidden.


title: The Waning of the WIMP: Endgame?

abstract: Weakly Interacting Massive Particles (WIMPs) continue to be considered some of the best-motivated Dark Matter (DM) candidates. No conclusive signal, despite an extensive search program that combines, often in a complementary way, direct, indirect, and collider probes, has been however detected so far. This situation might change in the near future with the advent of even larger, multi-ton Direct Detection experiments. We provide here an updated review of the WIMP paradigm, with a focus on selected models that can be probed with upcoming facilities, all relying on the standard freeze-out paradigm for the relic density. We also discuss Collider and Indirect Searches when they provide complementary experimental information.


title: User Experience in Dataset Search Platform Interfaces

abstract: This research investigates User Experience (UX) issues in dataset search platform interfaces, targeting Google Dataset Search and data.europa.eu. It focuses on 6 areas within UX: Initial Interaction, Search Process, Dataset Exploration, Filtering and Sorting, Dataset Actions, and Assistance and Feedback. The evaluation method combines 'The Pandemic Puzzle' user task, think-aloud methods, and demographic and post-task questionnaires. 29 strengths and 63 weaknesses were collected from 19 participants involved in roles within technology firm or academia. While certain insights are specific to particular platforms, most are derived from features commonly observed in dataset search platforms across a variety of fields, implying that our findings are broadly applicable. Observations from commonly found features in dataset search platforms across various fields have led to the development of 10 new design prototypes. Unlike literature retrieval, dataset retrieval involves a significant focus on metadata accessibility and quality, each element of which can impact decision-making. To address issues like reading fatigue from metadata presentation, inefficient methods for results searching, filtering, and selection, along with other unresolved user-centric issues on current platforms. These prototypes concentrate on enhancing metadata-related features. They include a redesigned homepage, an improved search bar, better sorting options, an enhanced search result display, a metadata comparison tool, and a navigation guide. Our aim is to improve usability for a wide range of users, including both developers and researchers.


title: Non-monotone dependence modeling with copulas: an application to the volume-return relationship

abstract: This paper introduces an innovative method for constructing copula models capable of describing arbitrary non-monotone dependence structures. The proposed method enables the creation of such copulas in parametric form, thus allowing the resulting models to adapt to diverse and intricate real-world data patterns. We apply this novel methodology to analyze the relationship between returns and trading volumes in financial markets, a domain where the existence of non-monotone dependencies is well-documented in the existing literature. Our approach exhibits superior adaptability compared to other models which have previously been proposed in the literature, enabling a deeper understanding of the dependence structure among the considered variables.


title: On quasi-linear reaction diffusion systems arising from compartmental SEIR models

abstract: The global existence and boundedness of solutions to quasi-linear reaction-diffusion systems are investigated. The system arises from compartmental models describing the spread of infectious diseases proposed in [Viguerie et al, Appl. Math. Lett. (2021); Viguerie et al, Comput. Mech. (2020)], where the diffusion rate is assumed to depend on the total population, leading to quasilinear diffusion with possible degeneracy. The mathematical analysis of this model has been addressed recently in [Auricchio et al, Math. Method Appl. Sci. (2023] where it was essentially assumed that all sub-populations diffuse at the same rate, which yields a positive lower bound of the total population, thus removing the degeneracy. In this work, we remove this assumption completely and show the global existence and boundedness of solutions by exploiting a recently developed $L^p$-energy method. Our approach is applicable to a larger class of systems and is sufficiently robust to allow model variants and different boundary conditions.


title: Using Large Language Models for OntoClean-based Ontology Refinement

abstract: This paper explores the integration of Large Language Models (LLMs) such as GPT-3.5 and GPT-4 into the ontology refinement process, specifically focusing on the OntoClean methodology. OntoClean, critical for assessing the metaphysical quality of ontologies, involves a two-step process of assigning meta-properties to classes and verifying a set of constraints. Manually conducting the first step proves difficult in practice, due to the need for philosophical expertise and lack of consensus among ontologists. By employing LLMs with two prompting strategies, the study demonstrates that high accuracy in the labelling process can be achieved. The findings suggest the potential for LLMs to enhance ontology refinement, proposing the development of plugin software for ontology tools to facilitate this integration.


title: Localized structures in three-field models: geometrically constrained configurations and the first-order framework

abstract: This work deals with models described by three real scalar fields in one spatial dimension. We study the case where two of the three fields engender kinematical modifications, which respond as geometrical constrictions, that can be used to change the center and/or the tails of the kinklike configurations. An important advantage of our procedure is the construction of a method for the obtention of first-order differential equations that solve the equations of motion and give rise to stable localized structures. We illustrate the general procedure investigating several distinct examples, and suggesting some possibilities of applications of practical use, in particular, to the case of domain walls and skyrmions in magnetic material, collisions of kinks and to deal with braneworld scenarios having a warped five-dimensional anti de Sitter geometry, with a single extra dimension of infinite extent.


title: Existence and multiplicity of solutions for the logarithmic Schr\"{o}dinger equation with a potential on lattice graphs

abstract: In this paper, we consider the existence and multiplicity of solutions for the logarithmic Schr\"{o}dinger equation on lattice graphs $\mathbb{Z}^N$ $$ -\Delta u+V(x) u=u \log u^2, \quad x \in \mathbb{Z}^N, $$ When the potential $V$ is coercive, we obtain infinitely many solutions by adapting some arguments of the Fountain theorem. In the cases of periodic potential, asymptotically periodic potential and bounded potential, we first investigate the existence of ground state solutions via the variation methods, and then we generalize these results from $\mathbb{Z}^N$ to quasi-transitive graphs. Finally, we extend the main results of the paper to the $p$-Laplacian equation with the logarithmic nonlinearity.


title: Change of the sign of the Hubble parameter and its stability in higher-order torsion gravity

abstract: We explore the change in the sign of the Hubble parameter in the early universe and its stability in higher-order torsion gravity. Our study explores the various scenarios involving the sub-relativistic universe, radiation universe, ultra-relativistic universe, dust universe, and stiff fluid universe. Different analytical methods, including power-law, exponential scalar factor, and hybrid scale factor methods, are employed to examine the behavior of the universe about the equation of state (EoS) parameters. This study is based on the previous ones by presenting a more comprehensive analysis of the bouncing scenarios within the higher-order torsion gravity framework. It makes significant progress in reconstructing gravitational Lagrangians, which are tailored to specific parameter values, allowing for a thorough examination of the energy conditions necessary for successful bouncing models. These derived Lagrangians provide analytical solutions for a range of bouncing models, including symmetric bounce, super-bounce, oscillatory bounce, matter bounce, and exponential bouncing settings. The presence of exotic matter is responsible for the accelerated expansion of the universe, as it exhibits substantial negative pressure. A thorough analysis of torsion-based gravity theories and the specific investigations into bouncing scenarios set it apart from previous works exploring alternative gravity theories and their cosmological consequences. These contributions lie in the comprehensive exploration of bouncing models and the detailed examination of the energy conditions in higher-order torsion gravity.


title: Gelfand-Fuchs cohomology for affine superspaces A^(m,n)

abstract: We study the cohomology of Lie superalgebra of vector fields on affine super-spaces $\mathbb{A}^{m,n}$ with trivial coefficients. In this paper we extend the methodology developed in the previous paper (arXiv:2210.16585) to perform the calculation for arbitrary dimensions $(m, n)$ with $m \geq n$. This combined with previously known results for other dimensions $(m, n)$ fully settles the local problem of Gelfand-Fuchs cohomology with trivial coefficients for super-manifolds. As part of the proof we also compute the cohomology of Lie superalgebras $\mathfrak{gl}(m,n)$ with coefficients given by Schur functors of the standard representation.


title: Evolution beats random chance: Performance-dependent network evolution for enhanced computational capacity

abstract: The quest to understand structure-function relationships in networks across scientific disciplines has intensified. However, the optimal network architecture remains elusive, particularly for complex information processing. Therefore, we investigate how optimal and specific network structures form to efficiently solve distinct tasks using a novel framework of performance-dependent network evolution, leveraging reservoir computing principles. Our study demonstrates that task-specific minimal network structures obtained through this framework consistently outperform networks generated by alternative growth strategies and Erd\H{o}s-R\'enyi random networks. Evolved networks exhibit unexpected sparsity and adhere to scaling laws in node-density space while showcasing a distinctive asymmetry in input and information readout nodes distribution. Consequently, we propose a heuristic for quantifying task complexity from performance-dependently evolved networks, offering valuable insights into the evolutionary dynamics of network structure-function relationships. Our findings not only advance the fundamental understanding of process-specific network evolution but also shed light on the design and optimization of complex information processing mechanisms, notably in machine learning.


title: iA$^*$: Imperative Learning-based A$^*$ Search for Pathfinding

abstract: The pathfinding problem, which aims to identify a collision-free path between two points, is crucial for many applications, such as robot navigation and autonomous driving. Classic methods, such as A$^*$ search, perform well on small-scale maps but face difficulties scaling up. Conversely, data-driven approaches can improve pathfinding efficiency but require extensive data labeling and lack theoretical guarantees, making it challenging for practical applications. To combine the strengths of the two methods, we utilize the imperative learning (IL) strategy and propose a novel self-supervised pathfinding framework, termed imperative learning-based A$^*$ (iA$^*$). Specifically, iA$^*$ is a bilevel optimization process where the lower-level optimization is dedicated to finding the optimal path by a differentiable A$^*$ search module, and the upper-level optimization narrows down the search space to improve efficiency via setting suitable initial values from a data-driven model. Besides, the model within the upper-level optimization is a fully convolutional network, trained by the calculated loss in the lower-level optimization. Thus, the framework avoids extensive data labeling and can be applied in diverse environments. Our comprehensive experiments demonstrate that iA$^*$ surpasses both classical and data-driven methods in pathfinding efficiency and shows superior robustness among different tasks, validated with public datasets and simulation environments.


title: On the complexity and approximability of Bounded access Lempel Ziv coding

abstract: We study the complexity of constructing an optimal parsing $\varphi$ of a string ${\bf s} = s_1 \dots s_n$ under the constraint that given a position $p$ in the original text, and the LZ76-like (Lempel Ziv 76) encoding of $T$ based on $\varphi$, it is possible to identify/decompress the character $s_p$ by performing at most $c$ accesses to the LZ encoding, for a given integer $c.$ We refer to such a parsing $\varphi$ as a $c$-bounded access LZ parsing or $c$-BLZ parsing of ${\bf s}.$ We show that for any constant $c$ the problem of computing the optimal $c$-BLZ parsing of a string, i.e., the one with the minimum number of phrases, is NP-hard and also APX hard, i.e., no PTAS can exist under the standard complexity assumption $P \neq NP.$ We also study the ratio between the sizes of an optimal $c$-BLZ parsing of a string ${\bf s}$ and an optimal LZ76 parsing of ${\bf s}$ (which can be greedily computed in polynomial time).


title: RAAMove: A Corpus for Analyzing Moves in Research Article Abstracts

abstract: Move structures have been studied in English for Specific Purposes (ESP) and English for Academic Purposes (EAP) for decades. However, there are few move annotation corpora for Research Article (RA) abstracts. In this paper, we introduce RAAMove, a comprehensive multi-domain corpus dedicated to the annotation of move structures in RA abstracts. The primary objective of RAAMove is to facilitate move analysis and automatic move identification. This paper provides a thorough discussion of the corpus construction process, including the scheme, data collection, annotation guidelines, and annotation procedures. The corpus is constructed through two stages: initially, expert annotators manually annotate high-quality data; subsequently, based on the human-annotated data, a BERT-based model is employed for automatic annotation with the help of experts' modification. The result is a large-scale and high-quality corpus comprising 33,988 annotated instances. We also conduct preliminary move identification experiments using the BERT-based model to verify the effectiveness of the proposed corpus and model. The annotated corpus is available for academic research purposes and can serve as essential resources for move analysis, English language teaching and writing, as well as move/discourse-related tasks in Natural Language Processing (NLP).


title: Operational Experience and R&D results using the Google Cloud for High Energy Physics in the ATLAS experiment

abstract: The ATLAS experiment at CERN relies on a worldwide distributed computing Grid infrastructure to support its physics program at the Large Hadron Collider. ATLAS has integrated cloud computing resources to complement its Grid infrastructure and conducted an R&D program on Google Cloud Platform. These initiatives leverage key features of commercial cloud providers: lightweight configuration and operation, elasticity and availability of diverse infrastructure. This paper examines the seamless integration of cloud computing services as a conventional Grid site within the ATLAS workflow management and data management systems, while also offering new setups for interactive, parallel analysis. It underscores pivotal results that enhance the on-site computing model and outlines several R&D projects that have benefited from large-scale, elastic resource provisioning models. Furthermore, this study discusses the impact of cloud-enabled R\&D projects in three domains: accelerators and AI/ML, ARM CPUs and columnar data analysis techniques.


title: Non-Abelian Fourier Analysis on $\mathbf{\Gamma}\backslash SE(d)$

abstract: This paper presents a systematic study for the general theory of non-Abelian Fourier series of integrable functions on the homogeneous space $\mathbf{\Gamma}\backslash SE(d)$, where $SE(d)$ is the special Euclidean group in dimension $d$, and $\mathbf{\mathbf{\Gamma}}$ is a discrete and co-compact subgroup of $SE(d)$. Suppose that $\mu$ is the finite $SE(d)$-invariant measure on the right coset space $\mathbf{\Gamma}\backslash SE(d)$, normalized with respect to Weil's formula. The analytic aspects of the proposed method works for any given orthonormal basis of the Hilbert function space $L^2(\mathbf{\Gamma}\backslash SE(d),\mu)$. The paper is concluded with some convolution and Plancherel formulas.


title: LAMPER: LanguAge Model and Prompt EngineeRing for zero-shot time series classification

abstract: This study constructs the LanguAge Model with Prompt EngineeRing (LAMPER) framework, designed to systematically evaluate the adaptability of pre-trained language models (PLMs) in accommodating diverse prompts and their integration in zero-shot time series (TS) classification. We deploy LAMPER in experimental assessments using 128 univariate TS datasets sourced from the UCR archive. Our findings indicate that the feature representation capacity of LAMPER is influenced by the maximum input token threshold imposed by PLMs.


title: Cognitive resilience: Unraveling the proficiency of image-captioning models to interpret masked visual content

abstract: This study explores the ability of Image Captioning (IC) models to decode masked visual content sourced from diverse datasets. Our findings reveal the IC model's capability to generate captions from masked images, closely resembling the original content. Notably, even in the presence of masks, the model adeptly crafts descriptive textual information that goes beyond what is observable in the original image-generated captions. While the decoding performance of the IC model experiences a decline with an increase in the masked region's area, the model still performs well when important regions of the image are not masked at high coverage.


title: Integrated path stability selection

abstract: Stability selection is a widely used method for improving the performance of feature selection algorithms. However, stability selection has been found to be highly conservative, resulting in low sensitivity. Further, the theoretical bound on the expected number of false positives, E(FP), is relatively loose, making it difficult to know how many false positives to expect in practice. In this paper, we introduce a novel method for stability selection based on integrating the stability paths rather than maximizing over them. This yields a tighter bound on E(FP), resulting in a feature selection criterion that has higher sensitivity in practice and is better calibrated in terms of matching the target E(FP). Our proposed method requires the same amount of computation as the original stability selection algorithm, and only requires the user to specify one input parameter, a target value for E(FP). We provide theoretical bounds on performance, and demonstrate the method on simulations and real data from cancer gene expression studies.


title: Diffusion-based Aesthetic QR Code Generation via Scanning-Robust Perceptual Guidance

abstract: QR codes, prevalent in daily applications, lack visual appeal due to their conventional black-and-white design. Integrating aesthetics while maintaining scannability poses a challenge. In this paper, we introduce a novel diffusion-model-based aesthetic QR code generation pipeline, utilizing pre-trained ControlNet and guided iterative refinement via a novel classifier guidance (SRG) based on the proposed Scanning-Robust Loss (SRL) tailored with QR code mechanisms, which ensures both aesthetics and scannability. To further improve the scannability while preserving aesthetics, we propose a two-stage pipeline with Scanning-Robust Perceptual Guidance (SRPG). Moreover, we can further enhance the scannability of the generated QR code by post-processing it through the proposed Scanning-Robust Projected Gradient Descent (SRPGD) post-processing technique based on SRL with proven convergence. With extensive quantitative, qualitative, and subjective experiments, the results demonstrate that the proposed approach can generate diverse aesthetic QR codes with flexibility in detail. In addition, our pipelines outperforming existing models in terms of Scanning Success Rate (SSR) 86.67% (+40%) with comparable aesthetic scores. The pipeline combined with SRPGD further achieves 96.67% (+50%). Our code will be available https://github.com/jwliao1209/DiffQRCode.


title: TrustSQL: Benchmarking Text-to-SQL Reliability with Penalty-Based Scoring

abstract: Text-to-SQL enables users to interact with databases using natural language, simplifying the retrieval and synthesis of information. Despite the remarkable success of large language models (LLMs) in translating natural language questions into SQL queries, widespread deployment remains limited due to two primary challenges. First, the effective use of text-to-SQL models depends on users' understanding of the model's capabilities-the scope of questions the model can correctly answer. Second, the absence of abstention mechanisms can lead to incorrect SQL generation going unnoticed, thereby undermining trust in the model's output. To enable wider deployment, it is crucial to address these challenges in model design and enhance model evaluation to build trust in the model's output. To this end, we introduce TrustSQL, a novel comprehensive benchmark designed to evaluate text-to-SQL reliability-defined as a model's ability to correctly handle any type of input question by generating correct SQL queries for feasible questions and abstaining from generating infeasible ones (e.g., due to schema incompatibility or functionalities beyond SQL). We evaluate existing methods using a novel penalty-based scoring metric with two modeling approaches: (1) pipeline-based methods combining SQL generators with infeasible question detectors and SQL error detectors for abstention; and (2) unified methods using a single model for the entire task. Our experimental results reveal that achieving high scores under severe penalties requires significant effort and provide a new perspective on developing text-to-SQL models for safer deployment. TrustSQL is available at https://github.com/glee4810/TrustSQL.


title: Semiclassical Limit of the Bogoliubov-de Gennes Equation

abstract: In this paper, we rewrite the time-dependent Bogoliubov$\unicode{x2013}$de Gennes equation in an appropriate semiclassical form and establish its semiclassical limit to a two-particle kinetic transport equation with an effective mean-field background potential satisfying the one-particle Vlasov equation. Moreover, for some semiclassical regimes, we obtain a higher-order correction to the two-particle kinetic transport equation, capturing a nontrivial two-body interaction effect. The convergence is proven for $C^2$ interaction potentials in terms of a semiclassical optimal transport pseudo-metric. Furthermore, combining our current results with the results of Marcantoni et al. [arXiv:2310.15280], we establish a joint semiclassical and mean-field approximation of the dynamics of a system of spin-$\frac{1}{2}$ Fermions by the Vlasov equation in some negative order Sobolev topology.


title: Fast and Unified Path Gradient Estimators for Normalizing Flows

abstract: Recent work shows that path gradient estimators for normalizing flows have lower variance compared to standard estimators for variational inference, resulting in improved training. However, they are often prohibitively more expensive from a computational point of view and cannot be applied to maximum likelihood training in a scalable manner, which severely hinders their widespread adoption. In this work, we overcome these crucial limitations. Specifically, we propose a fast path gradient estimator which improves computational efficiency significantly and works for all normalizing flow architectures of practical relevance. We then show that this estimator can also be applied to maximum likelihood training for which it has a regularizing effect as it can take the form of a given target energy function into account. We empirically establish its superior performance and reduced variance for several natural sciences applications.


title: VLUE: A New Benchmark and Multi-task Knowledge Transfer Learning for Vietnamese Natural Language Understanding

abstract: The success of Natural Language Understanding (NLU) benchmarks in various languages, such as GLUE for English, CLUE for Chinese, KLUE for Korean, and IndoNLU for Indonesian, has facilitated the evaluation of new NLU models across a wide range of tasks. To establish a standardized set of benchmarks for Vietnamese NLU, we introduce the first Vietnamese Language Understanding Evaluation (VLUE) benchmark. The VLUE benchmark encompasses five datasets covering different NLU tasks, including text classification, span extraction, and natural language understanding. To provide an insightful overview of the current state of Vietnamese NLU, we then evaluate seven state-of-the-art pre-trained models, including both multilingual and Vietnamese monolingual models, on our proposed VLUE benchmark. Furthermore, we present CafeBERT, a new state-of-the-art pre-trained model that achieves superior results across all tasks in the VLUE benchmark. Our model combines the proficiency of a multilingual pre-trained model with Vietnamese linguistic knowledge. CafeBERT is developed based on the XLM-RoBERTa model, with an additional pretraining step utilizing a significant amount of Vietnamese textual data to enhance its adaptation to the Vietnamese language. For the purpose of future research, CafeBERT is made publicly available for research purposes.


title: From Raw Data to Safety: Reducing Conservatism by Set Expansion

abstract: In response to safety concerns associated with learning-based algorithms, safety filters have been proposed as a modular technique. Generally, these filters heavily rely on the system's model, which is contradictory if they are intended to enhance a data-driven or end-to-end learning solution. This paper extends our previous work, a purely Data-Driven Safety Filter (DDSF) based on Willems' lemma, to an extremely short-sighted and non-conservative solution. Specifically, we propose online and offline sample-based methods to expand the safe set of DDSF and reduce its conservatism. Since this method is defined in an input-output framework, it can systematically handle both unknown and time-delay LTI systems using only one single batch of data. To evaluate its performance, we apply the proposed method to a time-delay system under various settings. The simulation results validate the effectiveness of the set expansion algorithm in generating a notably large input-output safe set, resulting in safety filters that are not conservative, even with an extremely short prediction horizon.


title: UPSS: a User-centric Private Storage System with its applications

abstract: Strong confidentiality, integrity, user control, reliability and performance are critical requirements in privacy-sensitive applications. Such applications would benefit from a data storage and sharing infrastructure that provides these properties even in decentralized topologies with untrusted storage backends, but users today are forced to choose between systemic security properties and system reliability or performance. As an alternative to this status quo we present UPSS: the user-centric private sharing system, a cryptographic storage system that can be used as a conventional filesystem or as the foundation for security-sensitive applications such as redaction with integrity and private revision control. We demonstrate that both the security and performance properties of UPSS exceed that of existing cryptographic filesystems and that its performance is comparable to mature conventional filesystems - in some cases, even superior. Whether used directly via its Rust API or as a conventional filesystem, UPSS provides strong security and practical performance on untrusted storage.


title: STEntConv: Predicting Disagreement with Stance Detection and a Signed Graph Convolutional Network

abstract: The rise of social media platforms has led to an increase in polarised online discussions, especially on political and socio-cultural topics such as elections and climate change. We propose a simple and novel unsupervised method to predict whether the authors of two posts agree or disagree, leveraging user stances about named entities obtained from their posts. We present STEntConv, a model which builds a graph of users and named entities weighted by stance and trains a Signed Graph Convolutional Network (SGCN) to detect disagreement between comment and reply posts. We run experiments and ablation studies and show that including this information improves disagreement detection performance on a dataset of Reddit posts for a range of controversial subreddit topics, without the need for platform-specific features or user history.


title: Leveraging Zero-Shot Prompting for Efficient Language Model Distillation

abstract: This paper introduces a novel approach for efficiently distilling LLMs into smaller, application-specific models, significantly reducing operational costs and manual labor. Addressing the challenge of deploying computationally intensive LLMs in specific applications or edge devices, this technique utilizes LLMs' reasoning capabilities to generate labels and natural language rationales for unlabeled data. Our approach enhances both finetuning and distillation by employing a multi-task training framework where student models mimic these rationales alongside teacher predictions. Key contributions include the employment of zero-shot prompting to elicit teacher model rationales, reducing the necessity for handcrafted few-shot examples and lowering the overall token count required, which directly translates to cost savings given the pay-per-token billing model of major tech companies' LLM APIs. Additionally, the paper investigates the impact of explanation properties on distillation efficiency, demonstrating that minimal performance loss occurs even when rationale augmentation is not applied across the entire dataset, facilitating further reductions of tokens. This research marks a step toward the efficient training of task-specific models with minimal human intervention, offering substantial cost-savings while maintaining, or even enhancing, performance.


title: Tutorial: AI-assisted exploration and active design of polymers with high intrinsic thermal conductivity

abstract: Designing polymers with high intrinsic thermal conductivity (TC) is critically important for the thermal management of organic electronics and photonics. However, this is a challenging task owing to the diversity of the chemical space and the barriers to advanced synthetic experiments/characterization techniques for polymers. In this Tutorial, the fundamentals and implementation of combining classical molecular dynamics simulation and machine learning (ML) for the development of polymers with high TC are comprehensively introduced. We begin by describing the core components of a universal ML framework, involving polymer datasets, property calculators, feature engineering and informatics algorithms. Then, the process of constructing interpretable regression algorithms for TC prediction is introduced, aiming to extract the underlying relationships between microstructures and TCs for polymers. We also explore the design of sequence-ordered polymers with high TC using lightweight and mainstream active learning algorithms. Lastly, we conclude by addressing the current limitations and suggesting potential avenues for future research on this topic.

categories: cond-mat.soft cond-mat.mtrl-sci physics.app-ph physics.chem-ph physics.comp-ph


title: The $L^p$-spectrum of the Laplacian on forms over warped products and Kleinian groups

abstract: In this article, we generalize the set of manifolds over which the $L^p$-spectrum of the Laplacian on $k$-forms depends on $p$. We will consider the case of manifolds that are warped products at infinity and certain quotients of Hyperbolic space. In the case of warped products at infinity we prove that the $L^p$-spectrum of the Laplacian on $k$-forms contains a parabolic region which depends on $k$, $p$ and the limiting curvature $a_0$ at infinity. For $M=\mathbb{H}^{N+1}/\Gamma $ with $\Gamma$ a geometrically finite group such that $M$ has infinite volume and no cusps, we prove that the $L^p$-spectrum of the Laplacian on $k$-forms is a exactly a parabolic region together with a set of isolated eigenvalues on the real line.


title: Fine Structure of Singularities in Area-Minimizing Currents Mod$(q)$

abstract: We study fine structural properties related to the interior regularity of $m$-dimensional area minimizing currents mod$(q)$ in arbitrary codimension. We show: (i) the set of points where at least one tangent cone is translation invariant along $m-1$ directions is locally a connected $C^{1,\beta}$ submanifold, and moreover such points have unique tangent cones; (ii) the remaining part of the singular set is countably $(m-2)$-rectifiable, with a unique flat tangent cone (with multiplicity) at $\mathcal{H}^{m-2}$-a.e. flat singular point. These results are consequences of fine excess decay theorems as well as almost monotonicity of a universal frequency function.


title: Complex algebraic stacks and morphisms of intersection complexes

abstract: We generalize a construction of Barthel-Brasselet-Fieseler-Gabber-Kaup in the setting of complex varieties to the setting of finite type, complex algebraic stacks. Given two such stacks $\mathcal{X},\mathcal{Y}$ with affine stabilizers, and a morphism between them, we construct a morphism from the pullback of the intersection complex of $\mathcal{Y}$ to the intersection complex of $\mathcal{X}$. As an application, we show that the Borel-Moore fundamental class of a closed substack $\mathcal{Z}$ in a Deligne-Mumford stack $\mathcal{X}$ lifts to a class in the intersection cohomology of $\mathcal{X}$.


title: Human Motion Prediction under Unexpected Perturbation

abstract: We investigate a new task in human motion prediction, which is predicting motions under unexpected physical perturbation potentially involving multiple people. Compared with existing research, this task involves predicting less controlled, unpremeditated and pure reactive motions in response to external impact and how such motions can propagate through people. It brings new challenges such as data scarcity and predicting complex interactions. To this end, we propose a new method capitalizing differential physics and deep neural networks, leading to an explicit Latent Differential Physics (LDP) model. Through experiments, we demonstrate that LDP has high data efficiency, outstanding prediction accuracy, strong generalizability and good explainability. Since there is no similar research, a comprehensive comparison with 11 adapted baselines from several relevant domains is conducted, showing LDP outperforming existing research both quantitatively and qualitatively, improving prediction accuracy by as much as 70%, and demonstrating significantly stronger generalization.


title: Coarsely separation of groups and spaces

abstract: Inspired by a classical theorem of topological dimension theory, we prove that every geodesic metric space of asymptotic dimension $n$ containing a bi-infinite geodesic can be coarsely separated by a subset $S$ of asymptotic dimension equal to or smaller than $n-1$.\\ We define asymptotic Cantor manifolds, and we prove that every finitely generated group contains such a manifold. We also state some questions related to them.


title: Plane waves, harmonic analysis in de Sitter and anti de Sitter Quantum Field Theory and the spectral condition

abstract: We review the role of the spectral condition as a characteristic feature unifying Minkowski, de Sitter and anti de Sitter Quantum Field Theory. In this context, we highlight the role of an important class of plane waves which are either de Sitter or anti de Sitter covariant and are compatible with the relevant analyticity domains linked to the spectral condition(s). We show again how to expand the two-point functions and propagators in terms of them and some of the advantages of doing so rather than using special coordinate systems and separated variables.


title: Rational approximation of holomorphic semigroups revisited

abstract: Using a recently developed $\mathcal H$-calculus we propose a unified approach to the study of rational approximations of holomorphic semigroups on Banach spaces. We provide unified and simple proofs to a number of basic results on semigroup approximations and substantially improve some of them. We show that many of our estimates are essentially optimal, thus complementing the existing literature.


title: A Deep Learning Architectures for Kidney Disease Classification

abstract: Deep learning has become an extremely powerful tool for complex tasks such as image classification and segmentation. The medical industry often lacks high-quality, balanced datasets, which can be a challenge for deep learning algorithms that need sufficiently large amounts of data to train and increase their performance. This is especially important in the context of kidney issues such as for stones, cysts and tumors. We used deep learning models for this study to classify or detect several types of kidney diseases. We use different classification models, such as VGG-19, (CNNs) Convolutional Neural Networks, ResNet-101, VGG-16, ResNet-50, and DenseNet-169, which can be enhanced through techniques such as classification, segmentation, and transfer learning. These algorithms can help improve model accuracy by allowing them to learn from multiple datasets. This technique has the potential to revolutionize the diagnosis and treatment of kidney problems as it enables more accurate and effective classification of CT-scan images. This may ultimately lead to better patient outcomes and improved overall health outcomes.