title: Advective accretion disc-corona model with fallback for tidal disruption events

abstract: Tidal disruption events (TDEs) show a correlation between the UV to X-ray spectral index and the Eddington ratio, with non-thermal X-ray emission at the low Eddington ratio. We consider the corona surrounding the accretion disc as a non-thermal X-ray source. We construct a time-dependent and non-relativistic advective accretion disc-corona model for TDEs. The infalling debris is assumed to form a seed disc in time $t_c$, that evolves due to the mass gain from the infalling debris at the constant outer radius with a mass fallback rate $\dot{M}_{\rm fb}$ and the mass loss through accretion onto the black hole. The viscous stress in our model depends on gas ($P_g$) and total ($P_t$) pressures as $\tau_{r\phi} \propto P_g^{1-\mu} P_t^{\mu}$, where $\mu$ is a constant. We find that the mass accretion rate $\dot{M}_a$ evolves from Eddington to sub-Eddington accretion with a late-time evolution close to $t^{-5/3}$, where $t$ is the time. We find that the bolometric disc luminosity follows a late-time evolution close to $t^{-5/3}$. The ratio of total X-ray luminosity from corona to bolometric disc luminosity increases with $\mu$ and increases at late times for $\mu \neq 1$. We obtain the X-ray blackbody temperature of the disc that agrees with the temperature from X-ray observations ($\sim~10^5~{\rm K}$). We find the radiative efficiency of the disc increases with time and decreases for a disc when the corona is included. We have neglected the outflow, and our model is more applicable for near-to-sub-Eddington accretion and when $\dot{M}_{\rm fb}$ is sub-Eddington.


title: Fractional Conformal Descendants and Correlators in General 2D $S_N$ Orbifold CFTs at Large $N$

abstract: We consider correlation functions in symmetric product ($S_N$) orbifold CFTs at large $N$ with arbitrary seed CFT. Specifically, we consider correlators of descendant operators constructed using both the full Virasoro generators $L_{m}$ and fractional Virasoro generators $\ell_{m/n_i}$. Using covering space techniques, we show that correlators of descendants may be written entirely in terms of correlators of ancestors, and further that the appropriate set of ancestors are those operators that lift to conformal primaries on the cover. We argue that the covering space data should cancel out in such calculations. To back this claim, we provide some example calculations by considering a three-point function of the form (4-cycle)-(2-cycle)-(5-cycle) that lifts to a three-point function of arbitrary primaries on the cover, and descendants thereof. In these examples we show that while the covering space is used for the calculation, the final descent relations do not depend on covering space data, nor on the details of which seed CFT is used to construct the orbifold, making these results universal.


title: Learning Optimal Graph Filters for Clustering of Attributed Graphs

abstract: Many real-world systems can be represented as graphs where the different entities in the system are presented by nodes and their interactions by edges. An important task in studying large datasets with graphical structure is graph clustering. While there has been a lot of work on graph clustering using the connectivity between the nodes, many real-world networks also have node attributes. Clustering attributed graphs requires joint modeling of graph structure and node attributes. Recent work has focused on combining these two complementary sources of information through graph convolutional networks and graph filtering. However, these methods are mostly limited to lowpass filtering and do not explicitly learn the filter parameters for the clustering task. In this paper, we introduce a graph signal processing based approach, where we learn the parameters of Finite Impulse Response (FIR) and Autoregressive Moving Average (ARMA) graph filters optimized for clustering. The proposed approach is formulated as a two-step iterative optimization problem, focusing on learning interpretable graph filters that are optimal for the given data and that maximize the separation between different clusters. The proposed approach is evaluated on attributed networks and compared to the state-of-the-art methods.


title: LiCo-Net: Linearized Convolution Network for Hardware-efficient Keyword Spotting

abstract: This paper proposes a hardware-efficient architecture, Linearized Convolution Network (LiCo-Net) for keyword spotting. It is optimized specifically for low-power processor units like microcontrollers. ML operators exhibit heterogeneous efficiency profiles on power-efficient hardware. Given the exact theoretical computation cost, int8 operators are more computation-effective than float operators, and linear layers are often more efficient than other layers. The proposed LiCo-Net is a dual-phase system that uses the efficient int8 linear operators at the inference phase and applies streaming convolutions at the training phase to maintain a high model capacity. The experimental results show that LiCo-Net outperforms single-value decomposition filter (SVDF) on hardware efficiency with on-par detection performance. Compared to SVDF, LiCo-Net reduces cycles by 40% on HiFi4 DSP.


title: Updated constraints on sterile neutrino mixing in the OPERA experiment using a new $\nu_e$ identification method

abstract: This paper describes a new $\nu_e$ identification method specifically designed to improve the low-energy ($< 30\,\mathrm{GeV}$) $\nu_e$ identification efficiency attained by enlarging the emulsion film scanning volume with the next generation emulsion readout system. A relative increase of 25-70% in the $\nu_e$ low-energy region is expected, leading to improvements in the OPERA sensitivity to neutrino oscillations in the framework of the 3 + 1 model. The method is applied to a subset of data where the detection efficiency increase is expected to be more relevant, and one additional $\nu_e$ candidate is found. The analysis combined with the $\nu_\tau$ appearance results improves the upper limit on $\sin^2 2\theta_{\mu e}$ to 0.016 at 90% C.L. in the MiniBooNE allowed region $\Delta m^2_{41} \sim 0.3\,\mathrm{eV}^2$.


title: Quantum Search Algorithm for Binary Constant Weight Codes

abstract: A binary constant weight code is a type of error-correcting code with a wide range of applications. The problem of finding a binary constant weight code has long been studied as a combinatorial optimization problem in coding theory. In this paper, we propose a quantum search algorithm for binary constant weight codes. Specifically, the search problem is newly formulated as a quadratic unconstrained binary optimization (QUBO) and Grover adaptive search (GAS) is used for providing the quadratic speedup. Focusing on the inherent structure of the problem, we derive an upper bound on the minimum of the objective function value and a lower bound on the exact number of solutions. In our algebraic analysis, it was found that this proposed algorithm is capable of reducing the number of required qubits, thus enhancing the feasibility. Additionally, our simulations demonstrated that it reduces the query complexities by 63% in the classical domain and 31% in the quantum domain. The proposed approach may be useful for other quantum search algorithms and optimization problems.


title: Optimal computational parameters for maximum accuracy and minimum cost of Arnoldi-based time-stepping methods for flow global stability analysis

abstract: Global instability analysis of flows is often performed via time-stepping methods, based on the Arnoldi algorithm. When setting up these methods, several computational parameters must be chosen, which affect intrinsic errors of the procedure, such as the truncation errors, the discretization error of the flow solver, the error associated with the nonlinear terms of the Navier-Stokes equations and the error associated with the limited size of the approximation of the Jacobian matrix. This paper develops theoretical equations for the estimation of optimal balance between accuracy and cost for each case. The 2D open cavity flow is used both for explaining the effect of the parameters on the accuracy and the cost of the solution, and for verifying the quality of the predictions. The equations demonstrate the impact of each parameter on the quality of the solution. For example, if higher order methods are used for approaching a Fr\'echet derivative in the procedure, it is shown that the solution deteriorates more rapidly for larger grids or less accurate flow solvers. On the other hand, lower order approximations are more sensitive to the initial disturbance magnitude. Nevertheless, for accurate flow solvers and moderate grid dimensions, first order Fr\'echet derivative approximation with optimal computational parameters can provide 5 decimal place accurate eigenvalues. It is further shown that optimal parameters based on accuracy tend to also lead to the most cost-effective solution. The predictive equations, guidelines and conclusions are general, and, in principle, applicable to any flow, including 3D ones.


title: A 4/3-Approximation Algorithm for Half-Integral Cycle Cut Instances of the TSP

abstract: A long-standing conjecture for the traveling salesman problem (TSP) states that the integrality gap of the standard linear programming relaxation of the TSP is at most 4/3. Despite significant efforts, the conjecture remains open. We consider the half-integral case, in which the LP has solution values in $\{0, 1/2, 1\}$. Such instances have been conjectured to be the most difficult instances for the overall four-thirds conjecture. Karlin, Klein, and Oveis Gharan, in a breakthrough result, were able to show that in the half-integral case, the integrality gap is at most 1.49993. This result led to the first significant progress on the overall conjecture in decades; the same authors showed the integrality gap is at most $1.5- 10^{-36}$ in the non-half-integral case. For the half-integral case, the current best-known ratio is 1.4983, a result by Gupta et al. With the improvements on the 3/2 bound remaining very incremental even in the half-integral case, we turn the question around and look for a large class of half-integral instances for which we can prove that the 4/3 conjecture is correct. The previous works on the half-integral case perform induction on a hierarchy of critical tight sets in the support graph of the LP solution, in which some of the sets correspond to "cycle cuts" and the others to "degree cuts". We show that if all the sets in the hierarchy correspond to cycle cuts, then we can find a distribution of tours whose expected cost is at most 4/3 times the value of the half-integral LP solution; sampling from the distribution gives us a randomized 4/3-approximation algorithm. We note that the known bad cases for the integrality gap have a gap of 4/3 and have a half-integral LP solution in which all the critical tight sets in the hierarchy are cycle cuts; thus our result is tight.


title: Barile-Macchia resolutions

abstract: We construct cellular resolutions for monomial ideals via discrete Morse theory. In particular, we develop an algorithm to create homogeneous acyclic matchings and we call the cellular resolutions induced from these matchings Barile-Macchia resolutions. These resolutions are minimal for edge ideals of weighted oriented forests and (most) cycles. As a result, we provide recursive formulas for graded Betti numbers and projective dimension. Furthermore, we compare Barile-Macchia resolutions to those created by Batzies and Welker and some well-known simplicial resolutions. Under certain assumptions, whenever the above resolutions are minimal, so are Barile-Macchia resolutions.


title: Sensitivity analysis of quasi-stationary-distributions (QSDs)

