title: Finite element approximation of an incompressible chemically reacting non-Newtonian fluid

abstract: We consider a system of nonlinear partial differential equations modelling the steady motion of an incompressible non-Newtonian fluid, which is chemically reacting. The governing system consists of a steady convection-diffusion equation for the concentration and the generalized steady Navier-Stokes equations, where the viscosity coefficient is a power-law type function of the shear-rate, and the coupling between the equations results from the concentration-dependence of the power-law index. This system of nonlinear partial differential equations arises in mathematical models of the synovial fluid found in the cavities of moving joints. We construct a finite element approximation of the model and perform the mathematical analysis of the numerical method in the case of two space dimensions. Key technical tools include discrete counterparts of the Bogovski\u{\i} operator, De Giorgi's regularity theorem in two dimensions, and the Acerbi-Fusco Lipschitz truncation of Sobolev functions, in function spaces with variable integrability exponents.


title: Covering lattice points by subspaces and counting point-hyperplane incidences

abstract: Let $d$ and $k$ be integers with $1 \leq k \leq d-1$. Let $\Lambda$ be a $d$-dimensional lattice and let $K$ be a $d$-dimensional compact convex body symmetric about the origin. We provide estimates for the minimum number of $k$-dimensional linear subspaces needed to cover all points in $\Lambda \cap K$. In particular, our results imply that the minimum number of $k$-dimensional linear subspaces needed to cover the $d$-dimensional $n \times \cdots \times n$ grid is at least $\Omega(n^{d(d-k)/(d-1)-\varepsilon})$ and at most $O(n^{d(d-k)/(d-1)})$, where $\varepsilon>0$ is an arbitrarily small constant. This nearly settles a problem mentioned in the book of Brass, Moser, and Pach. We also find tight bounds for the minimum number of $k$-dimensional affine subspaces needed to cover $\Lambda \cap K$. We use these new results to improve the best known lower bound for the maximum number of point-hyperplane incidences by Brass and Knauer. For $d \geq 3$ and $\varepsilon \in (0,1)$, we show that there is an integer $r=r(d,\varepsilon)$ such that for all positive integers $n,m$ the following statement is true. There is a set of $n$ points in $\mathbb{R}^d$ and an arrangement of $m$ hyperplanes in $\mathbb{R}^d$ with no $K_{r,r}$ in their incidence graph and with at least $\Omega\left((mn)^{1-(2d+3)/((d+2)(d+3)) - \varepsilon}\right)$ incidences if $d$ is odd and $\Omega\left((mn)^{1-(2d^2+d-2)/((d+2)(d^2+2d-2)) -\varepsilon}\right)$ incidences if $d$ is even.


title: Small covers over wedges of polygons

abstract: A small cover is a closed smooth manifold of dimension $n$ having a locally standard $\mathbb{Z}_2^n$-action whose orbit space is isomorphic to a simple polytope. A typical example of small covers is a real projective toric manifold (or, simply, a real toric manifold), that is, a real locus of projective toric manifold. In the paper, we classify small covers and real toric manifolds whose orbit space is isomorphic to the dual of the simplicial complex obtainable by a sequence of wedgings from a polygon, using a systematic combinatorial method finding toric spaces called puzzles.


title: The Stochastic Container Relocation Problem

abstract: The Container Relocation Problem (CRP) is concerned with finding a sequence of moves of containers that minimizes the number of relocations needed to retrieve all containers, while respecting a given order of retrieval. However, the assumption of knowing the full retrieval order of containers is particularly unrealistic in real operations. This paper studies the stochastic CRP (SCRP), which relaxes this assumption. A new multi-stage stochastic model, called the batch model, is introduced, motivated, and compared with an existing model (the online model). The two main contributions are an optimal algorithm called Pruning-Best-First-Search (PBFS) and a randomized approximate algorithm called PBFS-Approximate with a bounded average error. Both algorithms, applicable in the batch and online models, are based on a new family of lower bounds for which we show some theoretical properties. Moreover, we introduce two new heuristics outperforming the best existing heuristics. Algorithms, bounds and heuristics are tested in an extensive computational section. Finally, based on strong computational evidence, we conjecture the optimality of the "Leveling" heuristic in a special "no information" case, where at any retrieval stage, any of the remaining containers is equally likely to be retrieved next.


title: Audio Scene Classification with Deep Recurrent Neural Networks

abstract: We introduce in this work an efficient approach for audio scene classification using deep recurrent neural networks. An audio scene is firstly transformed into a sequence of high-level label tree embedding feature vectors. The vector sequence is then divided into multiple subsequences on which a deep GRU-based recurrent neural network is trained for sequence-to-label classification. The global predicted label for the entire sequence is finally obtained via aggregation of subsequence classification outputs. We will show that our approach obtains an F1-score of 97.7% on the LITIS Rouen dataset, which is the largest dataset publicly available for the task. Compared to the best previously reported result on the dataset, our approach is able to reduce the relative classification error by 35.3%.


title: Visual end-effector tracking using a 3D model-aided particle filter for humanoid robot platforms

abstract: This paper addresses recursive markerless estimation of a robot's end-effector using visual observations from its cameras. The problem is formulated into the Bayesian framework and addressed using Sequential Monte Carlo (SMC) filtering. We use a 3D rendering engine and Computer Aided Design (CAD) schematics of the robot to virtually create images from the robot's camera viewpoints. These images are then used to extract information and estimate the pose of the end-effector. To this aim, we developed a particle filter for estimating the position and orientation of the robot's end-effector using the Histogram of Oriented Gradient (HOG) descriptors to capture robust characteristic features of shapes in both cameras and rendered images. We implemented the algorithm on the iCub humanoid robot and employed it in a closed-loop reaching scenario. We demonstrate that the tracking is robust to clutter, allows compensating for errors in the robot kinematics and servoing the arm in closed loop using vision.


title: Gapless Topological Order, Gravity, and Black Holes

abstract: In this work we demonstrate that linearized gravity exhibits gapless topological order with an extensive ground state degeneracy. This phenomenon is closely related both to the topological order of the pyrochlore U(1) spin liquid and to recent work by Hawking et. al. who used the soft photon and graviton theorems to demonstrate that the vacuum in linearized gravity is not unique. We first consider lattice models whose low-energy behavior are described by electromagnetism and linearized gravity, and then argue that the topological nature of these models carries over into the continuum. We demonstrate that these models can have many ground states without making assumptions about the topology of spacetime or about the high-energy nature of the theory, and show that the infinite family of symmetries described by Hawking et. al. are simply the difierent topological sectors. We argue that in this context black holes appear as topological defects in the IR theory, and that this suggests a potential approach to understanding both the firewall paradox and information encoding in gravitational theories. Finally, we use insights from the soft boson theorems to make connections between deconfined gauge theories with continuous gauge groups and gapless topological order.


title: Hypercyclic homogeneous polynomials on $H(\mathbb C)$

abstract: It is known that homogeneous polynomials on Banach spaces cannot be hypercyclic, but there are examples of hypercyclic homogeneous polynomials on some non-normable Fr\'echet spaces. We show the existence of hypercyclic polynomials on $H(\mathbb C)$, by exhibiting a concrete polynomial which is also the first example of a frequently hypercyclic homogeneous polynomial on any $F$-space. We prove that the homogeneous polynomial on $ H(\mathbb C)$ defined as the product of a translation operator and the evaluation at 0 is mixing, frequently hypercyclic and chaotic. We prove, in contrast, that some natural related polynomials fail to be hypercyclic.


title: Self-Assembly of 4-sided Fractals in the Two-handed Tile Assembly Model

