title: The "test space and pairing" idea for frames and some generalized characterizations and topological properties of Euclidean continuous frames

abstract: We introduce the "test space and pairing" idea for frames and apply it to the $\ell^2$ and $L^2$ spaces. First, we show that for every $J \neq \emptyset$, the notions of a classical $I$-frame with values in $H$ and a $J$-extended classical $I$-frame with values in $H$ are the same. The definition of a $J$-extended classical $I$-frame with values in $H$, $u = (u_i)_{i \in I}$, utilizes the "test space and pairing" idea by replacing the usual "test space" $H$ with $\ell^2(J;H)$ and the usual "pairing" ${P : (v ; (u_i)_{i \in I}) \in H \times \mathcal{F}_I^H \mapsto (\langle v , u_i \rangle)_{i \in I} \in \ell^2(I;\mathbb{F})}$ with ${P^J : ((v_j)_{j \in J} ; (u_i)_{i \in I}) \in \ell^2(J;H) \times \mathcal{F}_I^H \mapsto (\langle v_j , u_i \rangle)_{(i,j) \in I \times J} \in \ell^2(I \times J;\mathbb{F})}$. Secondly, we prove a similar result when the space $\ell^2(J;H)$ is replaced with the space $L^2(Y,\nu;H)$ and the frame $u = (u_x)_{x \in X}$ is $(X,\mu)$-continuous. Besides, we define the $J$-extended and $(Y,\nu)$-extended analysis, synthesis, and frame operators of the frame $u$ and note that they are just natural block-diagonal operators. After that, we generalize quite straightforwardly the well-known characterizations of Euclidean finite frames to the corresponding characterizations of Euclidean continuous frames. One tool that we use in this endeavor is some rewritings of the quotients $N(v ; (u_x)_{x \in X})$ and $N( (v_y)_{y \in Y}) ; (u_x)_{x \in X} )$. Besides, we give a simple sufficient condition for having a frame with values in $\mathbb{F}^2$ and use it to provide an example of a classical $\mathbb{N}^*$-frame with values in $\mathbb{C}^2$. Finally, we generalize some topological properties of the set of frames and Parseval frames from the Euclidean finitely indexed case to the Euclidean continuous one.


title: Black hole thermodynamic free energy as $A$-discriminants

abstract: We show that the free energy $\mathcal{F}$ and temperature $T$ of black holes, considered as a thermodynamic system, can be viewed as an $A$-discriminant of an appropriately-defined polynomial. As such, mathematical results about $A$-discriminants may lead to implications about black hole thermodynamics. In particular, for static spacetimes with spherical, planar, or hyperbolic symmetry, the number of distinct thermodynamic phases depend on the number of distinct terms in the metric component $g_{tt}$. We prove that if $g_{tt}$ consists of $N_f$ distinct terms, then the $\mathcal{F}$-$T$ curve consists of $N_f-2$ cusps, which in turn leads to $N_f-1$ distinct thermodynamic phases. This result is applied to explicit examples of the Schwarzschild-AdS, Reissner--Nordstr\"{o}m, power-law Maxwell, and Euler--Heisenberg black holes.


title: Age-Friendly Route Planner: Calculating Comfortable Routes for Senior Citizens

abstract: The application of routing algorithms to real-world situations is a widely studied research topic. Despite this, routing algorithms and applications are usually developed for a general purpose, meaning that certain groups, such as ageing people, are often marginalized due to the broad approach of the designed algorithms. This situation may pose a problem in cities which are suffering a slow but progressive ageing of their populations. With this motivation in mind, this paper focuses on describing our implemented Age-Friendly Route Planner, whose goal is to improve the experience in the city for senior citizens. In order to measure the age-friendliness of a route, several variables have been deemed, such as the number of amenities along the route, the amount of comfortable elements found, or the avoidance of sloppy sections. In this paper, we describe one of the main features of the Age-Friendly Route Planner: the preference-based routes, and we also demonstrate how it can contribute to the creation of adapted friendly routes.


title: Rationally connected Galois covers of Fano-Mori fibre spaces

abstract: For Fano-Mori fibre spaces $\pi\colon V\to S$, every fibre of which is a primitive Fano variety with the global canonical threshold at least 1, and which are stable with respect to birational modifications of the base and sufficiently twisted over the base, we prove that every rationally connected Galois cyclic rational cover is pulled back from the base; in particular, if $S$ does not have such covers then $V$ does not have rationally connected Galois rational covers, the Galois group of which is not perfect.


title: Robust Multidimentional Chinese Remainder Theorem for Integer Vector Reconstruction

abstract: The problem of robustly reconstructing an integer vector from its erroneous remainders appears in many applications in the field of multidimensional (MD) signal processing. To address this problem, a robust MD Chinese remainder theorem (CRT) was recently proposed for a special class of moduli, where the remaining integer matrices left-divided by a greatest common left divisor (gcld) of all the moduli are pairwise commutative and coprime. The strict constraint on the moduli limits the usefulness of the robust MD-CRT in practice. In this paper, we investigate the robust MD-CRT for a general set of moduli. We first introduce a necessary and sufficient condition on the difference between paired remainder errors, followed by a simple sufficient condition on the remainder error bound, for the robust MD-CRT for general moduli, where the conditions are associated with (the minimum distances of) these lattices generated by gcld's of paired moduli, and a closed-form reconstruction algorithm is presented. We then generalize the above results of the robust MD-CRT from integer vectors/matrices to real ones. Finally, we validate the robust MD-CRT for general moduli by employing numerical simulations, and apply it to MD sinusoidal frequency estimation based on multiple sub-Nyquist samplers.


title: Asymptotics for $d$-fold partition diamonds and related infinite products

abstract: We prove an asymptotic formula for the number of $d$-fold partition diamonds of $n$ and their Schmidt-type counterparts. In order to do so, we study the asymptotic behavior of certain infinite products. We also remark on interesting potential connections with mathematical physics and Bloch groups.


title: Phase of Kerr-based few-cycle parametric amplification

abstract: Kerr instability amplification can amplify over an octave of spectrum, a broad bandwdith supporting few-cycle pulses. However, dispersion management in this regime is crucial to maintain the ultrashort pulse duration. In our simulations, we find that the dispersion of Kerr instability amplification is near zero at the pump wavelength, and can be compensated pre-amplification to generate near-transform-limited amplified few-cycle pulses. We also find the phase of the amplified pulse depends on the seed phase and is independent of the pump, and does not significantly depend on the pump intensity. We discuss chirping the seed pulse to avoid saturation, a route for generating sub-mJ few-cycle pulses from the Kerr nonlinearity.


title: Dissipation-based proper orthogonal decomposition of turbulent Rayleigh-B\'enard convection flow

abstract: We present a formulation of proper orthogonal decomposition (POD) producing a velocity-temperature basis optimized with respect to an $H^1$ dissipation norm. This decomposition is applied, along with a conventional POD optimized with respect to an $L^2$ energy norm, to a data set generated from a direct numerical simulation of Rayleigh-B\'enard convection in a cubic cell ($\mathrm{Ra}=10^7$, $\mathrm{Pr}=0.707$). The data set is enriched using symmetries of the cell, and we formally link symmetrization to degeneracies and to the separation of the POD bases into subspaces with distinct symmetries. We compare the two decompositions, demonstrating that each of the 20 lowest dissipation modes is analogous to one of the 20 lowest energy modes. Reordering of modes between the decompositions is limited, although a corner mode known to be crucial for reorientations of the large-scale circulation is promoted in the dissipation decomposition, indicating suitability of the dissipation decomposition for capturing dynamically important structures. Dissipation modes are shown to exhibit enhanced activity in boundary layers. Reconstructing kinetic and thermal energy, viscous and thermal dissipation, and convective heat flux, we show that the dissipation decomposition improves overall convergence of each quantity in the boundary layer. Asymptotic convergence rates are nearly constant among the quantities reconstructed globally using the dissipation decomposition, indicating that a range of dynamically relevant scales are efficiently captured. We discuss the implications of the findings for using the dissipation decomposition in modeling, and argue that the $H^1$ norm allows for a better modal representation of the flow dynamics.


title: Robot Hand-Eye Calibration using Structure-from-Motion

abstract: In this paper we propose a new flexible method for hand-eye calibration. The vast majority of existing hand-eye calibration techniques requires a calibration rig which is used in conjunction with camera pose estimation methods. Instead, we combine structure-from-motion with known robot motions and we show that the solution can be obtained in linear form. The latter solves for both the hand-eye parameters and for the unknown scale factor inherent with structure-from-motion methods. The algebraic analysis that is made possible with such a linear formulation allows to investigate not only the well known case of general screw motions but also such singular motions as pure translations, pure rotations, and planar motions. In essence, the robot-mounted camera looks to an unknown rigid layout, tracks points over an image sequence and estimates the camera-to-robot relationship. Such a self calibration process is relevant for unmanned vehicles, robots working in remote places, and so forth. We conduct a large number of experiments which validate the quality of the method by comparing it with existing ones.


title: LogLead -- Fast and Integrated Log Loader, Enhancer, and Anomaly Detector

abstract: This paper introduces LogLead, a tool designed for efficient log analysis benchmarking. LogLead combines three essential steps in log processing: loading, enhancing, and anomaly detection. The tool leverages Polars, a high-speed DataFrame library. We currently have Loaders for eight systems that are publicly available (HDFS, Hadoop, BGL, Thunderbird, Spirit, Liberty, TrainTicket, and GC Webshop). We have multiple enhancers with three parsers (Drain, Spell, LenMa), Bert embedding creation and other log representation techniques like bag-of-words. LogLead integrates to five supervised and four unsupervised machine learning algorithms for anomaly detection from SKLearn. By integrating diverse datasets, log representation methods and anomaly detectors, LogLead facilitates comprehensive benchmarking in log analysis research. We show that log loading from raw file to dataframe is over 10x faster with LogLead compared to past solutions. We demonstrate roughly 2x improvement in Drain parsing speed by off-loading log message normalization to LogLead. Our brief benchmarking on HDFS indicates that log representations extending beyond the bag-of-words approach offer limited additional benefits. Tool URL: https://github.com/EvoTestOps/LogLead


