title: Necessary and Sufficient Topological Conditions for Identifiability of Dynamical Networks

abstract: This paper deals with dynamical networks for which the relations between node signals are described by proper transfer functions and external signals can influence each of the node signals. We are interested in graph-theoretic conditions for identifiability of such dynamical networks, where we assume that only a subset of nodes is measured but the underlying graph structure of the network is known. This problem has recently been investigated from a generic viewpoint. Roughly speaking, generic identifiability means that the transfer functions in the network can be identified for "almost all" network matrices associated with the graph. In this paper, we investigate the stronger notion of identifiability for all network matrices. To this end, we introduce a new graph-theoretic concept called the graph simplification process. Based on this process, we provide necessary and sufficient topological conditions for identifiability. Notably, we also show that these conditions can be verified by polynomial time algorithms. Finally, we explain how our results generalize existing sufficient conditions for identifiability.


title: Recurrent Neural Networks for Long and Short-Term Sequential Recommendation

abstract: Recommender systems objectives can be broadly characterized as modeling user preferences over short-or long-term time horizon. A large body of previous research studied long-term recommendation through dimensionality reduction techniques applied to the historical user-item interactions. A recently introduced session-based recommendation setting highlighted the importance of modeling short-term user preferences. In this task, Recurrent Neural Networks (RNN) have shown to be successful at capturing the nuances of user's interactions within a short time window. In this paper, we evaluate RNN-based models on both short-term and long-term recommendation tasks. Our experimental results suggest that RNNs are capable of predicting immediate as well as distant user interactions. We also find the best performing configuration to be a stacked RNN with layer normalization and tied item embeddings.


title: Exciton spin relaxation in InAs/InGaAlAs/InP(001) quantum dashes emitting near 1.55 {\mu}m

abstract: Exciton spin and related optical polarization in self-assembled InAs/In$_{0.53}$Ga$_{0.23}$Al$_{0.24}$As/InP(001) quantum dashes emitting at 1.55 {\mu}m are investigated by means of polarization- and time-resolved photoluminescence, as well as photoluminescence excitation spectroscopy, at cryogenic temperature. We investigate the influence of highly non-resonant and quasi-resonant optical spin pumping conditions on spin polarization and spin memory of the quantum dash ground state. We show that a spin pumping scheme, utilizing the longitudinal-optical-phonon-mediated coherent scattering process, can lead to the polarization degree above 50%. We discuss the role of intrinsic asymmetries in the quantum dash that influence values of the degree of polarization and its time evolution.


title: Angular Upsampling in Infant Diffusion MRI Using Neighborhood Matching in x-q Space

abstract: Diffusion MRI requires sufficient coverage of the diffusion wavevector space, also known as the q-space, to adequately capture the pattern of water diffusion in various directions and scales. As a result, the acquisition time can be prohibitive for individuals who are unable to stay still in the scanner for an extensive period of time, such as infants. To address this problem, in this paper we harness non-local self-similar information in the x-q space of diffusion MRI data for q-space upsampling. Specifically, we first perform neighborhood matching to establish the relationships of signals in x-q space. The signal relationships are then used to regularize an ill-posed inverse problem related to the estimation of high angular resolution diffusion MRI data from its low-resolution counterpart. Our framework allows information from curved white matter structures to be used for effective regularization of the otherwise ill-posed problem. Extensive evaluations using synthetic and infant diffusion MRI data demonstrate the effectiveness of our method. Compared with the widely adopted interpolation methods using spherical radial basis functions and spherical harmonics, our method is able to produce high angular resolution diffusion MRI data with greater quality, both qualitatively and quantitatively.


title: Symmetries in left-invariant optimal control problems

abstract: We consider left-invariant optimal control problems on connected Lie groups such that generic stabilizer of the coadjoint action is connected and has dimension not more than 1. We introduce a construction for symmetries of the exponential map. These symmetries play a key role in investigation of optimality of extremal trajectories.


title: Inexact Variable Metric Stochastic Block-Coordinate Descent for Regularized Optimization

abstract: Block-coordinate descent (BCD) is a popular framework for large-scale regularized optimization problems with block-separable structure. Existing methods have several limitations. They often assume that subproblems can be solved exactly at each iteration, which in practical terms usually restricts the quadratic term in the subproblem to be diagonal, thus losing most of the benefits of higher-order derivative information. Moreover, in contrast to the smooth case, non-uniform sampling of the blocks has not yet been shown to improve the convergence rate bounds for regularized problems. This work proposes an inexact randomized BCD method based on a regularized quadratic subproblem, in which the quadratic term can vary from iteration to iteration: a "variable metric". We provide a detailed convergence analysis for both convex and nonconvex problems. Our analysis generalizes to the regularized case Nesterov's proposal to improve convergence of BCD by sampling proportional to the blockwise Lipschitz constants. We improve the convergence rate in the convex case by weakening the dependency on the initial objective value. Empirical results also show that significant benefits accrue from the use of a variable metric.


title: On Some Topological Properties of Fourier Transforms of Regular Holonomic D-Modules

abstract: We study Fourier transforms of regular holonomic D-modules. In particular we show that their solution complexes are monodromic. An application to direct images of some irregular holonomic D-modules will be given. Moreover we give a new proof to the classical theorem of Brylinski and improve it by showing its converse.


title: Doubly robust estimators for the average treatment effect under positivity violations: introducing the $e$-score

abstract: Estimation of causal parameters from observational data requires complete confounder adjustment, as well as positivity of the propensity score for each treatment arm. There is often a trade-off between these two assumptions: confounding bias may be reduced through adjustment for a large number of pre-treatment covariates, but positivity is less likely in analyses with irrelevant predictors of treatment such as instrumental variables. Under empirical positivity violations, propensity score weights are highly variable, and doubly robust estimators suffer from high variance and large finite sample bias. To solve this problem, we introduce the $e$-score, which is defined through a dimension reduction for the propensity score. This dimension reduction is based on a result known as collaborative double robustness, which roughly states that a propensity score conditioning only on the bias of the outcome regression estimator is sufficient to attain double robustness. We propose methods to construct doubly robust estimators based on the $e$-score, and discuss their properties such as consistency, efficiency, and asymptotic distribution. This allows the construction of asymptotically valid Wald-type confidence intervals and hypothesis tests. We present an illustrative application on estimating the effect of smoking on bone mineral content in adolescent girls well as a synthetic data simulation illustrating the bias and variance reduction and asymptotic normality achieved by our proposed estimators.


title: The realization problem for discrete Morse functions on trees

abstract: We introduce a new notion of equivalence of discrete Morse functions on graphs called persistence equivalence. Two functions are considered persistence equivalent if and only if they induce the same persistence diagram. We compare this notion of equivalence to other notions of equivalent discrete Morse functions. We then compute an upper bound for the number of persistence equivalent discrete Morse functions on a fixed graph and show that this upper bound is sharp in the case where our graph is a tree. This is a version of the "realization problem" of the persistence map. We conclude with an example illustrating our construction.


title: Residual Network based Aggregation Model for Skin Lesion Classification

abstract: We recognize that the skin lesion diagnosis is an essential and challenging sub-task in Image classification, in which the Fisher vector (FV) encoding algorithm and deep convolutional neural network (DCNN) are two of the most successful techniques. Since the joint use of FV and DCNN has demonstrated proven success, the joint techniques could have discriminatory power on skin lesion diagnosis as well. To this hypothesis, we propose the aggregation algorithm for skin lesion diagnosis that utilize the residual network to extract the local features and the Fisher vector method to aggregate the local features to image-level representation. We applied our algorithm on the International Skin Imaging Collaboration 2018 (ISIC2018) challenge and only focus on the third task, i.e., the disease classification.


title: Clearing noisy annotations for computed tomography imaging

abstract: One of the problems on the way to successful implementation of neural networks is the quality of annotation. For instance, different annotators can annotate images in a different way and very often their decisions do not match exactly and in extreme cases are even mutually exclusive which results in noisy annotations and, consequently, inaccurate predictions. To avoid that problem in the task of computed tomography (CT) imaging segmentation we propose a clearing algorithm for annotations. It consists of 3 stages: - annotators scoring, which assigns a higher confidence level to better annotators; - nodules scoring, which assigns a higher confidence level to nodules confirmed by good annotators; - nodules merging, which aggregates annotations according to nodules confidence. In general, the algorithm can be applied to many different tasks (namely, binary and multi-class semantic segmentation, and also with trivial adjustments to classification and regression) where there are several annotators labeling each image.


title: Thermostatistics of classical fields

abstract: In this paper we develop the thermostatistics of the classical (continuous in space and time) fields. Assuming the thermodynamic equilibrium between the classical field and the thermal reservoir and the Gibbs statistics for the classical field, the probabilities of excitation of various modes of the classical field are determined. An artificial quantization of the classical field is considered, when the field energy is artificially divided into discrete portions - quanta with the same energy. The probability of excitation of a given number of quanta of a classical field is calculated. It is shown that if no restrictions are imposed on a classical field, then it obeys the Bose-Einstein statistics. If, however, an additional restriction is imposed on the amplitude of the classical field, it is described by a statistic analogous to the Fermi-Dirac statistics or the Gentile statistics, but does not coincide exactly with them.


title: Coagulation-transport equations and the nested coalescents

