title: Reachability in temporal graphs under perturbation

abstract: Reachability and other path-based measures on temporal graphs can be used to understand spread of infection, information, and people in modelled systems. Due to delays and errors in reporting, temporal graphs derived from data are unlikely to perfectly reflect reality, especially with respect to the precise times at which edges appear. To reflect this uncertainty, we consider a model in which some number $\zeta$ of edge appearances may have their timestamps perturbed by $\pm\delta$ for some $\delta$. Within this model, we investigate temporal reachability and consider the problem of determining the maximum number of vertices any vertex can reach under these perturbations. We show that this problem is intractable in general but is efficiently solvable when $\zeta$ is sufficiently large. We also give algorithms which solve this problem in several restricted settings. We complement this with some contrasting results concerning the complexity of related temporal eccentricity problems under perturbation.


title: Mitigating and Analysis of Memory Usage Attack in IoE System

abstract: Internet of Everything (IoE) is a newly emerging trend, especially in homes. Marketing forces toward smart homes are also accelerating the spread of IoE devices in households. An obvious risk of the rapid adoption of these smart devices is that many lack controls for protecting the privacy and security of end users from attacks designed to disrupt lives and incur financial losses. Today the smart home is a system for managing the basic life support processes of both small systems, e.g., commercial, office premises, apartments, cottages, and largely automated complexes, e.g., commercial and industrial complexes. One of the critical tasks to be solved by the concept of a modern smart home is the problem of preventing the usage of IoE resources. Recently, there has been a rapid increase in attacks on consumer IoE devices. Memory corruption vulnerabilities constitute a significant class of vulnerabilities in software security through which attackers can gain control of an entire system. Numerous memory corruption vulnerabilities have been found in IoE firmware already deployed in the consumer market. This paper aims to analyze and explain the resource usage attack and create a low-cost simulation environment to aid in the dynamic analysis of the attack. Further, we perform controlled resource usage attacks while measuring resource consumption on resource-constrained victims' IoE devices, such as CPU and memory utilization. We also build a lightweight algorithm to detect memory usage attacks in the IoE environment. The result shows high efficiency in detecting and mitigating memory usage attacks by detecting when the intruder starts and stops the attack.


title: SpecstatOR: Speckle statistics-based iOCT Segmentation Network for Ophthalmic Surgery

abstract: This paper presents an innovative approach to intraoperative Optical Coherence Tomography (iOCT) image segmentation in ophthalmic surgery, leveraging statistical analysis of speckle patterns to incorporate statistical pathology-specific prior knowledge. Our findings indicate statistically different speckle patterns within the retina and between retinal layers and surgical tools, facilitating the segmentation of previously unseen data without the necessity for manual labeling. The research involves fitting various statistical distributions to iOCT data, enabling the differentiation of different ocular structures and surgical tools. The proposed segmentation model aims to refine the statistical findings based on prior tissue understanding to leverage statistical and biological knowledge. Incorporating statistical parameters, physical analysis of light-tissue interaction, and deep learning informed by biological structures enhance segmentation accuracy, offering potential benefits to real-time applications in ophthalmic surgical procedures. The study demonstrates the adaptability and precision of using Gamma distribution parameters and the derived binary maps as sole inputs for segmentation, notably enhancing the model's inference performance on unseen data.


title: FactCheck Editor: Multilingual Text Editor with End-to-End fact-checking

abstract: We introduce 'FactCheck Editor', an advanced text editor designed to automate fact-checking and correct factual inaccuracies. Given the widespread issue of misinformation, often a result of unintentional mistakes by content creators, our tool aims to address this challenge. It supports over 90 languages and utilizes transformer models to assist humans in the labor-intensive process of fact verification. This demonstration showcases a complete workflow that detects text claims in need of verification, generates relevant search engine queries, and retrieves appropriate documents from the web. It employs Natural Language Inference (NLI) to predict the veracity of claims and uses LLMs to summarize the evidence and suggest textual revisions to correct any errors in the text. Additionally, the effectiveness of models used in claim detection and veracity assessment is evaluated across multiple languages.


title: Commuting matrices via commuting endomorphisms

abstract: Evidences have suggested that counting representations are sometimes tractable even when the corresponding classification problem is almost impossible, or "wild" in a precise sense. Such counting problems are directly related to matrix counting problems, many of which are under active research. Using a general framework we formulate for such counting problems, we reduce some counting problems about commuting matries to problems about endomorphisms on all finite abelian $p$-groups. As an application, we count finite modules on some first examples of nonreduced curves over $\mathbb{F}_q$. We also relate some classical and hard problems regarding commuting triples of matrices to a conjecture of Onn on counting conjugacy classes of the automorphism group of an arbitrary finite abelian $p$-group.


title: More Compute Is What You Need

abstract: Large language model pre-training has become increasingly expensive, with most practitioners relying on scaling laws to allocate compute budgets for model size and training tokens, commonly referred to as Compute-Optimal or Chinchilla Optimal. In this paper, we hypothesize a new scaling law that suggests model performance depends mostly on the amount of compute spent for transformer-based models, independent of the specific allocation to model size and dataset size. Using this unified scaling law, we predict that (a) for inference efficiency, training should prioritize smaller model sizes and larger training datasets, and (b) assuming the exhaustion of available web datasets, scaling the model size might be the only way to further improve model performance.


title: IID Relaxation by Logical Expressivity: A Research Agenda for Fitting Logics to Neurosymbolic Requirements

abstract: Neurosymbolic background knowledge and the expressivity required of its logic can break Machine Learning assumptions about data Independence and Identical Distribution. In this position paper we propose to analyze IID relaxation in a hierarchy of logics that fit different use case requirements. We discuss the benefits of exploiting known data dependencies and distribution constraints for Neurosymbolic use cases and argue that the expressivity required for this knowledge has implications for the design of underlying ML routines. This opens a new research agenda with general questions about Neurosymbolic background knowledge and the expressivity required of its logic.


title: Safe Training with Sensitive In-domain Data: Leveraging Data Fragmentation To Mitigate Linkage Attacks

abstract: Current text generation models are trained using real data which can potentially contain sensitive information, such as confidential patient information and the like. Under certain conditions output of the training data which they have memorised can be triggered, exposing sensitive data. To mitigate against this risk we propose a safer alternative which sees fragmented data in the form of domain-specific short phrases randomly grouped together shared instead of full texts. Thus, text fragments that could re-identify an individual cannot be reproduced by the model in one sequence, giving significant protection against linkage attacks. We fine-tune several state-of-the-art LLMs using meaningful syntactic chunks to explore their utility. In particular, we fine-tune BERT-based models to predict two cardiovascular diagnoses. Our results demonstrate the capacity of LLMs to benefit from the pre-trained knowledge and deliver classification results when fine-tuned with fragmented data comparable to fine-tuning with full training data.


title: Finetuning greedy kernel models by exchange algorithms

abstract: Kernel based approximation offers versatile tools for high-dimensional approximation, which can especially be leveraged for surrogate modeling. For this purpose, both "knot insertion" and "knot removal" approaches aim at choosing a suitable subset of the data, in order to obtain a sparse but nevertheless accurate kernel model. In the present work, focussing on kernel based interpolation, we aim at combining these two approaches to further improve the accuracy of kernel models, without increasing the computational complexity of the final kernel model. For this, we introduce a class of kernel exchange algorithms (KEA). The resulting KEA algorithm can be used for finetuning greedy kernel surrogate models, allowing for an reduction of the error up to 86.4% (17.2% on average) in our experiments.


title: Theoretical investigation of the relations between quantum decoherence and weak-to-strong measurement transition

abstract: This paper delves into the crucial aspects of pointer-induced quantum decoherence and the transition between von Neumann's projective strong measurement and Aharonov's weak measurement. Both phenomena significantly impact the dynamical understanding of quantum measurement processes. Specifically, we focus on the interplay between quantum decoherence and the transition from weak to strong measurement by deducing and comparing the quantum decoherence and weak-to-strong measurement transition factors within a general model and using the well-known Stern-Gerlach experiment as an illustrative example. Our findings reveal that both phenomena can be effectively characterized by a universal transition factor intricately linked to the coupling between the system and the measurement apparatus. The analysis presented can clarify the mechanism behind the relations of quantum decoherence to the weak measurement and weak-to-strong measurement transition.


title: EvGNN: An Event-driven Graph Neural Network Accelerator for Edge Vision

abstract: Edge vision systems combining sensing and embedded processing promise low-latency, decentralized, and energy-efficient solutions that forgo reliance on the cloud. As opposed to conventional frame-based vision sensors, event-based cameras deliver a microsecond-scale temporal resolution with sparse information encoding, thereby outlining new opportunities for edge vision systems. However, mainstream algorithms for frame-based vision, which mostly rely on convolutional neural networks (CNNs), can hardly exploit the advantages of event-based vision as they are typically optimized for dense matrix-vector multiplications. While event-driven graph neural networks (GNNs) have recently emerged as a promising solution for sparse event-based vision, their irregular structure is a challenge that currently hinders the design of efficient hardware accelerators. In this paper, we propose EvGNN, the first event-driven GNN accelerator for low-footprint, ultra-low-latency, and high-accuracy edge vision with event-based cameras. It relies on three central ideas: (i) directed dynamic graphs exploiting single-hop nodes with edge-free storage, (ii) event queues for the efficient identification of local neighbors within a spatiotemporally decoupled search range, and (iii) a novel layer-parallel processing scheme enabling the low-latency execution of multi-layer GNNs. We deployed EvGNN on a Xilinx KV260 Ultrascale+ MPSoC platform and benchmarked it on the N-CARS dataset for car recognition, demonstrating a classification accuracy of 87.8% and an average latency per event of 16$\mu$s, thereby enabling real-time, microsecond-resolution event-based vision at the edge.


title: Fokker-Planck equation for McKean-Vlasov SPDEs driven by time-space Brownian sheet

abstract: In this paper, we consider a McKean-Vlasov (mean-field) stochastic partial differential equations (SPDEs) driven by a Brownian sheet. We study the propagation of chaos for a space-time Ornstein-Uhlenbeck SPDE type. Subsequently, we prove the existence and uniqueness of a nonlinear McKean-Vlasov SPDE. Finally, we establish a Fokker-Planck equation for the law of the solution of the McKean-Vlasov type SPDE driven by a time-space Brownian sheet, and we provide some examples to illustrate the results obtained.