title: DocPedia: Unleashing the Power of Large Multimodal Model in the Frequency Domain for Versatile Document Understanding

abstract: This work presents DocPedia, a novel large multimodal model (LMM) for versatile OCR-free document understanding, capable of parsing images up to 2,560$\times$2,560 resolution. Unlike existing work either struggle with high-resolution documents or give up the large language model thus vision or language ability constrained, our DocPedia directly processes visual input in the frequency domain rather than the pixel space. The unique characteristic enables DocPedia to capture a greater amount of visual and textual information using a limited number of visual tokens. To consistently enhance both perception and comprehension abilities of our model, we develop a dual-stage training strategy and enrich instructions/annotations of all training tasks covering multiple document types. Extensive quantitative and qualitative experiments conducted on various publicly available benchmarks confirm the mutual benefits of jointly learning perception and comprehension tasks. The results provide further evidence of the effectiveness and superior performance of our DocPedia over other methods.


title: Large Language Models and Explainable Law: a Hybrid Methodology

abstract: The paper advocates for LLMs to enhance the accessibility, usage and explainability of rule-based legal systems, contributing to a democratic and stakeholder-oriented view of legal technology. A methodology is developed to explore the potential use of LLMs for translating the explanations produced by rule-based systems, from high-level programming languages to natural language, allowing all users a fast, clear, and accessible interaction with such technologies. The study continues by building upon these explanations to empower laypeople with the ability to execute complex juridical tasks on their own, using a Chain of Prompts for the autonomous legal comparison of different rule-based inferences, applied to the same factual case.


title: Improving Real Estate Appraisal with POI Integration and Areal Embedding

abstract: Despite advancements in real estate appraisal methods, this study primarily focuses on two pivotal challenges. Firstly, we explore the often-underestimated impact of Points of Interest (POI) on property values, emphasizing the necessity for a comprehensive, data-driven approach to feature selection. Secondly, we integrate road-network-based Areal Embedding to enhance spatial understanding for real estate appraisal. We first propose a revised method for POI feature extraction, and discuss the impact of each POI for house price appraisal. Then we present the Areal embedding-enabled Masked Multihead Attention-based Spatial Interpolation for House Price Prediction (AMMASI) model, an improvement upon the existing ASI model, which leverages masked multi-head attention on geographic neighbor houses and similar-featured houses. Our model outperforms current baselines and also offers promising avenues for future optimization in real estate appraisal methodologies.


title: Efficient Grammatical Error Correction Via Multi-Task Training and Optimized Training Schedule

abstract: Progress in neural grammatical error correction (GEC) is hindered by the lack of annotated training data. Sufficient amounts of high-quality manually annotated data are not available, so recent research has relied on generating synthetic data, pretraining on it, and then fine-tuning on real datasets; performance gains have been achieved either by ensembling or by using huge pretrained models such as XXL-T5 as the backbone. In this work, we explore an orthogonal direction: how to use available data more efficiently. First, we propose auxiliary tasks that exploit the alignment between the original and corrected sentences, such as predicting a sequence of corrections. We formulate each task as a sequence-to-sequence problem and perform multi-task training. Second, we discover that the order of datasets used for training and even individual instances within a dataset may have important effects on the final performance, so we set out to find the best training schedule. Together, these two ideas lead to significant improvements, producing results that improve state of the art with much smaller models; in particular, we outperform the best models based on T5-XXL (11B parameters) with a BART-based model (400M parameters).


title: Movable-Antenna-Array-Enabled Communications with CoMP Reception

abstract: We consider the movable-antenna (MA) arrayenabled wireless communication with coordinate multi-point (CoMP) reception, where multiple destinations adopt the maximal ratio combination technique to jointly decode the common message sent from the transmitter equipped with the MA array. Our goal is to maximize the effective received signal-to-noise ratio, by jointly optimizing the transmit beamforming and the positions of the MA array. Although the formulated problem is highly non-convex, we reveal that it is fundamental to maximize the principal eigenvalue of a hermite channel matrix which is a function of the positions of the MA array. The corresponding sub-problem is still non-convex, for which we develop a computationally efficient algorithm. Afterwards, the optimal transmit beamforming is determined with a closed-form solution. In addition, the theoretical performance upper bound is analyzed. Since the MA array brings an additional spatial degree of freedom by flexibly adjusting all antennas' positions, it achieves significant performance gain compared to competitive benchmarks.


title: CrackCLF: Automatic Pavement Crack Detection based on Closed-Loop Feedback

abstract: Automatic pavement crack detection is an important task to ensure the functional performances of pavements during their service life. Inspired by deep learning (DL), the encoder-decoder framework is a powerful tool for crack detection. However, these models are usually open-loop (OL) systems that tend to treat thin cracks as the background. Meanwhile, these models can not automatically correct errors in the prediction, nor can it adapt to the changes of the environment to automatically extract and detect thin cracks. To tackle this problem, we embed closed-loop feedback (CLF) into the neural network so that the model could learn to correct errors on its own, based on generative adversarial networks (GAN). The resulting model is called CrackCLF and includes the front and back ends, i.e. segmentation and adversarial network. The front end with U-shape framework is employed to generate crack maps, and the back end with a multi-scale loss function is used to correct higher-order inconsistencies between labels and crack maps (generated by the front end) to address open-loop system issues. Empirical results show that the proposed CrackCLF outperforms others methods on three public datasets. Moreover, the proposed CLF can be defined as a plug and play module, which can be embedded into different neural network models to improve their performances.


title: Hybrid Controller for Robot Manipulators in Task-Space with Visual-Inertial Feedback

abstract: This paper presents a visual-inertial-based control strategy to address the task space control problem of robot manipulators. To this end, an observer-based hybrid controller is employed to control end-effector motion. In addition, a hybrid observer is introduced for a visual-inertial navigation system to close the control loop directly at the Cartesian space by estimating the end-effector pose. Accordingly, the robot tip is equipped with an inertial measurement unit (IMU) and a stereo camera to provide task-space feedback information for the proposed observer. It is demonstrated through the Lyapunov stability theorem that the resulting closed-loop system under the proposed observer-based controller is globally asymptotically stable. Besides this notable merit (global asymptotic stability), the proposed control method eliminates the need to compute inverse kinematics and increases trajectory tracking accuracy in task-space. The effectiveness and accuracy of the proposed control scheme are evaluated through computer simulations, where the proposed control structure is applied to a 6 degrees-of-freedom long-reach hydraulic robot manipulator.


title: Quantum Strategies for Rendezvous and Domination Tasks on Graphs with Mobile Agents

abstract: This paper explores the application of quantum non-locality, a renowned and unique phenomenon acknowledged as a valuable resource. Focusing on a novel application, we demonstrate its quantum advantage for mobile agents engaged in specific distributed tasks without communication. The research addresses the significant challenge of rendezvous on graphs and introduces a new distributed task for mobile agents grounded in the graph domination problem. Through an investigation across various graph scenarios, we showcase the quantum advantage. Additionally, we scrutinize deterministic strategies, highlighting their comparatively lower efficiency compared to quantum strategies. The paper concludes with a numerical analysis, providing further insights into our findings.


title: Simultaneous Robot-World and Hand-Eye Calibration

abstract: Recently, Zhuang, Roth, \& Sudhakar [1] proposed a method that allows simultaneous computation of the rigid transformations from world frame to robot base frame and from hand frame to camera frame. Their method attempts to solve a homogeneous matrix equation of the form AX=ZB. They use quaternions to derive explicit linear solutions for X and Z. In this short paper, we present two new solutions that attempt to solve the homogeneous matrix equation mentioned above: (i) a closed-form method which uses quaternion algebra and a positive quadratic error function associated with this representation and (ii) a method based on non-linear constrained minimization and which simultaneously solves for rotations and translations. These results may be useful to other problems that can be formulated in the same mathematical form. We perform a sensitivity analysis for both our two methods and the linear method developed by Zhuang et al. This analysis allows the comparison of the three methods. In the light of this comparison the non-linear optimization method, which solves for rotations and translations simultaneously, seems to be the most stable one with respect to noise and to measurement errors.


title: Generalized super-resolution 4D Flow MRI $\unicode{x2013}$ using ensemble learning to extend across the cardiovascular system

abstract: 4D Flow Magnetic Resonance Imaging (4D Flow MRI) is a non-invasive measurement technique capable of quantifying blood flow across the cardiovascular system. While practical use is limited by spatial resolution and image noise, incorporation of trained super-resolution (SR) networks has potential to enhance image quality post-scan. However, these efforts have predominantly been restricted to narrowly defined cardiovascular domains, with limited exploration of how SR performance extends across the cardiovascular system; a task aggravated by contrasting hemodynamic conditions apparent across the cardiovasculature. The aim of our study was to explore the generalizability of SR 4D Flow MRI using a combination of heterogeneous training sets and dedicated ensemble learning. With synthetic training data generated across three disparate domains (cardiac, aortic, cerebrovascular), varying convolutional base and ensemble learners were evaluated as a function of domain and architecture, quantifying performance on both in-silico and acquired in-vivo data from the same three domains. Results show that both bagging and stacking ensembling enhance SR performance across domains, accurately predicting high-resolution velocities from low-resolution input data in-silico. Likewise, optimized networks successfully recover native resolution velocities from downsampled in-vivo data, as well as show qualitative potential in generating denoised SR-images from clinical level input data. In conclusion, our work presents a viable approach for generalized SR 4D Flow MRI, with ensemble learning extending utility across various clinical areas of interest.


title: Local Purity Distillation in Quantum Systems: Exploring the Complementarity Between Purity and Entanglement

