title: The transitivity of primary conjugacy in a class of semigroups

abstract: Elements $a,b$ of a semigroup $S$ are said to be \emph{primarily conjugate} or just \emph{p-conjugate}, if there exist $x,y\in S^1$ such that $a=xy$ and $b=yx$. The p-conjugacy relation generalizes conjugacy in groups, but for general semigroups, it is not transitive. Finding the classes of semigroups in which this notion is transitive is an open problem. The aim of this note is to show that for semigroups satisfying $xy\in\{yx, (xy)^n\}$ for some $n>1$, primary conjugacy is transitive.


title: Bit-Interleaved Coded Multiple Beamforming in Millimeter-Wave Massive MIMO Systems

abstract: An analysis of the diversity gain for bit-interleaved coded multiple beamforming (BICMB) method in millimeter-wave (mm-Wave) massive multiple-input multiple-output (MIMO) systems is carried out for both the single-user and multi-user scenario. We show that the diversity gain is independent of the number of data streams and full spatial multiplexing order can be achieved in both scenarios. Also, we show that the diversity gain in the multi-user scenario is independent of the number of users in the system and only depends on the number of the remote antenna units (RAUs) at the transmitter side, when each user has only one RAU. The assumption here is that the channel state information (CSI) is known at both sides of the transmitter and the receiver and the number of antennas in each RAU goes to infinity. This latter assumption can be relaxed by a large number of antennas in each RAU, similar to the case for all massive MIMO research. Based on these assumptions, the diversity gain for the single-user scenario is $\frac{\left(\sum_{i,j}\beta_{ij}\right)^2}{\sum_{i,j}\beta_{ij}^2L_{ij}^{-1}}$ where $L_{ij}$ is the number of propagation paths and $\beta_{ij}$ is the large scale fading coefficient between the $i$th RAU in the transmitter and the $j$th RAU in the receiver. The diversity gain in the multi-user scenario for the $k$-th user is $\frac{M^2}{\sum_{j}L_{kj}^{-1}}$ where $M$ represents the number of RAUs at the transmitter. Simulation results show that when the perfect channel state information assumption is satisfied, the use of BICMB results in the diversity gain values predicted by the analysis.


title: Exact Byzantine Consensus on Arbitrary Directed Graphs under Local Broadcast Model

abstract: We consider Byzantine consensus in a synchronous system where nodes are connected by a network modeled as a directed graph, i.e., communication links between neighboring nodes are not necessarily bi-directional. The directed graph model is motivated by wireless networks wherein asymmetric communication links can occur. In the classical point-to-point communication model, a message sent on a communication link is private between the two nodes on the link. This allows a Byzantine faulty node to equivocate, i.e., send inconsistent information to its neighbors. This paper considers the local broadcast model of communication, wherein transmission by a node is received identically by all of its outgoing neighbors. This allows such neighbors to detect a faulty node's attempt to equivocate, effectively depriving the faulty nodes of the ability to send conflicting information to different neighbors. Prior work has obtained sufficient and necessary conditions on undirected graphs to be able to achieve Byzantine consensus under the local broadcast model. In this paper, we obtain tight conditions on directed graphs to be able to achieve Byzantine consensus with binary inputs under the local broadcast model. The results obtained in the paper provide insights into the trade-off between directionality of communication and the ability to achieve consensus.


title: A Trudinger-Moser inequality involving L^p -norm on a closed Riemann surface

abstract: In this paper, using the method of blow-up analysis, we obtained a Trudinger-Moser inequality involving L p -norm on a closed Riemann surface and proved the existence of an extremal function for the corresponding Trudinger-Moser functional. This extends an early result of Yang [27]. Similar result in the Euclidean space was also established by Lu-Yang [17].


title: The possible values of geometric genera of normal surface singularities

