title: Exploring deep learning methods for recognizing rare diseases and their clinical manifestations from texts

abstract: Although rare diseases are characterized by low prevalence, approximately 300 million people are affected by a rare disease. The early and accurate diagnosis of these conditions is a major challenge for general practitioners, who do not have enough knowledge to identify them. In addition to this, rare diseases usually show a wide variety of manifestations, which might make the diagnosis even more difficult. A delayed diagnosis can negatively affect the patient's life. Therefore, there is an urgent need to increase the scientific and medical knowledge about rare diseases. Natural Language Processing (NLP) and Deep Learning can help to extract relevant information about rare diseases to facilitate their diagnosis and treatments. The paper explores the use of several deep learning techniques such as Bidirectional Long Short Term Memory (BiLSTM) networks or deep contextualized word representations based on Bidirectional Encoder Representations from Transformers (BERT) to recognize rare diseases and their clinical manifestations (signs and symptoms) in the RareDis corpus. This corpus contains more than 5,000 rare diseases and almost 6,000 clinical manifestations. BioBERT, a domain-specific language representation based on BERT and trained on biomedical corpora, obtains the best results. In particular, this model obtains an F1-score of 85.2% for rare diseases, outperforming all the other models.


title: On Cogenerating and Finitely cogenerated S-acts

abstract: In this paper, cogenerating classes of $S$-acts are introduced as those that can be used to cogenerate $S$-acts in an appropriate sense. Next, finitely cogenerated $S$-acts are introduced. Such an $S$-act is then characterized as one whose socle is finitely cogenerated and large in it. Further, we investigate the $S$-acts cogenerating $S_S$, or generating the injective envelope $E(S)$ of $S_S$. This leads us to introduce the classes of cofaithful and subgenerator $S$-acts as the dual notions of faithful $S$-acts, lying strictly between the classes of generator and faithful $S$-acts. Ultimately, we investigate the relationship between the mentioned classes of $S$-acts.


title: Unifying an asymmetric bounce to the dark energy in Chern-Simons F(R) gravity

abstract: We propose a cosmological scenario in which the universe undergoes through a non-singular bounce, and after the bounce, it decelerates having a matter-like dominated evolution during some regime of the deceleration era, and finally at the present epoch it evolves through an accelerating stage. Our aim is to study such evolution in the context of Chern-Simons corrected F(R) gravity theory and confront the model with various observational data. Using the reconstruction technique, and in addition by employing suitable boundary conditions, we determine the form of F(R) for the entire possible range of the cosmic time. The form of F(R) seems to unify a non-singular bounce with a dark energy epoch, in particular, from a non-singular bounce to a deceleration epoch and from a deceleration epoch to a late time acceleration era. It is important to mention that the bouncing scenario in the present context is an asymmetric bounce, in particular, the Hubble radius monotonically increases and asymptotically diverges at the late contracting era, while it seems to decrease with time at the present epoch. Such evolution of the Hubble radius leads to the primordial perturbation modes generate at the deep contracting era when all the perturbation modes lie within the horizon. We calculate the scalar and tensor power spectra, and as a result, the primordial observables are found to be in agreement with the latest Planck 2018 constraints. In this regard, the Chern-Simons term seems to have considerable effects on the tensor perturbation evolution, however keeping intact the scalar part of the perturbation with that of in the case of a vacuum F(R) model, and as a result, the Chern-Simons term proves to play an important role in making the observable quantities consistent with the Planck results. Furthermore the theoretical expectation of the dark energy observables are confronted with the Planck+SNe+BAO data.


title: A perturbative expansion scheme for supermembrane and matrix theory

abstract: We reconsider the supermembrane in a Minkowski background and in the light-cone gauge as a one-dimensional gauge theory of area preserving diffeomorphisms (APDs). Keeping the membrane tension $T$ as an independent parameter we show that $T$ is proportional to the square of the gauge coupling $g$ of this gauge theory, such that the small (large) tension limit of the supermembrane corresponds to the weak (strong) coupling limit of the APD gauge theory and its SU$(N)$ matrix model approximation. A perturbative linearization of the supersymmetric theory suitable for a quantum mechanical path-integral treatment can be achieved by formulating a Nicolai map for the matrix model, which we work out explicitly to ${\cal O}(g^4)$. The corresponding formulae remain well-defined in the limit $N{\to}\infty$; this result relies on a cancellation of infinities not present for the bosonic membrane, indicating that the $N{\to}\infty$ limit does not exist for the purely bosonic matrix model. Furthermore we show that the map has improved convergence properties in comparison with the usual perturbative expansions because its Jacobian admits an expansion in $g$ with a non-zero radius of convergence. Possible implications for unsolved issues with the matrix model of M theory are also mentioned.


title: A survey on IQA

abstract: Image quality assessment(IQA) is of increasing importance for image-based applications. Its purpose is to establish a model that can replace humans for accurately evaluating image quality. According to whether the reference image is complete and available, image quality evaluation can be divided into three categories: full-reference(FR), reduced-reference(RR), and non-reference(NR) image quality assessment. Due to the vigorous development of deep learning and the widespread attention of researchers, several non-reference image quality assessment methods based on deep learning have been proposed in recent years, and some have exceeded the performance of reduced -reference or even full-reference image quality assessment models. This article will review the concepts and metrics of image quality assessment and also video quality assessment, briefly introduce some methods of full-reference and semi-reference image quality assessment, and focus on the non-reference image quality assessment methods based on deep learning. Then introduce the commonly used synthetic database and real-world database. Finally, summarize and present challenges.


title: The Popularity-Homophily Index: A new way to measure Homophily in Directed Graphs

abstract: In networks, the well-documented tendency for people with similar characteristics to form connections is known as the principle of homophily. Being able to quantify homophily into a number has a significant real-world impact, ranging from government fund-allocation to finetuning the parameters in a sociological model. This paper introduces the Popularity-Homophily Index (PH Index) as a new metric to measure homophily in directed graphs. The PH Index takes into account the popularity of each actor in the interaction network, with popularity precalculated with an importance algorithm like Google PageRank. The PH Index improves upon other existing measures by weighting a homophilic edge leading to an important actor over a homophilic edge leading to a less important actor. The PH Index can be calculated not only for a single node in a directed graph but also for the entire graph. This paper calculates the PH Index of two sample graphs and concludes with an overview of the strengths and weaknesses of the PH Index, and its potential applications in the real world.


title: Path-integral approach to the thermodynamics of bosons with memory: Partition function and specific heat

abstract: For a system of bosons that interact through a class of general memory kernels, a recurrence relation for the partition function is derived within the path-integral formalism. This approach provides a generalization to previously known treatments in the literature of harmonically coupled systems of identical particles. As an example the result is applied to the specific heat of a simplified model of an open quantum system of bosons, harmonically coupled to a reservoir of distinguishable fictitious masses.


title: Path-integral approach to the thermodynamics of bosons with memory: Density and correlation functions

abstract: Expanding upon previous work, using the path-integral formalism we derive expressions for the one-particle reduced density matrix and the two-point correlation function for a quadratic system of bosons that interact through a general class of memory kernels. The results are applied to study the density, condensate fraction and pair correlation function of trapped bosons harmonically coupled to external distinguishable masses.


title: Inequalities and limits of weighted spectral geometric mean

abstract: We establish some new properties of spectral geometric mean. In particular, we prove a log majorization relation between $\left(B^{ts/2}A^{(1-t)s}B^{ts/2} \right)^{1/s}$ and the $t$-spectral mean $A\natural_t B :=(A^{-1}\sharp B)^{t}A(A^{-1}\sharp B)^{t}$ of two positive semidefinite matrices $A$ and $B$, where $A\sharp B$ is the geometric mean, and the $t$-spectral mean is the dominant one. The limit involving $t$-spectral mean is also studied. We then extend all the results in the context of symmetric spaces of negative curvature.


title: Triplon current generation in solids

abstract: A triplon refers to a fictitious particle that carries angular momentum $S = 1$ corresponding to the elementary excitation in a broad class of quantum dimerized spin systems. Such systems without magnetic order have long been studied as a testing ground for quantum properties of spins. Although triplons have been found to play a central role in thermal and magnetic properties in dimerized magnets with singlet correlation, a spin angular momentum flow carried by triplons, a triplon current, has not been detected yet. Here we report spin Seebeck effects induced by a triplon current: triplon spin Seebeck effect, using a spin-Peierls system CuGeO$_3$. The result shows that the heating-driven triplon transport induces spin current whose sign is positive, opposite to the spin-wave cases in magnets. The triplon spin Seebeck effect persists far below the spin-Peierls transition temperature, being consistent with a theoretical calculation for triplon spin Seebeck effects.


title: Twisted version of Strong openness property in $L^p$

abstract: In this article, we present a twisted version of strong openness property in $L^p$ with applications.


title: Outage Analysis and Beamwidth Optimization for Positioning-Assisted Beamforming

abstract: Conventional beamforming is based on channel estimation, which can be computationally intensive and inaccurate when the antenna array is large. In this work, we study the outage probability of positioning-assisted beamforming systems. Closed-form outage probability bounds are derived by considering positioning error, link distance and beamwidth. Based on the analytical result, we show that the beamwidth should be optimized with respect to the link distance and the transmit power, and such optimization significantly suppresses the outage probability.


title: The development of an educational software for aircraft flight mechanics calculations

abstract: Due to its versatility and low cost, the use of unmanned aerial vehicles has been rapidly spreading in recent years, in applications ranging form military operations, to land mapping, rescuing of lost people, aiding of natural disaster victims and many others. To properly design and operate such a vehicle, it is necessary to know its flight mechanics in the various stages of the flight. Despite the fact that the physic behind the analysis of an aircraft's flight mechanics is well known and purely based on Classical Mechanics, the large quantity of input and output data involved favors the use of a computational toll. This work presents the development of a toolbox called APT (Aircraft Performance Toolbox), able to make preliminary aircraft flight mechanics calculations regarding its performance. To achieve this goal, a number of Matlab scripts were created to perform the calculations, and a graphical interface was created to unify them and to allow the end-user to perform the analysis in a clear and intuitive way. To illustrate the potential of the toolbox, we use APT to in the analysis of an UAV meant to participate in the SAE Brasil AeroDesign competition of the year of 2014.


