title: Generic nondegeneracy for solutions of the Allen-Cahn equation under a volume constraint in closed manifolds

abstract: Let $M^n$ be a connected closed smooth manifold, where $n\geq 2$. In this article, we adapt the techniques in Micheletti and Pistoia (2009) and Ghimenti and Micheletti (2011) to prove the generic nondegeneracy for solutions of the Van der Waals-Allen-Cahn-Hilliard equation under a volume constraint in $M$.


title: Simple upper and lower bounds on the ultimate success probability for discriminating arbitrary finite-dimensional quantum processes

abstract: We consider the problem of discriminating finite-dimensional quantum processes, also called quantum supermaps, that can consist of multiple time steps. Obtaining the ultimate performance for discriminating quantum processes is of fundamental importance, but is challenging mainly due to the necessity of considering all discrimination strategies allowed by quantum mechanics, including entanglement-assisted strategies and adaptive strategies. In the case in which the processes to be discriminated have internal memories, the ultimate performance would generally be more difficult to analyze. In this paper, we present a simple upper bound on the ultimate success probability for discriminating arbitrary quantum processes. In the special case of multi-shot channel discrimination, it can be shown that the ultimate success probability increases by at most a constant factor determined by the given channels if the number of channel evaluations increases by one. We also present a lower bound based on Bayesian updating, which has a low computational cost. Our numerical experiments demonstrate that the proposed bounds are reasonably tight. The proposed bounds do not explicitly depend on any quantum phenomena, and can be readily extended to a general operational probabilistic theory.


title: Discrimination of symmetric states in operational probabilistic theory

abstract: A state discrimination problem in an operational probabilistic theory (OPT) is investigated in diagrammatic terms. It is well-known that, in the case of quantum theory, if a state set has a certain symmetry, then there exists a minimum-error measurement having the same type of symmetry. However, to our knowledge, it is not yet clear whether this property also holds in a more general OPT. We show that it also holds in OPTs, i.e., for a symmetric state set, there exists a minimum-error measurement that has the same type of symmetry. It is also shown that this result can be utilized to optimize over a restricted class of measurements, such as sequential or separable measurements.


title: SparsePipe: Parallel Deep Learning for 3D Point Clouds

abstract: We propose SparsePipe, an efficient and asynchronous parallelism approach for handling 3D point clouds with multi-GPU training. SparsePipe is built to support 3D sparse data such as point clouds. It achieves this by adopting generalized convolutions with sparse tensor representation to build expressive high-dimensional convolutional neural networks. Compared to dense solutions, the new models can efficiently process irregular point clouds without densely sliding over the entire space, significantly reducing the memory requirements and allowing higher resolutions of the underlying 3D volumes for better performance. SparsePipe exploits intra-batch parallelism that partitions input data into multiple processors and further improves the training throughput with inter-batch pipelining to overlap communication and computing. Besides, it suitably partitions the model when the GPUs are heterogeneous such that the computing is load-balanced with reduced communication overhead. Using experimental results on an eight-GPU platform, we show that SparsePipe can parallelize effectively and obtain better performance on current point cloud benchmarks for both training and inference, compared to its dense solutions.


title: Tremor Waveform Denoising and Automatic Location with Neural Network Interpretation

abstract: Active faults release tectonic stress imposed by plate motion through a spectrum of slip modes, from slow, aseismic slip, to dynamic, seismic events. Slow earthquakes are often associated with tectonic tremor, non-impulsive signals that can easily be buried in seismic noise and go undetected. We present a new methodology aimed at improving the detection and location of tremors hidden within seismic noise. After identifying tremors with a classic convolutional neural network, we rely on neural network attribution to extract core tremor signatures and denoise input waveforms. We then use these cleaned waveforms to locate tremors with standard array-based techniques. We apply this method to the Cascadia subduction zone, where we identify tremor patches consistent with existing catalogs. In particular, we show that the cleaned signals resulting from the neural network attribution analysis correspond to a waveform traveling in the Earth's crust and mantle at wavespeeds consistent with local estimates. This approach allows us to extract small signals hidden within the noise, and therefore to locate more tremors than in existing catalogs.


title: Compact 4-Dimensional Spin Gradient $m$-quasi-Einstein Manifolds Satisfy the Hitchin-Thorpe Inequality when $m\ge 1$

abstract: We prove that a compact, connected, and oriented 4-dimensional gradient $m$-quasi-Einstein manifold with $m\in [1, \infty]$ which is additionally a spin manifold must satisfy the Hitchin-Thorpe Inequality. We show further that the homeomorphism-type of the universal cover of such a manifold is either $S^4$ or a connected sum of some number of $S^2\times S^2$ when the potential function is nontrivial.


title: Autonomous Extraction of Millimeter-scale Deformation in InSAR Time Series Using Deep Learning

abstract: Systematic characterization of slip behaviours on active faults is key to unraveling the physics of tectonic faulting and the interplay between slow and fast earthquakes. Interferometric Synthetic Aperture Radar (InSAR), by enabling measurement of ground deformation at a global scale every few days, may hold the key to those interactions. However, atmospheric propagation delays often exceed ground deformation of interest despite state-of-the art processing, and thus InSAR analysis requires expert interpretation and a priori knowledge of fault systems, precluding global investigations of deformation dynamics. Here we show that a deep auto-encoder architecture tailored to untangle ground deformation from noise in InSAR time series autonomously extracts deformation signals, without prior knowledge of a fault's location or slip behaviour. Applied to InSAR data over the North Anatolian Fault, our method reaches 2 mm detection, revealing a slow earthquake twice as extensive as previously recognized. We further explore the generalization of our approach to inflation/deflation-induced deformation, applying the same methodology to the geothermal field of Coso, California.


title: Generalized spaces for constructive algebra

abstract: The purpose of this contribution is to give a coherent account of a particular narrative which links locales, geometric theories, sheaf semantics and constructive commutative algebra. We are hoping to convey a firm grasp of three ideas: (1) Locales are a kind of space in which opens instead of points are fundamental. (2) Sheaf semantics allows us to explore mathematical objects from custom-tailored mathematical universes. (3) Without loss of generality, any reduced ring is a field.


title: Cryptanalysis and improvement of a semi-quantum private comparison protocol based on Bell states

abstract: Semi-quantum private comparison (SQPC) allows two participants with limited quantum ability to securely compare the equality of their secrets with the help of a semi-dishonest third party (TP). Recently, Jiang proposed a SQPC protocol based on Bell states (Quantum Inf Process 19(6): 180, 2020) and claimed it is secure. In this paper, we present two types of attack on Jiang's SQPC protocol. In the first type of attack, an outside eavesdropper will make participants accept a wrong result. In the second type of attack, a malicious participant will not only make the other participant accept a wrong result, but also learn the secret of the honest participant. Neither type of attack will be detected. In addition, we propose an improved SQPC protocol that can resist these two types of attack.


title: A Distributed Optimization Approach to the Multi-Regional Day-Ahead Clearing Process in Electricity Markets

abstract: The implementation of electricity markets based on locational marginal pricing in a multi-settlement process has allowed wholesale competition, with pricing mechanisms that incentivize the optimal allocation of generation, transmission, and demand-response resources. While efficiency and reliability gains have been achieved in the US at a regional level, the lack of adequate inter-regional coordination mechanisms has limited broader gains. The shortcomings of cross-border coordination of electricity markets become more apparent as the industry transitions towards higher penetration of renewable resources, which tend to be concentrated in certain regions of the country, usually distant from load pockets. In addition to allowing market participants to respond to economic signals beyond the market region where their assets reside, a coordinated market solution would allow the extension of market mechanisms such as financial transmission rights and capacity contracts to cover transactions across borders; thereby, reducing price uncertainty around the investment in new generation resources. This paper presents a distributed solution to the unit commitment problem that allows for full coordination of the market clearing process across interconnected electricity markets.


title: ANL: Anti-Noise Learning for Cross-Domain Person Re-Identification

abstract: Due to the lack of labels and the domain diversities, it is a challenge to study person re-identification in the cross-domain setting. An admirable method is to optimize the target model by assigning pseudo-labels for unlabeled samples through clustering. Usually, attributed to the domain gaps, the pre-trained source domain model cannot extract appropriate target domain features, which will dramatically affect the clustering performance and the accuracy of pseudo-labels. Extensive label noise will lead to sub-optimal solutions doubtlessly. To solve these problems, we propose an Anti-Noise Learning (ANL) approach, which contains two modules. The Feature Distribution Alignment (FDA) module is designed to gather the id-related samples and disperse id-unrelated samples, through the camera-wise contrastive learning and adversarial adaptation. Creating a friendly cross-feature foundation for clustering that is to reduce clustering noise. Besides, the Reliable Sample Selection (RSS) module utilizes an Auxiliary Model to correct noisy labels and select reliable samples for the Main Model. In order to effectively utilize the outlier information generated by the clustering algorithm and RSS module, we train these samples at the instance-level. The experiments demonstrate that our proposed ANL framework can effectively reduce the domain conflicts and alleviate the influence of noisy samples, as well as superior performance compared with the state-of-the-art methods.


title: Coupled cavity-waveguide system based on topological corner state and edge state

abstract: Topological corner state (TCS) and topological edge state (TES) have provided new approaches to control the propagation of light. The construction of topological coupled cavity-waveguide system (TCCWS) based on TCS and TES is worth looking forward to, due to its research prospects in realizing high-performance micro-nano integrated photonic devices. In this Letter, TCCWS is proposed in two-dimensional (2D) photonic crystal (PC), which possesses strong optical localization, high quality factor and excellent robustness compared with the conventional coupled cavity-waveguide system (CCCWS). This work will provide the possibility to design high-performance logic gates, lasers, filters and other micro-nano integrated photonics devices and expand their applications.


title: Trace and discriminant criteria for a matrix to be a sum of sixth and eighth powers of matrices

