title: Linearly Constrained Smoothing Group Sparsity Solvers in Off-grid Model

abstract: In compressed sensing, the sensing matrix is assumed perfectly known. However, there exists perturbation in the sensing matrix in reality due to sensor offsets or noise disturbance. Directions-of-arrival (DoA) estimation with off-grid effect satisfies this situation, and can be formulated into a (non)convex optimization problem with linear inequalities constraints, which can be solved by the interior point method (using the CVX tools), but at a large computational cost. In this work, in order to design efficient algorithms, we consider various alternative formulations, such as unconstrained formulation, primal-dual formulation, or conic formulation to develop group-sparsity promoted solvers. First, the consensus alternating direction method of multipliers (C-ADMM) is applied. Then, iterative algorithms for the BPDN formulation is proposed by combining the Nesterov smoothing technique with accelerated proximal gradient method, and the convergence analysis of the method is conducted as well. We also developed a variant of EGT (Excessive Gap Technique)-based primal-dual method to systematically reduce the smoothing parameter sequentially. Finally, we propose algorithms for quadratically constrained L2-L1 mixed norm minimization problem by using the smoothed dual conic optimization (SDCO) and continuation technique. The performance of accuracy and convergence for all the proposed methods are demonstrated in the numerical simulations.


title: An Optimized PatchMatch for Multi-scale and Multi-feature Label Fusion

abstract: Automatic segmentation methods are important tools for quantitative analysis of Magnetic Resonance Images (MRI). Recently, patch-based label fusion approaches have demonstrated state-of-the-art segmentation accuracy. In this paper, we introduce a new patch-based label fusion framework to perform segmentation of anatomical structures. The proposed approach uses an Optimized PAtchMatch Label fusion (OPAL) strategy that drastically reduces the computation time required for the search of similar patches. The reduced computation time of OPAL opens the way for new strategies and facilitates processing on large databases. In this paper, we investigate new perspectives offered by OPAL, by introducing a new multi-scale and multi-feature framework. During our validation on hippocampus segmentation we use two datasets: young adults in the ICBM cohort and elderly adults in the EADC-ADNI dataset. For both, OPAL is compared to state-of-the-art methods. Results show that OPAL obtained the highest median Dice coefficient (89.9% for ICBM and 90.1% for EADC-ADNI). Moreover, in both cases, OPAL produced a segmentation accuracy similar to inter-expert variability. On the EADC-ADNI dataset, we compare the hippocampal volumes obtained by manual and automatic segmentation. The volumes appear to be highly correlated that enables to perform more accurate separation of pathological populations.


title: The Einstein Relation on Metric Measure Spaces

abstract: This note is based on F. Burghart's master thesis at Stuttgart university from July 2018, supervised by Prof. Freiberg. We review the Einstein relation, which connects the Hausdorff, local walk and spectral dimensions on a space, in the abstract setting of a metric measure space equipped with a suitable operator. This requires some twists compared to the usual definitions from fractal geometry. The main result establishes the invariance of the three involved notions of fractal dimension under bi-Lipschitz continuous isomorphisms between mm-spaces and explains, more generally, how the transport of the analytic and stochastic structure behind the Einstein relation works. While any homeomorphism suffices for this transport of structure, non-Lipschitz maps distort the Hausdorff and the local walk dimension in different ways. To illustrate this, we take a look at H\"older regular transformations and how they influence the local walk dimension and describe the Einstein relation on graphs of fractional Brownian motions. We conclude by giving a short list of further questions that may help building a general theory of the Einstein relation.


title: Machine Learning: A Dark Side of Cancer Computing

abstract: Cancer analysis and prediction is the utmost important research field for well-being of humankind. The Cancer data are analyzed and predicted using machine learning algorithms. Most of the researcher claims the accuracy of the predicted results within 99%. However, we show that machine learning algorithms can easily predict with an accuracy of 100% on Wisconsin Diagnostic Breast Cancer dataset. We show that the method of gaining accuracy is an unethical approach that we can easily mislead the algorithms. In this paper, we exploit the weakness of Machine Learning algorithms. We perform extensive experiments for the correctness of our results to exploit the weakness of machine learning algorithms. The methods are rigorously evaluated to validate our claim. In addition, this paper focuses on correctness of accuracy. This paper report three key outcomes of the experiments, namely, correctness of accuracies, significance of minimum accuracy, and correctness of machine learning algorithms.


title: Sum Capacity Bounds and Design of Suboptimal Codes for Asynchronous CDMA Systems

abstract: In this paper, we study two issues in asynchronous communication systems. The first issue is the derivation of sum capacity bounds for finite dimensional asynchronous systems. In addition, asymptotic results for the sum capacity bounds are obtained. The second issue is the design of practical suboptimal codes for binary chip asynchronous CDMA systems that become optimal for high Signal-to-Noise (SNR) ratios. The performance of such suboptimal codes is also compared to Gold and Optical Orthogonal codes. The conclusion is that the proposed suboptimal codes perform favorably compared to other known codes for high SNR asynchronous systems and perform more or less the same as the other codes for the low SNR values.


title: SuperPatchMatch: an Algorithm for Robust Correspondences using Superpixel Patches

abstract: Superpixels have become very popular in many computer vision applications. Nevertheless, they remain underexploited since the superpixel decomposition may produce irregular and non stable segmentation results due to the dependency to the image content. In this paper, we first introduce a novel structure, a superpixel-based patch, called SuperPatch. The proposed structure, based on superpixel neighborhood, leads to a robust descriptor since spatial information is naturally included. The generalization of the PatchMatch method to SuperPatches, named SuperPatchMatch, is introduced. Finally, we propose a framework to perform fast segmentation and labeling from an image database, and demonstrate the potential of our approach since we outperform, in terms of computational cost and accuracy, the results of state-of-the-art methods on both face labeling and medical image segmentation.


title: Measures of Contextuality and Noncontextuality

abstract: We discuss three measures of the degree of contextuality in contextual systems of dichotomous random variables. These measures are developed within the framework of the Contextuality-by-Default (CbD) theory, and apply to inconsistently connected systems (those with "disturbance" allowed). For one of these measures of contextuality, presented here for the first time, we construct a corresponding measure of the degree of noncontextuality in noncontextual systems. The other two CbD-based measures do not suggest ways in which degree of noncontextuality of a noncontextual system can be quantified. We find the same to be true for the contextual fraction measure developed by Abramsky, Barbosa, and Mansfield. This measure of contextuality is confined to consistently connected systems, but CbD allows one to generalize it to arbitrary systems.


title: Responsible and Representative Multimodal Data Acquisition and Analysis: On Auditability, Benchmarking, Confidence, Data-Reliance & Explainability

abstract: The ethical decisions behind the acquisition and analysis of audio, video or physiological human data, harnessed for (deep) machine learning algorithms, is an increasing concern for the Artificial Intelligence (AI) community. In this regard, herein we highlight the growing need for responsible, and representative data collection and analysis, through a discussion of modality diversification. Factors such as Auditability, Benchmarking, Confidence, Data-reliance, and Explainability (ABCDE), have been touched upon within the machine learning community, and here we lay out these ABCDE sub-categories in relation to the acquisition and analysis of multimodal data, to weave through the high priority ethical concerns currently under discussion for AI. To this end, we propose how these five subcategories can be included in early planning of such acquisition paradigms.


title: Shortest directed networks in the plane

abstract: Given a set of sources and a set of sinks as points in the Euclidean plane, a directed network is a directed graph drawn in the plane with a directed path from each source to each sink. Such a network may contain nodes other than the given sources and sinks, called Steiner points. We characterize the local structure of the Steiner points in all shortest-length directed networks in the Euclidean plane. This characterization implies that these networks are constructible by straightedge and compass. Our results build on unpublished work of Alfaro, Campbell, Sher, and Soto from 1989 and 1990. Part of the proof is based on a new method that uses other norms in the plane. This approach gives more conceptual proofs of some of their results, and as a consequence, we also obtain results on shortest directed networks for these norms.


title: Training recurrent neural networks robust to incomplete data: application to Alzheimer's disease progression modeling

abstract: Disease progression modeling (DPM) using longitudinal data is a challenging machine learning task. Existing DPM algorithms neglect temporal dependencies among measurements, make parametric assumptions about biomarker trajectories, do not model multiple biomarkers jointly, and need an alignment of subjects' trajectories. In this paper, recurrent neural networks (RNNs) are utilized to address these issues. However, in many cases, longitudinal cohorts contain incomplete data, which hinders the application of standard RNNs and requires a pre-processing step such as imputation of the missing values. Instead, we propose a generalized training rule for the most widely used RNN architecture, long short-term memory (LSTM) networks, that can handle both missing predictor and target values. The proposed LSTM algorithm is applied to model the progression of Alzheimer's disease (AD) using six volumetric magnetic resonance imaging (MRI) biomarkers, i.e., volumes of ventricles, hippocampus, whole brain, fusiform, middle temporal gyrus, and entorhinal cortex, and it is compared to standard LSTM networks with data imputation and a parametric, regression-based DPM method. The results show that the proposed algorithm achieves a significantly lower mean absolute error (MAE) than the alternatives with p < 0.05 using Wilcoxon signed rank test in predicting values of almost all of the MRI biomarkers. Moreover, a linear discriminant analysis (LDA) classifier applied to the predicted biomarker values produces a significantly larger AUC of 0.90 vs. at most 0.84 with p < 0.001 using McNemar's test for clinical diagnosis of AD. Inspection of MAE curves as a function of the amount of missing data reveals that the proposed LSTM algorithm achieves the best performance up until more than 74% missing values. Finally, it is illustrated how the method can successfully be applied to data with varying time intervals.


title: System Level Synthesis with State and Input Constraints

abstract: This paper addresses the problem of designing distributed controllers with state and input constraints in the System Level Synthesis (SLS) framework. Using robust optimization, we show how state and actuation constraints can be incorporated into the SLS structure. Moreover, we show that the dual variable associated with the constraint has the same sparsity pattern as the SLS parametrization, and therefore the computation distributes using a simple primal-dual algorithm. We provide a stability analysis for SLS design with input saturation under the Internal Model Control (IMC) framework. We show that the closed-loop system with saturation is stable if the controller has a gain less than one. In addition, a saturation compensation scheme that incorporates the saturation information is proposed which improves the naive SLS design under saturation.


