title: Finite Sample Smeariness on Spheres

abstract: Finite Sample Smeariness (FSS) has been recently discovered. It means that the distribution of sample Fr\'echet means of underlying rather unsuspicious random variables can behave as if it were smeary for quite large regimes of finite sample sizes. In effect classical quantile-based statistical testing procedures do not preserve nominal size, they reject too often under the null hypothesis. Suitably designed bootstrap tests, however, amend for FSS. On the circle it has been known that arbitrarily sized FSS is possible, and that all distributions with a nonvanishing density feature FSS. These results are extended to spheres of arbitrary dimension. In particular all rotationally symmetric distributions, not necessarily supported on the entire sphere feature FSS of Type I. While on the circle there is also FSS of Type II it is conjectured that this is not possible on higher-dimensional spheres.


title: Accelerated design of linear-superelastic Ti-Nb nanocomposite alloys with ultralow modulus via high-throughput phase-field simulations and machine learning

abstract: The controlled design of martensitic transformation (MT) to achieve specific properties is crucial for the innovative application of shape memory alloys (SMAs) in advanced technologies. Herein, we explore and design the MT behaviors and the mechanical properties of Ti-Nb nanocomposites by combining high-throughput phase-field simulations and machine learning (ML) approaches. Based on the systematic phase-field simulations, we obtain data sets of the mechanical properties for various nanocomposites constructed by four macroscopic degrees of freedom, which can be employed to design and optimize the microstructures for different applications. To accelerate the phase-field screening of the desired metallic biomaterials, a ML assisted strategy is adopted to perform multi-objective optimization of the mechanical properties, through which promising nanocomposite configurations are pre-screened for the next set of phase-field simulations. With the ML guided simulations, an optimized candidate composed of Nb-rich matrix and Nb-lean nanofillers that exhibits a combination of unprecedented mechanical properties, including ultra-low modulus, linear super-elasticity, and near-hysteresis-free is designed. The exceptional mechanical properties in the nanocomposite originate from optimized continuous MT rather than a sharp first-order transition, which is common in typical SMAs. This work provides a new computational approach and design concept for developing novel functional materials with extraordinary properties.


title: A comparative study of asymmetric dichotomous noise and symmetric trichotomous noise induced stochastic resonance in the globally coupled fractional oscillators

abstract: The collective behaviour, in respect of stochastic resonance, has been studied in globally coupled oscillators (with fractional-order intrinsic and external damping), driven by a sinusoidal force which is either noise-free or noise-modulated, and subjected to multiplicative quadratic asymmetric dichotomous or symmetric trichotomous noise perturbing the potential parameter, the coupling factor and the local drift force. The influence of coupling between the heat bath and the applied force has been included through a simple model. The effect of variation in mass, friction and potential parameters on the output amplitude gains as function of noise-intensity, has been meticulously investigated for both types of noise and the exponents governing the dependence of collective SR peak amplitude on the three oscillator parameters have been determined and analysed. The special case arising from the zero value of the potential parameter, which implies rectilinear motion of the system particles in the absence of fluctuations, has been dealt with under the influence of the second-order asymmetric dichotomous noise and stochastic resonance has been found to occur at justifiably quite low frequencies of the external force. This brings out the importance of nonlinear term in this coloured noise, for which this phenomenon is unique. The accuracy of the analytical results has been substantiated through numerical simulations.


title: Localization of two-dimensional quantum walks defined by generalized Grover coins

abstract: Localization phenomena of quantum walks makes the propagation dynamics of a walker strikingly different from that corresponding to classical random walks. In this paper, we study the localization phenomena of four-state discrete-time quantum walks on two-dimensional lattices with coin operators as one-parameter orthogonal matrices that are also permutative, a combinatorial structure of the Grover matrix. We show that the proposed walks localize at its initial position for canonical initial coin states when the coin belongs to classes which contain the Grover matrix that we consider in this paper, however, the localization phenomena depends on the coin parameter when the class of parametric coins does not contain the Grover matrix.


title: Dressed Tunneling in Soft Hair

abstract: We revisit the Parikh-Wilczek's tunneling model of Hawking radiation in the Schwarzschild black hole with soft hair. Unlike the no-hair black hole, tunneling through the degenerate event horizon generated by supertranslation hair picks up an angular dependence, which suggests a hairy modification to the Bekenstein-Hawking entropy. At last, we discuss several implications and possible observable of soft hair.


title: Extratropical low-frequency variability with ENSO forcing: A reduced-order coupled model study

abstract: The impact of the El Ni\~no-Southern Oscillation (ENSO) on the extratropics is investigated in an idealized, reduced-order model that has a tropical and an extratropical module. Unidirectional ENSO forcing is used to mimick the atmospheric bridge between the tropics and the extratropics. The variability of the coupled ocean-atmosphere extratropical module is then investigated through the analysis of its pullback attractors (PBAs). This analysis focuses on two types of ENSO forcing generated by the tropical module, one periodic and the other aperiodic. For a substantial range of the ENSO forcing, two chaotic PBAs are found to coexist for the same set of parameter values. Different types of extratropical low-frequency variability are associated with either PBA over the parameter ranges explored. For periodic ENSO forcing, the coexisting PBAs exhibit only weak nonlinear instability. For chaotic forcing, though, they are quite unstable and certain extratropical perturbations induce transitions between the two PBAs. These distinct stability properties may have profound consequences for extratropical climate predictions: in particular, ensemble averaging may no longer help isolate the low-frequency variability signal.


title: Bayesian Point Estimation and Predictive Density Estimation for the Binomial Distribution with a Restricted Probability Parameter

abstract: In this paper, we consider Bayesian point estimation and predictive density estimation in the binomial case. After presenting preliminary results on these problems, we compare the risk functions of the Bayes estimators based on the truncated and untruncated beta priors and obtain dominance conditions when the probability parameter is less than or equal to a known constant. The case where there are both a lower bound restriction and an upper bound restriction is also treated. Then our problems are shown to be related to similar problems in the Poisson case. Finally, numerical studies are presented.


title: KANDINSKYPatterns -- An experimental exploration environment for Pattern Analysis and Machine Intelligence

abstract: Machine intelligence is very successful at standard recognition tasks when having high-quality training data. There is still a significant gap between machine-level pattern recognition and human-level concept learning. Humans can learn under uncertainty from only a few examples and generalize these concepts to solve new problems. The growing interest in explainable machine intelligence, requires experimental environments and diagnostic tests to analyze weaknesses in existing approaches to drive progress in the field. In this paper, we discuss existing diagnostic tests and test data sets such as CLEVR, CLEVERER, CLOSURE, CURI, Bongard-LOGO, V-PROM, and present our own experimental environment: The KANDINSKYPatterns, named after the Russian artist Wassily Kandinksy, who made theoretical contributions to compositivity, i.e. that all perceptions consist of geometrically elementary individual components. This was experimentally proven by Hubel &Wiesel in the 1960s and became the basis for machine learning approaches such as the Neocognitron and the even later Deep Learning. While KANDINSKYPatterns have computationally controllable properties on the one hand, bringing ground truth, they are also easily distinguishable by human observers, i.e., controlled patterns can be described by both humans and algorithms, making them another important contribution to international research in machine intelligence.


title: Block-Activated Algorithms for Multicomponent Fully Nonsmooth Minimization

abstract: Under consideration are multicomponent minimization problems involving a separable nonsmooth convex function penalizing the components individually, and nonsmooth convex coupling terms penalizing linear mixtures of the components. We investigate block-activated proximal algorithms for solving such problems, i.e., algorithms which, at each iteration, need to use only a block of the underlying functions, as opposed to all of them as in standard methods. For smooth coupling functions, several block-activated algorithms exist and they are well understood. By contrast, in the fully nonsmooth case, few block-activated methods are available and little effort has been devoted to assessing them. Our goal is to shed more light on the implementation, the features, and the behavior of these algorithms, compare their merits, and provide machine learning and image recovery experiments illustrating their performance.


title: Chaos in Qubit Coupled Optomechanical Systems

abstract: We have found stable chaotic solutions for optomechanical systems coupled with a Two-Level System or qubit. In this system methods have been found which can be used to Tune in and out of Chaos as well as various n-period motions. This includes achieving chaos by changing the detuning, coupling parameters, and Power of the driving laser. This allows us to manipulate chaos using either the qubit or the optical cavity. Chaotic motion was also observed in both the qubit and cavity by only changing the relative phase between of driving fields of the two. This gives us the prospect of creating and exploring chaotic motion in quantum mechanical systems with further ease


title: Optimising top-quark threshold scan at CLIC using genetic algorithm

abstract: One of the important goals at the future $e^+e^-$ colliders is to measure the top-quark mass and width in a scan of the pair production threshold. However, the shape of the pair-production cross section at the threshold depends also on other model parameters, as the top Yukawa coupling, and the measurement is a subject to many systematic uncertainties. Presented in this work is the study of the top-quark mass determination from the threshold scan at CLIC. The most general approach is used with all relevant model parameters and selected systematic uncertainties included in the fit procedure. Expected constraints from other measurements are also taken into account. It is demonstrated that the top-quark mass can be extracted with precision of the order of 30 to 40 MeV, including considered systematic uncertainties, already for 100 fb$^{-1}$ of data collected at the threshold. Additional improvement is possible, if the running scenario is optimised. With the optimisation procedure based on the genetic algorithm the statistical uncertainty of the mass measurement can be reduced by about 20%. Influence of the collider luminosity spectra on the expected precision of the measurement is also studied.


title: An intelligent Data Delivery Service for and beyond the ATLAS experiment

