title: Perverse filtrations, Hilbert schemes, and the P=W conjecture for parabolic Higgs bundles

abstract: We prove de Cataldo-Hausel-Migliorini's P=W conjecture in arbitrary rank for parabolic Higgs bundles labeled by the affine Dynkin diagrams $\tilde{A}_0$, $\tilde{D}_4$, $\tilde{E}_6$, $\tilde{E}_7$, and $\tilde{E}_8$. Our proof relies on the study of the tautological classes on the Hilbert scheme of points on an elliptic surface with respect to the perverse filtration.


title: Dynamic Channel Pruning: Feature Boosting and Suppression

abstract: Making deep convolutional neural networks more accurate typically comes at the cost of increased computational and memory resources. In this paper, we reduce this cost by exploiting the fact that the importance of features computed by convolutional layers is highly input-dependent, and propose feature boosting and suppression (FBS), a new method to predictively amplify salient convolutional channels and skip unimportant ones at run-time. FBS introduces small auxiliary connections to existing convolutional layers. In contrast to channel pruning methods which permanently remove channels, it preserves the full network structures and accelerates convolution by dynamically skipping unimportant input and output channels. FBS-augmented networks are trained with conventional stochastic gradient descent, making it readily available for many state-of-the-art CNNs. We compare FBS to a range of existing channel pruning and dynamic execution schemes and demonstrate large improvements on ImageNet classification. Experiments show that FBS can respectively provide $5\times$ and $2\times$ savings in compute on VGG-16 and ResNet-18, both with less than $0.6\%$ top-5 accuracy loss.


title: Parallel multicomponent interferometer with a spinor Bose-Einstein condensate

abstract: Atom interferometry with high visibility is of high demand for precision measurements. Here, a parallel multicomponent interferometer is achieved by preparing a spin-$2$ Bose-Einstein condensate of $^{87}$Rb atoms confined in a hybrid magneto-optical trap. After the preparation of a spinor Bose-Einstein condensate with spin degrees of freedom entangled, we observe four spatial interference patterns in each run of measurements corresponding to four hyperfine states we mainly populate in the experiment. The atomic populations in different Zeeman sublevels are made controllably using magnetic-field-pulse induced Majorana transitions. The spatial separation of atom cloud in different hyperfine states is reached by Stern-Gerlach momentum splitting. The high visibility of the interference fringes is reached by designing a proper overlap of the interfering wave packets. Due to uncontrollable phase accumulation in Majorana transitions, the phase of each individual spin is found to be subjected to unreproducible shift in multiple experimental runs. However, the relative phase across different spins is stable, paving a way towards noise-resilient multicomponent parallel interferometers.


title: On the Properties of Gromov Matrices and their Applications in Network Inference

abstract: The spanning tree heuristic is a commonly adopted procedure in network inference and estimation. It allows one to generalize an inference method developed for trees, which is usually based on a statistically rigorous approach, to a heuristic procedure for general graphs by (usually randomly) choosing a spanning tree in the graph to apply the approach developed for trees. However, there are an intractable number of spanning trees in a dense graph. In this paper, we represent a weighted tree with a matrix, which we call a Gromov matrix. We propose a method that constructs a family of Gromov matrices using convex combinations, which can be used for inference and estimation instead of a randomly selected spanning tree. This procedure increases the size of the candidate set and hence enhances the performance of the classical spanning tree heuristic. On the other hand, our new scheme is based on simple algebraic constructions using matrices, and hence is still computationally tractable. We discuss some applications on network inference and estimation to demonstrate the usefulness of the proposed method.


title: IndoSum: A New Benchmark Dataset for Indonesian Text Summarization

abstract: Automatic text summarization is generally considered as a challenging task in the NLP community. One of the challenges is the publicly available and large dataset that is relatively rare and difficult to construct. The problem is even worse for low-resource languages such as Indonesian. In this paper, we present IndoSum, a new benchmark dataset for Indonesian text summarization. The dataset consists of news articles and manually constructed summaries. Notably, the dataset is almost 200x larger than the previous Indonesian summarization dataset of the same domain. We evaluated various extractive summarization approaches and obtained encouraging results which demonstrate the usefulness of the dataset and provide baselines for future research. The code and the dataset are available online under permissive licenses.


title: Keisler's Order and Full Boolean-Valued Models

abstract: We prove a compactness theorem for full Boolean-valued models. As an application, we show that if $T$ is a complete countable theory and $\mathcal{B}$ is a complete Boolean algebra, then $\lambda^+$-saturated $\mathcal{B}$-valued models of $T$ exist. Moreover, if $\mathcal{U}$ is an ultrafilter on $T$ and $\mathbf{M}$ is a $\lambda^+$-saturated $\mathcal{B}$-valued model of $T$, then whether or not $\mathbf{M}/\mathcal{U}$ is $\lambda^+$-saturated just depends on $\mathcal{U}$ and $T$; we say that $\mathcal{U}$ $\lambda^+$-saturates $T$ in this case. We show that Keisler's order can be formulated as follows: $T_0 \trianglelefteq T_1$ if and only if for every cardinal $\lambda$, for every complete Boolean algebra $\mathcal{B}$ with the $\lambda^+$-c.c., and for every ultrafilter $\mathcal{U}$ on $\mathcal{B}$, if $\mathcal{U}$ $\lambda^+$-saturates $T_1$, then $\mathcal{U}$ $\lambda^+$-saturates $T_0$.


title: Purely noncommuting groups

abstract: In this paper we define and investigate a class of groups characterized by a representation-theoretic property we call purely noncommuting or PNC. This property guarantees that the group has an action on a smooth projective variety with mild quotient singularities. It has intrinsic group-theoretic interest as well. The main results are as follows. (i) All supersolvable groups are PNC. (ii) No nonabelian finite simple groups are PNC. (iii) A metabelian group is guaranteed to be PNC if its commutator subgroup's cyclic prime-power-order factors are all distinct, but not in general. We also give a criterion guaranteeing a group is PNC if its nonabelian subgroups are all large, in a suitable sense, and investigate the PNC property for permutations.


title: Constraints on symmetry from holography

abstract: In this letter we use the Anti-de Sitter/Conformal Field Theory (AdS/CFT) correspondence to establish a set of old conjectures about symmetries in quantum gravity. These are that no global symmetries are possible, that internal gauge symmetries must come with dynamical objects that transform in all irreducible representations, and that internal gauge groups must be compact. These conjectures are not obviously true from a bulk perspective, they are nontrivial consequences of the non-perturbative consistency of the correspondence. More details of and background for these arguments are presented in an accompanying paper.


title: Symmetries in quantum field theory and quantum gravity

abstract: In this paper we use the AdS/CFT correspondence to refine and then establish a set of old conjectures about symmetries in quantum gravity. We first show that any global symmetry, discrete or continuous, in a bulk quantum gravity theory with a CFT dual would lead to an inconsistency in that CFT, and thus that there are no bulk global symmetries in AdS/CFT. We then argue that any "long-range" bulk gauge symmetry leads to a global symmetry in the boundary CFT, whose consistency requires the existence of bulk dynamical objects which transform in all finite-dimensional irreducible representations of the bulk gauge group. We mostly assume that all internal symmetry groups are compact, but we also give a general condition on CFTs, which we expect to be true quite broadly, which implies this. We extend all of these results to the case of higher-form symmetries. Finally we extend a recently proposed new motivation for the weak gravity conjecture to more general gauge groups, reproducing the "convex hull condition" of Cheung and Remmen. An essential point, which we dwell on at length, is precisely defining what we mean by gauge and global symmetries in the bulk and boundary. Quantum field theory results we meet while assembling the necessary tools include continuous global symmetries without Noether currents, new perspectives on spontaneous symmetry-breaking and 't Hooft anomalies, a new order parameter for confinement which works in the presence of fundamental quarks, a Hamiltonian lattice formulation of gauge theories with arbitrary discrete gauge groups, an extension of the Coleman-Mandula theorem to discrete symmetries, and an improved explanation of the decay $\pi^0\to\gamma \gamma$ in the standard model of particle physics. We also describe new black hole solutions of the Einstein equation in $d+1$ dimensions with horizon topology $\mathbb{T}^p\times \mathbb{S}^{d-p-1}$.


title: Superconductivity From Confinement of Singlets in Metal Oxides

abstract: The Yang-Mills description of phonons and the consequent structure of electron liquids in strongly anharmonic crystals such as metal oxides is shown to yield an attractive electron-phonon interaction, and thus an instability towards the formation of bound states, which can condense to form a superconductor. This mechanism differs significantly from the pairing mechanism of conventional superconductivity: the ground state from which superconductivity emerges is a many-body state of paired electrons and holes which is not amenable to a quasiparticle description, and whose properties are similar to those seen in the Cuprate high temperature superconductors. Confinement arises because the electron liquid structure acts as a source for Yang-Mills bosons, and not the traditional longitudinal density waves of BCS pairing.


title: 4D Human Body Correspondences from Panoramic Depth Maps

abstract: The availability of affordable 3D full body reconstruction systems has given rise to free-viewpoint video (FVV) of human shapes. Most existing solutions produce temporally uncorrelated point clouds or meshes with unknown point/vertex correspondences. Individually compressing each frame is ineffective and still yields to ultra-large data sizes. We present an end-to-end deep learning scheme to establish dense shape correspondences and subsequently compress the data. Our approach uses sparse set of "panoramic" depth maps or PDMs, each emulating an inward-viewing concentric mosaics. We then develop a learning-based technique to learn pixel-wise feature descriptors on PDMs. The results are fed into an autoencoder-based network for compression. Comprehensive experiments demonstrate our solution is robust and effective on both public and our newly captured datasets.


title: Tails of exit times from unstable equilibria on the line

abstract: For a one-dimensional smooth vector field in a neighborhood of an unstable equilibrium, we consider the associated dynamics perturbed by small noise. We give a revealing elementary proof of a result proved earlier using heavy machinery from Malliavin calculus. In particular, we obtain precise vanishing noise asymptotics for the tail of the exit time and for the exit distribution conditioned on atypically long exits.


title: Elastomeric waveguide on-chip coupling of an encapsulated MoS$_2$ monolayer