abstract: In this paper, we shall be considering the Waring's problem for matrices. One version of the problem involves writing an $n \times n$ matrix over a commutative ring $R$ with unity as a sum of $k$-th powers of matrices over $R.$ This study is motivated by the interesting results of Carlitz, Newman, Vaserstein, Griffin, Krusemeyer, Richman etc. obtained earlier in this direction. The results are for the case $n \geq k \geq 2$ in terms of the trace of the matrix. For $n < k,$ it was shown by Katre, Garge that it is enough to work with the special case $n = 2$ and $k \geq 3.$ The cases $3 \leq k \leq 5$ and $k = 7$ were settled in earlier results. There was no case of a composite, non-prime-power $k$ occuring above. In this paper, we will find the trace criteria for a matrix to be a sum of sixth (a composite non-prime power) and eighth powers of matrices over a commutative ring $R$ with unity. An elegant discriminant criterion was obtained by Katre and Khule earlier in the special case of an order in an algebraic number field $\mathcal{O}.$ We will derive here similar discriminant criteria for every matrix over $\mathcal{O}$ to be a sum of sixth and eighth powers of matrices over $\mathcal{O}.$


title: Fun with colours: the standard model with two colour QCD has radically different long distance physics

abstract: In our world the standard model of particle physics contains within it the fairly intractable theory called QCD. A toy version with two colours is often studied as a model confining and chiral symmetry breaking field theory. Here we investigate the cascade of changes at various distance scales if we make this change within the standard model. It is possible to limit the changes at the hadronic scale. However, the minor changes that occur actually cascade down to the far infrared, into nuclear and atomic physics, and chemistry. Through this it also possibly affects the evolution of stars and galaxies. We remark on this unexpected sensitivity of the universe to physics at the scale of quarks.

categories: hep-ph astro-ph.HE hep-lat hep-th nucl-th


title: Two-dimensional topological superconductivity candidate in van der Waals layered material

abstract: Two-dimensional (2D) topological superconductors are highly desired because they not only offer opportunities for exploring novel exotic quantum physics, but also possesses potential applications in quantum computation. However, there are few reports on 2D superconductors, let alone topological superconductors. Here, we find a 2D monolayer W$_2$N$_3$, which can be exfoliated from its real van der Waals bulk material with much lower exfoliation energy than MoS$_2$, to be a topological metal with exotic topological states at different energy level. Due to the Van Hove singularities, the density of states near Fermi level are high, making the monolayer a compensate metal. Moreover, the monolayer W$_2$N$_3$ is unveiled to be a superconductor with the superconducting transition temperature Tc $\sim$ 22 K and a superconducting gap of about 5 meV based on the anisotropic Migdal-Eliashberg formalism, arising from the strong electron-phonon coupling around the $\Gamma$ point. Because of the strong electron and lattice coupling, the monolayer displays a non-Fermi liquid behavior in its normal states at temperatures lower than 80 K, where the specific heat exhibit T$^3$ behavior and the Wiedemann-Franz law dramatically violates. Our findings not only provide the platform to study the emergent phenomena in 2D topological superconductors, but also open a door to discover more 2D high-temperature topological superconductors in van der Waals materials.


title: Modal meet-implication logic

abstract: We extend the meet-implication fragment of propositional intuitionistic logic with a meet-preserving modality. We give semantics based on semilattices and a duality result with a suitable notion of descriptive frame. As a consequence we obtain completeness and identify a common (modal) fragment of a large class of modal intuitionistic logics. We recognise this logic as a dialgebraic logic, and as a consequence obtain expressivity-somewhere-else. Within the dialgebraic framework, we then investigate the extension of the meet-implication fragment of propositional intuitionistic logic with a monotone modality and prove completeness and expressivity-somewhere-else for it.


title: Quantum speed limit time in relativistic frame

abstract: We investigate the roles of the relativistic effect on the speed of evolution of a quantum system coupled with amplitude damping channels. We find that the relativistic effect speed-up the quantum evolution to a uniform evolution speed of open quantum systems for the damping parameter $p_{\tau}\lesssim p_{\tau_{c0}}.$ Moreover, we point out a non-monotonic behavior of the quantum speed limit time (QSLT) with acceleration in the damping limit $p_{\tau_{c0}}\lesssim p_{\tau}\lesssim p_{\tau_{c1}},$ where the relativistic effect first speed-up and then slow down the quantum evolution process of the damped system. For the damping strength $p_{\tau_{c1}}\lesssim p_{\tau}$, we observe a monotonic increasing behavior of QSLT, leads to slow down the quantum evolution of the damped system. In addition, we examine the roles of the relativistic effect on the speed limit time for a system coupled with the phase damping channels.


title: Uniform stability for a spatially-discrete, subdiffusive Fokker-Planck equation

abstract: We prove stability estimates for the spatially discrete, Galerkin solution of a fractional Fokker-Planck equation, improving on previous results in several respects. Our main goal is to establish that the stability constants are bounded uniformly in the fractional diffusion exponent $\alpha\in(0,1]$. In addition, we account for the presence of an inhomogeneous term and show a stability estimate for the gradient of the Galerkin solution. As a by-product, the proofs of error bounds for a standard finite element approximation are simplified.


title: Target Detection within Nonhomogeneous Clutter via Total Bregman Divergence-Based Matrix Information Geometry Detectors

abstract: Information divergences are commonly used to measure the dissimilarity of two elements on a statistical manifold. Differentiable manifolds endowed with different divergences may possess different geometric properties, which can result in totally different performances in many practical applications. In this paper, we propose a total Bregman divergence-based matrix information geometry (TBD-MIG) detector and apply it to detect targets emerged into nonhomogeneous clutter. In particular, each sample data is assumed to be modeled as a Hermitian positive-definite (HPD) matrix and the clutter covariance matrix is estimated by the TBD mean of a set of secondary HPD matrices. We then reformulate the problem of signal detection as discriminating two points on the HPD matrix manifold. Three TBD-MIG detectors, referred to as the total square loss, the total log-determinant and the total von Neumann MIG detectors, are proposed, and they can achieve great performances due to their power of discrimination and robustness to interferences. Simulations show the advantage of the proposed TBD-MIG detectors in comparison with the geometric detector using an affine invariant Riemannian metric as well as the adaptive matched filter in nonhomogeneous clutter.


title: A coupled finite volume and material point method for two-phase simulation of liquid-sediment and gas-sediment flows

abstract: Mixtures of fluids and granular sediments play an important role in many industrial, geotechnical, and aerospace engineering problems, from waste management and transportation (liquid--sediment mixtures) to dust kick-up below helicopter rotors (gas--sediment mixtures). These mixed flows often involve bulk motion of hundreds of billions of individual sediment particles and can contain both highly turbulent regions and static, non-flowing regions. This breadth of phenomena necessitates the use of continuum simulation methods, such as the material point method (MPM), which can accurately capture these large deformations while also tracking the Lagrangian features of the flow (e.g.\ the granular surface, elastic stress, etc.). Recent works using two-phase MPM frameworks to simulate these mixtures have shown substantial promise; however, these approaches are hindered by the numerical limitations of MPM when simulating pure fluids. In addition to the well-known particle ringing instability and difficulty defining inflow/outflow boundary conditions, MPM has a tendency to accumulate quadrature errors as materials deform, increasing the rate of overall error growth as simulations progress. In this work, we present an improved, two-phase continuum simulation framework that uses the finite volume method (FVM) to solve the fluid phase equations of motion and MPM to solve the solid phase equations of motion, substantially reducing the effect of these errors and providing better accuracy and stability for long-duration simulations of these mixtures.


title: Nonuniform 3D finite difference elastic wave simulation on staggered grids

abstract: We present an approach to simulate the 3D isotropic elastic wave propagation using nonuniform finite difference discretization on staggered grids. Specifically, we consider simulation domains composed of layers of uniform grids with different grid spacings, separated by nonconforming interfaces. We demonstrate that this layer-wise finite difference discretization has the potential to significantly reduce the simulation cost, compared to its fully uniform counterpart. Stability of such a discretization is achieved by using specially designed difference operators, which are variants of the standard difference operators with adaptations near boundaries or interfaces, and penalty terms, which are appended to the discretized wave system to weakly impose boundary or interface conditions. Combined with specially designed interpolation operators, the discretized wave system is shown to preserve the energy conserving property of the continuous elastic wave equation, and $\textit{a fortiori}$ ensure the stability of the simulation. Numerical examples are presented to demonstrate the efficacy of the proposed simulation approach.


title: Stability of large-amplitude viscous shock under periodic perturbation for 1-d isentropic Navier-Stokes equations

abstract: The stability of solutions under periodic perturbations for both inviscid and viscous conservation laws is an interesting and important problem. In this paper, a large-amplitude viscous shock under space-periodic perturbation for the isentropic Navier-Stokes equations is considered. It is shown that if the initial perturbation around the shock is suitably small and satisfies a zero-mass type condition (2.17), then the solution of the N-S equations tends to the viscous shock with a shift, which is partially determined by the periodic oscillations. In other words, the viscous shock is nonlinearly stable even though the perturbation oscillates at the far fields. The key point is to construct a suitable ansatz $ (\tilde{v},\tilde{u}) $, which carries the same oscillations of the solution $ (v,u) $ at the far fields, so that the difference $ (v-\tilde{v},u-\tilde{u}) $ belongs to the $ H^2(R) $ space for all $ t\geq 0. $


title: Secret Key Distillation over Satellite-to-satellite Free-space Optics Channel with Eavesdropper Dynamic Positioning

abstract: The conventional omnipotent eavesdropper assumption in quantum cryptography study can be too strict for some realistic scenarios. In this paper, we study the secret key distillation over a satellite-to-satellite free space optics channel in which we assume that the eavesdropper (Eve) is restricted in her ability of power collection due to the limited size of her aperture but can change the position of her aperture to gain advantages over the communication parties (Alice and Bob) and we determine the achievable key rate lower and upper bounds with respect to different scenarios. We first study the case where Eve is behind Bob and we prove that the optimal eavesdropping strategy for her in long-distance transmission case is to place her aperture on the beam transmission axis and set Bob-to-Eve distance equal to Alice-to-Bob distance. We also show that the achievable key rate would be characterized by a Bessel function integral related to Eve's position in a short-distance transmission case. We then investigate the case where Eve is before Bob and show similar results with Eve's and Bob's roles exchanged.


title: Learning Light-Weight Translation Models from Deep Transformer