abstract: The intelligent Data Delivery Service (iDDS) has been developed to cope with the huge increase of computing and storage resource usage in the coming LHC data taking. iDDS has been designed to intelligently orchestrate workflow and data management systems, decoupling data pre-processing, delivery, and main processing in various workflows. It is an experiment-agnostic service around a workflow-oriented structure to work with existing and emerging use cases in ATLAS and other experiments. Here we will present the motivation for iDDS, its design schema and architecture, use cases and current status, and plans for the future.


title: Functions on a convex set which are both $\omega$-semiconvex and $\omega$-semiconcave

abstract: Let $G \subset {\mathbb R}^{n}$ be an open convex set which is either bounded or contains a translation of a convex cone with nonempty interior. It is known that then, for every modulus $\omega$, every function on $G$ which is both semiconvex and semiconcave with modulus $\omega$ is (globally) $C^{1,\omega}$-smooth. We show that this result is optimal in the sense that the assumption on $G$ cannot be relaxed. We also present direct short proofs of the above mentioned result and of some its quantitative versions. Our results have immediate consequences concerning (i) a first-order quantitative converse Taylor theorem and (ii) the problem whether $f\in C^{1,\omega}(G)$ whenever $f$ is continuous and smooth in a corresponding sense on all lines. We hope that these consequences are of an independent interest.


title: History of Singular and its relation to Zariski's multiplicty conjecture

abstract: We give a brief historical overview of the development of the Computer Algebra System SINGULAR: why it came about and how the development was related to the attempt to refute Zariski's multiplicity conjecture.


title: $d$-balanced squeezing function

abstract: We introduce the notion of squeezing function corresponding to $d$-balanced domains motivated by the concept of generalized squeezing function given by Rong and Yang. In this work we study some of its properties and its relation with Fridman invariant.


title: Covariate balancing for causal inference on categorical and continuous treatments

abstract: We propose novel estimators for categorical and continuous treatments by using an optimal covariate balancing strategy for inverse probability weighting. The resulting estimators are shown to be consistent and asymptotically normal for causal contrasts of interest, either when the model explaining treatment assignment is correctly specified, or when the correct set of bases for the outcome models has been chosen and the assignment model is sufficiently rich. For the categorical treatment case, we show that the estimator attains the semiparametric efficiency bound when all models are correctly specified. For the continuous case, the causal parameter of interest is a function of the treatment dose. The latter is not parametrized and the estimators proposed are shown to have bias and variance of the classical nonparametric rate. Asymptotic results are complemented with simulations illustrating the finite sample properties. Our analysis of a data set suggests a nonlinear effect of BMI on the decline in self reported health.


title: Improving Medical Image Classification with Label Noise Using Dual-uncertainty Estimation

abstract: Deep neural networks are known to be data-driven and label noise can have a marked impact on model performance. Recent studies have shown great robustness to classic image recognition even under a high noisy rate. In medical applications, learning from datasets with label noise is more challenging since medical imaging datasets tend to have asymmetric (class-dependent) noise and suffer from high observer variability. In this paper, we systematically discuss and define the two common types of label noise in medical images - disagreement label noise from inconsistency expert opinions and single-target label noise from wrong diagnosis record. We then propose an uncertainty estimation-based framework to handle these two label noise amid the medical image classification task. We design a dual-uncertainty estimation approach to measure the disagreement label noise and single-target label noise via Direct Uncertainty Prediction and Monte-Carlo-Dropout. A boosting-based curriculum training procedure is later introduced for robust learning. We demonstrate the effectiveness of our method by conducting extensive experiments on three different diseases: skin lesions, prostate cancer, and retinal diseases. We also release a large re-engineered database that consists of annotations from more than ten ophthalmologists with an unbiased golden standard dataset for evaluation and benchmarking.


title: Accelerated Jarzynski Estimator with Deterministic Virtual Trajectories

abstract: The Jarzynski estimator is a powerful tool that uses nonequilibrium statistical physics to numerically obtain partition functions of probability distributions. The estimator reconstructs partition functions with trajectories of the simulated Langevin dynamics through the Jarzynski equality. However, the original estimator suffers from slow convergence because it depends on rare trajectories of stochastic dynamics. In this paper, we present a method to significantly accelerate the convergence by introducing deterministic virtual trajectories generated in augmented state space under the Hamiltonian dynamics. We theoretically show that our approach achieves second-order acceleration compared to a naive estimator with the Langevin dynamics and zero variance estimation on harmonic potentials. We also present numerical experiments on three multimodal distributions and a practical example where the proposed method outperforms the conventional method, and provide theoretical explanations.


title: Local clustering coefficient based on three-way partial correlations in climate networks as a new marker of tropical cyclone

abstract: We introduce a new network marker for climate network analysis. It is based upon an available special definition of local clustering coefficient for weighted correlation networks, which was previously introduced in the neuroscience context and aimed at compensating for uninformative correlations caused by indirect interactions. We modify this definition further by replacing Pearson's pairwise correlation coefficients and Pearson's three-way partial correlation coefficients by the respective Kendall's rank correlations. This reduces statistical sample size requirements to compute the correlations, which translates into the possibility of using shorter time windows and hence into shorter response time of the real-time climate network analysis. We compare this proposed network marker to the conventional local clustering coefficient based on unweighted networks obtained by thresholding the correlation matrix. We show several examples where the new marker is found to be better associated to tropical cyclones than the unweighted local clustering coefficient.


title: Sensitivity of low-rank matrix recovery

abstract: We characterize the first-order sensitivity of approximately recovering a low-rank matrix from linear measurements, a standard problem in compressed sensing. A special case covered by our analysis is approximating an incomplete matrix by a low-rank matrix. We give an algorithm for computing the associated condition number and demonstrate experimentally how the number of linear measurements affects it. In addition, we study the condition number of the rank-r matrix approximation problem. It measures in the Frobenius norm by how much an infinitesimal perturbation to an arbitrary input matrix is amplified in the movement of its best rank-r approximation. We give an explicit formula for the condition number, which shows that it does depend on the relative singular value gap between the rth and (r+1)th singular values of the input matrix.


title: An Efficient Indexing and Searching Technique for Information Retrieval for Urdu Language

abstract: Indexing techniques are used to improve retrieval of data in response to certain search condition. Inverted files are mostly used for creating indexes. This paper proposes indexing technique for Urdu language. Language processing step in Index creation is different for a particular language. We discuss index creation steps specifically for Urdu language. We explore morphological rules for Urdu language and implement these rules to create Urdu stemmer. We implement our proposed technique with different implementations and compare results. We suggest that indexes should be created without stop words and also index file should be an order index file.


title: Exact Simulation of Max-Infinitely Divisible Processes

abstract: Max-infinitely divisible (max-id) processes play a central role in extreme-value theory and include the subclass of all max-stable processes. They allow for a constructive representation based on the pointwise maximum of random functions drawn from a Poisson point process defined on a suitable function space. Simulating from a max-id process is often difficult due to its complex stochastic structure, while calculating its joint density in high dimensions is often numerically infeasible. Therefore, exact and efficient simulation techniques for max-id processes are useful tools for studying the characteristics of the process and for drawing statistical inferences. Inspired by the simulation algorithms for max-stable processes, theory and algorithms to generalize simulation approaches tailored for certain flexible (existing or new) classes of max-id processes are presented. Efficient simulation for a large class of models can be achieved by implementing an adaptive rejection sampling scheme to sidestep a numerical integration step in the algorithm. The results of a simulation study highlight that our simulation algorithm works as expected and is highly accurate and efficient, such that it clearly outperforms customary approximate sampling schemes. As a by-product, new max-id models, which can be represented as pointwise maxima of general location-scale mixtures and possess flexible tail dependence structures capturing a wide range of asymptotic dependence scenarios, are also developed.


title: RIS-Aided Wireless Communications: Prototyping, Adaptive Beamforming, and Indoor/Outdoor Field Trials

abstract: The prospects of using a Reconfigurable Intelligent Surface (RIS) to aid wireless communication systems have recently received much attention from academia and industry. Most papers make theoretical studies based on elementary models, while the prototyping of RIS-aided wireless communication and real-world field trials are scarce. In this paper, we describe a new RIS prototype consisting of 1100 controllable elements working at 5.8 GHz band. We propose an efficient algorithm for configuring the RIS over the air by exploiting the geometrical array properties and a practical receiver-RIS feedback link. In our indoor test, where the transmitter and receiver are separated by a 30 cm thick concrete wall, our RIS prototype provides a 26 dB power gain compared to the baseline case where the RIS is replaced by a copper plate. A 27 dB power gain was observed in the short-distance outdoor measurement. We also carried out long-distance measurements and successfully transmitted a 32 Mbps data stream over 500 m. A 1080p video was live-streamed and it only played smoothly when the RIS was utilized. The power consumption of the RIS is around 1 W. Our paper is vivid proof that the RIS is a very promising technology for future wireless communications.


title: A multi-objective time series analysis of community mobility reduction comparing first and second COVID-19 waves

abstract: With the logistic challenges faced by most countries for the production, distribution, and application of vaccines for the novel coronavirus disease~(COVID-19), social distancing~(SD) remains the most tangible approach to mitigate the spread of the virus. To assist SD monitoring, several tech companies have made publicly available anonymized mobility data. In this work, we conduct a multi-objective mobility reduction rate comparison between the first and second COVID-19 waves in several localities from America and Europe using Google community mobility reports~(CMR) data. Through multi-dimensional visualization, we are able to compare in a Pareto-compliant way the reduction in mobility from the different lockdown periods for each locality selected, simultaneously considering all place categories provided in CMR. In addition, our analysis comprises a 56-day lockdown period for each locality and COVID-19 wave, which we analyze both as 56-day periods and as 14-day consecutive windows. Results vary considerably as a function of the locality considered, particularly when the temporal evolution of the mobility reduction is considered. We thus discuss each locality individually, relating social distancing measures and the reduction observed.


