title: Zeroth-Order Algorithms for Nonconvex Minimax Problems with Improved Complexities

abstract: In this paper, we study zeroth-order algorithms for minimax optimization problems that are nonconvex in one variable and strongly-concave in the other variable. Such minimax optimization problems have attracted significant attention lately due to their applications in modern machine learning tasks. We first consider a deterministic version of the problem. We design and analyze the Zeroth-Order Gradient Descent Ascent (\texttt{ZO-GDA}) algorithm, and provide improved results compared to existing works, in terms of oracle complexity. We also propose the Zeroth-Order Gradient Descent Multi-Step Ascent (\texttt{ZO-GDMSA}) algorithm that significantly improves the oracle complexity of \texttt{ZO-GDA}. We then consider stochastic versions of \texttt{ZO-GDA} and \texttt{ZO-GDMSA}, to handle stochastic nonconvex minimax problems. For this case, we provide oracle complexity results under two assumptions on the stochastic gradient: (i) the uniformly bounded variance assumption, which is common in traditional stochastic optimization, and (ii) the Strong Growth Condition (SGC), which has been known to be satisfied by modern over-parametrized machine learning models. We establish that under the SGC assumption, the complexities of the stochastic algorithms match that of deterministic algorithms. Numerical experiments are presented to support our theoretical results.


title: Elephant in the Room: An Evaluation Framework for Assessing Adversarial Examples in NLP

abstract: An adversarial example is an input transformed by small perturbations that machine learning models consistently misclassify. While there are a number of methods proposed to generate adversarial examples for text data, it is not trivial to assess the quality of these adversarial examples, as minor perturbations (such as changing a word in a sentence) can lead to a significant shift in their meaning, readability and classification label. In this paper, we propose an evaluation framework consisting of a set of automatic evaluation metrics and human evaluation guidelines, to rigorously assess the quality of adversarial examples based on the aforementioned properties. We experiment with six benchmark attacking methods and found that some methods generate adversarial examples with poor readability and content preservation. We also learned that multiple factors could influence the attacking performance, such as the length of the text inputs and architecture of the classifiers.


title: First demonstration of a cryocooler conduction cooled superconducting radiofrequency cavity operating at practical cw accelerating gradients

abstract: We demonstrate practical accelerating gradients on a superconducting radiofrequency (SRF) accelerator cavity with cryocooler conduction cooling, a cooling technique that does not involve the complexities of the conventional liquid helium bath. A design is first presented that enables conduction cooling an elliptical-cell SRF cavity. Implementing this design, a single cell 650 MHz Nb3Sn cavity coupled using high purity aluminum thermal links to a 4 K pulse tube cryocooler generated accelerating gradients up to 6.6 MV/m at 100% duty cycle. The experiments were carried out with the cavity-cryocooler assembly in a simple vacuum vessel, completely free of circulating liquid cryogens. We anticipate that this cryocooling technique will make the SRF technology accessible to interested accelerator researchers who lack access to full-stack helium cryogenic systems. Furthermore, the technique can lead to SRF based compact sources of high average power electron beams for environmental protection and industrial applications. A concept of such an SRF compact accelerator is presented.


title: Progesterone: An Enigmatic Ligand for the Mineralocorticoid Receptor

abstract: The progesterone receptor (PR) mediates progesterone regulation of female reproductive physiology, as well as gene transcription in non-reproductive tissues, such as brain, bone, lung and vasculature, in both women and men. An unusual property of progesterone is its high affinity for the mineralocorticoid receptor (MR), which regulates electrolyte transport in the kidney in humans and other terrestrial vertebrates. In humans, rats, alligators and frogs, progesterone antagonizes activation of the MR by aldosterone, the physiological mineralocorticoid in terrestrial vertebrates. In contrast, in elephant shark, ray-finned fishes and chickens, progesterone activates the MR. Interestingly, cartilaginous fishes and ray-finned fishes do not synthesize aldosterone, raising the question of which steroid(s) activate the MR in cartilaginous fishes and ray-finned fishes. The simpler synthesis of progesterone, compared to cortisol and other corticosteroids, makes progesterone a candidate physiological activator of the MR in elephant sharks and ray-finned fishes. Elephant shark and ray-finned fish MRs are expressed in diverse tissues, including heart, brain and lung, as well as, ovary and testis, two reproductive tissues that are targets for progesterone, which together suggests a multi-faceted physiological role for progesterone activation of the MR in elephant shark and ray-finned fish. The functional consequences of progesterone as an antagonist of some terrestrial vertebrate MRs and as an agonist of fish and chicken MRs are not fully understood. Indeed, little is known of physiological activities of progesterone via any vertebrate MR.


title: Hyponormal Toeplitz Operators on Weighted Bergman Space

abstract: We consider the Toeplitz operator with symbol z^n+C|z|^s acting on certain weighted Bergman spaces and determine for what values of the constant C this operator is hyponormal. The condition is presented in terms of the norm of an explicit block Jacobi matrix.


title: An Introductory Tutorial on Cohort State-Transition Models in R Using a Cost-Effectiveness Analysis Example

abstract: Decision models can combine information from different sources to simulate the long-term consequences of alternative strategies in the presence of uncertainty. A cohort state-transition model (cSTM) is a decision model commonly used in medical decision-making to simulate the transitions of a hypothetical cohort among various health states over time. This tutorial focuses on time-independent cSTM, where transition probabilities among health states remain constant over time. We implement time-independent cSTM in R, an open-source mathematical and statistical programming language. We illustrate time-independent cSTMs using a previously published decision model, calculate costs and effectiveness outcomes, conduct a cost-effectiveness analysis of multiple strategies, including a probabilistic sensitivity analysis. We provide open-source code in R to facilitate wider adoption. In a second, more advanced tutorial, we illustrate time-dependent cSTMs.


title: Anticyclotomic Euler systems for unitary groups

abstract: Let $n \geq 1$ be an odd integer. We construct an anticyclotomic Euler system for certain cuspidal automorphic representations of unitary groups with signature $(1, 2n-1)$.


title: Generalized Lattice Point Visibility

abstract: It is a well-known result that the proportion of lattice points visible from the origin is given by $\frac{1}{\zeta(2)}$, where $\zeta(s)=\sum_{n=1}^\infty\frac{1}{n^s}$ denotes the Riemann zeta function. Goins, Harris, Kubik and Mbirika, generalized the notion of lattice point visibility by saying that for a fixed $b\in\mathbb{N}$, a lattice point $(r,s)\in\mathbb{N}^2$ is $b$-visible from the origin if no other lattice point lies on the graph of a function $f(x)=mx^b$, for some $m\in\mathbb{Q}$, between the origin and $(r,s)$. In their analysis they establish that for a fixed $b\in\mathbb{N}$, the proportion of $b$-visible lattice points is $\frac{1}{\zeta(b+1)}$, which generalizes the result in the classical lattice point visibility setting. In this short note we give an $n$-dimensional notion of $\bf{b}$-visibility that recovers the one presented by Goins et. al. in $2$-dimensions, and the classical notion in $n$-dimensions. We prove that for a fixed ${\bf{b}}=(b_1,b_2,\ldots,b_n)\in\mathbb{N}^n$ the proportion of ${\bf{b}}$-visible lattice points is given by $\frac{1}{\zeta(\sum_{i=1}^nb_i)}$. Moreover, we propose a $\bf{b}$-visibility notion for vectors $\bf{b}\in \mathbb{Q}_{>0}^n$, and we show that by imposing weak conditions on those vectors one obtains that the density of ${\bf{b}}=(\frac{b_1}{a_1},\frac{b_2}{a_2},\ldots,\frac{b_n}{a_n})\in\mathbb{Q}_{>0}^n$-visible points is $\frac{1}{\zeta(\sum_{i=1}^nb_i)}$. Finally, we give a notion of visibility for vectors $\bf{b}\in (\mathbb{Q}^{*})^n$, compatible with the previous notion, that recovers the results of Harris and Omar for $b\in \mathbb{Q}^{*}$ in $2$-dimensions; and show that the proportion of $\bf{b}$-visible points in this case only depends on the negative entries of $\bf{b}$.


title: Coarse-Grain Cluster Analysis of Tensors with Application to Climate Biome Identification

abstract: A tensor provides a concise way to codify the interdependence of complex data. Treating a tensor as a d-way array, each entry records the interaction between the different indices. Clustering provides a way to parse the complexity of the data into more readily understandable information. Clustering methods are heavily dependent on the algorithm of choice, as well as the chosen hyperparameters of the algorithm. However, their sensitivity to data scales is largely unknown. In this work, we apply the discrete wavelet transform to analyze the effects of coarse-graining on clustering tensor data. We are particularly interested in understanding how scale effects clustering of the Earth's climate system. The discrete wavelet transform allows classification of the Earth's climate across a multitude of spatial-temporal scales. The discrete wavelet transform is used to produce an ensemble of classification estimates, as opposed to a single classification. Information theoretic approaches are used to identify important scale lenghts in clustering The L15 Climate Datset. We also discover a sub-collection of the ensemble that spans the majority of the variance observed, allowing for efficient consensus clustering techniques that can be used to identify climate biomes.


title: On the Performance of Quickest Detection Spectrum Sensing: The Case of Cumulative Sum

abstract: Quickest change detection (QCD) is a fundamental problem in many applications. Given a sequence of measurements that exhibits two different distributions around a certain flipping point, the goal is to detect the change in distribution around the flipping point as quickly as possible. The QCD problem appears in many practical applications, e.g., quality control, power system line outage detection, spectrum reuse, and resource allocation and scheduling. In this paper, we focus on spectrum sensing as our application since it is a critical process for proper functionality of cognitive radio networks. Relying on the cumulative sum (CUSUM), we derive the probability of detection and the probability of false alarm of CUSUM based spectrum sensing. We show the correctness of our derivations using numerical simulations.


title: Wide Area Measurement System-based Low Frequency Oscillation Damping Control through Reinforcement Learning

