title: Hilton-Milner results in projective and affine spaces

abstract: In this article, we analyse maximal sets of $k$-spaces, in PG(n,q) and AG(n,q), $n>2k+t+2$, that pairwise meet in at least a $t$-space. It is known that for both PG(n,q) and AG(n,q), the largest example is a $t$-pencil, i.e. the set of all $k$-spaces containing a fixed $t$-space. In this paper, we analyse the structure of the second largest maximal example in both PG(n,q) and AG(n,q).


title: The Red Supergiant Binary Fraction of the Large Magellanic Cloud

abstract: The binary fraction of unevolved massive stars is thought to be 70-100% but there are few observational constraints on the binary fraction of the evolved version of a subset of these stars, the red supergiants (RSGs). Here we identify a complete sample of RSGs in the Large Magellanic Cloud (LMC) using new spectroscopic observations and archival UV, IR and broadband optical photometry. We find 4090 RSGs with log L/Lo > 3.5 with 1820 of them having log L/Lo > 4, which we believe is our completeness limit. We additionally spectroscopically confirmed 38 new RSG+B star binaries in the LMC, bringing the total known up to 55. We then estimated the binary fraction using a k-nearest neighbors algorithm that classifies stars as single or binary based on photometry with a spectroscopic sample as a training set. We take into account observational biases such as line-of-sight stars and binaries in eclipse while also calculating model-dependent corrections for RSGs with companions that our observations were not designed to detect. Based on our data, we find an initial result of 13.5 +7.56/-6.67% for RSGs with O or B-type companions. Using the Binary Population and Spectral Synthesis (BPASS) models to correct for unobserved systems, this corresponds to a total RSG binary fraction of 19.5 +7.6/-6.7%. This number is in broad agreement with what we would expect given an initial OB binary distribution of 70%, a predicted merger fraction of 20-30% and a binary interaction fraction of 40-50%.


title: Probing band topology using modulational instability

abstract: We analyze the modulational instability of nonlinear Bloch waves in topological photonic lattices. In the initial phase of the instability development captured by the linear stability analysis, long wavelength instabilities and bifurcations of the nonlinear Bloch waves are sensitive to topological band inversions. At longer timescales, nonlinear wave mixing induces spreading of energy through the entire band and spontaneous creation of wave polarization singularities determined by the band Chern number. Our analytical and numerical results establish modulational instability as a tool to probe bulk topological invariants and create topologically non-trivial wave fields.


title: Design and hardware evaluation of the optical-link system for the ATLAS Liquid Argon Calorimeter Phase-II Upgrade

abstract: An optical link system is being developed for the ATLAS Liquid Argon Calorimeter Phase-II upgrade. The optical link system is responsible for transmit the data of over 182 thousand detector channels from 1524 Front-End Boards (FEBs) through 26 optical fibers per FEB over 150 meters to the counting room and brings clocks, bunch crossing reset signals and slow control/monitoring signals back to the FEBs. The optical link system is based on the Low-Power GigaBit Transceivers (lpGBTs) and the Versatile optical Transceiver (VTRx+) modules, which both are being developed for the High-Luminosity LHC upgrade. An evaluation board is designed and the major functions of the optical link system are being evaluated. The design of the optical link system and the evaluation of major functions are presented in the paper.


title: Rethinking PointNet Embedding for Faster and Compact Model

abstract: PointNet, which is the widely used point-wise embedding method and known as a universal approximator for continuous set functions, can process one million points per second. Nevertheless, real-time inference for the recent development of high-performing sensors is still challenging with existing neural network-based methods, including PointNet. In ordinary cases, the embedding function of PointNet behaves like a soft-indicator function that is activated when the input points exist in a certain local region of the input space. Leveraging this property, we reduce the computational costs of point-wise embedding by replacing the embedding function of PointNet with the soft-indicator function by Gaussian kernels. Moreover, we show that the Gaussian kernels also satisfy the universal approximation theorem that PointNet satisfies. In experiments, we verify that our model using the Gaussian kernels achieves comparable results to baseline methods, but with much fewer floating-point operations per sample up to 92% reduction from PointNet.


title: Discontinuous solutions of Hamilton-Jacobi equations versus Radon measure-valued solutions of scalar conservation laws: Disappearance of singularities

abstract: Let $H$ be a bounded and Lipschitz continuous function. We consider discontinuous viscosity solutions of the Hamilton-Jacobi equation $U_{t}+H(U_x)=0$ and signed Radon measure valued entropy solutions of the conservation law $u_{t}+[H(u)]_x=0$. After having proved a precise statement of the formal relation $U_x=u$, we establish estimates for the (strictly positive!) times at which singularities of the solutions disappear. Here singularities are jump discontinuities in case of the Hamilton-Jacobi equation and signed singular measures in case of the conservation law.


title: Real-Time Uncertainty Estimation in Computer Vision via Uncertainty-Aware Distribution Distillation

abstract: Calibrated estimates of uncertainty are critical for many real-world computer vision applications of deep learning. While there are several widely-used uncertainty estimation methods, dropout inference stands out for its simplicity and efficacy. This technique, however, requires multiple forward passes through the network during inference and therefore can be too resource-intensive to be deployed in real-time applications. We propose a simple, easy-to-optimize distillation method for learning the conditional predictive distribution of a pre-trained dropout model for fast, sample-free uncertainty estimation in computer vision tasks. We empirically test the effectiveness of the proposed method on both semantic segmentation and depth estimation tasks and demonstrate our method can significantly reduce the inference time, enabling real-time uncertainty quantification, while achieving improved quality of both the uncertainty estimates and predictive performance over the regular dropout model.


title: Seamless maps of major elements of the Moon: Results from high-resolution geostationary satellite

abstract: Major elements such as Fe, Ti, Mg, Al, Ca, and Si play very important roles in understanding the origin and evolution of the Moon. Previous maps of these major elements derived from orbital data are based on mosaic images or low-resolution Gamma ray data. The hue variations and gaps among orbital boundaries in the mosaic images are not conducive to geological studies. This paper aims to produce seamless and homogenous distribution maps of major elements using the single-exposure image of the whole lunar disk obtained by China's high-resolution geostationary satellite, Gaofen-4, with a spatial resolution of ~500 m. The elemental contents of soil samples returned by Apollo and Luna missions were used as ground truth, and were correlated with the reflectance of the sampling sites extracted from Gaofen-4 data. The final distribution maps of these major oxides are generated with the statistical regression model. With these products the average contents and proportions of the major elements for maria and highlands were estimated and compared. The results showed that SiO2 and TiO2 have the highest and lowest fractions in mare and highland areas, respectively. Besides, the relative concentrations of these elements could serve as indicators of geologic processes, e.g., the obviously asymmetric distributions of Al2O3, CaO, and SiO2 around Tycho crater may suggest that Tycho crater was formed by an oblique impact from the southwest direction.


title: Learning Forward Reuse Distance

abstract: Caching techniques are widely used in the era of cloud computing from applications, such as Web caches to infrastructures, Memcached and memory caches in computer architectures. Prediction of cached data can greatly help improve cache management and performance. The recent advancement of deep learning techniques enables the design of novel intelligent cache replacement policies. In this work, we propose a learning-aided approach to predict future data accesses. We find that a powerful LSTM-based recurrent neural network model can provide high prediction accuracy based on only a cache trace as input. The high accuracy results from a carefully crafted locality-driven feature design. Inspired by the high prediction accuracy, we propose a pseudo OPT policy and evaluate it upon 13 real-world storage workloads from Microsoft Research. Results demonstrate that the new cache policy improves state-of-art practical policies by up to 19.2% and incurs only 2.3% higher miss ratio than OPT on average.


title: LAVAPilot: Lightweight UAV Trajectory Planner with Situational Awareness for Embedded Autonomy to Track and Locate Radio-tags

abstract: Tracking and locating radio-tagged wildlife is a labor-intensive and time-consuming task necessary in wildlife conservation. In this article, we focus on the problem of achieving embedded autonomy for a resource-limited aerial robot for the task capable of avoiding undesirable disturbances to wildlife. We employ a lightweight sensor system capable of simultaneous (noisy) measurements of radio signal strength information from multiple tags for estimating object locations. We formulate a new lightweight task-based trajectory planning method-LAVAPilot-with a greedy evaluation strategy and a void functional formulation to achieve situational awareness to maintain a safe distance from objects of interest. Conceptually, we embed our intuition of moving closer to reduce the uncertainty of measurements into LAVAPilot instead of employing a computationally intensive information gain based planning strategy. We employ LAVAPilot and the sensor to build a lightweight aerial robot platform with fully embedded autonomy for jointly tracking and planning to track and locate multiple VHF radio collar tags used by conservation biologists. Using extensive Monte Carlo simulation-based experiments, implementations on a single board compute module, and field experiments using an aerial robot platform with multiple VHF radio collar tags, we evaluate our joint planning and tracking algorithms. Further, we compare our method with other information-based planning methods with and without situational awareness to demonstrate the effectiveness of our robot executing LAVAPilot. Our experiments demonstrate that LAVAPilot significantly reduces (by 98.5%) the computational cost of planning to enable real-time planning decisions whilst achieving similar localization accuracy of objects compared to information gain based planning methods, albeit taking a slightly longer time to complete a mission.


title: Saliency-driven Class Impressions for Feature Visualization of Deep Neural Networks

abstract: In this paper, we propose a data-free method of extracting Impressions of each class from the classifier's memory. The Deep Learning regime empowers classifiers to extract distinct patterns (or features) of a given class from training data, which is the basis on which they generalize to unseen data. Before deploying these models on critical applications, it is advantageous to visualize the features considered to be essential for classification. Existing visualization methods develop high confidence images consisting of both background and foreground features. This makes it hard to judge what the crucial features of a given class are. In this work, we propose a saliency-driven approach to visualize discriminative features that are considered most important for a given task. Another drawback of existing methods is that confidence of the generated visualizations is increased by creating multiple instances of the given class. We restrict the algorithm to develop a single object per image, which helps further in extracting features of high confidence and also results in better visualizations. We further demonstrate the generation of negative images as naturally fused images of two or more classes.


