title: Morphisms from $\mathbb{P}^m$ to flag varieties

abstract: In this paper, we consider the morphisms from projective spaces to flag varieties. We show that the morphisms can only be constant under some special conditions. As a consequence, we prove that the splitting types of unsplit uniform $r$-bundles on $\mathbb{P}^m$ can not be $(a_1,\dots,a_1,a_2,\dots,a_{r-k+1})$ for $1\le k\le m-2$.


title: Context Compression for Auto-regressive Transformers with Sentinel Tokens

abstract: The quadratic complexity of the attention module makes it gradually become the bulk of compute in Transformer-based LLMs during generation. Moreover, the excessive key-value cache that arises when dealing with long inputs also brings severe issues on memory footprint and inference latency. In this work, we propose a plug-and-play approach that is able to incrementally compress the intermediate activation of a specified span of tokens into compact ones, thereby reducing both memory and computational cost when processing subsequent context. Experiments on both in-domain language modeling and zero-shot open-ended document generation demonstrate the advantage of our approach over sparse attention baselines in terms of fluency, n-gram matching, and semantic similarity. At last, we comprehensively profile the benefit of context compression on improving the system throughout. Code is available at https://github.com/DRSY/KV_Compression.


title: A Systematic Evaluation of Automated Tools for Side-Channel Vulnerabilities Detection in Cryptographic Libraries

abstract: To protect cryptographic implementations from side-channel vulnerabilities, developers must adopt constant-time programming practices. As these can be error-prone, many side-channel detection tools have been proposed. Despite this, such vulnerabilities are still manually found in cryptographic libraries. While a recent paper by Jancar et al. shows that developers rarely perform side-channel detection, it is unclear if existing detection tools could have found these vulnerabilities in the first place. To answer this question, we surveyed the literature to build a classification of 34 side-channel detection frameworks. The classification we offer compares multiple criteria, including the methods used, the scalability of the analysis or the threat model considered. We then built a unified common benchmark of representative cryptographic operations on a selection of 5 promising detection tools. This benchmark allows us to better compare the capabilities of each tool, and the scalability of their analysis. Additionally, we offer a classification of recently published side-channel vulnerabilities. We then test each of the selected tools on benchmarks reproducing a subset of these vulnerabilities as well as the context in which they appear. We find that existing tools can struggle to find vulnerabilities for a variety of reasons, mainly the lack of support for SIMD instructions, implicit flows, and internal secret generation. Based on our findings, we develop a set of recommendations for the research community and cryptographic library developers, with the goal to improve the effectiveness of side-channel detection tools.


title: Interaction quenches in nonzero temperature fermionic condensates

abstract: We revisit the study of amplitude oscillations in a pair condensate of fermions after an interaction quench, and generalize it to nonzero temperature. For small variations of the order parameter, we show that the energy transfer during the quench determines both the asymptotic pseudo-equilibrated value of the order parameter and the magnitude of the oscillations, after multiplication by, respectively, the static response of the order parameter and spectral weight of the pair-breaking threshold. Since the energy transferred to the condensed pairs decreases with temperature as the superfluid contact, the oscillations eventually disappear at the critical temperature. For deeper quenches, we generalize the regimes of persistent oscillations and monotonic decay to nonzero temperatures, and explain how they become more abrupt and are more easily entered at high temperatures when the ratio of the initial to final gap either diverges, when quenching towards the normal phase, or tends to zero, when quenching towards the superfluid phase. Our results are directly relevant for existing and future experiments on the non-equilibrium evolution of Fermi superfluids near the phase transition.


title: Spatially resolved radio signatures of electron beams in a coronal shock

abstract: Context. Type II radio bursts are solar radio burst associated with coronal shocks. Type II bursts usually exhibit fine structures in dynamic spectra that represent signatures of accelerated electron beams. So far, the sources of individual fine structures in type II bursts have not been spatially resolved in high-resolution low-frequency radio imaging. Aims. The objective of this study is to resolve the radio sources of the herringbone bursts found in type II solar radio bursts and investigate the properties of the acceleration regions in coronal shocks Methods. We use low-frequency interferometric imaging observations from the Low Frequency Array (LOFAR) to provide a spatially resolved analysis for three herringbone groups (marked as A, B, and C) in a type II radio burst that occurred on 2015 October 16th. Results. The herringbones in groups A and C have a undiversified frequency drift direction and propagation direction along frequency. They have similar value of frequency drift rates corresponding to that of type III bursts and previously studied herringbones. Group B has a more complex spatial distribution, with two distinct sources separated by 50 arcsec and no clear spatial propagation with frequency. One of the herringbones in group B was found to have an exceptionally large frequency drift rate. Conclusions. The characteristics deroved from imaging spectroscopy suggest that the studied herringbones originate from different processes. The herringbone groups A and C most likely originate from single-direction beam electrons, while group B may be explained by counterstreaming beam electrons


title: Full runner removal theorem for Ariki-Koike algebras

abstract: We consider the representation theory of the Ariki-Koike algebra, a $q$-deformation of the group algebra of the complex reflection group $C_r \wr S_n$. We define the addition of a runner full of beads for the abacus display of a multipartition and investigate some combinatorial properties of this operation. We focus our attention on the $q$-decomposition numbers, i.e. the polynomials arising from the Fock space representation of the quantum group $U_q(\widehat{\mathfrak{sl}}_e)$. Using Fayers' LLT-type algorithm for Ariki-Koike algebras, we relate $q$-decomposition numbers for different values of $e$ for the class of $e$-multiregular multipartitions, by adding a full runner of beads to each component of the abacus displays for the labelling multipartitions.


title: MCRepair: Multi-Chunk Program Repair via Patch Optimization with Buggy Block

abstract: Automated program repair (APR) is a technology that identifies and repairs bugs automatically. However, repairing multi-chunk bugs remains a long-standing and challenging problem because an APR technique must consider dependencies and then reduce the large patch space. In addition, little is known about how to combine individual candidate patches even though multi-chunk bugs require combinations. Therefore, we propose a novel APR technique called multi-code repair (MCRepair), which applies a buggy block, patch optimization, and CodeBERT to target multi-chunk bugs. A buggy block is a novel method that binds buggy chunks into a multi-buggy chunk and preprocesses the chunk with its buggy contexts for patch space reduction and dependency problems. Patch optimization is a novel strategy that effectively combines the generated candidate patches with patch space reduction. In addition, CodeBERT, a BERT for source code datasets, is fine-tuned to address the lack of datasets and out-of-vocabulary problems. We conducted several experiments to evaluate our approach on six project modules of Defects4J. In the experiments using Defects4J, MCRepair repaired 65 bugs, including 21 multi-chunk bugs. Moreover, it fixed 18 unique bugs, including eight multi-chunk bugs, and improved 40 to 250 percent performance than the baselines.


title: Testing multi-field inflation with LiteBIRD

abstract: We investigate expected constraints on the primordial tensor power spectrum from the future cosmic microwave background polarization experiment LiteBIRD as a test of multi-field inflation. We argue that the measurements of the tensor-to-scalar ratio and the tensor spectral index, in combination with the constraints on the scalar spectral index from the Planck observation, are useful in testing multi-field inflation models. We also discuss implications for multi-field inflationary model building.


title: Size effect in correlation-driven charge migration in correlation bands of alkyne chains

abstract: Correlation-driven charge migration initiated by inner-valence ionization leading to the population of the correlation bands of alkyne chains containing between 4 and 12 carbon atoms is explored through ab initio simulations. Scaling laws are observed, both for the timescale of the charge migration and for the slope of the density of states of the correlation bands. Those can be used for predicting the relaxation time scale in much larger systems from the same molecular family and for finding promising candidates for the development of attochemistry scheme taking advantages of the specificity of the dynamics in correlation bands of molecules.


title: Eccentricity enables the earliest warning and localization of gravitational waves with ground-based detectors

abstract: The early and precise localization of gravitational waves (GWs) is pivotal in detecting their electromagnetic (EM) counterparts, especially for binary neutron stars (BNS) and neutron star-black hole binaries (NSBH). In this letter, we pioneer the exploration of utilizing the higher harmonic modes induced by the eccentricity of compact binaries to localize GWs with ground-based detectors even before the quadrupole baseline $\ell=2$ mode enters the detector band. Our theoretical analysis marks a first in proposing a strategy for gaining the earliest possible warning and maximizing preparation time for observing pre- and/or post-merger EM counterparts. We simulate three typical binaries from GWTC-3 with eccentricities ranging from 0.05 to 0.4. Our results reveal that the third-generation (3G) detectors (low frequency cut-off $f_0=5$ Hz) can accumulate sufficient signal-to-noise ratios through higher modes before the onset of the baseline $\ell=2$ mode entry into the band. Notably, relying solely on the higher modes, the 3G detector network ET+2CE achieves an average localization on the order of $1-10^2~\rm deg^2$ around 1-1.8 hours before the merger of a GW170817-like BNS, and $10-10^3~\rm deg^2$ approximately 18-30 minutes prior to the merger of a GW200115-like NSBH. A $100~\rm deg^2$ localization is attainable even 2-4 hours prior to a BNS merger. Moreover, in the near face-on orientations which are generally more favorable for EM counterpart detection, the localization can be further improved.


title: Phase offset method of ptychographic contrast reversal correction

abstract: The contrast transfer function of direct ptychography methods such as the single side band (SSB) method are single signed, yet these methods still sometimes exhibit contrast reversals, most often where the projected potentials are strong. In thicker samples central focusing often provides the best ptychographic contrast as this leads to defocus variations within the sample canceling out. However focusing away from the entrance surface is often undesirable as this degrades the annular dark field (ADF) signal. Here we discuss how phase wrap asymptotes in the frequency response of SSB ptychography give rise to contrast reversals, without the need for dynamical scattering, and how these can be counteracted by manipulating the phases such that the asymptotes are either shifted to higher frequencies or damped via amplitude modulation. This is what enables post collection defocus correction of contrast reversals. However, the phase offset method of counteracting contrast reversals we introduce here is generally found to be superior to post collection application of defocus, with greater reliability and generally stronger contrast. Importantly, the phase offset method also works for thin and thick samples where central focusing does not. Finally, the independence of the method from focus is useful for optical sectioning involving ptychography, improving interpretability by better disentangling the effects of strong potentials and focus.