title: Towards Conversational Humor Analysis and Design

abstract: Well-defined jokes can be divided neatly into a setup and a punchline. While most works on humor today talk about a joke as a whole, the idea of generating punchlines to a setup has applications in conversational humor, where funny remarks usually occur with a non-funny context. Thus, this paper is based around two core concepts: Classification and the Generation of a punchline from a particular setup based on the Incongruity Theory. We first implement a feature-based machine learning model to classify humor. For humor generation, we use a neural model, and then merge the classical rule-based approaches with the neural approach to create a hybrid model. The idea behind being: combining insights gained from other tasks with the setup-punchline model and thus applying it to existing text generation approaches. We then use and compare our model with human written jokes with the help of human evaluators in a double-blind study.


title: Foliations on $\mathbb{P}^2$ with only one singular point

abstract: In this paper we study holomorphic foliations on $\mathbb{P}^2$ with only one singular point. If the singularity has algebraic multiplicity one, we prove that the foliation has no invariant algebraic curve. We also present several examples of such foliations in degree three.


title: Insights and alternative proposals on the phase retrieval in high resolution transmission electron microscopy

abstract: Alternative reconstruction method is proposed on retrieving the object exit wave function (OEW) directly from the recorded image intensity pattern in high resolution transmission electron microscopy (HRTEM). The method is based on applying a modified intensity equation representing the HRTEM image. A comparative discussion is provided between the existing methodologies involved in reconstruction of OEW, off-axis electron holography and the present proposal. Phase shift extracted from the experimental images of MoS2, BN and ZnO are found to be in excellent agreement with the theoretical reference values. Additionally, it is shown that the Fourier series expansion of diffraction pattern is effective in retrieving the isolated and periodic image functions of certain form directly. However, for aperiodic object information e.g., defects, dopants, edges etc., the first method works in entirety.


title: Phase-Field Modeling of Selective Laser Brazing of Diamond Grits

abstract: Diamond grit is widely used in cutting, grinding, and polishing tools for its superior mechanical properties and performance in machining hard materials. Selective laser brazing (SLB) of diamond grits is a new additive manufacturing technique that has great potential to fabricate the next generation of high-performance diamond tools. However, fundamental understanding and quantitative analysis for the design and tuning of the SLB process and the resulting bonding efficiency are not yet established as the process is complicated by heating, fusion, wetting, solidification, grit migration, bonding, reaction, and the interplay between these effects. We present a thermodynamically consistent phase-field theoretical model for the prediction of melting and wetting of SLB on diamond grits using a powder-based additive manufacturing technique. The melting dynamics is driven by laser heating in a chamber filled with argon gas and is coupled with the motion of multiple three-phase contact lines. The relevant wetting dynamics, interfacial morphology, and temperature distribution are computationally resolved in a simplified 2D configuration.


title: Formal Analysis of Composable DeFi Protocols

abstract: Decentralized finance (DeFi) has become one of the most successful applications of blockchain and smart contracts. The DeFi ecosystem enables a wide range of crypto-financial activities, while the underlying smart contracts often contain bugs, with many vulnerabilities arising from the unforeseen consequences of composing DeFi protocols together. In this paper, we propose a formal process-algebraic technique that models DeFi protocols in a compositional manner to allow for efficient property verification. We also conduct a case study to demonstrate the proposed approach in analyzing the composition of two interacting DeFi protocols, namely, Curve and Compound. Finally, we discuss how the proposed modeling and verification approach can be used to analyze financial and security properties of interest.


title: Dados Abertos Governamentais no contexto de Pol\'iticas P\'ublicas de Sa\'ude e Sistemas Prisionais: Realidade ou Utopia?

abstract: There are many initiatives of transparency reported in the access and use of government open data for different purposes. This practice reveals an important requirement to accomplish the participatory governance. The literature has reported a minimal set of criteria to categorize a specific data repository as open. This paper discusses to which extent specific national and international data repositories address these criteria. The analyzed repositories focus on public health and prison systems. The results show different levels of alignment to the criteria and provide evidence that the adoption of government open data practices are a reality. On the other hand, there is still a long way to achieve full alignment to the stated criteria.


title: Deep Neural Networks with ReLU-Sine-Exponential Activations Break Curse of Dimensionality in Approximation on H\"older Class

abstract: In this paper, we construct neural networks with ReLU, sine and $2^x$ as activation functions. For general continuous $f$ defined on $[0,1]^d$ with continuity modulus $\omega_f(\cdot)$, we construct ReLU-sine-$2^x$ networks that enjoy an approximation rate $\mathcal{O}(\omega_f(\sqrt{d})\cdot2^{-M}+\omega_{f}\left(\frac{\sqrt{d}}{N}\right))$, where $M,N\in \mathbb{N}^{+}$ denote the hyperparameters related to widths of the networks. As a consequence, we can construct ReLU-sine-$2^x$ network with the depth $5$ and width $\max\left\{\left\lceil2d^{3/2}\left(\frac{3\mu}{\epsilon}\right)^{1/{\alpha}}\right\rceil,2\left\lceil\log_2\frac{3\mu d^{\alpha/2}}{2\epsilon}\right\rceil+2\right\}$ that approximates $f\in \mathcal{H}_{\mu}^{\alpha}([0,1]^d)$ within a given tolerance $\epsilon >0$ measured in $L^p$ norm $p\in[1,\infty)$, where $\mathcal{H}_{\mu}^{\alpha}([0,1]^d)$ denotes the H\"older continuous function class defined on $[0,1]^d$ with order $\alpha \in (0,1]$ and constant $\mu > 0$. Therefore, the ReLU-sine-$2^x$ networks overcome the curse of dimensionality on $\mathcal{H}_{\mu}^{\alpha}([0,1]^d)$. In addition to its supper expressive power, functions implemented by ReLU-sine-$2^x$ networks are (generalized) differentiable, enabling us to apply SGD to train.


title: On the Utility of Gradient Compression in Distributed Training Systems

abstract: A rich body of prior work has highlighted the existence of communication bottlenecks in synchronous data-parallel training. To alleviate these bottlenecks, a long line of recent work proposes gradient and model compression methods. In this work, we evaluate the efficacy of gradient compression methods and compare their scalability with optimized implementations of synchronous data-parallel SGD across more than 200 different setups. Surprisingly, we observe that only in 6 cases out of more than 200, gradient compression methods provide speedup over optimized synchronous data-parallel training in the typical data-center setting. We conduct an extensive investigation to identify the root causes of this phenomenon, and offer a performance model that can be used to identify the benefits of gradient compression for a variety of system setups. Based on our analysis, we propose a list of desirable properties that gradient compression methods should satisfy, in order for them to provide a meaningful end-to-end speedup.


title: Mahler's question for intrinsic Diophantine approximation on triadic Cantor set: the divergence theory

abstract: In this paper, we consider the intrinsic Diophantine approximation on the triadic Cantor set $\mathcal{K}$, i.e. approximating the points in $\mathcal{K}$ by rational numbers inside $\mathcal{K}$, a question posed by K. Mahler. By using another height function of a rational number in $\mathcal{K}$, i.e. the denominator obtained from its periodic 3-adic expansion, a complete metric theory for this variant intrinsic Diophantine approximation is presented which yields the divergence theory of Mahler's original question.


title: Snowy Night-to-Day Translator and Semantic Segmentation Label Similarity for Snow Hazard Indicator

abstract: In 2021, Japan recorded more than three times as much snowfall as usual, so road user maybe come across dangerous situation. The poor visibility caused by snow triggers traffic accidents. For example, 2021 January 19, due to the dry snow and the strong wind speed of 27 m / s, blizzards occurred and the outlook has been ineffective. Because of the whiteout phenomenon, multiple accidents with 17 casualties occurred, and 134 vehicles were stacked up for 10 hours over 1 km. At the night time zone, the temperature drops and the road surface tends to freeze. CCTV images on the road surface have the advantage that we enable to monitor the status of major points at the same time. Road managers are required to make decisions on road closures and snow removal work owing to the road surface conditions even at night. In parallel, they would provide road users to alert for hazardous road surfaces. This paper propose a method to automate a snow hazard indicator that the road surface region is generated from the night snow image using the Conditional GAN, pix2pix. In addition, the road surface and the snow covered ROI are predicted using the semantic segmentation DeepLabv3+ with a backbone MobileNet, and the snow hazard indicator to automatically compute how much the night road surface is covered with snow. We demonstrate several results applied to the cold and snow region in the winter of Japan January 19 to 21 2021, and mention the usefulness of high similarity between snowy night-to-day fake output and real snowy day image for night snow visibility.


title: Diophantine analysis of the expansions of a fixed point under continuum many bases

abstract: In this paper, we study the Diophantine properties of the orbits of a fixed point in its expansions under continuum many bases. More precisely, let $T_{\beta}$ be the beta-transformation with base $\beta>1$, $\{x_{n}\}_{n\geq 1}$ be a sequence of real numbers in $[0,1]$ and $\varphi\colon \mathbb{N}\rightarrow (0,1]$ be a positive function. With a detailed analysis on the distribution of {\em full cylinders} in the base space $\{\beta>1\}$, it is shown that for any given $x\in(0,1]$, for almost all or almost no bases $\beta>1$, the orbit of $x$ under $T_{\beta}$ can $\varphi$-well approximate the sequence $\{x_{n}\}_{n\geq 1}$ according to the divergence or convergence of the series $\sum \varphi(n)$. This strengthens Schmeling's result significantly and complete all known results in this aspect. Moreover, the idea presented here can also be used to determine the Lebesgue measure of the set \begin{equation*} \{x\in [0,1]\colon|T^{n}_{\beta}x-L(x)|<\varphi(n) \text{ for infinitely many } n\in\mathbb{N}\}, \end{equation*} for a fixed base $\beta>1$, where $L\colon [0,1]\rightarrow[0,1]$ is a Lipschitz function.