title: A Note on Particle Gibbs Method and its Extensions and Variants

abstract: High-dimensional state trajectories of state-space models pose challenges for Bayesian inference. Particle Gibbs (PG) methods have been widely used to sample from the posterior of a state space model. Basically, particle Gibbs is a Particle Markov Chain Monte Carlo (PMCMC) algorithm that mimics the Gibbs sampler by drawing model parameters and states from their conditional distributions. This tutorial provides an introductory view on Particle Gibbs (PG) method and its extensions and variants, and illustrates through several examples of inference in non-linear state space models (SSMs). We also implement PG Samplers in two different programming languages: Python and Rust. Comparison of run-time performance of Python and Rust programs are also provided for various PG methods.


title: Indian Political Twitter and Caste Discrimination -- How Representation Does Not Equal Inclusion in Lok Sabha Networks

abstract: Caste privilege persists in the form of upper caste "networks" in India made up of political, social, and economic relations that tend to actively exclude lower caste members. In this study, we examine this pernicious expression of caste in the Twitter networks of politicians from India's highest legislative body - the Lok Sabha. We find that caste has a significant relationship with the centrality, connectivity and engagement of an MP in the Lok Sabha Twitter network. The higher the caste of a Member of the Parliament (MP) the more likely they are to be important in the network, to have reciprocal connections with other MPs, and to get retweeted by an upper caste MPs.


title: RoboTed: a case study in Ethical Risk Assessment

abstract: Risk Assessment is a well known and powerful method for discovering and mitigating risks, and hence improving safety. Ethical Risk Assessment uses the same approach but extends the envelope of risk to cover ethical risks in addition to safety risks. In this paper we outline Ethical Risk Assessment (ERA) and set ERA within the broader framework of Responsible Robotics. We then illustrate ERA with a case study of a hypothetical smart robot toy teddy bear: RoboTed. The case study shows the value of ERA and how consideration of ethical risks can prompt design changes, resulting in a more ethical and sustainable robot.


title: Analysis of the Ghost and Mirror Fields in the Nernst Signal Induced by Superconducting Fluctuations

abstract: We present a complete analysis of the Nernst signal due to superconducting fluctuations in a large variety of superconductors from conventional to unconventional ones. A closed analytical expression of the fluctuation contribution to the Nernst signal is obtained in a large range of temperature and magnetic field. We apply this expression directly to experimental measurements of the Nernst signal in Nb$_x$Si$_{1-x}$ thin films and a URu$_2$Si$_2$ superconductors. Both magnetic field and temperature dependence of the available data are fitted with very good accuracy using only two fitting parameters, the superconducting temperature $T_{\mathrm{c0}}$ and the upper critical field $H_{\mathrm{c2}}$. The obtained values agree very well with experimentally obtained values. We also extract the ghost lines (maximum of the Nernst signal for constant temperature or magnetic field) from the complete expression and also compare it to several experimentally obtained curves. Our approach predicts a linear temperature dependence for the ghost critical field well above $T_{\mathrm{c0}}$. Within the errors of the experimental data, this linearity is indeed observed in many superconductors far from $T_{\mathrm{c0}}$.


title: Transition pathways connecting crystals and quasicrystals

abstract: Due to structural incommensurability, the emergence of a quasicrystal from a crystalline phase represents a challenge to computational physics. Here the nucleation of quasicrystals is investigated by using an efficient computational method applied to a Landau free-energy functional. Specifically, transition pathways connecting different local minima of the Lifshitz-Petrich model are obtained by using the high-index saddle dynamics. Saddle points on these paths are identified as the critical nuclei of the 6-fold crystals and 12-fold quasicrystals. The results reveal that phase transitions between the crystalline and quasicrystalline phases could follow two possible pathways, corresponding to a one-stage phase transition and a two-stage phase transition involving a metastable lamellar quasicrystalline state, respectively.


title: Decomposition of the first Vassiliev derivative of Khovanov homology and its application

abstract: Khovanov homology extends to singular links via a categorified analogue of Vassiliev skein relation. In view of Vassiliev theory, the extended Khovanov homology can be seen as Vassiliev derivatives of Khovanov homology. In this paper, we develop a new method to compute the first derivative. Namely, we introduce a complex, called a crux complex, and prove that the Khovanov homologies of singular links with unique double points are homotopic to cofibers of endomorphisms on crux complexes. Since crux complexes are actually small for some links, the result enables a direct computation of the first derivative of Khovanov homology. Furthermore, it together with a categorified Vassiliev skein relation provides a brand-new method for the computation of Khovanov homology. In fact, we apply the result to determine the Khovanov complexes of all twist knots in a universal way.


title: Utterance-Wise Meeting Transcription System Using Asynchronous Distributed Microphones

abstract: A novel framework for meeting transcription using asynchronous microphones is proposed in this paper. It consists of audio synchronization, speaker diarization, utterance-wise speech enhancement using guided source separation, automatic speech recognition, and duplication reduction. Doing speaker diarization before speech enhancement enables the system to deal with overlapped speech without considering sampling frequency mismatch between microphones. Evaluation on our real meeting datasets showed that our framework achieved a character error rate (CER) of 28.7 % by using 11 distributed microphones, while a monaural microphone placed on the center of the table had a CER of 38.2 %. We also showed that our framework achieved CER of 21.8 %, which is only 2.1 percentage points higher than the CER in headset microphone-based transcription.


title: Behavioral Economics for Human-in-the-loop Control Systems Design: Overconfidence and the hot hand fallacy

abstract: Successful design of human-in-the-loop control systems requires appropriate models for human decision makers. Whilst most paradigms adopted in the control systems literature hide the (limited) decision capability of humans, in behavioral economics individual decision making and optimization processes are well-known to be affected by perceptual and behavioral biases. Our goal is to enrich control engineering with some insights from behavioral economics research through exposing such biases in control-relevant settings. This paper addresses the following two key questions: 1) How do behavioral biases affect decision making? 2) What is the role played by feedback in human-in-the-loop control systems? Our experimental framework shows how individuals behave when faced with the task of piloting an UAV under risk and uncertainty, paralleling a real-world decision-making scenario. Our findings support the notion of humans in Cyberphysical Systems underlying behavioral biases regardless of -- or even because of -- receiving immediate outcome feedback. We observe substantial shares of drone controllers to act inefficiently through either flying excessively (overconfident) or overly conservatively (underconfident). Furthermore, we observe human-controllers to self-servingly misinterpret random sequences through being subject to a "hot hand fallacy". We advise control engineers to mind the human component in order not to compromise technological accomplishments through human issues.


title: Quantum breakdown of superconductivity in low-dimensional materials

abstract: In order to understand the emergence of superconductivity it is useful to study and identify the various pathways leading to the destruction of superconductivity. One way is to use the increase in Coulomb-repulsion due to the increase in disorder, which overpowers the attractive interaction responsible for Cooper-pair formation. A second pathway, applicable to uniformly disordered materials, is the competition between superconductivity and Anderson localization, which leads to electronic granularity in which phase and amplitude fluctuations of the superconducting order parameter play a role. Finally, a third pathway is an array of superconducting islands coupled by some form of proximity-effect, due to Andreev-reflections, and which leads from a superconducting state to a state with finite resistivity, which appears like a metallic groundstate. This review summarizes recent progress in understanding of these different pathways, including experiments in low dimensional materials and application in superconducting quantum devices.


title: Improving NER's Performance with Massive financial corpus

abstract: Training large deep neural networks needs massive high quality annotation data, but the time and labor costs are too expensive for small business. We start a company-name recognition task with a small scale and low quality training data, then using skills to enhanced model training speed and predicting performance with minimum labor cost. The methods we use involve pre-training a lite language model such as Albert-small or Electra-small in financial corpus, knowledge of distillation and multi-stage learning. The result is that we raised the recall rate by nearly 20 points and get 4 times as fast as BERT-CRF model.


title: Witten-Reshetikhin-Turaev function for a knot in Seifert manifolds

abstract: In this paper, for a Seifert loop (i.e., a knot in a Seifert three-manifold), first we give a family of an explicit function $\Phi(q; N)$ whose special values at roots of unity are identified with the Witten-Reshetikhin-Turaev invariants of the Seifert loop for the integral homology sphere. Second, we show that the function $\Phi(q; N)$ satisfies a $q$-difference equation whose classical limit coincides with a component of the character varieties of the Seifert loop. Third, we give an interpretation of the function $\Phi(q; N)$ from the view point of the resurgent analysis.


title: Designing patchy interactions to self-assemble arbitrary structures

abstract: One of the fundamental goals of nanotechnology is to exploit selective and directional interactions between molecules to design particles that self-assemble into desired structures, from capsids, to nano-clusters, to fully formed crystals with target properties (e.g. optical, mechanical, etc.). Here we provide a general framework which transforms the inverse problem of self-assembly of colloidal crystals into a Boolean satisfiability problem for which solutions can be found numerically. Given a reference structure and the desired number of components, our approach produces designs for which the target structure is an energy minimum, and also allows to exclude solutions that correspond to competing structures. We demonstrate the effectiveness of our approach by designing model particles that spontaneously nucleate milestone structures such as the cubic diamond, the pyrochlore and the clathrate lattices.


title: Residual-CycleGAN based Camera Adaptation for Robust Diabetic Retinopathy Screening

