title: Charge qubits based on ultra-thin topological insulator films

abstract: We study how to use the surface states in a Bi$_{2}$Se$_{3}$ topological insulator ultra-thin film that are affected by finite size effects for the purpose of quantum computing. We demonstrate that: (i) surface states under the finite size effect can effectively form a two-level system where their energy levels lie in between the bulk energy gap and a logic qubit can be constructed, (ii) the qubit can be initialized and manipulated using electric pulses of simple forms, (iii) two-qubit entanglement is achieved through a $\sqrt{\text{SWAP}}$ operation when the two qubits are in a parallel setup, and (iv) alternatively, a Floquet state can be exploited to construct a qubit and two Floquet qubits can be entangled through a Controlled-NOT operation. The Floquet qubit offers robustness to background noise since there is always an oscillating electric field applied, and the single qubit operations are controlled by amplitude modulation of the oscillating field, which is convenient experimentally.


title: Perfecting Liquid-State Theories with Machine Intelligence

abstract: Recent years have seen a significant increase in the use of machine intelligence for predicting electronic structure, molecular force fields, and the physicochemical properties of various condensed systems. However, substantial challenges remain in developing a comprehensive framework capable of handling a wide range of atomic compositions and thermodynamic conditions. This perspective discusses potential future developments in liquid-state theories leveraging on recent advancements of functional machine learning. By harnessing the strengths of theoretical analysis and machine learning techniques including surrogate models, dimension reduction and uncertainty quantification, we envision that liquid-state theories will gain significant improvements in accuracy, scalability and computational efficiency, enabling their broader applications across diverse materials and chemical systems.

categories: physics.chem-ph cond-mat.soft cs.LG physics.comp-ph stat.AP


title: FireMatch: A Semi-Supervised Video Fire Detection Network Based on Consistency and Distribution Alignment

abstract: Deep learning techniques have greatly enhanced the performance of fire detection in videos. However, video-based fire detection models heavily rely on labeled data, and the process of data labeling is particularly costly and time-consuming, especially when dealing with videos. Considering the limited quantity of labeled video data, we propose a semi-supervised fire detection model called FireMatch, which is based on consistency regularization and adversarial distribution alignment. Specifically, we first combine consistency regularization with pseudo-label. For unlabeled data, we design video data augmentation to obtain corresponding weakly augmented and strongly augmented samples. The proposed model predicts weakly augmented samples and retains pseudo-label above a threshold, while training on strongly augmented samples to predict these pseudo-labels for learning more robust feature representations. Secondly, we generate video cross-set augmented samples by adversarial distribution alignment to expand the training data and alleviate the decline in classification performance caused by insufficient labeled data. Finally, we introduce a fairness loss to help the model produce diverse predictions for input samples, thereby addressing the issue of high confidence with the non-fire class in fire classification scenarios. The FireMatch achieved an accuracy of 76.92% and 91.81% on two real-world fire datasets, respectively. The experimental results demonstrate that the proposed method outperforms the current state-of-the-art semi-supervised classification methods.


title: Large Language Models and Prompt Engineering for Biomedical Query Focused Multi-Document Summarisation

abstract: This paper reports on the use of prompt engineering and GPT-3.5 for biomedical query-focused multi-document summarisation. Using GPT-3.5 and appropriate prompts, our system achieves top ROUGE-F1 results in the task of obtaining short-paragraph-sized answers to biomedical questions in the 2023 BioASQ Challenge (BioASQ 11b). This paper confirms what has been observed in other domains: 1) Prompts that incorporated few-shot samples generally improved on their counterpart zero-shot variants; 2) The largest improvement was achieved by retrieval augmented generation. The fact that these prompts allow our top runs to rank within the top two runs of BioASQ 11b demonstrate the power of using adequate prompts for Large Language Models in general, and GPT-3.5 in particular, for query-focused summarisation.


title: A Local Parallel Finite Element Method for Super-Hydrophobic Proppants in a Hydraulic Fracturing System Based on a 2D/3D Transient Triple-Porosity Navier-Stokes Model

abstract: A hydraulic fracturing system with super-hydrophobic proppants is characterized by a transient triple-porosity Navier-Stokes model. For this complex multiphysics system, particularly in the context of three-dimensional space, a local parallel and non-iterative finite element method based on two-grid discretizations is proposed. The underlying idea behind utilizing the local parallel approach is to combine a decoupled method, a two-grid method and a domain decomposition method. The strategy allows us to initially capture low-frequency data across the decoupled domain using a coarse grid. Then it tackles high-frequency components by solving residual equations within overlapping subdomains by employing finer grids and local parallel procedures at each time step. By utilizing this approach, a significant improvement in computational efficiency can be achieved. Furthermore, the convergence results of the approximate solutions from the algorithm are obtained. Finally, we perform 2D/3D numerical experiments to demonstrate the effectiveness and efficiency of the algorithm as well as to illustrate its advantages in application.


title: Rethinking Residual Connection in Training Large-Scale Spiking Neural Networks

abstract: Spiking Neural Network (SNN) is known as the most famous brain-inspired model, but the non-differentiable spiking mechanism makes it hard to train large-scale SNNs. To facilitate the training of large-scale SNNs, many training methods are borrowed from Artificial Neural Networks (ANNs), among which deep residual learning is the most commonly used. But the unique features of SNNs make prior intuition built upon ANNs not available for SNNs. Although there are a few studies that have made some pioneer attempts on the topology of Spiking ResNet, the advantages of different connections remain unclear. To tackle this issue, we analyze the merits and limitations of various residual connections and empirically demonstrate our ideas with extensive experiments. Then, based on our observations, we abstract the best-performing connections into densely additive (DA) connection, extend such a concept to other topologies, and propose four architectures for training large-scale SNNs, termed DANet, which brings up to 13.24% accuracy gain on ImageNet. Besides, in order to present a detailed methodology for designing the topology of large-scale SNNs, we further conduct in-depth discussions on their applicable scenarios in terms of their performance on various scales of datasets and demonstrate their advantages over prior architectures. At a low training expense, our best-performing ResNet-50/101/152 obtain 73.71%/76.13%/77.22% top-1 accuracy on ImageNet with 4 time steps. We believe that this work shall give more insights for future works to design the topology of their networks and promote the development of large-scale SNNs. The code will be publicly available.


title: Remarks on logarithmic \'etale sheafification

abstract: We prove criteria for a presheaf on logarithmic schemes to be a sheaf in the full logarithmic \'etale topology and describe several situations where the structure sheaf and logarithmic structure are logarithmic \'etale sheaves. We deduce that the logarithmic Picard group is a stack in the full logarithmic \'etale topology on logarithmic schemes whose structure sheaves satisfy logarithmic \'etale descent.


title: Impact of Ligand Substitution and Metal Node Exchange in the Electronic Properties of Scandium Terephthalate Frameworks

abstract: The search for sustainable alternatives to established materials is a sensitive topic in materials science. Due to their unique structural and physical characteristics, the composition of metal-organic frameworks (MOFs) can be tuned by the exchange of the metal nodes and the functionalization of the organic ligands giving rise to a large configurational space. Considering the case of scandium terephthalate MOFs and adopting an automatized computational framework based on density-functional theory, we explore the impact of metal substitution with the earth-abundant isoelectronic elements Al and Y, and of ligand functionalization of varying electronegativity. We find that structural properties are strongly impacted by the metal ion substitution and only moderately by ligand functionalization. In contrast, the energetic stability, the charge density distribution, and the electronic properties - including the size of the band gap - are primarily affected by the termination of the linker molecules. Functional groups such as OH and NH$_2$ lead to particularly stable structures thanks to the formation of hydrogen bonds and affect the electronic structure of the MOFs by introducing mid-gap states.


title: Domain-wall skyrmion chain and domain-wall bimerons in chiral magnets

abstract: We construct domain-wall skyrmion chains and domain-wall bimerons in chiral magnets with an out-of-plane easy-axis anisotropy and without a Zeeman term coupling to a magnetic field. Domain-wall skyrmions are skyrmions trapped inside a domain wall, they are present in the ferromagnetic (FM) phase of a chiral magnet with an out-of-plane easy-axis anisotropy. In this paper, we explore the stability of domain-wall skyrmions in the FM phase and in a chiral soliton lattice (CSL) or spiral phase, which is a periodic array of domain walls and anti-domain walls arranged in an alternating manner. In the FM phase, the worldline of a domain-wall skyrmion is bent to form a cusp at the position of the skyrmion. We describe such a cusp using both an analytic method and numerical solutions, and find a good agreement between them for small DM interactions. We show that the cusp grows toward the phase boundary with the CSL, and eventually diverges at the boundary. Second, if we put one skyrmion trapped inside a domain wall in a CSL, it decays into a pair of merons by a reconnection of the domain wall and its adjacent anti-domain wall. Third, if we put skyrmions and anti-skyrmions alternately in domain walls and anti-domain walls, respectively such a chain is stable.


title: Creation of Two-Mode Squeezed States in Atomic Mechanical Oscillators

abstract: Two-mode squeezed states, which are entangled states with bipartite quantum correlations in continuous-variable systems, are crucial in quantum information processing and metrology. Recently, continuous-variable quantum computing with the vibrational modes of trapped atoms has emerged with significant progress, featuring a high degree of control in hybridizing with spin qubits. Creating two-mode squeezed states in such a platform could enable applications that are only viable with photons. Here, we experimentally demonstrate two-mode squeezed states by employing atoms in a two-dimensional optical lattice as quantum registers. The states are generated by a controlled projection conditioned on the relative phase of two independent squeezed states. The individual squeezing is created by sudden jumps of the oscillators' frequencies, allowing generating of the two-mode squeezed states at a rate within a fraction of the oscillation frequency. We validate the states by entanglement steering criteria and Fock state analysis. Our results can be applied in other mechanical oscillators for quantum sensing and continuous-variable quantum information.


