title: Tuning Quantum Computing Privacy through Quantum Error Correction

abstract: Quantum computing is a promising paradigm for efficiently solving large and high-complexity problems. To protect quantum computing privacy, pioneering research efforts proposed to redefine differential privacy (DP) in quantum computing, i.e., quantum differential privacy (QDP), and harvest inherent noises generated by quantum computing to implement QDP. However, such an implementation approach is limited by the amount of inherent noises, which makes the privacy budget of the QDP mechanism fixed and uncontrollable. To address this issue, in this paper, we propose to leverage quantum error correction (QEC) techniques to reduce quantum computing errors, while tuning the privacy protection levels in QDP. In short, we gradually decrease the quantum noise error rate by deciding whether to apply QEC operations on the gate in a multiple single qubit gates circuit. We have derived a new calculation formula for the general error rate and corresponding privacy budgets after QEC operation. Then, we expand to achieve further noise reduction using multi-level concatenated QEC operation. Through extensive numerical simulations, we demonstrate that QEC is a feasible way to regulate the degree of privacy protection in quantum computing.


title: Generalised Geometric Phase: Mathematical Aspects

abstract: An operator generalisation of the notion of geometric phase has been recently proposed purely based on physical grounds. Here we provide a mathematical foundation for its existence, while uncovering new geometrical structures in quantum systems. While probing the average of any observable it is found that a quantum system exhibits different ray spaces and associated fibre bundle structures. The generalised geometric phase is understood as (an)holonomy of a connection over these fibre bundles. The underlying ray spaces in general are found to be pseudo-Kahler manifolds, and its symplectic structure gets manifests as the generalised geometric phase.


title: Automorphisms of maximal cliques of graphs of non-degenerate linear codes

abstract: Let $\Gamma_k(V)$ be the Grassmann graph whose vertex set ${\mathcal G}_{k}(V)$ is formed by all $k$-dimensional subspaces of an $n$-dimensional vector space $V$ over the finite field $F_q$ consisting of $q$ elements. We discuss its subgraph $\Gamma(n,k)_q$ with the vertex set ${\mathcal C}(n,k)_q$ consisting of all non-degenerate linear $[n, k]_q$ codes. %We assume that $1<k<n-1$. We study maximal cliques $\langle U]^{c}_{k}$ of $\Gamma(n,k)_q$, which are intersections of tops of $\Gamma_k(V)$ with ${\mathcal C}(n,k)_q$. We show when they are contained in a line of ${\mathcal G}_{k}(V)$ and then we prove that $\langle U]^{c}_{k}$ is a maximal clique of $\Gamma(n,k)_q$ when it is not contained in a line of ${\mathcal G}_{k}(V)$. Furthermore, we show that the automorphism group of the set of such maximal cliques is isomorphic with the automorphism group of $\Gamma(n,k+1)_{q}$.


title: LSIAC-MRA for Nonuniform Meshes and Applications to Mesh Adaptivity

abstract: In this article we consider the extension of the (L)SIAC-MRA enhancement procedure to nonuniform meshes. We demonstrate that error reduction can be obtained on perturbed quadrilateral and Delaunay meshes, and investigate the effect of limited resolution and its impact on the procedure for various function types. We show that utilizing mesh-based localized kernel scalings, which were shown to reduce approximation errors for LSIAC filters, improve the performance of the LSIAC-MRA enhancement procedure. Lastly, we demonstrate the usefulness of enhanced approximations generated by (L)SIAC-MRA in mesh adaptivity applications, and show that SIAC reconstruction can be used in identification of regions of high error in steady-state DG approximations.


title: An Approach to Reduce Computational Load: Precalculating Gain Matrices for an LQR Controller of a Four-Axis Manipulator Using State Space Kinematics

abstract: When designing a power or CPU constrained device where a four-axis robotic arm is required and access to the Robot Operating System (ROS) is not an option, finding an efficient state space controller for a four-axis arm can be an obstacle. In this paper, I explore a method to optimize the computing power required for a computer algebra system (CAS) to compute linear quadratic regulator (LQR) matrices by precomputing the gain matrix for different states. Example C++ code is provided on Github, along with ideas for further exploration.


title: Statistical inference of upstream turbulence intensity for the flow around a bluff body with massive separation

abstract: The Benchmarck on the Aerodynamics of a Rectangular 5:1 Cylinder is studied using a data-driven technique which bridges numerical simulation and available experimental results. Because of intrinsic features of the tools used for investigation, in particular in terms of set-up and boundary conditions, significant discrepancies have been observed in the literature when comparing experimental and numerical results. An approach based on the Ensemble Kalman Filter (EnKF) is here used to optimize a synthetic turbulent inlet used as boundary condition in the numerical calculation, in order to reduce the discrepancy with the available experiments. The data-driven method successfully optimizes the boundary condition features, which produce a significant improvement of the accuracy in the prediction of the flow. These finding open perspectives of application towards the analysis of realistic cases, where boundary conditions are complex and usually unknown.


title: Theoretical Studies of the k-Strong Roman Domination Problem

abstract: The concept of Roman domination has been a subject of intrigue for more than two decades with the fundamental Roman domination problem standing out as one of the most significant challenges in this field. This article studies a practically motivated generalization of this problem, known as the k-strong Roman domination. In this variation, defenders within a network are tasked with safeguarding any k vertices simultaneously, under multiple attacks. The objective is to find a feasible mapping that assigns an (integer) weight to each vertex of the input graph with a minimum sum of weights across all vertices. A function is considered feasible if any non-defended vertex, i.e. one labeled by zero, is protected by at least one of its neighboring vertices labeled by at least two. Furthermore, each defender ensures the safety of a non-defended vertex by imparting a value of one to it while always retaining a one for themselves. To the best of our knowledge, this paper represents the first theoretical study on this problem. The study presents results for general graphs, establishes connections between the problem at hand and other domination problems, and provides exact values and bounds for specific graph classes, including complete graphs, paths, cycles, complete bipartite graphs, grids, and a few selected classes of convex polytopes. Additionally, an attainable lower bound for general cubic graphs is provided.


title: An effective and efficient green federated learning method for one-layer neural networks

abstract: Nowadays, machine learning algorithms continue to grow in complexity and require a substantial amount of computational resources and energy. For these reasons, there is a growing awareness of the development of new green algorithms and distributed AI can contribute to this. Federated learning (FL) is one of the most active research lines in machine learning, as it allows the training of collaborative models in a distributed way, an interesting option in many real-world environments, such as the Internet of Things, allowing the use of these models in edge computing devices. In this work, we present a FL method, based on a neural network without hidden layers, capable of generating a global collaborative model in a single training round, unlike traditional FL methods that require multiple rounds for convergence. This allows obtaining an effective and efficient model that simplifies the management of the training process. Moreover, this method preserve data privacy by design, a crucial aspect in current data protection regulations. We conducted experiments with large datasets and a large number of federated clients. Despite being based on a network model without hidden layers, it maintains in all cases competitive accuracy results compared to more complex state-of-the-art machine learning models. Furthermore, we show that the method performs equally well in both identically and non-identically distributed scenarios. Finally, it is an environmentally friendly algorithm as it allows significant energy savings during the training process compared to its centralized counterpart.


title: When is Shapley Value Computation a Matter of Counting?

abstract: The Shapley value provides a natural means of quantifying the contributions of facts to database query answers. In this work, we seek to broaden our understanding of Shapley value computation (SVC) in the database setting by revealing how it relates to Fixed-size Generalized Model Counting (FGMC), which is the problem of computing the number of sub-databases of a given size and containing a given set of assumed facts that satisfy a fixed query. Our focus will be on explaining the difficulty of SVC via FGMC, and to this end, we identify general conditions on queries which enable reductions from FGMC to SVC. As a byproduct, we not only obtain alternative explanations for most existing results on SVC, but also new complexity results. In particular, we establish FP-#P complexity dichotomies for constant-free connected UCQs and homomorphism-closed connected graph queries. We further explore variants of SVC, either in the absence of assumed facts, or where we measure the contribution of constants rather than facts.


title: ZodiacEdge: a Datalog Engine With Incremental Rule Set Maintenance

abstract: In this paper, we tackle the incremental maintenance of Datalog inference materialisation when the rule set can be updated. This is particularly relevant in the context of the Internet of Things and Edge computing where smart devices may need to reason over newly acquired knowledge represented as Datalog rules. Our solution is based on an adaptation of a stratification strategy applied to a dependency hypergraph whose nodes correspond to rule sets in a Datalog program. Our implementation supports recursive rules containing both negation and aggregation. We demonstrate the effectiveness of our system on real and synthetic data.


title: Bounds for the Quartic Weyl Sum

abstract: We improve the standard Weyl estimate for quartic exponential sums in which the argument is a quadratic irrational. Specifically we show that \[\sum_{n\le N} e(\alpha n^4)\ll_{\ep,\alpha}N^{5/6+\ep}\] for any $\ep>0$ and any quadratic irrational $\alpha\in\R-\Q$. Classically one would have had the exponent $7/8+\ep$ for such $\alpha$. In contrast to the author's earlier work \cite{cubweyl} on cubic Weyl sums (which was conditional on the $abc$-conjecture), we show that the van der Corput $AB$-steps are sufficient for the quartic case, rather than the $BAAB$-process needed for the cubic sum.


title: DuaLight: Enhancing Traffic Signal Control by Leveraging Scenario-Specific and Scenario-Shared Knowledge