abstract: There are extensive researches focusing on automated diabetic reti-nopathy (DR) detection from fundus images. However, the accuracy drop is ob-served when applying these models in real-world DR screening, where the fun-dus camera brands are different from the ones used to capture the training im-ages. How can we train a classification model on labeled fundus images ac-quired from only one camera brand, yet still achieves good performance on im-ages taken by other brands of cameras? In this paper, we quantitatively verify the impact of fundus camera brands related domain shift on the performance of DR classification models, from an experimental perspective. Further, we pro-pose camera-oriented residual-CycleGAN to mitigate the camera brand differ-ence by domain adaptation and achieve increased classification performance on target camera images. Extensive ablation experiments on both the EyePACS da-taset and a private dataset show that the camera brand difference can signifi-cantly impact the classification performance and prove that our proposed meth-od can effectively improve the model performance on the target domain. We have inferred and labeled the camera brand for each image in the EyePACS da-taset and will publicize the camera brand labels for further research on domain adaptation.


title: Thermodynamic Formalism and Geometric Applications for Transcendental Meromorphic and Entire Functions

abstract: This text provides an overview of the (geometric) thermodynamic formalism for transcendental meromorphic and entire functions with particular emphasis on geometric/fractal aspects such as Bowen's Formula expressing the hyperbolic dimension as a unique zero of a pressure function and the behavior of the latter when the transcendental functions vary in an analytic family.


title: Experimental demonstration of quantum advantage for NP verification with limited information

abstract: In recent years, many computational tasks have been proposed as candidates for showing a quantum computational advantage, that is an advantage in the time needed to perform the task using a quantum instead of a classical machine. Nevertheless, practical demonstrations of such an advantage remain particularly challenging because of the difficulty in bringing together all necessary theoretical and experimental ingredients. Here, we show an experimental demonstration of a quantum computational advantage in a prover-verifier interactive setting, where the computational task consists in the verification of an NP-complete problem by a verifier who only gets limited information about the proof sent by an untrusted prover in the form of a series of unentangled quantum states. We provide a simple linear optical implementation that can perform this verification task efficiently (within a few seconds), while we also provide strong evidence that, fixing the size of the proof, a classical computer would take much longer time (assuming only that it takes exponential time to solve an NP-complete problem). While our computational advantage concerns a specific task in a scenario of mostly theoretical interest, it brings us a step closer to potential useful applications, such as server-client quantum computing.


title: Slightly Conservative Bootstrap for Maxima of Sums

abstract: We study the bootstrap for the maxima of the sums of independent random variables, a problem of high relevance to many applications in modern statistics. Since the consistency of bootstrap was justified by Gaussian approximation in Chernozhukov et al. (2013), quite a few attempts have been made to sharpen the error bound for bootstrap and reduce the sample size requirement for bootstrap consistency. In this paper, we show that the sample size requirement can be dramatically improved when we make the inference slightly conservative, that is, to inflate the bootstrap quantile $t_{\alpha}^*$ by a small fraction, e.g. by $1\%$ to $1.01\,t^*_\alpha$. This simple procedure yields error bounds for the coverage probability of conservative bootstrap at as fast a rate as $\sqrt{(\log p)/n}$ under suitable conditions, so that not only the sample size requirement can be reduced to $\log p \ll n$ but also the overall convergence rate is nearly parametric. Furthermore, we improve the error bound for the coverage probability of the standard non-conservative bootstrap to $[(\log (np))^3 (\log p)^2/n]^{1/4}$ under general assumptions on data. These results are established for the empirical bootstrap and the multiplier bootstrap with third moment match. An improved coherent Lindeberg interpolation method, originally proposed in Deng and Zhang (2017), is developed to derive sharper comparison bounds, especially for the maxima.


title: Possible molecular states from the $N\Delta$ interaction

abstract: Recently, a hint for dibaryon $N\Delta(D_{21})$ was observed at WASA-AT-COSY with a mass about $30\pm10$ MeV below the $N\Delta$ threshold. It has a relatively small binding energy compared with the $d^*(2380)$ and a width close to the width of the $\Delta$ baryon, which suggests that it may be a dibaryon in a molecular state picture. In this work, we study the possible $S$-wave molecular states from the $N\Delta$ interaction within the quasipotential Bethe-Salpeter equation approach. The interaction is described by exchanging $\pi$, $\rho$, and $\omega$ mesons. With reasonable parameters, a $D_{21}$ bound state can be produced from the interaction. The results also suggest that there may exist two more possible $D_{12}$ and $D_{22}$ states with smaller binding energies. The $\pi$ exchange is found to play the most important role to bind two baryons to form the molecular states. An experimental search for possible $N\Delta(D_{12})$ and $N\Delta(D_{22})$ states will be helpful for understanding the hint of the dibaryon $N\Delta(D_{21})$.


title: A Unified NMPC Scheme for MAVs Navigation with 3D Collision Avoidance under Position Uncertainty

abstract: This article proposes a novel Nonlinear Model Predictive Control (NMPC) framework for Micro Aerial Vehicle (MAV) autonomous navigation in constrained environments. The introduced framework allows us to consider the nonlinear dynamics of MAVs and guarantees real-time performance. Our first contribution is to design a computationally efficient subspace clustering method to reveal from geometrical constraints to underlying constraint planes within a 3D point cloud, obtained from a 3D lidar scanner. The second contribution of our work is to incorporate the extracted information into the nonlinear constraints of NMPC for avoiding collisions. Our third contribution focuses on making the controller robust by considering the uncertainty of localization and NMPC using the Shannon entropy. This step enables us to track either the position or velocity references, or none of them if necessary. As a result, the collision avoidance constraints are defined in the local coordinates of MAVs and it remains active and guarantees collision avoidance, despite localization uncertainties, e.g., position estimation drifts. Additionally, as the platform continues the mission, this will result in less uncertain position estimations, due to the feature extraction and loop closure. The efficacy of the suggested framework has been evaluated using various simulations in the Gazebo environment.


title: On $q$-scale functions of spectrally negative compound Poisson processes

abstract: Scale functions play a central role in the fluctuation theory of spectrally negative L\'evy processes. For spectrally negative compound Poisson processes with positive drift, a new representation of the $q$-scale functions in terms of the characteristics of the process is derived. Moreover, similar representations of the derivatives and the primitives of the $q$-scale functions are presented. The obtained formulae for the derivatives allow for a complete exposure of the smoothness properties of the considered $q$-scale functions. Some explicit examples of $q$-scale functions are given for illustration.


abstract: Password-authenticated identities, where users establish username-password pairs with individual servers and use them later on for authentication, is the most widespread user authentication method over the Internet. Although they are simple, user-friendly, and broadly adopted, they offer insecure authentication and position server operators as trusted parties, giving them full control over users' identities. To mitigate these limitations, many identity systems have embraced public-key cryptography and the concept of decentralization. All these systems, however, require users to create and manage public-private keypairs. Unfortunately, users usually do not have the required knowledge and resources to properly handle their cryptographic secrets, which arguably contributed to failures of many end-user-focused public-key infrastructures (PKIs). In fact, as for today, no end-user PKI, able to authenticate users to web servers, has a significant adoption rate. In this paper, we propose Password-authenticated Decentralized Identities (PDIDs), an identity and authentication framework where users can register their self-sovereign username-password pairs and use them as universal credentials. Our system provides global namespace, human-meaningful usernames, and resilience against username collision attacks. A user's identity can be used to authenticate the user to any server without revealing that server anything about the password, such that no offline dictionary attacks are possible against the password. We analyze PDIDs and implement it using existing infrastructures and tools. We report on our implementation and evaluation.


title: Shining Light on Photoluminescence Properties of Metal Halide Perovskites

abstract: Lead halide perovskites are a remarkable class of materials that have emerged over the past decade as being suitable for application in a broad range of devices, such as solar cells, light-emitting diodes, lasers, transistors, and memory devices, among others. While they are often solution-processed semiconductors deposited at low temperatures, perovskites exhibit properties one would only expect from highly pure inorganic crystals that are grown at high temperatures. This unique phenomenon has resulted in fast-paced progress toward record device performance; unfortunately, the basic science behind the remarkable nature of these materials is still not well understood. This review assesses the current understanding of the photoluminescence (PL) properties of metal halide perovskite materials and highlights key areas that require further research. Furthermore, the need to standardize the methods for characterization of PL in order to improve comparability, reliability and reproducibility of results is emphasized.


title: Robust Retinal Vessel Segmentation from a Data Augmentation Perspective