title: Linear Quadratic Extended Mean Field Games and Control Problems

abstract: We provide a thorough study of a general class of linear-quadratic extended mean field games and control problems in any dimensions where the mean field terms are allowed to be unbounded and there are also presence of cross terms in the objective functionals. Our investigation focuses on the unique existence of equilibrium strategies for the extended mean field problems by employing the stochastic maximum principle approach and the appropriate fixed point argument. We provide two distinct proofs, accompanied by two sufficient conditions, that establish the unique existence of the equilibrium strategy over a global time horizon. Both conditions emphasize the importance of sufficiently small coefficients of sensitivity for the cross term, of state and control, and mean field term. To determine the required magnitude of these coefficients, we utilize the singular values of appropriate matrices and Weyl's inequalities. The present proposed theory is consistent with the classical one, namely, our theoretical framework encompasses classical linear-quadratic stochastic control problems as particular cases. Additionally, we establish sufficient conditions for the unique existence of solutions to a particular class of non-symmetric Riccati equations, and we illustrate a counterexample to the existence of equilibrium strategies. Furthermore, we also apply the stochastic maximum principle approach to examine linear-quadratic extended mean field type stochastic control problems. Finally, we conduct a comparative analysis between our method and the alternative master equation approach, specifically addressing the efficacy of the present proposed approach in solving common practical problems, for which the explicit forms of the equilibrium strategies can be obtained directly, even over any global time horizon.


title: Probabilistic Model Checking of Temporal Interaction Dynamics in the Supreme Court

abstract: The Supreme Court plays an extremely critical role in ensuring adherence to the rule of law and in strengthening the democracy. Due to this reason, modeling and analysis of small group interactions in the courtroom setting is an important task as it can help in understanding court decision-making. We apply probabilistic model checking for the modeling and analysis of temporal interaction dynamics in the context of the Supreme Court of the United States. We have used the transcripts of the oral arguments of cases from the Supreme Court for constructing a discrete-time Markov reward model (DTMRM). Next, we formulate interesting queries over interaction by using probabilistic computation tree logic (PCTL) and PCTL with rewards and verify them using a probabilistic symbolic model checker (PRISM). Our experimental results show that probabilistic model checking is very effective in identifying trends, hidden patterns, and how justices behave during the trials. These results not only provide valuable feedback to the justices but may also be used by the advocates and law students for finding better ways to present their arguments in the court.


title: Forceps with direct torque control

abstract: This study presents a conceptual design of laparoscopic forceps whose grasping torque can be directly controlled by the user. By integrating an adjustable constant torque mechanism, the handle opening angle is converted to the grasping torque irrespective of the jaw opening angle. This feature overcomes the limitation regarding of the lack of direct haptic feedback in laparoscopic minimally invasive surgery, preventing damage of delicate tissue during forceps grasping.


title: Improving Whispered Speech Recognition Performance using Pseudo-whispered based Data Augmentation

abstract: Whispering is a distinct form of speech known for its soft, breathy, and hushed characteristics, often used for private communication. The acoustic characteristics of whispered speech differ substantially from normally phonated speech and the scarcity of adequate training data leads to low automatic speech recognition (ASR) performance. To address the data scarcity issue, we use a signal processing-based technique that transforms the spectral characteristics of normal speech to those of pseudo-whispered speech. We augment an End-to-End ASR with pseudo-whispered speech and achieve an 18.2% relative reduction in word error rate for whispered speech compared to the baseline. Results for the individual speaker groups in the wTIMIT database show the best results for US English. Further investigation showed that the lack of glottal information in whispered speech has the largest impact on whispered speech ASR performance.


title: Distributed nonconvex optimization for control of water networks with time-coupling constraints

abstract: In this paper, we present a new control problem for optimizing pressure and water quality operations in water distribution networks. Our problem imposes a set of time-coupling constraints to manage temporal pressure variations, which are exacerbated by the transition between pressure and water quality controls. The resulting optimization problem is a nonconvex, nonlinear program with nonseparable structure across time steps. This problem proves challenging for state-of-the-art nonlinear solvers, often precluding their direct use for near real-time control in large-scale networks. To overcome this computational burden, we investigate a distributed optimization approach based on the alternating direction method of multipliers (ADMM). In particular, we implement and evaluate two algorithms: a standard ADMM scheme and a two-level variant that provides theoretical convergence guarantees under mild assumptions for our nonconvex setting. We use a benchmarking water network and a large-scale operational network in the UK for our numerical experiments. The results demonstrate good convergence behavior across all problem instances for the two-level algorithm, whereas the standard ADMM approach struggles to converge in some instances. With an appropriately tuned penalty parameter, however, both distributed algorithms yield good quality solutions and computational times compatible with near real-time (e.g. hourly) control requirements for large-scale water networks.


title: Energy-efficient flocking with nonlinear navigational feedback

abstract: Modeling collective motion in multi-agent systems has gained much attention in recent years. In particular, of interest are the conditions under which flocking dynamics emerges. We present a generalization of the multi-agent model of Olfati--Saber with nonlinear navigational feedback forces. As opposed to the original model, our model is, in general, not dissipative. This makes obtaining sufficient conditions for flocking challenging due to the absence of an obvious choice of a Lyapunov function. By means of an alternative argument, we show that our model possesses a global attractor when the navigational feedback forces are bounded perturbations of the linear ones. We further demonstrate that, under mild conditions, the dynamics of the group converges to a complete velocity consensus at an exponential rate. We show that the attractor of a dissipative system can contain non-equilibrium solutions. We construct explicit examples of such solutions and obtain conditions under which they cannot exist. In addition, we present a case study of the energy efficiency of our model. We show how nonlinear navigational feedback forces, which possess flexibility that linear forces lack, can be used to reduce on-board energy consumption.


title: Which black hole is spinning? Probing the origin of black-hole spin with gravitational waves

abstract: Theoretical studies of angular momentum transport suggest that isolated stellar-mass black holes are born with negligible dimensionless spin magnitudes $\chi \lesssim 0.01$. However, recent gravitational-wave observations indicate $\gtrsim 40\%$ of binary black hole systems contain at least one black hole with a non-negligible spin magnitude. One explanation is that the first-born black hole spins up the stellar core of what will become the second-born black hole through tidal interactions. Typically, the second-born black hole is the ``secondary'' (less-massive) black hole, though, it may become the ``primary'' (more-massive) black hole through a process known as mass-ratio reversal. We investigate this hypothesis by analysing data from the third gravitational-wave transient catalog (GWTC-3) using a ``single-spin'' framework in which only one black hole may spin in any given binary. Given this assumption, we show that at least $28\%$ (90% credibility) of the LIGO--Virgo--KAGRA binaries contain a primary with significant spin, possibly indicative of mass-ratio reversal. We find no evidence for binaries that contain a secondary with significant spin. However, the single-spin framework is moderately disfavoured (natural log Bayes factor $\ln B = 3.1$) when compared to a model that allows both black holes to spin. If future studies can firmly establish that most merging binaries contain two spinning black holes, it may call into question our understanding of formation mechanisms for binary black holes or the efficiency of angular momentum transport in black hole progenitors.


title: Wide Bandwidth Observations of PSR J0941$-$39 and PSR J1107$-$5907

abstract: We present a polarization analysis of PSR J0941$-$39 and PSR J1107$-$5907, which exhibit transitions between being pulsars and rotating radio transients (RRATs), using the ultra-wide bandwidth low-frequency (UWL) receiver on Murriyang, the Parkes 64\,m radio telescope. The spectral index of each pulsar was measured, revealing distinct variations among different states. By using the rotating vector model (RVM), we determined that the magnetosphere geometry remains consistent between the RRAT state and the pulsar state for PSR J0941$-$39, with emissions originating from the same height in the magnetosphere. The occurrence of the RRAT state could be attributed to variations in currents within the pulsar's magnetosphere. Our results suggest that the emission mechanism of RRAT may share similarities with that of a typical pulsar.


title: Lepton and neutron EDM as probe of general two Higgs doublet model

abstract: Baryogenesis requires large CPV phases, while said phases are constrained by electric dipole moment (EDM) experiments. In the general two Higgs doublet model (g2HDM), without $Z_{2}$ symmetry, EWBG can be achieved while evading EDM bounds. In this study, we explore the g2HDM contributions to electron EDM (eEDM) and neutron EDM (nEDM), and review the future prospects in the experiment front. In particular, we show that the combined eEDM-nEDM results can not only provide crucial bound on the top Yukawa-driven baryogenesis explanation in g2HDM, but are poised for discovery as experimental precision increases within the next decade or so.


title: Mixture of Weak & Strong Experts on Graphs

