title: Private Domain Adaptation from a Public Source

abstract: A key problem in a variety of applications is that of domain adaptation from a public source domain, for which a relatively large amount of labeled data with no privacy constraints is at one's disposal, to a private target domain, for which a private sample is available with very few or no labeled data. In regression problems with no privacy constraints on the source or target data, a discrepancy minimization algorithm based on several theoretical guarantees was shown to outperform a number of other adaptation algorithm baselines. Building on that approach, we design differentially private discrepancy-based algorithms for adaptation from a source domain with public labeled data to a target domain with unlabeled private data. The design and analysis of our private algorithms critically hinge upon several key properties we prove for a smooth approximation of the weighted discrepancy, such as its smoothness with respect to the $\ell_1$-norm and the sensitivity of its gradient. Our solutions are based on private variants of Frank-Wolfe and Mirror-Descent algorithms. We show that our adaptation algorithms benefit from strong generalization and privacy guarantees and report the results of experiments demonstrating their effectiveness.


title: How far are German companies in improving security through static program analysis tools?

abstract: As security becomes more relevant for many companies, the popularity of static program analysis (SPA) tools is increasing. In this paper, we target the use of SPA tools among companies in Germany with a focus on security. We give insights on the current issues and the developers' willingness to configure the tools to overcome these issues. Compared to previous studies, our study considers the companies' culture and processes for using SPA tools. We conducted an online survey with 256 responses and semi-structured interviews with 17 product owners and executives from multiple companies. Our results show a diversity in the usage of tools. Only half of our survey participants use SPA tools. The free tools tend to be more popular among software developers. In most companies, software developers are encouraged to use free tools, whereas commercial tools can be requested. However, the product owners and executives in our interviews reported that their developers do not request new tools. We also find out that automatic security checks with tools are rarely performed on each release.


title: Monte Carlo radiative transfer with explicit absorption to simulate absorption, scattering, and stimulated emission

abstract: Context: The Monte Carlo method is probably the most widely used approach to solve the radiative transfer problem, especially in a general 3D geometry. The physical processes of emission, absorption, and scattering are easily incorporated in the Monte Carlo framework. Net stimulated emission, or absorption with a negative cross section, does not fit this method, however. Aims: We explore alterations to the standard photon packet life cycle in Monte Carlo radiative transfer that allow the treatment of net stimulated emission without loss of generality or efficiency. Methods: We present the explicit absorption technique that allows net stimulated emission to be handled efficiently. It uses the scattering rather than the extinction optical depth along a photon packet's path to randomly select the next interaction location, and offers a separate, deterministic treatment of absorption. We implemented the technique in a special-purpose Monte Carlo code for a two-stream 1D radiative transfer problem and in the fully featured 3D code SKIRT, and we studied its overall performance using quantitative statistical tests. Results: Our special-purpose code is capable of recovering the analytical solutions to the two-stream problem in all regimes, including the one of strong net stimulated emission. The implementation in SKIRT is straightforward, as the explicit absorption technique easily combines with the variance reduction and acceleration techniques already incorporated. In general, explicit absorption tends to improve the efficiency of the Monte Carlo routine in the regime of net absorption. Conclusions: Explicit absorption allows the treatment of net stimulated emission in Monte Carlo radiative transfer, it interfaces smoothly with... (abridged)


title: Stickelberger's discriminant theorem for algebras

abstract: Stickelberger proved that the discriminant of a number field is congruent to 0 or 1 modulo 4. We generalize this to an arbitrary (not necessarily commutative) ring of finite rank over the integers using techniques from linear algebra. Our proof, which relies only on elementary matrix identities, is new even in the classical case.


title: Beyond potentials: integrated machine-learning models for materials

abstract: Over the past decade inter-atomic potentials based on machine-learning (ML) techniques have become an indispensable tool in the atomic-scale modeling of materials. Trained on energies and forces obtained from electronic-structure calculations, they inherit their predictive accuracy, and extend greatly the length and time scales that are accessible to explicit atomistic simulations. Inexpensive predictions of the energetics of individual configurations have facilitated greatly the calculation of the thermodynamics of materials, including finite-temperature effects and disorder. More recently, machine-learning models have been closing the gap with first-principles calculations in another area: the prediction of arbitrarily complicated functional properties, from vibrational and optical spectroscopies to electronic excitations. The implementation of integrated machine-learning models, that combine energetic and functional predictions with statistical and dynamical sampling of atomic-scale properties is bringing the promise of predictive, uncompromising simulations of existing and novel materials closer to its full realisation.


title: Style Spectroscope: Improve Interpretability and Controllability through Fourier Analysis

abstract: Universal style transfer (UST) infuses styles from arbitrary reference images into content images. Existing methods, while enjoying many practical successes, are unable of explaining experimental observations, including different performances of UST algorithms in preserving the spatial structure of content images. In addition, methods are limited to cumbersome global controls on stylization, so that they require additional spatial masks for desired stylization. In this work, we provide a systematic Fourier analysis on a general framework for UST. We present an equivalent form of the framework in the frequency domain. The form implies that existing algorithms treat all frequency components and pixels of feature maps equally, except for the zero-frequency component. We connect Fourier amplitude and phase with Gram matrices and a content reconstruction loss in style transfer, respectively. Based on such equivalence and connections, we can thus interpret different structure preservation behaviors between algorithms with Fourier phase. Given the interpretations we have, we propose two manipulations in practice for structure preservation and desired stylization. Both qualitative and quantitative experiments demonstrate the competitive performance of our method against the state-of-the-art methods. We also conduct experiments to demonstrate (1) the abovementioned equivalence, (2) the interpretability based on Fourier amplitude and phase and (3) the controllability associated with frequency components.


title: Explicit bounds on the summatory function of the M\"{o}bius function using the Perron formula

abstract: We use Perron formula arguments to establish explicit versions of $M(x) \ll x$ and $M(x) \ll x\exp(-c_2\sqrt{\log{x}})$, where $M(x)$ is the Mertens function. Moreover, we use these bounds in a method from Schoenfeld to refine estimates of the form $M(x) \ll x/(\log{x})^{k}$. In particular, we establish $|M(x)| \leq 1.52159\,x/(\log{x})^{2}$ for $x>1$, which is sharp.


title: A Redox-based Ion-Gating Reservoir, Utilizing Double Reservoir States in Drain and Gate Nonlinear Responses

abstract: We have demonstrated physical reservoir computing with a redox-based ion-gating reservoir (redox-IGR) comprising LixWO3 thin film and lithium ion conducting glass ceramic (LICGC). The subject redox-IGR successfully solved a second-order nonlinear dynamic equation by utilizing voltage pulse driven ion-gating in a LixWO3 channel to enable reservoir computing. Under the normal conditions, in which only the drain current (ID) is used for the reservoir states, the lowest prediction error is 7.39x10-4. Performance was enhanced by the addition of IG to the reservoir states, resulting in a significant lowering of the prediction error to 5.06x10-4, which is noticeably lower than other types of physical reservoirs reported to date. A second-order nonlinear autoregressive moving average (NARMA2) task, a typical benchmark of reservoir computing, was also performed with the IGR and good performance was achieved, with an NMSE of 0.163. A short-term memory task was performed to investigate an enhancement mechanism resulting from the IG addition. An increase in memory capacity, from 1.87 without IG to 2.73 with IG, was observed in the forgetting curves, indicating that enhancement of both high dimensionality and memory capacity are attributed to the origin of the performance improvement.


title: PRIF: Primary Ray-based Implicit Function

abstract: We introduce a new implicit shape representation called Primary Ray-based Implicit Function (PRIF). In contrast to most existing approaches based on the signed distance function (SDF) which handles spatial locations, our representation operates on oriented rays. Specifically, PRIF is formulated to directly produce the surface hit point of a given input ray, without the expensive sphere-tracing operations, hence enabling efficient shape extraction and differentiable rendering. We demonstrate that neural networks trained to encode PRIF achieve successes in various tasks including single shape representation, category-wise shape generation, shape completion from sparse or noisy observations, inverse rendering for camera pose estimation, and neural rendering with color.


title: GSim: A Graph Neural Network based Relevance Measure for Heterogeneous Graphs

abstract: Heterogeneous graphs, which contain nodes and edges of multiple types, are prevalent in various domains, including bibliographic networks, social media, and knowledge graphs. As a fundamental task in analyzing heterogeneous graphs, relevance measure aims to calculate the relevance between two objects of different types, which has been used in many applications such as web search, recommendation, and community detection. Most of existing relevance measures focus on homogeneous networks where objects are of the same type, and a few measures are developed for heterogeneous graphs, but they often need the pre-defined meta-path. Defining meaningful meta-paths requires much domain knowledge, which largely limits their applications, especially on schema-rich heterogeneous graphs like knowledge graphs. Recently, the Graph Neural Network (GNN) has been widely applied in many graph mining tasks, but it has not been applied for measuring relevance yet. To address the aforementioned problems, we propose a novel GNN-based relevance measure, namely GSim. Specifically, we first theoretically analyze and show that GNN is effective for measuring the relevance of nodes in the graph. We then propose a context path-based graph neural network (CP-GNN) to automatically leverage the semantics in heterogeneous graphs. Moreover, we exploit CP-GNN to support relevance measures between two objects of any type. Extensive experiments demonstrate that GSim outperforms existing measures.


title: Massive 2- and 3-loop corrections to hard scattering processes in QCD

abstract: With the increasing experimental precision available at colliders, higher-order perturbative calculations are required to reduce the theory uncertainty in order to extract crucial QCD parameters, such as the strong coupling constant, to the required precision, often the order of one percent. For this reason, the contributions of the massive charm and bottom quarks need to be taken into account in hadronic processes such as deep-inelastic scattering. In this thesis, we calculate to order $\alpha_s^3$ the two-mass contributions to the twist-two polarized operator matrix elements $A_{gg,Q}^{(3)}$ and $A_{Qq}^{(3),PS}$ as functions of the heavy quark mass ratio. We discuss the mathematical structure of these objects and discuss their phenomenological importance for the variable flavour number scheme and mathematical and computer-algebraic aspects of their calculation. We further address the impact of the heavy quarks to the scheme-invariant evolution of structure functions and introduce a Fortran library for their evaluation. We also discuss a computer algebra implementation of a solver for partial linear difference equations.