abstract: This paper studies the sensitivity analysis of mass-action systems against their diffusion approximations, particularly the dependence on population sizes. As a continuous time Markov chain, a mass-action system can be described by a equation driven by finite many Poisson processes, which has a diffusion approximation that can be pathwisely matched. The magnitude of noise in mass-action systems is proportional to the square root of the molecule count/population, which makes a large class of mass-action systems have quasi-stationary distributions (QSDs) instead of invariant probability measures. In this paper we modify the coupling based technique developed in [8] to estimate an upper bound of the 1-Wasserstein distance between two QSDs. Some numerical results for sensitivity with different population sizes are provided.


title: Nonparametric Estimation of the Continuous Treatment Effect with Measurement Error

abstract: We identify the average dose-response function (ADRF) for a continuously valued error-contaminated treatment by a weighted conditional expectation. We then estimate the weights nonparametrically by maximising a local generalised empirical likelihood subject to an expanding set of conditional moment equations incorporated into the deconvolution kernels. Thereafter, we construct a deconvolution kernel estimator of ADRF. We derive the asymptotic bias and variance of our ADRF estimator and provide its asymptotic linear expansion, which helps conduct statistical inference. To select our smoothing parameters, we adopt the simulation-extrapolation method and propose a new extrapolation procedure to stabilise the computation. Monte Carlo simulations and a real data study illustrate our method's practical performance.


title: Faster Walsh-Hadamard Transform and Matrix Multiplication over Finite Fields using Lookup Tables

abstract: We use lookup tables to design faster algorithms for important algebraic problems over finite fields. These faster algorithms, which only use arithmetic operations and lookup table operations, may help to explain the difficulty of determining the complexities of these important problems. Our results over a constant-sized finite field are as follows. The Walsh-Hadamard transform of a vector of length $N$ can be computed using $O(N \log N / \log \log N)$ bit operations. This generalizes to any transform defined as a Kronecker power of a fixed matrix. By comparison, the Fast Walsh-Hadamard transform (similar to the Fast Fourier transform) uses $O(N \log N)$ arithmetic operations, which is believed to be optimal up to constant factors. Any algebraic algorithm for multiplying two $N \times N$ matrices using $O(N^\omega)$ operations can be converted into an algorithm using $O(N^\omega / (\log N)^{\omega/2 - 1})$ bit operations. For example, Strassen's algorithm can be converted into an algorithm using $O(N^{2.81} / (\log N)^{0.4})$ bit operations. It remains an open problem with practical implications to determine the smallest constant $c$ such that Strassen's algorithm can be implemented to use $c \cdot N^{2.81} + o(N^{2.81})$ arithmetic operations; using a lookup table allows one to save a super-constant factor in bit operations.


title: Kalman Filter-based Sensing in Communication Systems with Clock Asynchronism

abstract: In this paper, we propose a novel Kalman Filter (KF)-based uplink (UL) joint communication and sensing (JCAS) scheme, which can significantly reduce the range and location estimation errors due to the clock asynchronism between the base station (BS) and user equipment (UE). Clock asynchronism causes time-varying time offset (TO) and carrier frequency offset (CFO), leading to major challenges in uplink sensing. Unlike existing technologies, our scheme does not require knowing the location of the UE in advance, and retains the linearity of the sensing parameter estimation problem. We first estimate the angle-of-arrivals (AoAs) of multipaths and use them to spatially filter the CSI. Then, we propose a KF-based CSI enhancer that exploits the estimation of Doppler with CFO as the prior information to significantly suppress the time-varying noise-like TO terms in spatially filtered CSIs. Subsequently, we can estimate the accurate ranges of UE and the scatterers based on the KF-enhanced CSI. Finally, we identify the UE's AoA and range estimation and locate UE, then locate the dumb scatterers using the bi-static system. Simulation results validate the proposed scheme. The localization root mean square error of the proposed method is about 20 dB lower than the benchmarking scheme.


title: Quantum-critical scaling at the Bose-glass transition of the 3d diluted Heisenberg antiferromagnet in a field

abstract: The nature of the superfluid-to-Bose-glass (SF-BG) quantum phase transition, occurring in systems of interacting bosons immersed in a disordered environment, remains elusive. One fundamental open question is whether or not the transition obeys conventional scaling at quantum critical points (QCPs): this scaling would lock the value of the crossover exponent $\phi$ -- dictating the vanishing of the superfluid critical temperature upon approaching the QCP -- to the value of quantum critical exponents for the ground-state transition. Yet such a relation between exponents has been called into question by several numerical as well as experimental results on the SF-BG transition. Here we revisit this issue in the case of the $S=1/2$ Heisenberg antiferromagnet on a site-diluted cubic lattice, which lends itself to efficient quantum Monte Carlo simulations. Our results show that the model exhibits a percolation transition in zero applied field, with the correlation length exponent $\nu = 0.87(8)$ and $\phi = 1.1(1)$ consistent with 3d percolation. When applying a sufficiently strong magnetic field, the dilution-induced transition decouples from geometric percolation, and it becomes a SF-BG transition; nonetheless, the $\nu$ and $\phi$ exponents maintain values consistent with those of the percolation transition. These results contradict the conventional scaling, which predicts $\phi\geqslant 2$; and they suggest a close connection between the SF-BG transition and percolation.


title: CrRhAs: a member of a large family of metallic kagome antiferromagnets

abstract: Kagome lattice materials are an important platform for highly frustrated magnetism as well as for a plethora of phenomena resulting from flat bands, Dirac cones and van Hove singularities in their electronic structures. We study the little known metallic magnet CrRhAs, which belongs to a vast family of materials that include $3d$, $4f$ and $5f$ magnetic elements, as well as numerous nonmagnetic metals and insulators. Using noncollinear spin density functional calculations (mostly spin spirals), we extract a model magnetic Hamiltonian for CrRhAs. While it is dominated by an antiferromagnetic second nearest neighbor coupling in the kagome plane, the metallic nature of the compound leads to numerous nonzero longer range couplings and to important ring exchange terms. We analyze this Hamiltonian and find unusual ground states which are dominated by nearly isolated antiferromagnetic triangles that adopt 120$^\circ$ order either with positive or with negative vector chirality. We discuss the connection to the few known experimental facts about CrRhAs. Finally, we give a brief survey of other interesting magnetic members of this family of kagome compounds.


title: Single band VLBI absolute astrometry

abstract: The ionospheric path delay impacts single-band very long baseline interferometry (VLBI) group delays, which limits their applicability for absolute astrometry. I consider two important cases: when observations are made simultaneously at two bands, but delays at only one band are available for a subset of observations and when observations are made at one band by design. I developed optimal procedures of data analysis for both cases using Global Navigation Satellite System (GNSS) ionosphere maps, provided a stochastic model that describes ionospheric errors, and evaluated their impact on source position estimates. I demonstrate that the stochastic model is accurate at a level of 15%. I found that using GNSS ionospheric maps as is introduces serious biases in estimates of declinations and I developed the procedure that almost eliminates them. I found serendipitously that GNSS ionospheric maps have multiplicative errors and have to be scaled by 0.85 in order to mitigate the declination bias. A similar scale factor was found in comparison of the vertical total electron contents from satellite altimetry against GNSS ionospheric maps. I favor interpretation of this scaling factor as a manifestation of the inadequacy of the thin shell model of the ionosphere. I showed that we are able to model the ionospheric path delay to the extent that no noticeable systematic errors emerge and we are able to adequately assess the contribution of the ionosphere-driven random errors on source positions. This makes single-band absolute astrometry a viable option that can be used for source position determination.


title: Remarks on eigenspectra of isolated singularities

abstract: We introduce a simple calculus, extending a variant of the Steenbrink spectrum, for describing Hodge-theoretic invariants of (smoothings of) isolated singularities with (relative) automorphisms. After computing these "eigenspectra" in the quasi-homogeneous case, we give three applications to singularity bounding and monodromy of VHS.


title: Gold-standard of HER2 breast cancer biopsies using supervised learning based on multiple pathologist annotations

abstract: Breast cancer is one of the most common cancer in women around the world. For diagnosis, pathologists evaluate biomarkers such as HER2 protein using immunohistochemistry over tissue extracted by a biopsy. Through microscopic inspection, this assessment estimates the intensity and integrity of the membrane cells' staining and scores the sample as 0, 1+, 2+, or 3+: a subjective decision that depends on the interpretation of the pathologist. This paper presents the preliminary data analysis of the annotations of three pathologists over the same set of samples obtained using 20x magnification and including $1,252$ non-overlapping biopsy patches. We evaluate the intra- and inter-expert variability achieving substantial and moderate agreement, respectively, according to Fleiss' Kappa coefficient, as a previous stage towards a generation of a HER2 breast cancer biopsy gold-standard using supervised learning from multiple pathologist annotations.


title: Construction of solutions of nonlinear irregular singular differential equations by Borel summable functions and an application to Painlev\'{e} equations

abstract: A system of nonlinear differential equations $x^{1+\gamma}\frac{dY}{dx}= F_0(x)+A(x)Y+F(x,Y)$ is considered. We study more precisely the meaning of asymptotic expansion of transformations and solutions than preceding pioneering works, by using the theory of Borel summable functions in asymptotic analysis, and apply results to Painlev\'{e} equations.


title: Scaling limit of the TASEP speed process

abstract: We show that the multi-type stationary distribution of the totally asymmetric simple exclusion process (TASEP) scales to a nontrivial limit around the Bernoulli measure of density $1/2$. This is obtained by showing that the TASEP speed process, introduced by Amir, Angel and Valk\'o, scales around the speed $v=0$ to the stationary horizon (SH), a function-valued stochastic process recently introduced and studied by the authors, SH is believed to be the universal scaling limit of Busemann processes in the KPZ universality class. Our results add to the evidence for this universality by connecting SH with multiclass particle configurations. Previously SH has been associated with the exponential corner growth model, Brownian last-passage percolation, and the directed landscape.


title: Resolving the spurious-state problem in the Dirac equation with finite difference method