abstract: Quantum thermodynamics and quantum entanglement represent two pivotal quantum resource theories with significant relevance in quantum information science. Despite their importance, the intricate relationship between these two theories is still not fully understood. Here, we delve into the interplay between entanglement and thermodynamics, particularly in the context of local cooling processes. We introduce and develop the framework of Gibbs-preserving local operations and classical communication. Within this framework, we explore strategies enabling remote parties to effectively cool their local systems to the ground state. Our analysis is centered on scenarios where only a single copy of a quantum state is accessible, with the ideal performance defined by the highest possible fidelity to the ground state achievable under these constraints. We focus on systems with fully degenerate local Hamiltonians, where local cooling aligns with the extraction of local purity. In this context, we establish a powerful link between the efficiency of local purity extraction and the degree of entanglement present in the system, a concept we define as purity-entanglement complementarity. Moreover, we demonstrate that in many pertinent scenarios, the optimal performance can be precisely determined through semidefinite programming techniques. Our findings open doors to various practical applications, including techniques for entanglement detection and estimation. We demonstrate this by evaluating the amount of entanglement for a class of bound entangled states.


title: Cross-View Graph Consistency Learning for Invariant Graph Representations

abstract: Graph representation learning is fundamental for analyzing graph-structured data. Exploring invariant graph representations remains a challenge for most existing graph representation learning methods. In this paper, we propose a cross-view graph consistency learning (CGCL) method that learns invariant graph representations for link prediction. First, two complementary augmented views are derived from an incomplete graph structure through a bidirectional graph structure augmentation scheme. This augmentation scheme mitigates the potential information loss that is commonly associated with various data augmentation techniques involving raw graph data, such as edge perturbation, node removal, and attribute masking. Second, we propose a CGCL model that can learn invariant graph representations. A cross-view training scheme is proposed to train the proposed CGCL model. This scheme attempts to maximize the consistency information between one augmented view and the graph structure reconstructed from the other augmented view. Furthermore, we offer a comprehensive theoretical CGCL analysis. This paper empirically and experimentally demonstrates the effectiveness of the proposed CGCL method, achieving competitive results on graph datasets in comparisons with several state-of-the-art algorithms.


title: Zero redundancy distributed learning with differential privacy

abstract: Deep learning using large models have achieved great success in a wide range of domains. However, training these models on billions of parameters is very challenging in terms of the training speed, memory cost, and communication efficiency, especially under the privacy-preserving regime with differential privacy (DP). On the one hand, DP optimization has comparable efficiency to the standard non-private optimization on a single GPU, but on multiple GPUs, existing DP distributed learning (such as pipeline parallel) has suffered from significantly worse efficiency. On the other hand, the Zero Redundancy Optimizer (ZeRO) is a state-of-the-art solution to the standard distributed learning, exhibiting excellent training efficiency on large models, but to work compatibly with DP is technically complicated. In this work, we develop a new systematic solution, DP-ZeRO, (I) to scale up the trainable DP model size, e.g. to GPT-100B, (II) to obtain the same computation and communication efficiency as the standard ZeRO, and (III) to enable mixed-precision DP training. Our DP-ZeRO, like the standard ZeRO, has the potential to train models with arbitrary size and is evaluated on the world's largest DP models in terms of the number of trainable parameters.


title: Convergence analysis and parameter estimation for the iterated Arnoldi-Tikhonov method

abstract: The Arnoldi-Tikhonov method is a well-established regularization technique for solving large-scale ill-posed linear inverse problems. This method leverages the Arnoldi decomposition to reduce computational complexity by projecting the discretized problem into a lower-dimensional Krylov subspace, in which it is solved. This paper explores the iterated Arnoldi-Tikhonov method, conducting a comprehensive analysis that addresses all approximation errors. Additionally, it introduces a novel strategy for choosing the regularization parameter, leading to more accurate approximate solutions compared to the standard Arnoldi-Tikhonov method. Moreover, the proposed method demonstrates robustness with respect to the regularization parameter, as confirmed by the numerical results.


title: Neural Graph Collaborative Filtering Using Variational Inference

abstract: The customization of recommended content to users holds significant importance in enhancing user experiences across a wide spectrum of applications such as e-commerce, music, and shopping. Graph-based methods have achieved considerable performance by capturing user-item interactions. However, these methods tend to utilize randomly constructed embeddings in the dataset used for training the recommender, which lacks any user preferences. Here, we propose the concept of variational embeddings as a means of pre-training the recommender system to improve the feature propagation through the layers of graph convolutional networks (GCNs). The graph variational embedding collaborative filtering (GVECF) is introduced as a novel framework to incorporate representations learned through a variational graph auto-encoder which are embedded into a GCN-based collaborative filtering. This approach effectively transforms latent high-order user-item interactions into more trainable vectors, ultimately resulting in better performance in terms of recall and normalized discounted cumulative gain(NDCG) metrics. The experiments conducted on benchmark datasets demonstrate that our proposed method achieves up to 13.78% improvement in the recall over the test data.


title: Holistic Inverse Rendering of Complex Facade via Aerial 3D Scanning

abstract: In this work, we use multi-view aerial images to reconstruct the geometry, lighting, and material of facades using neural signed distance fields (SDFs). Without the requirement of complex equipment, our method only takes simple RGB images captured by a drone as inputs to enable physically based and photorealistic novel-view rendering, relighting, and editing. However, a real-world facade usually has complex appearances ranging from diffuse rocks with subtle details to large-area glass windows with specular reflections, making it hard to attend to everything. As a result, previous methods can preserve the geometry details but fail to reconstruct smooth glass windows or verse vise. In order to address this challenge, we introduce three spatial- and semantic-adaptive optimization strategies, including a semantic regularization approach based on zero-shot segmentation techniques to improve material consistency, a frequency-aware geometry regularization to balance surface smoothness and details in different surfaces, and a visibility probe-based scheme to enable efficient modeling of the local lighting in large-scale outdoor environments. In addition, we capture a real-world facade aerial 3D scanning image set and corresponding point clouds for training and benchmarking. The experiment demonstrates the superior quality of our method on facade holistic inverse rendering, novel view synthesis, and scene editing compared to state-of-the-art baselines.


title: Optimised Baranyai partitioning of the second quantised Hamiltonian

abstract: Simultaneous measurement of multiple Pauli strings (tensor products of Pauli matrices) is the basis for efficient measurement of observables on quantum computers by partitioning the observable into commuting sets of Pauli strings. We present the implementation and optimisation of the Baranyai grouping method for second quantised Hamiltonian partitioning in molecules up to CH$_4$ (cc-pVDZ, 68 qubits) and efficient construction of the diagonalisation circuit in $O(N)$ quantum gates, compared to $O(N^2)$, where $N$ is the number of qubits. We show that this method naturally handles sparsity in the Hamiltonian and produces a $O(1)$ number of groups for linearly scaling Hamiltonians, such as those formed by molecules in a line; rising to $O(N^3)$ for fully connected two-body Hamiltonians. While this is more measurements than some other schemes it allows for the flexibility to move Pauli strings and optimise the variance. We also present an explicit optimisation for spin-symmetry which reduces the number of groups by a factor of $8$, without extra computational effort.


title: Few-shot Multispectral Segmentation with Representations Generated by Reinforcement Learning

abstract: The task of multispectral image segmentation (segmentation of images with numerous channels/bands, each capturing a specific range of wavelengths of electromagnetic radiation) has been previously explored in contexts with large amounts of labeled data. However, these models tend not to generalize well to datasets of smaller size. In this paper, we propose a novel approach for improving few-shot segmentation performance on multispectral images using reinforcement learning to generate representations. These representations are generated in the form of mathematical expressions between channels and are tailored to the specific class being segmented. Our methodology involves training an agent to identify the most informative expressions, updating the dataset using these expressions, and then using the updated dataset to perform segmentation. Due to the limited length of the expressions, the model receives useful representations without any added risk of overfitting. We evaluate the effectiveness of our approach on several multispectral datasets and demonstrate its effectiveness in boosting the performance of segmentation algorithms.


title: Would Monetary Incentives to COVID-19 vaccination reduce motivation?

abstract: Some people did not get the COVID-19 vaccine even though it was offered at no cost. A monetary incentive might lead people to vaccinate, although existing studies have provided different findings about this effect. We investigate how monetary incentives differ according to individual characteristics. Using panel data with online experiments, we found that (1) subsidies reduced vaccine intention but increased it after controlling heterogeneity; (2) the stronger the social image against the vaccination, the lower the monetary incentive; and (3) persistently unvaccinated people would intend to be vaccinated only if a large subsidy was provided.


title: System 2 Attention (is something you might need too)

abstract: Soft attention in Transformer-based Large Language Models (LLMs) is susceptible to incorporating irrelevant information from the context into its latent representations, which adversely affects next token generations. To help rectify these issues, we introduce System 2 Attention (S2A), which leverages the ability of LLMs to reason in natural language and follow instructions in order to decide what to attend to. S2A regenerates the input context to only include the relevant portions, before attending to the regenerated context to elicit the final response. In experiments, S2A outperforms standard attention-based LLMs on three tasks containing opinion or irrelevant information, QA, math word problems and longform generation, where S2A increases factuality and objectivity, and decreases sycophancy.


title: Tidal Love numbers of Axion stars

abstract: We investigate the tidal deformability of spherically symmetric axion stars on the stable branches, including the Newtonian and relativistic branches. The results suggest that on the stable branch, the electric Love numbers of axion star are positive, while the magnetic Love numbers are negative. On the Newtonian stable branch, the electric tidal Love numbers are much larger than the magnetic ones, while on the relativistic stable branch, they are slightly larger. Furthermore, the relativistic stable branch has much smaller tidal Love numbers than the Newtonian stable branch, indicating weaker deformability of axion stars on the relativistic stable branch. This could be attributed to the fact that on the relativistic branch, axion stars are more compact, resulting hardly distorted by tidal forces.


title: Surface spin polarization in the magnetic response of GeTe Rashba ferroelectric

abstract: We experimentally investigate magnetization reversal curves for a GeTe topological semimetal. In addition to the known lattice diamagnetic response, we observe narrow magnetization loop in low fields, which should not be expected for non-magnetic GeTe. The hysteresis is unusual, so the saturation level is negative in positive fields, and the loop is passed clockwise, in contrast to standard ferromagnetic behavior. The experimental hysteresis curves can not be obtained from usual ferromagnetic ones by adding/subtracting of any linear dependence, or even by considering several interacting magnetic phases. The possibility of several phases is also eliminated by the remanence plots technique (Henkel or {\delta}M plots). We explain our results as a direct consequence of the correlation between ferroelectricity and spin-polarized surface states in GeTe, similarly to magnetoelectric structures.