abstract: Recently, deep models have shown tremendous improvements in neural machine translation (NMT). However, systems of this kind are computationally expensive and memory intensive. In this paper, we take a natural step towards learning strong but light-weight NMT systems. We proposed a novel group-permutation based knowledge distillation approach to compressing the deep Transformer model into a shallow model. The experimental results on several benchmarks validate the effectiveness of our method. Our compressed model is 8X shallower than the deep model, with almost no loss in BLEU. To further enhance the teacher model, we present a Skipping Sub-Layer method to randomly omit sub-layers to introduce perturbation into training, which achieves a BLEU score of 30.63 on English-German newstest2014. The code is publicly available at https://github.com/libeineu/GPKD.


title: Prediction & Model Evaluation for Space-Time Data

abstract: Evaluation metrics for prediction error, model selection and model averaging on space-time data are understudied and poorly understood. The absence of independent replication makes prediction ambiguous as a concept and renders evaluation procedures developed for independent data inappropriate for most space-time prediction problems. Motivated by air pollution data collected during California wildfires in 2008, this manuscript attempts a formalization of the true prediction error associated with spatial interpolation. We investigate a variety of cross-validation (CV) procedures employing both simulations and case studies to provide insight into the nature of the estimand targeted by alternative data partition strategies. Consistent with recent best practice, we find that location-based cross-validation is appropriate for estimating spatial interpolation error as in our analysis of the California wildfire data. Interestingly, commonly held notions of bias-variance trade-off of CV fold size do not trivially apply to dependent data, and we recommend leave-one-location-out (LOLO) CV as the preferred prediction error metric for spatial interpolation.


title: Gelfand $W$-graphs for classical Weyl groups