abstract: Reinforcement learning has been revolutionizing the traditional traffic signal control task, showing promising power to relieve congestion and improve efficiency. However, the existing methods lack effective learning mechanisms capable of absorbing dynamic information inherent to a specific scenario and universally applicable dynamic information across various scenarios. Moreover, within each specific scenario, they fail to fully capture the essential empirical experiences about how to coordinate between neighboring and target intersections, leading to sub-optimal system-wide outcomes. Viewing these issues, we propose DuaLight, which aims to leverage both the experiential information within a single scenario and the generalizable information across various scenarios for enhanced decision-making. Specifically, DuaLight introduces a scenario-specific experiential weight module with two learnable parts: Intersection-wise and Feature-wise, guiding how to adaptively utilize neighbors and input features for each scenario, thus providing a more fine-grained understanding of different intersections. Furthermore, we implement a scenario-shared Co-Train module to facilitate the learning of generalizable dynamics information across different scenarios. Empirical results on both real-world and synthetic scenarios show DuaLight achieves competitive performance across various metrics, offering a promising solution to alleviate traffic congestion, with 3-7\% improvements. The code is available under: https://github.com/lujiaming-12138/DuaLight.


title: Multi-view user representation learning for user matching without personal information

abstract: As the digitization of travel industry accelerates, analyzing and understanding travelers' behaviors becomes increasingly important. However, traveler data frequently exhibit high data sparsity due to the relatively low frequency of user interactions with travel providers. Compounding this effect the multiplication of devices, accounts and platforms while browsing travel products online also leads to data dispersion. To deal with these challenges, probabilistic traveler matching can be used. Most existing solutions for user matching are not suitable for traveler matching as a traveler's browsing history is typically short and URLs in the travel industry are very heterogeneous with many tokens. To deal with these challenges, we propose the similarity based multi-view information fusion to learn a better user representation from URLs by treating the URLs as multi-view data. The experimental results show that the proposed multi-view user representation learning can take advantage of the complementary information from different views, highlight the key information in URLs and perform significantly better than other representation learning solutions for the user matching task.


title: Global Rank Sum Test: An Efficient Rank-Based Nonparametric Test for Large Scale Online Experiment

abstract: Online experiments are widely used for improving online services. While doing online experiments, The student t-test is the most widely used hypothesis testing technique. In practice, however, the normality assumption on which the t-test depends on may fail, which resulting in untrustworthy results. In this paper, we first discuss the question of when the t-test fails, and thus introduce the rank-sum test. Next, in order to solve the difficulties while implementing rank-sum test in large online experiment platforms, we proposed a global-rank-sum test method as an improvement for the traditional one. Finally, we demonstrate that the global-rank-sum test is not only more accurate and has higher statistical power than the t-test, but also more time efficient than the traditional rank-sum test, which eventually makes it possible for large online experiment platforms to use.


title: ADA-GAD: Anomaly-Denoised Autoencoders for Graph Anomaly Detection

abstract: Graph anomaly detection is crucial for identifying nodes that deviate from regular behavior within graphs, benefiting various domains such as fraud detection and social network. Although existing reconstruction-based methods have achieved considerable success, they may face the \textit{Anomaly Overfitting} and \textit{Homophily Trap} problems caused by the abnormal patterns in the graph, breaking the assumption that normal nodes are often better reconstructed than abnormal ones. Our observations indicate that models trained on graphs with fewer anomalies exhibit higher detection performance. Based on this insight, we introduce a novel two-stage framework called Anomaly-Denoised Autoencoders for Graph Anomaly Detection (ADA-GAD). In the first stage, we design a learning-free anomaly-denoised augmentation method to generate graphs with reduced anomaly levels. We pretrain graph autoencoders on these augmented graphs at multiple levels, which enables the graph autoencoders to capture normal patterns. In the next stage, the decoders are retrained for detection on the original graph, benefiting from the multi-level representations learned in the previous stage. Meanwhile, we propose the node anomaly distribution regularization to further alleviate \textit{Anomaly Overfitting}. We validate the effectiveness of our approach through extensive experiments on both synthetic and real-world datasets.


title: Adaptive Reconvergence-driven AIG Rewriting via Strategy Learning

abstract: Rewriting is a common procedure in logic synthesis aimed at improving the performance, power, and area (PPA) of circuits. The traditional reconvergence-driven And-Inverter Graph (AIG) rewriting method focuses solely on optimizing the reconvergence cone through Boolean algebra minimization. However, there exist opportunities to incorporate other node-rewriting algorithms that are better suited for specific cones. In this paper, we propose an adaptive reconvergence-driven AIG rewriting algorithm that combines two key techniques: multi-strategy-based AIG rewriting and strategy learning-based algorithm selection. The multi-strategy-based rewriting method expands upon the traditional approach by incorporating support for multi-node-rewriting algorithms, thus expanding the optimization space. Additionally, the strategy learning-based algorithm selection method determines the most suitable node-rewriting algorithm for a given cone. Experimental results demonstrate that our proposed method yields a significant average improvement of 5.567\% in size and 5.327\% in depth.


title: Breaking the Baud Rate Ceiling of Electro-Optic Modulators Using Optical Equalization Technique

abstract: This study presents an effective optical equalization technique for generating ultrahigh baud rate signals. The equalization technique was demonstrated using a dual-drive Mach-Zehnder modulator (DDMZM) with two-phase shifters having different bandwidths, which can be achieved by adjusting the structural design of the modulator or by incorporating varying bias voltages. When the two phase shifters are driven by appropriately sized driving signals, their partially offsetting response significantly reduces the rise and fall times of the output signal. The experiments were conducted using silicon DDMZMs without digital signal processing (DSP). In an experiment utilizing a low-speed silicon modulator, the on-off keying (OOK) modulating speed was improved from 30 to 90 Gbaud. In an experiment utilizing a high-speed silicon modulator, the OOK modulating speed was improved from 100 to 128 Gbaud, which approached the limit of our testing system. This remains the highest baud rate achieved by an all-silicon modulator without DSP. This technique breaks the baud rate ceiling of the modulator and has the potential to enable silicon modulators to operate at 200 Gbaud and beyond. The versatility of this method extends to a wide range of optoelectronic platforms, encompassing thin-film lithium niobate and indium phosphide modulators.


title: Extensions of dark KdV equations: nonhomogeneous classifications, bosonizations of fermionic systems and supersymmetric dark systems

abstract: Dark equations are defined as some kinds of integrable couplings with some fields being homogeneously and linearly coupled to others. In this paper, dark equations are extended in several aspects. Taking the Korteweg-de Vrise (KdV) equation as an example, the dark KdV systems are extended to nonhomogenous forms, nonlinear couplings and graded linear cases. The two-component nonhomogeneous linear coupled dark KdV systems are completely classified. The nonlinear coupled dark KdV systems may be obtained through the decompositions from higher dimensional integrable systems like the B-type KP equation. Graded linear coupled dark KdV systems may be produced by introducing dark parameters (including the Grassmann parameters) to usual integrable systems. Especially, applying the bosonization approach to the integrable systems with fermion fields such as the supersymmetric integrable systems and super-integrable models, infinitely many graded linear dark systems can be generated. Finally, the dark KdV systems are extended to supersymmetric ones. The full classifications for the supersymmetric dark KdV systems are obtained related to two types of usual supersymmetric KdV equations.


title: Material Classification of Recyclable Containers Using 60 GHz Radar

abstract: Rather than sending used containers and materials to the landfill, recycling can help lower the human impact on the environment. However, manually sorting the mixture of incoming material can be both costly and potentially harmful to the person carrying out the task. In many cases, manual sorting could be replaced with automation, where a container is sorted by a machine, based on a classification of the container's material. In this paper, we propose a classification algorithm, using radar data, acquired with Acconeer's A121 60 GHz pulse coherent radar, for classifying liquid containers into one of the four classes metal, glass, plastic, or paper. The solution offers a cost-effective system with robust performance, able to predict the type of container with 98% accuracy.


title: Chiral Transition via Strong Coupling Expansion

abstract: We investigate the chiral transition of $U(3)$ lattice gauge theory based on the strong coupling expansion. A generalized vertex model with vertices and weights derived from the tensor network approach of the dual representation of lattice QCD with staggered fermions is used and the configurations are sampled by the Metropolis algorithm. We study the chiral transition in the chiral limit and focus on the dependence of the second-order chiral transition temperature $aT_c$ for different values of the lattice gauge coupling $\beta$. We compare different orders of truncations of the strong coupling expansion: $Ord(\beta^0)$, $Ord(\beta^1)$, and $Ord(\beta^2)$. We comment on the prospects of extending to $SU(3)$ at finite density.


title: MEC: An Open-source Fine-grained Mapping Equivalence Checking Tool for FPGA

abstract: Technology mapping is an essential step in EDA flow. However, the function of the circuit may be changed after technology mapping, and equivalence checking (EC) based verification is highly necessary. The traditional EC method has significant time and resource constraints, making it only feasible to carry out at a coarse-grained level. To make it efficient for technology mapping, we propose a fine-grained method called MEC, which leverages a combination of two approaches to significantly reduce the time cost of verification. The local block verification approach performs fast verification and the global graph cover approach guarantees correctness. The proposed method is rigorously tested and compared to three EC tools, and the results show that MEC technique offers a substantial improvement in speed. MEC not only offers a faster and more efficient way of performing EC on technology mapping but also opens up new opportunities for more fine-grained verification in the future.


title: Automatic Data Retrieval for Cross Lingual Summarization

abstract: Cross-lingual summarization involves the summarization of text written in one language to a different one. There is a body of research addressing cross-lingual summarization from English to other European languages. In this work, we aim to perform cross-lingual summarization from English to Hindi. We propose pairing up the coverage of newsworthy events in textual and video format can prove to be helpful for data acquisition for cross lingual summarization. We analyze the data and propose methods to match articles to video descriptions that serve as document and summary pairs. We also outline filtering methods over reasonable thresholds to ensure the correctness of the summaries. Further, we make available 28,583 mono and cross-lingual article-summary pairs https://github.com/tingc9/Cross-Sum-News-Aligned. We also build and analyze multiple baselines on the collected data and report error analysis.