title: The University of California San Francisco Preoperative Diffuse Glioma MRI (UCSF-PDGM) Dataset

abstract: Here we present the University of California San Francisco Preoperative Diffuse Glioma MRI (UCSF-PDGM) dataset. The UCSF-PDGM dataset includes 500 subjects with histopathologically-proven diffuse gliomas who were imaged with a standardized 3 Tesla preoperative brain tumor MRI protocol featuring predominantly 3D imaging, as well as advanced diffusion and perfusion imaging techniques. The dataset also includes isocitrate dehydrogenase (IDH) mutation status for all cases and O6-methylguanine-DNA methyltransferase (MGMT) promotor methylation status for World Health Organization (WHO) grade III and IV gliomas. The UCSF-PDGM has been made publicly available in the hopes that researchers around the world will use these data to continue to push the boundaries of AI applications for diffuse gliomas.


title: Gravitoelectromagnetism and stellar orbits in galaxies

abstract: Beyond the Newtonian approximation, gravitational fields in general relativity can be described using a formalism known as gravitoelectromagnetism. In this formalism a vector potential, the gravitomagnetic potential, arises as a result of moving masses, in strong analogy with the magnetic force due to moving charges in Maxwell's theory. Gravitomagnetism can affect orbits in the gravitational field of a massive, rotating body. This raises the possibility that gravitomagnetism may serve as the dominant physics behind the anomalous rotation curves of spiral galaxies, eliminating the need for dark matter. In this essay, we methodically work out the magnitude of the gravitomagnetic equivalent of the Lorentz force and apply the result to the Milky Way. We find that the resulting contribution is too small to produce an observable effect on these orbits. We also investigate the impact of cosmological boundary conditions on the result and find that these, too, are negligible.


title: Gravitationally decoupled strange star model beyond standard maximum mass limit in Einstein-Gauss-Bonnet gravity

abstract: The recent theoretical advance known as the Minimal Geometric Deformation (MGD) method has initiated a renewed interest in investigating higher curvature gravitational effects in relativistic astrophysics. In this work, we model a strange star within the context of Einstein-Gauss-Bonnet gravity with the help of the MGD technique. Starting off with the Tolman metric ansatz together with the MIT Bag model equation of state applicable to hadronic matter, anisotropy is introduced via the superposition of the seed source and the decoupled energy-momentum tensor. The solution of the governing systems of equations bifurcates into two distinct models, namely the mimicking of the $\theta$ sector to the seed radial pressure and energy density and a regular fluid model. Each of these models can be interpreted as self-gravitating static, compact objects with the exterior described by the vacuum Boulware-Deser solution. Utilizing observational data for three stellar candidates, viz., PSR J1614-2230, PSR J1903+317, and LMC X-4 we subject our solutions to rigorous viability tests based on regularity and stability. We find that the Einstein-Gauss-Bonnet parameter and the decoupling constant compete against each other for ensuring physically realizable stellar structures. The novel feature of work is the demonstration of stable compact objects with stellar masses in excess of $M= 2 M_{\odot}$ without appealing to exotic matter. The analysis contributes new insights and physical consequences concerning the development of ultra-compact astrophysical entities.


title: Can Decentralized Control Outperform Centralized? The Role of Communication Latency

abstract: In this paper, we examine the influence of communication latency on performance of networked control systems. Even though distributed control architectures offer advantages in terms of communication, maintenance costs, and scalability, it is an open question how communication latency that varies with network topology influences closed-loop performance. For networks in which delays increase with the number of links, we establish the existence of a fundamental performance trade-off that arises from control architecture. In particular, we utilize consensus dynamics with single- and double-integrator agents to show that, if delays increase fast enough, a sparse controller with nearest neighbor interactions can outperform the centralized one with all-to-all communication topology.


title: First Gadolinium Loading to Super-Kamiokande

abstract: In order to improve Super-Kamiokande's neutron detection efficiency and to thereby increase its sensitivity to the diffuse supernova neutrino background flux, 13 tons of $\rm Gd_2(\rm SO_4)_3\cdot \rm 8H_2O$ (gadolinium sulfate octahydrate) was dissolved into the detector's otherwise ultrapure water from July 14 to August 17, 2020, marking the start of the SK-Gd phase of operations. During the loading, water was continuously recirculated at a rate of 60 m$^3$/h, extracting water from the top of the detector and mixing it with concentrated $\rm Gd_2(\rm SO_4)_3\cdot \rm 8H_2O$ solution to create a 0.02% solution of the Gd compound before injecting it into the bottom of the detector. A clear boundary between the Gd-loaded and pure water was maintained through the loading, enabling monitoring of the loading itself and the spatial uniformity of the Gd concentration over the 35 days it took to reach the top of the detector. During the subsequent commissioning the recirculation rate was increased to 120 m$^3$/h, resulting in a constant and uniform distribution of Gd throughout the detector and water transparency equivalent to that of previous pure-water operation periods. Using an Am-Be neutron calibration source the mean neutron capture time was measured to be $115\pm1$ $\mu$s, which corresponds to a Gd concentration of $111\pm2$ ppm, as expected for this level of Gd loading. This paper describes changes made to the water circulation system for this detector upgrade, the Gd loading procedure, detector commissioning, and the first neutron calibration measurements in SK-Gd.


title: Interaction driven giant thermopower in magic-angle twisted bilayer graphene

abstract: Magic-angle twisted bilayer graphene (MtBLG) has proven to be an extremely promising new platform to realize and study a host of emergent quantum phases arising from the strong correlations in its narrow bandwidth flat band. In this regard, thermal transport phenomena like thermopower, in addition to being coveted technologically, is also sensitive to the particle-hole (PH) asymmetry, making it a crucial tool to probe the underlying electronic structure of this material. We have carried out thermopower measurements of MtBLG as a function of carrier density, temperature and magnetic field, and report the observation of an unusually large thermopower reaching up to a value as high as $\sim \bf{100\mu V/K}$ at a low temperature of 1K. Surprisingly, our observed thermopower exhibiting peak-like features in close correspondence to the resistance peaks around the integer Moire fillings, including the Dirac Point, violating the Mott formula. %Surprisingly, our observed thermopower exhibits peak-like features in close correspondence to the resistance peaks around the integer Moire fillings, including the Dirac Point, which completely violates the Mott formula. We show that the large thermopower peaks and their %non-monotonic dependence with temperature and magnetic field associated behaviour arise from the emergent highly PH asymmetric electronic structure due to the cascade of Dirac revivals. Furthermore, the thermopower shows an anomalous peak around the superconducting transition on the hole side and points towards the possible role of enhanced superconducting fluctuations in MtBLG.


title: Anderson localization in fractional quantum Hall effect

abstract: The interplay between interaction and disorder-induced localization is of fundamental interest. This article addresses localization physics in the fractional quantum Hall state, where both interaction and disorder have nonperturbative consequences. We provide compelling theoretical evidence that the localization of a single quasiparticle of the fractional quantum Hall state at filling factor $\nu=n/(2n+1)$ has a striking {\it quantitative} correspondence to the localization of a single electron in the $(n+1)$th Landau level. By analogy to the dramatic experimental manifestations of Anderson localization in integer quantum Hall effect, this leads to predictions in the fractional quantum Hall regime regarding the existence of extended states at a critical energy, and the nature of the divergence of the localization length as this energy is approached. Within a mean field approximation these results can be extended to situations where a finite density of quasiparticles is present.


title: ConRPG: Paraphrase Generation using Contexts as Regularizer

abstract: A long-standing issue with paraphrase generation is how to obtain reliable supervision signals. In this paper, we propose an unsupervised paradigm for paraphrase generation based on the assumption that the probabilities of generating two sentences with the same meaning given the same context should be the same. Inspired by this fundamental idea, we propose a pipelined system which consists of paraphrase candidate generation based on contextual language models, candidate filtering using scoring functions, and paraphrase model training based on the selected candidates. The proposed paradigm offers merits over existing paraphrase generation methods: (1) using the context regularizer on meanings, the model is able to generate massive amounts of high-quality paraphrase pairs; and (2) using human-interpretable scoring functions to select paraphrase pairs from candidates, the proposed framework provides a channel for developers to intervene with the data generation process, leading to a more controllable model. Experimental results across different tasks and datasets demonstrate that the effectiveness of the proposed model in both supervised and unsupervised setups.


title: Is cell segregation like oil and water: asymptotic versus transitory regime

abstract: Segregation of different cell types is a crucial process for the pattern formation in tissues, in particular during embryogenesis. Since the involved cell interactions are complex and difficult to measure individually in experiments, mathematical modelling plays an increasingly important role to unravel the mechanisms governing segregation. The analysis of these theoretical models focuses mainly on the asymptotic behavior at large times, in a steady regime and for large numbers of cells. Most famously, cell-segregation models based on the minimization of the total surface energy, a mechanism also driving the demixing of immiscible fluids, are known to exhibit asymptotically a particular algebraic scaling behavior. However, it is not clear, whether the asymptotic regime of the numerical models is relevant at the spatio-temporal scales of actual biological processes and in-vitro experiments. By developing a mapping between cell-based models and experimental settings, we are able to directly compare previous experimental data to numerical simulations of cell segregation quantitatively. We demonstrate that the experiments are reproduced by the transitory regime of the models rather than the asymptotic one. Our work puts a new perspective on previous model-driven conclusions on cell segregation mechanisms.


title: Synthesis and Characterization of the Ternary Nitride Semiconductor Zn$_2$VN$_3$: Theoretical Prediction, Combinatorial Screening and Epitaxial Stabilization