title: Construction of 2-solitons with logarithmic distance for the one-dimensional cubic Schrodinger system

abstract: We consider a system of coupled cubic Schr\"odinger equations in one space dimension \begin{equation*} \begin{cases} i \partial_t u + \partial_x^2 u +(|u|^2 + \omega |v|^2) u =0\\ i \partial_t v + \partial_x^2 v+ (|v|^2 + \omega |u|^2) v=0 \end{cases}\quad (t,x)\in {\bf R}\times{\bf R}, \end{equation*} in the non-integrable case $0 < \omega < 1$. First, we justify the existence of a symmetric 2-solitary wave with logarithmic distance, more precisely a solution of the system satisfying \[ \lim_{t\to +\infty}\left\| \begin{pmatrix} u(t) \\ v(t)\end{pmatrix} - \begin{pmatrix} e^{it}Q (\cdot - \frac{1}{2} \log (\Omega t) - \frac{1}{4} \log \log t) \\ e^{it}Q (\cdot + \frac{1}{2} \log (\Omega t) + \frac{1}{4} \log \log t)\end{pmatrix}\right\|_{H^1\times H^1} = 0\] where $Q = \sqrt{2}{\rm sech}$ is the explicit solution of $ Q'' - Q + Q^3 = 0$ and $\Omega>0$ is a constant. This result extends to the non-integrable case the existence of symmetric 2-solitons with logarithmic distance known in the integrable case $\omega=0$ and $\omega=1$. Such strongly interacting symmetric $2$-solitary waves were also previously constructed for the non-integrable scalar nonlinear Schr\"odinger equation in any space dimension and for any energy-subcritical power nonlinearity. Second, under the conditions $0<c<1$ and $0<\omega < \frac 12 c(c+1)$, we construct solutions of the system satisfying \[ \lim_{t\to +\infty}\left\| \begin{pmatrix}u(t) \\ v(t)\end{pmatrix} - \begin{pmatrix}e^{i c^2 t}Q_c (\cdot - \frac{1}{(c+1)c} \log (\Omega_c t) ) \\ e^{i t} Q (\cdot + \frac{1}{c+1} \log (\Omega_c t))\end{pmatrix} \right\|_{H^1\times H^1}=0\] where $Q_c(x)=cQ(cx)$ and $\Omega_c>0$ is a constant. Such logarithmic regime with non-symmetric solitons does not exist in the integrable cases $\omega=0$ and $\omega=1$ and is still unknown in the non-integrable scalar case.


title: Janossy densities for chiral random matrix ensembles and their applications to two-color QCD

abstract: We compute individual distributions of low-lying eigenvalues of massive chiral random matrix ensembles by the Nystr\"om-type quadrature method for evaluating the Fredholm determinant and Pfaffian that represent the analytic continuation of the Janossy densities (conditional gap probabilities). A compact formula for individual eigenvalue distributions suited for precise numerical evaluation by the Nystr\"om-type method is obtained in an explicit form, and the $k^{\rm{\small th}}$ smallest eigenvalue distributions are numerically evaluated for chiral unitary and symplectic ensembles in the microscopic limit. As an application of our result, the low-lying Dirac spectra of the SU(2) lattice gauge theory with $N_F=8$ staggered flavors are fitted to the numerical prediction from the chiral symplectic ensemble, leading to a precise determination of the chiral condensateof a two-color QCD-like system in the future.


title: Connecting direct and indirect detection with a dark spike in the cosmic-ray electron spectrum

abstract: Multiple space-borne cosmic ray detectors have detected line-like features in the electron and positron spectra. Most recently, the DAMPE collaboration reported the existence of such a feature at 1.4 TeV, sparking interest in a potential dark matter origin. Such quasi-monochromatic features, virtually free of any astrophysical background, could be explained by the annihilation of dark matter particles in a nearby dark matter clump. Here, we explore the consistency of producing such spectral features with dark matter annihilation from the standpoint of dark matter substructure statistics, constraints from anisotropy, and constraints from gamma-ray emission. We demonstrate that if indeed a high-energy, line-like feature in the electron-positron spectrum originates from dark matter annihilation in a nearby clump, a significant or even dominant fraction of the dark matter in the Solar System likely stems from the clump, with dramatic consequences for direct dark matter searches.


title: SU-bordism: structure results and geometric representatives

abstract: In the first part of this survey we give a modernised exposition of the structure of the special unitary bordism ring, by combining the classical geometric methods of Conner-Floyd, Wall and Stong with the Adams-Novikov spectral sequence and formal group law techniques that emerged after the fundamental 1967 work of Novikov. In the second part we use toric topology to describe geometric representatives in SU-bordism classes, including toric, quasitoric and Calabi-Yau manifolds.


title: Orbit equivalence of higher-rank graphs

abstract: We study the notions of continuous orbit equivalence and eventual one-sided conjugacy of finitely-aligned higher-rank graphs and two-sided conjugacy of row-finite higher-rank graphs with finitely many vertices and no sinks or sources. We show that there is a continuous orbit equivalence between two finitely-aligned higher-rank graphs that preserves the periodicity of boundary paths if and only if the boundary path groupoids are isomorphic, and characterise continuous orbit equivalence, eventual one-sided conjugacy, and two-sided conjugacy of higher-rank graphs in terms of the $C^*$-algebras and the Kumjian-Pask algebras of the higher-rank graphs.


title: Dynamical symmetry breaking, magnetization and induced charge in graphene: Interplay between magnetic and pseudomagnetic fields

abstract: In this paper, we investigate the two competing effects of strains and magnetic fields in single-layer graphene to explore its impact on various phenomena of quantum field theory, such as induced charge density, magnetic catalysis, symmetry breaking, dynamical mass generation and magnetization. We show that the interplay between strains and magnetic fields produces not only a breaking of chiral symmetry, as it happens in QED$_{2+1}$, but also parity and time-reversal symmetry breaking. The last two symmetry breakings are related to the dynamical generation of a Haldane mass term. We find that it is possible to modify the magnetization and the dynamical mass independently for each valley, by strain and varying the external magnetic field. Furthermore, we discover that the presence of a non-zero pseudomagnetic field, unlike the magnetic one, allows us to observe an induced "vacuum" charge and a parity anomaly in strained graphene. Finally, because the combined effect of real and pseudomagnetic fields produces an induced valley polarization, the results presented here may provide new tools to design valleytronic devices.


title: On the Computation and Applications of Large Dense Partial Correlation Networks

abstract: While sparse inverse covariance matrices are very popular for modeling network connectivity, the value of the dense solution is often overlooked. In fact the L2-regularized solution has deep connections to a number of important applications to spectral graph theory, dimensionality reduction, and uncertainty quantification. We derive an approach to directly compute the partial correlations based on concepts from inverse problem theory. This approach also leads to new insights on open problems such as model selection and data preprocessing, as well as new approaches which relate the above application areas.


title: Knowledge Graph Development for App Store Data Modeling

abstract: Usage of mobile applications has become a part of our lives today, since every day we use our smartphones for communication, entertainment, business and education. High demand on apps has led to significant growth of supply, yet large offer has caused complications in users search of the one suitable application. The authors have made an attempt to solve the problem of facilitating the search in app stores. With the help of a website crawling software a sample of data was retrieved from one of the well-known mobile app stores and divided into 11 groups by types. These groups of data were used to construct a Knowledge Schema - a graphic model of interconnections of data that characterize any mobile app in the selected store. Schema creation is the first step in the process of developing a Knowledge Graph that will perform applications clustering to facilitate users search in app stores.


title: Gaussian regularization for resonant states: open and dispersive optical systems