title: Constructions of derived equivalent hyper-K\"ahler fourfolds

abstract: We study twisted derived equivalences of hyper-K\"ahler fourfolds. We describe when two hyper-K\"ahler fourfolds of $K3^{[2]}$-type of Picard rank $1$ with isomorphic transcendental lattices are derived equivalent. Then we present new constructions of pairs of twisted derived equivalent hyper-K\"ahler manifolds of Picard rank $\geq 2$.


title: Inclusive normalization of face images to passport format

abstract: Face recognition has been used more and more in real world applications in recent years. However, when the skin color bias is coupled with intra-personal variations like harsh illumination, the face recognition task is more likely to fail, even during human inspection. Face normalization methods try to deal with such challenges by removing intra-personal variations from an input image while keeping the identity the same. However, most face normalization methods can only remove one or two variations and ignore dataset biases such as skin color bias. The outputs of many face normalization methods are also not realistic to human observers. In this work, a style based face normalization model (StyleFNM) is proposed to remove most intra-personal variations including large changes in pose, bad or harsh illumination, low resolution, blur, facial expressions, and accessories like sunglasses among others. The dataset bias is also dealt with in this paper by controlling a pretrained GAN to generate a balanced dataset of passport-like images. The experimental results show that StyleFNM can generate more realistic outputs and can improve significantly the accuracy and fairness of face recognition systems.


title: Inverse scattering problem for operators with a finite dimensional non-local potential

abstract: Scattering problem for a self-adjoint integro-differential operator, which is the sum of the operator of second derivative and of a finite-dimensional self-adjoint operator, is studied. Jost solutions are found and it is shown that the scattering function has a multiplicative structure, besides, each of the multipliers is a scattering coefficient for a pair of self-adjoint operators, one of which is a one-dimensional perturbation of the other. Solution of the inverse problem is based upon the solutions to the inverse problem for every multiplier. A technique for finding parameters of the finite-dimensional perturbation via the scattering data is described.


title: Monofractality in the solar wind at electron scales: insights from KAW turbulence

abstract: The breakdown of scale invariance in turbulent flows, known as multifractal scaling, is considered a cornerstone of turbulence. In solar wind turbulence, a monofractal behavior can be observed at electron scales, in contrast to larger scales where multifractality always prevails. Why scale invariance appears at electron scales is a challenging theoretical puzzle with important implications for understanding solar wind heating and acceleration. We investigate this long-standing problem using direct numerical simulations (DNS) of three-dimensional electron reduced magnetohydrodynamics (ERMHD). Both weak and strong kinetic Alfv\'en waves (KAW) turbulence regimes are studied in the balanced case. After recovering the expected theoretical predictions for the magnetic spectra, a higher-order multiscale statistical analysis is performed. This study reveals a striking difference between the two regimes, with the emergence of monofractality only in weak turbulence, whereas strong turbulence is multifractal. This result, combined with recent studies, shows the relevance of collisionless weak KAW turbulence to describe the solar wind at electron scales.


title: Proposals for ruling out the real quantum theories in an entanglement-swapping quantum network with causally independent sources

abstract: The question of whether complex numbers play a fundamental role in quantum theory has been debated since the inception of quantum mechanics. Recently, a feasible proposal to differentiate between real and complex quantum theories based on the technique of testing Bell nonlocalities has emerged [Nature 600, 625-629 (2021)]. Based on this method, the real quantum theory has been falsified experimentally in both photonic and superconducting quantum systems [Phys. Rev. Lett. 128, 040402 (2022), Phys. Rev. Lett. 128, 040403 (2022)]. The quantum networks with multiple independent sources which are not causally connected have gained significant interest as they offer new perspective on studying the nonlocalities. The independence of these sources imposes additional constraints on observable covariances and leads to new bounds for classical and quantum correlations. In this study, we examine the discrimination between the real and complex quantum theories with an entanglement swapping scenario under a stronger assumption that the two sources are causally independent, which wasn't made in previous works. Using a revised Navascu\'es-Pironio-Ac\'in method and Bayesian optimization, we find a proposal with optimal coefficients of the correlation function which could give a larger discrimination between the real and quantum theories comparing with the existing proposals. This work opens up avenues for further exploration of the discrimination between real and complex quantum theories within intricate quantum networks featuring causally independent parties.


title: NeuroRIS: Neuromorphic-Inspired Metasurfaces

abstract: Reconfigurable intelligent surfaces (RISs) operate similarly to electromagnetic (EM) mirrors and remarkably go beyond Snell law to generate an applicable EM environment allowing for flexible adaptation and fostering sustainability in terms of economic deployment and energy efficiency. However, the conventional RIS is controlled through high-latency field programmable gate array or micro-controller circuits usually implementing artificial neural networks (ANNs) for tuning the RIS phase array that have also very high energy requirements. Most importantly, conventional RIS are unable to function under realistic scenarios i.e, high-mobility/low-end user equipment (UE). In this paper, we benefit from the advanced computing power of neuromorphic processors and design a new type of RIS named \emph{NeuroRIS}, to supporting high mobility UEs through real time adaptation to the ever-changing wireless channel conditions. To this end, the neuromorphic processing unit tunes all the RIS meta-elements in the orders of $\rm{ns}$ for particular switching circuits e.g., varactors while exhibiting significantly low energy requirements since it is based on event-driven processing through spiking neural networks for accurate and efficient phase-shift vector design. Numerical results show that the NeuroRIS achieves very close rate performance to a conventional RIS-based on ANNs, while requiring significantly reduced energy consumption with the latter.


title: A machine learning approach based on survival analysis for IBNR frequencies in non-life reserving