abstract: A Gelfand model for an algebra is a module given by a direct sum of irreducible submodules, with every isomorphism class of irreducible modules represented exactly once. We introduce the notion of a perfect model for a finite Coxeter group, which is a certain set of discrete data (involving Rains and Vazirani's concept of a perfect involution) that parametrizes a Gelfand model for the associated Iwahori-Hecke algebra. We describe perfect models for all classical Weyl groups, excluding type D in even rank. The representations attached to these models simultaneously generalize constructions of Adin, Postnikov, and Roichman (from type A to other classical types) and of Araujo and Bratten (from group algebras to Iwahori-Hecke algebras). We show that each Gelfand model derived from a perfect model has a canonical basis that gives rise to a pair of related $W$-graphs, which we call Gelfand $W$-graphs. For types BC and D, we prove that these $W$-graphs are dual to each other, a phenomenon which does not occur in type A.


title: Neural Closure Models for Dynamical Systems

abstract: Complex dynamical systems are used for predictions in many domains. Because of computational costs, models are truncated, coarsened, or aggregated. As the neglected and unresolved terms become important, the utility of model predictions diminishes. We develop a novel, versatile, and rigorous methodology to learn non-Markovian closure parameterizations for known-physics/low-fidelity models using data from high-fidelity simulations. The new "neural closure models" augment low-fidelity models with neural delay differential equations (nDDEs), motivated by the Mori-Zwanzig formulation and the inherent delays in complex dynamical systems. We demonstrate that neural closures efficiently account for truncated modes in reduced-order-models, capture the effects of subgrid-scale processes in coarse models, and augment the simplification of complex biological and physical-biogeochemical models. We find that using non-Markovian over Markovian closures improves long-term prediction accuracy and requires smaller networks. We derive adjoint equations and network architectures needed to efficiently implement the new discrete and distributed nDDEs, for any time-integration schemes and allowing nonuniformly-spaced temporal training data. The performance of discrete over distributed delays in closure models is explained using information theory, and we find an optimal amount of past information for a specified architecture. Finally, we analyze computational complexity and explain the limited additional cost due to neural closure models.


title: A Neural Network with Plane Wave Activation for Helmholtz Equation

abstract: This paper proposes a plane wave activation based neural network (PWNN) for solving Helmholtz equation, the basic partial differential equation to represent wave propagation, e.g. acoustic wave, electromagnetic wave, and seismic wave. Unlike using traditional activation based neural network (TANN) or $sin$ activation based neural network (SIREN) for solving general partial differential equations, we instead introduce a complex activation function $e^{\mathbf{i}{x}}$, the plane wave which is the basic component of the solution of Helmholtz equation. By a simple derivation, we further find that PWNN is actually a generalization of the plane wave partition of unity method (PWPUM) by additionally imposing a learned basis with both amplitude and direction to better characterize the potential solution. We firstly investigate our performance on a problem with the solution is an integral of the plane waves with all known directions. The experiments demonstrate that: PWNN works much better than TANN and SIREN on varying architectures or the number of training samples, that means the plane wave activation indeed helps to enhance the representation ability of neural network toward the solution of Helmholtz equation; PWNN has competitive performance than PWPUM, e.g. the same convergence order but less relative error. Furthermore, we focus a more practical problem, the solution of which only integrate the plane waves with some unknown directions. We find that PWNN works much better than PWPUM at this case. Unlike using the plane wave basis with fixed directions in PWPUM, PWNN can learn a group of optimized plane wave basis which can better predict the unknown directions of the solution. The proposed approach may provide some new insights in the aspect of applying deep learning in Helmholtz equation.


title: Histogram Matching Augmentation for Domain Adaptation with Application to Multi-Centre, Multi-Vendor and Multi-Disease Cardiac Image Segmentation

abstract: Convolutional Neural Networks (CNNs) have achieved high accuracy for cardiac structure segmentation if training cases and testing cases are from the same distribution. However, the performance would be degraded if the testing cases are from a distinct domain (e.g., new MRI scanners, clinical centers). In this paper, we propose a histogram matching (HM) data augmentation method to eliminate the domain gap. Specifically, our method generates new training cases by using HM to transfer the intensity distribution of testing cases to existing training cases. The proposed method is quite simple and can be used in a plug-and-play way in many segmentation tasks. The method is evaluated on MICCAI 2020 M\&Ms challenge, and achieves average Dice scores of 0.9051, 0.8405, and 0.8749, and Hausdorff Distances of 9.996, 12.49, and 12.68 for the left ventricular, myocardium, and right ventricular, respectively. Our results rank the third place in MICCAI 2020 M\&Ms challenge. The code and trained models are publicly available at \url{https://github.com/JunMa11/HM_DataAug}.


title: My Teacher Thinks The World Is Flat! Interpreting Automatic Essay Scoring Mechanism

abstract: Significant progress has been made in deep-learning based Automatic Essay Scoring (AES) systems in the past two decades. However, little research has been put to understand and interpret the black-box nature of these deep-learning based scoring models. Recent work shows that automated scoring systems are prone to even common-sense adversarial samples. Their lack of natural language understanding capability raises questions on the models being actively used by millions of candidates for life-changing decisions. With scoring being a highly multi-modal task, it becomes imperative for scoring models to be validated and tested on all these modalities. We utilize recent advances in interpretability to find the extent to which features such as coherence, content and relevance are important for automated scoring mechanisms and why they are susceptible to adversarial samples. We find that the systems tested consider essays not as a piece of prose having the characteristics of natural flow of speech and grammatical structure, but as `word-soups' where a few words are much more important than the other words. Removing the context surrounding those few important words causes the prose to lose the flow of speech and grammar, however has little impact on the predicted score. We also find that since the models are not semantically grounded with world-knowledge and common sense, adding false facts such as ``the world is flat'' actually increases the score instead of decreasing it.


title: An Embarrassingly Simple Model for Dialogue Relation Extraction

abstract: Dialogue relation extraction (RE) is to predict the relation type of two entities mentioned in a dialogue. In this paper, we propose a simple yet effective model named SimpleRE for the RE task. SimpleRE captures the interrelations among multiple relations in a dialogue through a novel input format named BERT Relation Token Sequence (BRS). In BRS, multiple [CLS] tokens are used to capture possible relations between different pairs of entities mentioned in the dialogue. A Relation Refinement Gate (RRG) is then designed to extract relation-specific semantic representation in an adaptive manner. Experiments on the DialogRE dataset show that SimpleRE achieves the best performance, with much shorter training time. Further, SimpleRE outperforms all direct baselines on sentence-level RE without using external resources.


title: Disembodiment of arbitrary number of properties in quantum Cheshire cat experiment

abstract: The quantum Cheshire cat is an effect demonstrated within the framework of weak measurement aided with post-selection scenario where the property (say, grin) of a quantum particle (the cat) can be found in a spatially separated location from its position. In this work, we first propose interesting variants of quantum Cheshire cat where disembodiment of two different properties of a `cat' is demonstrated, so that, the \emph{grin} and the \emph{meowing} of it can be found in two different paths on an interferometer while the cat is in another path. We further extend this proposal for three-qutrit and $d$-qudit systems of a single particle. We provide sketches of the experimental proposals for testing our scheme by using the path, spin and energy degrees of freedoms of a single neutron and the path, polarization and orbital angular momentum of a single photon.


title: Interference experiment, anomalous weak value and Leggett-Garg test of macrorealism

abstract: Macrorealism is a classical world view asserting that the properties of macro-objects exist independently and irrespective of observation. One practical approach to test this view in quantum theory is to observe the quantum coherence for macro-object in an interference experiment. An elegant and conceptually appealing approach for testing the notion of macrorealism in quantum theory is through the violation of Leggett-Garg inequality. However, a conclusive Leggett-Garg test hinges on how the non-invasive measurability criteria is guaranteed in an experiment and remains a debated issue till date. In this work, we connect the practical and the conceptual approaches for testing the macrorealism through the weak value. We argue that whenever quantum effect is observed in an interference experiment there is an existence of anomalous weak value. Further, we demonstrate that whenever such weak value exists, one obtains the violation of a Leggett-Garg inequality in any interference experiment. Since the system itself serves as apparatus in a path-only interference experiment, one cannot salvage the macrorealism by abandoning the non-invasive measurability assumption. We provide a rigorous discussion about the assumptions involved in Leggett-Garg scenario and how our scheme fits into it. Further, using the quasiprobability approach we explain how non-invasive measurability condition is satisfied in our scheme.


title: Device-independent certification of Hilbert space dimension using a family of Bell expressions

abstract: Dimension witness provides a device-independent certification of the minimal dimension required to reproduce the observed data without imposing assumptions on the functioning of the devices used to generate the experimental statistics. In this paper, we provide a family of Bell expressions where Alice and Bob perform $2^{n-1}$ and $n$ number of dichotomic measurements respectively which serve as the device-independent dimension witnesses of Hilbert space of $2^{m}$ dimensions with $m=1,2..2^{\lfloor n/2\rfloor}$. The family of Bell expressions considered here determines the success probability of a communication game known as $n$-bit parity-oblivious random access code. The parity obliviousness constraint is equivalent to preparation non-contextuality assumption in an ontological model of an operational theory. For any given $n\geq 3$, if such a constraint is imposed on the encoding scheme of the random-access code, then the local bound of the Bell expression reduces to the preparation non-contextual bound. We provide explicit examples for $n=4,5$ case to demonstrate that the relevant Bell expressions certify the qubit and two-qubit system, and for $n=6$ case, the relevant Bell expression certifies the qubit, two-qubit and three-qubit systems. We further demonstrate the sharing of quantum preparation contextuality by multiple Bobs sequentially to examine whether number of Bobs sharing the preparation contextuality is dependent on the dimension of the system. We provide explicit example of $n=5$ and $6$ to demonstrate that number of Bobs sequentially sharing the contextuality remains same for any of the $2^{m}$ dimensional systems.


title: PeV-EeV neutrinos from gamma-ray blazars due to ultrahigh-energy cosmic-ray propagation

abstract: Blazars are potential candidates of cosmic-ray acceleration up to ultrahigh energies ($E\gtrsim10^{18}$ eV). For an efficient cosmic-ray injection from blazars, $p\gamma$ collisions with the extragalactic background light (EBL) and cosmic microwave background (CMB) can produce neutrino spectrum peaks near PeV and EeV energies, respectively. We analyze the contribution of these neutrinos to the diffuse background measured by the IceCube neutrino observatory. The fraction of neutrino luminosity originating from individual redshift ranges is calculated using the distribution of BL Lacs and FSRQs provided in the \textit{Fermi}-LAT 4LAC catalog. Furthermore, we use a luminosity dependent density evolution to find the neutrino flux from unresolved blazars. The results obtained in our model indicate that as much as $\approx10\%$ of the flux upper bound at a few PeV energies can arise from cosmic-ray interactions on EBL. The same interactions will also produce secondary electrons and photons, initiating electromagnetic cascades. The resultant photon spectrum is limited by the isotropic diffuse $\gamma$-ray flux measured between 100 MeV and 820 GeV. The latter, together with the observed cosmic-ray flux at $E>10^{16.5}$ eV, can constrain the baryonic loading factor depending on the maximum cosmic-ray acceleration energy.


title: Semi-device independent randomness certification using Mermin's proof of Kochen-Specker contextuality

abstract: Randomness is a potential resource for cryptography, simulations and algorithms. Non-local correlations violating Bell's inequality certify the generation of bit strings whose randomness is guaranteed in a device-independent manner. We provide interesting semi-device independent randomness certification protocols by Kochen-Specker (KS) contextuality. For this, we first cast the Mermin's magic-square proof of KS contextuality for two-qubit system as a semi-device independent communication game in prepare-measure scenario. This provides a semi-device independent certification of two-bit of randomness. Further, by using Mermin's magic-star proof of KS theorem involving three-qubit system, we certify three-bit of randomness. We conjecture that our proposals can be extended to certify any arbitrary bit of randomness through a suitable KS proof of contextuality valid for higher dimensional system.


title: Blowup dynamics for smooth equivariant solutions to energy critical Landau-Lifschitz flow

abstract: In this paper, we study the energy critical 1-equivariant Landau-Lifschitz flow mapping $\mathbb{R}^2$ to $\mathbb{S}^2$ with arbitrary given coefficients $\rho_1\in \mathbb{R}$, $\rho_2>0$. We prove that there exists a codimension one smooth well-localized set of initial data arbitrarily close to the ground state which generates type-II finite-time blowup solutions, and give a precise description of the corresponding singularity formation. In our proof, both the Schr\"odinger part and the heat part play important roles in the construction of approximate solutions and the mixed energy/Morawetz functional. However, the blowup rate is independent of the coefficients.


title: L$\ddot{u}$der rule, von Neumann rule and Cirelson's bound of Bell CHSH inequality

abstract: In [PRL, 113, 050401 (2014)] the authors have shown that instead of L$\ddot{u}$der rule, if degeneracy breaking von Neumann projection rule is adopted for state reduction, the quantum value of three-time Leggett-Garg inequality can exceed it's L$\ddot{u}$ders bound. Such violation of L$\ddot{u}$ders bound may even approach algebraic maximum of the inequality in the asymptotic limit of system size. They also claim that for Clauser-Horne-Shimony-Holt (CHSH) inequality such violation of L$\ddot{u}$ders bound (known as Cirelson's bound) cannot be obtained even when the measurement is performed sequentially first by Alice followed by Bob. In this paper, we have shown that if von Neumann projection rule is used, quantum bound of CHSH inequality exceeds it's Cirelson's bound and may also reach its algebraic maximum four. This thus provide a strong objection regarding the viability of von Neumann rule as a valid state reduction rule. Further, we pointed out that the violation of Cirelson's bound occurs due to the injection of additional quantum non-locality by the act of implementing von Neumann measurement rule.


title: Two definitions of maximally $\psi$-epistemic ontological model and preparation non-contextuality

abstract: An ontological model is termed as maximally $\psi$-epistemic if the overlap between any two quantum states is fully accounted for by the overlap of their respective probability distributions of ontic states. However, in literature, there exists the two different mathematical definitions (termed here as 1M$\psi$E and 2M$\psi$E) that capture the equivalent notion of maximal $\psi$-epistemicity. In this work, we provide three theorems to critically examine the connections between preparation non-contextuality and the aforementioned two definitions of maximal $\psi$- epistemicity. In Theorem-1, we provide a simple and direct argument of an existing proof to demonstrate that the mixed state preparation non-contextuality implies the first definition of maximal $\psi$-epistemicity. In Theorem-2, we prove that the second definition of maximal $\psi$-epistemicity implies pure-state preparation non-contextuality. If both the definitions capture the equivalent notion of maximal $\psi$-epistemicity then from the aforementioned two theorems one infers that the mixed-state preparation non-contextuality implies pure-state preparation non-contextuality. But, in Theorem-3, we demonstrate that the mixed-state preparation non-contextuality in an ontological model implies pure-state contextuality and vice-versa. This leads one to conclude that 1M$\psi$E and 2M$\psi$E capture inequivalent notion of maximal $\psi$-epistemicity. The implications of our results and their connections to other no-go theorems are discussed.


title: Universal Approximation Theorem for Equivariant Maps by Group CNNs

abstract: Group symmetry is inherent in a wide variety of data distributions. Data processing that preserves symmetry is described as an equivariant map and often effective in achieving high performance. Convolutional neural networks (CNNs) have been known as models with equivariance and shown to approximate equivariant maps for some specific groups. However, universal approximation theorems for CNNs have been separately derived with individual techniques according to each group and setting. This paper provides a unified method to obtain universal approximation theorems for equivariant maps by CNNs in various settings. As its significant advantage, we can handle non-linear equivariant maps between infinite-dimensional spaces for non-compact groups.


title: Some conditions from a finite regular semigroup to a finite inverse semigroup

abstract: In 1978, Munn proved that a bounded complex representation of an inverse semigroup is semiunitary and completely reducible. We consider the converse question in the finite case. We provide some sufficient conditions from a finite regular semigroup to a finite inverse semigroup.


title: Approximate and Strategyproof Maximin Share Allocation of Chores with Ordinal Preferences

abstract: We initiate the work on maximin share (MMS) fair allocation of m indivisible chores to n agents using only their ordinal preferences, from both algorithmic and mechanism design perspectives. The previous best-known approximation is 2-1/n by Aziz et al. [IJCAI 2017]. We improve this result by giving a simple deterministic 5/3-approximation algorithm that determines an allocation sequence of agents, according to which items are allocated one by one. By a tighter analysis, we show that for n=2,3, our algorithm achieves better approximation ratios, and is actually optimal. We also consider the setting with strategic agents, where agents may misreport their preferences to manipulate the outcome. We first provide a O(\log (m/n))-approximation consecutive picking algorithm, and then improve the approximation ratio to O(\sqrt{\log n}) by a randomized algorithm. Our results uncover some interesting contrasts between the approximation ratios achieved for chores versus goods.


title: Assumption-Lean Analysis of Cluster Randomized Trials in Infectious Diseases for Intent-to-Treat Effects and Network Effects

abstract: Cluster randomized trials (CRTs) are a popular design to study the effect of interventions in infectious disease settings. However, standard analysis of CRTs primarily relies on strong parametric methods, usually mixed-effect models to account for the clustering structure, and focuses on the overall intent-to-treat (ITT) effect to evaluate effectiveness. The paper presents two assumption-lean methods to analyze two types of effects in CRTs, ITT effects and network effects among well-known compliance groups. For the ITT effects, we study the overall and the heterogeneous ITT effects among the observed covariates where we do not impose parametric models or asymptotic restrictions on cluster size. For the network effects among compliance groups, we propose a new bound-based method that uses pre-treatment covariates, classification algorithms, and a linear program to obtain sharp bounds. A key feature of our method is that the bounds can become narrower as the classification algorithm improves and the method may also be useful for studies of partial identification with instrumental variables. We conclude by reanalyzing a CRT studying the effect of face masks and hand sanitizers on transmission of 2008 interpandemic influenza in Hong Kong.


title: Profinite groups with many elements of bounded order

abstract: L\'evai and Pyber proposed the following as a conjecture: Let $G$ be a profinite group such that the set of solutions of the equation $x^n=1$ has positive Haar measure. Then $G$ has an open subgroup $H$ and an element $t$ such that all elements of the coset $tH$ have order dividing $n$ (see Problem 14.53 of [The Kourovka Notebook, No. 19, 2019]). \\ We define a constant $c_n$ for all finite groups and prove that the latter conjecture is equivalent with a conjecture saying $c_n<1$. Using the latter equivalence we observe that correctness of L\'evai and Pyber conjecture implies the existence of the universal upper bound $\frac{1}{1-c_n}$ on the index of generalized Hughes-Thompson subgroup $H_n$ of finite groups whenever it is non-trivial. It is known that the latter is widely open even for all primes $n=p\geq 5$. For odd $n$ we also prove that L\'evai and Pyber conjecture is equivalent to show that $c_n$ is less than $1$ whenever $c_n$ is only computed on finite solvable groups. \\ The validity of the conjecture has been proved in [Arch. Math. (Basel) 75 (2000) 1-7] for $n=2$. Here we confirm the conjecture for $n=3$.


title: Minimal mass blow-up solutions for nonlinear Schr\"{o}dinger equations with an inverse potential

abstract: We consider the following nonlinear Schr\"{o}dinger equation with an inverse potential: \[ i\frac{\partial u}{\partial t}+\Delta u+|u|^{\frac{4}{N}}u\pm\frac{1}{|x|^{2\sigma}}u=0 \] in $\mathbb{R}^N$. From the classical argument, the solution with subcritical mass ($\|u\|_2<\|Q\|_2$) is global and bounded in $H^1(\mathbb{R}^N)$. Here, $Q$ is the ground state of the mass-critical problem. Therefore, we are interested in the existence and behaviour of blow-up solutions for the threshold ($\left\|u_0\right\|_2=\left\|Q\right\|_2$). Previous studies investigate the existence and behaviour of the critical-mass blow-up solution when the potential is smooth or unbounded but algebraically tractable. There exist no results when classical methods can not be used, such as the inverse power type potential. However, we construct a critical-mass initial value for which the corresponding solution blows up in finite time. Moreover, we show that the corresponding blow-up solution converges to a certain blow-up profile in virial space.


title: Asymptotic stability of planar rarefaction waves for 3-d isentropic Navier-Stokes equations under periodic perturbations

abstract: We study the asymptotic stability of a planar rarefaction wave (in the $ x_1 $- direction) for the 3-d isentropic Navier-Stokes equations, where the initial perturbation is periodic on the torus $ \mathbb{T}^3 $ with zero average. To solve this Cauchy problem in which the initial data is periodic with respect to only $ x_2 $ and $ x_3 $ but not to $ x_1, $ we construct a suitable ansatz carrying the oscillations of the solution in the $ x_1 $- direction, but remaining to be periodic in the transverse $ x_2 $- and $ x_3 $- directions. In such a way, the difference between the ansatz and the solution can be integrable on the region $ \mathbb{R}\times\mathbb{T}^2, $ which allows us to utilize the energy method with the aid of a Gagliardo-Nirenberg type inequality on $ \mathbb{R}\times\mathbb{T}^2 $ to prove the result.


title: Undecidability in quantum thermalization

abstract: The investigation of thermalization in isolated quantum many-body systems has a long history, dating back to the time of developing statistical mechanics. Most quantum many-body systems in nature are considered to thermalize, while some never achieve thermal equilibrium. The central problem is to clarify whether a given system thermalizes, which has been addressed previously, but not resolved. Here, we show that this problem is undecidable. The resulting undecidability even applies when the system is restricted to one-dimensional shift-invariant systems with nearest-neighbour interaction, and the initial state is a fixed product state. We construct a family of Hamiltonians encoding dynamics of a reversible universal Turing machine, where the fate of a relaxation process changes considerably depending on whether the Turing machine halts. Our result indicates that there is no general theorem, algorithm, or systematic procedure determining the presence or absence of thermalization in any given Hamiltonian.

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


title: Undecidability of the fate of relaxation in one-dimensional quantum systems

abstract: We investigate the relaxation dynamics in an isolated quantum many-body system. The stationary value of an observable after relaxation is a topic of researches in the field of quantum thermalization, since thermalization is a relaxation phenomena where this stationary value coincides with the equilibrium value. Therefore, computing the stationary value in quantum many-body systems is regarded as an important problem. We, however, prove that the stationary value in quantum many-body systems is incomputable. More precisely, we show that whether the stationary value is in the vicinity of a given value or not is an undecidable problem. Our undecidable result is still satisfied when we restrict our system to a one-dimensional shift-invariant system with nearest-neighbor interaction, our initial state to a product state of a state on a single site, and our observable to a shift-sum of a one-body observable. This result clearly shows that there is no general theorem or procedure to decide the presence or absence of thermalization in a given quantum many-body system.


title: Federated Unlearning

abstract: Federated learning (FL) has recently emerged as a promising distributed machine learning (ML) paradigm. Practical needs of the "right to be forgotten" and countering data poisoning attacks call for efficient techniques that can remove, or unlearn, specific training data from the trained FL model. Existing unlearning techniques in the context of ML, however, are no longer in effect for FL, mainly due to the inherent distinction in the way how FL and ML learn from data. Therefore, how to enable efficient data removal from FL models remains largely under-explored. In this paper, we take the first step to fill this gap by presenting FedEraser, the first federated unlearning methodology that can eliminate the influence of a federated client's data on the global FL model while significantly reducing the time used for constructing the unlearned FL model.The basic idea of FedEraser is to trade the central server's storage for unlearned model's construction time, where FedEraser reconstructs the unlearned model by leveraging the historical parameter updates of federated clients that have been retained at the central server during the training process of FL. A novel calibration method is further developed to calibrate the retained updates, which are further used to promptly construct the unlearned model, yielding a significant speed-up to the reconstruction of the unlearned model while maintaining the model efficacy. Experiments on four realistic datasets demonstrate the effectiveness of FedEraser, with an expected speed-up of $4\times$ compared with retraining from the scratch. We envision our work as an early step in FL towards compliance with legal and ethical criteria in a fair and transparent manner.


title: Adaptive Graph-based Generalized Regression Model for Unsupervised Feature Selection

abstract: Unsupervised feature selection is an important method to reduce dimensions of high dimensional data without labels, which is benefit to avoid ``curse of dimensionality'' and improve the performance of subsequent machine learning tasks, like clustering and retrieval. How to select the uncorrelated and discriminative features is the key problem of unsupervised feature selection. Many proposed methods select features with strong discriminant and high redundancy, or vice versa. However, they only satisfy one of these two criteria. Other existing methods choose the discriminative features with low redundancy by constructing the graph matrix on the original feature space. Since the original feature space usually contains redundancy and noise, it will degrade the performance of feature selection. In order to address these issues, we first present a novel generalized regression model imposed by an uncorrelated constraint and the $\ell_{2,1}$-norm regularization. It can simultaneously select the uncorrelated and discriminative features as well as reduce the variance of these data points belonging to the same neighborhood, which is help for the clustering task. Furthermore, the local intrinsic structure of data is constructed on the reduced dimensional space by learning the similarity-induced graph adaptively. Then the learnings of the graph structure and the indicator matrix based on the spectral analysis are integrated into the generalized regression model. Finally, we develop an alternative iterative optimization algorithm to solve the objective function. A series of experiments are carried out on nine real-world data sets to demonstrate the effectiveness of the proposed method in comparison with other competing approaches.


title: Segment Distribution around the Center of Gravity of a Triangular Polymer

abstract: The segment distribution around the center of gravity is investigated for a special comb polymer (triangular polymer) having the side chains of the same generation number, $g$, as the main backbone. Common to all the other polymers, the radial mass distribution is expressed as the sum of the distribution functions for the end-to-end vectors, $\{\vec{r}_{Gh}\}$, from the center of gravity to the monomers on the $h$th generation; the result being, for a large $g$, \begin{equation} \varphi_{\text{triang}}(s)=\frac{1}{N}\left\{\sum_{h=1}^{g}\left(\frac{d}{2\pi\left\langle r_{Gh}^{2}\right\rangle}\right)^{\frac{d}{2}}\text{Exp}\left(-\frac{d}{2\left\langle r_{Gh}^{2}\right\rangle}s^2\right)+\sum_{h=2}^{g}\sum_{j=1}^{g-h}\left(\frac{d}{2\pi\left\langle r_{Gh_{j}}^{2}\right\rangle}\right)^{\frac{d}{2}}\text{Exp}\left(-\frac{d}{2\left\langle r_{Gh_{j}}^{2}\right\rangle}s^2\right)\right\}\notag \end{equation} It is found that the mean square of the radius of gyration varies as $\left\langle s_{N}^{2}\right\rangle_{0}\doteq\frac{7}{15}\,g\,l^{2}$, as $g\rightarrow\infty$. Since $g\propto \sqrt{N}$ for the triangular polymer, this leads to $\left\langle s_{N}^{2}\right\rangle_{0}^{1/2}\propto N^{1/4}$, giving the same exponent as observed for the randomly branched polymer. On the basis of the present result, we put forth that all the known polymers obey the equality: $\left\langle s_{N}^{2}\right\rangle_{0}=A\, g\,l^{2}$, where $A$ is a polymer-species-dependent coefficient and also depends on the choice of the root monomer. We discuss the extension of this empirical equation.


title: Layer Decomposition Learning Based on Gaussian Convolution Model and Residual Deblurring for Inverse Halftoning

abstract: Layer decomposition to separate an input image into base and detail layers has been steadily used for image restoration. Existing residual networks based on an additive model require residual layers with a small output range for fast convergence and visual quality improvement. However, in inverse halftoning, homogenous dot patterns hinder a small output range from the residual layers. Therefore, a new layer decomposition network based on the Gaussian convolution model (GCM) and structure-aware deblurring strategy is presented to achieve residual learning for both the base and detail layers. For the base layer, a new GCM-based residual subnetwork is presented. The GCM utilizes a statistical distribution, in which the image difference between a blurred continuous-tone image and a blurred halftoned image with a Gaussian filter can result in a narrow output range. Subsequently, the GCM-based residual subnetwork uses a Gaussian-filtered halftoned image as input and outputs the image difference as residual, thereby generating the base layer, i.e., the Gaussian-blurred continuous-tone image. For the detail layer, a new structure-aware residual deblurring subnetwork (SARDS) is presented. To remove the Gaussian blurring of the base layer, the SARDS uses the predicted base layer as input and outputs the deblurred version. To more effectively restore image structures such as lines and texts, a new image structure map predictor is incorporated into the deblurring network to induce structure-adaptive learning. This paper provides a method to realize the residual learning of both the base and detail layers based on the GCM and SARDS. In addition, it is verified that the proposed method surpasses state-of-the-art methods based on U-Net, direct deblurring networks, and progressively residual networks.


title: Variational Formulas of Asymptotic Variance for General Discrete-time Markov Chains

abstract: The asymptotic variance is an important criterion to evaluate the performance of Markov chains, especially for the central limit theorems. We give the variational formulas for the asymptotic variance of discrete-time (non-reversible) Markov chains on general state space. The variational formulas provide many applications, extending the classical Peskun's comparison theorem to non-reversible Markov chains, and obtaining several comparison theorems between Markov chains with various perturbations.


title: Detection of the hard X-ray non-thermal emission from Kepler's supernova remnant

abstract: We report the first robust detection of the hard X-ray emission in the 15--30\,keV band from Kepler's supernova remnant with the silicon PIN-type semiconductor detector of the hard X-ray detector (HXD-PIN) onboard Suzaku. The detection significance is 7.17 $\sigma$ for the emission from Kepler's entire X-ray emitting region. The energy spectrum is found to be well reproduced by a single power-law function with a photon index of $3.13^{+1.85+0.69}_{-1.52-0.36}$, where the first and second errors represent 90\%-statistical and systematic errors, respectively. The X-ray flux is determined to be 2.75$_{-0.77-0.82}^{+0.78+0.81}\times10^{-12}$\,erg\,s$^{-1}$\,cm$^{-2}$ in the 15--30\,keV band. The wider-band X-ray spectrum in the 3--30\,keV band, where the soft X-ray Suzaku/XIS spectrum is combined, shows that the non-thermal component does not have a significant X-ray roll-off structure. We find that the broad-band energy spectrum from the radio band, X-ray data of this work, and TeV upper limits can be reproduced with the one-zone leptonic model with a roll-off energy of $\nu_{\mathrm{roll}}=1.0\times10^{17}$\,Hz and magnetic field strength of $B>40\,\mathrm{\mu G}$. Application of the diagnostic method using indices in the soft and hard X-ray band to the data indicates that the maximum energy of the accelerated electrons in Kepler's SNR is limited by the age of the remnant. The indication is consistent with the results of the one-zone leptonic modeling.


title: Microscopic origin of immiscibility and segregation in liquid binary alloys

abstract: Microscopic description in the study of immiscibility and segregating properties of liquid metallic binary alloys has gained a renewed scientific and technological interests during the last eight years for the physicists, metallurgists and chemists. Especially, in understanding the basic mechanisms, from the point of interionic interaction, and how and why segregation in some metallic alloys takes place at and under certain thermodynamic state specified by temperature and pressure. An overview of the theoretical and experimental works done by different authors or groups in the area of segregation combining electronic theory of metals, statistical mechanics and the perturbative approach is presented in this review. Main attention in this review is focused on the static effects such as the effects of energy of mixing, enthalpy of mixing, entropy of mixing and understanding the critical behaviour of segregation of alloys from the microscopic theoretical approach. Investigation of segregating properties from the dynamic effects such as from the effects of shear viscosity and diffusion coefficient is just becoming available. However, we have restricted this review only on static effects and their variation of impacts on different alloys.


title: On WL-rank and WL-dimension of some Deza circulant graphs

abstract: The WL-rank of a digraph $\Gamma$ is defined to be the rank of the coherent configuration of $\Gamma$. The WL-dimension of $\Gamma$ is defined to be the smallest positive integer $m$ for which $\Gamma$ is identified by the $m$-dimensional Weisfeiler-Leman algorithm. We classify the Deza circulant graphs of WL-rank $4$. In additional, it is proved that each of these graphs has WL-dimension at most $3$. Finally, we establish that some families of Deza circulant graphs have WL-rank $5$ or $6$ and WL-dimension at most $3$.


title: Packing of mixed hyperarborescences with flexible roots via matroid intersection

abstract: Given a mixed hypergraph $\mathcal{F}=(V,\mathcal{A}\cup \mathcal{E})$, functions $f,g:V\rightarrow \mathbb{Z}_+$ and an integer $k$, a packing of $k$ spanning mixed hyperarborescences is called $(k,f,g)$-flexible if every $v \in V$ is the root of at least $f(v)$ and at most $g(v)$ of the mixed hyperarborescences. We give a characterization of the mixed hypergraphs admitting such packings. This generalizes results of Frank and, more recently, Gao and Yang. Our approach is based on matroid intersection, generalizing a construction of Edmonds. We also obtain an algorithm for finding a minimum weight solution to the above mentioned problem.


title: Federated Block Coordinate Descent Scheme for Learning Global and Personalized Models

abstract: In federated learning, models are learned from users' data that are held private in their edge devices, by aggregating them in the service provider's "cloud" to obtain a global model. Such global model is of great commercial value in, e.g., improving the customers' experience. In this paper we focus on two possible areas of improvement of the state of the art. First, we take the difference between user habits into account and propose a quadratic penalty-based formulation, for efficient learning of the global model that allows to personalize local models. Second, we address the latency issue associated with the heterogeneous training time on edge devices, by exploiting a hierarchical structure modeling communication not only between the cloud and edge devices, but also within the cloud. Specifically, we devise a tailored block coordinate descent-based computation scheme, accompanied with communication protocols for both the synchronous and asynchronous cloud settings. We characterize the theoretical convergence rate of the algorithm, and provide a variant that performs empirically better. We also prove that the asynchronous protocol, inspired by multi-agent consensus technique, has the potential for large gains in latency compared to a synchronous setting when the edge-device updates are intermittent. Finally, experimental results are provided that corroborate not only the theory, but also show that the system leads to faster convergence for personalized models on the edge devices, compared to the state of the art.


title: LCCNet: LiDAR and Camera Self-Calibration using Cost Volume Network

abstract: In this paper, we propose a novel online self-calibration approach for Light Detection and Ranging (LiDAR) and camera sensors. Compared to the previous CNN-based methods that concatenate the feature maps of the RGB image and decalibrated depth image, we exploit the cost volume inspired by the PWC-Net for feature matching. Besides the smooth L1-Loss of the predicted extrinsic calibration parameters, an additional point cloud loss is applied. Instead of regress the extrinsic parameters between LiDAR and camera directly, we predict the decalibrated deviation from initial calibration to the ground truth. During inference, the calibration error decreases further with the usage of iterative refinement and the temporal filtering approach. The evaluation results on the KITTI dataset illustrate that our approach outperforms CNN-based state-of-the-art methods in terms of a mean absolute calibration error of 0.297cm in translation and 0.017{\deg} in rotation with miscalibration magnitudes of up to 1.5m and 20{\deg}.


title: A regularity result for the bound states of $N$-body Schr\"odinger operators: Blow-ups and Lie manifolds

abstract: We prove regularity estimates in weighted Sobolev spaces for the $L^2$-eigenfunctions of Schr\"odinger type operators whose potentials have inverse square singularities and uniform radial limits at infinity. In particular, the usual $N$-body Hamiltonians with Coulomb-type singular potentials are covered by our result: in that case, the weight is $\delta_{\mathcal{F}}(x) := \min \{ d(x, \bigcup \mathcal{F}), 1\}$, where $d(x, \bigcup \mathcal{F})$ is the usual euclidean distance to the union $\bigcup\mathcal{F}$ of the set of collision planes $\bigcup\mathcal{F}$. The proof is based on blow-ups of manifolds with corners and Lie manifolds. More precisely, we start with the radial compactification $\overline{X}$ of the underlying space $X$ and we first blow-up the spheres $\mathbb{S}_Y \subset \mathbb{S}_X$ at infinity of the collision planes $Y \in \bigcup\mathcal{F}$ to obtain the Georgescu-Vasy compactification. Then we blow-up the collision planes $\bigcup\mathcal{F}$. We carefully investigate how the Lie manifold structure and the associated data (metric, Sobolev spaces, differential operators) change with each blow-up. Our method applies also to higher order differential operators, to certain classes of pseudodifferential operators, and to matrices of scalar operators.


title: Exploring scalar-photon interactions in energetic astrophysical events

abstract: Scalar fields like dilaton appear in quantum field theory (QFT) due to scale symmetry breaking. Their appeal also extends to modified theories of gravity, like $F(R)$ gravity, Horva Lifshitz gravity etc. In unified theories they make their appearance through compactification of the extra dimension. Apart from resolving the issues of compactification scale and size, the particles of their fields can also turn out to be excellent candidate to solve the dark energy (DE) and dark matter (DM) problem of the universe. In this work we study their mixing dynamics with photons in a magnetized media, by incorporating the effect of parity violating part of the photon polarization tensor, evaluated in a finite density magnetized media. This piece, though in general is odd in the external magnetic field strength $eB$; in this work we however have retained terms to $O$($eB$). We are able to demonstrate in this work that, in magnetized medium a dilatonic scalar field $(\phi)$ can excite the two transverse degrees of freedom (DOF) of the photons. One due to direct coupling and the other indirectly through the parity violating term originating due to magnetized medium effects. This results in the mixing dynamics being governed by, $3\times 3$ mixing matrices. This mixing results in making the underlying media optically active. In this work we focus on the spectro-polarimetric imprints of these particles, on the spectra of the electromagnetic (EM) fields of Gamma Ray Bursters (GRB). Focusing on a range of parameters (i.e., magnetic field strength, plasma frequency $(\omega_{p})$, size of the magnetized volume, coupling strength to photons and their mass) we make an attempt to point out how space-borne detectors should be designed to optimise their detection possibility.

categories: astro-ph.HE cond-mat.other hep-ex hep-ph hep-th


title: Monte Carlo estimation of the solution of fractional partial differential equations

abstract: The paper is devoted to the numerical solutions of fractional PDEs based on its probabilistic interpretation, that is, we construct approximate solutions via certain Monte Carlo simulations. The main results represent the upper bound of errors between the exact solution and the Monte Carlo approximation, the estimate of the fluctuation via the appropriate central limit theorem(CLT) and the construction of confidence intervals. Moreover, we provide rates of convergence in the CLT via Berry-Esseen type bounds. Concrete numerical computations and illustrations are included.


title: Improving Opinion Spam Detection by Cumulative Relative Frequency Distribution

abstract: Over the last years, online reviews became very important since they can influence the purchase decision of consumers and the reputation of businesses, therefore, the practice of writing fake reviews can have severe consequences on customers and service providers. Various approaches have been proposed for detecting opinion spam in online reviews, especially based on supervised classifiers. In this contribution, we start from a set of effective features used for classifying opinion spam and we re-engineered them, by considering the Cumulative Relative Frequency Distribution of each feature. By an experimental evaluation carried out on real data from Yelp.com, we show that the use of the distributional features is able to improve the performances of classifiers.


title: Towards Reducing Energy Waste through Usage of External Communication of Autonomous Vehicles

abstract: Automated vehicles can implement strategies to drive with optimized fuel efficiency. Therefore, automated driving is seen as a major advancement in tackling climate change. However, with automated vehicles driving in cities and other areas rife with other road users such as human drivers, pedestrians, or cyclists, there is the potential for "stop-and-go" traffic. This would greatly diminish the possibility of automated vehicles to drive fuel-efficient. We suggest using external communication of automated vehicles to aid in ecological driving by providing clues to other road users to show the intent and therefore ultimately enable smoother traffic.


title: Low-mass and sub-stellar eclipsing binaries in stellar clusters

abstract: We highlight the importance of eclipsing double-line binaries in our understanding on star formation and evolution. We review the recent discoveries of low-mass and sub-stellar eclipsing binaries belonging to star-forming regions, open clusters, and globular clusters identified by ground-based surveys and space missions with high-resolution spectroscopic follow-up. These discoveries provide benchmark systems with known distances, metallicities, and ages to calibrate masses and radii predicted by state-of-the-art evolutionary models to a few percent. We report their density and discuss current limitations on the accuracy of the physical parameters. We discuss future opportunities and highlight future guidelines to fill gaps in age and metallicity to improve further our knowledge of low-mass stars and brown dwarfs.


title: Traversable wormholes with vanishing sound speed in $f(R)$ gravity

abstract: We derive exact traversable wormhole solutions in the framework of $f(R)$ gravity with no exotic matter and with stable conditions over the geometric fluid entering the throat. For this purpose, we propose power-law $f(R)$ models and two possible approaches for the shape function $b(r)/r$. The first approach makes use of an inverse power law function, namely $b(r)/r\sim r^{-1-\beta}$. The second one adopts Pad\'e approximants, used to characterize the shape function in a model-independent way. We single out the $P(0,1)$ approximant where the fluid perturbations are negligible within the throat, if the sound speed vanishes at $r=r_0$. The former guarantees an overall stability of the geometrical fluid into the wormhole. Finally we get suitable bounds over the parameters of the model for the above discussed cases. In conclusion, we find that small deviations from General Relativity give stable solutions.


title: On stable range one matrices

abstract: For 2 by 2 matrices over commutative rings, we prove a characterization theorem for left stable range 1 elements, we show that the stable range 1 property is left-right symmetric (also) at element level, we show that all matrices with one zero row (or zero column) over Bezout rings have stable range 1. Using diagonal reduction, we characterize all the 2 by 2 integral matrices which have stable range 1 and discuss additional properties including Jacobson Lemma for stable range 1 elements. Finally, we give an example of exchange stable range 1 integral 2 by 2 matrix which is not clean.


title: Crossover behaviours exhibited by fluctuations and correlations in a chain of active particles

abstract: We study motion of tagged particles in a harmonic chain of active particles. We consider three models of active particle dynamics - run and tumble particle, active Ornstein-Uhlenbeck particle and active Brownian particle. We investigate the variance, auto correlation, covariance and unequal time cross correlation of two tagged particles. For all three models, we observe that the mean squared displacement undergoes a crossover from the super-diffusive $\sim t^{\mu}$ scaling for $t \ll \tau_A$ ($\tau_A$ being the time scale arising due to the activity) to the sub-diffusive $\sim \sqrt{t}$ scaling for $t \gg \tau_A$, where $\mu = \frac{3}{2}$ for RTP, $\mu = \frac{5}{2}$ for AOUP. For the $x$ and $y$-coordinates of ABPs we get $\mu=\frac{7}{2}$ and $\mu=\frac{5}{2}$ respectively. We show that these crossover behaviours in each case can be described by appropriate crossover function that connects these two scaling regimes. We compute these crossover functions explicitly. In addition, we also find that the equal and unequal time auto and cross correlations obey interesting scaling forms in the appropriate limits of the observation time $t$. The associated scaling functions are rigorously derived in all cases. All our analytical results are well supported by the numerical simulations.


title: Impact of electrostatic fields in layered crystalline BCS superconductors

abstract: Motivated by recent experiments reporting the suppression of the critical current in superconducting Dayem bridges by the application of strong electrostatic fields, in this work we study the impact on the superconducting gap of charge redistribution in response to an applied electric field in thin crystalline metals. By numerically solving the BCS gap equation and the Poisson equation in a fully self-consistent way, we find that by reducing the pairing strength we observe an increased sensitivity of the gap on the applied field, showing sudden rises and falls that are compatible with surface modifications of the local density of states. The effect is washed out by increasing the pairing strength towards the weak-to-moderate coupling limit or by introduction of a weak smearing in the density of states, showing the evolution from a clean crystal to a weakly disordered metal.


title: Exploring Emotion Features and Fusion Strategies for Audio-Video Emotion Recognition

abstract: The audio-video based emotion recognition aims to classify a given video into basic emotions. In this paper, we describe our approaches in EmotiW 2019, which mainly explores emotion features and feature fusion strategies for audio and visual modality. For emotion features, we explore audio feature with both speech-spectrogram and Log Mel-spectrogram and evaluate several facial features with different CNN models and different emotion pretrained strategies. For fusion strategies, we explore intra-modal and cross-modal fusion methods, such as designing attention mechanisms to highlights important emotion feature, exploring feature concatenation and factorized bilinear pooling (FBP) for cross-modal feature fusion. With careful evaluation, we obtain 65.5% on the AFEW validation set and 62.48% on the test set and rank third in the challenge.


title: Multiple orthogonal polynomials with respect to Gauss' hypergeometric function

abstract: A new set of multiple orthogonal polynomials of both type I and type II with respect to two weight functions involving Gauss' hypergeometric function on the interval $(0,1)$ is studied. This type of polynomials have direct applications in the investigation of singular values of products of Ginibre matrices, in the analysis of rational solutions to Painlev\'e equations and are connected with branched continued fractions and total positivity problems in combinatorics. The pair of orthogonality measures is shown to be a Nikishin system and to satisfy a matrix Pearson-type differential equation. The focus is on the polynomials whose indexes lie on the step line, for which it is shown that differentiation on the variable gives a shift on the parameters, therefore satisfying Hahn's property. We obtain a Rodrigues-type formula for type I, while a more detailed characterisation is given for the type II polynomials (aka $2$-orthogonal polynomials) which include: an explicit expression as a terminating hypergeometric series, a third-order differential equation, and a third-order recurrence relation. The asymptotic behaviour of their recurrence coefficients mimics those of Jacobi-Pi\~neiro polynomials, based on which, their zero asymptotic distribution and a Mehler-Heine asymptotic formula near the origin are given. Particular choices on the parameters degenerate in some known systems such as special cases of the Jacobi-Pi\~neiro polynomials, Jacobi-type $2$-orthogonal polynomials, and components of the cubic decomposition of threefold symmetric Hahn-classical polynomials. Equally considered are confluence relations to other known polynomial sets, such as multiple orthogonal polynomials with respect to Tricomi functions.


title: Microwave spectroscopy of spin-orbit coupled states: energy detuning versus interdot coupling modulation

abstract: We study the AC field induced current peaks of a spin blockaded double quantum dot with spin-orbit interaction. The AC field modulates either the interdot tunnel coupling or the energy detuning, and we choose the AC field frequency range to induce two singlet-triplet transitions giving rise to two current peaks. We show that for a large detuning the two current peaks can be significantly stronger when the AC field modulates the tunnel coupling, thus making the detection of the spin-orbit gap more efficient. We also demonstrate the importance of the time dependence of the spin-orbit interaction.


title: SG-Net: Syntax Guided Transformer for Language Representation

abstract: Understanding human language is one of the key themes of artificial intelligence. For language representation, the capacity of effectively modeling the linguistic knowledge from the detail-riddled and lengthy texts and getting rid of the noises is essential to improve its performance. Traditional attentive models attend to all words without explicit constraint, which results in inaccurate concentration on some dispensable words. In this work, we propose using syntax to guide the text modeling by incorporating explicit syntactic constraints into attention mechanisms for better linguistically motivated word representations. In detail, for self-attention network (SAN) sponsored Transformer-based encoder, we introduce syntactic dependency of interest (SDOI) design into the SAN to form an SDOI-SAN with syntax-guided self-attention. Syntax-guided network (SG-Net) is then composed of this extra SDOI-SAN and the SAN from the original Transformer encoder through a dual contextual architecture for better linguistics inspired representation. The proposed SG-Net is applied to typical Transformer encoders. Extensive experiments on popular benchmark tasks, including machine reading comprehension, natural language inference, and neural machine translation show the effectiveness of the proposed SG-Net design.


title: A note on connected greedy edge colouring

abstract: Following a given ordering of the edges of a graph $G$, the greedy edge colouring procedure assigns to each edge the smallest available colour. The minimum number of colours thus involved is the chromatic index $\chi'(G)$, and the maximum is the so-called Grundy chromatic index. Here, we are interested in the restricted case where the ordering of the edges builds the graph in a connected fashion. Let $\chi_c'(G)$ be the minimum number of colours involved following such an ordering. We show that it is NP-hard to determine whether $\chi_c'(G)>\chi'(G)$. We prove that $\chi'(G)=\chi_c'(G)$ if $G$ is bipartite, and that $\chi_c'(G)\leq 4$ if $G$ is subcubic.


title: Reducing the $H_0$ Tension with Exponential Acoustic Dark Energy

abstract: The Hubble tension arises from different observations between the late-time and early Universe. We explore a new model with dark fluid, called the exponential Acoustic Dark Energy (eADE) model, to relieve the Hubble tension. The eADE model gives an exponential form of the equation of state (EoS) in the acoustic dark energy, which is the first time to explore an exponential form for the EoS. In this model, the gravitational effects from the acoustic oscillations of the model can impact the CMB phenomena at the matter radiation equally epoch. We give the constraints of the eADE model by the current cosmological dataset. The comparison of the phenomena with the standard model can be shown through CMB and matter power spectra. The fitting results of our model have $H_0 = 70.06^{+1.13}_{-1.09}$ in 95$\%$ C.L. and a smaller best-fit value than $\Lambda$CDM.


title: Point-defects assisted Zn-diffusion in AlGaInP/GaInP systems during the MOVPE growth of inverted multijunction solar cells

abstract: We investigate the dynamics of Zn diffusion in MOVPE-grown AlGaInP/GaInP systems by the comparison of different structures that emulate the back-surface field (BSF) and base layers of a GaInP subcell integrated into an inverted multijunction solar cell structure. Through the analysis of secondary ion mass spectroscopy (SIMS), electrochemical capacitance-voltage (ECV) and spectrally resolved cathodoluminescence (CL) measurements, we provide experimental evidence that 1) the Zn diffusion is enhanced by point defects injected during the growth of the tunnel junction cathode layer; 2) the intensity of the process is determined by the cathode doping level and it happens for different cathode materials; 3) the mobile Zn is positively charged and 4) the diffusion mechanism reduces the CuPt ordering in GaInP. We demonstrate that using barrier layers the diffusion of point defects can be mitigated, so that they do not reach Zn-doped layers, preventing its diffusion. Finally, the impact of Zn diffusion on solar cells with different Zn-profiles is evaluated by comparing the electrical I-V curves at different concentrations. The results rule out the introduction of internal barriers in the BSF but illustrate how Zn diffusion under typical growth condition can reach the emitter and dramatically affect the series resistance, among other effects.