abstract: Resonant States (RS), also known as Quasi-Normal Modes (QNMs), are eigenstates that arise in spectral expansions of linear response functions of open systems. Manipulation of these spatially `divergent' oscillating functions requires a departure from the usual definitions of inner product, normalization and orthogonality typically encountered in the studies of closed systems. We show that once RS fields are expanded on a multipole basis, Gaussian regularization methods provide \emph{analytical} results for crucial RS inner product integrals \added{in the problematic region exterior to the scattering system}. Our demonstrations are carried out in the context of light scattering by spatially bounded objects composed of both electrically and magnetically dispersive media, with demonstrative analytic calculations being shown to \emph{completely} retrieve the results of exact Mie theory.


title: Spin Photonics in 3D Whispering Gallery Mode Resonators

abstract: Whispering gallery modes are known for having orbital angular momentum, however the interplay of local spin density, orbital angular momentum, and the near-field interaction with quantum emitters is much less explored. Here, we study the spin-orbital interaction of a circularly polarized dipole with the whispering gallery modes (WGMs) of a spherical resonator. Using an exact dyadic Green's function approach, we show that the near-field interaction between the photonic spin of a circularly polarized dipole and the local spin density of whispering gallery modes gives rise to unidirectional behaviour where modes with either positive or negative orbital angular momentum are excited. We show that this is a manifestation of spin-momentum locking using the whispering gallery modes of the spherical resonator. We discuss the requirements for possible experimental demonstrations using Zeeman transitions in cold atoms or quantum dots, and outline potential applications of these previously overlooked properties. Our work firmly establishes local spin density, momentum and decay as a universal right-handed electromagnetic triplet for evanescent waves.


title: Combined Neyman-Pearson Chi-square: An Improved Approximation to the Poisson-likelihood Chi-square

abstract: We describe an approximation to the widely-used Poisson-likelihood chi-square using a linear combination of Neyman's and Pearson's chi-squares, namely "combined Neyman-Pearson chi-square" ($\chi^2_{\mathrm{CNP}}$). Through analytical derivations and toy model simulations, we show that $\chi^2_\mathrm{CNP}$ leads to a significantly smaller bias on the best-fit model parameters compared to those using either Neyman's or Pearson's chi-square. When the computational cost of using the Poisson-likelihood chi-square is high, $\chi^2_\mathrm{CNP}$ provides a good alternative given its natural connection to the covariance matrix formalism.


title: Long-Period Giant Companions to Three Compact, Multiplanet Systems

abstract: Understanding the relationship between long-period giant planets and multiple smaller short-period planets is critical for formulating a complete picture of planet formation. This work characterizes three such systems. We present Kepler-65, a system with an eccentric (e=0.28+/-0.07) giant planet companion discovered via radial velocities (RVs) exterior to a compact, multiply-transiting system of sub-Neptune planets. We also use precision RVs to improve mass and radius constraints on two other systems with similar architectures, Kepler-25 and Kepler-68. In Kepler-68 we propose a second exterior giant planet candidate. Finally, we consider the implications of these systems for planet formation models, particularly that the moderate eccentricity in Kepler-65's exterior giant planet did not disrupt its inner system.


title: Topology of moduli spaces of tropical curves with marked points

abstract: We study a space of genus $g$ stable, $n$-marked tropical curves with total edge length $1$. Its rational homology is identified both with top-weight cohomology of the complex moduli space $M_{g,n}$ and with the homology of a marked version of Kontsevich's graph complex, up to a shift in degrees. We prove a contractibility criterion that applies to various large subspaces. From this we derive a description of the homotopy type of the tropical moduli space for $g = 1$, the top weight cohomology of $M_{1,n}$ as an $S_n$-representation, and additional calculations for small $(g,n)$. We also deduce a vanishing theorem for homology of marked graph complexes from vanishing of cohomology of $M_{g,n}$ in appropriate degrees, and comment on stability phenomena, or lack thereof.


title: The perturbative QCD predictions for the decay B^{0}_{s}\rightarrow SS(a_{0}(980),f_{0}(980),f_{0}(500))

abstract: In this work, we calculate the branching ratios and CP violations of the B^{0}_{s}\rightarrow a_{0}(980)a_{0}(980) decay modes with both charged and neutral a_{0}(980) mesons and B^{0}_{s}\rightarrow f_{0}(980)(f_{0}(500))f_{0}(980)(f_{0}(500)) for the first time in the pQCD approach. Considering the recent observation of the BESIII collaboration that provide a direct information about the constituent two-quark components in the corresponding a_{0}(980) wave functions, we regard the scalar mesons a_{0}(980), f_{0}(980) and f_{0}(500) as the q\bar{q} quark component in our present work, and then make predictions of these decay modes. The branching ratios of our calculations are at the order of the 10^{-4}\sim10^{-6} when we consider the mixing scheme. We also calculate the CP violation parameters of these decay modes. The relatively large branching ratios make it easily to be tested by the running LHC-b experiments, and it can help us to understand both the inner properties and the QCD behavior of the scalar meson.


title: Weighted Mean Curvature

abstract: In image processing tasks, spatial priors are essential for robust computations, regularization, algorithmic design and Bayesian inference. In this paper, we introduce weighted mean curvature (WMC) as a novel image prior and present an efficient computation scheme for its discretization in practical image processing applications. We first demonstrate the favorable properties of WMC, such as sampling invariance, scale invariance, and contrast invariance with Gaussian noise model; and we show the relation of WMC to area regularization. We further propose an efficient computation scheme for discretized WMC, which is demonstrated herein to process over 33.2 giga-pixels/second on GPU. This scheme yields itself to a convolutional neural network representation. Finally, WMC is evaluated on synthetic and real images, showing its superiority quantitatively to total-variation and mean curvature.


title: Learning-Based Animation of Clothing for Virtual Try-On

abstract: This paper presents a learning-based clothing animation method for highly efficient virtual try-on simulation. Given a garment, we preprocess a rich database of physically-based dressed character simulations, for multiple body shapes and animations. Then, using this database, we train a learning-based model of cloth drape and wrinkles, as a function of body shape and dynamics. We propose a model that separates global garment fit, due to body shape, from local garment wrinkles, due to both pose dynamics and body shape. We use a recurrent neural network to regress garment wrinkles, and we achieve highly plausible nonlinear effects, in contrast to the blending artifacts suffered by previous methods. At runtime, dynamic virtual try-on animations are produced in just a few milliseconds for garments with thousands of triangles. We show qualitative and quantitative analysis of results


title: A-Foliations of codimension two on compact simply-connected manifolds

abstract: We show that a singular Riemannian foliation of codimension two on a compact simply-connected Riemannian $(n+2)$-manifold, with regular leaves homeomorphic to the $n$-torus, is given by a smooth effective $n$-torus action. This solves in the negative for the codimension $2$ case a question about the existence of foliations by exotic tori on simply-connected manifolds.


title: A limit distribution for a quantum walk driven by a five-diagonal unitary matrix

abstract: In this paper, we work on a quantum walk whose system is manipulated by a five-diagonal unitary matrix, and present long-time limit distributions. The quantum walk launches off a location and delocalizes in distribution as its system is getting updated. The five-diagonal matrix contains a phase term and the quantum walk becomes a standard coined walk when the phase term is fixed at special values. Or, the phase term gives an effect on the quantum walk. As a result, we will see an explicit form of a long-time limit distribution for a quantum walk driven by the matrix, and thanks to the exact form, we understand how the quantum walker approximately distributes in space after the long-time evolution has been executed on the walk.


title: Robust superpixels using color and contour features along linear path

abstract: Superpixel decomposition methods are widely used in computer vision and image processing applications. By grouping homogeneous pixels, the accuracy can be increased and the decrease of the number of elements to process can drastically reduce the computational burden. For most superpixel methods, a trade-off is computed between 1) color homogeneity, 2) adherence to the image contours and 3) shape regularity of the decomposition. In this paper, we propose a framework that jointly enforces all these aspects and provides accurate and regular Superpixels with Contour Adherence using Linear Path (SCALP). During the decomposition, we propose to consider color features along the linear path between the pixel and the corresponding superpixel barycenter. A contour prior is also used to prevent the crossing of image boundaries when associating a pixel to a superpixel. Finally, in order to improve the decomposition accuracy and the robustness to noise, we propose to integrate the pixel neighborhood information, while preserving the same computational complexity. SCALP is extensively evaluated on standard segmentation dataset, and the obtained results outperform the ones of the state-of-the-art methods. SCALP is also extended for supervoxel decomposition on MRI images.


title: Sensing Micro-colloid Concentration by Spectral Impedance Measurements and Relaxation Times Analysis

abstract: This paper presents an attractive method towards sensing and quantifying the concentration of dielectric particles suspended in a highly conductive medium. Fast electrical impedance spectroscopy (EIS) measurements were performed, based on an electrochemical setup and a non-parametric unbiased estimator. The impedance data are then mapped from the frequency domain to a time constant domain via the distribution of relaxation times (DRT) model. It is shown that application of DRT can systematically give a distribution function which is directly related with the concentration of micro-colloid samples. As a result, the samples were characterized by high sensitivity and resolution.


title: Older Adults and Voice Interaction: A Pilot Study with Google Home

abstract: In this paper we present the results of an exploratory study examining the potential of voice assistants (VA) for some groups of older adults in the context of Smart Home Technology (SHT). To research the aspect of older adults' interaction with voice user interfaces (VUI) we organized two workshops and gathered insights concerning possible benefits and barriers to the use of VA combined with SHT by older adults. Apart from evaluating the participants' interaction with the devices during the two workshops we also discuss some improvements to the VA interaction paradigm.


title: On the Complexity of the k-Level in Arrangements of Pseudoplanes

abstract: A classical open problem in combinatorial geometry is to obtain tight asymptotic bounds on the maximum number of k-level vertices in an arrangement of n hyperplanes in d dimensions (vertices with exactly k of the hyperplanes passing below them). This is a dual version of the k-set problem, which, in a primal setting, seeks bounds for the maximum number of k-sets determined by n points in d dimensions, where a k-set is a subset of size k that can be separated from its complement by a hyperplane. The k-set problem is still wide open even in the plane, with a substantial gap between the best known upper and lower bounds. The gap gets larger as the dimension grows. In three dimensions, the best known upper bound is O(nk^(3/2)). In its dual version, the problem can be generalized by replacing hyperplanes by other families of surfaces (or curves in the planes). Reasonably sharp bounds have been obtained for curves in the plane, but the known upper bounds are rather weak for more general surfaces, already in three dimensions, except for the case of triangles. The best known general bound, due to Chan is O(n^2.997), for families of surfaces that satisfy certain (fairly weak) properties. In this paper we consider the case of pseudoplanes in 3 dimensions (defined in detail in the introduction), and establish the upper bound O(nk^(5/3)) for the number of k-level vertices in an arrangement of n pseudoplanes. The bound is obtained by establishing suitable (and nontrivial) extensions of dual versions of classical tools that have been used in studying the primal k-set problem, such as the Lova'sz Lemma and the Crossing Lemma.


title: A review of the variational methods for solving DC circuits

abstract: Direct current (DC) circuits are usually taught in upper-level physics curricula, and Kirchhoff's laws are stated and used to solve the steady-state currents. However, students are not often introduced to alternative techniques, such as variational principles, for solving circuits. Many authors have tried to derive the steady-state distribution of currents in circuits from variational principles, and the initial attempts were carried out by great physicists, such as Kirchhoff, Maxwell and Feynman. In this article, we shall review such variational principles in physics and illustrate how they can be used to solve DC circuits. We will also explore how they are related, in a fundamental way, to the entropy production principles of irreversible thermodynamics. We believe that the introduction of variational alternatives for solving circuits can be a good opportunity for the instructor to present the techniques of the calculus of variations and irreversible thermodynamics to students.


title: Model-Free Model Reconciliation

abstract: Designing agents capable of explaining complex sequential decisions remain a significant open problem in automated decision-making. Recently, there has been a lot of interest in developing approaches for generating such explanations for various decision-making paradigms. One such approach has been the idea of {\em explanation as model-reconciliation}. The framework hypothesizes that one of the common reasons for the user's confusion could be the mismatch between the user's model of the task and the one used by the system to generate the decisions. While this is a general framework, most works that have been explicitly built on this explanatory philosophy have focused on settings where the model of user's knowledge is available in a declarative form. Our goal in this paper is to adapt the model reconciliation approach to the cases where such user models are no longer explicitly provided. We present a simple and easy to learn labeling model that can help an explainer decide what information could help achieve model reconciliation between the user and the agent.


title: A new analytical expression for calculation of the Coulomb potential in spherical nuclei

abstract: A lot of problems of atomic and nuclear physics depend on with high accuracy to the Coulomb potential. Therefore, it is very important to carefully and accurately calculate the Coulomb potential. In this study, a new analytical expression was obtained for calculating the Coulomb potential by choosing the Fermi distribution function, which is suitable for charge distribution in nuclei. The proposed formula guarantees an accurate and simple calculation of the Coulomb potential of nuclei. Using the analytical expression obtained, the Coulomb potentials for several spherical nuclei were calculated for all values of the parameters. It is shown that the results obtained for arbitrary values of the radius are consistent with the literature data. In this study, the accepted values in literature of the two parameters (Coulomb radius R_c and diffuseness parameter a_c) which are important for the coulomb potential are also discussed.


title: Rare events for Cantor target sets

abstract: We study the existence of limiting laws of rare events corresponding to the entrance of the orbits on certain target sets in the phase space. The limiting laws are obtained when the target sets shrink to a Cantor set of zero Lebesgue measure. We consider both the presence and absence of clustering, which is detected by the Extremal Index, which turns out to be very useful to identify the compatibility between the dynamics and the fractal structure of the limiting Cantor set. The computation of the Extremal Index is connected to the box dimension of the intersection between the Cantor set and its iterates.


title: Implications of Kunita-It\^o-Wentzell formula for $k$-forms in stochastic fluid dynamics

abstract: We extend the It\^o-Wentzell formula for the evolution of a time-dependent stochastic field along a semimartingale to $k$-form-valued stochastic processes. The result is the Kunita-It\^o-Wentzell (KIW) formula for $k$-forms. We also establish a correspondence between the KIW formula for $k$-forms derived here and a certain class of stochastic fluid dynamics models which preserve the geometric structure of deterministic ideal fluid dynamics. This geometric structure includes Eulerian and Lagrangian variational principles, Lie--Poisson Hamiltonian formulations and natural analogues of the Kelvin circulation theorem, all derived in the stochastic setting.


title: Bounded deformations of $(\epsilon,\delta)$-log canonical singularities

abstract: In this paper we study $(\epsilon,\delta)$-lc singularites, i.e. $\epsilon$-lc singularities admitting a $\delta$-plt blow-up. We prove that $n$-dimensional $(\epsilon,\delta)$-lc singularities are bounded up to a deformation, and $2$-dimensional $(\epsilon,\delta)$-lc singularities form a bounded family. Furthermore, we give an example which shows that $(\epsilon,\delta)$-lc singularities are not bounded in higher dimensions, even in the analytic sense.


title: Graph Immersions, Inverse Monoids, and Deck Transformations

abstract: If $f : \tilde{\Gamma} \rightarrow \Gamma$ is a covering map between connected graphs, and $H$ is the subgroup of $\pi_1(\Gamma,v)$ used to construct the cover, then it is well known that the group of deck transformations of the cover is isomorphic to $ N(H)/H$, where $N(H)$ is the normalizer of $H$ in $\pi_1(\Gamma,v)$. We show that an entirely analogous result holds for immersions between connected graphs, where the subgroup $H$ is replaced by the closed inverse submonoid of the inverse monoid $L(\Gamma,v)$ used to construct the immersion. We observe a relationship between group actions on graphs and deck transformations of graph immersions. We also show that a graph immersion $f : \tilde{\Gamma} \rightarrow \Gamma$ may be extended to a cover $g : \tilde{\Delta} \rightarrow \Gamma$ in such a way that all deck transformations of $f$ are restrictions of deck transformations of $g$.


title: Destruction of dimethyl ether and methyl formate by collisions with He$^+$

abstract: To correctly model the abundances of interstellar complex organic molecules (iCOMS) in different environments, both formation and destruction routes should be appropriately accounted for. While several scenarios have been explored for the formation of iCOMs via grain and gas-phase processes, much less work has been devoted to understanding the relevant destruction pathways, with special reference to (dissociative) charge exchange or proton transfer reactions with abundant atomic and molecular ions such as He$^+$, H$_3^+$ and HCO$^+$. By using a combined experimental and theoretical methodology we provide new values for the rate coefficients and branching ratios (BRs) of the reactions of He$^+$ ions with two important iCOMs, namely dimethyl ether (DME) and methyl formate (MF). We also review the destruction routes of DME and MF by other two abundant ions, namely H$_3^+$ and HCO$^+$. Based on our recent laboratory measurements of cross sections and BRs for the DME/MF + He$^+$ reactions over a wide collision energy range, we extend our theoretical insights on the selectivity of the microscopic dynamics to calculate the rate coefficients $k(T)$ in the temperature range from 10 to 298 K. We implement these new and revised kinetic data in a general model of cold and warm gas, simulating environments where DME and MF have been detected. Due to stereodynamical effects present at low collision energies, the rate coefficients, BRs and temperature dependences here proposed differ substantially from those reported in KIDA and UDfA, two of the most widely used astrochemical databases. These revised rates impact the predicted abundances of DME and MF, with variations up to 40% in cold gases and physical conditions similar to those present in prestellar cores


title: Observational constraint on the radius and oblateness of the lunar core-mantle boundary

abstract: Lunar laser ranging (LLR) data and Apollo seismic data analyses, revealed independent evidence for the presence of a fluid lunar core. However, the size of the lunar fluid core remained uncertain by $\pm55$ km (encompassing two contrasting 2011 Apollo seismic data analyses). Here we show that a new description of the lunar interior's dynamical model provides a determination of the radius and geometry of the lunar core-mantle boundary (CMB) from the LLR observations. We compare the present-day lunar core oblateness obtained from LLR analysis with the expected hydrostatic model values, over a range of previously expected CMB radii. The findings suggest a core oblateness ($f_c=(2.2\pm0.6)\times10^{-4}$) that satisfies the assumption of hydrostatic equilibrium over a tight range of lunar CMB radii ($\mathcal{R}_{CMB}=381\pm12$ km). Our estimates of a presently-relaxed lunar CMB translates to a core mass fraction in the range of $1.59-1.77\%$ with a present-day Free Core Nutation (FCN) within $(367\pm100)$ years.


title: Finite subgroups of the birational automorphism group are `almost' nilpotent