abstract: To solve the Dirac equation with the finite difference method, one has to face up to the spurious-state problem due to the fermion doubling problem when using the conventional central difference formula to calculate the first-order derivative on the equal interval lattices. This problem is resolved by replacing the central difference formula with the asymmetric difference formula, i.e., the backward or forward difference formula. To guarantee the hermitian of the Hamiltonian matrix, the backward and forward difference formula should be used alternatively according to the parity of the wavefunction. This provides a simple and efficient numerical prescription to solve various relativistic problems in the microscopic world.


title: Follow the flow: Proximal flow inspired multi-step methods

abstract: We investigate a family of approximate multi-step proximal point methods, accelerated by implicit linear discretizations of gradient flow. The resulting methods are multi-step proximal point methods, with similar computational cost in each update as the proximal point method. We explore several optimization methods where applying an approximate multistep proximal points method results in improved convergence behavior. We argue that this is the result of the lowering of truncation error in approximating gradient flow


title: General theory of swimming in curved spacetime

abstract: Swimming in curved spacetime is a phenomenon in which free bodies in curved spacetimes are able to propel themselves by performing cyclic internal motions. Most surprisingly, it has been suggested that, in the limit of fast cycles, the effective motion would not depend on the rapidity of the internal motions but only on the sequence of shapes assumed by the body, just like a swimmer in a non-turbulent viscous fluid. Since a rigorous treatment of this problem was still missing, in this paper we present a general, covariant theory of swimming in curved spacetime. We show that the effect can indeed take place, but it only displays this geometric-phase character in special circumstances (even within the limit of fast cycles). Our methods are fairly general, providing a technique to study the motion of free small articulated bodies in general relativity by mapping the problem to an analogue in special relativity.


title: Variants of SGD for Lipschitz Continuous Loss Functions in Low-Precision Environments

abstract: Motivated by neural network training in low-precision arithmetic environments, this work studies the convergence of variants of SGD using adaptive step sizes with computational error. Considering a general stochastic Lipschitz continuous loss function, an asymptotic convergence result to a Clarke stationary point is proven as well as the non-asymptotic convergence to an approximate stationary point. It is assumed that only an approximation of the loss function's stochastic gradient can be computed in addition to error in computing the SGD step itself. Different variants of SGD are tested empirically, where improved test set accuracy is observed compared to SGD for two image recognition tasks.


title: MEVID: Multi-view Extended Videos with Identities for Video Person Re-Identification

abstract: In this paper, we present the Multi-view Extended Videos with Identities (MEVID) dataset for large-scale, video person re-identification (ReID) in the wild. To our knowledge, MEVID represents the most-varied video person ReID dataset, spanning an extensive indoor and outdoor environment across nine unique dates in a 73-day window, various camera viewpoints, and entity clothing changes. Specifically, we label the identities of 158 unique people wearing 598 outfits taken from 8, 092 tracklets, average length of about 590 frames, seen in 33 camera views from the very large-scale MEVA person activities dataset. While other datasets have more unique identities, MEVID emphasizes a richer set of information about each individual, such as: 4 outfits/identity vs. 2 outfits/identity in CCVID, 33 viewpoints across 17 locations vs. 6 in 5 simulated locations for MTA, and 10 million frames vs. 3 million for LS-VID. Being based on the MEVA video dataset, we also inherit data that is intentionally demographically balanced to the continental United States. To accelerate the annotation process, we developed a semi-automatic annotation framework and GUI that combines state-of-the-art real-time models for object detection, pose estimation, person ReID, and multi-object tracking. We evaluate several state-of-the-art methods on MEVID challenge problems and comprehensively quantify their robustness in terms of changes of outfit, scale, and background location. Our quantitative analysis on the realistic, unique aspects of MEVID shows that there are significant remaining challenges in video person ReID and indicates important directions for future research.


title: A Method to Judge the Style of Classical Poetry Based on Pre-trained Model

abstract: One of the important topics in the research field of Chinese classical poetry is to analyze the poetic style. By examining the relevant works of previous dynasties, researchers judge a poetic style mostly by their subjective feelings, and refer to the previous evaluations that have become a certain conclusion. Although this judgment method is often effective, there may be some errors. This paper builds the most perfect data set of Chinese classical poetry at present, trains a BART-poem pre -trained model on this data set, and puts forward a generally applicable poetry style judgment method based on this BART-poem model, innovatively introduces in-depth learning into the field of computational stylistics, and provides a new research method for the study of classical poetry. This paper attempts to use this method to solve the problem of poetry style identification in the Tang and Song Dynasties, and takes the poetry schools that are considered to have a relatively clear and consistent poetic style, such as the Hongzheng Qizi and Jiajing Qizi, Jiangxi poetic school and Tongguang poetic school, as the research object, and takes the poems of their representative poets for testing. Experiments show that the judgment results of the tested poetry work made by the model are basically consistent with the conclusions given by critics of previous dynasties, verify some avant-garde judgments of Mr. Qian Zhongshu, and better solve the task of poetry style recognition in the Tang and Song dynasties.


title: SUPRA: Superpixel Guided Loss for Improved Multi-modal Segmentation in Endoscopy

abstract: Domain shift is a well-known problem in the medical imaging community. In particular, for endoscopic image analysis where the data can have different modalities the performance of deep learning (DL) methods gets adversely affected. In other words, methods developed on one modality cannot be used for a different modality. However, in real clinical settings, endoscopists switch between modalities for better mucosal visualisation. In this paper, we explore the domain generalisation technique to enable DL methods to be used in such scenarios. To this extend, we propose to use super pixels generated with Simple Linear Iterative Clustering (SLIC) which we refer to as "SUPRA" for SUPeRpixel Augmented method. SUPRA first generates a preliminary segmentation mask making use of our new loss "SLICLoss" that encourages both an accurate and color-consistent segmentation. We demonstrate that SLICLoss when combined with Binary Cross Entropy loss (BCE) can improve the model's generalisability with data that presents significant domain shift. We validate this novel compound loss on a vanilla U-Net using the EndoUDA dataset, which contains images for Barret's Esophagus and polyps from two modalities. We show that our method yields an improvement of nearly 20% in the target domain set compared to the baseline.


title: When is Momentum Extragradient Optimal? A Polynomial-Based Analysis

abstract: The extragradient method has gained popularity due to its robust convergence properties for differentiable games. Unlike single-objective optimization, game dynamics involve complex interactions reflected by the eigenvalues of the game vector field's Jacobian scattered across the complex plane. This complexity can cause the simple gradient method to diverge, even for bilinear games, while the extragradient method achieves convergence. Building on the recently proven accelerated convergence of the momentum extragradient method for bilinear games \citep{azizian2020accelerating}, we use a polynomial-based analysis to identify three distinct scenarios where this method exhibits further accelerated convergence. These scenarios encompass situations where the eigenvalues reside on the (positive) real line, lie on the real line alongside complex conjugates, or exist solely as complex conjugates. Furthermore, we derive the hyperparameters for each scenario that achieve the fastest convergence rate.


title: Optimized Spectral Energy Distribution for Seyfert Galaxies

abstract: The temperature predicted by photoionization models for the Narrow Line Region of Seyfert 2 galaxies is lower than the value inferred from the observed [O III] {\lambda}4363A/{\lambda}5007A line ratio. We explore the possibility of considering a harder ionizing continuum than typically assumed. The spectral ionizing energy distribution, which can generate the observed {\lambda}4363A/{\lambda}5007A ratio, is characterized by a secondary continuum peak at 200 eV.


title: Challenges and Barriers of Using Low Code Software for Machine Learning

abstract: As big data grows ubiquitous across many domains, more and more stakeholders seek to develop Machine Learning (ML) applications on their data. The success of an ML application usually depends on the close collaboration of ML experts and domain experts. However, the shortage of ML engineers remains a fundamental problem. Low-code Machine learning tools/platforms (aka, AutoML) aim to democratize ML development to domain experts by automating many repetitive tasks in the ML pipeline. This research presents an empirical study of around 14k posts (questions + accepted answers) from Stack Overflow (SO) that contained AutoML-related discussions. We examine how these topics are spread across the various Machine Learning Life Cycle (MLLC) phases and their popularity and difficulty. This study offers several interesting findings. First, we find 13 AutoML topics that we group into four categories. The MLOps topic category (43% questions) is the largest, followed by Model (28% questions), Data (27% questions), Documentation (2% questions). Second, Most questions are asked during Model training (29%) (i.e., implementation phase) and Data preparation (25%) MLLC phase. Third, AutoML practitioners find the MLOps topic category most challenging, especially topics related to model deployment & monitoring and Automated ML pipeline. These findings have implications for all three AutoML stakeholders: AutoML researchers, AutoML service vendors, and AutoML developers. Academia and Industry collaboration can improve different aspects of AutoML, such as better DevOps/deployment support and tutorial-based documentation.


title: Reverse phase transitions in binary neutron-star systems with exotic-matter cores

abstract: Multi-messenger observations of binary neutron star mergers provide a unique opportunity to constrain the dense-matter equation of state. Although it is known from quantum chromodynamics that hadronic matter will undergo a phase transition to exotic forms of matter, e.g., quark matter, the onset density of such a phase transition cannot be computed from first principles. Hence, it remains an open question if such phase transitions occur inside isolated neutron stars or during binary neutron star mergers, or if they appear at even higher densities that are not realized in the Cosmos. In this article, we perform numerical-relativity simulations of neutron-star mergers and investigate scenarios in which the onset density of such a phase transition is exceeded in at least one inspiralling binary component. Our simulations reveal that shortly before the merger it is possible that such stars undergo a "reverse phase transition", i.e., densities decrease and the quark core inside the star disappears leaving a purely hadronic star at merger. After the merger, when densities increase once more, the phase transition occurs again and leads, in the cases considered in this work, to a rapid formation of a black hole. We compute the gravitational-wave signal and the mass ejection for our simulations of such scenarios and find clear signatures that are related to the post-merger phase transition, e.g., smaller ejecta masses due to the softening of the equation of state through the quark core formation. Unfortunately, we do not find measurable imprints of the reverse phase transition.