abstract: We introduce new approaches for forecasting IBNR (Incurred But Not Reported) frequencies by leveraging individual claims data, which includes accident date, reporting delay, and possibly additional features for every reported claim. A key element of our proposal involves computing development factors, which may be influenced by both the accident date and other features. These development factors serve as the basis for predictions. While we assume close to continuous observations of accident date and reporting delay, the development factors can be expressed at any level of granularity, such as months, quarters, or year and predictions across different granularity levels exhibit coherence. The calculation of development factors relies on the estimation of a hazard function in reverse development time, and we present three distinct methods for estimating this function: the Cox proportional hazard model, a feed-forward neural network, and xgboost (eXtreme gradient boosting). In all three cases, estimation is based on the same partial likelihood that accommodates left truncation and ties in the data. While the first case is a semi-parametric model that assumes in parts a log linear structure, the two machine learning approaches only assume that the baseline and the other factors are multiplicatively separable. Through an extensive simulation study and real-world data application, our approach demonstrates promising results. This paper comes with an accompanying R-package, $\texttt{ReSurv}$, which can be accessed at \url{https://github.com/edhofman/ReSurv}


title: Nonrelativistic Limit of Generalized MIT Bag Models and Spectral Inequalities

abstract: For a family of self-adjoint Dirac operators $-i c (\alpha \cdot \nabla) + \frac{c^2}{2}$ subject to generalized MIT bag boundary conditions on domains in $\mathbb R^3$ it is shown that the nonrelativistic limit in the norm resolvent sense is the Dirichlet Laplacian. This allows to transfer spectral geometry results for Dirichlet Laplacians to Dirac operators for large $c$.


title: DDistill-SR: Reparameterized Dynamic Distillation Network for Lightweight Image Super-Resolution

abstract: Recent research on deep convolutional neural networks (CNNs) has provided a significant performance boost on efficient super-resolution (SR) tasks by trading off the performance and applicability. However, most existing methods focus on subtracting feature processing consumption to reduce the parameters and calculations without refining the immediate features, which leads to inadequate information in the restoration. In this paper, we propose a lightweight network termed DDistill-SR, which significantly improves the SR quality by capturing and reusing more helpful information in a static-dynamic feature distillation manner. Specifically, we propose a plug-in reparameterized dynamic unit (RDU) to promote the performance and inference cost trade-off. During the training phase, the RDU learns to linearly combine multiple reparameterizable blocks by analyzing varied input statistics to enhance layer-level representation. In the inference phase, the RDU is equally converted to simple dynamic convolutions that explicitly capture robust dynamic and static feature maps. Then, the information distillation block is constructed by several RDUs to enforce hierarchical refinement and selective fusion of spatial context information. Furthermore, we propose a dynamic distillation fusion (DDF) module to enable dynamic signals aggregation and communication between hierarchical modules to further improve performance. Empirical results show that our DDistill-SR outperforms the baselines and achieves state-of-the-art results on most super-resolution domains with much fewer parameters and less computational overhead. We have released the code of DDistill-SR at https://github.com/icandle/DDistill-SR.


title: Machine learning for structure-guided materials and process design

abstract: In recent years, there has been a growing interest in accelerated materials innovation in both, research and industry. However, to truly add value to the development of new advanced materials, it is inevitable to take into account manufacturing processes and thereby tailor materials design approaches to support downstream process design approaches. As a major step into this direction, we present a holistic optimization approach that covers the entire materials process-structure-property chain. Our approach specifically employs machine learning techniques to address two critical identification problems. The first is to solve a materials design problem, which involves identifying near-optimal material structures that exhibit desired macroscopic properties. The second is to solve a process design problem that is to find an optimal processing path to manufacture these material structures. Both identification problems are typically ill-posed, which presents a significant challenge for solution approaches. However, the non-unique nature of these problems also offers an important advantage for processing: By having several target structures that perform similarly well, the corresponding processes can be efficiently guided towards manufacturing the best reachable structure. In particular, we apply deep reinforcement learning for process design in combination with a multi-task learning-based optimization approach for materials design. The functionality of the approach will be demonstrated by using it to manufacture crystallographic textures with desired properties in a metal forming process.


title: Quasi-localization and Wannier Obstruction in Partially Flat Bands

abstract: The localized nature of a flat band is understood by the existence of a compact localized eigenstate. However, the localization properties of a partially flat band, ubiquitous in surface modes of topological semimetals, have been unknown. We show that the partially flat band is characterized by a non-normalizable compact localized state(NCLS). The partially flat band develops only in a momentum range, where normalizable Bloch wave functions can be obtained by the linear combination of the NCLSs. Outside this momentum region, a ghost flat band, unseen from the band structure, is introduced for the consistent counting argument with the full set of NCLSs. Then, we demonstrate that the Wannier function corresponding to the partially flat band exhibits an algebraic($\sim 1/r^{1+\epsilon}$ in 1D and $\sim 1/r^{3/2+\epsilon}$ in 2D) decay behavior, where $\epsilon$ is a positive number. Namely, one can have the Wannier obstruction even in a topologically trivial band if it is partially flat. Finally, we develop a construction scheme of a tight-binding model of the topological semimetal by designing an NCLS.


title: Characteristic Modes of Nonreciprocal Structures

abstract: The scattering formulation of characteristic mode decomposition is utilized to extend modal analysis to lossless scatterers breaking time-reversal symmetry. This enables characteristic modes analysis on devices containing gyrotropic or moving media. The resulting nonreciprocity introduces features not observed in reciprocal scenarios, such as asymmetric phase progression in characteristic far fields. These new phenomena are carefully discussed using examples of varying complexity. Indicators of nonreciprocity based on modal data are also introduced.


title: Seshadri constants on blow-ups of Hirzebruch surfaces

abstract: Let $e,r \ge 0$ be integers and let $\mathbb{F}_e : = \mathbb{P}(\mathcal{O}_{\mathbb{P}^1} \oplus \mathcal{O}_{\mathbb{P}^1}(-e))$ denote the Hirzebruch surface with invariant $e$. We compute the Seshadri constants of an ample line bundle at an arbitrary point of the $r$-point blow-up of $\mathbb{F}_e$ when $r \leq e-1$ and at a very general point when $r=e$ or $r=e+1$. We also discuss several conjectures on linear systems of curves on the blow-up of $\mathbb{F}_e$ at $r$ very general points.


title: CaptainCook4D: A dataset for understanding errors in procedural activities

abstract: Following step-by-step procedures is an essential component of various activities carried out by individuals in their daily lives. These procedures serve as a guiding framework that helps to achieve goals efficiently, whether it is assembling furniture or preparing a recipe. However, the complexity and duration of procedural activities inherently increase the likelihood of making errors. Understanding such procedural activities from a sequence of frames is a challenging task that demands an accurate interpretation of visual information and the ability to reason about the structure of the activity. To this end, we collect a new egocentric 4D dataset, CaptainCook4D, comprising 384 recordings (94.5 hours) of people performing recipes in real kitchen environments. This dataset consists of two distinct types of activity: one in which participants adhere to the provided recipe instructions and another in which they deviate and induce errors. We provide 5.3K step annotations and 10K fine-grained action annotations and benchmark the dataset for the following tasks: supervised error recognition, multistep localization, and procedure learning


title: Aurora:Activating Chinese chat capability for Mixtral-8x7B sparse Mixture-of-Experts through Instruction-Tuning

abstract: Existing research has demonstrated that refining large language models (LLMs) through the utilization of machine-generated instruction-following data empowers these models to exhibit impressive zero-shot capabilities for novel tasks, without requiring human-authored instructions. In this paper, we systematically investigate, preprocess, and integrate three Chinese instruction-following datasets with the aim of enhancing the Chinese conversational capabilities of Mixtral-8x7B sparse Mixture-of-Experts model. Through instruction fine-tuning on this carefully processed dataset, we successfully construct the Mixtral-8x7B sparse Mixture-of-Experts model named "Aurora." To assess the performance of Aurora, we utilize three widely recognized benchmark tests: C-Eval, MMLU, and CMMLU. Empirical studies validate the effectiveness of instruction fine-tuning applied to Mixtral-8x7B sparse Mixture-of-Experts model. This work is pioneering in the execution of instruction fine-tuning on a sparse expert-mixed model, marking a significant breakthrough in enhancing the capabilities of this model architecture. Our code, data and model are publicly available at https://github.com/WangRongsheng/Aurora


title: A family of finite measures on the moduli space of curves and super volumes

abstract: In this paper we define a family of finite measures on the moduli space of smooth curves with marked points. The measures are defined via a construction analogous to that of the Weil-Petersson metric using the extra data of a spin structure. The family of measures is indexed by the behaviour of the spin structure at marked points, labeled Neveu-Schwarz or Ramond. The measures arise naturally out of the super Weil-Petersson metric defined over the moduli space of super curves and the total measures can be identified with the volume of the moduli space of super curves. The Neveu-Schwarz volume polynomials satisfy a recursion relation discovered by Stanford and Witten, analogous to Mirzakhani's recursion relations between Weil-Petersson volumes of moduli spaces of hyperbolic surfaces. We prove here that the Ramond boundary behaviour produces deformations of the Neveu-Schwarz volume polynomials, satisfying a variant of the Stanford and Witten recursion relations.


title: The set of $\Phi$ badly approximable matrices has full Hausdorff dimension

abstract: Recently Koivusalo, Levesley, Ward and Zhang introduced the set of simultaneously $\Phi$-badly approximable real vectors of $\mathbb{R}^m$ with respect to an approximation function $\Phi$, and determined its Hausdorff dimension for the special class of power functions $\Phi(t)=t^{-\tau}$. We refine this by naturally extending the formula to arbitrary decreasing functions, in terms of the lower order of $1/\Phi$ at infinity. We also provide an alternative, rather mild condition on $\Phi$ for this conclusion. Moreover, our results apply in the general matrix setting, and we establish an according formula for packing dimension as well. Thereby we also complement a recent refinement by Bandi and de Saxc\'e on the smaller set of exact approximation with respect to $\Phi$. Our basic tool is (a uniform variant of) the variational principle by Das, Fishman, Simmons, Urba\'nski. We also prove some new lower estimates regarding the set of exact approximation order in the matrix setting, which are sharp in special instances. For this we combine the result by Bandi and de Saxc\'e with a method developed by Moshchevitin.


title: Optical wood with switchable solar transmittance for all-round thermal management

abstract: Technologies enabling passive daytime radiative cooling and daylight harvesting are highly relevant for energy-efficient buildings. Despite recent progress demonstrated with passively cooling polymer coatings, however, it remains challenging to combine also a passive heat gain mechanism into a single substrate for all-round thermal management. Herein, we developed an optical wood (OW) with switchable transmittance of solar irradiation enabled by the hierarchically porous structure, ultralow absorption in solar spectrum and high infrared absorption of cellulose nanofibers. After delignification, the OW shows a high solar reflectance (94.9%) in the visible and high broadband emissivity (0.93) in the infrared region (2.5-25 $\mu$m). Owing to the exceptional mass transport of its aligned cellulose nanofibers, OW can quickly switch to a new highly transparent state following phenylethanol impregnation. The solar transmittance of optical wood (OW-II state) can reach 68.4% from 250 to 2500 nm. The switchable OW exhibits efficient radiative cooling to 4.5 {\deg}C below ambient temperature in summer (81.4 W m$^{-2}$ cooling power), and daylight heating to 5.6 {\deg}C above the temperature of natural wood in winter (heating power 229.5 W m$^{-2}$), suggesting its promising role as a low-cost and sustainable solution to all-season thermal management applications.


title: Traffic Reconstruction and Analysis of Natural Driving Behaviors at Unsignalized Intersections

abstract: This paper explores the intricacies of traffic behavior at unsignalized intersections through the lens of a novel dataset, combining manual video data labeling and advanced traffic simulation in SUMO. This research involved recording traffic at various unsignalized intersections in Memphis, TN, during different times of the day. After manually labeling video data to capture specific variables, we reconstructed traffic scenarios in the SUMO simulation environment. The output data from these simulations offered a comprehensive analysis, including time-space diagrams for vehicle movement, travel time frequency distributions, and speed-position plots to identify bottleneck points. This approach enhances our understanding of traffic dynamics, providing crucial insights for effective traffic management and infrastructure improvements.


title: Measuring the Concentration of Control in Contemporary Ethereum

abstract: Ethereum is undergoing significant changes to its architecture as it evolves. These changes include its switch to PoS consensus and the introduction of significant infrastructural changes that do not require a change to the core protocol, but that fundamentally affect the way users interact with the network. These changes represent an evolution toward a more modular architecture, in which there exists new exogenous vectors for centralization. This paper builds on previous studies of decentralization of Ethereum to reflect these recent significant changes, and Ethereum's new modular paradigm.


title: AI Generated Signal for Wireless Sensing

abstract: Deep learning has significantly advanced wireless sensing technology by leveraging substantial amounts of high-quality training data. However, collecting wireless sensing data encounters diverse challenges, including unavoidable data noise, limited data scale due to significant collection overhead, and the necessity to reacquire data in new environments. Taking inspiration from the achievements of AI-generated content, this paper introduces a signal generation method that achieves data denoising, augmentation, and synthesis by disentangling distinct attributes within the signal, such as individual and environment. The approach encompasses two pivotal modules: structured signal selection and signal disentanglement generation. Structured signal selection establishes a minimal signal set with the target attributes for subsequent attribute disentanglement. Signal disentanglement generation disentangles the target attributes and reassembles them to generate novel signals. Extensive experimental results demonstrate that the proposed method can generate data that closely resembles real-world data on two wireless sensing datasets, exhibiting state-of-the-art performance. Our approach presents a robust framework for comprehending and manipulating attribute-specific information in wireless sensing.


title: Online Covering with Multiple Experts

abstract: Designing online algorithms with machine learning predictions is a recent technique beyond the worst-case paradigm for various practically relevant online problems (scheduling, caching, clustering, ski rental, etc.). While most previous learning-augmented algorithm approaches focus on integrating the predictions of a single oracle, we study the design of online algorithms with \emph{multiple} experts. To go beyond the popular benchmark of a static best expert in hindsight, we propose a new \emph{dynamic} benchmark (linear combinations of predictions that change over time). We present a competitive algorithm in the new dynamic benchmark with a performance guarantee of $O(\log K)$, where $K$ is the number of experts, for $0-1$ online optimization problems. Furthermore, our multiple-expert approach provides a new perspective on how to combine in an online manner several online algorithms - a long-standing central subject in the online algorithm research community.


title: The Economics of Human Oversight: How Norms and Incentives Affect Costs and Performance of AI Workers

abstract: The global surge in AI applications is transforming industries, leading to displacement and complementation of existing jobs, while also giving rise to new employment opportunities. Human oversight of AI is an emerging task in which human workers interact with an AI model to improve its performance, safety, and compliance with normative principles. Data annotation, encompassing the labelling of images or annotating of texts, serves as a critical human oversight process, as the quality of a dataset directly influences the quality of AI models trained on it. Therefore, the efficiency of human oversight work stands as an important competitive advantage for AI developers. This paper delves into the foundational economics of human oversight, with a specific focus on the impact of norm design and monetary incentives on data quality and costs. An experimental study involving 307 data annotators examines six groups with varying task instructions (norms) and monetary incentives. Results reveal that annotators provided with clear rules exhibit higher accuracy rates, outperforming those with vague standards by 14%. Similarly, annotators receiving an additional monetary incentive perform significantly better, with the highest accuracy rate recorded in the group working with both clear rules and incentives (87.5% accuracy). However, both groups require more time to complete tasks, with a 31% increase in average task completion time compared to those working with standards and no incentives. These empirical findings underscore the trade-off between data quality and efficiency in data curation, shedding light on the nuanced impact of norm design and incentives on the economics of AI development. The paper contributes experimental insights to discussions on the economical, ethical, and legal considerations of AI technologies.


title: Variational approximation for a non-isothermal coupled phase-field system: Structure-preservation & Nonlinear stability

abstract: A Cahn-Hilliard-Allen-Cahn phase-field model coupled with a heat transfer equation, particularly with full non-diagonal mobility matrices, is studied. After reformulating the problem w.r.t. the inverse of temperature, we proposed and analysed a structure-preserving approximation for the semi-discretisation in space and then a fully discrete approximation using conforming finite elements and time-stepping methods. We prove structure-preserving property and discrete stability using relative entropy methods for the semi-discrete and fully discrete case. The theoretical results are illustrated by numerical experiments.


title: Accelerated Convergence of Stochastic Heavy Ball Method under Anisotropic Gradient Noise

abstract: Heavy-ball momentum with decaying learning rates is widely used with SGD for optimizing deep learning models. In contrast to its empirical popularity, the understanding of its theoretical property is still quite limited, especially under the standard anisotropic gradient noise condition for quadratic regression problems. Although it is widely conjectured that heavy-ball momentum method can provide accelerated convergence and should work well in large batch settings, there is no rigorous theoretical analysis. In this paper, we fill this theoretical gap by establishing a non-asymptotic convergence bound for stochastic heavy-ball methods with step decay scheduler on quadratic objectives, under the anisotropic gradient noise condition. As a direct implication, we show that heavy-ball momentum can provide $\tilde{\mathcal{O}}(\sqrt{\kappa})$ accelerated convergence of the bias term of SGD while still achieving near-optimal convergence rate with respect to the stochastic variance term. The combined effect implies an overall convergence rate within log factors from the statistical minimax rate. This means SGD with heavy-ball momentum is useful in the large-batch settings such as distributed machine learning or federated learning, where a smaller number of iterations can significantly reduce the number of communication rounds, leading to acceleration in practice.


title: The Projection Method: a Unified Formalism for Community Detection

abstract: We present the class of projection methods for community detection that generalizes many popular community detection methods. In this framework, we represent each clustering (partition) by a vector on a high-dimensional hypersphere. A community detection method is a projection method if it can be described by the following two-step approach: 1) the graph is mapped to a query vector on the hypersphere; and 2) the query vector is projected on the set of clustering vectors. This last projection step is performed by minimizing the distance between the query vector and the clustering vector, over the set of clusterings. We prove that optimizing Markov stability, modularity, the likelihood of planted partition models and correlation clustering fit this framework. A consequence of this equivalence is that algorithms for each of these methods can be modified to perform the projection step in our framework. In addition, we show that these different methods suffer from the same granularity problem: they have parameters that control the granularity of the resulting clustering, but choosing these to obtain clusterings of the desired granularity is nontrivial. We provide a general heuristic to address this granularity problem, which can be applied to any projection method. Finally, we show how, given a generator of graphs with community structure, we can optimize a projection method for this generator in order to obtain a community detection method that performs well on this generator.