title: PatentMatch: A Dataset for Matching Patent Claims & Prior Art

abstract: Patent examiners need to solve a complex information retrieval task when they assess the novelty and inventive step of claims made in a patent application. Given a claim, they search for prior art, which comprises all relevant publicly available information. This time-consuming task requires a deep understanding of the respective technical domain and the patent-domain-specific language. For these reasons, we address the computer-assisted search for prior art by creating a training dataset for supervised machine learning called PatentMatch. It contains pairs of claims from patent applications and semantically corresponding text passages of different degrees from cited patent documents. Each pair has been labeled by technically-skilled patent examiners from the European Patent Office. Accordingly, the label indicates the degree of semantic correspondence (matching), i.e., whether the text passage is prejudicial to the novelty of the claimed invention or not. Preliminary experiments using a baseline system show that PatentMatch can indeed be used for training a binary text pair classifier on this challenging information retrieval task. The dataset is available online: https://hpi.de/naumann/s/patentmatch.


title: WHU-Hi: UAV-borne hyperspectral with high spatial resolution (H2) benchmark datasets for hyperspectral image classification

abstract: Classification is an important aspect of hyperspectral images processing and application. At present, the researchers mostly use the classic airborne hyperspectral imagery as the benchmark dataset. However, existing datasets suffer from three bottlenecks: (1) low spatial resolution; (2) low labeled pixels proportion; (3) low degree of subclasses distinction. In this paper, a new benchmark dataset named the Wuhan UAV-borne hyperspectral image (WHU-Hi) dataset was built for hyperspectral image classification. The WHU-Hi dataset with a high spectral resolution (nm level) and a very high spatial resolution (cm level), which we refer to here as H2 imager. Besides, the WHU-Hi dataset has a higher pixel labeling ratio and finer subclasses. Some start-of-art hyperspectral image classification methods benchmarked the WHU-Hi dataset, and the experimental results show that WHU-Hi is a challenging dataset. We hope WHU-Hi dataset can become a strong benchmark to accelerate future research.