abstract: Retinal vessel segmentation is a fundamental step in screening, diagnosis, and treatment of various cardiovascular and ophthalmic diseases. Robustness is one of the most critical requirements for practical utilization, since the test images may be captured using different fundus cameras, or be affected by various pathological changes. We investigate this problem from a data augmentation perspective, with the merits of no additional training data or inference time. In this paper, we propose two new data augmentation modules, namely, channel-wise random Gamma correction and channel-wise random vessel augmentation. Given a training color fundus image, the former applies random gamma correction on each color channel of the entire image, while the latter intentionally enhances or decreases only the fine-grained blood vessel regions using morphological transformations. With the additional training samples generated by applying these two modules sequentially, a model could learn more invariant and discriminating features against both global and local disturbances. Experimental results on both real-world and synthetic datasets demonstrate that our method can improve the performance and robustness of a classic convolutional neural network architecture. The source code is available at \url{https://github.com/PaddlePaddle/Research/tree/master/CV/robust_vessel_segmentation}.


title: The Kolmogorov-Arnold representation theorem revisited

abstract: There is a longstanding debate whether the Kolmogorov-Arnold representation theorem can explain the use of more than one hidden layer in neural networks. The Kolmogorov-Arnold representation decomposes a multivariate function into an interior and an outer function and therefore has indeed a similar structure as a neural network with two hidden layers. But there are distinctive differences. One of the main obstacles is that the outer function depends on the represented function and can be wildly varying even if the represented function is smooth. We derive modifications of the Kolmogorov-Arnold representation that transfer smoothness properties of the represented function to the outer function and can be well approximated by ReLU networks. It appears that instead of two hidden layers, a more natural interpretation of the Kolmogorov-Arnold representation is that of a deep neural network where most of the layers are required to approximate the interior function.


title: Energy Level Alignment in Ternary Organic Solar Cells

abstract: Ternary organic solar cells (TOSC) are currently under intensive investigation, recently reaching a record efficiency of 17.1%. The origin of the device open-circuit voltage (VOC), already a multifaceted issue in binary OSC, is even more complex in TOSCs. Herein, we investigate two ternary systems with one donor (D) and two acceptor materials (A1, A2) including fullerene and non-fullerene acceptors. By varying the ratio between the two acceptors, we find the VOC to be gradually tuned between those of the two binary systems, D:A1 and D:A2. To investigate the origin of this change, we employ ultra-violet photoemission spectroscopy (UPS) depth profiling, which is used to estimate the photovoltaic gap in the ternary systems. Our results reveal an excellent agreement between the estimated photovoltaic gap and the VOC for all mixing ratios, suggesting that the energetic alignment between the blend components varies depending on the ratio D:A1:A2. Furthermore, our results indicate that the sum of radiative and non-radiative losses in these ternary systems is independent of the blend composition. Finally, we demonstrate the superiority of UPS over X-ray photoemission spectroscopy (XPS) depth profiling in resolving compositional profiles for material combinations with very similar chemical, but dissimilar electronic structures, as common in TOSCs.


title: Multiorder topological superfluid phase transitions in a two-dimensional optical superlattice

abstract: Higher-order topological superfluids have gapped bulk and symmetry-protected Majorana zero modes with various localizations. Motivated by recent advances, we present a proposal for synthesizing multi-order topological superfluids that support various Majorana zero modes in ultracold atomic gases. For this purpose, we use the two-dimensional optical superlattice that introduces a spatial modulation to the spin-orbit coupling in one direction, providing an extra degree of freedom for the emergent higher-order topological state. We find the topologically trivial superfluids, first-order and second-order topological superfluids, as well as different topological phase transitions among them with respect to the experimentally tunable parameters. Besides the conventional transition characterized by the Chern number associated with the bulk gap closing and reopening, we find the system can support the topological superfluids with Majorana corner modes, but the topological phase transition undergoes no gap-closing of bulk bands. Instead, the transition is refined by the quadrupole moment and signaled out by the gap-closing of edge states. The proposal is based on the $s$-wave interaction and is valid using existing experimental techniques, which unifies multi-order topological phase transitions in a simple but realistic system.


title: A variational interface-preserving and conservative phase-field method for the surface tension effect in two-phase flows

abstract: We present a finite element based variational interface-preserving and conservative phase-field formulation for the modeling of incompressible two-phase flows with surface tension dynamics. The preservation of the hyperbolic tangent interface profile of the convective Allen-Cahn phase-field formulation relies on a novel time-dependent mobility model. The mobility coefficient is adjusted adaptively as a function of gradients of the velocity and the order parameter in the diffuse interface region in such a way that the free energy minimization properly opposes the convective distortion. The ratio of the convective distortion to the free energy minimization is termed as the convective distortion parameter, which characterizes the deviation from the hyperbolic tangent shape due to the convection effect. The mass conservation is achieved by enforcing a Lagrange multiplier with both temporal and spatial dependence on the phase-field function. We integrate the interface-preserving and conservative phase-field formulation with the incompressible Navier-Stokes equations and the continuum surface tension force model for the simulation of incompressible two-phase flows. A positivity preserving scheme designed for the boundedness and stability of the solution is employed for the variational discretization using unstructured finite elements. We examine the convergence and accuracy of the Allen-Cahn phase-field solver through a generic one-dimensional bistable diffusion-reaction system in a stretching flow. We quantify and systematically assess the relative interface thickness error and the relative surface tension force error with respect to the convective distortion parameter. Two- and three-dimensional rising bubble cases are further simulated to examine the effectiveness of the proposed model on the volume-preserving mean curvature flow and the interface-preserving capability.


title: Proof of Laugwitz Conjecture and Landsberg Unicorn Conjecture for Minkowski norms with $SO(k)\times SO(n-k)$-symmetry

abstract: For a smooth strongly convex Minkowski norm $F:\mathbb{R}^n \to \mathbb{R}_{\geq0}$, we study isometries of the Hessian metric corresponding to the function $E=\tfrac12F^2$. Under the additional assumption that $F$ is invariant with respect to the standard action of $SO(k)\times SO(n-k)$, we prove a conjecture of Laugwitz stated in 1965. Further, we describe all isometries between such Hessian metrics, and prove Landsberg Unicorn Conjecture for Finsler manifolds of dimension $n\ge 3$ such that at every point the corresponding Minkowski norm has a linear $SO(k)\times SO(n-k)$-symmetry


title: The Witten deformation of the Dolbeault complex

abstract: We introduce a Witten-Novikov type perturbation $\bar\partial_{\bar\omega}$ of the Dolbeault complex of any complex K\"ahler manifold, defined by a form $\omega$ of type $(1,0)$ with $\partial\omega=0$. We give an explicit description of the associated index density which shows that it exhibits a nontrivial dependence on $\omega$. The heat invariants of lower order are shown to be zero.


title: Towards Deep Robot Learning with Optimizer applicable to Non-stationary Problems

abstract: This paper proposes a new optimizer for deep learning, named d-AmsGrad. In the real-world data, noise and outliers cannot be excluded from dataset to be used for learning robot skills. This problem is especially striking for robots that learn by collecting data in real time, which cannot be sorted manually. Several noise-robust optimizers have therefore been developed to resolve this problem, and one of them, named AmsGrad, which is a variant of Adam optimizer, has a proof of its convergence. However, in practice, it does not improve learning performance in robotics scenarios. This reason is hypothesized that most of robot learning problems are non-stationary, but AmsGrad assumes the maximum second momentum during learning to be stationarily given. In order to adapt to the non-stationary problems, an improved version, which slowly decays the maximum second momentum, is proposed. The proposed optimizer has the same capability of reaching the global optimum as baselines, and its performance outperformed that of the baselines in robotics problems.


title: Compressively sampling the optical transmission matrix of a multimode fibre

abstract: Measurement of the optical transmission matrix (TM) of an opaque material is an advanced form of space-variant aberration correction. Beyond imaging, TM-based methods are emerging in a range of fields including optical communications, optical micro-manipulation, and optical computing. In many cases the TM is very sensitive to perturbations in the configuration of the scattering medium it represents. Therefore applications often require an up-to-the-minute characterisation of the fragile TM, typically entailing hundreds to thousands of probe measurements. In this work we explore how these measurement requirements can be relaxed using the framework of compressive sensing: incorporation of prior information enables accurate estimation from fewer measurements than the dimensionality of the TM we aim to reconstruct. Examples of such priors include knowledge of a memory effect linking input and output fields, an approximate model of the optical system, or a recent but degraded TM measurement. We demonstrate this concept by reconstructing a full-size TM of a multimode fibre supporting 754 modes at compression ratios down to ~5% with good fidelity. The level of compression achievable is dependent upon the strength of our priors. We show in this case that imaging is still possible using TMs reconstructed at compression ratios down to ~1% (8 probe measurements). This compressive TM sampling strategy is quite general and may be applied to any form of scattering system about which we have some prior knowledge, including diffusers, thin layers of tissue, fibre optics of any known refractive profile, and reflections from opaque walls. These approaches offer a route to measurement of high-dimensional TMs quickly or with access to limited numbers of measurements.


title: Statistical guarantees for Bayesian uncertainty quantification in non-linear inverse problems with Gaussian process priors

abstract: Bayesian inference and uncertainty quantification in a general class of non-linear inverse regression models is considered. Analytic conditions on the regression model $\{\mathscr G(\theta): \theta \in \Theta\}$ and on Gaussian process priors for $\theta$ are provided such that semi-parametrically efficient inference is possible for a large class of linear functionals of $\theta$. A general semi-parametric Bernstein-von Mises theorem is proved that shows that the (non-Gaussian) posterior distributions are approximated by certain Gaussian measures centred at the posterior mean. As a consequence posterior-based credible sets are valid and optimal from a frequentist point of view. The theory is illustrated with two applications with PDEs that arise in non-linear tomography problems: an elliptic inverse problem for a Schr\"odinger equation, and inversion of non-Abelian X-ray transforms. New analytical techniques are deployed to show that the relevant Fisher information operators are invertible between suitable function spaces


title: Nullspaces of Entanglement Breaking Channels and Applications

abstract: We investigate the nullspace structures of entanglement breaking channels, and related applications. We show that every operator space of trace zero matrices is the nullspace of an entanglement breaking channel. We derive a test for mixed unitarity of quantum channels based on complementary channel behaviour and entanglement breaking channel nullspaces. We identify conditions that guarantee the existence of private algebras for certain classes of entanglement breaking channels.


title: Novel Cu-based dz2 order at a YBa2Cu3O7/ manganite interface

abstract: The interplay of nearly degenerate orders in quantum materials can lead to a myriad of emergent phases. A prominent case is that of the high-Tc cuprates for which the relationship between superconductivity and a short-ranged, incommensurate charge density wave in the CuO2 planes involving the dx2-y2 orbitals (Cu-CDW) is a subject of great current interest. Strong modifications of the strength and coherence of this Cu-CDW have been achieved by applying large magnetic fields, uniaxial pressure, or via the interfacial coupling in cuprate/manganite multilayers. However, such modifications do not alter the dominant orbital character. Here we investigate cuprate/manganite multilayers with resonant inelastic X-ray scattering (RIXS) and show that a new kind of Cu-based density wave order can be induced that has not been previously observed in the cuprates. This order has an unusually small wave vector of Q = 0.096 reciprocal lattice units (r.l.u.), a large correlation length of about 40 nm, and a predominant dz2 orbital character, instead of the typical dx2-y2 character. Its appearance is determined by the hole doping of the manganite which is a key parameter controlling the interfacial charge transfer and orbital reconstruction. We anticipate that the observation of a previously unknown type of density wave order at the YBCO interface will allow for fresh perspectives on the enigmatic relation between superconductivity and charge order (CO) in the cuprates.

categories: cond-mat.str-el cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.supr-con


title: Quixo Is Solved

abstract: Quixo is a two-player game played on a 5$\times$5 grid where the players try to align five identical symbols. Specifics of the game require the usage of novel techniques. Using a combination of value iteration and backward induction, we propose the first complete analysis of the game. We describe memory-efficient data structures and algorithmic optimizations that make the game solvable within reasonable time and space constraints. Our main conclusion is that Quixo is a Draw game. The paper also contains the analysis of smaller boards and presents some interesting states extracted from our computations.


title: Analyzing Cause-Specific Mortality Trends using Compositional Functional Data Analysis

abstract: We study the dynamics of cause--specific mortality rates among countries by considering them as compositions of functions. We develop a novel framework for such data structure, with particular attention to functional PCA. The application of this method to a subset of the WHO mortality database reveals the main modes of variation of cause--specific rates over years for men and women and enables us to perform clustering in the projected subspace. The results give many insights of the ongoing trends, only partially explained by past literature, that the considered countries are undergoing. We are also able to show the different evolution of cause of death undergone by men and women: for example, we can see that while lung cancer incidence is stabilizing for men, it is still increasing for women.


title: A Novel Global Spatial Attention Mechanism in Convolutional Neural Network for Medical Image Classification

abstract: Spatial attention has been introduced to convolutional neural networks (CNNs) for improving both their performance and interpretability in visual tasks including image classification. The essence of the spatial attention is to learn a weight map which represents the relative importance of activations within the same layer or channel. All existing attention mechanisms are local attentions in the sense that weight maps are image-specific. However, in the medical field, there are cases that all the images should share the same weight map because the set of images record the same kind of symptom related to the same object and thereby share the same structural content. In this paper, we thus propose a novel global spatial attention mechanism in CNNs mainly for medical image classification. The global weight map is instantiated by a decision boundary between important pixels and unimportant pixels. And we propose to realize the decision boundary by a binary classifier in which the intensities of all images at a pixel are the features of the pixel. The binary classification is integrated into an image classification CNN and is to be optimized together with the CNN. Experiments on two medical image datasets and one facial expression dataset showed that with the proposed attention, not only the performance of four powerful CNNs which are GoogleNet, VGG, ResNet, and DenseNet can be improved, but also meaningful attended regions can be obtained, which is beneficial for understanding the content of images of a domain.


title: On a 4-dimensional subalgebra of the 12-tone Equal Tempered Tuning

abstract: An operation of associative, commutative and distributive multiplication on { Euclidean vector space} $\mathbb{E}_4$ is introduced by a skew circulant matrix. The resulting algebra $\mathbb{W}$ over $\mathbb{R}$ is isomorphic to $\mathbb{C} \times \mathbb{C}.$ The related algebraic, geometrical, and topological properties are given.There are subplanes of $\mathbb{W}$ isomorphic to the Gauss and Clifford complex number planes. A topology on $\mathbb{W}$ is given by a norm which is a sum of two norms. A hint how to apply this 4 dimensional algebra over $\mathbb{R}$ to the 12-tone Equally Tempered Tuning algebra is given.


title: Off-Street Parking for TNC Vehicles to Reduce Cruising Traffic

abstract: This paper considers off-street parking for the cruising vehicles of transportation network companies (TNCs) to reduce the traffic congestion. We propose a novel business that integrates the shared parking service into the TNC platform. In the proposed model, the platform (a) provides interfaces that connect passengers, drivers and garage operators (commercial or private garages); (b) determines the ride fare, driver payment, and parking rates; (c) matches passengers to TNC vehicles for ride-hailing services; and (d) matches vacant TNC vehicles to unoccupied parking garages to reduce the cruising cost. A queuing-theoretic model is proposed to capture the matching process of passengers, drivers, and parking garages. A market-equilibrium model is developed to capture the incentives of the passengers, drivers, and garage operators. An optimization-based model is formulated to capture the optimal pricing of the TNC platform. Through a realistic case study, we show that the proposed business model will offer a Pareto improvement that benefits all stakeholders, which leads to higher passenger surplus, higher drivers surplus, higher garage operator surplus, higher platform profit, and reduced traffic congestion.


title: Three identical bosons: Properties in non-integer dimensions and in external fields

abstract: Three-body systems that are continuously squeezed from a three-dimensional (3D) space into a two-dimensional (2D) space are investigated. Such a squeezing can be obtained by means of an external confining potential acting along a single axis. However, this procedure can be numerically demanding, or even undoable, especially for large squeezed scenarios. An alternative is provided by use of the dimension $d$ as a parameter that changes continuously within the range $2\leq d \leq 3$. The simplicity of the $d$-calculations is exploited to investigate the evolution of three-body states after progressive confinement. The case of three identical spinless bosons with relative $s$-waves in 3D, and a harmonic oscillator squeezing potential is considered. We compare results from the two methods and provide a translation between them, relating dimension, squeezing length, and wave functions from both methods. All calculations are then possible entirely within the simpler $d$-method, but simultaneously providing the equivalent geometry with the external potential.

categories: cond-mat.quant-gas nucl-th physics.atm-clus quant-ph


title: Counting Nambu-Goldstone modes of higher-form global symmetries

abstract: We discuss the counting of Nambu-Goldstone (NG) modes associated with the spontaneous breaking of higher-form global symmetries. Effective field theories of NG modes are developed based on symmetry breaking patterns, using a generalized coset construction for higher-form symmetries. We derive a formula of the number of gapless NG modes, which involves expectation values of the commutators of conserved charges, possibly of different degrees.


title: Secrecy Outage Probability Analysis for RIS-Assisted NOMA Systems

abstract: In this paper, the physical layer security (PLS) for a novel reconfigurable intelligent surface (RIS)-assisted non-orthogonal multiple access (NOMA) system in a multi-user scenario is investigated, where we consider the worst case that the eavesdropper also utilizes the advantage of the RISs. More specifically, we derive analytical results for the secrecy outage probability (SOP). From the numerical results, we observe that the use of RISs can improve the secrecy performance compared to traditional NOMA systems. However, for the worst case that the received signals at the eavesdropper comes from the RISs and source, increasing the number of intelligent elements on the RIS has a negative impact on the secrecy performance. At high SNRs, the system's SOP tends to a constant. Finally, the secrecy performance can be improved through the group selection.


title: Quantum remote sensing under the effect of dephasing

abstract: The quantum remote sensing (QRS) is a scheme to add security about the measurement results of a qubit-based sensor. A client delegates a measurement task to a remote server that has a quantum sensor, and eavesdropper (Eve) steals every classical information stored in the server side. By using quantum properties, the QRS provides an asymmetricity about the information gain where the client gets more information about the sensing results than Eve. However, quantum states are fragile against decoherence, and so it is not clear whether such a QRS is practically useful under the effect of realistic noise. Here, we investigate the performance of the QRS with dephasing during the interaction with the target fields. In the QRS, the client and server need to share a Bell pair, and an imperfection of the Bell pair leads to a state preparation error in a systematic way on the server side for the sensing. We consider the effect of both dephasing and state preparation error. The uncertainty of the client side decreases with the square root of the repetition number $M$ for small $M$, which is the same scaling as the standard quantum metrology. On the other hand, for large $M$, the state preparation error becomes as relevant as the dephasing, and the uncertainty decreases logarithmically with $M$. We compare the information gain between the client and Eve. This leads us to obtain the conditions for the asymmetric gain to be maintained even under the effect of dephasing.


title: Kyrix-S: Authoring Scalable Scatterplot Visualizations of Big Data

abstract: Static scatterplots often suffer from the overdraw problem on big datasets where object overlap causes undesirable visual clutter. The use of zooming in scatterplots can help alleviate this problem. With multiple zoom levels, more screen real estate is available, allowing objects to be placed in a less crowded way. We call this type of visualization scalable scatterplot visualizations, or SSV for short. Despite the potential of SSVs, existing systems and toolkits fall short in supporting the authoring of SSVs due to three limitations. First, many systems have limited scalability, assuming that data fits in the memory of one computer. Second, too much developer work, e.g., using custom code to generate mark layouts or render objects, is required. Third, many systems focus on only a small subset of the SSV design space (e.g. supporting a specific type of visual marks). To address these limitations, we have developed Kyrix-S, a system for easy authoring of SSVs at scale. Kyrix-S derives a declarative grammar that enables specification of a variety of SSVs in a few tens of lines of code, based on an existing survey of scatterplot tasks and designs. The declarative grammar is supported by a distributed layout algorithm which automatically places visual marks onto zoom levels. We store data in a multi-node database and use multi-node spatial indexes to achieve interactive browsing of large SSVs. Extensive experiments show that 1) Kyrix-S enables interactive browsing of SSVs of billions of objects, with response times under 500ms and 2) Kyrix-S achieves 4X-9X reduction in specification compared to a state-of-the-art authoring system.