title: Creating New Voices using Normalizing Flows

abstract: Creating realistic and natural-sounding synthetic speech remains a big challenge for voice identities unseen during training. As there is growing interest in synthesizing voices of new speakers, here we investigate the ability of normalizing flows in text-to-speech (TTS) and voice conversion (VC) modes to extrapolate from speakers observed during training to create unseen speaker identities. Firstly, we create an approach for TTS and VC, and then we comprehensively evaluate our methods and baselines in terms of intelligibility, naturalness, speaker similarity, and ability to create new voices. We use both objective and subjective metrics to benchmark our techniques on 2 evaluation tasks: zero-shot and new voice speech synthesis. The goal of the former task is to measure the precision of the conversion to an unseen voice. The goal of the latter is to measure the ability to create new voices. Extensive evaluations demonstrate that the proposed approach systematically allows to obtain state-of-the-art performance in zero-shot speech synthesis and creates various new voices, unobserved in the training set. We consider this work to be the first attempt to synthesize new voices based on mel-spectrograms and normalizing flows, along with a comprehensive analysis and comparison of the TTS and VC modes.


title: BSS-Bench: Towards Reproducible and Effective Band Selection Search

abstract: The key technology to overcome the drawbacks of hyperspectral imaging (expensive, high capture delay, and low spatial resolution) and make it widely applicable is to select only a few representative bands from hundreds of bands. However, current band selection (BS) methods face challenges in fair comparisons due to inconsistent train/validation settings, including the number of bands, dataset splits, and retraining settings. To make BS methods easy and reproducible, this paper presents the first band selection search benchmark (BSS-Bench) containing 52k training and evaluation records of numerous band combinations (BC) with different backbones for various hyperspectral analysis tasks. The creation of BSS-Bench required a significant computational effort of 1.26k GPU days. By querying BSS-Bench, BS experiments can be performed easily and reproducibly, and the gap between the searched result and the best achievable performance can be measured. Based on BSS-Bench, we further discuss the impact of various factors on BS, such as the number of bands, unsupervised statistics, and different backbones. In addition to BSS-Bench, we present an effective one-shot BS method called Single Combination One Shot (SCOS), which learns the priority of any BCs through one-time training, eliminating the need for repetitive retraining on different BCs. Furthermore, the search process of SCOS is flexible and does not require training, making it efficient and effective. Our extensive evaluations demonstrate that SCOS outperforms current BS methods on multiple tasks, even with much fewer bands. Our BSS-Bench and codes are available in the supplementary material and will be publicly available.


title: Data is Moody: Discovering Data Modification Rules from Process Event Logs

abstract: Although event logs are a powerful source to gain insight about the behavior of the underlying business process, existing work primarily focuses on finding patterns in the activity sequences of an event log, while ignoring event attribute data. Event attribute data has mostly been used to predict event occurrences and process outcome, but the state of the art neglects to mine succinct and interpretable rules how event attribute data changes during process execution. Subgroup discovery and rule-based classification approaches lack the ability to capture the sequential dependencies present in event logs, and thus lead to unsatisfactory results with limited insight into the process behavior. Given an event log, we are interested in finding accurate yet succinct and interpretable if-then rules how the process modifies data. We formalize the problem in terms of the Minimum Description Length (MDL) principle, by which we choose the model with the best lossless description of the data. Additionally, we propose the greedy Moody algorithm to efficiently search for rules. By extensive experiments on both synthetic and real-world data, we show Moody indeed finds compact and interpretable rules, needs little data for accurate discovery, and is robust to noise.


title: Semidefinite Relaxations of the Gromov-Wasserstein Distance

abstract: The Gromov-Wasserstein (GW) distance is a variant of the optimal transport problem that allows one to match objects between incomparable spaces. At its core, the GW distance is specified as the solution of a non-convex quadratic program and is not known to be tractable to solve. In particular, existing solvers for the GW distance are only able to find locally optimal solutions. In this work, we propose a semi-definite programming (SDP) relaxation of the GW distance. The relaxation can be viewed as the dual of the GW distance augmented with constraints that relate the linear and quadratic terms of transportation maps. Our relaxation provides a principled manner to compute the approximation ratio of any transport map to the global optimal solution. Finally, our numerical experiments suggest that the proposed relaxation is strong in that it frequently computes the global optimal solution, together with a proof of global optimality.


title: On the expressive power of inquisitive epistemic logic

abstract: Inquisitive modal logic, InqML, in its epistemic incarnation, extends standard epistemic logic to capture not just the information that agents have, but also the questions that they are interested in. We use the natural notion of bisimulation equivalence in the setting of InqML, as introduced in [Ciardelli/Otto: JSL 2021], to characterise the expressiveness of InqML as the bisimulation invariant fragment of first-order logic over natural classes of two-sorted first-order structures that arise as relational encodings of inquisitive epistemic (S5-like) models. The non-elementary nature of these classes crucially requires non-classical model-theoretic methods for the analysis of first-order expressiveness, irrespective of whether we aim for characterisations in the sense of classical or of finite model theory.


title: MMGPL: Multimodal Medical Data Analysis with Graph Prompt Learning