abstract: Ensuring the stability of power systems is gaining more attraction today than ever before, due to the rapid growth of uncertainties in load and renewable energy penetration. Lately, wide area measurement system-based centralized controlling techniques started providing a more flexible and robust control to keep the system stable. But, such a modernization of control philosophy faces pressing challenges due to the irregularities in delays of long-distance communication channels and response of equipment to control actions. Therefore, we propose an innovative approach that can revolutionize the control strategy for damping down low frequency oscillations in transmission systems. Proposed method is enriched with a potential of overcoming the challenges of communication delays and other non-linearities in wide area damping control by leveraging the capability of the reinforcement learning technique. Such a technique has a unique characteristic to learn on diverse scenarios and operating conditions by exploring the environment and devising an optimal control action policy by implementing policy gradient method. Our detailed analysis and systematically designed numerical validation prove the feasibility, scalability and interpretability of the carefully modelled low-frequency oscillation damping controller so that stability is ensured even with the uncertainties of load and generation are on the rise.


title: Generalized ghost-free propagators in nonlocal field theories

abstract: In this paper we present an iterative method to generate an infinite class of new nonlocal field theories whose propagators are ghost-free. We first examine the scalar field case and show that the pole structure of such generalized propagators possesses the standard two derivative pole and in addition can contain complex conjugate poles which, however, do not spoil at least tree level unitarity as the optical theorem is still satisfied. Subsequently, we define analogous propagators for the fermionic sector which is also devoid of unhealthy degrees of freedom. As a third case, we apply the same construction to gravity and define a new set of theories whose graviton propagators around the Minkowski background are ghost-free. Such a wider class also includes nonlocal theories previously studied, and Einstein's general relativity as a peculiar limit. Moreover, we compute the linearized gravitational potential generated by a static point-like source for several gravitational theories belonging to this new class and show that the nonlocal nature of gravity regularizes the singularity at the origin.


title: NeurOpt: Neural network based optimization for building energy management and climate control

abstract: Model predictive control (MPC) can provide significant energy cost savings in building operations in the form of energy-efficient control with better occupant comfort, lower peak demand charges, and risk-free participation in demand response. However, the engineering effort required to obtain physics-based models of buildings is considered to be the biggest bottleneck in making MPC scalable to real buildings. In this paper, we propose a data-driven control algorithm based on neural networks to reduce this cost of model identification. Our approach does not require building domain expertise or retrofitting of existing heating and cooling systems. We validate our learning and control algorithms on a two-story building with ten independently controlled zones, located in Italy. We learn dynamical models of energy consumption and zone temperatures with high accuracy and demonstrate energy savings and better occupant comfort compared to the default system controller.


title: LRF-Net: Learning Local Reference Frames for 3D Local Shape Description and Matching

abstract: The local reference frame (LRF) acts as a critical role in 3D local shape description and matching. However, most of existing LRFs are hand-crafted and suffer from limited repeatability and robustness. This paper presents the first attempt to learn an LRF via a Siamese network that needs weak supervision only. In particular, we argue that each neighboring point in the local surface gives a unique contribution to LRF construction and measure such contributions via learned weights. Extensive analysis and comparative experiments on three public datasets addressing different application scenarios have demonstrated that LRF-Net is more repeatable and robust than several state-of-the-art LRF methods (LRF-Net is only trained on one dataset). In addition, LRF-Net can significantly boost the local shape description and 6-DoF pose estimation performance when matching 3D point clouds.


title: The 1/k-Eulerian polynomials of type B

abstract: In this paper, we give a type B analogue of the 1/k-Eulerian polynomials. Properties of this kind of polynomials, including combinatorial interpretations, recurrence relations and gamma-positivity are studied. In particular, we show that the 1/k-Eulerian polynomials of type B are gamma-positive when $k>0$. Moreover, we obtain the corresponding results for derangements of type B. We show that a type B 1/k-derangement polynomials $d_n^B(x;k)$ are bi-gamma-positive when $k\geq 1/2$. In particular, we get a symmetric decomposition of $d_n^B(x;1/2)$ in terms of the classical derangement polynomials.


title: Improved laser-distillation method for complete enantio-conversion of chiral mixtures

abstract: Laser-assisted enantio-conversion is an ambitious issue related to chiral molecules in the atomic, molecular, and optical physics. The theoretical laser-distillation method had been proposed to realize enantio-conversion based on a four-level double-$\Delta$ model of two degenerated chiral ground states and two achiral excited states. Here, we re-investigate and improve the laser-distillation method so that a chiral mixture can be converted to an enantiopure sample of the desired chirality, i.e., complete enantio-conversion, which has not been discussed in the previous theoretical works of the laser-distillation method. Since the undesired chirality may be inefficient or even cause serious side effects in pharmacology, our work plays as an important improvement to the original theoretical works of the laser-assisted enantio-conversion.


title: Knockoffs with Side Information