title: Superconducting Higgs particle observed by non-equilibrium Raman scattering

abstract: Even before its role in electroweak symmetry breaking, the Anderson-Higgs mechanism was introduced to explain the Meissner effect in superconductors. Spontaneous symmetry-breaking yields massless phase modes representing the low-energy excitations of the Mexican-Hat potential. Only in superconductors does the gauge field move the phase mode towards higher energies, as a consequence of the charged condensate. This results in a low-energy excitation spectrum governed by the amplitude mode - the Higgs mode. Consequently, the Meissner effect signifies a macroscopic quantum condensate in which a photon acquires mass, representing a one-to-one analogy to high-energy physics. We report on the direct observation of the Higgs particle in the high-temperature superconductor Bi-2212 by developing an innovative technique to study its distinct symmetries and energies after a soft quench of the Mexican-Hat potential. By comparing transient Stokes and anti-Stokes data, we identify the Higgs particle as an additional anti-Stokes Raman cross section after quenching. With our technique we discriminate quasi-particle excitations from excitations in the Cooper channel and argue that alternatives to the Higgs excitation can be ruled out. This opens the avenue for Higgs Spectroscopy in quantum condensates and provides a unique pathway to control and explore Higgs physics.


title: Combining Decentralized IDentifiers with Proof of Membership to Enable Trust in IoT Networks

abstract: The Self-Sovereign Identity (SSI) is a decentralized paradigm enabling full control over the data used to build and prove the identity. In Internet of Things networks with security requirements, the Self-Sovereign Identity can play a key role and bring benefits with respect to centralized identity solutions. The challenge is to make the SSI compatible with resource-constraint IoT networks. In line with this objective, the paper proposes and discusses an alternative (mutual) authentication process for IoT nodes under the same administration domain. The main idea is to combine the Decentralized IDentifier (DID)-based verification of private key ownership with the verification of a proof that the DID belongs to an evolving trusted set. The solution is built around the proof of membership notion. The paper analyzes two membership solutions, a novel solution designed by the Authors based on Merkle trees and a second one based on the adaptation of Boneh, Boyen and Shacham (BBS) group signature scheme. The paper concludes with a performance estimation and a comparative analysis.


title: Beyond Training Objectives: Interpreting Reward Model Divergence in Large Language Models

abstract: Large language models (LLMs) fine-tuned by reinforcement learning from human feedback (RLHF) are becoming more widely deployed. We coin the term $\textit{Implicit Reward Model}$ (IRM) to refer to the changes that occur to an LLM during RLHF that result in high-reward generations. We interpret IRMs, and measure their divergence from the RLHF reward model used in the fine-tuning process that induced them. By fitting a linear function to an LLM's IRM, a reward model with the same type signature as the RLHF reward model is constructed, allowing for direct comparison. Additionally, we validate our construction of the IRM through cross-comparison with classifications of features generated by an LLM based on their relevance to the RLHF reward model. Better comprehending IRMs can help minimize discrepencies between LLM behavior and training objectives, which we believe to be an essential component of the $\textit{safety}$ and $\textit{alignment}$ of LLMs.


title: COVID-19 detection using ViT transformer-based approach from Computed Tomography Images

abstract: In here, we introduce a novel approach to enhance the accuracy and efficiency of COVID-19 diagnosis using CT images. Leveraging state-of-the-art Transformer models in computer vision, we employed the base ViT Transformer configured for 224x224-sized input images, modifying the output to suit the binary classification task. Notably, input images were resized from the standard CT scan size of 512x512 to match the model's expectations. Our method implements a systematic patient-level prediction strategy, classifying individual CT slices as COVID-19 or non-COVID. To determine the overall diagnosis for each patient, a majority voting approach as well as other thresholding approaches were employed. This method involves evaluating all CT slices for a given patient and assigning the patient the diagnosis that relates to the thresholding for the CT scan. This meticulous patient-level prediction process contributes to the robustness of our solution as it starts from 2D-slices to 3D-patient level. Throughout the evaluation process, our approach resulted in 0.7 macro F1 score on the COV19-CT -DB validation set. To ensure the reliability and effectiveness of our model, we rigorously validate it on the extensive COV-19 CT dataset, which is meticulously annotated for the task. This dataset, with its comprehensive annotations, reinforces the overall robustness of our solution.


title: Ziya-Visual: Bilingual Large Vision-Language Model via Multi-Task Instruction Tuning