abstract: The nested Kingman coalescent describes the dynamics of particles (called genes) contained in larger components (called species), where pairs of species coalesce at constant rate and pairs of genes coalesce at constant rate provided they lie within the same species. We prove that starting from $rn$ species, the empirical distribution of species masses (numbers of genes$/n$) at time $t/n$ converges as $n\to\infty$ to a solution of the deterministic coagulation-transport equation $$ \partial_t d \ = \ \partial_x ( \psi d ) \ + \ a(t)\left(d\star d - d \right), $$ where $\psi(x) = cx^2$, $\star$ denotes convolution and $a(t)= 1/(t+\delta)$ with $\delta=2/r$. The most interesting case when $\delta =0$ corresponds to an infinite initial number of species. This equation describes the evolution of the distribution of species of mass $x$, where pairs of species can coalesce and each species' mass evolves like $\dot x = -\psi(x)$. We provide two natural probabilistic solutions of the latter IPDE and address in detail the case when $\delta=0$. The first solution is expressed in terms of a branching particle system where particles carry masses behaving as independent continuous-state branching processes. The second one is the law of the solution to the following McKean-Vlasov equation $$ dx_t \ = \ - \psi(x_t) \,dt \ + \ v_t\,\Delta J_t $$ where $J$ is an inhomogeneous Poisson process with rate $1/(t+\delta)$ and $(v_t; t\geq0)$ is a sequence of independent rvs such that $ {\mathcal L}(v_t) = {\mathcal L}(x_t)$. We show that there is a unique solution to this equation and we construct this solution with the help of a marked Brownian coalescent point process. When $\psi(x)=x^\gamma$, we show the existence of a self-similar solution for the PDE which relates when $\gamma=2$ to the speed of coming down from infinity of the nested Kingman coalescent.


title: QUEST: Quadriletral Senary bit Pattern for Facial Expression Recognition

abstract: Facial expression has a significant role in analyzing human cognitive state. Deriving an accurate facial appearance representation is a critical task for an automatic facial expression recognition application. This paper provides a new feature descriptor named as Quadrilateral Senary bit Pattern for facial expression recognition. The QUEST pattern encoded the intensity changes by emphasizing the relationship between neighboring and reference pixels by dividing them into two quadrilaterals in a local neighborhood. Thus, the resultant gradient edges reveal the transitional variation information, that improves the classification rate by discriminating expression classes. Moreover, it also enhances the capability of the descriptor to deal with viewpoint variations and illumination changes. The trine relationship in a quadrilateral structure helps to extract the expressive edges and suppressing noise elements to enhance the robustness to noisy conditions. The QUEST pattern generates a six-bit compact code, which improves the efficiency of the FER system with more discriminability. The effectiveness of the proposed method is evaluated by conducting several experiments on four benchmark datasets: MMI, GEMEP-FERA, OULU-CASIA, and ISED. The experimental results show better performance of the proposed method as compared to existing state-art-the approaches.


title: The Soft Multivariate Truncated Normal Distribution with Applications to Bayesian Constrained Estimation

abstract: We propose a new distribution, called the soft tMVN distribution, which provides a smooth approximation to the truncated multivariate normal (tMVN) distribution with linear constraints. An efficient blocked Gibbs sampler is developed to sample from the soft tMVN distribution in high dimensions. We provide theoretical support to the approximation capability of the soft tMVN and provide further empirical evidence thereof. The soft tMVN distribution can be used to approximate simulations from a multivariate truncated normal distribution with linear constraints, or itself as a prior in shape-constrained problems.


title: Ratchet-induced variations in bulk states of an active ideal gas

abstract: We study the distribution of active, noninteracting particles over two bulk states separated by a ratchet potential. By solving the steady-state Smoluchowski equations in a flux-free setting, we show that the ratchet potential affects the distribution of particles over the bulks, and thus exerts an influence of infinitely long range. As we show, crucial for having such a long-range influence is an external potential that is nonlinear. We characterize how the difference in bulk densities depends on activity and on the ratchet potential, and we identify power law dependencies on system parameters in several limiting cases. While weakly active systems are often understood in terms of an effective temperature, we present an analytical solution that explicitly shows that this is not possible in the current setting. Instead, we rationalize our results by a simple transition state model, that presumes particles to cross the potential barrier by Arrhenius rates modified for activity. While this model does not quantitatively describe the difference in bulk densities for feasible parameter values, it does reproduce - in its regime of applicability - the complete power law behavior correctly.


title: Robust Group Comparison Using Non-Parametric Block-Based Statistics

abstract: Voxel-based analysis methods localize brain structural differences by performing voxel-wise statistical comparisons on two groups of images aligned to a common space. This procedure requires highly accurate registration as well as a sufficiently large dataset. However, in practice, the registration algorithms are not perfect due to noise, artifacts, and complex structural variations. The sample size is also limited due to low disease prevalence, recruitment difficulties, and demographic matching issues. To address these issues, in this paper, we propose a method, called block-based statistic (BBS), for robust group comparison. BBS consists of two major components: Block matching and permutation test. Specifically, based on two group of images aligned to a common space, we first perform block matching so that structural misalignments can be corrected. Then, based on results given by block matching, we conduct robust non-parametric statistical inference based on permutation test. Extensive experiments were performed on synthetic data and the real diffusion MR data of mild cognitive impairment patients. The experimental results indicate that BBS significantly improves statistical power, notwithstanding the small sample size.


title: Boundary Surface Term In QCD Is At Finite Distance Due To Confinement of Quarks and Gluons Inside Finite Size Hadron

abstract: In this paper we show that since we have not observed quarks and gluons outside the hadron due to the confinement of quarks and gluons inside the hadron, the boundary surface term in QCD is at the finite distance which is at the surface of the finite size hadron. Since the boundary surface is at the finite distance we find that the boundary surface term in QCD is non-zero irrespective of the form of the $r$ dependence of the gluon field ${\hat A}_\mu^a(t,r)$ and the $r$ dependence of the quark field ${\hat \psi}_i(t,r)$ where $a=1,...,8$ and $i=1,2,3$ are the color indices. We show that this is consistent with the fact that the cluster decomposition property fails in QCD due to confinement.


title: On the convergence of renormalizations of piecewise smooth homeomorphisms on the circle

abstract: We study renormalizations of piecewise smooth homeomorphisms on the circle, by considering such maps as generalized interval exchange maps of genus one. Suppose that $Df$ is absolutely continuous on each interval of continuity and $D\ln{Df}\in \mathbb{L}_{p}$ for some $p>1$. We prove, that under certain combinatorial assumptions on $f_{1}$ and $f_{2}$, corresponding renormalizations approach to each other in $C^{1+L_{1}}$-norm.


title: Automatically Assessing Vulnerabilities Discovered by Compositional Analysis

abstract: Testing is the most widely employed method to find vulnerabilities in real-world software programs. Compositional analysis, based on symbolic execution, is an automated testing method to find vulnerabilities in medium- to large-scale programs consisting of many interacting components. However, existing compositional analysis frameworks do not assess the severity of reported vulnerabilities. In this paper, we present a framework to analyze vulnerabilities discovered by an existing compositional analysis tool and assign CVSS3 (Common Vulnerability Scoring System v3.0) scores to them, based on various heuristics such as interaction with related components, ease of reachability, complexity of design and likelihood of accepting unsanitized input. By analyzing vulnerabilities reported with CVSS3 scores in the past, we train simple machine learning models. By presenting our interactive framework to developers of popular open-source software and other security experts, we gather feedback on our trained models and further improve the features to increase the accuracy of our predictions. By providing qualitative (based on community feedback) and quantitative (based on prediction accuracy) evidence from 21 open-source programs, we show that our severity prediction framework can effectively assist developers with assessing vulnerabilities.


title: An argument in favor of strong scaling for deep neural networks with small datasets

abstract: In recent years, with the popularization of deep learning frameworks and large datasets, researchers have started parallelizing their models in order to train faster. This is crucially important, because they typically explore many hyperparameters in order to find the best ones for their applications. This process is time consuming and, consequently, speeding up training improves productivity. One approach to parallelize deep learning models followed by many researchers is based on weak scaling. The minibatches increase in size as new GPUs are added to the system. In addition, new learning rates schedules have been proposed to fix optimization issues that occur with large minibatch sizes. In this paper, however, we show that the recommendations provided by recent work do not apply to models that lack large datasets. In fact, we argument in favor of using strong scaling for achieving reliable performance in such cases. We evaluated our approach with up to 32 GPUs and show that weak scaling not only does not have the same accuracy as the sequential model, it also fails to converge most of time. Meanwhile, strong scaling has good scalability while having exactly the same accuracy of a sequential implementation.


title: Partial Person Re-identification with Alignment and Hallucination

abstract: Partial person re-identification involves matching pedestrian frames where only a part of a body is visible in corresponding images. This reflects practical CCTV surveillance scenario, where full person views are often not available. Missing body parts make the comparison very challenging due to significant misalignment and varying scale of the views. We propose Partial Matching Net (PMN) that detects body joints, aligns partial views and hallucinates the missing parts based on the information present in the frame and a learned model of a person. The aligned and reconstructed views are then combined into a joint representation and used for matching images. We evaluate our approach and compare to other methods on three different datasets, demonstrating significant improvements.


title: Skin disease identification from dermoscopy images using deep convolutional neural network

abstract: In this paper, a deep neural network based ensemble method is experimented for automatic identification of skin disease from dermoscopic images. The developed algorithm is applied on the task3 of the ISIC 2018 challenge dataset (Skin Lesion Analysis Towards Melanoma Detection).


title: Coherent two-dimensional multiphoton photoelectron spectroscopy of metal surfaces

abstract: Light interacting with metals elicits an ultrafast coherent many-body screening response on sub- to few-femtosecond time-scales, which makes its experimental observation challenging. Here, we describe the coherent two-dimensional (2D) multi-photon photoemission study of the Shockley surface state (SS) of Ag(111) as a benchmark for spectroscopy of the coherent nonlinear response of metals to an optical field in the perturbative regime. Employing interferometrically time-resolved multi-photon photoemission spectroscopy (ITR-mPP), we correlate the coherent polarizations and populations excited in the sample with final photoelectron distributions where the interaction terminates. By measuring the non-resonant 3- and 4-photon photoemission of the SS state, as well as its replica structures in the above-threshold photoemission (ATP), we record the coherent response of the Ag(111) surface by 2D photoemission spectroscopy and relate it to its band structure. We interpret the mPP process by an optical Bloch equation (OBE) model, which reproduces the main features of the surface state coherent polarization dynamics recorded in ITR-mPP experiments: The spectroscopic components of the 2D photoelectron spectra are shown to depend on the nonlinear orders of the coherent photoemission process m as well as on the induced coherence n.