abstract: Computationally guided high-throughput synthesis is used to explore the Zn-V-N phase space, resulting in the synthesis of a novel ternary nitride Zn$_2$VN$_3$. Following a combinatorial PVD screening, we isolate the phase and synthesize polycrystalline Zn$_2$VN$_3$ thin films with wurtzite structure on conventional borosilicate glass substrates. In addition, we demonstrate that cation-disordered, but phase-pure (002)-textured, Zn$_2$VN$_3$ thin films can be grown using epitaxial stabilization on {\alpha}-Al2O3 (0001) substrates at remarkably low growth temperatures well below 200 {\deg}C. The structural properties and phase composition of the Zn$_2$VN$_3$ films are studied in detail using XRD and (S)TEM techniques. The composition as well as chemical state of the constituent elements are studied using RBS/ERDA as well as XPS/HAXPES methods. These analyses reveal a stoichiometric material with no oxygen contamination, besides a thin surface oxide. We find that Zn$_2$VN$_3$ is a weakly-doped p-type semiconductor demonstrating broadband room-temperature photoluminescence spanning the range between 2 eV and 3 eV. In addition, the electronic properties can be tuned over a wide range via isostructural alloying on the cation site, making this a promising material for optoelectronic applications.


title: Quasiparticle band structures of bulk and few-layer PdSe2 from first-principles GW calculations

abstract: We performed first-principles density functional theory (DFT) and GW calculations to investigate electronic structures of bulk and few-layer PdSe2. We obtained the quasiparticle band structure of bulk PdSe2, and the obtained energy gap agrees excellently with the reported experimental value. For monolayer and bilayer PdSe2, we obtained quasiparticle band structures with respect to the vacuum level. We analyzed DFT and GW band structures in detail, finding k-space positions of valence band maxima and conduction band minima, effective masses, the quasiparticle density of states, work functions, ionization potentials, electron affinities, and k-space shapes of electron and hole pockets. These results provide a foundation for development of basic studies and device applications.


title: Search for Continuous Gravitational Wave Signals in Pulsar Timing Residuals: A New Scalable Approach with Diffusive Nested Sampling

abstract: Detecting continuous nanohertz gravitational waves (GWs) generated by individual close binaries of supermassive black holes (CB-SMBHs) is one of the primary objectives of pulsar timing arrays (PTAs). The detection sensitivity is slated to increase significantly as the number of well-timed millisecond pulsars will increase by more than an order of magnitude with the advent of next-generation radio telescopes. Currently, the Bayesian analysis pipeline using parallel tempering Markov chain Monte Carlo has been applied in multiple studies for CB-SMBH searches, but it may be challenged by the high dimensionality of the parameter space for future large-scale PTAs. One solution is to reduce the dimensionality by maximizing or marginalizing over uninformative parameters semi-analytically, but it is not clear whether this approach can be extended to more complex signal models without making overly simplified assumptions. Recently, the method of diffusive nested (DNest) sampling shown the capability of coping with high dimensionality and multimodality effectively in Bayesian analysis. In this paper, we apply DNest to search for continuous GWs in simulated pulsar timing residuals and find that it performs well in terms of accuracy, robustness, and efficiency for a PTA including $\mathcal{O}(10^2)$ pulsars. DNest also allows a simultaneous search of multiple sources elegantly, which demonstrates its scalability and general applicability. Our results show that it is convenient and also high beneficial to include DNest in current toolboxes of PTA analysis.


title: Memory Augmented Multi-Instance Contrastive Predictive Coding for Sequential Recommendation

abstract: The sequential recommendation aims to recommend items, such as products, songs and places, to users based on the sequential patterns of their historical records. Most existing sequential recommender models consider the next item prediction task as the training signal. Unfortunately, there are two essential challenges for these methods: (1) the long-term preference is difficult to capture, and (2) the supervision signal is too sparse to effectively train a model. In this paper, we propose a novel sequential recommendation framework to overcome these challenges based on a memory augmented multi-instance contrastive predictive coding scheme, denoted as MMInfoRec. The basic contrastive predictive coding (CPC) serves as encoders of sequences and items. The memory module is designed to augment the auto-regressive prediction in CPC to enable a flexible and general representation of the encoded preference, which can improve the ability to capture the long-term preference. For effective training of the MMInfoRec model, a novel multi-instance noise contrastive estimation (MINCE) loss is proposed, using multiple positive samples, which offers effective exploitation of samples inside a mini-batch. The proposed MMInfoRec framework falls into the contrastive learning style, within which, however, a further finetuning step is not required given that its contrastive training task is well aligned with the target recommendation task. With extensive experiments on four benchmark datasets, MMInfoRec can outperform the state-of-the-art baselines.


title: Decentralized Collaborative Video Caching in 5G Small-Cell Base Station Cellular Networks

abstract: We consider the problem of video caching across a set of 5G small-cell base stations (SBS) connected to each other over a high-capacity short-delay back-haul link, and linked to a remote server over a long-delay connection. Even though the problem of minimizing the overall video delivery delay is NP-hard, the Collaborative Caching Algorithm (CCA) that we present can efficiently compute a solution close to the optimal, where the degree of sub-optimality depends on the worst case video-to-cache size ratio. The algorithm is naturally amenable to distributed implementation that requires zero explicit coordination between the SBSs, and runs in $O(N + K \log K)$ time, where $N$ is the number of SBSs (caches) and $K$ the maximum number of videos. We extend CCA to an online setting where the video popularities are not known a priori but are estimated over time through a limited amount of periodic information sharing between SBSs. We demonstrate that our algorithm closely approaches the optimal integral caching solution as the cache size increases. Moreover, via simulations carried out on real video access traces, we show that our algorithm effectively uses the SBS caches to reduce the video delivery delay and conserve the remote server's bandwidth, and that it outperforms two other reference caching methods adapted to our system setting.


title: Transverse spectral instability in generalized Kadomtsev-Petviashvili equation

abstract: We study transverse stability and instability of one-dimensional small-amplitude periodic traveling waves of a generalized Kadomtsev-Petviashvili equation with respect to two-dimensional perturbations, which are either periodic or square-integrable in the direction of the propagation of the underlying one-dimensional wave and periodic in the transverse direction. We obtain transverse instability results in KP-fKdV, KP-ILW, and KP-Whitham equations. Moreover, assuming the spectral stability of one-dimensional wave with respect to one-dimensional square-integrable periodic perturbations, we obtain transverse stability results in aforementioned equations.


title: The second Bogolyubov theorem and global averaging principle for SPDEs with monotone coefficients

abstract: In this paper, we establish the second Bogolyubov theorem and global averaging principle for stochastic partial differential equations (in short, SPDEs) with monotone coefficients. Firstly, we prove that there exists a unique $L^{2}$-bounded solution to SPDEs with monotone coefficients and this bounded solution is globally asymptotically stable in square-mean sense. Then we show that the $L^{2}$-bounded solution possesses the same recurrent properties (e.g. periodic, quasi-periodic, almost periodic, almost automorphic, Birkhoff recurrent, Levitan almost periodic, etc.) in distribution sense as the coefficients. Thirdly, we prove that the recurrent solution of the original equation converges to the stationary solution of averaged equation under the compact-open topology as the time scale goes to zero--in other words, there exists a unique recurrent solution to the original equation in a neighborhood of the stationary solution of averaged equation when the time scale is small. Finally, we establish the global averaging principle in weak sense, i.e. we show that the attractor of original system tends to that of the averaged equation in probability measure space as the time scale goes to zero. For illustration of our results, we give two applications, including stochastic reaction diffusion equations and stochastic generalized porous media equations.


title: Subregion Spectrum Form Factor via Pseudo Entropy

abstract: We introduce a subsystem generalization of the spectral form factor via pseudo entropy, the von-Neumann entropy for the reduced transition matrix. We consider a transition matrix between the thermofield double state and its time-evolved state in two-dimensional conformal field theories, and study the time-dependence of the pseudo entropy for a single interval. We show that the real part of the pseudo entropy behaves similarly to the spectral form factor; it starts from the thermal entropy, initially drops to the minimum, then it starts increasing, and finally approaches the vacuum entanglement entropy. We also study the theory-dependence of its behavior by considering theories on a compact space.

categories: hep-th cond-mat.stat-mech cond-mat.str-el quant-ph


title: Memory Based Video Scene Parsing

abstract: Video scene parsing is a long-standing challenging task in computer vision, aiming to assign pre-defined semantic labels to pixels of all frames in a given video. Compared with image semantic segmentation, this task pays more attention on studying how to adopt the temporal information to obtain higher predictive accuracy. In this report, we introduce our solution for the 1st Video Scene Parsing in the Wild Challenge, which achieves a mIoU of 57.44 and obtained the 2nd place (our team name is CharlesBLWX).


title: ImageTBAD: A 3D Computed Tomography Angiography Image Dataset for Automatic Segmentation of Type-B Aortic Dissection

abstract: Type-B Aortic Dissection (TBAD) is one of the most serious cardiovascular events characterized by a growing yearly incidence,and the severity of disease prognosis. Currently, computed tomography angiography (CTA) has been widely adopted for the diagnosis and prognosis of TBAD. Accurate segmentation of true lumen (TL), false lumen (FL), and false lumen thrombus (FLT) in CTA are crucial for the precise quantification of anatomical features. However, existing works only focus on only TL and FL without considering FLT. In this paper, we propose ImageTBAD, the first 3D computed tomography angiography (CTA) image dataset of TBAD with annotation of TL, FL, and FLT. The proposed dataset contains 100 TBAD CTA images, which is of decent size compared with existing medical imaging datasets. As FLT can appear almost anywhere along the aorta with irregular shapes, segmentation of FLT presents a wide class of segmentation problems where targets exist in a variety of positions with irregular shapes. We further propose a baseline method for automatic segmentation of TBAD. Results show that the baseline method can achieve comparable results with existing works on aorta and TL segmentation. However, the segmentation accuracy of FLT is only 52%, which leaves large room for improvement and also shows the challenge of our dataset. To facilitate further research on this challenging problem, our dataset and codes are released to the public.