abstract: Prompt learning has demonstrated impressive efficacy in the fine-tuning of multimodal large models to a wide range of downstream tasks. Nonetheless, applying existing prompt learning methods for the diagnosis of neurological disorder still suffers from two issues: (i) existing methods typically treat all patches equally, despite the fact that only a small number of patches in neuroimaging are relevant to the disease, and (ii) they ignore the structural information inherent in the brain connection network which is crucial for understanding and diagnosing neurological disorders. To tackle these issues, we introduce a novel prompt learning model by learning graph prompts during the fine-tuning process of multimodal large models for diagnosing neurological disorders. Specifically, we first leverage GPT-4 to obtain relevant disease concepts and compute semantic similarity between these concepts and all patches. Secondly, we reduce the weight of irrelevant patches according to the semantic similarity between each patch and disease-related concepts. Moreover, we construct a graph among tokens based on these concepts and employ a graph convolutional network layer to extract the structural information of the graph, which is used to prompt the pre-trained multimodal large models for diagnosing neurological disorders. Extensive experiments demonstrate that our method achieves superior performance for neurological disorder diagnosis compared with state-of-the-art methods and validated by clinicians.


title: Les Houches guide to reusable ML models in LHC analyses

abstract: With the increasing usage of machine-learning in high-energy physics analyses, the publication of the trained models in a reusable form has become a crucial question for analysis preservation and reuse. The complexity of these models creates practical issues for both reporting them accurately and for ensuring the stability of their behaviours in different environments and over extended timescales. In this note we discuss the current state of affairs, highlighting specific practical issues and focusing on the most promising technical and strategic approaches to ensure trustworthy analysis-preservation. This material originated from discussions in the LHC Reinterpretation Forum and the 2023 PhysTeV workshop at Les Houches.


title: Packing coloring of hypercubes with extended Hamming codes

abstract: A {\em packing coloring} of a graph $G$ is a mapping assigning a positive integer (a color) to every vertex of $G$ such that every two vertices of color $k$ are at distance at least $k+1$. The least number of colors needed for a packing coloring of $G$ is called the {\em packing chromatic number} of $G$. In this paper, we continue the study of the packing chromatic number of hypercubes and we improve the upper bounds reported by Torres and Valencia-Pabon ({\em P. Torres, M. Valencia-Pabon, The packing chromatic number of hypercubes, Discrete Appl. Math. 190--191 (2015), 127--140}) by presenting recursive constructions of subsets of distant vertices making use of the properties of the extended Hamming codes. We also answer in negative a question on packing coloring of Cartesian products raised by Bre\v{s}ar, Klav\v{z}ar, and Rall ({\em Problem 5, Bre\v{s}ar et al., On the packing chromatic number of Cartesian products, hexagonal lattice, and trees. Discrete Appl. Math. 155 (2007), 2303--2311.}).


title: PoseViNet: Distracted Driver Action Recognition Framework Using Multi-View Pose Estimation and Vision Transformer

abstract: Driver distraction is a principal cause of traffic accidents. In a study conducted by the National Highway Traffic Safety Administration, engaging in activities such as interacting with in-car menus, consuming food or beverages, or engaging in telephonic conversations while operating a vehicle can be significant sources of driver distraction. From this viewpoint, this paper introduces a novel method for detection of driver distraction using multi-view driver action images. The proposed method is a vision transformer-based framework with pose estimation and action inference, namely PoseViNet. The motivation for adding posture information is to enable the transformer to focus more on key features. As a result, the framework is more adept at identifying critical actions. The proposed framework is compared with various state-of-the-art models using SFD3 dataset representing 10 behaviors of drivers. It is found from the comparison that the PoseViNet outperforms these models. The proposed framework is also evaluated with the SynDD1 dataset representing 16 behaviors of driver. As a result, the PoseViNet achieves 97.55% validation accuracy and 90.92% testing accuracy with the challenging dataset.


title: CPS Workshop 2023 Proceedings