title: A$^{3}$COSMOS: Dissecting the gas content of star-forming galaxies across the main sequence at 1.2 $\leq z$ < 1.6

abstract: We aim to understand the physical mechanisms that drive star formation in a sample of mass-complete (>10$^{9.5}M_{\odot}$) star-forming galaxies (SFGs) at 1.2 $\leq z$ < 1.6. We selected SFGs from the COSMOS2020 catalog and applied a $uv$-domain stacking analysis to their archival Atacama Large Millimeter/submillimeter Array (ALMA) data. Our stacking analysis provides precise measurements of the mean molecular gas mass and size of SFGs. We also applied an image-domain stacking analysis on their \textit{HST} $i$-band and UltraVISTA $J$- and $K_{\rm s}$-band images. Correcting these rest-frame optical sizes using the $R_{\rm half-stellar-light}$-to-$R_{\rm half-stellar-mass}$ conversion at rest 5,000 angstrom, we obtain the stellar mass size of MS galaxies. Across the MS (-0.2 < $\Delta$MS < 0.2), the mean molecular gas fraction of SFGs increases by a factor of $\sim$1.4, while their mean molecular gas depletion time decreases by a factor of $\sim$1.8. The scatter of the MS could thus be caused by variations in both the star formation efficiency and molecular gas fraction of SFGs. The majority of the SFGs lying on the MS have $R_{\rm FIR}$ $\approx$ $R_{\rm stellar}$. Their central regions are subject to large dust attenuation. Starbursts (SBs, $\Delta$MS>0.7) have a mean molecular gas fraction $\sim$2.1 times larger and mean molecular gas depletion time $\sim$3.3 times shorter than MS galaxies. Additionally, they have more compact star-forming regions ($\sim$2.5~kpc for MS galaxies vs. $\sim$1.4~kpc for SBs) and systematically disturbed rest-frame optical morphologies, which is consistent with their association with major-mergers. SBs and MS galaxies follow the same relation between their molecular gas mass and star formation rate surface densities with a slope of $\sim1.1-1.2$, that is, the so-called KS relation.


title: Towards Perturbation-Induced Static Pivoting on GPU-Based Linear Solvers

abstract: Linear system solving is a key tool for computational power system studies, e.g., optimal power flow, transmission switching, or unit commitment. CPU-based linear system solver speeds, however, have saturated in recent years. Emerging research shows that GPU-based linear system solvers are beginning to achieve notable speedup over CPU-based alternatives in some applications. Due to the architecture of GPU memory access, numerical pivoting represents the new bottleneck which prevents GPU-based solvers from running even faster. Accordingly, this paper proposes a matrix perturbation-based method to induce static pivoting. Using this approach, a series of perturbed, well-conditioned, pivot-free linear systems are solved in parallel on GPUs. Matrix expansion routines are then used to linearly combine the results, and the true solution is recovered to an arbitrarily high degree of theoretical accuracy. We showcase the validity of our approach on distributed-slack AC power flow solve iterations associated with the PGLib 300-bus test case.


title: Congressional Districting: "Rocks-Pebbles-Sand"

abstract: As a case study into an algorithmic approach to congressional districting, North Carolina provides a lot to explore. Statistical modeling has called into question whether recent North Carolina district plans are unbiased. In particular, the literature suggests that the district plan used in the 2016 U.S. House of Representatives election yields outlier results that are statistically unlikely to be obtained without the application of bias. Therefore, methods for creating strong and fair district plans are needed. Informed by previous districting models and algorithms, we build a model and algorithm to produce an ensemble of viable Congressional district plans. Our work contributes a ``Rocks-Pebbles-Sand'' concept and procedure facilitating reasonable population equity with a small overall number of county splits among districts. Additionally, our methodology minimizes the initial need for granular, precinct-level data, thereby reducing the risk of covert gerrymandering. This case study indicates plausibility of an approach built upon an easy-to-understand intuition.


title: (Co)Amoebas, singularities, and torus links

abstract: The prime motivation behind this paper is to prove that any torus link $\mathcal{L}$ can be realized as the union of the one-dimensional connected components of the set of critical values of the argument map restricted to a complex algebraic plane curve. Moreover, given an isolated complex algebraic plane curve quasi-homogeneous singularity, we give an explicit topological and geometric description of the link $\mathcal{L}$ corresponding to this singularity. In other words, we realize this link as the union of the one-dimensional connected components of the set critical values of the argument map restricted to the intersection of the curve with a four-dimensional ball of a sufficiently small radius, centered at the given singularity. This established the first relationship between (co)amoebas and knot theory.


title: Convergence of the PML method for the biharmonic wave scattering problem in periodic structures

abstract: This paper investigates the scattering of biharmonic waves by a one-dimensional periodic array of cavities embedded in an infinite elastic thin plate. The transparent boundary conditions are introduced to formulate the problem from an unbounded domain to a bounded one. The well-posedness of the associated variational problem is demonstrated utilizing the Fredholm alternative theorem. The perfectly matched layer (PML) method is employed to reformulate the original scattering problem, transforming it from an unbounded domain to a bounded one. The transparent boundary conditions for the PML problem are deduced, and the well-posedness of its variational problem is established. Moreover, exponential convergence is achieved between the solution of the PML problem and that of the original scattering problem.


title: Kandinsky Conformal Prediction: Efficient Calibration of Image Segmentation Algorithms

abstract: Image segmentation algorithms can be understood as a collection of pixel classifiers, for which the outcomes of nearby pixels are correlated. Classifier models can be calibrated using Inductive Conformal Prediction, but this requires holding back a sufficiently large calibration dataset for computing the distribution of non-conformity scores of the model's predictions. If one only requires only marginal calibration on the image level, this calibration set consists of all individual pixels in the images available for calibration. However, if the goal is to attain proper calibration for each individual pixel classifier, the calibration set consists of individual images. In a scenario where data are scarce (such as the medical domain), it may not always be possible to set aside sufficiently many images for this pixel-level calibration. The method we propose, dubbed ``Kandinsky calibration'', makes use of the spatial structure present in the distribution of natural images to simultaneously calibrate the classifiers of ``similar'' pixels. This can be seen as an intermediate approach between marginal (imagewise) and conditional (pixelwise) calibration, where non-conformity scores are aggregated over similar image regions, thereby making more efficient use of the images available for calibration. We run experiments on segmentation algorithms trained and calibrated on subsets of the public MS-COCO and Medical Decathlon datasets, demonstrating that Kandinsky calibration method can significantly improve the coverage. When compared to both pixelwise and imagewise calibration on little data, the Kandinsky method achieves much lower coverage errors, indicating the data efficiency of the Kandinsky calibration.


title: Tensor-based Space Debris Detection for Satellite Mega-constellations

abstract: Thousands of satellites, asteroids, and rocket bodies break, collide, or degrade, resulting in large amounts of space debris in low Earth orbit. The presence of space debris poses a serious threat to satellite mega-constellations and to future space missions. Debris can be avoided if detected within the safety range of a satellite. In this paper, an integrated sensing and communication technique is proposed to detect space debris for satellite mega-constellations. The canonical polyadic (CP) tensor decomposition method is used to estimate the rank of the tensor that denotes the number of paths including line-of-sight and non-line-of-sight by exploiting the sparsity of THz channel with limited scattering. The analysis reveals that the reflected signals of the THz can be utilized for the detection of space debris. The CP decomposition is cast as an optimization problem and solved using the alternating least square (ALS) algorithm. Simulation results show that the probability of detection of the proposed tensor-based scheme is higher than the conventional energy-based detection scheme for the space debris detection.


title: Log-periodic oscillations as real-time signatures of hierarchical dynamics in proteins

abstract: The time-dependent relaxation of a dynamical system may exhibit a power-law behavior that is superimposed by log-periodic oscillations. Sornette [Phys. Rep. 297, 239 (1998)] showed that this behavior can be explained by a discrete scale invariance of the system, which is associated with discrete and equidistant timescales on a logarithmic scale. Examples include such diverse fields as financial crashes, random diffusion, and quantum topological materials. Recent time-resolved experiments and molecular dynamics simulations suggest that discrete scale invariance may also apply to hierarchical dynamics in proteins, where several fast local conformational changes are a prerequisite for a slow global transition to occur. Employing entropy-based timescale analysis and Markov state modeling to a simple one-dimensional hierarchical model and biomolecular simulation data, it is found that hierarchical systems quite generally give rise to logarithmically spaced discrete timescales. By introducing a one-dimensional reaction coordinate that collectively accounts for the hierarchically coupled degrees of freedom, the free energy landscape exhibits a characteristic staircase shape with two metastable end states, which causes the log-periodic time evolution of the system. The period of the log-oscillations reflects the effective roughness of the energy landscape, and can in simple cases be interpreted in terms of the barriers of the staircase landscape.


title: An implementation of nDGP gravity in Pinocchio

abstract: In this paper we investigate dark matter structure formation in the normal branch of the Dvali-Gabadadze-Porrati (nDGP) model using the PINOCCHIO algorithm. We first present 2nd order Lagrangian perturbation theory for the nDGP model, which shows that the 1st- and 2nd-order growth functions in nDGP are larger than those in {\Lambda}CDM. We then examine the dynamics of ellipsoidal collapse in nDGP, which is accelerated compared to {\Lambda}CDM due to enhanced gravitational interactions. Running the nDGP-PINOCCHIO code with a box size of 512 Mpc/h and 1024*1024*1024 particles, we analyze the statistical properties of the output halo catalogs, including the halo power spectrum and halo mass function. The calibrated PINOCCHIO halo power spectrum agrees with N-body simulations within 5% in the comoving wavenumber range k < 0.3 (h/Mpc) at redshift z = 0. The agreement is extended to smaller scales for higher redshifts. For the cumulative halo mass function, the agreement between N-body and PINOCCHIO is also within the simulation scatter.