title: Analytic natural gradient updates for Cholesky factor in Gaussian variational approximation

abstract: Natural gradients can improve convergence in stochastic variational inference significantly but inverting the Fisher information matrix is daunting in high dimensions. Moreover, in Gaussian variational approximation, natural gradient updates of the precision matrix do not ensure positive definiteness. To tackle this issue, we derive analytic natural gradient updates of the Cholesky factor of the covariance or precision matrix, and consider sparsity constraints representing different posterior correlation structures. Stochastic normalized natural gradient ascent with momentum is proposed for implementation in generalized linear mixed models and deep neural networks.


title: Clover: an Anonymous Transaction Relay Protocol for the Bitcoin P2P Network

abstract: The Bitcoin P2P network currently represents a reference benchmark for modern cryptocurrencies. Its underlying protocol defines how transactions and blocks are distributed through all participating nodes. To protect user privacy, the identity of the node originating a message is kept hidden. However, an adversary observing the whole network can analyze the spread pattern of a transaction to trace it back to its source. This is possible thanks to the so-called rumor centrality, which is caused by the symmetry in the spreading of gossip-like protocols. Recent works try to address this issue by breaking the symmetry of the Diffusion protocol, currently used in Bitcoin, and leveraging proxied broadcast. Nonetheless, the complexity of their design can be a barrier to their adoption in real life. In this work, we propose Clover, a novel transaction relay protocol that protects the source of transaction messages with a simple, yet effective, design. Compared to previous solutions, our protocol does not require building propagation graphs, and reduces the ability of the adversary to gain precision by opening multiple connections towards the same node. Experimental results show that the deanonymization accuracy of an eavesdropper adversary against Clover is up to 10 times smaller compared to Diffusion.


title: New Proofs of Extremal Inequalities With Applications

abstract: The extremal inequality approach plays a key role in network information theory problems. In this paper, we propose a novel monotone path construction in product probability space. The optimality of Gaussian distribution is then established by standard perturbation arguments. The proofs of Liu-Viswanath extremal and vector Generalization of Costa's entropy power inequality are illustrated into the unified framework. As applications, capacity region of the multiple-input multiple-output (MIMO) Gaussian broadcast channel and rate-distortion-equivocation function of the vector Gaussian secure source coding are revisited through our proposed extremal inequality approach.


title: A truncated mean-parameterised Conway-Maxwell-Poisson model for the analysis of Test match bowlers

abstract: Assessing the relative merits of sportsmen and women whose careers took place far apart in time via a suitable statistical model is a complex task as any comparison is compromised by fundamental changes to the sport and society and often handicapped by the popularity of inappropriate traditional metrics. In this work we focus on cricket and the ranking of Test match bowlers using bowling data from the first Test in 1877 onwards. A truncated, mean-parameterised Conway-Maxwell-Poisson model is developed to handle the under- and overdispersed nature of the data, which are in the form of small counts, and to extract the innate ability of individual bowlers. Inferences are made using a Bayesian approach by deploying a Markov Chain Monte Carlo algorithm to obtain parameter estimates and confidence intervals. The model offers a good fit and indicates that the commonly used bowling average is a flawed measure.


title: Twisted Neumann--Zagier matrices

abstract: The Neumann--Zagier matrices of an ideal triangulation are integer matrices with symplectic properties whose entries encode the number of tetrahedra that wind around each edge of the triangulation. They can be used as input data for the construction of a number of quantum invariants that include the loop invariants, the 3D-index and state-integrals. We define a twisted version of Neumann--Zagier matrices, describe their symplectic properties, and show how to compute them from the combinatorics of an ideal triangulation. As a sample application, we use them to define a twisted version of the 1-loop invariant (a topological invariant) which determines the 1-loop invariant of the cyclic covers of a hyperbolic knot complement, and conjecturally equals to the adjoint twisted Alexander polynomial.


title: The AdS^2_{\theta}/CFT_1 Correspondence and Noncommutative Geometry II: Noncommutative Quantum Black Holes

abstract: In this article we present the construction of noncommutative AdS^2_{\theta} black hole and its four-dimensional Yang-Mills IKKT-type matrix model which includes two competing Myers term one responsible for the condensation of pure AdS^2_{\theta} and the other one responsible for the condensation of the dilaton field. It is argued that the phase diagram of this matrix model features three phases: 1) A gravitational phase (AdS^2_{\theta} black hole), 2) A geometric phase (AdS^2_{\theta} background) and 3) A Yang-Mills phase. The Hawking process is therefore seen as an exotic line of discontinuous transitions between the gravitational and geometrical phases. Alternatively, a noncommutative non-linear sigma model describing the transition of the dilaton field between the gravitational and geometrical phases is also constructed.


title: Building a Legal Dialogue System: Development Process, Challenges and Opportunities

abstract: This paper presents key principles and solutions to the challenges faced in designing a domain-specific conversational agent for the legal domain. It includes issues of scope, platform, architecture and preparation of input data. It provides functionality in answering user queries and recording user information including contact details and case-related information. It utilises deep learning technology built upon Amazon Web Services (AWS) LEX in combination with AWS Lambda. Due to lack of publicly available data, we identified two methods including crowdsourcing experiments and archived enquiries to develop a number of linguistic resources. This includes a training dataset, set of predetermined responses for the conversational agent, a set of regression test cases and a further conversation test set. We propose a hierarchical bot structure that facilitates multi-level delegation and report model accuracy on the regression test set. Additionally, we highlight features that are added to the bot to improve the conversation flow and overall user experience.


title: A global space-time estimate for dispersive operators through its local estimate

abstract: We will show that a local space-time estimate implies a global space-time estimate for dispersive operators. In order for this implication we consider a Littlewood-Paley type square function estimate for dispersive operators in a time variable and a generalization of Tao's epsilon removal lemma in mixed norms. By applying this implication to the fractional Schrodinger equation in R^{2+1} we obtain the sharp global space-time estimates with optimal regularity from the previous known local ones.


title: Molecular properties from the explicitly connected expressions of the response functions within the coupled-cluster theory

abstract: We review the methods based on expectation value coupled cluster formalism - a common framework for the derivation of properties: the ground-state average value of an observable, cumulants of the second-order reduced density matrices, polarization propagator, quadratic response function, and transition probabilities. We discuss the approximations and give examples of the most important numerical results.


title: Synthesis and Anisotropic Magnetism in Quantum Spin Liquid Candidates $A$YbSe$_2$ ($A$ = K and Rb)

abstract: Quantum spin liquid (QSL) state in rare-earth triangular lattice has attracted much attention recently due to its potential application in quantum computing and communication. Here we report the single-crystal growth synthesis, crystal structure characterizations and magnetic properties of $A$YbSe$_{2}$ ($A$= K, Rb) compounds. The X-ray diffraction analysis shows that $A$YbSe$_{2}$ ($A$ = K and Rb) crystallizes in a trigonal space group, $R$-3$m$ (No. 166) with Z = 3. $A$YbSe$_{2}$ possesses a two-dimensional (2D) Yb-Se-Yb layered structure formed by edged-shared YbSe$_6$ octahedra. The magnetic properties are highly anisotropic for both title compounds and no long-range order is found down to 0.4 K, revealing the possible QSL ground state in these compounds. The isothermal magnetization exhibits one-third magnetization plateau when the magnetic fields are applied in $ab$-plane. Heat capacity is performed along both $ab$-plane and $c$-axis, and features the characteristic dome for triangular magnetic lattice compounds as a function of magnetic fields. Due to the change of the interlayer and intralayer distance of Yb$^{3+}$, the dome shifts to low fields from KYbSe$_2$ to RbYbSe$_2$. All these results indicate the $A$YbSe$_2$ family presents unique frustrated magnetism close to the possible QSL and noncolinear spin states.


title: Current fluctuations in nonequilibrium discontinuous phase transitions

abstract: Discontinuous phase transitions out of equilibrium can be characterized by the behavior of macroscopic stochastic currents. But while much is known about the the average current, the situation is much less understood for higher statistics. In this paper, we address the consequences of the diverging metastability lifetime -- a hallmark of discontinuous transitions -- in the fluctuations of arbitrary thermodynamic currents, including the entropy production. In particular, we center our discussion on the \emph{conditional} statistics, given which phase the system is in. We highlight the interplay between integration window and metastability lifetime, which is not manifested in the average current, but strongly influences the fluctuations. We introduce conditional currents and find, among other predictions, their connection to average and scaled variance through a finite-time version of Large Deviation Theory and a minimal model. Our results are then further verified in two paradigmatic models of discontinuous transitions: Schl\"ogl's model of chemical reactions, and a $12$-states Potts model subject to two baths at different temperatures.


title: Constraining the Cosmic Baryon Distribution with Fast Radio Burst Foreground Mapping