title: Exponentially many entanglement and correlation constraints for multipartite quantum states

abstract: We present a family of correlations constraints that apply to all multipartite quantum systems of finite dimension. The size of this family is exponential in the number of subsystems. We obtain these relations by defining and investigating the generalized state inversion map. This map provides a systematic way to generate local unitary invariants of degree two in the state and is directly linked to the shadow inequalities proved by Rains [IEEE Trans. Inf. Theory 46, 54 (2000)]. The constraints are stated in terms of linear inequalities for the linear entropies of the subsystems. For pure quantum states they turn into monogamy relations that constrain the distribution of bipartite entanglement among the subsystems of the global state.


title: Thermopower-based hot electron thermometry of helium surface states at 1.6 K

abstract: We have developed a method to probe the temperature of surface state electrons (SSE) above a superfluid Helium-4 surface using the Seebeck effect. In contrast to previously used SSE thermometry, this technique does not require detailed knowledge of the non-linear mobility. We demonstrate the use of this method by measuring energy relaxation of SSE at 1.6 K in a microchannel device with $0.6\:\mu\mbox{m}$ deep helium. In this regime, both vapor atom scattering and 2-ripplon scattering contribute to energy relaxation to which we compare our measurements. We conclude that this technique provides a reliable measure of electron temperature while requiring a less detailed understanding of the electron interactions with the environment than previously utilized thermometry techniques.


title: Singular limits of K\"ahler-Ricci flow on Fano $G$-manifolds

abstract: In this paper, we prove that any solution of K\"ahler-Ricci flow on a Fano compactification $M$ of semisimple complex Lie group, is of type II, if $M$ admits no K\"ahler-Einstein metrics. As an application, we found two Fano compactifications of $\mathrm{SO}_4(\mathbb{C})$ and one Fano compactification of $\mathrm{Sp}_4(\mathbb{C})$, on which the K\"ahler-Ricci flow will develop singularities of type II. To the authors' knowledge, these are the first examples of Ricci flow with singularities of type II on Fano manifolds in the literature.


title: Finite element approximations for near-incompressible and near-inextensible transversely isotropic bodies

abstract: This work comprises a detailed theoretical and computational study of the boundary value problem for transversely isotropic linear elastic bodies. General conditions for well-posedness are derived in terms of the material parameters. The discrete form of the displacement problem is formulated for conforming finite element approximations. The error estimate reveals that anisotropy can play a role in minimizing or even eliminating locking behaviour, for moderate values of the ratio of Young's moduli in the fibre and transverse directions. In addition to the standard conforming approximation an alternative formulation, involving under-integration of the volumetric and extensional terms in the weak formulation, is considered. The latter is equivalent to either a mixed or a perturbed Lagrangian formulation, analogously to the well-known situation for the volumetric term. A set of numerical examples confirms the locking-free behaviour in the near-incompressible limit of the standard formulation with moderate anisotropy, with locking behaviour being clearly evident in the case of near-inextensibility. On the other hand, under-integration of the extensional term leads to extensional locking-free behaviour, with convergence at superlinear rates.


title: Convolutional Simplex Projection Network (CSPN) for Weakly Supervised Semantic Segmentation

abstract: Weakly supervised semantic segmentation has been a subject of increased interest due to the scarcity of fully annotated images. We introduce a new approach for solving weakly supervised semantic segmentation with deep Convolutional Neural Networks (CNNs). The method introduces a novel layer which applies simplex projection on the output of a neural network using area constraints of class objects. The proposed method is general and can be seamlessly integrated into any CNN architecture. Moreover, the projection layer allows strongly supervised models to be adapted to weakly supervised models effortlessly by substituting ground truth labels. Our experiments have shown that applying such an operation on the output of a CNN improves the accuracy of semantic segmentation in a weakly supervised setting with image-level labels.


title: Coulomb-induced instabilities of nodal surfaces

abstract: We consider the stability of nodal surfaces in fermionic band systems with respect to the Coulomb repulsion. It is shown that nodal surfaces at the Fermi level are gapped out at low temperatures due to emergent particle-hole orders. Energy dispersion of the nodal surface suppresses the instability through an inhomogenous phase. We argue that around criticality the order parameter fluctuations can induce superconductivity. We show that by tuning doping and disorder one could access various phases, establishing fermionic nodal surface systems as a versatile platform to study emergent quantum orders.


title: Yang-Mills theory from the worldsheet

abstract: We give a new description of classical Yang-Mills theory by coupling a two-dimensional chiral CFT (which gives the tree-level S-matrix of Yang-Mills theory at genus zero) to a background non-abelian gauge field. The resulting model is solvable, and when the gravitational degrees of freedom are decoupled the non-linear Yang-Mills equations are imposed as an exact worldsheet anomaly cancellation condition. When gravitational modes are reinstated, we find gauge anomalies analogous to those appearing in heterotic string theory.


title: Strange duality on $\mathbb{P}^2$ via quiver representations

abstract: We study Le Potier's strange duality conjecture on $\mathbb{P}^2$. We focus on the strange duality map $SD_{c_n^r,d}$ which involves the moduli space of rank $r$ sheaves with trivial first Chern class and second Chern class $n$, and the moduli space of 1-dimensional sheaves with determinant $\mathcal{O}_{\mathbb{P}^2}(d)$ and Euler characteristic 0. By using tools in quiver representation theory, we show that $SD_{c^r_n,d}$ is an isomorphisms for $r=n$ or $r=n-1$ or $d\leq 3$, and in general $SD_{c^r_n,d}$ is injective for any $n\geq r>0$ and $d>0$.


title: Towards Demystifying Membership Inference Attacks

abstract: Membership inference attacks seek to infer membership of individual training instances of a model to which an adversary has black-box access through a machine learning-as-a-service API. In providing an in-depth characterization of membership privacy risks against machine learning models, this paper presents a comprehensive study towards demystifying membership inference attacks from two complimentary perspectives. First, we provide a generalized formulation of the development of a black-box membership inference attack model. Second, we characterize the importance of model choice on model vulnerability through a systematic evaluation of a variety of machine learning models and model combinations using multiple datasets. Through formal analysis and empirical evidence from extensive experimentation, we characterize under what conditions a model may be vulnerable to such black-box membership inference attacks. We show that membership inference vulnerability is data-driven and corresponding attack models are largely transferable. Though different model types display different vulnerabilities to membership inference, so do different datasets. Our empirical results additionally show that (1) using the type of target model under attack within the attack model may not increase attack effectiveness and (2) collaborative learning exposes vulnerabilities to membership inference risks when the adversary is a participant. We also discuss countermeasure and mitigation strategies.


title: On the computational analysis of the genetic algorithm for attitude control of a carrier system

abstract: This paper intends to cover three main topics. First, a fuzzy-PID controller is designed to control the thrust vector of a launch vehicle, accommodating a CanSat. Then, the genetic algorithm (GA) is employed to optimize the controller performance. Finally, through adjusting the algorithm parameters, their impact on the optimization process is examined. In this regard, the motion vector control is programmed based on the governing dynamic equations of motion for payload delivery in the desired altitude and flight-path angle. This utilizes one single input and one preferential fuzzy inference engine, where the latter acts to avoid the system instability in large angles for the thrust vector. The optimization objective functions include the deviations of the thrust vector and the system from the equilibrium state, which must be met simultaneously. Sensitivity analysis of the parameters of the genetic algorithm involves examining nine different cases and discussing their impact on the optimization results.


title: Supercompiling String Programs Using Word Equations as Constraints

abstract: We describe a general parameterized scheme of program and constraint analyses allowing us to specify both the program specialization method known as Turchin's supercompilation and Hmelevskii's algorithm solving the quadratic word equations. The scheme is specified for both sorts of the analysis and works in a joint algorithm in which these two sorts of the analysis are used together. The word equations and the inequalities on regular patterns are used as the string constraint language in the algorithm.


title: Ultrafast pulse phase shift in a charged quantum dot- micropillar system

abstract: We employ a quantum master equations approach based on a vectorial Maxwell-pseudospin model to compute the quantum evolution of the spin populations and coherences in the fundamental singlet trion transition of a negatively charged quantum dot embedded in a micropillar cavity. Excitation of the system is achieved through an ultrashort, either circularly or linearly polarised resonant pulse. By implementing a realistic micropillar cavity geometry, we numerically demonstrate a giant optical phase shift ($\sim \pm \pi/2$) of a resonant circularly polarised pulse in the weak-coupling regime. The phase shift that we predict considerably exceeds the experimentally observed Kerr rotation angle $(\sim{6 ^{\circ}})$ under a continuous-wave, linearly polarised excitation. By contrast, we show that a linearly polarised pulse is rotated to a much lesser extent of a few degrees. Depending on the initial boundary conditions, this is due to either retardation or advancement in the amplitude build-up in time of the orthogonal electric field component. Unlike previous published work, the dominant spin relaxation and decoherence processes are fully accounted for in the system dynamics. Our dynamical model can be used for optimisation of the optical polarisation rotation angle for realisation of spin-photon entanglement and ultrafast polarisation switching on a chip.


title: Robot Imitation through Vision, Kinesthetic and Force Features with Online Adaptation to Changing Environments