title: Influence of Random Telegraph Noise on Quantum Bit Gate Operation

abstract: We consider the problem of analyzing spin-flip qubit gate operation in presence of Random Telegraph Noise (RTN). Our broad approach is the following. We calculate the spin-flip probability of qubit driven by composite pulses, (Constant pulse (C-pulse), Quantum Well pulse (QW-pulse) and Barrier Potential pulse (BP-pulse)) in the presence of RTN using Feynman disentangling method. When composite pulses and RTN act in x-direction and z-direction respectively, we calculate the optimal time to achieve 100% spin-flip probability of qubit. We report the shortcut of spin-flip qubit, which can be achieved by using C-pulse, followed by BP-pulse and QW-pulse. When jumps time in RTN are very fast, tuning of perfect fidelity or spin-flip probability extends to large RTN correlation time. On the other hand, when the jumps in RTN are very slow, the BP-pulse can be used to recover the lost fidelities. Nevertheless, the fidelities of qubit gate operation are larger than 90%, regardless of RTN jumps environments which may be beneficial in quantum error correction. For more general case, we have tested several pulse sequences for achieving high fidelity quantum gates, where we have used the pulses acting in different directions. From the calculations, we find high fidelity of qubit gate operation in presence of RTN is achieved when QW-pulse, BP-pulse and C-pulse act in x-direction, y-direction and z-direction, respectively.


title: Algebraic (super-)integrability from commutants of subalgebras in universal enveloping algebras

abstract: Starting from a purely algebraic procedure based on the commutant of a subalgebra in the universal enveloping algebra of a given Lie algebra, the notion of algebraic Hamiltonians and the constants of the motion generating a polynomial symmetry algebra is proposed. The case of the special linear Lie algebra $\mathfrak{sl}(n)$ is discussed in detail, where an explicit basis for the commutant with respect to the Cartan subalgebra is obtained, and the order of the polynomial algebra is computed. It is further shown that, with an appropriate realization of $\mathfrak{sl}(n)$, this provides an explicit connection with the generic superintegrable model on the $(n-1)$-dimensional sphere $\mathbb{S}^{n-1}$ and the related Racah algebra $R(n)$. In particular, we show explicitly how the models on the $2$-sphere and $3$-sphere and the associated symmetry algebras can be obtained from the quadratic and cubic polynomial algebras generated by the commutants defined in the enveloping algebra of $\mathfrak{sl}(3)$ and $\mathfrak{sl}(4)$, respectively. The construction is performed in the classical (or Poisson-Lie) context, where the Berezin bracket replaces the commutator.


title: Improving safety in mixed traffic: A learning-based model predictive control for autonomous and human-driven vehicle platooning

abstract: As autonomous vehicles (AVs) become more common on public roads, their interaction with human-driven vehicles (HVs) in mixed traffic is inevitable. This requires new control strategies for AVs to handle the unpredictable nature of HVs. This study focused on safe control in mixed-vehicle platoons consisting of both AVs and HVs, particularly during longitudinal car-following scenarios. We introduce a novel model that combines a conventional first-principles model with a Gaussian process (GP) machine learning-based model to better predict HV behavior. Our results showed a significant improvement in predicting HV speed, with a 35.64% reduction in the root mean square error compared with the use of the first-principles model alone. We developed a new control strategy called GP-MPC, which uses the proposed HV model for safer distance management between vehicles in the mixed platoon. The GP-MPC strategy effectively utilizes the capacity of the GP model to assess uncertainties, thereby significantly enhancing safety in challenging traffic scenarios, such as emergency braking scenarios. In simulations, the GP-MPC strategy outperformed the baseline MPC method, offering better safety and more efficient vehicle movement in mixed traffic.


title: Fast and Locally Adaptive Bayesian Quantile Smoothing using Calibrated Variational Approximations

abstract: Quantiles are useful characteristics of random variables that can provide substantial information on distributions compared with commonly used summary statistics such as means. In this paper, we propose a Bayesian quantile trend filtering method to estimate non-stationary trend of quantiles. We introduce general shrinkage priors to induce locally adaptive Bayesian inference on trends and mixture representation of the asymmetric Laplace likelihood. To quickly compute the posterior distribution, we develop calibrated mean-field variational approximations to guarantee that the frequentist coverage of credible intervals obtained from the approximated posterior is a specified nominal level. Simulation and empirical studies show that the proposed algorithm is computationally much more efficient than the Gibbs sampler and tends to provide stable inference results, especially for high/low quantiles.


title: Higher-order asymptotic profiles for solutions to the Cauchy problem for a dispersive-dissipative equation with a cubic nonlinearity

abstract: We consider the asymptotic behavior of solutions to the Cauchy problem for a dispersive-dissipative equation with a cubic nonlinearity. It is known that the leading term of the asymptotic profile for the solution to this problem is the Gaussian. Moreover, by analyzing the corresponding integral equation, the higher-order asymptotic expansion for the solution to the linear part and the first asymptotic profile for the Duhamel term have already been obtained. In this paper, we construct the second asymptotic profile for the Duhamel term and give the more detailed higher-order asymptotic expansion of the solutions, which generalizes the previous works. Furthermore, we emphasize that the new obtained higher-order asymptotic profiles have a good structure in the sense of satisfying the parabolic self-similarity.


title: Zero-Label Prompt Selection

abstract: Natural language prompts have been shown to facilitate cross-task generalization for large language models. However, with no or limited labeled examples, the cross-task performance is highly sensitive to the choice of prompts, while selecting a high-performing prompt is challenging given the scarcity of labels. To address the issue, we propose a Zero-Label Prompt Selection (ZPS) method that selects prompts without any labeled data or gradient update. Specifically, given the candidate human-written prompts for a task, ZPS labels a set of unlabeled data with a prompt ensemble and uses the pseudo-labels for prompt selection. Experiments show that ZPS improves over prior methods by a sizeable margin in zero-label performance. We also extend ZPS to a few-shot setting and show its advantages over strong baselines such as prompt tuning and model tuning.


title: Neutrino Magnetic Moments Meet Precision $N_{\rm eff}$ Measurements

abstract: In the early universe, Dirac neutrino magnetic moments due to their chirality-flipping nature could lead to thermal production of right-handed neutrinos, which would make a significant contribution to the effective neutrino number, $N_{\rm eff}$. We present in this paper a dedicated computation of the neutrino chirality-flipping rate in the thermal plasma. With a careful and consistent treatment of soft scattering and the plasmon effect in finite temperature field theories, we find that neutrino magnetic moments above $2.7\times 10^{-12}\mu_B$ have been excluded by current CMB and BBN measurements of $N_{\rm eff}$, assuming flavor-universal and diagonal magnetic moments for all three generation of neutrinos. This limit is stronger than the latest bounds from XENONnT and LUX-ZEPLIN experiments, and comparable with those from stellar cooling considerations.


title: Distributional Shift Adaptation using Domain-Specific Features

abstract: Machine learning algorithms typically assume that the training and test samples come from the same distributions, i.e., in-distribution. However, in open-world scenarios, streaming big data can be Out-Of-Distribution (OOD), rendering these algorithms ineffective. Prior solutions to the OOD challenge seek to identify invariant features across different training domains. The underlying assumption is that these invariant features should also work reasonably well in the unlabeled target domain. By contrast, this work is interested in the domain-specific features that include both invariant features and features unique to the target domain. We propose a simple yet effective approach that relies on correlations in general regardless of whether the features are invariant or not. Our approach uses the most confidently predicted samples identified by an OOD base model (teacher model) to train a new model (student model) that effectively adapts to the target domain. Empirical evaluations on benchmark datasets show that the performance is improved over the SOTA by ~10-20%


title: Mean field stochastic control under sublinear expectation

abstract: Our work is devoted to the study of Pontryagin's stochastic maximum principle for a mean-field optimal control problem under Peng's $G$-expectation. The dynamics of the controlled state process is given by a stochastic differential equation driven by a $G$-Brownian motion, whose coefficients depend not only on the control, the controlled state process but also on its law under the $G$-expectation. Also the associated cost functional is of mean-field type. Under the assumption of a convex control state space we study the stochastic maximum principle, which gives a necessary optimality condition for control processes. Under additional convexity assumptions on the Hamiltonian it is shown that this necessary condition is also a sufficient one. The main difficulty which we have to overcome in our work consists in the differentiation of the $G$-expectation of parameterized random variables. As particularly delicate it turns out to handle with the $G$-expectation of a function of the controlled state process inside the running cost of the cost function. For this we have to study a measurable selection theorem for set-valued functions whose values are subsets of the representing set of probability measures for the $G$-expectation.


title: Strategy to select most efficient RCT samples based on observational data

abstract: Randomized experiments can provide unbiased estimates of sample average treatment effects. However, estimates of population treatment effects can be biased when the experimental sample and the target population differ. In this case, the population average treatment effect can be identified by combining experimental and observational data. A good experiment design trumps all the analyses that come after. While most of the existing literature centers around improving analyses after RCTs, we instead focus on the design stage, fundamentally improving the efficiency of the combined causal estimator through the selection of experimental samples. We explore how the covariate distribution of RCT samples influences the estimation efficiency and derive the optimal covariate allocation that leads to the lowest variance. Our results show that the optimal allocation does not necessarily follow the exact distribution of the target cohort, but adjusted for the conditional variability of potential outcomes. We formulate a metric to compare and choose from candidate RCT sample compositions. We also develop variations of our main results to cater for practical scenarios with various cost constraints and precision requirements. The ultimate goal of this paper is to provide practitioners with a clear and actionable strategy to select RCT samples that will lead to efficient causal inference.


title: Syntax-Aware On-the-Fly Code Completion