abstract: We call a group $G$ nilpotently Jordan of class at most $c$ $(c\in\mathbb{N})$ if there exists a constant $J\in\mathbb{Z}^+$ such that every finite subgroup $H\leqq G$ contains a nilpotent subgroup $K\leqq H$ of class at most $c$ and index at most $J$. We show that the birational automorphism group of a $d$ dimensional variety over a field of characteristic zero is nilpotently Jordan of class at most $d$.


title: The boundary behaviour of $K$-quasiconformal harmonic mappings

abstract: In this article, we first discuss the Lipschitz characteristic and the linear measure distortion of $K$-quasiconformal harmonic mappings. Then we give some characterizations of the radial John disks with the help of Pre-Schwarzian of harmonic mappings.


title: Robust Inference via Multiplier Bootstrap

abstract: This paper investigates the theoretical underpinnings of two fundamental statistical inference problems, the construction of confidence sets and large-scale simultaneous hypothesis testing, in the presence of heavy-tailed data. With heavy-tailed observation noise, finite sample properties of the least squares-based methods, typified by the sample mean, are suboptimal both theoretically and empirically. In this paper, we demonstrate that the adaptive Huber regression, integrated with the multiplier bootstrap procedure, provides a useful robust alternative to the method of least squares. Our theoretical and empirical results reveal the effectiveness of the proposed method, and highlight the importance of having inference methods that are robust to heavy tailedness.


title: AttoNets: Compact and Efficient Deep Neural Networks for the Edge via Human-Machine Collaborative Design

abstract: While deep neural networks have achieved state-of-the-art performance across a large number of complex tasks, it remains a big challenge to deploy such networks for practical, on-device edge scenarios such as on mobile devices, consumer devices, drones, and vehicles. In this study, we take a deeper exploration into a human-machine collaborative design approach for creating highly efficient deep neural networks through a synergy between principled network design prototyping and machine-driven design exploration. The efficacy of human-machine collaborative design is demonstrated through the creation of AttoNets, a family of highly efficient deep neural networks for on-device edge deep learning. Each AttoNet possesses a human-specified network-level macro-architecture comprising of custom modules with unique machine-designed module-level macro-architecture and micro-architecture designs, all driven by human-specified design requirements. Experimental results for the task of object recognition showed that the AttoNets created via human-machine collaborative design has significantly fewer parameters and computational costs than state-of-the-art networks designed for efficiency while achieving noticeably higher accuracy (with the smallest AttoNet achieving ~1.8% higher accuracy while requiring ~10x fewer multiply-add operations and parameters than MobileNet-V1). Furthermore, the efficacy of the AttoNets is demonstrated for the task of instance-level object segmentation and object detection, where an AttoNet-based Mask R-CNN network was constructed with significantly fewer parameters and computational costs (~5x fewer multiply-add operations and ~2x fewer parameters) than a ResNet-50 based Mask R-CNN network.


title: A kinetic approach to active rod dynamics in confined domains

abstract: The study of active matter consisting of many self-propelled (active) swimmers in an imposed flow is important for many applications. Self-propelled swimmers may represent both living and artificial ones such as bacteria and chemically driven bi-metallic nano-particles. In this work we focus on a kinetic description of active matter represented by self-propelled rods swimming in a viscous fluid confined by a wall. It is well-known that walls may significantly affect the trajectories of active rods in contrast to unbounded or periodic containers. Among such effects are accumulation at walls and upstream motion (also known as negative rheotaxis). Our first main result is the rigorous derivation of boundary conditions for the active rods' probability distribution function in the limit of vanishing inertia. Finding such a limit is important due to (i) the fact that in many examples of active matter inertia is negligible, since swimming occurs in a low Reynolds number regime, and (ii) this limit allows us to reduce the dimension - and so computational complexity - of the kinetic description. For the resulting model, we derive the system in the limit of vanishing translational diffusion which is also typically negligible for active particles. This system allows for tracking separately active particles accumulated at walls and active particles swimming in the bulk of the fluid.