title: High Probability Guarantees for Random Reshuffling

abstract: We consider the stochastic gradient method with random reshuffling ($\mathsf{RR}$) for tackling smooth nonconvex optimization problems. $\mathsf{RR}$ finds broad applications in practice, notably in training neural networks. In this work, we first investigate the concentration property of $\mathsf{RR}$'s sampling procedure and establish a new high probability sample complexity guarantee for driving the gradient (without expectation) below $\varepsilon$, which effectively characterizes the efficiency of a single $\mathsf{RR}$ execution. Our derived complexity matches the best existing in-expectation one up to a logarithmic term while imposing no additional assumptions nor changing $\mathsf{RR}$'s updating rule. Furthermore, by leveraging our derived high probability descent property and bound on the stochastic error, we propose a simple and computable stopping criterion for $\mathsf{RR}$ (denoted as $\mathsf{RR}$-$\mathsf{sc}$). This criterion is guaranteed to be triggered after a finite number of iterations, and then $\mathsf{RR}$-$\mathsf{sc}$ returns an iterate with its gradient below $\varepsilon$ with high probability. Moreover, building on the proposed stopping criterion, we design a perturbed random reshuffling method ($\mathsf{p}$-$\mathsf{RR}$) that involves an additional randomized perturbation procedure near stationary points. We derive that $\mathsf{p}$-$\mathsf{RR}$ provably escapes strict saddle points and efficiently returns a second-order stationary point with high probability, without making any sub-Gaussian tail-type assumptions on the stochastic gradient errors. Finally, we conduct numerical experiments on neural network training to support our theoretical findings.


title: Spontaneous supercrystal formation during a strain-engineered metal-insulator transition

abstract: Mott metal-insulator transitions possess electronic, magnetic, and structural degrees of freedom promising next generation energy-efficient electronics. We report a previously unknown, hierarchically ordered state during a Mott transition and demonstrate correlated switching of functional electronic properties. We elucidate in-situ formation of an intrinsic supercrystal in a Ca2RuO4 thin film. Machine learning-assisted X-ray nanodiffraction together with electron microscopy reveal multi-scale periodic domain formation at and below the film transition temperature (TFilm ~ 200-250 K) and a separate anisotropic spatial structure at and above TFilm. Local resistivity measurements imply an intrinsic coupling of the supercrystal orientation to the material's anisotropic conductivity. Our findings add an additional degree of complexity to the physical understanding of Mott transitions, opening opportunities for designing materials with tunable electronic properties.


title: Interplay between moment-dependent and field-driven unidirectional magnetoresistance in CoFeB/InSb/CdTe heterostructures

abstract: Magnetoresistance effects are crucial for understanding the charge/spin transport as well as propelling the advancement of spintronic applications. Here we report the coexistence of magnetic moment-dependent (MD) and magnetic field-driven (FD) unidirectional magnetoresistance (UMR) effects in CoFeB/InSb/CdTe heterostructures. The strong spin-orbital coupling of InSb and the matched impedance at the CoFeB/InSb interface warrant a distinct MD-UMR effect at room temperature, while the interaction between the in-plane magnetic field and the Rashba effect at the InSb/CdTe interface induces the marked FD-UMR signal that dominates the high-field region. Moreover, owning to the different spin transport mechanisms, these two types of nonreciprocal charge transport show opposite polarities with respect to the magnetic field direction, which further enable an effective phase modulation of the angular-dependent magnetoresistance. Besides, the demonstrations of both the tunable UMR response and two-terminal spin-orbit torque-driven magnetization switching validate our CoFeB/InSb/CdTe system as a suitable integrated building block for multifunctional spintronic device design.


title: How to Use Large Language Models for Text Coding: The Case of Fatherhood Roles in Public Policy Documents

abstract: Recent advances in large language models (LLMs) like GPT-3 and GPT-4 have opened up new opportunities for text analysis in political science. They promise automation with better results and less programming. In this study, we evaluate LLMs on three original coding tasks of non-English political science texts, and we provide a detailed description of a general workflow for using LLMs for text coding in political science research. Our use case offers a practical guide for researchers looking to incorporate LLMs into their research on text analysis. We find that, when provided with detailed label definitions and coding examples, an LLM can be as good as or even better than a human annotator while being much faster (up to hundreds of times), considerably cheaper (costing up to 60% less than human coding), and much easier to scale to large amounts of text. Overall, LLMs present a viable option for most text coding projects.


title: Entangled View-Epipolar Information Aggregation for Generalizable Neural Radiance Fields

abstract: Generalizable NeRF can directly synthesize novel views across new scenes, eliminating the need for scene-specific retraining in vanilla NeRF. A critical enabling factor in these approaches is the extraction of a generalizable 3D representation by aggregating source-view features. In this paper, we propose an Entangled View-Epipolar Information Aggregation method dubbed EVE-NeRF. Different from existing methods that consider cross-view and along-epipolar information independently, EVE-NeRF conducts the view-epipolar feature aggregation in an entangled manner by injecting the scene-invariant appearance continuity and geometry consistency priors to the aggregation process. Our approach effectively mitigates the potential lack of inherent geometric and appearance constraint resulting from one-dimensional interactions, thus further boosting the 3D representation generalizablity. EVE-NeRF attains state-of-the-art performance across various evaluation scenarios. Extensive experiments demonstate that, compared to prevailing single-dimensional aggregation, the entangled network excels in the accuracy of 3D scene geometry and appearance reconstruction. Our code is publicly available at https://github.com/tatakai1/EVENeRF.


title: Deepparse : An Extendable, and Fine-Tunable State-Of-The-Art Library for Parsing Multinational Street Addresses

abstract: Segmenting an address into meaningful components, also known as address parsing, is an essential step in many applications from record linkage to geocoding and package delivery. Consequently, a lot of work has been dedicated to develop accurate address parsing techniques, with machine learning and neural network methods leading the state-of-the-art scoreboard. However, most of the work on address parsing has been confined to academic endeavours with little availability of free and easy-to-use open-source solutions. This paper presents Deepparse, a Python open-source, extendable, fine-tunable address parsing solution under LGPL-3.0 licence to parse multinational addresses using state-of-the-art deep learning algorithms and evaluated on over 60 countries. It can parse addresses written in any language and use any address standard. The pre-trained model achieves average $99~\%$ parsing accuracies on the countries used for training with no pre-processing nor post-processing needed. Moreover, the library supports fine-tuning with new data to generate a custom address parser.


title: Deep learning complete intersection Calabi-Yau manifolds

abstract: We review advancements in deep learning techniques for complete intersection Calabi-Yau (CICY) 3- and 4-folds, with the aim of understanding better how to handle algebraic topological data with machine learning. We first discuss methodological aspects and data analysis, before describing neural networks architectures. Then, we describe the state-of-the art accuracy in predicting Hodge numbers. We include new results on extrapolating predictions from low to high Hodge numbers, and conversely.


title: Quantum dots on the InAs(110) cleavage surface created by atom manipulation

abstract: Cryogenic scanning tunneling microscopy was employed in combination with density-functional theory calculations to explore quantum dots made of In adatoms on the InAs(110) surface. Each adatom adsorbs at a surface site coordinated by one cation and two anions, and transfers one electron to the substrate, creating an attractive quantum well for electrons in surface states. We used the scanning-probe tip to assemble the positively charged adatoms into precisely defined quantum dots exhibiting a bound state roughly 0.1 eV below the Fermi level at an intrinsic linewidth of only ~4 meV, as revealed by scanning tunneling spectroscopy. For quantum-dot dimers, we observed the emergence of a bonding and an antibonding state with even and odd wave-function character, respectively, demonstrating the capability to engineer quasi-molecular electronic states. InAs(110) constitutes a promising platform in this respect because highly perfect surfaces can be readily prepared by cleavage and charged adatoms can be generated in-situ by the scanning-probe tip.


title: Multilayer Quantile Graph for Multivariate Time Series Analysis and Dimensionality Reduction

abstract: In recent years, there has been a surge in the prevalence of high- and multi-dimensional temporal data across various scientific disciplines. These datasets are characterized by their vast size and challenging potential for analysis. Such data typically exhibit serial and cross-dependency and possess high dimensionality, thereby introducing additional complexities to conventional time series analysis methods. To address these challenges, a recent and complementary approach has emerged, known as network-based analysis methods for multivariate time series. In univariate settings, Quantile Graphs have been employed to capture temporal transition properties and reduce data dimensionality by mapping observations to a smaller set of sample quantiles. To confront the increasingly prominent issue of high dimensionality, we propose an extension of Quantile Graphs into a multivariate variant, which we term "Multilayer Quantile Graphs". In this innovative mapping, each time series is transformed into a Quantile Graph, and inter-layer connections are established to link contemporaneous quantiles of pairwise series. This enables the analysis of dynamic transitions across multiple dimensions. In this study, we demonstrate the effectiveness of this new mapping using a synthetic multivariate time series dataset. We delve into the resulting network's topological structures, extract network features, and employ these features for original dataset analysis. Furthermore, we compare our results with a recent method from the literature. The resulting multilayer network offers a significant reduction in the dimensionality of the original data while capturing serial and cross-dimensional transitions. This approach facilitates the characterization and analysis of large multivariate time series datasets through network analysis techniques.


title: On the normally torsion-freeness of square-free monomial ideals

abstract: Let $I\subset R=K[x_1, \ldots, x_n]$ be a square-free monomial ideal, $\mathfrak{q}$ be a prime monomial ideal in $R$, $h$ be a square-free monomial in $R$ with $\mathrm{supp}(h) \cap (\mathrm{supp}(\mathfrak{q}) \cup \mathrm{supp}(I))=\emptyset$, and $L:=I\cap (\mathfrak{q}, h)$. In this paper, we first focus on the associated primes of powers of $L$ and explore the normally torsion-freeness of $L$. We also give an application on a comb inatorial result. Next, we study when a square-free monomial ideal is minimally not normally torsion-free. Particularly, we introduce a class of square-free monomial ideals, which are minimally not normally torsion-free.