title: Hawking--Page phase transitions of the black holes in a cavity

abstract: The Hawking--Page phase transitions of the Schwarzschild and charged black holes are investigated in an extended phase space, in which the black holes are enclosed in a spherical cavity of radius $r_B$ in asymptotically flat space. An effective thermodynamic volume $V=4\pi r_B^3/3$ is introduced for the black hole, and an effective pressure $p$ is defined as the conjugate variable of $V$. The phase transition temperature $T_{\rm HP}$ and the Gibbs free energy $G$ are systematically studied in a grand canonical ensemble with fixed electric potential $\Phi$, and $T_{\rm HP}$ is found to increase with $p$ and decrease with $\Phi$. If the phase transition occurs, $\Phi$ must have an upper bound, such that the cavity radius is always larger than the black hole horizon radius. These phase transition behaviors are further compared to those in the anti-de Sitter space, and the remarkable similarities and notable differences are also discussed in depth. Our work reveals the relationship of the thermodynamic properties of black holes and their specific boundary conditions in different extended phase spaces.


title: CP-violating Higgs Di-tau Decays: Baryogenesis and Higgs Factories

abstract: We demonstrate how probes of CP-violating observables in Higgs di-tau decays at prospective future lepton colliders could provide a test of weak scale baryogenesis with significant discovery potential. Measurements at the Circular Electron Positron Collider, for example, could exclude a CP phase larger than $2.9^\circ$ ($5.6^\circ$) at 68% (95%) C.L. assuming the Standard Model value for magnitude of the tau lepton Yukawa coupling. Conversely, this sensitivity would allow for a $5\,\sigma$ discovery for 82% of the CP phase range $[0,2\pi)$. The reaches of the Future Circular Collider - ee and International Linear Collider are comparable. As a consequence, future lepton colliders could establish the presence of CP violation required by lepton flavored electroweak baryogenesis with at least $3\,\sigma$ sensitivity. Our results illustrate that Higgs factories are not just precision machines but can also make $\mathcal O(1)$ measurement of the new physics beyond the Standard Model.