abstract: Continuous Goal-Directed Actions (CGDA) is a robot imitation framework that encodes actions as the changes they produce on the environment. While it presents numerous advantages with respect to other robot imitation frameworks in terms of generalization and portability, final robot joint trajectories for the execution of actions are not necessarily encoded within the model. This is studied as an optimization problem, and the solution is computed through evolutionary algorithms in simulated environments. Evolutionary algorithms require a large number of evaluations, which had made the use of these algorithms in real world applications very challenging. This paper presents online evolutionary strategies, as a change of paradigm within CGDA execution. Online evolutionary strategies shift and merge motor execution into the planning loop. A concrete online evolutionary strategy, Online Evolved Trajectories (OET), is presented. OET drastically reduces computational times between motor executions, and enables working in real world dynamic environments and/or with human collaboration. Its performance has been measured against Full Trajectory Evolution (FTE) and Incrementally Evolved Trajectories (IET), obtaining the best overall results. Experimental evaluations are performed on the TEO full-sized humanoid robot with "paint" and "iron" actions that together involve vision, kinesthetic and force features.


title: The XMM-Newton serendipitous survey. VIII: The first XMM-Newton serendipitous source catalogue from overlapping observations

abstract: XMM-Newton has observed the X-ray sky since early 2000. The XMM-Newton Survey Science Centre Consortium has published catalogues of X-ray and ultraviolet sources found serendipitously in the individual observations. This series is now augmented by a catalogue dedicated to X-ray sources detected in spatially overlapping XMM-Newton observations. The aim of this catalogue is to explore repeatedly observed sky regions. It thus makes use of the long(er) effective exposure time per sky area and offers the opportunity to investigate long-term flux variability directly through the source detection process. A new standardised strategy for simultaneous source detection on multiple observations is introduced. It is coded as a new task within the XMM-Newton Science Analysis System and used to compile a catalogue of sources from 434 stacks comprising 1,789 overlapping XMM-Newton observations that entered the 3XMM-DR7 catalogue, have a low background and full-frame readout of all EPIC cameras. The first stacked catalogue is called 3XMM-DR7s. It contains 71,951 unique sources with positions and parameters such as fluxes, hardness ratios, quality estimates, and information on inter-observation variability. About 15% of the sources are new with respect to 3XMM-DR7. Through stacked source detection, the parameters of repeatedly observed sources can be determined with higher accuracy than in the individual observations. The method is more sensitive to faint sources and tends to produce fewer spurious detections. With this first stacked catalogue we demonstrate the feasibility and benefit of the approach. It supplements the large data base of XMM-Newton detections by additional, in particular faint, sources and adds variability information. In the future, the catalogue will be expanded to larger samples and continued within the series of serendipitous XMM-Newton source catalogues.


title: Maunakea Spectroscopic Explorer Low Moderate Resolution Spectrograph Conceptual Design

abstract: The Maunakea Spectroscopic Explorer (MSE) Project is a planned replacement for the existing 3.6-m Canada France Hawaii Telescope (CFHT) into a 10-m class dedicated wide field highly multiplexed fibre fed spectroscopic facility. MSE seeks to tackle basic science questions ranging from the origin of stars and stellar systems, Galaxy archaeology at early times, galaxy evolution across cosmic time, to cosmology and the nature of dark matter and dark energy. MSE will be a primary follow-up facility for many key future photometric and astrometric surveys, as well as a major component in the study of the multi-wavelength Universe. The MSE is based on a prime focus telescope concept which illuminate 3200 fibres or more. These fibres are feeding a Low Moderate Resolution (LMR) spectrograph and a High Resolution (HR). The LMR will provide 2 resolution modes at R>2500 and R>5000 on a wavelength range of 360 to 950 nm and a resolution of R>3000 on the 950 nm to 1300 nm bandwidth. Possibly the H band will be also covered by a second NIR mode from ranging from 1450 to 1780 nm. The HR will have a resolution of R>39000 on the 360 to 600 nm wavelength range and R>20000 on the 600 to 900 nm bandwidth. This paper presents the LMR design after its Conceptual Design Review held in June 2017. It focuses on the general concept, optical and mechanical design of the instrument. It describes the associated preliminary expected performances especially concerning optical and thermal performances.


title: Maunakea Spectroscopic Explorer (MSE) - The Prime Focus Subsystems: Requirements and Interfaces

abstract: MSE will be a massively multiplexed survey telescope, including a segmented primary mirror which feeds fibers at the prime focus, including an array of approximately four thousand fibers, positioned precisely to feed banks of spectrographs several tens of meters away. We describe the process of mapping top-level requirements on MSE to technical specifications for subsystems located at the MSE prime focus. This includes the overall top-level requirements based on knowledge of similar systems at other telescopes and how those requirements were converted into specifications so that the subsystems could begin working on their Conceptual Design Phases. We then discuss the verification of the engineering specifications and the compiling of lower-level requirements and specifications into higher level performance budgets (e.g. Image Quality). We also briefly discuss the interface specifications, their effect on the performance of the system and the plan to manage them going forward. We also discuss the opto-mechanical design of the telescope top end assembly and refer readers to more details for instrumentation located at the top end.


title: Sphinx: a massively multiplexed fiber positioner for MSE

abstract: In this paper we present the Australian Astronomical Observatory's concept design for Sphinx - a fiber positioned with 4332 spines on a 7.77mm pitch for CFHT's Mauna Kea Spectroscopic Explorer (MSE) Telescope. Based on the Echidna technology used with FMOS (on Subaru) and 4MOST (on VISTA), the next evolution of the tilting spine design delivers improved performance and superior allocation efficiency. Several prototypes have been constructed that demonstrate the suitability of the new design for MSE. Results of prototype testing are presented, along with an analysis of the impact of tilting spines on the overall survey efficiency. The Sphinx fiber positioned utilizes a novel metrology system for spine position feedback. The metrology design and the careful considerations required to achieve reliable, high accuracy measurements of all fibres in a realistic telescope environment are also presented.


title: Automated testing of optical fibres: towards the design of the Maunakea Spectroscopic Explorer Fibre Transmission System

abstract: We present the results of an automated fibre optic test bench constructed at the University of Victoria as part of the Maunakea Spectroscopic Explorer (MSE) Fibre Transmission System (FiTS). In preparation for MSE-FiTS, we have begun characterizing the focal ratio degradation (FRD) of candidate multi-mode fibres with the ultimate goal of testing all ~4000 MSE fibres. To achieve this, we have built an optical bench to perform an automated version of the collimated beam test. Herein we present the design of the bench and discuss the automation of components by introducing the Big FiTS Fibre Wrapper (Big FFW), our open-source automation software. We conclude with the results of tests performed using the Big FFW on a sample of candidate fibre, comparing the Big FFW results against those found using manual methods. Our results suggest that the candidate MSE fibre meets the science requirement of < 5% FRD at f=2 and less than 1% disagreement between both measurement methods.


title: Torsional Responses and Liouville Anomaly in Weyl Semimetals with Dislocations

abstract: Weyl nodes in three-dimensional Weyl semimetals break the Liouville equation, leading to the Liouville anomaly. Here we present a new approach to derive the semiclassical action and equations of motion for Weyl fermions in the presence of electromagnetic fields and torsions from the quantum field theory: combining the Wigner transformation with band projection operation. It has been shown that the Liouville anomaly, including a new pure torsion anomaly term, a mixing term between the electromagnetic fields and torsions as well as the conventional chiral anomaly, entirely differs from the counterpart of axial gauge fields. We find various torsional responses and reproduce the chiral vortical effect and the torsional chiral magnetic effect. A new torsion modified anomalous Hall effect due to the mixing term in the Liouville anomaly is predicted and its implementation is also discussed. Therefore, our work not only provides new insights into the torsional responses for Weyl fermions but also acts as a starting point to investigate their topological responses.


title: Strong randomness criticality in the scratched-XY model

abstract: We study the finite-temperature superfluid transition in a modified two-dimensional (2D) XY model with power-law distributed "scratch"-like bond disorder. As its exponent decreases, the disorder grows stronger and the mechanism driving the superfluid transition changes from conventional vortex-pair unbinding to a strong randomness criticality (termed scratched-XY criticality) characterized by a non-universal jump of the superfluid stiffness. The existence of the scratched-XY criticality at finite temperature and its description by an asymptotically exact semi-renormalization group theory, previously developed for the superfluid-insulator transition in one-dimensional disordered quantum systems, is numerically proven by designing a model with minimal finite size effects. Possible experimental implementations are discussed.


title: Electrical manipulation of semiconductor spin qubits within the g-matrix formalism

abstract: We discuss the modeling of the electrical manipulation of spin qubits in the linear-response regime where the Rabi frequency is proportional to the magnetic field and to the radio-frequency electric field excitation. We show that the Rabi frequency can be obtained from a generalized g-tensor magnetic resonance formula featuring a g-matrix and its derivative g' with respect to the electric field (or gate voltage) as inputs. These matrices can be easily calculated from the wave functions of the qubit at zero magnetic field. The g-matrix formalism therefore provides the complete dependence of the Larmor and Rabi frequencies on the orientation of the magnetic field at very low computational cost. It also provides a compact model for the control of the qubit, and a simple framework for the analysis of the effects of symmetries on the anisotropy of the Larmor and Rabi frequencies. The g-matrix formalism applies to a wide variety of electron and hole qubits, and we focus on a hole qubit in a silicon-on-insulator nanowire as an illustration. We show that the Rabi frequency of this qubit shows a complex dependence on the orientation of the magnetic field, and on the gate voltages that control the symmetry of the hole wave functions. We point out that the qubit may be advantageously switched between two bias points, one where it can be manipulated efficiently, and one where it is largely decoupled from the gate field but presumably longer lived. We also discuss the role of residual strains in such devices in relation to recent experiments.


title: Universal features of the Abelian Polyakov loop in 1+1 dimension