title: Crash-Stop Failures in Asynchronous Multiparty Session Types

abstract: Session types provide a typing discipline for message-passing systems. However, their theory often assumes an ideal world: one in which everything is reliable and without failures. Yet this is in stark contrast with distributed systems in the real world. To address this limitation, we introduce a new asynchronous multiparty session types (MPST) theory with crash-stop failures, where processes may crash arbitrarily and cease to interact after crashing. We augment asynchronous MPST and processes with crash handling branches, and integrate crash-stop failure semantics into types and processes. Our approach requires no user-level syntax extensions for global types, and features a formalisation of global semantics, which captures complex behaviours induced by crashed/crash handling processes. Our new theory covers the entire spectrum, ranging from the ideal world of total reliability to entirely unreliable scenarios where any process may crash, using optional reliability assumptions. Under these assumptions, we demonstrate the sound and complete correspondence between global and local type semantics, which guarantee deadlock-freedom, protocol conformance, and liveness of well-typed processes by construction, even in the presence of crashes.


title: Statistical Prediction of Peaks Over a Threshold

abstract: In many applied fields it is desired to make predictions with the aim of assessing the plausibility of more severe events than those already recorded to safeguard against calamities that have not yet occurred. This problem can be analysed using extreme value theory. We consider the popular peaks over a threshold method and show that the generalised Pareto approximation of the true predictive densities of both a future unobservable excess or peak random variable can be very accurate. We propose both a frequentist and a Bayesian approach for the estimation of such predictive densities. We show the asymptotic accuracy of the corresponding estimators and, more importantly, prove that the resulting predictive inference is asymptotically reliable. We show the utility of the proposed predictive tools analysing extreme temperatures in Milan in Italy.


title: Asynchronous Bioplausible Neuron for Spiking Neural Networks for Event-Based Vision

abstract: Spiking Neural Networks (SNNs) offer a biologically inspired approach to computer vision that can lead to more efficient processing of visual data with reduced energy consumption. However, maintaining homeostasis within these networks is challenging, as it requires continuous adjustment of neural responses to preserve equilibrium and optimal processing efficiency amidst diverse and often unpredictable input signals. In response to these challenges, we propose the Asynchronous Bioplausible Neuron (ABN), a dynamic spike firing mechanism to auto-adjust the variations in the input signal. Comprehensive evaluation across various datasets demonstrates ABN's enhanced performance in image classification and segmentation, maintenance of neural equilibrium, and energy efficiency.


title: Asymptotic expansions for the linear PDEs with oscillatory input terms; Analytical form and error analysis

abstract: Partial differential equations with highly oscillatory input terms are hardly ever solvable analytically and their numerical treatment is difficult. Modulated Fourier expansion used as an {\it ansatz} is a well known and extensively investigated tool in asymptotic numerical approach for this kind of problems. Although the efficiency of this approach has been recognised, its error analysis has not been investigated rigorously for general forms of linear PDEs. In this paper, we start such kind of investigations for a general form of linear PDEs with an input term characterised by a single high frequency. More precisely we derive an analytical form of such an expansion and provide a formula for the error of its truncation. Theoretical investigations are illustrated by computational simulations.


title: Evil Geniuses: Delving into the Safety of LLM-based Agents

abstract: Rapid advancements in large language models (LLMs) have revitalized in LLM-based agents, exhibiting impressive human-like behaviors and cooperative capabilities in various scenarios. However, these agents also bring some exclusive risks, stemming from the complexity of interaction environments and the usability of tools. This paper delves into the safety of LLM-based agents from three perspectives: agent quantity, role definition, and attack level. Specifically, we initially propose to employ a template-based attack strategy on LLM-based agents to find the influence of agent quantity. In addition, to address interaction environment and role specificity issues, we introduce Evil Geniuses (EG), an effective attack method that autonomously generates prompts related to the original role to examine the impact across various role definitions and attack levels. EG leverages Red-Blue exercises, significantly improving the generated prompt aggressiveness and similarity to original roles. Our evaluations on CAMEL, Metagpt and ChatDev based on GPT-3.5 and GPT-4, demonstrate high success rates. Extensive evaluation and discussion reveal that these agents are less robust, prone to more harmful behaviors, and capable of generating stealthier content than LLMs, highlighting significant safety challenges and guiding future research. Our code is available at https://github.com/T1aNS1R/Evil-Geniuses.


title: FATURA: A Multi-Layout Invoice Image Dataset for Document Analysis and Understanding

abstract: Document analysis and understanding models often require extensive annotated data to be trained. However, various document-related tasks extend beyond mere text transcription, requiring both textual content and precise bounding-box annotations to identify different document elements. Collecting such data becomes particularly challenging, especially in the context of invoices, where privacy concerns add an additional layer of complexity. In this paper, we introduce FATURA, a pivotal resource for researchers in the field of document analysis and understanding. FATURA is a highly diverse dataset featuring multi-layout, annotated invoice document images. Comprising $10,000$ invoices with $50$ distinct layouts, it represents the largest openly accessible image dataset of invoice documents known to date. We also provide comprehensive benchmarks for various document analysis and understanding tasks and conduct experiments under diverse training and evaluation scenarios. The dataset is freely accessible at https://zenodo.org/record/8261508, empowering researchers to advance the field of document analysis and understanding.


title: Flipped SU(5): unification, proton decay, fermion masses and gravitational waves

abstract: We study supersymmetric (SUSY) flipped $SU(5)\times U(1)$ unification, focussing on its predictions for proton decay, fermion masses and gravitational waves. We performed a two-loop renormalisation group analysis and showed that the SUSY flipped $SU(5)$ model predicts a high GUT scale $M_{\rm GUT} > 10^{16}$ GeV. We also investigated the restrictions on the $M_{B-L}$ scale which is associated with the $U(1)_{\chi}$ breaking scale. We found that the $M_{B-L}$ scale can vary in a broad region with negligible or little effect on the value of $M_{\rm GUT}$. Proton decay in this model is induced by dimension-6 operators only. The dimension-5 operator induced by SUSY contribution is suppressed due to the missing partner mechanism. We found that the partial decay width $p \to \pi^0 e^+$ is high suppressed, being at least one order of magnitude lower than the future Hyper-K sensitivity. We also studied fermion (including neutrino) masses and mixings which can also influence proton decay. We presented two scenarios of flavour textures to check the consistency of the results with fermion masses and mixing. The $B-L$ gauge breaking leads to the generation of cosmic strings. The $B-L$ scale here is not constrained by gauge coupling unification. If this scale is very close that of GUT breaking, strings can be unstable due to the decay to monopole-antimonople pair. Such metastable strings can be used to explain the NANOGrav signals of stochastic gravitational wave background, which may be interpreted here as resulting from the decay of metastable cosmic strings.


title: Theory coherent shrinkage of Time-Varying Parameters in VARs

abstract: Time-Varying Parameters Vector Autoregressive (TVP-VAR) models are frequently used in economics to capture evolving relationships among the macroeconomic variables. However, TVP-VARs have the tendency of overfitting the data, resulting in inaccurate forecasts and imprecise estimates of typical objects of interests such as the impulse response functions. This paper introduces a Theory Coherent Time-Varying Parameters Vector Autoregressive Model (TC-TVP-VAR), which leverages on an arbitrary theoretical framework derived by an underlying economic theory to form a prior for the time varying parameters. This "theory coherent" shrinkage prior significantly improves inference precision and forecast accuracy over the standard TVP-VAR. Furthermore, the TC-TVP-VAR can be used to perform indirect posterior inference on the deep parameters of the underlying economic theory. The paper reveals that using the classical 3-equation New Keynesian block to form a prior for the TVP- VAR substantially enhances forecast accuracy of output growth and of the inflation rate in a standard model of monetary policy. Additionally, the paper shows that the TC-TVP-VAR can be used to address the inferential challenges during the Zero Lower Bound period.


title: A Wiener algebra for Fock space operators

abstract: We introduce an algebra $\mathcal W_t$ of linear operators that act continuously on each of the Fock spaces $F_t^p$, $1 \leq p \leq \infty$, and contains all Toeplitz operators with bounded symbols. We show that compactness, the spectrum, essential spectrum and the Fredholm index of an element of $\mathcal W_t$, realized as an operator on $F_t^p$, are independent of the value of $p$.


title: LION : Empowering Multimodal Large Language Model with Dual-Level Visual Knowledge

abstract: Multimodal Large Language Models (MLLMs) have endowed LLMs with the ability to perceive and understand multi-modal signals. However, most of the existing MLLMs mainly adopt vision encoders pretrained on coarsely aligned image-text pairs, leading to insufficient extraction and reasoning of visual knowledge. To address this issue, we devise a dual-Level vIsual knOwledge eNhanced Multimodal Large Language Model (LION), which empowers the MLLM by injecting visual knowledge in two levels. 1) Progressive incorporation of fine-grained spatial-aware visual knowledge. We design a vision aggregator cooperated with region-level vision-language (VL) tasks to incorporate fine-grained spatial-aware visual knowledge into the MLLM. To alleviate the conflict between image-level and region-level VL tasks during incorporation, we devise a dedicated stage-wise instruction-tuning strategy with mixture-of-adapters. This progressive incorporation scheme contributes to the mutual promotion between these two kinds of VL tasks. 2) Soft prompting of high-level semantic visual evidence. We facilitate the MLLM with high-level semantic visual evidence by leveraging diverse image tags. To mitigate the potential influence caused by imperfect predicted tags, we propose a soft prompting method by embedding a learnable token into the tailored text instruction. Comprehensive experiments on several multi-modal benchmarks demonstrate the superiority of our model (e.g., improvement of 5% accuracy on VSR and 3% CIDEr on TextCaps over InstructBLIP, 5% accuracy on RefCOCOg over Kosmos-2).


title: Generating Valid and Natural Adversarial Examples with Large Language Models