abstract: We propose a robust photonic platform for encapsulation and addressing of optically active 2D- and nano-materials. Our implementation utilises a monolayer of MoS$_2$ transition metal dichalcogenide embedded in an elastomeric waveguide chip. The structure is manufactured from PDMS using soft-lithography and capable of sustaining a single mode of guided light. We prove that this setup facilitates addressing of the 2D material flake by pumping it with polarised laser light and gathering polarisation-resolved photoluminescence spectra with the extinction ratio of 31, which highlights the potential for selection-rule dependent measurements. Our results demonstrate improved handling of the material and experimental simplification compared to other techniques. Furthermore, inherent elasticity of the host provides an avenue for direct mechanical coupling to embedded materials.


title: Direct Observation of Proton-Neutron Short-Range Correlation Dominance in Heavy Nuclei

abstract: We measured the triple coincidence A(e,e'np) and A(e,e'pp) reactions on carbon, aluminum, iron, and lead targets at Q2 > 1.5 (GeV/c)2, xB > 1.1 and missing momentum > 400 MeV/c. This was the first direct measurement of both proton-proton (pp) and neutron-proton (np) short-range correlated (SRC) pair knockout from heavy asymmetric nuclei. For all measured nuclei, the average proton-proton (pp) to neutron-proton (np) reduced cross-section ratio is about 6%, in agreement with previous indirect measurements. Correcting for Single-Charge Exchange effects decreased the SRC pairs ratio to ~ 3%, which is lower than previous results. Comparisons to theoretical Generalized Contact Formalism (GCF) cross-section calculations show good agreement using both phenomenological and chiral nucleon-nucleon potentials, favoring a lower pp to np pair ratio. The ability of the GCF calculation to describe the experimental data using either phenomenological or chiral potentials suggests possible reduction of scale- and scheme-dependence in cross section ratios. Our results also support the high-resolution description of high-momentum states being predominantly due to nucleons in SRC pairs.


title: Orbital stability of standing waves for supercritical NLS with potential on graphs

abstract: In this paper we study the existence and stability of normalized standing waves for the nonlinear Schr\"odinger equation on a general starlike graph with potentials. Under general assumptions on the graph and the potential, we show the existence of orbitally stable standing waves when the nonlinearity is $L^{2}$-critical and supercritical.


title: Time Protection: the Missing OS Abstraction

abstract: Timing channels enable data leakage that threatens the security of computer systems, from cloud platforms to smartphones and browsers executing untrusted third-party code. Preventing unauthorised information flow is a core duty of the operating system, however, present OSes are unable to prevent timing channels. We argue that OSes must provide time protection in addition to the established memory protection. We examine the requirements of time protection, present a design and its implementation in the seL4 microkernel, and evaluate its efficacy as well as performance overhead on Arm and x86 processors.


title: The restricted sumsets in $\mathbb{Z}_n$

abstract: Let $h\geq 2$ be a positive integer. For any subset $\mathcal{A}\subset \mathbb{Z}_n$, let $h^{\wedge}\mathcal{A}$ be the set of the elements of $\mathbb{Z}_n$ which are sums of $h$ distinct elements of $\mathcal{A}$. In this paper, we obtain some new results on $4^{\wedge}\mathcal{A}$ and $5^{\wedge}\mathcal{A}$. For example, we show that if $|\mathcal{A}|\geq 0.4045n$ and $n$ is odd, then $4^{\wedge}\mathcal{A}=\mathbb{Z}_{n}$; Under some conditions, if $n$ is even and $|\mathcal{A}|$ is close to $n/4$, then $4^{\wedge}\mathcal{A}=\mathbb{Z}_{n}$.


title: Optimal Hierarchical Learning Path Design with Reinforcement Learning

abstract: E-learning systems are capable of providing more adaptive and efficient learning experiences for students than the traditional classroom setting. A key component of such systems is the learning strategy, the algorithm that designs the learning paths for students based on information such as the students' current progresses, their skills, learning materials, and etc. In this paper, we address the problem of finding the optimal learning strategy for an E-learning system. To this end, we first develop a model for students' hierarchical skills in the E-learning system. Based on the hierarchical skill model and the classical cognitive diagnosis model, we further develop a framework to model various proficiency levels of hierarchical skills. The optimal learning strategy on top of the hierarchical structure is found by applying a model-free reinforcement learning method, which does not require information on students' learning transition process. The effectiveness of the proposed framework is demonstrated via numerical experiments.


title: Tomas-Stein restriction estimates on convex cocompact hyperbolic manifolds. I

abstract: In this paper, we investigate the Tomas-Stein restriction estimates on convex cocompact hyperbolic manifolds $\Gamma\backslash\mathbb{H}^{n+1}$. Via the spectral measure of the Laplacian, we prove that the Tomas-Stein restriction estimate holds when the limit set has Hausdorff dimension $\delta_\Gamma<n/2$. This provides an example for which restriction estimate holds in the presence of hyperbolic geodesic trapping.


title: Topological actions via gauge variations of higher structures

abstract: In this note we provide a new perspective on the topological parts of several action functionals in string and M-theory. We show that rationally these can be viewed as large gauge transformations corresponding to variations of higher structures, such as String, Fivebrane, and Ninebrane structures.


title: A Criterion for the Existence of a Solvable $\pi$-Hall Subgroup in a Finite Group

abstract: Let $G$ be a finite group and let $\pi$ be a set of primes. In this paper, we prove a criterion for the existence of a solvable $\pi$-Hall subgroup of $G$, precisely, the group $G$ has a solvable $\pi$-Hall subgroup if, and only if, $G$ has a $\{p,q\}$-Hall subgroup for any pair $p$, $q\in\pi$.


title: Nanosecond mid-infrared pulse generation via modulated thermal emissivity

abstract: We demonstrate the generation of nanosecond mid-infrared pulses via fast modulation of thermal emissivity, enabled by the absorption of visible pump pulses in unpatterned silicon and gallium arsenide. The free-carrier dynamics in these materials result in nanosecond-scale modulation of thermal emissivity, leading to nanosecond pulsed thermal emission. To our knowledge, the nanosecond thermal-emissivity modulation demonstrated in this work is three orders of magnitude faster than what has been previously demonstrated. We also indirectly observed sub-nanosecond thermal pulses from hot carriers in semiconductors. The experiments are well described by our multiphysics model. Our method of converting visible pulses into the mid infrared using modulated emissivity obeys different scaling laws and can have significant wavelength tunability compared to approaches based on conventional nonlinearities.


title: Dynamics of cold pulses induced by super-sonic molecular beam injection in the EAST tokamak

abstract: Evolution of electron temperature, electron density and its fluctuation with high spatial and temporal resolutions are presented for the cold pulse propagation induced by super-sonic molecular beam injection (SMBI) in ohmic plasmas in the EAST tokamak. The non-local heat transport occurs for discharges with plasma current $I_p$=450 kA ($q_{95}\sim5.55$), and electron density $n_{e0}$ below a critical value of $(1.35\pm0.25)\times10^{19}~\mathrm{m^{-3}}$. In contrary to the response of core electron temperature and electron density (roughly 10 ms after SMBI), the electron density fluctuation in the plasma core increases promptly after SMBI and reaches its maximum around 15 ms after SMBI. The electron density fluctuation in the plasma core begins to decrease before the core electron temperature reaches its maximum (roughly 30 ms). It was also observed that the turbulence perpendicular velocity close to the inversion point of the temperature perturbation changes sign after SMBI.


title: The large-mass regime of confining but nearly conformal gauge theories

abstract: We apply a recently developed dilaton-pion effective field theory for asymptotically free gauge theories near the conformal window to the $SU(3)$ gauge theory with $N_f=8$ fermions in the fundamental representation. Numerical data for this theory suggest the existence of a large-mass regime, where the fermion mass is not small but nevertheless the effective theory is applicable because of the parametric proximity of the conformal window. In this regime, we find that the mass dependence of hadronic quantities is similar to that of a a mass-deformed conformal theory, so that distinguishing infrared conformality from confinement requires the study of subleading effects.


title: On the Deformation of a Hyperelastic Tube Due to Steady Viscous Flow Within

abstract: In this chapter, we analyze the steady-state microscale fluid--structure interaction (FSI) between a generalized Newtonian fluid and a hyperelastic tube. Physiological flows, especially in hemodynamics, serve as primary examples of such FSI phenomena. The small scale of the physical system renders the flow field, under the power-law rheological model, amenable to a closed-form solution using the lubrication approximation. On the other hand, negligible shear stresses on the walls of a long vessel allow the structure to be treated as a pressure vessel. The constitutive equation for the microtube is prescribed via the strain energy functional for an incompressible, isotropic Mooney--Rivlin material. We employ both the thin- and thick-walled formulations of the pressure vessel theory, and derive the static relation between the pressure load and the deformation of the structure. We harness the latter to determine the flow rate--pressure drop relationship for non-Newtonian flow in thin- and thick-walled soft hyperelastic microtubes. Through illustrative examples, we discuss how a hyperelastic tube supports the same pressure load as a linearly elastic tube with smaller deformation, thus requiring a higher pressure drop across itself to maintain a fixed flow rate.


title: Multiplicative Weights Update as a Distributed Constrained Optimization Algorithm: Convergence to Second-order Stationary Points Almost Always

abstract: Non-concave maximization has been the subject of much recent study in the optimization and machine learning communities, specifically in deep learning. Recent papers Ge et al, Lee et al (and references therein) indicate that first order methods work well and avoid saddle points. Results as in Lee et al, however, are limited to the \textit{unconstrained} case or for cases where the critical points are in the interior of the feasibility set, which fail to capture some of the most interesting applications. In this paper we focus on \textit{constrained} non-concave maximization. We analyze a variant of a well-established algorithm in machine learning called Multiplicative Weights Update (MWU) for the maximization problem $\max_{\mathbf{x} \in D} P(\mathbf{x})$, where $P$ is non-concave, twice continuously differentiable and $D$ is a product of simplices. We show that MWU converges almost always for small enough stepsizes to critical points that satisfy the second order KKT conditions. We combine techniques from dynamical systems as well as taking advantage of a recent connection between Baum Eagon inequality and MWU (Palaiopanos et al).


title: On the lattice structure of the space of all Bochner integrable Banach lattice-valued functions