title: All finitely generated 3-manifold groups are Grothendieck rigid

abstract: In this paper, we prove that all finitely generated 3-manifold groups are Grothendieck rigid. More precisely, for any finitely generated 3-manifold group $G$ and any finitely generated proper subgroup $H<G$, we prove that the inclusion induced homomorphism $\widehat{i}:\widehat{H}\to \widehat{G}$ on profinite completions is not an isomorphism.


title: An Intelligent Multi-Speed Advisory System using Improved Whale Optimisation Algorithm

abstract: An intelligent speed advisory system can be used to recommend speed for vehicles travelling in a given road network in cities. In this paper, we extend our previous work where a distributed speed advisory system has been devised to recommend an optimal consensus speed for a fleet of Internal Combustion Engine Vehicles (ICEVs) in a highway scenario. In particular, we propose a novel optimisation framework where the exact format of each vehicle's cost function can be implicit, and our algorithm can be used to recommend multiple consensus speeds for vehicles travelling on different lanes in an urban highway scenario. Our studies show that the proposed scheme based on an improved whale optimisation algorithm can effectively reduce CO2 emission generated from ICEVs while providing different recommended speed options for groups of vehicles.


title: Operational Calculus for the general fractional derivatives with the Sonine kernels

abstract: In this paper, we first address the general fractional integrals and derivatives with the Sonine kernels that possess the integrable singularities of power function type at the point zero. Both particular cases and compositions of these operators are discussed. Then we proceed with a construction of an operational calculus of the Mikusi\'nski type for the general fractional derivatives with the Sonine kernels. This operational calculus is applied for analytical treatment of some initial value problems for the fractional differential equations with the general fractional derivatives. The solutions are expressed in form of the convolution series that generalize the power series for the exponential and the Mittag-Leffler functions.


title: A Survey on Deep Semi-supervised Learning

abstract: Deep semi-supervised learning is a fast-growing field with a range of practical applications. This paper provides a comprehensive survey on both fundamentals and recent advances in deep semi-supervised learning methods from perspectives of model design and unsupervised loss functions. We first present a taxonomy for deep semi-supervised learning that categorizes existing methods, including deep generative methods, consistency regularization methods, graph-based methods, pseudo-labeling methods, and hybrid methods. Then we provide a comprehensive review of 52 representative methods and offer a detailed comparison of these methods in terms of the type of losses, contributions, and architecture differences. In addition to the progress in the past few years, we further discuss some shortcomings of existing methods and provide some tentative heuristic solutions for solving these open problems.


title: On Liouville-type theorems for the 2D stationary MHD equations

abstract: We establish new Liouville-type theorems for the two-dimensional stationary magneto-hydrodynamic incompressible system assuming that the velocity and magnetic field have bounded Dirichlet integral. The key tool in our proof is observing that the stream function associated to the magnetic field satisfies a simple drift-diffusion equation for which a maximum principle is available.


title: Growing Solutions of the fractional $p$-Laplacian equation in the Fast Diffusion Range

abstract: We establish existence, uniqueness as well as quantitative estimates for solutions to the fractional nonlinear diffusion equation, $\partial_t u +{\mathcal L}_{s,p} (u)=0$, where ${\mathcal L}_{s,p}=(-\Delta)_p^s$ is the standard fractional $p$-Laplacian operator. We work in the range of exponents $0<s<1$ and $1<p<2$, and in some sections $sp<1$. The equation is posed in the whole space $x\in {\mathbb R}^N$. We first obtain weighted global integral estimates that allow establishing the existence of solutions for a class of large data that is proved to be roughly optimal. We study the class of self-similar solutions of forward type, that we describe in detail when they exist. We also explain what happens when possible self-similar solutions do not exist. We establish the dichotomy positivity versus extinction for nonnegative solutions at any given time. We analyze the conditions for extinction in finite time.


title: Population Interference in Panel Experiments

abstract: The phenomenon of population interference, where a treatment assigned to one experimental unit affects another experimental unit's outcome, has received considerable attention in standard randomized experiments. The complications produced by population interference in this setting are now readily recognized, and partial remedies are well known. Much less understood is the impact of population interference in panel experiments where treatment is sequentially randomized in the population, and the outcomes are observed at each time step. This paper proposes a general framework for studying population interference in panel experiments and presents new finite population estimation and inference results. Our findings suggest that, under mild assumptions, the addition of a temporal dimension to an experiment alleviates some of the challenges of population interference for certain estimands. In contrast, we show that the presence of carryover effects -- that is, when past treatments may affect future outcomes -- exacerbates the problem. Revisiting the special case of standard experiments with population interference, we prove a central limit theorem under weaker conditions than previous results in the literature and highlight the trade-off between flexibility in the design and the interference structure.


title: Effects of thermal emission on Chandrasekhar's semi-infinite diffuse reflection problem

abstract: Context: The analytical results of Chandrasekhar's semi-infinite diffuse reflection problem is crucial in the context of stellar or planetary atmosphere. However, the atmospheric emission effect was not taken into account in this model, and the solutions are applicable only for diffusely scattering atmosphere in absence of emission. Aim: We extend the model of semi-infinite diffuse reflection problem by including the effects of thermal emission B(T ), and present how this affects Chandrasekhar's analytical end results. Hence, we aim to generalize Chandrasekhar's model to provide a complete picture of this problem. Method: We use Invariance Principle Method to find the radiative transfer equation accurate for diffuse reflection in presence of B(T ). Then we derive the modified scattering function S(${\mu},{\phi}; {\mu}_0 , {\phi}_0$ ) for different kind of phase functions. Results: We find that, the scattering function S(${\mu}, {\phi}; {\mu}_0 , {\phi}_0$ ) as well as diffusely reflected specific intensity $I(0, {\mu}; {\mu}_0 )$ for different phase functions are modified due to the emission $B(T)$ from layer ${\tau} = 0$. In both cases, B(T) is added to the results of only scattering case derived by Chandrasekhar, with some multiplicative factors. Thus the diffusely reflected spectra will be enriched and carries the temperature information of ${\tau} = 0$ layer. As the effects are additive in nature, hence our model reduces to the sub-case of Chandrasekhar's scattering model in case of $B(T) = 0$. We conclude that our generalized model provides more accurate results due to the inclusion of the thermal emission effect in Chandrasekhar's semi-infinite atmosphere problem.


title: Online Partial Service Hosting at the Edge

abstract: We consider the problem of service hosting where an application provider can dynamically rent edge computing resources and serve user requests from the edge to deliver a better quality of service. A key novelty of this work is that we allow the service to be hosted partially at the edge which enables a fraction of the user query to be served by the edge. We model the total cost for (partially) hosting a service at the edge as a combination of the latency in serving requests, the bandwidth consumption, and the time-varying cost for renting edge resources. We propose an online policy called $\alpha$-RetroRenting ($\alpha$-RR) which dynamically determines the fraction of the service to be hosted at the edge in any time-slot, based on the history of the request arrivals and the rent cost sequence. As our main result, we derive an upper bound on $\alpha$-RR's competitive ratio with respect to the offline optimal policy that knows the entire request arrival and rent cost sequence in advance. We conduct extensive numerical evaluations to compare the performance of $\alpha$-RR with various benchmarks for synthetic and trace-based request arrival and rent cost processes, and find several parameter regimes where $\alpha$-RR's ability to store the service partially greatly improves cost-efficiency.


title: On viability of inflation in non-minimal kinetic coupling theory

abstract: We consider initial conditions for inflation in non-minimal kinetic coupling theory. If inflation is driven solely by kinetic term with no potential, the resulting number of e-folds depends only upon initial velocity of the scalar field $\dot \phi$. We write down the expression for the number of e-folds explicitly, and show that for physically reasonable values of the coupling constant, we can get 60 e-folds only for exponentially big initial $\dot \phi$. When the scalar field potential is taken into account, on the other hand, we need not very large $\dot \phi$ to start with for 60 e-folds, on the other hand, some initial condition lead to physically inadmissible eternal inflation. We show numerically that in the measure used in the present paper only smaller part of initial conditions lead to eternal inflation for reasonable values of the coupling constant.


title: Algorithmic subsampling under multiway clustering

abstract: This paper proposes a novel method of algorithmic subsampling (data sketching) for multiway cluster dependent data. We establish a new uniform weak law of large numbers and a new central limit theorem for the multiway algorithmic subsample means. Consequently, we discover an additional advantage of the algorithmic subsampling that it allows for robustness against potential degeneracy, and even non-Gaussian degeneracy, of the asymptotic distribution under multiway clustering. Simulation studies support this novel result, and demonstrate that inference with the algorithmic subsampling entails more accuracy than that without the algorithmic subsampling. Applying these basic asymptotic theories, we derive the consistency and the asymptotic normality for the multiway algorithmic subsampling generalized method of moments estimator and for the multiway algorithmic subsampling M-estimator. We illustrate an application to scanner data.


title: Is Simple Uniform Sampling Effective for Center-Based Clustering with Outliers: When and Why?