abstract: The dispersion measures (DM) of fast radio bursts (FRBs) encode the integrated electron density along the line-of-sight, which is typically dominated by the intergalactic medium (IGM) contribution in the case of extragalactic FRBs. In this paper, we show that incorporating wide-field spectroscopic galaxy survey data in the foreground of localized FRBs can significantly improve constraints on the partition of diffuse cosmic baryons. Using mock DMs and realistic lightcone galaxy catalogs derived from the Millennium simulation, we define spectroscopic surveys that can be carried out with 4m and 8m-class wide field spectroscopic facilities. On these simulated surveys, we carry out Bayesian density reconstructions in order to estimate the foreground matter density field. In comparison with the `true' matter density field, we show that these can help reduce the uncertainties in the foreground structures by $\sim 2-3\times$ compared to cosmic variance. We calculate the Fisher matrix to forecast that $N=30\: (96)$ localized FRBs should be able to constrain the diffuse cosmic baryon fraction to $\sim 10\%\: (\sim 5\%) $, and parameters governing the size and baryon fraction of galaxy circumgalactic halos to within $\sim 20-25\%\: (\sim 8-12\%)$. From the Fisher analysis, we show that the foreground data increases the sensitivity of localized FRBs toward our parameters of interest by $\sim 25\times$. We briefly introduce FLIMFLAM, an ongoing galaxy redshift survey that aims to obtain foreground data on $\sim 30$ localized FRB fields.


title: A novel non-adiabatic approach to transition crossing in a circular hadron accelerator

abstract: Crossing the transition energy is always a delicate process, representing a potential source of strong perturbations of the dynamics of charged particle beams in a hadron circular accelerator. Since the first generation of multi-GeV rings, intense studies have been devoted to understanding the possible harmful mechanisms involved in transition crossing and to devise mitigation measures. Nowadays, several circular particle accelerators are successfully operating across transition and this process is well mastered. In a completely different context, stable resonances of the traverse phase space have been proposed as new means of manipulating charged particle beams. While the original aim of such a proposal was multi-turn extraction from the CERN Proton Synchrotron to the Super Proton Synchrotron, many more applications have been proposed and studied in detail. In this paper, the two topics, i.e. transition crossing and stable resonances, have been brought together with the goal of providing a novel and non-adiabatic approach to perform a clean transition crossing. The idea presented here is that by judiciously using sextupoles and octupoles it is possible to generate stable islands of the horizontal phase space. These islands represent a second closed orbit whose properties can be selected independently of those of the standard, i.e. central, closed orbit. This provides a means of performing a non-adiabatic change of the transition energy experienced by the charged particles by displacing the beam between the two closed orbits.


title: Boolean proportions

abstract: The author has recently introduced an abstract algebraic framework of analogical proportions within the general setting of universal algebra. This paper studies analogical proportions in the boolean domain consisting of two elements 0 and 1 within his framework. It turns out that our notion of boolean proportions coincides with two prominent models from the literature in different settings. This means that we can capture two separate modellings of boolean proportions within a single framework which is mathematically appealing and provides further evidence for the robustness and applicability of the general framework.


title: Optimization problems in graphs with locational uncertainty

abstract: Many discrete optimization problems amount to selecting a feasible set of edges of least weight. We consider in this paper the context of spatial graphs where the positions of the vertices are uncertain and belong to known uncertainty sets. The objective is to minimize the sum of the distances of the chosen set of edges for the worst positions of the vertices in their uncertainty sets. We first prove that these problems are $\cal NP$-hard even when the feasible sets consist either of all spanning trees or of all $s-t$ paths. Given this hardness, we propose an exact solution algorithm combining integer programming formulations with a cutting plane algorithm, identifying the cases where the separation problem can be solved efficiently. We also propose a conservative approximation and show its equivalence to the affine decision rule approximation in the context of Euclidean distances. We compare our algorithms to three deterministic reformulations on instances inspired by the scientific literature for the Steiner tree problem and a facility location problem.


title: The conjugacy problem and virtually cyclic subgroups in the Artin braid group quotient $B_n/[P_n,P_n]$

abstract: Let $n\geq 3$. In this paper we deal with the conjugacy problem in the Artin braid group quotient $B_n/[P_n,P_n]$. To solve it we use systems of equations over the integers arising from the action of $B_n/[P_n,P_n]$ over the abelianization of the pure Artin braid group $P_n/[P_n,P_n]$. Using this technique we also realize explicitly infinite virtually cyclic subgroups in $B_n/[P_n,P_n]$.


title: Calorimetry at FCC-ee

abstract: With centre-of-mass energies covering the Z pole, the WW threshold, the HZ production, and the top-pair threshold, the FCC-ee offers unprecedented possibilities to measure the properties of the four heaviest particles of the Standard Model (the Higgs, Z, and W bosons, and the top quark), and also those of the b and c quarks and of the $\tau$ lepton. At these moderate energies, the role of the calorimeters is to complement the tracking systems in an optimal (a.k.a. particle-flow) event reconstruction. In this context, precision measurements and searches for new particles can fully profit from the improved electromagnetic and hadronic object reconstruction offered by new technologies, finer transverse and longitudinal segmentation, timing capabilities, multi-signal readout, modern computing techniques and algorithms. The corresponding requirements arise in particular from the resolution on reconstructed hadronic masses, energies, and momenta, e.g., of H, W, Z, needed to reach the FCC-ee promised precision. Extreme electromagnetic energy resolutions are also instrumental for $\pi^0$ identification, $\tau$ exclusive decay reconstruction, and physics sensitivity to processes accessible via radiative return. We present state of the art, challenges and future developments on some of the currently most promising technologies: high-granularity silicon and scintillator readout, dual readout, noble-liquid and crystal calorimeters.


title: Inferring gene regulation dynamics from static snapshots of gene expression variability

abstract: Inferring functional relationships within complex networks from static snapshots of a subset of variables is a ubiquitous problem in science. For example, a key challenge of systems biology is to translate cellular heterogeneity data obtained from single-cell sequencing or flow-cytometry experiments into regulatory dynamics. We show how static population snapshots of co-variability can be exploited to rigorously infer properties of gene expression dynamics when gene expression reporters probe their upstream dynamics on separate time-scales. This can be experimentally exploited in dual-reporter experiments with fluorescent proteins of unequal maturation times, thus turning an experimental bug into an analysis feature. We derive correlation conditions that detect the presence of closed-loop feedback regulation in gene regulatory networks. Furthermore, we show how genes with cell-cycle dependent transcription rates can be identified from the variability of co-regulated fluorescent proteins. Similar correlation constraints might prove useful in other areas of science in which static correlation snapshots are used to infer causal connections between dynamically interacting components.


title: Mean absorption estimation from room impulse responses using virtually supervised learning

abstract: In the context of building acoustics and the acoustic diagnosis of an existing room, this paper introduces and investigates a new approach to estimate mean absorption coefficients solely from a room impulse response (RIR). This inverse problem is tackled via virtually-supervised learning, namely, the RIR-to-absorption mapping is implicitly learned by regression on a simulated dataset using artificial neural networks. We focus on simple models based on well-understood architectures. The critical choices of geometric, acoustic and simulation parameters used to train the models are extensively discussed and studied, while keeping in mind conditions that are representative of the field of building acoustics. Estimation errors from the learned neural models are compared to those obtained with classical formulas that require knowledge of the room's geometry and reverberation times. Extensive comparisons made on a variety of simulated test sets highlight different conditions under which the learned models can overcome the well-known limitations of the diffuse sound field hypothesis underlying these formulas. Results obtained on real RIRs measured in an acoustically configurable room show that at 1~kHz and above, the proposed approach performs comparably to classical models when reverberation times can be reliably estimated, and continues to work even when they cannot.


title: Higher Depth False Modular Forms

abstract: False theta functions are functions that are closely related to classical theta functions and mock theta functions. In this paper, we study their modular properties at all ranks by forming modular completions analogous to modular completions of indefinite theta functions of any signature and thereby develop a structure parallel to the recently developed theory of higher depth mock modular forms. We then demonstrate this theoretical base on a number of examples up to depth three coming from characters of modules for the vertex algebra $W^0(p)_{A_n}$, $1 \leq n \leq 3$, and from $\hat{Z}$-invariants of $3$-manifolds associated with gauge group $\mathrm{SU}(3)$.


title: The Internet with Privacy Policies: Measuring The Web Upon Consent

abstract: To protect users' privacy, legislators have regulated the usage of tracking technologies, mandating the acquisition of users' consent before collecting data. Consequently, websites started showing more and more consent management modules -- i.e., Privacy Banners -- the visitors have to interact with to access the website content. They challenge the automatic collection of Web measurements, primarily to monitor the extensiveness of tracking technologies but also to measure Web performance in the wild. Privacy Banners in fact limit crawlers from observing the actual website content. In this paper, we present a thorough measurement campaign focusing on popular websites in Europe and the US, visiting both landing and internal pages from different countries around the world. We engineer Priv-Accept, a Web crawler able to accept the privacy policies, as most users would do in practice. This let us compare how webpages change before and after. Our results show that all measurements performed not dealing with the Privacy Banners offer a very biased and partial view of the Web. After accepting the privacy policies, we observe an increase of up to 70 trackers, which in turn slows down the webpage load time by a factor of 2x-3x.


title: On Estimation and Cross-validation of Dynamic Treatment Regimes with Competing Risks

abstract: The optimal moment to start renal replacement therapy in a patient with acute kidney injury (AKI) remains a challenging problem in intensive care nephrology. Multiple randomised controlled trials have tried to answer this question, but these can, by definition, only analyse a limited number of treatment initiation strategies. In view of this, we use routinely collected observational data from the Ghent University Hospital intensive care units (ICUs) to investigate different pre-specified timing strategies for renal replacement therapy initiation based on time-updated levels of serum potassium, pH and fluid balance in critically ill patients with AKI with the aim to minimize 30-day ICU mortality. For this purpose, we apply statistical techniques for evaluating the impact of specific dynamic treatment regimes in the presence of ICU discharge as a competing event. We discuss two approaches, a non-parametric one - using an inverse probability weighted Aalen-Johansen estimator - and a semiparametric one - using dynamic-regime marginal structural models. Furthermore, we suggest an easy to implement cross-validation technique that can be used for the out-of-sample performance assessment of the optimal dynamic treatment regime. Our work illustrates the potential of data-driven medical decision support based on routinely collected observational data.


title: Graph Automorphism Shuffles from Pile-Scramble Shuffles

abstract: A pile-scramble shuffle is one of the most effective shuffles in card-based cryptography. Indeed, many card-based protocols are constructed from pile-scramble shuffles. This article aims to study the power of pile-scramble shuffles. In particular, for any directed graph $G$, we introduce a new protocol called "a graph shuffle protocol for $G$", and show that it can be implemented by using pile-scramble shuffles only. Our proposed protocol requires $2(n+m)$ cards, where $n$ and $m$ are the numbers of vertices and edges of $G$, respectively. The number of pile-scramble shuffles is $k+1$, where $1 \leq k \leq n$ is the number of distinct degrees of vertices of $G$. As an application, a random cut for $n$ cards, which is also an important shuffle, can be realized by $3n$ cards and two pile-scramble shuffles.


title: CorbFuzz: Checking Browser Security Policies with Fuzzing

abstract: Browsers use security policies to block malicious behaviors. Cross-Origin Read Blocking (CORB) is a browser security policy for preventing side-channel attacks such as Spectre. We propose a web browser security policy fuzzer called CorbFuzz for checking CORB and similar policies. In implementing a security policy, the browser only has access to HTTP requests and responses, and takes policy actions based solely on those interactions. In checking the browser security policies, CorbFuzz uses a policy oracle that tracks the web application behavior and infers the desired policy action based on the web application state. By comparing the policy oracle with the browser behavior, CorbFuzz detects weaknesses in browser security policies. CorbFuzz checks the web browser policy by fuzzing a set of web applications where the state-related queries are symbolically evaluated for increased coverage and automation. CorbFuzz collects type information from database queries and branch conditions in order to prevent the generation of inconsistent data values during fuzzing. We evaluated CorbFuzz on CORB implementations of Chromium and Webkit, and Opaque Response Blocking (ORB) policy implementation of Firefox using web applications collected from GitHub. We found three classes of weaknesses in Chromium's implementation of CORB.


title: Locality for singular stochastic PDEs

abstract: This work deals with singular stochastic PDEs driven by non-translation invariant differential operators. We describe the renormalized equation for a very large class of spacetime dependent renormalization schemes. Our approach bypasses in particular the use of decorated trees with extended decorations.


title: An Integrated Framework for the Heterogeneous Spatio-Spectral-Temporal Fusion of Remote Sensing Images

abstract: Image fusion technology is widely used to fuse the complementary information between multi-source remote sensing images. Inspired by the frontier of deep learning, this paper first proposes a heterogeneous-integrated framework based on a novel deep residual cycle GAN. The proposed network consists of a forward fusion part and a backward degeneration feedback part. The forward part generates the desired fusion result from the various observations; the backward degeneration feedback part considers the imaging degradation process and regenerates the observations inversely from the fusion result. The proposed network can effectively fuse not only the homogeneous but also the heterogeneous information. In addition, for the first time, a heterogeneous-integrated fusion framework is proposed to simultaneously merge the complementary heterogeneous spatial, spectral and temporal information of multi-source heterogeneous observations. The proposed heterogeneous-integrated framework also provides a uniform mode that can complete various fusion tasks, including heterogeneous spatio-spectral fusion, spatio-temporal fusion, and heterogeneous spatio-spectral-temporal fusion. Experiments are conducted for two challenging scenarios of land cover changes and thick cloud coverage. Images from many remote sensing satellites, including MODIS, Landsat-8, Sentinel-1, and Sentinel-2, are utilized in the experiments. Both qualitative and quantitative evaluations confirm the effectiveness of the proposed method.


title: Investigating potential energy surfaces of noncollinear molecule using variational quantum circuit

abstract: We demonstrate the simulation of a noncollinear molecule, e.g. H2O molecule using Variational Quantum Eigensolver (VQE) with high chemical accuracy. The 2D and 3D potential energy surface (PES) were reported. Taking advantage of the potential speedup in Qiskit runtime program, the optimal initial parameters for the variational quantum circuits were obtained after several consecutive iterations, thus resulting in accurate prediction of water's PES matching result obtained from exact diagonalization of the full Hamiltonian.


title: Chronic Pain and Language: A Topic Modelling Approach to Personal Pain Descriptions

abstract: Chronic pain is recognized as a major health problem, with impacts not only at the economic, but also at the social, and individual levels. Being a private and subjective experience, it is impossible to externally and impartially experience, describe, and interpret chronic pain as a purely noxious stimulus that would directly point to a causal agent and facilitate its mitigation, contrary to acute pain, the assessment of which is usually straightforward. Verbal communication is, thus, key to convey relevant information to health professionals that would otherwise not be accessible to external entities, namely, intrinsic qualities about the painful experience and the patient. We propose and discuss a topic modelling approach to recognize patterns in verbal descriptions of chronic pain, and use these patterns to quantify and qualify experiences of pain. Our approaches allow for the extraction of novel insights on chronic pain experiences from the obtained topic models and latent spaces. We argue that our results are clinically relevant for the assessment and management of chronic pain.


title: Probing Gravitational Slip with Strongly Lensed Fast Radio Bursts

abstract: The rapid accumulation of observed Fast Radio Bursts (FRBs) originating from cosmological distances makes it likely that some will be strongly lensed by intervening matter along the line of sight. Detection of lensed FRB repeaters, which account for a noteworthy fraction of the total population, will allow not only an accurate measurement of the lensing time delay, but also follow-up high-resolution observations to pinpoint the location of the lensed images. Recent works proposed to use such strongly-lensed FRBs to derive constraints on the current expansion rate $ H_{0} $ as well as on cosmic curvature. Here we study the prospects for placing constraints on departures from general relativity via such systems. Using an ensemble of simulated events, we focus on the gravitational slip parameter $\gamma_{\rm PN}$ in screened modified gravity models and show that FRB time-delay measurements can yield constraints as tight as $ \left| \gamma_{\rm PN}-1\right| \lesssim 0.04\times(\Lambda/100\rm kpc)\times[N/10]^{-1/2} $ at $1\sigma$ with $10$ detections.


title: Perturbation graphs, invariant prediction and causal relations in psychology

abstract: Networks (graphs) in psychology are often restricted to settings without interventions. Here we consider a framework borrowed from biology that involves multiple interventions from different contexts (observations and experiments) in a single analysis. The method is called perturbation graphs. In gene regulatory networks, the induced change in one gene is measured on all other genes in the analysis, thereby assessing possible causal relations. This is repeated for each gene in the analysis. A perturbation graph leads to the correct set of causes (not necessarily direct causes). Subsequent pruning of paths in the graph (called transitive reduction) should reveal direct causes. We show that transitive reduction will not in general lead to the correct underlying graph. There is however a close relation with another method, called invariant causal prediction. Invariant causal prediction can be considered as a generalisation of the perturbation graph method where including additional variables (and so conditioning on those variables) does reveal direct causes, and thereby replacing transitive reduction. We explain the basic ideas of perturbation graphs, transitive reduction and invariant causal prediction and investigate their connections. We conclude that perturbation graphs provide a promising new tool for experimental designs in psychology, and combined with invariant prediction make it possible to reveal direct causes instead of causal paths. As an illustration we apply the perturbation graphs and invariant causal prediction to a data set about attitudes on meat consumption.


title: EVReflex: Dense Time-to-Impact Prediction for Event-based Obstacle Avoidance

abstract: The broad scope of obstacle avoidance has led to many kinds of computer vision-based approaches. Despite its popularity, it is not a solved problem. Traditional computer vision techniques using cameras and depth sensors often focus on static scenes, or rely on priors about the obstacles. Recent developments in bio-inspired sensors present event cameras as a compelling choice for dynamic scenes. Although these sensors have many advantages over their frame-based counterparts, such as high dynamic range and temporal resolution, event-based perception has largely remained in 2D. This often leads to solutions reliant on heuristics and specific to a particular task. We show that the fusion of events and depth overcomes the failure cases of each individual modality when performing obstacle avoidance. Our proposed approach unifies event camera and lidar streams to estimate metric time-to-impact without prior knowledge of the scene geometry or obstacles. In addition, we release an extensive event-based dataset with six visual streams spanning over 700 scanned scenes.


title: Multi-step stochastic mechanism of polarization reversal in orthorhombic ferroelectrics

abstract: A stochastic model of electric field-driven polarization reversal in orthorhombic ferroelectrics is advanced, providing a description of their temporal electromechanical response. The theory accounts for all possible parallel and sequential switching events. Application of the model to the simultaneous measurements of polarization and strain kinetics in a lead-free orthorhombic (K,Na)NbO3-based ferroelectric ceramic over a wide timescale of 7 orders of magnitude allowed identification of preferable polarization switching paths, fractions of individual switching processes, and their activation fields. Particularly, the analysis revealed substantial contributions of coherent non-180{\deg} switching events, which do not cause macroscopic strain and thus mimic 180{\deg} switching processes.


title: Linear Fractional Transformation modeling of multibody dynamics around parameter-dependent equilibrium

abstract: This paper proposes a new Linear Fractional Transformation (LFT) modeling approach for uncertain Linear Parameter Varying (LPV) multibody systems with parameter-dependent equilibrium. Traditional multibody approaches, which consist in building the nonlinear model of the whole structure and linearizing it around equilibrium after a numerical trimming, do not allow to isolate parametric variations with the LFT form. Although additional techniques, such as polynomial fitting or symbolic linearization, can provide an LFT model, they may be time-consuming or miss worst-case configurations. The proposed approach relies on the trimming and linearization of the equations at the substructure level, before assembly of the multibody structure, which allows to only perform operations that preserve the LFT form throughout the linearization process. Since the physical origin of the parameters is retained, the linearized LFT-LPV model of the structure exactly covers all plants, in a single parametric model, without introducing conservatism or fitting errors. An application to the LFT-LPV modeling of a robotic arm is proposed; in its nominal configuration, the model obtained with the proposed approach matches the model provided by the software Simscape Multibody, but it is enhanced with parametric variations with the LFT form; a robust LPV synthesis is performed using Matlab robust control toolbox to illustrate the capacity of the proposed approach for control design.


title: A Bias-Corrected CD Test for Error Cross-Sectional Dependence in Panel Data Models with Latent Factors

abstract: In a recent paper Juodis and Reese (2021) (JR) show that the application of the CD test proposed by Pesaran (2004) to residuals from panels with latent factors results in over-rejection and propose a randomized test statistic to correct for over-rejection, and add a screening component to achieve power. This paper considers the same problem but from a different perspective and shows that the standard CD test remains valid if the latent factors are weak, and proposes a simple bias-corrected CD test, labelled CD*, which is shown to be asymptotically normal, irrespective of whether the latent factors are weak or strong. This result is shown to hold for pure latent factor models as well as for panel regressions with latent factors. Small sample properties of the CD* test are investigated by Monte Carlo experiments and are shown to have the correct size and satisfactory power for both Gaussian and non-Gaussian errors. In contrast, it is found that JR's test tends to over-reject in the case of panels with non-Gaussian errors, and have low power against spatial network alternatives. The use of the CD* test is illustrated with two empirical applications from the literature.


title: On the $A_\alpha$ spectral radius and $A_\alpha$ energy of non-strongly connected digraphs

abstract: Let $A_\alpha(G)$ be the $A_\alpha$-matrix of a digraph $G$ and $\lambda_{\alpha 1}, \lambda_{\alpha 2}, \ldots, \lambda_{\alpha n}$ be the eigenvalues of $A_\alpha(G)$. Let $\rho_\alpha(G)$ be the $A_\alpha$ spectral radius of $G$ and $E_\alpha(G)=\sum_{i=1}^n \lambda_{\alpha i}^2$ be the $A_\alpha$ energy of $G$ by using second spectral moment. Let $\mathcal{G}_n^m$ be the set of non-strongly connected digraphs with order $n$, which contain a unique strong component with order $m$ and some directed trees which are hung on each vertex of the strong component. In this paper, we characterize the digraph which has the maximal $A_\alpha$ spectral radius and the maximal (minimal) $A_\alpha$ energy in $\mathcal{G}_n^m$.


title: Partial smoothing of delay transition semigroups acting on special functions

abstract: It is well known that the transition semigroup of an Ornstein Uhlenbeck process with delay is not strong Feller for small times, so it has no regularizing effects when acting on bounded and continuous functions. In this paper we study regularizing properties of this transition semigroup when acting on special functions of the past trajectory. With this regularizing property, we are able to prove existence and uniqueness of a mild solution for a special class of semilinear Kolmogorov equations; we apply these results to a stochastic optimal control problem.


title: Measurement of the nuclear modification factor for muons from charm and bottom hadrons in Pb+Pb collisions at 5.02 TeV with the ATLAS detector

abstract: Heavy-flavour hadron production provides information about the transport properties and microscopic structure of the quark-gluon plasma created in ultra-relativistic heavy-ion collisions. A measurement of the muons from semileptonic decays of charm and bottom hadrons produced in Pb+Pb and $pp$ collisions at a nucleon-nucleon centre-of-mass energy of 5.02 TeV with the ATLAS detector at the Large Hadron Collider is presented. The Pb+Pb data were collected in 2015 and 2018 with sampled integrated luminosities of $208~\mathrm{\mu b}^{-1}$ and $38~\mathrm{\mu b^{-1}}$, respectively, and $pp$ data with a sampled integrated luminosity of $1.17~\mathrm{pb}^{-1}$ were collected in 2017. Muons from heavy-flavour semileptonic decays are separated from the light-flavour hadronic background using the momentum imbalance between the inner detector and muon spectrometer measurements, and muons originating from charm and bottom decays are further separated via the muon track's transverse impact parameter. Differential yields in Pb+Pb collisions and differential cross sections in $pp$ collisions for such muons are measured as a function of muon transverse momentum from 4 GeV to 30 GeV in the absolute pseudorapidity interval $|\eta| < 2$. Nuclear modification factors for charm and bottom muons are presented as a function of muon transverse momentum in intervals of Pb+Pb collision centrality. The measured nuclear modification factors quantify a significant suppression of the yields of muons from decays of charm and bottom hadrons, with stronger effects for muons from charm hadron decays.


title: Improving Multimodal Fusion with Hierarchical Mutual Information Maximization for Multimodal Sentiment Analysis

abstract: In multimodal sentiment analysis (MSA), the performance of a model highly depends on the quality of synthesized embeddings. These embeddings are generated from the upstream process called multimodal fusion, which aims to extract and combine the input unimodal raw data to produce a richer multimodal representation. Previous work either back-propagates the task loss or manipulates the geometric property of feature spaces to produce favorable fusion results, which neglects the preservation of critical task-related information that flows from input to the fusion results. In this work, we propose a framework named MultiModal InfoMax (MMIM), which hierarchically maximizes the Mutual Information (MI) in unimodal input pairs (inter-modality) and between multimodal fusion result and unimodal input in order to maintain task-related information through multimodal fusion. The framework is jointly trained with the main task (MSA) to improve the performance of the downstream MSA task. To address the intractable issue of MI bounds, we further formulate a set of computationally simple parametric and non-parametric methods to approximate their truth value. Experimental results on the two widely used datasets demonstrate the efficacy of our approach. The implementation of this work is publicly available at https://github.com/declare-lab/Multimodal-Infomax.


title: Quasi-symmetries in complex networks: a dynamical model approach

abstract: The existence of symmetries in complex networks has a significant effect on network dynamic behaviour. Nevertheless, beyond topological symmetry, one should consider the fact that real-world networks are exposed to fluctuations or errors, as well as mistaken insertions or removals. Therefore, the resulting approximate symmetries remain hidden to standard symmetry analysis - fully accomplished by discrete algebra software. There have been a number of attempts to deal with approximate symmetries. In the present work we provide an alternative notion of these weaker symmetries, which we call `quasi-symmetries'. Differently from other definitions, quasi-symmetries remain free to impose any invariance of a particular network property and they are obtained from the phase differences at the steady-state configuration of an oscillatory dynamical model: the Kuramoto-Sakaguchi model. The analysis of quasi-symmetries unveils otherwise hidden real-world networks attributes. On the one hand, we provide a benchmark to determine whether a network has a more complex pattern than that of a random network with regard to quasi-symmetries, namely, if it is structured into separate quasi-symmetric groups of nodes. On the other hand, we define the `dual-network', a weighted network (and its corresponding binnarized counterpart) that effectively encodes all the information of quasi-symmetries in the original network. The latter is a powerful instrument for obtaining worthwhile insights about node centrality (obtaining the nodes that are unique from that act as imitators with respect to the others) and community detection ( quasi-symmetric groups of nodes).