abstract: We show that the Polyakov loop of the two-dimensional lattice Abelian Higgs model can be calculated using the tensor renormalization group approach. We check the accuracy of the results using standard Monte Carlo simulations. We show that the energy gap produced by the insertion of the Polyakov loop obeys universal finite-size scaling which persists in the time continuum limit. We briefly discuss the relevance of these results for quantum simulations.


title: A Spacetime Area Law Bound on Quantum Correlations

abstract: Area laws are a far-reaching consequence of the locality of physical interactions, and they are relevant in a range of systems, from black holes to quantum many-body systems. Typically, these laws concern the entanglement entropy or the quantum mutual information of a subsystem at a single time. However, when considering information propagating in spacetime, while carried by a physical system with local interactions, it is intuitive to expect area laws to hold for spacetime regions; in this work, we prove such a law in the case of quantum lattice systems. We consider a sequence of local quantum operations performed at discrete times on a spin-lattice, such that each operation is associated to a point in spacetime. In the time between operations, the time evolution of the spins is governed by a finite range Hamiltonian. By considering a purification of the quantum instruments and analyzing the quantum mutual information between the ancillas used in the purification, we obtain a spacetime area law bound for the correlations between the measurement outcomes inside a spacetime region, and those outside of it.


title: Requirements and Design Methodology for a Spatio-Angular Vitreoretinal Surgical Microscope

abstract: This paper presents the requirements and design methodology for a vitreoretinal surgical microscope based on plenoptic imaging. The design parameters of the imaging lens, micro-lens array, and sensor are specified. The proposed design provides an extended depth imaging range when compared to proof-of-concept systems based on a commercial plenoptic sensor, and serves as the guideline for the implementation of clinically relevant surgical microscopes.


title: Reverse Hardy-Littlewood-Sobolev inequalities

abstract: This paper is devoted to a new family of reverse Hardy-Littlewood-Sobolev inequalities which involve a power law kernel with positive exponent. We investigate the range of the admissible parameters and the properties of the optimal functions. A striking open question is the possibility of concentration which is analyzed and related with free energy functionals and nonlinear diffusion equations involving mean field drifts.


title: PReMVOS: Proposal-generation, Refinement and Merging for Video Object Segmentation

abstract: We address semi-supervised video object segmentation, the task of automatically generating accurate and consistent pixel masks for objects in a video sequence, given the first-frame ground truth annotations. Towards this goal, we present the PReMVOS algorithm (Proposal-generation, Refinement and Merging for Video Object Segmentation). Our method separates this problem into two steps, first generating a set of accurate object segmentation mask proposals for each video frame and then selecting and merging these proposals into accurate and temporally consistent pixel-wise object tracks over a video sequence in a way which is designed to specifically tackle the difficult challenges involved with segmenting multiple objects across a video sequence. Our approach surpasses all previous state-of-the-art results on the DAVIS 2017 video object segmentation benchmark with a J & F mean score of 71.6 on the test-dev dataset, and achieves first place in both the DAVIS 2018 Video Object Segmentation Challenge and the YouTube-VOS 1st Large-scale Video Object Segmentation Challenge.


title: Quantum signature of exciton condensation

abstract: Exciton condensation, a Bose-Einstein-like condensation of excitons, was recently reported in an electronic double layer (EDL) of graphene. We show that a universal quantum signature for exciton condensation can be used to both identity and quantify exciton condensation in molecular systems from direct calculations of the two-electron reduced density matrix. Computed large eigenvalues in the particle-hole reduced-density matrices of pentacene and hexacene EDLs reveal the beginnings of condensation, suggesting the potential for exciton condensation in smaller scale molecular EDLs.


title: Multicolumn Networks for Face Recognition

abstract: The objective of this work is set-based face recognition, i.e. to decide if two sets of images of a face are of the same person or not. Conventionally, the set-wise feature descriptor is computed as an average of the descriptors from individual face images within the set. In this paper, we design a neural network architecture that learns to aggregate based on both "visual" quality (resolution, illumination), and "content" quality (relative importance for discriminative classification). To this end, we propose a Multicolumn Network (MN) that takes a set of images (the number in the set can vary) as input, and learns to compute a fix-sized feature descriptor for the entire set. To encourage high-quality representations, each individual input image is first weighted by its "visual" quality, determined by a self-quality assessment module, and followed by a dynamic recalibration based on "content" qualities relative to the other images within the set. Both of these qualities are learnt implicitly during training for set-wise classification. Comparing with the previous state-of-the-art architectures trained with the same dataset (VGGFace2), our Multicolumn Networks show an improvement of between 2-6% on the IARPA IJB face recognition benchmarks, and exceed the state of the art for all methods on these benchmarks.


title: GRAINS: Generative Recursive Autoencoders for INdoor Scenes

abstract: We present a generative neural network which enables us to generate plausible 3D indoor scenes in large quantities and varieties, easily and highly efficiently. Our key observation is that indoor scene structures are inherently hierarchical. Hence, our network is not convolutional; it is a recursive neural network or RvNN. Using a dataset of annotated scene hierarchies, we train a variational recursive autoencoder, or RvNN-VAE, which performs scene object grouping during its encoding phase and scene generation during decoding. Specifically, a set of encoders are recursively applied to group 3D objects based on support, surround, and co-occurrence relations in a scene, encoding information about object spatial properties, semantics, and their relative positioning with respect to other objects in the hierarchy. By training a variational autoencoder (VAE), the resulting fixed-length codes roughly follow a Gaussian distribution. A novel 3D scene can be generated hierarchically by the decoder from a randomly sampled code from the learned distribution. We coin our method GRAINS, for Generative Recursive Autoencoders for INdoor Scenes. We demonstrate the capability of GRAINS to generate plausible and diverse 3D indoor scenes and compare with existing methods for 3D scene synthesis. We show applications of GRAINS including 3D scene modeling from 2D layouts, scene editing, and semantic scene segmentation via PointNet whose performance is boosted by the large quantity and variety of 3D scenes generated by our method.


title: Chromatic transitions in the emergence of syntax networks

abstract: The emergence of syntax during childhood is a remarkable example of how complex correlations unfold in nonlinear ways through development. In particular, rapid transitions seem to occur as children reach the age of two, which seems to separate a two-word, tree-like network of syntactic relations among words from a scale-free graphs associated to the adult, complex grammar. Here we explore the evolution of syntax networks through language acquisition using the {\em chromatic number}, which captures the transition and provides a natural link to standard theories on syntactic structures. The data analysis is compared to a null model of network growth dynamics which is shown to display nontrivial and sensible differences. In a more general level, we observe that the chromatic classes define independent regions of the graph, and thus, can be interpreted as the footprints of incompatibility relations, somewhat as opposed to modularity considerations.


title: Constraints on Cosmology and Baryonic Feedback with the Deep Lens Survey Using Galaxy-Galaxy and Galaxy-Mass Power Spectra

abstract: We present cosmological parameter measurements from the Deep Lens Survey (DLS) using galaxy-mass and galaxy-galaxy power spectra in the multipole range $\ell=250\sim2000$. We measure galaxy-galaxy power spectra from two lens bins centered at $z\sim0.27$ and $0.54$ and galaxy-mass power spectra by cross-correlating the positions of galaxies in these two lens bins with galaxy shapes in two source bins centered at $z\sim0.64$ and $1.1$. We marginalize over a baryonic feedback process using a single-parameter representation and a sum of neutrino masses, as well as photometric redshift and shear calibration systematic uncertainties. For a flat $\Lambda$CDM cosmology, we determine $S_8\equiv\sigma_8\sqrt{\Omega_m/0.3}=0.810^{+0.039}_{-0.031}$, in good agreement with our previous DLS cosmic shear and the Planck Cosmic Microwave Background (CMB) measurements. Without the baryonic feedback marginalization, $S_8$ decreases by $\sim0.05$ because the dark matter-only power spectrum lacks the suppression at the highest $\ell$'s due to Active Galactic Nuclei (AGN) feedback. Together with the Planck CMB measurement, we constrain the baryonic feedback parameter to $A_{baryon}=1.07^{+0.31}_{-0.39}$, which suggests an interesting possibility that the actual AGN feedback might be stronger than the recipe used in the OWLS simulations. The interpretation is limited by the validity of the baryonic feedback simulation and the one-parameter representation of the effect.


title: A Convex Formulation for Binary Tomography

abstract: Binary tomography is concerned with the recovery of binary images from a few of their projections (i.e., sums of the pixel values along various directions). To reconstruct an image from noisy projection data, one can pose it as a constrained least-squares problem. As the constraints are non-convex, many approaches for solving it rely on either relaxing the constraints or heuristics. In this paper we propose a novel convex formulation, based on the Lagrange dual of the constrained least-squares problem. The resulting problem is a generalized LASSO problem which can be solved efficiently. It is a relaxation in the sense that it can only be guaranteed to give a feasible solution; not necessarily the optimal one. In exhaustive experiments on small images (2x2, 3x3, 4x4) we find, however, that if the problem has a unique solution, our dual approach finds it. In case of multiple solutions, our approach finds the commonalities between the solutions. Further experiments on realistic numerical phantoms and an experiment on X-ray dataset show that our method compares favourably to Total Variation and DART.


title: Noncommutative Shifted Symmetric Functions

abstract: We introduce a ring of noncommutative shifted symmetric functions based on an integer-indexed sequence of shift parameters. Using generating series and quasideterminants, this multiparameter approach produces deformations of the ring of noncommutative symmetric functions. Shifted versions of ribbon Schur functions are defined and form a basis for the ring. Further, we produce analogues of Jacobi-Trudi and N\"agelsbach-Kostka formulas, a duality anti-algebra isomorphism, shifted quasi-Schur functions, and Giambelli's formula in this setup. In addition, an analogue of power sums is provided, satisfying versions of Wronski and Newton formulas. Finally, a realization of these noncommutative shifted symmetric functions as rational functions in noncommuting variables is given. These realizations have a shifted symmetry under exchange of the variables and are well-behaved under extension of the list of variables.