title: A Downlink Puncturing Scheme for Simultaneous Transmission of URLLC and eMBB Traffic by Exploiting Data Similarity

abstract: Ultra Reliable and Low Latency Communications (URLLC) is deemed to be an essential service in 5G systems and beyond to accommodate a wide range of emerging applications with stringent latency and reliability requirements. Coexistence of URLLC alongside other service categories calls for developing spectrally efficient multiplexing techniques. Specifically, coupling URLLC and conventional enhanced Mobile BroadBand (eMBB) through superposition/puncturing naturally arises as a promising option due to the tolerance of the latter in terms of latency and reliability. The idea here is to transmit URLLC packets over resources occupied by ongoing eMBB transmissions while minimizing the impact on the eMBB transmissions. In this paper, we propose a novel downlink URLLC-eMBB multiplexing technique that exploits possible similarities among URLLC and eMBB symbols, with the objective of reducing the size of the punctured eMBB symbols. We propose that the base station scans the eMBB traffic' symbol sequences and punctures those that have the highest symbol similarity with that of the URLLC users to be served. As the eMBB and URLLC may use different constellation sizes, we introduce the concept of symbol region similarity to accommodate the different constellations. We assess the performance of the proposed scheme analytically, where we derive closed-form expressions for the symbol error rate (SER) of the eMBB and URLLC services. {We also derive an expression for the eMBB loss function due to puncturing in terms of the eMBB SER}. We demonstrate through numerical and simulation results the efficacy of the proposed scheme where we show that 1) the eMBB spectral efficiency is improved by puncturing fewer symbols, 2) the SER and reliability performance of eMBB are improved, and 3) the URLLC data is accommodated within the specified delay constraint while maintaining its reliability.