abstract: Deep learning-based natural language processing (NLP) models, particularly pre-trained language models (PLMs), have been revealed to be vulnerable to adversarial attacks. However, the adversarial examples generated by many mainstream word-level adversarial attack models are neither valid nor natural, leading to the loss of semantic maintenance, grammaticality, and human imperceptibility. Based on the exceptional capacity of language understanding and generation of large language models (LLMs), we propose LLM-Attack, which aims at generating both valid and natural adversarial examples with LLMs. The method consists of two stages: word importance ranking (which searches for the most vulnerable words) and word synonym replacement (which substitutes them with their synonyms obtained from LLMs). Experimental results on the Movie Review (MR), IMDB, and Yelp Review Polarity datasets against the baseline adversarial attack models illustrate the effectiveness of LLM-Attack, and it outperforms the baselines in human and GPT-4 evaluation by a significant margin. The model can generate adversarial examples that are typically valid and natural, with the preservation of semantic meaning, grammaticality, and human imperceptibility.


title: Establishing Central Sensitization Inventory Cut-off Values in patients with Chronic Low Back Pain by Unsupervised Machine Learning

abstract: Human Assumed Central Sensitization is involved in the development and maintenance of chronic low back pain (CLBP). The Central Sensitization Inventory (CSI) was developed to evaluate the presence of HACS, with a cut-off value of 40/100 based on patients with chronic pain. However, various factors including pain conditions (e.g., CLBP), and gender may influence this cut-off value. For chronic pain condition such as CLBP, unsupervised clustering approaches can take these factors into consideration and automatically learn the HACS-related patterns. Therefore, this study aimed to determine the cut-off values for a Dutch-speaking population with CLBP, considering the total group and stratified by gender based on unsupervised machine learning. In this study, questionnaire data covering pain, physical, and psychological aspects were collected from patients with CLBP and aged-matched pain-free adults (referred to as healthy controls, HC). Four clustering approaches were applied to identify HACS-related clusters based on the questionnaire data and gender. The clustering performance was assessed using internal and external indicators. Subsequently, receiver operating characteristic analysis was conducted on the best clustering results to determine the optimal cut-off values. The study included 151 subjects, consisting of 63 HCs and 88 patients with CLBP. Hierarchical clustering yielded the best results, identifying three clusters: healthy group, CLBP with low HACS level, and CLBP with high HACS level groups. Based on the low HACS levels group (including HC and CLBP with low HACS level) and high HACS level group, the cut-off value for the overall groups were 35, 34 for females, and 35 for. The findings suggest that the optimal cut-off values for CLBP is 35. The gender-related cut-off values should be interpreted with caution due to the unbalanced gender distribution in the sample.


title: GP-NeRF: Generalized Perception NeRF for Context-Aware 3D Scene Understanding

abstract: Applying NeRF to downstream perception tasks for scene understanding and representation is becoming increasingly popular. Most existing methods treat semantic prediction as an additional rendering task, \textit{i.e.}, the "label rendering" task, to build semantic NeRFs. However, by rendering semantic/instance labels per pixel without considering the contextual information of the rendered image, these methods usually suffer from unclear boundary segmentation and abnormal segmentation of pixels within an object. To solve this problem, we propose Generalized Perception NeRF (GP-NeRF), a novel pipeline that makes the widely used segmentation model and NeRF work compatibly under a unified framework, for facilitating context-aware 3D scene perception. To accomplish this goal, we introduce transformers to aggregate radiance as well as semantic embedding fields jointly for novel views and facilitate the joint volumetric rendering of both fields. In addition, we propose two self-distillation mechanisms, i.e., the Semantic Distill Loss and the Depth-Guided Semantic Distill Loss, to enhance the discrimination and quality of the semantic field and the maintenance of geometric consistency. In evaluation, we conduct experimental comparisons under two perception tasks (\textit{i.e.} semantic and instance segmentation) using both synthetic and real-world datasets. Notably, our method outperforms SOTA approaches by 6.94\%, 11.76\%, and 8.47\% on generalized semantic segmentation, finetuning semantic segmentation, and instance segmentation, respectively.


title: Secure Data Transmission over Insecure Radio Channel in Wireless of Things (WoT) Network

abstract: Potential capacity of processors is enhancing rapidly which leads to the increase of computational ability of the adversary. As a result, the required key size for conventional encryption techniques is growing everyday for complex unbreakable security communication systems. The Public Key Cryptography (PKC) techniques which use larger keys cannot be fitted in tiny resource constrained Wireless of Things (WoT) devices. Some Symmetric Key Cryptosystems (SKC) use smaller keys, which can be fitted in the tiny devices. But in large networks where the number of nodes is in the order of 103, the memory constraint does not allow the system to do so. The existing secure data communication in insecure medium uses various conventional encryption methods like Public Key Cryptography (PKC) and Symmetric Key Cryptosystems (SKC). Generally, modern encryption methods need huge processing power, memory and time. Also in some cases, Key Pre-distribution System (KPS) is used among different communicating devices. With the growing need for larger key size in the conventional secure communication system, the existing resources in the communicating devices suffer from resource starvation. Hence, the need of a novel mechanism for secure communication is inevitable. But the existing secure communication mechanisms like PKC, SKC or KPS do not ensure elimination of resource starvation issue in tiny devices during communication. In these existing conventional mechanisms, the plain text is generally converted into cipher text with greater size than the plain text at the device level, which leads to resource starvation. At the time of transmission, the cipher text at the device end requires more bandwidth than the plain text which puts bandwidth overhead on the broadcast channel (BC).


title: VLM-Eval: A General Evaluation on Video Large Language Models

abstract: Despite the rapid development of video Large Language Models (LLMs), a comprehensive evaluation is still absent. In this paper, we introduce a unified evaluation that encompasses multiple video tasks, including captioning, question and answering, retrieval, and action recognition. In addition to conventional metrics, we showcase how GPT-based evaluation can match human-like performance in assessing response quality across multiple aspects. We propose a simple baseline: Video-LLaVA, which uses a single linear projection and outperforms existing video LLMs. Finally, we evaluate video LLMs beyond academic datasets, which show encouraging recognition and reasoning capabilities in driving scenarios with only hundreds of video-instruction pairs for fine-tuning. We hope our work can serve as a unified evaluation for video LLMs, and help expand more practical scenarios. The evaluation code will be available soon.


title: Analyzing Emissions and Energy Efficiency at Unsignalized Real-world Intersections Under Mixed Traffic Control

abstract: Greenhouse gas emissions have dramatically risen since the early 1900s with U.S. transportation generating 28% of U.S. emissions. As such, there is interest in reducing transportation-related emissions. Specifically, sustainability research has sprouted around signalized intersections as intersections allow different streams of traffic to cross and change directions. Recent research has developed mixed traffic control eco-driving strategies at signalized intersections to decrease emissions. However, the inherent structure of a signalized intersection generates increased emissions by creating frequent acceleration/deceleration events, excessive idling from traffic congestion, and stop-and-go waves. Thus, we believe unsignalized intersections hold potential for further sustainability improvements. In this work, we provide an emissions analysis on unsignalized intersections with complex, real-world topologies and traffic demands where mixed traffic control strategies are employed by robot vehicles (RVs) to reduce wait times and congestion. We find with at least 10% RV penetration rate, RVs generate less fuel consumption, CO2 emissions, and NOx emissions than signalized intersections by up to 27%, 27% and 28%, respectively. With at least 30% RVs, CO and HC emissions are reduced by up to 42% and 43%, respectively. Additionally, RVs can reduce network-wide emissions despite only employing their strategies at intersections.


title: Josephson junction \pi-0 transition induced by orbital hybridization in a double quantum dot

abstract: In this work, we manipulate the phase shift of a Josephson junction using a parallel double quantum dot (QD). By employing a superconducting quantum interference device, we determine how orbital hybridization and detuning affect the current-phase relation in the Coulomb blockade regime. For weak hybridization between the QDs, we find $\pi$ junction characteristics if at least one QD has an unpaired electron. Notably the critical current is higher when both QDs have an odd electron occupation. By increasing the inter-QD hybridization the critical current is reduced, until eventually a $\pi$-0 transition occurs. A similar transition appears when detuning the QD levels at finite hybridization. Based on a zero-bandwidth model, we argue that both cases of phase-shift transitions can be understood considering an increased weight of states with a double occupancy in the ground state and with the Cooper pair transport dominated by local Andreev reflection.


title: Towards Exploratory Reformulation of Constraint Models

abstract: It is well established that formulating an effective constraint model of a problem of interest is crucial to the efficiency with which it can subsequently be solved. Following from the observation that it is difficult, if not impossible, to know a priori which of a set of candidate models will perform best in practice, we envisage a system that explores the space of models through a process of reformulation from an initial model, guided by performance on a set of training instances from the problem class under consideration. We plan to situate this system in a refinement-based approach, where a user writes a constraint specification describing a problem above the level of abstraction at which many modelling decisions are made. In this position paper we set out our plan for an exploratory reformulation system, and discuss progress made so far.


title: A PTAS for Triangle-Free 2-Matching

abstract: In the Triangle-Free (Simple) 2-Matching problem we are given an undirected graph $G=(V,E)$. Our goal is to compute a maximum-cardinality $M\subseteq E$ satisfying the following properties: (1) at most two edges of $M$ are incident on each node (i.e., $M$ is a 2-matching) and (2) $M$ does not induce any triangle. In his Ph.D. thesis from 1984, Harvitgsen presents a complex polynomial-time algorithm for this problem, with a very complex analysis. This result was never published in a journal nor reproved in a different way, to the best of our knowledge. In this paper we have a fresh look at this problem and present a simple PTAS for it based on local search. Our PTAS exploits the fact that, as long as the current solution is far enough from the optimum, there exists a short augmenting trail (similar to the maximum matching case).


title: Fundamental mechanisms of energy exchanges in autonomous measurements based on dispersive qubit-light interaction