abstract: We consider the problem of assessing the importance of multiple variables or factors from a dataset when side information is available. In principle, using side information can allow the statistician to pay attention to variables with a greater potential, which in turn, may lead to more discoveries. We introduce an adaptive knockoff filter, which generalizes the knockoff procedure (Barber and Cand\`es, 2015; Cand\`es et al., 2018) in that it uses both the data at hand and side information to adaptively order the variables under study and focus on those that are most promising. Adaptive knockoffs controls the finite-sample false discovery rate (FDR) and we demonstrate its power by comparing it with other structured multiple testing methods. We also apply our methodology to real genetic data in order to find associations between genetic variants and various phenotypes such as Crohn's disease and lipid levels. Here, adaptive knockoffs makes more discoveries than reported in previous studies on the same datasets.


title: Integrability and linearizability conditions for a cubic Lotka-Volterra systems

abstract: The main objective of this work is to investigate the integrability and linearizability problems around a singular point at the origin of the family of differential systems Particularly we are interested in the three-dimensional cubic Lotka-Volterra systems for (1:-1:1) resonant. We give a complete set of necessary conditions for both integrability and linearizability problems. The local existences of two independent first integrals guarantee that these conditions are sufficient as well. Furthermore, we use the Darboux method of integrability and some other techniques to show that the system admits two independent first integrals at the origin.


title: Brazilian Participation in the Next-Generation Collider Experiments

abstract: This proposal concerns the participation of the Brazilian High-Energy Physics community in the next-generation collider experiments. As the LHC at CERN is getting ready for its third data-taking period, Run 3, with increased centre-of-mass energy at the nominal 14 TeV and upgraded detectors, the global High-Energy Physics community is converging towards the materialisation of new powerful colliders which could explore the characteristics of the Higgs boson and advance the search of physics beyond the Standard Model. This means that in the next couple of years the technical proposals for the experiments that will run in such colliders will be submitted for review, collaborations will be formed and large scale funding will be requested at different stages across the globe. Our aim is to organise a common effort from the Brazilian HEP community of optimised resources and time, in order to produce a higher impact contribution to our chosen experiment and more broadly in the field of High-Energy Physics.


title: An Approach for Time-aware Domain-based Social Influence Prediction

abstract: Online Social Networks(OSNs) have established virtual platforms enabling people to express their opinions, interests and thoughts in a variety of contexts and domains, allowing legitimate users as well as spammers and other untrustworthy users to publish and spread their content. Hence, the concept of social trust has attracted the attention of information processors/data scientists and information consumers/business firms. One of the main reasons for acquiring the value of Social Big Data (SBD) is to provide frameworks and methodologies using which the credibility of OSNs users can be evaluated. These approaches should be scalable to accommodate large-scale social data. Hence, there is a need for well comprehending of social trust to improve and expand the analysis process and inferring the credibility of SBD. Given the exposed environment's settings and fewer limitations related to OSNs, the medium allows legitimate and genuine users as well as spammers and other low trustworthy users to publish and spread their content. Hence, this paper presents an approach incorporates semantic analysis and machine learning modules to measure and predict users' trustworthiness in numerous domains in different time periods. The evaluation of the conducted experiment validates the applicability of the incorporated machine learning techniques to predict highly trustworthy domain-based users.


title: Nonlinear optical response from quantum kinetic equation

abstract: Motivated by the nonlinear Hall effect observed in topological semimetals, we studied the photocurrent by the quantum kinetic equation. We recovered the shift current and injection current discovered by Sipe et al., and the nonlinear Hall current induced by Berry curvature dipole (BCD) proposed by Inti Sodemann and Liang Fu. Especially, we further proposed that 3-form tensor can also induce photocurrent, in addition to the Berry curvature and BCD. This work will supplement the existing mechanisms for photocurrent. In contrast to the shift current induced by shift vector, all photocurrents induced by gradient/curl of Berry curvature, and high rank tensor require circularly polarized light and topologically non-trivial band structure, viz. non-vanishing Berry curvature.


title: The incompressible Euler equations under octahedral symmetry: singularity formation in a fundamental domain

abstract: We consider the 3D incompressible Euler equations in vorticity form in the following fundamental domain for the octahedral symmetry group: $\{ (x_1,x_2,x_3): 0<x_3<x_2<x_1 \}.$ In this domain, we prove local well-posedness for $C^\alpha$ vorticities not necessarily vanishing on the boundary with any $0<\alpha<1$, and establish finite-time singularity formation within the same class for smooth and compactly supported initial data. The solutions can be extended to all of $\mathbb{R}^3$ via a sequence of reflections, and therefore we obtain finite-time singularity formation for the 3D Euler equations in $\mathbb{R}^3$ with bounded and piecewise smooth vorticities.


title: Simultaneous Localization and Parameter Estimation for Single Particle Tracking via Sigma Points based EM

abstract: Single Particle Tracking (SPT) is a powerful class of tools for analyzing the dynamics of individual biological macromolecules moving inside living cells. The acquired data is typically in the form of a sequence of camera images that are then post-processed to reveal details about the motion. In this work, we develop an algorithm for jointly estimating both particle trajectory and motion model parameters from the data. Our approach uses Expectation Maximization (EM) combined with an Unscented Kalman filter (UKF) and an Unscented Rauch-Tung-Striebel smoother (URTSS), allowing us to use an accurate, nonlinear model of the observations acquired by the camera. Due to the shot noise characteristics of the photon generation process, this model uses a Poisson distribution to capture the measurement noise inherent in imaging. In order to apply a UKF, we first must transform the measurements into a model with additive Gaussian noise. We consider two approaches, one based on variance stabilizing transformations (where we compare the Anscombe and Freeman-Tukey transforms) and one on a Gaussian approximation to the Poisson distribution. Through simulations, we demonstrate efficacy of the approach and explore the differences among these measurement transformations.


title: Collective inertial masses in nuclear reactions

abstract: Towards the microscopic theoretical description for large amplitude collective dynamics, we calculate the coefficients of inertial masses for low-energy nuclear reactions. Under the scheme of energy density functional, we apply the adiabatic self-consistent collective coordinate (ASCC) method, as well as the Inglis' cranking formula to calculate the inertias for the translational and the relative motions, in addition to those for the rotational motion. Taking the scattering between two $\alpha$ particles as an example, we investigate the impact of the time-odd components of the mean-field potential on the collective inertial masses. The ASCC method asymptotically reproduces the exact masses for both the relative and translational motions. On the other hand, the cranking formula fails to do so when the time-odd components exist.


title: A Comparative Analysis of Host--Parasitoid Models with Density Dependence Preceding Parasitism

abstract: We present a systematic comparison and analysis of four discrete-time, host--parasitoid models. For each model, we specify that density-dependent effects occur prior to parasitism in the life cycle of the host. We compare density-dependent growth functions arising from the Beverton--Holt and Ricker maps, as well as parasitism functions assuming either a Poisson or negative binomial distribution for parasitoid attacks. We show that overcompensatory density-dependence leads to period-doubling bifurcations, which may be supercritical or subcritical. Stronger parasitism from the Poisson distribution leads to loss of stability of the coexistence equilibrium through a Neimark--Sacker bifurcation, resulting in population cycles. Our analytic results also revealed dynamics for one of our models that were previously undetected by authors who conducted a numerical investigation. Finally, we emphasize the importance of clearly presenting biological assumptions that are inherent to the structure of a discrete-time model in order to promote communication and broader understanding.


title: NJst and ASTRID are not statistically consistent under a random model of missing data

abstract: Species tree estimation from multi-locus datasets is statistically challenging for multiple reasons, including gene tree heterogeneity across the genome due to incomplete lineage sorting (ILS). Species tree estimation methods have been developed that operate by estimating gene trees and then using those gene trees to estimate the species tree. Several of these methods (e.g., ASTRAL, ASTRID, and NJst) are provably statistically consistent under the multi-species coalescent (MSC) model, provided that the gene trees are estimated correctly, and there is no missing data. Recently, Nute et al. (BMC Genomics 2018) addressed the question of whether these methods remain statistically consistent under random models of taxon deletion, and asserted that they do so. Here we provide a counterexample to one of these theorems, and establish that ASTRID and NJst are not statistically consistent under an i.i.d. model of taxon deletion.


title: Convergence Time Optimization for Federated Learning over Wireless Networks

abstract: In this paper, the convergence time of federated learning (FL), when deployed over a realistic wireless network, is studied. In particular, a wireless network is considered in which wireless users transmit their local FL models (trained using their locally collected data) to a base station (BS). The BS, acting as a central controller, generates a global FL model using the received local FL models and broadcasts it back to all users. Due to the limited number of resource blocks (RBs) in a wireless network, only a subset of users can be selected to transmit their local FL model parameters to the BS at each learning step. Moreover, since each user has unique training data samples, the BS prefers to include all local user FL models to generate a converged global FL model. Hence, the FL performance and convergence time will be significantly affected by the user selection scheme. Therefore, it is necessary to design an appropriate user selection scheme that enables users of higher importance to be selected more frequently. This joint learning, wireless resource allocation, and user selection problem is formulated as an optimization problem whose goal is to minimize the FL convergence time while optimizing the FL performance. To solve this problem, a probabilistic user selection scheme is proposed such that the BS is connected to the users whose local FL models have significant effects on its global FL model with high probabilities. Given the user selection policy, the uplink RB allocation can be determined. To further reduce the FL convergence time, artificial neural networks (ANNs) are used to estimate the local FL models of the users that are not allocated any RBs for local FL model transmission at each given learning step, which enables the BS to enhance its global FL model and improve the FL convergence speed and performance.


title: Nevanlinna-Pick Interpolation On Certain Subalgebras of $H^{\infty}(\mathbb{D})$

abstract: Given a collection $K$ of positive integers, let $H^{\infty}_K(\mathbb{D})$ denote the set of all bounded analytic functions defined on the unit disk $\mathbb{D}$ in $\mathbb{C}$ whose $k^{\text{th}}$ derivative vanishes at zero, for all $k \in K$. In this paper, we establish a Nevanlinna-Pick interpolation result for the subalgebra $H^{\infty}_K(\mathbb{D})$, where $K = \{1,2,\dotsc,k\}$, which is a slight generalization of the interpolation theorem that Davidson, Paulsen, Raghupathi, and Singh proved for the algebra $H^{\infty}_{\{1\}}(\mathbb{D})$. Furthermore, we provide a sufficient condition for an interpolation function to exist in the algebra $H^{\infty}_K(\mathbb{D})$ for a given $K$. Lastly, we give a necessary condition for the existence of such interpolation functions.


title: A versatile anomaly detection method for medical images with a flow-based generative model in semi-supervision setting

abstract: Oversight in medical images is a crucial problem, and timely reporting of medical images is desired. Therefore, an all-purpose anomaly detection method that can detect virtually all types of lesions/diseases in a given image is strongly desired. However, few commercially available and versatile anomaly detection methods for medical images have been provided so far. Recently, anomaly detection methods built upon deep learning methods have been rapidly growing in popularity, and these methods seem to provide reasonable solutions to the problem. However, the workload to label the images necessary for training in deep learning remains heavy. In this study, we present an anomaly detection method based on two trained flow-based generative models. With this method, the posterior probability can be computed as a normality metric for any given image. The training of the generative models requires two sets of images: a set containing only normal images and another set containing both normal and abnormal images without any labels. In the latter set, each sample does not have to be labeled as normal or abnormal; therefore, any mixture of images (e.g., all cases in a hospital) can be used as the dataset without cumbersome manual labeling. The method was validated with two types of medical images: chest X-ray radiographs (CXRs) and brain computed tomographies (BCTs). The areas under the receiver operating characteristic curves for logarithm posterior probabilities of CXRs (0.868 for pneumonia-like opacities) and BCTs (0.904 for infarction) were comparable to those in previous studies with other anomaly detection methods. This result showed the versatility of our method.


title: Small Aperture Telescopes for the Simons Observatory

abstract: The Simons Observatory (SO) is an upcoming cosmic microwave background (CMB) experiment located on Cerro Toco, Chile, that will map the microwave sky in temperature and polarization in six frequency bands spanning 27 to 285 GHz. SO will consist of one 6-meter Large Aperture Telescope (LAT) fielding $\sim$30,000 detectors and an array of three 0.42-meter Small Aperture Telescopes (SATs) fielding an additional 30,000 detectors. This synergy will allow for the extremely sensitive characterization of the CMB over angular scales ranging from an arcmin to tens of degrees, enabling a wide range of scientific output. Here we focus on the SATs targeting degree angular scales with successive dichroic instruments observing at Mid-Frequency (MF: 93/145 GHz), Ultra-High-Frequency (UHF: 225/285 GHz), and Low-Frequency (LF: 27/39 GHz). The three SATs will be able to map $\sim$10% of the sky to a noise level of 2 $\mu$K-arcmin when combining 93 and 145 GHz. The multiple frequency bands will allow the CMB to be separated from galactic foregrounds (primarily synchrotron and dust), with the primary science goal of characterizing the primordial tensor-to-scalar ratio, $r$, at a target level of $\sigma \left(r\right) \approx 0.003$.


title: Unsupervised Representation Disentanglement using Cross Domain Features and Adversarial Learning in Variational Autoencoder based Voice Conversion

abstract: An effective approach for voice conversion (VC) is to disentangle linguistic content from other components in the speech signal. The effectiveness of variational autoencoder (VAE) based VC (VAE-VC), for instance, strongly relies on this principle. In our prior work, we proposed a cross-domain VAE-VC (CDVAE-VC) framework, which utilized acoustic features of different properties, to improve the performance of VAE-VC. We believed that the success came from more disentangled latent representations. In this paper, we extend the CDVAE-VC framework by incorporating the concept of adversarial learning, in order to further increase the degree of disentanglement, thereby improving the quality and similarity of converted speech. More specifically, we first investigate the effectiveness of incorporating the generative adversarial networks (GANs) with CDVAE-VC. Then, we consider the concept of domain adversarial training and add an explicit constraint to the latent representation, realized by a speaker classifier, to explicitly eliminate the speaker information that resides in the latent code. Experimental results confirm that the degree of disentanglement of the learned latent representation can be enhanced by both GANs and the speaker classifier. Meanwhile, subjective evaluation results in terms of quality and similarity scores demonstrate the effectiveness of our proposed methods.


title: Total $k$-domination in Cartesian product of complete graphs

abstract: Let $G=(V,E)$ be a finite undirected graph. A set $S$ of vertices in $V$ is said to be total $k$-dominating if every vertex in $V$ is adjacent to at least $k$ vertices in $S$. The total $k$-domination number, $\gamma_{kt}(G)$, is the minimum cardinality of a total $k$-dominating set in $G$. In this work we study the total $k$-domination number of Cartesian product of two complete graphs which is a lower bound of the total $k$-domination number of Cartesian product of two graphs. We obtain new lower and upper bounds for the total $k$-domination number of Cartesian product of two complete graphs. Some asymptotic behaviors are obtained as a consequence of the bounds we found. In particular, we obtain that $\displaystyle\liminf_{n\to\infty}\frac{\gamma_{kt}(G\Box H)}{n}\leq 2\,\left(\left\lceil\frac{k}{2}\right\rceil^{-1}+\left\lfloor\frac{k+4}{2}\right\rfloor^{-1}\right)^{-1}$ for graphs $G,H$ with order at least $n$. We also prove that the equality is attained if and only if $k$ is even. The equality holds when $G,H$ are both isomorphic to the complete graph, $K_n$, with $n$ vertices. Furthermore, we obtain closed formulas for the total $2$-domination number of Cartesian product of two complete graphs of whatever order. Besides, we prove that, for $k=3$, the inequality above is improvable to $\displaystyle\liminf_{n\to\infty} \gamma_{3t}(K_n\Box K_n)/n \leq 11/5$.


title: Counting Salem numbers of arithmetic hyperbolic 3-orbifolds

abstract: It is known that the lengths of closed geodesics of an arithmetic hyperbolic orbifold are related to Salem numbers. We initiate a quantitative study of this phenomenon. We show that any non-compact arithmetic $3$-dimensional orbifold defines $c Q^{1/2} + O(Q^{1/4})$ square-rootable Salem numbers of degree $4$ which are less than or equal to $Q$. This quantity can be compared to the total number of such Salem numbers, which is shown to be asymptotic to $\frac{4}{3}Q^{3/2}+O(Q)$. Assuming the gap conjecture of Marklof, we can extend these results to compact arithmetic $3$-orbifolds. As an application, we obtain lower bounds for the strong exponential growth of mean multiplicities in the geodesic spectrum of non-compact even dimensional arithmetic orbifolds. Previously, such lower bounds had only been obtained in dimensions $2$ and $3$.


title: DeepRS: Deep-learning Based Network-Adaptive FEC for Real-Time Video Communications

abstract: This work proposes an innovative approach to handle packet loss in real-time video streaming scenarios in a more sophisticated way -- Predicting packet loss pattern on time field by deep learning model.


title: Incentivising Exploration and Recommendations for Contextual Bandits with Payments

abstract: We propose a contextual bandit based model to capture the learning and social welfare goals of a web platform in the presence of myopic users. By using payments to incentivize these agents to explore different items/recommendations, we show how the platform can learn the inherent attributes of items and achieve a sublinear regret while maximizing cumulative social welfare. We also calculate theoretical bounds on the cumulative costs of incentivization to the platform. Unlike previous works in this domain, we consider contexts to be completely adversarial, and the behavior of the adversary is unknown to the platform. Our approach can improve various engagement metrics of users on e-commerce stores, recommendation engines and matching platforms.


title: Expected Distances on Manifolds of Partially Oriented Flags

abstract: Flag manifolds are generalizations of projective spaces and other Grassmannians: they parametrize flags, which are nested sequences of subspaces in a given vector space. These are important objects in algebraic and differential geometry, but are also increasingly being used in data science, where many types of data are properly understood as subspaces rather than vectors. In this paper we discuss partially oriented flag manifolds, which parametrize flags in which some of the subspaces may be endowed with an orientation. We compute the expected distance between random points on some low-dimensional examples, which we view as a statistical baseline against which to compare the distances between particular partially oriented flags coming from geometry or data.


title: Fine-grained Analysis on Fast Implementations of Distributed Multi-writer Atomic Registers

abstract: Distributed multi-writer atomic registers are at the heart of a large number of distributed algorithms. While enjoying the benefits of atomicity, researchers further explore fast implementations of atomic reigsters which are optimal in terms of data access latency. Though it is proved that multi-writer atomic register implementations are impossible when both read and write are required to be fast, it is still open whether implementations are impossible when only write or read is required to be fast. This work proves the impossibility of fast write implementations based on a series of chain arguments among indistiguishable executions. We also show the necessary and sufficient condition for fast read implementations by extending the results in the single-writer case. This work concludes a series of studies on fast implementations of distributed atomic registers.


title: OmBURo: A Novel Unicycle Robot with Active Omnidirectional Wheel

abstract: A mobility mechanism for robots to be used in tight spaces shared with people requires it to have a small footprint, to move omnidirectionally, as well as to be highly maneuverable. However, currently there exist few such mobility mechanisms that satisfy all these conditions well. Here we introduce Omnidirectional Balancing Unicycle Robot (OmBURo), a novel unicycle robot with active omnidirectional wheel. The effect is that the unicycle robot can drive in both longitudinal and lateral directions simultaneously. Thus, it can dynamically balance itself based on the principle of dual-axis wheeled inverted pendulum. This letter discloses the early development of this novel unicycle robot involving the overall design, modeling, and control, as well as presents some preliminary results including station keeping and path following. With its very compact structure and agile mobility, it might be the ideal locomotion mechanism for robots to be used in human environments in the future.


title: Inference over Wireless IoT Links with Importance-Filtered Updates

abstract: We consider a communication cell comprised of Internet-of-Things (IoT) nodes transmitting to a common Access Point (AP). The nodes in the cell are assumed to generate data samples periodically, which are to be transmitted to the AP. The AP hosts a machine learning model, such as a neural network, which is trained on the received data samples to make accurate inferences. We address the following tradeoff: The more often the IoT nodes transmit, the higher the accuracy of the inference made by the AP, but also the higher the energy expenditure at the IoT nodes. We propose a data filtering scheme employed by the IoT nodes, which we refer to as distributed importance filtering in order to filter out redundant data samples already at the IoT nodes. The IoT nodes do not have large on-device machine learning models and the data filtering scheme operates under periodic instructions from the model placed at the AP. The proposed scheme is evaluated using neural networks on a benchmark machine vision dataset, as well as in two practical scenarios: leakage detection in water distribution networks and air-pollution detection in urban areas. The results show that the proposed scheme offers significant benefits in terms of network longevity as it preserves the devices' resources, whilst maintaining high inference accuracy. Our approach reduces the the computational complexity for training the model and obviates the need for data pre-processing, which makes it highly applicable in practical IoT scenarios.


title: On diffusive scaling in acousto-optic imaging

abstract: Acousto-optic imaging (AOI) is a hybrid imaging process. By perturbing the to-be-reconstructed tissues with acoustic waves, one introduces the interaction between the acoustic and optical waves, leading to a more stable reconstruction of the optical properties. The mathematical model was described in [25], with the radiative transfer equation serving as the forward model for the optical transport. In this paper we investigate the stability of the reconstruction. In particular, we are interested in how the stability depends on the Knudsen number, Kn, a quantity that measures the intensity of the scattering effect of photon particles in a media. Our analysis shows that as Kn decreases to zero, photons scatter more frequently, and since information is lost, the reconstruction becomes harder. To counter this effect, devices need to be constructed so that laser beam is highly concentrated. We will give a quantitative error bound, and explicitly show that such concentration has an exponential dependence on Kn. Numerical evidence will be provided to verify the proof.


title: A Deep Learning Algorithm for High-Dimensional Exploratory Item Factor Analysis

abstract: Marginal maximum likelihood (MML) estimation is the preferred approach to fitting item response theory models in psychometrics due to the MML estimator's consistency, normality, and efficiency as the sample size tends to infinity. However, state-of-the-art MML estimation procedures such as the Metropolis-Hastings Robbins-Monro (MH-RM) algorithm as well as approximate MML estimation procedures such as variational inference (VI) are computationally time-consuming when the sample size and the number of latent factors are very large. In this work, we investigate a deep learning-based VI algorithm for exploratory item factor analysis (IFA) that is computationally fast even in large data sets with many latent factors. The proposed approach applies a deep artificial neural network model called an importance-weighted autoencoder (IWAE) for exploratory IFA. The IWAE approximates the MML estimator using an importance sampling technique wherein increasing the number of importance-weighted (IW) samples drawn during fitting improves the approximation, typically at the cost of decreased computational efficiency. We provide a real data application that recovers results aligning with psychological theory across random starts. Via simulation studies, we show that the IWAE yields more accurate estimates as either the sample size or the number of IW samples increases (although factor correlation and intercepts estimates exhibit some bias) and obtains similar results to MH-RM in less time. Our simulations also suggest that the proposed approach performs similarly to and is potentially faster than constrained joint maximum likelihood estimation, a fast procedure that is consistent when the sample size and the number of items simultaneously tend to infinity.


title: Investigation of laser-induced-metal phase of $\mathrm{MoTe}_{2}$ and its contact property via scanning gate microscopy

abstract: Although semiconductor to metal phase transformation of MoTe$_{2}$ by high-density laser irradiation of more than 0.3 MW/cm$^{2}$ has been reported, we reveal that the laser-induced-metal (LIM) phase is not the 1T' structure derived by a polymorphic-structural phase transition but consists instead of semi-metallic Te induced by photo-thermal decomposition of MoTe$_{2}$. The technique is used to fabricate a field effect transistor with a Pd/2H-MoTe$_{2}$/LIM structure having an asymmetric metallic contact, and its contact properties are studied via scanning gate microscopy. We confirm that a Schottky barrier (a diffusion potential) is always formed at the Pd/2H-MoTe$_{2}$ boundary and obstacles a carrier transport while an Ohmic contact is realized at the 2H-MoTe$_{2}$/LIM phase junction for both n- and p-type carriers.


title: Optimal estimation of sparse topic models

abstract: Topic models have become popular tools for dimension reduction and exploratory analysis of text data which consists in observed frequencies of a vocabulary of $p$ words in $n$ documents, stored in a $p\times n$ matrix. The main premise is that the mean of this data matrix can be factorized into a product of two non-negative matrices: a $p\times K$ word-topic matrix $A$ and a $K\times n$ topic-document matrix $W$. This paper studies the estimation of $A$ that is possibly element-wise sparse, and the number of topics $K$ is unknown. In this under-explored context, we derive a new minimax lower bound for the estimation of such $A$ and propose a new computationally efficient algorithm for its recovery. We derive a finite sample upper bound for our estimator, and show that it matches the minimax lower bound in many scenarios. Our estimate adapts to the unknown sparsity of $A$ and our analysis is valid for any finite $n$, $p$, $K$ and document lengths. Empirical results on both synthetic data and semi-synthetic data show that our proposed estimator is a strong competitor of the existing state-of-the-art algorithms for both non-sparse $A$ and sparse $A$, and has superior performance is many scenarios of interest.


title: Probing Nuclear Structure with Future Colliders

abstract: Improved knowledge of the nucleon structure is a crucial pathway toward a deeper understanding of the fundamental nature of the QCD interaction, and will enable important future discoveries. The experimental facilities proposed for the next decade offer a tremendous opportunity to advance the precision of our theoretical predictions to unprecedented levels. In this report we briefly highlight some of the recently developed tools and techniques which, together with data from these new colliders, have the potential to revolutionize our understanding of the QCD theory in the next decade.


title: Delay and Packet-Drop Tolerant Multi-Stage Distributed Average Tracking in Mean Square

abstract: This paper studies the distributed average tracking problem pertaining to a discrete-time linear time-invariant multi-agent network, which is subject to, concurrently, input delays, random packet-drops, and reference noise. The problem amounts to an integrated design of delay and packet-drop tolerant algorithm and determining the ultimate upper bound of the tracking error between agents' states and the average of the reference signals. The investigation is driven by the goal of devising a practically more attainable average tracking algorithm, thereby extending the existing work in the literature which largely ignored the aforementioned uncertainties. For this purpose, a blend of techniques from Kalman filtering, multi-stage consensus filtering, and predictive control is employed, which gives rise to a simple yet comepelling distributed average tracking algorithm that is robust to initialization error and allows the trade-off between communication/computation cost and stationary-state tracking error. Due to the inherent coupling among different control components, convergence analysis is significantly challenging. Nevertheless, it is revealed that the allowable values of the algorithm parameters rely upon the maximal degree of an expected network, while the convergence speed depends upon the second smallest eigenvalue of the same network's topology. The effectiveness of the theoretical results is verified by a numerical example.


title: Fairness Metrics: A Comparative Analysis

abstract: Algorithmic fairness is receiving significant attention in the academic and broader literature due to the increasing use of predictive algorithms, including those based on artificial intelligence. One benefit of this trend is that algorithm designers and users have a growing set of fairness measures to choose from. However, this choice comes with the challenge of identifying how the different fairness measures relate to one another, as well as the extent to which they are compatible or mutually exclusive. We describe some of the most widely used fairness metrics using a common mathematical framework and present new results on the relationships among them. The results presented herein can help place both specialists and non-specialists in a better position to identify the metric best suited for their application and goals.


title: Estimating the Unruh effect via entangled many-body probes

abstract: We study the estimation of parameters in a quantum metrology scheme based on entangled many-body Unruh-DeWitt detectors. It is found that the precision for the estimation of Unruh effect can be enhanced via initial state preparations and parameter selections. It is shown that the precision in the estimation of the Unruh temperature in terms of a many-body-probe metrology is always better than the precision in two probe strategies. The proper acceleration for Bob's detector and the interaction between the accelerated detector and the external field have significant influences on the precision for the Unruh effect's estimation. In addition, the probe state prepared with more excited atoms in the initial state is found to perform better than less excited initial states. However, different from the estimation of the Unruh temperature, the estimation of the effective coupling parameter for the accelerated detector requires more total atoms but less excited atoms in the estimations.


title: Keyword-based Topic Modeling and Keyword Selection

abstract: Certain type of documents such as tweets are collected by specifying a set of keywords. As topics of interest change with time it is beneficial to adjust keywords dynamically. The challenge is that these need to be specified ahead of knowing the forthcoming documents and the underlying topics. The future topics should mimic past topics of interest yet there should be some novelty in them. We develop a keyword-based topic model that dynamically selects a subset of keywords to be used to collect future documents. The generative process first selects keywords and then the underlying documents based on the specified keywords. The model is trained by using a variational lower bound and stochastic gradient optimization. The inference consists of finding a subset of keywords where given a subset the model predicts the underlying topic-word matrix for the unknown forthcoming documents. We compare the keyword topic model against a benchmark model using viral predictions of tweets combined with a topic model. The keyword-based topic model outperforms this sophisticated baseline model by 67%.


title: A Simple and Efficient Binary Byzantine Consensus Algorithm using Cryptography and Partial Synchrony

abstract: This paper describes a simple and efficient Binary Byzantine faulty tolerant consensus algorithm using a weak round coordinator and the partial synchrony assumption to ensure liveness. In the algorithm, non-faulty nodes perform an initial broadcast followed by a executing a series of rounds consisting of a single message broadcast until termination. Each message is accompanied by a cryptographic proof of its validity. In odd rounds the binary value 1 can be decided, in even round 0. Up to one third of the nodes can be faulty and termination is ensured within a number of round of a constant factor of the number of faults. Experiments show termination can be reached in less than 200 milliseconds with 300 Amazon EC2 instances spread across 5 continents even with partial initial disagreement.


title: Bekoll\'e-Bonami estimates on some pseudoconvex domains

abstract: We establish a weighted $L^p$ norm estimate for the Bergman projection for a class of pseudoconvex domains. We obtain an upper bound for the weighted $L^p$ norm when the domain is, for example, a bounded smooth strictly pseudoconvex domain, a pseudoconvex domain of finite type in $\mathbb C^2$, a convex domain of finite type in $\mathbb C^n$, or a decoupled domain of finite type in $\mathbb C^n$. The upper bound is related to the Bekoll\'e-Bonami constant and is sharp. When the domain is smooth, bounded, and strictly pseudoconvex, we also obtain a lower bound for the weighted norm.


title: CDST: A Toolkit for Testing Cockpit Display Systems of Avionics

abstract: Avionics are highly critical systems that require extensive testing governed by international safety standards. Cockpit Display Systems (CDS) are an essential component of modern aircraft cockpits and display information from the user application using various widgets. A significant step in the testing of avionics is to evaluate whether these CDS are displaying the correct information. A common industrial practice is to manually test the information on these CDS by taking the aircraft into different scenarios during the simulation. Given the large number of scenarios to test, manual testing of such behavior is a laborious activity. In this paper, we present a CDST toolkit that automates the testing of Cockpit Display Systems (CDS). We discuss the workflow and architecture of the tool and also demonstrates the tool on an industrial case study. The results show that the tool is able to generate, execute, and evaluate the test cases and identify 3 bugs in the case study.


title: Optimal stopping for many connected components in a graph

abstract: We study a new optimal stopping problem: Let $G$ be a fixed graph with $n$ vertices which become active on-line in time, one by another, in a random order. The active part of $G$ is the subgraph induced by the active vertices. Find a stopping algorithm that maximizes the expected number of connected components of the active part of $G$. We prove that if $G$ is a $k$-tree, then there is no asymptotically better algorithm than `wait until $\frac{1}{k+1}$ fraction of vertices'. The maximum expected number of connected components equals to $$\left(\frac{k^k}{(k+1)^{k+1}}+o(1)\right)n.$$


title: M^2 Deep-ID: A Novel Model for Multi-View Face Identification Using Convolutional Deep Neural Networks

abstract: Despite significant advances in Deep Face Recognition (DFR) systems, introducing new DFRs under specific constraints such as varying pose still remains a big challenge. Most particularly, due to the 3D nature of a human head, facial appearance of the same subject introduces a high intra-class variability when projected to the camera image plane. In this paper, we propose a new multi-view Deep Face Recognition (MVDFR) system to address the mentioned challenge. In this context, multiple 2D images of each subject under different views are fed into the proposed deep neural network with a unique design to re-express the facial features in a single and more compact face descriptor, which in turn, produces a more informative and abstract way for face identification using convolutional neural networks. To extend the functionality of our proposed system to multi-view facial images, the golden standard Deep-ID model is modified in our proposed model. The experimental results indicate that our proposed method yields a 99.8% accuracy, while the state-of-the-art method achieves a 97% accuracy. We also gathered the Iran University of Science and Technology (IUST) face database with 6552 images of 504 subjects to accomplish our experiments.


title: An estimate for the radial chemical distance in $2d$ critical percolation clusters

abstract: We derive an estimate for the distance, measured in lattice spacings, inside two-dimensional critical percolation clusters from the origin to the boundary of the box of side length $2n$, conditioned on the existence of an open connection. The estimate we obtain is the radial analogue of the one found in the work of Damron, Hanson, and Sosoe. In the present case, however, there is no lowest crossing in the box to compare to, so we construct a path $\gamma$ from the origin to distance $n$ that consists of "three-arm" points, and whose volume can thus be estimated by $O(n^2\pi_3(n))$. Here, $\pi_3(n)$ is the "three-arm probability" that the origin is connected to distance $n$ by three arms, two open and one dual-closed. We then develop estimates for the existence of shortcuts around an edge $e$ in the box, conditional on $\{e\in \gamma\}$, to obtain a bound of the form $O(n^{2-\delta}\pi_3(n))$ for some $\delta>0$.


title: Solving parametric radical equations with depth 2 rigorously using the restriction set method

abstract: We review the history and previous literature on radical equations and present the rigorous solution theory for radical equations of depth 2, continuing a previous study of radical equations of depth 1. Radical equations of depth 2 are equations where the unknown variable appears under at least one square root and where two steps are needed to eliminate all radicals appearing in the equation. We state and prove theorems for all three equation forms with depth 2 that give the solution set of all real-valued solutions. The theorems are shown via the restriction set method that uses inequality restrictions to decide whether to accept or reject candidate solutions. We distinguish between formal solutions that satisfy the original equation in a formal sense, where we allow some radicals to evaluate to imaginary numbers during verification, and strong solutions, where all radicals evaluate to real numbers during verification. Our theorems explicitly identify the set of all formal solutions and the set of all strong solutions for each equation form. The theory underlying radical equations with depth 2 is richer and more interesting than the theory governing radical equations with depth 1, and some aspects of the theory are not intuitively obvious. It is illustrated with examples of parametric radical equations.


title: Non-Negative Matrix Factorization-Convolutional Neural Network (NMF-CNN) For Sound Event Detection

abstract: The main scientific question of this year DCASE challenge, Task 4 - Sound Event Detection in Domestic Environments, is to investigate the types of data (strongly labeled synthetic data, weakly labeled data, unlabeled in domain data) required to achieve the best performing system. In this paper, we proposed a deep learning model that integrates Non-Negative Matrix Factorization (NMF) with Convolutional Neural Network (CNN). The key idea of such integration is to use NMF to provide an approximate strong label to the weakly labeled data. Such integration was able to achieve a higher event-based F1-score as compared to the baseline system (Evaluation Dataset: 30.39% vs. 23.7%, Validation Dataset: 31% vs. 25.8%). By comparing the validation results with other participants, the proposed system was ranked 8th among 19 teams (inclusive of the baseline system) in this year Task 4 challenge.


title: Fractional semilinear heat equations with singular and nondecaying initial data

abstract: We study integrability conditions for existence and nonexistence of a local-in-time integral solution of fractional semilinear heat equations with rather general growing nonlinearities in uniformly local $L^p$ spaces. Our main results about this matter consist of Theorems 1.4, 1.6, 5.1 and 5.3. We introduce a new supersolution which plays a crucial role. Our method does not rely on a change of variables, and hence it can be applied to a wide class of nonlocal parabolic equations. In particular, when the nonlinear term is $u^p$ or $e^u$, a local-in-time solution can be constructed in the critical case, and integrability conditions for the existence and nonexistence are completely classified. Our analysis is based on the comparison principle, Jensen's inequality and $L^p$-$L^q$ type estimates.


title: VoiceCoach: Interactive Evidence-based Training for Voice Modulation Skills in Public Speaking

abstract: The modulation of voice properties, such as pitch, volume, and speed, is crucial for delivering a successful public speech. However, it is challenging to master different voice modulation skills. Though many guidelines are available, they are often not practical enough to be applied in different public speaking situations, especially for novice speakers. We present VoiceCoach, an interactive evidence-based approach to facilitate the effective training of voice modulation skills. Specifically, we have analyzed the voice modulation skills from 2623 high-quality speeches (i.e., TED Talks) and use them as the benchmark dataset. Given a voice input, VoiceCoach automatically recommends good voice modulation examples from the dataset based on the similarity of both sentence structures and voice modulation skills. Immediate and quantitative visual feedback is provided to guide further improvement. The expert interviews and the user study provide support for the effectiveness and usability of VoiceCoach.


title: Probing XY phase transitions in a Josephson junction array with tunable frustration

abstract: The seminal theoretical works of Berezinskii, Kosterlitz, and Thouless presented a new paradigm for phase transitions in condensed matter that are driven by topological excitations. These transitions have been extensively studied in the context of two-dimensional XY models -- coupled compasses -- and have generated interest in the context of quantum simulation. Here, we use a circuit quantum-electrodynamics architecture to study the critical behavior of engineered XY models through their dynamical response. In particular, we examine not only the unfrustrated case but also the fully-frustrated case which leads to enhanced degeneracy associated with the spin rotational [U$(1)$] and discrete chiral ($Z_2$) symmetries. The nature of the transition in the frustrated case has posed a challenge for theoretical studies while direct experimental probes remain elusive. Here we identify the transition temperatures for both the unfrustrated and fully-frustrated XY models by probing a Josephson junction array close to equilibrium using weak microwave excitations and measuring the temperature dependence of the effective damping obtained from the complex reflection coefficient. We argue that our probing technique is primarily sensitive to the dynamics of the U$(1)$ part.


title: Kingman's model with random mutation probabilities: convergence and condensation II

abstract: Kingman's model describes the evolution of a one-locus haploid population of infinite size and discrete generations under the competition of selection and mutation. A random generalisation has been made in a previous paper which assumes all mutation probabilities to be i.i.d.. The weak convergence of fitness distributions to a globally stable equilibrium for any initial distribution was proved. A condensation occurs if almost surely a positive proportion of the population travels to and condensates on the largest fitness value due to the dominance of selection over mutation. A criterion of condensation was given which relies on the equilibrium whose explicit expression is however unknown. This paper tackles these problems based on the discovery of a matrix representation of the random model. An explicit expression of the equilibrium is obtained and the key quantity in the condensation criterion can be estimated. Moreover we examine how the design of randomness in Kingman's model affects the fitness level of the equilibrium by comparisons between different models. The discovered facts are conjectured to hold in other more sophisticated models.


title: Efficiently jet-powered radiation in intermediate-luminosity optical transients (ILOTS)

abstract: I show that a flow structure where wide jets hit a slower expanding shell might be very efficient in channelling the kinetic energy of the jets to radiation, therefore accounting for, at a least a fraction of, intermediate luminosity optical transients (ILOTs) where the total radiation energy is much larger than what recombination energy of the outflow can supply. This type of flow might occur in the frame of the high-accretion-powered ILOT (HAPI) model, where there is a high mass accretion rate as a result of stellar merger or mass transfer in a binary system. I derive the condition on the jets half-opening angle for the jets not to penetrate through the slow shell, as well as the ratio of the photon diffusion time to expansion time. This ratio cannot be too large if a large fraction of the thermal energy is channelled to radiation. I apply the jet-powered radiation model to the Great Eruption of Eta Carinae, to V838~Mon, and to V4332~Sgr, and find a plausible set of parameters for these ILOTs. I expect the jet-powered radiation model to be more efficient in converting kinetic energy to radiation than ILOT models that are based on equatorial mass concentration. In many cases, thought, I expect both jets and equatorial mass concentration to occur in the same system.


title: Rate-dependent drag instability in granular materials

abstract: We investigate the conditions leading to large drag force fluctuations in granular materials. The study is based on a set of experimental drag tests, which involve pulling a plate vertically through a cohesionless granular material. In agreement with previous observations, drag force exhibits significant and sudden drops -up to 60%- when the plate is pulled out at low velocities. We further find that this instability vanishes at higher pullout velocities and near the surface. We empirically characterise the frequency and amplitude of these fluctuations and find that these properties are not consistent with a classical stick-slip dynamics. We therefore propose an alternative physical mechanism that can explain these force fluctuations.


title: Fabrication of Optical Nanofibre-Based Cavities using Focussed Ion-Beam Milling -- A Review

abstract: Nanofibre-based optical cavities are particularly useful for quantum optics application, such as the development of integrated single-photon sources, and for studying fundamental light-matter interactions in cavity quantum electrodynamics (cQED). Although several techniques have been used to produce nanofibre-based optical cavities, focussed ion beam (FIB) milling is becoming popular; it can be used for the fabrication of complex structures directly in the nanofibre. This technique uses a highly accelerated ion beam to remove atoms from the target material with high resolution. However, it is challenging to mill insulating materials with highly-curved structures and large aspect ratios, such as silica nanofibres, due to charge accumulation in the material that leads to mechanical vibrations and misalignment issues. In this article, we highlight the main features of nanofibres and briefly review cQED with nanofibre-based optical cavities. An overview of the milling process is given with a summary of different FIB milled devices and their applications. Finally, we present our technique to produce nanofibre cavities by FIB milling. To overcome the aforementioned challenges, we present a specially designed base plate with an indium tin oxide (ITO)-coated Si substrate and outline our procedure, which improves stability during milling and increases repeatability.


title: Is GW190425 consistent with being a neutron star$-$black hole merger?

abstract: GW190425 is the second neutron star merger event detected by the Advanced LIGO/Virgo detectors. If interpreted as a double neutron star merger, the total gravitational mass is substantially larger than that of the binary systems identified in the Galaxy. In this work we analyze the gravitational-wave data within the neutron star$-$black hole merger scenario. For the black hole, we yield a mass of $2.40^{+0.36}_{-0.32}M_\odot$ and an aligned spin of $0.141^{+0.067}_{-0.064}$. As for the neutron star we find a mass of $1.15^{+0.15}_{-0.13}M_\odot$ and the dimensionless tidal deformability of $1.4^{+3.8}_{-1.2}\times 10^{3}$. These parameter ranges are for 90\% credibility. The inferred masses of the neutron star and the black hole are not in tension with current observations and we suggest that GW190425 is a viable candidate of a neutron star$-$black hole merger event. Benefitting from the continual enhancement of the sensitivities of the advanced gravitational detectors and the increase of the number of the observatories, similar events are anticipated to be much more precisely measured in the future and the presence of black holes below the so-called mass gap will be unambiguously clarified. If confirmed, the mergers of neutron stars with (quickly rotating) low-mass black holes are likely important production sites of the heaviest r-process elements.


title: Learning functions varying along a central subspace

abstract: Many functions of interest are in a high-dimensional space but exhibit low-dimensional structures. This paper studies regression of a $s$-H\"{o}lder function $f$ in $\mathbb{R}^D$ which varies along a central subspace of dimension $d$ while $d\ll D$. A direct approximation of $f$ in $\mathbb{R}^D$ with an $\varepsilon$ accuracy requires the number of samples $n$ in the order of $\varepsilon^{-(2s+D)/s}$. In this paper, we analyze the Generalized Contour Regression (GCR) algorithm for the estimation of the central subspace and use piecewise polynomials for function approximation. GCR is among the best estimators for the central subspace, but its sample complexity is an open question. We prove that GCR leads to a mean squared estimation error of $O(n^{-1})$ for the central subspace, if a variance quantity is exactly known. The estimation error of this variance quantity is also given in this paper. The mean squared regression error of $f$ is proved to be in the order of $\left(n/\log n\right)^{-\frac{2s}{2s+d}}$ where the exponent depends on the dimension of the central subspace $d$ instead of the ambient space $D$. This result demonstrates that GCR is effective in learning the low-dimensional central subspace. We also propose a modified GCR with improved efficiency. The convergence rate is validated through several numerical experiments.


title: Curvature Regularized Surface Reconstruction from Point Cloud

abstract: We propose a variational functional and fast algorithms to reconstruct implicit surface from point cloud data with a curvature constraint. The minimizing functional balances the distance function from the point cloud and the mean curvature term. Only the point location is used, without any local normal or curvature estimation at each point. With the added curvature constraint, the computation becomes particularly challenging. To enhance the computational efficiency, we solve the problem by a novel operator splitting scheme. It replaces the original high-order PDEs by a decoupled PDE system, which is solved by a semi-implicit method. We also discuss approach using an augmented Lagrangian method. The proposed method shows robustness against noise, and recovers concave features and sharp corners better compared to models without curvature constraint. Numerical experiments in two and three dimensional data sets, noisy and sparse data are presented to validate the model.


title: Normalization of Input-output Shared Embeddings in Text Generation Models

abstract: Neural Network based models have been state-of-the-art models for various Natural Language Processing tasks, however, the input and output dimension problem in the networks has still not been fully resolved, especially in text generation tasks (e.g. Machine Translation, Text Summarization), in which input and output both have huge sizes of vocabularies. Therefore, input-output embedding weight sharing has been introduced and adopted widely, which remains to be improved. Based on linear algebra and statistical theories, this paper locates the shortcoming of existed input-output embedding weight sharing method, then raises methods for improving input-output weight shared embedding, among which methods of normalization of embedding weight matrices show best performance. These methods are nearly computational cost-free, can get combined with other embedding techniques, and show good effectiveness when applied on state-of-the-art Neural Network models. For Transformer-big models, the normalization techniques can get at best 0.6 BLEU improvement compared to the original version of model on WMT'16 En-De dataset, and similar BLEU improvements on IWSLT 14' datasets. For DynamicConv models, 0.5 BLEU improvement can be attained on WMT'16 En-De dataset, and 0.41 BLEU improvement on IWSLT 14' De-En translation task is achieved.


title: AMP: Authentication of Media via Provenance

abstract: Advances in graphics and machine learning have led to the general availability of easy-to-use tools for modifying and synthesizing media. The proliferation of these tools threatens to cast doubt on the veracity of all media. One approach to thwarting the flow of fake media is to detect modified or synthesized media through machine learning methods. While detection may help in the short term, we believe that it is destined to fail as the quality of fake media generation continues to improve. Soon, neither humans nor algorithms will be able to reliably distinguish fake versus real content. Thus, pipelines for assuring the source and integrity of media will be required---and increasingly relied upon. We propose AMP, a system that ensures the authentication of media via certifying provenance. AMP creates one or more publisher-signed manifests for a media instance uploaded by a content provider. These manifests are stored in a database allowing fast lookup from applications such as browsers. For reference, the manifests are also registered and signed by a permissioned ledger, implemented using the Confidential Consortium Framework (CCF). CCF employs both software and hardware techniques to ensure the integrity and transparency of all registered manifests. AMP, through its use of CCF, enables a consortium of media providers to govern the service while making all its operations auditable. The authenticity of the media can be communicated to the user via visual elements in the browser, indicating that an AMP manifest has been successfully located and verified.


title: A Pseudopolynomial Algorithm to Minimize Maximum Lateness on Multiple Related Machines

abstract: In this paper, we will find a pseudopolynomial algorithm to solve $Qm \mid \mid L_{\max}$ and then we will prove that it is impossible to get any constant-factor approximation in polynomial time, and thus also impossible to have a PTAS for this problem. We will also show that the the problem when we don't assume a fixed number of machines, $P \mid \mid L_{\max}$, is strongly NP-hard.


title: Factorization algebras and abelian CS/WZW-type correspondences

abstract: We develop a method of quantization for free field theories on manifolds with boundary where the bulk theory is topological in the direction normal to the boundary and a local boundary condition is imposed. Our approach is within the Batalin-Vilkovisky formalism. At the level of observables, the construction produces a stratified factorization algebra that in the bulk recovers the factorization algebra developed by Costello and Gwilliam. The factorization algebra on the boundary stratum enjoys a perturbative bulk-boundary correspondence with this bulk factorization algebra. A central example is the factorization algebra version of the abelian Chern-Simons/Wess-Zumino-Witten correspondence, but we examine higher dimensional generalizations that are related to holomorphic truncations of string theory and $M$-theory and involve intermediate Jacobians.


title: Bounding Fixed Points of Set-Based Bellman Operator and Nash Equilibria of Stochastic Games

abstract: Motivated by uncertain parameters encountered in Markov decision processes (MDPs) and stochastic games, we study the effect of parameter uncertainty on Bellman operator-based algorithms under a set-based framework. Specifically, we first consider a family of MDPs where the cost parameters are in a given compact set; we then define a Bellman operator acting on a set of value functions to produce a new set of value functions as the output under all possible variations in the cost parameter. We prove the existence of a fixed point of this set-based Bellman operator by showing that it is contractive on a complete metric space, and explore its relationship with the corresponding family of MDPs and stochastic games. Additionally, we show that given interval set bounded cost parameters, we can form exact bounds on the set of optimal value functions. Finally, we utilize our results to bound the value function trajectory of a player in a stochastic game.


title: Coexistence of the Kondo effect and spin glass physics in Fe-doped NbS$_2$

abstract: We report the coexistence of the Kondo effect and spin glass behavior in Fe-doped NbS$_2$ single crystals. The Fe$_x$NbS$_2$ shows the resistance minimum and negative magnetoresistance due to the Kondo effect, and exhibits no superconducting behavior at low temperatures. The resistance curve follows a numerical renormalization-group theory using the Kondo temperature $T_K =12.3$~K for $x=0.01$ as evidence of Kondo effect. Scanning tunneling microscope/spectroscopy (STM/STS) revealed the presence of Fe atoms near sulfur atoms and asymmetric spectra. The magnetic susceptibility exhibits a feature of spin glass. The static critical exponents determined by the universal scaling of the nonlinear part of the susceptibility suggest a three-dimensional Heisenberg spin glass. The doped-Fe atoms in the intra- and inter-layers revealed by the X-ray result can realize the coexistence of the Kondo effect and spin glass.


title: Probing compact dark matter with gravitational wave fringes detected by the Einstein Telescope

abstract: Unlike the electromagnetic radiation from astrophysical objects, gravitational waves (GWs) from binary star mergers have much longer wavelengths and are coherent. For ground-based GW detectors, when the lens object between the source and the earth has mass $\sim 1-10^5M_\odot$, the diffraction effect should be considered since the chirping wavelengths are comparable to the scale of the barrier (its Schwarzschild radius). The waveform will thus be distorted as the fringes. In this work, we show that signals from the third-generation GW detectors like the Einstein Telescope (ET) would be a smoking gun for probing the nature of compact dark matter (CDM) or primordial black holes. Detection of the lensing effects becomes harder when the lens mass is smaller. ET is more sensitive than LIGO, the constraint is available for CDM mass $>5M_\odot$ while LIGO can only detect the mass $>100M_\odot$. For a null search of the fringes, one-year observation of ET can constrain the CDM density fraction to $\sim10^{-2}-10^{-5}$ in the mass range $M_{\rm{CDM}}=10M_\odot-100M_\odot$.


title: Response to Comment on "The role of electron-electron interactions in two-dimensional Dirac fermions"

abstract: Hesselmann {\it et al}.~question one of our conclusions, namely, the suppression of Fermi velocity at the Gross-Neveu critical point for the specific case of vanishing long-range interactions and at zero energy. The possibility they raise could occur in any finite-size extrapolation of numerical data. While we cannot definitively rule out this possibility, we provide mathematical bounds on its likelihood.


title: Transport in two dimensional Rashba electron systems doped with interacting magnetic impurities

abstract: We study the transport properties of two dimensional electron systems with strong Rashba spin-orbit coupling (SOC) doped with interacting magnetic impurities. Interactions between magnetic impurities cause the formation of magnetic clusters with temperature dependent mean sizes (CMSs) distributed randomly on the surface of the system. Treating magnetic clusters as scattering centers, by employing a generalized relaxation time approximation we obtain the non-equilibrium distribution functions of Rashba electrons in both regimes of above and below the band-crossing point (BCP) and present the explicit forms of the conductivity in terms of effective relaxation times. We demonstrate that the combined effects of SOC and magnetic clusters cause the system to be anisotropic and the magneto-resistance strongly depends on both the clusters' mean size and spin, the strengths of SOC and the location of Fermi energy with respect to the BCP. Our results show that there are many contrasts between the transport properties of the system in the two regimes of above and below the BCP. By comparing the anisotropic magneto-resistance (AMR) of the two dimensional Rashba systems with the surface AMR of three dimensional magnetic topological insulators, we also point out the differences between these systems.


title: Subtrees and independent subsets in unicyclic graphs and unicyclic graphs with fixed segment sequence

abstract: In the study of topological indices two negative correlations are well known: that between the number of subtrees and the Wiener index (sum of distances), and that between the Merrifield-Simmons index (number of independent vertex subsets) and the Hosoya index (number of independent edge subsets). That is, among a certain class of graphs, the extremal graphs that maximize one index usually minimize the other, and vice versa. In this paper, we first study the numbers of subtrees in unicyclic graphs and unicyclic graphs with a given girth, further confirming its opposite behavior to the Wiener index by comparing with known results. We then consider the unicyclic graphs with a given segment sequence and characterize the extremal structure with the maximum number of subtrees. Furthermore, we show that these graphs are not extremal with respect to the Wiener index. We also identify the extremal structures that maximize the number of independent vertex subsets among unicyclic graphs with a given segment sequence, and show that they are not extremal with respect to the number of independent edge subsets. These results may be the first examples where the above negative correlation failed in the extremal structures between these two pairs of indices.


title: Partially-Shared Variational Auto-encoders for Unsupervised Domain Adaptation with Target Shift

abstract: This paper proposes a novel approach for unsupervised domain adaptation (UDA) with target shift. Target shift is a problem of mismatch in label distribution between source and target domains. Typically it appears as class-imbalance in target domain. In practice, this is an important problem in UDA; as we do not know labels in target domain datasets, we do not know whether or not its distribution is identical to that in the source domain dataset. Many traditional approaches achieve UDA with distribution matching by minimizing mean maximum discrepancy or adversarial training; however these approaches implicitly assume a coincidence in the distributions and do not work under situations with target shift. Some recent UDA approaches focus on class boundary and some of them are robust to target shift, but they are only applicable to classification and not to regression. To overcome the target shift problem in UDA, the proposed method, partially shared variational autoencoders (PS-VAEs), uses pair-wise feature alignment instead of feature distribution matching. PS-VAEs inter-convert domain of each sample by a CycleGAN-based architecture while preserving its label-related content. To evaluate the performance of PS-VAEs, we carried out two experiments: UDA with class-unbalanced digits datasets (classification), and UDA from synthesized data to real observation in human-pose-estimation (regression). The proposed method presented its robustness against the class-imbalance in the classification task, and outperformed the other methods in the regression task with a large margin.


title: Stability of closedness of closed convex sets under linear mappings

abstract: We study the problem of when the continuous linear image of a fixed closed convex set $X \subset\mathbb{R}^n$ is closed. Specifically, we improve the main results in the papers \cite{Borwein2009, Borwein2010} by showing that for all, except for at most a $\sigma$-porous set, of the linear mappings $T$ from $\mathbb{R}^n$ into $\mathbb{R}^m,$ not only $T(X)$ is closed, but there is also an open neighborhood of $T$ whose members also preserve the closedness of $X.$


title: An authentication protocol based on chaos and zero knowledge proof

abstract: Port Knocking is a method for authenticating clients through a closed stance firewall, and authorising their requested actions, enabling severs to offer services to authenticated clients, without opening ports on the firewall. Advances in port knocking have resulted in an increase in complexity in design, preventing port knocking solutions from realising their potential. This paper proposes a novel port knocking solution, named Crucible, which is a secure method of authentication, with high usability and features of stealth, allowing servers and services to remain hidden and protected. Crucible is a stateless solution, only requiring the client memorise a command, the server's IP and a chosen password. The solution is forwarded as a method for protecting servers against attacks ranging from port scans, to zero-day exploitation. To act as a random oracle for both client and server, cryptographic hashes were generated through chaotic systems.


title: M\"obius orthogonality of sequences with maximal entropy

abstract: We prove that strongly $b$-multiplicative functions of modulus $1$ along squares are asymptotically orthogonal to the M\"obius function. This provides examples of sequences having maximal entropy and satisfying this property.


title: Bifurcation structure of a swept source laser

abstract: We numerically analyze a delay differential equation model of a short-cavity semiconductor laser with an intracavity frequency swept filter and reveal a complex bifurcation structure responsible for the asymmetry of the output characteristics of this laser. We show that depending on the direction of the frequency sweep of a narrowband filter, there exist two bursting cycles determined by different parts of a continuous-wave solutions branch.


title: Model-Based Cloud Resource Management with TOSCA and OCCI

abstract: With the advent of cloud computing, different cloud providers with heterogeneous cloud services (compute, storage, network, applications, etc.) and their related Application Programming Interfaces (APIs) have emerged. This heterogeneity complicates the implementation of an interoperable cloud system. Several standards have been proposed to address this challenge and provide a unified interface to cloud resources. The Open Cloud Computing Interface (OCCI) thereby focuses on the standardization of a common API for Infrastructure-as-a-Service (IaaS) providers while the Topology and Orchestration Specification for Cloud Applications (TOSCA) focuses on the standardization of a template language to enable the proper definition of the topology of cloud applications and their orchestrations on top of a cloud system. TOSCA thereby does not define how the application topologies are created on the cloud. Therefore, we analyse the conceptual similarities between the two approaches and we study how we can integrate them to obtain a complete standard-based approach to manage both cloud infrastructure and cloud application layers. We propose an automated extensive mapping between the concepts of the two standards and we provide TOSCA Studio, a model-driven tool chain for TOSCA that conforms to OCCI. TOSCA Studio allows to graphically design cloud applications as well as to deploy and manage them at runtime using a fully model-driven cloud orchestrator based on the two standards. Our contribution is validated by successfully designing and deploying three cloud applications: WordPress, Node Cellar and Multi-Tier.


title: Polaron Masses in CH3NH3PbX3 Perovskites Determined by Landau Level Spectroscopy in Low Magnetic Fields

abstract: We investigate the electron-phonon coupling in CH3NH3PbX3 lead halide perovskites through the observation of Landau levels and high-order excitons at weak magnetic fields, where the cyclotron energy is significantly smaller than the longitudinal optical phonon energy. The reduced masses of the carriers and the exciton binding energies obtained from these data are clearly influenced by polaron formation. We analyze the field-dependent polaronic and excitonic properties, and show that they can be quantitatively reproduced by the Frohlich large polaron model.


title: Cancellation theorems for reciprocity sheaves

abstract: We prove cancellation theorems for reciprocity sheaves and cube-invariant modulus sheaves with transfers of Kahn--Saito--Yamazaki, generalizing Voevodsky's cancellation theorem for $\mathbf{A}^1$-invariant sheaves with transfers. As an application, we get some new formulas for internal hom's of the sheaves $\Omega^i$ of absolute K\"ahler differentials.


title: Massive higher spin supermultiplets unfolded

abstract: In this paper we construct an unfolded formulation for the massive higher spin N=1 supermultiplets in four dimensional AdS space. We use the same frame-like gauge invariant multispinor formalism that was used previously for their Lagrangian formulation. We also consider an infinite spin limit of such supermultiplets.


title: Dynamic multi-object Gaussian process models: A framework for data-driven functional modelling of human joints

abstract: Statistical shape models (SSMs) are state-of-the-art medical image analysis tools for extracting and explaining features across a set of biological structures. However, a principled and robust way to combine shape and pose features has been illusive due to three main issues: 1) Non-homogeneity of the data (data with linear and non-linear natural variation across features), 2) non-optimal representation of the $3D$ motion (rigid transformation representations that are not proportional to the kinetic energy that move an object from one position to the other), and 3) artificial discretization of the models. In this paper, we propose a new framework for dynamic multi-object statistical modelling framework for the analysis of human joints in a continuous domain. Specifically, we propose to normalise shape and dynamic spatial features in the same linearized statistical space permitting the use of linear statistics; we adopt an optimal 3D motion representation for more accurate rigid transformation comparisons; and we provide a 3D shape and pose prediction protocol using a Markov chain Monte Carlo sampling-based fitting. The framework affords an efficient generative dynamic multi-object modelling platform for biological joints. We validate the framework using a controlled synthetic data. Finally, the framework is applied to an analysis of the human shoulder joint to compare its performance with standard SSM approaches in prediction of shape while adding the advantage of determining relative pose between bones in a complex. Excellent validity is observed and the shoulder joint shape-pose prediction results suggest that the novel framework may have utility for a range of medical image analysis applications. Furthermore, the framework is generic and can be extended to n$>$2 objects, making it suitable for clinical and diagnostic methods for the management of joint disorders.