title: Balancing Performance and Human Autonomy with Implicit Guidance Agent

abstract: The human-agent team, which is a problem in which humans and autonomous agents collaborate to achieve one task, is typical in human-AI collaboration. For effective collaboration, humans want to have an effective plan, but in realistic situations, they might have difficulty calculating the best plan due to cognitive limitations. In this case, guidance from an agent that has many computational resources may be useful. However, if an agent guides the human behavior explicitly, the human may feel that they have lost autonomy and are being controlled by the agent. We therefore investigated implicit guidance offered by means of an agent's behavior. With this type of guidance, the agent acts in a way that makes it easy for the human to find an effective plan for a collaborative task, and the human can then improve the plan. Since the human improves their plan voluntarily, he or she maintains autonomy. We modeled a collaborative agent with implicit guidance by integrating the Bayesian Theory of Mind into existing collaborative-planning algorithms and demonstrated through a behavioral experiment that implicit guidance is effective for enabling humans to maintain a balance between improving their plans and retaining autonomy.


title: Phase behavior of active and passive dumbbells

abstract: Using molecular dynamics simulations, we report phase separation in a 50:50 mixture of hot(active) and cold(passive) dumbbells which interact by Lennard-Jones potential. The ratio of the temperature difference between hot and cold dumbbells to the temperature of cold dumbbells is a measure of the activity $\chi$ of the system. From constant density simulations, we observe that the hot and cold dumbbells phase separate at high activity ratio ($\chi > 5.80$). The critical activity of dumbbells is higher compared to that of a mixture of hot and cold Lennard-Jones monomers ($\chi > 3.44$). The extent of phase separation is greater for high density. As activity increases, the cold dumbbells cohere to form a large cluster indicating increased phase separation which is quantified by an order parameter. On phase separation, the effective volume of the hot dumbbells increases which leads to the increase in their entropy which is calculated by two-phase thermodynamic(2PT) method. Also, the phase separation pushes the cold dumbbells to form a dense cluster which develops crystalline order with pre-dominantly FCC and HCP packing, but the individual dumbbells have random orientations. The high kinetic pressure of hot dumbbells is balanced by the virial pressure of cold dumbbells. The simulation of the non-equilibrium system at different ratios of number of hot dumbbells to cold dumbbells reveals that the critical activity decreases with increase in fraction of hot dumbbells.