abstract: We consider the self-assembly of fractals in one of the most well-studied models of tile based self-assembling systems known as the Two-handed Tile Assembly Model (2HAM). In particular, we focus our attention on a class of fractals called discrete self-similar fractals (a class of fractals that includes the discrete Sierpi\'nski carpet). We present a 2HAM system that finitely self-assembles the discrete Sierpi\'nski carpet with scale factor 1. Moreover, the 2HAM system that we give lends itself to being generalized and we describe how this system can be modified to obtain a 2HAM system that finitely self-assembles one of any fractal from an infinite set of fractals which we call 4-sided fractals. The 2HAM systems we give in this paper are the first examples of systems that finitely self-assemble discrete self-similar fractals at scale factor 1 in a purely growth model of self-assembly. Finally, we show that there exists a 3-sided fractal (which is not a tree fractal) that cannot be finitely self-assembled by any 2HAM system.


title: Discriminate-and-Rectify Encoders: Learning from Image Transformation Sets

abstract: The complexity of a learning task is increased by transformations in the input space that preserve class identity. Visual object recognition for example is affected by changes in viewpoint, scale, illumination or planar transformations. While drastically altering the visual appearance, these changes are orthogonal to recognition and should not be reflected in the representation or feature encoding used for learning. We introduce a framework for weakly supervised learning of image embeddings that are robust to transformations and selective to the class distribution, using sets of transforming examples (orbit sets), deep parametrizations and a novel orbit-based loss. The proposed loss combines a discriminative, contrastive part for orbits with a reconstruction error that learns to rectify orbit transformations. The learned embeddings are evaluated in distance metric-based tasks, such as one-shot classification under geometric transformations, as well as face verification and retrieval under more realistic visual variability. Our results suggest that orbit sets, suitably computed or observed, can be used for efficient, weakly-supervised learning of semantically relevant image embeddings.


title: Symmetry-enforced quantum spin Hall insulators in $\pi$-flux models

abstract: We prove a Lieb-Schultz-Mattis theorem for the quantum spin Hall effect (QSHE) in two-dimensional $\pi$-flux models. In the presence of time reversal, $U(1)$ charge conservation and magnetic translation (with $\pi$-flux per unit cell) symmetries, if a generic interacting Hamiltonian has a unique gapped symmetric ground state at half filling (i.e. an odd number of electrons per unit cell), it can only be a QSH insulator. In other words, a trivial Mott insulator is forbidden by symmetries at half filling. We further show that such a symmetry-enforced QSHE can be realized in cold atoms, by shaking an optical lattice and applying a time-dependent Zeeman field.


title: Parabolic sheaves with real weights as sheaves on the Kato-Nakayama space

abstract: We define quasi-coherent parabolic sheaves with real weights on a fine saturated log analytic space, and explain how to interpret them as quasi-coherent sheaves of modules on its Kato-Nakayama space. This recovers the description as sheaves on root stacks of arXiv:1001.0466 and arXiv:1410.1164 for rational weights, but also includes the case of arbitrary real weights.


title: A statistical model for aggregating judgments by incorporating peer predictions

abstract: We propose a probabilistic model to aggregate the answers of respondents answering multiple-choice questions. The model does not assume that everyone has access to the same information, and so does not assume that the consensus answer is correct. Instead, it infers the most probable world state, even if only a minority vote for it. Each respondent is modeled as receiving a signal contingent on the actual world state, and as using this signal to both determine their own answer and predict the answers given by others. By incorporating respondent's predictions of others' answers, the model infers latent parameters corresponding to the prior over world states and the probability of different signals being received in all possible world states, including counterfactual ones. Unlike other probabilistic models for aggregation, our model applies to both single and multiple questions, in which case it estimates each respondent's expertise. The model shows good performance, compared to a number of other probabilistic models, on data from seven studies covering different types of expertise.


title: Dynamical Exploration of Amplitude Bistability in Engineered Quantum Systems

abstract: Nonlinear systems, whose outputs are not directly proportional to their inputs, are well known to exhibit many interesting and important phenomena which have profoundly changed our technological landscape over the last 50 years. Recently the ability to engineer quantum metamaterials through hybridisation has allowed to explore these nonlinear effects in systems with no natural analogue. Here we investigate amplitude bistability, which is one of the most fundamental nonlinear phenomena, in a hybrid system composed of a superconducting resonator inductively coupled to an ensemble of nitrogen-vacancy centres. One of the exciting properties of this spin system is its extremely long spin life-time, more than ten orders of magnitude longer than other relevant timescales of the hybrid system. This allows us to dynamically explore this nonlinear regime of cavity quantum electrodynamics (cQED) and demonstrate a critical slowing down of the cavity population on the order of several tens of thousands of seconds - a timescale much longer than observed so far for this effect. Our results provide the foundation for future quantum technologies based on nonlinear phenomena.


title: Learning Models over Relational Data using Sparse Tensors and Functional Dependencies

abstract: Integrated solutions for analytics over relational databases are of great practical importance as they avoid the costly repeated loop data scientists have to deal with on a daily basis: select features from data residing in relational databases using feature extraction queries involving joins, projections, and aggregations; export the training dataset defined by such queries; convert this dataset into the format of an external learning tool; and train the desired model using this tool. These integrated solutions are also a fertile ground of theoretically fundamental and challenging problems at the intersection of relational and statistical data models. This article introduces a unified framework for training and evaluating a class of statistical learning models over relational databases. This class includes ridge linear regression, polynomial regression, factorization machines, and principal component analysis. We show that, by synergizing key tools from database theory such as schema information, query structure, functional dependencies, recent advances in query evaluation algorithms, and from linear algebra such as tensor and matrix operations, one can formulate relational analytics problems and design efficient (query and data) structure-aware algorithms to solve them. This theoretical development informed the design and implementation of the AC/DC system for structure-aware learning. We benchmark the performance of AC/DC against R, MADlib, libFM, and TensorFlow. For typical retail forecasting and advertisement planning applications, AC/DC can learn polynomial regression models and factorization machines with at least the same accuracy as its competitors and up to three orders of magnitude faster than its competitors whenever they do not run out of memory, exceed 24-hour timeout, or encounter internal design limitations.


title: Domains of Attraction for Positive and Discrete Tempered Stable Distributions

abstract: We introduce a large and flexible class of discrete tempered stable distributions, and analyze the domains of attraction for both this class and the related class of positive tempered stable distributions. Our results suggest that these are natural models for sums of independent and identically distributed random variables with tempered heavy tails tails, i.e. tails that appear to be heavy up to a point, but ultimately decay faster.


title: Online Learning Rate Adaptation with Hypergradient Descent

abstract: We introduce a general method for improving the convergence rate of gradient-based optimizers that is easy to implement and works well in practice. We demonstrate the effectiveness of the method in a range of optimization problems by applying it to stochastic gradient descent, stochastic gradient descent with Nesterov momentum, and Adam, showing that it significantly reduces the need for the manual tuning of the initial learning rate for these commonly used algorithms. Our method works by dynamically updating the learning rate during optimization using the gradient with respect to the learning rate of the update rule itself. Computing this "hypergradient" needs little additional computation, requires only one extra copy of the original gradient to be stored in memory, and relies upon nothing more than what is provided by reverse-mode automatic differentiation.


title: Multichannel End-to-end Speech Recognition

abstract: The field of speech recognition is in the midst of a paradigm shift: end-to-end neural networks are challenging the dominance of hidden Markov models as a core technology. Using an attention mechanism in a recurrent encoder-decoder architecture solves the dynamic time alignment problem, allowing joint end-to-end training of the acoustic and language modeling components. In this paper we extend the end-to-end framework to encompass microphone array signal processing for noise suppression and speech enhancement within the acoustic encoding network. This allows the beamforming components to be optimized jointly within the recognition architecture to improve the end-to-end speech recognition objective. Experiments on the noisy speech benchmarks (CHiME-4 and AMI) show that our multichannel end-to-end system outperformed the attention-based baseline with input from a conventional adaptive beamformer.


title: Contact-based and spheroidal vibrational modes of a hexagonal monolayer of microspheres on a substrate

abstract: We study acoustic modes of a close-packed hexagonal lattice of spheres adhered to a substrate, propagating along a high-symmetry direction. The model, accounting for both normal and shear coupling between the spheres and between the spheres and the substrate, yields three contact-based vibrational modes involving both translational and rotational motion of the spheres. Furthermore, we study the effect of sphere-substrate and sphere-sphere contacts on spheroidal vibrational modes of the spheres within a perturbative approach. The sphere-substrate interaction results in a frequency upshift for the modes having a non-zero displacement at the contact point with the substrate. Sphere-sphere interactions result in dispersion of spheroidal modes turning them into propagating waves, albeit with a small group velocity. Analytical dispersion relations for both contact-based and spheroidal modes are presented and compared with results obtained for a square lattice.


title: Distributed Dual Coordinate Ascent in General Tree Networks and Communication Network Effect on Synchronous Machine Learning

abstract: Due to the big size of data and limited data storage volume of a single computer or a single server, data are often stored in a distributed manner. Thus, performing large-scale machine learning operations with the distributed datasets through communication networks is often required. In this paper, we study the convergence rate of the distributed dual coordinate ascent for distributed machine learning problems in a general tree-structured network. Since a tree network model can be understood as the generalization of a star network model, our algorithm can be thought of as the generalization of the distributed dual coordinate ascent in a star network model. We provide the convergence rate of the distributed dual coordinate ascent over a general tree network in a recursive manner and analyze the network effect on the convergence rate. Secondly, by considering network communication delays, we optimize the distributed dual coordinate ascent algorithm to maximize its convergence speed. From our analytical result, we can choose the optimal number of local iterations depending on the communication delay severity to achieve the fastest convergence speed. In numerical experiments, we consider machine learning scenarios over communication networks, where local workers cannot directly reach to a central node due to constraints in communication, and demonstrate that the usability of our distributed dual coordinate ascent algorithm in tree networks. Additionally, we show that adapting number of local and global iterations to network communication delays in the distributed dual coordinated ascent algorithm can improve its convergence speed.


title: Discrete Integrable Systems, Supersymmetric Quantum Mechanics, and Framed BPS States - I

abstract: It is possible to understand whether a given BPS spectrum is generated by a relevant deformation of a 4D N=2 SCFT or of an asymptotically free theory from the periodicity properties of the corresponding quantum monodromy. With the aim of giving a better understanding of the above conjecture, in this paper we revisit the description of framed BPS states of four-dimensional relativistic quantum field theories with eight conserved supercharges in terms of supersymmetric quantum mechanics. We unveil aspects of the deep interrelationship in between the Seiberg-dualities of the latter, the discrete symmetries of the theory in the bulk, and quantum discrete integrable systems.


title: The Schr\"{o}der-Bernstein problem for Modules

abstract: In this paper we study the Schr\"{o}der-Bernstein problem for modules. We obtain a positive solution for the Schr\"{o}der-Bernstein problem for modules invariant under endomorphisms of their general envelopes under some mild conditions that are always satisfied, for example, in the case of injective, pure-injective or cotorsion envelopes. In the particular cases of injective envelopes and pure-injective envelopes, we are able to extend it further and we show that the Schr\"{o}der-Bernstein problem has a positive solution even for modules that are invariant only under automorphisms of their injective envelopes or pure-injective envelopes.


title: Coordination of size-control, reproduction and generational memory in freshwater planarians

abstract: Uncovering the mechanisms that control size, growth, and division rates of systems reproducing through binary division means understanding basic principles of their life cycle. Recent work has focused on how division rates are regulated in bacteria and yeast, but this question has not yet been addressed in more complex, multicellular organisms. We have acquired a unique large-scale data set on the growth and asexual reproduction of two freshwater planarian species, Dugesia japonica and Dugesia tigrina, which reproduce by transverse fission and succeeding regeneration of head and tail pieces into new planarians. We show that generation-dependent memory effects in planarian reproduction need to be taken into account to accurately capture the experimental data. To achieve this, we developed a new additive model that mixes multiple size control strategies based on planarian size, growth, and time between divisions. Our model quantifies the proportions of each strategy in the mixed dynamics, revealing the ability of the two planarian species to utilize different strategies in a coordinated manner for size control. Additionally, we found that head and tail offspring of both species employ different mechanisms to monitor and trigger their reproduction cycles. Thus, we find a diversity of strategies not only between species but also between heads and tails within species. Our additive model provides two advantages over existing 2D models that fit a multivariable splitting rate function to the data for size control: Firstly, it can be fit to relatively small data sets and can thus be applied to systems where available data is limited. Secondly, it enables new biological insights because it explicitly shows the contributions of different size control strategies for each offspring type.


title: Spin-projected matrix product states (SP-MPS): a versatile tool for strongly correlated systems

abstract: We present a new wavefunction ansatz that combines the strengths of spin projection with the language of matrix product states (MPS) and matrix product operators (MPO) as used in the density matrix renormalization group (DMRG). Specifically, spin-projected matrix product states (SP-MPS) are constructed as $|\Psi^{(N,S,M)}_{SP-MPS}\rangle=\mathcal{P}_S|\Psi_{MPS}^{(N,M)}\rangle$, where $\mathcal{P}_S$ is the spin projector for total spin $S$ and $|\Psi_{MPS}^{(N,M)}\rangle$ is an MPS wavefunction with a given particle number $N$ and spin projection $M$. This new ansatz possesses several attractive features: (1) It provides a much simpler route to achieve spin-adaptation (i.e. to create eigenfunctions of $\hat{S}^2$) compared to explicitly incorporating the non-Abelian SU(2) symmetry into the MPS. In particular, since the underlying state in the SP-MPS uses only Abelian symmetries, one does not need the singlet embedding scheme for non-singlet states, as normally employed in spin-adapted DMRG, to achieve a single consistent variationally optimized state. (2) Due to the use of $|\Psi_{MPS}^{(N,M)}\rangle$ as its underlying state, the SP-MPS can be closely connected to broken symmetry mean-field states. This allows to straightforwardly generate the large number of broken symmetry guesses needed to explore complex electronic landscapes in magnetic systems. Further, this connection can be exploited in the future development of quantum embedding theories for open-shell systems. (3) The sum of MPOs representation for the Hamiltonian and spin projector $\mathcal{P}_S$ naturally leads to an embarrassingly parallel algorithm for computing expectation values and optimizing SP-MPS. (4) Optimizing SP-MPS belongs to the variation-after-projection (VAP) class of spin projected theories.


title: Robust Power System Dynamic State Estimator with Non-Gaussian Measurement Noise: Part I--Theory

abstract: This paper develops the theoretical framework and the equations of a new robust Generalized Maximum-likelihood-type Unscented Kalman Filter (GM-UKF) that is able to suppress observation and innovation outliers while filtering out non-Gaussian measurement noise. Because the errors of the real and reactive power measurements calculated using Phasor Measurement Units (PMUs) follow long-tailed probability distributions, the conventional UKF provides strongly biased state estimates since it relies on the weighted least squares estimator. By contrast, the state estimates and residuals of our GM-UKF are proved to be roughly Gaussian, allowing the sigma points to reliably approximate the mean and the covariance matrices of the predicted and corrected state vectors. To develop our GM-UKF, we first derive a batch-mode regression form by processing the predictions and observations simultaneously, where the statistical linearization approach is used. We show that the set of equations so derived are equivalent to those of the unscented transformation. Then, a robust GM-estimator that minimizes a convex Huber cost function while using weights calculated via Projection Statistics (PS's) is proposed. The PS's are applied to a two-dimensional matrix that consists of serially correlated predicted state and innovation vectors to detect observation and innovation outliers. These outliers are suppressed by the GM-estimator using the iteratively reweighted least squares algorithm. Finally, the asymptotic error covariance matrix of the GM-UKF state estimates is derived from the total influence function. In the companion paper, extensive simulation results will be shown to verify the effectiveness and robustness of the proposed method.


title: Wearing Many (Social) Hats: How Different are Your Different Social Network Personae?

abstract: This paper investigates when users create profiles in different social networks, whether they are redundant expressions of the same persona, or they are adapted to each platform. Using the personal webpages of 116,998 users on About.me, we identify and extract matched user profiles on several major social networks including Facebook, Twitter, LinkedIn, and Instagram. We find evidence for distinct site-specific norms, such as differences in the language used in the text of the profile self-description, and the kind of picture used as profile image. By learning a model that robustly identifies the platform given a user's profile image (0.657--0.829 AUC) or self-description (0.608--0.847 AUC), we confirm that users do adapt their behaviour to individual platforms in an identifiable and learnable manner. However, different genders and age groups adapt their behaviour differently from each other, and these differences are, in general, consistent across different platforms. We show that differences in social profile construction correspond to differences in how formal or informal the platform is.


title: Frustration and thermalisation in an artificial magnetic quasicrystal

abstract: We have created and studied artificial magnetic quasicrystals based on Penrose tiling patterns of interacting nanomagnets that lack the translational symmetry of spatially periodic artificial spin ices. Vertex-level degeneracy and frustration induced by the network topology of the Penrose pattern leads to a low energy configuration that we propose as a ground state. Topologically induced emergent frustration means that this ground state cannot be constructed from vertices in their ground states. It has two parts, a quasi-one-dimensional rigid "skeleton" that spans the entire pattern and is capable of long-range order, and "flippable" clusters of macrospins within it. These lead to macroscopic degeneracy for the array as a whole. Magnetic force microscopy imaging of Penrose tiling arrays revealed superdomains that are larger for more strongly coupled arrays. The superdomain size is larger after AC-demagnetisation and especially after annealing the array above its blocking temperature.


title: When the Universe Expands Too Fast: Relentless Dark Matter

abstract: We consider a modification to the standard cosmological history consisting of introducing a new species $\phi$ whose energy density red-shifts with the scale factor $a$ like $\rho_\phi \propto a^{-(4+n)}$. For $n>0$, such a red-shift is faster than radiation, hence the new species dominates the energy budget of the universe at early times while it is completely negligible at late times. If equality with the radiation energy density is achieved at low enough temperatures, dark matter can be produced as a thermal relic during the new cosmological phase. Dark matter freeze-out then occurs at higher temperatures compared to the standard case, implying that reproducing the observed abundance requires significantly larger annihilation rates. Here, we point out a completely new phenomenon, which we refer to as $\textit{relentless}$ dark matter: for large enough $n$, unlike the standard case where annihilation ends shortly after the departure from thermal equilibrium, dark matter particles keep annihilating long after leaving chemical equilibrium, with a significant depletion of the final relic abundance. Relentless annihilation occurs for $n \geq 2$ and $n \geq 4$ for s-wave and p-wave annihilation, respectively, and it thus occurs in well motivated scenarios such as a quintessence with a kination phase. We discuss a few microscopic realizations for the new cosmological component and highlight the phenomenological consequences of our calculations for dark matter searches.


title: Cox Rings and Algebraic Maps

abstract: Given a morphism $F : X \rightarrow Y$ from a Mori Dream Space $X$ to a smooth Mori Dream Space $Y$ and quasicoherent sheaves $\mathcal{F}$ on $X$ and $\mathcal{G}$ on $Y$ , we describe the inverse image of $\mathcal{G}$ by $F$ and the direct image of $\mathcal{F}$ by $F$ in terms of the corresponding modules over the Cox rings graded in the class groups.


title: Thermal-error regime in high-accuracy gigahertz single-electron pumping

abstract: Single-electron pumps based on semiconductor quantum dots are promising candidates for the emerging quantum standard of electrical current. They can transfer discrete charges with part-per-million (ppm) precision in nanosecond time scales. Here, we employ a metal-oxide-semiconductor silicon quantum dot to experimentally demonstrate high-accuracy gigahertz single-electron pumping in the regime where the number of electrons trapped in the dot is determined by the thermal distribution in the reservoir leads. In a measurement with traceability to primary voltage and resistance standards, the averaged pump current over the quantized plateau, driven by a \mbox{$1$-GHz} sinusoidal wave in the absence of magnetic field, is equal to the ideal value of $ef$ within a measurement uncertainty as low as $0.27$~ppm.


title: Collocation Methods for Exploring Perturbations in Linear Stability Analysis

abstract: Eigenvalue analysis is a well-established tool for stability analysis of dynamical systems. However, there are situations where eigenvalues miss some important features of physical models. For example, in models of incompressible fluid dynamics, there are examples where linear stability analysis predicts stability but transient simulations exhibit significant growth of infinitesimal perturbations. This behavior can be predicted by pseudo-spectral analysis. In this study, we show that an approach similar to pseudo-spectral analysis can be performed inexpensively using stochastic collocation methods and the results can be used to provide quantitative information about instability. In addition, we demonstrate that the results of the perturbation analysis provide insight into the behavior of unsteady flow simulations.


title: A Macroscopic Model for Differential Privacy in Dynamic Robotic Networks

abstract: The increasing availability of online and mobile information platforms is facilitating the development of peer-to-peer collaboration strategies in large-scale networks. These technologies are being leveraged by networked robotic systems to provide applications of automated transport, resource redistribution (collaborative consumption), and location services. Yet, external observations of the system dynamics may expose sensitive information about the participants that compose these networks (robots, resources, and humans). In particular, we are concerned with settings where an adversary gains access to a snapshot of the dynamic state of the system. We propose a method that quantifies how easy it is for the adversary to identify the specific type of any agent (which can be a robot, resource, or human) in the network, based on this observation. We draw from the theory of differential privacy to propose a closed-form expression for the leakage of the system when the snapshot is taken at steady-state, as well as a numerical approach to compute the leakage when the snapshot is taken at any given time. The novelty of our approach is that our privacy model builds on a macroscopic description of the system's state, which allows us to take account of protected entities (network participants) that are interdependent. Our results show how the leakage varies, as a function of the composition and dynamic behavior of the network; they also indicate design rules for increasing privacy levels.


title: Spacetime symmetries and conformal data in the continuous multi-scale entanglement renormalization ansatz

abstract: The generalization of the multi-scale entanglement renormalization ansatz (MERA) to continuous systems, or cMERA [Haegeman et al., Phys. Rev. Lett, 110, 100402 (2013)], is expected to become a powerful variational ansatz for the ground state of strongly interacting quantum field theories. In this paper we investigate, in the simpler context of Gaussian cMERA for free theories, the extent to which the cMERA state $|\Psi^\Lambda\rangle$ with finite UV cut-off $\Lambda$ can capture the spacetime symmetries of the ground state $|\Psi\rangle$. For a free boson conformal field theory (CFT) in 1+1 dimensions as a concrete example, we build a quasi-local unitary transformation $V$ that maps $|\Psi\rangle$ into $|\Psi^\Lambda\rangle$ and show two main results. (i) Any spacetime symmetry of the ground state $|\Psi\rangle$ is also mapped by $V$ into a spacetime symmetry of the cMERA $|\Psi^\Lambda\rangle$. However, while in the CFT the stress-energy tensor $T_{\mu\nu}(x)$ (in terms of which all the spacetime symmetry generators are expressed) is local, the corresponding cMERA stress-energy tensor $T_{\mu\nu}^{\Lambda}(x) = V T_{\mu\nu}(x) V^{\dagger}$ is quasi-local. (ii) From the cMERA, we can extract quasi-local scaling operators $O^{\Lambda}_{\alpha}(x)$ characterized by the exact same scaling dimensions $\Delta_{\alpha}$, conformal spins $s_{\alpha}$, operator product expansion coefficients $C_{\alpha\beta\gamma}$, and central charge $c$ as the original CFT. Finally, we argue that these results should also apply to interacting theories.


title: Multi-parameter One-Sided Monitoring Test

abstract: Multi-parameter one-sided hypothesis test problems arise naturally in many applications. We are particularly interested in effective tests for monitoring multiple quality indices in forestry products. Our search reveals that there are many effective statistical methods in the literature for normal data, and that they can easily be adapted for non-normal data. We find that the beautiful likelihood ratio test is unsatisfactory, because in order to control the size, it must cope with the least favorable distributions at the cost of power. In this paper, we find a novel way to slightly ease the size control, obtaining a much more powerful test. Simulation confirms that the new test retains good control of the type I error and is markedly more powerful than the likelihood ratio test as well as many competitors based on normal data. The new method performs well in the context of monitoring multiple quality indices.


title: Spacetime Deformation Effect on the Early Universe and the PTOLEMY Experiment

abstract: Using a fully-fledged formulation of gauge field theory deformed by the spacetime noncommutativity, we study its impact on relic neutrino direct detection, as proposed recently by the PTOLEMY experiment. The noncommutative background tends to influence the propagating neutrinos by providing them with a tree-level vector-like coupling to photons, enabling thus otherwise right-handed (RH) neutrinos to be thermally produced in the early universe. Such a new component in the universe's background radiation has been switched today to the almost fully active sea of non-relativistic neutrinos, exerting consequently some impact on the capture on tritium at PTOLEMY. The peculiarities of our nonperturbative approach tend to reflect in the cosmology as well, upon the appearances of the coupling temperature, above which RH neutrinos stay permanently decoupled from thermal environment. This entails the maximal scale of noncommutativity as well, being of order of $10^{-4} M_{Pl}$, above which there is no impact whatsoever on the capture rates at PTOLEMY. The latter represents an exceptional upper bound on the scale of noncommutativity coming from phenomenology.


title: The Bright and Dark Sides of High-Redshift starburst galaxies from {\it Herschel} and {\it Subaru} observations

abstract: We present rest-frame optical spectra from the FMOS-COSMOS survey of twelve $z \sim 1.6$ \textit{Herschel} starburst galaxies, with Star Formation Rate (SFR) elevated by $\times$8, on average, above the star-forming Main Sequence (MS). Comparing the H$\alpha$ to IR luminosity ratio and the Balmer Decrement we find that the optically-thin regions of the sources contain on average only $\sim 10$ percent of the total SFR whereas $\sim90$ percent comes from an extremely obscured component which is revealed only by far-IR observations and is optically-thick even in H$\alpha$. We measure the [NII]$_{6583}$/H$\alpha$ ratio, suggesting that the less obscured regions have a metal content similar to that of the MS population at the same stellar masses and redshifts. However, our objects appear to be metal-rich outliers from the metallicity-SFR anticorrelation observed at fixed stellar mass for the MS population. The [SII]$_{6732}$/[SII]$_{6717}$ ratio from the average spectrum indicates an electron density $n_{\rm e} \sim 1,100\ \mathrm{cm}^{-3}$, larger than what estimated for MS galaxies but only at the 1.5$\sigma$ level. Our results provide supporting evidence that high-$z$ MS outliers are the analogous of local ULIRGs, and are consistent with a major merger origin for the starburst event.


title: 4D $\mathcal{N}=1$ SYM supercurrent in terms of the gradient flow

abstract: The gradient flow and its small flow-time expansion provide a very versatile method to represent renormalized composite operators in a regularization-independent manner. This technique has been utilized to construct typical Noether currents such as the energy--momentum tensor and the axial-vector current in lattice gauge theory. In this paper, we apply the same technique to the supercurrent in the four-dimensional $\mathcal{N}=1$ super Yang--Mills theory (4D $\mathcal{N}=1$ SYM) in the Wess--Zumino gauge. Since this approach provides a priori a representation of the properly normalized conserved supercurrent, our result should be useful, e.g., in lattice numerical simulations of the 4D $\mathcal{N}=1$ SYM; the conservation of the so-constructed supercurrent can be used as a criterion for the supersymmetric point toward which the gluino mass is tuned.


title: MC$^2$: Multi-wavelength and dynamical analysis of the merging galaxy cluster ZwCl 0008.8+5215: An older and less massive Bullet Cluster

abstract: We analyze a rich dataset including Subaru/SuprimeCam, HST/ACS and WFC3, Keck/DEIMOS, Chandra/ACIS-I, and JVLA/C and D array for the merging galaxy cluster ZwCl 0008.8+5215. With a joint Subaru/HST weak gravitational lensing analysis, we identify two dominant subclusters and estimate the masses to be M$_{200}=\text{5.7}^{+\text{2.8}}_{-\text{1.8}}\times\text{10}^{\text{14}}\,\text{M}_{\odot}$ and 1.2$^{+\text{1.4}}_{-\text{0.6}}\times10^{14}$ M$_{\odot}$. We estimate the projected separation between the two subclusters to be 924$^{+\text{243}}_{-\text{206}}$ kpc. We perform a clustering analysis on confirmed cluster member galaxies and estimate the line of sight velocity difference between the two subclusters to be 92$\pm$164 km s$^{-\text{1}}$. We further motivate, discuss, and analyze the merger scenario through an analysis of the 42 ks of Chandra/ACIS-I and JVLA/C and D polarization data. The X-ray surface brightness profile reveals a remnant core reminiscent of the Bullet Cluster. The X-ray luminosity in the 0.5-7.0 keV band is 1.7$\pm$0.1$\times$10$^{\text{44}}$ erg s$^{-\text{1}}$ and the X-ray temperature is 4.90$\pm$0.13 keV. The radio relics are polarized up to 40$\%$. We implement a Monte Carlo dynamical analysis and estimate the merger velocity at pericenter to be 1800$^{+\text{400}}_{-\text{300}}$ km s$^{-\text{1}}$. ZwCl 0008.8+5215 is a low-mass version of the Bullet Cluster and therefore may prove useful in testing alternative models of dark matter. We do not find significant offsets between dark matter and galaxies, as the uncertainties are large with the current lensing data. Furthermore, in the east, the BCG is offset from other luminous cluster galaxies, which poses a puzzle for defining dark matter -- galaxy offsets.


title: Searching For Pulsars Associated With the Fermi GeV Excess

abstract: The Fermi Large Area Telescope has detected an extended region of GeV emission toward the Galactic Center that is currently thought to be powered by dark matter annihilation or a population of young and/or millisecond pulsars. In a test of the pulsar hypothesis, we have carried out an initial search of a 20 deg**2 area centered on the peak of the galactic center GeV excess. Candidate pulsars were identified as a compact, steep spectrum continuum radio source on interferometric images and followed with targeted single-dish pulsation searches. We report the discovery of the recycled pulsar PSR 1751-2737 with a spin period of 2.23 ms. PSR 1751-2737 appears to be an isolated recycled pulsar located within the disk of our Galaxy, and it is not part of the putative bulge population of pulsars that are thought to be responsible for the excess GeV emission. However, our initial success in this small pilot survey suggests that this hybrid method (i.e. wide-field interferometric imaging followed up with single dish pulsation searches) may be an efficient alternative strategy for testing whether a putative bulge population of pulsars is responsible for the GeV excess.


title: $L^p$-norm estimate of the Bergman projection on the Hartogs triangle

abstract: The purpose of this paper is to give an estimate of the $L^p$-norm of the Bergman projection on the Hartogs triangle.


title: When are Stochastic Transition Systems Tameable?

abstract: A decade ago, Abdulla, Ben Henda and Mayr introduced the elegant concept of decisiveness for denumerable Markov chains [1]. Roughly speaking, decisiveness allows one to lift most good properties from finite Markov chains to denumerable ones, and therefore to adapt existing verification algorithms to infinite-state models. Decisive Markov chains however do not encompass stochastic real-time systems, and general stochastic transition systems (STSs for short) are needed. In this article, we provide a framework to perform both the qualitative and the quantitative analysis of STSs. First, we define various notions of decisiveness (inherited from [1]), notions of fairness and of attractors for STSs, and make explicit the relationships between them. Then, we define a notion of abstraction, together with natural concepts of soundness and completeness, and we give general transfer properties, which will be central to several verification algorithms on STSs. We further design a generic construction which will be useful for the analysis of {\omega}-regular properties, when a finite attractor exists, either in the system (if it is denumerable), or in a sound denumerable abstraction of the system. We next provide algorithms for qualitative model-checking, and generic approximation procedures for quantitative model-checking. Finally, we instantiate our framework with stochastic timed automata (STA), generalized semi-Markov processes (GSMPs) and stochastic time Petri nets (STPNs), three models combining dense-time and probabilities. This allows us to derive decidability and approximability results for the verification of these models. Some of these results were known from the literature, but our generic approach permits to view them in a unified framework, and to obtain them with less effort. We also derive interesting new approximability results for STA, GSMPs and STPNs.


title: Approximate transmission coefficients in heavy ion fusion

abstract: In this paper we revisit the one-dimensional tunnelling problem. We consider different approximations for the transmission through the Coulomb barrier in heavy ion collisions at near-barrier energies. First, we discuss approximations of the barrier shape by functional forms where the transmission coefficient is known analytically. Then, we consider Kemble's approximation for the transmission coefficient. We show how this approximation can be extended to above-barrier energies by performing the analytical continuation of the radial coordinate to the complex plane. We investigate the validity of the different approximations considered in this paper by comparing their predictions for transmission coefficients and cross sections of three heavy ion systems with the corresponding quantum mechanical results.


title: Core filling and snaking instability of dark solitons in spin-imbalanced superfluid Fermi gases

abstract: We use the time-dependent Bogoliubov de Gennes equations to study dark solitons in three-dimensional spin-imbalanced superfluid Fermi gases. We explore how the shape and dynamics of dark solitons are altered by the presence of excess unpaired spins which fill their low-density core. The unpaired particles broaden the solitons and suppress the transverse snake instability. We discuss ways of observing these phenomena in cold atom experiments.


title: Stochastic Lotka-Volterra food chains

abstract: We study the persistence and extinction of species in a simple food chain that is modelled by a Lotka-Volterra system with environmental stochasticity. There exist sharp results for deterministic Lotka-Volterra systems in the literature but few for their stochastic counterparts. The food chain we analyze consists of one prey and $n-1$ predators. The $j$th predator eats the $j-1$th species and is eaten by the $j+1$th predator; this way each species only interacts with at most two other species - the ones that are immediately above or below it in the trophic chain. We show that one can classify, based on an explicit quantity depending on the interaction coefficients of the system, which species go extinct and which converge to their unique invariant probability measure. Our work can be seen as a natural extension of the deterministic results of Gard and Hallam '79 to a stochastic setting. As one consequence we show that environmental stochasticity makes species more likely to go extinct. However, if the environmental fluctuations are small, persistence in the deterministic setting is preserved in the stochastic system. Our analysis also shows that the addition of a new apex predator makes, as expected, the different species more prone to extinction. Another novelty of our analysis is the fact that we can describe the behavior the system when the noise is degenerate. This is relevant because of the possibility of strong correlations between the effects of the environment on the different species.


title: Some criteria for Wind Riemannian completeness and existence of Cauchy hypersurfaces

abstract: Recently, a link between Lorentzian and Finslerian Geometries has been carried out, leading to the notion of wind Riemannian structure (WRS), a generalization of Finslerian Randers metrics. Here, we further develop this notion and its applications to spacetimes, by introducing some characterizations and criteria for the completeness of WRS's. As an application, we consider a general class of spacetimes admitting a time function $t$ generated by the flow of a complete Killing vector field (generalized standard stationary spacetimes or, more precisely, SSTK ones) and derive simple criteria ensuring that its slices $t=$ constant are Cauchy. Moreover, a brief summary on the Finsler/Lorentz link for readers with some acquaintance in Lorentzian Geometry, plus some simple examples in Mathematical Relativity, are provided.


title: Equilibrium configurations for generalized Frenkel-Kontorova models on quasicrystals

abstract: I study classes of generalized Frenkel-Kontorova models whose potentials are given by almost-periodic functions which are closely related to aperiodic Delone sets of finite local complexity. Since such Delone sets serve as good models for quasicrytals, this setup presents Frenkel-Kontorova models for the type of aperiodic crystals which have been discovered since Shechtman's discovery of quasicrystals. Here I consider models with configurations $u:\mathbb{Z}^r \rightarrow \mathbb{R}^d$, where $d$ is the dimension of the quasicrystal, for any $r$ and $d$. The almost-periodic functions used for potentials are called pattern-equivariant and I show that if the interactions of the model satisfies a mild $C^2$ requirement, and if the potential satisfies a mild non-degeneracy assumption, then there exist equilibrium configurations of any prescribed rotation rotation number/vector/plane. The assumptions are general enough to satisfy the classical Frenkel-Kontorova models and its multidimensional analogues. The proof uses the idea of the anti-integrable limit.


title: An alternative representation of the negative binomial-Lindley distribution. New results and applications

abstract: In this paper we present an alternative representation of the Negative Binomial--Lindley distribution recently proposed by Zamani and Ismail (2010) which shows some advantages over the latter model. This new formulation provides a tractable model with attractive properties which makes it suitable for application not only in insurance settings but also in other fields where overdispersion is observed. Basic properties of the new distribution are studied. A recurrence for the probabilities of the new distribution and an integral equation for the probability density function of the compound version, when the claim severities are absolutely continuous, are derived. Estimation methods are discussed and a numerical application is given.


title: Learned Optimizers that Scale and Generalize

abstract: Learning to learn has emerged as an important direction for achieving artificial intelligence. Two of the primary barriers to its adoption are an inability to scale to larger problems and a limited ability to generalize to new tasks. We introduce a learned gradient descent optimizer that generalizes well to new tasks, and which has significantly reduced memory and computation overhead. We achieve this by introducing a novel hierarchical RNN architecture, with minimal per-parameter overhead, augmented with additional architectural features that mirror the known structure of optimization tasks. We also develop a meta-training ensemble of small, diverse optimization tasks capturing common properties of loss landscapes. The optimizer learns to outperform RMSProp/ADAM on problems in this corpus. More importantly, it performs comparably or better when applied to small convolutional neural networks, despite seeing no neural networks in its meta-training set. Finally, it generalizes to train Inception V3 and ResNet V2 architectures on the ImageNet dataset for thousands of steps, optimization problems that are of a vastly different scale than those it was trained on. We release an open source implementation of the meta-training algorithm.


title: Near-Optimal Compression for the Planar Graph Metric

abstract: The Planar Graph Metric Compression Problem is to compactly encode the distances among $k$ nodes in a planar graph of size $n$. Two na\"ive solutions are to store the graph using $O(n)$ bits, or to explicitly store the distance matrix with $O(k^2 \log{n})$ bits. The only lower bounds are from the seminal work of Gavoille, Peleg, Prennes, and Raz [SODA'01], who rule out compressions into a polynomially smaller number of bits, for {\em weighted} planar graphs, but leave a large gap for unweighted planar graphs. For example, when $k=\sqrt{n}$, the upper bound is $O(n)$ and their constructions imply an $\Omega(n^{3/4})$ lower bound. This gap is directly related to other major open questions in labelling schemes, dynamic algorithms, and compact routing. Our main result is a new compression of the planar graph metric into $\tilde{O}(\min (k^2 , \sqrt{k\cdot n}))$ bits, which is optimal up to log factors. Our data structure breaks an $\Omega(k^2)$ lower bound of Krauthgamer, Nguyen, and Zondiner [SICOMP'14] for compression using minors, and the lower bound of Gavoille et al. for compression of weighted planar graphs. This is an unexpected and decisive proof that weights can make planar graphs inherently more complex. Moreover, we design a new {\em Subset Distance Oracle} for planar graphs with $\tilde O(\sqrt{k\cdot n})$ space, and $\tilde O(n^{3/4})$ query time. Our work carries strong messages to related fields. In particular, the famous $O(n^{1/2})$ vs. $\Omega(n^{1/3})$ gap for distance labelling schemes in planar graphs {\em cannot} be resolved with the current lower bound techniques.


title: Distant sum distinguishing index of graphs with bounded minimum degree

abstract: For any graph $G=(V,E)$ with maximum degree $\Delta$ and without isolated edges, and a positive integer $r$, by $\chi'_{\Sigma,r}(G)$ we denote the $r$-distant sum distinguishing index of $G$. This is the least integer $k$ for which a proper edge colouring $c:E\to\{1,2,\ldots,k\}$ exists such that $\sum_{e\ni u}c(e)\neq \sum_{e\ni v}c(e)$ for every pair of distinct vertices $u,v$ at distance at most $r$ in $G$. It was conjectured that $\chi'_{\Sigma,r}(G)\leq (1+o(1))\Delta^{r-1}$ for every $r\geq 3$. Thus far it has been in particular proved that $\chi'_{\Sigma,r}(G)\leq 6\Delta^{r-1}$ if $r\geq 4$. Combining probabilistic and constructive approach, we show that this can be improved to $\chi'_{\Sigma,r}(G)\leq (4+o(1))\Delta^{r-1}$ if the minimum degree of $G$ equals at least $\ln^8\Delta$.


title: Making Neural QA as Simple as Possible but not Simpler

abstract: Recent development of large-scale question answering (QA) datasets triggered a substantial amount of research into end-to-end neural architectures for QA. Increasingly complex systems have been conceived without comparison to simpler neural baseline systems that would justify their complexity. In this work, we propose a simple heuristic that guides the development of neural baseline systems for the extractive QA task. We find that there are two ingredients necessary for building a high-performing neural QA system: first, the awareness of question words while processing the context and second, a composition function that goes beyond simple bag-of-words modeling, such as recurrent neural networks. Our results show that FastQA, a system that meets these two requirements, can achieve very competitive performance compared with existing models. We argue that this surprising finding puts results of previous systems and the complexity of recent QA datasets into perspective.


title: Representations for the derivative at zero and finite parts of the Barnes zeta function

abstract: We provide new representations for the finite parts at the poles and the derivative at zero of the Barnes zeta function in any dimension in the general case. These representations are in the forms of series and limits. We also give an integral representation for the finite parts at the poles. Similar results are derived for an associated function, which we term homogeneous Barnes zeta function. Our expressions immediately yield analogous representations for the logarithm of the Barnes Gamma function, including the particular case also known as multiple Gamma function.

categories: math.CA hep-th math-ph math.CV math.MP math.NT


title: Neural Graph Machines: Learning Neural Networks Using Graphs

abstract: Label propagation is a powerful and flexible semi-supervised learning technique on graphs. Neural networks, on the other hand, have proven track records in many supervised learning tasks. In this work, we propose a training framework with a graph-regularised objective, namely "Neural Graph Machines", that can combine the power of neural networks and label propagation. This work generalises previous literature on graph-augmented training of neural networks, enabling it to be applied to multiple neural architectures (Feed-forward NNs, CNNs and LSTM RNNs) and a wide range of graphs. The new objective allows the neural networks to harness both labeled and unlabeled data by: (a) allowing the network to train using labeled data as in the supervised setting, (b) biasing the network to learn similar hidden representations for neighboring nodes on a graph, in the same vein as label propagation. Such architectures with the proposed objective can be trained efficiently using stochastic gradient descent and scaled to large graphs, with a runtime that is linear in the number of edges. The proposed joint training approach convincingly outperforms many existing methods on a wide range of tasks (multi-label classification on social graphs, news categorization, document classification and semantic intent classification), with multiple forms of graph inputs (including graphs with and without node-level features) and using different types of neural networks.


title: RECOD Titans at ISIC Challenge 2017

abstract: This extended abstract describes the participation of RECOD Titans in parts 1 and 3 of the ISIC Challenge 2017 "Skin Lesion Analysis Towards Melanoma Detection" (ISBI 2017). Although our team has a long experience with melanoma classification, the ISIC Challenge 2017 was the very first time we worked on skin-lesion segmentation. For part 1 (segmentation), our final submission used four of our models: two trained with all 2000 samples, without a validation split, for 250 and for 500 epochs respectively; and other two trained and validated with two different 1600/400 splits, for 220 epochs. Those four models, individually, achieved between 0.780 and 0.783 official validation scores. Our final submission averaged the output of those four models achieved a score of 0.793. For part 3 (classification), the submitted test run as well as our last official validation run were the result from a meta-model that assembled seven base deep-learning models: three based on Inception-V4 trained on our largest dataset; three based on Inception trained on our smallest dataset; and one based on ResNet-101 trained on our smaller dataset. The results of those component models were stacked in a meta-learning layer based on an SVM trained on the validation set of our largest dataset.


title: Motivic Milnor fibers of plane curve singularities

abstract: We compute the motivic Milnor fiber of a complex plane curve singularity in an inductive and combinatoric way using the extended simplified resolution graph. The method introduced in this article has a consequence that one can study the Hodge-Steenbrink spectrum of such a singularity in terms of that of a quasi-homogeneous singularity.


title: Weak Poincar\'e Inequalities for Convergence Rate of Degenerate Diffusion Processes

abstract: For a contraction $C_0$-semigroup on a separable Hilbert space, the decay rate is estimated by using the weak Poincar\'e inequalities for the symmetric and anti-symmetric part of the generator. As applications, non-exponential convergence rate is characterized for a class of degenerate diffusion processes, so that the study of hypocoercivity is extended. Concrete examples are presented.


title: Control refinement for DAE systems: A behavioral approach via simulation relations

abstract: The controller design of the so-called "difference algebraic equation" (DAE) systems that are frequently shown in industrial processes, tend to be challenging because of the combination of algebraic equations and high state dimensions. In this paper, we tackle this problem by developing control refinement approaches for DAE systems via the notions of (bi)simulation relations and approximate simulation relations from computer science. The quantified refinement accuracy is achieved by defining observation metrics over a general system framework named transition systems. We employ the behavioral theory to tackle dynamical systems and control problems in a more general framework. Due to the difficulty in dealing with a DAE system directly, we derive another system, which is behaviorally equivalent to the related DAE system and in standard state space form, to provide ease for further control refinement. Consequently, well-developed model reduction approaches can be applied to obtain an abstract simplified system, which can be rewritten into a DAE system again. Based on the (bi)simulation relations, approximate simulation relations and the initialization conditions, we show that for any given well-posed controller of the abstract model, we can always refine it to a controller for the concrete model such that the two systems have the same controlled output behavior or the distance between their output behavior is bounded.


title: Classification in biological networks with hypergraphlet kernels

abstract: Biological and cellular systems are often modeled as graphs in which vertices represent objects of interest (genes, proteins, drugs) and edges represent relational ties among these objects (binds-to, interacts-with, regulates). This approach has been highly successful owing to the theory, methodology and software that support analysis and learning on graphs. Graphs, however, often suffer from information loss when modeling physical systems due to their inability to accurately represent multiobject relationships. Hypergraphs, a generalization of graphs, provide a framework to mitigate information loss and unify disparate graph-based methodologies. In this paper, we present a hypergraph-based approach for modeling physical systems and formulate vertex classification, edge classification and link prediction problems on (hyper)graphs as instances of vertex classification on (extended, dual) hypergraphs in a semi-supervised setting. We introduce a novel kernel method on vertex- and edge-labeled (colored) hypergraphs for analysis and learning. The method is based on exact and inexact (via hypergraph edit distances) enumeration of small simple hypergraphs, referred to as hypergraphlets, rooted at a vertex of interest. We extensively evaluate this method and show its potential use in a positive-unlabeled setting to estimate the number of missing and false positive links in protein-protein interaction networks.


title: In Search of a Dataset for Handwritten Optical Music Recognition: Introducing MUSCIMA++

abstract: Optical Music Recognition (OMR) has long been without an adequate dataset and ground truth for evaluating OMR systems, which has been a major problem for establishing a state of the art in the field. Furthermore, machine learning methods require training data. We analyze how the OMR processing pipeline can be expressed in terms of gradually more complex ground truth, and based on this analysis, we design the MUSCIMA++ dataset of handwritten music notation that addresses musical symbol recognition and notation reconstruction. The MUSCIMA++ dataset version 0.9 consists of 140 pages of handwritten music, with 91255 manually annotated notation symbols and 82261 explicitly marked relationships between symbol pairs. The dataset allows training and evaluating models for symbol classification, symbol localization, and notation graph assembly, both in isolation and jointly. Open-source tools are provided for manipulating the dataset, visualizing the data and further annotation, and the dataset itself is made available under an open license.


title: A Preferred Mass Range for Primordial Black Hole Formation and Black Holes as Dark Matter Revisited

abstract: Bird, et. al. and Sasaki, et. al. have recently proposed the intriguing possibility that the black holes detected by LIGO could be all or part of the cosmological dark matter. This offers an alternative to WIMPs and axions, where dark matter could be comprised solely of Standard Model particles. The mass range lies within an observationally viable window and the predicted merger rate can be tested by future LIGO observations. In this paper, we argue that non-thermal histories favor production of black holes near this mass range -- with heavier ones unlikely to form in the early universe and lighter black holes being diluted through late-time entropy production. We discuss how this prediction depends on the primordial power spectrum, the likelihood of black hole formation, and the underlying model parameters. We find the prediction for the preferred mass range to be rather robust assuming a blue spectral index less than two. We consider the resulting relic density in black holes, and using recent observational constraints, establish whether they could account for all of the dark matter today.


title: Encoding Sentences with Graph Convolutional Networks for Semantic Role Labeling

abstract: Semantic role labeling (SRL) is the task of identifying the predicate-argument structure of a sentence. It is typically regarded as an important step in the standard NLP pipeline. As the semantic representations are closely related to syntactic ones, we exploit syntactic information in our model. We propose a version of graph convolutional networks (GCNs), a recent class of neural networks operating on graphs, suited to model syntactic dependency graphs. GCNs over syntactic dependency trees are used as sentence encoders, producing latent feature representations of words in a sentence. We observe that GCN layers are complementary to LSTM ones: when we stack both GCN and LSTM layers, we obtain a substantial improvement over an already state-of-the-art LSTM SRL model, resulting in the best reported scores on the standard benchmark (CoNLL-2009) both for Chinese and English.


title: Floquet quantum simulation with superconducting qubits

abstract: We propose a quantum algorithm for simulating spin models based on periodic modulation of transmon qubits. Using Floquet theory we derive an effective time-averaged Hamiltonian, which is of the general XYZ class, different from the isotropic XY Hamiltonian typically realised by the physical setup. As an example, we provide a simple recipe to construct a transverse Ising Hamiltonian in the Floquet basis. For a 1D system we demonstrate numerically the dynamical simulation of the transverse Ising Hamiltonian and quantum annealing to its ground state. We benchmark the Floquet approach with a digital simulation procedure, and demonstrate that it is advantageous for limited resources and finite anharmonicity of the transmons. The described protocol can serve as a simple yet reliable path towards configurable quantum simulators with currently existing superconducting chips.


title: SIGS - Seismic Inferences for Glitches in Stars

abstract: The increased amount of high precision seismic data for solar-like stars calls for the existence of tools that can extract information from such data. In the case of the study of acoustic glitches there are no publicly available tools and most existing ones require a deep knowledge of their implementation. In this work a tool is presented that aims to both simplify the interaction with the user and also be capable of working automatically to determine properties of acoustic glitches from seismic data of solar-like stars. This tool is shown to work with both the Sun and other solar analogs but also shows that are still severe limitations to the methods used, when considering smaller datasets.


title: Robustness analysis of a Maximum Correntropy framework for linear regression

abstract: In this paper we formulate a solution of the robust linear regression problem in a general framework of correntropy maximization. Our formulation yields a unified class of estimators which includes the Gaussian and Laplacian kernel-based correntropy estimators as special cases. An analysis of the robustness properties is then provided. The analysis includes a quantitative characterization of the informativity degree of the regression which is appropriate for studying the stability of the estimator. Using this tool, a sufficient condition is expressed under which the parametric estimation error is shown to be bounded. Explicit expression of the bound is given and discussion on its numerical computation is supplied. For illustration purpose, two special cases are numerically studied.


title: Leading CFT constraints on multi-critical models in d>2

abstract: We consider the family of renormalizable scalar QFTs with self-interacting potentials of highest monomial $\phi^{m}$ below their upper critical dimensions $d_c=\frac{2m}{m-2}$, and study them using a combination of CFT constraints, Schwinger-Dyson equation and the free theory behavior at the upper critical dimension. For even integers $m \ge 4$ these theories coincide with the Landau-Ginzburg description of multi-critical phenomena and interpolate with the unitary minimal models in $d=2$, while for odd $m$ the theories are non-unitary and start at $m=3$ with the Lee-Yang universality class. For all the even potentials and for the Lee-Yang universality class, we show how the assumption of conformal invariance is enough to compute the scaling dimensions of the local operators $\phi^k$ and of some families of structure constants in either the coupling's or the $\epsilon$-expansion. For all other odd potentials we express some scaling dimensions and structure constants in the coupling's expansion.


title: Abiotic streamers in a microfluidic system

abstract: In this work, we report the phenomenon of formation of particle aggregates in the form of thin slender strings when a polyacrylamide (PAM) solution, laden with polystyrene (PS) particles is introduced into a microfluidic device containing an array of micropillars. PAM and dilute solution of PS beads is introduced into the microfluidic channel through two separate inlets and localized particle aggregation is found to occur under certain conditions. The particle aggregates initially have a string-like morphology that remain tethered at their ends to the micropillar walls, while the rest of the structure remains suspended in the fluid medium. It is this morphology that inspired us to name these structures streamers. The flow regime under which streamer formation is observed is quantified using through a phase diagram. We discuss the streamer formation time-scales and also show that streamer formation is likely the result of flocculation of the PS beads. These streamers can serve as excellent model systems to study a biological phenomenon by the same name.


title: A Random Finite Set Model for Data Clustering

abstract: The goal of data clustering is to partition data points into groups to minimize a given objective function. While most existing clustering algorithms treat each data point as vector, in many applications each datum is not a vector but a point pattern or a set of points. Moreover, many existing clustering methods require the user to specify the number of clusters, which is not available in advance. This paper proposes a new class of models for data clustering that addresses set-valued data as well as unknown number of clusters, using a Dirichlet Process mixture of Poisson random finite sets. We also develop an efficient Markov Chain Monte Carlo posterior inference technique that can learn the number of clusters and mixture parameters automatically from the data. Numerical studies are presented to demonstrate the salient features of this new model, in particular its capacity to discover extremely unbalanced clusters in data.


title: Waveform measurement of charge- and spin-density wave packets in a Tomonaga-Luttinger liquid

abstract: In contrast to a free electron system, a Tomonaga-Luttinger (TL) liquid in a one dimensional (1D) electron system hosts charge and spin excitations as independent entities. When an electron wave packet is injected into a TL liquid, it transforms into wave packets carrying either charge or spin that propagate at different group velocities and move away from each other. This process, known as spin-charge separation, is the hallmark of TL physics. While the existence of these TL eigenmodes has been identified in momentum- or frequency-resolved measurements, their waveforms, which are a direct manifestation of 1D electron dynamics, have been long awaited to be measured. In this study, we present a time domain measurement for the spin-charge-separation process in an asymmetric chiral TL liquid comprising quantum Hall (QH) edge channels. We measure the waveforms of both charge and spin excitations by combining a spin filter with a time-resolved charge detector. Spatial separation of charge- and spin-wave packets over a distance exceeding 200 um was confirmed. In addition, we found that the 1D electron dynamics can be controlled by tuning the electric environment. These experimental results provide fundamental information about non-equilibrium phenomena in actual 1D electron systems.


title: A Quasi-Linear Time Algorithm Deciding Whether Weak B\"uchi Automata Reading Vectors of Reals Recognize Saturated Languages

abstract: This work considers weak deterministic B\"uchi automata reading encodings of non-negative $d$-vectors of reals in a fixed base. A saturated language is a language which contains all encoding of elements belonging to a set of $d$-vectors of reals. A Real Vector Automaton is an automaton which recognizes a saturated language. It is explained how to decide in quasi-linear time whether a minimal weak deterministic B\"uchi automaton is a Real Vector Automaton. The problem is solved both for the two standard encodings of vectors of numbers: the sequential encoding and the parallel encoding. This algorithm runs in linear time for minimal weak B\"uchi automata accepting set of reals. Finally, the same problem is also solved for parallel encoding of automata reading vectors of relative reals.


title: A Proximity-Aware Hierarchical Clustering of Faces

abstract: In this paper, we propose an unsupervised face clustering algorithm called "Proximity-Aware Hierarchical Clustering" (PAHC) that exploits the local structure of deep representations. In the proposed method, a similarity measure between deep features is computed by evaluating linear SVM margins. SVMs are trained using nearest neighbors of sample data, and thus do not require any external training data. Clusters are then formed by thresholding the similarity scores. We evaluate the clustering performance using three challenging unconstrained face datasets, including Celebrity in Frontal-Profile (CFP), IARPA JANUS Benchmark A (IJB-A), and JANUS Challenge Set 3 (JANUS CS3) datasets. Experimental results demonstrate that the proposed approach can achieve significant improvements over state-of-the-art methods. Moreover, we also show that the proposed clustering algorithm can be applied to curate a set of large-scale and noisy training dataset while maintaining sufficient amount of images and their variations due to nuisance factors. The face verification performance on JANUS CS3 improves significantly by finetuning a DCNN model with the curated MS-Celeb-1M dataset which contains over three million face images.


title: Characterizing a CCD detector for astronomical purposes: OAUNI Project

abstract: This work verifies the instrumental characteristics of the CCD detector which is part of the UNI astronomical observatory. We measured the linearity of the CCD detector of the SBIG STXL6303E camera, along with the associated gain and readout noise. The linear response to the incident light of the detector is extremely linear (R2 =99.99%), its effective gain is 1.65 +/- 0.01 e-/ADU and its readout noise is 12.2 e-. These values are in agreement with the manufacturer. We confirm that this detector is extremely precise to make measurements for astronomical purposes.


title: SNE: Signed Network Embedding

abstract: Several network embedding models have been developed for unsigned networks. However, these models based on skip-gram cannot be applied to signed networks because they can only deal with one type of link. In this paper, we present our signed network embedding model called SNE. Our SNE adopts the log-bilinear model, uses node representations of all nodes along a given path, and further incorporates two signed-type vectors to capture the positive or negative relationship of each edge along the path. We conduct two experiments, node classification and link prediction, on both directed and undirected signed networks and compare with four baselines including a matrix factorization method and three state-of-the-art unsigned network embedding models. The experimental results demonstrate the effectiveness of our signed network embedding.


title: Revisiting Frequency Reuse towards Supporting Ultra-Reliable Ubiquitous-Rate Communication

abstract: One of the goals of 5G wireless systems stated by the NGMN alliance is to provide moderate rates (50+ Mbps) everywhere and with very high reliability. We term this service Ultra-Reliable Ubiquitous-Rate Communication (UR2C). This paper investigates the role of frequency reuse in supporting UR2C in the downlink. To this end, two frequency reuse schemes are considered: user-specific frequency reuse (FRu) and BS-specific frequency reuse (FRb). For a given unit frequency channel, FRu reduces the number of serving user equipments (UEs), whereas FRb directly decreases the number of interfering base stations (BSs). This increases the distance from the interfering BSs and the signal-to-interference ratio (SIR) attains ultra-reliability, e.g. 99% SIR coverage at a randomly picked UE. The ultra-reliability is, however, achieved at the cost of the reduced frequency allocation, which may degrade overall downlink rate. To fairly capture this reliability-rate tradeoff, we propose ubiquitous rate defined as the maximum downlink rate whose required SIR can be achieved with ultra-reliability. By using stochastic geometry, we derive closed-form ubiquitous rate as well as the optimal frequency reuse rules for UR2C.


title: The QCD Axion and Electroweak Vacuum Stability

abstract: The complex field $\Phi$ containing the QCD axion has a natural portal coupling to the Higgs doublet of the form $\lambda_{h \phi}|\Phi|^2 |H|^2$. Here we consider the possibility that $\lambda_{h \phi}$ has a natural magnitude for a dimensionless coupling, $\lambda_{h \phi} \sim 0.1-1$. This is possible if the total mass squared parameter of the Higgs in the vacuum, including quadratic divergent and the $\Phi$ vacuum expectation value contributions, is renormalized to reproduce the observed Higgs boson mass. It is then possible for the axion sector to stabilize the electroweak vacuum. We show the requirement of electroweak vacuum stability implies that the axion decay constant satisfies $f_{a} < 1.3 \times 10^{10}$ GeV.


title: Motion of magnetically charged particles in a magnetically charged stringy black hole spacetime

abstract: We study the motion of massive particles with electric and magnetic charges in the background of a magnetically charged Garfinkle-Horowitz-Strominger stringy black hole. We solve analytically the equations of motion of the test particles and we describe the orbital motion in terms of the Weierstrass elliptic functions. We find that there are critical values of the magnetic charge of the black hole and the magnetic charge of the test particle which characterize the bound and unbound orbits and we study two observables, the perihelion shift and the Lense-Thirring effect. The trajectories depend on the electric and magnetic charges of the test particle. While the angular-motion depends on the electric charge of the test particle, the $r$ and $t$-motion depends on the mass and the magnetic charge of the test particle.


title: Hilbert Space Lyapunov Exponent stability

abstract: We study cocycles of compact operators acting on a separable Hilbert space, and investigate the stability of the Lyapunov exponents and Oseledets spaces when the operators are subjected to additive Gaussian noise. We show that as the noise is shrunk to 0, the Lyapunov exponents of the perturbed cocycle converge to those of the unperturbed cocycle; and the Oseledets spaces converge in probability to those of the unperturbed cocycle. This is, to our knowledge, the first result of this type with cocycles taking values in operators on infinite-dimensional spaces. The infinite dimensionality gives rise to a number of substantial difficulties that are not present in the finite-dimensional case.


title: Budgeted Batch Bayesian Optimization With Unknown Batch Sizes

abstract: Parameter settings profoundly impact the performance of machine learning algorithms and laboratory experiments. The classical grid search or trial-error methods are exponentially expensive in large parameter spaces, and Bayesian optimization (BO) offers an elegant alternative for global optimization of black box functions. In situations where the black box function can be evaluated at multiple points simultaneously, batch Bayesian optimization is used. Current batch BO approaches are restrictive in that they fix the number of evaluations per batch, and this can be wasteful when the number of specified evaluations is larger than the number of real maxima in the underlying acquisition function. We present the Budgeted Batch Bayesian Optimization (B3O) for hyper-parameter tuning and experimental design - we identify the appropriate batch size for each iteration in an elegant way. To set the batch size flexible, we use the infinite Gaussian mixture model (IGMM) for automatically identifying the number of peaks in the underlying acquisition functions. We solve the intractability of estimating the IGMM directly from the acquisition function by formulating the batch generalized slice sampling to efficiently draw samples from the acquisition function. We perform extensive experiments for both synthetic functions and two real world applications - machine learning hyper-parameter tuning and experimental design for alloy hardening. We show empirically that the proposed B3O outperforms the existing fixed batch BO approaches in finding the optimum whilst requiring a fewer number of evaluations, thus saving cost and time.


title: Effects of pressure impulse and peak pressure of a shock wave on microjet velocity and the onset of cavitation in a microchannel

abstract: The development of needle-free injection systems utilizing high-speed microjets is of great importance to world healthcare. It is thus crucial to control the microjets, which are often induced by underwater shock waves. In this contribution from fluid-mechanics point of view, we experimentally investigate the effect of a shock wave on the velocity of a free surface (microjet) and underwater cavitation onset in a microchannel, focusing on the pressure impulse and peak pressure of the shock wave. The shock wave used had a non-spherically-symmetric peak pressure distribution and a spherically symmetric pressure impulse distribution [Tagawa et al., J. Fluid Mech., 2016, 808, 5-18]. First, we investigate the effect of the shock wave on the jet velocity by installing a narrow tube and a hydrophone in different configurations in a large water tank, and measuring the shock wave pressure and the jet velocity simultaneously. The results suggest that the jet velocity depends only on the pressure impulse of the shock wave. We then investigate the effect of the shock wave on the cavitation onset by taking measurements in an L-shaped microchannel. The results suggest that the probability of cavitation onset depends only on the peak pressure of the shock wave. In addition, the jet velocity varies according to the presence or absence of cavitation. The above findings provide new insights for advancing a control method for high-speed microjets.


title: The Wigner Current for Open Quantum Systems

abstract: We extend the Wigner current vector field (Wigner current) construct to single bosonic mode quantum systems interacting with an environment. In terms of the Wigner function quasiprobability density and associated Wigner current, the open system quantum dynamics can be concisely expressed as a continuity equation. Through the consideration of the harmonic oscillator and additively driven Duffing oscillator in the bistable regime as illustrative system examples, we show how the evolving Wigner current vector field on the system phase space yields useful geometric insights concerning how quantum states decohere away due to interactions with the environment, as well as how they may be stabilized through the counteracting effects of the system anharmonicity (i.e., nonlinearity).


title: Skin lesion segmentation based on preprocessing, thresholding and neural networks

abstract: This abstract describes the segmentation system used to participate in the challenge ISIC 2017: Skin Lesion Analysis Towards Melanoma Detection. Several preprocessing techniques have been tested for three color representations (RGB, YCbCr and HSV) of 392 images. Results have been used to choose the better preprocessing for each channel. In each case a neural network is trained to predict the Jaccard Index based on object characteristics. The system includes black frames and reference circle detection algorithms but no special treatment is done for hair removal. Segmentation is performed in two steps first the best channel to be segmented is chosen by selecting the best neural network output. If this output does not predict a Jaccard Index over 0.5 a more aggressive preprocessing is performed using open and close morphological operations and the segmentation of the channel that obtains the best output from the neural networks is selected as the lesion.


title: Long-path formation in a deformed microdisk laser

abstract: An asymmetric resonant cavity can be used to form a path that is much longer than the cavity size. We demonstrate this capability for a deformed microdisk equipped with two linear waveguides, by constructing a multiply reflected periodic orbit that is confined by total internal reflection within the deformed microdisk and outcoupled by the two linear waveguides. Resonant mode analysis reveals that the modes corresponding to the periodic orbit are characterized by high quality factors. From measured spectral and far-field data, we confirm that the fabricated devices can form a path about 9.3 times longer than the average diameter of the deformed microdisk.


title: Quadratic Lagrange spectrum: I

abstract: In this paper we prove the existence of Hall's ray for the quadratic Lagrange spectrums of all real quadratic numbers. For a large class of real quadratic numbers, we compute the Hurwitz constants of their quadratic Lagrange spectrums


title: Light vector correlator in medium: Wilson coefficients up to dimension 6 operators

abstract: As an improvement of the QCD sum rule method to study modifications of light vector mesons in nuclear matter and/or at finite temperature, we calculate the Wilson coefficients of all independent gluonic non-scalar operators up to dimension 6 in the operator product expansion (OPE) of the vector channel for light quarks. To obtain the gluon part of the light quark OPE from the heavy quark one, we also compute the heavy quark expansion of the relevant quark condensates. Together with the results for the quark operators that are already available in the literature, this completes the OPE of the vector channel in a hot or dense medium for operators up to dimension 6.


title: Topological Quantum Optics in Two-Dimensional Atomic Arrays

abstract: We demonstrate that two-dimensional atomic emitter arrays with subwavelength spacing constitute topologically protected quantum optical systems where the photon propagation is robust against large imperfections while losses associated with free space emission are strongly suppressed. Breaking time-reversal symmetry with a magnetic field results in gapped photonic bands with non-trivial Chern numbers and topologically protected, long-lived edge states. Due to the inherent nonlinearity of constituent emitters, such systems provide a platform for exploring quantum optical analogues of interacting topological systems.


title: Variational methods for steady-state Darcy/Fick flow in swollen and poroelastic solids

abstract: Existence of steady states in elastic media at small strains with diffusion of a solvent or fluid due to Fick's or Darcy's laws is proved by combining usage of variational methods inspired from static situations with Schauder's fixed-point arguments. In the plain variant, the problem consists in the force equilibrium coupled with the continuity equation, and the underlying operator is non-potential and non-pseudomonotone so that conventional methods are not applicable. In advanced variants, electrically-charged multi-component flows through an electrically charged elastic solid are treated, employing critical points of the saddle-point type. Eventually, anisothermal variants involving heat-transfer equation are treated, too.


title: Semistable rank 2 sheaves with singularities of mixed dimension on $\mathbb{P}^3$

abstract: We describe new irreducible components of the Gieseker-Maruyama moduli scheme $\mathcal{M}(3)$ of semistable rank 2 coherent sheaves with Chern classes $c_1=0,\ c_2=3,\ c_3=0$ on $\mathbb{P}^3$, general points of which correspond to sheaves whose singular loci contain components of dimensions both 0 and 1. These sheaves are produced by elementary transformations of stable reflexive rank 2 sheaves with $c_1=0,\ c_2=2,\ c_3=2$ or 4 along a disjoint union of a projective line and a collection of points in $\mathbb{P}^3$. The constructed families of sheaves provide first examples of irreducible components of the Gieseker-Maruyama moduli scheme such that their general sheaves have singularities of mixed dimension.


title: Exploring quantum chaos with a single nuclear spin

abstract: Most classical dynamical systems are chaotic. The trajectories of two identical systems prepared in infinitesimally different initial conditions diverge exponentially with time. Quantum systems, instead, exhibit quasi-periodicity due to their discrete spectrum. Nonetheless, the dynamics of quantum systems whose classical counterparts are chaotic are expected to show some features that resemble chaotic motion. Among the many controversial aspects of the quantum-classical boundary, the emergence of chaos remains among the least experimentally verified. Time-resolved observations of quantum chaotic dynamics are particularly rare, and as yet unachieved in a single particle, where the subtle interplay between chaos and quantum measurement could be explored at its deepest levels. We present here a realistic proposal to construct a chaotic driven top from the nuclear spin of a single donor atom in silicon, in the presence of a nuclear quadrupole interaction. This system is exquisitely measurable and controllable, and possesses extremely long intrinsic quantum coherence times, allowing for the observation of subtle dynamical behavior over extended periods. We show that signatures of chaos are expected to arise for experimentally realizable parameters of the system, allowing the study of the relation between quantum decoherence and classical chaos, and the observation of dynamical tunneling.


title: Face Recognition using Multi-Modal Low-Rank Dictionary Learning

abstract: Face recognition has been widely studied due to its importance in different applications; however, most of the proposed methods fail when face images are occluded or captured under illumination and pose variations. Recently several low-rank dictionary learning methods have been proposed and achieved promising results for noisy observations. While these methods are mostly developed for single-modality scenarios, recent studies demonstrated the advantages of feature fusion from multiple inputs. We propose a multi-modal structured low-rank dictionary learning method for robust face recognition, using raw pixels of face images and their illumination invariant representation. The proposed method learns robust and discriminative representations from contaminated face images, even if there are few training samples with large intra-class variations. Extensive experiments on different datasets validate the superior performance and robustness of our method to severe illumination variations and occlusion.


title: Distributed-Representation Based Hybrid Recommender System with Short Item Descriptions

abstract: Collaborative filtering (CF) aims to build a model from users' past behaviors and/or similar decisions made by other users, and use the model to recommend items for users. Despite of the success of previous collaborative filtering approaches, they are all based on the assumption that there are sufficient rating scores available for building high-quality recommendation models. In real world applications, however, it is often difficult to collect sufficient rating scores, especially when new items are introduced into the system, which makes the recommendation task challenging. We find that there are often "short" texts describing features of items, based on which we can approximate the similarity of items and make recommendation together with rating scores. In this paper we "borrow" the idea of vector representation of words to capture the information of short texts and embed it into a matrix factorization framework. We empirically show that our approach is effective by comparing it with state-of-the-art approaches.


title: Search for CP violation effects in the $h\to \tau\tau$ decay with $e^+e^-$ colliders

abstract: A new method is proposed to reconstruct the neutrinos in the $e^+e^-\to Zh$ process followed by the $h\to\tau\tau$ decay. With the help of a refined Higgs momentum reconstruction from the recoiling system and the impact parameters, high precision in the determination of the momentum of neutrinos can be achieved. The prospect of measuring the Higgs CP mixing angle with the $h\to\tau\tau$ decay at future $e^+e^-$ colliders is studied with the new method. The analysis is based on a detailed detector simulation of the signal and backgrounds. The fully reconstructed neutrinos and also other visible products from the tau decay are used to build matrix element (ME) based CP observables. With 5 $ab^{-1}$ of data at $E_{\text{CM}}=250$ GeV, a precision of $2.9^\circ$ can be achieved for the CP mixing angle with three main one-prong decay modes of the taus. The precision is found to be about 35\% better than the other methods.