abstract: Code completion aims to help improve developers' productivity by suggesting the next code tokens from a given context. Various approaches have been proposed to incorporate abstract syntax tree (AST) information for model training, ensuring that code completion is aware of the syntax of the programming languages. However, existing syntax-aware code completion approaches are not on-the-fly, as we found that for every two-thirds of characters that developers type, AST fails to be extracted because it requires the syntactically correct source code, limiting its practicality in real-world scenarios. On the other hand, existing on-the-fly code completion does not consider syntactic information yet. In this paper, we propose PyCoder to leverage token types, a kind of lightweight syntactic information, which is readily available and aligns with the natural order of source code. Our PyCoder is trained in a multi-task training manner so that by learning the supporting task of predicting token types during the training phase, the models achieve better performance on predicting tokens and lines of code without the need for token types in the inference phase. Comprehensive experiments show that PyCoder achieves the first rank on the CodeXGLUE leaderboard with an accuracy of 77.12% for the token-level predictions, which is 0.43%-24.25% more accurate than baselines. In addition, PyCoder achieves an exact match of 43.37% for the line-level predictions, which is 3.63%-84.73% more accurate than baselines. These results lead us to conclude that token type information (an alternative to syntactic information) that is rarely used in the past can greatly improve the performance of code completion approaches, without requiring the syntactically correct source code like AST-based approaches do. Our PyCoder is publicly available on HuggingFace and GitHub.


title: Lipschitz Continuous Algorithms for Graph Problems

abstract: Graph algorithms are widely used for decision making and knowledge discovery. To ensure their effectiveness, it is essential that their output remains stable even when subjected to small perturbations to the input because frequent output changes can result in costly decisions, reduced user trust, potential security concerns, and lack of replicability. In this study, we consider the Lipschitz continuity of algorithms as a stability measure and initiate a systematic study of the Lipschitz continuity of algorithms for (weighted) graph problems. Depending on how we embed the output solution to a metric space, we can think of several Lipschitzness notions. We mainly consider the one that is invariant under scaling of weights, and we provide Lipschitz continuous algorithms and lower bounds for the minimum spanning tree problem, the shortest path problem, and the maximum weight matching problem. In particular, our shortest path algorithm is obtained by first designing an algorithm for unweighted graphs that are robust against edge contractions and then applying it to the unweighted graph constructed from the original weighted graph. Then, we consider another Lipschitzness notion induced by a natural mapping that maps the output solution to its characteristic vector. It turns out that no Lipschitz continuous algorithm exists for this Lipschitz notion, and we instead design algorithms with bounded pointwise Lipschitz constants for the minimum spanning tree problem and the maximum weight bipartite matching problem. Our algorithm for the latter problem is based on an LP relaxation with entropy regularization.


title: Combination of multiple neural networks using transfer learning and extensive geometric data augmentation for assessing cellularity scores in histopathology images

abstract: Classification of cancer cellularity within tissue samples is currently a manual process performed by pathologists. This process of correctly determining cancer cellularity can be time intensive. Deep Learning (DL) techniques in particular have become increasingly more popular for this purpose, due to the accuracy and performance they exhibit, which can be comparable to the pathologists. This work investigates the capabilities of two DL approaches to assess cancer cellularity in whole slide images (WSI) in the SPIE-AAPM-NCI BreastPathQ challenge dataset. The effects of training on augmented data via rotations, and combinations of multiple architectures into a single network were analyzed using a modified Kendall Tau-b prediction probability metric known as the average prediction probability PK. A deep, transfer learned, Convolutional Neural Network (CNN) InceptionV3 was used as a baseline, achieving an average PK value of 0.884, showing improvement from the average PK value of 0.83 achieved by pathologists. The network was then trained on additional training datasets which were rotated between 1 and 360 degrees, which saw a peak increase of PK up to 4.2%. An additional architecture consisting of the InceptionV3 network and VGG16, a shallow, transfer learned CNN, was combined in a parallel architecture. This parallel architecture achieved a baseline average PK value of 0.907, a statistically significantly improvement over either of the architectures' performances separately (p<0.0001 by unpaired t-test).


title: Efficient Bounds and Estimates for Canonical Angles in Randomized Subspace Approximations

abstract: Randomized subspace approximation with "matrix sketching" is an effective approach for constructing approximate partial singular value decompositions (SVDs) of large matrices. The performance of such techniques has been extensively analyzed, and very precise estimates on the distribution of the residual errors have been derived. However, our understanding of the accuracy of the computed singular vectors (measured in terms of the canonical angles between the spaces spanned by the exact and the computed singular vectors, respectively) remains relatively limited. In this work, we present practical bounds and estimates for canonical angles of randomized subspace approximation that can be computed efficiently either a priori or a posteriori, without assuming prior knowledge of the true singular subspaces. Under moderate oversampling in the randomized SVD, our prior probabilistic bounds are asymptotically tight and can be computed efficiently, while bringing a clear insight into the balance between oversampling and power iterations given a fixed budget on the number of matrix-vector multiplications. The numerical experiments demonstrate the empirical effectiveness of these canonical angle bounds and estimates on different matrices under various algorithmic choices for the randomized SVD.


title: A micro-macro decomposed reduced basis method for the time-dependent radiative transfer equation

abstract: Kinetic transport equations are notoriously difficult to simulate because of their complex multiscale behaviors and the need to numerically resolve a high dimensional probability density function. Past literature has focused on building reduced order models (ROM) by analytical methods. In recent years, there is a surge of interest in developing ROM using data-driven or computational tools that offer more applicability and flexibility. This paper is a work towards that direction. Motivated by our previous work of designing ROM for the stationary radiative transfer equation in [30] by leveraging the low-rank structure of the solution manifold induced by the angular variable, we here further advance the methodology to the time-dependent model. Particularly, we take the celebrated reduced basis method (RBM) approach and propose a novel micro-macro decomposed reduced basis method (MMD-RBM). The MMD-RBM is constructed by exploiting, in a greedy fashion, the low-rank structures of both the micro- and macro-solution manifolds with respect to the angular and temporal variables. Our reduced order surrogate consists of: reduced bases for reduced order subspaces and a reduced quadrature rule in the angular space. The proposed MMD-RBM features several structure-preserving components: 1) an equilibrium-respecting strategy to construct reduced order subspaces which better utilize the structure of the decomposed system, and 2) a recipe for preserving positivity of the quadrature weights thus to maintain the stability of the underlying reduced solver. The resulting ROM can be used to achieve a fast online solve for the angular flux in angular directions outside the training set and for arbitrary order moment of the angular flux.


title: Two types of spectral volume methods for 1-D linear hyperbolic equations with degenerate variable coefficients

abstract: In this paper, we analyze two classes of spectral volume (SV) methods for one-dimensional hyperbolic equations with degenerate variable coefficients. The two classes of SV methods are constructed by letting a piecewise $k$-th order ($k\ge 1$ is an arbitrary integer) polynomial function satisfy the local conservation law in each {\it control volume} obtained by dividing the interval element of the underlying mesh with $k$ Gauss-Legendre points (LSV) or Radaus points (RSV). The $L^2$-norm stability and optimal order convergence properties for both methods are rigorously proved for general non-uniform meshes. The superconvergence behaviors of the two SV schemes have been also investigated: it is proved that under the $L^2$ norm, the SV flux function approximates the exact flux with $(k+2)$-th order and the SV solution approximates the exact solution with $(k+\frac32)$-th order; some superconvergence behaviors at certain special points and for element averages have been also discovered and proved. Our theoretical findings are verified by several numerical experiments.


title: A new look at the temperature-dependent properties of the antiferroelectric model PbZrO3: an effective Hamiltonian study

abstract: A novel atomistic effective Hamiltonian scheme, incorporating an original and simple bilinear energetic coupling, is developed and used to investigate the temperature dependent physical properties of the prototype antiferroelectric PbZrO3 (PZO) system. This scheme reproduces very well the known experimental hallmarks of the complex Pbam orthorhombic phase at low temperatures and the cubic paraelectric state of Pm 3m symmetry at high temperatures. Unexpectedly, it further predicts a novel intermediate state also of Pbam symmetry, but in which anti-phase oxygen octahedral tiltings have vanished with respect to the Pbam ground state. Interestingly, such new state exhibits a large dielectric response and thermal expansion that remarkably agree with previous experimental observations and the x-ray experiments we performed. We also conducted direct first-principles calculations at 0K which further support such low energy phase. Within this fresh framework, a re-examination of the properties of PZO is thus called for.


title: $*-$open sets and $*-$ continuity in topological spaces

abstract: In this paper, we study some properties of $*-$open and $*-$closed subsets of a space. The collection of all $*-$open subsets of a space $X$ form a topology on $X$ which is denoted by $^{*}O(X)$. We investigate the relations between topological properties of $X$ with the topology $^{*}O(X)$ and $X$. Also, we introduce the concept of a $*-$continuous map.


title: Configuration entropy and instability of accelerating black hole in AdS

abstract: We consider an accelerating black hole with a negative cosmological constant in four-dimensional spacetime. There are two configurations such as a black string (BS) phase when a mass parameter is zero and a black hole (BH) phase when a mass parameter is non-zero. We investigate their stability via the configuration entropy (CE). It is found that the BS is not always stable but the BH has a thermally stable range below the critical mass of the BH, which is consistent with thermodynamic instability.


title: REDS: Random Ensemble Deep Spatial prediction

abstract: There has been a great deal of recent interest in the development of spatial prediction algorithms for very large datasets and/or prediction domains. These methods have primarily been developed in the spatial statistics community, but there has been growing interest in the machine learning community for such methods, primarily driven by the success of deep Gaussian process regression approaches and deep convolutional neural networks. These methods are often computationally expensive to train and implement and consequently, there has been a resurgence of interest in random projections and deep learning models based on random weights -- so called reservoir computing methods. Here, we combine several of these ideas to develop the Random Ensemble Deep Spatial (REDS) approach to predict spatial data. The procedure uses random Fourier features as inputs to an extreme learning machine (a deep neural model with random weights), and with calibrated ensembles of outputs from this model based on different random weights, it provides a simple uncertainty quantification. The REDS method is demonstrated on simulated data and on a classic large satellite data set.