abstract: Real-world datasets often contain outliers, and the presence of outliers can make the clustering problems to be much more challenging. In this paper, we propose a simple uniform sampling framework for solving three representative center-based clustering with outliers problems: $k$-center/median/means clustering with outliers. Our analysis is fundamentally different from the previous (uniform and non-uniform) sampling based ideas. To explain the effectiveness of uniform sampling in theory, we introduce a measure of "significance" and prove that the performance of our framework depends on the significance degree of the given instance. In particular, the sample size can be independent of the input data size $n$ and the dimensionality $d$, if we assume the given instance is "significant", which is in fact a fairly reasonable assumption in practice. Due to its simplicity, the uniform sampling approach also enjoys several significant advantages over the non-uniform sampling approaches in practice. To the best of our knowledge, this is the first work that systematically studies the effectiveness of uniform sampling from both theoretical and experimental aspects.


title: Shaping convex edges in borosilicate glass by single pass perforation with an Airy beam

abstract: We demonstrate curved modifications with lengths of up to 2 mm within borosilicate glass produced by single 1030 nm picosecond laser shots with an Airy beam profile. Plasma ignition in the side lobes of the beam as well as surface damage prove to be the crucial limitations for confined bulk energy deposition on a curved trajectory. A combined experimental and numerical analysis reveals optimum laser parameters for confined bulk energy deposition. This way we achieved single pass cutting of a 525 $\mu$m thick glass sheet with a well defined convex edge down to a bending radius of 774 $\mu$m.


title: Perspectives on individual animal identification from biology and computer vision

abstract: Identifying individual animals is crucial for many biological investigations. In response to some of the limitations of current identification methods, new automated computer vision approaches have emerged with strong performance. Here, we review current advances of computer vision identification techniques to provide both computer scientists and biologists with an overview of the available tools and discuss their applications. We conclude by offering recommendations for starting an animal identification project, illustrate current limitations and propose how they might be addressed in the future.


title: CMB polarization analysis on circular scans

abstract: Most cosmic microwave background experiments observe the sky along circular or near-circular scans on the celestial sphere. For such experiments, we show that simple linear systems connect the Fourier spectra of temperature and polarization time-ordered data to the harmonic spectra of T, E and B on the sphere. We show how this can be used to estimate those spectra directly from data streams. In addition, the inversion of the linear system that connects Fourier spectra to angular power spectra offers a natural way to down-weight those modes of observation most contaminated by low-frequency noise, ground pickup, or fluctuations of atmospheric emission on large angular scale. This can be of interest for the analysis of future CMB data sets, as an alternative or in complement to other approaches that involve map-making as a first analysis step.


title: CREATe: Clinical Report Extraction and Annotation Technology

abstract: Clinical case reports are written descriptions of the unique aspects of a particular clinical case, playing an essential role in sharing clinical experiences about atypical disease phenotypes and new therapies. However, to our knowledge, there has been no attempt to develop an end-to-end system to annotate, index, or otherwise curate these reports. In this paper, we propose a novel computational resource platform, CREATe, for extracting, indexing, and querying the contents of clinical case reports. CREATe fosters an environment of sustainable resource support and discovery, enabling researchers to overcome the challenges of information science. An online video of the demonstration can be viewed at https://youtu.be/Q8owBQYTjDc.


title: The strong amalgamation property into union

abstract: We consider the situation in which some class of structures has the Strong Amalgamation Property (SAP) with the further requirement that the amalgamating structure can be taken over the set theoretical union of (the images of) the domains of the structures to be amalgamated. We call this property SAPU. The main advantage of SAPU over SAP is that there are many preservation theorems showing that we can merge different theories with SAPU still obtaining a theory with SAPU, hence with SAP. In particular, we get SAPU for various theories with many binary relations, each relation satisfying any set of properties chosen among transitivity, reflexivity, symmetry, antireflexivity, antisymmetry. We may also add unary operations, possibly satisfying some coarseness, isotonicity and closure conditions. SAPU is not limited to relational theories: the varieties defining the most usual Maltsev conditions in universal algebra have SAPU. Other examples include bounded directoids, order algebras and various generalization.


title: An Introduction to Johnson-Lindenstrauss Transforms

abstract: Johnson--Lindenstrauss Transforms are powerful tools for reducing the dimensionality of data while preserving key characteristics of that data, and they have found use in many fields from machine learning to differential privacy and more. This note explains what they are; it gives an overview of their use and their development since they were introduced in the 1980s; and it provides many references should the reader wish to explore these topics more deeply.


title: Modelling Optimal Policies of Demand Responsive Transport and Interrelationships between Occupancy Rate and Costs

abstract: This paper presents a model addressing welfare optimal policies of demand responsive transportation service, where passengers cause external travel time costs for other passengers due to the route changes. Optimal pricing and trip production policies are modelled both on the aggregate level and on the network level. The aggregate model is an extension from Jokinen (2016) with flat pricing model, but occupancy rate is now modelled as an endogenous variable depending on demand and capacity levels. The network model enables to describe differences between routes from the viewpoint of occupancy rate and efficient trip combining. Moreover, the model defines the optimal differentiated pricing for routes.


title: Null Dimensional Reduction of M2-Brane

abstract: We perform a general reduction of an M2-brane on a space-time that admits a null Killing vector leading to fundamental string and D2-brane action in Newton-Cartan background.


title: Randomization Inference for Composite Experiments with Spillovers and Peer Effects

abstract: Group-formation experiments, in which experimental units are randomly assigned to groups, are a powerful tool for studying peer effects in the social sciences. Existing design and analysis approaches allow researchers to draw inference from such experiments without relying on parametric assumptions. In practice, however, group-formation experiments are often coupled with a second, external intervention, that is not accounted for by standard nonparametric approaches. This note shows how to construct Fisherian randomization tests and Neymanian asymptotic confidence intervals for such composite experiments, including in settings where the second intervention exhibits spillovers. We also propose an approach for designing optimal composite experiments.


title: A new sample of warm extreme debris disks from the ALLWISE catalog

abstract: Extreme debris disks (EDDs) are rare systems with peculiarly large amounts of warm dust that may stem from recent giant impacts between planetary embryos during the final phases of terrestrial planet growth. Here we report on the identification and characterization of six new EDDs. These disks surround F5-G9 type main-sequence stars with ages >100 Myr, have dust temperatures higher than 300K and fractional luminosities between 0.01 and 0.07. Using time-domain photometric data at 3.4 and 4.6$\mu$m from the WISE all sky surveys, we conclude that four of these disks exhibited variable mid-infrared emission between 2010 and 2019. Analyzing the sample of all known EDDs, now expanded to 17 objects, we find that 14 of them showed changes at 3-5$\mu$m over the past decade suggesting that mid-infrared variability is an inherent characteristic of EDDs. We also report that wide-orbit pairs are significantly more common in EDD systems than in the normal stellar population. While current models of rocky planet formation predict that the majority of giant collisions occur in the first 100 Myr, we find that the sample of EDDs is dominated by systems older than this age. This raises the possibility that the era of giant impacts may be longer than we think, or that some other mechanism(s) can also produce EDDs. We examine a scenario where the observed warm dust stems from the disruption and/or collisions of comets delivered from an outer reservoir into the inner regions, and explore what role the wide companions could play in this process.


title: Optimal Classification for Functional Data

abstract: A central topic in functional data analysis is how to design an optimaldecision rule, based on training samples, to classify a data function. We exploit the optimal classification problem when data functions are Gaussian processes. Sharp nonasymptotic convergence rates for minimax excess mis-classification risk are derived in both settings that data functions are fully observed and discretely observed. We explore two easily implementable classifiers based on discriminant analysis and deep neural network, respectively, which are both proven to achieve optimality in Gaussian setting. Our deepneural network classifier is new in literature which demonstrates outstanding performance even when data functions are non-Gaussian. In case of discretely observed data, we discover a novel critical sampling frequency thatgoverns the sharp convergence rates. The proposed classifiers perform favorably in finite-sample applications, as we demonstrate through comparisonswith other functional classifiers in simulations and one real data application.


title: Large eddy simulations of cavitating flow in a step nozzle with injection into gas

abstract: We present results of large eddy simulations of a cavitating nozzle flow and injection into gas, investigating the interactions of cavitation in the nozzle, primary jet breakup, mass-flow rates, and gas entrainment. During strong cavitation, detached vapor structures can reach the nozzle outlet, leading to partial entrainment of gas from the outflow region into the nozzle. The gas entrainment can affect cavitation dynamics, mass-flow rates, and jet breakup. Moreover, the implosion of detached vapor structures induces pressure peaks that on the one hand amplify turbulent fluctuations and subsequently can enhance jet breakup and on the other hand can damage walls in the proximity and thus lead to cavitation erosion. Our numerical setup is based on a reference experiment, in which liquid water is discharged into ambient air through a step nozzle. The cavitating liquid and the non-condensable gas phase are modeled with a barotropic homogeneous mixture model while for the numerical model a high-order implicit large eddy approach is employed. Full compressibility of all components is taken into account, enabling us to capture the effects of collapsing vapor structures. Two operating points covering different cavitation regimes and jet characteristics are investigated. Special emphasis is placed on studying the effects of cavitation on the mass flow and the jet as well as the impact of partial gas entrainment. Therefore, frequency analyses of the recorded time-resolved signals are performed. Furthermore, the dynamics and intensities of imploding vapor structures are assessed.


title: Performance Optimization of SU3_Bench on Xeon and Programmable Integrated Unified Memory Architecture