title: Constructing $A_\infty$-categories of matrix factorisations

abstract: We study constructive $A_\infty$-models of the DG-category of matrix factorisations of a potential over a commutative $\mathbb{Q}$-algebra $k$, consisting of a Hom-finite $A_\infty$-category equipped with an $A_\infty$-idempotent functor.


title: Large deviations of the range of the planar random walk on the scale of the mean

abstract: We show an upper large deviation bound on the scale of the mean for a symmetric random walk in the plane with finite sixth moment. This result complements the study of Van den Berg, Bolthausen and Den Hollander, where the continuum case of the Wiener Sausage is studied, and in Phetpradap, in which one is restricted to dimension three and higher.


title: Specification and Inference of Trace Refinement Relations

abstract: Modern software is constantly changing. Researchers and practitioners are increasingly aware that verification tools can be impactful if they embrace change through analyses that are compositional and span program versions. Reasoning about similarities and differences between programs goes back to Benton, who introduced state-based refinement relations, which were extended by Yang and others. However, to our knowledge, refinement relations have not been explored for traces. We present a novel theory that allows one to perform compositional reasoning about the similarities/differences between how fragments of two different programs behave over time through the use of what we call trace-refinement relations. We take a reactive view of programs and found Kleene Algebra with Tests (KAT) [Kozen] to be a natural choice to describe traces since it permits algebraic reasoning and has built-in composition. Our theory involves a two-step semantic abstraction from programs to KAT, and then our trace refinement relations correlate behaviors by (i) categorizing program behaviors into trace classes through KAT intersection and (ii) correlating atomic events/conditions across programs with KAT hypotheses. We next describe a synthesis algorithm that iteratively constructs trace-refinement relations between two programs by exploring sub-partitions of their traces, iteratively abstracting them as KAT expressions, discovering relationships through a custom edit-distance algorithm, and applying strategies (i) and (ii) above. We have implemented this algorithm as {\sc knotical}, the first tool capable of synthesizing trace-refinement relations. It built from the ground up in Ocaml, using InterProc and SymKAT. We have demonstrated that useful relations can be efficiently generated across a suite of 37 benchmarks that include changing fragments of array programs, systems code, and web servers.


title: A Control Lyapunov Perspective on Episodic Learning via Projection to State Stability

abstract: The goal of this paper is to understand the impact of learning on control synthesis from a Lyapunov function perspective. In particular, rather than consider uncertainties in the full system dynamics, we employ Control Lyapunov Functions (CLFs) as low-dimensional projections. To understand and characterize the uncertainty that these projected dynamics introduce in the system, we introduce a new notion: Projection to State Stability (PSS). PSS can be viewed as a variant of Input to State Stability defined on projected dynamics, and enables characterizing robustness of a CLF with respect to the data used to learn system uncertainties. We use PSS to bound uncertainty in affine control, and demonstrate that a practical episodic learning approach can use PSS to characterize uncertainty in the CLF for robust control synthesis.


title: Analytic Continuation for Multiple Zeta Values using Symbolic Representations

abstract: We introduce a symbolic representation of $r$-fold harmonic sums at negative indices. This representation allows us to recover and extend some recent results by Duchamp et al., such as recurrence relations and generating functions for these sums. This approach is also applied to the study of the family of extended Bernoulli polynomials, which appear in the computation of harmonic sums at negative indices. It also allows us to reinterpret the Raabe analytic continuation of the multiple zeta function as both a constant term extension of Faulhaber's formula, and as the result of a natural renormalization procedure for Faulhaber's formula.


title: Graph manifolds as ends of negatively curved Riemannian manifolds

abstract: Let $M$ be a graph manifold such that each piece of its JSJ decomposition has the $\Bbb H^2 \times \Bbb R$ geometry. Assume that the pieces are glued by isometries. Then, there exists a complete Riemannian metric on $\Bbb R \times M$ which is an "eventually warped cusp metric" with the sectional curvature $K$ satisfying $-1 \le K <0$. A theorem by Ontaneda then implies that $M$ appears as an end of a 4-dimensional, complete, non-compact Riemannian manifold of finite volume with sectional curvature $K$ satisfying $-1 \le K <0$.


title: Parametric schedulability analysis of a launcher flight control system under reactivity constraints

abstract: The next generation of space systems will have to achieve more and more complex missions. In order to master the development cost and duration of such systems, an alternative to a manual design is to automatically synthesize the main parameters of the system. In this paper, we present an approach on the specific case of the scheduling of the flight control of a space launcher. The approach requires two successive steps: (1) the formalization of the problem to be solved in a parametric formal model and (2) the synthesis of the model parameters with a tool. We first describe the problematic of the scheduling of a launcher flight control, then we show how this problematic can be formalized with parametric stopwatch automata; we then present the results computed by IMITATOR. We compare the results to the ones obtained by other tools classically used in scheduling.


title: Modelling Career Trajectories of Cricket Players Using Gaussian Processes

abstract: In the sport of cricket, variations in a player's batting ability can usually be measured on one of two scales. Short-term changes in ability that are observed during a single innings, and long-term changes that are witnessed between matches, over entire playing careers. To measure long-term variations, we derive a Bayesian parametric model that uses a Gaussian process to measure and predict how the batting abilities of international cricketers fluctuate between innings. The model is fitted using nested sampling given its high dimensionality and for ease of model comparison. Generally speaking, the results support an anecdotal description of a typical sporting career. Young players tend to begin their careers with some raw ability, which improves over time as a result of coaching, experience and other external circumstances. Eventually, players reach the peak of their career, after which ability tends to decline. The model provides more accurate quantifications of current and future player batting abilities than traditional cricketing statistics, such as the batting average. The results allow us to identify which players are improving or deteriorating in terms of batting ability, which has practical implications in terms of player comparison, talent identification and team selection policy.


title: Automatically applying a credibility appraisal tool to track vaccination-related communications shared on social media

abstract: Background: Tools used to appraise the credibility of health information are time-consuming to apply and require context-specific expertise, limiting their use for quickly identifying and mitigating the spread of misinformation as it emerges. Our aim was to estimate the proportion of vaccination-related posts on Twitter are likely to be misinformation, and how unevenly exposure to misinformation was distributed among Twitter users. Methods: Sampling from 144,878 vaccination-related web pages shared on Twitter between January 2017 and March 2018, we used a seven-point checklist adapted from two validated tools to appraise the credibility of a small subset of 474. These were used to train several classifiers (random forest, support vector machines, and a recurrent neural network with transfer learning), using the text from a web page to predict whether the information satisfies each of the seven criteria. Results: Applying the best performing classifier to the 144,878 web pages, we found that 14.4% of relevant posts to text-based communications were linked to webpages of low credibility and made up 9.2% of all potential vaccination-related exposures. However, the 100 most popular links to misinformation were potentially seen by between 2 million and 80 million Twitter users, and for a substantial sub-population of Twitter users engaging with vaccination-related information, links to misinformation appear to dominate the vaccination-related information to which they were exposed. Conclusions: We proposed a new method for automatically appraising the credibility of webpages based on a combination of validated checklist tools. The results suggest that an automatic credibility appraisal tool can be used to find populations at higher risk of exposure to misinformation or applied proactively to add friction to the sharing of low credibility vaccination information.


title: Adaptive Strategies For Efficient Model Reduction In High-Dimensional Inverse Problems

abstract: This work explores a novel approach for adaptive, differentiable parametrization of large-scale non-stationary random fields. Coupled with any gradient-based algorithm, the method can be applied to variety of optimization problems, including history matching. The developed technique is based on principal component analysis (PCA), but, in contrast to other PCA-based methods, allows to amend parametrization process regarding objective function behaviour.


title: Multidimensional ground reaction forces and moments from wearable sensor accelerations via deep learning

abstract: Monitoring athlete internal workload exposure, including prevention of catastrophic non-contact knee injuries, relies on the existence of a custom early-warning detection system. This system must be able to estimate accurate, reliable, and valid musculoskeletal joint loads, for sporting maneuvers in near real-time and during match play. However, current methods are constrained to laboratory instrumentation, are labor and cost intensive, and require highly trained specialist knowledge, thereby limiting their ecological validity and wider deployment. An informative next step towards this goal would be a new method to obtain ground kinetics in the field. Here we show that kinematic data obtained from wearable sensor accelerometers, in lieu of embedded force platforms, can leverage recent supervised learning techniques to predict near real-time multidimensional ground reaction forces and moments (GRF/M). Competing convolutional neural network (CNN) deep learning models were trained using laboratory-derived stance phase GRF/M data and simulated sensor accelerations for running and sidestepping maneuvers derived from nearly half a million legacy motion trials. Then, predictions were made from each model driven by five sensor accelerations recorded during independent inter-laboratory data capture sessions. The proposed deep learning workbench achieved correlations to ground truth, by maximum discrete GRF component, of vertical Fz 0.97, anterior Fy 0.96 (both running), and lateral Fx 0.87 (sidestepping), with the strongest mean recorded across GRF components 0.89, and for GRM 0.65 (both sidestepping). These best-case correlations indicate the plausibility of the approach although the range of results was disappointing. The goal to accurately estimate near real-time on-field GRF/M will be improved by the lessons learned in this study [truncated].


title: Market Making under a Weakly Consistent Limit Order Book Model