title: Dynamic Slicing by On-demand Re-execution

abstract: In this paper, we propose a novel approach that aims to offer an alternative to the prevalent paradigm to dynamic slicing construction. Dynamic slicing requires dynamic data and control dependencies that arise in an execution. During a single execution, memory reference information is recorded and then traversed to extract dependencies. Execute-once approaches and tools are challenged even by executions of moderate size of simple and short programs. We propose to shift practical time complexity from execution size to slice size. In particular, our approach executes the program multiple times while tracking targeted information at each execution. We present a concrete algorithm that follows an on-demand re-execution paradigm that uses a novel concept of frontier dependency to incrementally build a dynamic slice. To focus dependency tracking, the algorithm relies on static analysis. We show results of an evaluation on the SV-COMP benchmark and Antrl4 unit tests that provide evidence that on-demand re-execution can provide performance gains particularly when slice size is small and execution size is large.


title: Few-Shot Character Understanding in Movies as an Assessment to Meta-Learning of Theory-of-Mind

abstract: When reading a story, humans can quickly understand new fictional characters with a few observations, mainly by drawing analogies to fictional and real people they already know. This reflects the few-shot and meta-learning essence of humans' inference of characters' mental states, i.e., theory-of-mind (ToM), which is largely ignored in existing research. We fill this gap with a novel NLP dataset, ToM-in-AMC, the first assessment of machines' meta-learning of ToM in a realistic narrative understanding scenario. Our dataset consists of ~1,000 parsed movie scripts, each corresponding to a few-shot character understanding task that requires models to mimic humans' ability of fast digesting characters with a few starting scenes in a new movie. We propose a novel ToM prompting approach designed to explicitly assess the influence of multiple ToM dimensions. It surpasses existing baseline models, underscoring the significance of modeling multiple ToM dimensions for our task. Our extensive human study verifies that humans are capable of solving our problem by inferring characters' mental states based on their previously seen movies. In comparison, our systems based on either state-of-the-art large language models (GPT-4) or meta-learning algorithms lags >20% behind, highlighting a notable limitation in existing approaches' ToM capabilities.


title: Tight Bounds for Vertex Connectivity in Dynamic Streams

abstract: We present a streaming algorithm for the vertex connectivity problem in dynamic streams with a (nearly) optimal space bound: for any $n$-vertex graph $G$ and any integer $k \geq 1$, our algorithm with high probability outputs whether or not $G$ is $k$-vertex-connected in a single pass using $\widetilde{O}(k n)$ space. Our upper bound matches the known $\Omega(k n)$ lower bound for this problem even in insertion-only streams -- which we extend to multi-pass algorithms in this paper -- and closes one of the last remaining gaps in our understanding of dynamic versus insertion-only streams. Our result is obtained via a novel analysis of the previous best dynamic streaming algorithm of Guha, McGregor, and Tench [PODS 2015] who obtained an $\widetilde{O}(k^2 n)$ space algorithm for this problem. This also gives a model-independent algorithm for computing a "certificate" of $k$-vertex-connectivity as a union of $O(k^2\log{n})$ spanning forests, each on a random subset of $O(n/k)$ vertices, which may be of independent interest.


title: Directional Privacy for Deep Learning

abstract: Differentially Private Stochastic Gradient Descent (DP-SGD) is a key method for applying privacy in the training of deep learning models. It applies isotropic Gaussian noise to gradients during training, which can perturb these gradients in any direction, damaging utility. Metric DP, however, can provide alternative mechanisms based on arbitrary metrics that might be more suitable for preserving utility. In this paper, we apply \textit{directional privacy}, via a mechanism based on the von Mises-Fisher (VMF) distribution, to perturb gradients in terms of \textit{angular distance} so that gradient direction is broadly preserved. We show that this provides both $\epsilon$-DP and $\epsilon d$-privacy for deep learning training, rather than the $(\epsilon, \delta)$-privacy of the Gaussian mechanism. Experiments on key datasets then indicate that the VMF mechanism can outperform the Gaussian in the utility-privacy trade-off. In particular, our experiments provide a direct empirical comparison of privacy between the two approaches in terms of their ability to defend against reconstruction and membership inference.


title: Lightweight network towards real-time image denoising on mobile devices

abstract: Deep convolutional neural networks have achieved great progress in image denoising tasks. However, their complicated architectures and heavy computational cost hinder their deployments on mobile devices. Some recent efforts in designing lightweight denoising networks focus on reducing either FLOPs (floating-point operations) or the number of parameters. However, these metrics are not directly correlated with the on-device latency. In this paper, we identify the real bottlenecks that affect the CNN-based models' run-time performance on mobile devices: memory access cost and NPU-incompatible operations, and build the model based on these. To further improve the denoising performance, the mobile-friendly attention module MFA and the model reparameterization module RepConv are proposed, which enjoy both low latency and excellent denoising performance. To this end, we propose a mobile-friendly denoising network, namely MFDNet. The experiments show that MFDNet achieves state-of-the-art performance on real-world denoising benchmarks SIDD and DND under real-time latency on mobile devices. The code and pre-trained models will be released.


title: Kinematical analysis of melt electrowritten jet at various print speeds

abstract: Melt electrowriting (MEW) is an extrusion-based additive manufacturing technology to create a complex construct with micro-scale fidelity. The elevated nozzle-to-collector distance of MEW needs a high requirement to control the charged jet, which relies on the understanding of the corresponding jet kinematics at different printing conditions. This study focuses on investigating the effect of printing speed on jet diameter and jet speed along the spinline from Taylor-cone to landing point, suggesting that the fiber diameter decreases linearly with the increment of printing speed; the jet speed along the spinline has a nonlinear change for printing at various speeds, i.e., the elongation rate is not constant.


title: Optical Spectroscopy of Blazars for the Cherenkov Telescope Array -- II

abstract: Active galactic nuclei (AGNs) make up about 35 per cent of the more than 250 sources detected in very-high-energy (VHE) gamma rays to date with Imaging Atmospheric Cherenkov Telescopes. Apart from four nearby radio galaxies and two AGNs of unknown type, all known VHE AGNs are blazars. Knowledge of the cosmological redshift of gamma-ray blazars is key to enabling the study of their intrinsic emission properties, as the interaction between gamma rays and the extragalactic background light (EBL) results in a spectral softening. Therefore, the redshift determination exercise is crucial to indirectly placing tight constraints on the EBL density and to studying blazar population evolution across cosmic time. Due to the powerful relativistic jets in blazars, most of their host galaxies' spectral features are outshined, and dedicated high signal-to-noise spectroscopic observations are required. Deep medium- to high-resolution spectroscopy of 33 gamma-ray blazar optical counterparts was performed with the European Southern Observatory New Technology Telescope, Keck II telescope, Shane 3-meter telescope and the Southern African Large Telescope. From the sample, spectra from 25 objects display spectral features or are featureless and have high signal-to-noise. The other eight objects have low quality featureless spectra. We systematically searched for absorption and emission features and estimated, when possible, the fractional host galaxy flux in the measured total flux. Our measurements yielded 14 firm spectroscopic redshifts, ranging from 0.0838 to 0.8125, one tentative redshift, and two lower limits: one at z > 0.382 and the other at z > 0.629.


title: Analysis and Hermite spectral approximation of diffusive-viscous wave equations in unbounded domains arising in geophysics

abstract: The diffusive-viscous wave equation (DVWE) is widely used in seismic exploration since it can explain frequency-dependent seismic reflections in a reservoir with hydrocarbons. Most of the existing numerical approximations for the DVWE are based on domain truncation with ad hoc boundary conditions. However, this would generate artificial reflections as well as truncation errors. To this end, we directly consider the DVWE in unbounded domains. We first show the existence, uniqueness, and regularity of the solution of the DVWE. We then develop a Hermite spectral Galerkin scheme and derive the corresponding error estimate showing that the Hermite spectral Galerkin approximation delivers a spectral rate of convergence provided sufficiently smooth solutions. Several numerical experiments with constant and discontinuous coefficients are provided to verify the theoretical result and to demonstrate the effectiveness of the proposed method. In particular, We verify the error estimate for both smooth and non-smooth source terms and initial conditions. In view of the error estimate and the regularity result, we show the sharpness of the convergence rate in terms of the regularity of the source term. We also show that the artificial reflection does not occur by using the present method.


title: A Solution for a Fundamental Problem of 3D Inference based on 2D Representations

abstract: 3D inference from monocular vision using neural networks is an important research area of computer vision. Applications of the research area are various with many proposed solutions and have shown remarkable performance. Although many efforts have been invested, there are still unanswered questions, some of which are fundamental. In this paper, I discuss a problem that I hope will come to be known as a generalization of the Blind Perspective-n-Point (Blind PnP) problem for object-driven 3D inference based on 2D representations. The vital difference between the fundamental problem and the Blind PnP problem is that 3D inference parameters in the fundamental problem are attached directly to 3D points and the camera concept will be represented through the sharing of the parameters of these points. By providing an explainable and robust gradient-decent solution based on 2D representations for an important special case of the problem, the paper opens up a new approach for using available information-based learning methods to solve problems related to 3D object pose estimation from 2D images.


title: Spontaneous electric-polarization topology in confined ferroelectric nematics

abstract: Topological spin and polar textures have fascinated people in different areas of physics and technologies. However, the observations are limited in magnetic and solid-state ferroelectric systems. Ferroelectric nematic is the first liquid-state ferroelectric that would carry many possibilities of spatially distributed polarization fields. Contrary to traditional magnetic or crystalline systems, anisotropic liquid crystal interactions can compete with the polarization counterparts, thereby setting a challenge in understating their interplays and the resultant topologies. Here, we discover chiral polarization meron-like structures during the emergence and growth of quasi-2D ferroelectric nematic domains, which are visualized by fluorescence confocal polarizing microscopy and second harmonic generation microscopies. Such micrometre-scale polarization textures are the modified electric variants of the magnetic merons. Unlike the conventional liquid crystal textures driven solely by the elasticity, the polarization field puts additional topological constraints, e.g., head-to-tail asymmetry, to the systems and results in a variety of previously unidentified polar topological patterns. The chirality can emerge spontaneously in polar textures and can be additionally biased by introducing chiral dopants. An extended mean-field modelling for the ferroelectric nematics reveals that the polarization strength of systems plays a dedicated role in determining polarization topology, providing a guide for exploring diverse polar textures in strongly-polarized liquid crystals.