abstract: SU3\_Bench is a microbenchmark developed to explore performance portability across multiple programming models/methodologies using a simple, but nontrivial, mathematical kernel. This kernel has been derived from the MILC lattice quantum chromodynamics (LQCD) code. SU3\_Bench is bandwidth bound and generates regular compute and data access patterns. Therefore, on most traditional CPU and GPU-based systems, its performance is mainly determined by the achievable memory bandwidth. Although SU3\_Bench is a simple kernel, experience says its subtleties require a certain amount of tweaking to achieve peak performance for a given programming model and hardware, making performance portability challenging. In this paper, we share some of the challenges in obtaining the peak performance for SU3\_Bench on a state-of-the-art Intel Xeon machine, due to the nuances of variable definition, the nature of compiler-provided default constructors, how memory is accessed at object creation time, and the NUMA effects on the machine. We discuss how to tackle those challenges to improve SU3\_Bench's performance by \(2\times\) compared to the original OpenMP implementation available at Github. This provides a valuable lesson for other similar kernels. Expanding on the performance portability aspects, we also show early results obtained porting SU3\_Bench to the new Intel Programmable Integrated Unified Memory Architecture (PIUMA), characterized by a more balanced flops-to-byte ratio. This paper shows that it is not the usual bandwidth or flops, rather the pipeline throughput, that determines SU3\_Bench's performance on PIUMA. Finally, we show how to improve performance on PIUMA and how that compares with the performance on Xeon, which has around one order of magnitude more flops-per-byte.


title: Top mass shift resulting from the recalibration of flavor-dependent jet energy corrections in the D{\O} lepton+jets top mass measurement

abstract: We review the possible effects of the miscalibration of the flavor-dependent Jet Energy Corrections ($F_{\mathrm{Corr}}$) on the D{\O} lepton+jets top mass measurement. The work is based on a previous study, where the D{\O} $F_{\mathrm{Corr}}$ calibration procedure was repeated based on the release of the internal D{\O} notes after a 5-year moratorium. The cited study was motivated by the extraordinary precision claimed by D{\O} in their top mass measurement. Using a Pythia6-based $F_{\mathrm{Corr}}$ recalibration, the $m_t$ result was shifted from 174.95 to 173.16 GeV. Moreover, utilizing a Herwig7-based $F_{\mathrm{Corr}}$ calibration (not accounted for in D{\O} studies), a shift down to 171.84 GeV was observed. We find this both convincing and specific evidence for re-reviewing a part of the $F_{\mathrm{Corr}}$ calibration process. However, D{\O} has been unwilling to open such studies or to provide other convincing counter-evidence.


title: RuSentEval: Linguistic Source, Encoder Force!

abstract: The success of pre-trained transformer language models has brought a great deal of interest on how these models work, and what they learn about language. However, prior research in the field is mainly devoted to English, and little is known regarding other languages. To this end, we introduce RuSentEval, an enhanced set of 14 probing tasks for Russian, including ones that have not been explored yet. We apply a combination of complementary probing methods to explore the distribution of various linguistic properties in five multilingual transformers for two typologically contrasting languages -- Russian and English. Our results provide intriguing findings that contradict the common understanding of how linguistic knowledge is represented, and demonstrate that some properties are learned in a similar manner despite the language differences.


title: Random tree Besov priors -- Towards fractal imaging

abstract: We propose alternatives to Bayesian a priori distributions that are frequently used in the study of inverse problems. Our aim is to construct priors that have similar good edge-preserving properties as total variation or Mumford-Shah priors but correspond to well defined infinite-dimensional random variables, and can be approximated by finite-dimensional random variables. We introduce a new wavelet-based model, where the non zero coefficient are chosen in a systematic way so that prior draws have certain fractal behaviour. We show that realisations of this new prior take values in some Besov spaces and have singularities only on a small set $\tau$ that has a certain Hausdorff dimension. We also introduce an efficient algorithm for calculating the MAP estimator, arising from the the new prior, in denoising problem.


title: A Note on Electrified Droplets

abstract: We give an in-depth analysis of a 1-parameter family of electrified droplets first described in D. Khavinson et. al. (2005). We also investigate a technique for searching for new solutions to the droplet equation, and rederive via this technique a 1-parameter family of physical droplets, which were first discovered by D. Crowdy (1999). We speculate on extensions of these solutions, in particular to the case of a droplet with multiple connected components.


title: A causal and continuous interpretation of the quantum theory: About an original manuscript by David Bohm sent to Louis de Broglie in 1951

abstract: The aim of this article is reproduce and analyze an original article of David Bohm sent to Louis de Broglie in 1951. This article is the older document of David Bohm about his well known hidden variable theory based on the pilot wave interpretation of Louis de Broglie. We analyse the chronology and the history of this fascinating document.


title: Multi-particle systems on the lattice and chiral extrapolations: a brief review

abstract: The extraction of two- and three-body hadronic scattering amplitudes and the properties of the low-lying hadronic resonances from the finite-volume energy levels in lattice QCD represents a rapidly developing field of research. The use of various modifications of the L\"uscher finite-volume method has opened a path to calculate infinite-volume scattering amplitudes on the lattice. Many new results have been obtained recently for different two- and three-body scattering processes, including the extraction of resonance poles and their properties from lattice data. Such studies, however, require robust parametrizations of the infinite-volume scattering amplitudes, which rely on basic properties of $S$-matrix theory and -- preferably -- encompass systems with quark masses at and away from the physical point. Parametrizations of this kind, provided by unitarized Chiral Perturbation Theory, are discussed in this review. Special attention is paid to three-body systems on the lattice, owing to the rapidly growing interest in the field. Here, we briefly survey the formalism, chiral extrapolation, as well as finite-volume analyses of lattice data.


title: ShowerModel: A Python package for modelling cosmic-rayshowers, their light production and their detection

abstract: Cosmic-ray observatories necessarily rely on Monte Carlo simulations for their design, calibration and analysis of their data. Detailed simulations are very demanding computationally. We present a python-based package called ShowerModel to model cosmic-ray showers, their light production and their detection by an array of telescopes. It is based on parameterizations of both Cherenkov and fluorescence emission in cosmic-ray induced air showers. The package permits the modelling of fluorescence telescopes, imaging air Cherenkov telescopes, wide-angle Cherenkov detectors or any hybrid design. ShowerModel was conceived as a tool to speed up calculations that do not require a full simulation or that may serve to complement complex Monte Carlo studies and data analyses (e.g., as a cross-check). It can also be used for educational purposes.


title: Observation of soft X-ray Cherenkov radiation in Be and Si foils

abstract: Currently, most of the Cherenkov phenomenon researches for the X-ray region are theoretical studies; there are only a few experiments in this area. Here the new experimental results on observation of X-ray Cherenkov radiation generated by 5.7 MeV electrons in the thin Be and Si foils are presented. The Cherenkov effect from Be was observed for the first time. The experimental results are compared with the calculations performed according to the theoretical model of transition radiation taking into account the oxide layer on the target output surface.


title: A Stein Goodness of fit Test for Exponential Random Graph Models

abstract: We propose and analyse a novel nonparametric goodness of fit testing procedure for exchangeable exponential random graph models (ERGMs) when a single network realisation is observed. The test determines how likely it is that the observation is generated from a target unnormalised ERGM density. Our test statistics are derived from a kernel Stein discrepancy, a divergence constructed via Steins method using functions in a reproducing kernel Hilbert space, combined with a discrete Stein operator for ERGMs. The test is a Monte Carlo test based on simulated networks from the target ERGM. We show theoretical properties for the testing procedure for a class of ERGMs. Simulation studies and real network applications are presented.


title: Role of pulsatility on particle dispersion in expiratory flows

abstract: Expiratory events, such as coughs, are often pulsatile in nature and result in vortical flow structures that transport respiratory particles. In this work, direct numerical simulation (DNS) of turbulent pulsatile jets, coupled with Lagrangian particle tracking of micron-sized droplets, is performed to investigate the role of secondary and tertiary expulsions on particle dispersion and penetration. Fully-developed turbulence obtained from DNS of a turbulent pipe flow is provided at the jet orifice. The volumetric flow rate at the orifice is modulated in time according to a damped sine wave; thereby allowing for control of the number of pulses, duration, and peak amplitude. The resulting vortex structures are analyzed for single-, two-, and three-pulse jets. The evolution of the particle cloud is then compared to existing single-pulse models. Particle dispersion and penetration of the entire cloud is found to be hindered by increased pulsatility. However, the penetration of particles emanating from a secondary or tertiary expulsion are enhanced due to acceleration downstream by vortex structures.


title: Symbiotic Hybrid Neural Network Watchdog For Outlier Detection

abstract: Neural networks are largely black boxes. A neural network trained to classify fruit may classify a picture of a giraffe as a banana. A neural network watchdog's job is to identify such inputs, allowing a classifier to disregard such data. We investigate whether the watchdog should be separate from the neural network or symbiotically attached. We present empirical evidence that the symbiotic watchdog performs better than when the neural networks are disjoint.


title: Dynamic collision avoidance for multiple robotic manipulators based on a non-cooperative multi-agent game

abstract: A flexible operation of multiple robotic manipulators in a shared workspace requires an online trajectory planning with static and dynamic collision avoidance. In this work, we propose a real-time capable motion control algorithm, based on non-linear model predictive control, which accounts for static and dynamic collision avoidance. The proposed algorithm is formulated as a non-cooperative game, where each robot is considered as an agent. Each agent optimizes its own motion and accounts for the predicted movement of surrounding agents. We propose a novel approach to formulate the dynamic collision constraints. Additionally, we account for deadlocks that might occur in a setup of multiple robotic manipulators. We validate our algorithm on a pick and place scenario for four collaborative robots operating in a common workspace in the simulation environment Gazebo. The robots are controlled by the Robot Operating System (ROS). We demonstrate, that our approach is real-time capable and, due to the distributed nature of the approach, easily scales to an arbitrary number of robot manipulators in a shared workspace.


title: Ultralocality and Slow Contraction