title: Feature-Based Time-Series Analysis in R using the theft Package

abstract: Time series are measured and analyzed across the sciences. One method of quantifying the structure of time series is by calculating a set of summary statistics or `features', and then representing a time series in terms of its properties as a feature vector. The resulting feature space is interpretable and informative, and enables conventional statistical learning approaches, including clustering, regression, and classification, to be applied to time-series datasets. Many open-source software packages for computing sets of time-series features exist across multiple programming languages, including catch22 (22 features: Matlab, R, Python, Julia), feasts (42 features: R), tsfeatures (63 features: R), Kats (40 features: Python), tsfresh (779 features: Python), and TSFEL (390 features: Python). However, there are several issues: (i) a singular access point to these packages is not currently available; (ii) to access all feature sets, users must be fluent in multiple languages; and (iii) these feature-extraction packages lack extensive accompanying methodological pipelines for performing feature-based time-series analysis, such as applications to time-series classification. Here we introduce a solution to these issues in an R software package called theft: Tools for Handling Extraction of Features from Time series. theft is a unified and extendable framework for computing features from the six open-source time-series feature sets listed above. It also includes a suite of functions for processing and interpreting the performance of extracted features, including extensive data-visualization templates, low-dimensional projections, and time-series classification operations. With an increasing volume and complexity of time-series datasets in the sciences and industry, theft provides a standardized framework for comprehensively quantifying and interpreting informative structure in time series.

categories: stat.ML cs.LG cs.MS q-bio.QM stat.AP stat.ME


title: Software implementation of the SNOW 3G Generator on iOS and Android platforms

abstract: The standard for wireless communication of high-speed data in mobile phones and data terminals, called LTE (Long-Term Evolution) and marketed as 4G/LTE, is quickly being adopted worldwide. The security of this type of communication is a crucial factor mainly due to its mobile and wireless nature. This work includes a practical analysis of the SNOW 3G generator used to protect the confidentiality and integrity in LTE communications. In particular, several techniques to perform multiplications and LFSR operations have been studied and implemented on both iOS and Android platforms. The evaluation of those implementations led to some conclusions that could be used to improve the efficiency of future implementations of the standard.


title: Gas bubble photonics: Manipulating sonoluminescence light with fluorescent and plasmonic nanoparticles

abstract: Oscillations of gas bubbles in liquids irradiated with acoustic pressure waves may result in an intriguing physical phenomenon called sonoluminescence, where a collapsing bubble emits the light in a broad optical spectral range. However, the intensity of the so-generated light is typically weak for practical purposes. Recently, it has been demonstrated that nanoparticles can be used to increase the efficiency of sonoluminescence, thereby enabling one to generate the light that is intense enough for a number of applications in photonics, biomedicine and material science. In this article, we review the latest achievements in the field of nanoparticle-enhanced sonoluminescence and showcase the perspectives of their practical applications.


title: Constraints on neutron skin thickness and nuclear deformations using relativistic heavy-ion collisions from STAR

abstract: In these proceedings, we present the measurements of neutron skin thickness and nuclear deformation using isobar $^{96}_{44}$Ru+$^{96}_{44}$Ru and $^{96}_{40}$Zr+$^{96}_{40}$Zr collisions at $\sqrt{s_{_{\rm NN}}}=200$ GeV by the STAR detector. The significant deviations from unity of the isobar ratios of elliptic flow $v_{2}$, triangular flow $v_{3}$, mean $p_{\rm T}$ fluctuations $\langle\delta p_{\rm T}^{2}\rangle/\langle p_{\rm T}\rangle^{2}$, and asymmetric cumulant ${\rm ac}_{2}\{3\}$ indicate large differences in their quadrupole and octuple deformations. The significant deviations of the isobar ratios of produced hadron multiplicity $N_{\rm ch}$, mean transverse momentum $\langle p_{\rm T}\rangle$, and net charge number $\Delta Q$ indicate a halo-type neutron skin for the Zr nucleus, much thicker than for the Ru nucleus, consistent with nuclear structure calculations. We discuss how we extract the neutron skin thickness, the symmetry energy slope parameter, and deformation parameters from data.


title: Pre-training Tasks for User Intent Detection and Embedding Retrieval in E-commerce Search

abstract: BERT-style models pre-trained on the general corpus (e.g., Wikipedia) and fine-tuned on specific task corpus, have recently emerged as breakthrough techniques in many NLP tasks: question answering, text classification, sequence labeling and so on. However, this technique may not always work, especially for two scenarios: a corpus that contains very different text from the general corpus Wikipedia, or a task that learns embedding spacial distribution for a specific purpose (e.g., approximate nearest neighbor search). In this paper, to tackle the above two scenarios that we have encountered in an industrial e-commerce search system, we propose customized and novel pre-training tasks for two critical modules: user intent detection and semantic embedding retrieval. The customized pre-trained models after fine-tuning, being less than 10% of BERT-base's size in order to be feasible for cost-efficient CPU serving, significantly improve the other baseline models: 1) no pre-training model and 2) fine-tuned model from the official pre-trained BERT using general corpus, on both offline datasets and online system. We have open sourced our datasets for the sake of reproducibility and future works.


title: Unifying local and global model explanations by functional decomposition of low dimensional structures

abstract: We consider a global representation of a regression or classification function by decomposing it into the sum of main and interaction components of arbitrary order. We propose a new identification constraint that allows for the extraction of interventional SHAP values and partial dependence plots, thereby unifying local and global explanations. With our proposed identification, a feature's partial dependence plot corresponds to the main effect term plus the intercept. The interventional SHAP value of feature $k$ is a weighted sum of the main component and all interaction components that include $k$, with the weights given by the reciprocal of the component's dimension. This brings a new perspective to local explanations such as SHAP values which were previously motivated by game theory only. We show that the decomposition can be used to reduce direct and indirect bias by removing all components that include a protected feature. Lastly, we motivate a new measure of feature importance. In principle, our proposed functional decomposition can be applied to any machine learning model, but exact calculation is only feasible for low-dimensional structures or ensembles of those. We provide an algorithm and efficient implementation for gradient-boosted trees (xgboost) and random planted forest. Conducted experiments suggest that our method provides meaningful explanations and reveals interactions of higher orders. The proposed methods are implemented in an R package, available at \url{https://github.com/PlantedML/glex}.


title: ALS: Augmented Lagrangian Sketching Methods for Linear Systems

abstract: We develop two fundamental stochastic sketching techniques; Penalty Sketching (PS) and Augmented Lagrangian Sketching (ALS) for solving consistent linear systems. The proposed PS and ALS techniques extend and generalize the scope of Sketch & Project (SP) method by introducing Lagrangian penalty sketches. In doing so, we recover SP methods as special cases and furthermore develop a family of new stochastic iterative methods. By varying sketch parameters in the proposed PS method, we recover novel stochastic methods such as Penalty Newton Descent, Penalty Kaczmarz, Penalty Stochastic Descent, Penalty Coordinate Descent, Penalty Gaussian Pursuit, and Penalty Block Kaczmarz. Furthermore, the proposed ALS method synthesizes a wide variety of new stochastic methods such as Augmented Newton Descent, Augmented Kaczmarz, Augmented Stochastic Descent, Augmented Coordinate Descent, Augmented Gaussian Pursuit, and Augmented Block Kaczmarz into one framework. Moreover, we show that the developed PS and ALS frameworks can be used to reformulate the original linear system into equivalent stochastic optimization problems namely the Penalty Stochastic Reformulation and Augmented Stochastic Reformulation. We prove global convergence rates for the PS and ALS methods as well as sub-linear $\mathcal{O}(\frac{1}{k})$ rates for the Cesaro average of iterates. The proposed convergence results hold for a wide family of distributions of random matrices, which provides the opportunity of fine-tuning the randomness of the method suitable for specific applications. Finally, we perform computational experiments that demonstrate the efficiency of our methods compared to the existing SP methods.


title: How to build vehicular ad-hoc networks on smartphones

abstract: Vehicular ad-hoc networks have been defined in the literature as communications networks that allow disseminating information among vehicles to help to reduce traffic accidents and congestions. The practical deployment of such networks has been delayed mainly due to economic and technical issues. This paper describes a new software application to detect traffic incidents and exchange information about them, using only smartphones, without any central authority or additional equipment. Both road safety and communication security have been taken into account in the application design. On the one hand, the interface has been designed to avoid distractions while driving because it operates automatically and independently of the driver, through voice prompts. On the other hand, communication security, which is essential in critical wireless networks, is provided through the protection of attributes such as authenticity, privacy, integrity and non-repudiation. All this is achieved without increasing the price of vehicles and without requiring the integration of new devices neither in vehicles nor on roads. The only prerequisite is to have a smartphone equipped with Wi-Fi connectivity and GPS location in each vehicle. The proposed application has been successfully validated both in large-scale NS-2 simulations and in small-scale real tests to detect traffic congestions and empty parking spaces.


title: Statistical analyses of ordinal outcomes in randomised controlled trials: protocol for a scoping review

abstract: Randomised controlled trials aim to assess the impact of one (or more) health interventions relative to other standard interventions. RCTs sometimes use an ordinal outcome, which is an endpoint that comprises of multiple, monotonically ordered categories that are not necessarily separated by a quantifiable distance. Ordinal outcomes are appealing in clinical settings as disease states can represent meaningful categories that may be of clinical importance. They can also retain information and increase statistical power compared to dichotomised outcomes. Target parameters for ordinal outcomes in RCTs may vary depending on the nature of the research question, the modelling assumptions, and the expertise of the data analyst. The aim of this scoping review is to systematically describe the use of ordinal outcomes in contemporary RCTs. Specifically, we aim to (i) identify which target parameters are of interest in trials that use an ordinal outcome; (ii) describe how ordinal outcomes are analysed in RCTs to estimate a treatment effect; and (iii) describe whether RCTs that use an ordinal outcome adequately report key methodological aspects specific to the analysis of the outcome. Results from this review will outline the current state of practice of the use of ordinal outcomes in RCTs. Ways to improve the analysis and reporting of ordinal outcomes in RCTs will be discussed. We will review RCTs that are published in the top four medical journals (BMJ, NEJM, The Lancet and JAMA) between 1 January 2012 and 31 July 2022 that use an ordinal outcome. The review will be conducted using PubMed. Our review will adhere to guidelines for scoping reviews as described in the PRISMA-ScR checklist. The study characteristics and design, including the target parameter(s) and statistical methods will be extracted from eligible studies. The data will be summarised using descriptive statistics.


title: What Features Influence Impact Feel? A Study of Impact Feedback in Action Games

abstract: Making the hit effect satisfy players is a long-standing problem faced by action game designers. However, no research systematically analyzed which game design elements affect such game feel. There is not even a term to describe it. So, we propose to use impact feel to describe the player's feeling when receiving juicy impact feedback. After collecting player's comments on action games from Steam's top seller list, we trained a natural language processing (NLP) model to rank action games with their performance on impact feel. We presented a 19-feature framework of impact feedback design and examined it in the top eight and last eight games. We listed an inventory of the usage of features and found that hit stop, sound coherence, and camera control may strongly influence players' impact feel. A lack of dedicated design on one of these three features may ruin players' impact feel. Our findings may become an evaluation metric for future studies.


title: Multi-mode Dynamics of Terahertz Quantum Cascade Lasers: spontaneous and actively induced generation of dense and harmonic coherent regimes

abstract: We present an extended study concerning the dynamics of dense and harmonic coherent regimes in quantum cascade lasers (QCLs) in a Fabry--Perot (FP) configuration emitting in the terahertz (THz) spectral region. Firstly, we study the device in free running operation, reproducing the main features of the self-generated of optical frequency combs (OFCs) and harmonic frequency combs (HFCs) in this spectral range, commenting on the points of difference from the mid-infrared region, and finding excellent agreement with the most recent experimental evidences. Then, we analyze the THz-QCL dynamics under radiofrequency (RF) injection, with a focus on the effect of the modulation of the current on the degree of locking of the system, and we perform a systematic investigation aimed to provide a procedure for the generation of train of pulses with short duration and high contrast. Furthermore, we extend our study to the generation of sequences of pulses with repetition frequency which is a multiple of the free-spectral range (FSR) of the laser cavity, reproducing harmonic mode-locking (HML) of the laser, a method which has been recently demontrated in experiments with THz-QCLs, and the results of which are particulary promising for a large stream of applications, ranging from optical communication to imaging.


title: Valuation of patents in emerging economies: a renewal model-based study of Indian patents

abstract: This study uses patent renewal information to estimate private value of patents by technology and ownership status. Patent value refers to the economic reward that the inventor extracts from the patent by making, using or selling an invention. Thus, we measure the value of patent right (private value of patent) from the patentee perspective. Our empirical analysis comprises of 555 patents with application year during 1999 to 2002. The term of these patents either ended in 2018 or lapsed due to non-payment of renewal fee. We model renewal decision of patentee as ordered probit where patent renewal fee increases with the age of patent. Variables such as patent family size, technological scope, number of inventors and grant lag are used as explanatory variables in the corresponding regression. Hence, this paper combines the patentee renewal decision along with patents characteristics and renewal cost schedule to estimate the initial rent distribution. We find that a large number of patents expire at an early stage leaving few patents with high value corroborating the results of studies using European, American and Chinese data. As expected, certain technology class patents enjoy high valuation.


title: Twisted Lattice Nanocavity Based on Mode Locking in Momentum Space

abstract: Simultaneous localization of light to extreme spatial and spectral scales is of high importance for testing fundamental physics and various applications. However, there is a long-standing trade-off between localizing light field in space and in frequency. Here we discover a new class of twisted lattice nanocavities based on mode locking in momentum space. The twisted lattice nanocavity hosts a strongly localized light field in a 0.048 lambda^3 mode volume with a quality factor exceeding 2.9*10^11 (~250 us photon lifetime), which presents a record high figure of merit of light localization among all reported optical cavities. Based on the discovery, we have demonstrated silicon based twisted lattice nanocavities with quality factor over 1 million. Our result provides a powerful platform to study light-matter interaction in extreme condition for tests of fundamental physics and applications in nanolasing, ultrasensing, nonlinear optics, optomechanics and quantum-optical devices.


title: Ultra Long Turbulent Eddies, Magnetic Topology, and the Triggering of Internal Transport Barriers in Tokamaks

abstract: Local nonlinear gyrokinetic simulations of tokamak plasmas demonstrate that turbulent eddies can extend along magnetic field lines for hundreds of poloidal turns when the magnetic shear is very small. By accurately modeling different field line topologies (e.g. low-order, almost rational, or irrational safety factor), we show that the parallel self-interaction of such "ultra long" eddies can dramatically reduce heat transport. This reveals novel strategies to improve confinement, constitutes experimentally testable predictions, and illuminates past observations of internal transport barriers.


title: XMM-Newton observations of PSR J0554+3107: pulsing thermal emission from a cooling high-mass neutron star

abstract: XMM-Newton observations of the middle-aged radio-quiet $\gamma$-ray pulsar J0554+3107 allowed us, for the first time, firmly identify it in X-rays by detection of pulsations with the pulsar period. In the 0.2-2 keV band, the pulse profile shows two peaks separated by about a half of the rotation phase with the pulsed fraction of $25 \pm 6$ per cent. The profile and spectrum in this band can be mainly described by thermal emission from the neutron star with the hydrogen atmosphere, dipole magnetic field of $\sim 10^{13}$ G and non-uniform surface temperature. Non-thermal emission from the pulsar magnetosphere is marginally detected at higher photon energies. The spectral fit with the atmosphere+power law model implies that J0554+3107 is a rather heavy and cool neutron star with the mass of 1.6-2.1 $M_\odot$, the radius of $\approx 13$ km and the redshifted effective temperature of $\approx 50$ eV. The spectrum shows an absorption line of unknown nature at $\approx 350$ eV. Given the extinction-distance relation, the pulsar is located at $\approx 2$ kpc and has the redshifted bolometric thermal luminosity of $\approx 2 \times 10^{32}$ erg s$^{-1}$. We discuss cooling scenarios for J0554+3107 considering plausible equations of state of super-dense matter inside the star, different compositions of the heat-blanketing envelope and various ages.


title: Sparse Probability of Agreement

abstract: Measuring inter-annotator agreement is important for annotation tasks, but many metrics require a fully-annotated set of data, where all annotators annotate all samples. We define Sparse Probability of Agreement, SPA, which estimates the probability of agreement when not all annotator-item-pairs are available. We show that under certain conditions, SPA is an unbiased estimator, and we provide multiple weighing schemes for handling data with various degrees of annotation.


title: Layout-Bridging Text-to-Image Synthesis

abstract: The crux of text-to-image synthesis stems from the difficulty of preserving the cross-modality semantic consistency between the input text and the synthesized image. Typical methods, which seek to model the text-to-image mapping directly, could only capture keywords in the text that indicates common objects or actions but fail to learn their spatial distribution patterns. An effective way to circumvent this limitation is to generate an image layout as guidance, which is attempted by a few methods. Nevertheless, these methods fail to generate practically effective layouts due to the diversity of input text and object location. In this paper we push for effective modeling in both text-to-layout generation and layout-to-image synthesis. Specifically, we formulate the text-to-layout generation as a sequence-to-sequence modeling task, and build our model upon Transformer to learn the spatial relationships between objects by modeling the sequential dependencies between them. In the stage of layout-to-image synthesis, we focus on learning the textual-visual semantic alignment per object in the layout to precisely incorporate the input text into the layout-to-image synthesizing process. To evaluate the quality of generated layout, we design a new metric specifically, dubbed Layout Quality Score, which considers both the absolute distribution errors of bounding boxes in the layout and the mutual spatial relationships between them. Extensive experiments on three datasets demonstrate the superior performance of our method over state-of-the-art methods on both predicting the layout and synthesizing the image from the given text.


title: Dropout is NOT All You Need to Prevent Gradient Leakage

abstract: Gradient inversion attacks on federated learning systems reconstruct client training data from exchanged gradient information. To defend against such attacks, a variety of defense mechanisms were proposed. However, they usually lead to an unacceptable trade-off between privacy and model utility. Recent observations suggest that dropout could mitigate gradient leakage and improve model utility if added to neural networks. Unfortunately, this phenomenon has not been systematically researched yet. In this work, we thoroughly analyze the effect of dropout on iterative gradient inversion attacks. We find that state of the art attacks are not able to reconstruct the client data due to the stochasticity induced by dropout during model training. Nonetheless, we argue that dropout does not offer reliable protection if the dropout induced stochasticity is adequately modeled during attack optimization. Consequently, we propose a novel Dropout Inversion Attack (DIA) that jointly optimizes for client data and dropout masks to approximate the stochastic client model. We conduct an extensive systematic evaluation of our attack on four seminal model architectures and three image classification datasets of increasing complexity. We find that our proposed attack bypasses the protection seemingly induced by dropout and reconstructs client data with high fidelity. Our work demonstrates that privacy inducing changes to model architectures alone cannot be assumed to reliably protect from gradient leakage and therefore should be combined with complementary defense mechanisms.


title: Joint Optimization of Ranking and Calibration with Contextualized Hybrid Model

abstract: Despite the development of ranking optimization techniques, pointwise loss remains the dominating approach for click-through rate prediction. It can be attributed to the calibration ability of the pointwise loss since the prediction can be viewed as the click probability. In practice, a CTR prediction model is also commonly assessed with the ranking ability. To optimize the ranking ability, ranking loss (e.g., pairwise or listwise loss) can be adopted as they usually achieve better rankings than pointwise loss. Previous studies have experimented with a direct combination of the two losses to obtain the benefit from both losses and observed an improved performance. However, previous studies break the meaning of output logit as the click-through rate, which may lead to sub-optimal solutions. To address this issue, we propose an approach that can Jointly optimize the Ranking and Calibration abilities (JRC for short). JRC improves the ranking ability by contrasting the logit value for the sample with different labels and constrains the predicted probability to be a function of the logit subtraction. We further show that JRC consolidates the interpretation of logits, where the logits model the joint distribution. With such an interpretation, we prove that JRC approximately optimizes the contextualized hybrid discriminative-generative objective. Experiments on public and industrial datasets and online A/B testing show that our approach improves both ranking and calibration abilities. Since May 2022, JRC has been deployed on the display advertising platform of Alibaba and has obtained significant performance improvements.


title: Customer Empowered Privacy-Preserving Secure Verification using Decentralized Identifier and Verifiable Credentials For Product Delivery Using Robots

abstract: In the age of respiratory illnesses like COVID 19, we understand the necessity for a robot based delivery system to ensure safe and contact free courier delivery. A blockchain based Dynamic IDentifier gives people total power over their identities while preserving auditability and anonymity. A human mobile phone and a robot are machines created with a chip, making it simple to deploy a physical unclonable function based verification system between the robot and the customer. This article presents a novel framework and a first customer verification scheme for verified courier delivery utilizing the blockchain enabled DID and PUF enabled robots. We employ DID for customer authentication between a robot (a service provider) and a customer and PUF for robot verification by the customer. We ve also put the proposed work into practice and demonstrated its capabilities in terms of throughput, latency, computing cost, and communication cost. We also show formal security proof for the proposed user verification scheme based on the tamarin prover.


title: Analysis of subsystems with rooks on a chess-board representing a partial Latin square (Part 2.)

abstract: A partial Latin square of order $n$ can be represented by a $3$-dimensional chess-board of size $n\times n\times n$ with at most $n^2$ non-attacking rooks. In Latin squares, a subsystem and its most distant mate together have as many rooks as their capacity. That implies a simple capacity condition for the completion of partial Latin squares which is in fact the Cruse's necessary condition for characteristic matrices. Andersen-Hilton proved that, except for certain listed cases, a PLS of order $n$ can be completed if it contains only $n$ symbols. Andersen proved it for $n+1$ symbols, listing the cases to be excluded. Identifying the structures of the chess-board that can be overloaded with $n$ or $n+1$ rooks, it follows that a PLS derived from a chess-board with at most $n+1$ non-attacking rooks can be completed exactly if it satisfies the capacity condition. In a layer of a Latin square, two subsystems of a remote couple are in balance. Thus, a necessary condition for completion of a layer can be formulated, the balance condition. For an LSC, each 1-dimensional subspace of the chess-board contains exactly one rook. Consequently, for the PLSCs derived from partial Latin squares, we examine certain sets of 1-dimensional subspaces because they indicate the number of missing rooks.


title: Revisiting Chaplygin gas cosmologies with the recent observations of high-redshfit quasars

abstract: In this paper, we use the latest observations of quasars covering the redshift range of $0.04<z<5.1$ to investigate a series of Chaplygin gas models as candidates for unified dark matter and dark energy. Based on different combinations of available standard candle and standard ruler data, we put constraints on the generalized Chaplygin gas (GCG), modified Chaplygin gas (MCG), new generalized Chaplygin gas (NGCG) and viscous generalized Chaplygin gas (VGCG) models. Moreover, we apply Jensen-Shannon divergence (JSD), statefinder diagnostics, and the deviance information criterion (DIC) to distinguish these CG models, based on the statistical results derived from Markov chain Monte Carlo method. The results show that (1) The standard ruler data could provide more stringent constraints on the cosmological parameters of different CG models considered in this analysis. Interestingly, the matter density parameter $\Omega_{m}$ and Hubble constant $H_{0}$ derived from the available data are well consistent with those from the Planck 2018 results; (2) Based on the statistical criteria JSD, our findings demonstrate the well consistency between Chaplygin gas and the concordance $\Lambda$CDM model. However, in the framework of statefinder diagnostics, the GCG and NGCG models cannot be distinguished from $\Lambda$CDM, while MCG and VGCG models show significant deviation from $\Lambda$CDM in the present epoch; (3) According to the the statistical criteria DIC, we show that the MCG and VGCG models have substantial observational support from high-redshfit quasars, whereas the GCG and NGCG models miss out on the less observational support category but can not be ruled out.


title: Photon Production in High-Energy Heavy-Ion Collisions: Thermal Photons and Radiative Recombination

abstract: We present a comprehensive analysis of photon production at RHIC and the LHC, proposing radiative hadronization as an additional photon source in high-energy heavy-ion collisions. For thermal photon, we perform relativistic viscous hydrodynamic calculation with event-by-event fluctuations.


title: DDX7: Differentiable FM Synthesis of Musical Instrument Sounds

abstract: FM Synthesis is a well-known algorithm used to generate complex timbre from a compact set of design primitives. Typically featuring a MIDI interface, it is usually impractical to control it from an audio source. On the other hand, Differentiable Digital Signal Processing (DDSP) has enabled nuanced audio rendering by Deep Neural Networks (DNNs) that learn to control differentiable synthesis layers from arbitrary sound inputs. The training process involves a corpus of audio for supervision, and spectral reconstruction loss functions. Such functions, while being great to match spectral amplitudes, present a lack of pitch direction which can hinder the joint optimization of the parameters of FM synthesizers. In this paper, we take steps towards enabling continuous control of a well-established FM synthesis architecture from an audio input. Firstly, we discuss a set of design constraints that ease spectral optimization of a differentiable FM synthesizer via a standard reconstruction loss. Next, we present Differentiable DX7 (DDX7), a lightweight architecture for neural FM resynthesis of musical instrument sounds in terms of a compact set of parameters. We train the model on instrument samples extracted from the URMP dataset, and quantitatively demonstrate its comparable audio quality against selected benchmarks.


title: Admissible fundamental operators associated with two domains related to $\mu$-synthesis

abstract: In this article, we discuss necessary condition of conditional dilation for both completely non-unitary (c.n.u) $\Gamma_{n}$-contractions and c.n.u $\mathbb E$-contractions. Consider two tuples, $(A_1, \dots, A_{n-1})$ and $(B_1, \dots, B_{n-1})$, of operators defined on two Hilbert spaces. One of the principal goals is to identify a necessary and a sufficient condition guaranteeing the existence of a c.n.u $\Gamma_n$-contraction $(S_1, \dots, S_{n-1},P)$ such that $(A_1, \dots, A_{n-1})$ becomes the $\mathcal{F}_O$-tuple of $(S_1, \dots, S_{n-1},P)$ and $(B_1, \dots,B_{n-1})$ becomes the $\mathcal{F}_O$-tuple of $(S_1^*,\dots, S_{n-1}^*,P^*)$. Also for given two pairs of operators $(F_1,F_2)$ and $(G_1,G_2)$ defined on two Hilbert spaces, we examine when there is a c.n.u $\mathbb E$-contraction $(A,B,P)$ such that $(F_1,F_2)$ becomes the $\mathcal{F}_O$-pair of $(A,B,P)$ and $(G_1,G_2)$ becomes the $\mathcal{F}_O$-pair of $(A^*,B^*,P^*)$.


title: Global unique solution for the 3-D full compressible MHD equations in space of lower regularity

abstract: In this paper, we establish new $L^p$ gradient estimates of the solutions in order to discuss Cauchy problem for the full compressible magnetohydrodynamic(MHD) systems in $\mathrm{R}^3$. We use the "$\rm{div}-\rm{curl}$" decomposition technique (see \cite{{HJR},{MR}}) and new modified effective viscous flux and vorticity to calculate "$\Vert\nabla \mathbf{u}\Vert_{L^3}$" and "$\Vert\nabla \mathbb{H}\Vert_{L^3}$".As a result, we obtain global well-posedness for the solution with the initial data being in a class of space with lower regularity, while the energy of which should be suitably small.


title: Modelling drag coefficients of ellipsoidal particles in rarefied flow conditions

abstract: The importance of accurately capturing two-way coupled interactions between particles with complex shapes and rarefied gas flows is rapidly rising in different practical applications such as aerospace industry and semiconductor manufacturing. The transport of particles in these conditions is often modelled via an Euler-Lagrangian Point-Particles approach, where rarefaction effects are included through the phenomenological Cunningham corrections on the drag force experienced by the particles. In Point-Particles approaches, any explicit relation to the finite size of the particles, shape, orientation and momentum accommodation coefficient is typically neglected. In this work we aim to cover this gap by deriving, from fully-resolved DSMC simulations, heuristic models for the drag force acting on ellipsoidal particles with different aspect ratios. We include in the models the capability to predict effects related to gas-surface interactions via the tangential momentum accommodation coefficient (TMAC). The derived models can be used as corrections (to include shape, orientation and TMAC effects) in standard Euler-Lagrangian Point Particles simulations in rarefied gas flows. Additionally, we show that the obtained drag corrections, formally valid for unbounded gas flows, can potentially be applied also in cases where the particle moves in proximity to a solid wall. We do so by investigating near-wall effects on the drag of a prolate ellipsoidal particle. Due to confinement effects, the drag increases when compared to the unbounded case, but such effects are typically negligible for large $Kn$ also in cases in which the particle is in contact with the solid wall.


title: A white laser with chirped photonic crystals

abstract: We report the results on theoretical investigation about possible simultaneous laser generation in all, closely spaced modes of chirped photonic crystals layer in all visible region of the spectrum. With the possible ability to control the chirping contrast, it allows to obtain a white laser with a simple system on a chip, which can find wide application.


title: Two-person Graph Convolutional Network for Skeleton-based Human Interaction Recognition

abstract: Graph convolutional networks (GCNs) have been the predominant methods in skeleton-based human action recognition, including human-human interaction recognition. However, when dealing with interaction sequences, current GCN-based methods simply split the two-person skeleton into two discrete graphs and perform graph convolution separately as done for single-person action classification. Such operations ignore rich interactive information and hinder effective spatial inter-body relationship modeling. To overcome the above shortcoming, we introduce a novel unified two-person graph to represent inter-body and intra-body correlations between joints. Experiments show accuracy improvements in recognizing both interactions and individual actions when utilizing the proposed two-person graph topology. In addition, We design several graph labeling strategies to supervise the model to learn discriminant spatial-temporal interactive features. Finally, we propose a two-person graph convolutional network (2P-GCN). Our model achieves state-of-the-art results on four benchmarks of three interaction datasets: SBU, interaction subsets of NTU-RGB+D and NTU-RGB+D 120.


title: The Weighting Game: Evaluating Quality of Explainability Methods

abstract: The objective of this paper is to assess the quality of explanation heatmaps for image classification tasks. To assess the quality of explainability methods, we approach the task through the lens of accuracy and stability. In this work, we make the following contributions. Firstly, we introduce the Weighting Game, which measures how much of a class-guided explanation is contained within the correct class' segmentation mask. Secondly, we introduce a metric for explanation stability, using zooming/panning transformations to measure differences between saliency maps with similar contents. Quantitative experiments are produced, using these new metrics, to evaluate the quality of explanations provided by commonly used CAM methods. The quality of explanations is also contrasted between different model architectures, with findings highlighting the need to consider model architecture when choosing an explainability method.


title: A Knowledge Distillation-Based Backdoor Attack in Federated Learning

abstract: Federated Learning (FL) is a novel framework of decentralized machine learning. Due to the decentralized feature of FL, it is vulnerable to adversarial attacks in the training procedure, e.g. , backdoor attacks. A backdoor attack aims to inject a backdoor into the machine learning model such that the model will make arbitrarily incorrect behavior on the test sample with some specific backdoor trigger. Even though a range of backdoor attack methods of FL has been introduced, there are also methods defending against them. Many of the defending methods utilize the abnormal characteristics of the models with backdoor or the difference between the models with backdoor and the regular models. To bypass these defenses, we need to reduce the difference and the abnormal characteristics. We find a source of such abnormality is that backdoor attack would directly flip the label of data when poisoning the data. However, current studies of the backdoor attack in FL are not mainly focus on reducing the difference between the models with backdoor and the regular models. In this paper, we propose Adversarial Knowledge Distillation(ADVKD), a method combine knowledge distillation with backdoor attack in FL. With knowledge distillation, we can reduce the abnormal characteristics in model result from the label flipping, thus the model can bypass the defenses. Compared to current methods, we show that ADVKD can not only reach a higher attack success rate, but also successfully bypass the defenses when other methods fails. To further explore the performance of ADVKD, we test how the parameters affect the performance of ADVKD under different scenarios. According to the experiment result, we summarize how to adjust the parameter for better performance under different scenarios. We also use several methods to visualize the effect of different attack and explain the effectiveness of ADVKD.


title: Status Update Control and Analysis under Two-Way Delay

abstract: We study status updating under two-way delay in a system consisting of a sampler, a sink, and a controller residing at the sink. The controller controls the sampling process by sending request packets to the sampler. Upon receiving a request, the sampler generates a sample and transmits the status update packet to the sink. Transmissions of both request and status update packets encounter random delays. We develop optimal control policies to minimize the average age of information (AoI) using the tools of Markov decision processes in two scenarios. We begin with the system having at most one active request, i.e., a generated request for which the sink has not yet received a status update packet. Then, as the main distinctive feature of this paper, we initiate pipelining-type status updating by studying a system having at most two active requests. Furthermore, we conduct AoI analysis by deriving the average AoI expressions for the Zero-Wait-1, Zero-Wait-2, and Wait-1 policies. According to the Zero-Wait-1 policy, whenever a status update packet is delivered to the sink, a new request packet is inserted into the system. The Zero-Wait-2 policy operates similarly, except that the system holds two active requests. According to the Wait-1 policy, whenever a status update packet is delivered to the sink, a new request is sent after a waiting time which is a function of the current AoI. Numerical results illustrate the performance of each status updating policy under different system parameter values.


title: Mining Legal Arguments in Court Decisions

abstract: Identifying, classifying, and analyzing arguments in legal discourse has been a prominent area of research since the inception of the argument mining field. However, there has been a major discrepancy between the way natural language processing (NLP) researchers model and annotate arguments in court decisions and the way legal experts understand and analyze legal argumentation. While computational approaches typically simplify arguments into generic premises and claims, arguments in legal research usually exhibit a rich typology that is important for gaining insights into the particular case and applications of law in general. We address this problem and make several substantial contributions to move the field forward. First, we design a new annotation scheme for legal arguments in proceedings of the European Court of Human Rights (ECHR) that is deeply rooted in the theory and practice of legal argumentation research. Second, we compile and annotate a large corpus of 373 court decisions (2.3M tokens and 15k annotated argument spans). Finally, we train an argument mining model that outperforms state-of-the-art models in the legal NLP domain and provide a thorough expert-based evaluation. All datasets and source codes are available under open lincenses at https://github.com/trusthlt/mining-legal-arguments.


title: Exploiting Feature Diversity for Make-up Temporal Video Grounding

abstract: This technical report presents the 3rd winning solution for MTVG, a new task introduced in the 4-th Person in Context (PIC) Challenge at ACM MM 2022. MTVG aims at localizing the temporal boundary of the step in an untrimmed video based on a textual description. The biggest challenge of this task is the fi ne-grained video-text semantics of make-up steps. However, current methods mainly extract video features using action-based pre-trained models. As actions are more coarse-grained than make-up steps, action-based features are not sufficient to provide fi ne-grained cues. To address this issue,we propose to achieve fi ne-grained representation via exploiting feature diversities. Specifically, we proposed a series of methods from feature extraction, network optimization, to model ensemble. As a result, we achieved 3rd place in the MTVG competition.


title: Unveiling the main sequence of galaxies at $z \geq 5$ with the James Webb Space Telescope: predictions from simulations

abstract: We use two independent, galaxy formation simulations, FLARES, a cosmological hydrodynamical simulation, and SHARK, a semi-analytic model, to explore how well the James Webb Space Telescope (JWST) will be able to uncover the existence and parameters of the star-forming main sequence (SFS) at $z=5\to10$, i.e. shape, scatter, normalisation. Using two independent simulations allows us to isolate predictions (e.g., stellar mass, star formation rate, SFR, luminosity functions) that are robust to or highly dependent on the implementation of the physics of galaxy formation. Both simulations predict that JWST can observe $\ge 70-90\%$ (for SHARK and FLARES respectively) of galaxies up to $z\sim10$ (down to stellar masses of $\approx 10^{8.3}\,\rm M_{\odot}$ and SFRs of $\approx 10^{0.5}\,\rm M_{\odot}\, yr^{-1}$) in modest integration times and given current proposed survey areas (e.g. the Web COSMOS $0.6\,\rm deg^2$) to accurately constrain the parameters of the SFS. Although both simulations predict qualitatively similar distributions of stellar mass and SFR, there are important quantitative differences, such as the abundance of massive, star-forming galaxies, with FLARES predicting a higher abundance than SHARK; the early onset of quenching as a result of black hole growth in FLARES (at $z\approx 8$), not seen in SHARK until much lower redshifts; and the implementation of synthetic photometry, with FLARES predicting more JWST-detected galaxies ($\sim 90\%$) than SHARK ($\sim 70\%$) at $z=10$. JWST observations will distinguish between these models, leading to a significant improvement upon our understanding of the formation of the very first galaxies.


abstract: In this paper, using the theory of $\A$-cover developed in \cite{B1,BF1}, we completely classify all simple Harish-Chandra modules over the high rank $W$-algebra $W(2,2)$. As a byproduct, we obtain the classification of simple Harish-Chandra modules over the classical $W$-algebra $W(2,2)$ studied in \cite{LGZ,CLW,GLZ1}.


title: The Lyman-$\alpha$ Emission in a C1.4 Solar Flare Observed by the Extreme Ultraviolet Imager aboard Solar Orbiter

abstract: The hydrogen Lyman-$\alpha$ (H {\sc i} Ly$\alpha$) emission during solar flares has rarely been studied in spatially resolved images and its physical origin has not been fully understood. In this paper, we present novel Ly$\alpha$ images for a C1.4 solar flare (SOL2021-08-20T22:00) from the Extreme Ultraviolet Imager aboard Solar Orbiter, together with multi-waveband and multi-perspective observations from the Solar Terrestrial Relations Observatory Ahead and the Solar Dynamics Observatory spacecraft. It is found that the Ly$\alpha$ emission has a good temporal correlation with the thermal emissions at 1--8 \AA\ and 5--7 keV, indicating that the flaring Ly$\alpha$ is mainly produced by a thermal process in this small event. However, nonthermal electrons play a minor role in generating Ly$\alpha$ at flare ribbons during the rise phase of the flare, as revealed by the hard X-ray imaging and spectral fitting. Besides originating from flare ribbons, the Ly$\alpha$ emission can come from flare loops, likely caused by plasma heating and also cooling that happen in different flare phases. It is also found that the Ly$\alpha$ emission shows fairly similar features with the He {\sc ii} 304 \AA\ emission in light curve and spatio-temporal variation along with small differences. These observational results improve our understanding of the Ly$\alpha$ emission in solar flares and also provide some insights for investigating the Ly$\alpha$ emission in stellar flares.


title: Non-Autoregressive Sign Language Production via Knowledge Distillation

abstract: Sign Language Production (SLP) aims to translate expressions in spoken language into corresponding ones in sign language, such as skeleton-based sign poses or videos. Existing SLP models are either AutoRegressive (AR) or Non-Autoregressive (NAR). However, AR-SLP models suffer from regression to the mean and error propagation during decoding. NSLP-G, a NAR-based model, resolves these issues to some extent but engenders other problems. For example, it does not consider target sign lengths and suffers from false decoding initiation. We propose a novel NAR-SLP model via Knowledge Distillation (KD) to address these problems. First, we devise a length regulator to predict the end of the generated sign pose sequence. We then adopt KD, which distills spatial-linguistic features from a pre-trained pose encoder to alleviate false decoding initiation. Extensive experiments show that the proposed approach significantly outperforms existing SLP models in both Frechet Gesture Distance and Back-Translation evaluation.


title: A sufficient and necessary condition of generalized polynomial Li\'enard systems with global centers

abstract: The aim of this paper is to give a sufficient and necessary condition of the generalized polynomial Li\'enard system with a global center (including linear typer and nilpotent type). Recently, Llibre and Valls [J. Differential Equations, 330 (2022), 66-80] gave a sufficient and necessary condition of the generalized polynomial Li\'enard system with a linear type global center. It is easy to see that our sufficient and necessary condition is more easy by comparison. In particular, we provide the explicit expressions of all the generalized polynomial Li\'enard differential systems of degree 5 having a global center at the origin and the explicit expression of a generalized polynomial Li\'enard differential system of indefinite degree having a global center at the origin.


title: Coarea Inequality for Monotone Functions on Metric Surfaces

abstract: We study coarea inequalities for metric surfaces -- metric spaces that are topological surfaces, without boundary, and which have locally finite Hausdorff 2-measure $\mathcal{H}^2$. For monotone Sobolev functions $u\colon X \to \mathbb{R} $, we prove the inequality \begin{equation*} \int_{ \mathbb{R} }^{*} \int_{ u^{-1}(t) } g \,d\mathcal{H}^{1} \,dt \leq \kappa \int_{ X } g \rho \,d\mathcal{H}^{2} \quad\text{for every Borel $g \colon X \rightarrow \left[0,\infty\right]$,} \end{equation*} where $\rho$ is any integrable upper gradient of $u$. If $\rho$ is locally $L^2$-integrable, we obtain the sharp constant $\kappa=4/\pi$. The monotonicity condition cannot be removed as we give an example of a metric surface $X$ and a Lipschitz function $u \colon X \to \mathbb{R}$ for which the coarea inequality above fails.


title: Data-driven operator-theoretic analysis of weak interactions in synchronized network dynamics

abstract: We propose a data-driven approach to extracting interactions among oscillators in synchronized networks. The phase model describing the network is estimated directly from time-series data by solving a multiparameter eigenvalue problem associated with the Koopman operator on vector-valued function spaces. The asymptotic phase function of the oscillator and phase coupling functions are simultaneously obtained within the same framework without prior knowledge of the network. We validate the proposed method by numerical simulations and analyze real-world data of synchronized networks.


title: Stabilizer quantum codes defined by trace-depending polynomials

abstract: Quantum error-correcting codes with good parameters can be constructed by evaluating polynomials at the roots of the polynomial trace. In this paper, we propose to evaluate polynomials at the roots of trace-depending polynomials (given by a constant plus the trace of a polynomial) and show that this procedure gives rise to stabilizer quantum error-correcting codes with a wider range of lengths than in other papers involving roots of the trace and with excellent parameters. Namely, we are able to provide new binary records and non-binary codes improving the ones available in the literature.


title: Solvability of a class of mean-field BSDEs with quadratic growth

abstract: In this paper, we study the multi-dimensional mean-field backward stochastic differential equations (BSDEs, for short) with quadratic growth. Under small terminal value, the existence and uniqueness are proved for the multi-dimensional situation when the generator f(t,Y,E[Y],Z,E[Z]) is of quadratic growth with respect to the last four items, using some new methods. Besides, a kind of comparison theorem is obtained.


title: Cubic vertex-transitive graphs admitting automorphisms of large order

abstract: A connected graph of order $n$ admitting a semiregular automorphism of order $n/k$ is called a $k$-multicirculant. Highly symmetric multicirculants of small valency have been extensively studied, and several classification results exist for cubic vertex- and arc-transitive multicirculants. In this paper we study the broader class of cubic vertex-transitive graphs of order $n$ admitting an automorphism of order $n/3$ or larger that may not be semiregular. In particular, we show that any such graph is either a $k$-multicirculant for some $k \leq 3$, or it belongs to an infinite family of graphs of girth $6$.


title: Solar and stellar activity cycles -- no synchronization with exoplanets

abstract: Cyclic activity on the Sun and stars is primarily explained by generation of the magnetic field by a dynamo mechanism, which converts the energy of the poloidal field into the energy of the toroidal component due to differential rotation. There is, however, an alternative point of view, which explains the field generation by gravitational influence of the planetary system and, first of all, Jupiter. This hypothesis can be verified by comparing the characteristics of exoplanets with the activity variations on their associated stars. We have performed such a comparison and have drawn a negative conclusion. No relationship between the gravitational influence of the exoplanets and cycle of the host star could be found in any of the cases considered. Moreover, there are reasons to believe that a strong gravitational influence may completely eliminate cyclic variation in stellar activity.


title: A comparative study of scalable multilevel preconditioners for cardiac mechanics

abstract: In this work, we provide a performance comparison between the Balancing Domain Decomposition by Constraints (BDDC) and the Algebraic Multigrid (AMG) preconditioners for cardiac mechanics on both structured and unstructured finite element meshes. The mechanical behavior of myocardium can be described by the equations of three-dimensional finite elasticity, which are discretized by finite elements in space and yield the solution of a large scale nonlinear algebraic system. This problem is solved by a Newton-Krylov method, where the solution of the Jacobian linear system is accelerated by BDDC/AMG preconditioners. We thoroughly explore the main parameters of the BDDC preconditioner in order to make the comparison fair. We focus on: the performance of different direct solvers for the local and coarse problems of the BDDC algorithm; the impact of the different choices of BDDC primal degrees of freedom; and the influence of the finite element degree. Scalability tests are performed on Linux clusters up to 1024 processors, and we conclude with a performance study on a realistic electromechanical simulation.


title: Personalizing or Not: Dynamically Personalized Federated Learning with Incentives

abstract: Personalized federated learning (FL) facilitates collaborations between multiple clients to learn personalized models without sharing private data. The mechanism mitigates the statistical heterogeneity commonly encountered in the system, i.e., non-IID data over different clients. Existing personalized algorithms generally assume all clients volunteer for personalization. However, potential participants might still be reluctant to personalize models since they might not work well. In this case, clients choose to use the global model instead. To avoid making unrealistic assumptions, we introduce the personalization rate, measured as the fraction of clients willing to train personalized models, into federated settings and propose DyPFL. This dynamically personalized FL technique incentivizes clients to participate in personalizing local models while allowing the adoption of the global model when it performs better. We show that the algorithmic pipeline in DyPFL guarantees good convergence performance, allowing it to outperform alternative personalized methods in a broad range of conditions, including variation in heterogeneity, number of clients, local epochs, and batch sizes.


title: Diffusion Policies as an Expressive Policy Class for Offline Reinforcement Learning

abstract: Offline reinforcement learning (RL), which aims to learn an optimal policy using a previously collected static dataset, is an important paradigm of RL. Standard RL methods often perform poorly in this regime due to the function approximation errors on out-of-distribution actions. While a variety of regularization methods have been proposed to mitigate this issue, they are often constrained by policy classes with limited expressiveness that can lead to highly suboptimal solutions. In this paper, we propose representing the policy as a diffusion model, a recent class of highly-expressive deep generative models. We introduce Diffusion Q-learning (Diffusion-QL) that utilizes a conditional diffusion model to represent the policy. In our approach, we learn an action-value function and we add a term maximizing action-values into the training loss of the conditional diffusion model, which results in a loss that seeks optimal actions that are near the behavior policy. We show the expressiveness of the diffusion model-based policy, and the coupling of the behavior cloning and policy improvement under the diffusion model both contribute to the outstanding performance of Diffusion-QL. We illustrate the superiority of our method compared to prior works in a simple 2D bandit example with a multimodal behavior policy. We then show that our method can achieve state-of-the-art performance on the majority of the D4RL benchmark tasks.


title: Parallel QR Factorization of Block Low-Rank Matrices

abstract: We present two new algorithms for Householder QR factorization of Block Low-Rank (BLR) matrices: one that performs block-column-wise QR, and another that is based on tiled QR. We show how the block-column-wise algorithm exploits BLR structure to achieve arithmetic complexity of $\mathcal{O}(mn)$, while the tiled BLR-QR exhibits $\mathcal{O}(mn^{1.5})$ complexity. However, the tiled BLR-QR has finer task granularity that allows parallel task-based execution on shared memory systems. We compare the block-column-wise BLR-QR using fork-join parallelism with tiled BLR-QR using task-based parallelism. We also compare these two implementations of Householder BLR-QR with a block-column-wise Modified Gram-Schmidt (MGS) BLR-QR using fork-join parallelism, and a state-of-the-art vendor-optimized dense Householder QR in Intel MKL. For a matrix of size 131k $\times$ 65k, all BLR methods are more than an order of magnitude faster than the dense QR in MKL. Our methods are also robust to ill-conditioning and produce better orthogonal factors than the existing MGS-based method. On a CPU with 64 cores, our parallel tiled Householder and block-column-wise Householder algorithms show a speedup of 50 and 37 times, respectively.


title: Category-Level Pose Retrieval with Contrastive Features Learnt with Occlusion Augmentation

abstract: Pose estimation is usually tackled as either a bin classification or a regression problem. In both cases, the idea is to directly predict the pose of an object. This is a non-trivial task due to appearance variations between similar poses and similarities between dissimilar poses. Instead, we follow the key idea that comparing two poses is easier than directly predicting one. Render-and-compare approaches have been employed to that end, however, they tend to be unstable, computationally expensive, and slow for real-time applications. We propose doing category-level pose estimation by learning an alignment metric in an embedding space using a contrastive loss with a dynamic margin and a continuous pose-label space. For efficient inference, we use a simple real-time image retrieval scheme with a pre-rendered and pre-embedded reference set of renderings. To achieve robustness to real-world conditions, we employ synthetic occlusions, bounding box perturbations, and appearance augmentations. Our approach achieves state-of-the-art performance on PASCAL3D and OccludedPASCAL3D and surpasses the competing methods on KITTI3D in a cross-dataset evaluation setting. The code is currently available at https://github.com/gkouros/contrastive-pose-retrieval.


title: Detailed Evolutionary Models for Twins in Sight of New Spectral Data: AN Cam, RS Ari, and V455 Aur

abstract: We present the evolutionary scenarios for three eclipsing twin ($q(M_2/M_1)\sim$1) binary systems using their combined spectroscopic and photometric data. Using accurate \textit{TESS} photometric data, RV measurements, and spectroscopic data enabled us to calculate fundamental parameters, such as mass and radius, better than 2 percent. The temperature of each component and metallicity of the systems have been obtained via high-resolution spectra. According to our spectral analysis, the metallicity values of AN Cam, RS Ari, and V455 Aur are \text{[M/H]}=\,0.00$\pm$0.12, 0.05$\pm$0.08, and -0.07$\pm$0.07, respectively. Using the derived metallicity for each system, initial orbital parameters and detailed evolutionary status of these three systems are calculated with high precision by using \textsc{mesa}. According to our analysis, both components of AN Cam have passed the terminal age main-sequence, the primary component of RS Ari is in the giant phase while the secondary component has passed the terminal age main-sequence, finally, both components of V455 Aur are still on the main-sequence. The current ages of the three systems AN Cam, RS Ari, and V455 Aur are 3.0, 3.3, and 1.4 Gyrs, respectively, and they will approximately start to transfer mass between components in 400, 250, and 2700 Myrs, respectively.


title: On Lipschitz continuity and smoothness up to the boundary of solutions of hyperbolic Poisson's equation

abstract: We solve the Dirichlet problem $\left.u\right|_{\mathbb{B}^n}=\varphi,$ for hyperbolic Poisson's equation $\Delta_h u=\mu$ where $\varphi\in L_1(\partial \mathbb{B}^n)$ and $\mu$ is a measure that satisfies a growth condition. Next we present a short proof for Lipschitz continuity of solutions of certain hyperbolic Poisson's equations, previously established at \cite{ChenRas}. In addition, we investigate some alternative assumptions on hyperbolic Laplacian, which are connected with Riesz's potential. Also, local H\"{o}lder continuity is proved for solution of certain hyperbolic Poisson's equations. We show that, if $u$ is hyperbolic harmonic in the upper half-space, then $\frac{\partial u}{\partial y}(x_0,y)\to 0, y\to 0^+$, when boundary function $f$ of the functions $u$ is differentiable at the boundary point $x_0$. As a corollary, we show $C^1(\overline{\mathbb{H}^n})$ smoothness of a hyperbolic harmonic function, which is reproduced from the $C_c^1(\mathbb{R}^{n-1})$ boundary values.


title: Evaluating the performance of sigmoid quantum perceptrons in quantum neural networks

abstract: Quantum neural networks (QNN) have been proposed as a promising architecture for quantum machine learning. There exist a number of different quantum circuit designs being branded as QNNs, however no clear candidate has presented itself as more suitable than the others. Rather, the search for a ``quantum perceptron" -- the fundamental building block of a QNN -- is still underway. One candidate is quantum perceptrons designed to emulate the nonlinear activation functions of classical perceptrons. Such sigmoid quantum perceptrons (SQPs) inherit the universal approximation property that guarantees that classical neural networks can approximate any function. However, this does not guarantee that QNNs built from SQPs will have any quantum advantage over their classical counterparts. Here we critically investigate both the capabilities and performance of SQP networks by computing their effective dimension and effective capacity, as well as examining their performance on real learning problems. The results are compared to those obtained for other candidate networks which lack activation functions. It is found that simpler, and apparently easier-to-implement parametric quantum circuits actually perform better than SQPs. This indicates that the universal approximation theorem, which a cornerstone of the theory of classical neural networks, is not a relevant criterion for QNNs.


title: Non-Gaussian work statistics at finite-time driving

abstract: We study properties of the work distribution of a many-body system driven through a quantum phase transition in finite time. We focus on the non-Gaussianity of the distribution, which we characterize through two quantitative metrics: skewness and negentropy. In particular, we focus on the quantum Ising model and show that a finite duration of the ramp enhances the non-Gaussianity of the distribution for a finite size system. By examining the characteristics of the full distribution, we observe that there is a clear intermediate regime between the sudden quench and adiabatic limits, where the distribution becomes increasingly skewed.


title: Synchronizing Dynamical Systems: Shift Spaces and $K$-Theory

abstract: Building on previous work by the author and Robin Deeley, we give a thorough presentation of the techniques developed for synchronizing dynamical systems in the special case of synchronizing shift spaces. Following work of Thomsen, we give a construction of the homoclinic and heteroclinic $C^\ast$-algebras of a shift space in terms of Bratteli diagrams. Lastly we present several specific examples which demonstrate these techniques. For the even shift we give a complete computation of all the associated invariants. We also present an example of a strictly non-sofic synchronizing shift. In particular we discuss the rank of the $K$-theory of the homoclinic algebra of a shift space and its implications. We also give a construction for producing from any minimal shift a synchronizing shift whose set of non-synchronizing points is exactly the original minimal shift.


title: Equivalence of information production and generalized entropies in complex processes

abstract: Complex systems that are characterized by strong correlations and fat-tailed distribution functions have been argued to be incompatible within the framework of Boltzmann-Gibbs entropy. As an alternative, so-called generalized entropies were proposed and intensively studied. Here we show that this incompatibility is a misconception. For a broad class of processes, Boltzmann entropy the log multiplicity remains the valid entropy concept, however, for non-i.i.d., non-multinomial, and non-ergodic processes, Boltzmann entropy is not of Shannon form. The correct form of Boltzmann entropy can be shown to be identical with generalized entropies. We derive this result for all processes that can be mapped reversibly to adjoint representations where processes are i.i.d.. In these representations the information production is given by the Shannon entropy. We proof that over the original sampling space this yields functionals that are identical to generalized entropies. The problem of constructing adequate context-sensitive entropy functionals therefore can be translated into the much simpler problem of finding adjoint representations. The method provides a comprehensive framework for a statistical physics of strongly correlated systems and complex processes.


title: Image Translation Based Nuclei Segmentation for Immunohistochemistry Images

abstract: Numerous deep learning based methods have been developed for nuclei segmentation for H&E images and have achieved close to human performance. However, direct application of such methods to another modality of images, such as Immunohistochemistry (IHC) images, may not achieve satisfactory performance. Thus, we developed a Generative Adversarial Network (GAN) based approach to translate an IHC image to an H&E image while preserving nuclei location and morphology and then apply pre-trained nuclei segmentation models to the virtual H&E image. We demonstrated that the proposed methods work better than several baseline methods including direct application of state of the art nuclei segmentation methods such as Cellpose and HoVer-Net, trained on H&E and a generative method, DeepLIIF, using two public IHC image datasets.


title: The LSST era of supermassive black holes accretion-disk reverberation mapping

abstract: The Vera C. Rubin Observatory Legacy Survey of Space and Time (LSST) will detect an unprecedentedly large sample of actively accreting supermassive black holes with typical accretion disk (AD) sizes of a few light days. This brings us to face challenges in the reverberation mapping (RM) measurement of AD sizes in active galactic nuclei (AGNs) using interband continuum delays. We examine the effect of LSST cadence strategies on AD RM using our metric AGNTimeLagMetric. It accounts for redshift, cadence, the magnitude limit, and magnitude corrections for dust extinction. Running our metric on different LSST cadence strategies, we produce an atlas of the performance estimations for LSST photometric RM measurements. We provide an upper limit on the estimated number of quasars for which the AD time lag can be computed within 0<z<7 using the features of our metric. We forecast that the total counts of such objects will increase as the mean sampling rate of the survey decreases. The AD time lag measurements are expected for >1000 sources in each Deep Drilling field (DDF, 10 sq. deg) in any filter, with the redshift distribution of these sources peaking at z~1. We find the LSST observation strategies with a good cadence (~ 5 days) and a long cumulative season (~9 yr), as proposed for LSST DDF, are favored for the AD size measurement. We create synthetic LSST light curves for the most suitable DDF cadences and determine RM time lags to demonstrate the impact of the best cadences based on the proposed metric.


title: A stellar occultation by the transneptunian object (50000) Quaoar observed by CHEOPS

abstract: Stellar occultation is a powerful technique that allows the determination of some physical parameters of the occulting object. The result depends on the photometric accuracy, the temporal resolution, and the number of chords obtained. Space telescopes can achieve high photometric accuracy as they are not affected by atmospheric scintillation. Using ESA's CHEOPS space telescope, we observed a stellar occultation by the Transneptunian object (50000) Quaoar. We compare the obtained chord with previous occultations by this object and determine its astrometry with sub-milliarcsecond precision. Also, we determine upper limits to the presence of a global methane atmosphere on the occulting body. We predicted and observed a stellar occultation by Quaoar using the CHEOPS space telescope. We measured the occultation light curve from this data-set and determined the dis- and re-appearance of the star behind the occulting body. Furthermore, a ground-based telescope in Australia was used to constrain Quaoar's limb. Combined with results from previous works, these measurements allow us to obtain a precise position of Quaoar at the occultation time. We present results obtained from the first stellar occultation by a Transneptunian object (TNO) using space telescope orbiting Earth. It was the occultation by Quaoar observed on 2020 June 11. We used the CHEOPS light curve to obtain a surface pressure upper limit of 85 nbar for the detection of a global methane atmosphere. Also, combining this observation with a ground-based observation we fit Quaoar's limb to determine its astrometric position with an uncertainty below 1.0 mas. This observation is a first of its kind, and it shall be considered as a proof of concept of stellar occultation observations of Transneptunian objects with space telescopes orbiting Earth. Moreover, it shows significant prospects for the James Webb Space Telescope.


title: Quantum dynamics using path integral coarse-graining

abstract: Vibrational spectra of condensed and gas-phase systems containing light nuclei are influenced by their quantum-mechanical behaviour. The quantum dynamics of light nuclei can be approximated by the imaginary time path integral (PI) formulation, but still at a large computational cost that increases sharply with decreasing temperature. By leveraging advances in machine-learned coarse-graining, we develop a PI method with the reduced computational cost of a classical simulation. We also propose a simple temperature elevation scheme to significantly attenuate the artefacts of standard PI approaches and also eliminate the unfavourable temperature scaling of the computational cost.We illustrate the approach, by calculating vibrational spectra using standard models of water molecules and bulk water, demonstrating significant computational savings and dramatically improved accuracy compared to more expensive reference approaches. We believe that our simple, efficient and accurate method could enable routine calculations of vibrational spectra including nuclear quantum effects for a wide range of molecular systems.

categories: physics.chem-ph cond-mat.mtrl-sci cond-mat.soft cond-mat.stat-mech quant-ph


title: On approximations of Feynman path integrals

abstract: We study approximations of Feynman path integrals in finite dimensional spaces and how the approximations determine the propagator.


title: Extremely young asteroid pair (458271) 2010 UM26 and 2010 RN221

abstract: Extremely similar heliocentric orbital elements of the main-belt objects (458271) 2010 UM26 and 2010 RN221 make them the tightest known pair and promise its very young age. We analyzed the conditions of its origin and determined its age. We conducted dedicated observations of (458271) 2010 UM26 and 2010 RN221 in summer 2022 that resulted in a high-accuracy astrometric set of data. Joining them with the previously available observations, we improved the precision of the orbit determination of both asteroids. We used numerical simulations backward in time to constrain the origin of this new pair by observing orbital convergence in the Cartesian space. Using a large number of possible clone variants of (458271) 2010 UM26 and 2010 RN221 we find they all converge in a narrow time interval around March 2003 having extremely tight minimum distances ($\leq 1000$ km) and minimum relative velocities ($\leq 3$ cm~s$^{-1}$). These conditions require to include mutual gravitational attraction of the asteroids constituting the pair for its age determination. Extending our model by this effect even improves the convergence results. We find there is more than $55$\% probability that the pair formed after the year 2000. However, quasi-satellite captures make the possible age uncertainty of this pair prolonged possibly to the 1960s. Still, this is by far the youngest known asteroid pair, a prime target for future astronomical observations.


title: Weak antilocalization effect and triply degenerate state in Cu-doped CaAuAs

abstract: The effect of 50\% Cu doping at the Au site in the topological Dirac semimetal CaAuAs is investigated through electronic band structure calculations, electrical resistivity, and magnetotransport measurements. Electronic structure calculations a suggest broken-symmetry-driven topological phase transition from the Dirac to triple-point state in CaAuAs via alloy engineering. The electrical resistivity of both the CaAuAs and CaAu$_{0.5}$Cu$_{0.5}$As compounds shows metallic behavior. Nonsaturating quasilinear magnetoresistance (MR) behavior is observed in CaAuAs. On the other hand, MR of the doped compound shows a pronounced cusplike feature in the low-field regime. Such behavior of MR in CaAu$_{0.5}$Cu$_{0.5}$As is attributed to the weak antilocalization (WAL) effect. The WAL effect is analyzed using different theoretical models, including the semiclassical $\sim\sqrt{B}$ one which accounts for the three-dimensional WAL and modified Hikami-Larkin-Nagaoka model. Strong WAL effect is also observed in the longitudinal MR, which is well described by the generalized Altshuler-Aronov model. Our study suggests that the WAL effect originates from weak disorder and the spin-orbit coupled bulk state. Interestingly, we have also observed the signature of chiral anomaly in longitudinal MR, when both current and field are applied along the $c$ axis. The Hall resistivity measurements indicate that the charge conduction mechanism in these compounds is dominated by the holes with a concentration $\sim$10$^{20}$ cm$^{-3}$ and mobility $\sim 10^2$ cm$^2$ V$^{-1}$ S$^{-1}$.


title: Yang-Mills All-Plus: Two Loops for the Price of One

abstract: We present work on two-loop amplitudes in pure Yang-Mills theory with all gluons of identical helicity. We show how to obtain their rational terms -- the hardest parts to compute -- via well-understood one-loop unitarity techniques.


title: Measuring incompatibility and clustering quantum observables with a quantum switch

abstract: The existence of incompatible observables is a cornerstone of quantum mechanics and a valuable resource in quantum technologies. Here we introduce a measure of incompatibility, called the mutual eigenspace disturbance (MED), which quantifies the amount of disturbance induced by the measurement of a sharp observable on the eigenspaces of another. The MED provides a metric on the space of von Neumann measurements, and can be efficiently estimated by letting the measurement processes act in an indefinite order, using a setup known as the quantum switch, which also allows one to quantify the noncommutativity of arbitrary quantum processes. Thanks to these features, the MED can be used in quantum machine learning tasks. We demonstrate this application by providing an unsupervised algorithm that clusters unknown von Neumann measurements. Our algorithm is robust to noise can be used to identify groups of observers that share approximately the same measurement context.


title: CUSP: a two cubesats constellation for Space Weather and solar flares X-ray polarimetry

abstract: The CUbesat Solar Polarimeter (CUSP) project aims to develop a constellation of two CubeSats orbiting the Earth to measure the linear polarisation of solar flares in the hard X-ray band by means of a Compton scattering polarimeter on board of each satellite. CUSP will allow to study the magnetic reconnection and particle acceleration in the flaring magnetic structures. CUSP is a project approved for a Phase A study by the Italian Space Agency in the framework of the Alcor program aimed to develop CubeSat technologies and missions.


title: Random walks on complex networks under time-dependent stochastic resetting

abstract: We study discrete-time random walks on networks subject to a time-dependent stochastic resetting, where the walker either hops randomly between neighboring nodes with a probability $1-\phi(a)$, or is reset to a given node with a complementary probability $\phi(a)$. The resetting probability $\phi(a)$ depends on the time $a$ since the last reset event (also called $a$ the age of the walker). Using the renewal approach and spectral decomposition of transition matrix, we formulize the stationary occupation probability of the walker at each node and the mean first passage time between arbitrary two nodes. Concretely, we consider that two different time-dependent resetting protocols that are both exactly solvable. One is that $\phi(a)$ is a step-shaped function of $a$ and the other one is that $\phi(a)$ is a rational function of $a$. We demonstrate the theoretical results on two different networks, also validated by numerical simulations, and find that the time-modulated resetting protocols can be more advantageous than the constant-probability resetting in accelerating the completion of a target search process.


title: What is it like to program with artificial intelligence?

abstract: Large language models, such as OpenAI's codex and Deepmind's AlphaCode, can generate code to solve a variety of problems expressed in natural language. This technology has already been commercialised in at least one widely-used programming editor extension: GitHub Copilot. In this paper, we explore how programming with large language models (LLM-assisted programming) is similar to, and differs from, prior conceptualisations of programmer assistance. We draw upon publicly available experience reports of LLM-assisted programming, as well as prior usability and design studies. We find that while LLM-assisted programming shares some properties of compilation, pair programming, and programming via search and reuse, there are fundamental differences both in the technical possibilities as well as the practical experience. Thus, LLM-assisted programming ought to be viewed as a new way of programming with its own distinct properties and challenges. Finally, we draw upon observations from a user study in which non-expert end user programmers use LLM-assisted tools for solving data tasks in spreadsheets. We discuss the issues that might arise, and open research challenges, in applying large language models to end-user programming, particularly with users who have little or no programming expertise.


title: Canonical integral operators on the Fock space

abstract: In this paper we introduce and study a two-parameter family of integral operators on the Fock space $F^2(C)$. We determine exactly when these operators are bounded and when they are unitary. We show that, under the Bargmann transform, these operators include the classical linear canonical transforms as special cases. As an application, we obtain a new unitary projective representation for the special linear group $SL(2,R)$ on the Fock space.


title: $\mu$-Hankel Operators on Compact Abelian Groups

abstract: $(\mu;\nu)$-Hankel operators between separable Hilbert spaces were introduced and studied recently (\textit{$\mu$-Hankel operators on Hilbert spaces}, Opuscula Math., \textbf{41} (2021), 881--899). This paper, is devoted to generalization of $(\mu;\nu)$-Hankel operators to the (non-separable in general) case of Hardy spaces over compact and connected Abelian groups. In this setting bounded $(\mu;\nu)$-Hankel operators are fully described under some natural conditions. Examples of integral operators are considered.


title: Is Your Model Sensitive? SPeDaC: A New Benchmark for Detecting and Classifying Sensitive Personal Data

abstract: In recent years, there has been an exponential growth of applications, including dialogue systems, that handle sensitive personal information. This has brought to light the extremely important issue of personal data protection in virtual environments. Sensitive Information Detection (SID) approaches different domains and languages in literature. However, if we refer to the personal data domain, a shared benchmark or the absence of an available labeled resource makes comparison with the state-of-the-art difficult. We introduce and release SPeDaC , a new annotated resource for the identification of sensitive personal data categories in the English language. SPeDaC enables the evaluation of computational models for three different SID subtasks with increasing levels of complexity. SPeDaC 1 regards binary classification, a model has to detect if a sentence contains sensitive information or not; whereas, in SPeDaC 2 we collected labeled sentences using 5 categories that relate to macro-domains of personal information; in SPeDaC 3, the labeling is fine-grained (61 personal data categories). We conduct an extensive evaluation of the resource using different state-of-the-art-classifiers. The results show that SPeDaC is challenging, particularly with regard to fine-grained classification. The transformer models achieve the best results (acc. RoBERTa on SPeDaC 1 = 98.20%, DeBERTa on SPeDaC 2 = 95.81% and SPeDaC 3 = 77.63%).


title: $p$-local decompositions of projective Stiefel manifolds

abstract: The main objective of this paper is to analyze the $p$-local homotopy type of the complex projective Stiefel manifolds, and other analogous quotients of Stiefel manifolds. We take the cue from a result of Yamaguchi about the $p$-regularity of the complex Stiefel manifolds which lays down some hypotheses under which the Stiefel manifold is $p$-locally a product of odd dimensional spheres. We show that in many cases, the projective Stiefel manifolds are $p$-locally a product of a complex projective space and some odd dimensional spheres. As an application, we prove that in these cases, the $p$-regularity result of Yamaguchi is also $S^1$-equivariant.