title: LightChain: Scalable DHT-Based Blockchain

abstract: As an append-only distributed database, blockchain is utilized in a vast variety of applications including the cryptocurrency and Internet-of-Things (IoT). The existing blockchain solutions show downsides in communication and storage scalability, as well as decentralization. In this article, we propose LightChain , which is the first blockchain architecture that operates over a Distributed Hash Table (DHT) of participating peers. LightChain is a permissionless blockchain that provides addressable blocks and transactions within the network, which makes them efficiently accessible by all peers. Each block and transaction is replicated within the DHT of peers and is retrieved in an on-demand manner. Hence, peers in LightChain are not required to retrieve or keep the entire ledger. LightChain is fair as all of the participating peers have a uniform chance of being involved in the consensus regardless of their influence such as hashing power or stake. We provide formal mathematical analysis and experimental results (simulations and cloud deployment) to demonstrate the security, efficiency, and fairness of LightChain , and show that LightChain is the only existing blockchain that can provide integrity under the corrupted majority power of peers. As we experimentally demonstrate, compared to the mainstream blockchains such as Bitcoin and Ethereum, LightChain requires around 66 times smaller per node storage, and is around 380 times faster on bootstrapping a new node to the system, and each LightChain node is rewarded equally likely for participating in the protocol.


title: Masked Adversarial Generation for Neural Machine Translation

