title: Structure-informed Language Models Are Protein Designers

abstract: This paper demonstrates that language models are strong structure-based protein designers. We present LM-Design, a generic approach to reprogramming sequence-based protein language models (pLMs), that have learned massive sequential evolutionary knowledge from the universe of natural protein sequences, to acquire an immediate capability to design preferable protein sequences for given folds. We conduct a structural surgery on pLMs, where a lightweight structural adapter is implanted into pLMs and endows it with structural awareness. During inference, iterative refinement is performed to effectively optimize the generated protein sequences. Experiments show that LM-Design improves the state-of-the-art results by a large margin, leading to up to 4% to 12% accuracy gains in sequence recovery (e.g., 55.65%/56.63% on CATH 4.2/4.3 single-chain benchmarks, and >60% when designing protein complexes). We provide extensive and in-depth analyses, which verify that LM-Design can (1) indeed leverage both structural and sequential knowledge to accurately handle structurally non-deterministic regions, (2) benefit from scaling data and model size, and (3) generalize to other proteins (e.g., antibodies and de novo proteins)


title: ShadowFormer: Global Context Helps Image Shadow Removal

abstract: Recent deep learning methods have achieved promising results in image shadow removal. However, most of the existing approaches focus on working locally within shadow and non-shadow regions, resulting in severe artifacts around the shadow boundaries as well as inconsistent illumination between shadow and non-shadow regions. It is still challenging for the deep shadow removal model to exploit the global contextual correlation between shadow and non-shadow regions. In this work, we first propose a Retinex-based shadow model, from which we derive a novel transformer-based network, dubbed ShandowFormer, to exploit non-shadow regions to help shadow region restoration. A multi-scale channel attention framework is employed to hierarchically capture the global information. Based on that, we propose a Shadow-Interaction Module (SIM) with Shadow-Interaction Attention (SIA) in the bottleneck stage to effectively model the context correlation between shadow and non-shadow regions. We conduct extensive experiments on three popular public datasets, including ISTD, ISTD+, and SRD, to evaluate the proposed method. Our method achieves state-of-the-art performance by using up to 150X fewer model parameters.


title: Which entropy for general physical theories?

abstract: We address the problem of quantifying the information content of a source for an arbitrary information theory, where the information content is defined in terms of the asymptotic achievable compression rate. The functions that solve this problem in classical and quantum theory are Shannon's and von Neumann's entropy, respectively. However, in a general information theory there are three different functions that extend the notion of entropy, and this opens the question as to whether any of them can universally play the role of the quantifier for the information content. Here we answer the question in the negative, by evaluating the information content as well as the various entropic functions in a toy theory called Bilocal Classical Theory.


title: Corrugation in a molecular C60 monolayer as a frustrated magnet

abstract: Under certain experimental conditions, the deposition of C60 molecules onto an atomically flat copper surface gives rise to the formation of corrugated islands. This corrugation, which reflects a molecular displacement perpendicular to the surface plane, presents an astonishing pattern: it is well described by a frustrated Ising spin Hamiltonian whose thermodynamics is compatible with a spin liquid about to transit towards an ordered zigzag state. Here we study the statistical properties of such a molecular corrugation using tools generally employed in frustrated magnetism. More specifically, the real and reciprocal space analysis of pairwise molecule correlations allows us to demonstrate that the C60/Cu system, in which magnetism is totally absent, has all the characteristics of a triangular Ising antiferromagnet. Our results indicate that the organization of two-dimensional matter, at the molecular length scale, sometimes turns out to be particularly close to that encountered in highly frustrated magnets.


title: From slides (through tiles) to pixels: an explainability framework for weakly supervised models in pre-clinical pathology

abstract: In pre-clinical pathology, there is a paradox between the abundance of raw data (whole slide images from many organs of many individual animals) and the lack of pixel-level slide annotations done by pathologists. Due to time constraints and requirements from regulatory authorities, diagnoses are instead stored as slide labels. Weakly supervised training is designed to take advantage of those data, and the trained models can be used by pathologists to rank slides by their probability of containing a given lesion of interest. In this work, we propose a novel contextualized eXplainable AI (XAI) framework and its application to deep learning models trained on Whole Slide Images (WSIs) in Digital Pathology. Specifically, we apply our methods to a multi-instance-learning (MIL) model, which is trained solely on slide-level labels, without the need for pixel-level annotations. We validate quantitatively our methods by quantifying the agreements of our explanations' heatmaps with pathologists' annotations, as well as with predictions from a segmentation model trained on such annotations. We demonstrate the stability of the explanations with respect to input shifts, and the fidelity with respect to increased model performance. We quantitatively evaluate the correlation between available pixel-wise annotations and explainability heatmaps. We show that the explanations on important tiles of the whole slide correlate with tissue changes between healthy regions and lesions, but do not exactly behave like a human annotator. This result is coherent with the model training strategy.


title: Topological Gauging and Double Current Deformations

abstract: We study solvable deformations of two-dimensional quantum field theories driven by a bilinear operator constructed from a pair of conserved $U(1)$ currents $J^a$. We propose a quantum formulation of these deformations, based on the gauging of the corresponding symmetries in a path integral. This formalism leads to an exact dressing of the $S$-matrix of the system, similarly as what happens in the case of a $\mathrm{T}\overline{\mathrm{T}}$ deformation. For conformal theories the deformations under study are expected to be exactly marginal. Still, a peculiar situation might arise when the conserved currents $J^a$ are not well-defined local operators in the original theory. A simple example of this kind of system is provided by rotation currents in a theory of multiple free, massless, non-compact bosons. We verify that, somewhat unexpectedly, such a theory is indeed still conformal after deformation and that it coincides with a TsT transformation of the original system. We then extend our formalism to the case in which the conserved currents are non-Abelian and point out its connection with Deformed T-dual Models and homogeneous Yang-Baxter deformations. In this case as well the deformation is based on a gauging of the symmetries involved and it turns out to be non-trivial only if the symmetry group admits a non-trivial central extension. Finally we apply what we learned by relating the $\mathrm{T}\overline{\mathrm{T}}$ deformation to the central extension of the two-dimensional Poincar\'{e} algebra.


title: Conjugacy classes of derangements in finite groups of Lie type

abstract: Let $G$ be a finite almost simple group of Lie type acting faithfully and primitively on a set $\Omega$. We prove an analogue of the Boston--Shalev conjecture for conjugacy classes: the proportion of conjugacy classes of $G$ consisting of derangements is bounded away from zero. This answers a question of Guralnick and Zalesski. The proof is based on results on the anatomy of palindromic polynomials over finite fields (with either reflective symmetry or conjugate-reflective symmetry).


title: First-detection-time statistics in many-body quantum transport

abstract: We study the transport of many partially distinguishable and possibly interacting particles under the action of repeated projective measurements on a target space and investigate how the particles' interference affects the mean first detection time. We contrast the detection of exactly $n$ versus at least $n$ particles, explain divergences in the mean first detection time through spectral properties of the generating evolution operator, and illustrate our findings by an example.


title: Made to measure: an introduction to quantification in microscopy data

abstract: Images are at the core of most modern biological experiments and are used as a major source of quantitative information. Numerous algorithms are available to process images and make them more amenable to be measured. Yet the nature of the quantitative output that is useful for a given biological experiment is uniquely dependent upon the question being investigated. Here, we discuss the 3 main types of visual information that can be extracted from microscopy data: intensity, morphology, and object counts or categorical labels. For each, we describe where they come from, how they can be measured, and what may affect the relevance of these measurements in downstream data analysis. Acknowledging that what makes a measurement "good" is ultimately down to the biological question being investigated, this review aims at providing readers with a toolkit to challenge how they quantify their own data and be critical of conclusions drawn from quantitative bioimage analysis experiments.


title: A space-time adaptive low-rank method for high-dimensional parabolic partial differential equations

abstract: An adaptive method for parabolic partial differential equations that combines sparse wavelet expansions in time with adaptive low-rank approximations in the spatial variables is constructed and analyzed. The method is shown to converge and satisfy similar complexity bounds as existing adaptive low-rank methods for elliptic problems, establishing its suitability for parabolic problems on high-dimensional spatial domains. The construction also yields computable rigorous a posteriori error bounds for such problems. The results are illustrated by numerical experiments.


title: RI/(S)MOM renormalizations of overlap quark bilinears with different levels of hypercubic smearing

abstract: On configurations with 2+1-flavor dynamical domain-wall fermions, we calculate the RI/(S)MOM renormalization constants (RC) of overlap quark bilinears. Hypercubic (HYP) smearing is used to construct the overlap Dirac operator. We investigate the possible effects of the smearing on discretization errors in the RCs by varying the level of smearing from 0 to 1 and 2. The lattice is of size $32^3\times64$ and with lattice spacing $1/a=2.383(9)$ GeV. The RCs in the $\overline{\rm MS}$ scheme at 2 GeV are given at the end, with the uncertainty of $Z_T$ reaching $\le1$% for the tensor current. Results of the renormalized quark masses and hadron matrix elements show that the renormalization procedure suppresses the $\sim$ 30% difference of the bare quantities with or without HYP smearing into the 3%-5% level.


title: The Learnable Typewriter: A Generative Approach to Text Analysis

abstract: We present a generative document-specific approach to character analysis and recognition in text lines. Our main idea is to build on unsupervised multi-object segmentation methods and in particular those that reconstruct images based on a limited amount of visual elements, called sprites. Taking as input a set of text lines with similar font or handwriting, our approach can learn a large number of different characters and leverage line-level annotations when available. Our contribution is twofold. First, we provide the first adaptation and evaluation of a deep unsupervised multi-object segmentation approach for text line analysis. Since these methods have mainly been evaluated on synthetic data in a completely unsupervised setting, demonstrating that they can be adapted and quantitatively evaluated on real images of text and that they can be trained using weak supervision are significant progresses. Second, we show the potential of our method for new applications, more specifically in the field of paleography, which studies the history and variations of handwriting, and for cipher analysis. We demonstrate our approach on three very different datasets: a printed volume of the Google1000 dataset, the Copiale cipher and historical handwritten charters from the 12th and early 13th century.