abstract: We study the detailed process by which slow contraction smooths and flattens the universe using an improved numerical relativity code that accepts initial conditions with non-perturbative deviations from homogeneity and isotropy along two independent spatial directions. Contrary to common descriptions of the early universe, we find that the geometry first rapidly converges to an inhomogeneous, spatially-curved and anisotropic ultralocal state in which all spatial gradient contributions to the equations of motion decrease as an exponential in time to negligible values. This is followed by a second stage in which the geometry converges to a homogeneous, spatially flat and isotropic spacetime. In particular, the decay appears to follow the same history whether the entire spacetime or only parts of it are smoothed by the end of slow contraction.


title: Digital Topological Complexity of Digital Maps

abstract: In this study, we improve the topological complexity computations on digital images with introducing the digital topological complexity computations of a surjective and digitally continuous map between digital images. We also reveal differences in topological complexity computations of maps between digital images and topological spaces. Moreover, we emphasize the importance of the adjacency relation on the domain and the range of a digital map in these computations.


title: A Kinematic Bottleneck Approach For Pose Regression of Flexible Surgical Instruments directly from Images

abstract: 3-D pose estimation of instruments is a crucial step towards automatic scene understanding in robotic minimally invasive surgery. Although robotic systems can potentially directly provide joint values, this information is not commonly exploited inside the operating room, due to its possible unreliability, limited access and the time-consuming calibration required, especially for continuum robots. For this reason, standard approaches for 3-D pose estimation involve the use of external tracking systems. Recently, image-based methods have emerged as promising, non-invasive alternatives. While many image-based approaches in the literature have shown accurate results, they generally require either a complex iterative optimization for each processed image, making them unsuitable for real-time applications, or a large number of manually-annotated images for efficient learning. In this paper we propose a self-supervised image-based method, exploiting, at training time only, the imprecise kinematic information provided by the robot. In order to avoid introducing time-consuming manual annotations, the problem is formulated as an auto-encoder, smartly bottlenecked by the presence of a physical model of the robotic instruments and surgical camera, forcing a separation between image background and kinematic content. Validation of the method was performed on semi-synthetic, phantom and in-vivo datasets, obtained using a flexible robotized endoscope, showing promising results for real-time image-based 3-D pose estimation of surgical instruments.


title: PyCG: Practical Call Graph Generation in Python

abstract: Call graphs play an important role in different contexts, such as profiling and vulnerability propagation analysis. Generating call graphs in an efficient manner can be a challenging task when it comes to high-level languages that are modular and incorporate dynamic features and higher-order functions. Despite the language's popularity, there have been very few tools aiming to generate call graphs for Python programs. Worse, these tools suffer from several effectiveness issues that limit their practicality in realistic programs. We propose a pragmatic, static approach for call graph generation in Python. We compute all assignment relations between program identifiers of functions, variables, classes, and modules through an inter-procedural analysis. Based on these assignment relations, we produce the resulting call graph by resolving all calls to potentially invoked functions. Notably, the underlying analysis is designed to be efficient and scalable, handling several Python features, such as modules, generators, function closures, and multiple inheritance. We have evaluated our prototype implementation, which we call PyCG, using two benchmarks: a micro-benchmark suite containing small Python programs and a set of macro-benchmarks with several popular real-world Python packages. Our results indicate that PyCG can efficiently handle thousands of lines of code in less than a second (0.38 seconds for 1k LoC on average). Further, it outperforms the state-of-the-art for Python in both precision and recall: PyCG achieves high rates of precision ~99.2%, and adequate recall ~69.9%. Finally, we demonstrate how PyCG can aid dependency impact analysis by showcasing a potential enhancement to GitHub's "security advisory" notification service using a real-world example.


title: Diffusion Means and Heat Kernel on Manifolds

abstract: We introduce diffusion means as location statistics on manifold data spaces. A diffusion mean is defined as the starting point of an isotropic diffusion with a given diffusivity. They can therefore be defined on all spaces on which a Brownian motion can be defined and numerical calculation of sample diffusion means is possible on a variety of spaces using the heat kernel expansion. We present several classes of spaces, for which the heat kernel is known and sample diffusion means can therefore be calculated. As an example, we investigate a classic data set from directional statistics, for which the sample Fr\'echet mean exhibits finite sample smeariness.


title: Learning Symbolic Operators for Task and Motion Planning

abstract: Robotic planning problems in hybrid state and action spaces can be solved by integrated task and motion planners (TAMP) that handle the complex interaction between motion-level decisions and task-level plan feasibility. TAMP approaches rely on domain-specific symbolic operators to guide the task-level search, making planning efficient. In this work, we formalize and study the problem of operator learning for TAMP. Central to this study is the view that operators define a lossy abstraction of the transition model of a domain. We then propose a bottom-up relational learning method for operator learning and show how the learned operators can be used for planning in a TAMP system. Experimentally, we provide results in three domains, including long-horizon robotic planning tasks. We find our approach to substantially outperform several baselines, including three graph neural network-based model-free approaches from the recent literature. Video: https://youtu.be/iVfpX9BpBRo Code: https://git.io/JCT0g


title: An iterative technique to identify browser fingerprinting scripts

abstract: Browser fingerprinting is a stateless identification technique based on browser properties. Together, they form an identifier that can be collected without users' notice and has been studied to be unique and stable. As this technique relies on browser properties that serve legitimate purposes, the detection of this technique is challenging. While several studies propose classification techniques, none of these are publicly available, making them difficult to reproduce. This paper proposes a new browser fingerprinting detection technique. Based on an incremental process, it relies on both automatic and manual decisions to be both reliable and fast. The automatic step matches API calls similarities between scripts while the manual step is required to classify a script with different calls. We publicly share our algorithm and implementation to improve the general knowledge on the subject.


title: Epidemics with Behavior

abstract: We study equilibrium distancing during epidemics. Distancing reduces the individual's probability of getting infected but comes at a cost. It creates a single-peaked epidemic, flattens the curve and decreases the size of the epidemic. We examine more closely the effects of distancing on the outset, the peak and the final size of the epidemic. First, we define a behavioral basic reproduction number and show that it is concave in the transmission rate. The infection, therefore, spreads only if the transmission rate is in the intermediate region. Second, the peak of the epidemic is non-monotonic in the transmission rate. A reduction in the transmission rate can lead to an increase of the peak. On the other hand, a decrease in the cost of distancing always flattens the curve. Third, both an increase in the infection rate as well as an increase in the cost of distancing increase the size of the epidemic. Our results have important implications on the modeling of interventions. Imposing restrictions on the infection rate has qualitatively different effects on the trajectory of the epidemics than imposing assumptions on the cost of distancing. The interventions that affect interactions rather than the transmission rate should, therefore, be modeled as changes in the cost of distancing.


title: Stochastic Memristive Interface between Electronic FitzHugh-Nagumo Neurons