title: Deep Explainable Learning with Graph Based Data Assessing and Rule Reasoning

abstract: Learning an explainable classifier often results in low accuracy model or ends up with a huge rule set, while learning a deep model is usually more capable of handling noisy data at scale, but with the cost of hard to explain the result and weak at generalization. To mitigate this gap, we propose an end-to-end deep explainable learning approach that combines the advantage of deep model in noise handling and expert rule-based interpretability. Specifically, we propose to learn a deep data assessing model which models the data as a graph to represent the correlations among different observations, whose output will be used to extract key data features. The key features are then fed into a rule network constructed following predefined noisy expert rules with trainable parameters. As these models are correlated, we propose an end-to-end training framework, utilizing the rule classification loss to optimize the rule learning model and data assessing model at the same time. As the rule-based computation is none-differentiable, we propose a gradient linking search module to carry the gradient information from the rule learning model to the data assessing model. The proposed method is tested in an industry production system, showing comparable prediction accuracy, much higher generalization stability and better interpretability when compared with a decent deep ensemble baseline, and shows much better fitting power than pure rule-based approach.


title: Three-loop four-particle QCD amplitudes

abstract: We present recent advancements in the computation of three-loop four-particle helicity amplitudes in full-color massless QCD. In this contribution, we focus on the $gg \to \gamma\gamma$ process. We show how to obtain compact analytic formulae for the three-loop scattering amplitude. Our results can be expressed in terms of harmonic polylogarithms, which allows for an efficient numerical evaluation. The results presented here can be used for improving theoretical predictions relevant for Higgs physics at hadron colliders.


title: Liquidity Costs, Idiosyncratic Volatility and Expected Stock Returns

abstract: This paper considers liquidity as an explanation for the positive association between expected idiosyncratic volatility (IV) and expected stock returns. Liquidity costs may affect the stock returns, through bid-ask bounce and other microstructure-induced noise, which will affect the estimation of IV. We use a novel method (developed by Weaver, 1991) to eliminate microstructure influences from stock closing price-based returns and then estimate IV. We show that there is a premium for IV in value-weighted portfolios, but this premium is less strong after correcting returns for microstructure bias. We further show that this premium is driven by liquidity in the prior month after correcting returns for microstructure noise. The pricing results from equally-weighted portfolios indicate that IV does not predict returns either before or after controlling for liquidity costs. These findings are robust after controlling for common risk factors as well as analysing double-sorted portfolios based on IV and liquidity.


title: Robust Point Cloud Registration Framework Based on Deep Graph Matching(TPAMI Version)

abstract: 3D point cloud registration is a fundamental problem in computer vision and robotics. Recently, learning-based point cloud registration methods have made great progress. However, these methods are sensitive to outliers, which lead to more incorrect correspondences. In this paper, we propose a novel deep graph matching-based framework for point cloud registration. Specifically, we first transform point clouds into graphs and extract deep features for each point. Then, we develop a module based on deep graph matching to calculate a soft correspondence matrix. By using graph matching, not only the local geometry of each point but also its structure and topology in a larger range are considered in establishing correspondences, so that more correct correspondences are found. We train the network with a loss directly defined on the correspondences, and in the test stage the soft correspondences are transformed into hard one-to-one correspondences so that registration can be performed by a correspondence-based solver. Furthermore, we introduce a transformer-based method to generate edges for graph construction, which further improves the quality of the correspondences. Extensive experiments on object-level and scene-level benchmark datasets show that the proposed method achieves state-of-the-art performance. The code is available at: \href{https://github.com/fukexue/RGM}{https://github.com/fukexue/RGM}.


title: $L^{\infty}$- and $L^2$-sensitivity analysis for causal inference with unmeasured confounding

abstract: Sensitivity analysis for the unconfoundedness assumption is crucial in observational studies. For this purpose, the marginal sensitivity model (MSM) gained popularity recently due to its good interpretability and mathematical properties. However, as a quantification of confounding strength, the $L^{\infty}$-bound it puts on the logit difference between the observed and full data propensity scores may render the analysis conservative. In this article, we propose a new sensitivity model that restricts the $L^2$-norm of the propensity score ratio, requiring only the average strength of unmeasured confounding to be bounded. By characterizing sensitivity analysis as an optimization problem, we derive closed-form sharp bounds of the average potential outcomes under our model. We propose efficient one-step estimators for these bounds based on the corresponding efficient influence functions. Additionally, we apply multiplier bootstrap to construct simultaneous confidence bands to cover the sensitivity curve that consists of bounds at different sensitivity parameters. Through a real-data study, we illustrate how the new $L^2$-sensitivity analysis can improve calibration using observed confounders and provide tighter bounds when the unmeasured confounder is additionally assumed to be independent of the measured confounders and only have an additive effect on the potential outcomes.


title: Unsupervised Extractive Summarization with Heterogeneous Graph Embeddings for Chinese Document

abstract: In the scenario of unsupervised extractive summarization, learning high-quality sentence representations is essential to select salient sentences from the input document. Previous studies focus more on employing statistical approaches or pre-trained language models (PLMs) to extract sentence embeddings, while ignoring the rich information inherent in the heterogeneous types of interaction between words and sentences. In this paper, we are the first to propose an unsupervised extractive summarizaiton method with heterogeneous graph embeddings (HGEs) for Chinese document. A heterogeneous text graph is constructed to capture different granularities of interactions by incorporating graph structural information. Moreover, our proposed graph is general and flexible where additional nodes such as keywords can be easily integrated. Experimental results demonstrate that our method consistently outperforms the strong baseline in three summarization datasets.


title: FF2: A Feature Fusion Two-Stream Framework for Punctuation Restoration

abstract: To accomplish punctuation restoration, most existing methods focus on introducing extra information (e.g., part-of-speech) or addressing the class imbalance problem. Recently, large-scale transformer-based pre-trained language models (PLMS) have been utilized widely and obtained remarkable success. However, the PLMS are trained on the large dataset with marks, which may not fit well with the small dataset without marks, causing the convergence to be not ideal. In this study, we propose a Feature Fusion two-stream framework (FF2) to bridge the gap. Specifically, one stream leverages a pre-trained language model to capture the semantic feature, while another auxiliary module captures the feature at hand. We also modify the computation of multi-head attention to encourage communication among heads. Then, two features with different perspectives are aggregated to fuse information and enhance context awareness. Without additional data, the experimental results on the popular benchmark IWSLT demonstrate that FF2 achieves new SOTA performance, which verifies that our approach is effective.


title: NoiSER: Noise is All You Need for Low-Light Image Enhancement

abstract: In this paper, we present an embarrassingly simple yet effective solution to a seemingly impossible mission, low-light image enhancement (LLIE) without access to any task-related data. The proposed solution, Noise SElf-Regression (NoiSER), simply learns a convolutional neural network equipped with a instance-normalization layer by taking a random noise image, $\mathcal{N}(0,\sigma^2)$ for each pixel, as both input and output for each training pair, and then the low-light image is fed to the learned network for predicting the normal-light image. Technically, an intuitive explanation for its effectiveness is as follows: 1) the self-regression reconstructs the contrast between adjacent pixels of the input image, 2) the instance-normalization layers may naturally remediate the overall magnitude/lighting of the input image, and 3) the $\mathcal{N}(0,\sigma^2)$ assumption for each pixel enforces the output image to follow the well-known gray-world hypothesis \cite{Gary-world_Hypothesis} when the image size is big enough, namely, the averages of three RGB components of an image converge to the same value. Compared to existing SOTA LLIE methods with access to different task-related data, NoiSER is surprisingly highly competitive in enhancement quality, yet with a much smaller model size, and much lower training and inference cost. With only $\sim$ 1K parameters, NoiSER realizes about 1 minute for training and 1.2 ms for inference with 600x400 resolution on RTX 2080 Ti. As a bonus, NoiSER possesses automated over-exposure suppression ability and shows excellent performance on over-exposed photos.


title: The Minkowski content measure for the Liouville quantum gravity metric

abstract: A Liouville quantum gravity (LQG) surface is a natural random two-dimensional surface, initially formulated as a random measure space and later as a random metric space. We show that the LQG measure can be recovered as the Minkowski measure with respect to the LQG metric, answering a question of Gwynne and Miller (arXiv:1905.00383). As a consequence, we prove that the metric structure of a $\gamma$-LQG surface determines its conformal structure for every $\gamma \in (0,2)$. Our primary tool is the continuum mating-of-trees theory for space-filling SLE. In the course of our proof, we also establish a H\"older continuity result for space-filling SLE with respect to the LQG metric.


title: A survey of some recent developments in measures of association

abstract: This paper surveys some recent developments in measures of association related to a new coefficient of correlation introduced by the author. A straightforward extension of this coefficient to standard Borel spaces (which includes all Polish spaces), overlooked in the literature so far, is proposed at the end of the survey.

categories: stat.ME cs.LG math.PR math.ST stat.ML stat.TH


title: Automated MRI Field of View Prescription from Region of Interest Prediction by Intra-stack Attention Neural Network