title: Dynamical Quantum Phase Transitions Following Double Quenches: Persistence of the Initial State vs Dynamical Phases

abstract: Dynamical quantum phase transitions can occur following quenches in quantum systems when the rate function, a dynamical analogue of the free energy, becomes non-analytic at critical times. Here we exhaustively investigate in an exemplary model how the dynamically evolving state responds to a second quench. We demonstrate that for quenches where the initial and final Hamiltonian belong to different phases always result in dynamical quantum phase transitions, irrespective of the intermediate quench and dynamics or the time of the second quench. However, if the initial and final Hamiltonian belong to the same equilibrium phase then the intermediate Hamiltonian must belong to a different phase. In this case, the second quench time in relation to the critical times of the first quench becomes crucial to the existence of dynamical quantum phase transitions.


title: Tunable Resonance and Electron-Phonon Coupling in Layered MoS2

abstract: Resonance Raman scattering, a very effective and sensitive technique for atomically thin semiconducting transition metal dichalcogenide, can be used to observe the phonons from the entire Brillouin zone. In addition to the significance of resonance effect on the Raman spectrum it may also be used to probe the electron-phonon coupling. Our study is devoted to understand the phonons in layered MoS2, especially for very low frequency range (i.e. below 100 cm-1), as a function of temperature under the resonance effect. Understanding the phonon-phonon and electron-phonon coupling and the effects of temperature on the Raman spectrum are the central points of the present study. We observe the anomalous softening and broadening of a very low frequency phonon mode P3 (~34 cm-1) at low temperature ( i.e below 150 K). We attributed the observed anomalous trend in frequency and linewidth of this low frequency phonon to the electron-phonon coupling. Furthermore, our work also highlights the temperature induced tuning of resonance condition via understanding the intensity of phonon modes as a function of temperature.


title: Adversarial blockchain queues and trading on a CFMM