abstract: Suppose $(X,\Sigma,\mu)$ is a finite measure space, $E$ is a Banach lattice, and $B(X,E,\mu)$ is the space of all Bochner integrable $E$-valued functions. In this note, we show that $B(X,E,\mu)$ is a $KB$-space or has the sequential Fatou property if and only if so is $E$. Among this, some results about Bochner integral convergence in $B(X,E,\mu)$, using order structure of $E$, have been proved, as well.


title: On The Equivalence of Tries and Dendrograms - Efficient Hierarchical Clustering of Traffic Data

abstract: The widespread use of GPS-enabled devices generates voluminous and continuous amounts of traffic data but analyzing such data for interpretable and actionable insights poses challenges. A hierarchical clustering of the trips has many uses such as discovering shortest paths, common routes and often traversed areas. However, hierarchical clustering typically has time complexity of $O(n^2 \log n)$ where $n$ is the number of instances, and is difficult to scale to large data sets associated with GPS data. Furthermore, incremental hierarchical clustering is still a developing area. Prefix trees (also called tries) can be efficiently constructed and updated in linear time (in $n$). We show how a specially constructed trie can compactly store the trips and further show this trie is equivalent to a dendrogram that would have been built by classic agglomerative hierarchical algorithms using a specific distance metric. This allows creating hierarchical clusterings of GPS trip data and updating this hierarchy in linear time. %we can extract a meaningful kernel and can also interpret the structure as clusterings of differing granularity as one progresses down the tree. We demonstrate the usefulness of our proposed approach on a real world data set of half a million taxis' GPS traces, well beyond the capabilities of agglomerative clustering methods. Our work is not limited to trip data and can be used with other data with a string representation.


title: Efficient architecture for deep neural networks with heterogeneous sensitivity

abstract: This work presents a neural network that consists of nodes with heterogeneous sensitivity. Each node in a network is assigned a variable that determines the sensitivity with which it learns to perform a given task. The network is trained by a constrained optimization that maximizes the sparsity of the sensitivity variables while ensuring the network's performance. As a result, the network learns to perform a given task using only a small number of sensitive nodes. Insensitive nodes, the nodes with zero sensitivity, can be removed from a trained network to obtain a computationally efficient network. Removing zero-sensitivity nodes has no effect on the network's performance because the network has already been trained to perform the task without them. The regularization parameter used to solve the optimization problem is found simultaneously during the training of networks. To validate our approach, we design networks with computationally efficient architectures for various tasks such as autoregression, object recognition, facial expression recognition, and object detection using various datasets. In our experiments, the networks designed by the proposed method provide the same or higher performance but with far less computational complexity.


title: Phonon Angular Momentum Induced by Temperature Gradient

abstract: Phonon modes in crystals can have angular momenta in general. It nevertheless cancels in equilibrium when the time-reversal symmetry is preserved. In this paper we show that when a temperature gradient is applied and heat current flows in the crystal, the phonon distribution becomes off-equilibrium, and a finite angular momentum is generated by the heat current. This mechanism is analogous to the Edelstein effect in electronic systems. This effect requires crystals with sufficiently low crystallographic symmetries, such as polar or chiral crystal structures. Because of the positive charges of the nuclei, this phonon angular momentum induces magnetization. In addition, when the crystal can freely rotate, this generated phonon angular momentum is converted to a rigidbody rotation of the crystal, due to the conservation of the total angular momentum. Furthermore, in metallic crystals, the phonon angular momentum will be partially converted into spin angular momentum of electrons.


title: Degeneracy of the 1/8 plateau and antiferromagnetic phases in the Shastry-Sutherland magnet TmB4

abstract: The 1/8 fractional plateau phase (1/8-FPP) in Shastry-Sutherland Lattice (SSL) spin systems has been viewed an exemplar of emergence on an Archimedean lattice. Here we explore this phase in the Ising magnet TmB4 using high-resolution specific heat (C) and magnetization (M) in the field-temperature plane. We show that the 1/8-FPP is smoothly connected to the antiferromagnetic (AF) phase on ramping the field from H= 0. Thus, the 1/8-FPP is not a distinct ground state of TmB4. The implication of these results for Heisenberg spins on the SSL is discussed.


title: Unsupervised Facial Geometry Learning for Sketch to Photo Synthesis

abstract: Face sketch-photo synthesis is a critical application in law enforcement and digital entertainment industry where the goal is to learn the mapping between a face sketch image and its corresponding photo-realistic image. However, the limited number of paired sketch-photo training data usually prevents the current frameworks to learn a robust mapping between the geometry of sketches and their matching photo-realistic images. Consequently, in this work, we present an approach for learning to synthesize a photo-realistic image from a face sketch in an unsupervised fashion. In contrast to current unsupervised image-to-image translation techniques, our framework leverages a novel perceptual discriminator to learn the geometry of human face. Learning facial prior information empowers the network to remove the geometrical artifacts in the face sketch. We demonstrate that a simultaneous optimization of the face photo generator network, employing the proposed perceptual discriminator in combination with a texture-wise discriminator, results in a significant improvement in quality and recognition rate of the synthesized photos. We evaluate the proposed network by conducting extensive experiments on multiple baseline sketch-photo datasets.


title: Bounded strictly pseudoconvex domains in $\mathbb{C}^2$ with obstruction flat boundary II

abstract: On a bounded strictly pseudoconvex domain in $\mathbb{C}^n$, $n>1$, the smoothness of the Cheng-Yau solution to Fefferman's complex Monge-Ampere equation up to the boundary is obstructed by a local CR invariant of the boundary. For a bounded strictly pseudoconvex domain $\Omega\subset \mathbb{C}^2$ diffeomorphic to the ball, we prove that the global vanishing of this obstruction implies biholomorphic equivalence to the unit ball, subject to the existence of a holomorphic vector field satisfying a mild approximate tangency condition along the boundary. In particular, by considering the Euler vector field multiplied by $i$ the result applies to all domains in a large $C^1$ open neighborhood of the unit ball in $\mathbb{C}^2$. The proof rests on establishing an integral identity involving the CR curvature of $\partial \Omega$ for any holomorphic vector field defined in a neighborhood of the boundary. The notion of ambient holomorphic vector field along the CR boundary generalizes naturally to the abstract setting, and the corresponding integral identity still holds in the case of abstract CR $3$-manifolds.


title: Symmetry representation approach to topological invariants in $C_{2z}T$-symmetric systems

abstract: We study the homotopy classification of symmetry representations to describe the bulk topological invariants protected by the combined operation of a two-fold rotation $C_{2z}$ and time-reversal $T$ symmetries. We define topological invariants as obstructions to having smooth Bloch wave functions compatible with a momentum-independent symmetry representation. When the Bloch wave functions are required to be smooth, the information on the band topology is contained in the symmetry representation. This implies that the $d$-dimensional homotopy class of the unitary matrix representation of the symmetry operator corresponds to the $d$-dimensional topological invariants. Here, we prove that the second Stiefel-Whitney number, a two-dimensional topological invariant protected by $C_{2z}T$, is the homotopy invariant that characterizes the second homotopy class of the matrix representation of $C_{2z}T$. As an application of our result, we show that the three-dimensional bulk topological invariant for the $C_{2z}T$-protected topological crystalline insulator proposed by C. Fang and L. Fu in Phys. Rev. B 91, 161105(R) (2015), which we call the 3D strong Stiefel Whitney insulator, is identical to the quantized magnetoelectric polarizability. The bulk-boundary correspondence associated with the quantized magnetoelectric polarizability shows that the 3D strong Stiefel-Whitney insulator has chiral hinges states as well as 2D massless surface Dirac fermions. This shows that the 3D strong Stiefel Whitney insulator has the characteristics of both the first order and the second order topological insulators, simultaneously, which is consistent with the recent classification of higher-order topological insulators protected by an order-two symmetry.


title: Kinetic approach to polarization-vorticity coupling and hydrodynamics with spin

abstract: Recently introduced equilibrium Wigner functions for spin-one-half particles are used in the semiclassical kinetic equations to study the relation between spin polarization and vorticity. It is found, in particular, that such a framework does not necessarily imply that the thermal-vorticity and spin polarization tensors are equal. Subsequently, a procedure to formulate the hydrodynamic framework for particles with spin-one-half, based on the semiclassical expansion, is outlined.


title: Decentralized Applications: The Blockchain-Empowered Software System

abstract: Blockchain technology has attracted tremendous attention in both academia and capital market. However, overwhelming speculations on thousands of available cryptocurrencies and numerous initial coin offering (ICO) scams have also brought notorious debates on this emerging technology. This paper traces the development of blockchain systems to reveal the importance of decentralized applications (dApps) and the future value of blockchain. We survey the state-of-the-art dApps and discuss the direction of blockchain development to fulfill the desirable characteristics of dApps. The readers will gain an overview of dApp research and get familiar with recent developments in the blockchain.


title: First principles modeling of the structural, electronic, and vibrational properties of Ni$_{40}$Pd$_{40}$P$_{20}$ bulk metallic glass

abstract: The structural, vibrational, and electronic properties of Ni$_{40}$Pd$_{40}$P$_{20}$ bulk metallic glass have been studied using ${\it ab\,initio}$ molecular-dynamics simulations and total-energy optimization. Structural analyses of the resulting ${\it ab\,initio}$ models show the presence of few to no P-P bonds and two main building blocks, consisting of tricapped trigonal prism (TTP) and capped square anti-prism (CSAP) with P as the center of these blocks. The computed Pd and Ni K-edge spectra of extended x-ray absorption fine structure (EXAFS) are found to be in good agreement with experimental data. The configurational-average static structure factor and the generalized vibrational density of states are also observed to be in good agreement with experimental data.


title: FPGA-based Acceleration System for Visual Tracking

abstract: Visual tracking is one of the most important application areas of computer vision. At present, most algorithms are mainly implemented on PCs, and it is difficult to ensure real-time performance when applied in the real scenario. In order to improve the tracking speed and reduce the overall power consumption of visual tracking, this paper proposes a real-time visual tracking algorithm based on DSST(Discriminative Scale Space Tracking) approach. We implement a hardware system on Xilinx XC7K325T FPGA platform based on our proposed visual tracking algorithm. Our hardware system can run at more than 153 frames per second. In order to reduce the resource occupation, our system adopts the batch processing method in the feature extraction module. In the filter processing module, the FFT IP core is time-division multiplexed. Therefore, our hardware system utilizes LUTs and storage blocks of 33% and 40%, respectively. Test results show that the proposed visual tracking hardware system has excellent performance.