title: Viscosity solutions of Hamilton-Jacobi-Bellman-Isaacs equations for time-delay systems

abstract: The paper deals with a zero-sum differential game for a dynamical system which motion is described by a nonlinear delay differential equation under an initial condition defined by a piecewise continuous function. The corresponding Cauchy problem for Hamilton-Jacobi-Bellman-Isaacs equation with coinvariant derivatives is derived and the definition of a viscosity solution of this problem is considered. It is proved that the differential game has the value that is the unique viscosity solution. Moreover, based on notions of sub- and superdifferentials corresponding to coinvariant derivatives, the infinitesimal description of the viscosity solution is obtained. The example of applying these results is given.


title: Graph Generators: State of the Art and Open Challenges

abstract: The abundance of interconnected data has fueled the design and implementation of graph generators reproducing real-world linking properties, or gauging the effectiveness of graph algorithms, techniques and applications manipulating these data. We consider graph generation across multiple subfields, such as Semantic Web, graph databases, social networks, and community detection, along with general graphs. Despite the disparate requirements of modern graph generators throughout these communities, we analyze them under a common umbrella, reaching out the functionalities, the practical usage, and their supported operations. We argue that this classification is serving the need of providing scientists, researchers and practitioners with the right data generator at hand for their work. This survey provides a comprehensive overview of the state-of-the-art graph generators by focusing on those that are pertinent and suitable for several data-intensive tasks. Finally, we discuss open challenges and missing requirements of current graph generators along with their future extensions to new emerging fields.