abstract: These proceedings contain the contributions to the CPS workshop 2023 (http://www.cpsschool.eu/cps-workshop/). The CPS Workshop 2023 is an initiative of the CPS Summer School 2023 community to offer participants close contact with leading experts in the field and the opportunity to present and discuss their ideas in a dynamic and friendly setting.


title: Environment-Specific People

abstract: Despite significant progress in generative image synthesis and full-body generation in particular, state-of-the-art methods are either context-independent, overly reliant to text prompts, or bound to the curated training datasets, such as fashion images with monotonous backgrounds. Here, our goal is to generate people in clothing that is semantically appropriate for a given scene. To this end, we present ESP, a novel method for context-aware full-body generation, that enables photo-realistic inpainting of people into existing "in-the-wild" photographs. ESP is conditioned on a 2D pose and contextual cues that are extracted from the environment photograph and integrated into the generation process. Our models are trained on a dataset containing a set of in-the-wild photographs of people covering a wide range of different environments. The method is analyzed quantitatively and qualitatively, and we show that ESP outperforms state-of-the-art on the task of contextual full-body generation.


title: Synthesis of hard magnetic {\alpha}-MnBi phase by high pressure torsion and field assisted annealing

abstract: Bulk composites using powder blends of Mn and Bi with equal atomic ratios are consolidated and severely deformed by high-pressure torsion (HPT). Subsequent annealing treatments lead to the formation of the ferromagnetic and rare-earth free hard magnetic {\alpha}-MnBi phase. The initial phase formation is studied by in-situ high-energy XRD annealing experiments showing a beneficial influence of HPT-deformation on the amount of {\alpha}-MnBi. The nucleation sites are strongly increased, thus the volumetric {\alpha}-MnBi phase content exceeds 50 vol.%. A lower HPT-pressure of 2 GPa is found to be preferred over 5 GPa to obtain high {\alpha}-MnBi contents. Annealing is done with or without applying an external magnetic field. Additionally, influences of the HPT-induced shear deformation are discussed and correlated with preferred diffusion path ways fostering the formation of anisotropic {\alpha}-MnBi phase.


title: Local limit theorems for hitting times and return times of small sets

abstract: We establish abstract local limit theorems for hitting times and return-times of suitable sequences (A_{l}) of asymptotically rare events in ergodic probability preserving dynamical systems, including versions for tuples of consecutive times and positions of the hits. These results are shown to apply in the setup of Gibbs-Markov systems.


title: Magnetic Materials via High-Pressure Torsion of Powders

abstract: Magnets are key materials for the electrification of mobility and also for the generation and transformation of electric energy. Research and development in recent decades lead to high performance magnets, which require a finely tuned microstructure to serve applications with ever increasing requirements. Besides optimizing already known materials and the search on novel material combinations, an increasing interest in unconventional processing techniques and the utilization of magnetic concepts is apparent. Severe plastic deformation (SPD), in particular by high-pressure torsion (HPT) is a versatile and suitable method to manufacture microstructures not attained so far, but entitling different magnetic coupling mechanisms fostering magnetic properties. In this work, we review recent achievements obtained by HPT on soft and hard magnetic materials, focusing on powder as starting materials. Furthermore, we give specific attention to the formation of magnetic composites and highlight the opportunities of powder starting materials for HPT to exploit magnetic interaction mechanism.


title: Inference on the state process of periodically inhomogeneous hidden Markov models for animal behavior

abstract: Over the last decade, hidden Markov models (HMMs) have become increasingly popular in statistical ecology, where they constitute natural tools for studying animal behavior based on complex sensor data. Corresponding analyses sometimes explicitly focus on - and in any case need to take into account - periodic variation, for example by quantifying the activity distribution over the daily cycle or seasonal variation such as migratory behavior. For HMMs including periodic components, we establish important mathematical properties that allow for comprehensive statistical inference related to periodic variation, thereby also providing guidance for model building and model checking. Specifically, we derive the periodically varying unconditional state distribution as well as the time-varying and overall state dwell-time distributions - all of which are of key interest when the inferential focus lies on the dynamics of the state process. We use the associated novel inference and model-checking tools to investigate changes in the diel activity patterns of fruit flies in response to changing light conditions.


title: Asymptotics of Distances Between Sample Covariance Matrices

abstract: This work considers the asymptotic behavior of the distance between two sample covariance matrices (SCM). A general result is provided for a class of functionals that can be expressed as sums of traces of functions that are separately applied to each covariance matrix. In particular, this class includes very conventional metrics, such as the Euclidean distance or Jeffrery's divergence, as well as a number of other more sophisticated distances recently derived from Riemannian geometry considerations, such as the log-Euclidean metric. In particular, we analyze the asymptotic behavior of this class of functionals by establishing a central limit theorem that allows us to describe their asymptotic statistical law. In order to account for the fact that the sample sizes of two SCMs are of the same order of magnitude as their observation dimension, results are provided by assuming that these parameters grow to infinity while their quotients converge to fixed quantities. Numerical results illustrate how this type of result can be used in order to predict the performance of these metrics in practical machine learning algorithms, such as clustering of SCMs.


title: Hot spots in a proton

abstract: We explore the consequences of gluonic hot spots inside the proton for the initial eccentricities in a proton-nucleus collision, and the constraints on the parameters describing these hot spots from coherent and incoherent exclusive vector meson production cross sections in deep inelastic scattering. We show that geometric fluctuations of hot spots inside the proton are the dominant source of eccentricity whereas color charge fluctuations only give a negligible correction. We find that the coherent cross section is sensitive to both the size of the target and the structure of the probe. The incoherent cross section is dominated by color fluctuations at small transverse momentum transfer (t), by proton and hot spot sizes as well as the structure of the probe at medium -t and again by color fluctuations at large -t.


title: Noise Morphing for Audio Time Stretching

abstract: This letter introduces an innovative method to enhance the quality of audio time stretching by precisely decomposing a sound into sines, transients, and noise and by improving the processing of the latter component. While there are established methods for time-stretching sines and transients with high quality, the manipulation of noise or residual components has lacked robust solutions in prior research. The proposed method combines sound decomposition with previous techniques for audio spectral resynthesis. The time-stretched noise component is achieved by morphing its time-interpolated spectral magnitude with a white-noise excitation signal. This method stands out for its simplicity, efficiency, and audio quality. The results of a subjective experiment affirm the superiority of this approach over current state-of-the-art methods across all evaluated stretch factors. The proposed technique notably excels in extreme stretching scenarios, signifying a substantial elevation in performance. The proposed method holds promise for a wide range of applications in slow-motion media content, such as music or sports video production.


title: Measuring well quasi-ordered finitary powersets

abstract: The complexity of a well-quasi-order (wqo) can be measured through three classical ordinal invariants: the width as a measure of antichains, the height as a measure of chains, and the maximal order type as a measure of bad sequences. This article considers the "finitary powerset" construction: the collection Pf(X) of finite subsets of a wqo X ordered with the Hoare embedding relation remains a wqo. The width, height and maximal order type of Pf(X) cannot be expressed as a function of the invariants of X, and we provide tight upper and lower bounds for the three invariants. The article also identifies an algebra of well-behaved wqos, that include finitary powersets as well as other more classical constructions, and for which the ordinal invariants can be computed compositionnally. This relies on a new ordinal invariant called the approximated maximal order type.


title: On a Near-Optimal \& Efficient Algorithm for the Sparse Pooled Data Problem

abstract: The pooled data problem asks to identify the unknown labels of a set of items from condensed measurements. More precisely, given $n$ items, assume that each item has a label in $\cbc{0,1,\ldots, d}$, encoded via the ground-truth $\SIGMA$. We call the pooled data problem sparse if the number of non-zero entries of $\SIGMA$ scales as $k \sim n^{\theta}$ for $\theta \in (0,1)$. The information that is revealed about $\SIGMA$ comes from pooled measurements, each indicating how many items of each label are contained in the pool. The most basic question is to design a pooling scheme that uses as few pools as possible, while reconstructing $\SIGMA$ with high probability. Variants of the problem and its combinatorial ramifications have been studied for at least 35 years. However, the study of the modern question of \emph{efficient} inference of the labels has suggested a statistical-to-computational gap of order $\log n$ in the minimum number of pools needed for theoretically possible versus efficient inference. In this article, we resolve the question whether this $\log n$-gap is artificial or of a fundamental nature by the design of an efficient algorithm, called \algoname, based upon a novel pooling scheme on a number of pools very close to the information-theoretic threshold.


title: Non-Denoising Forward-Time Diffusions

abstract: The scope of this paper is generative modeling through diffusion processes. An approach falling within this paradigm is the work of Song et al. (2021), which relies on a time-reversal argument to construct a diffusion process targeting the desired data distribution. We show that the time-reversal argument, common to all denoising diffusion probabilistic modeling proposals, is not necessary. We obtain diffusion processes targeting the desired data distribution by taking appropriate mixtures of diffusion bridges. The resulting transport is exact by construction, allows for greater flexibility in choosing the dynamics of the underlying diffusion, and can be approximated by means of a neural network via novel training objectives. We develop a unifying view of the drift adjustments corresponding to our and to time-reversal approaches and make use of this representation to inspect the inner workings of diffusion-based generative models. Finally, we leverage on scalable simulation and inference techniques common in spatial statistics to move beyond fully factorial distributions in the underlying diffusion dynamics. The methodological advances contained in this work contribute toward establishing a general framework for generative modeling based on diffusion processes.


title: SIG: Speaker Identification in Literature via Prompt-Based Generation

abstract: Identifying speakers of quotations in narratives is an important task in literary analysis, with challenging scenarios including the out-of-domain inference for unseen speakers, and non-explicit cases where there are no speaker mentions in surrounding context. In this work, we propose a simple and effective approach SIG, a generation-based method that verbalizes the task and quotation input based on designed prompt templates, which also enables easy integration of other auxiliary tasks that further bolster the speaker identification performance. The prediction can either come from direct generation by the model, or be determined by the highest generation probability of each speaker candidate. Based on our approach design, SIG supports out-of-domain evaluation, and achieves open-world classification paradigm that is able to accept any forms of candidate input. We perform both cross-domain evaluation and in-domain evaluation on PDNC, the largest dataset of this task, where empirical results suggest that SIG outperforms previous baselines of complicated designs, as well as the zero-shot ChatGPT, especially excelling at those hard non-explicit scenarios by up to 17% improvement. Additional experiments on another dataset WP further corroborate the efficacy of SIG.


title: Reasons to Reject? Aligning Language Models with Judgments

abstract: As humans, we consistently interact with our peers and receive feedback in the form of natural language. This language feedback allows us to maintain appropriate behavior, and rectify potential errors. The question arises naturally: can we use language feedback to align large language models (LLMs)? In contrast to previous research that aligns LLMs with scalar rewards, we present the first systematic exploration of alignment through the lens of language feedback (i.e., judgment). We start with an in-depth investigation of potential methods that can be adapted for aligning LLMs with judgments, revealing that these methods cannot fully capitalize on judgments. To facilitate more effective utilization of judgments, we propose a novel framework, Contrastive Unlikelihood Training (CUT), that allows for fine-grained inappropriate content detection and correction based on judgments. Our results show that, with merely 1317 off-the-shelf judgment data, CUT (LLaMA2-13b) can beat the 175B DaVinci003 and surpass the best baseline by 50.84 points on AlpacaEval. CUT (LLaMA2-chat-13b) can also align LLMs in an iterative fashion using up-to-date model-specific judgments, improving performance from 81.09 to 91.68 points on AlpacaEval. Further analysis suggests that judgments hold greater potential than rewards in LLM alignment.


title: Ultra-low power 10-bit 50-90 MSps SAR ADCs in 65 nm CMOS for multi-channel ASICs

abstract: The design and measurement results of ultra-low power, fast 10-bit Successive Approximation Register (SAR) Analog-to-Digital Converter (ADC) prototypes in 65 nm CMOS technology are presented. Eight prototype ADCs were designed using two different switching schemes of capacitive Digital-to-Analog Converters (DACs), based on MIM or MOM capacitors, and controlled by standard or low-power SAR logic. The layout of each ADC prototype is drawn in 60 um pitch to make it ready for multi-channel implementation. A series of measurements have been made confirming that all prototypes are fully functional, and six of them achieve very good quantitative performance. Five out of eight ADCs show both integral (INL) and differential (DNL) nonlinearity errors below 1 LSB. In dynamic measurements performed at 0.1 Nyquist input frequency, the effective number of bits (ENOB) between 8.9-9.3 was obtained for different ADC prototypes. Standard ADC versions work up to 80-90 MSps with ENOB between 8.9-9.2 bits at the highest sampling rate, while the low-power versions work up to above 50 MSps with ENOB around 9.3 bits at 40 MSps. The power consumption is linear with the sample rate and at 40 MSps it is around 400 uW for the low-power ADCs and just over 500 uW for the standard ADCs. At 80 MSps the standard ADCs consume about 1 mW.


title: The Effect of Sparsity on $k$-Dominating Set and Related First-Order Graph Properties

abstract: We revisit $k$-Dominating Set, one of the first problems for which a tight $n^k-o(1)$ conditional lower bound (for $k\ge 3$), based on SETH, was shown (P\u{a}tra\c{s}cu and Williams, SODA 2007). However, the underlying reduction creates dense graphs, raising the question: how much does the sparsity of the graph affect its fine-grained complexity? We first settle the fine-grained complexity of $k$-Dominating Set in terms of both the number of nodes $n$ and number of edges $m$. Specifically, we show an $mn^{k-2-o(1)}$ lower bound based on SETH, for any dependence of $m$ on $n$. This is complemented by an $mn^{k-2+o(1)}$-time algorithm for all $k\ge 3$. For the $k=2$ case, we give a randomized algorithm that employs a Bloom-filter inspired hashing to improve the state of the art of $n^{\omega+o(1)}$ to $m^{\omega/2+o(1)}$. If $\omega=2$, this yields a conditionally tight bound for all $k\ge 2$. To study if $k$-Dominating Set is special in its sensitivity to sparsity, we consider a class of very related problems. The $k$-Dominating Set problem belongs to a type of first-order definable graph properties that we call monochromatic basic problems. These problems are the natural monochromatic variants of the basic problems that were proven complete for the class FOP of first-order definable properties (Gao, Impagliazzo, Kolokolova, and Williams, TALG 2019). We show that among these problems, $k$-Dominating Set is the only one whose fine-grained complexity decreases in sparse graphs. Only for the special case of reflexive properties, is there an additional basic problem that can be solved faster than $n^{k\pm o(1)}$ on sparse graphs. For the natural variant of distance-$r$ $k$-dominating set, we obtain a hardness of $n^{k-o(1)}$ under SETH for every $r\ge 2$ already on sparse graphs, which is tight for sufficiently large $k$.


title: Thermalization and quark production in spatially homogeneous systems of gluons

abstract: We first assemble a full set of the Boltzmann Equation in Diffusion Approximation (BEDA) for studying thermalization/hydrodynamization and quark production in out of equilibrium systems. We then discuss thermalization and the production of three flavors of massless quarks in spatially homogeneous systems initially filled only with gluons. A complete parametric understanding for thermalization and quark production is obtained for both initially very dense or dilute systems, which are complemented by detailed numerical simulations. For initial distributions more relevant for heavy-ion collisions, the complete thermal equilibration is found to be significantly delayed by considering quark production.


title: Chain controllability of linear control systems

abstract: For linear control systems with bounded control range, chain controllability properties are analyzed. It is shown that there exists a unique chain control set and that it equals the sum of the control set around the origin and the center Lyapunov space of the homogeneous part. For the proof, the linear control system is extended to a bilinear control system on an augmented state space. This system induces a control system on projective space. For the associated control flow attractor-repeller decompositions are used to show that the control system on projective space has a unique chain control set that is not contained in the equator. It is given by the image of the chain control set of the original linear control system.


title: Assumption-lean conditional predictive inference via the Jackknife and the Jackknife+

abstract: The aim of the present work is to construct prediction intervals via the Jackknife and the Jackknife+ whose coverage probability conditional on the training data is close to its nominal level in finite samples and can be asymptotically valid in high-dimensions. The main innovation is twofold: Firstly, we generalize the results of Steinberger and Leeb (2023) for the Jackknife to a non-continuous response distribution and to the case of non-linear models. Secondly, we show that under a stability assumption the prediction intervals via a Jackknife+-approach are closely related to their Jackknife analogues and therefore share a similar conditional coverage probability. More specifically, this work is split into four parts: in the first part we introduce the $\varepsilon$-variational divergence in order to link the prediction interval's coverage probability to the accuracy of estimating the distribution of the prediction error. In the second part, we define an approach based on the Jackknife for the estimation of the prediction error's distribution conditional on the training data. We show that the prediction error's distribution can be estimated consistently if two conditions are fulfilled: the prediction error should be bounded in probability and the prediction algorithm should satisfy a stability condition. In particular, we show that under these two conditions the prediction intervals based on the Jackknife are asymptotically valid. In the fourth part we draw a connection between the Jackknife and the Jackknife+ and show that corresponding prediction intervals are closely related to each other given the stability condition. In the last part we show that under mild assumptions the conditions for asymptotically valid prediction intervals based on the Jackknife or the Jackknife+ are fulfilled for several predictors.


title: Decay of the Higgs boson to longitudinally polarized leptons and quarks

abstract: An important problem in the particle physics is interaction of the Higgs boson with the fermions. It is in the processes, which involve $h f f $ interaction, the manifestations of $CP$ violation are possible. This in turn can be helpful in solving the problem of the dominance of matter over antimatter in the Universe. In this connection, in the present paper, the effect of longitudinal polarization of leptons and quarks produced in the decay of the Higgs boson is investigated and calculated. We consider the case in which the Higgs boson interacts with fermions via a mixture of scalar and pseudoscalar couplings. Under this assumption, the longitudinal polarization can acquire non-zero values due to imaginary part of loop corrections to tree-level amplitudes. This polarization is a direct signature of the $CP$ violation in the Higgs sector. Effects of the longitudinal polarization of $\tau$ leptons on the energy distribution of the pions in the two-step Higgs-boson decay $h \to \tau^- \tau^+ \to \pi^- \nu_\tau \pi^+ \bar{\nu}_\tau$ are also studied, and the energy asymmetry with corresponding moments are calculated.


title: Exact numerical solution of the classical and quantum Heisenberg spin glass

abstract: We present the mean field solution of the quantum and classical Heisenberg spin glasses, using the combination of a high precision numerical solution of the Parisi full replica symmetry breaking equations and a continuous time Quantum Monte Carlo. We characterize the spin glass order and its low-energy excitations down to zero temperature. The Heisenberg spin glass has a rougher energy landscape than its Ising analogue, and exhibits a very slow temperature evolution of its dynamical properties. We extend our analysis to the doped, metallic Heisenberg spin glass, which displays an unexpectedly slow spin dynamics reflecting the proximity to the melting quantum critical point and its associated Sachdev-Ye-Kitaev Planckian dynamics.


title: A Polarization Opinion Model Inspired by Bounded Confidence Communications

abstract: We present an opinion model founded upon the principles of the bounded confidence interaction among agents. Our objective is to explain the polarization effects inherent to vector-valued opinions. The evolutionary process adheres to the rule where each agent aspires to increase polarization through communication with a single friend during each discrete time step. The dynamics ensure that agents' ultimate (temporal) configuration will encompass a finite number of outlier states. We introduce deterministic and stochastic models, accompanied by a comprehensive mathematical analysis of their inherent properties. Additionally, we provide compelling illustrative examples and introduce a stochastic solver tailored for scenarios featuring an extensive set of agents. Furthermore, in the context of smaller agent populations, we scrutinize the suitability of neural networks for the rapid inference of limit configurations.

categories: cs.MA cs.NA cs.SY eess.SY math.DS math.NA


title: Categorical models of subtyping

abstract: Most categorical models for dependent types have traditionally been heavily set based: contexts form a category, and for each we have a set of types in said context -- and for each type a set of terms of said type. This is the case for categories with families, categories with attributes, and natural models; in particular, all of them can be traced back to certain discrete Grothendieck fibrations. We extend this intuition to the case of general, non necessarily discrete, fibrations, so that over a given context one has not only a set but a category of types. We argue that the added structure can be attributed to a notion of subtyping that shares many features with that of coercive subtyping, in the sense that it is the product of thinking about subtyping as an abbreviation mechanism: we say that a given type $A'$ is a subtype of $A$ if there is a unique coercion from $A'$ to $A$. Whenever we need a term of type $A$, then, it suffices to have a term of type $A'$, which we can `plug-in' into $A$. For this version of subtyping we provide rules, coherences, and explicit models, and we compare and contrast it to coercive subtyping as introduced by Z. Luo and others. We conclude by suggesting how the tools we present can be employed in finding appropriate rules relating subtyping and certain type constructors.


title: Generalized Moment Estimators based on Stein Identities

abstract: For parameter estimation of continuous and discrete distributions, we propose a generalization of the method of moments (MM), where Stein identities are utilized for improved estimation performance. The construction of these Stein-type MM-estimators makes use of a weight function as implied by an appropriate form of the Stein identity. Our general approach as well as potential benefits thereof are first illustrated by the simple example of the exponential distribution. Afterward, we investigate the more sophisticated two-parameter inverse Gaussian distribution and the two-parameter negative-binomial distribution in great detail, together with illustrative real-world data examples. Given an appropriate choice of the respective weight functions, their Stein-MM estimators, which are defined by simple closed-form formulas and allow for closed-form asymptotic computations, exhibit a better performance regarding bias and mean squared error than competing estimators.


title: Nanoscale X-ray imaging with high spectral sensitivity using fluorescence intensity correlations

abstract: This paper introduces Spectral Incoherent Diffractive Imaging (SIDI) as a novel method for achieving dark-field imaging of nanostructures with heterogeneous oxidation states. With SIDI, shifts in photoemission profiles can be spatially resolved, enabling the independent imaging of the underlying emitter distributions contributing to each spectral line. In the X-ray domain, this approach offers unique insights beyond the conventional combination of diffraction and X-ray Emission Spectroscopy (XES). When applied at X-ray Free-Electron Lasers (XFELs), SIDI promises to be a versatile tool for investigating a broad range of systems, offering unprecedented opportunities for detailed characterization of heterogeneous nanostructures for catalysis and energy storage, including of their ultrafast dynamics.


title: From the Lorentz invariant to the coframe form of $f(T)$ gravity

abstract: It is shown that the Lorentz invariant $f(T)$ gravity, defined by the coframe-connection-multiplier form of the Lagrangian, can be gauge-fixed to the pure coframe form. After clarifying basic aspects of the problem in the Lagrangian formalism, a more detailed analysis of this gauge equivalence is given relying on the Dirac Hamiltonian approach.


title: Towards a comprehensive understanding of the low energy luminescence peak in 2D materials

abstract: An intense low-energy broad luminescence peak (L-peak) is usually observed in 2D transition metal dichalcogenides (TMDs) at low temperatures. L-peak has earlier been attributed to bound excitons, but its origins are widely debated with direct consequences on optoelectronic properties. To decouple the contributions of physisorbed and chemisorbed oxygen, organic adsorbates, and strain on L-peak, we measured a series of monolayer (ML) MoS2 samples (mechanically exfoliated (ME), synthesized by oxygen-assisted chemical vapour deposition (O-CVD), hexagonal boron nitride (hBN) covered and hBN encapsulated). Emergence of L-peak below 150 K and saturation of photoluminescence (PL) intensity with laser power confirm bound nature of L-peak. Anomalously at room temperature, O-CVD samples show high A-exciton PL (c.f. ME), but reduced PL at low temperatures, which is attributed to strain-induced direct-to-indirect bandgap change in low defect O-CVD MoS2. Further, L-peak redshifts dramatically ~ 130 meV for O-CVD samples (c.f. ME). These observations are fully consistent with our predictions from density functional theory (DFT) calculations, considering effects of both strain and defects, and supported by Raman spectroscopy. In ME samples, charged oxygen adatoms are identified as thermodynamically favourable defects which can create in-gap states, and contribute to the L-peak. The useful effect of hBN is found to originate from reduction of charged oxygen adatoms and hydrocarbon complexes. This combined experimental-theoretical study allows an enriched understanding of L-peak and beneficial impact of hBN, and motivates collective studies of strain and defects with direct impact on optoelectronics and quantum technologies.


title: Seismic monitoring of water volume in a porous storage: A field-data study

abstract: With global groundwater levels undergoing rapid declines, there is an urgent need for advanced methodologies to monitor and manage aquifers. This paper explores the potential of seismic data as a tool for these purposes. Building upon prior studies employing synthetic data, our investigation progresses to analyzing measured data acquired from a field site in Laukaa, Finland. Utilizing neural networks, we directly recover water volume from seismic data, eliminating the need for independent determinations of geometry and porosity. The study involves simulating wave propagation through a coupled poroviscoelastic-viscoelastic medium, employing a three-dimensional discontinuous Galerkin method coupled with an Adams-Bashforth time-stepping scheme. The proposed approach is tested on both field measurements from the Laukaa site and synthetic data, aiming to enhance methodologies for precisely mapping water volume and providing invaluable insights for the development of sustainable water management strategies.