title: Construction of 2D explicit cubic quasi-interpolating splines in Bernstein-B\'ezier form

abstract: In this paper, the construction of $C^{1}$ cubic quasi-interpolants on a three-direction mesh of $\RR^{2}$ is addressed. The quasi-interpolating splines are defined by directly setting their Bernstein-B\'{e}zier coefficients relative to each triangle from point and gradient values in order to reproduce the polynomials of the highest possible degree. Moreover, additional global properties are required. Finally, we provide some numerical tests confirming the approximation properties.


title: Reducing Communication Overhead in the IoT-Edge-Cloud Continuum: A Survey on Protocols and Data Reduction Strategies

abstract: The adoption of the Internet of Things (IoT) deployments has led to a sharp increase in network traffic as a vast number of IoT devices communicate with each other and IoT services through the IoT-edge-cloud continuum. This network traffic increase poses a major challenge to the global communications infrastructure since it hinders communication performance and also puts significant strain on the energy consumption of IoT devices. To address these issues, efficient and collaborative IoT solutions which enable information exchange while reducing the transmitted data and associated network traffic are crucial. This survey provides a comprehensive overview of the communication technologies and protocols as well as data reduction strategies that contribute to this goal. First, we present a comparative analysis of prevalent communication technologies in the IoT domain, highlighting their unique characteristics and exploring the potential for protocol composition and joint usage to enhance overall communication efficiency within the IoT-edge-cloud continuum. Next, we investigate various data traffic reduction techniques tailored to the IoT-edge-cloud context and evaluate their applicability and effectiveness on resource-constrained and devices. Finally, we investigate the emerging concepts that have the potential to further reduce the communication overhead in the IoT-edge-cloud continuum, including cross-layer optimization strategies and Edge AI techniques for IoT data reduction. The paper offers a comprehensive roadmap for developing efficient and scalable solutions across the layers of the IoT-edge-cloud continuum that are beneficial for real-time processing to alleviate network congestion in complex IoT environments.


title: Spherically symmetric Einstein-scalar-field equations for slowly particle-like decaying null infinity

abstract: We show that the spherically symmetric Einstein-scalar-field equations for small slowly particle-like decaying initial data at null infinity have unique global solutions.


title: The harms of class imbalance corrections for machine learning based prediction models: a simulation study

abstract: Risk prediction models are increasingly used in healthcare to aid in clinical decision making. In most clinical contexts, model calibration (i.e., assessing the reliability of risk estimates) is critical. Data available for model development are often not perfectly balanced with respect to the modeled outcome (i.e., individuals with vs. without the event of interest are not equally represented in the data). It is common for researchers to correct this class imbalance, yet, the effect of such imbalance corrections on the calibration of machine learning models is largely unknown. We studied the effect of imbalance corrections on model calibration for a variety of machine learning algorithms. Using extensive Monte Carlo simulations we compared the out-of-sample predictive performance of models developed with an imbalance correction to those developed without a correction for class imbalance across different data-generating scenarios (varying sample size, the number of predictors and event fraction). Our findings were illustrated in a case study using MIMIC-III data. In all simulation scenarios, prediction models developed without a correction for class imbalance consistently had equal or better calibration performance than prediction models developed with a correction for class imbalance. The miscalibration introduced by correcting for class imbalance was characterized by an over-estimation of risk and was not always able to be corrected with re-calibration. Correcting for class imbalance is not always necessary and may even be harmful for clinical prediction models which aim to produce reliable risk estimates on an individual basis.


title: Percentage Coefficient (bp) -- Effect Size Analysis (Theory Paper 1)

abstract: Percentage coefficient (bp) has emerged in recent publications as an additional and alternative estimator of effect size for regression analysis. This paper retraces the theory behind the estimator. It's posited that an estimator must first serve the fundamental function of enabling researchers and readers to comprehend an estimand, the target of estimation. It may then serve the instrumental function of enabling researchers and readers to compare two or more estimands. Defined as the regression coefficient when dependent variable (DV) and independent variable (IV) are both on conceptual 0-1 percentage scales, percentage coefficients (bp) feature 1) clearly comprehendible interpretation and 2) equitable scales for comparison. The coefficient (bp) serves the two functions effectively and efficiently. It thus serves needs unserved by other indicators, such as raw coefficient (bw) and standardized beta. Another premise of the functionalist theory is that "effect" is not a monolithic concept. Rather, it is a collection of concepts, each of which measures a component of the conglomerate called "effect", thereby serving a subfunction. Regression coefficient (b), for example, indicates the unit change in DV associated with a one-unit increase in IV, thereby measuring one aspect called unit effect, aka efficiency. Percentage coefficient (bp) indicates the percentage change in DV associated with a whole scale increase in IV. It is not meant to be an all-encompassing indicator of an all-encompassing concept, but rather a comprehendible and comparable indicator of efficiency, a key aspect of effect.


title: Online and Offline Robust Multivariate Linear Regression

abstract: We consider the robust estimation of the parameters of multivariate Gaussian linear regression models. To this aim we consider robust version of the usual (Mahalanobis) least-square criterion, with or without Ridge regularization. We introduce two methods each considered contrast: (i) online stochastic gradient descent algorithms and their averaged versions and (ii) offline fix-point algorithms. Under weak assumptions, we prove the asymptotic normality of the resulting estimates. Because the variance matrix of the noise is usually unknown, we propose to plug a robust estimate of it in the Mahalanobis-based stochastic gradient descent algorithms. We show, on synthetic data, the dramatic gain in terms of robustness of the proposed estimates as compared to the classical least-square ones. Well also show the computational efficiency of the online versions of the proposed algorithms. All the proposed algorithms are implemented in the R package RobRegression available on CRAN.


title: Light Cone Cancellation for Variational Quantum Eigensolver Ansatz

abstract: Variational Quantum Algorithms (VQAs) represent a class of algorithms that utilize a hybrid approach, combining classical and quantum computing techniques. In this approach, classical computers serve as optimizers that update circuit parameters to find approximate solutions to complex problems. In this study, we apply a method known as Light Cone Cancellation (LCC) to optimize variational circuits, effectively reducing the required number of qubits and gates for circuit simulation. We then evaluate the performance of LCC one of the VQAs -- the Variational Quantum Eigensolver (VQE) -- to address the Max-Cut problem. Compared with the Quantum Approximate Optimization Algorithm (QAOA), VQE offers greater degrees of freedom at lower circuit depths. By applying LCC to VQE, we can shift the complexity of circuit simulation from the number of qubits to the number of edges in the graph, i.e., from exponential time to polynomial time. This enables us to solve large problems up to 50 vertices, without actually simulating the entire circuit. From our simulation in a 7-qubit and a 27-qubit noisy devices, we show that LCC yields higher approximation ratios than those cases without LCC, implying that the effect of noise is reduced when LCC is applied.


title: Into the MAG-verse or: Cosmology of the Complete Quadratic Metric-Affine Gravity

abstract: We study the cosmology of the complete quadratic (in torsion and nonmetricity) metric-affine gravity. Namely, we add to the scalar-curvature gravitational Lagrangian, the 17 independent quadratic (parity-even and parity-odd) torsion and nonmetricity invariants. Sticking to a homogeneous and isotropic Friedmann-Robertson-Walker spacetime and assuming a perfect hyperfluid source, we explore the new effects that torsion and nonmetricity bring into play. It is shown that the inclusion of these invariants offers rich phenomenology. In particular, some well-known examples of exotic matter like cosmic strings, domain walls, stiff matter, etc., emerge quite naturally as manifestations of the fluid's intrinsic structure (hypermomentum). By studying the extended Friedmann equations in the complete quadratic theory and isolating the various parts of the hypermomentum, we find a plethora of solutions with interesting features.


title: Well-posedness of McKean-Vlasov SDEs with density-dependent drift