abstract: We develop a new market-making model, from the ground up, which is tailored towards high-frequency trading under a limit order book (LOB), based on the well-known classification of order types in market microstructure. Our flexible framework allows arbitrary order volume, price jump, and bid-ask spread distributions as well as the use of market orders. It also honors the consistency of price movements upon arrivals of different order types. For example, it is apparent that prices should never go down on buy market orders. In addition, it respects the price-time priority of LOB. In contrast to the approach of regular control on diffusion as in the classical Avellaneda and Stoikov [1] market-making framework, we exploit the techniques of optimal switching and impulse control on marked point processes, which have proven to be very effective in modeling the order-book features. The Hamilton-Jacobi-Bellman quasi-variational inequality (HJBQVI) associated with the control problem can be solved numerically via finite-difference method. We illustrate our optimal trading strategy with a full numerical analysis, calibrated to the order-book statistics of a popular Exchanged-Traded Fund (ETF). Our simulation shows that the profit of market-making can be severely overstated under LOBs with inconsistent price movements.


title: Theory of spin transport through antiferromagnetic insulator

abstract: A theoretical formulation for spin transport through an antiferromagnetic (AF) insulator is presented in the case driven/detected by direct/inverse spin Hall effect in two heavy metal contacts. The spin signal is shown to be transferred by the ferromagnetic correlation function of the antiferromagnet, which is calculated based on a magnon representation. To cover high temperature regimes, we include an auxiliary field representing short AF correlations and a temperature-dependent damping due to magnon scattering. The diffusion length for spin is long close to the degeneracy of the two AF magnons, and has a maximum as function of temperature near the N\'eel transition.


title: An End-to-End Joint Unsupervised Learning of Deep Model and Pseudo-Classes for Remote Sensing Scene Representation

abstract: This work develops a novel end-to-end deep unsupervised learning method based on convolutional neural network (CNN) with pseudo-classes for remote sensing scene representation. First, we introduce center points as the centers of the pseudo classes and the training samples can be allocated with pseudo labels based on the center points. Therefore, the CNN model, which is used to extract features from the scenes, can be trained supervised with the pseudo labels. Moreover, a pseudo-center loss is developed to decrease the variance between the samples and the corresponding pseudo center point. The pseudo-center loss is important since it can update both the center points with the training samples and the CNN model with the center points in the training process simultaneously. Finally, joint learning of the pseudo-center loss and the pseudo softmax loss which is formulated with the samples and the pseudo labels is developed for unsupervised remote sensing scene representation to obtain discriminative representations from the scenes. Experiments are conducted over two commonly used remote sensing scene datasets to validate the effectiveness of the proposed method and the experimental results show the superiority of the proposed method when compared with other state-of-the-art methods.


title: Class number relations arising from intersections of Shimura curves and Humbert surfaces

abstract: By considering the intersections of Shimura curves and Humbert surfaces on the Siegel modular threefold, we obtain new class number relations. The result is a higher-dimensional analogue of the classical Hurwitz-Kronecker class number relation.


title: A theory of average response to large jump perturbations

abstract: A key feature of the classical Fluctuation Dissipation theorem is its ability to approximate the average response of a dynamical system to a sufficiently small external perturbation from an appropriate time correlation function of the unperturbed dynamics of this system. In the present work, we examine the situation where the state of a nonlinear dynamical system is perturbed by a finitely large, instantaneous external perturbation (jump) -- for example, the Earth climate perturbed by an extinction level event. Such jump can be either deterministic or stochastic, and in the case of a stochastic jump its randomness can be spatial, or temporal, or both. We show that, even for large instantaneous jumps, the average response of the system can be expressed in the form of a suitable time correlation function of the corresponding unperturbed dynamics. For stochastic jumps, we consider two situations: one where a single spatially random jump of a system state occurs at a predetermined time, and another where jumps occur randomly in time with small space-time dependent statistical intensity. For all studied configurations, we compute the corresponding average response formulas in the form of suitable time correlation functions of the unperturbed dynamics. Some efficiently computable approximations are derived for practical modeling scenarios.


title: Counterpoint by Convolution

abstract: Machine learning models of music typically break up the task of composition into a chronological process, composing a piece of music in a single pass from beginning to end. On the contrary, human composers write music in a nonlinear fashion, scribbling motifs here and there, often revisiting choices previously made. In order to better approximate this process, we train a convolutional neural network to complete partial musical scores, and explore the use of blocked Gibbs sampling as an analogue to rewriting. Neither the model nor the generative procedure are tied to a particular causal direction of composition. Our model is an instance of orderless NADE (Uria et al., 2014), which allows more direct ancestral sampling. However, we find that Gibbs sampling greatly improves sample quality, which we demonstrate to be due to some conditional distributions being poorly modeled. Moreover, we show that even the cheap approximate blocked Gibbs procedure from Yao et al. (2014) yields better samples than ancestral sampling, based on both log-likelihood and human evaluation.


title: Optimal Rate of Convergence for Quasi-Stochastic Approximation

abstract: The Robbins-Monro stochastic approximation algorithm is a foundation of many algorithmic frameworks for reinforcement learning (RL), and often an efficient approach to solving (or approximating the solution to) complex optimal control problems. However, in many cases practitioners are unable to apply these techniques because of an inherent high variance. This paper aims to provide a general foundation for "quasi-stochastic approximation," in which all of the processes under consideration are deterministic, much like quasi-Monte-Carlo for variance reduction in simulation. The variance reduction can be substantial, subject to tuning of pertinent parameters in the algorithm. This paper introduces a new coupling argument to establish optimal rate of convergence provided the gain is sufficiently large. These results are established for linear models, and tested also in non-ideal settings. A major application of these general results is a new class of RL algorithms for deterministic state space models. In this setting, the main contribution is a class of algorithms for approximating the value function for a given policy, using a different policy designed to introduce exploration.


title: Sects and lattice paths over the Lagrangian Grassmannian

abstract: We examine Borel subgroup orbits in the classical symmetric space of type CI, which are parametrized by skew symmetric (n, n)-clans. We describe bijections between such clans, certain weighted lattice paths, and pattern-avoiding signed involutions, and we give a cell decomposition of the symmetric space in terms of collections of clans called sects. The largest sect with a conjectural closure order is isomorphic (as a poset) to the Bruhat order on partial involutions.


title: A Nonlinear Observer for Free-Floating Target Motion using only Pose Measurements

abstract: In this paper, we design a nonlinear observer to estimate the inertial pose and the velocity of a free-floating non-cooperative satellite (Target) using only relative pose measurements. In the context of control design for orbital robotic capture of such a non-cooperative Target, due to lack of navigational aids, only a relative pose estimate may be obtained from slow-sampled and noisy exteroceptive sensors. The velocity, however, cannot be measured directly. To address this problem, we develop a model-based observer which acts as an internal model for Target kinematics/dynamics and therefore, may act as a predictor during periods of no measurement. To this end, firstly, we formalize the estimation problem on the SE(3) Lie group with different state and measurement spaces. Secondly, we develop the kinematics and dynamics observer such that the overall observer error dynamics possesses a stability property. Finally, the proposed observer is validated through robust Monte-Carlo simulations and experiments on a robotic facility.


title: Mapping the Human Body at Cellular Resolution -- The NIH Common Fund Human BioMolecular Atlas Program

abstract: Transformative technologies are enabling the construction of three dimensional (3D) maps of tissues with unprecedented spatial and molecular resolution. Over the next seven years, the NIH Common Fund Human Biomolecular Atlas Program (HuBMAP) intends to develop a widely accessible framework for comprehensively mapping the human body at single-cell resolution by supporting technology development, data acquisition, and detailed spatial mapping. HuBMAP will integrate its efforts with other funding agencies, programs, consortia, and the biomedical research community at large towards the shared vision of a comprehensive, accessible 3D molecular and cellular atlas of the human body, in health and various disease settings.


title: The Distribution of Integral Points on the Wonderful Compactification by Height

abstract: We study the asymptotic distribution of S-integral points of bounded height on partial bi-equivariant compactifications of semi-simple groups of adjoint type.


title: Effects of Vanadium doping on BaFe2As2

abstract: We report an investigation of the structural, magnetic and electronic properties of Ba(Fe(1-x)V(x))2As2 using x-ray, transport, magnetic susceptibility and neutron scattering measurements. The vanadium substitutions in Fe sites are possible up to 40\%. Hall effect measurements indicate strong hole-doping effect through V doping, while no superconductivity is observed in all samples down to 2K. The antiferromagnetic and structural transition temperature of BaFe2As2 is gradually suppressed to finite temperature then vanishes at x=0.245 with the emergence of spin glass behavior, suggesting an avoided quantum critical point (QCP). Our results demonstrate that the avoided QCP and spin glass state which were previously reported in the superconducting phase of Co/Ni-doped BaFe2As2 can also be realized in non-superconducting Ba(Fe(1-x)V(x))2As2.


title: Toroidal states in $^{28}$Si with covariant density functional theory in 3D lattice space

abstract: The toroidal states in $^{28}$Si with spin extending to extremely high are investigated with the cranking covariant density functional theory on a 3D lattice. Thirteen toroidal states with spin $I$ ranging from 0 to 56$\hbar$ are obtained, and their stabilities against particle emissions are studied by analyzing the density distributions and potentials. The excitation energies of the toroidal states at $I=28$, 36, 44$\hbar$ reasonably reproduce the observed three resonances extracted from the 7-$\alpha$ de-excitation of $^{28}$Si. The $\alpha$ clustering of these toroidal states is supported by the $\alpha$-localization function.


title: Exact coherence dynamics mediated by a single cavity mode in the presence of leakage

abstract: We present a quantum-state-diffusion equation to characterize the dynamics of a generic atomic system coupled to a leaky cavity mode. As quantum resources, the population, the coherence and even the entanglement of the system would gradually leak out of the cavity. The effect from the leakage of the cavity-mode to the uncontrollable degree of freedom, e.g., environment, is however not always negative to particular targets. A well-established scenario is that a photon counter attached to the cavity would absorb and then record the leaking photon. As a medium between the system and the photon counter, a strong coupling between system and cavity is necessary to enhance the measurement efficiency. While we find it also reduce the reading efficiency of the photon counter at the same time as fewer photons leak out of the cavity. We investigate the competition between these two mechanisms in the framework of non-Markovian open-quantum-system dynamics, where the photon counter serves as a general bosonic environment. Our results provide an optimized parameter space for system entanglement preservation and generation.