abstract: Recent advancements enlarge the capabilities of large language models (LLMs) in zero-shot image-to-text generation and understanding by integrating multi-modal inputs. However, such success is typically limited to English scenarios due to the lack of large-scale and high-quality non-English multi-modal resources, making it extremely difficult to establish competitive counterparts in other languages. In this paper, we introduce the Ziya-Visual series, a set of bilingual large-scale vision-language models (LVLMs) designed to incorporate visual semantics into LLM for multi-modal dialogue. Composed of Ziya-Visual-Base and Ziya-Visual-Chat, our models adopt the Querying Transformer from BLIP-2, further exploring the assistance of optimization schemes such as instruction tuning, multi-stage training and low-rank adaptation module for visual-language alignment. In addition, we stimulate the understanding ability of GPT-4 in multi-modal scenarios, translating our gathered English image-text datasets into Chinese and generating instruction-response through the in-context learning method. The experiment results demonstrate that compared to the existing LVLMs, Ziya-Visual achieves competitive performance across a wide range of English-only tasks including zero-shot image-text retrieval, image captioning, and visual question answering. The evaluation leaderboard accessed by GPT-4 also indicates that our models possess satisfactory image-text understanding and generation capabilities in Chinese multi-modal scenario dialogues. Code, demo and models are available at ~\url{https://huggingface.co/IDEA-CCNL/Ziya-BLIP2-14B-Visual-v1}.


title: Multiclass Classification of Policy Documents with Large Language Models

abstract: Classifying policy documents into policy issue topics has been a long-time effort in political science and communication disciplines. Efforts to automate text classification processes for social science research purposes have so far achieved remarkable results, but there is still a large room for progress. In this work, we test the prediction performance of an alternative strategy, which requires human involvement much less than full manual coding. We use the GPT 3.5 and GPT 4 models of the OpenAI, which are pre-trained instruction-tuned Large Language Models (LLM), to classify congressional bills and congressional hearings into Comparative Agendas Project's 21 major policy issue topics. We propose three use-case scenarios and estimate overall accuracies ranging from %58-83 depending on scenario and GPT model employed. The three scenarios aims at minimal, moderate, and major human interference, respectively. Overall, our results point towards the insufficiency of complete reliance on GPT with minimal human intervention, an increasing accuracy along with the human effort exerted, and a surprisingly high accuracy achieved in the most humanly demanding use-case. However, the superior use-case achieved the %83 accuracy on the %65 of the data in which the two models agreed, suggesting that a similar approach to ours can be relatively easily implemented and allow for mostly automated coding of a majority of a given dataset. This could free up resources allowing manual human coding of the remaining %35 of the data to achieve an overall higher level of accuracy while reducing costs significantly.


title: TIPTOP: cone effect for single laser adaptive optics systems

abstract: TIPTOP is a python library that is able to quickly compute Point Spread Functions (PSF) of any kind of Adaptive Optics systems. This library has multiple objectives: support the exposure time calculators of future VLT and ELT instruments, support adaptive optics systems design activities, be part of PSF reconstruction pipelines and support the selection of the best asterism of natural guide stars for observation preparation. Here we report one of the last improvements of TIPTOP: the introduction of the error given by a single conjugated laser, commonly known as the cone effect. The Cone effect was not introduced before because it is challenging due to the non-stationarity of the phase. Laser guide stars are at a finite distance with respect to the telescope and probe beam accepted by the wavefront sensor has the shape of a cone. Given a single spatial frequency in an atmospheric layer, the cone effect arises from the apparent magnification or stretching of this frequency when it reaches the wavefront sensor. The magnification effect leads to an incorrect estimation of the spatial frequency. Therefore, we estimate the residual power by calculating the difference between two sinusoids with different periods: the nominal one and the magnified one. Replicating this for each spatial frequency we obtain the power spectrum associated with the cone effect. We compare this estimation with the one given by end-to-end simulation and we present how we plan to validate this with on-sky data.


title: The QCD Axion: Some Like It Hot

abstract: We derive a robust bound on the QCD axion by confronting momentum-dependent Boltzmann equations against up-to-date measurements of the Cosmic Microwave Background, including ground-based telescopes, and abundances from Big Bang Nucleosynthesis. We compare the axion phase-space distribution obtained from unitarized next-to-leading order chiral perturbation theory with the phenomenological one based on pion-scattering data. Our bound is $\sim$30\% stronger than what previously found: $m_{a} \leq \, 0.16 $ eV at 95\% probability. We present forecasts using dedicated likelihoods for future cosmological surveys and the sphaleron rate from unquenched lattice QCD.


title: Simplicity Level Estimate (SLE): A Learned Reference-Less Metric for Sentence Simplification

abstract: Automatic evaluation for sentence simplification remains a challenging problem. Most popular evaluation metrics require multiple high-quality references -- something not readily available for simplification -- which makes it difficult to test performance on unseen domains. Furthermore, most existing metrics conflate simplicity with correlated attributes such as fluency or meaning preservation. We propose a new learned evaluation metric (SLE) which focuses on simplicity, outperforming almost all existing metrics in terms of correlation with human judgements.


title: Search for direct production of electroweakinos in final states with one lepton, jets and missing transverse momentum in pp collisions at $\sqrt{s}=13$ TeV with the ATLAS detector

abstract: Searches for electroweak production of chargino pairs, $\tilde{\chi}^{+}_{1}\tilde{\chi}^{-}_{1}$, and of chargino and next-to-lightest neutralino, $\tilde{\chi}^{\pm}_{1}\tilde{\chi}^{0}_{2}$, are presented. The models explored assume that the charginos decay into a $W$ boson and the lightest neutralino, $\tilde{\chi}^{\pm}_1 \rightarrow W^{\pm} \tilde{\chi}^{0}_{1}$. The next-to-lightest neutralinos are degenerate in mass with the chargino and decay to $\tilde{\chi}^{0}_{1}$ and either a $Z$ or a Higgs boson, $\tilde{\chi}^{0}_{2} \rightarrow Z \tilde{\chi}^{0}_{1}$ or $h \tilde{\chi}^{0}_{1}$. The searches exploit the presence of a single isolated lepton and missing transverse momentum from the $W$ boson decay products and the lightest neutralinos, and the presence of jets from hadronically decaying $Z$ or $W$ bosons or from the Higgs boson decaying into a pair of $b$-quarks. The searches use 139 fb$^{-1}$ of $\sqrt{s}= 13$ TeV proton-proton collisions data collected by the ATLAS detector at the Large Hadron Collider between 2015 and 2018. No deviations from the Standard Model expectations are found, and 95% confidence level exclusion limits are set. Chargino masses ranging from 260 to 520 GeV are excluded for a massless $\tilde{\chi}^{0}_{1}$ in chargino pair production models. Degenerate chargino and next-to-lightest neutralino masses ranging from 260 to 420 GeV are excluded for a massless $\tilde{\chi}^{0}_{1}$ for $\tilde{\chi}^{0}_{2} \rightarrow Z \tilde{\chi}^{0}_{1}$. For decays through an on-shell Higgs boson and for mass-splitting between $\tilde{\chi}^{\pm}_{1} / \tilde{\chi}^{0}_{2}$ and $\tilde{\chi}^{0}_{1}$ as small as the Higgs boson mass, mass limits are improved by up to 40 GeV in the range of 200-260 GeV and 280-470 GeV compared to previous ATLAS constraints.


title: Exploring the Cognitive Knowledge Structure of Large Language Models: An Educational Diagnostic Assessment Approach

abstract: Large Language Models (LLMs) have not only exhibited exceptional performance across various tasks, but also demonstrated sparks of intelligence. Recent studies have focused on assessing their capabilities on human exams and revealed their impressive competence in different domains. However, cognitive research on the overall knowledge structure of LLMs is still lacking. In this paper, based on educational diagnostic assessment method, we conduct an evaluation using MoocRadar, a meticulously annotated human test dataset based on Bloom Taxonomy. We aim to reveal the knowledge structures of LLMs and gain insights of their cognitive capabilities. This research emphasizes the significance of investigating LLMs' knowledge and understanding the disparate cognitive patterns of LLMs. By shedding light on models' knowledge, researchers can advance development and utilization of LLMs in a more informed and effective manner.


title: Structural Vector Autoregressions and Higher Moments: Challenges and Solutions in Small Samples

abstract: Generalized method of moments estimators based on higher-order moment conditions derived from independent shocks can be used to identify and estimate the simultaneous interaction in structural vector autoregressions. This study highlights two problems that arise when using these estimators in small samples. First, imprecise estimates of the asymptotically efficient weighting matrix and the asymptotic variance lead to volatile estimates and inaccurate inference. Second, many moment conditions lead to a small sample scaling bias towards innovations with a variance smaller than the normalizing unit variance assumption. To address the first problem, I propose utilizing the assumption of independent structural shocks to estimate the efficient weighting matrix and the variance of the estimator. For the second issue, I propose incorporating a continuously updated scaling term into the weighting matrix, eliminating the scaling bias. To demonstrate the effectiveness of these measures, I conducted a Monte Carlo simulation which shows a significant improvement in the performance of the estimator.


title: Mapping Water on the Moon and Mars using a Muon Tomograph

abstract: The search for water on the Lunar and Martian surfaces is a fundamental aspect of space exploration, contributing to the understanding of the history and evolution of these celestial bodies. However, the current understanding of the distribution, concentration, origin, and migration of water on these surfaces is limited. Moreover, there is a need for more detailed data on these aspects of Lunar and Martian water. The natural flux of cosmic-ray muons, capable of penetrating the planetary surface, offers a method to study the water-ice content, composition, and density of these surfaces. In this paper, the author presents a novel approach to address these knowledge gaps by employing cosmic-ray muon detectors and backscattered radiation. The study describes a cutting-edge muon tracking system developed by GScan and highlights the results of preliminary simulations conducted using GEANT4. These findings suggest that muon tomography could be a potential tool for investigating water-ice content on the Lunar and Martian surfaces, pointing to new avenues for space science exploration.

categories: physics.ins-det hep-ex physics.ao-ph physics.space-ph


title: Multipole analysis of cluster weak lensing shear in The Three Hundred project

abstract: Weak gravitational lensing is an important tool to estimate the masses of galaxy clusters, as it allows us to directly access their projected surface mass density along the line-of-sight (LOS) in a manner largely independent of their dynamical state. Moreover, we can extract information on the projected shape of the cluster mass distribution. In this work, we generate mock catalogs of lensed background galaxies to measure the individual lensing properties of galaxy clusters from the simulation project The Three Hundred. By repeating the analysis for different projections of the same cluster, we find that the use of shear multipoles provides constraints on the ellipticity of the cluster projected mass density but does not have a significant impact on the cluster mass reconstruction compared to the standard approach.


title: Infinite Width Graph Neural Networks for Node Regression/ Classification

abstract: This work analyzes Graph Neural Networks, a generalization of Fully-Connected Deep Neural Nets on Graph structured data, when their width, that is the number of nodes in each fullyconnected layer is increasing to infinity. Infinite Width Neural Networks are connecting Deep Learning to Gaussian Processes and Kernels, both Machine Learning Frameworks with long traditions and extensive theoretical foundations. Gaussian Processes and Kernels have much less hyperparameters then Neural Networks and can be used for uncertainty estimation, making them more user friendly for applications. This works extends the increasing amount of research connecting Gaussian Processes and Kernels to Neural Networks. The Kernel and Gaussian Process closed forms are derived for a variety of architectures, namely the standard Graph Neural Network, the Graph Neural Network with Skip-Concatenate Connections and the Graph Attention Neural Network. All architectures are evaluated on a variety of datasets on the task of transductive Node Regression and Classification. Additionally, a Spectral Sparsification method known as Effective Resistance is used to improve runtime and memory requirements. Extending the setting to inductive graph learning tasks (Graph Regression/ Classification) is straightforward and is briefly discussed in 3.5.


title: Improving Fast Minimum-Norm Attacks with Hyperparameter Optimization

abstract: Evaluating the adversarial robustness of machine learning models using gradient-based attacks is challenging. In this work, we show that hyperparameter optimization can improve fast minimum-norm attacks by automating the selection of the loss function, the optimizer and the step-size scheduler, along with the corresponding hyperparameters. Our extensive evaluation involving several robust models demonstrates the improved efficacy of fast minimum-norm attacks when hyper-up with hyperparameter optimization. We release our open-source code at https://github.com/pralab/HO-FMN.


title: Elimination of QCD Renormalization Scale and Scheme Ambiguities

abstract: We present results for the thrust distribution in the electron positron annihilation to the three jet process at NNLO in the perturbative conformal window of QCD, as a function of the number of flavors $N_f$. Given the existence of an infrared interacting fixed point in this region, we can compare the Conventional Scale Setting (CSS) and the Principle of Maximum Conformality (PMC$_\infty$) methods along the entire renormalization group flow from the highest energies to zero energy. We then consider also the QED thrust, obtained as the limit $N_c \rightarrow 0$ of the number of colors and we show analogous comparison. QED in the low energy regime develops an infrared non-interacting fixed point. Using these quantum field theory limits as theoretical laboratories, we arrive at interesting results showing new features of the PMC$_\infty$.


title: Decision Tree for Protein Biomarker Selection for Clinical Applications

abstract: Discovery of novel protein biomarkers for clinical applications is an active research field across a manifold of diseases. Despite some successes and progress, the biomarker development pipeline still frequently ends in failure as biomarker candidates cannot be validated or translated to immunoassays. Selection of strong disease biomarker candidates that further constitute suitable targets for antibody binding in immunoassays is thus important. This essential selection step can be supported and rationalized using bioinformatics tools such as protein databases. Here, I present a workflow in the form of decision trees to computationally investigate biomarker candidates and their available affinity reagents in depth. This analysis can identify the most promising biomarker candidates for assay development while minimal time and effort is required.


title: A High-Mass Young Star-forming Core Escaping from Its Parental Filament

abstract: We studied the unique kinematic properties in massive filament G352.63-1.07 at $10^3$-AU spatial scale with the dense molecular tracers observed with the Atacama Large Millimeter/submillimeter Array (ALMA). We find the central massive core M1 (12 $M_\odot$) being separated from the surrounding filament with a velocity difference of $v- {v}_{sys}=-2$ km/s and a transverse separation within 3 arcsec. Meanwhile, as shown in multiple dense-gas tracers, M1 has a spatial extension closely aligned with the main filament and is connected to the filament towards its both ends. M1 thus represents a very beginning state for a massive young star-forming core escaping from the parental filament, within a time scale of $\sim 4000$ years. Based on its kinetic energy ($3.5\times10^{44}$ erg), the core escape is unlikely solely due to the original filament motion or magnetic field, but requires more energetic events such as a rapid intense anisotropic collapse. The released energy also seems to noticeably increase the environmental turbulence. This may help the filament to become stabilized again.


title: NGSs acquisition in MORFEO

abstract: MORFEO (Multi-conjugate adaptive Optics Relay For ELT Observation) is the future multi-conjugate adaptive optics system for the ESO ELT that will feed the instrument MICADO (Multi-AO Imaging Camera for Deep Observations). It will use the 6 laser guide stars to give a uniform correction on a field-of-view of approximately 60arcsec of diameter. Tip, tilt and slow focus measurement will be done on up to three natural guide stars that could be really faint to maximize sky coverage. The current baseline is to use the reference wavefront sensor in the visible to acquire the star and center it on the low order wavefront sensor that has a much smaller field-of-view. In this work we study this problem focusing on the estimation error of the tilt from the reference wavefront sensor as a function of star magnitude and atmospheric conditions.


title: XIMAGENET-12: An Explainable AI Benchmark Dataset for Model Robustness Evaluation

abstract: Despite the promising performance of existing visual models on public benchmarks, the critical assessment of their robustness for real-world applications remains an ongoing challenge. To bridge this gap, we propose an explainable visual dataset, XIMAGENET-12, to evaluate the robustness of visual models. XIMAGENET-12 consists of over 200K images with 15,410 manual semantic annotations. Specifically, we deliberately selected 12 categories from ImageNet, representing objects commonly encountered in practical life. To simulate real-world situations, we incorporated six diverse scenarios, such as overexposure, blurring, and color changes, etc. We further develop a quantitative criterion for robustness assessment, allowing for a nuanced understanding of how visual models perform under varying conditions, notably in relation to the background. We make the XIMAGENET-12 dataset and its corresponding code openly accessible at \url{https://sites.google.com/view/ximagenet-12/home}. We expect the introduction of the XIMAGENET-12 dataset will empower researchers to thoroughly evaluate the robustness of their visual models under challenging conditions.


title: Terrestrial Very-Long-Baseline Atom Interferometry: Workshop Summary

abstract: This document presents a summary of the 2023 Terrestrial Very-Long-Baseline Atom Interferometry Workshop hosted by CERN. The workshop brought together experts from around the world to discuss the exciting developments in large-scale atom interferometer (AI) prototypes and their potential for detecting ultralight dark matter and gravitational waves. The primary objective of the workshop was to lay the groundwork for an international TVLBAI proto-collaboration. This collaboration aims to unite researchers from different institutions to strategize and secure funding for terrestrial large-scale AI projects. The ultimate goal is to create a roadmap detailing the design and technology choices for one or more km-scale detectors, which will be operational in the mid-2030s. The key sections of this report present the physics case and technical challenges, together with a comprehensive overview of the discussions at the workshop together with the main conclusions.

categories: hep-ex astro-ph.IM gr-qc hep-ph physics.atom-ph


title: Learn From Model Beyond Fine-Tuning: A Survey

abstract: Foundation models (FM) have demonstrated remarkable performance across a wide range of tasks (especially in the fields of natural language processing and computer vision), primarily attributed to their ability to comprehend instructions and access extensive, high-quality data. This not only showcases their current effectiveness but also sets a promising trajectory towards the development of artificial general intelligence. Unfortunately, due to multiple constraints, the raw data of the model used for large model training are often inaccessible, so the use of end-to-end models for downstream tasks has become a new research trend, which we call Learn From Model (LFM) in this article. LFM focuses on the research, modification, and design of FM based on the model interface, so as to better understand the model structure and weights (in a black box environment), and to generalize the model to downstream tasks. The study of LFM techniques can be broadly categorized into five major areas: model tuning, model distillation, model reuse, meta learning and model editing. Each category encompasses a repertoire of methods and strategies that aim to enhance the capabilities and performance of FM. This paper gives a comprehensive review of the current methods based on FM from the perspective of LFM, in order to help readers better understand the current research status and ideas. To conclude, we summarize the survey by highlighting several critical areas for future exploration and addressing open issues that require further attention from the research community. The relevant papers we investigated in this article can be accessed at <https://github.com/ruthless-man/Awesome-Learn-from-Model>.


title: EIPE-text: Evaluation-Guided Iterative Plan Extraction for Long-Form Narrative Text Generation

abstract: Plan-and-Write is a common hierarchical approach in long-form narrative text generation, which first creates a plan to guide the narrative writing. Following this approach, several studies rely on simply prompting large language models for planning, which often yields suboptimal results. In this paper, we propose a new framework called Evaluation-guided Iterative Plan Extraction for long-form narrative text generation (EIPE-text), which extracts plans from the corpus of narratives and utilizes the extracted plans to construct a better planner. EIPE-text has three stages: plan extraction, learning, and inference. In the plan extraction stage, it iteratively extracts and improves plans from the narrative corpus and constructs a plan corpus. We propose a question answer (QA) based evaluation mechanism to automatically evaluate the plans and generate detailed plan refinement instructions to guide the iterative improvement. In the learning stage, we build a better planner by fine-tuning with the plan corpus or in-context learning with examples in the plan corpus. Finally, we leverage a hierarchical approach to generate long-form narratives. We evaluate the effectiveness of EIPE-text in the domains of novels and storytelling. Both GPT-4-based evaluations and human evaluations demonstrate that our method can generate more coherent and relevant long-form narratives. Our code will be released in the future.


title: Global well-posedness and exponential decay of strong solution to the three-dimensional nonhomogeneous B\'enard system with density-dependent viscosity and vacuum

abstract: In this paper, we are concerned with the three-dimensional nonhomogeneous B\'enard system with density-dependent viscosity in bounded domain. The global well-posedness of strong solution is established, provided that the initial total mass is suitably small. In particular, the initial velocity and temperature can be arbitrarily large. Moreover, the exponential decay of strong solution is also obtained. It is worth noting that the vacuum of initial density is allowed.


title: Visual Question Generation in Bengali

abstract: The task of Visual Question Generation (VQG) is to generate human-like questions relevant to the given image. As VQG is an emerging research field, existing works tend to focus only on resource-rich language such as English due to the availability of datasets. In this paper, we propose the first Bengali Visual Question Generation task and develop a novel transformer-based encoder-decoder architecture that generates questions in Bengali when given an image. We propose multiple variants of models - (i) image-only: baseline model of generating questions from images without additional information, (ii) image-category and image-answer-category: guided VQG where we condition the model to generate questions based on the answer and the category of expected question. These models are trained and evaluated on the translated VQAv2.0 dataset. Our quantitative and qualitative results establish the first state of the art models for VQG task in Bengali and demonstrate that our models are capable of generating grammatically correct and relevant questions. Our quantitative results show that our image-cat model achieves a BLUE-1 score of 33.12 and BLEU-3 score of 7.56 which is the highest of the other two variants. We also perform a human evaluation to assess the quality of the generation tasks. Human evaluation suggests that image-cat model is capable of generating goal-driven and attribute-specific questions and also stays relevant to the corresponding image.


title: FP3D: A code for calculating 3D magnetic field and particle motion

abstract: An efficient numerical code FP3D has been developed to calculate particle orbits and evaluate particle confinement in 3D magnetic fields including stellarators and tokamaks with 3D fields. The magnetic field is either calculated from coils directly or obtained from equilibrium codes. FP3D has been verified with the 3D equilibrium code VMEC (S. P. Hirshman, Phys. Fluids 26, 3553 (1983)) for magnetic field calculation and with the drift-kinetic code SFINCS (M. Landreman, Physics of Plasmas 21 (4) (2014)) for neoclassical transport. The code has been applied successfully to the NCSX stellarator (B. Nelson, Fusion Engineering and design 66 (2003)) for the calculation of neoclassical transport coefficient with the 3D magnetic field obtained directly from coils. FP3D is also used to calculate ripple losses in the tokamak EAST (W. Yuanxi, Plasma Science Technology 8 (3) (2006)).


title: New graph invariants based on $p$-Laplacian eigenvalues

abstract: We present monotonicity inequalities for certain functions involving eigenvalues of $p$-Laplacians on signed graphs with respect to $p$. Inspired by such monotonicity, we propose new spectrum-based graph invariants, called (variational) cut-off adjacency eigenvalues, that are relevant to certain eigenvector-dependent nonlinear eigenvalue problem. Using these invariants, we obtain new lower bounds for the $p$-Laplacian variational eigenvalues, essentially giving the state-of-the-art spectral asymptotics for these eigenvalues. Moreover, based on such invariants, we establish two inertia bounds regarding the cardinalities of a maximum independent set and a minimum edge cover, respectively. The first inertia bound enhances the classical Cvetkovi\'c bound, and the second one implies that the $k$-th $p$-Laplacian variational eigenvalue is of the order $2^p$ as $p$ tends to infinity whenever $k$ is larger than the cardinality of a minimum edge cover of the underlying graph. We further discover an interesting connection between graph $p$-Laplacian eigenvalues and tensor eigenvalues and discuss applications of our invariants to spectral problems of tensors.


title: Tunneling for a semi-classical magnetic Schr\"odinger operator with symmetries

abstract: We are interested in decay estimates of the ground state (or the low energy eigenstates), outside the potential wells, for a semi-classical Magnetic Schr\"odinger operator with smooth coefficients $P_A(x,hD_x)=(hD_x-\mu A(x))^2+V(x)$ on $L^2({\bf R}^d)$. We shall essentially consider the case where $\mu$ is large. This kind of estimates, in case of Schr\"odinger operator without a magnetic field, have been studied by Agmon, also in the case of a Riemannian manifold $M$. Agmon estimates hold true for any $h$, but are particularly useful in the limit $h\to0$ when studying tunneling.


title: Algebraic properties of binomial edge ideals of Levi graphs associated with curve arrangements

abstract: In this article, we study algebraic properties of binomial edge ideals of Levi graphs associated with certain plane curve arrangements. Using combinatorial properties of Levi graphs, we discuss the Cohen-Macaulayness of binomial edge ideals of Levi graphs associated to some curve arrangements in the complex projective plane, like the $d$-arrangement of curves and the conic-line arrangements. We also discuss the existence of certain induced cycles in the Levi graphs of these arrangements and obtain lower bounds for the regularity of powers of the corresponding binomial edge ideals.


title: Slip Detection and Surface Prediction Through Bio-Inspired Tactile Feedback

abstract: High resolution tactile sensing has great potential in autonomous mobile robotics, particularly for legged robots. One particular area where it has significant promise is the traversal of challenging, varied terrain. Depending on whether an environment is slippery, soft, hard or dry, a robot must adapt its method of locomotion accordingly. Currently many multi-legged robots, such as Boston Dynamic's Spot robot, have preset gaits for different surface types, but struggle over terrains where the surface type changes frequently. Being able to automatically detect changes within an environment would allow a robot to autonomously adjust its method of locomotion to better suit conditions, without requiring a human user to manually set the change in surface type. In this paper we report on the first detailed investigation of the properties of a particular bio-inspired tactile sensor, the TacTip, to test its suitability for this kind of automatic detection of surface conditions. We explored different processing techniques and a regression model, using a custom made rig for data collection to determine how a robot could sense directional and general force on the sensor in a variety of conditions. This allowed us to successfully demonstrate how the sensor can be used to distinguish between soft, hard, dry and (wet) slippery surfaces. We further explored a neural model to classify specific surface textures. Pin movement (the movement of optical markers within the sensor) was key to sensing this information, and all models relied on some form of temporal information. Our final trained models could successfully determine the direction the sensor is heading in, the amount of force acting on it, and determine differences in the surface texture such as Lego vs smooth hard surface, or concrete vs smooth hard surface.


title: Are sanctions for losers? A network study of trade sanctions

abstract: Studies built on dependency and world-system theory using network approaches have shown that international trade is structured into clusters of 'core' and 'peripheral' countries performing distinct functions. However, few have used these methods to investigate how sanctions affect the position of the countries involved in the capitalist world-economy. Yet, this topic has acquired pressing relevance due to the emergence of economic warfare as a key geopolitical weapon since the 1950s. And even more so in light of the preeminent role that sanctions have played in the US and their allies' response to the Russian-Ukrainian war. Applying several clustering techniques designed for complex and temporal networks, this paper shows that a shift in the pattern of commerce away from sanctioning countries and towards neutral or friendly ones. Additionally, there are suggestions that these shifts may lead to the creation of an alternative 'core' that interacts with the world-economy's periphery bypassing traditional 'core' countries such as EU member States and the US.


title: Free-Riding in Multi-Issue Decisions

abstract: Voting in multi-issue domains allows for compromise outcomes that satisfy all voters to some extent. Such fairness considerations, however, open the possibility of a special form of manipulation: free-riding. By untruthfully opposing a popular opinion in one issue, voters can receive increased consideration in other issues. We study under which conditions this is possible. Additionally, we study free-riding from a computational and experimental point of view. Our results show that free-riding in multi-issue domains is largely unavoidable, but comes at a non-negligible individual risk for voters. Thus, the allure of free-riding is smaller than one could intuitively assume.


title: On the use of superthermal light for imaging applications

abstract: Ghost imaging and differential ghost imaging are well-known imaging techniques based on the use of both classical and quantum correlated states of light. Since the existence of correlations has been shown to be the main resource to implement ghost imaging and differential ghost-imaging protocols, here we analyze the advantages and disadvantages of using two different kinds of superthermal states of light, which are more correlated than the typically employed thermal states. To make a fair comparison, we calculate the contrast (C) and the signal-to-noise ratio (SNR) of the reconstruct image. While the larger values of C suggest the usefulness of these superthermal states, the values of SNR do not improve by increasing the intensity fluctuations of light. On the contrary, they are the same as those exhibited by thermal light.


title: Exterior stability of the $(1+3)$-dimensional Minkowski space-time solution to the Einstein-Yang-Mills equations

abstract: We prove the exterior stability of the Minkowski space-time, $\mathbb{R}^{1+3}$, solution to the Einstein-Yang-Mills system in both the Lorenz and harmonic gauges, where the Yang-Mills fields are valued in any arbitrary Lie algebra $\cal{G}$, associated to any compact Lie group $G$. We start with an arbitrary sufficiently small initial data, defined in a suitable energy norm for the perturbations of the Yang-Mills potential and of the Minkowski space-time, and we show the well-posedness of the Cauchy development in the exterior of the fully coupled Einstein-Yang-Mills equations in the Lorenz gauge and in wave coordinates, and we prove that this leads to solutions converging to the zero Yang-Mills curvature and to the Minkowski space-time. Furthermore, we obtain dispersive estimates in wave coordinates on the Yang-Mills potential in the Lorenz gauge and on the metric, as well as on the gauge invariant norm of the Yang-Mills curvature. This provides a new proof to the exterior stability result by P. Mondal and S. T. Yau, based on an alternative approach, by using a null frame decomposition that was first used by H. Lindblad and I. Rodnianski for the case of the Einstein vacuum equations. In this third paper of a series, we detail all the new material concerning our proof so as to provide lecture notes for Ph.D. students wanting to learn non-linear hyperbolic differential equations and stability problems in mathematical General Relativity.


title: Constraining the orbital inclination and companion properties of three black widow pulsars detected by FAST

abstract: Black widows (BWs) are millisecond pulsars ablating their companion stars. The out-flowing material from the companion can block the radio emission of the pulsar, resulting in eclipses. In this paper, we construct a model for the radio eclipse by calculating the geometry of the bow shock between the winds of the pulsar and companion, where the shock shapes the eclipsing medium but had not been described in detail in previous works. The model is further used to explain the variations of the flux density and dispersion measure (DM) of three BW pulsars (i.e., PSR B1957$+$20, J2055$+$3829, and J2051$-$0827) detected by the Five-hundred-meter Aperture Spherical radio Telescope (FAST). Consequently, we constrained the parameters of the three BW systems such as the inclination angles and true anomalies of the observer as well as the mass-loss rates and wind velocity of the companion stars. With the help of these constraints, it is expected that magnetic fields of companion stars and even masses of pulsars could further be determined as some extra observation can be achieved in the future.


title: Beyond Traditional DoE: Deep Reinforcement Learning for Optimizing Experiments in Model Identification of Battery Dynamics

abstract: Model identification of battery dynamics is a central problem in energy research; many energy management systems and design processes rely on accurate battery models for efficiency optimization. The standard methodology for battery modelling is traditional design of experiments (DoE), where the battery dynamics are excited with many different current profiles and the measured outputs are used to estimate the system dynamics. However, although it is possible to obtain useful models with the traditional approach, the process is time consuming and expensive because of the need to sweep many different current-profile configurations. In the present work, a novel DoE approach is developed based on deep reinforcement learning, which alters the configuration of the experiments on the fly based on the statistics of past experiments. Instead of sticking to a library of predefined current profiles, the proposed approach modifies the current profiles dynamically by updating the output space covered by past measurements, hence only the current profiles that are informative for future experiments are applied. Simulations and real experiments are used to show that the proposed approach gives models that are as accurate as those obtained with traditional DoE but by using 85\% less resources.


title: Exact evaluation and extrapolation of the divergent expansion for the Heisenberg-Euler Lagrangian I: Alternating Case

abstract: We applied the method of finite-part integration [Galapon E.A Proc.R.Soc A 473, 20160567(2017)] to evaluate in closed-form the exact one-loop integral representations of the Heisenberg-Euler Lagrangian from QED for a constant magnetic field and magnetic-like self-dual background. We also devise a prescription based on the finite-part integration of a generalized Stieltjes integral to sum and extrapolate to the strong-field regime the alternating divergent weak-field expansions of the Heisenberg-Euler Lagrangians.


title: Optimising motion-induced spin transfer

abstract: In this paper, the spin transfer between two ferromagnetic insulators is studied. There is a narrow gap between the ferromagnetic insulators so that they are weakly interacting with each other. One of the ferromagnetic insulators is moving at a constant speed while the other is at rest; hence, the system is out of equilibrium. In the presence of the shearing motion, the interaction amplitude is periodically modulated at the Doppler frequency. A unitary transformation allows us to regard the periodic modulation of the interaction amplitude as an effective potential, which drives the spin transfer. The amount of the spin current is controlled by the spectral overlap and the carrier population difference between the two ferromagnetic media. If the spectra of the two ferromagnets are moderately broadened, the overlap in the spectral domain increases, enlarging the spin current. However, too much broadening spoils the spectral overlap and, hence, the spin current. This implies that there is an optimal condition for maximising the spin transfer.


title: Fast Ray-Tracing-Based Precise Underwater Acoustic Localization without Prior Acknowledgment of Target Depth

abstract: Underwater localization is of great importance for marine observation and building positioning, navigation, timing (PNT) systems that could be widely applied in disaster warning, underwater rescues and resources exploration. The uneven distribution of underwater sound velocity poses great challenge for precise underwater positioning. The current soundline correction positioning method mainly aims at scenarios with known target depth. However, for nodes that are non-cooperative nodes or lack of depth information, soundline tracking strategies cannot work well due to nonunique positional solutions. To tackle this issue, we propose an iterative ray tracing 3D underwater localization (IRTUL) method for stratification compensation. To demonstrate the feasibility of fast stratification compensation, we first derive the signal path as a function of glancing angle, and then prove that the signal propagation time and horizontal propagation distance are monotonic functions of the initial grazing angle, so that fast ray tracing can be achieved. Then, we propose an sound velocity profile (SVP) simplification method, which reduces the computational cost of ray tracing. Experimental results show that the IRTUL has the most significant distance correction in the depth direction, and the average accuracy of IRTUL has been improved by about 3 meters compared to localization model with constant sound velocity. Also, the simplified SVP can significantly improve real-time performance with average accuracy loss less than 0.2 m when used for positioning.


title: Modelling Non-Condensing Compositional Convection for Applications to Super-Earth and Sub-Neptune Atmospheres

abstract: Compositional convection is atmospheric mixing driven by density variations caused by compositional gradients. Previous studies have suggested that compositional gradients of atmospheric trace species within planetary atmospheres can impact convection and the final atmospheric temperature profile. In this work, we employ 3D convection resolving simulations using Cloud Model 1 (CM1) to gain a fundamental understanding of how compositional variation influences convection and the final atmospheric state of exoplanet atmospheres. We perform 3D initial value problem simulations of non-condensing compositional convection for Earth-Air, $\rm H_2$, and $\rm CO_2$ atmospheres. Conventionally, atmospheric convection is assumed to mix the atmosphere to a final, marginally stable state defined by a unique temperature profile. However, when there is compositional variation within an atmosphere, a continuous family of stable end states is possible, differing in the final state composition profile. Our CM1 simulations are used to determine which of the family of possible compositional end states is selected. Leveraging the results from our CM1 simulations, we develop a dry convective adjustment scheme for use in General Circulation Models (GCMs). This scheme relies on an energy analysis to determine the final adjusted atmospheric state. Our convection scheme produces results that agree with our CM1 simulations and can easily be implemented in GCMs to improve modelling of compositional convection in exoplanet atmospheres.


title: Geometry of the magnetic Steklov problem on Riemannian annuli

abstract: We study the geometry of the first two eigenvalues of a magnetic Steklov problem on an annulus $\Sigma$ (a compact Riemannian surface with genus zero and two boundary components), the magnetic potential being the harmonic one-form having flux $\nu\in\mathbb R$ around any of the two boundary components. The resulting spectrum can be seen as a perturbation of the classical, non-magnetic Steklov spectrum, obtained when $\nu=0$ and studied e.g., by Fraser and Schoen. We obtain sharp upper bounds for the first and the second normalized eigenvalues and we discuss the geometry of the maximisers. Concerning the first eigenvalue, we isolate a noteworthy class of maximisers which we call $\alpha$-surfaces: they are free-boundary surfaces which are stationary for a weighted area functional (depending on the flux) and have proportional principal curvatures at each point; in particular, they belong to the class of linear Weingarten surfaces. We then study the second normalized eigenvalue for a fixed flux $\nu$ and prove the existence of a maximiser for rotationally invariant metrics. Moreover, the corresponding eigenfunctions define a free-boundary immersion in the unit ball of $\mathbb R^3$. Finally, we prove that the second normalized eigenvalue associated to a flux $\nu$ has an absolute maximum when $\nu=0$, the corresponding maximiser being the critical catenoid.


title: STELLA: Continual Audio-Video Pre-training with Spatio-Temporal Localized Alignment

abstract: Continuously learning a variety of audio-video semantics over time is crucial for audio-related reasoning tasks in our ever-evolving world. However, this is a nontrivial problem and poses two critical challenges: sparse spatio-temporal correlation between audio-video pairs and multimodal correlation overwriting that forgets audio-video relations. To tackle this problem, we propose a new continual audio-video pre-training method with two novel ideas: (1) Localized Patch Importance Scoring: we introduce a multimodal encoder to determine the importance score for each patch, emphasizing semantically intertwined audio-video patches. (2) Replay-guided Correlation Assessment: to reduce the corruption of previously learned audiovisual knowledge due to drift, we propose to assess the correlation of the current patches on the past steps to identify the patches exhibiting high correlations with the past steps. Based on the results from the two ideas, we perform probabilistic patch selection for effective continual audio-video pre-training. Experimental validation on multiple benchmarks shows that our method achieves a 3.69%p of relative performance gain in zero-shot retrieval tasks compared to strong continual learning baselines, while reducing memory consumption by ~45%.


title: LiveVV: Human-Centered Live Volumetric Video Streaming System

abstract: Volumetric video has emerged as a prominent medium within the realm of eXtended Reality (XR) with the advancements in computer graphics and depth capture hardware. Users can fully immersive themselves in volumetric video with the ability to switch their viewport in six degree-of-freedom (DOF), including three rotational dimensions (yaw, pitch, roll) and three translational dimensions (X, Y, Z). Different from traditional 2D videos that are composed of pixel matrices, volumetric videos employ point clouds, meshes, or voxels to represent a volumetric scene, resulting in significantly larger data sizes. While previous works have successfully achieved volumetric video streaming in video-on-demand scenarios, the live streaming of volumetric video remains an unresolved challenge due to the limited network bandwidth and stringent latency constraints. In this paper, we for the first time propose a holistic live volumetric video streaming system, LiveVV, which achieves multi-view capture, scene segmentation \& reuse, adaptive transmission, and rendering. LiveVV contains multiple lightweight volumetric video capture modules that are capable of being deployed without prior preparation. To reduce bandwidth consumption, LiveVV processes static and dynamic volumetric content separately by reusing static data with low disparity and decimating data with low visual saliency. Besides, to deal with network fluctuation, LiveVV integrates a volumetric video adaptive bitrate streaming algorithm (VABR) to enable fluent playback with the maximum quality of experience. Extensive real-world experiment shows that LiveVV can achieve live volumetric video streaming at a frame rate of 24 fps with a latency of less than 350ms.


title: Long-Tailed Classification Based on Coarse-Grained Leading Forest and Multi-Center Loss

abstract: Long-tailed (LT) classification is an unavoidable and challenging problem in the real world. Most existing long-tailed classification methods focus only on solving the class-wise imbalance while ignoring the attribute-wise imbalance. The deviation of a classification model is caused by both class-wise and attribute-wise imbalance. Due to the fact that attributes are implicit in most datasets and the combination of attributes is complex, attribute-wise imbalance is more difficult to handle. For this purpose, we proposed a novel long-tailed classification framework, aiming to build a multi-granularity classification model by means of invariant feature learning. This method first unsupervisedly constructs Coarse-Grained forest (CLF) to better characterize the distribution of attributes within a class. Depending on the distribution of attributes, one can customize suitable sampling strategies to construct different imbalanced datasets. We then introduce multi-center loss (MCL) that aims to gradually eliminate confusing attributes during feature learning process. The proposed framework does not necessarily couple to a specific LT classification model structure and can be integrated with any existing LT method as an independent component. Extensive experiments show that our approach achieves state-of-the-art performance on both existing benchmarks ImageNet-GLT and MSCOCO-GLT and can improve the performance of existing LT methods. Our codes are available on GitHub: \url{https://github.com/jinyery/cognisance}


title: (Re)conceptualizations: Intentional concept development in the social sciences

abstract: Can intentional concept development in the social sciences be understood in terms of conceptual engineering (CE)? To answer this question, I analyze various types of conceptual changes in the social changes-with a special attention to organizational research and the so-called (re)conceptualizations-and distinguish between CE as a theoretical practice and CE as a research program. I show that social scientists, from the point of view of their scientific practice, exercise CE in two versions: CE de novo is employed as new conceptualizations and moderately progressive CE-as reconceptualizations. Importantly, the second type of CE-rather neglected in philosophy of the social sciences-appears to be highly important for the incremental progress of inquiry. Still, both types appear to be equally significant also for CE understood as a research program and for its prospects in the social sciences. Here, I point to three possible paths that help bridging the gap between actual practices of concept development in the social sciences and normative, programmatic approaches to CE: best practice recommendations, institutional actions and uses of AI-agents.


title: Distributed Estimation for Large-Scale Cox Regression with Poisson Subsampling

abstract: To ensure privacy protection and alleviate computational burden, we propose a Poisson-subsampling based distributed estimation procedure for the Cox model with massive survival datasets from multi-centered, decentralized sources. The proposed estimator is computed based on optimal subsampling probabilities that we derived and enables transmission of subsample-based summary level statistics between different storage sites with only one round of communication. For inference, the asymptotic properties of the proposed estimator were rigorously established. An extensive simulation study demonstrated that the proposed approach is effective. The methodology was applied to analyze a large dataset from the U.S. airlines.


title: Conformal inference for regression on Riemannian Manifolds

abstract: Regression on manifolds, and, more broadly, statistics on manifolds, has garnered significant importance in recent years due to the vast number of applications for this type of data. Circular data is a classic example, but so is data in the space of covariance matrices, data on the Grassmannian manifold obtained as a result of principal component analysis, among many others. In this work we investigate prediction sets for regression scenarios when the response variable, denoted by $Y$, resides in a manifold, and the covariable, denoted by X, lies in Euclidean space. This extends the concepts delineated in [Lei and Wasserman, 2014] to this novel context. Aligning with traditional principles in conformal inference, these prediction sets are distribution-free, indicating that no specific assumptions are imposed on the joint distribution of $(X, Y)$, and they maintain a non-parametric character. We prove the asymptotic almost sure convergence of the empirical version of these regions on the manifold to their population counterparts. The efficiency of this method is shown through a comprehensive simulation study and an analysis involving real-world data.


title: CLExtract: Recovering Highly Corrupted DVB/GSE Satellite Stream with Contrastive Learning

abstract: Since satellite systems are playing an increasingly important role in our civilization, their security and privacy weaknesses are more and more concerned. For example, prior work demonstrates that the communication channel between maritime VSAT and ground segment can be eavesdropped on using consumer-grade equipment. The stream decoder GSExtract developed in this prior work performs well for most packets but shows incapacity for corrupted streams. We discovered that such stream corruption commonly exists in not only Europe and North Atlantic areas but also Asian areas. In our experiment, using GSExtract, we are only able to decode 2.1\% satellite streams we eavesdropped on in Asia. Therefore, in this work, we propose to use a contrastive learning technique with data augmentation to decode and recover such highly corrupted streams. Rather than rely on critical information in corrupted streams to search for headers and perform decoding, contrastive learning directly learns the features of packet headers at different protocol layers and identifies them in a stream sequence. By filtering them out, we can extract the innermost data payload for further analysis. Our evaluation shows that this new approach can successfully recover 71-99\% eavesdropped data hundreds of times faster speed than GSExtract. Besides, the effectiveness of our approach is not largely damaged when stream corruption becomes more severe.


title: Dual properties of dense quark matter with color superconductivity phenomenon

abstract: In this paper the massless NJL model extended by the diquark interaction channel is considered. We study its phase structure at zero temperature and in the presence of baryon $\mu_B$, isospin $\mu_I$, chiral $\mu_{5}$ and chiral isospin $\mu_{I5}$ chemical potentials in the mean-field approximation. It is shown that the model thermodynamic potential, which depends on three order parameters, $M$, $\pi_1$ and $\Delta$ (where $M$, $\pi_1$, and $\Delta$ -- are, respectively, chiral, charged pion and diquark condensates of the model), is symmetric with respect to the (dual) transformation when $M\leftrightarrow\pi_1$ and simultaneously $\mu_I\leftrightarrow\mu_{I5}$. As a result, on the mean-field phase portrait of the model the chiral symmetry breaking (CSB) and charged pion condensation (PC) phases turn out to be dually conjugate with each other, which greatly simplifies the study of the phase portrait of the model. In particular, the duality between CSB and charged PC phases means that in the $(\mu_I,\mu_{I5})$-phase portrait these phases are mirror-symmetrical with respect to the line $\mu_I=\mu_{I5}$, which at the same time is the symmetry axis of the color superconducting (CSC) phase. Moreover, it follows from our analysis that chiral $\mu_5$ chemical potential promotes the formation of CSC phase in dense quark matter. And together with $\mu_{I5}$ it can generates the charged PC phase even at $\mu_I=0$.


title: Operator formalism for discretely holomorphic parafermions of the two-color Ashkin-Teller, loop $\mathrm{O} ( 1 )$, staggered eight-vertex, odd eight-vertex, and abelian sandpile models

abstract: We extend an operator formalism, developed by Hongler, Kyt\"ol\"a, and Zahabi in 2012 for the Ising model, to the Ashkin-Teller and loop $\mathrm{O} ( n ) $ models. The formalism is primarily dependent upon notions of massive, and massless, s-holomorphicity of the Ising model, which are respectively satisfied at, and below, the critical temperature, hence allowing for rigorous analyses of the transfer matrix, correlation functions, and lattice fermion operators. From results of another paper, by Tanhayi-Ahari and Rouhani in 2012, which demonstrates that parafermionic observables for the staggered eight-vertex model coincide with those of the Ashkin-Teller model, as well as a 2003 paper, by Wu and Kunz, which establishes a correspondence between the staggered eight-vertex and odd eight-vertex models, we establish further associations.

categories: math.PR cond-mat.stat-mech math-ph math.MP


title: A Universal Scheme for Dynamic Partitioned Shortest Path Index

abstract: Shortest path (SP) computation is the fundamental operation in various networks such as urban networks, logistic networks, communication networks, social networks, etc. With the development of technology and societal expansions, those networks tend to be massive. This, in turn, causes deteriorated performance of SP computation, and graph partitioning is commonly leveraged to scale up the SP algorithms. However, the partitioned shortest path (PSP) index has never been systematically investigated and theoretically analyzed, and there is a lack of experimental comparison among different PSP indexes. Moreover, few studies have explored PSP index maintenance in dynamic networks. Therefore, in this paper, we systematically analyze the dynamic PSP index by proposing a universal scheme for it. Specifically, we first propose two novel partitioned shortest path strategies (No-boundary and Post-boundary strategies) to improve the performance of PSP indexes and design the corresponding index maintenance approaches to deal with dynamic scenarios. Then we categorize the partition methods from the perspective of partition structure to facilitate the selection of partition methods in the PSP index. Furthermore, we propose a universal scheme for designing the PSP index by coupling its three dimensions (i.e. PSP strategy, partition structure, and SP algorithm). Based on this scheme, we propose five new PSP indexes with prominent performance in either query or update efficiency. Lastly, extensive experiments are implemented to demonstrate the effectiveness of the proposed PSP scheme, with valuable guidance provided on the PSP index design.


title: Digital Holographic Interferometry for Micro-Deformation Analysis of Morpho Butterfly Wing

abstract: In this study, we present a detailed analysis of deflections in a butterfly wing utilizing digital holographic interferometry. Our methodology revolves around an off-axis lensless Fourier holographic setup, and we employ laser excitation to induce deflections in the object. The implementation of a digital holographic interferometry setup, tailored for rapid monitoring of micro-deformation, is a central aspect of the research. We offer an overview of the theoretical foundations of this technique, complemented by both experimental and simulated tests aimed at validating our findings. Significantly, our investigation focuses on the detailed analysis of the micro structures found on the wing of the Morpho butterfly. The insights garnered from our study not only affirm the precision and potential of this methodology but also shed light on promising avenues for further exploration, especially in the domain of high-precision deflection sensing and its diverse applications.


title: Trustworthy Machine Learning

abstract: As machine learning technology gets applied to actual products and solutions, new challenges have emerged. Models unexpectedly fail to generalize to small changes in the distribution, tend to be confident on novel data they have never seen, or cannot communicate the rationale behind their decisions effectively with the end users. Collectively, we face a trustworthiness issue with the current machine learning technology. This textbook on Trustworthy Machine Learning (TML) covers a theoretical and technical background of four key topics in TML: Out-of-Distribution Generalization, Explainability, Uncertainty Quantification, and Evaluation of Trustworthiness. We discuss important classical and contemporary research papers of the aforementioned fields and uncover and connect their underlying intuitions. The book evolved from the homonymous course at the University of T\"ubingen, first offered in the Winter Semester of 2022/23. It is meant to be a stand-alone product accompanied by code snippets and various pointers to further sources on topics of TML. The dedicated website of the book is https://trustworthyml.io/.


title: The carnivorous plant Genlisea harnesses active particle dynamics to prey on microfauna

abstract: Carnivory in plants is an unusual trait that has arisen multiple times, independently, throughout evolutionary history. Plants in the genus Genlisea are carnivorous, and feed on microorganisms that live in soil using modified subterranean leaf structures (rhizophylls). A surprisingly broad array of microfauna has been observed in the plants' digestive chambers, including ciliates, amoebae and soil mites. Here we show, through experiments and simulations, that Genlisea exploit active matter physics to 'rectify' bacterial swimming and establish a local flux of bacteria through the structured environment of the rhizophyll towards the plant's digestion vesicle. In contrast, macromolecular digestion products are free to diffuse away from the digestion vesicle and establish a concentration gradient of carbon sources to draw larger microorganisms further inside the plant. Our experiments and simulations show that this mechanism is likely to be a localised one, and that no large-scale efflux of digested matter is present.


title: TriRE: A Multi-Mechanism Learning Paradigm for Continual Knowledge Retention and Promotion

abstract: Continual learning (CL) has remained a persistent challenge for deep neural networks due to catastrophic forgetting (CF) of previously learned tasks. Several techniques such as weight regularization, experience rehearsal, and parameter isolation have been proposed to alleviate CF. Despite their relative success, these research directions have predominantly remained orthogonal and suffer from several shortcomings, while missing out on the advantages of competing strategies. On the contrary, the brain continually learns, accommodates, and transfers knowledge across tasks by simultaneously leveraging several neurophysiological processes, including neurogenesis, active forgetting, neuromodulation, metaplasticity, experience rehearsal, and context-dependent gating, rarely resulting in CF. Inspired by how the brain exploits multiple mechanisms concurrently, we propose TriRE, a novel CL paradigm that encompasses retaining the most prominent neurons for each task, revising and solidifying the extracted knowledge of current and past tasks, and actively promoting less active neurons for subsequent tasks through rewinding and relearning. Across CL settings, TriRE significantly reduces task interference and surpasses different CL approaches considered in isolation.


title: Convergence of Arbitrary Lagrangian-Eulerian Second-order Projection Method for the Stokes Equations on an Evolving Domain

abstract: The numerical solution of the Stokes equations on an evolving domain with a moving boundary is studied based on the arbitrary Lagrangian-Eulerian finite element method and a second-order projection method along the trajectories of the evolving mesh for decoupling the unknown solutions of velocity and pressure. The error of the semidiscrete arbitrary Lagrangian-Eulerian method is shown to be $O(h^{r+1})$ for the Taylor--Hood finite elements of degree $r\ge 2$, using Nitsche's duality argument adapted to an evolving mesh, by proving that the material derivative and the Stokes--Ritz projection commute up to terms which have optimal-order convergence in the $L^2$ norm. Additionally, the error of the fully discrete finite element method, with a second-order projection method along the trajectories of the evolving mesh, is shown to be $O(\ln(1/\tau+1)\tau^{2}+\ln(1/h+1)h^{r+1})$ in the discrete $L^\infty(0,T; L^2)$ norm using newly developed energy techniques and backward parabolic duality arguments that are applicable to the Stokes equations with an evolving mesh. To maintain consistency between the notations of the numerical scheme in a moving domain and those in a fixed domain, we introduce the equivalence class of finite element spaces across time levels. Numerical examples are provided to support the theoretical analysis and to illustrate the performance of the method in simulating Navier--Stokes flow in a domain with a rotating propeller.


title: Experimental $^7$Be production cross section from the $^7$Li(p,n)$^7$Be reaction at E$_p = 3.5-13$ MeV

abstract: The $^7$Li(p,n)$^7$Be reaction is widely used as neutron source for neutron induced reaction cross section measurements, and for $^7$Be radioactive source production. There are two prominent structures in the excitation function, a narrow resonance between $E_\mathrm{p}= 2.2-2.3$ MeV, and a broad peak, around $E_\mathrm{p}= 5$ MeV. There are tension between the experimental data sets both in the position and the width of this latter structure, as well as in the absolute scale of the data. In the present work the $^7$Li(p,n)$^7$Be reaction is investigated using the activation technique, with the aim of providing comprehensive cross section data covering the second structure and connecting prior literature data sets. The irradiations were performed with the Atomki cyclotron accelerator with pairs of thin foil targets, thus with precisely controlled reaction energy in the range of E$_\mathrm{p} = 3.5-13$ MeV. After the irradiations the activity of the samples was measured using a high-purity germanium detector. The energy uncertainty of the new data points is much smaller than in any of the previous works, while the cross section uncertainty is comparable with the most precise literature data. A consistent data set was obtained connecting the most recent and most precise literature data sets. With the new data the absolute magnitude of the $^7$Li(p,n)$^7$Be reaction cross section is constrained and became more precise.


title: Weak chaos in difference equations

abstract: For a general discrete dynamics on a Banach and Hilbert spaces we give necessary and sufficient conditions of the existence of bounded solutions under assumption that the homogeneous difference equation admits an discrete dichotomy on the semi-axes. We consider the so called resonance (critical) case when the uniqueness of solution is disturbed. We show that admissibility can be reformulated in the terms of generalized or pseudo-invertibility. As an application we consider the case when the corresponding dynamical system is e-trichotomy.


title: SimCKP: Simple Contrastive Learning of Keyphrase Representations

abstract: Keyphrase generation (KG) aims to generate a set of summarizing words or phrases given a source document, while keyphrase extraction (KE) aims to identify them from the text. Because the search space is much smaller in KE, it is often combined with KG to predict keyphrases that may or may not exist in the corresponding document. However, current unified approaches adopt sequence labeling and maximization-based generation that primarily operate at a token level, falling short in observing and scoring keyphrases as a whole. In this work, we propose SimCKP, a simple contrastive learning framework that consists of two stages: 1) An extractor-generator that extracts keyphrases by learning context-aware phrase-level representations in a contrastive manner while also generating keyphrases that do not appear in the document; 2) A reranker that adapts scores for each generated phrase by likewise aligning their representations with the corresponding document. Experimental results on multiple benchmark datasets demonstrate the effectiveness of our proposed approach, which outperforms the state-of-the-art models by a significant margin.


title: Structural analysis of Hindi online handwritten characters for character recognition

abstract: Direction properties of online strokes are used to analyze them in terms of homogeneous regions or sub-strokes with points satisfying common geometric properties. Such sub-strokes are called sub-units. These properties are used to extract sub-units from Hindi ideal online characters. These properties along with some heuristics are used to extract sub-units from Hindi online handwritten characters.\\ A method is developed to extract point stroke, clockwise curve stroke, counter-clockwise curve stroke and loop stroke segments as sub-units from Hindi online handwritten characters. These extracted sub-units are close in structure to the sub-units of the corresponding Hindi online ideal characters.\\ Importance of local representation of online handwritten characters in terms of sub-units is assessed by training a classifier with sub-unit level local and character level global features extracted from characters for character recognition. The classifier has the recognition accuracy of 93.5\% on the testing set. This accuracy is the highest when compared with that of the classifiers trained only with global features extracted from characters in the same training set and evaluated on the same testing set.\\ Sub-unit extraction algorithm and the sub-unit based character classifier are tested on Hindi online handwritten character dataset. This dataset consists of samples from 96 different characters. There are 12832 and 2821 samples in the training and testing sets, respectively.


title: Reconstruction of extended regions in EIT with a generalized Robin transmission condition

abstract: We consider an inverse shape problem coming from electrical impedance tomography with a generalized Robin transmission condition. We will derive an algorithm in order to detect whether two materials that should be in contact are separated or delaminated. More precisely, we assume that the undamaged material or background state is known and shares an interface or boundary with the damaged subregion. The Robin transmission condition on this boundary asymptotically models delamination. We assume that the DtN operator is given from measuring the current on the surface of the material from an imposed voltage. We show that this mapping uniquely recovers the boundary parameters. Furthermore, using this electrostatic Cauchy data as physical measurements, we can determine if all of the coefficients from the Robin transmission condition are real-valued or complex-valued. We study these two cases separately and show that the regularized factorization method can be used to detect whether delamination has occurred and recover the damaged subregion. Numerical examples will be presented for both cases in two dimensions in the unit circle.


title: Emergence of Latent Binary Encoding in Deep Neural Network Classifiers

abstract: We investigate the emergence of binary encoding within the latent space of deep-neural-network classifiers. Such binary encoding is induced by the introduction of a linear penultimate layer, which employs during training a loss function specifically designed to compress the latent representations. As a result of a trade-off between compression and information retention, the network learns to assume only one of two possible values for each dimension in the latent space. The binary encoding is provoked by the collapse of all representations of the same class to the same point, which corresponds to the vertex of a hypercube. By analyzing several datasets of increasing complexity, we provide empirical evidence that the emergence of binary encoding dramatically enhances robustness while also significantly improving the reliability and generalization of the network.


title: Fast Word Error Rate Estimation Using Self-Supervised Representations For Speech And Text

abstract: The quality of automatic speech recognition (ASR) is typically measured by word error rate (WER). WER estimation is a task aiming to predict the WER of an ASR system, given a speech utterance and a transcription. This task has gained increasing attention while advanced ASR systems are trained on large amounts of data. In this case, WER estimation becomes necessary in many scenarios, for example, selecting training data with unknown transcription quality or estimating the testing performance of an ASR system without ground truth transcriptions. Facing large amounts of data, the computation efficiency of a WER estimator becomes essential in practical applications. However, previous works usually did not consider it as a priority. In this paper, a Fast WER estimator (Fe-WER) using self-supervised learning representation (SSLR) is introduced. The estimator is built upon SSLR aggregated by average pooling. The results show that Fe-WER outperformed the e-WER3 baseline relatively by 19.69% and 7.16% on Ted-Lium3 in both evaluation metrics of root mean square error and Pearson correlation coefficient, respectively. Moreover, the estimation weighted by duration was 10.43% when the target was 10.88%. Lastly, the inference speed was about 4x in terms of a real-time factor.


title: Evaluate PAC codes via Efficient Estimation on Weight Distribution

abstract: In this letter, we introduce an efficient method for estimating weight distributions of polar codes and polarization-adjusted convolutional (PAC) codes. Based on a recursive algorithm of computing the weight enumerating functions of polar cosets, this method focuses on two key objectives: accurately determining the number of low-weight codewords and quickly approximating the distribution of high-weight codewords. Simulation results demonstrate that this hybrid method maintains competitively low complexity while effectively achieving the objectives.


title: Probabilistic limit behaviors of numerical discretizations for time-homogeneous Markov processes

abstract: In order to give quantitative estimates for approximating the ergodic limit, we investigate probabilistic limit behaviors of time-averaging estimators of numerical discretizations for a class of time-homogeneous Markov processes, by studying the corresponding strong law of large numbers and the central limit theorem. Verifiable general sufficient conditions are proposed to ensure these limit behaviors, which are related to the properties of strong mixing and strong convergence for numerical discretizations of Markov processes. Our results hold for test functionals with lower regularity compared with existing results, and the analysis does not require the existence of the Poisson equation associated with the underlying Markov process. Notably, our results are applicable to numerical discretizations for a large class of stochastic systems, including stochastic ordinary differential equations, infinite dimensional stochastic evolution equations, and stochastic functional differential equations.


title: Resonant inelastic x-ray scattering of the Jeff = 1/2 Mott insulator Sr2IrO4 from the density-functional theory

abstract: We have investigated the electronic structure of Sr2IrO4 within the density-functional theory using the generalized gradient approximation while taking into account strong Coulomb correlations in the framework of the fully relativistic spin-polarized Dirac linear MT orbital band structure method. We have investigated the x-ray absorption spectra, x-ray magnetic circular dichroism, and resonant inelastic x-ray scattering spectra at the Ir L3 and O K edges. The calculated results are in good agreement with the experimental data. The RIXS spectrum of Sr2IrO4 at the Ir L3 edge in addition to the elastic scattering peak at 0 eV possesses a sharp feature below 1.5 eV corresponding to transitions within the Ir t2g levels. The excitation located from 2 eV to 5 eV is due to t2g-eg transitions. The third wide structure situated at 5-12 eV appears due to transitions between the Ir 5d_O states derived from the tails of oxygen 2p states and eg and t2g states. The RIXS spectrum of Sr2IrO4 at the O K edge consists of three major inelastic excitations at 0.7 eV, 3.5 eV, and around 6.2 eV. We have found that the first low energy feature is due to interband transitions between occupied and empty O t2g transitions, which appear due to the strong hybridization between oxygen 2p and Ir t2g states in the close vicinity of the Fermi level. The next two peaks at around 3.5 and 6.2 eV reflect the interband transitions from the occupied O 2p states and the empty oxygen states which arise from the hybridization with Ir t2g and eg states, respectively. We have found that the theory reproduces well the shape and energy position of the low energy feature, but the second and the third peaks are shifted towards smaller energy in comparison with the experimental measurements.


title: Heights of one- and two-sided congruence lattices of semigroups

abstract: The height of a poset $P$ is the supremum of the cardinalities of chains in $P$. The exact formula for the height of the subgroup lattice of the symmetric group $\mathcal{S}_n$ is known, as is an accurate asymptotic formula for the height of the subsemigroup lattice of the full transformation monoid $\mathcal{T}_n$. Motivated by the related question of determining the heights of the lattices of left- and right congruences of $\mathcal{T}_n$, we develop a general method for computing the heights of lattices of both one- and two-sided congruences for semigroups. We apply this theory to obtain exact height formulae for several monoids of transformations, matrices and partitions, including: the full transformation monoid $\mathcal{T}_n$, the partial transformation monoid $\mathcal{PT}_n$, the symmetric inverse monoid $\mathcal{I}_n$, the monoid of order-preserving transformations $\mathcal{O}_n$, the full matrix monoid $\mathcal{M}(n,q)$, the partition monoid $\mathcal{P}_n$, the Brauer monoid $\mathcal{B}_n$ and the Temperley-Lieb monoid $\mathcal{TL}_n$.


title: Fast Discrete Optimisation for Geometrically Consistent 3D Shape Matching

abstract: In this work we propose to combine the advantages of learning-based and combinatorial formalisms for 3D shape matching. While learning-based shape matching solutions lead to state-of-the-art matching performance, they do not ensure geometric consistency, so that obtained matchings are locally unsmooth. On the contrary, axiomatic methods allow to take geometric consistency into account by explicitly constraining the space of valid matchings. However, existing axiomatic formalisms are impractical since they do not scale to practically relevant problem sizes, or they require user input for the initialisation of non-convex optimisation problems. In this work we aim to close this gap by proposing a novel combinatorial solver that combines a unique set of favourable properties: our approach is (i) initialisation free, (ii) massively parallelisable powered by a quasi-Newton method, (iii) provides optimality gaps, and (iv) delivers decreased runtime and globally optimal results for many instances.


title: Hyperfine structure of methanol lines at 25 GHz

abstract: High-dispersion (channel width 0.015 km s^-1) laboratory spectroscopy of the torsion-rotation lines J_2 - J_1 (J = 2 - 6) in the ground torsional state (vt = 0) of the E-type methanol demonstrates multicomponent hyperfine splitting patterns at 25 GHz. The observed patterns are compared with simulations of CH3OH emission lines based on ab initio quantum-mechanical models. A substantial disparity between the laboratory and simulated patterns is revealed. The observed morphology of the line shapes is not reproduced in the model profiles. The found inconsistency requires further refinement of the current quantum-mechanical models to fit the observed hyperfine splitting patterns at 25 GHz.