title: Deriving mesoscopic models of collective behaviour for finite populations

abstract: Animal groups exhibit emergent properties that are a consequence of local interactions. Linking individual-level behaviour to coarse-grained descriptions of animal groups has been a question of fundamental interest. Here, we present two complementary approaches to deriving coarse-grained descriptions of collective behaviour at so-called mesoscopic scales, which account for the stochasticity arising from the finite sizes of animal groups. We construct stochastic differential equations (SDEs) for a coarse-grained variable that describes the order/consensus within a group. The first method of construction is based on van Kampen's system-size expansion of transition rates. The second method employs Gillespie's chemical Langevin equations. We apply these two methods to two microscopic models from the literature, in which organisms stochastically interact and choose between two directions/choices of foraging. These `binary-choice' models differ only in the types of interactions between individuals, with one assuming simple pair-wise interactions, and the other incorporating higher-order effects. In both cases, the derived mesoscopic SDEs have multiplicative, or state-dependent, noise. However, the different models demonstrate the contrasting effects of noise: increasing order in the pair-wise interaction model, whilst reducing order in the higher-order interaction model. Although both methods yield identical SDEs for such binary-choice, or one-dimensional, systems, the relative tractability of the chemical Langevin approach is beneficial in generalizations to higher-dimensions. In summary, this book chapter provides a pedagogical review of two complementary methods to construct mesoscopic descriptions from microscopic rules and demonstrates how resultant multiplicative noise can have counter-intuitive effects on shaping collective behaviour.


title: Regularization Matters: Generalization and Optimization of Neural Nets v.s. their Induced Kernel

abstract: Recent works have shown that on sufficiently over-parametrized neural nets, gradient descent with relatively large initialization optimizes a prediction function in the RKHS of the Neural Tangent Kernel (NTK). This analysis leads to global convergence results but does not work when there is a standard $\ell_2$ regularizer, which is useful to have in practice. We show that sample efficiency can indeed depend on the presence of the regularizer: we construct a simple distribution in d dimensions which the optimal regularized neural net learns with $O(d)$ samples but the NTK requires $\Omega(d^2)$ samples to learn. To prove this, we establish two analysis tools: i) for multi-layer feedforward ReLU nets, we show that the global minimizer of a weakly-regularized cross-entropy loss is the max normalized margin solution among all neural nets, which generalizes well; ii) we develop a new technique for proving lower bounds for kernel methods, which relies on showing that the kernel cannot focus on informative features. Motivated by our generalization results, we study whether the regularized global optimum is attainable. We prove that for infinite-width two-layer nets, noisy gradient descent optimizes the regularized neural net loss to a global minimum in polynomial iterations.


title: Simulation of glioblastoma growth using a 3D multispecies tumor model with mass effect

abstract: In this article, we present a multispecies reaction-advection-diffusion partial differential equation (PDE) coupled with linear elasticity for modeling tumor growth. The model aims to capture the phenomenological features of glioblastoma multiforme observed in magnetic resonance imaging (MRI) scans. These include enhancing and necrotic tumor structures, brain edema and the so called "mass effect", that is, the deformation of brain tissue due to the presence of the tumor. The multispecies model accounts for proliferating, invasive and necrotic tumor cells as well as a simple model for nutrition consumption and tumor-induced brain edema. The coupling of the model with linear elasticity equations with variable coefficients allows us to capture the mechanical deformations due to the tumor growth on surrounding tissues. We present the overall formulation along with a novel operator-splitting scheme with components that include linearly-implicit preconditioned elliptic solvers, and semi-Lagrangian method for advection. Also, we present results showing simulated MRI images which highlight the capability of our method to capture the overall structure of glioblastomas in MRIs.


title: FlexibleSUSY: Precise automated calculations in any BSM theory

abstract: FlexibleSUSY is a software package for various calculations in any model of physics beyond the standard model (not just any supersymmetric model). FlexibleSUSY can solve boundary value problems and uses this to find $\overline{DR}/\overline{MS}$ parameters and calculate the Higgs and BSM particle masses, as well as other observables. FlexibleSUSY is designed to be adaptable, fast, precise and reliable. We describe FlexibleSUSY with particular emphasis on recent developments and the state of the art Higgs mass calculations it can perform. We also show some applications to illustrate how it can be used to obtain interesting physics results with the highest precision possible and with remarkable speed.


title: Granularity of wagers in games and the possibility of savings

abstract: In a casino where arbitrarily small bets are admissible, any betting strategy M can be modified into a savings strategy that, not only is successful on each casino sequence where M is (thus accumulating unbounded wealth inside the casino) but also saves an unbounded capital, by permanently and gradually withdrawing it from the game. Teutsch showed that this is no longer the case when a fixed minimum wager is imposed by the casino, thus exemplifying a savings paradox where a player can win unbounded wealth inside the casino, but upon withdrawing a sufficiently large amount out of the game, he is forced into bankruptcy. We study the potential for saving under a shrinking minimum wager rule (granularity) and its dependence on the rate of decrease (inflation) as well as timid versus bold play.


title: Suzaku X-ray observations of the mixed-morphology supernova remnant CTB 1

abstract: We present an X-ray study of the mixed-morphology supernova remnant CTB 1 (G116.9+0.2) observed with Suzaku. The 0.6-2.0 keV spectra in the northeast breakout region of CTB 1 are well represented by a collisional ionization-equilibrium plasma model with an electron temperature of ~ 0.3 keV, whereas those in the southwest inner-shell region can be reproduced by a recombining plasma model with an electron temperature of ~ 0.2 keV, an initial ionization temperature of ~ 3 keV, and an ionization parameter of ~ 9 $\times$ 10$^{11}$ cm$^{-3}$s. This is the first detection of the recombining plasma in CTB 1. The electron temperature in the inner-shell region decreases outwards, which implies that the recombining plasma is likely formed by the thermal conduction via interaction with the surrounding cold interstellar medium. The Ne abundance is almost uniform in the observed regions whereas Fe is more abundant toward the southwest of the remnant, suggesting an asymmetric ejecta distribution. We also detect a hard tail above the 2 keV band that is fitted with a power-law function with a photon index of 2-3. The flux of the hard tail in the 2-10 keV band is ~ 5 $\times$ 10$^{-13}$ erg cm$^{-2}$ s$^{-1}$ and is peaked at the center of CTB 1. Its origin is unclear but one possibility is a putative pulsar wind nebula associated with CTB 1.


title: Limitations of "Limitations of Bayesian leave-one-out cross-validation for model selection"

abstract: This article is an invited discussion of the article by Gronau and Wagenmakers (2018) that can be found at https://dx.doi.org/10.1007/s42113-018-0011-7.


title: Energy-efficient domain wall motion governed by the interplay of helicity-dependent optical effect and spin-orbit torque

abstract: Spin-orbit torque provides a powerful means of manipulating domain walls along magnetic wires. However, the current density required for domain wall motion is still too high to realize low power devices. Here we experimentally demonstrate helicity-dependent domain wall motion by combining synchronized femtosecond laser pulses and short current pulses in Co/Ni/Co ultra-thin film wires with perpendicular magnetization. Domain wall can remain pinned under one laser circular helicity while depinned by the opposite circular helicity. Thanks to the all-optical helicity-dependent effect, the threshold current density due to spin-orbit torque can be reduced by more than 50%. Based on this joint effect combining spin-orbit torque and helicity-dependent laser pulses, an optoelectronic logic-in-memory device has been experimentally demonstrated. This work enables a new class of low power spintronic-photonic devices beyond the conventional approach of all-optical switching or all-current switching for data storage.


abstract: Collaborative Filtering (CF) is one of the most used methods for Recommender System. Because of the Bayesian nature and nonlinearity, deep generative models, e.g. Variational Autoencoder (VAE), have been applied into CF task, and have achieved great performance. However, most VAE-based methods suffer from matrix sparsity and consider the prior of users' latent factors to be the same, which leads to poor latent representations of users and items. Additionally, most existing methods model latent factors of users only and but not items, which makes them not be able to recommend items to a new user. To tackle these problems, we propose a Neural Variational Hybrid Collaborative Filtering, NVHCF. Specifically, we consider both the generative processes of users and items, and the prior of latent factors of users and items to be side informationspecific, which enables our model to alleviate matrix sparsity and learn better latent representations of users and items. For inference purpose, we derived a Stochastic Gradient Variational Bayes (SGVB) algorithm to analytically approximate the intractable distributions of latent factors of users and items. Experiments conducted on two large datasets have showed our methods significantly outperform the state-of-the-art CF methods, including the VAE-based methods.


title: The rational fragment of the ZX-calculus

abstract: We introduce here a new axiomatisation of the rational fragment of the ZX-calculus, a diagrammatic language for quantum mechanics. Compared to the previous axiomatisation introduced in [8], our axiomatisation does not use any metarule , but relies instead on a more natural rule, called the cyclotomic supplementarity rule, that was introduced previously in the literature. Our axiomatisation is only complete for diagrams using rational angles , and is not complete in the general case. Using results on diophantine geometry, we characterize precisely which diagram equality involving arbitrary angles are provable in our framework without any new axioms, and we show that our axiomatisation is continuous, in the sense that a diagram equality involving arbitrary angles is provable iff it is a limit of diagram equalities involving rational angles. We use this result to give a complete characterization of all Euler equations that are provable in this axiomatisation.


title: On refined Bruhat decompositions and endomorphism algebras of Gelfand-Graev representations

abstract: Let $G$ be a finite reductive group defined over $\mathbb{F}_q$, with $q$ a power of a prime $p$. Motivated by a problem recently posed by C. Curtis, we first develop an algorithm to express each element of $G$ into a canonical form in terms of a refinement of a Bruhat decomposition, and we then use the output of the algorithm to explicitly determine the structure constants of the endomorphism algebra of a Gelfand-Graev representation of $G$ when $G=\mathrm{PGL}_3(q)$ for an arbitrary prime $p$, and when $G=\mathrm{SO}_5(q)$ for $p$ odd.


title: Two-step gap opening across the quantum critical point in a Kitaev honeycomb magnet

abstract: Quantum spin liquid involves fractionalized quasipariticles such as spinons and visons. They are expressed as itinerant Majorana fermions and $Z_2$ fluxes in the Kitaev model with bond-dependent exchange interactions on a honeycomb spin lattice. The observation has recently attracted attention for a candidate material $\alpha$-RuCl$_3$, showing spin liquid behaviour induced by a magnetic field. Since the observable spin excitation is inherently composed of the two quasiparticles, which further admix each other by setting in the magnetic field as well as non-Kitaev interactions, their individual identification remains challenging. Here we report an emergent low-lying spin excitation through nuclear magnetic and quadrupole resonance measurements down to $\sim 0.4$ K corresponding to $1/500$ of the exchange energy under the finely tuned magnetic field across the quantum critical point. We determined the critical behaviour of low-lying excitations and found evolution of two kinds of the spin gap at high fields. The two excitations exhibit repulsive magnetic field dependence, suggesting anti-crossing due to the hybridization between fractionalized quasiparticles.


title: Mass function and dynamical study of the open clusters Berkeley 24 and Czernik 27

abstract: We present a $UBVI$ photometric study of the open clusters Berkeley 24 (Be 24) and Czernik 27 (Cz 27). The radii of the clusters are determined as 2\farcm7 and 2\farcm3 for Be 24 and Cz 27, respectively. We use the Gaia Data Release 2 (GDR2) catalogue to estimate the mean proper motions for the clusters. We found the mean proper motion of Be 24 as $0.35\pm0.06$ mas yr$^{-1}$ and $1.20\pm0.08$ mas yr$^{-1}$ in right ascension and declination for Be 24 and $-0.52\pm0.05$ mas yr$^{-1}$ and $-1.30\pm0.05$ mas yr$^{-1}$ for Cz 27. We used probable cluster members selected from proper motion data for the estimation of fundamental parameters. We infer reddenings $E(B-V)$ = $0.45\pm0.05$ mag and $0.15\pm0.05$ mag for the two clusters. Analysis of extinction curves towards the two clusters show that both have normal interstellar extinction laws in the optical as well as in the near-IR band. From the ultraviolet excess measurement, we derive metallicities of [Fe/H]= $-0.025\pm0.01$ dex and $-0.042\pm0.01$ dex for the clusters Be 24 and Cz 27, respectively. The distances, as determined from main sequence fitting, are $4.4\pm0.5$ kpc and $5.6\pm0.2$ kpc. The comparison of observed CMDs with $Z=0.01$ isochrones, leads to an age of $2.0\pm0.2$ Gyr and $0.6\pm0.1$ Gyr for Be 24 and Cz 27, respectively. In addition to this, we have also studied the mass function and dynamical state of these two clusters for the first time using probable cluster members. The mass function is derived after including the corrections for data incompleteness and field star contamination. Our analysis shows that both clusters are now dynamically relaxed


title: The minimal and maximal symmetries for $J$-contractive projections

abstract: In this paper, we firstly character the structures of symmetries $J$ such that a projection $P$ is $J$-contractive. Then the minimal and maximal elements of the symmetries $J$ with $P^{\ast}JP\leqslant J$(or $JP\geqslant0)$ are given. Moreover, some formulas between $P_{(2I-P-P^{\ast})^{+}}$ $(P_{(2I-P-P^{\ast})^{-}})$ and $P_{(P+P^{\ast})^-}$ $(P_{(P+P^{\ast})^+})$ are established.


title: Balancing polyhedra

abstract: We define the mechanical complexity $C(P)$ of a convex polyhedron $P,$ interpreted as a homogeneous solid, as the difference between the total number of its faces, edges and vertices and the number of its static equilibria, and the mechanical complexity $C(S,U)$ of primary equilibrium classes $(S,U)^E$ with $S$ stable and $U$ unstable equilibria as the infimum of the mechanical complexity of all polyhedra in that class. We prove that the mechanical complexity of a class $(S,U)^E$ with $S, U > 1$ is the minimum of $2(f+v-S-U)$ over all polyhedral pairs $(f,v )$, where a pair of integers is called a polyhedral pair if there is a convex polyhedron with $f$ faces and $v$ vertices. In particular, we prove that the mechanical complexity of a class $(S,U)^E$ is zero if, and only if there exists a convex polyhedron with $S$ faces and $U$ vertices. We also give asymptotically sharp bounds for the mechanical complexity of the monostatic classes $(1,U)^E$ and $(S,1)^E$, and offer a complexity-dependent prize for the complexity of the G\"omb\"oc-class $(1,1)^E$.


title: Breakdown of coherence in Kondo alloys: crucial role of concentration vs band filling

abstract: We study the low energy states of the Kondo alloy model (KAM) as function of the magnetic impurity concentration per site, x, and the conduction electron average site occupation, nc. In previous works, two different Fermi liquid regimes had been identified at strong Kondo coupling JK, that may be separated by a transition at x=nc. Here, we analyze the KAM for finite JK on a Bethe lattice structure. First, using the mean-field coherent potential approximation (DMFT-CPA) which is exact at lattice coordination Z=infty, we show that the real part of the local potential scattering may be located outside the conduction electron band, revealing a possible breakdown of Luttinger 'theorem' for intermediate values of impurity concentration x. Unusual physical signatures are expected, e.g., in ARPES experiments. In order to take into account fluctuations associated with finite dimensionality,i.e., finite Z, we extend this analyze by also studying the KAM with an adaptation of the statistical-DMFT method that was developped elsewhere. We review the distributions of local potential scattering and their evolution with model parameters: concentration, strength of Kondo coupling, coordination number, local site neighborhood, connection with percolation issue. Relevence for Kondo alloys material with f-electrons is also discussed.


title: High resolution dynamic imaging of the delay- and tilt-free motion of N\'eel domain walls in perpendicularly magnetized superlattices

abstract: We report on the time-resolved investigation of current- and field-induced domain wall motion in perpendicularly magnetized microwires exhibiting asymmetric exchange interaction by means of scanning transmission x-ray microscopy using a time step of 200 ps. Dynamical domain wall velocities on the order of 50-100 m s$^{-1}$ were observed. The improvement in the temporal resolution allowed us to observe the absence of incubation times for the motion of the domain wall, together with indications for a negligible inertia. Furthermore, we observed that, for short current and magnetic field pulses, the magnetic domain walls do not exhibit a tilting during its motion, providing a mechanism for the fast, tilt-free, motion of magnetic domain walls.


title: Contactless photo-induced carrier density control in nanocrystal MoS2 hybrids

abstract: The ultrathin nature of two-dimensional monolayer semiconductors yields optoelectronic properties which are highly responsive to changes in free-carrier density, making it imperative to masterfully control their doping levels. We report a new photo-doping scheme that quasi-permanently dopes the monolayer MoS2 to extents competing with electrostatic gating. The photo-doping is achieved by coupling monolayer MoS2 with indium tin oxide nanocrystals that can store multiple electrons per nanocrystal after UV illumination. In the hybrid structure, the photo-generated valence band holes in the nanocrystals are filled by MoS2 electrons, photo-doping the MoS2 with holes. Reductions in carrier density by ~6x10^12 cm^-2 are observed, equivalent to the storage of ~40 electrons per nanocrystal. Long-range changes proliferating up to 40 micrometers away from the localized photodoping result from local bandstructure variations in MoS2. These studies reveal novel all-optical carrier density control in monolayer semiconductors, enabling remote-control of local charge density and innovative energy storage technologies.


title: Optimal lower bounds on hitting probabilities for non-linear systems of stochastic fractional heat equations

abstract: We consider a system of $d$ non-linear stochastic fractional heat equations in spatial dimension $1$ driven by multiplicative $d$-dimensional space-time white noise. We establish a sharp Gaussian-type upper bound on the two-point probability density function of $(u(s, y), u (t, x))$. From this result, we deduce optimal lower bounds on hitting probabilities of the process $\{u(t, x): (t, x) \in [0, \infty[ \times \mathbb{R}\}$ in the non-Gaussian case, in terms of Newtonian capacity, which is as sharp as that in the Gaussian case. This also improves the result in Dalang, Khoshnevisan and Nualart [\textit{Probab. Theory Related Fields} \textbf{144} (2009) 371--424] for systems of classical stochastic heat equations. We also establish upper bounds on hitting probabilities of the solution in terms of Hausdorff measure.


title: $A\_\infty$ weights and compactness of conformal metrics under $L^{n/2}$ curvature bounds

abstract: We study sequences of conformal deformations of a smooth closed Riemannian manifold of dimension $n$, assuming uniform volume bounds and $L^{n/2}$ bounds on their scalar curvatures. Singularities may appear in the limit. Nevertheless, we show that under such bounds the underlying metric spaces are pre-compact in the Gromov-Hausdorff topology. Our study is based on the use of $A_\infty$-weights from harmonic analysis, and provides geometric controls on the limit spaces thus obtained. Our techniques also show that any conformal deformation of the Euclidean metric on $R^n$ with infinite volume and finite $L^{n/2}$ norm of the scalar curvature satisfies the Euclidean isoperimetric inequality.


title: On the relationship of energy and probability in models of classical statistical physics

abstract: In this paper we present a new point of view on the mathematical foundations of statistical physics of infinite volume systems. This viewpoint is based on the newly introduced notions of transition energy function, transition energy field and one-point transition energy field. The former of them, namely the transition energy function, is a generalization of the notion of relative Hamiltonian introduced by Pirogov and Sinai. However, unlike the (relative) Hamiltonian, our objects are defined axiomatically by their natural and physically well-founded intrinsic properties. The developed approach allowed us to give a proper mathematical definition of the Hamiltonian without involving the notion of potential, to propose a justification of the Gibbs formula for infinite systems and to answer the problem stated by D. Ruelle of how wide the class of specifications, which can be represented in Gibbsian form, is. Furthermore, this approach establishes a straightforward relationship between the probabilistic notion of (Gibbs) random field and the physical notion of (transition) energy, and so opens the possibility to directly apply probabilistic methods to the mathematical problems of statistical physics.


title: Frequency Synchronization for Uplink Massive MIMO with Adaptive MUI Suppression in Angle-domain

abstract: In this paper, we develop a novel angle-domain adaptive filtering (ADAF)-based frequency synchronization method for the uplink of a massive multiple-input multiple-output (MIMO) multiuser network, which is applicable for users with either separate or overlapped angle-of-arrival (AoA) regions. For each user, we first introduce the angle-constraining matrix (ACM), which consists of a set of selected match-filter (MF) beamformers pointing to the AoAs of the interested user. Then, the adaptive beamformer can be acquired by appropriately designing the ADAF vectors. Such beamformer can achieve two-stage adaptive multiuser interference (MUI) suppression, i.e., inherently suppressing the MUI from non-overlapping users by ACM in the first stage and substantially mitigating the MUI from adjacent overlapping users by ADAF vector in the second stage. For both separate and mutually overlapping users, the carrier frequency offset (CFO) estimation and subsequent data detection can be performed independently for each user, which significantly reduces computational complexity. Moreover, ADAF is rather robust to imperfect AoA knowledge and side cluster of scatterers, making itself promising for multiuser uplink transmission. We also analyze the performance of CFO estimation and obtain an approximated closed-form expression of mean-squared error (MSE). The effectiveness of the proposed method and its superiority over the existing methods are demonstrated by numerical results.


title: New separation axioms in generalized bitopological spaces

abstract: Here we have studied on the ideas of $g_{\mu_i}$ and $\lambda_{\mu_i}$-closed sets with respect to ${\mu_j}(i,j=1,2,i\not=j)$ and pairwise $ \lambda $-closed sets in a generalized bitopological space $ (X,\mu_1, \mu_2) $. We have also investigated the properties on some new separation axioms namely pairwise $ T_\frac{1}{4}$, pairwise $T_\frac{3}{8}$, pairwise $ T_\frac{5}{8} $ and have established their mutual relations with pairwise $ T_0 $, pairwise $ T_\frac{1}{2} $ and pairwise $ T_1 $. We have also shown that under certain conditions these axioms are equivalent.


title: Phenomenological implications of the Friedberg-Lee transformation in a neutrino mass model with $\mu\tau$-flavored CP symmetry

abstract: We propose a neutrino mass model with $\mu\tau$-flavored CP symmetry, where the effective light neutrino Lagrangian enjoys an additional invariance under a Friedberg-Lee (FL) transformation on the left-handed flavor neutrino fields, that leads to a highly predictive and testable scenario. While both types of the light neutrino mass ordering, i.e., Normal Ordering (NO) as well as the Inverted Ordering (IO) are allowed, the absolute scale of neutrino masses is fixed by the vanishing determinant of light Majorana neutrino mass matrix $M_\nu$. We show that for both types of mass ordering, whilst the atmospheric mixing angle $\theta_{23}$ is in general nonmaximal ($\theta_{23}\neq \pi/4$), the Dirac CP phase $\delta$ is exactly maximal ($\delta=\pi/2,3\pi/2$) for IO and nearly maximal for NO owing to $\cos\delta\propto \sin\theta_{13}$. For the NO, very tiny nonvanishing Majorana CP violation might appear through one of the Majorana phases $\beta$; otherwise the model predicts vanishing Majorana CP violation. Thus, despite the fact, that from the measurement of $\theta_{23}$, it is difficult to rule out the model, any large deviation of $\delta$ from its maximality, will surely falsify the scenario. For a comprehensive numerical analysis, beside fitting the neutrino oscillation global fit data, we also present a study on the $\nu_\mu\rightarrow \nu_e$ oscillation which is expected to show up Dirac CP violation in different long baseline experiments. Finally, assuming purely astrophysical sources, we calculate the Ultra High Energy (UHE) neutrino flavor flux ratios at neutrino telescopes, such as IceCube, from which statements on the octant of $\theta_{23}$ could be made in our model.


title: Proceedings Seventh International Workshop on Classical Logic and Computation

abstract: This special issue cover the seventh and last conference of the CL&C series, started in 2006 in San Servolo. Topics are the computational content of logics between intuitionistic logic and classical logic, through normalization, and a new topic, cyclic proofs and the complexity of checking the correctness of a cyclic proof. Accepted papers include an empirical comparison of time consumption of different normalization algorithms, and new reductions sets for several extensions of intuitionistic logic having the Herbrand disjunction property. Another paper provides a reduction set for admissible rules for intuitionistic logic. A paper describes a subset of cyclic proofs having a polynomial-time algorithm checking correctness.


title: Constraining D-foam via the 21-cm Line

abstract: We have suggested earlier that D-particles, which are stringy space-time defects predicted in brane-inspired models of the Universe, might constitute a component of dark matter, and that they might contribute to the masses of singlet fermions that could provide another component. Interactions of the quantum-fluctuating D-particles with matter induce vector forces that are mediated by a massless effective U(1) gauge field, the "D-photon", which is distinct from the ordinary photon and has different properties from dark photons. We discuss the form of interactions of D-matter with conventional matter induced by D-photon exchange and calculate their strength, which depends on the density of D-particles. Observations of the hydrogen 21~cm line at redshifts >= 15 can constrain these interactions and the density of D-matter in the early Universe.


title: Sequential Learning of Movement Prediction in Dynamic Environments using LSTM Autoencoder

abstract: Predicting movement of objects while the action of learning agent interacts with the dynamics of the scene still remains a key challenge in robotics. We propose a multi-layer Long Short Term Memory (LSTM) autoendocer network that predicts future frames for a robot navigating in a dynamic environment with moving obstacles. The autoencoder network is composed of a state and action conditioned decoder network that reconstructs the future frames of video, conditioned on the action taken by the agent. The input image frames are first transformed into low dimensional feature vectors with a pre-trained encoder network and then reconstructed with the LSTM autoencoder network to generate the future frames. A virtual environment, based on the OpenAi-Gym framework for robotics, is used to gather training data and test the proposed network. The initial experiments show promising results indicating that these predicted frames can be used by an appropriate reinforcement learning framework in future to navigate around dynamic obstacles.


title: Uniform Interpolation for Propositional and Modal Team Logics

abstract: In this paper we consider Modal Team Logic, a generalization of Classical Modal Logic in which it is possible to describe dependence phenomena between data. We prove that most known fragment of Full Modal Team Logic allow the elimination of the so called "existential bisimulation quantifiers", where the existence of a certain set is made modulo bisimulation. As a consequence, we prove that these fragments enjoy the Uniform Interpolation Property.


title: Point Cloud Colorization Based on Densely Annotated 3D Shape Dataset

abstract: This paper introduces DensePoint, a densely sampled and annotated point cloud dataset containing over 10,000 single objects across 16 categories, by merging different kind of information from two existing datasets. Each point cloud in DensePoint contains 40,000 points, and each point is associated with two sorts of information: RGB value and part annotation. In addition, we propose a method for point cloud colorization by utilizing Generative Adversarial Networks (GANs). The network makes it possible to generate colours for point clouds of single objects by only giving the point cloud itself. Experiments on DensePoint show that there exist clear boundaries in point clouds between different parts of an object, suggesting that the proposed network is able to generate reasonably good colours. Our dataset is publicly available on the project page.


title: Systems of two subspases in a Hilbert space

abstract: We study two subspace systems in a separable infinite-dimensional Hilbert space up to (bounded) isomorphism. One of the main result of this paper is the following: Isomorphism classes of two subspace systems given by graphs of bounded operators are determined by unitarily equivalent classes of the operator ranges and the nullity of the original bounded operators giving graphs. We construct several non-isomorphic examples of two subspace systems in an infinite-dimensional Hilbert space.


title: The good, the bad, and the ugly: Bayesian model selection produces spurious posterior probabilities for phylogenetic trees

abstract: The Bayesian method is noted to produce spuriously high posterior probabilities for phylogenetic trees in analysis of large datasets, but the precise reasons for this over-confidence are unknown. In general, the performance of Bayesian selection of misspecified models is poorly understood, even though this is of great scientific interest since models are never true in real data analysis. Here we characterize the asymptotic behavior of Bayesian model selection and show that when the competing models are equally wrong, Bayesian model selection exhibits surprising and polarized behaviors in large datasets, supporting one model with full force while rejecting the others. If one model is slightly less wrong than the other, the less wrong model will eventually win when the amount of data increases, but the method may become overconfident before it becomes reliable. We suggest that this extreme behavior may be a major factor for the spuriously high posterior probabilities for evolutionary trees. The philosophical implications of our results to the application of Bayesian model selection to evaluate opposing scientific hypotheses are yet to be explored, as are the behaviors of non-Bayesian methods in similar situations.


title: Thermal Infrared Colorization via Conditional Generative Adversarial Network

abstract: Transforming a thermal infrared image into a realistic RGB image is a challenging task. In this paper we propose a deep learning method to bridge this gap. We propose learning the transformation mapping using a coarse-to-fine generator that preserves the details. Since the standard mean squared loss cannot penalize the distance between colorized and ground truth images well, we propose a composite loss function that combines content, adversarial, perceptual and total variation losses. The content loss is used to recover global image information while the latter three losses are used to synthesize local realistic textures. Quantitative and qualitative experiments demonstrate that our approach significantly outperforms existing approaches.


title: Interference Alignment Schemes Using Latin Square for Kx3 MIMO X Channel

abstract: In this paper, we study an interference alignment (IA) scheme with finite time extension and beamformer selection method with low computational complexity for X channel. An IA scheme with a chain structure by the Latin square is proposed for Kx3 multiple-input multiple-output (MIMO) X channel. Since the proposed scheme can have a larger set of possible beamformers than the conventional schemes, its performance is improved by the efficient beamformer selection for a given channel. Also, we propose a condition number (CN) based beamformer selection method with low computational complexity and its performance improvement is numerically verified.


title: A Gentle Introduction to Deep Learning in Medical Image Processing

abstract: This paper tries to give a gentle introduction to deep learning in medical image processing, proceeding from theoretical foundations to applications. We first discuss general reasons for the popularity of deep learning, including several major breakthroughs in computer science. Next, we start reviewing the fundamental basics of the perceptron and neural networks, along with some fundamental theory that is often omitted. Doing so allows us to understand the reasons for the rise of deep learning in many application domains. Obviously medical image processing is one of these areas which has been largely affected by this rapid progress, in particular in image detection and recognition, image segmentation, image registration, and computer-aided diagnosis. There are also recent trends in physical simulation, modelling, and reconstruction that have led to astonishing results. Yet, some of these approaches neglect prior knowledge and hence bear the risk of producing implausible results. These apparent weaknesses highlight current limitations of deep learning. However, we also briefly discuss promising approaches that might be able to resolve these problems in the future.


title: Observables from a perturbative, accelerating solution of relativistic hydrodynamics

abstract: The discovery of the almost perfect fluid like nature of the strongly interacting quark-gluon plasma was one of the most important discoveries of heavy-ion physics in recent decades. The experimental results are well described by hydrodynamical models. Most of these models are numerical simulations, however the analytic solutions are also important in understanding the time evolution of the quark-gluon plasma created in the heavy-ion collisions. Here we present a perturbative, accelerating solution on top of a known solution, the relativistic Hubble flow. We describe the perturbative class of solutions, and calculate a few observables for a selected solution.


title: Light charged Higgs boson with dominant decay to quarks and its search at LHC and future colliders

abstract: The possibility of a light charged Higgs boson $H^\pm$ that decays predominantly to quarks ($cs$ and/or $cb$) and with a mass in the range 80 GeV $\le m_{H^\pm} \le 90$ GeV is studied in the context of Three-Higgs-Doublet Models (3HDMs). At present the Large Hadron Collider (LHC) has little sensitivity to this scenario, and currently the best constraints are from LEP2 and Tevatron searches. The branching ratio of $H^\pm\to cb$ can be dominant in two of the five types of 3HDM, and we determine the parameter space where this occurs. The decay $H^\pm\to cb$ has recently been searched for at the LHC for the first time, and with increased integrated luminosity one would expect sensitivity to the region 80 GeV $\le m_{H^\pm} \le 90$ GeV due to the smaller backgrounds with respect to $H^\pm\to cs$ decays.


title: Large $N$ phase transition in $T \overline{T}$-deformed $2d$ Yang-Mills theory on the sphere

abstract: We study the partition function of a $T \overline{T}$-deformed version of Yang-Mills theory on the two-sphere. We show that the Douglas-Kazakov phase transition persists for a range of values of the deformation parameter, and that the critical area is lowered. The transition is of third order and also induced by instantons, whose contributions we characterize.


title: A future mobile packet core network based on ip-in-ip protocol

abstract: The current Evolved Packet Core (EPC) 4th generation (4G) mobile network architecture features complicated control plane protocols and requires expensive equipment. Data delivery in the mobile packet core is performed based on a centralized mobility anchor between eNode B (eNB) elements and the network gateways. The mobility anchor is performed based on General Packet Radio Service tunnelling protocol (GTP), which has numerous drawbacks, including high tunnelling overhead and suboptimal routing between mobile devices on the same network. To address these challenges, here we describe new mobile core architecture for future mobile networks. The proposed scheme is based on IP encapsulated within IP (IP-in-IP) for mobility management and data delivery. In this scheme, the core network functions via layer 3 switching (L3S), and data delivery is implemented based on IP-in-IP routing, thus eliminating the GTP tunnelling protocol. For handover between eNB elements located near to one another, we propose the creation of a tunnel that maintains data delivery to mobile devices until the new eNB element updates the route with the gateway, which prevents data packet loss during handover. For this, we propose Generic Routing Encapsulation (GRE) tunnelling protocol. We describe the results of numerical analyses and simulation results showing that the proposed network core architecture provides superior performance compared with the current 4G architecture in terms of handover delay, tunnelling overhead and total transmission delay.


title: Improving the Resolution and Throughput of Achromatic Talbot Lithography

abstract: High-resolution patterning of periodic structures over large areas has several applications in science and technology. One such method, based on the long-known Talbot effect observed with diffraction gratings, is achromatic Talbot lithography (ATL). This method offers many advantages over other techniques, such as high resolution, large depth of focus, high throughput, etc. Although the technique has been studied in the past, its limits have not yet been explored. Increasing the efficiency and the resolution of the method is essential and might enable many applications in science and technology. In this work, we combine this technique with spatially coherent and quasi-monochromatic light at extreme ultraviolet (EUV) wavelengths and explore new mask design schemes in order to enhance its throughput and resolution. We report on simulations of various mask designs in order to explore their efficiency. Advanced and optimized nanofabrication techniques have to be utilized to achieve high quality and efficient masks for ATL. Exposures using coherent EUV radiation from the Swiss light source (SLS) have been performed, pushing the resolution limits of the technique for dense hole or dot patterning down to 40 nm pitch. In addition, through extensive simulations, alternative mask designs with rings instead of holes are explored for the efficient patterning of hole/dot arrays. We show that these rings exhibit similar aerial images to hole arrays, while enabling higher efficiency and thereby increased throughput for ATL exposures. The mask designs with rings show that they are less prone to problems associated with pattern collapse during the nanofabrication process and therefore are promising for achieving higher resolution.


title: Scattering Equations and a new Factorization for Amplitudes I: Gauge Theories

abstract: In this work we show how a double-cover (DC) extension of the Cachazo, He and Yuan formalism (CHY) can be used to provide a new realization for the factorization of the amplitudes involving gluons and scalar fields. First, we propose a graphic representation for a color-ordered Yang-Mills (YM) and special Yang-Mills-Scalar (YMS) amplitudes within the scattering equation formalism. Using the DC prescription, we are able to obtain an algorithm (integration-rules) which decomposes amplitudes in terms of three-point building-blocks. It is important to remark that the pole structure of this method is totally different to ordinary factorization (which is a consequence of the scattering equations). Finally, as a byproduct, we show that the soft limit in the CHY approach, at leading order, becomes trivial by using the technology described in this paper.


title: Evolution of Galaxy Types and HI Gas Contents in Galaxy Groups

abstract: Using the group crossing time $t_{\rm c}$ as an age indicator for galaxy groups, we have investigated the correlation between $t_{\rm c}$ and the group spiral fraction, as well as between $t_{\rm c}$ and the neutral hydrogen gas fraction of galaxy groups. Our galaxy group sample is selected from the SDSS DR7 catalog, and the group spiral fraction is derived from the Galaxy Zoo morphological data set. We found that the group spiral galaxy fraction is correlated with the group crossing time. We further cross matched the latest released ALFALFA 70\% HI source catalog with the SDSS group catalog and have identified 172 groups from the SDSS survey whose total HI mass can be derived by summing up the HI mass of all the HI sources within the group radius. For the galaxies not detected in the ALFALFA, we estimate their HI masses based on the galaxies' optical colors and magnitudes. Our sample groups contain more than 8 member galaxies, they cover a wide range of halo masses and are distributed in different cosmic environments. We derived the group HI mass fraction which is the ratio of group HI mass to the group virial mass. We found a correlation between the HI mass fraction and the group crossing time. Our results suggest that long time scale mechanisms such as starvation seem to play a more important role than short time scale processes like stripping in depleting HI gas in the SDSS galaxy groups.


title: Radio Galaxies at VHE energies

abstract: Radio Galaxies have by now emerged as a new $\gamma$-ray emitting source class on the extragalactic sky. Given their remarkable observed characteristics, such as unusual gamma-ray spectra or ultrafast VHE variability, they represent unique examples to probe into the nature and physics of AGN in general. This review provides a compact summary of their observed characteristics at very high $\gamma$-ray energies (VHE; $> 100$ GeV) along with a discussion of their possible physics implications. A particular focus is given to a concise overview of fundamental concepts concerning the origin of variable VHE emission, including recent developments in black hole gap physics.


title: The Effects of Adding Reachability Predicates in Quantifier-Free Separation Logic

abstract: The list segment predicate ls used in separation logic for verifying programs with pointers is well-suited to express properties on singly-linked lists. We study the effects of adding ls to the full quantifier-free separation logic with the separating conjunction and implication, which is motivated by the recent design of new fragments in which all these ingredients are used indifferently and verification tools start to handle the magic wand connective. This is a very natural extension that has not been studied so far. We show that the restriction without the separating implication can be solved in polynomial space by using an appropriate abstraction for memory states whereas the full extension is shown undecidable by reduction from first-order separation logic. Many variants of the logic and fragments are also investigated from the computational point of view when ls is added, providing numerous results about adding reachability predicates to quantifier-free separation logic.


title: Direction dependent giant optical conductivity in 2D \textit{semi}-Dirac materials

abstract: We show that the gap parameter in \textit{semi}-Dirac material induces a large degree of sensitivity for inter-band optical conductivity with respect to the polarization direction. The optical conductivity reveals an abruptly large value at a certain frequency for light along a particular polarization direction while it is significantly suppressed along the direction orthogonal to the former. The direction-dependent optical conductivity may, in turn, be used to uniquely predict the dispersive nature of the 2D \textit{semi}-Dirac materials, in addition to other possible applications in the field of transparent conductors.


title: Sixth-order schemes for laser--matter interaction in Schr\"odinger equation

abstract: Control of quantum systems via lasers has numerous applications that require fast and accurate numerical solution of the Schr\"odinger equation. In this paper we present three strategies for extending any sixth-order scheme for Schr\"odinger equation with time-independent potential to a sixth-order method for Schr\"odinger equation with laser potential. As demonstrated via numerical examples, these schemes prove effective in the atomic regime as well as the semiclassical regime, and are a particularly appealing alternative to time-ordered exponential splittings when the laser potential is highly oscillatory or known only at specific points in time (on an equispaced grid, for instance). These schemes are derived by exploiting the linear in space form of the time dependent potential under the dipole approximation (whereby commutators in the Magnus expansion reduce to a simpler form), separating the time step of numerical propagation from the issue of adequate time-resolution of the laser field by keeping integrals intact in the Magnus expansion, and eliminating terms with unfavourable structure via carefully designed splittings.

categories: math.NA cs.NA physics.chem-ph physics.comp-ph


title: Infrared Thermography of Complex 3D Printed Components

abstract: The possibility of using Infrared Lock-In Thermography (LIT) to estimate the thickness of a sample was assessed and shown to be accurate up to 1.8mm. LIT is a technique involving heating samples with halogen lamps with varying intensity over time. The intensity is defined by sinusoidal functions. LIT was conducted on samples of varying thickness, gradient, and shape. The Lock-In phase signals were calculated, and a database was then created with the data obtained and was used to estimate the thickness based on the original phase signal. A relationship between gradient and phase signal was also shown based on our data, contrary to current findings in existing literature.


title: Technology Assisted Reviews: Finding the Last Few Relevant Documents by Asking Yes/No Questions to Reviewers

abstract: The goal of a technology-assisted review is to achieve high recall with low human effort. Continuous active learning algorithms have demonstrated good performance in locating the majority of relevant documents in a collection, however their performance is reaching a plateau when 80\%-90\% of them has been found. Finding the last few relevant documents typically requires exhaustively reviewing the collection. In this paper, we propose a novel method to identify these last few, but significant, documents efficiently. Our method makes the hypothesis that entities carry vital information in documents, and that reviewers can answer questions about the presence or absence of an entity in the missing relevance documents. Based on this we devise a sequential Bayesian search method that selects the optimal sequence of questions to ask. The experimental results show that our proposed method can greatly improve performance requiring less reviewing effort.


title: Structure of a collisionless pair jet in a magnetized electron-proton plasma: flow-aligned magnetic field

abstract: We study the effect a guiding magnetic field has on the formation and structure of a pair jet that propagates through a collisionless electron-proton plasma at rest. We model with a PIC simulation a pair cloud with the temperature 400 keV and mean speed 0.9c. The cloud propagates through a spatially uniform, magnetized and cool ambient electron-proton plasma that is at rest. Its mean velocity vector is aligned with the background magnetic field. A jet forms in time. Its outer cocoon consists of jet-accelerated ambient plasma and is separated from the inner cocoon by an electromagnetic piston with a thickness that is comparable to the thermal gyroradius of jet particles. A supercritical fast magnetosonic shock will form between the pristine ambient plasma and the jet-accelerated one on a time scale that exceeds our simulation time by an order of magnitude. The inner cocoon is pair plasma that lost its directed flow energy while it swept out the background magnetic field. A beam of electrons and positrons moves along the jet spine at its initial speed. Its electrons are slowed down and some positrons are accelerated as they cross the jet's head. The latter escape upstream along the magnetic field, which yields an excess of MeV positrons ahead of the jet. Some of the protons, which were located behind the electromagnetic piston at the time it formed, are accelerated to MeV energies


title: Noncollinear magnetic sampling method for paramagnetic Mott insulator MnO

abstract: We present a new approach based on the static density functional theory (DFT) to describe paramagentic MnO, which is a representative paramagnetic Mott insulator. We appended the spin noncollinearity and the canonical ensemble to the magnetic sampling method (MSM), which is one of the supercell approaches based on disordered local moment model. The combination of the noncollinear MSM (NCMSM) with DFT$+U$ represents a highly favorable computational method called NCMSM$+U$ to accurately determine the paramagnetic properties of MnO with moderate numerical cost. The effects of electron correlations and spin noncollinearity on the properties of MnO were also investigated. We revealed that the spin noncollinearity plays an important role in determining the detailed electronic profile and precise energetics of paramagnetic MnO. Our results illustrate that the NCMSM$+U$ approach may be used as an alternative to the $\textit{ab initio}$ framework of dynamic mean field theory based on DFT in the simulation of the high-temperature properties of Mott insulators.


title: A convex approach to the Gilbert-Steiner problem

abstract: We describe a convex relaxation for the Gilbert-Steiner problem both in $R^d$ and on manifolds, extending the framework proposed in [9], and we discuss its sharpness by means of calibration type arguments. The minimization of the resulting problem is then tackled numerically and we present results for an extensive set of examples. In particular we are able to address the Steiner tree problem on surfaces.


title: Nightside Winds at the Lower Clouds of Venus with Akatsuki/IR2: Longitudinal, local time and decadal variations from comparison with previous measurements

abstract: We present measurements of the wind speeds at the nightside lower clouds of Venus from observations by JAXA's mission Akatsuki during 2016, complemented with new wind measurements from ground-based observations acquired with TNG/NICS in 2012 and IRTF/SpeX in 2015 and 2017. Zonal and meridional components of the winds were measured from cloud tracking on a total of 466 Akatsuki images of Venus acquired by the camera IR2 using the 2.26-$\mathrm{\mu m}$ filter, with spatial resolutions ranging 10--80 km per pixel and covering from 2016 March 22 to October 31. More than 149,000 wind vectors were obtained with an automatic technique of template matching, and 2,947 wind vectors were inferred with the manual procedure. The meridional profiles for both components of the winds are found to be consistent with results from the Venus Express mission during 2006--2008, although stronger wind variability is found for the zonal component at equatorial latitudes where Akatsuki observations have better viewing geometry than Venus Express. The zonal winds at low latitudes also suggest a zonal variability that could be associated with solar tides or vertically propagating orographic waves. Finally, the combination of our wind measurements from TNG/NICS, IRTF/SpeX and Akatsuki images with previously published and based in data from 1978 to 2017 suggests variations of up to 30 m s$^{-1}$ in the winds at the lower clouds of the Venus nightside.


title: Deep Reinforcement Learning Autoencoder with Noisy Feedback

abstract: End-to-end learning of communication systems enables joint optimization of transmitter and receiver, implemented as deep neural network-based autoencoders, over any type of channel and for an arbitrary performance metric. Recently, an alternating training procedure was proposed which eliminates the need for an explicit channel model. However, this approach requires feedback of real-valued losses from the receiver to the transmitter during training. In this paper, we first show that alternating training works even with a noisy feedback channel. Then, we design a system that learns to transmit real numbers over an unknown channel without a preexisting feedback link. Once trained, this feedback system can be used to communicate losses during alternating training of autoencoders. Evaluations over additive white Gaussian noise and Rayleigh block-fading channels show that end-to-end communication systems trained using the proposed feedback system achieve the same performance as when trained with a perfect feedback link.


title: Cryo-CARE: Content-Aware Image Restoration for Cryo-Transmission Electron Microscopy Data

abstract: Multiple approaches to use deep learning for image restoration have recently been proposed. Training such approaches requires well registered pairs of high and low quality images. While this is easily achievable for many imaging modalities, e.g. fluorescence light microscopy, for others it is not. Cryo-transmission electron microscopy (cryo-TEM) could profoundly benefit from improved denoising methods, unfortunately it is one of the latter. Here we show how recent advances in network training for image restoration tasks, i.e. denoising, can be applied to cryo-TEM data. We describe our proposed method and show how it can be applied to single cryo-TEM projections and whole cryo-tomographic image volumes. Our proposed restoration method dramatically increases contrast in cryo-TEM images, which improves the interpretability of the acquired data. Furthermore we show that automated downstream processing on restored image data, demonstrated on a dense segmentation task, leads to improved results.


title: The use of blogs in the education field: A qualitative systematic review

abstract: Blogs have become one of the most successful tools of the Web 2.0 because of their ease of use and the availability of open platforms. They have quickly spread in the education field thanks to the many attractive qualities that have been attributed to them, such as collaboration, communication, enhancing of professional writing, and the improvement of information-gathering skills. However, many of the studies that have addressed this issue were not based on an empirical research, and therefore they are unreliable. On the other hand, the studies that do have conducted an empirical research have usually relied on participant self-reported data (surveys, interviews, and contents of blogs), which can significantly bias the positive results usually reported on the use of blogs. Another source of bias and inaccuracy in the reported results is that most of the studies lacked control group, i.e they do not follow an experimental design. The purpose of this review is to examine the current state of the studies related to the evaluation of the blog effects in the education field. The methods to select the studies and perform the corresponding analysis have followed a qualitative systematic approach. The selection has been restricted to empirical and peer-reviewed studies published between January 2011 and June 2013. The findings have been integrated and compared using the Grounded Theory, giving rise to a set of categories that have structured the results of the review.


title: A Survey: Non-Orthogonal Multiple Access with Compressed Sensing Multiuser Detection for mMTC

abstract: One objective of the 5G communication system and beyond is to support massive machine type of communication (mMTC) to propel the fast growth of diverse Internet of Things use cases. The mMTC aims to provide connectivity to tens of billions sensor nodes. The dramatic increase of sensor devices and massive connectivity impose critical challenges for the network to handle the enormous control signaling overhead with limited radio resource. Non-Orthogonal Multiple Access (NOMA) is a new paradigm shift in the design of multiple user detection and multiple access. NOMA with compressive sensing based multiuser detection is one of the promising candidates to address the challenges of mMTC. The survey article aims at providing an overview of the current state-of-art research work in various compressive sensing based techniques that enable NOMA. We present characteristics of different algorithms and compare their pros and cons, thereby provide useful insights for researchers to make further contributions in NOMA using compressive sensing techniques.


title: DeepScores and Deep Watershed Detection: current state and open issues

abstract: This paper gives an overview of our current Optical Music Recognition (OMR) research. We recently released the OMR dataset \emph{DeepScores} as well as the object detection method \emph{Deep Watershed Detector}. We are currently taking some additional steps to improve both of them. Here we summarize current and future efforts, aimed at improving usefulness on real-world task and tackling extreme class imbalance.


title: Real-time self-adaptive deep stereo

abstract: Deep convolutional neural networks trained end-to-end are the state-of-the-art methods to regress dense disparity maps from stereo pairs. These models, however, suffer from a notable decrease in accuracy when exposed to scenarios significantly different from the training set, e.g., real vs synthetic images, etc.). We argue that it is extremely unlikely to gather enough samples to achieve effective training/tuning in any target domain, thus making this setup impractical for many applications. Instead, we propose to perform unsupervised and continuous online adaptation of a deep stereo network, which allows for preserving its accuracy in any environment. However, this strategy is extremely computationally demanding and thus prevents real-time inference. We address this issue introducing a new lightweight, yet effective, deep stereo architecture, Modularly ADaptive Network (MADNet) and developing a Modular ADaptation (MAD) algorithm, which independently trains sub-portions of the network. By deploying MADNet together with MAD we introduce the first real-time self-adaptive deep stereo system enabling competitive performance on heterogeneous datasets.