abstract: Manual prescription of the field of view (FOV) by MRI technologists is variable and prolongs the scanning process. Often, the FOV is too large or crops critical anatomy. We propose a deep-learning framework, trained by radiologists' supervision, for automating FOV prescription. An intra-stack shared feature extraction network and an attention network are used to process a stack of 2D image inputs to generate output scalars defining the location of a rectangular region of interest (ROI). The attention mechanism is used to make the model focus on the small number of informative slices in a stack. Then the smallest FOV that makes the neural network predicted ROI free of aliasing is calculated by an algebraic operation derived from MR sampling theory. We retrospectively collected 595 cases between February 2018 and February 2022. The framework's performance is examined quantitatively with intersection over union (IoU) and pixel error on position, and qualitatively with a reader study. We use the t-test for comparing quantitative results from all models and a radiologist. The proposed model achieves an average IoU of 0.867 and average ROI position error of 9.06 out of 512 pixels on 80 test cases, significantly better (P<0.05) than two baseline models and not significantly different from a radiologist (P>0.12). Finally, the FOV given by the proposed framework achieves an acceptance rate of 92% from an experienced radiologist.


title: A Linear Time Algorithm for the Optimal Discrete IRS Beamforming

abstract: It remains an open problem to find the optimal configuration of phase shifts under the discrete constraint for intelligent reflecting surface (IRS) in polynomial time. The above problem is widely believed to be difficult because it is not linked to any known combinatorial problems that can be solved efficiently. The branch-and-bound algorithms and the approximation algorithms constitute the best results in this area. Nevertheless, this work shows that the global optimum can actually be reached in linear time on average in terms of the number of reflective elements (REs) of IRS. The main idea is to geometrically interpret the discrete beamforming problem as choosing the optimal point on the unit circle. Although the number of possible combinations of phase shifts grows exponentially with the number of REs, it turns out that there are only a linear number of circular arcs that possibly contain the optimal point. Furthermore, the proposed algorithm can be viewed as a novel approach to a special case of the discrete quadratic program (QP).


title: Nonlinear Set Membership Filter with State Estimation Constraints via Consensus-ADMM

abstract: This paper considers the state estimation problem for nonlinear dynamic systems with unknown but bounded noises. Set membership filter (SMF) is a popular algorithm to solve this problem. In the set membership setting, we investigate the filter problem where the state estimation requires to be constrained by a linear or nonlinear equality. We propose a consensus alternating direction method of multipliers (ADMM) based SMF algorithm for nonlinear dynamic systems. To deal with the difficulty of nonlinearity, instead of linearizing the nonlinear system, a semi-infinite programming (SIP) approach is used to transform the nonlinear system into a linear one, which allows us to obtain a more accurate estimation ellipsoid. For the solution of the SIP, an ADMM algorithm is proposed to handle the state estimation constraints, and each iteration of the algorithm can be solved efficiently. Finally, the proposed filter is applied to typical numerical examples to demonstrate its effectiveness.


title: Towards the continuum limit of nucleon form factors at the physical point using lattice QCD

abstract: We present results for the axial charge and root-mean-square (RMS) radii of the nucleon obtained from 2+1 flavor lattice QCD at the physical point with a large spatial extent of about 10 fm. Our calculations are performed with the PACS10 gauge configurations generated by the PACS Collaboration with the six stout-smeared $O(a)$ improved Wilson-clover quark action and Iwasaki gauge action at $\beta$ = 1.82 and 2.00 corresponding to lattice spacings of 0.085 fm and 0.063 fm respectively. We first evaluate the value of $g_A/g_V$ , which is not renormalized in the continuum limit and thus ends up with the renormalized axial charge. Moreover, we also calculate the nucleon elastic form factors and determine three kinds of isovector RMS radii such as electric, magnetic and axial ones at the two lattice spacings. We finally discuss the discretization uncertainties on renormalized axial charge and isovector RMS radii towards the continuum limit.


title: Effect of scintillator geometry on the energy resolution and efficiency of MAST neutron camera detectors

abstract: The efficiency and energy resolution of the MAST neutron camera detectors, based on liquid scintillator of the EJ-301 type, is lower than cylindrical detector of similar size. An experimental investigation has identified light attenuation as the main cause of this deterioration. This finding is supported by Monte Carlo electron and photon transport calculations.


title: Computation of Hecke eigenvalues (mod $p$) via quaternions

abstract: In a 1987 letter, Serre proves that the systems of Hecke eigenvalues arising from mod $p$ modular forms (of fixed level $\Gamma(N)$ coprime to $p$, and any weight $k$) are the same as those arising from functions $\Omega(N) \to \bar{\mathbb F}_p$, where $\Omega(N)$ is some double quotient of $D^\times (\mathbb A_f)$ and $D$ is the unique quaternion algebra over $\mathbb Q$ ramified at $\{p,\infty\}$. We present an algorithm which then computes these Hecke eigenvalues on the quaternion side in a combinatorial manner.


title: Carnot, Stirling, Ericsson stochastic heat engines: Efficiency at maximum power

abstract: This work obtains the efficiency at maximum power for a stochastic heat engine performing Carnot-like, Stirling-like and Ericsson-like cycles. For the mesoscopic engine a Brownian particle trapped by an optical tweezers is considered. The dynamics of this stochastic engine is described as an overdamped Langevin equation with a harmonic potential, whereas is in contact with two thermal baths at different temperatures, namely, hot ($T_h$) and cold ($T_c$). The harmonic oscillator Langevin equation is transformed into a macroscopic equation associated with the mean value $\langle x^2(t)\rangle$ using the original Langevin approach. At equilibrium stationary state this quantity satisfies a state-like equation from which the thermodynamic properties are calculated. To obtained the efficiency at maximum power it is considered the finite-time cycle processes under the framework of low dissipation approach.


title: Expressive-VC: Highly Expressive Voice Conversion with Attention Fusion of Bottleneck and Perturbation Features

abstract: Voice conversion for highly expressive speech is challenging. Current approaches struggle with the balancing between speaker similarity, intelligibility and expressiveness. To address this problem, we propose Expressive-VC, a novel end-to-end voice conversion framework that leverages advantages from both neural bottleneck feature (BNF) approach and information perturbation approach. Specifically, we use a BNF encoder and a Perturbed-Wav encoder to form a content extractor to learn linguistic and para-linguistic features respectively, where BNFs come from a robust pre-trained ASR model and the perturbed wave becomes speaker-irrelevant after signal perturbation. We further fuse the linguistic and para-linguistic features through an attention mechanism, where speaker-dependent prosody features are adopted as the attention query, which result from a prosody encoder with target speaker embedding and normalized pitch and energy of source speech as input. Finally the decoder consumes the integrated features and the speaker-dependent prosody feature to generate the converted speech. Experiments demonstrate that Expressive-VC is superior to several state-of-the-art systems, achieving both high expressiveness captured from the source speech and high speaker similarity with the target speaker; meanwhile intelligibility is well maintained.


title: Gravitational wave constraints on spatial covariant gravities

abstract: The direct discovery of gravitational waves (GWs) from the coalescence of compact binary components by the LIGO/Virgo/KAGRA Collaboration provides an unprecedented opportunity for exploring the underlying theory of gravity that drives the coalescence process in the strong and highly dynamical field regime of gravity. In this paper, we consider the observational effects of spatial covariant gravities on the propagation of GWs in the cosmological background and obtain the observational constraints on coupling coefficients in the action of spatial covariant gravities from GW observations. We first decompose the GWs into the left- and right-hand circular polarization modes and derive the effects of the spatial covariant gravities on the propagation equation of GWs. We find that these effects can be divided into three classes: 1) frequency-independent effects on GW speed and friction, 2) parity-violating amplitude and velocity birefringences, and 3) a Lorentz-violating damping rate and dispersion of GWs. With these effects, we calculate the corresponding modified waveform of GWs generated by the coalescence of compact binaries. By comparing these new effects with the publicly available posterior samples or results from various tests of gravities with LIGO/Virgo/KAGRA data in the literature, we derive the observational constraints on coupling coefficients of the spatial covariant gravities. These results represent the most comprehensive constraints on the spatial covariant gravities in the literature.


title: Improve Model Testing by Integrating Bounded Model Checking and Coverage Guided Fuzzing

abstract: The control logic models built by Simulink or Ptolemy have been widely used in industry scenes. It is an urgent need to ensure the safety and security of the control logic models. Test case generation technologies are widely used to ensure the safety and security. State-of-the-art model testing tools employ model checking techniques or search-based methods to generate test cases. Traditional search based techniques based on Simulink simulation are plagued by problems such as low speed and high overhead. Traditional model checking techniques such as symbolic execution have limited performance when dealing with nonlinear elements and complex loops. Recently, coverage guided fuzzing technologies are known to be effective for test case generation, due to their high efficiency and impressive effects over complex branches of loops. In this paper, we apply fuzzing methods to improve model testing and demonstrate the effectiveness. The fuzzing methods aim to cover more program branches by mutating valuable seeds. Inspired by this feature, we propose a novel integration technology SPsCGF, which leverages bounded model checking for symbolic execution to generate test cases as initial seeds and then conduct fuzzing based upon these worthy seeds. In this manner, our work combines the advantages of the model checking methods and fuzzing techniques in a novel way. Since the control logic models always receive signal inputs, we specifically design novel mutation operators for signals to improve the existing fuzzing method in model testing. Over the evaluated benchmarks which consist of industrial cases, SPsCGF could achieve 8% to 38% higher model coverage and 3x-10x time efficiency compared with the state-of-the-art works.


title: Triply charmed baryons mass decomposition from lattice QCD

abstract: We present the first lattice QCD calculation about the mass decomposition of triply charmed baryons with $J^{P}$ as $\frac{3}{2}^{+}$ and $\frac{3}{2}^{-}$. The quark mass term $\langle H_{M} \rangle$ contributes about 66\% to the mass of $\frac{3}{2}^+$ state, which is slightly lower than that of the meson system with the same valence charm quark. Furthermore, based on our results, the total contribution of sea quarks, the gluons and the QCD anomaly accounts for about a quarter of the mass of these two triply charmed baryons. The mass difference of $\frac{3}{2}^+$ and $\frac{3}{2}^-$ states is mainly from the quark energy $\langle H_{E} \rangle$ of the QCD energy-momentum tensor. For comparison, the mass splitting is also calculated under the framework of the constituent quark model.