title: Adaptive schemes for piecewise deterministic Monte Carlo algorithms

abstract: The Bouncy Particle sampler (BPS) and the Zig-Zag sampler (ZZS) are continuous time, non-reversible Monte Carlo methods based on piecewise deterministic Markov processes. Experiments show that the speed of convergence of these samplers can be affected by the shape of the target distribution, as for instance in the case of anisotropic targets. We propose an adaptive scheme that iteratively learns all or part of the covariance matrix of the target and takes advantage of the obtained information to modify the underlying process with the aim of increasing the speed of convergence. Moreover, we define an adaptive scheme that automatically tunes the refreshment rate of the BPS or ZZS. We prove ergodicity and a law of large numbers for all the proposed adaptive algorithms. Finally, we show the benefits of the adaptive samplers with several numerical simulations.


title: Certified Quantum Computation in Isabelle/HOL

abstract: In this article we present an ongoing effort to formalise quantum algorithms and results in quantum information theory using the proof assistant Isabelle/HOL. Formal methods being critical for the safety and security of algorithms and protocols, we foresee their widespread use for quantum computing in the future. We have developed a large library for quantum computing in Isabelle based on a matrix representation for quantum circuits, successfully formalising the no-cloning theorem, quantum teleportation, Deutsch's algorithm, the Deutsch-Jozsa algorithm and the quantum Prisoner's Dilemma. We discuss the design choices made and report on an outcome of our work in the field of quantum game theory.


title: A multi-state model incorporating estimation of excess hazards and multiple time scales

abstract: As cancer patient survival improves, late effects from treatment are becoming the next clinical challenge. Chemotherapy and radiotherapy, for example, potentially increase the risk of both morbidity and mortality from second malignancies and cardiovascular disease. To provide clinically relevant population-level measures of late effects, it is of importance to (1) simultaneously estimate the risks of both morbidity and mortality, (2) partition these risks into the component expected in the absence of cancer and the component due to the cancer and its treatment, and (3) incorporate the multiple time scales of attained age, calendar time, and time since diagnosis. Multi-state models provide a framework for simultaneously studying morbidity and mortality, but do not solve the problem of partitioning the risks. However, this partitioning can be achieved by applying a relative survival framework, by allowing is to directly quantify the excess risk. This paper proposes a combination of these two frameworks, providing one approach to address (1)-(3). Using recently developed methods in multi-state modeling, we incorporate estimation of excess hazards into a multi-state model. Both intermediate and absorbing state risks can be partitioned and different transitions are allowed to have different and/or multiple time scales. We illustrate our approach using data on Hodgkin lymphoma patients and excess risk of diseases of the circulatory system, and provide user-friendly Stata software with accompanying example code.


title: White dwarf stars in modified gravity

abstract: A few questions related to white dwarfs' physics is posed. It seems that the modified gravity framework can be a good starting point to provide alternative explanations to cooling processes, their age determination, and Chandrasekhar mass limits. Moreover, we have also obtained the Chandrasekhar limit coming from Palatini $f(\mathcal{R})$ gravity provided by a simple Lane-Emden model.