abstract: In this article we prove that the possible geometric genuses $p_g(\tX)$ corresponding to normal surface singularities $\tX$ with fixed negative definite resolution graph $\mathcal{T}$ form an interval of integers. Similarly let us have a resolution graph $\mathcal{T}$ and a fixed normal surface singularity $(X, 0)$ with resolution $\tX$ and resolution graph $\mathcal{T}$, furthermore consider a Chern class $l' \in L'$. We prove that the possible values of $h^1(\tX, \calL)$, where $\calL \in \pic^{l'}(\tX)$ form an interval of integers.


title: Dynamic Resource Allocation in Co-Located and Cell-Free Massive MIMO

abstract: In this paper, we study joint power control and scheduling in uplink massive multiple-input multiple-output (MIMO) systems with randomly arriving data traffic. We consider both co-located and Cell-Free (CF) Massive MIMO, where the difference lies in whether the antennas are co-located at the base station or spread over a wide network area. The data is generated at each user according to an individual stochastic process. Using Lyapunov optimization techniques, we develop a dynamic scheduling algorithm (DSA), which decides at each time slot the amount of data to admit to the transmission queues and the transmission rates over the wireless channel. The proposed algorithm optimizes the long-term user throughput under various fairness policies while keeping the transmission queues stable. Simulation results show that the state-of-the-art power control schemes developed for Massive MIMO with infinite backlogs can fail to stabilize the system even when the data arrival rates are within the network capacity region. Our proposed DSA shows advantage in providing finite delay with performance optimization whenever the network can be stabilized.


title: Haploid-Diploid Evolution: Nature's Memetic Algorithm

abstract: This paper uses a recent explanation for the fundamental haploid-diploid lifecycle of eukaryotic organisms to present a new memetic algorithm that differs from all previous known work using diploid representations. A form of the Baldwin effect has been identified as inherent to the evolutionary mechanisms of eukaryotes and a simplified version is presented here which maintains such behaviour. Using a well-known abstract tuneable model, it is shown that varying fitness landscape ruggedness varies the benefit of haploid-diploid algorithms. Moreover, the methodology is applied to optimise the targeted delivery of a therapeutic compound utilizing nano-particles to cancerous tumour cells with the multicellular simulator PhysiCell.


title: Periodic solutions of hybrid jump diffusion processes

abstract: In this paper, we investigate periodic solutions of regime-switching jump diffusions. We first show the well-posedness of solutions to the SDEs corresponding to the hybrid system. Then, we derive the strong Feller property and irreducibility of the associated time-inhomogeneous semigroups. Finally, we establish the existence and uniqueness of periodic solutions. Concrete examples are presented to illustrate the results.


title: Asymptotics of Reinforcement Learning with Neural Networks

abstract: We prove that a single-layer neural network trained with the Q-learning algorithm converges in distribution to a random ordinary differential equation as the size of the model and the number of training steps become large. Analysis of the limit differential equation shows that it has a unique stationary solution which is the solution of the Bellman equation, thus giving the optimal control for the problem. In addition, we study the convergence of the limit differential equation to the stationary solution. As a by-product of our analysis, we obtain the limiting behavior of single-layer neural networks when trained on i.i.d. data with stochastic gradient descent under the widely-used Xavier initialization.


title: Blow-up and global existence for solutions to the porous medium equation with reaction and fast decaying density

abstract: We are concerned with nonnegative solutions to the Cauchy problem for the porous medium equation with a variable density $\rho(x)$ and a power-like reaction term $u^p$ with $p>1$. The density decays {\it fast} at infinity, in the sense that $\rho(x)\sim |x|^{-q}$ as $|x|\to +\infty$ with $q\ge 2.$ In the case when $q=2$, if $p$ is bigger than $m$, we show that, for large enough initial data, solutions blow-up in finite time and for small initial datum, solutions globally exist. On the other hand, in the case when $q>2$, we show that existence of global in time solutions always prevails. The case of {\it slowly} decaying density at infinity, i.e. $q\in [0,2)$, is examined in [41].


title: Quantum Speedup for Graph Sparsification, Cut Approximation and Laplacian Solving

abstract: Graph sparsification underlies a large number of algorithms, ranging from approximation algorithms for cut problems to solvers for linear systems in the graph Laplacian. In its strongest form, "spectral sparsification" reduces the number of edges to near-linear in the number of nodes, while approximately preserving the cut and spectral structure of the graph. In this work we demonstrate a polynomial quantum speedup for spectral sparsification and many of its applications. In particular, we give a quantum algorithm that, given a weighted graph with $n$ nodes and $m$ edges, outputs a classical description of an $\epsilon$-spectral sparsifier in sublinear time $\tilde{O}(\sqrt{mn}/\epsilon)$. This contrasts with the optimal classical complexity $\tilde{O}(m)$. We also prove that our quantum algorithm is optimal up to polylog-factors. The algorithm builds on a string of existing results on sparsification, graph spanners, quantum algorithms for shortest paths, and efficient constructions for $k$-wise independent random strings. Our algorithm implies a quantum speedup for solving Laplacian systems and for approximating a range of cut problems such as min cut and sparsest cut.


title: Convergence of volume forms on a family of log-Calabi-Yau varieties to a non-Archimedean measure

abstract: We study the convergence of volume forms on a degenerating holomorphic family of log-Calabi-Yau varieties to a non-Archimedean measure, extending a result of Boucksom and Jonsson. More precisely, let $(X,B)$ be a holomorphic family of sub log canonical, log-Calabi-Yau complex varieties parameterized by the punctured unit disk. Let $\eta$ be a meromorphic volume form on $X$ with poles along $B$. We show that the (possibly infinite) measures induced by the restriction of the $\eta$ to a fiber converge to a measure on the Berkovich analytification as we approach the puncture. The convergence takes place on a hybrid space, which is obtained by filling in the space $X \setminus B$ with the aforementioned Berkovich space over the puncture.


title: Counterfactual Vision-and-Language Navigation via Adversarial Path Sampling

abstract: Vision-and-Language Navigation (VLN) is a task where agents must decide how to move through a 3D environment to reach a goal by grounding natural language instructions to the visual surroundings. One of the problems of the VLN task is data scarcity since it is difficult to collect enough navigation paths with human-annotated instructions for interactive environments. In this paper, we explore the use of counterfactual thinking as a human-inspired data augmentation method that results in robust models. Counterfactual thinking is a concept that describes the human propensity to create possible alternatives to life events that have already occurred. We propose an adversarial-driven counterfactual reasoning model that can consider effective conditions instead of low-quality augmented data. In particular, we present a model-agnostic adversarial path sampler (APS) that learns to sample challenging paths that force the navigator to improve based on the navigation performance. APS also serves to do pre-exploration of unseen environments to strengthen the model's ability to generalize. We evaluate the influence of APS on the performance of different VLN baseline models using the room-to-room dataset (R2R). The results show that the adversarial training process with our proposed APS benefits VLN models under both seen and unseen environments. And the pre-exploration process can further gain additional improvements under unseen environments.


title: Coverage Testing of Deep Learning Models using Dataset Characterization

abstract: Deep Neural Networks (DNNs), with its promising performance, are being increasingly used in safety critical applications such as autonomous driving, cancer detection, and secure authentication. With growing importance in deep learning, there is a requirement for a more standardized framework to evaluate and test deep learning models. The primary challenge involved in automated generation of extensive test cases are: (i) neural networks are difficult to interpret and debug and (ii) availability of human annotators to generate specialized test points. In this research, we explain the necessity to measure the quality of a dataset and propose a test case generation system guided by the dataset properties. From a testing perspective, four different dataset quality dimensions are proposed: (i) equivalence partitioning, (ii) centroid positioning, (iii) boundary conditioning, and (iv) pair-wise boundary conditioning. The proposed system is evaluated on well known image classification datasets such as MNIST, Fashion-MNIST, CIFAR10, CIFAR100, and SVHN against popular deep learning models such as LeNet, ResNet-20, VGG-19. Further, we conduct various experiments to demonstrate the effectiveness of systematic test case generation system for evaluating deep learning models.


title: Quantitative ultrasound characterization and comparison of healthy and malignant prostate cells

abstract: Speed of sound and attenuation as a function of frequency between 2 and 18 MHz were measured and compared for a cancerous prostate cell line and a healthy prostate cell line. Speed of sound for the cancerous cells line was found to be 1521.4 $\pm$ 0.8~m/s, which was equivalent to the speed of sound for the healthy cell line of 1521.5 $\pm$ 0.6~m/s. The average attenuation coefficient was 0.091 $\pm$ 0.003 $\frac{\rm{dB}}{\rm{cm-MHz}}$ for the cancerous prostate cell line and 0.057 $\pm$ 0.003 $\frac{\rm{dB}}{\rm{cm-MHz}}$ for the healthy prostate cell line, showing a higher attenuation for the cancerous cell line.


title: An Analytical Strategy for Passive Harmonic Filter Placement in Transmission Systems with Stochastic Aggregate Load Models Considering Resonant Conditions

abstract: High percentage of voltage harmonics has been observed in transmission networks due to harmonic currents penetrated from the load side amplified by resonant conditions. This requires the use of suitable harmonic filters in transmission networks. However, filter placement in a transmission system for harmonic mitigation is a planning procedure of high complexity. Since filter placement discounting the overall system response may deteriorate harmonic conditions at remote buses due to frequency characteristics alteration. The stochastic behavior of harmonic loads demands adequate models and calculations. The interlinked topology of a transmission system also necessitates an extensive system-wide study. This paper presents an analytical methodology for determining the appropriate number, location, and parameters of C-Type passive filters in a transmission system to improve the overall harmonic condition. The proposed strategy targets minimizing the expected value of a system-wide index given the stochastic behavior of loads, while limiting the 95th percentiles of voltage distortions to the standard levels prescribed by IEEE Std. 519 and satisfying the fundamental power flow constraints. A restricted hierarchical direct search algorithm is utilized to find the near global solution whose subsets are also effective. The performance of the proposed approach is evaluated on the IEEE 118-bus test system and its validity is checked by Monte Carlo simulations and compared with harmonic modal analysis.


title: Exciton-polaritons of a 2D semiconductor layer in a cylindrical microcavity

abstract: We describe exciton-polariton modes formed by the interaction between excitons in a 2D layer of a transition metal dichalcogenide embedded in a cylindrical microcavity and the microcavity photons. For this, an expression for the excitonic susceptibility of a semiconductor disk placed in the symmetry plane perpendicular to the axis of the microcavity is derived. Semiclassical theory provides dispersion relations for the polariton modes, while the quantum-mechanical treatment of a simplified model yields the Hopfield coefficients, measuring the degree of exciton-photon mixing in the coupled modes. The density of states (DOS) and its projection onto the photonic and the excitonic subspaces are calculated taking monolayer MoS 2 embedded in a Si 3 N 4 cylinder as an example. The calculated results demonstrate a strong enhancement, for certain frequencies, of the total and local DOS (Purcell effect) caused by the presence of the 2D layer.


title: Mathematical Modeling of Systemic Risk in Financial Networks: Managing Default Contagion and Fire Sales

abstract: As impressively shown by the financial crisis in 2007/08, contagion effects in financial networks harbor a great threat for the stability of the entire system. Without sufficient capital requirements for banks and other financial institutions, shocks that are locally confined at first can spread through the entire system and be significantly amplified by various contagion channels. The aim of this thesis is thus to investigate in detail two selected contagion channels of this so-called systemic risk, provide mathematical models and derive consequences for the systemic risk management of financial institutions. The first contagion channel we consider is default contagion. The underlying effect is here that insolvent institutions cannot service their debt or other financial obligations anymore - at least partially. Debtors and other directly impacted parties in the system are thus forced to write off their losses and can possibly be driven into insolvency themselves due to their incurred financial losses. This on the other hand starts a new round in the default contagion process. In our model we simplistically describe each institution by all the financial positions it is exposed to as well as its initial capital. In doing so, our starting point is the work of Detering et al. (2017) - a model for contagion in unweighted networks - which particularly considers the exact network configuration to be random and derives asymptotic results for large networks. We extend this model such that weighted networks can be considered and an application to financial networks becomes possible. More precisely, for any given initial shock we deduce an explicit asymptotic expression for the total damage caused in the system by contagion and provide a necessary and sufficient criterion for an unshocked financial system to be stable against small shocks. Moreover, ...


title: Dynamic Programming Principles for Mean-Field Controls with Learning

abstract: Dynamic programming principle (DPP) is fundamental for control and optimization, including Markov decision problems (MDPs), reinforcement learning (RL), and more recently mean-field controls (MFCs). However, in the learning framework of MFCs, DPP has not been rigorously established, despite its critical importance for algorithm designs. In this paper, we first present a simple example in MFCs with learning where DPP fails with a mis-specified Q function; and then propose the correct form of Q function in an appropriate space for MFCs with learning. This particular form of Q function is different from the classical one and is called the IQ function. In the special case when the transition probability and the reward are independent of the mean-field information, it integrates the classical Q function for single-agent RL over the state-action distribution. In other words, MFCs with learning can be viewed as lifting the classical RLs by replacing the state-action space with its probability distribution space. This identification of the IQ function enables us to establish precisely the DPP in the learning framework of MFCs. Finally, we illustrate through numerical experiments the time consistency of this IQ function.


title: Geometry of twisted K\"ahler-Einstein metrics and collapsing

abstract: We prove that the twisted Kahler-Einstein metrics that arise on the base of certain holomorphic fiber space with Calabi-Yau fibers have conical-type singularities along the discriminant locus. These fiber spaces arise naturally when studying the collapsing of Ricci-flat Kahler metrics on Calabi-Yau manifolds, and of the Kahler-Ricci flow on compact Kahler manifolds with semiample canonical bundle and intermediate Kodaira dimension. Our results allow us to understand their collapsed Gromov-Hausdorff limits when the base is smooth and the discriminant has simple normal crossings.


title: Channel Estimation in Massive MIMO under Hardware Non-Linearities: Bayesian Methods versus Deep Learning

abstract: This paper considers the joint impact of non-linear hardware impairments at the base station (BS) and user equipments (UEs) on the uplink performance of single-cell massive MIMO (multiple-input multiple-output) in practical Rician fading environments. First, Bussgang decomposition-based effective channels and distortion characteristics are analytically derived and the spectral efficiency (SE) achieved by several receivers are explored for third-order non-linearities. Next, two deep feedforward neural networks are designed and trained to estimate the effective channels and the distortion variance at each BS antenna, which are used in signal detection. We compare the performance of the proposed methods with state-of-the-art distortion-aware and -unaware Bayesian linear minimum mean-squared error (LMMSE) estimators. The proposed deep learning approach improves the estimation quality by exploiting impairment characteristics, while LMMSE methods treat distortion as noise. Using the data generated by the derived effective channels for general order of non-linearities at both the BS and UEs, it is shown that the deep learning-based estimator provides better estimates of the effective channels also for non-linearities more than order three.


title: Quels corpus d'entra\^inement pour l'expansion de requ\^etes par plongement de mots : application \`a la recherche de microblogs culturels

abstract: We describe here an experimental framework and the results obtained on microblogs retrieval. We study the contribution one popular approach, i.e., words embeddings, and investigate the impact of the training set on the learned embedding. We focus on query expansion for the retrieval of tweets on the CLEF CMC 2016 corpus. Our results show that using embeddings trained on a corpus in the same domain as the indexed documents did not necessarily lead to better retrieval results.


title: Towards Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans

abstract: One of the major limitations for the employment of model-based planning and scheduling in practical applications is the need of costly re-planning when an incongruence between the observed reality and the formal model is encountered during execution. Robustness Envelopes characterize the set of possible contingencies that a plan is able to address without re-planning, but their exact computation is extremely expensive; furthermore, general robustness envelopes are not amenable for efficient execution. In this paper, we present a novel, anytime algorithm to approximate Robustness Envelopes, making them scalable and executable. This is proven by an experimental analysis showing the efficiency of the algorithm, and by a concrete case study where the execution of robustness envelopes significantly reduces the number of re-plannings.


title: Constrained High Dimensional Statistical Inference

abstract: In typical high dimensional statistical inference problems, confidence intervals and hypothesis tests are performed for a low dimensional subset of model parameters under the assumption that the parameters of interest are unconstrained. However, in many problems, there are natural constraints on model parameters and one is interested in whether the parameters are on the boundary of the constraint or not. e.g. non-negativity constraints for transmission rates in network diffusion. In this paper, we provide algorithms to solve this problem of hypothesis testing in high-dimensional statistical models under constrained parameter space. We show that following our testing procedure we are able to get asymptotic designed Type I error under the null. Numerical experiments demonstrate that our algorithm has greater power than the standard algorithms where the constraints are ignored. We demonstrate the effectiveness of our algorithms on two real datasets where we have {\emph{intrinsic}} constraint on the parameters.


title: Sparse $\ell_1$ and $\ell_2$ Center Classifiers

abstract: The nearest-centroid classifier is a simple linear-time classifier based on computing the centroids of the data classes in the training phase, and then assigning a new datum to the class corresponding to its nearest centroid. Thanks to its very low computational cost, the nearest-centroid classifier is still widely used in machine learning, despite the development of many other more sophisticated classification methods. In this paper, we propose two sparse variants of the nearest-centroid classifier, based respectively on $\ell_1$ and $\ell_2$ distance criteria. The proposed sparse classifiers perform simultaneous classification and feature selection, by detecting the features that are most relevant for the classification purpose. We show that training of the proposed sparse models, with both distance criteria, can be performed exactly (i.e., the globally optimal set of features is selected) and at a quasi-linear computational cost. The experimental results show that the proposed methods are competitive in accuracy with state-of-the-art feature selection techniques, while having a significantly lower computational cost.


title: Pt Supported on Plasma-Chemical Titanium Nitride for Efficient Room-Temperature CO Oxidation

abstract: Catalysts of carbon monoxide oxidation were synthesized by deposition of platinum on titanium nitride (TiN). Two substrates with an average particle size of 18 and 36 nm were obtained by hydrogen reduction of titanium tetrachloride in a stream of microwave plasma of nitrogen. The surface of the catalysts was studied by X-ray photoelectron spectroscopy (XPS). The CO oxidation rate on the 9-15 wt.% Pt loaded TiN catalysts was found to be 120 times higher than that on platinum black with a specific surface of 30 m2/g. Such catalysts are promising for use in catalytic air purification systems.


title: Modelling of Bad Biomass Invasion of a Food Chain Ecosystem with Optimal Control

abstract: In this paper we provide a model to describe the dynamics of the species of the ecosystem after it has been raided by a bad competing specie. The competing specie invades the native plants for nutrition, carbon dioxide and space. This affects the population of the native species of the ecosystem. The effect of the bad biomass on the ecosystem is examined by considering it's equilibrium points as well as its stability. An optimal control system is developed by using Pontryagin's maximum principle to construct a Hamiltonian function which minimizes the spread of the bad biomass. Numerical simulations were conducted to analyze the results. It was established that the intrinsic growth rate r of the good biomass was responsible for the sustenance and continuous survival of the ecosystem. If growth rate of the good biomass is increased, the other species showed positive growth. In addition to the growth rate of the good biomass, death rates of both fish and birds also affected the state of the ecosystem. Simulation results also revealed that the invasive bad species biomass introduction affected the growth of the good biomass. This was as a result of the competition for nutrition, carbon dioxide, space between the good and the bad biomases. After implementing the control units, simulation results showed an improvement in the growth of the good biomass, fish and birds populations whereas it showed a decline in the bad biomass growth.


title: Layer-Dependent Importance Sampling for Training Deep and Large Graph Convolutional Networks

abstract: Graph convolutional networks (GCNs) have recently received wide attentions, due to their successful applications in different graph tasks and different domains. Training GCNs for a large graph, however, is still a challenge. Original full-batch GCN training requires calculating the representation of all the nodes in the graph per GCN layer, which brings in high computation and memory costs. To alleviate this issue, several sampling-based methods have been proposed to train GCNs on a subset of nodes. Among them, the node-wise neighbor-sampling method recursively samples a fixed number of neighbor nodes, and thus its computation cost suffers from exponential growing neighbor size; while the layer-wise importance-sampling method discards the neighbor-dependent constraints, and thus the nodes sampled across layer suffer from sparse connection problem. To deal with the above two problems, we propose a new effective sampling algorithm called LAyer-Dependent ImportancE Sampling (LADIES). Based on the sampled nodes in the upper layer, LADIES selects their neighborhood nodes, constructs a bipartite subgraph and computes the importance probability accordingly. Then, it samples a fixed number of nodes by the calculated probability, and recursively conducts such procedure per layer to construct the whole computation graph. We prove theoretically and experimentally, that our proposed sampling algorithm outperforms the previous sampling methods in terms of both time and memory costs. Furthermore, LADIES is shown to have better generalization accuracy than original full-batch GCN, due to its stochastic nature.


title: Testing Properties of Multiple Distributions with Few Samples

abstract: We propose a new setting for testing properties of distributions while receiving samples from several distributions, but few samples per distribution. Given samples from $s$ distributions, $p_1, p_2, \ldots, p_s$, we design testers for the following problems: (1) Uniformity Testing: Testing whether all the $p_i$'s are uniform or $\epsilon$-far from being uniform in $\ell_1$-distance (2) Identity Testing: Testing whether all the $p_i$'s are equal to an explicitly given distribution $q$ or $\epsilon$-far from $q$ in $\ell_1$-distance, and (3) Closeness Testing: Testing whether all the $p_i$'s are equal to a distribution $q$ which we have sample access to, or $\epsilon$-far from $q$ in $\ell_1$-distance. By assuming an additional natural condition about the source distributions, we provide sample optimal testers for all of these problems.


title: On Extensions of Myers' Theorem

abstract: Let $M$ be a compact Riemannian manifold and $h$ a smooth function on $M$. Let $\rho^h(x)=\inf_{|v|=1}\left(Ric_x(v,v)-2Hess(h)_x(v,v) \right)$. Here $Ric_x$ denotes the Ricci curvature at $x$ and $Hess(h)$ is the Hessian of $h$. Then $M$ has finite fundamental group if $\Delta ^h-\rho^h<0$. Here $\Delta ^h=: \Delta +2L_{\nabla h}$ is the Bismut-Witten Laplacian. This leads to a quick proof of recent results on extension of Myers' theorem to manifolds with mostly positive curvature. There is also a similar result for noncompact manifolds.


title: Approximate Quasiorthogonality of Operator Algebras and Relative Quantum Privacy

abstract: We show that the approximate quasiorthogonality of two operator algebras is equivalent to the algebras being approximately private relative to their conditional expectation quantum channels. Our analysis is based on a characterization of the measure of orthogonality in terms of Choi matrices and Kraus operators for completely positive maps. We present examples drawn from different areas of quantum information.


title: Continuity points via Riesz potentials for $\mathbb{C}$-elliptic operators

abstract: We establish a Riesz potential criterion for Lebesgue continuity points of functions of bounded $\mathbb{A}$-variation, where $\mathbb{A}$ is a $\mathbb{C}$-elliptic differential operator of arbitrary order. This result might even be of interest for classical functions of bounded variation.


title: The Potential of the Confluence of Theoretical and Algorithmic Modeling in Music Recommendation

abstract: The task of a music recommender system is to predict what music item a particular user would like to listen to next. This position paper discusses the main challenges of the music preference prediction task: the lack of information on the many contextual factors influencing a user's music preferences in existing open datasets, the lack of clarity of what the right choice of music is and whether a right choice exists at all; the multitude of criteria (beyond accuracy) that have to be met for a "good" music item recommendation; and the need for explanations on relationships to identify (and potentially counteract) unwanted biases in recommendation approaches. The paper substantiates the position that the confluence of theoretical modeling (which seeks to explain behaviors) and algorithmic modeling (which seeks to predict behaviors) seems to be an effective avenue to take in computational modeling for music recommender systems.


title: Ghost-free non-local $F(R)$ Gravity Cosmology

abstract: In this work we shall study ghost-free non-local $F(R)$ gravity models. Firstly we shall demonstrate how the ghost degrees of freedom may occur in the non-local $F(R)$ gravity models, and accordingly we shall modify appropriately the gravitational action of non-local $F(R)$ gravity models in order to eliminate the ghosts. Also we shall investigate how the (anti-)de Sitter and the Minkowski spacetime cosmological solutions may arise in the theory, and we investigate when these solutions are stable. Moreover, we shall examine the inflationary phenomenology of the Jordan frame ghost-free non-local $F(R)$ gravity. We shall study two $F(R)$ gravity models, the power law $F(R)$ gravity model $\sim R^n$ with $1<n<2$, $n\neq 2$ and the $R^2$ model, assuming that the slow-roll condition holds true for the Hubble rate during the inflationary era $\dot{H}\ll H^2$ and that the general constant-roll condition $\ddot{\phi}=3\beta H\dot{\phi}$ holds true for the evolution of the scalar field, which includes the slow-roll case for $\beta=0$. As we shall demonstrate, the power-law non-local $F(R)$ gravity case can produce a viable inflationary era, compatible with observations, in the constant-roll case, unlike for the $R^2$ model. It is conceivable that the results are model dependent, as in the ordinary vacuum $F(R)$ gravity.


title: A short exposition of the Levine-Lidman example of spineless 4-manifolds

abstract: A 2018 paper by A. Levine and T. Lidman outlines a proof of the following interesting result in topology of manifolds: there is a compact smooth 4-manifold $W$ with boundary such that $W$ is homotopy equivalent to $S^2$ but there does not exist an embedding $S^2\to W$ which is a homotopy equivalence and is simplicial for some triangulations of $W$ and of $S^2$. We present a shorter (and hopefully clearer) exposition. We reveal that some parts of the proof are missing, and that some results are used in that paper without proof or reference, or even without explicit statement.


title: Tunable spin/charge Kondo effect at a double superconducting island connected to two spinless quantum wires

abstract: We propose that a pertinently engineered double superconducting island connected to two spinless one-dimensional conducting leads can work as a tunable (iso)spin Kondo and charge Kondo system, with the lead index regarded as an effective isospin degree of freedom. We evidence how, by tuning a single gate voltage applied to the island, it is possible to make the system switch from the (iso)spin Kondo to the charge-Kondo phase, passing across an intermediate phase, in which the Kondo impurity is effectively irrelevant for the low-temperature behavior of the system. Eventually, we evidence how to probe the various phases by measuring the ac conductance tensor of our system, by emphasizing the features that should allow to identify the onset of the so far quite elusive "charge-2" charge-Kondo effect.


title: Properties of binary components and remnant in GW170817 using equations of state in finite temperature field theory models

abstract: We investigate gross properties of binary components and remnant in GW170817 using equations of state within the finite temperature field theoretical models. We also adopt finite temperature equations of state in the density dependent hadron field theory for this study. Properties of binary components are studied using zero temperature equations of state. Particularly, we investigate tidal deformabilities and radii of binary components in light of GW170817. An analytical expression relating the radii and the combined tidal deformability is obtained for binary neutron star masses in the range $1.1M_{\odot}\lesssim M\lesssim 1.6 M_{\odot}$. The upper bound on the tidal deformability gives the upper bound on the neutron star radius as 13 km. Next, the role of finite temperature on the remnant in GW170817 is explored. In this case, we investigate the gravitational and baryon mass, radius, Kepler frequency and moment of inertia of the rigidly rotating remnant for different equations of state at fixed entropy per baryon. The remnant radius is enlarged due to thermal effects compared with the zero temperature case. Consequently, it is found that the Kepler frequency is much lower at higher entropy per baryon than that of the case at zero temperature. These findings are consistent with the results found in the literature.


title: Neutrosophic Set is a Generalization of Intuitionistic Fuzzy Set, Inconsistent Intuitionistic Fuzzy Set (Picture Fuzzy Set, Ternary Fuzzy Set), Pythagorean Fuzzy Set, q-Rung Orthopair Fuzzy Set, Spherical Fuzzy Set, etc

abstract: In this paper we prove that Neutrosophic Set (NS) is an extension of Intuitionistic Fuzzy Set (IFS) no matter if the sum of single-valued neutrosophic components is < 1, or > 1, or = 1. For the case when the sum of components is 1 (as in IFS), after applying the neutrosophic aggregation operators one gets a different result from that of applying the intuitionistic fuzzy operators, since the intuitionistic fuzzy operators ignore the indeterminacy, while the neutrosophic aggregation operators take into consideration the indeterminacy at the same level as truth-membership and falsehood-nonmembership are taken. NS is also more flexible and effective because it handles, besides independent components, also partially independent and partially dependent components, while IFS cannot deal with these. Since there are many types of indeterminacies in our world, we can construct different approaches to various neutrosophic concepts. Also, Regret Theory, Grey System Theory, and Three-Ways Decision are particular cases of Neutrosophication and of Neutrosophic Probability. We extended for the first time the Three-Ways Decision to n-Ways Decision, and the Spherical Fuzzy Set to n-HyperSpherical Fuzzy Set and to n-HyperSpherical Neutrosophic Set.


title: Analysis of the Multi-component Relativistic Boltzmann Equation for Electron Scattering in Big Bang Nucleosynthesis

abstract: Big-bang nucleosynthesis (BBN) is valuable as a means to constrain the physics of the early universe and it is the only probe of the radiation-dominated epoch. A fundamental assumption in BBN is that the nuclear velocity distributions obey Maxwell-Boltzmann (MB) statistics as they do in stars. Specifically, the BBN epoch is characterized by a dilute baryon plasma for which the velocity distribution of nuclei is mainly determined by the dominant Coulomb elastic scattering with mildly relativistic electrons. One must therefore deduce the momentum distribution for reacting nuclei from the multi-component relativistic Boltzmann equation. However, the full multi-component relativistic Boltzmann equation has only recently been analyzed and its solution has only been worked out in special cases. Moreover, a variety of schemes have been proposed that introduce non-thermal components into the BBN environment which can alter the thermal distribution of reacting nuclei. Here, we construct the relativistic Boltzmann equation in the context of BBN. We also derive a Langevin model and perform relativistic Monte-Carlo simulations which clarify the baryon distribution during BBN and can be used to analyze any relaxation from a non-thermal injection. We show by these analyses that the thermalization process leads to a nuclear distribution function that remains very close to MB statistics even during the most relativistic environment relevant to BBN. Hence, the predictions of standard BBN remain unchanged.


title: Using Error Decay Prediction to Overcome Practical Issues of Deep Active Learning for Named Entity Recognition

abstract: Existing deep active learning algorithms achieve impressive sampling efficiency on natural language processing tasks. However, they exhibit several weaknesses in practice, including (a) inability to use uncertainty sampling with black-box models, (b) lack of robustness to labeling noise, and (c) lack of transparency. In response, we propose a transparent batch active sampling framework by estimating the error decay curves of multiple feature-defined subsets of the data. Experiments on four named entity recognition (NER) tasks demonstrate that the proposed methods significantly outperform diversification-based methods for black-box NER taggers, and can make the sampling process more robust to labeling noise when combined with uncertainty-based methods. Furthermore, the analysis of experimental results sheds light on the weaknesses of different active sampling strategies, and when traditional uncertainty-based or diversification-based methods can be expected to work well.


title: Inscribed rectangles in a smooth Jordan curve attain at least one third of all aspect ratios

abstract: We prove that for every smooth Jordan curve $\gamma$, if $X$ is the set of all $r \in [0,1]$ so that there is an inscribed rectangle in $\gamma$ of aspect ratio $\tan(r\cdot \pi/4)$, then the Lebesgue measure of $X$ is at least $1/3$. To do this, we study sets of disjoint homologically nontrivial projective planes smoothly embedded in $\mathbb{R}\times \mathbb{R}P^3$. We prove that any such set of projective planes can be equipped with a natural total ordering. We then combine this total ordering with Kemperman's theorem in $S^1$ to prove that $1/3$ is a sharp lower bound on the probability that a M\"obius strip filling the $(2,1)$-torus knot in the solid torus times an interval will intersect its rotation by a uniformly random angle.


title: Stochastic Gradient Annealed Importance Sampling for Efficient Online Marginal Likelihood Estimation

abstract: We consider estimating the marginal likelihood in settings with independent and identically distributed (i.i.d.) data. We propose estimating the predictive distributions in a sequential factorization of the marginal likelihood in such settings by using stochastic gradient Markov Chain Monte Carlo techniques. This approach is far more efficient than traditional marginal likelihood estimation techniques such as nested sampling and annealed importance sampling due to its use of mini-batches to approximate the likelihood. Stability of the estimates is provided by an adaptive annealing schedule. The resulting stochastic gradient annealed importance sampling (SGAIS) technique, which is the key contribution of our paper, enables us to estimate the marginal likelihood of a number of models considerably faster than traditional approaches, with no noticeable loss of accuracy. An important benefit of our approach is that the marginal likelihood is calculated in an online fashion as data becomes available, allowing the estimates to be used for applications such as online weighted model combination.


title: A graphic formulation of non-isothermal chemical reaction systems and the analysis of detailed balanced networks

abstract: In this paper, we provide a graphic formulation of non-isothermal reaction systems and show that a non-isothermal detailed balanced network system converges (locally) asymptotically to the unique equilibrium within the invariant manifold determined by the initial condition. To model thermal effects, the proposed modeling approach extends the classical chemical reaction network by adding two parameters to each direct (reaction) edge, depicting, respectively, the instantaneous internal energy change after the firing of the reaction and the variation of the reaction rate with respect to the temperature. For systems possessing thermodynamic equilibria, our modeling approach provides a compact formulation of the dynamics where reaction topology and thermodynamic information are presented simultaneously. Finally, using this formulation and the Legendre transformation, we show that non-isothermal detailed balanced network systems admit some fundamental properties: dissipativeness, the detailed balancing of each equilibrium, the existence and uniqueness of the equilibrium, and the asymptotic stability of each equilibrium. In general, the analysis and results of this work provide insights into the research of non-isothermal chemical reaction systems.


title: Star formation and gas flow history of a dwarf irregular galaxy traced by gas-phase and stellar metallicities

abstract: Studying the evolution of dwarf galaxies can provide insights into the characteristics of systems that can act as building blocks of massive galaxies. This paper discusses the history of star formation and gas flows (inflow and outflow) of a dwarf irregular galaxy in the Local Group, NGC 6822, from the viewpoint of gas-phase and stellar chemical abundance. Gas-phase oxygen abundance, stellar metallicity distribution and gas fraction data are compared to chemical evolution models in which continuous star formation and gas flows are assumed. If the galaxy is assumed to be a closed or an accretion-dominated system where steeper stellar initial mass functions are allowed, the observed gas-phase oxygen abundance and gas fraction can be explained simultaneously; however metallicity distributions predicted by the models seem to be inconsistent with the observed distribution, which suggests that the star formation, gas flows and/or chemical enrichment are more complex than assumed by the models. When NGC 6822 is assumed to be a system dominated by outflow, the observed values of gas-phase oxygen abundance and gas fraction can be explained, and the metallicity distributions predicted by some of the models are also roughly consistent with the observed distribution in the metallicity range of -2.0<[Fe/H]<-0.5. It should be noted that this result does not necessarily mean that the accretion of gas is completely ruled out. More observables, such as chemical abundance ratios, and detailed modelling may provide deeper insight into the evolution of the system.


title: A Sketch-Based System for Human-Guided Constrained Object Manipulation

abstract: In this paper, we present an easy to use sketch-based interface to extract geometries and generate affordance files from 3D point clouds for robot-object interaction tasks. Using our system, even novice users can perform robot task planning by employing such sketch tools. Our focus in this paper is employing human-in-the-loop approach to assist in the generation of more accurate affordance templates and guidance of robot through the task execution process. Since we do not employ any unsupervised learning to generate affordance templates, our system performs much faster and is more versatile for template generation. Our system is based on the extraction of geometries for generalized cylindrical and cuboid shapes, after extracting the geometries, affordances are generated for objects by applying simple sketches. We evaluated our technique by asking users to define affordances by employing sketches on the 3D scenes of a door handle and a drawer handle and used the resulting extracted affordance template files to perform the tasks of turning a door handle and opening a drawer by the robot.


title: Reformulating Scalar-Tensor Field Theories as Scalar-Scalar Field Theories Using Lorentzian Cofinsler Spaces

abstract: In this paper I shall show how notions of Finsler geometry can be used to construct a new type of geometry using a scalar field, f, on the cotangent bundle of a differentiable manifold, M. This new geometry will be called Lorentzian Cofinsler geometry. This geometry will enable me to use the second vertical derivatives of f, along with the differential of the scalar field, phi on M, to construct a Lorentzian metric tensor on M, that depends upon phi. f will be chosen so that the resultant metric on M has the form of a FLRW metric, with the t equal constant slices being flat. When the Horndeski Lagrangians are evaluated for this choice of geometry the quartic and quintic Lagrangians are of third order, but reduce to non-degenerate second-order Lagrangians plus a divergence. Upon varying phi in these "scalarized" Horndeski Lagrangians, equations will be obtained which admit self-inflating universe solutions, provided that the coefficient functions appearing in the Horndeski Lagrangians are chosen suitably. This approach is also used to study solutions of the most general conformally invariant scalar-tensor field theory which is flat space compatible (i.e., such that the Lagrangians of the field theory are well-defined when either the space is flat or the scalar field is constant). There too the coefficient functions can be chosen to give self-inflating universes. Arguments will be presented to show that it is possible to construct model universes that begin explosively, and then settle down to a period of much quieter acceleration which either continues forever, or stops and collapses to the models original, pre-expansion, state.


title: Period doubling eigenstates in a fiber laser mode-locked by nonlinear polarization rotation

abstract: Due to the weak birefringence of single mode fibers, solitons generated in fiber lasers are indeed vector pulses and exhibit periodic parameter change including polarization evolution even when there is a polarizer inside the cavity. Period doubling eigenstates of solitons generated in a fiber laser mode-locked by the nonlinear polarization rotation, i.e., period doubling of polarization components of the soliton, are numerically explored in detail. We found that, apart from the synchronous evolution between the two polarization components, there exists asynchronous development depending on the detailed operation conditions. In addition, period doubling of one polarization component together with period-one of another polarization component can be achieved. When the period tripling window is obtained, much complexed dynamics on the two polarization components could be observed.


title: Effective Quantum Field Theory for the Thermodynamical Bethe Ansatz

abstract: We construct an effective Quantum Field Theory for the wrapping effects in 1+1 dimensional models of factorised scattering. The recently developed graph-theoretical approach to TBA gives the perturbative desctiption of this QFT. For the sake of simplicity we limit ourselves to scattering matrices for a single neutral particle and no bound state poles, such as the sinh-Gordon one. On the other hand, in view of applications to AdS/CFT, we do not assume that the scattering matrix is of difference type. The effective QFT involves both bosonic and fermionic fields and possesses a symmetry which makes it one-loop exact. The corresponding path integral localises to a critical point determined by the TBA equation.


title: ELoPE: Fine-Grained Visual Classification with Efficient Localization, Pooling and Embedding

abstract: The task of fine-grained visual classification (FGVC) deals with classification problems that display a small inter-class variance such as distinguishing between different bird species or car models. State-of-the-art approaches typically tackle this problem by integrating an elaborate attention mechanism or (part-) localization method into a standard convolutional neural network (CNN). Also in this work the aim is to enhance the performance of a backbone CNN such as ResNet by including three efficient and lightweight components specifically designed for FGVC. This is achieved by using global k-max pooling, a discriminative embedding layer trained by optimizing class means and an efficient bounding box estimator that only needs class labels for training. The resulting model achieves new best state-of-the-art recognition accuracies on the Stanford cars and FGVC-Aircraft datasets.


title: Strong p-completeness of stochastic differential equations and the existence of smooth flows on noncompact manifolds

abstract: We introduce strong p-completeness and use them for studying the continuous dependence of solutions of SDE's on non-compact manifolds. We obtain conditions for the existence of global smooth solution flow, and prove their diffeomorphism properties. The criterion is in terms of the growth of the solutions of the linearized equations (i.e. the derivative flows). It is also given in terms of the driving vector fields and their derivatives. For the Euclidean spaces there are three principle classes of examples: (1) the driving vector fields grow at most $|x|^{1-2\alpha}$ and the derivatives of the driving vector are allowed to be the order $|x|^\alpha$; (2) the coefficients of the SDE grows linearly while its derivative allowed to grow logarithmically, (3) The coefficients are bounded while the derivatives are allowed to grow linearly. We also given test on non-explosions.


title: Any-Precision Deep Neural Networks

abstract: We present any-precision deep neural networks (DNNs), which are trained with a new method that allows the learned DNNs to be flexible in numerical precision during inference. The same model in runtime can be flexibly and directly set to different bit-widths, by truncating the least significant bits, to support dynamic speed and accuracy trade-off. When all layers are set to low-bits, we show that the model achieved accuracy comparable to dedicated models trained at the same precision. This nice property facilitates flexible deployment of deep learning models in real-world applications, where in practice trade-offs between model accuracy and runtime efficiency are often sought. Previous literature presents solutions to train models at each individual fixed efficiency/accuracy trade-off point. But how to produce a model flexible in runtime precision is largely unexplored. When the demand of efficiency/accuracy trade-off varies from time to time or even dynamically changes in runtime, it is infeasible to re-train models accordingly, and the storage budget may forbid keeping multiple models. Our proposed framework achieves this flexibility without performance degradation. More importantly, we demonstrate that this achievement is agnostic to model architectures and applicable to multiple vision tasks. Our code is released at https://github.com/SHI-Labs/Any-Precision-DNNs.


title: Fast 3D Pose Refinement with RGB Images

abstract: Pose estimation is a vital step in many robotics and perception tasks such as robotic manipulation, autonomous vehicle navigation, etc. Current state-of-the-art pose estimation methods rely on deep neural networks with complicated structures and long inference times. While highly robust, they require computing power often unavailable on mobile robots. We propose a CNN-based pose refinement system which takes a coarsely estimated 3D pose from a computationally cheaper algorithm along with a bounding box image of the object, and returns a highly refined pose. Our experiments on the YCB-Video dataset show that our system can refine 3D poses to an extremely high precision with minimal training data.


title: Robotic Sculpting with Collision-free Motion Planning in Voxel Space

abstract: In this paper, we explore the task of robot sculpting. We propose a search based planning algorithm to solve the problem of sculpting by material removal with a multi-axis manipulator. We generate collision free trajectories for a manipulator using best-first search in voxel space. We also show significant speedup of our algorithm by using octrees to decompose the voxel space. We demonstrate our algorithm on a multi-axis manipulator in simulation by sculpting Michelangelo's Statue of David, evaluate certain metrics of our algorithm and discuss future goals for the project.


title: Putting visual object recognition in context

abstract: Context plays an important role in visual recognition. Recent studies have shown that visual recognition networks can be fooled by placing objects in inconsistent contexts (e.g., a cow in the ocean). To model the role of contextual information in visual recognition, we systematically investigated ten critical properties of where, when, and how context modulates recognition, including the amount of context, context and object resolution, geometrical structure of context, context congruence, and temporal dynamics of contextual modulation. The tasks involved recognizing a target object surrounded with context in a natural image. As an essential benchmark, we conducted a series of psychophysics experiments where we altered one aspect of context at a time, and quantified recognition accuracy. We propose a biologically-inspired context-aware object recognition model consisting of a two-stream architecture. The model processes visual information at the fovea and periphery in parallel, dynamically incorporates object and contextual information, and sequentially reasons about the class label for the target object. Across a wide range of behavioral tasks, the model approximates human level performance without retraining for each task, captures the dependence of context enhancement on image properties, and provides initial steps towards integrating scene and object information for visual recognition. All source code and data are publicly available: https://github.com/kreimanlab/Put-In-Context.


title: A dynamical evolution of GRB-Afterglows in a new generic model

abstract: A new model using a general expression of the radiation energy and explaining the dynamics of the afterglows is proposed. It is shown that this model is suitable for the ultra-relativistic and non-relativistic phases as well as the study of radiative and adiabatic fireballs.


title: Caching Techniques to Improve Latency in Serverless Architectures

abstract: Serverless computing has gained a significant traction in recent times because of its simplicity of development, deployment and fine-grained billing. However, while implementing complex services comprising databases, file stores, or more than one serverless function, the performance in terms of latency of serving requests often degrades severely. In this work, we analyze different serverless architectures with AWS Lambda services and compare their performance in terms of latency with a traditional virtual machine (VM) based approach. We observe that database access latency in serverless architecture is almost 14 times than that in VM based setup. Further, we introduce some caching strategies which can improve the response time significantly, and compare their performance.


title: Robust Algorithms for the Secretary Problem

abstract: In classical secretary problems, a sequence of $n$ elements arrive in a uniformly random order, and we want to choose a single item, or a set of size $K$. The random order model allows us to escape from the strong lower bounds for the adversarial order setting, and excellent algorithms are known in this setting. However, one worrying aspect of these results is that the algorithms overfit to the model: they are not very robust. Indeed, if a few "outlier" arrivals are adversarially placed in the arrival sequence, the algorithms perform poorly. E.g., Dynkin's popular $1/e$-secretary algorithm fails with even a single adversarial arrival. We investigate a robust version of the secretary problem. In the Byzantine Secretary model, we have two kinds of elements: green (good) and red (rogue). The values of all elements are chosen by the adversary. The green elements arrive at times uniformly randomly drawn from $[0,1]$. The red elements, however, arrive at adversarially chosen times. Naturally, the algorithm does not see these colors: how well can it solve secretary problems? We give algorithms which get value comparable to the value of the optimal green set minus the largest green item. Specifically, we give an algorithm to pick $K$ elements that gets within $(1-\varepsilon)$ factor of the above benchmark, as long as $K \geq \mathrm{poly}(\varepsilon^{-1} \log n)$. We extend this to the knapsack secretary problem, for large knapsack size $K$. For the single-item case, an analogous benchmark is the value of the second-largest green item. For value-maximization, we give a $\mathrm{poly} \log^* n$-competitive algorithm, using a multi-layered bucketing scheme that adaptively refines our estimates of second-max over time. For probability-maximization, we show the existence of a good randomized algorithm, using the minimax principle.


title: Characteristics of Eigenvalues Realized by Path-Connected Sets of Matrices

abstract: We consider path-connected sets of matrices and the induced paths between eigenvalues. We discuss the equivalence relation generated by these paths, and how it relates to the presence of higher multiplicity eigenvalues realized by the set. Particular interest is applied to the convex hull of matrices, where additional characterizations are provided of this phenomena, and computational methods are given for further study.


title: Adaptive Mirror Descent for the Network Utility Maximization Problem

abstract: Network utility maximization is the most important problem in network traffic management. Given the growth of modern communication networks, we consider the utility maximization problem in a network with a large number of connections (links) that are used by a huge number of users. To solve this problem an adaptive mirror descent algorithm for many constraints is proposed. The key feature of the algorithm is that it has a dimension-free convergence rate. The convergence of the proposed scheme is proved theoretically. The theoretical analysis is verified with numerical simulations. We compare the algorithm with another approach, using the ellipsoid method (EM) for the dual problem. Numerical experiments showed that the performance of the proposed algorithm against EM is significantly better in large networks and when very high solution accuracy is not required. Our approach can be used in many network design paradigms, in particular, in software-defined networks.


title: An extremely low-density and temperate giant exoplanet

abstract: Transiting extrasolar planets are key objects in the study of the formation, migration, and evolution of planetary systems. In particular, the exploration of the atmospheres of giant planets, through transmission spectroscopy or direct imaging, has revealed a large diversity in their chemical composition and physical properties. Studying these giant planets allows one to test the global climate models that are used for the Earth and other solar system planets. However, these studies are mostly limited either to highly-irradiated transiting giant planets or directly-imaged giant planets at large separations. Here we report the physical characterisation of the planets in a bright multi-planetary system (HIP41378) in which the outer planet, HIP41378 f is a Saturn-sized planet (9.2 $\pm$ 0.1 R$_\oplus$) with an anomalously low density of 0.09 $\pm$ 0.02 g cm$^{-3}$ that is not yet understood. Its equilibrium temperature is about 300 K. Therefore, it represents a planet with a mild temperature, in between the hot Jupiters and the colder giant planets of the Solar System. It opens a new window for atmospheric characterisation of giant exoplanets with a moderate irradiation, with the next-generation space telescopes such as JWST and ARIEL as well as the extremely-large ground-based telescopes. HIP41378 f is thus an important laboratory to understand the effect of the irradiation on the physical properties and chemical composition of the atmosphere of planets.


title: Identify Equivalent Frames

abstract: A frame is an overcomplete set that can represent vectors(signals) faithfully and stably. Two frames are equivalent if signals can be essentially represented in the same way, which means two frames differ by a permutation, sign change or orthogonal transformation. Since these operations are combinatorial in nature, it is infeasible to check whether two frames are equivalent by exhaustive search. In this note, we present an algorithm that can check this equivalence in polynomial time. Theoretical guarantees are provided for special cases.


title: Random Restrictions of High-Dimensional Distributions and Uniformity Testing with Subcube Conditioning

abstract: We give a nearly-optimal algorithm for testing uniformity of distributions supported on $\{-1,1\}^n$, which makes $\tilde O (\sqrt{n}/\varepsilon^2)$ queries to a subcube conditional sampling oracle (Bhattacharyya and Chakraborty (2018)). The key technical component is a natural notion of random restriction for distributions on $\{-1,1\}^n$, and a quantitative analysis of how such a restriction affects the mean vector of the distribution. Along the way, we consider the problem of mean testing with independent samples and provide a nearly-optimal algorithm.

categories: cs.DS cs.IT cs.LG math.IT math.PR math.ST stat.TH


title: Filtration of micropolar liquid through a membrane composed of spherical cells with porous layer

abstract: This paper considers membranes of globular structure in the framework of the cell model technique. Coupled micropolar and Brinkman-type equations are used to model the flow of micropolar fluid through a spherical cell, consisting of solid core, porous layer and liquid envelope. The solution is obtained in analytical form. Boundary value problems with different conditions on hypothetical cell surface are considered and compared. The hydrodynamic permeability of a membrane is investigated as a function of micropolar and porous medium characteristics.


title: Mathematical model for substitutional binary diffusion in solids

abstract: In this paper we detail the mechanisms that drive substitutional binary diffusion and derive appropriate governing equations. We focus on the one-dimensional case with insulated boundary conditions. Asymptotic expansions are used in order to simplify the problem. We are able to obtain approximate analytical solutions in two distinct cases: the two species diffuse at similar rates, and the two species have largely different diffusion rates. A numerical solution for the full problem is also described.


title: A Simple and Efficient Tube-based Robust Output Feedback Model Predictive Control Scheme

abstract: The control of constrained systems using model predictive control (MPC) becomes more challenging when full state information is not available and when the nominal system model and measurements are corrupted by noise. Since these conditions are often seen in practical scenarios, techniques such as robust output feedback MPC have been developed to address them. However, existing approaches to robust output feedback MPC are challenged by increased complexity of the online optimization problem, increased computational requirements for controller synthesis, or both. In this work we present a simple and efficient methodology for synthesizing a tube-based robust output feedback MPC scheme for linear, discrete, time-invariant systems subject to bounded, additive disturbances. Specifically, we first formulate a scheme where the online MPC optimization problem has the same complexity as in the nominal full state feedback MPC by using a single tube with constant cross-section. This makes our proposed approach simpler to implement and less computationally demanding than previous methods for both online implementation and offline controller synthesis. Secondly, we propose a novel and simple procedure for the computation of robust positively invariant (RPI) sets that are approximations of the minimal RPI set, which can be used to define the tube in the proposed control scheme.


title: Rebalancing Learning on Evolving Data Streams

abstract: Nowadays, every device connected to the Internet generates an ever-growing stream of data (formally, unbounded). Machine Learning on unbounded data streams is a grand challenge due to its resource constraints. In fact, standard machine learning techniques are not able to deal with data whose statistics is subject to gradual or sudden changes without any warning. Massive Online Analysis (MOA) is the collective name, as well as a software library, for new learners that are able to manage data streams. In this paper, we present a research study on streaming rebalancing. Indeed, data streams can be imbalanced as static data, but there is not a method to rebalance them incrementally, one element at a time. For this reason we propose a new streaming approach able to rebalance data streams online. Our new methodology is evaluated against some synthetically generated datasets using prequential evaluation in order to demonstrate that it outperforms the existing approaches.


title: Irreducible representations of Hopf algebras over dihedral groups

abstract: We calculate all irreducible representations over a subfamily of pointed Hopf algebras with group-likes the dihedral group analyzing the possible decompositions of the restriction to the dihedral group and calculating the Jacobson radical of the Hopf algebra


title: Optimal Decentralized Distributed Algorithms for Stochastic Convex Optimization

abstract: We consider stochastic convex optimization problems with affine constraints and develop several methods using either primal or dual approach to solve it. In the primal case, we use a special penalization technique to make the initial problem more convenient for using optimization methods. We propose algorithms to solve it based on Similar Triangles Method with Inexact Proximal Step for the convex smooth and strongly convex smooth objective functions and methods based on Gradient Sliding algorithm to solve the same problems in the non-smooth case. We prove the convergence guarantees in the smooth convex case with deterministic first-order oracle. We propose and analyze three novel methods to handle stochastic convex optimization problems with affine constraints: SPDSTM, R-RRMA-AC-SA$^2$, and SSTM_sc. All methods use stochastic dual oracle. SPDSTM is the stochastic primal-dual modification of STM and it is applied for the dual problem when the primal functional is strongly convex and Lipschitz continuous on some ball. We extend the result from Dvinskikh & Gasnikov (2019) for this method to the case when only biased stochastic oracle is available. R-RRMA-AC-SA$^2$ is an accelerated stochastic method based on the restarts of RRMA-AC-SA$^2$ from Foster et al. (2019) and SSTM_sc is just stochastic STM for strongly convex problems. Both methods are applied to the dual problem when the primal functional is strongly convex, smooth, and Lipschitz continuous on some ball and use stochastic dual first-order oracle. We develop convergence analysis for these methods for unbiased and biased oracles respectively. Finally, we apply all the aforementioned results and approaches to solve the decentralized distributed optimization problem and discuss the optimality of the obtained results in terms of communication rounds and the number of oracle calls per node.


title: On the multidimensional Nazarov lemma

abstract: In this article we prove a multidimensional version of the Nazarov lemma. The proof is based on an appropriate generalisation of the regularised system of intervals introduced by Havin, Nazarov and Mashreghi to several dimensions.


title: Optimal Demand Response and Supply Schedule Under Market-Driven Price: A Stackelberg Dynamic Game Approach

abstract: In this work, we use a Stackelberg infinite discrete-time dynamic game model to study the optimal supply schedule and the optimal demand response under a market-driven dynamic price. A two-layer optimization framework is established. At the lower layer, for each user, different appliances are scheduled for energy consumption. For enegy provider, different generators are utilized for energy generation. At the upper level, with the supplier acting as a leader and the users acting as followers, a Stackelberg dynamic game is used to capture the interaction among the energy provider and the users where the energy provider and the users care only about their own cost. We analyze the one-leader-N-followers Stackelberg dynamic game and characterize the Stackelberg equilibrium. We provide a closed-form Nash solution of the optimal dynamic demand response problem when the supply is announced. A set of linear constraints is developed to characterize the Stackeberg equilibrium. Simulation results show that the price is driven to a reasonable value. Also, the total demand and the supply is balanced.


title: Equation of state, structure and diffusion coefficients of Gay-Berne fluids: the cases $\kappa'$ = 5; 10; 15; 20

abstract: We performed extensive molecular dynamics simulations to obtain pressure-density phase diagram, orientational order parameter, pair correlation functions and translational diffusion coefficients of Gay-Berne fluids. Different sets of parameters were employed for the Gay-Berne potential, in particular we studied the cases $\kappa'=5, 10, 15, 20$ and $\kappa=3$, $\mu=2$, $\nu=1$ at different conditions of density and temperature. The structure was analyzed in terms of the order parameter and the pair correlation functions. We found that for the highest value $\kappa'=20$ the region where pressure increases with density is significantly reduced at low temperatures; additionally the pressure shows several decays with density as an indicative that several structural phases can take place. These effects are discussed in terms of the pair correlation functions. For higher temperatures the pressure shows only two decays for all $\kappa'$'s studied. As this parameter increases its value those decays are shifted to lower densities.


title: Activated diffusiophoresis

abstract: Perturbations of fluid media can give rise to non-equilibrium dynamics, which may in turn cause motion of immersed inclusions. We consider perturbations ("activations") that are local in space and time, of a fluid density which is conserved, and study the resulting diffusiophoretic phenomena that emerge at a large distance. Specifically, we consider cases where the perturbations propagate diffusively, providing examples from passive and active matter for which this is expected to be the case. Activations can, for instance, be realized by sudden and local changes in interaction potentials of the medium, or by local changes of its activity. Various analytical results are provided for the case of confinement by two parallel walls. We investigate the possibility of extracting work from inclusions which are moving through the activated fluid. Further, we show that a time-dependent density profile, created via suitable activation protocols, allows for conveyance of inclusions along controlled and stable trajectories. In contrast, in states with a steady density, inclusions cannot be held at stable positions, reminiscent of Earnshaw's theorem of electrostatics. We expect these findings to be applicable in a range of experimental systems.


title: Predicting colorectal polyp recurrence using time-to-event analysis of medical records

abstract: Identifying patient characteristics that influence the rate of colorectal polyp recurrence can provide important insights into which patients are at higher risk for recurrence. We used natural language processing to extract polyp morphological characteristics from 953 polyp-presenting patients' electronic medical records. We used subsequent colonoscopy reports to examine how the time to polyp recurrence (731 patients experienced recurrence) is influenced by these characteristics as well as anthropometric features using Kaplan-Meier curves, Cox proportional hazards modeling, and random survival forest models. We found that the rate of recurrence differed significantly by polyp size, number, and location and patient smoking status. Additionally, right-sided colon polyps increased recurrence risk by 30% compared to left-sided polyps. History of tobacco use increased polyp recurrence risk by 20% compared to never-users. A random survival forest model showed an AUC of 0.65 and identified several other predictive variables, which can inform development of personalized polyp surveillance plans.


title: Two explicit divisor sums

abstract: We give explicit bounds on sums of $d(n)^2$ and $d_4(n)$, where $d(n)$ is the number of divisors of $n$ and $d_4(n)$ is the number of ways of writing $n$ as a product of four numbers. In doing so we make a slight improvement on the upper bound for class numbers of quartic number fields.


title: Modeling Kelvin-Helmholtz instability-driven turbulence with hybrid simulations of Alfv\'enic turbulence

abstract: Magnetospheric Multiscale (MMS) observations of plasma turbulence generated by a Kelvin-Helmholtz (KH) event at the Earth's magnetopause are compared with a high-resolution two-dimensional (2D) hybrid direct numerical simulation (DNS) of decaying plasma turbulence driven by large-scale balanced Alfv\'enic fluctuations. The simulation, set up with four observation-driven physical parameters (ion and electron betas, turbulence strength, and injection scale) exhibits a quantitative agreement on the spectral, intermittency, and cascade-rate properties with in situ observations, despite the different driving mechanisms. Such agreement demonstrates a certain universality of the turbulent cascade from magnetohydrodynamic (MHD) to sub-ion scales, whose properties are mainly determined by the selected parameters, also indicating that the KH instability-driven turbulence has a quasi-2D nature. The validity of the Taylor hypothesis in the sub-ion spatial range suggests that the fluctuations at sub-ion scales have predominantly low frequencies, consistent with a kinetic Alfv\'en wave-like nature or with quasi-static structures. Finally, the third-order structure function analysis indicates that the cascade rate of the turbulence generated by a KH event in the magnetopause is an order of magnitude larger than in the ambient magnetosheath.


title: Unified Superfluid Dark Sector

abstract: In this talk I present a new model of a unified dark sector, where late-time cosmic acceleration emerges from the dark matter (DM) superfluid framework. We will start by reviewing the dark matter superfluid model and show how it describes the dynamics of DM in large and small scales. Then we will show that if the superfluid consists of a mixture of two distinguishable states with a small energy gap, such as the ground state and an excited state of DM, interacting through a contact interaction a new dynamics of late-time accelerated expansion emerges in this system, without the need of dark energy, coming from a universe containing only this two-state DM superfluid. I will show the expansion history and growth of linear perturbations, and show that the difference in the predicted growth rate in comparison to $\Lambda$CDM is significant at late times.


title: Deep Learning for the Digital Pathologic Diagnosis of Cholangiocarcinoma and Hepatocellular Carcinoma: Evaluating the Impact of a Web-based Diagnostic Assistant

abstract: While artificial intelligence (AI) algorithms continue to rival human performance on a variety of clinical tasks, the question of how best to incorporate these algorithms into clinical workflows remains relatively unexplored. We investigated how AI can affect pathologist performance on the task of differentiating between two subtypes of primary liver cancer, hepatocellular carcinoma (HCC) and cholangiocarcinoma (CC). We developed an AI diagnostic assistant using a deep learning model and evaluated its effect on the diagnostic performance of eleven pathologists with varying levels of expertise. Our deep learning model achieved an accuracy of 0.885 on an internal validation set of 26 slides and an accuracy of 0.842 on an independent test set of 80 slides. Despite having high accuracy on a hold out test set, the diagnostic assistant did not significantly improve performance across pathologists (p-value: 0.184, OR: 1.287 (95% CI 0.886, 1.871)). Model correctness was observed to significantly bias the pathologist decisions. When the model was correct, assistance significantly improved accuracy across all pathologist experience levels and for all case difficulty levels (p-value: < 0.001, OR: 4.289 (95% CI 2.360, 7.794)). When the model was incorrect, assistance significantly decreased accuracy across all 11 pathologists and for all case difficulty levels (p-value < 0.001, OR: 0.253 (95% CI 0.126, 0.507)). Our results highlight the challenges of translating AI models to the clinical setting, especially for difficult subspecialty tasks such as tumor classification. In particular, they suggest that incorrect model predictions could strongly bias an expert's diagnosis, an important factor to consider when designing medical AI-assistance systems.


title: Structure of principal one-sided ideals

abstract: We give a thorough structural analysis of the principal one-sided ideals of arbitrary semigroups, and then apply this to full transformation semigroups and symmetric inverse monoids. One-sided ideals of these semigroups naturally occur as semigroups of transformations with restricted range or kernel.


title: Exponential Integrators for Stochastic Schr\"odinger Equation

abstract: We present a class of exponential integrators to compute solutions of the stochastic Schr\"odinger equation arising from the modeling of open quantum systems. In order to be able to implement the methods within the same framework as the deterministic counterpart, we express the solution using the Kunita's representation. With appropriate truncations, the solution operator can be written as matrix exponentials, which can be efficiently implemented by the Krylov subspace projection. The accuracy is examined in terms of the strong convergence, by comparing trajectories, and the weak convergence, by comparing the density-matrix operator. We show that the local accuracy can be further improved by introducing a third-order commutator in the exponential. The effectiveness of the proposed methods is tested using the example from Di Ventra et al. [Journal of Physics: Condensed Matter, 2004].


title: Top-down induction of decision trees: rigorous guarantees and inherent limitations

abstract: Consider the following heuristic for building a decision tree for a function $f : \{0,1\}^n \to \{\pm 1\}$. Place the most influential variable $x_i$ of $f$ at the root, and recurse on the subfunctions $f_{x_i=0}$ and $f_{x_i=1}$ on the left and right subtrees respectively; terminate once the tree is an $\varepsilon$-approximation of $f$. We analyze the quality of this heuristic, obtaining near-matching upper and lower bounds: $\circ$ Upper bound: For every $f$ with decision tree size $s$ and every $\varepsilon \in (0,\frac1{2})$, this heuristic builds a decision tree of size at most $s^{O(\log(s/\varepsilon)\log(1/\varepsilon))}$. $\circ$ Lower bound: For every $\varepsilon \in (0,\frac1{2})$ and $s \le 2^{\tilde{O}(\sqrt{n})}$, there is an $f$ with decision tree size $s$ such that this heuristic builds a decision tree of size $s^{\tilde{\Omega}(\log s)}$. We also obtain upper and lower bounds for monotone functions: $s^{O(\sqrt{\log s}/\varepsilon)}$ and $s^{\tilde{\Omega}(\sqrt[4]{\log s } )}$ respectively. The lower bound disproves conjectures of Fiat and Pechyony (2004) and Lee (2009). Our upper bounds yield new algorithms for properly learning decision trees under the uniform distribution. We show that these algorithms---which are motivated by widely employed and empirically successful top-down decision tree learning heuristics such as ID3, C4.5, and CART---achieve provable guarantees that compare favorably with those of the current fastest algorithm (Ehrenfeucht and Haussler, 1989). Our lower bounds shed new light on the limitations of these heuristics. Finally, we revisit the classic work of Ehrenfeucht and Haussler. We extend it to give the first uniform-distribution proper learning algorithm that achieves polynomial sample and memory complexity, while matching its state-of-the-art quasipolynomial runtime.


title: Fast enantioconversion of chiral mixtures based on a four-level double-$\Delta$ model

abstract: Based on the four-level double-$\Delta$ model composed of two degenerated (left- and right-handed) chiral ground states and two achiral excited states, we propose a purely optical method for enantio-conversion of chiral mixture. By choosing appropriate parameters, the original four-level model will be simplified to two effective two-level sub-systems with each of them involving one chiral ground state. Then, with the help of well-designed optical operations, the initial unwanted and wanted chiral ground states are converted, respectively, to the wanted chiral ground state and an auxiliary chiral excited state with the wanted chirality, i.e., achieving the enantioconversion of the chiral mixture. Comparing with the original work of enantioconversion based on the four-level double-$\Delta$ model with the requirement of the time-consuming relaxation step and repeated operations, our method can be three orders of magnitude faster since we use only purely optical operations. Thus, it offers a promising candidate for fast enantioconversion when the total operation time is limited due to the racemization and/or experimental conditions.


title: Some Results and a K-theory Problem about Threshold Commutants mod Normed Ideals

abstract: We extend to the case of a threshold ideal our result with J. Bourgain about the essential centre of the commutant mod a diagonalization ideal for a n-tuple of commuting Hermitian operators . We also compute the $K_0$-group of the commutant mod trace-class of a unitary operator with spectrum equal to its essential spectrum. We present the problem of computing the $K_1$-group for a commutant mod trace-class in its simplest case.


title: Finding Skewed Subcubes Under a Distribution

abstract: Say that we are given samples from a distribution $\psi$ over an $n$-dimensional space. We expect or desire $\psi$ to behave like a product distribution (or a $k$-wise independent distribution over its marginals for small $k$). We propose the problem of enumerating/list-decoding all large subcubes where the distribution $\psi$ deviates markedly from what we expect; we refer to such subcubes as skewed subcubes. Skewed subcubes are certificates of dependencies between small subsets of variables in $\psi$. We motivate this problem by showing that it arises naturally in the context of algorithmic fairness and anomaly detection. In this work we focus on the special but important case where the space is the Boolean hypercube, and the expected marginals are uniform. We show that the obvious definition of skewed subcubes can lead to intractable list sizes, and propose a better definition of a minimal skewed subcube, which are subcubes whose skew cannot be attributed to a larger subcube that contains it. Our main technical contribution is a list-size bound for this definition and an algorithm to efficiently find all such subcubes. Both the bound and the algorithm rely on Fourier-analytic techniques, especially the powerful hypercontractive inequality. On the lower bounds side, we show that finding skewed subcubes is as hard as the sparse noisy parity problem, and hence our algorithms cannot be improved on substantially without a breakthrough on this problem which is believed to be intractable. Motivated by this, we study alternate models allowing query access to $\psi$ where finding skewed subcubes might be easier.


title: A structure-preserving algorithm for the fractional nonlinear Schr\"{o}dinger equation based on the SAV approach

abstract: The main objective of this paper is to present an efficient structure-preserving scheme, which is based on the idea of the scalar auxiliary variable approach, for solving the space fractional nonlinear Schr\"{o}dinger equation. First, we reformulate the equation as a Hamiltonian system, and obtain a new equivalent system via introducing a scalar variable. Then, we construct a semi-discrete energy-preserving scheme by using the Fourier pseudo-spectral method to discretize the equivalent system in space direction. After that, applying the Crank-Nicolson method on the temporal direction gives a linear implicit scheme in the fully-discrete version. As expected, the proposed scheme can preserve the energy exactly and more efficient in the sense that only decoupled equations with constant coefficients need to be solved at each time step. Finally, numerical experiments are provided to demonstrate the effectiveness and conservation of the scheme.


title: Developing a Scenario-Based Video Game Generation Framework: Preliminary Results

abstract: Emergency training and planning provide structured curricula, rule-based action items, and interdisciplinary collaborative entities to imitate and teach real-life tasks. This rule-based structure enables the curricula to be transferred into other systematic learning platforms such as serious games ---games that have additional purposes rather than only entertainment. Serious games aim to educate, cure, and plan several real-life tasks and circumstances in an interactive, efficient, and user-friendly way. Although emergency training includes these highly structured and repetitive action responses, a general framework to map the training scenarios' actions, roles, and collaborative structures to game mechanics and game dialogues, is still not available. To address this issue, in this study, a scenario-based game generator, which maps domain-oriented tasks to game rules and game mechanics, was developed. Also, two serious games (i.e., Hospital game and BioGarden game) addressing the training mechanisms of Chemical, Biological, Radiological, Nuclear, and Explosives (CBRNe) domain, were developed by both the game developers and the scenario-based game generator for comparative analysis. The results show that although the game generator uses higher CPU time, memory usage, and rendering time, it highly outperforms the game development pipeline performance of the developers. Thus, this study is an initial attempt of a game generator which bridges the CBRNe practitioners and game developers to transform real-life training scenarios into video games efficiently and quickly.


title: Visual Similarity Attention

abstract: While there has been substantial progress in learning suitable distance metrics, these techniques in general lack transparency and decision reasoning, i.e., explaining why the input set of images is similar or dissimilar. In this work, we solve this key problem by proposing the first method to generate generic visual similarity explanations with gradient-based attention. We demonstrate that our technique is agnostic to the specific similarity model type, e.g., we show applicability to Siamese, triplet, and quadruplet models. Furthermore, we make our proposed similarity attention a principled part of the learning process, resulting in a new paradigm for learning similarity functions. We demonstrate that our learning mechanism results in more generalizable, as well as explainable, similarity models. Finally, we demonstrate the generality of our framework by means of experiments on a variety of tasks, including image retrieval, person re-identification, and low-shot semantic segmentation.


title: Unsteady aerodynamics of porous aerofoils

abstract: We extend unsteady thin aerofoil theory to model aerofoils with generalised chordwise porosity distributions. The analysis considers a linearised porosity boundary condition where the seepage velocity through the aerofoil is related to the local pressure jump across the aerofoil surface and to the unsteady characteristics of the porous medium. Application of the Plemelj formulae to the resulting boundary value problem yields a singular Fredholm--Volterra integral equation which does not admit an analytic solution. Accordingly, we develop a numerical solution scheme by expanding the bound vorticity distribution in terms of appropriate basis functions. Asymptotic analysis at the leading- and trailing-edges reveals that the appropriate basis functions are weighted Jacobi polynomials whose parameters are related to the porosity distribution. The Jacobi polynomial basis enables the construction of a numerical scheme that is accurate and rapid, in contrast to the standard choice of Chebyshev basis functions that are shown to {be unsuitable} for porous aerofoils. Applications of the numerical solution scheme to discontinuous porosity profiles, quasi-static problems, and the separation of circulatory and non-circulatory contributions are presented. Analogues to the classical Theodorsen and Sears functions are computed numerically, which show that an effect of trailing-edge porosity is to reduce the amount of vorticity shed into the wake, thereby reducing the magnitude of the circulatory lift. {Fourier transform inversion of these frequency-domain functions produces porous extensions to the Wagner and K\"{u}ssner functions for transient aerofoil motions or gust encounters, respectively.}


title: Towards Robust RGB-D Human Mesh Recovery

abstract: We consider the problem of human pose estimation. While much recent work has focused on the RGB domain, these techniques are inherently under-constrained since there can be many 3D configurations that explain the same 2D projection. To this end, we propose a new method that uses RGB-D data to estimate a parametric human mesh model. Our key innovations include (a) the design of a new dynamic data fusion module that facilitates learning with a combination of RGB-only and RGB-D datasets, (b) a new constraint generator module that provides SMPL supervisory signals when explicit SMPL annotations are not available, and (c) the design of a new depth ranking learning objective, all of which enable principled model training with RGB-D data. We conduct extensive experiments on a variety of RGB-D datasets to demonstrate efficacy.


title: Distributed Low Precision Training Without Mixed Precision

abstract: Low precision training is one of the most popular strategies for deploying the deep model on limited hardware resources. Fixed point implementation of DCNs has the potential to alleviate complexities and facilitate potential deployment on embedded hardware. However, most low precision training solution is based on a mixed precision strategy. In this paper, we have presented an ablation study on different low precision training strategy and propose a solution for IEEE FP-16 format throughout the training process. We tested the ResNet50 on 128 GPU cluster on ImageNet-full dataset. We have viewed that it is not essential to use FP32 format to train the deep models. We have viewed that communication cost reduction, model compression, and large-scale distributed training are three coupled problems.


title: Smooth inertial manifolds for neutral differential equations with small delays

abstract: In this paper, we study the dynamical behaviors of neutral differential equations with small delays. We first establish the existence and smoothness of the global inertial manifolds for these equations. Then we further prove the smoothness of inertial manifolds with respect to small delays for a certain class of neutral differential equations. The method can be also applied to deal with more general small-delay systems. Finally, we apply our main results to the van der Pol oscillator model with small delay.


title: Ideas Abandoned en Route to QBism

abstract: The interpretation of quantum mechanics known as QBism developed out of efforts to understand the probabilities arising in quantum physics as Bayesian in character. But this development was neither easy nor without casualties. Many ideas voiced, and even committed to print, during earlier stages of Quantum Bayesianism turn out to be quite fallacious when seen from the vantage point of QBism.


title: Chiral Hall effect in strained Weyl semimetals

abstract: In this paper, the chiral Hall effect of strained Weyl semimetals without any external magnetic field is proposed. Electron-phonon coupling emerges in the low-energy fermionic sector through a pseudogauge potential. We show that, by using chiral kinetic theory, the chiral Hall effect appears as a response to a real time-varying electric field in the presence of structural distortion and it causes spatial chirality and charges separation in a Weyl system. We also show that the coupling of the electrons to acoustic phonons as a gapless excitation leads to emerging an optical absorption peak at $\omega=\omega_{el}$, where $\omega_{el}$ is defined as a characteristic frequency associated with the pseudomagnetic field. We also propose the strain-induced planar Hall effect as another transport signature of the chiral-anomaly equation.