title: Exact Support and Vector Recovery of Constrained Sparse Vectors via Constrained Matching Pursuit

abstract: Matching pursuit, especially its orthogonal version (OMP) and variations, is a greedy algorithm widely used in signal processing, compressed sensing, and sparse modeling. Inspired by constrained sparse signal recovery, this paper proposes a constrained matching pursuit algorithm and develops conditions for exact support and vector recovery on constraint sets via this algorithm. We show that exact recovery via constrained matching pursuit not only depends on a measurement matrix but also critically relies on a constraint set. We thus identify an important class of constraint sets, called coordinate projection admissible set, or simply CP admissible sets; analytic and geometric properties of these sets are established. We study exact vector recovery on convex, CP admissible cones for a fixed support. We provide sufficient exact recovery conditions for a general support as well as necessary and sufficient recovery conditions when a support has small size. As a byproduct, we construct a nontrivial counterexample to a renowned necessary condition of exact recovery via the OMP for a support of size three. Moreover, using the properties of convex CP admissible sets and convex optimization techniques, we establish sufficient conditions for uniform exact recovery on convex CP admissible sets in terms of the restricted isometry-like constant and the restricted orthogonality-like constant.


title: Orbital-selective bad metals due to Hund's rule and orbital anisotropy: a finite-temperature slave-spin treatment of the two-band Hubbard model

abstract: We study the finite-temperature properties of the half-filled two-band Hubbard model in the presence of Hund's rule coupling and orbital anisotropy. We use the mean-field treatment of the $Z_2$ slave-spin theory with a finite-temperature extension of the zero-temperature gauge variable previously developed by Hassan and de' Medici http://dx.doi.org/10.1103/PhysRevB.81.035106}{Phys. Rev. B {\bf 81}, 035106 (2010)}]. We consider the instability of the Fermi liquid phases and how it is enhanced by the Hund's rule. We identify paramagnetic solutions that have zero quasi-particle weight with bad metallic phases, and the first-order transition temperature between it and the Fermi liquid phase as a coherence temperature that signals the crossover to the bad metallic state. When orbital anisotropy is present, we found an intermediate transition to an orbital-selective bad metal (OSBM), where the narrow band becomes a bad metal while the wide band remains a renormalised Fermi liquid. The temperatures $T_\textrm{coh}$ and $T_\textrm{OSBM}$ at which the system transitions to the bad metal phases can be orders of magnitude less than the Fermi temperature associated with the non-interacting band. The parameter dependence of the temperature at which the OSBM is destroyed can be understood in terms of a ferromagnetic Kondo-Hubbard lattice model. In general, Hund's rule coupling enhances the bad metallic phases, reduce interorbital charge fluctuations and increase spin fluctuations. The qualitative difference found in the ground state whether the Hund's rule is present or not, related to the degeneracy of the low energy manifold, is also maintained for finite temperatures.


title: Robust Trajectory and Resource Allocation Design for Secure UAV-aided Communications

abstract: This paper aims to enhance the physical layer security against potential internal eavesdroppings by exploiting the maneuverability of an unmanned aerial vehicle (UAV). We consider a scenario where two receivers with different security clearance levels require to be served by a legitimate transmitter with the aid of the UAV. We jointly design the trajectory and resource allocation to maximize the accumulated system confidential data rate. The design is formulated as a mixed-integer non-convex optimization problem which takes into account the partial position information of a potential eavesdropper. To circumvent the problem non-convexity, a series of transformations and approximations are proposed which facilitates the design of a computationally efficient suboptimal solution. Simulation results are presented to provide important system design insights and demonstrate the advantages brought by the robust joint design for enhancing the physical layer security.


title: Small area estimation of general finite-population parameters based on grouped data

abstract: This paper proposes a new model-based approach to small area estimation of general finite-population parameters based on grouped data or frequency data, which is often available from sample surveys. Grouped data contains information on frequencies of some pre-specified groups in each area, for example the numbers of households in the income classes, and thus provides more detailed insight about small areas than area-level aggregated data. A direct application of the widely used small area methods, such as the Fay-Herriot model for area-level data and nested error regression model for unit-level data, is not appropriate since they are not designed for grouped data. The newly proposed method adopts the multinomial likelihood function for the grouped data. In order to connect the group probabilities of the multinomial likelihood and the auxiliary variables within the framework of small area estimation, we introduce the unobserved unit-level quantities of interest which follows the linear mixed model with the random intercepts and dispersions after some transformation. Then the probabilities that a unit belongs to the groups can be derived and are used to construct the likelihood function for the grouped data given the random effects. The unknown model parameters (hyperparameters) are estimated by a newly developed Monte Carlo EM algorithm using an efficient importance sampling. The empirical best predicts (empirical Bayes estimates) of small area parameters can be calculated by a simple Gibbs sampling algorithm. The numerical performance of the proposed method is illustrated based on the model-based and design-based simulations. In the application to the city level grouped income data of Japan, we complete the patchy maps of the Gini coefficient as well as mean income across the country.


title: The Science and Technology of FAST

abstract: This is the Editorial of Special Topic "The Science and Technology of FAST", published by SCPMA (Science China Physics, Mechanics & Astronomy).


title: Experimental Characterization of Ultrafast, Tunable and Broadband Optical Kerr Nonlinearity in Graphene

abstract: In this study we systematically measure the near-infrared spectral dependence, the sub-picosecond temporal evolution and pulse-width dependence of the effective Kerr coefficient ($n_{2,eff}$) of graphene in hundreds of femtosecond regime. The spectral dependence measured using the Z-scan technique is corroborated by quantum theory to extract a $n_{2,eff} \propto \lambda^2$ dependence. The temporal evolution extracted using the time-resolved Z-scan measurement shows the nonlinear response peaking at zero delay time and relaxing on a time scale of carrier relaxation. Since the Kerr-type response originated from the optically induced carrier population difference, the time-scale of the evolution of the nonlinear response is apt. The $n_{2,eff}$ shows a dependence on the pulse-width attributed to the relative heating and cooling times of the carriers. This dependence is strong when the pulse-duration is on the same time-scale as the decay constant. Throughout our study the $n_{2,eff}$ remains positive.


title: Derivations and deformations of $\delta$-Jordan Lie supertriple systems

abstract: Let $T$ be a $\delta$-Jordan Lie supertriple system. We first introduce the notions of generalized derivations and representations of $T$ and present some properties. Also, we study the low dimension cohomology and the coboundary operator of $T$, and then we investigate the deformations and Nijenhuis operators of $T$ by choosing some suitable cohomology.


title: Complex Scene Classification of PolSAR Imagery based on a Self-paced Learning Approach

abstract: Existing polarimetric synthetic aperture radar (PolSAR) image classification methods cannot achieve satisfactory performance on complex scenes characterized by several types of land cover with significant levels of noise or similar scattering properties across land cover types. Hence, we propose a supervised classification method aimed at constructing a classifier based on self-paced learning (SPL). SPL has been demonstrated to be effective at dealing with complex data while providing classifier. In this paper, a novel Support Vector Machine (SVM) algorithm based on SPL with neighborhood constraints (SVM_SPLNC) is proposed. The proposed method leverages the easiest samples first to obtain an initial parameter vector. Then, more complex samples are gradually incorporated to update the parameter vector iteratively. Moreover, neighborhood constraints are introduced during the training process to further improve performance. Experimental results on three real PolSAR images show that the proposed method performs well on complex scenes.


title: A Thorough Look at the (In)Stability of Piston-theoretic Beams

abstract: We consider a beam model representing the transverse deflections of a one dimensional elastic structure immersed in an axial fluid flow. The model includes a nonlinear elastic restoring force, with damping and non-conservative terms provided through the flow effects. Three different configurations are considered: a clamped panel, a hinged panel, and a flag (a cantilever clamped at the leading edge, free at the trailing edge). After providing the functional framework for the dynamics, recent results on well-posedness and long-time behavior of the associated dynamical system for solutions are presented. Having provided this theoretical context, in-depth numerical stability analyses are provided, focusing both at the onset of flow-induced instability (flutter), and qualitative properties of the post-flutter dynamics across configurations. Modal approximations are utilized, as well as finite difference schemes.


title: Energy dependent amplitude of Brillouin oscillations in GaP

abstract: Gallium phosphide is an important indirect band gap material with variety of applications in optics ranging from LEDs to applications in GaP/Si based solar cells. We investigated GaP using ultrafast, pump-probe coherent acoustic phonon spectroscopy (time-domain Brillouin scattering). We measured the dependence of the amplitude of the differential reflectivity as modulated by coherent acoustic phonons (CAPs) as a function of laser probe energy and found that the amplitude of the coherent phonon oscillations varies non-monotonically near the direct gap transition at the $\Gamma$ point. A theoretical model is developed which quantitatively explains the experimental data and shows that one can use coherent phonon spectroscopy to provide detailed information about the electronic structure, the dielectric function and optical transitions in indirect band gap materials. Our calculations show that the modelling of experimental results is extremely sensitive to the wavelength dependent dielectric function and its derivatives.


title: The focusing energy-critical nonlinear wave equation with random initial data

abstract: We consider the focusing energy-critical quintic nonlinear wave equation in three dimensional Euclidean space. It is known that this equation admits a one-parameter family of radial stationary solutions, called solitons, which can be viewed as a curve in $ \dot H^s_x(\mathbb{R}^3) \times H^{s-1}_x(\mathbb{R}^3)$, for any $s > 1/2$. By randomizing radial initial data in $ \dot H^s_x(\mathbb{R}^3) \times H^{s-1}_x(\mathbb{R}^3)$ for $s > 5/6$, which also satisfy a certain weighted Sobolev condition, we produce with high probability a family of radial perturbations of the soliton which give rise to global forward-in-time solutions of the focusing nonlinear wave equation that scatter after subtracting a dynamically modulated soliton. Our proof relies on a new randomization procedure using distorted Fourier projections associated to the linearized operator around a fixed soliton. To our knowledge, this is the first long-time random data existence result for a focusing wave or dispersive equation on Euclidean space outside the small data regime.