title: Quantum Phases and Spin Liquid Properties of 1T-TaS2

abstract: Quantum materials exhibiting magnetic frustration are connected to diverse phenomena including high-Tc superconductivity, topological order and quantum spin liquids (QSLs). A QSL is a quantum phase (QP) related to a quantum-entangled fluid-like state of matter. Previous experiments on QSL candidate materials are usually interpreted in terms of a single QP, although theories indicate that many distinct QPs are closely competing in typical frustrated spin models. Here we report on combined temperature-dependent muon spin relaxation and specific heat measurements for the triangular-lattice QSL candidate material 1T-TaS2 that provide evidence for competing QPs. The measured properties are assigned to arrays of individual QSL layers within the layered charge density wave structure of 1T-TaS2 and their characteristic parameters can be interpreted as those of distinct Z2 QSL phases. The present results reveal that a QSL description can extend beyond the lowest temperatures, offering a new perspective in the search for novel quantum materials.


title: A Novel Emergency Light Based Smart Building Solution: Design, Implementation and Use Cases

abstract: Deployment of Internet of Things (IoT) in smart buildings has received considerable interest from both the academic community and commercial sectors. Unfortunately, widespread adoption of current smart building solutions is inhibited by the high costs associated with installation and maintenance. Moreover, different types of IoT devices from different manufacturers typically form distinct networks and data silos. There is a need to use a common backbone network that facilitates interoperability and seamless data exchange in a uniform way. In this paper, we present EMIoT, a novel solution for smart buildings that breaks these barriers by leveraging existing emergency lighting systems. In EMIoT, we embed a wireless LoRa module in each emergency light to turn them into wireless routers. EMIoT has been deployed in more than 50 buildings of different types in Sydney Australia and has been successfully running over two years. We present the design and implementation of EMIoT in this paper. Moreover, we use the deployment in a residential building as a use case to show the performance of EMIoT in real-world environments and share lessons learned. Finally, we discuss the advantages and disadvantages of EMIoT. This paper provides practical insights for IoT deployment in smart buildings for practitioners and solution providers.