abstract: We describe a plausible probabilistic model for a blockchain queueing environment in which rational, profit-maximising schedulers impose adversarial disciplines on incoming messages containing a payload that encodes a state transition in a machine. The model can be specialised to apply to chains with fixed or variable block times, traditional priority queue disciplines with `honest' schedulers, or adversarial public mempools. We find conditions under which the model behaves as a bulk-service queue with priority discipline and derive practical expressions for the relative block and message number of a transaction. We study this setup in the context of orders to a CFMM DEX where the execution price a user receives may be quite sensitive to its positioning in the chain -- in particular, to a string of transactions scheduled for prior execution which is not knowable at the time of order creation. We derive statistical models for the price impact of this order flow both in the presence and absence of MEV extraction activity.


title: Effective viscosity of methyl cellulose solutions in phosphate buffered saline in real-time deformability cytometry

abstract: Here, we derive the equations to calculate the effective viscosity of solutions of methyl cellulose (MC) dissolved in phosphate buffered saline (PBS) in real-time deformability cytometry (RT-DC) experiments. The calculations are based on the rheometer measurements described by B\"uy\"ukurganci et al. (2022). We outline how to get the final equations and compare the results to the current viscosity model from Herold (2017). These viscosity functions will be used to determine the Young's moduli of biological cells and other soft materials from RT-DC experiments.


title: CVTNet: A Cross-View Transformer Network for Place Recognition Using LiDAR Data

abstract: LiDAR-based place recognition (LPR) is one of the most crucial components of autonomous vehicles to identify previously visited places in GPS-denied environments. Most existing LPR methods use mundane representations of the input point cloud without considering different views, which may not fully exploit the information from LiDAR sensors. In this paper, we propose a cross-view transformer-based network, dubbed CVTNet, to fuse the range image views (RIVs) and bird's eye views (BEVs) generated from the LiDAR data. It extracts correlations within the views themselves using intra-transformers and between the two different views using inter-transformers. Based on that, our proposed CVTNet generates a yaw-angle-invariant global descriptor for each laser scan end-to-end online and retrieves previously seen places by descriptor matching between the current query scan and the pre-built database. We evaluate our approach on three datasets collected with different sensor setups and environmental conditions. The experimental results show that our method outperforms the state-of-the-art LPR methods with strong robustness to viewpoint changes and long-time spans. Furthermore, our approach has a good real-time performance that can run faster than the typical LiDAR frame rate. The implementation of our method is released as open source at: https://github.com/BIT-MJY/CVTNet.


title: The Analytical Method algorithm for trigger primitives generation at the LHC Drift Tubes detector

abstract: The Compact Muon Solenoid (CMS) experiment prepares its Phase-2 upgrade for the high-luminosity era of the LHC operation (HL-LHC). Due to the increase of occupancy, trigger latency and rates, the full electronics of the CMS Drift Tube (DT) chambers will need to be replaced. In the new design, the time bin for the digitisation of the chamber signals will be of around 1~ns, and the totality of the signals will be forwarded asynchronously to the service cavern at full resolution. The new backend system will be in charge of building the trigger primitives of each chamber. These trigger primitives contain the information at chamber level about the muon candidates position, direction, and collision time, and are used as input in the L1 CMS trigger. The added functionalities will improve the robustness of the system against ageing. An algorithm based on analytical solutions for reconstructing the DT trigger primitives, called Analytical Method, has been implemented both as a software C++ emulator and in firmware. Its performance has been estimated using the software emulator with simulated and real data samples, and through hardware implementation tests. Measured efficiencies are 96 to 98\% for all qualities and time and spatial resolutions are close to the ultimate performance of the DT chambers. A prototype chain of the HL-LHC electronics using the Analytical Method for trigger primitive generation has been installed during Long Shutdown 2 of the LHC and operated in CMS cosmic data taking campaigns in 2020 and 2021. Results from this validation step, the so-called Slice Test, are presented.


title: Mind the Gap: Offline Policy Optimization for Imperfect Rewards

abstract: Reward function is essential in reinforcement learning (RL), serving as the guiding signal to incentivize agents to solve given tasks, however, is also notoriously difficult to design. In many cases, only imperfect rewards are available, which inflicts substantial performance loss for RL agents. In this study, we propose a unified offline policy optimization approach, \textit{RGM (Reward Gap Minimization)}, which can smartly handle diverse types of imperfect rewards. RGM is formulated as a bi-level optimization problem: the upper layer optimizes a reward correction term that performs visitation distribution matching w.r.t. some expert data; the lower layer solves a pessimistic RL problem with the corrected rewards. By exploiting the duality of the lower layer, we derive a tractable algorithm that enables sampled-based learning without any online interactions. Comprehensive experiments demonstrate that RGM achieves superior performance to existing methods under diverse settings of imperfect rewards. Further, RGM can effectively correct wrong or inconsistent rewards against expert preference and retrieve useful information from biased rewards.


title: Empirical analysis in limit order book modeling for Nikkei 225 Stocks with Cox-type intensities

abstract: In this paper, we build on the analysis of Muni Toke and Yoshida (2020) and conduct several empirical studies using high-frequency financial data. Muni Toke and Yoshida (2020) showed the consistency and asymptotic behavior of the Cox-type model estimators for relative intensities of orders in the limit order book, and then by using high-frequency trading data for 36 stocks traded on the Paris Stock Exchange, they carry out model selection and trading sign prediction. In this study, we add new covariates and carry out model selection and trading sign prediction using high-frequency trading data for 222 stocks traded on the Tokyo Stock Exchange. We not only show that the Cox-type model performs well in the Japanese market as well as in the Euronext Paris market, but also present the key factors for more accurate estimation. We also suggest how often the covariates should be calibrated.


title: All-coupling solution for the continuous polaron problem in the Schr\"{o}dinger representation

abstract: The solution for the large-radius Fr\"{o}hlich polaron in the Schr\"{o}dinger representation of the quantum theory is constructed in the entire range of variation of the coupling constant. The energy and the effective mass of the polaron are calculated by simple algebraic transformations and are analogous to the results found by Feynman on the basis of the variational principle for the path-integrals of this system. It allows us to solve the long-lived problem of the inequalities of the functional and operator approaches for the polaron problem. The developed method is important for other models of particle-field interaction including those ones for which the standard perturbation theory is divergent.


title: The liberation set in the inverse eigenvalue problem of a graph

abstract: The inverse eigenvalue problem of a graph $G$ is the problem of characterizing all lists of eigenvalues of real symmetric matrices whose off-diagonal pattern is prescribed by the adjacencies of $G$. The strong spectral property is a powerful tool in this problem, which identifies matrices whose entries can be perturbed while controlling the pattern and preserving the eigenvalues. The Matrix Liberation Lemma introduced by Barrett et al.~in 2020 advances the notion to a more general setting. In this paper we revisit the Matrix Liberation Lemma and prove an equivalent statement, that reduces some of the technical difficulties in applying the result. We test our method on matrices of the form $M=A \oplus B$ and show how this new approach supplements the results that can be obtained from the strong spectral property only. While extending this notion to the direct sums of graphs, we discover a surprising connection with the zero forcing game on Cartesian products of graphs. Throughout the paper we apply our results to resolve a selection of open cases for the inverse eigenvalue problem of a graph on six vertices.


title: Moir\'e Fringes in Conductive Atomic Force Microscopy

abstract: Moir\'e physics plays an important role for the characterization of functional materials and the engineering of physical properties in general, ranging from strain-driven transport phenomena to superconductivity. Here, we report the observation of moir\'e fringes in conductive atomic force microscopy (cAFM) scans gained on the model ferroelectric Er(Mn,Ti)O$_3$. By performing a systematic study of the impact of key experimental parameters on the emergent moir\'e fringes, such as scan angle and pixel density, we demonstrate that the observed fringes arise due to a superposition of the applied raster scanning and sample-intrinsic properties, classifying the measured modulation in conductance as a scanning moir\'e effect. Our findings are important for the investigation of local transport phenomena in moir\'e engineered materials by cAFM, providing a general guideline for distinguishing extrinsic from intrinsic moir\'e effects. Furthermore, the experiments provide a possible pathway for enhancing the sensitivity, pushing the resolution limit of local transport measurements by probing conductance variations at the spatial resolution limit via more long-ranged moir\'e patterns.


title: The Role of Game Networking in the Fusion of Physical and Digital Worlds through 6G Wireless

abstract: The sixth generation (6G) of wireless technology is seen as one of the enablers of real-time fusion of the physical and digital realms, as in Digital Twin, eXtended reality, or the Metaverse. This would allow people to interact, work, and entertain themselves in an immersive social network of online 3D virtual environments. From the viewpoint of communication and networking, this will represent an evolution of the game networking technology, designed to interconnect massive users in real-time online gaming environments. This article presents the basic principles of game networking and discusses their evolution towards meeting the requirements of the Metaverse and similar applications. Several open research challenges are discussed, along with possible solutions through experimental case studies.


title: Electro-thermal modelling by novel variational methods: racetrack coil in short-circuit

abstract: The design of superconducting applications containing windings of superconducting wires or tapes requires electro-thermal quench modelling. In this article, we present a reliable numerical method based on a variational principle and we benchmark it to a conventional finite difference method that we implemented in C++. As benchmark problem, we consider a racetrack coil made of REBCO superconducting tape under short circuit, approximated as a DC voltage that appears at the initial time. Results show that both models agree with each other and analytical limits. Since both models take screening currents into account, they are promising for the design of magnets (especially fast-ramp magnets) and power applications, such as the stator windings of superconducting motors or generators.


title: Regularized coupling multiscale method for thermomechanical coupled problems

abstract: The coupling effects in multiphysics processes are often neglected in designing multiscale methods. The coupling may be described by a non-positive definite operator, which in turn brings significant challenges in multiscale simulations. In the paper, we develop a regularized coupling multiscale method based on the generalized multiscale finite element method (GMsFEM) to solve coupled thermomechanical problems, and it is referred to as the coupling generalized multiscale finite element method (CGMsFEM). The method consists of defining the coupling multiscale basis functions through local regularized coupling spectral problems in each coarse-grid block, which can be implemented by a novel design of two relaxation parameters. Compared to the standard GMsFEM, the proposed method can not only accurately capture the multiscale coupling correlation effects of multiphysics problems but also greatly improve computational efficiency with fewer multiscale basis functions. In addition, the convergence analysis is also established, and the optimal error estimates are derived, where the upper bound of errors is independent of the magnitude of the relaxation coefficient. Several numerical examples for periodic, random microstructure, and random material coefficients are presented to validate the theoretical analysis. The numerical results show that the CGMsFEM shows better robustness and efficiency than uncoupled GMsFEM.


title: Enabling Relational Database Analytical Processing in Bulk-Bitwise Processing-In-Memory

abstract: Bulk-bitwise processing-in-memory (PIM), an emerging computational paradigm utilizing memory arrays as computational units, has been shown to benefit database applications. This paper demonstrates how GROUP-BY and JOIN, database operations not supported by previous works, can be performed efficiently in bulk-bitwise PIM for relational database analytical processing. We extend the gem5 simulator and evaluated our hardware modifications on the Star Schema Benchmark. We show that compared to previous works, our modifications improve (on average) execution time by 1.83X, energy by 4.31X, and the system's lifetime by 3.21X. We also achieved a speedup of 4.65X over MonetDB, a modern state-of-the-art in-memory database.


title: Show me your NFT and I tell you how it will perform: Multimodal representation learning for NFT selling price prediction

abstract: Non-Fungible Tokens (NFTs) represent deeds of ownership, based on blockchain technologies and smart contracts, of unique crypto assets on digital art forms (e.g., artworks or collectibles). In the spotlight after skyrocketing in 2021, NFTs have attracted the attention of crypto enthusiasts and investors intent on placing promising investments in this profitable market. However, the NFT financial performance prediction has not been widely explored to date. In this work, we address the above problem based on the hypothesis that NFT images and their textual descriptions are essential proxies to predict the NFT selling prices. To this purpose, we propose MERLIN, a novel multimodal deep learning framework designed to train Transformer-based language and visual models, along with graph neural network models, on collections of NFTs' images and texts. A key aspect in MERLIN is its independence on financial features, as it exploits only the primary data a user interested in NFT trading would like to deal with, i.e., NFT images and textual descriptions. By learning dense representations of such data, a price-category classification task is performed by MERLIN models, which can also be tuned according to user preferences in the inference phase to mimic different risk-return investment profiles. Experimental evaluation on a publicly available dataset has shown that MERLIN models achieve significant performances according to several financial assessment criteria, fostering profitable investments, and also beating baseline machine-learning classifiers based on financial features.


title: Revisiting Personalized Federated Learning: Robustness Against Backdoor Attacks

abstract: In this work, besides improving prediction accuracy, we study whether personalization could bring robustness benefits to backdoor attacks. We conduct the first study of backdoor attacks in the pFL framework, testing 4 widely used backdoor attacks against 6 pFL methods on benchmark datasets FEMNIST and CIFAR-10, a total of 600 experiments. The study shows that pFL methods with partial model-sharing can significantly boost robustness against backdoor attacks. In contrast, pFL methods with full model-sharing do not show robustness. To analyze the reasons for varying robustness performances, we provide comprehensive ablation studies on different pFL methods. Based on our findings, we further propose a lightweight defense method, Simple-Tuning, which empirically improves defense performance against backdoor attacks. We believe that our work could provide both guidance for pFL application in terms of its robustness and offer valuable insights to design more robust FL methods in the future. We open-source our code to establish the first benchmark for black-box backdoor attacks in pFL: https://github.com/alibaba/FederatedScope/tree/backdoor-bench.


title: A complex dust morphology in the high-luminosity AGN Mrk 876

abstract: Recent models for the inner structure of active galactic nuclei (AGN) advocate the presence of a radiatively accelerated, dusty outflow launched from the outer regions of the accretion disk. Here we present the first near-infrared (near-IR) variable (rms) spectrum for the high-luminosity, nearby AGN Mrk 876. We find that it tracks the accretion disk spectrum out to longer wavelengths than the mean spectrum due to a reduced dust emission. The implied outer accretion disk radius is consistent with the infrared results predicted by a contemporaneous optical accretion disk reverberation mapping campaign and much larger than the self-gravity radius. The reduced flux variability of the hot dust could be either due to the presence of a secondary, constant dust component in the mean spectrum or introduced by the destructive superposition of the dust and accretion disk variability signals or some combination of both. Assuming thermal equilibrium for optically thin dust, we derive the luminosity-based dust radius for different grain properties using our measurement of the temperature. We find that in all cases considered the values are significantly larger than the dust response time measured by IR photometric monitoring campaigns, with the least discrepancy present relative to the result for a wavelength-independent dust emissivity law, i.e. a blackbody, which is appropriate for large grain sizes. This result can be well explained by assuming a flared, disk-like structure for the hot dust.


title: Moduli of polarized Enriques surfaces -- computational aspects

abstract: Moduli spaces of (polarized) Enriques surfaces can be described as open subsets of modular varieties of orthogonal type. It was shown by Gritsenko and Hulek that there are, up to isomorphism, only finitely many different moduli spaces of polarized Enriques surfaces. Here we investigate the possible arithmetic groups and show that there are exactly $87$ such groups up to conjugacy. We also show that all moduli spaces are dominated by a moduli space of polarized Enriques surfaces of degree $1240$. Ciliberto, Dedieu, Galati, and Knutsen have also investigated moduli spaces of polarized Enriques surfaces in detail. We discuss how our enumeration relates to theirs. We further compute the Tits building of the groups in question. Our computation is based on groups and indefinite quadratic forms and the algorithms used are explained.


title: Two-Stage Constrained Actor-Critic for Short Video Recommendation

abstract: The wide popularity of short videos on social media poses new opportunities and challenges to optimize recommender systems on the video-sharing platforms. Users sequentially interact with the system and provide complex and multi-faceted responses, including watch time and various types of interactions with multiple videos. One the one hand, the platforms aims at optimizing the users' cumulative watch time (main goal) in long term, which can be effectively optimized by Reinforcement Learning. On the other hand, the platforms also needs to satisfy the constraint of accommodating the responses of multiple user interactions (auxiliary goals) such like, follow, share etc. In this paper, we formulate the problem of short video recommendation as a Constrained Markov Decision Process (CMDP). We find that traditional constrained reinforcement learning algorithms can not work well in this setting. We propose a novel two-stage constrained actor-critic method: At stage one, we learn individual policies to optimize each auxiliary signal. At stage two, we learn a policy to (i) optimize the main signal and (ii) stay close to policies learned at the first stage, which effectively guarantees the performance of this main policy on the auxiliaries. Through extensive offline evaluations, we demonstrate effectiveness of our method over alternatives in both optimizing the main goal as well as balancing the others. We further show the advantage of our method in live experiments of short video recommendations, where it significantly outperforms other baselines in terms of both watch time and interactions. Our approach has been fully launched in the production system to optimize user experiences on the platform.


title: Improving the Timing Resolution of Positron Emission Tomography Detectors Using Boosted Learning -- A Residual Physics Approach

abstract: Artificial intelligence (AI) is entering medical imaging, mainly enhancing image reconstruction. Nevertheless, improvements throughout the entire processing, from signal detection to computation, potentially offer significant benefits. This work presents a novel and versatile approach to detector optimization using machine learning (ML) and residual physics. We apply the concept to positron emission tomography (PET), intending to improve the coincidence time resolution (CTR). PET visualizes metabolic processes in the body by detecting photons with scintillation detectors. Improved CTR performance offers the advantage of reducing radioactive dose exposure for patients. Modern PET detectors with sophisticated concepts and read-out topologies represent complex physical and electronic systems requiring dedicated calibration techniques. Traditional methods primarily depend on analytical formulations successfully describing the main detector characteristics. However, when accounting for higher-order effects, additional complexities arise matching theoretical models to experimental reality. Our work addresses this challenge by combining traditional calibration with AI and residual physics, presenting a highly promising approach. We present a residual physics-based strategy using gradient tree boosting and physics-guided data generation. The explainable AI framework SHapley Additive exPlanations (SHAP) was used to identify known physical effects with learned patterns. In addition, the models were tested against basic physical laws. We were able to improve the CTR significantly (more than 20%) for clinically relevant detectors of 19 mm height, reaching CTRs of 185 ps (450-550 keV).


title: NBA-OMP: Near-field Beam-Split-Aware Orthogonal Matching Pursuit for Wideband THz Channel Estimation

abstract: The sixth-generation networks envision the terahertz (THz) band as one of the key enabling technologies because of its ultrawide bandwidth. To combat the severe attenuation, the THz wireless systems employ large arrays, wherein the near-field beam-split (NB) severely degrades the accuracy of channel acquisition. Contrary to prior works that examine only either narrowband beamforming or far-field models, we estimate the wideband THz channel via an NB-aware orthogonal matching pursuit (NBA-OMP) approach. We design an NBA dictionary of near-field steering vectors by exploiting the corresponding angular and range deviation. Our OMP algorithm accounts for this deviation thereby ipso facto mitigating the effect of NB. Numerical experiments demonstrate the effectiveness of the proposed channel estimation technique for wideband THz systems.


title: A mixture logistic model for panel data with a Markov structure

abstract: In this study, we propose a mixture logistic regression model with a Markov structure, and consider the estimation of model parameters using maximum likelihood estimation. We also provide a forward type variable selection algorithm to choose the important explanatory variables to reduce the number of parameters in the proposed model.


title: Experimental demonstration of a magnetically induced warping transition in a topological insulator mediated by rare-earth surface dopants

abstract: Magnetic topological insulators (MTI) constitute a novel class of materials where the topologically protected band structure coexists with long-range ferromagnetic order, which can lead to the breaking of time-reversal symmetry (TRS), introducing a bandgap in the Dirac cone-shaped topological surface state (TSS). The gap opening in MITs has been predicted to be accompanied by a distortion in the TSS, evolving its warped shape from hexagonal to trigonal. In this work, we demonstrate such a transition by means of angle-resolved photoemission spectroscopy after the deposition of low concentrations of magnetic rare earths, namely Er and Dy, on the ternary three-dimensional prototypical topological insulator Bi$_2$Se$_2$Te. Signatures of the gap opening occurring as a consequence of the TRS breaking have also been observed, whose existence is supported by the observation of the aforementioned transition. Moreover, increasing the Er coverage results in a tunable p-type doping of the TSS. As a consequence, the Fermi level (E$_{\textrm{F}}$) of our Bi$_2$Se$_2$Te crystals can be gradually tuned towards the TSS Dirac point, and therefore to the magnetically induced bandgap; thus fulfilling two of the necessary prerequisites for the realization of the quantum anomalous Hall effect (QAHE) in this system. The experimental results are rationalized by a theoretical model where a magnetic Zeeman out-of-plane term is introduced in the hamiltonian governing the TSS band dispersion. Our results offer new strategies to control magnetic interactions with TSSs based on a simple approach and open up viable routes for the realization of the QAHE.


title: On some interesting tasks from classical theory of numbers

abstract: Expressions of type $(p^q-1)/(p-1)$ and $a^2+ab+b^2$, where $a, b$ are natural and $p, q$ are prime numbers, are studied.


title: Playing with Data: An Augmented Reality Approach to Interact with Visualizations of Industrial Process Tomography

abstract: Industrial process tomography (IPT) is a specialized imaging technique widely used in industrial scenarios for process supervision and control. Today, augmented/mixed reality (AR/MR) is increasingly being adopted in many industrial occasions, even though there is still an obvious gap when it comes to IPT. To bridge this gap, we propose the first systematic AR approach using optical see-through (OST) head mounted displays (HMDs) with comparative evaluation for domain users towards IPT visualization analysis. The proof-of-concept was demonstrated by a within-subject user study (n=20) with counterbalancing design. Both qualitative and quantitative measurements were investigated. The results showed that our AR approach outperformed conventional settings for IPT data visualization analysis in bringing higher understandability, reduced task completion time, lower error rates for domain tasks, increased usability with enhanced user experience, and a better recommendation level. We summarize the findings and suggest future research directions for benefiting IPT users with AR/MR.


title: Better Training of GFlowNets with Local Credit and Incomplete Trajectories

abstract: Generative Flow Networks or GFlowNets are related to Monte-Carlo Markov chain methods (as they sample from a distribution specified by an energy function), reinforcement learning (as they learn a policy to sample composed objects through a sequence of steps), generative models (as they learn to represent and sample from a distribution) and amortized variational methods (as they can be used to learn to approximate and sample from an otherwise intractable posterior, given a prior and a likelihood). They are trained to generate an object $x$ through a sequence of steps with probability proportional to some reward function $R(x)$ (or $\exp(-\mathcal{E}(x))$ with $\mathcal{E}(x)$ denoting the energy function), given at the end of the generative trajectory. Like for other RL settings where the reward is only given at the end, the efficiency of training and credit assignment may suffer when those trajectories are longer. With previous GFlowNet work, no learning was possible from incomplete trajectories (lacking a terminal state and the computation of the associated reward). In this paper, we consider the case where the energy function can be applied not just to terminal states but also to intermediate states. This is for example achieved when the energy function is additive, with terms available along the trajectory. We show how to reparameterize the GFlowNet state flow function to take advantage of the partial reward already accrued at each state. This enables a training objective that can be applied to update parameters even with incomplete trajectories. Even when complete trajectories are available, being able to obtain more localized credit and gradients is found to speed up training convergence, as demonstrated across many simulations.


title: Optical Kerr nonlinearity of dielectric nanohole array metasurfaces with different hole shapes near the anapole state

abstract: At present, optical anapole resonances in nanostructures have attracted increasing attention due to the strong field confinement and substantially suppressed scattering. This study provides the results of three-dimensional finite-difference time-domain simulations exhibiting the possibility of the anapole state in high refractive index dielectric nanohole array metasurfaces having different profiles of the holes (square, hexagon, and octagon). Behavior of the effective optical Kerr nonlinearity of the metasurfaces in the vicinity of the anapole state is investigated. Depending on the geometry, the absolute value of the effective nonlinear Kerr coefficient of the metasurface may be up to three orders of magnitude greater than that of the unstructured film. A square transverse section of the nanohole is preferable for the optical Kerr effect in the holey metasurfaces. The effect of the random rotation of the square holes representing the metasurface irregularity on the optical nonlinearity is examined. As a result, the dielectric nanohole array metasurfaces display a concrete possibility to have the anapole state with large enhancement of the optical nonlinearity.


title: Algorithms and radiation dynamics for the vicinity of black holes. II. Results

abstract: We present the results of our studies on accretion disks in the proximity of astrophysical black holes. These disks can be of varying degrees of opacity, geometrical shapes, sizes, and volumes. The central compact object is a Schwarzschild or a Kerr black hole of various spin parameters. We describe the environment and the physics of the systems under examination and the disk models considered. We first investigate the effects of the {spacetime} rotation on photon trajectories. We then examine the radiation forces recorded at various points of the arrangement inside and outside the disk material, and in the inner, outer, and off-equatorial material orbits. We document and explore the radiation effects, which are revealed to be significant and {positively} consequential. Afterward, we inspect the possible imaging outcome of various types of black hole and accretion disk configurations, and we show our results for plots that could be used to estimate the central black hole spin in a system. Finally, we show results regarding the disk material orbit degradation due to its thermal radiation.


title: See or Hear? Exploring the Effect of Visual and Audio Hints and Gaze-assisted Task Feedback for Visual Search Tasks in Augmented Reality

abstract: Augmented reality (AR) is emerging in visual search tasks for increasingly immersive interactions with virtual objects. We propose an AR approach providing visual and audio hints along with gaze-assisted instant post-task feedback for search tasks based on mobile head-mounted display (HMD). The target case was a book-searching task, in which we aimed to explore the effect of the hints together with the task feedback with two hypotheses. H1: Since visual and audio hints can positively affect AR search tasks, the combination outperforms the individuals. H2: The gaze-assisted instant post-task feedback can positively affect AR search tasks. The proof-of-concept was demonstrated by an AR app in HMD and a comprehensive user study (n=96) consisting of two sub-studies, Study I (n=48) without task feedback and Study II (n=48) with task feedback. Following quantitative and qualitative analysis, our results partially verified H1 and completely verified H2, enabling us to conclude that the synthesis of visual and audio hints conditionally improves the AR visual search task efficiency when coupled with task feedback.


title: LIQUID: A Framework for List Question Answering Dataset Generation

abstract: Question answering (QA) models often rely on large-scale training datasets, which necessitates the development of a data generation framework to reduce the cost of manual annotations. Although several recent studies have aimed to generate synthetic questions with single-span answers, no study has been conducted on the creation of list questions with multiple, non-contiguous spans as answers. To address this gap, we propose LIQUID, an automated framework for generating list QA datasets from unlabeled corpora. We first convert a passage from Wikipedia or PubMed into a summary and extract named entities from the summarized text as candidate answers. This allows us to select answers that are semantically correlated in context and is, therefore, suitable for constructing list questions. We then create questions using an off-the-shelf question generator with the extracted entities and original passage. Finally, iterative filtering and answer expansion are performed to ensure the accuracy and completeness of the answers. Using our synthetic data, we significantly improve the performance of the previous best list QA models by exact-match F1 scores of 5.0 on MultiSpanQA, 1.9 on Quoref, and 2.8 averaged across three BioASQ benchmarks.


title: On the Time Momentum Representation of Hadronic Vacuum Polarization and $\boldsymbol{g_{\mu}-2}$

abstract: We propose a new set of model independent approximants adapted to the time momentum representation (TMR) of hadronic vacuum polarization (HVP) and its contribution to $g_{\mu}-2$. They provide a way to extrapolate lattice QCD (LQCD) results obtained in an optimal time-region, to the full range required for an evaluation of the HVP contribution to $g_{\mu}-2$. They offer as well a new way to confront LQCD results in restricted TMR regions, with the full contribution obtained from data driven determinations.


title: Evaluation of small-area estimation methods for mortality schedules

abstract: Mortality patterns at a subnational level or across subpopulations are often used to examine the health of a population. In small populations, however, death counts are erratic. To deal with this problem, demographers have proposed different methods but it is unclear how these methods relate to each other. We aim to provide guidance. First, we review recent demographic small-area methods for mortality schedules. Second, we evaluate three methodological approaches using simulated data. We show that there is considerable variability in the performance across ages and subpopulations/regions and that this performance can depend on the choice of incorporated demographic knowledge.


title: Coevolving Boolean and Multi-Valued Regulatory Networks

abstract: Random Boolean networks have been used widely to explore aspects of gene regulatory networks. A modified form of the model through which to systematically explore the effects of increasing the number of gene states has previously been introduced. In this paper, these discrete dynamical networks are coevolved within coupled, rugged fitness landscapes to explore their behaviour. Results suggest the general properties of the Boolean model remain with higher valued logic regardless of the update scheme or fitness sampling method. Introducing topological asymmetry in the coevolving networks is seen to alter behaviour.


title: Symmetric hypergraph states: Entanglement quantification and robust Bell nonlocality

abstract: Quantum hypergraph states are the natural generalization of graph states. Here we investigate and analytically quantify entanglement and nonlocality for large classes of quantum hypergraph states. More specifically, we connect the geometric measure of entanglement of symmetric hypergraphs to their local Pauli stabilizers. As a result we recognize the resemblance between symmetric graph states and symmetric hypergraph states, which explains both, exponentially increasing violation of local realism for infinitely many classes of hypergraph states and its robustness towards particle loss.


title: Hunting for the hidden-charm molecular states with strange quark in $B$ and $B_s$ decays

abstract: In the present work, we investigate the productions of the molecular states composed of $D^{(*)}_s \bar{D}^{(*)}$ and $D^{(*)}_s \bar{D}^{(*)}_s$ in the $B$ and $B_s$ decays by using an effective Lagrangian approach. The branching ratios in terms of the model parameter $\alpha$ and the binding energy $\Delta E$ are estimated. Our estimations indicate that the branching fractions are of the order of $10^{-4}$ and the relative ratios are very weakly dependent on the model parameter $\alpha$ and the binding energy $\Delta E$. The predicted ratios are helpful for searching the hidden-charm molecular states with strange quark in the future experiments at Belle II and LHCb.


title: Orthogonal-Time-Frequency-Space Signal Design for Integrated Data and Energy Transfer: Benefits from Doppler Offsets

abstract: Integrated data and energy transfer (IDET) is an advanced technology for enabling energy sustainability for massively deployed low-power electronic consumption components. However, the existing work of IDET using the orthogonal-frequency-division-multiplexing (OFDM) waveforms is designed for static scenarios, which would be severely affected by the destructive Doppler offset in high-mobility scenarios. Therefore, we proposed an IDET system based on orthogonal-time-frequency-space (OTFS) waveforms with the imperfect channel assumption, which is capable of counteracting the Doppler offset in high-mobility scenarios. At the transmitter, the OTFS-IDET system superimposes the random data signals and deterministic energy signals in the delay-Doppler (DD) domain with optimally designed amplitudes. The receiver optimally splits the received signal in the power domain for achieving the best IDET performance. After formulating a non-convex optimisation problem, it is transformed into a geometric programming (GP) problem through inequality relaxations to obtain the optimal solution. The simulation demonstrates that a higher amount of energy can be harvested when employing our proposed OTFS-IDET waveforms than the conventional OFDM-IDET ones in high mobility scenarios.


title: Variation and oscillation for semigroups associated with discrete Jacobi operators

abstract: In this paper we prove weighted $\ell^p$-inequalities for variation and oscillation operators defined by semigroups of operators associated with discrete Jacobi operators. Also, we establish that certain maximal operators involving sums of differences of discrete Jacobi semigroups are bounded on weighted $\ell^p$-spaces. $\ell^p$-boundedness properties for the considered operators provide information about the convergence of the semigroup of operators defining them.


title: Wave Statistics and Energy Dissipation of Breaking Waves Generated by a Wave Plate

abstract: The present study focuses on direct numerical simulations of breaking waves generated by a wave plate at constant water depths. The aim is to quantify the dynamics and kinematics in the breaking process, together with the air entrainment and energy dissipation due to breaking. Good agreement is achieved between numerical and experimental results in terms of free-surface profiles, energy budget, and bubble statistics during wave breaking. A parametric study was conducted to examine the effects of wave properties and initial conditions on breaking features. According to research on the Bond number ($Bo$, the ratio of gravitational to surface tension forces), a larger surface tension produces more significant parasitic capillaries at the forward face of the wave profile and a thicker plunging jet, which causes a delayed breaking time and is tightly correlated with the main cavity size. A close relationship between wave statistics and the initial conditions of the wave plate is discovered, showing that breaker types can be classified according to the ratio of wave height to water depth, $H/d$. Moreover, the energy dissipation rate due to breaking can be related to the initial conditions of the wave plate by applying the conventional dissipation scaling of turbulence theory, and further correlated with the local breaking crest geometry using inertial-scaling arguments. The proposed scaling of the dissipation rate during the active breaking period is found to be in good agreement with our numerical results.


title: A new turbulence model based on scale decomposition

abstract: Based on the characteristics of the multi-scale and similarity at different scales in turbulent flow, we propose a scale decomposition for solving the turbulence problem of incompressible Newtonian fluid. The solution domain is decomposed into two-level scales, the large scale component represents mean flow and large scale eddies, and the small scale one represents the turbulent fluctuations. The problem is solved in large scale by the equations of motion and the effect of the turbulent fluctuations on the mean flow is evaluated approximately by using equivalent eddy. Furthermore, the effect of equivalent eddy is decomposed into two parts including convective effect and diffusion effect, which is expressed as a function of mean quantities in large scale. The modified Naiver-Stokes equations are established, there ensures the closure of the equations in large scale. Finally, the modified Naiver-Stokes equations is verified by the numerical simulation. Flow around cylinder is numerically investigated and able to obtain flow behavior from low to high Reynolds numbers. A general-purpose turbulence model is established in this study, which is worthy of engineering application.


title: Where and How to Improve Graph-based Spatio-temporal Predictors

abstract: This paper introduces a novel residual correlation analysis, called AZ-analysis, to assess the optimality of spatio-temporal predictive models. The proposed AZ-analysis constitutes a valuable asset for discovering and highlighting those space-time regions where the model can be improved with respect to performance. The AZ-analysis operates under very mild assumptions and is based on a spatio-temporal graph that encodes serial and functional dependencies in the data; asymptotically distribution-free summary statistics identify existing residual correlation in space and time regions, hence localizing time frames and/or communities of sensors, where the predictor can be improved.


title: The low density, hot Jupiter TOI-640 b is on a polar orbit

abstract: TOI-640 b is a hot, puffy Jupiter with a mass of $0.57 \pm 0.02$ M$_{\rm J}$ and radius of $1.72 \pm 0.05$ R$_{\rm J}$, orbiting a slightly evolved F-type star with a separation of $6.33^{+0.07}_{-0.06}$ R$_\star$. Through spectroscopic in-transit observations made with the HARPS spectrograph, we measured the Rossiter-McLaughlin effect, analysing both in-transit radial velocities and the distortion of the stellar spectral lines. From these observations, we find the host star to have a projected obliquity of $\lambda=184\pm3^\circ$. From the TESS light curve, we measured the stellar rotation period, allowing us to determine the stellar inclination, $i_\star=23^{+3\circ}_{-2}$, meaning we are viewing the star pole-on. Combining this with the orbital inclination allowed us to calculate the host star obliquity, $\psi=104\pm2^\circ$. TOI-640 b joins a group of planets orbiting over stellar poles within the range $80^\circ-125^\circ$. The origin of this orbital configuration is not well understood.


title: DAMS-LIO: A Degeneration-Aware and Modular Sensor-Fusion LiDAR-inertial Odometry

abstract: With robots being deployed in increasingly complex environments like underground mines and planetary surfaces, the multi-sensor fusion method has gained more and more attention which is a promising solution to state estimation in the such scene. The fusion scheme is a central component of these methods. In this paper, a light-weight iEKF-based LiDAR-inertial odometry system is presented, which utilizes a degeneration-aware and modular sensor-fusion pipeline that takes both LiDAR points and relative pose from another odometry as the measurement in the update process only when degeneration is detected. Both the Cramer-Rao Lower Bound (CRLB) theory and simulation test are used to demonstrate the higher accuracy of our method compared to methods using a single observation. Furthermore, the proposed system is evaluated in perceptually challenging datasets against various state-of-the-art sensor-fusion methods. The results show that the proposed system achieves real-time and high estimation accuracy performance despite the challenging environment and poor observations.


title: Domain Adaptation via Alignment of Operation Profile for Remaining Useful Lifetime Prediction

abstract: Effective Prognostics and Health Management (PHM) relies on accurate prediction of the Remaining Useful Life (RUL). Data-driven RUL prediction techniques rely heavily on the representativeness of the available time-to-failure trajectories. Therefore, these methods may not perform well when applied to data from new units of a fleet that follow different operating conditions than those they were trained on. This is also known as domain shifts. Domain adaptation (DA) methods aim to address the domain shift problem by extracting domain invariant features. However, DA methods do not distinguish between the different phases of operation, such as steady states or transient phases. This can result in misalignment due to under- or over-representation of different operation phases. This paper proposes two novel DA approaches for RUL prediction based on an adversarial domain adaptation framework that considers the different phases of the operation profiles separately. The proposed methodologies align the marginal distributions of each phase of the operation profile in the source domain with its counterpart in the target domain. The effectiveness of the proposed methods is evaluated using the New Commercial Modular Aero-Propulsion System (N-CMAPSS) dataset, where sub-fleets of turbofan engines operating in one of the three different flight classes (short, medium, and long) are treated as separate domains. The experimental results show that the proposed methods improve the accuracy of RUL predictions compared to current state-of-the-art DA methods.


title: Consistent and convergent discretizations of Helfrich-type energies on general meshes

abstract: We show that integral curvature energies on surfaces of the type $E_0(M) := \int_M f(x,n_M(x),D n_M(x))\,d\mathcal{H}^2(x)$ have discrete versions for triangular complexes, where the shape operator $D n_M$ is replaced by the piecewise gradient of a piecewise affine edge director field. We combine an ansatz-free asymptotic lower bound for any uniform approximation of a surface with triangular complexes and a recovery sequence consisting of any regular triangulation of the limit sequence and an almost optimal choice of edge director.


title: GTV: Generating Tabular Data via Vertical Federated Learning

abstract: Generative Adversarial Networks (GANs) have achieved state-of-the-art results in tabular data synthesis, under the presumption of direct accessible training data. Vertical Federated Learning (VFL) is a paradigm which allows to distributedly train machine learning model with clients possessing unique features pertaining to the same individuals, where the tabular data learning is the primary use case. However, it is unknown if tabular GANs can be learned in VFL. Demand for secure data transfer among clients and GAN during training and data synthesizing poses extra challenge. Conditional vector for tabular GANs is a valuable tool to control specific features of generated data. But it contains sensitive information from real data - risking privacy guarantees. In this paper, we propose GTV, a VFL framework for tabular GANs, whose key components are generator, discriminator and the conditional vector. GTV proposes an unique distributed training architecture for generator and discriminator to access training data in a privacy-preserving manner. To accommodate conditional vector into training without privacy leakage, GTV designs a mechanism training-with-shuffling to ensure that no party can reconstruct training data with conditional vector. We evaluate the effectiveness of GTV in terms of synthetic data quality, and overall training scalability. Results show that GTV can consistently generate high-fidelity synthetic tabular data of comparable quality to that generated by centralized GAN algorithm. The difference on machine learning utility can be as low as to 2.7%, even under extremely imbalanced data distributions across clients and different number of clients.


title: Parfum: Detection and Automatic Repair of Dockerfile Smells

abstract: Docker is a popular tool for developers and organizations to package, deploy, and run applications in a lightweight, portable container. One key component of Docker is the Dockerfile, a simple text file that specifies the steps needed to build a Docker image. While Dockerfiles are easy to create and use, creating an optimal image is complex in particular since it is easy to not follow the best practices, when it happens we call it Docker smell. To improve the quality of Dockerfiles, previous works have focused on detecting Docker smells, but they do not offer suggestions or repair the smells. In this paper, we propose, Parfum, a tool that detects and automatically repairs Docker smells while producing minimal patches. Parfum is based on a new Dockerfile AST parser called Dinghy. We evaluate the effectiveness of Parfum by analyzing and repairing a large set of Dockerfiles and comparing it against existing tools. We also measure the impact of the repair on the Docker image in terms of build failure and image size. Finally, we opened 35 pull requests to collect developers' feedback and ensure that the repairs and the smells are meaningful. Our results show that Parfum is able to repair 806 245 Docker smells and have a significant impact on the Docker image size, and finally, developers are welcoming the patches generated by Parfum while merging 20 pull requests.


title: Crucial Semantic Classifier-based Adversarial Learning for Unsupervised Domain Adaptation

abstract: Unsupervised Domain Adaptation (UDA), which aims to explore the transferrable features from a well-labeled source domain to a related unlabeled target domain, has been widely progressed. Nevertheless, as one of the mainstream, existing adversarial-based methods neglect to filter the irrelevant semantic knowledge, hindering adaptation performance improvement. Besides, they require an additional domain discriminator that strives extractor to generate confused representations, but discrete designing may cause model collapse. To tackle the above issues, we propose Crucial Semantic Classifier-based Adversarial Learning (CSCAL), which pays more attention to crucial semantic knowledge transferring and leverages the classifier to implicitly play the role of domain discriminator without extra network designing. Specifically, in intra-class-wise alignment, a Paired-Level Discrepancy (PLD) is designed to transfer crucial semantic knowledge. Additionally, based on classifier predictions, a Nuclear Norm-based Discrepancy (NND) is formed that considers inter-class-wise information and improves the adaptation performance. Moreover, CSCAL can be effortlessly merged into different UDA methods as a regularizer and dramatically promote their performance.


title: Ridepooling and public bus services: A comparative case-study

abstract: This case-study aims at a comparison of the service quality of time-tabled buses as compared to on-demand ridepooling cabs in the late evening hours in the city of Wuppertal, Germany. To evaluate the service quality of ridepooling as compared to bus services, and to simulate bus rides during the evening hours, transport requests are generated using a predictive simulation. To this end, a framework in the programming language R is created, which automatically combines generalized linear models for count regression to model the demand at each bus stop. Furthermore, we use classification models for the prediction of trip destinations. To solve the resulting dynamic dial-a-ride problem, a rolling-horizon algorithm based on the iterative solution of Mixed-Integer Linear Programming Models (MILP) is used. A feasible-path heuristic is used to enhance the performance of the algorithm in presence of high request densities. This allows an estimation of the number of cabs needed depending on the weekday to realize the same or a better general service quality as the bus system.


title: Geometric Programming Problems with Triangular and Trapezoidal Two-fold Uncertainty Distributions

abstract: Geometric programming (GP) is a well-known optimization tool for dealing with a wide range of nonlinear optimization and engineering problems. In general, it is assumed that the parameters of a GP problem are deterministic and accurate. However, in the real-world GP problem, the parameters are frequently inaccurate and ambiguous. This paper investigates the GP problem in an uncertain environment, with the coefficients as triangular and trapezoidal two-fold uncertain variables. In this paper, we introduce uncertain measures in a generalized version and focus on more complicated two-fold uncertainties to propose triangular and trapezoidal two-fold uncertain variables within the context of uncertainty theory. We develop three reduction methods to convert triangular and trapezoidal two-fold uncertain variables into single-fold uncertain variables using optimistic, pessimistic, and expected value criteria. Reduction methods are used to convert the GP problem with two-fold uncertainty into the GP problem with single-fold uncertainty. Furthermore, the chance-constrained uncertain-based framework is used to solve the reduced single-fold uncertain GP problem. Finally, a numerical example is provided to demonstrate the effectiveness of the procedures.


title: Analysis of the limiting spectral distribution of large dimensional General information-plus-noise type matrices

abstract: In this paper, we derive the analytical behavior of the limiting spectral distribution of non-central covariance matrices of the "general information-plus-noise" type, as studied in [14]. Through the equation defining its Stieltjes transform, it is shown that the limiting distribution has a continuous derivative away from zero, the derivative being analytic wherever it is positive, and we show the determination criterion for its support. We also extend the result in [14] to allow for all possible ratios of row to column of the underlying random matrix.


title: Transcending shift-invariance in the paraxial regime via end-to-end inverse design of freeform nanophotonics

abstract: Traditional optical elements and conventional metasurfaces obey shift-invariance in the paraxial regime. For imaging systems obeying paraxial shift-invariance, a small shift in input angle causes a corresponding shift in the sensor image. Shift-invariance has deep implications for the design and functionality of optical devices, such as the necessity of free space between components (as in compound objectives made of several curved surfaces). We present a method for nanophotonic inverse design of compact imaging systems whose resolution is not constrained by paraxial shift-invariance. Our method is end-to-end, in that it integrates density-based full-Maxwell topology optimization with a fully iterative elastic-net reconstruction algorithm. By the design of nanophotonic structures that scatter light in a non-shift-invariant manner, our optimized nanophotonic imaging system overcomes the limitations of paraxial shift-invariance, achieving accurate, noise-robust image reconstruction beyond shift-invariant resolution.


title: Towards Avoiding the Data Mess: Industry Insights from Data Mesh Implementations

abstract: With the increasing importance of data and artificial intelligence, organizations strive to become more data-driven. However, current data architectures are not necessarily designed to keep up with the scale and scope of data and analytics use cases. In fact, existing architectures often fail to deliver the promised value associated with them. Data mesh is a socio-technical, decentralized, distributed concept for enterprise data management. As the concept of data mesh is still novel, it lacks empirical insights from the field. Specifically, an understanding of the motivational factors for introducing data mesh, the associated challenges, implementation strategies, its business impact, and potential archetypes is missing. To address this gap, we conduct 15 semi-structured interviews with industry experts. Our results show, among other insights, that organizations have difficulties with the transition toward federated governance associated with the data mesh concept, the shift of responsibility for the development, provision, and maintenance of data products, and the comprehension of the overall concept. In our work, we derive multiple implementation strategies and suggest organizations introduce a cross-domain steering unit, observe the data product usage, create quick wins in the early phases, and favor small dedicated teams that prioritize data products. While we acknowledge that organizations need to apply implementation strategies according to their individual needs, we also deduct two archetypes that provide suggestions in more detail. Our findings synthesize insights from industry experts and provide researchers and professionals with preliminary guidelines for the successful adoption of data mesh.


title: Learning End-to-End Channel Coding with Diffusion Models

abstract: It is a known problem that deep-learning-based end-to-end (E2E) channel coding systems depend on a known and differentiable channel model, due to the learning process and based on the gradient-descent optimization methods. This places the challenge to approximate or generate the channel or its derivative from samples generated by pilot signaling in real-world scenarios. Currently, there are two prevalent methods to solve this problem. One is to generate the channel via a generative adversarial network (GAN), and the other is to, in essence, approximate the gradient via reinforcement learning methods. Other methods include using score-based methods, variational autoencoders, or mutual-information-based methods. In this paper, we focus on generative models and, in particular, on a new promising method called diffusion models, which have shown a higher quality of generation in image-based tasks. We will show that diffusion models can be used in wireless E2E scenarios and that they work as good as Wasserstein GANs while having a more stable training procedure and a better generalization ability in testing.


title: Dimer Coupling Energies of the Si(001) Surface

abstract: The coupling energies between the buckled dimers of the Si(001) surface were determined through analysis of the anisotropic critical behavior of its order-disorder phase transition. Spot profiles in high-resolution low-energy electron diffraction as a function of temperature were analyzed within the framework of the anisotropic two-dimensional Ising model. The validity of this approach is justified by the large ratio of correlation lengths, $\xi_\parallel^+/\xi_\perp^+ = 5.2$ of the fluctuating $c(4 {\times} 2)$ domains above the critical temperature $T_\mathrm{c} = (190.6 \pm 10)$ K. We obtain effective couplings $J_\parallel = (-24.9 \pm 1.3)$ meV along the dimer rows and $J_\perp = (-0.8 \pm 0.1)$ meV across the dimer rows, i.e., antiferromagnetic-like coupling of the dimers with $c(4 {\times} 2)$ symmetry.


title: On The Importance of Fundamental Computational Fluid Dynamics Towards a Robust and Reliable Model of Left Atrial Flows: Is There More Than Meets the Eye?

abstract: Computational fluid dynamics (CFD) studies of left atrial flows have reached a sophisticated level, e.g., revealing plausible relationships between hemodynamics and stresses with atrial fibrillation. However, little focus has been on fundamental fluid modelling of LA flows. The purpose of this study was to investigate the spatiotemporal convergence, along with the differences between high- (HR) versus normal-resolution/accuracy (NR) solution strategies, respectively. CFD simulations on 12 patient-specific left atrial geometries, obtained from computed tomography scans, were performed by using a second-order accurate and space/time centered solver. The convergence studies showed an average variability of around 30\% and 55\% for time averaged wall shear stress (WSS), oscillatory shear index (OSI), relative residence time (RRT), and endothelial cell activation potential (ECAP), even between intermediate spatial and temporal resolutions, in the left atrium (LA) and left atrial appendage (LAA), respectively. The comparison between HR and NR simulations showed good correlation in the LA for WSS, RRT, and ECAP (R^2 > 0.9), but not for OSI (R^2 = 0.63). However, there were poor correlations in the LAA especially for OSI, RRT, and ECAP (R^2 = 0.55, 0.63, and 0.61, respectively), except for WSS (R^2 = 0.81). The errors are comparable to differences previously reported with disease correlations. To robustly predict atrial hemodynamics and stresses, numerical resolutions of 10M elements and 10k time-steps per cycle seem necessary (i.e., one order of magnitude higher than normally used in both space and time). In conclusion, attention to fundamental numerical aspects is essential towards establishing a plausible, robust, and reliable model of LA flows.


title: Diophantine approximation with prime denominator in real quadratic function fields

abstract: In the thirties of the last century, I. M. Vinogradov proved that the inequality $||p\alpha||\le p^{-1/5+\varepsilon}$ has infinitely prime solutions $p$, where $||.||$ denotes the distance to a nearest integer. This result has subsequently been improved by many authors. In particular, Vaughan (1978) replaced the exponent $1/5$ by $1/4$ using his celebrated identity for the von Mangoldt function and a refinement of Fourier analytic arguments. The current record is due to Matom\"aki (2009) who showed the infinitude of prime solutions of the inequality $||p\alpha||\le p^{-1/3+\varepsilon}$. This exponent $1/3$ is considered the limit of the current technology. Recently, in \cite{BaMo}, the authors established an analogue of Matom\"aki's result for imaginary quadratic extensions of the function field $k=\mathbb{F}_q(T)$. In this paper, we consider the case of real quadratic extensions of $k$ of class number 1, for which we prove a function field analogue of Vaughan's above-mentioned result (exponent $\theta=1/4$). Our method uses versions of Vaughan's identity and the Dirichlet approximation theorem for function fields. The latter was established by Arijit Ganguly in the appendix to our previous paper \cite{BaMo} on the imaginary quadratic case. We also simplify arguments in the paper \cite{BM} on the same problem for real quadratic number fields by D. Mazumder and the first-named author.


title: Analysis of the $T_{c\bar{s}}(2900)$ and related tetraquark states with the QCD sum rules

abstract: In this research, we tentatively assign the $T_{c\bar{s}}(2900)$ as the $A\bar{A}$-type tetraquark state, and study the mass spectrum of the tetraquark states with strange and doubly strange, which have the spin-parity $J^P = 0^+$, $1^+$ and $2^+$, in the framework of the QCD sum rules in details, where the $A$ denotes the axialvector diquark state. The predicted mass $M=2.92\pm0.12\,\rm{GeV}$ is in consistent with the experimental values $M=2.892\pm0.014\pm0.015\,\rm{GeV}$ and $2.921\pm0.017\pm0.020\,\rm{GeV}$ from the LHCb collaboration and supports assigning the $T_{c\bar{s}}(2900)$ to be the $A\bar{A}$-type scalar $c\bar{s}q\bar{q}$ tetraquark state. The predictions for other tetraquark states can be confronted to the experimental data in the future to diagnose the nature of the fully open flavor exotic states.


title: Giant self-driven exciton-Floquet signatures in time-resolved photoemission spectroscopy of MoS$_2$ from time-dependent GW approach

abstract: Time-resolved, angle-resolved photoemission spectroscopy (TR-ARPES) is a one-particle spectroscopic technique that can probe excitons (two-particle excitations) in momentum space. We present an ab initio, time-domain GW approach to TR-ARPES and apply it to monolayer MoS$_2$. We show that photoexcited excitons may be measured and quantified as satellite bands, as well as leading to the renormalization of the quasiparticle bands. These features are explained in terms of an exciton- Floquet phenomenon induced by an exciton time-dependent bosonic field, which is orders of magnitude stronger than laser field induced Floquet bands in low-dimensional semiconductors. Our findings open a door to understanding the behavior of optical-field driven materials.


title: Compact surfaces with boundary with prescribed mean curvature depending on the Gauss map

abstract: Given a $C^1$ function $\mathcal{H}$ defined in the unit sphere $\mathbb{S}^2$, an $\mathcal{H}$-surface $M$ is a surface in the Euclidean space $\mathbb{R}^3$ whose mean curvature $H_M$ satisfies $H_M(p)=\mathcal{H}(N_p)$, $p\in M$, where $N$ is the Gauss map of $M$. Given a closed simple curve $\Gamma\subset\mathbb{R}^3$ and a function $\mathcal{H}$, in this paper we investigate the geometry of compact $\mathcal{H}$-surfaces spanning $\Gamma$ in terms of $\Gamma$. Under mild assumptions on $\mathcal{H}$, we prove non-existence of closed $\mathcal{H}$-surfaces, in contrast with the classical case of constant mean curvature. We give conditions on $\mathcal{H}$ that ensure that if $\Gamma$ is a circle, then $M$ is a rotational surface. We also establish the existence of estimates of the area of $\mathcal{H}$-surfaces in terms of the height of the surface.


title: TEXTure: Text-Guided Texturing of 3D Shapes

abstract: In this paper, we present TEXTure, a novel method for text-guided generation, editing, and transfer of textures for 3D shapes. Leveraging a pretrained depth-to-image diffusion model, TEXTure applies an iterative scheme that paints a 3D model from different viewpoints. Yet, while depth-to-image models can create plausible textures from a single viewpoint, the stochastic nature of the generation process can cause many inconsistencies when texturing an entire 3D object. To tackle these problems, we dynamically define a trimap partitioning of the rendered image into three progression states, and present a novel elaborated diffusion sampling process that uses this trimap representation to generate seamless textures from different views. We then show that one can transfer the generated texture maps to new 3D geometries without requiring explicit surface-to-surface mapping, as well as extract semantic textures from a set of images without requiring any explicit reconstruction. Finally, we show that TEXTure can be used to not only generate new textures but also edit and refine existing textures using either a text prompt or user-provided scribbles. We demonstrate that our TEXTuring method excels at generating, transferring, and editing textures through extensive evaluation, and further close the gap between 2D image generation and 3D texturing.


title: Leveraging Contaminated Datasets to Learn Clean-Data Distribution with Purified Generative Adversarial Networks

abstract: Generative adversarial networks (GANs) are known for their strong abilities on capturing the underlying distribution of training instances. Since the seminal work of GAN, many variants of GAN have been proposed. However, existing GANs are almost established on the assumption that the training dataset is clean. But in many real-world applications, this may not hold, that is, the training dataset may be contaminated by a proportion of undesired instances. When training on such datasets, existing GANs will learn a mixture distribution of desired and contaminated instances, rather than the desired distribution of desired data only (target distribution). To learn the target distribution from contaminated datasets, two purified generative adversarial networks (PuriGAN) are developed, in which the discriminators are augmented with the capability to distinguish between target and contaminated instances by leveraging an extra dataset solely composed of contamination instances. We prove that under some mild conditions, the proposed PuriGANs are guaranteed to converge to the distribution of desired instances. Experimental results on several datasets demonstrate that the proposed PuriGANs are able to generate much better images from the desired distribution than comparable baselines when trained on contaminated datasets. In addition, we also demonstrate the usefulness of PuriGAN on downstream applications by applying it to the tasks of semi-supervised anomaly detection on contaminated datasets and PU-learning. Experimental results show that PuriGAN is able to deliver the best performance over comparable baselines on both tasks.


title: A phase transition in block-weighted random maps

abstract: We consider the model of random planar maps of size $n$ biased by a weight $u>0$ per $2$-connected block, and the closely related model of random planar quadrangulations of size $n$ biased by a weight $u>0$ per simple component. We exhibit a phase transition at the critical value $u_C=9/5$. If $u<u_C$, a condensation phenomenon occurs: the largest block is of size $\Theta(n)$. Moreover, for quadrangulations we show that the diameter is of order $n^{1/4}$, and the scaling limit is the Brownian sphere. When $u > u_C$, the largest block is of size $\Theta(\log(n))$, the scaling order for distances is $n^{1/2}$, and the scaling limit is the Brownian tree. Finally, for $u=u_C$, the largest block is of size $\Theta(n^{2/3})$, the scaling order for distances is $n^{1/3}$, and the scaling limit is the stable tree of parameter $3/2$.


title: Reinforcing User Retention in a Billion Scale Short Video Recommender System

abstract: Recently, short video platforms have achieved rapid user growth by recommending interesting content to users. The objective of the recommendation is to optimize user retention, thereby driving the growth of DAU (Daily Active Users). Retention is a long-term feedback after multiple interactions of users and the system, and it is hard to decompose retention reward to each item or a list of items. Thus traditional point-wise and list-wise models are not able to optimize retention. In this paper, we choose reinforcement learning methods to optimize the retention as they are designed to maximize the long-term performance. We formulate the problem as an infinite-horizon request-based Markov Decision Process, and our objective is to minimize the accumulated time interval of multiple sessions, which is equal to improving the app open frequency and user retention. However, current reinforcement learning algorithms can not be directly applied in this setting due to uncertainty, bias, and long delay time incurred by the properties of user retention. We propose a novel method, dubbed RLUR, to address the aforementioned challenges. Both offline and live experiments show that RLUR can significantly improve user retention. RLUR has been fully launched in Kuaishou app for a long time, and achieves consistent performance improvement on user retention and DAU.


title: Towards Quantum Sensing of Chiral-Induced Spin Selectivity: Probing Donor-Bridge-Acceptor Molecules with NV Centers in Diamond

abstract: Photoexcitable donor-bridge-acceptor (D-B-A) molecules that support intramolecular charge transfer are ideal platforms to probe the influence of chiral-induced spin selectivity (CISS) in electron transfer and resulting radical pairs. In particular, the extent to which CISS influences spin polarization or spin coherence in the initial state of spin-correlated radical pairs following charge transfer through a chiral bridge remains an open question. Here, we introduce a quantum sensing scheme to measure directly the hypothesized spin polarization in radical pairs using shallow nitrogen-vacancy (NV) centers in diamond at the single- to few-molecule level. Importantly, we highlight the perturbative nature of the electron spin-spin dipolar coupling within the radical pair, and demonstrate how Lee-Goldburg decoupling can preserve spin polarization in D-B-A molecules for enantioselective detection by a single NV center. The proposed measurements will provide fresh insight into spin selectivity in electron transfer reactions.

categories: quant-ph cond-mat.mes-hall physics.bio-ph physics.chem-ph


title: Asymptotic structure and stability of spatially homogeneous space-times with a positive cosmological constant

abstract: We investigate the future asymptotics of spatially homogeneous space-times with a positive cosmological constant by using and further developing geometric conformal methods in General Relativity. For a large class of source fields, including fluids with anisotropic stress, we prove that the space-times are future asymptotically simple and geometrically conformally regular. We use that result in order to show the global conformal regularity of the Einstein-Maxwell system as well as the Einstein-radiation, Einstein-dust, massless Einstein-Vlasov and particular Einstein-scalar field systems for Bianchi space-times. Taking into account previous results, this implies the future non-linear stability of some of those space-times in the sense that, for small perturbations, the space-times approach locally the de Sitter solution asymptotically in time. This extends some cosmic no-hair theorems to almost spatially homogeneous space-times. However, we find that the conformal Einstein field equations preserve the Bianchi type even at conformal infinity, so the resulting asymptotic space-times have conformal hair.


title: Distributional constrained reinforcement learning for supply chain optimization

abstract: This work studies reinforcement learning (RL) in the context of multi-period supply chains subject to constraints, e.g., on production and inventory. We introduce Distributional Constrained Policy Optimization (DCPO), a novel approach for reliable constraint satisfaction in RL. Our approach is based on Constrained Policy Optimization (CPO), which is subject to approximation errors that in practice lead it to converge to infeasible policies. We address this issue by incorporating aspects of distributional RL into DCPO. Specifically, we represent the return and cost value functions using neural networks that output discrete distributions, and we reshape costs based on the associated confidence. Using a supply chain case study, we show that DCPO improves the rate at which the RL policy converges and ensures reliable constraint satisfaction by the end of training. The proposed method also improves predictability, greatly reducing the variance of returns between runs, respectively; this result is significant in the context of policy gradient methods, which intrinsically introduce significant variance during training.


title: Decentralised and Cooperative Control of Multi-Robot Systems through Distributed Optimisation

abstract: Multi-robot cooperative control has gained extensive research interest due to its wide applications in civil, security, and military domains. This paper proposes a cooperative control algorithm for multi-robot systems with general linear dynamics. The algorithm is based on distributed cooperative optimisation and output regulation, and it achieves global optimum by utilising only information shared among neighbouring robots. Technically, a high-level distributed optimisation algorithm for multi-robot systems is presented, which will serve as an optimal reference generator for each individual agent. Then, based on the distributed optimisation algorithm, an output regulation method is utilised to solve the optimal coordination problem for general linear dynamic systems. The convergence of the proposed algorithm is theoretically proved. Both numerical simulations and real-time physical robot experiments are conducted to validate the effectiveness of the proposed cooperative control algorithms.


title: Resolving Left-Right Ambiguity During Bearing Only Tracking of an Underwater Target Using Towed Array

abstract: In bearing only tracking using a towed array, the array can sense the bearing angle of the target but is unable to differentiate whether the target is on the left or the right side of the array. Thus, the traditional tracking algorithm generates tracks in both the sides of the array which create difficulties when interception is required. In this paper, we propose a method based on likelihood of measurement which along with the estimators can resolve left-right ambiguity and track the target. A case study has been presented where the target moves (a) in a straight line with a near constant velocity, (b) maneuvers with a turn, and observer takes a `U'-like maneuver. The method along with the various estimators has been applied which successfully resolves the ambiguity and tracks the target. Further, the tracking results are compared in terms of the root mean square error in position and velocity, bias norm, \% of track loss and the relative execution time.