title: On the complex structure of symplectic quotients

abstract: Let $K$ be a compact group. For a symplectic quotient $M_{\lambda}$ of a compact Hamiltonian K\"ahler $K$-manifold, we show that the induced complex structure on $M_{\lambda}$ is locally invariant when the parameter $\lambda$ varies in $\mathrm{Lie}(K)^*$. To prove such a result, we take two different approaches: (i) by using the complex geometry properties of the symplectic implosion construction; (ii) by investigating the variation of GIT quotients.


title: Dual complex of log Fano pairs and its application to Witt vector cohomology

abstract: We prove the contractibility of the dual complexes of weak log Fano pairs. As applications, we obtain a vanishing theorem of Witt vector cohomology of Ambro-Fujino type and a rational point formula in dimension three.


title: An ultrapower construction of the multiplier algebra of a $C^{\ast}$-algebra and an application to boundary amenability of groups

abstract: Using ultrapowers of $C^{\ast}$-algebras we provide a new construction of the multiplier algebra of a $C^{\ast}$-algebra. This extends the work of Avsec and Goldbring [Houston J. Math., to appear, arXiv:1610.09276.] to the setting of noncommutative and nonseparable $C^{\ast}$-algebras. We also extend their work to give a new proof of the fact that groups that act transitively on locally finite trees with boundary amenable stabilizers are boundary amenable.


title: On Generalized q-logistic Distribution and its Characterizations

abstract: Several generalizations of the logistic distribution, and certain related models, are proposed by many authors for modeling various random phenomena such as those encountered in data engineering, pattern recognition, and reliability assessment studies. A generalized q-logistic distribution is discussed here in the light of pathway model, in which the new parameter q allows increased flexibility for modeling purpose. Also, we discuss different properties of the two generalizations of the q-logistic distributions, which can be used to model the data exhibiting a unimodal density having some skewness present. The first generalization is carried out using the basic idea of Azzalini and we call it as the skew q-logistic distribution. It is observed that the density function of the skew q-logistic distribution is always unimodal and log-concave in nature.


title: Asymptotic behavior for 2D stochastic Navier-Stokes equations with memory in unbounded domains

abstract: We consider a stochastic model which describes the motion of a 2D incompressible fluid in a unbounded domain with viscosity and memory effects. This model is different from the classical stochastic Navier-Stokes-Voigt equations due to the absence of the Voigt term $ -\alpha \Delta u_{t}$, and has a much weaker dissipation than the usual Navier-Stokes-Voigt model since only the memory viscoelasticity is present. We are interested in the global well-posedness and long-time behaviors of this model. We first investigate the well-posedness by using the classical Faedo-Galerkin method. Unlike the general method of energy estimate, we then split the solution into two parts and get the low-order and high-order uniform estimates, respectively. Based on the uniform estimates of far-field values of solutions, we further prove the existence and uniqueness of random attractors in unbounded domains with a constructed compact subspace corresponding to memory. Finally, we give the upper semicontinuity of the attractors when stochastic perturbation approaches to zero.


title: Multiplayer Rock-Paper-Scissors

abstract: We study a class of algebras we regard as generalized Rock-Paper-Scissors games. We determine when such algebras can exist, show that these algebras generate the varieties generated by hypertournament algebras, count these algebras, study their automorphisms, and determine their congruence lattices. We produce a family of finite simple algebras.


title: Two-dimensional categorified Hall algebras

abstract: In the present paper, we introduce two-dimensional categorified Hall algebras of smooth curves and smooth surfaces. A categorified Hall algebra is an associative monoidal structure on the stable $\infty$-category $\mathsf{Coh}^{\mathsf{b}}(\mathbb{R}\mathsf{M})$ of complexes of sheaves with bounded coherent cohomology on a derived moduli stack $\mathbb{R}\mathsf{M}$. In the surface case, $\mathbb{R}\mathsf{M}$ is a suitable derived enhancement of the moduli stack $\mathsf{M}$ of coherent sheaves on the surface. This construction categorifies the K-theoretical and cohomological Hall algebras of coherent sheaves on a surface of Zhao and Kapranov-Vasserot. In the curve case, we define three categorified Hall algebras associated with suitable derived enhancements of the moduli stack of Higgs sheaves on a curve $X$, the moduli stack of vector bundles with flat connections on $X$, and the moduli stack of finite-dimensional local systems on $X$, respectively. In the Higgs sheaves case we obtain a categorification of the K-theoretical and cohomological Hall algebras of Higgs sheaves on a curve of Minets and Sala-Schiffmann, while in the other two cases our construction yields, by passing to $\mathsf K_0$, new K-theoretical Hall algebras, and by passing to $\mathsf H_\ast^{\mathsf{BM}}$, new cohomological Hall algebras. Finally, we show that the Riemann-Hilbert and the non-abelian Hodge correspondences can be lifted to the level of our categorified Hall algebras of a curve.


title: QATM: Quality-Aware Template Matching For Deep Learning

abstract: Finding a template in a search image is one of the core problems many computer vision, such as semantic image semantic, image-to-GPS verification \etc. We propose a novel quality-aware template matching method, QATM, which is not only used as a standalone template matching algorithm, but also a trainable layer that can be easily embedded into any deep neural network. Specifically, we assess the quality of a matching pair using soft-ranking among all matching pairs, and thus different matching scenarios such as 1-to-1, 1-to-many, and many-to-many will be all reflected to different values. Our extensive evaluation on classic template matching benchmarks and deep learning tasks demonstrate the effectiveness of QATM. It not only outperforms state-of-the-art template matching methods when used alone, but also largely improves existing deep network solutions.


title: Mixed Witt rings of algebras with involution

abstract: Although there is no natural internal product for hermitian forms over an algebra with involution of the first kind, we describe how to multiply two $\varepsilon$-hermitian forms to obtain a quadratic form over the base field. This allows to define a commutative graded ring structure by taking together bilinear forms and $\varepsilon$-hermitian forms, which we call the mixed Witt ring of an algebra with involution. We also describe a less powerful version of this construction for unitary involutions, which still defines a ring, but with a grading over $\mathbb{Z}$ instead of the Klein group. We first describe a general framework for defining graded rings out of monoidal functors from monoidal categories with strong symmetry properties to categories of modules. We then give a description of such a strongly symmetric category $\mathbf{Br}_h(K,\iota)$ which encodes the usual hermitian Morita theory of algebras with involutions over a field $K$. We can therefore apply the general framework to $\mathbf{Br}_h(K,\iota)$ and the Witt group functors to define our mixed Witt rings, and derive their basic properties, including explicit formulas for products of diagonal forms in terms of involution trace forms, explicit computations for the case of quaternion algebras, and reciprocity formulas relative to scalar extensions. We intend to describe in future articles further properties of those rings, such as a $\lambda$-ring structure, and relations with the Milnor conjecture and the theory of signatures of hermitian forms.


title: Graph Convolutional Label Noise Cleaner: Train a Plug-and-play Action Classifier for Anomaly Detection

abstract: Video anomaly detection under weak labels is formulated as a typical multiple-instance learning problem in previous works. In this paper, we provide a new perspective, i.e., a supervised learning task under noisy labels. In such a viewpoint, as long as cleaning away label noise, we can directly apply fully supervised action classifiers to weakly supervised anomaly detection, and take maximum advantage of these well-developed classifiers. For this purpose, we devise a graph convolutional network to correct noisy labels. Based upon feature similarity and temporal consistency, our network propagates supervisory signals from high-confidence snippets to low-confidence ones. In this manner, the network is capable of providing cleaned supervision for action classifiers. During the test phase, we only need to obtain snippet-wise predictions from the action classifier without any extra post-processing. Extensive experiments on 3 datasets at different scales with 2 types of action classifiers demonstrate the efficacy of our method. Remarkably, we obtain the frame-level AUC score of 82.12% on UCF-Crime.


title: Vegetation pattern formation in a sinuous free-scale landscape

abstract: The original Hardenberg's model of biomass patterns in arid and semi-arid regions is revisited to extend it to more general non flat regions. It is proposed a technique to study these more generalized (non-flat) regions using both a conservation criterion and a explicit spatial dependent function $\nu (x)$. In this paper a study of dynamical stability around system's fixed points made. Under the idea of predictability via air images a fitted relationship among dynamical variables at stable fixed points is stablished. Also, is presented a discrete version of the model, in the form of Cellular Automata techniques, that allows to neglect the spatial scale and reproduces realistic stable spatial patterns.


title: Annealing for Distributed Global Optimization

abstract: The paper proves convergence to global optima for a class of distributed algorithms for nonconvex optimization in network-based multi-agent settings. Agents are permitted to communicate over a time-varying undirected graph. Each agent is assumed to possess a local objective function (assumed to be smooth, but possibly nonconvex). The paper considers algorithms for optimizing the sum function. A distributed algorithm of the consensus+innovations type is proposed which relies on first-order information at the agent level. Under appropriate conditions on network connectivity and the cost objective, convergence to the set of global optima is achieved by an annealing-type approach, with decaying Gaussian noise independently added into each agent's update step. It is shown that the proposed algorithm converges in probability to the set of global minima of the sum function.


title: Moduli spaces of rank 3 parabolic bundles over a many-punctured surface

abstract: Let $M$ be the moduli space of rank 3 parabolic vector bundles over a Riemann surface with several punctures. By the Mehta-Seshadri correspondence, this is the space of rank 3 unitary representations of the fundamental group of the punctured surface with specified conjugacy classes of the images of each boundary component, up to conjugation by elements of the unitary group. For each puncture we consider the torus bundle on $M$ consisting of those representations where the image of the corresponding boundary component is a fixed element of the torus. We associate line bundles to these torus bundles via one-dimensional torus representations, and consider the subring of the cohomology ring of $M$ generated by their first Chern classes. By finding explicit sections of these line bundles with no common zeros we give a geometric proof that particular products of these Chern classes vanish. We prove that the ring generated by these Chern classes vanishes below the dimension of the moduli space, in a generalisation of a conjecture of Newstead.