title: Reconfigurable Intelligent Surface assisted Two-Way Communications: Performance Analysis and Optimization

abstract: In this paper, we investigate the two-way communication between two users assisted by a re-configurable intelligent surface (RIS). The scheme that two users communicate simultaneously over Rayleigh fading channels is considered. The channels between the two users and RIS can either be reciprocal or non-reciprocal. For reciprocal channels, we determine the optimal phases at the RIS to maximize the signal-to-interference-plus-noise ratio (SINR). We then derive exact closed-form expressions for the outage probability and spectral efficiency for single-element RIS. By capitalizing the insights obtained from the single-element analysis, we introduce a gamma approximation to model the product of Rayleigh random variables which is useful for the evaluation of the performance metrics in multiple-element RIS. Asymptotic analysis shows that the outage decreases at $\left(\log(\rho)/\rho\right)^L$ rate where $L$ is the number of elements, whereas the spectral efficiency increases at $\log(\rho)$ rate at large average SINR $\rho$. For non-reciprocal channels, the minimum user SINR is targeted to be maximized. For single-element RIS, closed-form solution is derived whereas for multiple-element RIS the problem turns out to be non-convex. The latter one is solved through semidefinite programming relaxation and a proposed greedy-iterative method, which can achieve higher performance and lower computational complexity, respectively.