abstract: Attacking Neural Machine Translation models is an inherently combinatorial task on discrete sequences, solved with approximate heuristics. Most methods use the gradient to attack the model on each sample independently. Instead of mechanically applying the gradient, could we learn to produce meaningful adversarial attacks ? In contrast to existing approaches, we learn to attack a model by training an adversarial generator based on a language model. We propose the Masked Adversarial Generation (MAG) model, that learns to perturb the translation model throughout the training process. The experiments show that it improves the robustness of machine translation models, while being faster than competing methods.


title: Probing Extremal Gravitational-Wave Events with Coarse-Grained Likelihoods

abstract: As catalogs of gravitational-wave transients grow, new records are set for the most extreme systems observed to date. The most massive observed black holes probe the physics of pair instability supernovae while providing clues about the environments in which binary black hole systems are assembled. The least massive black holes, meanwhile, allow us to investigate the purported neutron star-black hole mass gap, and binaries with unusually asymmetric mass ratios or large spins inform our understanding of binary and stellar evolution. Existing outlier tests generally implement leave-one-out analyses, but these do not account for the fact that the event being left out was by definition an extreme member of the population. This results in a bias in the evaluation of outliers. We correct for this bias by introducing a coarse-graining framework to investigate whether these extremal events are true outliers or whether they are consistent with the rest of the observed population. Our method enables us to study extremal events while testing for population model misspecification. We show that this ameliorates biases present in the leave-one-out analyses commonly used within the gravitational-wave community. Applying our method to results from the second LIGO--Virgo transient catalog, we find qualitative agreement with the conclusions of Abbott et al, ApJL 913 L7 (2021). GW190814 is an outlier because of its small secondary mass. We find that neither GW190412 nor GW190521 are outliers.


title: Exploring the accretion-ejection geometry of GRS 1915+105 in the obscured state with future X-ray spectro-polarimetry

abstract: GRS 1915+105 has been in a bright flux state for more than 2 decades, but in 2018 a significant drop in flux was observed, partly due to changes in the central engine along with increased X-ray absorption. The aim of this work is to explore how X-ray spectro-polarimetry can be used to derive the basic geometrical properties of the absorbing and reflecting matter. In particular, the expected polarisation of the radiation reflected off the disc and the putative outflow is calculated. We use \textit{NuSTAR} data collected after the flux drop to derive the parameters of the system from hard X-ray spectroscopy. The spectroscopic parameters are then used to derive the expected polarimetric signal, using results from a MonteCarlo radiative transfer code both in the case of neutral and fully ionised matter. From the spectral analysis, we find that the continuum emission becomes softer with increasing flux, and that in all flux levels the obscuring matter is highly ionised. This analysis, on the other hand, confirms that spectroscopy alone is unable to put constraints on the geometry of the reflectors. Simulations show that X-ray polarimetric observations, like those that will be provided soon by the Imaging X-ray Polarimetry Explorer (IXPE), will help to determine the geometrical parameters which are left unconstrained by the spectroscopic analysis.


title: Deformations of log Calabi-Yau pairs can be obstructed

abstract: We exhibit examples of pairs $(X,D)$ where $X$ is a smooth projective variety and $D$ is an anticanonical reduced simple normal crossing divisor such that the deformations of $(X,D)$ are obstructed. These examples are constructed via toric geometry.


title: Exogenic origin for the volatiles sampled by the Lunar CRater Observation and Sensing Satellite impact

abstract: Returning humans to the Moon presents an unprecedented opportunity to determine the origin of volatiles stored in the permanently shaded regions (PSRs), which trace the history of lunar volcanic activity, solar wind surface chemistry, and volatile delivery to the Earth and Moon through impacts of comets, asteroids, and micrometeoroids. So far, the source of the volatiles sampled by the Lunar Crater Observation and Sensing Satellite (LCROSS) plume has remained undetermined. We show here that the source could not be volcanic outgassing and the composition is best explained by cometary impacts. Ruling out a volcanic source means that volatiles in the top 1-3 meters of the Cabeus PSR regolith may be younger than the latest volcanic outgassing event (~1 billion years ago; Gya).


title: Dissipation-engineered family of nearly dark states in many-body cavity-atom systems

abstract: Three-level atomic systems coupled to light have the capacity to host dark states. We study a system of V-shaped three-level atoms coherently coupled to the two quadratures of a dissipative cavity. The interplay between the atomic level structure and dissipation makes the phase diagram of the open system drastically different from the closed one. In particular, it leads to the stabilization of a continuous family of dark and nearly dark excited many-body states with inverted atomic populations as the steady states. The multistability of these states can be probed via their distinct fluctuations and excitation spectra, as well as the system's Liouvillian dynamics which are highly sensitive to ramp protocols. Our model can be implemented experimentally by encoding the two higher-energy modes in orthogonal density-modulated states in a bosonic quantum gas. This implementation offers prospects for potential applications like the realization of quantum optical random walks and microscopy with subwavelength spatial resolution.


title: Hypersonic curved compression ramp flows with bistable states

abstract: The bistable states and separation hysteresis in curved compression ramp (CCR) flows, and the corresponding aerothermal characteristics (including wall friction, pressure and heat flux), are studied numerically and theoretically. Direct numerical simulations of separation hysteresis induced by variation of turning angle, as well as the influence of inflow Mach number and wall temperature on hysteresis loops, are carried out. Distributions of wall friction, pressure and heat flux are analyzed. Further, emergence of wall friction's first and second minima in the separation bubble is interpreted, revealing it is dominated by the adverse pressure gradient induced by separation and reattachment shocks. The present results and analysis indicate that the reversed-flow singularity of Smith (Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences, 1988, 420: 21-52) is less likely to occur in CCR flows. The prediction of peak pressure of separation states confirms the model based on the minimum viscous dissipation theorem (Physics of Fluids, 2020, 32(10):101702). While the pressure overshoot can be analyzed by shock-polars with pressure match of compression and expansion process. The correlation between peak heat flux and peak pressure rise of both separation and attachment states is also discussed in terms of the classical power relations.


title: Inclination estimates from off-axis GRB afterglow modelling

abstract: For gravitational wave (GW) detected neutron star mergers, one of the leading candidates for electromagnetic (EM) counterparts is the afterglow from an ultra-relativistic jet. Where this afterglow is observed, it will likely be viewed off-axis, such as the afterglow following GW170817/GRB 170817A. The temporal behaviour of an off-axis observed GRB afterglow can be used to reveal the lateral jet structure, and statistical model fits can put constraints on the various model free-parameters. Amongst these parameters is the inclination of the system to the line of sight. Along with the GW detection, the afterglow modelling provides the best constraint on the inclination to the line-of-sight and can improve the estimates of cosmological parameters e.g. the Hubble constant, from GW-EM events. However, modelling of the afterglow depends on the assumed jet structure and, often overlooked, the effects of lateral spreading. Here we show how the inclusion of lateral spreading in the afterglow models can affect the estimated inclination of GW-EM events.


title: Physics of PT-Symmetric Quantum Systems at Finite Temperature

abstract: We study parity-time-symmetric non-Hermitian quantum systems at finite temperature, where the Boltzmann distribution law fails to hold. To characterize their abnormal physical properties, a new quantum statistics theory (the so-called quantum Liouvillian statistics theory) was developed, in which the Boltzmann distribution law was replaced by the Liouvillian-Boltzmann distribution law. Using it, we derived analytical results of thermodynamic properties for thermal PT systems and found that a "continuous" thermodynamic phase transition occurs at the exceptional point, where a zero-temperature anomaly exists.


title: Separating minimal valuations, point-continuous valuations and continuous valuations

abstract: We give two concrete examples of continuous valuations on dcpo's to separate minimal valuations, point-continuous valuations and continuous valuations: (1) Let $\mathcal J$ be the Johnstone's non-sober dcpo, and $\mu$ be the continuous valuation on $\mathcal J$ with $\mu(U) =1$ for nonempty Scott opens $U$ and $\mu(U) = 0$ for $U=\emptyset$. Then $\mu$ is a point-continuous valuation on $\mathcal J$ that is not minimal. (2) Lebesgue measure extends to a measure on the Sorgenfrey line $\mathbb R_{l}$. Its restriction to the open subsets of $\mathbb R_{l}$ is a continuous valuation $\lambda$. Then its image valuation $\overline\lambda$ through the embedding of $\mathbb R_{l}$ into its Smyth powerdomain $\mathcal Q\mathbb R_{l}$ in the Scott topology is a continuous valuation that is not point-continuous. We believe that our construction $\overline\lambda$ might be useful in giving counterexamples displaying the failure of the general Fubini-type equations on dcpo's.


title: Vortex lattice in spin-imbalanced unitary Fermi gas

abstract: We investigate the properties of a spin-imbalanced and rotating unitary Fermi gas. Using a density functional theory (DFT), we provide insight into states that emerge as a result of a competition between Abrikosov lattice formation, spatial phase separation and the emergence of Fulde-Ferrell-Larkin-Ovchinnikov (FFLO) state. A confrontation of the experimental data [M. Zwierlein et al., Science 311, 492 (2006)] with theoretical predictions provides a remarkable qualitative agreement. In case of gas confined in a harmonic trap, the phase separation into a superfluid core populated by the Abrikosov lattice and a spin-polarized corona is the dominant process. Changing confinement to a box-like trap, reverts the spatial location of the component: gas being in the normal state is surrounded by superfluid threaded by quantum vortices. The vortex lattice no longer exhibits the triangular symmetry, and emergence of exotic geometries may be an indirect signature of the FFLO-like state formation in the system.


title: Combining reconstruction and edge detection in computed tomography

abstract: We present two methods that combine image reconstruction and edge detection in computed tomography (CT) scans. Our first method is as an extension of the prominent filtered backprojection algorithm. In our second method we employ $\ell^{1}$-regularization for stable calculation of the gradient. As opposed to the first method, we show that this approach is able to compensate for undersampled CT data.