title: Long-Term Noise Characterization of Narrowband Power Line Communications

abstract: Noise modeling in power line communications has recently drawn the attention of researchers. However, when characterizing the noise process in narrowband communications, previous works have only focused on small-scale phenomena involving fine-grained details. Nevertheless, the communication link's reliability is also affected by long-term noise phenomena that might affect transfer rates at higher layers as well. This paper addresses the problem of long-term noise characterization for narrowband power line communications and provides a statistical analysis of the long-term trends affecting the noise levels. We present a statistical description of the noise process in the time and frequency domains based on real field measurements in the FCC band (10 kHz - 490 kHz). The collected data comprises more than 1.8 billion samples taken from three different locations over a time period of approximately 10 days. The noise samples have been statistically analyzed by considering stationarity, autocorrelation, and independence. Although our results -- being unprecedented -- are interesting per se, they improve the noise pattern knowledge, thus paving the way for the design and implementation of more robust PLC protocols.


title: Entanglement correction due to local interactions in many-body systems

abstract: The correction to the area law for the bipartite min-entanglement entropy of weakly and locally interacting fermions is calculated based on a perturbative extension of the flow equation holography method. Explicit calculations for the one- and two-dimensional case (and similarly for higher dimensions) show that the leading correction to the entanglement entropy of non-interacting fermions up to $U^2$ in the interaction strength does not change the scaling, but only affects the pre-factor of the leading logarithmic term multiplying it by the quasiparticle residue. A term sub-leading to the area law is also present. It is proportional to $U^2$ in the interaction strength and scales linearly with the system size.


title: Long-term continuous assessment of SRAM PUF and source of random numbers

abstract: The qualities of Physical Unclonable Functions (PUFs) suffer from several noticeable degradations due to silicon aging. In this paper, we investigate the long-term effects of silicon aging on PUFs derived from the start-up behavior of Static Random Access Memories (SRAM). Previous research on SRAM aging is based on transistor-level simulation or accelerated aging test at high temperature and voltage to observe aging effects within a short period of time. In contrast, we have run a long-term continuous power-up test on 16 Arduino Leonardo boards under nominal conditions for two years. In total, we collected around 175 million measurements for reliability, uniqueness and randomness evaluations. Analysis shows that the number of bits that flip with respect to the reference increased by 19.3% while min-entropy of SRAM PUF noise improves by 19.3% on average after two years of aging. The impact of aging on reliability is smaller under nominal conditions than was previously assessed by the accelerated aging test. The test we conduct in this work more closely resembles the conditions of a device in the field, and therefore we more accurately evaluate how silicon aging affects SRAM PUFs.


title: Constraining the origin and models of chemical enrichment in galaxy clusters using the Athena X-IFU

abstract: The chemical enrichment of the Universe at all scales is related to stellar winds and explosive supernovae phenomena. Metals produced by stars and later spread at the mega-parsec scale through the intra-cluster medium (ICM) become a fossil record of the chemical enrichment of the Universe and of the dynamical and feedback mechanisms determining their circulation. As demonstrated by the results of the soft X-ray spectrometer onboard Hitomi, high resolution X-ray spectroscopy is the path to to differentiate among the models that consider different metal production mechanisms, predict the outcoming yields, and are function of the nature, mass, and/or initial metallicity of their stellar progenitor. Transformational results shall be achieved through improvements in the energy resolution and effective area of X-ray observatories to detect rare metals (e.g. Na, Al) and constrain yet uncertain abundances (e.g. C, Ne, Ca, Ni). The X-ray Integral Field Unit (X-IFU) instrument onboard the next-generation European X-ray observatory Athena is expected to deliver such breakthroughs. Starting from 100 ks of synthetic observations of 12 abundance ratios in the ICM of four simulated clusters, we demonstrate that the X-IFU will be capable of recovering the input chemical enrichment models at both low ($z = 0.1$) and high ($z = 1$) redshifts, while statistically excluding more than 99.5% of all the other tested combinations of models. By fixing the enrichment models which provide the best fit to the simulated data, we also show that the X-IFU will constrain the slope of the stellar initial mass function within $\sim$12%. These constraints will be key ingredients in our understanding of the chemical enrichment of the Universe and its evolution.


title: The role of explainability in creating trustworthy artificial intelligence for health care: a comprehensive survey of the terminology, design choices, and evaluation strategies

abstract: Artificial intelligence (AI) has huge potential to improve the health and well-being of people, but adoption in clinical practice is still limited. Lack of transparency is identified as one of the main barriers to implementation, as clinicians should be confident the AI system can be trusted. Explainable AI has the potential to overcome this issue and can be a step towards trustworthy AI. In this paper we review the recent literature to provide guidance to researchers and practitioners on the design of explainable AI systems for the health-care domain and contribute to formalization of the field of explainable AI. We argue the reason to demand explainability determines what should be explained as this determines the relative importance of the properties of explainability (i.e. interpretability and fidelity). Based on this, we propose a framework to guide the choice between classes of explainable AI methods (explainable modelling versus post-hoc explanation; model-based, attribution-based, or example-based explanations; global and local explanations). Furthermore, we find that quantitative evaluation metrics, which are important for objective standardized evaluation, are still lacking for some properties (e.g. clarity) and types of explanations (e.g. example-based methods). We conclude that explainable modelling can contribute to trustworthy AI, but the benefits of explainability still need to be proven in practice and complementary measures might be needed to create trustworthy AI in health care (e.g. reporting data quality, performing extensive (external) validation, and regulation).


title: From BFV to BV and spacetime covariance

abstract: The BFV formulation of a given gauge theory is usually significantly easier to obtain than its BV formulation. Grigoriev and Damgaard introduced simple formulas for obtaining the latter from the former. Since BFV relies on the Hamiltonian version of the gauge theory, however, it does not come as a surprise that in general the resulting BV theory does not exhibit space-time covariance. We provide an explicit example of this phenomenon in two spacetime dimensions and show how to restore covariance of the BV data by improving the Grigoriev--Damgaard procedure with appropriate adaptations of its original formulas.


title: Cr\'amer-Rao complexity of the two-dimensional confined hydrogen

abstract: The internal disorder of the two-dimensional confined hydrogenic atom is numerically studied in terms of the confinement radius for the 1\textit{s}, 2\textit{s}, 2\textit{p} and 3\textit{d} quantum states by means of the statistical Cr\'amer-Rao complexity measure. First, the confinement dependence of the variance and the Fisher information of the position and momentum spreading of its electron distribution are computed and discussed. Then, the Cr\'amer-Rao complexity measure (which quantifies the combined balance of the charge concentration around the mean value and the gradient content of the electron distribution) is investigated in position and momentum spaces. We found that confinement does distinguish complexity of the system for all quantum states by means of this two component measure.


title: Impact of the reflection model on the estimate of the properties of accreting black holes

abstract: Relativistic reflection features in the X-ray spectra of black hole binaries and AGNs originate from illumination of the inner part of the accretion disk by a hot corona. In the presence of high quality data and with the correct astrophysical model, X-ray reflection spectroscopy can be quite a powerful tool to probe the strong gravity region, study the morphology of the accreting matter, measure black hole spins, and even test Einstein's theory of general relativity in the strong field regime. There are a few relativistic reflection models available today and developed by different groups. All these models present some differences and have a number of simplifications introducing systematic uncertainties. The question is whether different models provide different measurements of the properties of black holes and how to arrive at a common model for the whole X-ray astronomy community. In this paper, we start exploring this issue by analyzing a Suzaku observation of the stellar-mass black hole in GRS 1915+105 and simultaneous XMM-Newton and NuSTAR observations of the supermassive black hole in MCG-6-30-15. The relativistic reflection component of these sources is fitted with RELCONV$\times$REFLIONX, RELCONV$\times$XILLVER, and RELXILL. We discuss the differences and the impact on the study of accreting black holes.


title: Observer-based invariants for cosmological models

abstract: We consider the equivalence problem for cosmological models in four-dimensional gravity theories. A cosmological model is considered as a triple $(M, {\bf g},{\bf u})$ consisting of a spacetime $(M, {\bf g})$ and a preferred normalized time-like vector field ${\bf u}$ tangent to a congruence of fundamental observers. We introduce a modification of the Cartan-Karlhede algorithm by restricting to frames adapted to ${\bf u}$ and including the covariant derivatives of ${\bf u}$ along with the Riemann tensor and its covariant derivatives. To fix the frame we make use of quantities relative to the fundamental observers, such as the anisotropic pressure tensor, energy flux vector, electric and magnetic parts of the Weyl tensor and the kinematical quantities of ${\bf u}$. This provides a simpler way to construct a list of invariants relative to the fundamental observers that completely characterizes the model, independent of coordinates. As an illustration of the algorithm, we consider several well-known cosmological models from General Relativity.