abstract: In this paper, we study the well-posedness of McKean-Vlasov stochastic differential equations (SDE) whose drift depends pointwisely on marginal density and satisfies a condition about local integrability in time-space variables. The drift is assumed to be Lipschitz continuous in distribution variable with respect to Wasserstein metric $W_p$. Our approach is by approximation with mollified SDEs. We establish a new estimate about H{\"o}lder continuity in time of marginal density. Then we deduce that the marginal distributions (resp. marginal densities) of the mollified SDEs converge in $W_p$ (resp. topology of compact convergence) to the solution of the Fokker-Planck equation associated with the density-dependent SDE. We prove strong existence of a solution. Weak and strong uniqueness are obtained when $p=1$, the drift coefficient is bounded, and the diffusion coefficient is distribution free.


title: Towards Real-world Video Face Restoration: A New Benchmark

abstract: Blind face restoration (BFR) on images has significantly progressed over the last several years, while real-world video face restoration (VFR), which is more challenging for more complex face motions such as moving gaze directions and facial orientations involved, remains unsolved. Typical BFR methods are evaluated on privately synthesized datasets or self-collected real-world low-quality face images, which are limited in their coverage of real-world video frames. In this work, we introduced new real-world datasets named FOS with a taxonomy of "Full, Occluded, and Side" faces from mainly video frames to study the applicability of current methods on videos. Compared with existing test datasets, FOS datasets cover more diverse degradations and involve face samples from more complex scenarios, which helps to revisit current face restoration approaches more comprehensively. Given the established datasets, we benchmarked both the state-of-the-art BFR methods and the video super resolution (VSR) methods to comprehensively study current approaches, identifying their potential and limitations in VFR tasks. In addition, we studied the effectiveness of the commonly used image quality assessment (IQA) metrics and face IQA (FIQA) metrics by leveraging a subjective user study. With extensive experimental results and detailed analysis provided, we gained insights from the successes and failures of both current BFR and VSR methods. These results also pose challenges to current face restoration approaches, which we hope stimulate future advances in VFR research.


title: A Unified Theory of Exact Inference and Learning in Exponential Family Latent Variable Models

abstract: Bayes' rule describes how to infer posterior beliefs about latent variables given observations, and inference is a critical step in learning algorithms for latent variable models (LVMs). Although there are exact algorithms for inference and learning for certain LVMs such as linear Gaussian models and mixture models, researchers must typically develop approximate inference and learning algorithms when applying novel LVMs. In this paper we study the line that separates LVMs that rely on approximation schemes from those that do not, and develop a general theory of exponential family, latent variable models for which inference and learning may be implemented exactly. Firstly, under mild assumptions about the exponential family form of a given LVM, we derive necessary and sufficient conditions under which the LVM prior is in the same exponential family as its posterior, such that the prior is conjugate to the posterior. We show that all models that satisfy these conditions are constrained forms of a particular class of exponential family graphical model. We then derive general inference and learning algorithms, and demonstrate them on a variety of example models. Finally, we show how to compose our models into graphical models that retain tractable inference and learning. In addition to our theoretical work, we have implemented our algorithms in a collection of libraries with which we provide numerous demonstrations of our theory, and with which researchers may apply our theory in novel statistical settings.


title: Interplay between Vector-like Lepton and Seesaw Mechanism:Oblique Corrections

abstract: The non-vanishing neutrino mass strongly hints the existence of right-handed neutrinos (RHNs), singlets of the standard model (SM). However, they are highly decoupled from the SM and difficult to probe. In this work, we consider the Majorana RHNs from the type-I seesaw mechanism may well mix with the heavy neutral lepton dwelling in certain vector-like lepton (VLL), thus acquiring a sizable electroweak charge. Such a simple scenario yields many interesting consequences, and the imprint on oblique corrections, well expected from the mass splitting between components of VLL by virtue of VLL-RHN mixing, is our focus here. We analytically calculate the Peskin-Takeuchi parameters S, T and U with full details, carefully treating the Majorana loop to obtain the self consistent expressions free of divergence. Then, we constrain on the VLL-RHN system which only gives a sizable $T$ parameter using the PDG-2021 data and CDF-II data, separately, by imposing $T\lesssim{\cal O}(0.1)$. It is found that for the RHN and VLL below the TeV scale, with a properly large mixing, stands in the frontier of the electroweak precision test such as W-boson mass.


title: Kuroda's Translation for Higher-Order Logic

abstract: In 1951, Kuroda defined an embedding of classical first-order logic into intuitionistic logic, such that a formula and its translation are equivalent in classical logic. Recently, Brown and Rizkallah extended this translation to higher-order logic, but did not prove the classical equivalence, and showed that the embedding fails in the presence of functional extensionality. We prove that functional extensionality and propositional extensionality are sufficient to derive the classical equivalence between a higher-order formula and its translation. We emphasize a condition under which Kuroda's translation works with functional extensionality.


title: SPHERE RefPlanets: Search for epsilon Eridani b and warm dust

abstract: We carried out very deep VLT/SPHERE imaging polarimetry of the nearby system Eps Eri based on 38.5 hours of integration time with a 600 - 900 nm broadband filter to search for polarized scattered light from a planet or from circumstellar dust using AO, coronagraphy, high precision differential polarimetry, and angular differential imaging. We have improved several data reduction and post-processing techniques and also developed new ones to further increase the sensitivity of SPHERE/ZIMPOL. The data provide unprecedented contrast limits, but no significant detection of a point source or an extended signal from circumstellar dust. For each observing epoch, we obtained a point source contrast for the polarized intensity between $2\cdot 10^{-8}$ and $4\cdot 10^{-8}$ at the expected separation of the planet Eps Eri b of 1'' near quadrature phase. The polarimetric contrast limits are about six to 50 times better than the intensity limits because polarimetric imaging is much more efficient in speckle suppression. Combining the entire 14-month data set to the search for a planet moving on a Keplerian orbit with the K-Stacker software further improves the contrast limits by a factor of about two, to about $8 \cdot 10^{-9}$ at 1''. This would allow the detection of a planet with a radius of about 2.5 Jupiter radii. The surface brightness contrast limits achieved for the polarized intensity from an extended scattering region are about 15 mag arcsec$^{-2}$ at 1'', or up to 3 mag arcsec$^{-2}$ deeper than previous limits. For Eps Eri, these limits exclude the presence of a narrow dust ring and they constrain the dust properties. This study shows that the polarimetric contrast limits for reflecting planets with SPHERE/ZIMPOL can be improved to a level $<10^{-8}$ simply by collecting more data over many nights and using the K-Stacker software.


title: Context-Aware Machine Translation with Source Coreference Explanation

abstract: Despite significant improvements in enhancing the quality of translation, context-aware machine translation (MT) models underperform in many cases. One of the main reasons is that they fail to utilize the correct features from context when the context is too long or their models are overly complex. This can lead to the explain-away effect, wherein the models only consider features easier to explain predictions, resulting in inaccurate translations. To address this issue, we propose a model that explains the decisions made for translation by predicting coreference features in the input. We construct a model for input coreference by exploiting contextual features from both the input and translation output representations on top of an existing MT model. We evaluate and analyze our method in the WMT document-level translation task of English-German dataset, the English-Russian dataset, and the multilingual TED talk dataset, demonstrating an improvement of over 1.0 BLEU score when compared with other context-aware models.


title: High power single crystal KTA optical parametric amplifier for efficient 1.4-3.5 $\mu$m mid-IR radiation generation

abstract: In this paper, we present a single crystal, KTA (potassium titanyl-arsenate, KTiOAsO$_4$) based picosecond optical parametric amplifier pumped by an in-house built 1030 nm Yb:YAG thin-disk laser, capable of tunability from 1.46 to 3.5 $\mu$m, operating at 90 kHz, with high average power in the signal and idler beams. The highest output power of 8.9 W was reached for the 1750 nm signal beam with 19% conversion efficiency and the respective 2500 nm idler beam power was 6.2 W with 13% efficiency. The highest combined signal and idler mid-IR power was obtained at 17 W at the 2060 nm wavelength degeneracy point.


title: Choosing a consultant in a dynamic investment problem

abstract: Consider a dynamic decision-making scenario where at every stage the investor has to choose between investing in one of two projects or gathering more information. At each stage, the investor may seek counsel from one of several consultants, who, for a fixed cost, provide partial information about the realized state. We explore the optimal strategy and its dependence on the belief and the consultation cost. Our analysis reveals that if one of the consultants discloses the state with a nonzero probability, this consultant will be used in any optimal strategy, provided the consultation cost is sufficiently small.


title: Temporal Graph ODEs for Irregularly-Sampled Time Series

abstract: Modern graph representation learning works mostly under the assumption of dealing with regularly sampled temporal graph snapshots, which is far from realistic, e.g., social networks and physical systems are characterized by continuous dynamics and sporadic observations. To address this limitation, we introduce the Temporal Graph Ordinary Differential Equation (TG-ODE) framework, which learns both the temporal and spatial dynamics from graph streams where the intervals between observations are not regularly spaced. We empirically validate the proposed approach on several graph benchmarks, showing that TG-ODE can achieve state-of-the-art performance in irregular graph stream tasks.


title: Do Large Language Models Understand Conversational Implicature -- A case study with a chinese sitcom

abstract: Understanding the non-literal meaning of an utterance is critical for large language models (LLMs) to become human-like social communicators. In this work, we introduce SwordsmanImp, the first Chinese multi-turn-dialogue-based dataset aimed at conversational implicature, sourced from dialogues in the Chinese sitcom $\textit{My Own Swordsman}$. It includes 200 carefully handcrafted questions, all annotated on which Gricean maxims have been violated. We test eight close-source and open-source LLMs under two tasks: a multiple-choice question task and an implicature explanation task. Our results show that GPT-4 attains human-level accuracy (94%) on multiple-choice questions. CausalLM demonstrates a 78.5% accuracy following GPT-4. Other models, including GPT-3.5 and several open-source models, demonstrate a lower accuracy ranging from 20% to 60% on multiple-choice questions. Human raters were asked to rate the explanation of the implicatures generated by LLMs on their reasonability, logic and fluency. While all models generate largely fluent and self-consistent text, their explanations score low on reasonability except for GPT-4, suggesting that most LLMs cannot produce satisfactory explanations of the implicatures in the conversation. Moreover, we find LLMs' performance does not vary significantly by Gricean maxims, suggesting that LLMs do not seem to process implicatures derived from different maxims differently. Our data and code are available at https://github.com/sjtu-compling/llm-pragmatics.


title: First observation of $\Lambda_{b}^{0} \rightarrow \Sigma_c^{(*)++} D^{(*)-} K^{-}$ decays

abstract: The four decays, $\Lambda_{b}^{0} \rightarrow \Sigma_c^{(*)++} D^{(*)-} K^{-}$, are observed for the first time using proton-proton collision data collected with the LHCb detector at a centre-of-mass energy of $13\,\rm{TeV}$, corresponding to an integrated luminosity of $6\,\rm{fb}^{-1}$. By considering the $\Lambda_b^0 \rightarrow \Lambda_c^{+} \overline{D}^0 K^{-}$ decay as reference channel, the following branching fraction ratios are measured to be, $$\frac{\cal{B} (\Lambda_{b}^{0} \rightarrow \Sigma_{c}^{++} \rm{D}^{-} {K}^{-})}{\cal{B}(\Lambda_{b}^{0} \rightarrow \Lambda_c^{+} \rm \overline{D}^0 {K}^{-})} = {0.282}\pm{0.016}\pm{0.016}\pm{0.005}, \frac{\cal{B}(\Lambda_{b}^{0} \rightarrow \Sigma_{c}^{*++} \rm {D}^{-} {K}^{-})}{\cal{B}(\Lambda_{b}^{0} \rightarrow \Sigma_c^{++} \rm {D}^{-} {K}^{-})} = {0.460}\pm{0.052}\pm{0.028}, \frac{\cal{B}(\Lambda_{b}^{0} \rightarrow \Sigma_{c}^{++} \rm {D}^{*-} {K}^{-})}{\cal{B}(\Lambda_{b}^{0} \rightarrow \Sigma_c^{++} \rm {D}^{-} {K}^{-})} = {2.261}\pm{0.202}\pm{0.129}\pm{0.046}, \frac{\cal{B}(\Lambda_{b}^{0} \rightarrow \Sigma_{c}^{*++} \rm D^{*-} K^{-})}{\cal{B}(\Lambda_{b}^{0} \rightarrow \Sigma_c^{++} \rm D^{-} K^{-})} = {0.896}\pm{0.137}\pm{0.066}\pm{0.018},$$ where the first uncertainties are statistical, the second are systematic, and the third are due to uncertainties in the branching fractions of intermediate particle decays. These initial observations mark the beginning of pentaquark searches in these modes, with more data set to become available following the LHCb upgrade.


title: Thermalization via three-wave mixing

abstract: We discuss thermalization in a multimode quantum cavity under unitary evolution. According to general principles, an isolated system with quadratic couplings does not exhibit thermalization. However, we find that three-wave perturbation, typical for instance in superconducting Josephson systems, may lead to thermalization into a Bose-Einstein distribution of occupations of the modes. The temperature of this state is dictated by energy conservation in this closed system, and the thermal distribution is robust against weak disturbances. We discuss how our findings open up new avenues to experimentally probe fundamental assumptions of statistical physics in solid-state systems.


title: Comparison of the high-order Runge-Kutta discontinuous Galerkin method and gas-kinetic scheme for inviscid compressible flow simulations

abstract: The Runge--Kutta discontinuous Galerkin (RKDG) method is a high-order technique for addressing hyperbolic conservation laws, which has been refined over recent decades and is effective in handling shock discontinuities. Despite its advancements, the RKDG method faces challenges, such as stringent constraints on the explicit time-step size and reduced robustness when dealing with strong discontinuities. On the other hand, the Gas-Kinetic Scheme (GKS) based on a high-order gas evolution model also delivers significant accuracy and stability in solving hyperbolic conservation laws through refined spatial and temporal discretizations. Unlike RKDG, GKS allows for more flexible CFL number constraints and features an advanced flow evolution mechanism at cell interfaces. Additionally, GKS' compact spatial reconstruction enhances the accuracy of the method and its ability to capture stable strong discontinuities effectively. In this study, we conduct a thorough examination of the RKDG method using various numerical fluxes and the GKS method employing both compact and non-compact spatial reconstructions. Both methods are applied under the framework of explicit time discretization and are tested solely in inviscid scenarios. We will present numerous numerical tests and provide a comparative analysis of the outcomes derived from these two computational approaches.


title: A Smartphone-Based Method for Assessing Tomato Nutrient Status through Trichome Density Measurement

abstract: Accurately assessing tomato plant nutrient status is crucial for maintaining high yields. Consequently, accurately identifying fertilizer-induced stress through the morphological traits of tomato plants has become a critical agricultural challenge. Research and development efforts have focused on developing noninvasive diagnostic tools for nutrition that leverage a combination of morphological traits and advanced sensor technologies. Given these advancements, detecting fertilizer stress by observing morphological traits near the growth points of tomatoes is still a significant challenge. To address this challenge, we developed a simple and cost-effective smartphone-based method for measuring trichome density. This method involves transferring trichomes from the surface of a leaf onto cellophane tape and capturing images using a smartphone. The images are processed using computer vision techniques to calculate the trichome density. To assess the efficacy of this method, we performed experiments on hydroponically grown tomato plants subjected to varying fertilizer concentrations. Our results indicate that our novel method for measuring trichome density accurately reflects fertilizer stress in tomato plants. The predictive performance of our model, as evaluated by the mean area under the precision recall curve, was 0.824, despite variations in the measurement data caused by differences in optical conditions. This study introduces an innovative approach for designing diagnostic devices for detecting fertilizer stress in plants by considering the surface structures of plants. Our proposed method represents a straightforward, efficient, and economical approach for evaluating the nutrient status of tomato plants and has the potential to overcome the limitations of conventional noncontact optical methods.


title: Chirality and odd mechanics in active columnar phases

abstract: Chiral active materials display odd dynamical effects in both their elastic and viscous responses. We show that the most symmetric mesophase with two-dimensional odd elasticity in three dimensions is chiral, polar and columnar, with two-dimensional translational order in the plane perpendicular to the columns and no elastic restoring force for their relative sliding. We derive its hydrodynamic equations from those of a chiral active variant of model H. The most striking prediction of the odd dynamics is two distinct types of column oscillation whose frequencies do not vanish at zero wavenumber. In addition, activity leads to a buckling instability coming from the generic force-dipole active stress analogous to the mechanical Helfrich-Hurault instability in passive materials, while the chiral torque-dipole active stress fundamentally modifies the instability by the selection of helical column undulations.


title: The earthquake metric on Teichm{\"u}ller space

abstract: This is the first paper to systematically study the earthquake metric, an asymmetric Finsler metric on Teichm{\"u}ller space introduced by Thurston. We provide proofs for several assertions of Thurston and establish new properties of this metric, among which are incompleteness, asymptotic distance to the boundary and comparisons with the Thurston metric and the Weil--Petersson metric. In doing so, we propose a novel asymmetric generalisation of the notion of completion for symmetric metrics, which we call the FD-completion, and prove that for the earthquake metric the FD-completion and various symmetrised metric completions coincide with the Weil--Petersson completion. We also answer a question of Thurston by giving an interpretation of this metric arising from a global minimisation problem, namely, the earthquake magnitude minimisation problem. At several points of this paper, we formulate a certain number of open problems which will show that the earthquake metric constitutes a promising subject.


title: Dimensional crossover in Kardar-Parisi-Zhang growth

abstract: Two-dimensional (2D) KPZ growth is usually investigated on substrates of lateral sizes $L_x=L_y$, so that $L_x$ and the correlation length ($\xi$) are the only relevant lengths determining the scaling behavior. However, in cylindrical geometry, as well as in flat rectangular substrates $L_x \neq L_y$ and, thus, the surfaces can become correlated in a single direction, when $\xi \sim L_x \ll L_y$. From extensive simulations of several KPZ models, we demonstrate that this yields a dimensional crossover in their dynamics, with the roughness scaling as $W \sim t^{\beta_{\text{2D}}}$ for $t \ll t_c$ and $W \sim t^{\beta_{\text{1D}}}$ for $t \gg t_c$, where $t_c \sim L_x^{1/z_{2\text{D}}}$. The height distributions (HDs) also cross over from the 2D flat [cylindrical] HD to the asymptotic Tracy-Widom GOE [GUE] distribution. Moreover, 2D-to-1D crossovers are found also in the asymptotic growth velocity and in the steady state regime of flat systems, where a family of universal HDs exists, interpolating between the 2D and 1D ones as $L_y/L_x$ increases. Importantly, the crossover scalings are fully determined and indicate a possible way to solve 2D KPZ models.


title: Inexact subgradient methods for semialgebraic functions

abstract: Motivated by the widespread use of approximate derivatives in machine learning and optimization, we study inexact subgradient methods with non-vanishing additive errors and step sizes. In the nonconvex semialgebraic setting, under boundedness assumptions, we prove that the method provides points that eventually fluctuate close to the critical set at a distance proportional to $\epsilon^\rho$ where $\epsilon$ is the error in subgradient evaluation and $\rho$ relates to the geometry of the problem. In the convex setting, we provide complexity results for the averaged values. We also obtain byproducts of independent interest, such as descent-like lemmas for nonsmooth nonconvex problems and some results on the limit of affine interpolants of differential inclusions.


title: MGCBS: An Optimal and Efficient Algorithm for Solving Multi-Goal Multi-Agent Path Finding Problem

abstract: With the expansion of the scale of robotics applications, the multi-goal multi-agent pathfinding (MG-MAPF) problem began to gain widespread attention. This problem requires each agent to visit pre-assigned multiple goal points at least once without conflict. Some previous methods have been proposed to solve the MG-MAPF problem based on Decoupling the goal Vertex visiting order search and the Single-agent pathfinding (DVS). However, this paper demonstrates that the methods based on DVS cannot always obtain the optimal solution. To obtain the optimal result, we propose the Multi-Goal Conflict-Based Search (MGCBS), which is based on Decoupling the goal Safe interval visiting order search and the Single-agent pathfinding (DSS). Additionally, we present the Time-Interval-Space Forest (TIS Forest) to enhance the efficiency of MGCBS by maintaining the shortest paths from any start point at any start time step to each safe interval at the goal points. The experiment demonstrates that our method can consistently obtain optimal results and execute up to 7 times faster than the state-of-the-art method in our evaluation.


title: Generating Robust Counterfactual Witnesses for Graph Neural Networks

abstract: This paper introduces a new class of explanation structures, called robust counterfactual witnesses (RCWs), to provide robust, both counterfactual and factual explanations for graph neural networks. Given a graph neural network M, a robust counterfactual witness refers to the fraction of a graph G that are counterfactual and factual explanation of the results of M over G, but also remains so for any "disturbed" G by flipping up to k of its node pairs. We establish the hardness results, from tractable results to co-NP-hardness, for verifying and generating robust counterfactual witnesses. We study such structures for GNN-based node classification, and present efficient algorithms to verify and generate RCWs. We also provide a parallel algorithm to verify and generate RCWs for large graphs with scalability guarantees. We experimentally verify our explanation generation process for benchmark datasets, and showcase their applications.


title: Passivation of Clustered DC Microgrids with Non-Monotone Loads

abstract: In this paper, we consider the problem of voltage stability in DC networks containing uncertain loads with non-monotone incremental impedances and where the steady-state power availability is restricted to a subset of the buses in the network. We propose controllers for powered buses that guarantee voltage regulation and output strictly equilibrium independent passivity (OS-EIP) of the controlled buses, while buses without power are equipped with controllers that dampen their transient behaviour. The OS-EIP of a cluster containing both bus types is verified through a linear matrix inequality (LMI) condition, and the asymptotic stability of the overall microgrid with uncertain, non-monotone loads is ensured by interconnecting the OS-EIP clusters. By further employing singular perturbation theory, we show that the OS-EIP property of the clusters is robust against certain network parameter and topology changes.


title: Nonlinear scalarization of Schwarzschild black holes in Einstein-scalar-Gauss-Bonnet gravity

abstract: In this paper, we propose a fully nonlinear mechanism for obtaining scalarized black holes in Einstein-scalar-Gauss-Bonnet (EsGB) gravity which is beyond the spontaneous scalarization. Introducing three coupling functions $f(\varphi)$ satisfying $f''(0) = 0$, we find that Schwarzschild black hole is linearly stable against scalar perturbation, whereas it is unstable against nonlinear scalar perturbation if the coupling function includes term higher than $\varphi^6$. For a specific choice of coupling function $f(\varphi)=\alpha(\varphi^4-\beta\varphi^6)$, we obtain new black holes with scalar hair in the EsGB gravity. In this case, the coupling parameter $\alpha$ plays a major role in making different nonlinear scalarized black holes, while the other parameter $\beta$ plays a supplementary role. Furthermore, we study thermodynamic aspects of these scalarized black holes and prove the first-law of thermodynamics.


title: Stable properties under weakly geometrically flat maps

abstract: In this note we show that a weakly geometrically flat map $\pi$ : M $\rightarrow$ N between pure dimensional complex spaces has the local lifting property for cycles. From this result we also deduce that, under these hypotheses, several properties of M are transferred to N.


title: TRAC: a tool for data-aware coordination (with an application to smart contracts)

abstract: We propose TRAC, a tool for the specification and verification of coordinated multiparty distributed systems. Relying on finite-state machines (FSMs) where transition labels look like Hoare triples, \thetool can specify the coordination of the participants of a distributed protocol for instance an execution model akin blockchain smart contracts (SCs). In fact, the transitions of our FSMs yield guards, and assignments over data variables, and with participants binders. The latter allow us to model scenarios with an unbounded number of participants which can vary at run-time. We introduce a notion of well-formedness to rule out meaningless or problematic specifications. This notion is verified with TRAC and demonstrated on several case studies borrowed from the smart contracts domain. Then, we evaluate the performance of TRAC using a set of randomised examples, studying the correlations between the features supported and the time taken to decide well-formedness.


title: DARWIN/XLZD: a future xenon observatory for dark matter and other rare interactions

abstract: The DARWIN/XLZD experiment is a next-generation dark matter detector with a multi-ten-ton liquid xenon time projection chamber at its core. Its principal goal will be to explore the experimentally accessible parameter space for Weakly Interacting Massive Particles (WIMPs) in a wide mass-range, until interactions of astrophysical neutrinos will become an irreducible background. The prompt scintillation light and the charge signals induced by particle interactions in the liquid xenon target will be observed by VUV-sensitive, ultra-low background photosensors. Besides its excellent sensitivity to WIMPs with masses above $\sim$5\,GeV, such a detector with its large mass, low-energy threshold and ultra-low background level will also be sensitive to other rare interactions, and in particular also to bosonic dark matter candidates with masses at the keV-scale. We present the detector concept, discuss the main sources of backgrounds, the technological challenges and some of the ongoing detector design and R&D efforts, as well as the large-scale demonstrators. We end by discussing the sensitivity to particle dark matter interactions.


title: MicroDreamer: Zero-shot 3D Generation in $\sim$20 Seconds by Score-based Iterative Reconstruction

abstract: Optimization-based approaches, such as score distillation sampling (SDS), show promise in zero-shot 3D generation but suffer from low efficiency, primarily due to the high number of function evaluations (NFEs) required for each sample. In this paper, we introduce score-based iterative reconstruction (SIR), an efficient and general algorithm mimicking a differentiable 3D reconstruction process to reduce the NFEs. Given a single set of images sampled from a multi-view score-based diffusion model, SIR repeatedly optimizes 3D parameters, unlike the single-step optimization in SDS. With other improvements in training, we present an efficient approach called MicroDreamer that generally applies to various 3D representations and 3D generation tasks. In particular, retaining a comparable performance, MicroDreamer is 5-20 times faster than SDS in generating neural radiance field and takes about 20 seconds to generate meshes from 3D Gaussian splatting on a single A100 GPU, halving the time of the fastest zero-shot baseline, DreamGaussian. Our code is available at \url{https://github.com/ML-GSAI/MicroDreamer}.


title: Scale and Conformal Invariance in 2d Sigma Models, with an Application to N=4 Supersymmetry

abstract: By adapting previously known arguments concerning Ricci flow and the c-theorem, we give a direct proof that in a two-dimensional sigma-model with compact target space, scale invariance implies conformal invariance in perturbation theory. This argument, which applies to a general sigma-model constructed with a target space metric and B-field, is in accord with a more general proof in the literature that applies to arbitrary two-dimensional quantum field theories. Models with extended supersymmetry and a B-field are known to provide interesting test cases for the relation between scale invariance and conformal invariance in sigma-model perturbation theory. We give examples showing that in such models, the obstructions to conformal invariance suggested by general arguments can actually occur in models with target spaces that are not compact or complete. Thus compactness of the target space, or at least a suitable condition of completeness, is necessary as well as sufficient to ensure that scale invariance implies conformal invariance in models of this type.


title: Revealing the Two Sides of Data Augmentation: An Asymmetric Distillation-based Win-Win Solution for Open-Set Recognition

abstract: In this paper, we reveal the two sides of data augmentation: enhancements in closed-set recognition correlate with a significant decrease in open-set recognition. Through empirical investigation, we find that multi-sample-based augmentations would contribute to reducing feature discrimination, thereby diminishing the open-set criteria. Although knowledge distillation could impair the feature via imitation, the mixed feature with ambiguous semantics hinders the distillation. To this end, we propose an asymmetric distillation framework by feeding teacher model extra raw data to enlarge the benefit of teacher. Moreover, a joint mutual information loss and a selective relabel strategy are utilized to alleviate the influence of hard mixed samples. Our method successfully mitigates the decline in open-set and outperforms SOTAs by 2%~3% AUROC on the Tiny-ImageNet dataset and experiments on large-scale dataset ImageNet-21K demonstrate the generalization of our method.


title: Tree P{\'o}lya Splitting distributions for multivariate count data

abstract: In this article, we develop a new class of multivariate distributions adapted for count data, called Tree P{\'o}lya Splitting. This class results from the combination of a univariate distribution and singular multivariate distributions along a fixed partition tree. As we will demonstrate, these distributions are flexible, allowing for the modeling of complex dependencies (positive, negative, or null) at the observation level. Specifically, we present the theoretical properties of Tree P{\'o}lya Splitting distributions by focusing primarily on marginal distributions, factorial moments, and dependency structures (covariance and correlations). The abundance of 17 species of Trichoptera recorded at 49 sites is used, on one hand, to illustrate the theoretical properties developed in this article on a concrete case, and on the other hand, to demonstrate the interest of this type of models, notably by comparing them to classical approaches in ecology or microbiome.


title: Status Report on Global Pulsar-Timing-Array Efforts to Detect Gravitational Waves

abstract: The stability of the spin of pulsars and the precision with which these spins can be determined, allows many unique tests of interest to physics and astrophysics. Perhaps the most challenging and revolutionary of these, is the detection of nanohertz gravitational waves. An increasing number of efforts to detect and study long-period gravitational waves by timing an array of pulsars have been ongoing for several decades and the field is moving ever closer to actual gravitational-wave science. In this review article, we summarise the state of this field by presenting the current sensitivity to gravitational waves and by reviewing recent progress along the multiple lines of research that are part of the continuous push towards greater sensitivity. We also briefly review some of the most recent efforts at astrophysical interpretation of the most recent GW estimates derived from pulsar timing.


title: Prospects for weighing neutrinos in interacting dark energy models using joint observations of gravitational waves and $\gamma$-ray bursts

abstract: In this work, we explore the capability of future gravitational wave (GW) standard siren observations to constrain the total neutrino mass in some typical interacting dark energy (IDE) models. We examine the combined potential of the third-generation ground-based GW detector network and a short $\gamma$-ray burst (GRB) detector similar to the THESEUS telescope for cosmological analysis. Our findings suggest that future GW standard siren observations could modestly refine the upper limit on the total neutrino mass, enhancing it by $5\%$ to $10\%$ over the existing limit given by the CMB+BAO+SN data. Additionally, the future observations are expected to significantly improve the constraints on $\Omega_{\rm m}$ and $H_0$. Moreover, the measurements could enhance the precision of the coupling strength $\beta$ by $23\%$ to $42\%$.


title: MoST: Multi-modality Scene Tokenization for Motion Prediction

abstract: Many existing motion prediction approaches rely on symbolic perception outputs to generate agent trajectories, such as bounding boxes, road graph information and traffic lights. This symbolic representation is a high-level abstraction of the real world, which may render the motion prediction model vulnerable to perception errors (e.g., failures in detecting open-vocabulary obstacles) while missing salient information from the scene context (e.g., poor road conditions). An alternative paradigm is end-to-end learning from raw sensors. However, this approach suffers from the lack of interpretability and requires significantly more training resources. In this work, we propose tokenizing the visual world into a compact set of scene elements and then leveraging pre-trained image foundation models and LiDAR neural networks to encode all the scene elements in an open-vocabulary manner. The image foundation model enables our scene tokens to encode the general knowledge of the open world while the LiDAR neural network encodes geometry information. Our proposed representation can efficiently encode the multi-frame multi-modality observations with a few hundred tokens and is compatible with most transformer-based architectures. To evaluate our method, we have augmented Waymo Open Motion Dataset with camera embeddings. Experiments over Waymo Open Motion Dataset show that our approach leads to significant performance improvements over the state-of-the-art.


title: Optimized Soft-Aided Decoding of OFEC and Staircase Codes

abstract: We propose a novel soft-aided hard-decision decoding algorithm for general product-like codes. It achieves error correcting performance similar to that of a soft-decision turbo decoder for staircase and OFEC codes, while maintaining a low complexity.


title: Shocks in the Warm Neutral Medium I -- Theoretical model

abstract: Context. Atomic and molecular line emissions from shocks may provide valuable information on the injection of mechanical energy in the interstellar medium (ISM), the generation of turbulence, and the processes of phase transition between the Warm Neutral Medium (WNM) and the Cold Neutral Medium (CNM).Aims. In this series of papers, we investigate the properties of shocks propagating in the WNM. Our objective is to identify the tracers of these shocks, use them to interpret ancillary observations of the local diffuse matter, and provide predictions for future observations. Methods. Shocks propagating in the WNM are studied using the Paris-Durham shock code, a multi-fluid model built to follow the thermodynamical and chemical structures of shock waves, at steady-state, in a plane-parallel geometry. The code, already designed to take into account the impact of an external radiation field, is updated to treat self-irradiated shocks at intermediate ($30<V_S <100$ km s$^{-1}$) and high velocity ($V_S \ge 100$ km s$^{-1}$) which emit ultraviolet (UV), extreme-ultraviolet (EUV), and X-ray photons. The couplings between the photons generated by the shock, the radiative precursor, and the shock structure are computed self-consistently using an exact radiative transfer algorithm for line emission. The resulting code is explored over a wide range of parameters ($0.1 \le n_H \le 2$ cm$^{-3}$, $10 \le V_S \le 500$ km s$^{-1}$, and $0.1 \le B \le 10$ $\mu$G) that covers the typical conditions of the WNM in the solar neighborhood. Results. The explored physical conditions are prompt to the existence of a diversity of stationary magnetohydrodynamic solutions, including J-type, CJ-type, and C-type shocks. These shocks are found to naturally induce phase transition between the WNM and the CNM, provided that the postshock thermal pressure is larger than the maximum pressure of the WNM and that the maximum density allowed by magnetic compression is larger than the minimum density of the CNM. The input flux of mechanical energy is primarily reprocessed into line emissions from the X-ray to the submillimeter domain. Intermediate and high velocity shocks are found to generate a UV radiation field that scales as $V_S^3$ for $V_S < 100$ km s$^{-1}$ and as $V_S^2$ at higher velocities, and an X-ray radiation field that scales as $V_S^3$ for $V_S \ge 100$ km s$^{-1}$. Both radiation fields may extend over large distances in the preshock depending of the density of the surrounding medium and the hardness of the X-ray field which is solely driven by the shock velocity. Conclusions. This first paper presents the thermochemical trajectories of shocks in the WNM and their associated spectra. It corresponds to a new milestone in the development of the Paris-Durham shock code and a stepping stone for the analysis of observations that will be carried out in forthcoming works.


title: MIPI 2024 Challenge on Nighttime Flare Removal: Methods and Results

abstract: The increasing demand for computational photography and imaging on mobile platforms has led to the widespread development and integration of advanced image sensors with novel algorithms in camera systems. However, the scarcity of high-quality data for research and the rare opportunity for in-depth exchange of views from industry and academia constrain the development of mobile intelligent photography and imaging (MIPI). Building on the achievements of the previous MIPI Workshops held at ECCV 2022 and CVPR 2023, we introduce our third MIPI challenge including three tracks focusing on novel image sensors and imaging algorithms. In this paper, we summarize and review the Nighttime Flare Removal track on MIPI 2024. In total, 170 participants were successfully registered, and 14 teams submitted results in the final testing phase. The developed solutions in this challenge achieved state-of-the-art performance on Nighttime Flare Removal. More details of this challenge and the link to the dataset can be found at https://mipi-challenge.org/MIPI2024/.


title: Ferroelectrically-enhanced Schottky barrier transistors for Logic-in-Memory applications

abstract: Artificial neural networks (ANNs) have had an enormous impact on a multitude of sectors, from research to industry, generating an unprecedented demand for tailor-suited hardware platforms. Their training and execution is highly memory-intensive, clearly evidencing the limitations affecting the currently available hardware based on the von Neumann architecture, which requires frequent data shuttling due to the physical separation of logic and memory units. This does not only limit the achievable performances but also greatly increases the energy consumption, hindering the integration of ANNs into low-power platforms. New Logic in Memory (LiM) architectures, able to unify memory and logic functionalities into a single component, are highly promising for overcoming these limitations, by drastically reducing the need of data transfers. Recently, it has been shown that a very flexible platform for logic applications can be realized recurring to a multi-gated Schottky-Barrier Field Effect Transistor (SBFET). If equipped with memory capabilities, this architecture could represent an ideal building block for versatile LiM hardware. To reach this goal, here we investigate the integration of a ferroelectric Hf$_{0.5}$Zr$_{0.5}$O$_2$ (HZO) layer onto Dual Top Gated SBFETs. We demonstrate that HZO polarization charges can be successfully employed to tune the height of the two Schottky barriers, influencing the injection behavior, thus defining the transistor mode, switching it between n and p-type transport. The modulation strength is strongly dependent on the polarization pulse height, allowing for the selection of multiple current levels. All these achievable states can be well retained over time, thanks to the HZO stability. The presented result show how ferroelectric-enhanced SBFETs are promising for the realization of novel LiM hardware, enabling low-power circuits for ANNs execution.


title: Physics-Informed Machine Learning On Polar Ice: A Survey

abstract: The mass loss of the polar ice sheets contributes considerably to ongoing sea-level rise and changing ocean circulation, leading to coastal flooding and risking the homes and livelihoods of tens of millions of people globally. To address the complex problem of ice behavior, physical models and data-driven models have been proposed in the literature. Although traditional physical models can guarantee physically meaningful results, they have limitations in producing high-resolution results. On the other hand, data-driven approaches require large amounts of high-quality and labeled data, which is rarely available in the polar regions. Hence, as a promising framework that leverages the advantages of physical models and data-driven methods, physics-informed machine learning (PIML) has been widely studied in recent years. In this paper, we review the existing algorithms of PIML, provide our own taxonomy based on the methods of combining physics and data-driven approaches, and analyze the advantages of PIML in the aspects of accuracy and efficiency. Further, our survey discusses some current challenges and highlights future opportunities, including PIML on sea ice studies, PIML with different combination methods and backbone networks, and neural operator methods.


title: On irreducibility of eccentricity matrix of graphs and construction of $\epsilon-$equienergetic graphs

abstract: The eccentricity matrix $\epsilon(G)$, of a connected graph $G$ is obtained by retaining the maximum distance from each row and column of the distance matrix of $G$ and the other entries are assigned with 0. In this paper, we discuss the eccentricity spectrum of subdivision vertex (edge) join of regular graphs. Also, we obtain new families of graphs having irreducible or reducible eccentricity matrix. Furthermore, we use these results to construct infinitely many $\epsilon-$cospectral graph pairs as well as infinitely many pairs and triplets of $\epsilon-$cospectral $\epsilon-$equienergetic graphs. Moreover, we present some new family of $\epsilon-$integral graphs.


title: Evaluation of An Indoor Localization Engine

abstract: Pedestrian Indoor localization based on modalities available in modern smartphones have been widely studied in literature and many of the specific challenges have been addressed. However, very few approaches consider the whole problem and proposed solutions are very often evaluated under very limited scenarios. We propose a fusion engine for localization that makes use of various data provided by a smartphone (Inertial sensors, pressure sensors, Wi-Fi, BLE, GNSS, map etc.) to provide a fused localization that is robust under harsh conditions (poor RSS coverage, device position change etc.). Moreover, our solution has been evaluated for hardware integration and tested over a large database including more than 250 experiments representing different scenarios, showing feasibility of lightweight implementation and good results over various conditions.


title: Path integral spin dynamics for quantum paramagnets

abstract: A path integral method, combined with atomistic spin dynamics simulations, has been developed to calculate thermal quantum expectation values using a classical approach. In this study, we show how to treat Hamiltonians with non-linear terms, that are relevant for describing uniaxial anisotropies and mechanical constraints. These interactions can be expressed solely through quadratic terms of the spin operator along one axis, that can be identified with the quantisation axis.


title: Eventual Ideal Properties of the Riemann-Liouville Analytic Semigroup

abstract: In this paper, we revisit the Riemann--Liouville analytic semigroup. In particular, we completely characterize the membership to the Schatten class $S^r$ on $L^2(0,1)$, as well as the membership to the class of nuclear operators on $L^p(0,1)$, $p\geq 1$, and the membership to the ideal of absolutely $r$-summing operators for any $r\geq 1$.


title: Ultra Inertial Poser: Scalable Motion Capture and Tracking from Sparse Inertial Sensors and Ultra-Wideband Ranging

abstract: While camera-based capture systems remain the gold standard for recording human motion, learning-based tracking systems based on sparse wearable sensors are gaining popularity. Most commonly, they use inertial sensors, whose propensity for drift and jitter have so far limited tracking accuracy. In this paper, we propose Ultra Inertial Poser, a novel 3D full body pose estimation method that constrains drift and jitter in inertial tracking via inter-sensor distances. We estimate these distances across sparse sensor setups using a lightweight embedded tracker that augments inexpensive off-the-shelf 6D inertial measurement units with ultra-wideband radio-based ranging$-$dynamically and without the need for stationary reference anchors. Our method then fuses these inter-sensor distances with the 3D states estimated from each sensor Our graph-based machine learning model processes the 3D states and distances to estimate a person's 3D full body pose and translation. To train our model, we synthesize inertial measurements and distance estimates from the motion capture database AMASS. For evaluation, we contribute a novel motion dataset of 10 participants who performed 25 motion types, captured by 6 wearable IMU+UWB trackers and an optical motion capture system, totaling 200 minutes of synchronized sensor data (UIP-DB). Our extensive experiments show state-of-the-art performance for our method over PIP and TIP, reducing position error from $13.62$ to $10.65cm$ ($22\%$ better) and lowering jitter from $1.56$ to $0.055km/s^3$ (a reduction of $97\%$).


title: One-Stage Open-Vocabulary Temporal Action Detection Leveraging Temporal Multi-scale and Action Label Features

abstract: Open-vocabulary Temporal Action Detection (Open-vocab TAD) is an advanced video analysis approach that expands Closed-vocabulary Temporal Action Detection (Closed-vocab TAD) capabilities. Closed-vocab TAD is typically confined to localizing and classifying actions based on a predefined set of categories. In contrast, Open-vocab TAD goes further and is not limited to these predefined categories. This is particularly useful in real-world scenarios where the variety of actions in videos can be vast and not always predictable. The prevalent methods in Open-vocab TAD typically employ a 2-stage approach, which involves generating action proposals and then identifying those actions. However, errors made during the first stage can adversely affect the subsequent action identification accuracy. Additionally, existing studies face challenges in handling actions of different durations owing to the use of fixed temporal processing methods. Therefore, we propose a 1-stage approach consisting of two primary modules: Multi-scale Video Analysis (MVA) and Video-Text Alignment (VTA). The MVA module captures actions at varying temporal resolutions, overcoming the challenge of detecting actions with diverse durations. The VTA module leverages the synergy between visual and textual modalities to precisely align video segments with corresponding action labels, a critical step for accurate action identification in Open-vocab scenarios. Evaluations on widely recognized datasets THUMOS14 and ActivityNet-1.3, showed that the proposed method achieved superior results compared to the other methods in both Open-vocab and Closed-vocab settings. This serves as a strong demonstration of the effectiveness of the proposed method in the TAD task.


title: RAG and RAU: A Survey on Retrieval-Augmented Language Model in Natural Language Processing

abstract: Large Language Models (LLMs) have catalyzed significant advancements in Natural Language Processing (NLP), yet they encounter challenges such as hallucination and the need for domain-specific knowledge. To mitigate these, recent methodologies have integrated information retrieved from external resources with LLMs, substantially enhancing their performance across NLP tasks. This survey paper addresses the absence of a comprehensive overview on Retrieval-Augmented Language Models (RALMs), both Retrieval-Augmented Generation (RAG) and Retrieval-Augmented Understanding (RAU), providing an in-depth examination of their paradigm, evolution, taxonomy, and applications. The paper discusses the essential components of RALMs, including Retrievers, Language Models, and Augmentations, and how their interactions lead to diverse model structures and applications. RALMs demonstrate utility in a spectrum of tasks, from translation and dialogue systems to knowledge-intensive applications. The survey includes several evaluation methods of RALMs, emphasizing the importance of robustness, accuracy, and relevance in their assessment. It also acknowledges the limitations of RALMs, particularly in retrieval quality and computational efficiency, offering directions for future research. In conclusion, this survey aims to offer a structured insight into RALMs, their potential, and the avenues for their future development in NLP. The paper is supplemented with a Github Repository containing the surveyed works and resources for further study: https://github.com/2471023025/RALM_Survey.


title: Extinction and AGN over host galaxy contrast effects on the optical spectroscopic classification of AGN

abstract: The optical spectroscopic classification of active galactic nuclei (AGN) into type 1 and type 2 can be understood in the frame of the AGN unification models. However, it remains unclear which physical properties are driving the classification into intermediate sub-types (1.0,1.2,1.5,1.8,1.9). To shed light on this issue, we present an analysis of the effect of extinction and AGN and host galaxy luminosities on sub-type determination for a sample of 159 X-ray selected AGN with a complete and robust optical spectroscopic classification. The sample spans a rest-frame 2 - 10 keV X-ray luminosity range of $10^{42}-10^{46}$ erg s$^{-1}$ and redshifts between 0.05 and 0.75. From the fitting of their UV-to-mid-infrared spectral energy distributions, we extracted the observed AGN over total AGN+galaxy contrast, optical/UV line-of-sight extinction as well as host galaxy and AGN luminosities. The observed contrast exhibits a clear decline with sub-type, distinguishing two main groups: 1.0-5 and 1.8-9/2. This difference is partly driven by an increase in extinction following the same trend. Nevertheless, 50% of 1.9s and 2s lack sufficient extinction to explain the lack of detection of broad emission lines, unveiling the necessity of an additional effect. Our findings show that 1.8-9/2s preferentially live in host galaxies with higher luminosities while displaying similar intrinsic AGN luminosities to 1.0-5s. Consequently, the AGN to host galaxy luminosity ratio diminishes, hindering the detection of the emission of the broad emission lines, resulting in the 1.8-9/2 classification of those with insufficient extinction. Thus, the combination of increasing extinction and decreasing AGN/galaxy luminosity ratio, mainly driven by an increasing host galaxy luminosity, constitutes the main reasons behind the sub-type classification into 1.0-5 and 1.8-9/2.


title: Discrete de-Rham complex involving a discontinuous finite element space for velocities: the case of periodic straight triangular and Cartesian meshes

abstract: The aim of this article is to derive discontinuous finite elements vector spaces which can be put in a discrete de-Rham complex for which an harmonic gap property may be proven. First, discontinuous finite element spaces inspired by classical N{\'e}d{\'e}lec or Raviart-Thomas conforming space are considered, and we prove that by relaxing the normal or tangential constraint, discontinuous spaces ensuring the harmonic gap property can be built. Then the triangular case is addressed, for which we prove that such a property holds for the classical discontinuous finite element space for vectors. On Cartesian meshes, this result does not hold for the classical discontinuous finite element space for vectors. We then show how to use the de-Rham complex found for triangular meshes for enriching the finite element space on Cartesian meshes in order to recover a de-Rham complex, on which the same harmonic gap property is proven.


title: Designing Technology for Positive Solitude

abstract: This paper discusses Life-Based Design (LBD) methodology within the context of designing technologies for reaching a state of solitude, the state where a person wishes to minimize her social contacts to get space or freedom.


title: Distributed Traffic Signal Control via Coordinated Maximum Pressure-plus-Penalty

abstract: This paper develops an adaptive traffic control policy inspired by Maximum Pressure (MP) while imposing coordination across intersections. The proposed Coordinated Maximum Pressure-plus-Penalty (CMPP) control policy features a local objective for each intersection that consists of the total pressure within the neighborhood and a penalty accounting for the queue capacities and continuous green time for certain movements. The corresponding control task is reformulated as a distributed optimization problem and solved via two customized algorithms: one based on the alternating direction method of multipliers (ADMM) and the other follows a greedy heuristic augmented with a majority vote. CMPP not only provides a theoretical guarantee of queuing network stability but also outperforms several benchmark controllers in simulations on a large-scale real traffic network with lower average travel and waiting time per vehicle, as well as less network congestion. Furthermore, CPMM with the greedy algorithm enjoys comparable computational efficiency as fully decentralized controllers without significantly compromising the control performance, which highlights its great potential for real-world deployment.


title: An Extensive Survey of Digital Image Steganography: State of the Art

abstract: The need to protect sensitive information privacy duringinformation exchange over the internet/intranet has led towider adoption of cryptography and steganography. The cryptography approaches convert the information into an unreadable format however draws the attention of cryptanalyst owing to the uncommon random nature flow of the bytes when viewing the flowing structured bytes on a computer. While steganography, in contrast, conceals the very existence of covert communication using digital media. Although any digital media (text, image, video, audio) can covey the sensitive information, the media with higher redundant bits are more favorable for embedding the sensitive information without distorting the media. Digital images are majorly used in conveying sensitive information compared to others owing to their higher rate of tolerating distortions, highly available, smaller sizes with high redundant bits. However, the need for maximizing the redundancy bits for the optimum embedding of secret information has been a paramount issue due to the imperceptibility prerequisite which deteriorates with an increase in payload thus, resulting in a tradeoff. This has limited steganography to only applications with lower payload requirements, thus limiting the adoption for wider deployment. This paper critically analyzes the current steganographic techniques, recent trends, and challenges.


title: Cool-core, X-ray cavities and cold front revealed in RXCJ0352.9+1941 cluster by Chandra and GMRT observations

abstract: This paper presents a comprehensive analysis of 30 ks Chandra and 46.8 ks (13 Hr) 1.4 GHz GMRT radio data on the cool-core cluster RXCJ0352.9+1941 with an objective to investigate AGN activities at its core. This study confirms a pair of X-ray cavities at projected distances of about 10.30 kpc and 20.80 kpc, respectively, on the NW and SE of the X-ray peak. GMRT L band (1.4 GHz) data revealed a bright radio source associated with the core of this cluster hosting multiple jet-like emissions. The spatial association of the X-ray cavities with the inner pair of radio jets confirm their origin due to AGN outbursts. The 1.4 GHz radio power ${\rm 7.4 \pm 0.8 \times 10^{39} \, erg\, s^{-1}}$ is correlated with the mechanical power stored in the X-ray cavities ($\sim7.90\times 10^{44}$ erg s$^{-1}$), implying that the power injected by radio jets in the ICM is sufficient enough to offset the radiative losses. The X-shaped morphology of diffuse radio emission seems to be comprised of two pairs of orthogonal radio jets, likely formed due to a spin-flip of jets due to the merger of two systems. The X-ray surface brightness analysis of the ICM in its environment revealed two non-uniform, extended spiral-like emission structures on either side of the core, pointing towards the sloshing of gas due to a minor merger and might have resulted in a cold front at $\sim$31 arcsec (62 kpc) with a temperature jump of 1.44 keV.


title: Thermal conductivity reduction due to phonon geometrical scattering in nano-engineered epitaxial germanium

abstract: Nano-engineering crystalline materials can be used to tailor their thermal properties. By adding new nanoscale phonon scattering centers and controlling their size, one can effectively decrease the phonon mean free path and hence the thermal conductivity of a fully crystalline material. In this letter, we use the 3$\omega$ method in the temperature range of 100-300 K to experimentally report on the more than threefold reduction of the thermal conductivity of an epitaxially-grown crystalline germanium thin film with embedded polydispersed crystalline \ch{Ge3Mn5} nano-inclusions with diameters ranging from 5 to 25~nm. A detailed analysis of the structure of the thin film coupled with Monte Carlo simulations of phonon transport highlight the role of the nano-inclusions volume fraction in the reduction of the phononic contribution to the thermal conductivity, in particular its temperature dependence, leading to a phonon mean free path that is set by geometrical constraints.


title: Formation of Rydberg Crystals Induced by Quantum Melting in One-Dimension

abstract: Quantum fluctuations in frustrated systems can lead to the emergence of complex many-body phases. However, the role of quantum fluctuations in frustration-free lattices is less explored and could provide an interesting avenue for exploring new physics, and perhaps easier to realize compared to frustrated lattice systems. Using Rydberg atoms with tunable interactions as a platform, we leverage strong van der Waals interactions and obtain a constrained model in one dimension with non-local fluctuations given by dipolar interactions alongside local fluctuations. The combined effect of such processes leads to intrinsically quantum-ordered Rydberg crystals through the order-by-disorder mechanism. Finite-size analyses indicate that combined fluctuations drive the transition from disordered to ordered phases, contrary to the expected direction. We provide a theoretical description to understand the physics of order-by-disorder in one-dimensional systems, which are typically seen only in higher dimensions.


title: Type-Based Unsourced Multiple Access

abstract: We generalize the type-based multiple access framework proposed by Mergen and Tong (2006) to the case of unsourced multiple access. In the proposed framework, each device tracks the state of a physical/digital process, quantizes this state, and communicates it to a common receiver through a shared channel in an uncoordinated manner. The receiver aims to estimate the type of the states, i.e., the set of states and their multiplicity in the sequence of states reported by all devices. We measure the type estimation error using the Wasserstein distance. Considering an example of multi-target position tracking, we show that type estimation can be performed effectively via approximate message passing. Furthermore, we determine the quantization resolution that minimizes the type estimation error by balancing quantization distortion and communication error.


title: Extending Llama-3's Context Ten-Fold Overnight

abstract: We extend the context length of Llama-3-8B-Instruct from 8K to 80K via QLoRA fine-tuning. The entire training cycle is super efficient, which takes 8 hours on one 8xA800 (80G) GPU machine. The resulted model exhibits superior performances across a broad range of evaluation tasks, such as NIHS, topic retrieval, and long-context language understanding; meanwhile, it also well preserves the original capability over short contexts. The dramatic context extension is mainly attributed to merely 3.5K synthetic training samples generated by GPT-4 , which indicates the LLMs' inherent (yet largely underestimated) potential to extend its original context length. In fact, the context length could be extended far beyond 80K with more computation resources. Therefore, the team will publicly release the entire resources (including data, model, data generation pipeline, training code) so as to facilitate the future research from the community: \url{https://github.com/FlagOpen/FlagEmbedding}.


title: Entanglement-assisted phase estimation algorithm for calculating dynamical response functions

abstract: Dynamical response functions are fundamental quantities to describe the excited-state properties in quantum many-body systems. Quantum algorithms have been proposed to evaluate these quantities by means of quantum phase estimation (QPE), where the energy spectra are directly extracted from the QPE measurement outcomes in the frequency domain. Accurate estimation of excitation energies and transition probabilities with these QPE-based approaches is, however, challenging because of the problem of spectral leakage (or peak broadening) which is inherent in the QPE algorithm. To overcome this issue, in this work we consider an extension of the QPE-based approach adopting the optimal entangled input states, which is known to achieve the Heisenberg-limited scaling for the estimation precision. We show that with this method the peaks in the calculated energy spectra are more localized than those calculated by the original QPE-based approaches, suggesting the mitigation of the spectral leakage problem. By analyzing the probability distribution with the entangled phase estimation, we propose a simple scheme to better estimate both the transition energies and the corresponding transition probabilities of the peaks of interest in the spectra. The validity of our prescription is demonstrated by numerical simulations in various quantum many-body problems: the spectral function of a simple electron-plasmon model in condensed-matter physics, the dipole transitions of the H$_2$O molecule in quantum chemistry, and the electromagnetic transitions of the $^6$Li nucleus in nuclear physics.


title: Transforming Credit Guarantee Schemes with Distributed Ledger Technology

abstract: Credit Guarantee Schemes (CGSs) are crucial in mitigating SMEs' financial constraints. However, they are renownedly affected by critical shortcomings, such as a lack of financial sustainability and operational efficiency. Distributed Ledger Technologies (DLTs) have shown significant revolutionary influence in several sectors, including finance and banking, thanks to the full operational traceability they bring alongside verifiable computation. Nevertheless, the potential synergy between DLTs and CGSs has not been thoroughly investigated yet. This paper proposes a comprehensive framework to utilise DLTs, particularly blockchain technologies, in CGS processes to improve operational efficiency and effectiveness. To this end, we compare key architectural characteristics considering access level, governance structure, and consensus method, to examine their fit with CGS processes. We believe this study can guide policymakers and stakeholders, thereby stimulating further innovation in this promising field.


title: A logarithmic approximation of linearly-ordered colourings

abstract: A linearly ordered (LO) $k$-colouring of a hypergraph assigns to each vertex a colour from the set $\{0,1,\ldots,k-1\}$ in such a way that each hyperedge has a unique maximum element. Barto, Batistelli, and Berg conjectured that it is NP-hard to find an LO $k$-colouring of an LO 2-colourable 3-uniform hypergraph for any constant $k\geq 2$ [STACS'21] but even the case $k=3$ is still open. Nakajima and \v{Z}ivn\'{y} gave polynomial-time algorithms for finding, given an LO 2-colourable 3-uniform hypergraph, an LO colouring with $O^*(\sqrt{n})$ colours [ICALP'22] and an LO colouring with $O^*(\sqrt[3]{n})$ colours [ACM ToCT'23]. Very recently, Louis, Newman, and Ray gave an SDP-based algorithm with $O^*(\sqrt[5]{n})$ colours. We present two simple polynomial-time algorithms that find an LO colouring with $O(\log_2(n))$ colours, which is an exponential improvement.


title: Neural Dynamic Data Valuation

abstract: Data constitute the foundational component of the data economy and its marketplaces. Efficient and fair data valuation has emerged as a topic of significant interest.\ Many approaches based on marginal contribution have shown promising results in various downstream tasks. However, they are well known to be computationally expensive as they require training a large number of utility functions, which are used to evaluate the usefulness or value of a given dataset for a specific purpose. As a result, it has been recognized as infeasible to apply these methods to a data marketplace involving large-scale datasets. Consequently, a critical issue arises: how can the re-training of the utility function be avoided? To address this issue, we propose a novel data valuation method from the perspective of optimal control, named the neural dynamic data valuation (NDDV). Our method has solid theoretical interpretations to accurately identify the data valuation via the sensitivity of the data optimal control state. In addition, we implement a data re-weighting strategy to capture the unique features of data points, ensuring fairness through the interaction between data points and the mean-field states. Notably, our method requires only training once to estimate the value of all data points, significantly improving the computational efficiency. We conduct comprehensive experiments using different datasets and tasks. The results demonstrate that the proposed NDDV method outperforms the existing state-of-the-art data valuation methods in accurately identifying data points with either high or low values and is more computationally efficient.


title: Phase transition and polar cluster behavior above Curie temperature in ferroelectric BaTi$_{0.8}$Zr$_{0.2}$O$_3$

abstract: We study the phase transition behavior of the ferroelectric BaTi$_{0.8}$Zr$_{0.2}$O$_3$ in the paraelectric region. The temperature dependencies of thermal, polar, elastic and dielectric properties indicate the presence of local structures above the paraelectric-ferroelectric transition temperature Tc = 292 K. The non-zero remnant polarization is measured up to a characteristic temperature T* ~350 K, which coincides with the temperature where the dielectric constant deviates from Curie-Weiss law. Resonant Piezoelectric Spectroscopy shows that DC field-cooling above Tc using fields smaller than the coercive field leads to an elastic response and remnant piezoelectricity below T*, which likely corresponds to the coherence temperature associated with polar nanostructures in ferroelectrics. The observed remnant effect is attributed to the reorientation of polar nanostructures above Tc.


title: Computational study of numerical flux schemes for mesoscale atmospheric flows in a Finite Volume framework

abstract: We develop, and implement in a Finite Volume environment, a density-based approach for the Euler equations written in conservative form using density, momentum, and total energy as variables. Under simplifying assumptions, these equations are used to describe non-hydrostatic atmospheric flow. The well-balancing of the approach is ensured by a local hydrostatic reconstruction updated in runtime during the simulation to keep the numerical error under control. To approximate the solution of the Riemann problem, we consider four methods: Roe-Pike, HLLC, AUSM+-up and HLLC-AUSM. We assess our density-based approach and compare the accuracy of these four approximated Riemann solvers using two two classical benchmarks, namely the smooth rising thermal bubble and the density current.


title: Contactifications: a Lagrangian description of compact Hamiltonian systems

abstract: If $\eta$ is a contact form on a manifold $M$ such that the orbits of the Reeb vector field form a simple foliation $\mathcal{F}$ on $M$, then the presymplectic 2-form $d\eta$ on $M$ induces a symplectic structure $\omega$ on the quotient manifold $N=M/\mathcal{F}$. We call $(M,\eta)$ a $\textit contactification$ of the symplectic manifold $(N,\omega)$. First, we present an explicit geometric construction of contactifications of some coadjoint orbits of connected Lie groups. Our construction is a far going generalization of the well-known contactification of the complex projective space $\mathbb{C}P^{n-1}$, being the unit sphere $S^{2n-1}$ in $\mathbb{C}^{n}$, and equipped with the restriction of the Liouville 1-form on $\mathbb{C}^n$. Second, we describe a constructive procedure for obtaining contactification in the process of the Marsden-Weinstein-Meyer symplectic reduction and indicate geometric obstructions for the existence of compact contactifications. Third, we show that contactifications provide a nice geometrical tool for a Lagrangian description of Hamiltonian systems on compact symplectic manifolds $(N,\omega)$, on which symplectic forms never admit a `vector potential'.


title: Short term vs. long term: optimization of microswimmer navigation on different time horizons

abstract: We use reinforcement learning to find strategies that allow microswimmers in turbulence to avoid regions of large strain. This question is motivated by the hypothesis that swimming microorganisms tend to avoid such regions to minimise the risk of predation. We ask which local cues a microswimmer must measure to efficiently avoid such straining regions. We find that it can succeed without directional information, merely by measuring the magnitude of the local strain. However, the swimmer avoids straining regions more efficiently if it can measure the sign of local strain gradients. We compare our results with those of an earlier study [Mousavi et al. arxiv:2309.09641] where a short-time expansion was used to find optimal strategies. We find that the short-time strategies work well in some cases but not in others. We derive a new theory that explains when the time-horizon matters for our optimisation problem, and when it does not. We find the strategy with best performance when the time-horizon coincides with the correlation time of the turbulent fluctuations. We also explain how the update frequency (the frequency at which the swimmer updates its state) affects the found strategies. We find that higher update frequencies yield better performance, as long as the time between updates is smaller than the correlation time of the flow.


title: Starshaped compact hypersurfaces in warped product manifolds I: prescribed curvature equations

abstract: We derive global curvature estimates for closed strictly star-shaped (n-2)-convex hypersurfaces in warped product spaces, satisfying the prescribed (n-2)-curvature equation with a general right-hand side. The proof is influenced by the recent breakthrough of [Guan-Ren-Wang CPAM 2015] and it can be readily adapted to establish curvature estimates for semi-convex solutions to the general k-curvature equation. Furthermore, it can also be used to prove the same estimates for prescribed curvature measure type equations.