abstract: Measuring an observable that does not commute with the system's Hamiltonian usually leads to a variation of its energy. Unveiling the first link of the von Neumann chain, the quantum meter has to account for this energy change. Here, we consider an autonomous meter-system dynamics: a qubit interacting dispersively with a light pulse propagating in a one-dimensional waveguide. The light pulse (the meter) measures the qubit's state along the $z$-axis while the qubit's Hamiltonian is oriented along another direction. As the interaction is dispersive, photon number is conserved so that energy balance has to be attained by spectral deformations of the light pulse. An accurate and repeatable measurement can be achieved only by employing short pulses, where their spectral deformation is practically undetectable. Increasing the pulse's duration, the measurement's quality drops and the spectral deformation of the scattered field becomes visible. Building on analytical and numerical solutions, we reveal the mechanism underlying this spectral deformation and display how it compensates for the qubit's energy change. We explain the formation of a three-peak structure of the output spectrum and we provide the conditions under which this is observable.


title: Training robust and generalizable quantum models

abstract: Adversarial robustness and generalization are both crucial properties of reliable machine learning models. In this paper, we study these properties in the context of quantum machine learning based on Lipschitz bounds. We derive parameter-dependent Lipschitz bounds for quantum models with trainable encoding, showing that the norm of the data encoding has a crucial impact on the robustness against data perturbations. Further, we derive a bound on the generalization error which explicitly involves the parameters of the data encoding. Our theoretical findings give rise to a practical strategy for training robust and generalizable quantum models by regularizing the Lipschitz bound in the cost. Further, we show that, for fixed and non-trainable encodings, as those frequently employed in quantum machine learning, the Lipschitz bound cannot be influenced by tuning the parameters. Thus, trainable encodings are crucial for systematically adapting robustness and generalization during training. The practical implications of our theoretical findings are illustrated with numerical results.


title: Dynkin automorphism actions on Gaudin algebras

abstract: In this paper, we study the action of a Dynkin automorphism $\sigma$ of a simple Lie algebra $\mathfrak{g}$ on the generalized Gaudin algebras. In particular, we show isomorphisms between the coinvariants of the generalized Gaudin algebras associated with $\mathfrak{g}^\vee$ and the generalized Gaudin algebras associated with $\mathfrak{g}_\sigma^\vee$, where $\mathfrak{g}_\sigma$ is the fixed point subalgebra.


title: Optimal escapes in active matter

abstract: The out-of-equilibrium character of active particles, responsible for accumulation at boundaries in confining domains, determines not-trivial effects when considering escape processes. Non-monotonous behavior of exit times with respect to tumbling rate (inverse of mean persistent time) appears, as a consequence of the competing processes of exploring the bulk and accumulate at boundaries. By using both 1D analytical results and 2D numerical simulations of run-and-tumble particles with different behaviours at boundaries, we scrutinize this very general phenomenon of active matter, evidencing the role of accumulation at walls for the existence of optimal tumbling rates for fast escapes.


title: Density distributions, magnetic field structures and fragmentation in high-mass star formation

abstract: Methods: Observing the large pc-scale Stokes I mm dust continuum emission with the IRAM 30m telescope and the intermediate-scale (<0.1pc) polarized submm dust emission with the Submillimeter Array toward a sample of 20 high-mass star-forming regions allows us to quantify the dependence of the fragmentation behaviour of these regions depending on the density and magnetic field structures. Results: We infer density distributions n~r^{-p} of the regions with typical power-law slopes p around ~1.5. There is no obvious correlation between the power-law slopes of the density structures on larger clump scales (~1pc) and the number of fragments on smaller core scales (<0.1pc). Comparing the large-scale single-dish density profiles to those derived earlier from interferometric observations at smaller spatial scales, we find that the smaller-scale power-law slopes are steeper, typically around ~2.0. The flattening toward larger scales is consistent with the star-forming regions being embedded in larger cloud structures that do not decrease in density away from a particular core. Regarding the magnetic field, for several regions it appears aligned with filamentary structures leading toward the densest central cores. Furthermore, we find different polarization structures with some regions exhibiting central polarization holes whereas other regions show polarized emission also toward the central peak positions. Nevertheless, the polarized intensities are inversely related to the Stokes I intensities. We estimate magnetic field strengths between ~0.2 and ~4.5mG, and we find no clear correlation between magnetic field strength and the fragmentation level of the regions. Comparison of the turbulent to magnetic energies shows that they are of roughly equal importance in this sample. The mass-to-flux ratios range between ~2 and ~7, consistent with collapsing star-forming regions.


title: Neutrino Oscillations in Finite Time Path Out-of-Equilibrium Thermal Field Theory

abstract: We demonstrate that the Finite-Time-Path Field Theory is an adequate tool for calculating neutrino oscillations. We apply this theory using a mass-mixing Lagrangian which involves the correct Dirac spin and chirality structure and a Pontecorvo-Maki-Nakagawa-Sakata (PMNS)-like mixing matrix. The model is exactly solvable. The Dyson-Schwinger equations transform propagators of the input free (massless) flavor neutrinos into a linear combination of oscillating (massive) neutrinos. The results are consistent with the predictions of the PMNS matrix while allowing for extrapolation to early times.


title: Forward Gradients for Data-Driven CFD Wall Modeling

abstract: Computational Fluid Dynamics (CFD) is used in the design and optimization of gas turbines and many other industrial/ scientific applications. However, the practical use is often limited by the high computational cost, and the accurate resolution of near-wall flow is a significant contributor to this cost. Machine learning (ML) and other data-driven methods can complement existing wall models. Nevertheless, training these models is bottlenecked by the large computational effort and memory footprint demanded by back-propagation. Recent work has presented alternatives for computing gradients of neural networks where a separate forward and backward sweep is not needed and storage of intermediate results between sweeps is not required because an unbiased estimator for the gradient is computed in a single forward sweep. In this paper, we discuss the application of this approach for training a subgrid wall model that could potentially be used as a surrogate in wall-bounded flow CFD simulations to reduce the computational overhead while preserving predictive accuracy.


title: The global strong solution to compressible system with fractional viscous term

abstract: This paper is dedicated to the study of compressible Navier-Stokes equations in $\mathbb{R}^d\ (d=2,3)$ with a fractional viscous term $(-\Delta)^{\alpha}$ and $\alpha\in(\frac{1}{2},1)$. We establish the global existence of strong solutions to this system with small initial data restricted in Sobolev spaces $H^{s+1}(\mathbb{R}^d)(s>\frac{d}{2})$ by providing several commutators and using harmonic analysis tools (especially the Littlewood-Paley theory). This reduces the requirement of the regularity $H^{3\alpha+1}(\mathbb{R}^3)$ for the global existence in Wang-Zhang [41]. Additionally, we derive $L^2$-decay rate for the highest derivative of the strong solution without decay loss by using a cancellation of a low-medium-frequency quantity.


title: A large-scale longitudinal structured dataset of the dark web cryptomarket Evolution (2014-2015)

abstract: Dark Web Marketplaces (DWM) facilitate the online trade of illicit goods. Due to the illicit nature of these marketplaces, quality datasets are scarce and difficult to produce. The Dark Net Market archives (2015) presented raw scraped source files crawled from a selection of DWMs, including Evolution. Here, we present, specifically for the Evolution DWM, a structured dataset extracted from Dark Net Market archive data. Uniquely, many of the data quality issues inherent to crawled data are resolved. The dataset covers over 500 thousand forum posts and over 80 thousand listings, providing data on forums, topics, posts, forum users, market vendors, listings, and more. Additionally, we present temporal weighted communication networks extracted from this data. The presented dataset provides easy access to a high quality DWM dataset to facilitate the study of criminal behaviour and communication on such DWMs, which may provide a relevant source of knowledge for researchers across disciplines, from social science to law to network science.


title: Periodic orbits in general Glass networks

abstract: Glass networks are piecewise linear ODE systems that models an interactive system where there are 'switching points': the underlying dynamic changes qualitatively when a certain variable pass over a threshold. One of the most well-studied class of models of the original Glass network are the cyclic attractor in the orthants (a sequence of orthants where the flow from one orthant to another is unanimous), which was first defined and analysed by Glass and Pasternack in 1978. In that paper, the authors gave a complete classification of the topological features of the flow in a full-rank cyclic attractor, which is a cyclic attractor that cannot be contained in any sub-cube in the graph of orthants. In this paper, we will extend the definition of cyclic attractor to one generalisation of the Glass network, one that allows for multiple switching points in each variables, and give a complete classification of the topological features of the flow for any cyclic attractor, both in the extended network and the original network, including non full-rank ones. We will show that in any cyclic attractor, there is either a unique and asymptotically stable periodic orbit, or that all periodic orbits are degenerated.


title: J-coupling NMR Spectroscopy with Nitrogen Vacancy Centers at High Fields

abstract: A diamond-based sensor utilizing nitrogen-vacancy (NV) center ensembles permits the analysis of micron-sized samples through NMR techniques at room temperature. Current efforts are directed towards extending the operating range of NV centers into high magnetic fields, driven by the potential for larger nuclear spin polarization of the target sample and the presence of enhanced chemical shifts. Especially interesting is the access to J-couplings as they carry information of chemical connectivity inside molecules. In this work, we present a protocol to access J-couplings in both homonuclear and heteronuclear cases with NV centers at high magnetic fields. Our protocol leads to a clear spectrum exclusively containing J-coupling features with high resolution. This resolution is limited primarily by the decoherence of the target sample, which is mitigated by the noise filtering capacities of our method.


title: A New Angle: On Evolving Rotation Symmetric Boolean Functions

abstract: Rotation symmetric Boolean functions represent an interesting class of Boolean functions as they are relatively rare compared to general Boolean functions. At the same time, the functions in this class can have excellent properties, making them interesting for various practical applications. The usage of metaheuristics to construct rotation symmetric Boolean functions is a direction that has been explored for almost twenty years. Despite that, there are very few results considering evolutionary computation methods. This paper uses several evolutionary algorithms to evolve rotation symmetric Boolean functions with different properties. Despite using generic metaheuristics, we obtain results that are competitive with prior work relying on customized heuristics. Surprisingly, we find that bitstring and floating point encodings work better than the tree encoding. Moreover, evolving highly nonlinear general Boolean functions is easier than rotation symmetric ones.