title: Quasi-doubling of self-similar measures with overlaps

abstract: The Assouad and quasi-Assouad dimensions of a metric space provide information about the extreme local geometric nature of the set. The Assouad dimension of a set has a measure theoretic analogue, which is also known as the upper regularity dimension. One reason for the interest in this notion is that a measure has finite Assouad dimension if and only if it is doubling. Motivated by recent progress on both the Assouad dimension of measures that satisfy a strong separation condition and the quasi-Assouad dimension of metric spaces, we introduce the notion of the quasi-Assouad dimension of a measure. As with sets, the quasi-Assouad dimension of a measure is dominated by its Assouad dimension. It dominates both the quasi-Assouad dimension of its support and the supremal local dimension of the measure, with strict inequalities possible in all cases. Our main focus is on self-similar measures in $\mathbb{R}$ whose support is an interval and which may have `overlaps'. For measures that satisfy a weaker condition than the weak separation condition we prove that finite quasi-Assouad dimension is equivalent to quasi-doubling of the measure, a strictly less restrictive property than doubling. Further, we exhibit a large class of such measures for which the quasi-Assouad dimension coincides with the maximum of the local dimension at the endpoints of the support. This class includes all regular, equicontractive self-similar measures satisfying the weak separation condition, such as convolutions of uniform Cantor measures with integer ratio of dissection. Other properties of this dimension are also established and many examples are given.


title: Bursting and reformation cycle of the laminar separation bubble over a NACA-0012 aerofoil: The dynamics of the flow-field

abstract: Detailed flow dissection using Dynamic Mode Decomposition (DMD) and Proper Orthogonal Decomposition (POD) is carried out to investigate the dynamics of the flow-field around a NACA-0012 aerofoil at a Reynolds number of $5\times 10^4$, Mach number of $0.4$, and at various angles of attack around the onset of stall. Three distinct dominant flow modes are identified by the DMD and the POD: 1) a globally oscillating flow mode at a low-frequency (LFO mode 1); 2) a locally oscillating flow mode on the suction surface of the aerofoil at a low-frequency (LFO mode 2); and 3) a locally oscillating flow mode along the wake of the aerofoil at a high-frequency (HFO mode). The LFO mode 1 features the globally oscillating-flow around the aerofoil, the oscillating-pressure along the aerofoil chord, and the process that creates and sustains the triad of vortices. The LFO mode 2 features the expansion and advection of the upstream vortex (UV) of the TCV. The HFO mode originates at the aerofoil leading-edge and features the oscillating mode along the aerofoil wake. The HFO mode exists at all of the investigated angles of attack and causes a global oscillation in the flow-field. The global flow oscillation around the aerofoil interacts with the laminar portion of the separated shear layer in the vicinity of the leading-edge and triggers an inviscid absolute instability that creates and sustains the TCV. When the UV of the TCV expands, it advects downstream and energies the HFO mode. The LFO mode 1, the LFO mode 2, and the HFO mode mutually strengthen each other until the LFO mode 1 and 2 overtake the HFO mode at the onset of stall. At the angles of attack $9.7^{\circ} \leq \alpha \leq 10.0^{\circ}$ the low-frequency flow oscillation (LFO) phenomenon is fully developed. At higher angles of attack, the HFO mode overtakes the LFO mode 2, and the aerofoil undergoes a full stall.


abstract: Selecting the most appropriate data examples to present a deep neural network (DNN) at different stages of training is an unsolved challenge. Though practitioners typically ignore this problem, a non-trivial data scheduling method may result in a significant improvement in both convergence and generalization performance. In this paper, we introduce Self-Paced Learning with Adaptive Deep Visual Embeddings (SPL-ADVisE), a novel end-to-end training protocol that unites self-paced learning (SPL) and deep metric learning (DML). We leverage the Magnet Loss to train an embedding convolutional neural network (CNN) to learn a salient representation space. The student CNN classifier dynamically selects similar instance-level training examples to form a mini-batch, where the easiness from the cross-entropy loss and the true diverseness of examples from the learned metric space serve as sample importance priors. To demonstrate the effectiveness of SPL-ADVisE, we use deep CNN architectures for the task of supervised image classification on several coarse- and fine-grained visual recognition datasets. Results show that, across all datasets, the proposed method converges faster and reaches a higher final accuracy than other SPL variants, particularly on fine-grained classes.


title: Every square can be tiled with T-tetrominos and no more than 5 monominos

abstract: If n is a multiple of 4, then a square of side n can be tiled with T-tetrominos, using a well-known construction. If n is even but not a multiple of four, then there exists an equally well-known construction for tiling a square of side n with T-tetrominos and exactly 4 monominos. On the other hand, it was shown by Walkup that it is not possible to tile the square using only T-tetrominos. Now consider the remaining cases, where n is odd. It was shown by Zhan that it is not possible to tile such a square using only one monomino. Hochberg showed that no more than 9 monominos are ever needed. We give a construction for all odd n which uses exactly 5 monominos, thereby resolving this question.


title: Constraint-Based Visual Generation

abstract: In the last few years the systematic adoption of deep learning to visual generation has produced impressive results that, amongst others, definitely benefit from the massive exploration of convolutional architectures. In this paper, we propose a general approach to visual generation that combines learning capabilities with logic descriptions of the target to be generated. The process of generation is regarded as a constrained satisfaction problem, where the constraints describe a set of properties that characterize the target. Interestingly, the constraints can also involve logic variables, while all of them are converted into real-valued functions by means of the t-norm theory. We use deep architectures to model the involved variables, and propose a computational scheme where the learning process carries out a satisfaction of the constraints. We propose some examples in which the theory can naturally be used, including the modeling of GAN and auto-encoders, and report promising results in problems with the generation of handwritten characters and face transformations.


title: Theoretical Perspective of Convergence Complexity of Evolutionary Algorithms Adopting Optimal Mixing

abstract: The optimal mixing evolutionary algorithms (OMEAs) have recently drawn much attention for their robustness, small size of required population, and efficiency in terms of number of function evaluations (NFE). In this paper, the performances and behaviors of OMEAs are studied by investigating the mechanism of optimal mixing (OM), the variation operator in OMEAs, under two scenarios -- one-layer and two-layer masks. For the case of one-layer masks, the required population size is derived from the viewpoint of initial supply, while the convergence time is derived by analyzing the progress of sub-solution growth. NFE is then asymptotically bounded with rational probability by estimating the probability of performing evaluations. For the case of two-layer masks, empirical results indicate that the required population size is proportional to both the degree of cross competition and the results from the one-layer-mask case. The derived models also indicate that population sizing is decided by initial supply when disjoint masks are adopted, that the high selection pressure imposed by OM makes the composition of sub-problems impact little on NFE, and that the population size requirement for two-layer masks increases with the reverse-growth probability.


title: Singular knot bundle in light

abstract: As the size of an optical vortex knot, imprinted in a coherent light beam, is decreased, nonparaxial effects alter the structure of the knotted optical singularity. For knot structures approaching the scale of wavelength, longitudinal polarization effects become non-negligible and the electric and magnetic fields differ, leading to intertwined knotted nodal structures in the transverse and longitudinal polarization components which we call a knot bundle of polarization singularities. We analyze their structure using polynomial beam approximations, and numerical diffraction theory. The analysis reveals features of spin-orbit effects and polarization topology in tightly-focused geometry, and we propose an experiment to measure this phenomenon.


title: End-to-End Deep Imitation Learning: Robot Soccer Case Study

abstract: In imitation learning, behavior learning is generally done using the features extracted from the demonstration data. Recent deep learning algorithms enable the development of machine learning methods that can get high dimensional data as an input. In this work, we use imitation learning to teach the robot to dribble the ball to the goal. We use B-Human robot software to collect demonstration data and a deep convolutional network to represent the policies. We use top and bottom camera images of the robot as input and speed commands as outputs. The CNN policy learns the mapping between the series of images and speed commands. In 3D realistic robotics simulator experiments, we show that the robot is able to learn to search the ball and dribble the ball, but it struggles to align to the goal. The best-proposed policy model learns to score 4 goals out of 20 test episodes.


title: Spin-split conductance and subgap peak in ferromagnet/superconductor spin valve heterostructures

abstract: We consider the separate spin channel contributions to the charge conductance in superconducting/ferromagnetic spin valve $F_1/N/F_2/S$ structures. We find that the up- and down-spin conductance contributions may have a very different behavior in the subgap bias region (i.e. there is a spin-split conductance). This leads to a subgap %EM2 added spin-split conductance peak in the total conductance. This peak behavior, which can be prominent also in $N/F/S$ systems, is strongly dependent, in a periodic way, on the thickness of the intermediate ferromagnetic layer. We study this phenomenon using a numerical self consistent method, with additional insights gained from an approximate analytic calculation for an infinite $N/F/S$ structure. We study also the angular dependence on the relative magnetization angle between $F_1$ and $F_2$ of both the spin-split and the total conductance. We do so for realistic material parameters and layer thicknesses relevant to experimental studies on these devices. We also find that the spin-split conductance is highly dependent on the interfacial scattering in these devices, and we carefully include these effects for realistic systems. A strong valve-effect is found for the angularly dependent subgap peak conductance that is largely independent on the scattering and may prove useful in actual realizations of a superconducting spin valve device.


title: Face Mask Extraction in Video Sequence

abstract: Inspired by the recent development of deep network-based methods in semantic image segmentation, we introduce an end-to-end trainable model for face mask extraction in video sequence. Comparing to landmark-based sparse face shape representation, our method can produce the segmentation masks of individual facial components, which can better reflect their detailed shape variations. By integrating Convolutional LSTM (ConvLSTM) algorithm with Fully Convolutional Networks (FCN), our new ConvLSTM-FCN model works on a per-sequence basis and takes advantage of the temporal correlation in video clips. In addition, we also propose a novel loss function, called Segmentation Loss, to directly optimise the Intersection over Union (IoU) performances. In practice, to further increase segmentation accuracy, one primary model and two additional models were trained to focus on the face, eyes, and mouth regions, respectively. Our experiment shows the proposed method has achieved a 16.99% relative improvement (from 54.50% to 63.76% mean IoU) over the baseline FCN model on the 300 Videos in the Wild (300VW) dataset.


title: A Hybrid of Deep Audio Feature and i-vector for Artist Recognition

abstract: Artist recognition is a task of modeling the artist's musical style. This problem is challenging because there is no clear standard. We propose a hybrid method of the generative model i-vector and the discriminative model deep convolutional neural network. We show that this approach achieves state-of-the-art performance by complementing each other. In addition, we briefly explain the advantages and disadvantages of each approach.


title: Hodge Theory of the Turaev Cobracket and the Kashiwara--Vergne Problem

abstract: In this paper we show that, after completing in the $I$-adic topology, the Turaev cobracket on the vector space freely generated by the closed geodesics on a smooth, complex algebraic curve $X$ with an algebraic framing is a morphism of mixed Hodge structure. We combine this with results of a previous paper (arXiv:1710.06053) on the Goldman bracket to construct torsors of solutions of the Kashiwara--Vergne problem in all genera. The solutions so constructed form a torsor under a prounipotent group that depends only on the topology of the framed surface. We give a partial presentation of these groups. Along the way, we give a homological description of the Turaev cobracket.


title: Deterministic Fitting of Multiple Structures using Iterative MaxFS with Inlier Scale Estimation and Subset Updating

abstract: We present an efficient deterministic hypothesis generation algorithm for robust fitting of multiple structures based on the maximum feasible subsystem (MaxFS) framework. Despite its advantage, a global optimization method such as MaxFS has two main limitations for geometric model fitting. First, its performance is much influenced by the user-specified inlier scale. Second, it is computationally inefficient for large data. The presented MaxFS-based algorithm iteratively estimates model parameters and inlier scale and also overcomes the second limitation by reducing data for the MaxFS problem. Further it generates hypotheses only with top-n ranked subsets based on matching scores and data fitting residuals. This reduction of data for the MaxFS problem makes the algorithm computationally realistic. Our method, called iterative MaxFS with inlier scale estimation and subset updating (IMaxFS-ISE-SU) in this paper, performs hypothesis generation and fitting alternately until all of true structures are found. The IMaxFS-ISE-SU algorithm generates substantially more reliable hypotheses than random sampling-based methods especially as (pseudo-)outlier ratios increase. Experimental results demonstrate that our method can generate more reliable and consistent hypotheses than random sampling-based methods for estimating multiple structures from data with many outliers.


title: A tale of two Regge limits

abstract: In light of the strong advances in understanding the mathematical structure of scattering amplitudes, we discuss the Regge limit of QCD and of the ${\cal N}=4$ Super Yang-Mills theory.


title: Multifactorial cancer treatment outcome prediction through multifaceted radiomics

abstract: Accurately predicting the treatment outcome plays a greatly important role in tailoring and adapting a treatment planning in cancer therapy. Although the development of different modalities and personalized medicine can greatly improve the accuracy of outcome prediction, they also bring the three mainly simultaneous challenges including multi-modality, multi-classifier and multi-criteria, which are summarized as multifactorial outcome prediction (MFOP) in this paper. Compared with traditional outcome prediction, MFOP is a more generalized problem. To handle this novel problem, based on the recent proposed radiomics, we propose a new unified framework termed as multifaceted radiomics (M-radiomics). M-radiomics trains multiple modality-specific classifiers first and then optimally combines the output from the outputs of different classifiers which are trained according to multiple different criteria such as sensitivity and specificity. It considers multi-modality, multi-classifier and multi-criteria into a unified framework, which makes the prediction more accurate. Furthermore, to obtain the more reliable predictive performance which is to maximize the similarity between predicted output and labelled vector, a new validation set based reliable fusion (VRF) strategy and reliable optimization models as well as a new recursive two stage hybrid optimization algorithm (RTSH) were also developed. Two clinical problems for predicting distant metastasis and locoregional recurrence in head & neck cancer were investigated to validate the performance and reliability of the proposed M-radiomics. By using the proposed RF strategy and RTSH optimization algorithm, the experimental results demonstrated that M-radiomics performed better than current radiomic models that rely on a single objective, modality or classifier.


title: Hardware-In-The-Loop Vulnerability Analysis of a Single-Machine Infinite-Bus Power System

abstract: The dynamic performance of the generators is a critical factor for the safe operation of the power grid. To this extent, the stability of the frequency of generators is the target of cyber attacks since its instability may lead to sizable cascade failures in the whole network. In this paper, we perform the vulnerability analysis in a developed power grid Hardware-In-The-Loop (HITL) testbed with a Wago 750-881 PLC sending control commands to the generators and a 750 Feeder Management Relay connected to a local load. A process-aware coordinated attack is demonstrated by spoofing control commands sent by the PLC and the relay to the simulated power system which is modeled as a single-machine infinite-bus (SMIB). Based on the reachability analysis, the attacker can find the optimal attack signal to drive the system state out of their safe set of values. Thereafter, it is experimentally demonstrated that the attacker does not need to send attack signal continuously if he implements a carefully designed coordinated attack on the PLC and the relay. The presented assessments provide information about the best time to launch an attack in order to destabilize the power system.


title: Twisted Gravitational Waves of Petrov Type D

abstract: Twisted gravitational waves (TGWs) are nonplanar unidirectional Ricci-flat solutions of general relativity. Thus far only TGWs of Petrov type \emph{II} are implicitly known that depend on a solution of a partial differential equation and have wave fronts with negative Gaussian curvature. A special Petrov type \emph{D} class of such solutions that depends on an arbitrary function is explicitly studied in this paper and its Killing vectors are worked out. Moreover, we concentrate on two solutions of this class, namely, the Harrison solution and a simpler solution we call the $w$-metric and determine their Penrose plane-wave limits. The corresponding transition from a nonplanar TGW to a plane gravitational wave is elucidated.


title: Physical Generalizations of the Renyi Entropy

abstract: We present a new type of generalization of the Renyi entropy that follows naturally from its representation as a thermodynamic quantity. We apply it to the case of d-dimensional conformal field theories (CFTs) reduced on a region bounded by a sphere. It is known how to compute their Renyi entropy as an integral of the thermal entropy of hyperbolic black holes in (d+1)-dimensional anti-de Sitter spacetime. We show how this integral fits into the framework of extended gravitational thermodynamics, and then point out the natural generalization of the Renyi entropy that suggests itself in that light. In field theory terms, the new generalization employs aspects of the physics of Renormalization Group (RG) flow to define a refined version of the reduced vacuum density matrix. For d=2, it can be derived directly in terms of twist operators in field theory. The framework presented here may have applications beyond this context, perhaps in studies of both quantum and classical information theoretic properties of a variety of systems.


title: Deorbitalized meta-GGA Exchange-Correlation Functionals in Solids

abstract: A procedure for removing explicit orbital dependence from meta-generalized-gradient approximation (mGGA) exchange-correlation functionals by converting them into Laplacian-dependent functionals recently was developed by us and shown to be successful in molecules. It uses an approximate kinetic energy density functional (KEDF) parametrized to Kohn-Sham results (not experimental data) on a small training set. Here we present extensive validation calculations on periodic solids that demonstrate that the same deorbitalization with the same parametrization also is successful for those extended systems. Because of the number of stringent constraints used in its construction and its recent prominence, our focus is on the SCAN meta-GGA. Coded in \textsc{vasp}, the deorbitalized version, SCAN-L, can be as much as a factor of three faster than original SCAN, a potentially significant gain for large-scale ab initio molecular dynamics.


title: Parallel Whale Optimization Algorithm for Solving Constrained and Unconstrained Optimization Problems

abstract: Recently the engineering optimization problems require large computational demands and long solution time even on high multi-processors computational devices. In this paper, an OpenMP inspired parallel version of the whale optimization algorithm (PWOA) to obtain enhanced computational throughput and global search capability is presented. It automatically detects the number of available processors and divides the workload among them to accomplish the effective utilization of the available resources. PWOA is applied on twenty unconstrained optimization functions on multiple dimensions and five constrained optimization engineering functions. The proposed parallelism PWOA algorithms performance is evaluated using parallel metrics such as speedup, efficiency. The comparison illustrates that the proposed PWOA algorithm has obtained the same results while exceeding the sequential version in performance. Furthermore, PWOA algorithm in the term of computational time and speed of parallel metric was achieved better results over the sequential processing compared to the standard WOA.


title: Constructing Bach Flat Manifolds of signature $(2,2)$ using the modified Riemannian extension

abstract: We use the modified Riemannian extension of an affine surface to construct Bach flat manifolds. As all these examples are VSI (vanishing scalar invariants), we shall construct scalar invariants which are not of Weyl type to distinguish them. We illustrate this phenomena in the context of homogeneous affine surfaces.


title: The Hubbard Model: Exact Results in the Strong Coupling Limit

abstract: Exact relations are derived for the Fermi Hubbard spectral weight function for infinite U at zero temperature in the thermodynamic limit for any dimension,any lattice structure and general hopping matrix. These relations involve moments of the spectral weight function but differ from similar work by (a) restricting the moments over the interesting low energy (lower Hubbard band) spectrum and (b) without any of the usual approximations (e.g. decoupling) for the requisite higher order correlation functions. The latter are determined exactly as explicit functions of the single particle correlation function in the infinite U limit. The methods behind these results have the additional virtue of simplicity - cumbersome, but entirely straightforward. In a companion paper, the relations offer rich insights into the model behavior and offer severe tests - a computer lab - of any proposed solution to the Hubbard model in the strong correlation (large finite U) region. As the electron density approaches one electron per site, then the correlation functions become local, so are trivial to compute exactly. In that limit and for the paramagnetic case, the second central moment of the spectral weight function is not zero, but quite large.


title: Detecting gasoline in small public places based on wireless sensor network

abstract: Fire accidents often cause unpredictable catastrophic losses. At present, existing fire prevention measures in public places are mostly based on the emergency treatments after the fire, which have limited protection capability when the fire spreads rapidly, especially for the flammable liquid explosion accident. Based on the gas sensor network, this paper proposes a detection framework as well as detail technologies to detect flammable liquid existing in small spaces. We propose to use sensor network to detect the flammable liquids through monitoring the concentrations of the target liquid vapor diffused in the air. Experiment results show that, the proposed surveillant system can detect the gasoline components in small space with high sensitivity while maintaining very low false detection rates to external interferences.


title: Structural health monitoring with distributed wireless sensor networks

abstract: Wireless Sensor Networks(WSN) are a today technology with great practicability in the real world. We focus on describing WSN architecture, regarding usefulness in constructions like structural health monitoring and importance, and advantages of using WSN in this domain


title: Sensor Networks Architecture for Vehicles and Pedestrians Traffic Control

abstract: In this paper we present a sensor network based architecture for urban traffic management, hierarchically structured on three layers: sensing, processing& aggregation and control. On proposed architecture we define traffic decongestion methods for vehicles and also for pedestrians. Finally, we presented a case study on how traffic control can be implemented in a concrete situation, based on the proposed architecture, pointing future directions of development.


title: The Hubbard Model: A Computer Lab in the Strong Coupling Region

abstract: A challenge - and opportunity - is offered to the Hubbard Model community of solutions extant for the strong coupling region. A rigorous and quantitatively demanding test - a Computer Lab - is presented based on certain exact results for the strong coupling limit derived in a companion paper. The test offers rich insights into the essential physics of the model, specifically the quasiparticle energy and width of the spectral weight function in the lower Hubbard band. The width of the spectral weight function, related to electron scattering, is large and has a strong momentum dependence, even for infinite coupling. The test is applied to mean field solutions as well as some one dimensional results. In each case, substantial problems are exposed. The method is also used to determine a "best" (i.e. moment preserving) solution, subject to only one assumption of a single dominant peak for the lower Hubbard band spectral weight function.


title: FluidDyn: a Python open-source framework for research and teaching in fluid dynamics

abstract: FluidDyn is a project to foster open-science and open-source in the fluid dynamics community. It is thought of as a research project to channel open-source dynamics, methods and tools to do science. We propose a set of Python packages forming a framework to study fluid dynamics with different methods, in particular laboratory experiments (package fluidlab), simulations (packages fluidfft, fluidsim and fluidfoam) and data processing (package fluidimage). In the present article, we give an overview of the specialized packages of the project and then focus on the base package called fluiddyn, which contains common code used in the specialized packages. Packages fluidfft and fluidsim are described with greater detail in two companion papers, Mohanan et al. (2018a,b). With the project FluidDyn, we demonstrate that specialized scientific code can be written with methods and good practices of the open-source community. The Mercurial repositories are available in Bitbucket (https://bitbucket.org/fluiddyn/). All codes are documented using Sphinx and Read the Docs, and tested with continuous integration run on Bitbucket, Pipelines and Travis. To improve the reuse potential, the codes are as modular as possible, leveraging the simple object-oriented programming model of Python. All codes are also written to be highly efficient, using C++, Cython and Pythran to speedup the performance of critical functions.


title: Decentralised Random Number Generation

abstract: Decentralised random number generation algorithms suffer from the Last Actor Problem, in which the last participant to reveal their share can manipulate the generated random value by withholding their share. This paper proposes an encrypted share threshold scheme which prevents this attack.


title: HyperNets and their application to learning spatial transformations

abstract: In this paper we propose a conceptual framework for higher-order artificial neural networks. The idea of higher-order networks arises naturally when a model is required to learn some group of transformations, every element of which is well-approximated by a traditional feedforward network. Thus the group as a whole can be represented as a hyper network. One of typical examples of such groups is spatial transformations. We show that the proposed framework, which we call HyperNets, is able to deal with at least two basic spatial transformations of images: rotation and affine transformation. We show that HyperNets are able not only to generalize rotation and affine transformation, but also to compensate the rotation of images bringing them into canonical forms.


title: Multi-Class Lesion Diagnosis with Pixel-wise Classification Network

abstract: Lesion diagnosis of skin lesions is a very challenging task due to high inter-class similarities and intra-class variations in terms of color, size, site and appearance among different skin lesions. With the emergence of computer vision especially deep learning algorithms, lesion diagnosis is made possible using these algorithms trained on dermoscopic images. Usually, deep classification networks are used for the lesion diagnosis to determine different types of skin lesions. In this work, we used pixel-wise classification network to provide lesion diagnosis rather than classification network. We propose to use DeeplabV3+ for multi-class lesion diagnosis in dermoscopic images of Task 3 of ISIC Challenge 2018. We used various post-processing methods with DeeplabV3+ to determine the lesion diagnosis in this challenge and submitted the test results.


title: Analog quantum chemistry simulation

abstract: Computing the electronic structure of molecules with high precision is a central challenge in the field of quantum chemistry. Despite the enormous success of approximate methods, tackling this problem exactly with conventional computers is still a formidable task. This has triggered several theoretical and experimental efforts to use quantum computers to solve chemistry problems, with first proof-of-principle realizations done in a digital manner. An appealing alternative to the digital approach is analog quantum simulation, which does not require a scalable quantum computer, and has already been successfully applied in condensed matter physics problems. However, all available or planned setups cannot be used in quantum chemistry problems, since it is not known how to engineer the required Coulomb interactions with them. Here, we present a new approach to the simulation of quantum chemistry problems in an analog way. Our method relies on the careful combination of two technologies: ultra-cold atoms in optical lattices and cavity QED. In the proposed simulator, fermionic atoms hopping in an optical potential play the role of electrons, additional optical potentials provide the nuclear attraction, and a single spin excitation over a Mott insulator mediates the electronic Coulomb repulsion with the help of a cavity mode. We also provide the operational conditions of the simulator and benchmark it with a simple molecule. Our work opens up the possibility of efficiently computing electronic structures of molecules with analog quantum simulation.


title: Combinatorics of the Deodhar decomposition of the Grassmannian

abstract: The Deodhar decomposition of the Grassmannian is a refinement of the Schubert, Richardson, and positroid stratifications of the Grassmannian. Go-diagrams are certain fillings of Ferrers diagrams with black stones, white stones, and pluses which index Deodhar components in the Grassmannian. We provide a series of corrective flips on diagrams which may be used to transform arbitrary fillings of Ferrers shapes with black stones, white stones, and pluses into a Go-diagram. This provides an extension of Lam and Williams' Le-moves for transforming reduced diagrams into Le-diagrams to the context of non-reduced diagrams. Next, we address the question of describing when the closure of one Deodhar component is contained in the closure of another. We show that if one Go-diagram $D$ is obtained from another $D'$ by replacing certain stones with pluses, then applying corrective flips, that there is a containment of closures of the associated Deodhar components, $\overline{\mathcal{D}'} \subset \overline{\mathcal{D}}$. Finally, we address the question of verifying whether an arbitrary filling of a Ferrers shape with black stones, white stones, and pluses is a Go-diagram. We show that no reasonable description of the class of Go-diagrams in terms of forbidden subdiagrams can exist by providing an injection from the set of valid Go-diagrams to the set of minimal forbidden subdiagrams for the class of Go-diagrams. In lieu of such a description, we offer an inductive characterization of the class of Go-diagrams.


title: Clifford's attempt to test his gravitation hypothesis

abstract: Almost half a century before Einstein expounded his general theory of relativity, the English mathematician William Kingdon Clifford argued that space might not be Euclidean and proposed that matter is nothing but a small distortion in that spatial curvature. He further proposed that matter in motion is not more than the simple variation in space of this distortion. In this work, we conjecture that Clifford went further than his aforementioned proposals, as he tried to show that matter effectively curves space. For this purpose he made an unsuccessful observation on the change of the plane of polarization of the skylight during the solar eclipse of December 22, 1870 in Sicily.


title: Recent Quarkonia Studies from the PHENIX Experiment

abstract: Quarkonia suppression in nucleus-nucleus collisions is a powerful tool to probe the density and temperature of the medium created in heavy ion collisions. Forward rapidity measurements in $p(d)$+Au collisions are essential to understand how quarkonia states are affected by initial state effects, formation time, and local particle multiplicity. Earlier measurements in Au+Au collisions showed a stronger suppression of forward $J/\psi$ compared to mid-rapidity results, indicating the possibility of a smaller contribution of regenerated quarkonia states at forward rapidity. These proceedings report on the latest quarkonia studies performed by the PHENIX collaboration in the rapidity range $1.2<|y|<2.2$.


title: Deep Learning on Retina Images as Screening Tool for Diagnostic Decision Support

abstract: In this project, we developed a deep learning system applied to human retina images for medical diagnostic decision support. The retina images were provided by EyePACS. These images were used in the framework of a Kaggle contest, whose purpose to identify diabetic retinopathy signs through an automatic detection system. Using as inspiration one of the solutions proposed in the contest, we implemented a model that successfully detects diabetic retinopathy from retina images. After a carefully designed preprocessing, the images were used as input to a deep convolutional neural network (CNN). The CNN performed a feature extraction process followed by a classification stage, which allowed the system to differentiate between healthy and ill patients using five categories. Our model was able to identify diabetic retinopathy in the patients with an agreement rate of 76.73% with respect to the medical expert's labels for the test data.