abstract: The dynamics of memristive device in response to neuron-like signals and coupling electronic neurons via memristive device has been investigated theoretically and experimentally. The simplest experimental system consists of electronic circuit based on the FitzHugh-Nagumo model and metal-oxide memristive device. The hardware-software complex based on commercial data acquisition system is implemented for the imitation of signal from presynaptic neuron`s membrane and synaptic signal transmission between neurons. The main advantage of our system is that it uses real time dynamics of memristive device. Electrical response of memristive device shows its behavioral flexibility that allows presenting a memristive device as an active synapse. This means an internal adjustment of the parameters of memristive device that leads to modulation of neuron-like signals. Physics-based dynamical model of memristor is developed in MATLAB for numerical simulation of such a memristive interface to describe and predict experimentally observed regularities of synchronization of neuron-like oscillators. FitzHugh-Nagumo circuits time series with a linear or stepwise increase in the signal amplitude are used to study the memristor response and coupling of neuron-like oscillators taking into account the stochasticity of memristor model to compare the numerical and experimental data. The observed forced synchronization modes characterize the dynamic complexity of the memristive device, which requires further description using high-order dynamical models. The developed memristive interface will provide high efficiency in the imitation of the synaptic connection due to its stochastic nature and can be used to increase the flexibility of neuronal connections for neuroprosthetic challenges.


title: Native multiqubit Toffoli gates on ion trap quantum computers

abstract: We examine the detailed scenario for implementing n-control-qubit Toffoli gates and select gates on ion-trap quantum computers, especially those that shuttle ions into interaction zones. We determine expected performance of these gates with realistic parameters for an ion-trap quantum computer and taking into account the time variation of the exchange integrals. This allows us to estimate the errors due to spin-phonon entanglement as well. While there are challenges with implementing these gates, because their performance always has some degree of error, they should be feasible on current hardware, but they may be too slow to be used efficiently in quantum codes on noisy intermediate scale quantum computers.


title: Examining socioeconomic factors to understand the hospital case-fatality rates of COVID-19 in the city of Sao Paulo, Brazil

abstract: Understanding differences in hospital case-fatality rates (HCFRs) of coronavirus disease (COVID-19) may help evaluate its severity and the capacity of the healthcare system to reduce mortality. We examined the variability in HCFRs of COVID-19 in relation to spatial inequalities in socioeconomic factors across the city of Sao Paulo, Brazil. We found that HCFRs were higher for men and for individuals aged 60 years and older. Our models identified per capita income as a significant factor that is negatively associated with the HCFRs of COVID-19, even after adjusting by age, sex and presence of risk factors.


title: TouchRoller: A Rolling Optical Tactile Sensor for Rapid Assessment of Large Surfaces

abstract: Tactile sensing is important for robots to perceive the world as it captures the texture and hardness of the object in contact and is robust to illumination and colour variances. However, due to the limited sensing area and the resistance of the fixed surface, current tactile sensors have to tap the tactile sensor on target object many times when assessing a large surface, i.e., pressing, lifting up and shifting to another region. This process is ineffective and time consuming. It is also undesirable to drag such sensors as this often damages the sensitive membrane of the sensor or the object. To address these problems, we propose a cylindrical optical tactile sensor named TouchRoller that can roll around its center axis. It maintains being in contact with the assessed surface throughout the entire motion, which allows for measuring the object continuously and effectively. Extensive experiments show that the TouchRoller sensor can cover a textured surface of 8cm*11cm in a short time of 10s, much more effectively than a flat optical tactile sensor (in 196s). The reconstructed map of the texture from the collected tactile images has a high Structural Similarity Index (SSIM) of 0.31 on average, when compared with the visual texture. In addition, the contacts on the sensor can be localised with a low localisation error, 2.63mm in the center regions and 7.66mm on average. The proposed sensor will enable the fast assessment of large surfaces with high-resolution tactile sensing, and also the effective collection of tactile images.


title: Third quantization of the electromagnetic field

abstract: We consider an approach in which the usual wave function in the quadrature representation of mode j of the electromagnetic field is further quantized to produce a field operator. Since the electromagnetic field is already second quantized, this corresponds to an additional or third quantization. The third-quantization approach can be used to perform certain quantum optics calculations in the Heisenberg picture that could only be performed in the Schrodinger picture when using the conventional second-quantized theory. This approach also allows an interesting generalization of quantum optics and quantum electrodynamics that is analogous to symmetry breaking in elementary particle theory. The predictions of the generalized theory could be tested using a proposed photon scattering experiment.


title: COVID-19: Detecting Depression Signals during Stay-At-Home Period

abstract: The new coronavirus outbreak has been officially declared a global pandemic by the World Health Organization. To grapple with the rapid spread of this ongoing pandemic, most countries have banned indoor and outdoor gatherings and ordered their residents to stay home. Given the developing situation with coronavirus, mental health is an important challenge in our society today. In this paper, we discuss the investigation of social media postings to detect signals relevant to depression. To this end, we utilize topic modeling features and a collection of psycholinguistic and mental-well-being attributes to develop statistical models to characterize and facilitate representation of the more subtle aspects of depression. Furthermore, we predict whether signals relevant to depression are likely to grow significantly as time moves forward. Our best classifier yields F-1 scores as high as 0.8 and surpasses the utilized baseline by a considerable margin, 0.173. In closing, we propose several future research avenues.


title: Non-invertible Anonymous Communication for the Quantum Era

abstract: We introduce a new approach for circuit anonymous communication based on Lizama's non-invertible Key Exchange Protocol (ni-KEP) which has been conceived to work in the quantum era. Lizama's protocol has the smallest key size when compared to main post-quantum schemes thus it becomes a promising alternative for the quantum era. Circuit-based communication can be scaled to support the Hidden Service Protocol (HSP) as well as cross-domain digital certificates that promise greater computing security, speed and efficiency.


title: Machine learning for detection of stenoses and aneurysms: application in a physiologically realistic virtual patient database

abstract: This study presents an application of machine learning (ML) methods for detecting the presence of stenoses and aneurysms in the human arterial system. Four major forms of arterial disease -- carotid artery stenosis (CAS), subclavian artery stenosis (SAC), peripheral arterial disease (PAD), and abdominal aortic aneurysms (AAA) -- are considered. The ML methods are trained and tested on a physiologically realistic virtual patient database (VPD) containing 28,868 healthy subjects, which is adapted from the authors previous work and augmented to include the four disease forms. Six ML methods -- Naive Bayes, Logistic Regression, Support Vector Machine, Multi-layer Perceptron, Random Forests, and Gradient Boosting -- are compared with respect to classification accuracies and it is found that the tree-based methods of Random Forest and Gradient Boosting outperform other approaches. The performance of ML methods is quantified through the F1 score and computation of sensitivities and specificities. When using all the six measurements, it is found that maximum F1 scores larger than 0.9 are achieved for CAS and PAD, larger than 0.85 for SAS, and larger than 0.98 for both low- and high-severity AAAs. Corresponding sensitivities and specificities are larger than 90% for CAS and PAD, larger than 85% for SAS, and larger than 98% for both low- and high-severity AAAs. When reducing the number of measurements, it is found that the performance is degraded by less than 5% when three measurements are used, and less than 10% when only two measurements are used for classification. For AAA, it is shown that F1 scores larger than 0.85 and corresponding sensitivities and specificities larger than 85% are achievable when using only a single measurement. The results are encouraging to pursue AAA monitoring and screening through wearable devices which can reliably measure pressure or flow-rates


title: Time Matters: Exploring the Effects of Urgency and Reaction Speed in Automated Traders

abstract: We consider issues of time in automated trading strategies in simulated financial markets containing a single exchange with public limit order book and continuous double auction matching. In particular, we explore two effects: (i) reaction speed - the time taken for trading strategies to calculate a response to market events; and (ii) trading urgency - the sensitivity of trading strategies to approaching deadlines. Much of the literature on trading agents focuses on optimising pricing strategies only and ignores the effects of time, while real-world markets continue to experience a race to zero latency, as automated trading systems compete to quickly access information and act in the market ahead of others. We demonstrate that modelling reaction speed can significantly alter previously published results, with simple strategies such as SHVR outperforming more complex adaptive algorithms such as AA. We also show that adding a pace parameter to ZIP traders (ZIP-Pace, or ZIPP) can create a sense of urgency that significantly improves profitability.


title: Light induced stress and work in photomechanical materials

abstract: Increasingly important photomechanical materials produce stress and mechanical work when illuminated. We propose experimentally accessible performance metrics for photostress and photowork, enabling comparison of materials performance. We relate these metrics to material properties, providing a framework for the design and optimization of photomechanical materials.


title: Virus-MNIST: A Benchmark Malware Dataset

abstract: The short note presents an image classification dataset consisting of 10 executable code varieties and approximately 50,000 virus examples. The malicious classes include 9 families of computer viruses and one benign set. The image formatting for the first 1024 bytes of the Portable Executable (PE) mirrors the familiar MNIST handwriting dataset, such that most of the previously explored algorithmic methods can transfer with minor modifications. The designation of 9 virus families for malware derives from unsupervised learning of class labels; we discover the families with KMeans clustering that excludes the non-malicious examples. As a benchmark using deep learning methods (MobileNetV2), we find an overall 80% accuracy for virus identification by families when beneware is included. We also find that once a positive malware detection occurs (by signature or heuristics), the projection of the first 1024 bytes into a thumbnail image can classify with 87% accuracy the type of virus. The work generalizes what other malware investigators have demonstrated as promising convolutional neural networks originally developed to solve image problems but applied to a new abstract domain in pixel bytes from executable files. The dataset is available on Kaggle and Github.


title: Temporal and spectral study of the X-ray pulsar 2S 1553-542 during the 2021 outburst

abstract: We study the timing and spectral properties of the X-ray pulsar 2S 1553--542 using the NuSTAR, and NICER during the outburst in January--February 2021. During the outburst, the spin period of the neutron star was 9.2822 s based on NuSTAR data. The pulse profiles are studied using different NICER observations, which implies that the profile is more or less sinusoidal with a single peak and the beaming patterns are mostly dominated by the pencil beam. The NICER spectra of the source are studied for different days of the outburst and can be well described by a model consisting of a blackbody emission and power law along with a photoelectric absorption component. The variation of spectral parameters with luminosity is studied over the outburst. The photon index shows anti-correlation with luminosity below the critical luminosity, which implies that the source was accreting in the sub-critical accretion regime during the NICER observations. We also report the anti-correlation between pulsed fraction (PF) and luminosity of the 2S 1553--542 using NICER observations. The evolution of spin-up rate with luminosity is studied during the outburst, which implies that both are strongly correlated. The torque-luminosity model is applied to estimate the magnetic field at different spin-up rates. The magnetic field is estimated to be 2.56 $\times 10^{12}$ G from the torque-luminosity model using the source distance of 20 kpc. The magnetic field is also estimated using the critical luminosity, which is also consistent with our findings.


title: Terahertz Wireless Communications: Co-sharing for Terrestrial and Satellite Systems above 100 GHz

abstract: This paper demonstrates how spectrum up to 1 THz will support mobile communications beyond 5G in the coming decades. Results of rooftop surrogate satellite/tower base station measurements at 140 GHz show the natural isolation between terrestrial networks and surrogate satellite systems, as well as between terrestrial mobile users and co-channel fixed backhaul links. These first-of-their-kind measurements and accompanying analysis show that by keeping the energy radiated by terrestrial emitters on the horizon (e.g., elevation angles $\leq$15\textdegree), there will not likely be interference in the same or adjacent bands between passive satellite sensors and terrestrial terminals, or between mobile links and terrestrial backhaul links at frequencies above 100 GHz.


title: Propensity Score Weighting Analysis of Survival Outcomes Using Pseudo-observations

abstract: Survival outcomes are common in comparative effectiveness studies and require unique handling because they are usually incompletely observed due to right-censoring. A ``once for all'' approach for causal inference with survival outcomes constructs pseudo-observations and allows standard methods such as propensity score weighting to proceed as if the outcomes are completely observed. For a general class of model-free causal estimands with survival outcomes on user-specified target populations, we develop corresponding propensity score weighting estimators based on the pseudo-observations and establish their asymptotic properties. In particular, utilizing the functional delta-method and the von Mises expansion, we derive a new closed-form variance of the weighting estimator that takes into account the uncertainty due to both pseudo-observation calculation and propensity score estimation. This allows valid and computationally efficient inference without resampling. We also prove the optimal efficiency property of the overlap weights within the class of balancing weights for survival outcomes. The proposed methods are applicable to both binary and multiple treatments. Extensive simulations are conducted to explore the operating characteristics of the proposed method versus other commonly used alternatives. We apply the proposed method to compare the causal effects of three popular treatment approaches for prostate cancer patients.