abstract: Realistic graphs contain both (1) rich self-features of nodes and (2) informative structures of neighborhoods, jointly handled by a Graph Neural Network (GNN) in the typical setup. We propose to decouple the two modalities by Mixture of weak and strong experts (Mowst), where the weak expert is a light-weight Multi-layer Perceptron (MLP), and the strong expert is an off-the-shelf GNN. To adapt the experts' collaboration to different target nodes, we propose a "confidence" mechanism based on the dispersion of the weak expert's prediction logits. The strong expert is conditionally activated in the low-confidence region when either the node's classification relies on neighborhood information, or the weak expert has low model quality. We reveal interesting training dynamics by analyzing the influence of the confidence function on loss: our training algorithm encourages the specialization of each expert by effectively generating soft splitting of the graph. In addition, our "confidence" design imposes a desirable bias toward the strong expert to benefit from GNN's better generalization capability. Mowst is easy to optimize and achieves strong expressive power, with a computation cost comparable to a single GNN. Empirically, Mowst on 4 backbone GNN architectures show significant accuracy improvement on 6 standard node classification benchmarks, including both homophilous and heterophilous graphs (https://github.com/facebookresearch/mowst-gnn).


title: $C^{0}$-regularity for solutions of elliptic equations with distributional coefficients

abstract: In this paper, the continuity of solutions for elliptic equations in divergence form with distributional coefficients is considered. Inspired by the discussion on necessary and sufficient conditions for the form boundedness of elliptic operators by Maz'ya and Verbitsky (Acta Math., 188, 263-302, 2002 and Comm. Pure Appl. Math., 59, 1286-1329, 2006), we propose two kinds of sufficient conditions, which are some Dini decay conditions and some integrable conditions named Kato class or $K^{1}$ class, to show that the weak solution of the Schr\"{o}dinger type elliptic equation with distributional coefficients is continuous and give an almost optimal priori estimate. These estimates can clearly show that how the coefficients and nonhomogeneous terms influence the regularity of solutions. The $\ln$-Lipschitz regularity and H\"{o}lder regularity are also obtained as corollaries which cover the classical De Giorgi's H\"{o}lder estimates.


title: Ultrafast all-optical second harmonic wavefront shaping

abstract: Optical communication can be revolutionized by encoding data into the orbital angular momentum of light beams. However, state-of-the-art approaches for dynamic control of complex optical wavefronts are mainly based on liquid crystal spatial light modulators or miniaturized mirrors, which suffer from intrinsically slow response times. Here, we experimentally realize a hybrid meta-optical system that enables complex control of the wavefront of light with pulse-duration limited dynamics. Specifically, by combining ultrafast polarization switching in a WSe2 monolayer with a dielectric metasurface, we demonstrate second harmonic beam deflection and structuring of orbital angular momentum on the femtosecond timescale. Our results pave the way to robust encoding of information for free space optical links, while reaching response times compatible with real-world telecom applications.


title: Sound field reconstruction using neural processes with dynamic kernels

abstract: Accurately representing the sound field with the high spatial resolution is critical for immersive and interactive sound field reproduction technology. To minimize experimental effort, data-driven methods have been proposed to estimate sound fields from a small number of discrete observations. In particular, kernel-based methods using Gaussian Processes (GPs) with a covariance function to model spatial correlations have been used for sound field reconstruction. However, these methods have limitations due to the fixed kernels having limited expressiveness, requiring manual identification of optimal kernels for different sound fields. In this work, we propose a new approach that parameterizes GPs using a deep neural network based on Neural Processes (NPs) to reconstruct the magnitude of the sound field. This method has the advantage of dynamically learning kernels from simulated data using an attention mechanism, allowing for greater flexibility and adaptability to the acoustic properties of the sound field. Numerical experiments demonstrate that our proposed approach outperforms current methods in reconstructing accuracy, providing a promising alternative for sound field reconstruction.


title: An Analytical Model for Coordinated Multi-Satellite Joint Transmission System

abstract: Satellite communication is one of the key technologies that is enabling next-generation networks. However, nearest-satellite-supported downlink transmission may not meet a user's requirements due to limited signal strength, especially in emergent scenarios. In this paper, we investigate a coordinated multi-satellite joint transmission system from a system-level perspective, where a user can be served by multiple satellites to improve its quality-of-service (QoS). Furthermore, we analyze the coverage and rate of a typical user in the joint transmission system. Simulation and numerical results show that the introduced system achieves a higher coverage probability than the traditional nearest-satellite-supported network. Moreover, a user's ergodic rate can be maximized by selecting an appropriate number of serving satellites.


title: Audio-visual Saliency for Omnidirectional Videos

abstract: Visual saliency prediction for omnidirectional videos (ODVs) has shown great significance and necessity for omnidirectional videos to help ODV coding, ODV transmission, ODV rendering, etc.. However, most studies only consider visual information for ODV saliency prediction while audio is rarely considered despite its significant influence on the viewing behavior of ODV. This is mainly due to the lack of large-scale audio-visual ODV datasets and corresponding analysis. Thus, in this paper, we first establish the largest audio-visual saliency dataset for omnidirectional videos (AVS-ODV), which comprises the omnidirectional videos, audios, and corresponding captured eye-tracking data for three video sound modalities including mute, mono, and ambisonics. Then we analyze the visual attention behavior of the observers under various omnidirectional audio modalities and visual scenes based on the AVS-ODV dataset. Furthermore, we compare the performance of several state-of-the-art saliency prediction models on the AVS-ODV dataset and construct a new benchmark. Our AVS-ODV datasets and the benchmark will be released to facilitate future research.


title: Determining Sources in the Bioluminescence Tomography Problem

abstract: In this paper, we revisit the bioluminescence tomography (BLT) problem, where one seeks to reconstruct bioluminescence signals (an internal light source) from external measurements of the Cauchy data. As one kind of optical imaging, the BLT has many merits such as high signal-to-noise ratio, non-destructivity and cost-effectiveness etc., and has potential applications such as cancer diagnosis, drug discovery and development as well as gene therapies and so on. In the literature, BLT is extensively studied based on diffusion approximation (DA) equation, where the distribution of peak sources is to be reconstructed and no solution uniqueness is guaranteed without adequate a priori information. Motivated by the solution uniqueness issue, several theoretical results are explored. The major contributions in this work that are new to the literature are two-fold: first, we show the theoretical uniqueness of the BLT problem where the light sources are in the shape of $C^2$ domains or polyhedral- or corona-shaped; second, we support our results with plenty of problem-orientated numerical experiments.


title: TransReg: Cross-transformer as auto-registration module for multi-view mammogram mass detection

abstract: Screening mammography is the most widely used method for early breast cancer detection, significantly reducing mortality rates. The integration of information from multi-view mammograms enhances radiologists' confidence and diminishes false-positive rates since they can examine on dual-view of the same breast to cross-reference the existence and location of the lesion. Inspired by this, we present TransReg, a Computer-Aided Detection (CAD) system designed to exploit the relationship between craniocaudal (CC), and mediolateral oblique (MLO) views. The system includes cross-transformer to model the relationship between the region of interest (RoIs) extracted by siamese Faster RCNN network for mass detection problems. Our work is the first time cross-transformer has been integrated into an object detection framework to model the relation between ipsilateral views. Our experimental evaluation on DDSM and VinDr-Mammo datasets shows that our TransReg, equipped with SwinT as a feature extractor achieves state-of-the-art performance. Specifically, at the false positive rate per image at 0.5, TransReg using SwinT gets a recall at 83.3% for DDSM dataset and 79.7% for VinDr-Mammo dataset. Furthermore, we conduct a comprehensive analysis to demonstrate that cross-transformer can function as an auto-registration module, aligning the masses in dual-view and utilizing this information to inform final predictions. It is a replication diagnostic workflow of expert radiologists


title: Observable full-horseshoes for Lagrangian flows advected by stochastic 2D Navier-Stokes equations

abstract: In this paper, we mainly study the turbulence of Lagrangian flow advected by stochastic 2D Navier-Stokes equations. It is proved that this system has observable full-horseshoes. The observable full-horseshoe means that it is a kind of chaotic structure and occurs on any two disjoint non-empty closed balls.


title: A Weighted-Graph Curvature Calculator and Whether the Discrete Curvature Senses the Smooth One

abstract: We investigate whether there is a relationship between the discrete Bakry-\'{E}mery curvature of a graph and the smooth curvature of an ambient surface into which the graph is embedded geodesically. As we used weighted graphs as test objects, we developed a program for the calculation of the discrete curvature and with the help of this calculator, we observed some indications of such a relationship.


title: PRODIGy: a PROfile-based DIalogue Generation dataset

abstract: Providing dialogue agents with a profile representation can improve their consistency and coherence, leading to better conversations. However, current profile-based dialogue datasets for training such agents contain either explicit profile representations that are simple and dialogue-specific, or implicit representations that are difficult to collect. In this work, we propose a unified framework in which we bring together both standard and more sophisticated profile representations by creating a new resource where each dialogue is aligned with all possible speaker representations such as communication style, biographies, and personality. This framework allows to test several baselines built using generative language models with several profile configurations. The automatic evaluation shows that profile-based models have better generalisation capabilities than models trained on dialogues only, both in-domain and cross-domain settings. These results are consistent for fine-tuned models and instruction-based LLMs. Additionally, human evaluation demonstrates a clear preference for generations consistent with both profile and context. Finally, to account for possible privacy concerns, all experiments are done under two configurations: inter-character and intra-character. In the former, the LM stores the information about the character in its internal representation, while in the latter, the LM does not retain any personal information but uses it only at inference time.


title: Solving Combinatorial Optimization Problems on Fujitsu Digital Annealer

abstract: Combinatorial optimization problems are ubiquitous in various disciplines and applications. Many heuristic algorithms have been devoted to solve these types of problems. In order to increase the efficiency for finding the optimal solutions, an application-specific hardware, called digital annealer (DA) has been developed for solving combinatorial optimization problems using quadratic unconstrained binary optimization (QUBO) formulations. In this study, we formulated the number partitioning problem and the graph partitioning problem into QUBO forms and solved such problems with the DA developed by Fujitsu Ltd. The QUBO formulation of the number partitioning problem is fully connected. The DA found the overall runtime for the optimal solution to be less than 30 seconds for 6500 binary variables. For the graph partitioning problem, we adopted modularity as the metric for determining the quality of the partitions. For Zachary's Karate Club graph, the modularity obtained was 0.445, a 6% increase against D-wave Quantum Annealer and Simulated Annealing. Moreover, to explore the DA's potential applications to real-world problems, we used the search for communities or virtual microgrids in a power distribution network as an example. The problem was formulated into graph partitioning. It is shown that the DA effectively identified community structures in the IEEE 33-bus and IEEE 118-bus network.


title: Deep learning in computed tomography pulmonary angiography imaging: a dual-pronged approach for pulmonary embolism detection

abstract: The increasing reliance on Computed Tomography Pulmonary Angiography (CTPA) for Pulmonary Embolism (PE) diagnosis presents challenges and a pressing need for improved diagnostic solutions. The primary objective of this study is to leverage deep learning techniques to enhance the Computer Assisted Diagnosis (CAD) of PE. With this aim, we propose a classifier-guided detection approach that effectively leverages the classifier's probabilistic inference to direct the detection predictions, marking a novel contribution in the domain of automated PE diagnosis. Our classification system includes an Attention-Guided Convolutional Neural Network (AG-CNN) that uses local context by employing an attention mechanism. This approach emulates a human expert's attention by looking at both global appearances and local lesion regions before making a decision. The classifier demonstrates robust performance on the FUMPE dataset, achieving an AUROC of 0.927, sensitivity of 0.862, specificity of 0.879, and an F1-score of 0.805 with the Inception-v3 backbone architecture. Moreover, AG-CNN outperforms the baseline DenseNet-121 model, achieving an 8.1% AUROC gain. While previous research has mostly focused on finding PE in the main arteries, our use of cutting-edge object detection models and ensembling techniques greatly improves the accuracy of detecting small embolisms in the peripheral arteries. Finally, our proposed classifier-guided detection approach further refines the detection metrics, contributing new state-of-the-art to the community: mAP$_{50}$, sensitivity, and F1-score of 0.846, 0.901, and 0.779, respectively, outperforming the former benchmark with a significant 3.7% improvement in mAP$_{50}$. Our research aims to elevate PE patient care by integrating AI solutions into clinical workflows, highlighting the potential of human-AI collaboration in medical diagnostics.


title: Adaptive-Labeling for Enhancing Remote Sensing Cloud Understanding

abstract: Cloud analysis is a critical component of weather and climate science, impacting various sectors like disaster management. However, achieving fine-grained cloud analysis, such as cloud segmentation, in remote sensing remains challenging due to the inherent difficulties in obtaining accurate labels, leading to significant labeling errors in training data. Existing methods often assume the availability of reliable segmentation annotations, limiting their overall performance. To address this inherent limitation, we introduce an innovative model-agnostic Cloud Adaptive-Labeling (CAL) approach, which operates iteratively to enhance the quality of training data annotations and consequently improve the performance of the learned model. Our methodology commences by training a cloud segmentation model using the original annotations. Subsequently, it introduces a trainable pixel intensity threshold for adaptively labeling the cloud training images on the fly. The newly generated labels are then employed to fine-tune the model. Extensive experiments conducted on multiple standard cloud segmentation benchmarks demonstrate the effectiveness of our approach in significantly boosting the performance of existing segmentation models. Our CAL method establishes new state-of-the-art results when compared to a wide array of existing alternatives.


title: BrainNetDiff: Generative AI Empowers Brain Network Generation via Multimodal Diffusion Model

abstract: Brain network analysis has emerged as pivotal method for gaining a deeper understanding of brain functions and disease mechanisms. Despite the existence of various network construction approaches, shortcomings persist in the learning of correlations between structural and functional brain imaging data. In light of this, we introduce a novel method called BrainNetDiff, which combines a multi-head Transformer encoder to extract relevant features from fMRI time series and integrates a conditional latent diffusion model for brain network generation. Leveraging a conditional prompt and a fusion attention mechanism, this method significantly improves the accuracy and stability of brain network generation. To the best of our knowledge, this represents the first framework that employs diffusion for the fusion of the multimodal brain imaging and brain network generation from images to graphs. We validate applicability of this framework in the construction of brain network across healthy and neurologically impaired cohorts using the authentic dataset. Experimental results vividly demonstrate the significant effectiveness of the proposed method across the downstream disease classification tasks. These findings convincingly emphasize the prospective value in the field of brain network research, particularly its key significance in neuroimaging analysis and disease diagnosis. This research provides a valuable reference for the processing of multimodal brain imaging data and introduces a novel, efficient solution to the field of neuroimaging.


title: An efficient Bayesian approach to joint functional principal component analysis for complex sampling designs

abstract: The analysis of multivariate functional curves has the potential to yield important scientific discoveries in domains such as healthcare, medicine, economics and social sciences. However it is common for real-world settings to present data that are both sparse and irregularly sampled, and this introduces important challenges for the current functional data methodology. Here we propose a Bayesian hierarchical framework for multivariate functional principal component analysis which accommodates the intricacies of such sampling designs by flexibly pooling information across subjects and correlated curves. Our model represents common latent dynamics via shared functional principal component scores, thereby effectively borrowing strength across curves while circumventing the computationally challenging task of estimating covariance matrices. These scores also provide a parsimonious representation of the major modes of joint variation of the curves, and constitute interpretable scalar summaries that can be employed in follow-up analyses. We perform inference using a variational message passing algorithm which combines efficiency, modularity and approximate posterior density estimation, enabling the joint analysis of large datasets with parameter uncertainty quantification. We conduct detailed simulations to assess the effectiveness of our approach in sharing information under complex sampling designs. We also exploit it to estimate the molecular disease courses of individual patients with SARS-CoV-2 infection and characterise patient heterogeneity in recovery outcomes; this study reveals key coordinated dynamics across the immune, inflammatory and metabolic systems, which are associated with survival and long-COVID symptoms up to one year post disease onset. Our approach is implemented in the R package bayesFPCA.


title: Green Resilience of Cyber-Physical Systems

abstract: Cyber-Physical System (CPS) represents systems that join both hardware and software components to perform real-time services. Maintaining the system's reliability is critical to the continuous delivery of these services. However, the CPS running environment is full of uncertainties and can easily lead to performance degradation. As a result, the need for a recovery technique is highly needed to achieve resilience in the system, with keeping in mind that this technique should be as green as possible. This early doctorate proposal, suggests a game theory solution to achieve resilience and green in CPS. Game theory has been known for its fast performance in decision-making, helping the system to choose what maximizes its payoffs. The proposed game model is described over a real-life collaborative artificial intelligence system (CAIS), that involves robots with humans to achieve a common goal. It shows how the expected results of the system will achieve the resilience of CAIS with minimized CO2 footprint.


title: Functional central limit theorem and Marcinkiewicz strong law of large numbers for Hilbert-valued U-statistics of absolutely regular data

abstract: In this paper, we investigate the functional central limit theorem and the Marcinkiewicz strong law of large numbers for U-statistics having absolutely regular data and taking value in a separable Hilbert space. The novelty of our approach consists in using coupling in order to formulate a deviation inequality for original $U$-statistic, where the upper bound involves the mixing coefficient and the tail of several U-statistics of i.i.d. data. The presented results improve the known results in several directions: the case of metric space valued data is considered as well as Hilbert space valued, and the mixing rates are less restrictive in a wide range of parameters.


title: Whisper in Focus: Enhancing Stuttered Speech Classification with Encoder Layer Optimization

abstract: In recent years, advancements in the field of speech processing have led to cutting-edge deep learning algorithms with immense potential for real-world applications. The automated identification of stuttered speech is one of such applications that the researchers are addressing by employing deep learning techniques. Recently, researchers have utilized Wav2vec2.0, a speech recognition model to classify disfluency types in stuttered speech. Although Wav2vec2.0 has shown commendable results, its ability to generalize across all disfluency types is limited. In addition, since its base model uses 12 encoder layers, it is considered a resource-intensive model. Our study unravels the capabilities of Whisper for the classification of disfluency types in stuttered speech. We have made notable contributions in three pivotal areas: enhancing the quality of SEP28-k benchmark dataset, exploration of Whisper for classification, and introducing an efficient encoder layer freezing strategy. The optimized Whisper model has achieved the average F1-score of 0.81, which proffers its abilities. This study also unwinds the significance of deeper encoder layers in the identification of disfluency types, as the results demonstrate their greater contribution compared to initial layers. This research represents substantial contributions, shifting the emphasis towards an efficient solution, thereby thriving towards prospective innovation.


title: Sensitivity study of resolution and convergence requirements for extended overlap region in wall-bounded turbulence

abstract: Direct Numerical Simulations (DNSs) are one of the most powerful tools for studying turbulent flows. Even if achievable Reynolds numbers are lower than those obtained with experimental means, there is a clear advantage since the entire velocity field is known, and any desired quantity can be evaluated. This also includes the computation of derivatives of all relevant terms. One such derivative provides the indicator function, which is the product of wall distance by wall-normal derivative of the mean streamwise velocity. This derivative may depend on mesh spacing and distribution. However, it is extremely affected by the convergence of the simulation. The indicator function is a cornerstone to understanding inner and outer interactions in wall-bounded flows and describing the overlap region between them. We find a clear dependence of this indicator function on mesh distributions we examined, raising questions about classical mesh and convergence requirements for DNS and achievable accuracy. Within the framework of the logarithmic plus linear overlap region, coupled with a parametric study of channel flows and some pipe flows, sensitivities of extracted overlap parameters are examined, and a path is revealed to establishing their high-$Re_\tau$ or near-asymptotic values at modest Reynolds numbers accessible by high-quality DNS with reasonable ``cost''.


title: Covariance models and Gaussian process regression for the wave equation. Application to related inverse problems

abstract: In this article, we consider the general task of performing Gaussian process regression (GPR) on pointwise observations of solutions of the 3 dimensional homogeneous free space wave equation.In a recent article, we obtained promising covariance expressions tailored to this equation: we now explore the potential applications of these formulas.We first study the particular cases of stationarity and radial symmetry, for which significant simplifications arise. We next show that the true-angle multilateration method for point source localization, as used in GPS systems, is naturally recovered by our GPR formulas in the limit of the small source radius. Additionally, we show that this GPR framework provides a new answer to the ill-posed inverse problem of reconstructing initial conditions for the wave equation from a limited number of sensors, and simultaneously enables the inference of physical parameters from these data. We finish by illustrating this ``physics informed'' GPR on a number of practical examples.


title: Discovery of Two Different Full Disk Evolutionary Patterns of M-type T Tauri Stars with LAMOST DR8

abstract: The full disk, full of gas and dust, determines the upper limit of planet masses, and its lifetime is critical for planet formation, especially for giant planets. In this work, we studied the evolutionary timescales of the full disks of T Tauri stars (TTSs) and their relations to accretion. Combined with Gaia EDR3, 2MASS, and WISE data, 1077 disk-bearing TTS candidates were found in LAMOST DR8, and stellar parameters were obtained. Among them, 783 are newly classified by spectra as classical T Tauri stars (CTTSs; 169) or weak-lined T Tauri stars (WTTSs). Based on EW and FWHM of Ha, 157 TTSs in accretion were identified, with ~ 82% also having full disks. For TTSs with M<0.35 Mo, about 80% seem to already lose their full disks at ~ 0.1 Myr, which may explain their lower mass, while the remaining 20% with full disks evolve at similar rates of non-full disks within 5 Myr, possibly suffice to form giant planets. The fraction of accreting TTSs to disk-bearing TTSs is stable at ~10% and can last $\sim$ 5-10 Myr, suggesting that full disks and accretion evolve with similar rates as non-full disks. For TTSs with M>0.35Mo, almost all full disks can survive more than 0.1 Myr, most for 1 Myr and some even for 20 Myr, which implies planets are more likely to be formed in their disks than those of M<0.35 Mo, and thus M dwarfs with M>0.35Mo can have more planets. The fraction of full-disk TTSs to disk-bearing TTSs decreases with age following the relation $f\propto t^{-0.35}$, and similar relations existed in the fraction of accreting TTSs and the fraction of full-disk CTTSs, suggesting faster full disks and accretion evolution than non-full disks. For full disk stars, the ratio of accretion of lower-mass stars is systematically lower than that of higher-mass stars, confirming the dependence of accretion on stellar mass.


title: More on closed string effective actions at order $\alpha'^2$

abstract: Recent progress in string theory has unveiled the discovery of NS-NS couplings in bosonic and heterotic effective actions at order $\alpha'^2$, which were achieved by imposing $O(1,1)$ symmetry on the circle reduction of classical effective actions. While the bosonic theory features 25 couplings, the heterotic theory encompasses 24 parity-even and 3 parity-odd couplings, excluding the pure gravity couplings. In this study, we redefine the even-parity couplings in the bosonic and heterotic theories through the application of appropriate field redefinitions, resulting in 10 and 8 couplings, respectively. To establish the validity of these couplings, a cosmological reduction is conducted, demonstrating that the cosmological couplings in the heterotic theory vanish, subject to one-dimensional field redefinitions that include the lapse function and total derivative terms. Additionally, it is observed that the cosmological couplings in the bosonic theory can be expressed as $\mathrm{tr}(\dS^6)$. These results are consistent with existing literature, where such behavior is attributed to the pure gravity component of the couplings. Furthermore, the consistency of the obtained couplings with 4-point string theory S-matrix elements is confirmed.


title: Dido's Problem and Beyond

abstract: We overview the main ideas and techniques of the functional-analytical approach to some extremal problems of convex geometry that stem from the Queen Dido problem.


title: High-frequency dielectric anomalies in a highly frustrated square kagome lattice nabokoite family compounds ACu$_7$(TeO$_4$)(SO$_4$)$_5$Cl (A=Na, K, Rb, Cs)

abstract: Nabokoite family compounds ACu$_7$(TeO$_4$)(SO$_4$)$_5$Cl (A=Na, K, Cs, Rb) are candidates for the experimental realization of highly-frustrated 2D square kagome lattice (SKL). Their magnetic subsystem includes SKL layers decorated by additional copper ions. All members of this family are characterized by quite high Curie-Weiss temperatures ($\sim 80-200$ K), but magnetic ordering was reported only for Na and K compounds at a much lower temperatures below 4 K. We report here results of the study of high-frequency ($\sim 10$ GHz) dielectric properties of this family of compounds. Our study revealed presence of the strong dielectric anomaly both in the real and imaginary parts of high-frequency dielectric permittivity for Na and K compounds approx. 100 and 26 K, correspondingly, presumably related to antiferroelectric ordering. Additionally, much weaker anomalies were observed at approximately 5K indicating possible interplay of magnetic and lattice degrees of freedom. We discuss possible relation between the structure rearrangements accompanying dielectric anomalies and a delayed magnetic ordering in the nabokoite family compounds.


title: From "What" to "When" -- a Spiking Neural Network Predicting Rare Events and Time to their Occurrence

abstract: In the reinforcement learning (RL) tasks, the ability to predict receiving reward in the near or more distant future means the ability to evaluate the current state as more or less close to the target state (labelled by the reward signal). In the present work, we utilize a spiking neural network (SNN) to predict time to the next target event (reward - in case of RL). In the context of SNNs, events are represented as spikes emitted by network neurons or input nodes. It is assumed that target events are indicated by spikes emitted by a special network input node. Using description of the current state encoded in the form of spikes from the other input nodes, the network should predict approximate time of the next target event. This research paper presents a novel approach to learning the corresponding predictive model by an SNN consisting of leaky integrate-and-fire (LIF) neurons. The proposed method leverages specially designed local synaptic plasticity rules and a novel columnar-layered SNN architecture. Similar to our previous works, this study places a strong emphasis on the hardware-friendliness of the proposed models, ensuring their efficient implementation on modern and future neuroprocessors. The approach proposed was tested on a simple reward prediction task in the context of one of the RL benchmark ATARI games, ping-pong. It was demonstrated that the SNN described in this paper gives superior prediction accuracy in comparison with precise machine learning techniques, such as decision tree algorithms and convolutional neural networks.


title: Conformal class of Lorentzian surfaces with Killing fields

abstract: We study the conformal classes of 2-dimensional Lorentzian tori with (non zero) Killing fields. We define a map that associate to such a class a vector field on the circle (up to a scalar factor). This map is not injective but has finite dimensional fiber. It allows us to characterize the conformal classes of tori with Killing field satisfying a condition related to the existence of conjugate points given by L. Mehidi.


title: Tests of the envelope theory for three-body forces

abstract: Many-body forces, and specially three-body forces, are sometimes a relevant ingredient in various fields, such as atomic, nuclear or hadronic physics. As their precise structure is generally difficult to uncover or to implement, phenomenological effective forces are often used in practice. A form commonly used for a many-body variable is the square-root of the sum of two-body variables. Even in this case, the problem can be very difficult to treat numerically. But this kind of many-body forces can be handled at the same level of difficulty than two-body forces by the envelope theory. The envelope theory is a very efficient technique to compute approximate, but reliable, solutions of many-body systems, specially for identical particles. The quality of this technique is tested here for various three-body forces with non-relativistic systems composed of three identical particles. The energies, the eigenfunctions, and some observables are compared with the corresponding accurate results computed with a numerical variational method.


title: Tracking and Following a Suspended Moving Object using Camera-Based Vision System

abstract: When robots are able to see and respond to their surroundings, a whole new world of possibilities opens up. To bring these possibilities to life, the robotics industry is increasingly adopting camera-based vision systems, especially when a robotic system needs to interact with a dynamic environment or moving target. However, this kind of vision system is known to have low data transmission rates, packet loss during communication and noisy measurements as major disadvantages. These problems can perturb the control performance and the quality of the robot-environment interaction. To improve the quality of visual information, in this paper, we propose to model the dynamics of the motion of a target object and use this model to implement an Extended Kalman Filter based on Intermittent Observations of the vision system. The effectiveness of the proposed approach was tested through experiments with a robotic arm, a camera device in an eye-to-hand configuration, and an oscillating suspended block as a target to follow.


title: Computation of the component group of an arbitrary real algebraic group

abstract: We compute explicitly the group of connected components $\pi_0G(\mathbb{R})$ of the real Lie group $G(\mathbb{R})$ for an arbitrary (not necessarily linear) connected algebraic group $G$ defined over the field $\mathbb{R}$ of real numbers. In particular, it turns out that $\pi_0G(\mathbb{R})$ is always an elementary Abelian 2-group. The result looks most transparent in the cases where $G$ is a linear algebraic group or an Abelian variety. The computation is based on structure results on algebraic groups and Galois cohomology methods.


title: On the security of randomly transformed quadratic programs for privacy-preserving cloud-based control

abstract: Control related data, such as system states and inputs or controller specifications, is often sensitive. Meanwhile, the increasing connectivity of cloud-based or networked control results in vast amounts of such data, which poses a privacy threat, especially when evaluation on external platforms is considered. In this context, a cipher based on a random affine transformation gained attention, which is supposed to enable privacy-preserving evaluations of quadratic programs (QPs) with little computational overhead compared to other methods. This paper deals with the security of such randomly transformed QPs in the context of model predictive control (MPC). In particular, we show how to construct attacks against this cipher and thereby underpin concerns regarding its security in a practical setting. To this end, we exploit invariants under the transformations and common specifications of MPC-related QPs. Our numerical examples then illustrate that these two ingredients suffice to extract information from ciphertexts.


title: Heteroepitaxial growth of anatase (0 0 1) films on SrTiO3 (0 0 1) by PLD and MBE

abstract: The epitaxial growth of anatase (001) films deposited by pulsed laser deposition (PLD) and molecular beam epitaxy (MBE) on SrTiO3 (001) (STO) single crystals has been studied using X-ray diffraction and surface sensitivity UHV techniques. The evolution of the strain represented by the microstrain and the change of the in-plane and out-of-plane lattice parameters with film growth temperature, the effect of the annealing temperature and the influence of the oxygen content of the film have been investigated.The out-of-plane lattice strain shows a compressive (-0.2%) or expansive (+0.3%) behavior, in the range 600-900$^\circ$C, for temperatures below or above 700$^\circ$C, respectively. The in-plane lattice parameters, as well as the cell volume of the film, remain under compression over the entire temperature range explored.PLD films grow into square islands that align with the surface lattice directions of the STO substrate. The maximum size of these islands is reached at growth temperatures close to 875-925$^\circ$C. Film annealing at temperatures of 800$^\circ$C or higher melts the islands into flat terraces. Larger terraces are reached at high annealing temperatures of 925$^\circ$C for extended periods of 12 hours. This procedure allows flat surface terrace sizes of up to 650 nm to be achieved.The crystalline quality achieved in anatase films prepared by PLD or MBE growth methods is similar. The two-step anatase growth process used during the synthesis of the films with both methods: film growth and post-annealing treatment in oxygen or air at ambient pressure, using temperature and time as key parameters, allows to control the surface terrace size and stoichiometry of the films, as well as the anatase/rutile intermixing rates at sufficiently high temperatures. This growth process could allow the substitution of their equivalent single crystals. The range of applicability of these films would include their use as structural and electronic model systems, or in harsh experimental conditions due to their low production cost.


title: Super-Resolution Emulation of Large Cosmological Fields with a 3D Conditional Diffusion Model

abstract: High-resolution (HR) simulations in cosmology, in particular when including baryons, can take millions of CPU hours. On the other hand, low-resolution (LR) dark matter simulations of the same cosmological volume use minimal computing resources. We develop a denoising diffusion super-resolution emulator for large cosmological simulation volumes. Our approach is based on the image-to-image Palette diffusion model, which we modify to 3 dimensions. Our super-resolution emulator is trained to perform outpainting, and can thus upgrade very large cosmological volumes from LR to HR using an iterative outpainting procedure. As an application, we generate a simulation box with 8 times the volume of the Illustris TNG300 training data, constructed with over 9000 outpainting iterations, and quantify its accuracy using various summary statistics.


title: Valuative dimension, constructive points of view

abstract: There are several classical characterisations of the valuative dimension of a commutative ring. Constructive versions of this dimension have been given and proven to be equivalent to the classical notion within classical mathematics, and they can be used for the usual examples of commutative rings. To the contrary of the classical versions, the constructive versions have a clear computational content. This paper investigates the computational relationship between three possible constructive definitions of the valuative dimension of a commutative ring. In doing so, it proves these constructive versions to be equivalent within constructive mathematics.


title: Workplace diversity and innovation performance: current state of affairs and future directions

abstract: Over the last 10 years, there has been a growing interest in diversity in human capital. Fueled by the business case for diversity, there is an increasing interest in understanding how the combination of people with different backgrounds fosters the innovation performance of firms. Studies have measured diversity on a wide range of personal-level characteristics, at different levels of the organization, and in particular kinds of settings. Innovation performance has been measured using an arsenal of indicators, often drawing on a large range of databases. This paper takes stock of this research, identifying the current state of affairs and proposing future research trajectories in the field of diversity and innovation


title: Polarised-boson pairs at the LHC with NLOPS accuracy

abstract: We present a calculation of inclusive diboson (WZ, ZZ, WW) processes at the LHC in the presence of intermediate polarised weak bosons decaying leptonically, matching next-to-leading-order accuracy in QCD with parton-shower effects. Starting from recent developments in polarised-boson simulation based on the helicity selection at the amplitude level, we have carried out the implementation in the POWHEG-BOX-RES framework, and validated it against independent fixed-order calculations. A phenomenological analysis in realistic LHC setups, as well as a comparison with recent ATLAS measurements, are presented.


title: Let's Get the FACS Straight -- Reconstructing Obstructed Facial Features

abstract: The human face is one of the most crucial parts in interhuman communication. Even when parts of the face are hidden or obstructed the underlying facial movements can be understood. Machine learning approaches often fail in that regard due to the complexity of the facial structures. To alleviate this problem a common approach is to fine-tune a model for such a specific application. However, this is computational intensive and might have to be repeated for each desired analysis task. In this paper, we propose to reconstruct obstructed facial parts to avoid the task of repeated fine-tuning. As a result, existing facial analysis methods can be used without further changes with respect to the data. In our approach, the restoration of facial features is interpreted as a style transfer task between different recording setups. By using the CycleGAN architecture the requirement of matched pairs, which is often hard to fullfill, can be eliminated. To proof the viability of our approach, we compare our reconstructions with real unobstructed recordings. We created a novel data set in which 36 test subjects were recorded both with and without 62 surface electromyography sensors attached to their faces. In our evaluation, we feature typical facial analysis tasks, like the computation of Facial Action Units and the detection of emotions. To further assess the quality of the restoration, we also compare perceptional distances. We can show, that scores similar to the videos without obstructing sensors can be achieved.


title: Necessary and sufficient conditions for solvability of an inverse problem for higher-order differential operators

abstract: We consider an inverse spectral problem that consists in the recovery of the differential expression coefficients for higher-order operators with separated boundary conditions from the spectral data (eigenvalues and weight numbers). This paper is focused on the most principal issue of the inverse spectral theory, namely, on the necessary and sufficient conditions for the solvability of the inverse problem. In the framework of the method of the spectral mappings, we consider the linear main equation of the inverse problem and prove the unique solvability of this equation in the self-adjoint case. The main result is obtained for the first-order system of general form and so can be applied to higher-order differential operators with regular and distribution coefficients. From the theorem on the main equation solvability, we deduce the necessary and sufficient conditions on the spectral data for a class of arbitrary order differential operators with distribution coefficients. As a corollary of our general results, we obtain the characterization of the spectral data for the fourth-order differential equation in terms of asymptotics and simple structural properties.


title: Phosphatidylserine transport in cell life and death

abstract: Phosphatidylserine (PS) is a negatively-charged glycerophospholipid found mainly in the plasma membrane (PM) and in the late secretory/endocytic compartments, where it regulates cellular activity and can mediate apoptosis. Export of PS from the endoplasmic reticulum, its site of synthesis, to other compartments, and its transbilayer asymmetry must therefore be precisely regulated. We review recent findings on non-vesicular transport of PS by lipid transfer proteins (LTPs) at membrane contact sites, on PS flip-flop between membrane leaflets by flippases and scramblases, and on PS nano-clustering at the PM. We also discuss emerging data on cooperation between scramblases and LTPs, how perturbation of PS distribution can lead to disease, and the specific role of PS in viral infection.


title: Measurement of the $D^{*}$ longitudinal polarization in $B^0\to D^{*-}\tau^{+}\nu_{\tau}$ decays

abstract: The longitudinal polarization fraction of the $D^{*}$ meson is measured in $B^0\to D^{*-}\tau^{+}\nu_{\tau}$ decays, where the $\tau$ lepton decays to three charged pions and a neutrino, using proton-proton collision data collected by the LHCb experiment at center-of-mass energies of 7, 8 and 13 TeV and corresponding to an integrated luminosity of 5 fb$^{-1}$. The $D^{*}$ polarization fraction $F_{L}^{D^{*}}$ is measured in two $q^{2}$ regions, below and above 7 GeV$^{2}/c^{4}$, where $q^{2}$ is defined as the squared invariant mass of the $\tau\nu_{\tau}$ system. The $F_{L}^{D^{*}}$ values are measured to be $0.51 \pm 0.07 \pm 0.03$ and $0.35 \pm 0.08 \pm 0.02$ for the lower and higher $q^{2}$ regions, respectively. The first uncertainties are statistical and the second systematic. The average value over the whole $q^{2}$ range is: $$F_{L}^{D^{*}} = 0.43 \pm 0.06 \pm 0.03.$$ These results are compatible with the Standard Model predictions.


title: Note concerning a high spectral resolution slicer for imaging spectro-polarimetry with the new generation Multichannel Subtractive Double Pass (MSDP) onboard the future EST telescope

abstract: Imaging spectroscopy is intended to be coupled with adaptive optics (AO) on large telescopes, such as EST, in order to produce high spatial and temporal resolution measurements of velocities and magnetic fields upon a 2D FOV. We propose a high spectral resolution slicer (30 m{\AA} typical) for the Multichannel Subtractive Double Pass (MSDP) of the future European Solar Telescope (EST), using a new generation slicer for thin photospheric lines such as FeI (56 channels, 0.13 mm step) which will benefit of AO and existing polarimeters. The aim is to reconstitute cubes of instantaneous data (X, Y, lambda) at high cadence, allowing the study of the photospheric dynamics and magnetic fields.


title: Local isometric immersions and breakdown of manifolds determined by Cauchy problems of the Degasperis-Procesi equation

abstract: We prove that both local and non-local formulations of the Degasperis-Procesi equation possess a pseudospherical nature. As a result, solutions determined by Cauchy problems with non-trivial initial data and a minimal specific regularity define an orthonormal coframe for a pseudospherical metric within a designated strip. While the region is entirely described by the initial condition, the one-forms are determined by the corresponding solutions. Moreover, we establish that any non-trivial initial condition yields a second fundamental form, which is locally determined within the strip. The surface may collapse within a finite-height strip when the initial condition leads to wave breaking. We determine conditions for the coframe to be defined on the upper plane. We investigate possible integrability structures related to the triad of fundamental one-forms.


title: Kantian Deontology Meets AI Alignment: Towards Morally Grounded Fairness Metrics

abstract: Deontological ethics, specifically understood through Immanuel Kant, provides a moral framework that emphasizes the importance of duties and principles, rather than the consequences of action. Understanding that despite the prominence of deontology, it is currently an overlooked approach in fairness metrics, this paper explores the compatibility of a Kantian deontological framework in fairness metrics, part of the AI alignment field. We revisit Kant's critique of utilitarianism, which is the primary approach in AI fairness metrics and argue that fairness principles should align with the Kantian deontological framework. By integrating Kantian ethics into AI alignment, we not only bring in a widely-accepted prominent moral theory but also strive for a more morally grounded AI landscape that better balances outcomes and procedures in pursuit of fairness and justice.


title: Resonant multi-dielectric coverslip for enhanced total internal reflection fluorescence microscopy

abstract: Multi-dielectric coated coverslip can be designed to reach large optical field enhancements when working under proper illumination conditions and in total internal reflection. In an objective-based total internal reflection fluorescence microscopy (TIRF-M), we propose to use the resulting large field enhancement supported in such coverslip to improve TIRF-M sensitivity by amplifying the collected fluorescence signal. We present here the optimization, realization and testing in TIRF-M of resonant coverslips designed to take into account the experimental constraints. The latter's are due to the inverted configuration of TIRF-M together with the use of a high numerical aperture objective. The challenge is therefore to find the best coating design compromising between the angular tolerance and the field enhancement. We will report here enhanced-TIRF-M imaging over model samples but the ultimate goal here is to be able to monitor and quantify dynamics of pathogens at the membrane of living cells.


title: Mean Field Games in a Stackelberg problem with an informed major player

abstract: We investigate a stochastic differential game in which a major player has a private information (the knowledge of a random variable), which she discloses through her control to a population of small players playing in a Nash Mean Field Game equilibrium. The major player's cost depends on the distribution of the population, while the cost of the population depends on the random variable known by the major player. We show that the game has a relaxed solution and that the optimal control of the major player is approximatively optimal in games with a large but finite number of small players.


title: ConRad: Image Constrained Radiance Fields for 3D Generation from a Single Image

abstract: We present a novel method for reconstructing 3D objects from a single RGB image. Our method leverages the latest image generation models to infer the hidden 3D structure while remaining faithful to the input image. While existing methods obtain impressive results in generating 3D models from text prompts, they do not provide an easy approach for conditioning on input RGB data. Na\"ive extensions of these methods often lead to improper alignment in appearance between the input image and the 3D reconstructions. We address these challenges by introducing Image Constrained Radiance Fields (ConRad), a novel variant of neural radiance fields. ConRad is an efficient 3D representation that explicitly captures the appearance of an input image in one viewpoint. We propose a training algorithm that leverages the single RGB image in conjunction with pretrained Diffusion Models to optimize the parameters of a ConRad representation. Extensive experiments show that ConRad representations can simplify preservation of image details while producing a realistic 3D reconstruction. Compared to existing state-of-the-art baselines, we show that our 3D reconstructions remain more faithful to the input and produce more consistent 3D models while demonstrating significantly improved quantitative performance on a ShapeNet object benchmark.


title: An optimal chromatic bound for the class of $\{P_3\cup 2K_1,\overline{P_3\cup 2K_1}\}$-free graphs

abstract: In 1987, A. Gy\'arf\'as in his paper ``Problems from the world surrounding perfect graphs'' posed the problem of determining the smallest $\chi$-binding function for $\mathcal{G}(F,\overline{F})$, when $\mathcal{G}(F)$ is $\chi$-bounded. So far the problem has been attempted for only forest $F$ with four or five vertices. In this paper, we address the case when $F=P_3\cup 2K_1$ and show that if $G$ is a $\{P_3\cup 2K_1,\overline{P_3\cup 2K_1}\}$-free graph with $\omega(G)\neq 3$, then it admits $\omega(G)+1$ as a $\chi$-binding function. Moreover, we also construct examples to show that this bound is tight for all values of $\omega\neq 3$.


title: A Survey on Hallucination in Large Language Models: Principles, Taxonomy, Challenges, and Open Questions

abstract: The emergence of large language models (LLMs) has marked a significant breakthrough in natural language processing (NLP), leading to remarkable advancements in text understanding and generation. Nevertheless, alongside these strides, LLMs exhibit a critical tendency to produce hallucinations, resulting in content that is inconsistent with real-world facts or user inputs. This phenomenon poses substantial challenges to their practical deployment and raises concerns over the reliability of LLMs in real-world scenarios, which attracts increasing attention to detect and mitigate these hallucinations. In this survey, we aim to provide a thorough and in-depth overview of recent advances in the field of LLM hallucinations. We begin with an innovative taxonomy of LLM hallucinations, then delve into the factors contributing to hallucinations. Subsequently, we present a comprehensive overview of hallucination detection methods and benchmarks. Additionally, representative approaches designed to mitigate hallucinations are introduced accordingly. Finally, we analyze the challenges that highlight the current limitations and formulate open questions, aiming to delineate pathways for future research on hallucinations in LLMs.


title: Modules over invertible 1-cocycles

abstract: In this paper we introduce in a braided setting the notion of left module for an invertible 1-cocycle and we prove some categorical equivalences between categories of modules associated to an invertible 1-cocycle and categories of modules associated to Hopf braces.


title: Intermediating DFMM Asset (IDA)

abstract: The Dynamic Function Market Maker (DFMM) introduced a fully automated framework for operating a multi-asset market, wherein an algorithmic accounting asset was used to connect different liquidity pools and ensure efficient rebalancing of risks, and internal accounting processes. In the DFMM design, this asset was not tradaeble; however, in this work, we explore the characteristics of this asset, if it were to be made tradeable. Named the Intermediating DFMM Asset (IDA), this asset serves as a unit of account in cross-chain finance, functioning as an intermediating asset for predictable budgeting, and efficient multichain transfers and settlements. Harnessing its robust liquidity as the key counterpart asset in DFMM, it achieves capital efficiency through the strategic repurposing of its asset base, while simultaneously mitigating risk via the dynamic optimisation of its multicollateral foundation. We outline key characteristics of the proposed asset, unique risk mitigation aspects enabled by the adopting AMM (DFMM), and control levers enabling the protocol's tactical asset and liability management toolkit to harmonise the asset's objectives with its real-world realisation, through a novel prudential market operation to incentivise productive use of a finite asset and dynamic AMM fee to ensure alignment of behaviours. The proposed design has the potential to harmonise the interests of diverse market participants, leading to synergetic reactions to informational flow, aiding IDA protocol in achieving its objectives.


title: Categorical isomorphisms for Hopf braces

abstract: In this paper, we introduce the category of brace triples in a braided monoidal setting and prove that it is isomorphic to the category of s-Hopf braces, which are a generalization of cocommutative Hopf braces. After that, we obtain a categorical isomorphism between finite cocommutative Hopf braces and a certain subcategory of cocommutative post-Hopf algebras, which suppose an expansion to the braided monoidal setting of the equivalence obtained by Y. Li, Y. Sheng and R. Tang for the category of vector spaces over a field $\mathbb{K}$.


title: Delay Doppler Transform

abstract: This letter is to introduce delay Doppler transform (DDT) for a time domain signal. It is motivated by the recent studies in wireless communications over delay Doppler channels that have both time and Doppler spreads, such as, satellite communication channels. We present some simple properties of DDT as well. The DDT study may provide insights of delay Doppler channels.


title: Widely Applicable Strong Baseline for Sports Ball Detection and Tracking

abstract: In this work, we present a novel Sports Ball Detection and Tracking (SBDT) method that can be applied to various sports categories. Our approach is composed of (1) high-resolution feature extraction, (2) position-aware model training, and (3) inference considering temporal consistency, all of which are put together as a new SBDT baseline. Besides, to validate the wide-applicability of our approach, we compare our baseline with 6 state-of-the-art SBDT methods on 5 datasets from different sports categories. We achieve this by newly introducing two SBDT datasets, providing new ball annotations for two datasets, and re-implementing all the methods to ease extensive comparison. Experimental results demonstrate that our approach is substantially superior to existing methods on all the sports categories covered by the datasets. We believe our proposed method can play as a Widely Applicable Strong Baseline (WASB) of SBDT, and our datasets and codebase will promote future SBDT research. Datasets and codes are available at https://github.com/nttcom/WASB-SBDT .


title: Higher order Thorin-Bernstein Functions

abstract: We investigate subclasses of generalized Bernstein functions related to complete Bernstein and Thorin-Bernstein functions. Representations in terms of incomplete beta and gamma as well as hypergeometric functions are presented. Several special cases and examples are discussed.


title: Towards Quantum-Native Communication Systems: New Developments, Trends, and Challenges

abstract: The potential synergy between quantum communications and future wireless communication systems is explored. By proposing a quantum-native or quantum-by-design philosophy, the survey examines technologies such as quantum-domain (QD) multi-input multi-output (MIMO), QD non-orthogonal multiple access (NOMA), quantum secure direct communication (QSDC), QD resource allocation, QD routing, and QD artificial intelligence (AI). The recent research advances in these areas are summarized. Given the behavior of photonic and particle-like Terahertz (THz) systems, a comprehensive system-oriented perspective is adopted to assess the feasibility of using quantum communications in future systems. This survey also reviews quantum optimization algorithms and quantum neural networks to explore the potential integration of quantum communication and quantum computing in future systems. Additionally, the current status of quantum sensing, quantum radar, and quantum timing is briefly reviewed in support of future applications. The associated research gaps and future directions are identified, including extending the entanglement coherence time, developing THz quantum communications devices, addressing challenges in channel estimation and tracking, and establishing the theoretical bounds and performance trade-offs of quantum communication, computing, and sensing. This survey offers a unique perspective on the potential for quantum communications to revolutionize future systems and pave the way for even more advanced technologies.


title: A new method for instrumental profile reconstruction of high resolution spectrographs

abstract: Knowledge of the spectrograph's instrumental profile (IP) provides important information needed for wavelength calibration and for the use in scientific analyses. This work develops new methods for IP reconstruction in high resolution spectrographs equipped with Laser Frequency Comb calibration (LFC) systems and assesses the impact that assumptions on IP shape have on achieving accurate spectroscopic measurements. Astronomical LFCs produce $\approx10000$ bright, unresolved emission lines with known wavelengths, making them excellent probes of the IP. New methods based on Gaussian Process regression were developed to extract detailed information on the IP shape from this data. Applying them to HARPS, an extremely stable spectrograph installed on the ESO 3.6m telescope, we reconstructed its IP at 512 locations of the detector, covering 60% of the total detector area. We found that the HARPS IP is asymmetric and that it varies smoothly across the detector. Empirical IP models provide wavelength accuracy better than 10 ms$^{-1}$ (5 ms$^{-1}$) with 92% (64%) probability. In comparison, reaching the same accuracy has a probability of only 29% (8%) when a Gaussian IP shape is assumed. Furthermore, the Gaussian assumption is associated with intra-order and inter-order distortions in the HARPS wavelength scale as large as 60ms$^{-1}$. The spatial distribution of these distortions suggests they may be related to spectrograph optics and therefore may generally appear in cross-dispersed echelle spectrographs when Gaussian IPs are used. Methods presented here can be applied to other instruments equipped with LFCs, such as ESPRESSO, but also ANDES and G-CLEF in the future. The empirical IPs will be crucial for obtaining objective and unbiased measurements of fundamental constants from high resolution spectra, as well as measurements of the redshift drift, isotopic abundances, and other science cases.


title: When Meta-Learning Meets Online and Continual Learning: A Survey

abstract: Over the past decade, deep neural networks have demonstrated significant success using the training scheme that involves mini-batch stochastic gradient descent on extensive datasets. Expanding upon this accomplishment, there has been a surge in research exploring the application of neural networks in other learning scenarios. One notable framework that has garnered significant attention is meta-learning. Often described as "learning to learn," meta-learning is a data-driven approach to optimize the learning algorithm. Other branches of interest are continual learning and online learning, both of which involve incrementally updating a model with streaming data. While these frameworks were initially developed independently, recent works have started investigating their combinations, proposing novel problem settings and learning algorithms. However, due to the elevated complexity and lack of unified terminology, discerning differences between the learning frameworks can be challenging even for experienced researchers. To facilitate a clear understanding, this paper provides a comprehensive survey that organizes various problem settings using consistent terminology and formal descriptions. By offering an overview of these learning paradigms, our work aims to foster further advancements in this promising area of research.


title: Exciton Spin Hall Effect In Arc-Shaped Strained WSe$_2$

abstract: Generating a pure spin current using electrons, which have degrees of freedom beyond spin, such as electric charge and valley index, presents challenges. In response, we propose a novel mechanism based on intervalley exciton dynamics in {\em arc-shaped} strained transition metal dichalcogenides (TMDs) to achieve the {\em exciton spin Hall effect} in an electrically insulating regime, without the need for an external electric field. The interplay between strain gradients and strain-induced pseudomagnetic fields results in a net Lorentz force on long-lived intervalley excitons in WSe$_2$, carrying non-zero spin angular momentum. This process generates an exciton-mediated pure spin Hall current, resulting in opposite-sign spin accumulations and local magnetization on the two sides of the single-layer arc-shaped TMD. We demonstrate that the magnetic field induced by spin accumulation, at approximately $\sim {\rm mT}$, can be detected using techniques such as superconducting quantum interference magnetometry or spatially-resolved magneto-optical Faraday and Kerr rotations.


title: A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems

abstract: The Business Process Modeling Notation (BPMN) is a widely used standard notation for defining intra- and inter-organizational workflows. However, the informal description of the BPMN execution semantics leads to different interpretations of BPMN elements and difficulties in checking behavioral properties. In this article, we propose a formalization of the execution semantics of BPMN that, compared to existing approaches, covers more BPMN elements while also facilitating property checking. Our approach is based on a higher-order transformation from BPMN models to graph transformation systems. To show the capabilities of our approach, we implemented it as an open-source web-based tool.


title: Squeezing Bose-Bose liquid drops

abstract: We explore ultradilute Bose-Bose liquid droplets squeezed by an external harmonic potential in one spatial direction. Our theoretical study is based on a functional that is built using quantum Monte Carlo results of the bulk phase and incorporates finite-range effects. A characteristic feature of these drops is the existence of a critical atom number, that is the minimum number of particles to have a many-body bound state. We report results on the critical atom numbers for different magnetic fields and applying confinement strengths towards a quasi-two-dimensional setup. In the regime where the local density approximation is expected to be valid, we find that the critical atom number decreases linearly with the harmonic oscillator length of the confining potential. With the largest squeezing explored in our work, we predict stable drops at the level of one thousand atoms. Our functional reduces the critical numbers for any confinement and applied magnetic field with respect to the estimations based on the Lee-Huang-Yang model. We observe saturated drops when the number of atoms in the drop is much larger than the critical value, their central density being higher for the quantum Monte Carlo functional than for the Lee-Huang-Yang one.


title: Uncertainty Wrapper in the medical domain: Establishing transparent uncertainty quantification for opaque machine learning models in practice

abstract: When systems use data-based models that are based on machine learning (ML), errors in their results cannot be ruled out. This is particularly critical if it remains unclear to the user how these models arrived at their decisions and if errors can have safety-relevant consequences, as is often the case in the medical field. In such cases, the use of dependable methods to quantify the uncertainty remaining in a result allows the user to make an informed decision about further usage and draw possible conclusions based on a given result. This paper demonstrates the applicability and practical utility of the Uncertainty Wrapper using flow cytometry as an application from the medical field that can benefit from the use of ML models in conjunction with dependable and transparent uncertainty quantification.


title: Reduction-based Creative Telescoping for P-recursive Sequences via Integral Bases

abstract: We propose a way to split a given bivariate P-recursive sequence into a summable part and a non-summable part in such a way that the non-summable part is minimal in some sense. This decomposition gives rise to a new reduction-based creative telescoping algorithm based on the concept of integral bases.


title: Efficacy Analysis of Power Swing Blocking and Out-of-Step Tripping Functions in Grid-Following VSC Systems

abstract: Power flow oscillations can occur in power systems after major disturbances such as system faults, which may result in significant power swings and even lead to system collapse. This paper provides a detailed analysis of the efficacy of the legacy power swing blocking and out-of-step tripping functions in grid-following voltage-source converter (GFL-VSC) systems. First, the power swing dynamics of GFL-VSC are characterized, considering the outer power control loops and phase-locked loop (PLL). It is found that the loss of synchronism (LOS) of the GFL-VSC system is caused by the divergence of the output angle of the PLL, which is fundamentally different from that of synchronous generator (SG)-based systems, whose LOS originates from the divergence of power angle differences between power sources. Therefore, the legacy setting principles for power swing blocking and out-of-step tripping function designed for SG-based systems can not be directly applied to GFL-VSC systems, and may even malfunction. Time-domain simulations are performed in the PSCAD/EMTDC platform to validate the correctness of the theoretical analysis.


title: A General Space of Belief Updates for Model Misspecification in Bayesian Networks

abstract: In an ideal setting for Bayesian agents, a perfect description of the rules of the environment (i.e., the objective observation model) is available, allowing them to reason through the Bayesian posterior to update their beliefs in an optimal way. But such an ideal setting hardly ever exists in the natural world, so agents have to make do with reasoning about how they should update their beliefs simultaneously. This introduces a number of related challenges for a number of research areas: (1) For Bayesian statistics, this deviation of the subjective model from the true data-generating mechanism is termed model misspecification in the literature. (2) For neuroscience, it introduces the necessity to model how the agents' belief updates (how they use evidence to update their belief) and how their belief changes over time. The current paper addresses these two challenges by (a) providing a general class of posteriors/belief updates called cut-posteriors of Bayesian networks that have a much greater expressivity, and (b) parameterizing the space of possible posteriors to make meta-learning (i.e., choosing the belief update from this space in a principled manner) possible. For (a), it is noteworthy that any cut-posterior has local computation only, making computation tractable for human or artificial agents. For (b), a Markov Chain Monte Carlo algorithm to perform such meta-learning will be sketched here, though it is only an illustration and but no means the only possible meta-learning procedure possible for the space of cut-posteriors. Operationally, this work gives a general algorithm to take in an arbitrary Bayesian network and output all possible cut-posteriors in the space.


title: Study of weak radiative decays of $D^0\to V \gamma$

abstract: The weak radiative decay of $D^0\to V\gamma$ with $V=\bar{K}^0$, and $\phi$, $\rho^0$, and $\omega$, is systematically studied in the vector meson dominance (VMD) model. It allows us to distinguish the short-distance mechanisms which can be described by the tree-level transitions in the non-relativistic constituent quark model, and the long-distance mechanisms which are related to the final-state interactions (FSIs). We find that the FSI effects play a crucial role in $D^0\to V\gamma$ and the SU(3) flavor symmetry can provide a natural constraint on the relative phase between the short and long-distance transition amplitudes. Our analysis suggests that the $D$ meson weak radiative decays can serve as a good case for investigating the non-perturbative QCD mechanisms at the charm quark mass region.


title: The Complexity of Checking Non-Emptiness in Symbolic Tree Automata

abstract: We study the satisfiability problem of symbolic tree automata and decompose it into the satisfiability problem of the existential first-order theory of the input characters and the existential monadic second-order theory of the indices of the accepted words. We use our decomposition to obtain tight computational complexity bounds on the decision problem for this automata class and an extension that considers linear arithmetic constraints on the underlying effective Boolean algebra


title: The polymer diffusive instability in highly concentrated polymeric fluids

abstract: The extrusion of polymer melts is known to be susceptible to `melt fracture' instabilities, which can deform the extrudate, or cause it to break entirely. Motivated by this, we consider the impact that the recently discovered polymer diffusive instability (PDI) can have on polymer melts and other concentrated polymeric fluids using the Oldroyd-B model with the effects of polymer stress diffusion included. Analytic progress can be made in the concentrated limit (when the solvent-to-total-viscosity ratio $\beta \rightarrow 0$), illustrating the boundary layer structure of PDI, and allowing the prediction of its eigenvalues for both plane Couette and channel flow. We draw connections between PDI and the polymer melt `sharkskin' instability, both of which are short wavelength instabilities localised to the extrudate surface. Inertia is shown to have a destabilising effect, reducing the smallest Weissenberg number ($W$) where PDI exists in a concentrated fluid from $W\sim 8$ in inertialess flows, to $W \sim 2$ when inertia is significant.