title: Evaluating Automatically Generated Phoneme Captions for Images

abstract: Image2Speech is the relatively new task of generating a spoken description of an image. This paper presents an investigation into the evaluation of this task. For this, first an Image2Speech system was implemented which generates image captions consisting of phoneme sequences. This system outperformed the original Image2Speech system on the Flickr8k corpus. Subsequently, these phoneme captions were converted into sentences of words. The captions were rated by human evaluators for their goodness of describing the image. Finally, several objective metric scores of the results were correlated with these human ratings. Although BLEU4 does not perfectly correlate with human ratings, it obtained the highest correlation among the investigated metrics, and is the best currently existing metric for the Image2Speech task. Current metrics are limited by the fact that they assume their input to be words. A more appropriate metric for the Image2Speech task should assume its input to be parts of words, i.e. phonemes, instead.


title: Bond Graphs Unify Stoichiometric Analysis and Thermodynamics

abstract: Whole-cell modelling is constrained by the laws of nature in general and the laws of thermodynamics in particular. This paper shows how one prolific source of information, stoichiometric models of biomolecular systems, can be integrated with thermodynamic principles using the bond graph approach to network thermodynamics.


title: Boundedness and asymptotically stability to chemotaxis system with competitive kinetics and nonlocal terms

abstract: This paper deals with the solution of following chemotaxis system with competitive kinetics and nonlocal terms \begin{eqnarray*} \left\{ \begin{array}{llll} u_t=d_1\Delta u-\chi_1\nabla\cdot(u\nabla w)+u\left(a_0-a_1u-a_{2}v-a_3\int_\Omega u-a_4\int_\Omega v\right), &x\in \Omega, t>0,\\ v_t=d_2\Delta v-\chi_2\nabla\cdot(v\nabla w)+v\left(b_0-b_1u-b_{2}v-b_3\int_\Omega u-b_4\int_\Omega v\right), &x\in \Omega, t>0,\\ w_t=d_3\Delta w-\lambda w+k u+l v, &x\in\Omega, t>0, \end{array} \right. \end{eqnarray*} in a smoothly bounded domain $\Omega\subset \mathbb{R}^N, N\geq1$, where $a_0, a_1, a_2, b_0, b_1, b_2>0$ and $a_3, a_4, b_3, b_4\in\mathbb{R}$. The purpose of this paper is to investigate the impact on nonlocal terms of the system, and to find clear conditions on parameters such that the system possesses a unique global bounded solution. Our conclusion quantitatively suggests that the nonlocal competitions can contribute to global and uniformly bounded solutions, while the global cooperations are adverse to boundedness of system. That is: o If $a_3, a_4, b_3, b_4>0$, i.e., there are nonlocal intraspecific and interspecific competitions, when $N\leq2$, then for any positive parameters the solution of system is globally bounded; when $N\geq3$, suitable large $a_1, b_2$ (local intraspecific competitions) ensure there is no blowup. o If $a_3, a_4, b_3, b_4<0$, i.e., there are globally intraspecific and interspecific cooperations, then for any $N\geq1$, a clear and largeness condition on $a_1, b_2$ is obtained which makes the system admits a boundedness solution. Furthermore, we consider the globally asymptotically stability of spatially homogeneous equilibrium with weak and strongly asymmetric competition cases, respectively.


title: BasicBlocker: ISA Redesign to Make Spectre-Immune CPUs Faster

abstract: Recent research has revealed an ever-growing class of microarchitectural attacks that exploit speculative execution, a standard feature in modern processors. Proposed and deployed countermeasures involve a variety of compiler updates, firmware updates, and hardware updates. None of the deployed countermeasures have convincing security arguments, and many of them have already been broken. The obvious way to simplify the analysis of speculative-execution attacks is to eliminate speculative execution. This is normally dismissed as being unacceptably expensive, but the underlying cost analyses consider only software written for current instruction-set architectures, so they do not rule out the possibility of a new instruction-set architecture providing acceptable performance without speculative execution. A new ISA requires compiler and hardware updates, but these are happening in any case. This paper introduces BasicBlocker, a generic ISA modification that works for all common ISAs and that allows non-speculative CPUs to obtain most of the performance benefit that would have been provided by speculative execution. To demonstrate the feasibility of BasicBlocker, this paper defines a variant of the RISC-V ISA called BBRISC-V and provides a thorough evaluation on both a 5-stage in-order soft core and a superscalar out-of-order processor using an associated compiler and a variety of benchmark programs.


title: Neural Style Transfer for Remote Sensing

abstract: The well-known technique outlined in the paper of Leon A. Gatys et al., A Neural Algorithm of Artistic Style, has become a trending topic both in academic literature and industrial applications. Neural Style Transfer (NST) constitutes an essential tool for a wide range of applications, such as artistic stylization of 2D images, user-assisted creation tools and production tools for entertainment applications. The purpose of this study is to present a method for creating artistic maps from satellite images, based on the NST algorithm. This method includes three basic steps (i) application of semantic image segmentation on the original satellite image, dividing its content into classes (i.e. land, water), (ii) application of neural style transfer for each class and (iii) creation of a collage, i.e. an artistic image consisting of a combination of the two stylized image generated on the previous step.


title: The Localization Game On Cartesian Products

abstract: The localization game is played by two players: a Cop with a team of $k$ cops, and a Robber. The game is initialised by the Robber choosing a vertex $r \in V$, unknown to the Cop. Thereafter, the game proceeds turn based. At the start of each turn, the Cop probes $k$ vertices and in return receives a distance vector. If the Cop can determine the exact location of $r$ from the vector, the Robber is located and the Cop wins. Otherwise, the Robber is allowed to either stay at $r$, or move to $r'$ in the neighbourhood of $r$. The Cop then again probes $k$ vertices. The game continues in this fashion, where the Cop wins if the Robber can be located in a finite number of turns. The localization number $\zeta(G)$, is defined as the least positive integer $k$ for which the Cop has a winning strategy irrespective of the moves of the Robber. In this paper, we focus on the game played on Cartesian products. We prove that $\zeta( G \square H) \geq \max\{\zeta(G), \zeta(H)\}$ as well as $\zeta(G \square H) \leq \zeta(G) + \psi(H) - 1$ where $\psi(H)$ is a doubly resolving set of $H$. We also show that $\zeta(C_m \square C_n)$ is mostly equal to two.


title: Transition Delay Using Biomimetic Fish Scale Arrays

abstract: Aquatic animals have developed effective strategies to reduce their body drag over a long period of time. In this work, the influence of the scales of fish on the laminar-to-turbulent transition in the boundary layer is investigated. Arrays of biomimetic fish scales in typical overlapping arrangements are placed on a flat plate in a low-turbulence laminar water channel. Transition to turbulence is triggered by controlled excitation of a Tollmien-Schlichting (TS) wave. It was found that the TS wave can be attenuated with scales on the plate which generate streamwise streaks. As a consequence, the transition location was substantially delayed in the downstream direction by 55% with respect to the uncontrolled reference case. This corresponds to a theoretical drag reduction of about 27%. We thus hypothesize that fish scales can stabilize the laminar boundary layer and prevent it from early transition, reducing friction drag. This technique can possibly be used for bio-inspired surfaces as a laminar flow control means.


title: An exactly solvable model of calorimetric measurements

abstract: Calorimetric measurements are experimentally realizable methods to assess thermodynamics relations in quantum devices. With this motivation in mind, we consider a resonant level coupled to a Fermion reservoir. We consider a transient process, in which the interaction between the level and the reservoir is initially switched on and then switched off again. We find the time dependence of the energy of the reservoir, of the energy of the level and of the interaction energy between them at weak, intermediate, strong and ultra-strong coupling. We also determine the statistical distributions of these energies.


title: Orientation-Preserving Vectorized Distance Between Curves

abstract: We introduce an orientation-preserving landmark-based distance for continuous curves, which can be viewed as an alternative to the \Frechet or Dynamic Time Warping distances. This measure retains many of the properties of those measures, and we prove some relations, but can be interpreted as a Euclidean distance in a particular vector space. Hence it is significantly easier to use, faster for general nearest neighbor queries, and allows easier access to classification results than those measures. It is based on the \emph{signed} distance function to the curves or other objects from a fixed set of landmark points. We also prove new stability properties with respect to the choice of landmark points, and along the way introduce a concept called signed local feature size (slfs) which parameterizes these notions. Slfs explains the complexity of shapes such as non-closed curves where the notion of local orientation is in dispute -- but is more general than the well-known concept of (unsigned) local feature size, and is for instance infinite for closed simple curves. Altogether, this work provides a novel, simple, and powerful method for oriented shape similarity and analysis.


title: Muon Flux Measurement at China Jinping Underground Laboratory

abstract: China Jinping Underground Laboratory (CJPL) is ideal for studying solar-, geo-, and supernova neutrinos. A precise measurement of the cosmic-ray background would play an essential role in proceeding with the R\&D research for these MeV-scale neutrino experiments. Using a 1-ton prototype detector for the Jinping Neutrino Experiment (JNE), we detected 264 high-energy muon events from a 645.2-day dataset at the first phase of CJPL (CJPL-I), reconstructed their directions, and measured the cosmic-ray muon flux to be $(3.53\pm0.22_{\text{stat.}}\pm0.07_{\text{sys.}})\times10^{-10}$ cm$^{-2}$s$^{-1}$. The observed angular distributions indicate the leakage of cosmic-ray muon background and agree with the simulation accounting for Jinping mountain's terrain. A survey of muon fluxes at different laboratory locations situated under mountains and below mine shaft indicated that the former is generally a factor of $(4\pm2)$ larger than the latter with the same vertical overburden. This study provides a convenient back-of-the-envelope estimation for muon flux of an underground experiment.


title: Temporal evolution of short-lived penumbral microjets

abstract: Context. Penumbral microjets are elongated jet-like brightenings observed in the chromosphere above sunspot penumbrae. They are transient events that last from a few seconds to several minutes and are thought to originate from magnetic reconnection processes. Previous studies have mainly focused on their morphological and spectral characteristics, and more recently on their spectropolarimetric signals during the maximum brightness stage. Studies addressing the temporal evolution of PMJs have also been carried out, but they are based on spatial and spectral time variations only. Aims. Here we investigate the temporal evolution of the polarization signals produced by short-lived PMJs (lifetimes $<$ 2 minutes) to infer how the magnetic field vector evolves in the upper photosphere and mid-chromosphere. Methods. We use fast-cadence spectropolarimetric observations of the Ca II 854.2 nm line taken with the CRisp Imaging Spectropolarimeter at the Swedish 1-m Solar Telescope. The weak-field approximation (WFA) is used to estimate the strength and inclination of the magnetic field vector. Results. The WFA reveals larger magnetic field changes in the upper photosphere than in the chromosphere during the PMJ maximum brightness stage. In the photosphere, the magnetic field inclination and strength undergo a transient increase for most PMJs, but in 25$\%$ of the cases the field strength decreases during the brightening. In the chromosphere, the magnetic field tends to be slightly stronger during the PMJs. Conclusions. The propagation of compressive perturbation fronts followed by a rarefaction phase in the aftershock region may explain the observed behavior of the magnetic field vector. The fact that such behavior varies among the analyzed PMJs could be a consequence of the limited temporal resolution of the observations and the fast-evolving nature of the PMJs.


title: Towards a more rigorous treatment of uncertainties on the velocity distribution of dark matter particles for capture in stars

abstract: Dark matter (DM) capture in stars offers a rich phenomenology that makes it possible to probe a wide variety of particle DM scenarios in diverse astrophysical environments. In spite of decades of improvements to refine predictions of capture-related observables and better quantify astrophysical and particle-physics uncertainties, the actual impact of the Galactic phase-space distribution function of DM has been overlooked. In this work, we tackle this problem by making use of self-consistent equilibrium phase-space models based on the Eddington inversion formalism and an extension of this method to a DM halo with some degree of anisotropy in velocity space. We demonstrate that incorrectly accounting for the variation of the DM velocity distribution with position in the Galaxy leads to a systematic error between a factor two and two orders of magnitude, depending in particular on the target star, the DM candidate mass and the type of interaction involved. Moreover, we show that underlying phase-space properties, such as the anisotropy of the velocity tensor, actually play an important part -- previously disregarded -- and can have a sizable impact on predictions of capture rates and subsequent observables. We argue that Eddington-like methods, which self-consistently account for kinematic constraints on the components of the Galaxy, actually provide a reliable next-to-minimal approach to narrow down uncertainties from phase-space modeling on predictions of observables related to DM capture in stars.


title: Quadratic sparse domination and Weighted Estimates for non-integral Square Functions

abstract: We prove a quadratic sparse domination result for general non-integral square functions $S$. That is, we prove an estimate of the form \begin{equation*} \int_{M} (S f)^{2} g \, \mathrm{d}\mu \le c \sum_{P \in \mathcal{S}} \left(\frac{1}{\lvert 5P \rvert}\int_{5 P} \lvert f\rvert^{p_{0}} \, \mathrm{d}\mu\right)^{2/p_{0}} \left(\frac{1}{\lvert 5P \rvert} \int_{5 P} \lvert g\rvert^{q_{0}^*}\,\mathrm{d}\mu\right)^{1/q_{0}^*} \lvert P\rvert, \end{equation*} where $q_{0}^{*}$ is the H\"{o}lder conjugate of $q_{0}/2$, $M$ is the underlying doubling space and $\mathcal{S}$ is a sparse collection of cubes on $M$. Our result will cover both square functions associated with divergence form elliptic operators and those associated with the Laplace-Beltrami operator. This sparse domination allows us to derive optimal norm estimates in the weighted space $L^{p}(w)$.


title: On regularization methods based on R\'enyi's pseudodistances for sparse high-dimensional linear regression models

abstract: Several regularization methods have been considered over the last decade for sparse high-dimensional linear regression models, but the most common ones use the least square (quadratic) or likelihood loss and hence are not robust against data contamination. Some authors have overcome the problem of non-robustness by considering suitable loss function based on divergence measures (e.g., density power divergence, gamma-divergence, etc.) instead of the quadratic loss. In this paper we shall consider a loss function based on the R\'enyi's pseudodistance jointly with non-concave penalties in order to simultaneously perform variable selection and get robust estimators of the parameters in a high-dimensional linear regression model of non-polynomial dimensionality. The desired oracle properties of our proposed method are derived theoretically and its usefulness is illustustrated numerically through simulations and real data examples.


title: Variational approximations of empirical Bayes posteriors in high-dimensional linear models

abstract: In high-dimensions, the prior tails can have a significant effect on both posterior computation and asymptotic concentration rates. To achieve optimal rates while keeping the posterior computations relatively simple, an empirical Bayes approach has recently been proposed, featuring thin-tailed conjugate priors with data-driven centers. While conjugate priors ease some of the computational burden, Markov chain Monte Carlo methods are still needed, which can be expensive when dimension is high. In this paper, we develop a variational approximation to the empirical Bayes posterior that is fast to compute and retains the optimal concentration rate properties of the original. In simulations, our method is shown to have superior performance compared to existing variational approximations in the literature across a wide range of high-dimensional settings.


title: Nonparametric comparison of epidemic time trends: the case of COVID-19

abstract: The COVID-19 pandemic is one of the most pressing issues at present. A question which is particularly important for governments and policy makers is the following: Does the virus spread in the same way in different countries? Or are there significant differences in the development of the epidemic? In this paper, we devise new inference methods that allow to detect differences in the development of the COVID-19 epidemic across countries in a statistically rigorous way. In our empirical study, we use the methods to compare the outbreak patterns of the epidemic in a number of European countries.


title: Parallelogram polyominoes and rectangular EW-tableaux: correspondences through the sandpile model

abstract: This paper establishes connections between EW-tableaux and parallelogram polyominoes by using recent research regarding the sandpile model on the complete bipartite graph. This paper presents and proves a direct bijection between rectangular EW-tableaux and labelled ribbon parallelogram polyominoes. The significance of this is that allows one to move between these objects without the need for `recurrent configurations', the central object which previously tied this work together. It introduces the notion of a marked rectangular EW-tableaux that exactly encode all recurrent configurations of the sandpile model on the complete bipartite graph. This shows how non-cornersupport entries that featured in previous work can be utilized in a simple but important way in relation to EW-tableaux. It lifts the bijection between rectangular EW-tableaux and labelled ribbon parallelogram polyominoes to a bijection between marked rectangular EW-tableaux and labelled parallelogram polyominoes. This bijection helps us to fully understand the aspects of these very different objects that are, in a sense, different sides of the same coin.


title: Geometric Total Variation for Image Vectorization, Zooming and Pixel Art Depixelizing

abstract: We propose an original method for vectorizing an image or zooming it at an arbitrary scale. The core of our method relies on the resolution of a geometric variational model and therefore offers theoretic guarantees. More precisely, it associates a total variation energy to every valid triangulation of the image pixels. Its minimization induces a trian-gulation that reflects image gradients. We then exploit this triangulation to precisely locate discontinuities, which can then simply be vectorized or zoomed. This new approach works on arbitrary images without any learning phase. It is particularly appealing for processing images with low quantization like pixel art and can be used for depixelizing such images. The method can be evaluated with an online demonstrator, where users can reproduce results presented here or upload their own images.


title: Towards personalized computer simulations of breast cancer treatment

abstract: Cancer pathology is unique to a given individual, and developing personalized diagnostic and treatment protocols are a primary concern. Mathematical modeling and simulation is a promising approach to personalized cancer medicine. Yet, the complexity, heterogeneity and multiscale nature of cancer present severe challenges. One of the major barriers to use mathematical models to predict the outcome of therapeutic regimens in a particular patient lies in their initialization and parameterization in order to reflect individual cancer characteristics accurately. Here we present a study where we used multitype measurements acquired routinely on a single breast tumor, including histopathology, magnetic resonance imaging (MRI), and molecular profiling, to personalize a multiscale hybrid cellular automaton model of breast cancer treated with chemotherapeutic and antiangiogenic agents. We model drug pharmacokinetics and pharmacodynamics at the tumor tissue level but with cellular and subcellular resolution. We simulate those spatio-temporal dynamics in 2D cross-sections of tumor portions over 12-week therapy regimes, resulting in complex and computationally intensive simulations. For such computationally demanding systems, formal statistical inference methods to estimate individual parameters from data have not been feasible in practice to until most recently, after the emergence of machine learning techniques applied to likelihood-free inference methods. Here we use the inference advances provided by Bayesian optimization to fit our model to simulated data of individual patients. In this way, we investigate if some key parameters can be estimated from a series of measurements of cell density in the tumor tissue, as well as how often the measurements need to be taken to allow reliable predictions.


title: Enhancing single-arm phase II trials by inclusion of matched control patients

abstract: When a novel treatment has successfully passed phase I, different options to design subsequent phase II trials are available. One approach is a single-arm trial, comparing the response rate in the intervention group against a fixed proportion. Another alternative is to conduct a randomized phase II trial, comparing the new treatment with placebo or the current standard. A significant problem arises in both approaches when the investigated patient population is very heterogeneous regarding prognostic factors. For the situation that a substantial dataset of historical controls exists, we propose an approach to enhance the classic single-arm trial design by including matched control patients. The outcome of the observed study population can be adjusted based on the matched controls with a comparable distribution of known confounders. We propose an adaptive two-stage design with the options of early stopping for futility and recalculation of the sample size taking the matching rate, number of matching partners, and observed treatment effect into account. The performance of the proposed design in terms of type I error rate, power, and expected sample size is investigated via simulation studies based on a hypothetical phase II trial investigating a novel therapy for patients with acute myeloid leukemia.