title: The superradiance phenomenon in spin-one particles

abstract: In this article, we solve the Duffin--Kemmer--Petiau (DKP) equation in the presence of hyperbolic tangent potential for spin-one particles. By partitioning the spin-one spinor, we show that the DKP equation is equivalent to the Klein--Gordon equation formalism. The scattering solutions are derived in terms of hypergeometric functions. The reflection $R$ and transmission $T$ coefficients are calculated in terms of the Gamma functions. The results show the presence of the superradiance phenomenon when $R$ for a specific region in the potential becomes greater than one.


title: Generators of the Mapping Class Group of a Nonorientable Punctured Surface

abstract: Let $\textrm{Mod}(N_{g, p})$ denote the mapping class group of a nonorientable surface of genus $g$ with $p$ punctures. For $g\geq14$, we show that $\textrm{Mod}(N_{g, p})$ can be generated by five elements or by six involutions.


title: A Robust Time-Delay Approach to Extremum Seeking via ISS Analysis of the Averaged System

abstract: For N-dimensional (ND) static quadratic map, we present a time-delay approach to gradient-based extremum seeking (ES) both, in the continuous and, for the first time, the discrete domains. As in the recently introduced (for 2D maps in the continuous domain), we transform the system to the time-delay one (neutral type system in the form of Hale in the continuous case). This system is O($\varepsilon$)-perturbation of the averaged linear ODE system, where $\varepsilon$ is a period of averaging. We further explicitly present the neutral system as the linear ODE, where O($\varepsilon$)-terms are considered as disturbances with distributed delays of the length of the small parameter $\varepsilon$. Regional input-to-state stability (ISS) analysis is provided by employing a variation of constants formula that greatly simplifies the previously used analysis via Lyapunov-Krasovskii (L-K) method, simplifies the conditions and improves the results. Examples from the literature illustrate the efficiency of the new approach, allowing essentially large uncertainty of the Hessian matrix with bounds on $\varepsilon$ that are not too small.


title: Committed Private Information Retrieval

abstract: A private information retrieval (PIR) scheme allows a client to retrieve a data item $x_i$ among $n$ items $x_1,x_2,\ldots,x_n$ from $k$ servers, without revealing what $i$ is even when $t < k$ servers collude and try to learn $i$. Such a PIR scheme is said to be $t$-private. A PIR scheme is $v$-verifiable if the client can verify the correctness of the retrieved $x_i$ even when $v \leq k$ servers collude and try to fool the client by sending manipulated data. Most of the previous works in the literature on PIR assumed that $v < k$, leaving the case of all-colluding servers open. We propose a generic construction that combines a linear map commitment (LMC) and an arbitrary linear PIR scheme to produce a $k$-verifiable PIR scheme, termed a committed PIR scheme. Such a scheme guarantees that even in the worst scenario, when all servers are under the control of an attacker, although the privacy is unavoidably lost, the client won't be fooled into accepting an incorrect $x_i$. We demonstrate the practicality of our proposal by implementing the committed PIR schemes based on the Lai-Malavolta LMC and three well-known PIR schemes using the GMP library and blst, the current fastest C library for elliptic curve pairings.