title: Well-Posedness and qualitative behaviour of the Mullins-Sekerka problem with ninety-degree angle boundary contact

abstract: We show local well-posedness for the Mullins-Sekerka system with ninety degree angle boundary contact. We will describe the motion of the moving interface by a height function over a fixed reference surface. Using the theory of maximal regularity together with a linearization of the equations and a localization argument we will prove well-posedness of the full nonlinear problem via the contraction mapping principle. Here one difficulty lies in choosing the right space for the Neumann trace of the height function and showing maximal $L_p-L_q$-regularity for the linear problem. In the second part we show that solutions starting close to certain equilibria exist globally in time, are stable, and converge to an equilibrium solution at an exponential rate.


title: Drift of spectrally stable shifted states on star graphs

abstract: When the coefficients of the cubic terms match the coefficients in the boundary conditions at a vertex of a star graph and satisfy a certain constraint, the nonlinear Schr\"{o}dinger (NLS) equation on the star graph can be transformed to the NLS equation on a real line. Such balanced star graphs have appeared in the context of reflectionless transmission of solitary waves. Steady states on such balanced star graphs can be translated along the edges with a translational parameter and are referred to as the shifted states. When the star graph has exactly one incoming edge and several outgoing edges, the steady states are spectrally stable if their monotonic tails are located on the outgoing edges. These spectrally stable states are degenerate minimizers of the action functional with the degeneracy due to the translational symmetry. Nonlinear stability of these spectrally stable states has been an open problem up to now. In this paper, we prove that these spectrally stable states are nonlinearly unstable because of the irreversible drift along the incoming edge towards the vertex of the star graph. When the shifted states reach the vertex as a result of the drift, they become saddle points of the action functional, in which case the nonlinear instability leads to their destruction. In addition to rigorous mathematical results, we use numerical simulations to illustrate the drift instability and destruction of the shifted states on the balanced star graph.


title: Correlations in a system of classical--like coins simulating spin-1/2 states in the probability representation of quantum mechanics

abstract: An analog of classical "hidden variables" for qubit states is presented. The states of qubit (two-level atom, spin-1/2 particle) are mapped onto the states of three classical--like coins. The bijective map of the states corresponds to the presence of correlations of random classical--like variables associated with the coin positions "up" or "down" and the observables are mapped onto quantum observables described by Hermitian matrices. The connection of the classical--coin statistics with the statistical properties of qubits is found.


title: Klein-Gordon representation of acoustic waves and topological origin of surface acoustic modes

abstract: Recently, it was shown that surface electromagnetic waves at interfaces between continuous homogeneous media (e.g., surface plasmon-polaritons at metal-dielectric interfaces) have a topological origin [K. Y. Bliokh et al., Nat. Commun. 10, 580 (2019)]. This is explained by the nontrivial topology of the non-Hermitian photon helicity operator in the Weyl-like representation of Maxwell equations. Here we analyze another type of classical waves: longitudinal acoustic waves corresponding to spinless phonons. We show that surface acoustic waves, which appear at interfaces between media with opposite-sign densities, can be explained by similar topological features and the bulk-boundary correspondence. However, in contrast to photons, the topological properties of sound waves originate from the non-Hermitian four-momentum operator in the Klein-Gordon representation of acoustic fields.


title: A minimax principle to the injectivity of the Jacobian conjecture

abstract: The main result of this paper is to prove some type of Real Jacobian Conjecture. It is proved by the Minimax Principle and asserts if the eigenvalues of $F'(x)$ are bounded from zero and all the eigenvalues of $F'(x)+F'(x)^T$ are strictly same sign, where $ F $ is $ C^1 $ mapping from $ \mathbb{R}^n $ to $ \mathbb{R}^n $, then $ F $ is injective. Moreover $F$ has a $ C^1 $ mapping inverse.


title: ELKI: A large open-source library for data analysis - ELKI Release 0.7.5 "Heidelberg"

abstract: This paper documents the release of the ELKI data mining framework, version 0.7.5. ELKI is an open source (AGPLv3) data mining software written in Java. The focus of ELKI is research in algorithms, with an emphasis on unsupervised methods in cluster analysis and outlier detection. In order to achieve high performance and scalability, ELKI offers data index structures such as the R*-tree that can provide major performance gains. ELKI is designed to be easy to extend for researchers and students in this domain, and welcomes contributions of additional methods. ELKI aims at providing a large collection of highly parameterizable algorithms, in order to allow easy and fair evaluation and benchmarking of algorithms. We will first outline the motivation for this release, the plans for the future, and then give a brief overview over the new functionality in this version. We also include an appendix presenting an overview on the overall implemented functionality.


title: Van der Waals Universe with Adiabatic Matter Creation

abstract: A FRWL cosmological model with perfect fluid comprising of van der Waals gas and dust has been studied in the context of dynamical analysis of a three-component autonomous non-linear dynamical system for the particle number density $n$, the Hubble parameter $H$, and the temperature $T$. Perfect fluid isentropic particle creation at rate proportional to an integer power $\alpha$ of $H$ has been incorporated. The existence of a global first integral allows the determination of the temperature evolution law and hence the reduction of the dynamical system to a two-component one. Special attention is paid to the cases of $\alpha = 2$ and $\alpha = 4$ and these are illustrated with numerical examples. The global dynamics is comprehensively studied for different choices of the values of the physical parameters of the model. Trajectories in the $(n, H)$ phase space are identified for which temporary inflationary regime exists.


title: Towards Automatic Lesion Classification in the Upper Aerodigestive Tract Using OCT and Deep Transfer Learning Methods

abstract: Early detection of cancer is crucial for treatment and overall patient survival. In the upper aerodigestive tract (UADT) the gold standard for identification of malignant tissue is an invasive biopsy. Recently, non-invasive imaging techniques such as confocal laser microscopy and optical coherence tomography (OCT) have been used for tissue assessment. In particular, in a recent study experts classified lesions in the UADT with respect to their invasiveness using OCT images only. As the results were promising, automatic classification of lesions might be feasible which could assist experts in their decision making. Therefore, we address the problem of automatic lesion classification from OCT images. This task is very challenging as the available dataset is extremely small and the data quality is limited. However, as similar issues are typical in many clinical scenarios we study to what extent deep learning approaches can still be trained and used for decision support.


title: A Decoupled 3D Facial Shape Model by Adversarial Training

abstract: Data-driven generative 3D face models are used to compactly encode facial shape data into meaningful parametric representations. A desirable property of these models is their ability to effectively decouple natural sources of variation, in particular identity and expression. While factorized representations have been proposed for that purpose, they are still limited in the variability they can capture and may present modeling artifacts when applied to tasks such as expression transfer. In this work, we explore a new direction with Generative Adversarial Networks and show that they contribute to better face modeling performances, especially in decoupling natural factors, while also achieving more diverse samples. To train the model we introduce a novel architecture that combines a 3D generator with a 2D discriminator that leverages conventional CNNs, where the two components are bridged by a geometry mapping layer. We further present a training scheme, based on auxiliary classifiers, to explicitly disentangle identity and expression attributes. Through quantitative and qualitative results on standard face datasets, we illustrate the benefits of our model and demonstrate that it outperforms competing state of the art methods in terms of decoupling and diversity.


title: Deep learning detection of transients

abstract: The next generation of observatories will facilitate the discovery of new types of astrophysical transients. The detection of such phenomena, whose characteristics are presently poorly constrained, will hinge on the ability to perform blind searches. We present a new algorithm for this purpose, based on deep learning. We incorporate two approaches, utilising anomaly detection and classification techniques. The first is model-independent, avoiding the use of background modelling and instrument simulations. The second method enables targeted searches, relying on generic spectral and temporal patterns as input. We compare our methodology with the existing approach to serendipitous detection of gamma-ray transients. The algorithm is shown to be more robust, especially for non-trivial spectral features. We use our framework to derive the detection prospects of low-luminosity gamma-ray bursts with the upcoming Cherenkov Telescope Array. Our method is an unbiased, completely data-driven approach for multiwavelength and multi-messenger transient detection.


title: An Approach for Modelling Tachyons with Gravitation

abstract: This work expands previous efforts, within the classical theories of Special and General Relativity, to include tachyons (faster-than-light particles) along with ordinary (slower-than-light) particles at any energy. The objective here is to construct a Hamiltonian that includes both the particles and the gravitational field that they produce. We do this with a linear approximation for the Einstein field equations; and we also assume a time-independent gravitational metric implied by a static picture of the particles' motion. The resulting formula will allow serious modelling to test the idea that cosmic background neutrinos may be tachyons, which can produce the observed gravitational effects now ascribed to some mysterious Dark Matter.


title: A goodness-of-fit test for elliptical distributions with diagnostic capabilities

abstract: This paper develops a smooth test of goodness-of-fit for elliptical distributions. The test is adaptively omnibus, invariant to affine-linear transformations and has a convenient expression that can be broken into components. These components have diagnostic capabilities and can be used to identify specific departures. This helps in correcting the null model when the test rejects. As an example, the results are applied to the multivariate normal distribution for which the R package ECGofTestDx is available. It is shown that the proposed test strategy encompasses and generalizes a number of existing approaches. Some other cases are studied, such as the bivariate Laplace, logistic and Pearson type II distribution. A simulation experiment shows the usefulness of the diagnostic tools.


title: The Physics of the Accelerating Universe Camera

abstract: The PAU (Physics of the Accelerating Universe) Survey goal is to obtain photometric redshifts (photo-z) and Spectral Energy Distribution (SED) of astronomical objects with a resolution roughly one order of magnitude better than current broad band photometric surveys. To accomplish this, a new large field of view camera (PAUCam) has been designed, built, commissioned and is now operated at the William Herschel Telescope (WHT). With the current WHT Prime Focus corrector, the camera covers ~1-degree diameter Field of View (FoV), of which, only the inner ~40 arcmin diameter are unvignetted. The focal plane consists of a mosaic of 18 2k$x4k Hamamatsu fully depleted CCDs, with high quantum efficiency up to 1 micrometers in wavelength. To maximize the detector coverage within the FoV, filters are placed in front of the CCDs inside the camera cryostat (made out of carbon fiber) using a challenging movable tray system. The camera uses a set of 40 narrow band filters ranging from ~4500 to ~8500 Angstroms complemented with six standard broad-band filters, ugrizY. The PAU Survey aims to cover roughly 100 square degrees over fields with existing deep photometry and galaxy shapes to obtain accurate photometric redshifts for galaxies down to i_AB~22.5, detecting also galaxies down to i_AB~24 with less precision in redshift. With this data set we will be able to measure intrinsic alignments, galaxy clustering and perform galaxy evolution studies in a new range of densities and redshifts. Here, we describe the PAU camera, its first commissioning results and performance.


title: QSOs sigposting cluster size halos as gravitational lenses: halo mass, projected mass density profile and concentration at $z\sim0.7$

abstract: Magnification bias is a gravitational lensing effect that is normally overlooked because it is considered sub-optimal in comparison with the lensing shear. Thanks to the demonstrated optimal characteristics of the sub-millimetre galaxies (SMGs) for lensing analysis, in this work we were able to measure the magnification bias produced by a sample of QSOs acting as lenses, $0.2<z<1.0$, on the SMGs observed by Herschel at $1.2<z<4.0$. Two different methodologies were successfully applied: the traditional cross-correlation function approach and the Davis-Peebles estimator through stacking technique. The second one was found to be more robust for analysing the strong lensing regime ($<20-30$ arcsec in our case) and provides the possibility to take into account the positional errors of the sources in our samples. From the halo modelling of the cross-correlation function, the halo mass where the QSOs acting as lenses are located was estimated to be greater than $\log_{10}{(M_{min}/M_\odot)} > 13.6_{-0.4}^{+0.9}$, also confirmed by the mass density profile analysis ($M_{200c}\sim 10^{14} M_\odot$). These mass values indicate that we are observing the lensing effect of a cluster size halo signposted by the QSOs, as in previous studies of the magnification bias. Moreover, we were able to estimate the lensing convergence, $\kappa(\theta)$, for our magnification bias measurements down to a few kpcs. The derived mass density profile is in good agreement with a Navarro-Frank-White (NFW) profile. We also attempt an estimation of the halo mass and the concentration parameters, obtaining $M_{NFW}=1.0^{+0.4}_{-0.2}\times10^{14} M_\odot$ and $C=3.5_{-0.3}^{+0.5}$. This concentration value is rather low and it would indicate that the cluster halos around these QSOs are unrelaxed. However, higher concentration values still provides a compatible fit to the data.


title: Derivator Six-Functor-Formalisms -- Construction II

abstract: Starting from simple and necessary axioms on a (derivator enhanced) four-functor-formalism, we construct derivator six-functor-formalisms using compactifications. This works, for instance, for the stable homotopy categories of Morel-Voevodsky-Ayoub, and also for the classical setting of unbounded complexes of sheaves of Abelian groups on `nice' topological spaces. The formalism of derivator six-functor-formalisms elegantly encodes all isomorphisms between compositions of the six functors (and their compatibilities) and moreover it gives coherent enhancements over diagrams of correspondences. Such a formalism allows to extend six-functor-formalisms to stacks using (co)homological descent.


title: Expansion of the resolvent in a Feshbach model

abstract: In this paper we extend the results proved in (Carlone, R., Correggi, M., Finco, D., Teta, A.: A model for Feshbach Resonances arXiv:1901.08282 [math-ph]) about Feshbach resonances in a multichannel Hamiltonian $\mathcal{H}$, proving a low energy expansion of the resolvent $(\mathcal{H}-k^{2})^{-1}$ as $k\to 0$ in the resonant case.


title: Claudius Ptolemy and Giambattista Della Porta: Two Contrasting Conceptions of Optics

abstract: We address the phenomenon of reflection in concave spherical mirror in two contrasting approaches to optics. In his Optics (ca.165) Ptolemy applied the cathetus principle as a regulative means for explaining qualitatively effects related to visual perception in concave spherical mirror. By contrast, Della Porta's study of reflection in concave spherical mirror in Bk. 17, Ch. 4 of his Magia naturalis (1589) and De refractione (1593), was based on the assumption that there is a reciprocal relation between reflection in concave spherical mirror and refraction in glass sphere. We juxtapose these two studies and draw several philosophical lessons from the comparison between these two practices with a view to throwing into relief the fundamental differences in their respective conceptions of optics.


title: A dynamical model for Positive-Operator Valued Measures

abstract: We tackle the dynamical description of the quantum measurement process, by explicitly addressing the interaction between the system under investigation with the measurement apparatus, the latter ultimately considered as macroscopic quantum object. We consider arbitrary Positive Operator Valued Measures (POVMs), such that the orthogonality constraint on the measurement operators is relaxed. We show that, likewise the well-known von-Neumann scheme for projective measurements, it is possible to build up a dynamical model holding a unitary propagator characterized by a single time-independent Hamiltonian. This is achieved by modifying the standard model so as to compensate for the possible lack of orthogonality among the measurement operators of arbitrary POVMs.


title: Improving the spatial resolution of NICA/MPD ECAL with new reconstruction methods

abstract: A Shashlyk-type electromagnetic calorimeter (ECal) will be used in the Multi-purpose Detector at Nuclotron-based Ion Collider facility to study the properties of nuclear matter. In this experiment, the ECal detector is responsible for measuring the energy and position of the incident particles, and identifying them with the information obtained from itself and other detectors. This paper analyzes the position resolution of the Tsinghua ECal modules using the data from a beam test in DESY. Several reconstruction methods are studied in detail. With a deep learning based algorithm, the position resolution of the prototypes achieves less than 3.8 mm for 1.6 GeV electron beam, which is improved by about 30% compared to that of traditional charge center of gravity method.


title: The pointwise convergence of Fourier Series (II). Strong $L^1$ case for the lacunary Carleson operator

abstract: We prove that the lacunary Carleson operator is bounded from $L \log L$ to $L^{1}$. This result is sharp. The proof is based on two newly introduced concepts: 1) the \emph{time-frequency regularization of a measurable set} and 2) the \emph{set-resolution of the time-frequency plane at $0-$frequency}. These two concepts will play the central role in providing a special tile decomposition adapted to the interaction between the \emph{structure} of the lacunary Carleson operator and the corresponding \emph{structure} of a fix measurable set. Another key insight of our paper is that it provides for the first time a simultaneous treatment of families of tiles with \emph{distinct} mass parameters. This should be regarded as a fundamental feature/difficulty of the problem of the pointwise convergence of Fourier Series near $L^1$, context in which, unlike the standard $L^p,\:p>1$ case, \emph{no decay} in the mass parameter is possible.


title: The subtle unphysical hypothesis of the firewall theorem

abstract: The black-hole firewall theorem derives a suspicious consequence (large energy-momentum density on the horizon of a black hole) from a set of seemingly reasonable hypotheses. I point out the hypothesis which is likely to be unrealistic---a hypothesis not always sufficiently made explicit--- and discuss the subtle confusion at its origin: mixing-up of two different notions of entropy and misusing of the entropy bound.


title: Holographic complexity of local quench at finite temperature

abstract: This paper is devoted to the study of the evolution of holographic complexity after a local perturbation of the system at finite temperature. We calculate the complexity using both the complexity=action(CA) and the complexity=volume(CA) conjectures and find that the CV complexity of the total state shows the unbounded late time linear growth. The CA computation shows linear growth with fast saturation to a constant value. We estimate the CV and CA complexity linear growth coefficients and show, that finite temperature leads to violation of the Lloyd bound for CA complexity. Also it is shown that for composite system after the local quench the state with minimal entanglement may correspond to the maximal complexity.


title: Diverse Exploration via Conjugate Policies for Policy Gradient Methods

abstract: We address the challenge of effective exploration while maintaining good performance in policy gradient methods. As a solution, we propose diverse exploration (DE) via conjugate policies. DE learns and deploys a set of conjugate policies which can be conveniently generated as a byproduct of conjugate gradient descent. We provide both theoretical and empirical results showing the effectiveness of DE at achieving exploration, improving policy performance, and the advantage of DE over exploration by random policy perturbations.


title: Shallow Triple Stream Three-dimensional CNN (STSTNet) for Micro-expression Recognition

abstract: In the recent year, state-of-the-art for facial micro-expression recognition have been significantly advanced by deep neural networks. The robustness of deep learning has yielded promising performance beyond that of traditional handcrafted approaches. Most works in literature emphasized on increasing the depth of networks and employing highly complex objective functions to learn more features. In this paper, we design a Shallow Triple Stream Three-dimensional CNN (STSTNet) that is computationally light whilst capable of extracting discriminative high level features and details of micro-expressions. The network learns from three optical flow features (i.e., optical strain, horizontal and vertical optical flow fields) computed based on the onset and apex frames of each video. Our experimental results demonstrate the effectiveness of the proposed STSTNet, which obtained an unweighted average recall rate of 0.7605 and unweighted F1-score of 0.7353 on the composite database consisting of 442 samples from the SMIC, CASME II and SAMM databases.


title: Kurdyka-{\L}ojasiewicz exponent via inf-projection

abstract: Kurdyka-Lojasiewicz (KL) exponent plays an important role in estimating the convergence rate of many contemporary first-order methods. In particular, a KL exponent of $\frac12$ for a suitable potential function is related to local linear convergence. Nevertheless, KL exponent is in general extremely hard to estimate. In this paper, we show under mild assumptions that KL exponent is preserved via inf-projection. Inf-projection is a fundamental operation that is ubiquitous when reformulating optimization problems via the lift-and-project approach. By studying its operation on KL exponent, we show that the KL exponent is $\frac12$ for several important convex optimization models, including some semidefinite-programming-representable functions and some functions that involve $C^2$-cone reducible structures, under conditions such as strict complementarity. Our results are applicable to concrete optimization models such as group fused Lasso and overlapping group Lasso. In addition, for nonconvex models, we show that the KL exponent of many difference-of-convex functions can be derived from that of their natural majorant functions, and the KL exponent of the Bregman envelope of a function is the same as that of the function itself. Finally, we estimate the KL exponent of the sum of the least squares function and the indicator function of the set of matrices of rank at most $k$.


title: Exploring Spatial, Temporal, and Logical Attacks on the Bitcoin Network

abstract: In this paper, we explore the partitioning attacks on the Bitcoin network, which is shown to exhibit spatial bias, and temporal and logical diversity. Through data-driven study we highlight: 1) the centralization of Bitcoin nodes across autonomous systems, indicating the possibility of BGP attacks, 2)the non-uniform consensus among nodes, that can be exploited to partition the network, and 3)the diversity in the Bitcoin software usage that can lead to privacy attacks. Atop the prior work, which focused on spatial partitioning, our work extends the analysis of the Bitcoin network to understand the temporal and logical effects on the robustness of the Bitcoin network.


title: Coherent J/$\psi$ photoproduction in Pb-Pb collisions with nuclear overlap studied with ALICE at the LHC

abstract: The photoproduction of heavy vector mesons in the electromagnetic interactions of ultra-relativistic nuclei is sensitive to the gluon distribution in the nucleus and thus to cold nuclear matter effects like shadowing or parton saturation. Besides the well known observations of vector meson production in ultra-peripheral collisions, first observations of an excess over the expected hadronic J/$\psi$ production at very low transverse momentum ($p_T < $~0.3 GeV/$c$) in peripheral and semi-central nucleus-nucleus collisions both at LHC and RHIC energies were interpreted as the first sign of coherent J/$\psi$ photoproduction occurring in Pb-Pb collisions with nuclear overlap. The ALICE Collaboration published the J/$\psi$ coherent photoproduction cross sections in peripheral and semi-central Pb-Pb collisions at $\sqrt{s_{\rm NN}}$ = 2.76~TeV and forward rapidity ($2.5<y<4.0$). Using the LHC Run-2 data, ALICE presents preliminary results in peripheral Pb-Pb collisions at $\sqrt{s_{\rm NN}}$ = 5.02 TeV at mid-rapidity ($|y|<0.9$) and forward rapidity. Thanks to the very good tracking resolution of the central barrel, the extraction of the $p_T$-differential cross section was also possible, strengthening the photoproduction origin of the observed J/$\psi$ excess. The quantitative understanding of this low-$p_T$ excess poses significant theoretical challenges since the J/$\psi$ photoproduction depends on the collision dynamics as well as on the photon-flux and the photonuclear cross section. In this proceeding, we present the latest ALICE measurements on J/$\psi$ photoproduction cross section in peripheral Pb-Pb collisions, with emphasis on the new forward measurement in the dimuon decay channel at $\sqrt{s_{\rm NN}}$ = 5.02~TeV. These results will be discussed and compared to several model calculations of J/$\psi$ photoproduction in Pb-Pb collisions with nuclear overlap.


title: An Algorithm for Approximating Continuous Functions on Compact Subsets with a Neural Network with one Hidden Layer

abstract: George Cybenko's landmark 1989 paper showed that there exists a feedforward neural network, with exactly one hidden layer (and a finite number of neurons), that can arbitrarily approximate a given continuous function $f$ on the unit hypercube. The paper did not address how to find the weight/parameters of such a network, or if finding them would be computationally feasible. This paper outlines an algorithm for a neural network with exactly one hidden layer to reconstruct any continuous scalar or vector valued continuous function.


title: Machine Learning With Feature Selection Using Principal Component Analysis for Malware Detection: A Case Study

abstract: Cyber security threats have been growing significantly in both volume and sophistication over the past decade. This poses great challenges to malware detection without considerable automation. In this paper, we have proposed a novel approach by extending our recently suggested artificial neural network (ANN) based model with feature selection using the principal component analysis (PCA) technique for malware detection. The effectiveness of the approach has been successfully demonstrated with the application in PDF malware detection. A varying number of principal components is examined in the comparative study. Our evaluation shows that the model with PCA can significantly reduce feature redundancy and learning time with minimum impact on data information loss, as confirmed by both training and testing results based on around 105,000 real-world PDF documents. Of the evaluated models using PCA, the model with 32 principal feature components exhibits very similar training accuracy to the model using the 48 original features, resulting in around 33% dimensionality reduction and 22% less learning time. The testing results further confirm the effectiveness and show that the model is able to achieve 93.17% true positive rate (TPR) while maintaining the same low false positive rate (FPR) of 0.08% as the case when no feature selection is applied, which significantly outperforms all evaluated seven well known commercial antivirus (AV) scanners of which the best scanner only has a TPR of 84.53%.


title: Ultrafast dynamics in the vicinity of quantum light-induced conical intersections

abstract: Nonadiabatic effects appear due to avoided crossings or conical intersections that are either intrinsic properties in field-free space or induced by a classical laser field in a molecule. It was demonstrated that avoided crossings in diatomics can also be created in an optical cavity. Here, the quantized radiation field mixes the nuclear and electronic degrees of freedom creating hybrid field-matter states called polaritons. In the present theoretical study we go further and create conical intersections in diatomics by means of a radiation field in the framework of cavity quantum electrodynamics (QED). By treating all degrees of freedom, that is the rotational, vibrational, electronic and photonic degrees of freedom on an equal footing we can control the nonadiabatic quantum light-induced dynamics by means of conical intersections. First, the pronounced difference between the the quantum light-induced avoided crossing and the conical intersection with respect to the nonadiabatic dynamics of the molecule is demonstrated. Second, we discuss the similarities and differences between the classical and the quantum field description of the light for the studied scenario.


title: Corners of Leavitt path algebras of finite graphs are Leavitt path algebras

abstract: We achieve an extremely useful description (up to isomorphism) of the Leavitt path algebra $L_K(E)$ of a finite graph $E$ with coefficients in a field $K$ as a direct sum of matrix rings over $K$, direct sum with a corner of the Leavitt path algebra $L_K(F)$ of a graph $F$ for which every regular vertex is the base of a loop. Moreover, in this case one may transform the graph $E$ into the graph $F$ via some step-by-step procedure, using the "source elimination" and "collapsing" processes. We use this to establish the main result of the article, that every nonzero corner of a Leavitt path algebra of a finite graph is isomorphic to a Leavitt path algebra. Indeed, we prove a more general result, to wit, that the endomorphism ring of any nonzero finitely generated projective $L_K(E)$-module is isomorphic to the Leavitt path algebra of a graph explicitly constructed from $E$. Consequently, this yields in particular that every unital $K$-algebra which is Morita equivalent to a Leavitt path algebra is indeed isomorphic to a Leavitt path algebra.


title: (q,p)-Wasserstein GANs: Comparing Ground Metrics for Wasserstein GANs

abstract: Generative Adversial Networks (GANs) have made a major impact in computer vision and machine learning as generative models. Wasserstein GANs (WGANs) brought Optimal Transport (OT) theory into GANs, by minimizing the $1$-Wasserstein distance between model and data distributions as their objective function. Since then, WGANs have gained considerable interest due to their stability and theoretical framework. We contribute to the WGAN literature by introducing the family of $(q,p)$-Wasserstein GANs, which allow the use of more general $p$-Wasserstein metrics for $p\geq 1$ in the GAN learning procedure. While the method is able to incorporate any cost function as the ground metric, we focus on studying the $l^q$ metrics for $q\geq 1$. This is a notable generalization as in the WGAN literature the OT distances are commonly based on the $l^2$ ground metric. We demonstrate the effect of different $p$-Wasserstein distances in two toy examples. Furthermore, we show that the ground metric does make a difference, by comparing different $(q,p)$ pairs on the MNIST and CIFAR-10 datasets. Our experiments demonstrate that changing the ground metric and $p$ can notably improve on the common $(q,p) = (2,1)$ case.


title: Transition from confined to bulk dynamics in symmetric star-linear polymer mixtures

abstract: We report on the linear viscoelastic properties of mixtures comprising multiarm star (as model soft colloids) and long linear chain homopolymers in a good solvent. In contrast to earlier works, we investigated symmetric mixtures (with a size ratio of 1) and showed that the polymeric and colloidal responses can be decoupled. The adopted experimental protocol involved probing the linear chain dynamics in different star environments. To this end, we studied mixtures with different star mass fraction, which was kept constant while linear chains were added and their entanglement plateau modulus ($G_p$) and terminal relaxation time ($\tau_d$) were measured as functions of their concentration. Two distinct scaling regimes were observed for both $G_p$ and $\tau_d$: at low linear polymer concentrations, a weak concentration dependence was observed, that became even weaker as the fraction of stars in the mixtures increased into the star glassy regime. On the other hand, at higher linear polymer concentrations, the classical entangled polymer scaling was recovered. Simple scaling arguments show that the threshold crossover concentration between the two regimes corresponds to the maximum osmotic star compression and signals the transition from confined to bulk dynamics. These results provide the needed ingredients to complete the state diagram of soft colloid-polymer mixtures and investigate their dynamics at large polymer-colloid size ratios. They also offer an alternative way to explore aspects of the colloidal glass transition and the polymer dynamics in confinement. Finally, they provide a new avenue to tailor the rheology of soft composites.


title: Directional square functions and a sharp Meyer lemma

abstract: Quantitative formulations of Fefferman's counterexample for the ball multiplier are naturally linked to square function and vector-valued estimates for directional singular integrals. The latter are usually referred to as Meyer-type lemmas and are traditionally attacked by combining weighted inequalities with sharp estimates for maximal directional averaging operators. This classical approach fails to give sharp bounds. In this article we develop a novel framework for square function estimates, based on directional Carleson embedding theorems and multi-parameter time-frequency analysis, which overcomes the limitations of weighted theory. In particular we prove the sharp form of Meyer's lemma, namely a sharp operator norm bound for vector-valued directional singular integrals, in both one and two parameters, in terms of the cardinality of the given set of directions. Our sharp Meyer lemma implies an improved quantification of the reverse square function estimate for tangential $\delta\times \delta^2$-caps on $\mathbb S^1$. We also prove sharp square function estimates for conical and radial multipliers. A suitable combination of these estimates yields a new and currently best known bound for the Fourier restriction to a $N$-gon, improving on previous results of A. C\'ordoba.


title: Exclusion process subject to conformational size changes

abstract: We introduce a model for stochastic transport on a one-dimensional substrate with particles assuming different conformations during their stepping cycles. These conformations correspond to different footprints on the substrate: in order to advance, particles are subject to successive contraction and expansion steps with different characteristic rates. We thus extend the paradigmatic exclusion process, provide predictions for all regimes of these rates that are in excellent agreement with simulations, and show that the current-density relation may be affected considerably. Symmetries are discussed, and exploited. We discuss our results in the context of molecular motors, confronting a hand-over-hand and an inchworm stepping mechanism, as well as for ribosomes.


title: Context-Aware Visual Compatibility Prediction

abstract: How do we determine whether two or more clothing items are compatible or visually appealing? Part of the answer lies in understanding of visual aesthetics, and is biased by personal preferences shaped by social attitudes, time, and place. In this work we propose a method that predicts compatibility between two items based on their visual features, as well as their context. We define context as the products that are known to be compatible with each of these item. Our model is in contrast to other metric learning approaches that rely on pairwise comparisons between item features alone. We address the compatibility prediction problem using a graph neural network that learns to generate product embeddings conditioned on their context. We present results for two prediction tasks (fill in the blank and outfit compatibility) tested on two fashion datasets Polyvore and Fashion-Gen, and on a subset of the Amazon dataset; we achieve state of the art results when using context information and show how test performance improves as more context is used.


title: The nitrogen carrier in protoplanetary disks

abstract: The dominant reservoirs of elemental nitrogen in protoplanetary disks have not yet been observationally identified. Likely candidates are HCN, NH$_3$ and N$_2$. The relative abundances of these carriers determine the composition of planetesimals as a function of disk radius due to strong differences in their volatility. A significant sequestration of nitrogen in carriers less volatile than N$_2$ is likely required to deliver even small amounts of nitrogen to the Earth and potentially habitable exo-planets. While HCN has been detected in small amounts in inner disks ($<10$ au), so far only relatively insensitive upper limits on inner disk NH$_3$ have been obtained. We present new Gemini-TEXES high resolution spectroscopy of the 10.75 $\mu$m band of warm NH$_3$, and use 2-dimensional radiative transfer modeling to improve previous upper limits by an order of magnitude to $\rm [NH_3/H_{nuc}]<10^{-7}$ at 1 au. These NH$_3$ abundances are significantly lower than those typical for ices in circumstellar envelopes ($[{\rm NH_3/H_{nuc}}]\sim 3\times 10^{-6}$). We also consistently retrieve the inner disk HCN gas abundances using archival Spitzer spectra, and derive upper limits on the HCN ice abundance in protostellar envelopes using archival ground-based 4.7 $\mu$m spectroscopy ([HCN$_{\rm ice}$]/[H$_2$O$_{\rm ice}$]$<1.5-9$\%). We identify the NH$_3$/HCN ratio as an indicator of chemical evolution in the disk, and use this ratio to suggest that inner disk nitrogen is efficiently converted from NH$_3$ to N$_2$, significantly increasing the volatility of nitrogen in planet-forming regions.


title: Logical complexity of induced subgraph isomorphism for certain graph families

abstract: We prove that, for every $\ell\geq 4$, there exists an $\ell$-vertex graph and a first order sentence having a quantifier depth at most $\ell-1$ defining the property of having an induced subgraph isomorphic to the given one. We prove that a first order sentence defining the property of containing an induced subgraph on $\ell$ vertices isomorphic to a given disjoint union of isomorphic complete multipartite graphs has a quantifier depth at least $\ell$. Finally, we prove that, for every graph on $\ell\leq 5$ vertices a sentence defining the property of containing an induced subgraph isomorphic to the given one has a quantifier depth at least $\ell-1$.


title: Physical Layer Identification based on Spatial-temporal Beam Features for Millimeter Wave Wireless Networks

abstract: With millimeter wave (mmWave) wireless communication envisioned to be the key enabler of next generation high data rate wireless networks, security is of paramount importance. While conventional security measures in wireless networks operate at a higher layer of the protocol stack, physical layer security utilizes unique device dependent hardware features to identify and authenticate legitimate devices. In this work, we identify that the manufacturing tolerances in the antenna arrays used in mmWave devices contribute to a beam pattern that is unique to each device, and to that end we propose a novel device fingerprinting scheme based on the unique beam patterns used by the mmWave devices. Specifically, we propose a fingerprinting scheme with multiple access points (APs) to take advantage of the rich spatial-temporal information of the beam pattern. We perform comprehensive experiments with commercial off-the-shelf mmWave devices to validate the reliability performance of our proposed method under various scenarios. We also compare our beam pattern feature with a conventional physical layer feature namely power spectral density feature (PSD). To that end, we implement PSD feature based fingerprinting for mmWave devices. We show that the proposed multiple APs scheme is able to achieve over 99% identification accuracy for stationary LOS and NLOS scenarios and significantly outperform the PSD based method. For mobility scenarios, the overall identification accuracy is 96%. In addition, we perform security analysis of our proposed beam pattern fingerprinting system and PSD fingerprinting system by studying the feasibility of performing impersonation attacks. We design and implement an impersonation attack mechanism for mmWave wireless networks using state-of-the-art 60 GHz software defined radios. We discuss our findings and their implications on the security of the mmWave wireless networks.


title: Low Barrier Magnet Design for Efficient Hardware Binary Stochastic Neurons

abstract: Binary stochastic neurons (BSN's) form an integral part of many machine learning algorithms, motivating the development of hardware accelerators for this complex function. It has been recognized that hardware BSN's can be implemented using low barrier magnets (LBM's) by minimally modifying present-day magnetoresistive random access memory (MRAM) devices. A crucial parameter that determines the response of these LBM based BSN designs is the \emph{correlation time} of magnetization, $\tau_c$. In this letter, we show that for magnets with low energy barriers ($\Delta \approx k_BT$ and below), circular disk magnets with in-plane magnetic anisotropy (IMA) lead to $\tau_c$ values that are two orders of magnitude smaller compared to $\tau_c$ for magnets having perpendicular magnetic anisotropy (PMA) and provide analytical descriptions. We show that this striking difference in $\tau_c$ is due to a precession-like fluctuation mechanism that is enabled by the large demagnetization field in IMA magnets. We provide a detailed energy-delay performance evaluation of previously proposed BSN designs based on Spin-Orbit-Torque (SOT) MRAM and Spin-Transfer-Torque (STT) MRAM employing low barrier circular IMA magnets by SPICE simulations. The designs exhibit sub-ns response times leading to energy requirements of $\sim$a few fJ to evaluate the BSN function, orders of magnitude lower than digital CMOS implementations with a much larger footprint. While modern MRAM technology is based on PMA magnets, results in this paper suggest that low barrier circular IMA magnets may be more suitable for this application.


title: A Bayesian Approach to Joint Estimation of Multiple Graphical Models

abstract: The problem of joint estimation of multiple graphical models from high dimensional data has been studied in the statistics and machine learning literature, due to its importance in diverse fields including molecular biology, neuroscience and the social sciences. This work develops a Bayesian approach that decomposes the model parameters across the multiple graphical models into shared components across subsets of models and edges, and idiosyncratic ones. Further, it leverages a novel multivariate prior distribution, coupled with a pseudo-likelihood that enables fast computations through a robust and efficient Gibbs sampling scheme. We establish strong posterior consistency for model selection, as well as estimation of model parameters under high dimensional scaling with the number of variables growing exponentially with the sample size. The efficacy of the proposed approach is illustrated on both synthetic and real data. Keywords: Pseudo-likelihood, Gibbs sampling, posterior consistency, Omics data


title: Evidence of Pure Spin-Current Generated by Spin Pumping in Interface Localized States in Hybrid Metal-Silicon-Metal Vertical Structures

abstract: Due to the difficulty to grow high quality semiconductors on ferromagnetic metals, the study of spin diffusion transport in Si was only limited to lateral geometry devices. In this work, by using ultra-high vacuum wafer-bonding technique, we have successfully fabricated metal semiconductor metal CoFeB/MgO/Si/Pt vertical structures. We hereby demonstrate pure spin-current injection and transport in the perpendicular current flow geometry over a distance larger than 2\mu m in n-type Si at room temperature. In those experiments, a pure propagating spin-current is generated via ferromagnetic resonance spin-pumping and converted into a measurable voltage by using the inverse spin-Hall effect occurring in the top Pt layer. A systematic study by varying both Si and MgO thicknesses reveals the important role played by the localized states at the MgO/Si interface for the spin-current generation. Proximity effects involving indirect exchange interactions between the ferromagnet and the MgO/Si interface states appears to be a prerequisite to establish the necessary out-of-equilibrium spin-population in Si under the spin-pumping action.


title: Iterative Least Trimmed Squares for Mixed Linear Regression

abstract: Given a linear regression setting, Iterative Least Trimmed Squares (ILTS) involves alternating between (a) selecting the subset of samples with lowest current loss, and (b) re-fitting the linear model only on that subset. Both steps are very fast and simple. In this paper we analyze ILTS in the setting of mixed linear regression with corruptions (MLR-C). We first establish deterministic conditions (on the features etc.) under which the ILTS iterate converges linearly to the closest mixture component. We also provide a global algorithm that uses ILTS as a subroutine, to fully solve mixed linear regressions with corruptions. We then evaluate it for the widely studied setting of isotropic Gaussian features, and establish that we match or better existing results in terms of sample complexity. Finally, we provide an ODE analysis for a gradient-descent variant of ILTS that has optimal time complexity. Our results provide initial theoretical evidence that iteratively fitting to the best subset of samples -- a potentially widely applicable idea -- can provably provide state of the art performance in bad training data settings.


title: Approaching the ultimate capacity limit in deep-space optical communication

abstract: The information capacity of an optical channel under power constraints is ultimately limited by the quantum nature of transmitted signals. We discuss currently available and emerging photonic technologies whose combination can be shown theoretically to enable nearly quantum-limited operation of a noisy optical communication link in the photon-starved regime, with the information rate scaling linearly in the detected signal power. The key ingredients are quantum pulse gating to facilitate mode selectivity, photon-number-resolved direct detection, and a photon-efficient high-order modulation format such as pulse position modulation, frequency shift keying, or binary phase shift keyed Hadamard words decoded optically using structured receivers.


title: Perimeter approximation of convex discs in the hyperbolic plane and on the sphere

abstract: Eggleston (1957) proved that in the Euclidean plane the best approximating convex $n$-gon to a convex disc $K$ is always inscribed in $K$ if we measure the distance by perimeter deviation. We prove that the analogue of Eggleston's statement holds in the hyperbolic plane, and we give an example showing that it fails on the sphere.


title: Cloud Futurology

abstract: The Cloud has become integral to most Internet-based applications and user gadgets. This article provides a brief history of the Cloud and presents a researcher's view of the prospects for innovating at the infrastructure, middleware, and application and delivery levels of the already crowded Cloud computing stack.


title: A Bandit Framework for Optimal Selection of Reinforcement Learning Agents

abstract: Deep Reinforcement Learning has been shown to be very successful in complex games, e.g. Atari or Go. These games have clearly defined rules, and hence allow simulation. In many practical applications, however, interactions with the environment are costly and a good simulator of the environment is not available. Further, as environments differ by application, the optimal inductive bias (architecture, hyperparameters, etc.) of a reinforcement agent depends on the application. In this work, we propose a multi-arm bandit framework that selects from a set of different reinforcement learning agents to choose the one with the best inductive bias. To alleviate the problem of sparse rewards, the reinforcement learning agents are augmented with surrogate rewards. This helps the bandit framework to select the best agents early, since these rewards are smoother and less sparse than the environment reward. The bandit has the double objective of maximizing the reward while the agents are learning and selecting the best agent after a finite number of learning steps. Our experimental results on standard environments show that the proposed framework is able to consistently select the optimal agent after a finite number of steps, while collecting more cumulative reward compared to selecting a sub-optimal architecture or uniformly alternating between different agents.


title: Word embeddings for idiolect identification

abstract: The term idiolect refers to the unique and distinctive use of language of an individual and it is the theoretical foundation of Authorship Attribution. In this paper we are focusing on learning distributed representations (embeddings) of social media users that reflect their writing style. These representations can be considered as stylistic fingerprints of the authors. We are exploring the performance of the two main flavours of distributed representations, namely embeddings produced by Neural Probabilistic Language models (such as word2vec) and matrix factorization (such as GloVe).


title: Neural embeddings for metaphor detection in a corpus of Greek texts

abstract: One of the major challenges that NLP faces is metaphor detection, especially by automatic means, a task that becomes even more difficult for languages lacking in linguistic resources and tools. Our purpose is the automatic differentiation between literal and metaphorical meaning in authentic non-annotated phrases from the Corpus of Greek Texts by means of computational methods of machine learning. For this purpose the theoretical background of distributional semantics is discussed and employed. Distributional Semantics Theory develops concepts and methods for the quantification and classification of semantic similarities displayed by linguistic elements in large amounts of linguistic data according to their distributional properties. In accordance with this model, the approach followed in the thesis takes into account the linguistic context for the computation of the distributional representation of phrases in geometrical space, as well as for their comparison with the distributional representations of other phrases, whose function in speech is already "known" with the objective to reach conclusions about their literal or metaphorical function in the specific linguistic context. This procedure aims at dealing with the lack of linguistic resources for the Greek language, as the almost impossible up to now semantic comparison between "phrases", takes the form of an arithmetical comparison of their distributional representations in geometrical space.


title: Quantum distinguishing complexity, zero-error algorithms, and statistical zero knowledge

abstract: We define a new query measure we call quantum distinguishing complexity, denoted QD(f) for a Boolean function f. Unlike a quantum query algorithm, which must output a state close to |0> on a 0-input and a state close to |1> on a 1-input, a "quantum distinguishing algorithm" can output any state, as long as the output states for any 0-input and 1-input are distinguishable. Using this measure, we establish a new relationship in query complexity: For all total functions f, Q_0(f)=O~(Q(f)^5), where Q_0(f) and Q(f) denote the zero-error and bounded-error quantum query complexity of f respectively, improving on the previously known sixth power relationship. We also define a query measure based on quantum statistical zero-knowledge proofs, QSZK(f), which is at most Q(f). We show that QD(f) in fact lower bounds QSZK(f) and not just Q(f). QD(f) also upper bounds the (positive-weights) adversary bound, which yields the following relationships for all f: Q(f) >= QSZK(f) >= QS(f) = Omega(Adv(f)). This sheds some light on why the adversary bound proves suboptimal bounds for problems like Collision and Set Equality, which have low QSZK complexity. Lastly, we show implications for lifting theorems in communication complexity. We show that a general lifting theorem for either zero-error quantum query complexity or for QSZK would imply a general lifting theorem for bounded-error quantum query complexity.


title: Deformation of an inflated bicycle tire when loaded

abstract: The deformation of a loaded bike tire has been analyzed with a model consisting of a toroid of thin inextensible walls mounted on a central rim. If the tire radius is much shorter than the rim radius, the deflection, d, of the tire can be calculated as a function of the applied load, F. The solution can be approximated to a power law dependennce F proportional to d^(3/2) for small loads. The theoretical predictions compare well with the experiments carried out on two bicycle tires.


title: Branched Cauchy-Riemann Structures on Once-Punctured Torus Bundles

abstract: Unlike in hyperbolic geometry, the monodromy ideal triangulation of a hyperbolic once-punctured torus bundle $M_f$ has no natural geometric realisation in Cauchy-Riemann (CR) space. By introducing a new type of $3$--cell, we construct a different cell decomposition $\mathcal{D}_f$ of $M_f$ that is always realisable in CR space. As a consequence, we show that every hyperbolic once-punctured torus bundle admits a branched CR structure, whose branch locus is the set of edges of $\mathcal{D}_f$. Furthermore, we explicitly compute the ramification order around each component of the branch locus and analyse the corresponding holonomy representations.


title: Weak lensing cosmology with convolutional neural networks on noisy data

abstract: Weak gravitational lensing is one of the most promising cosmological probes of the late universe. Several large ongoing (DES, KiDS, HSC) and planned (LSST, EUCLID, WFIRST) astronomical surveys attempt to collect even deeper and larger scale data on weak lensing. Due to gravitational collapse, the distribution of dark matter is non-Gaussian on small scales. However, observations are typically evaluated through the two-point correlation function of galaxy shear, which does not capture non-Gaussian features of the lensing maps. Previous studies attempted to extract non-Gaussian information from weak lensing observations through several higher-order statistics such as the three-point correlation function, peak counts or Minkowski-functionals. Deep convolutional neural networks (CNN) emerged in the field of computer vision with tremendous success, and they offer a new and very promising framework to extract information from 2 or 3-dimensional astronomical data sets, confirmed by recent studies on weak lensing. We show that a CNN is able to yield significantly stricter constraints of ($\sigma_8, \Omega_m$) cosmological parameters than the power spectrum using convergence maps generated by full N-body simulations and ray-tracing, at angular scales and shape noise levels relevant for future observations. In a scenario mimicking LSST or Euclid, the CNN yields 2.4-2.8 times smaller credible contours than the power spectrum, and 3.5-4.2 times smaller at noise levels corresponding to a deep space survey such as WFIRST. We also show that at shape noise levels achievable in future space surveys the CNN yields 1.4-2.1 times smaller contours than peak counts, a higher-order statistic capable of extracting non-Gaussian information from weak lensing maps.


title: The role of plastic strain gradients in the crack growth resistance of metals

abstract: Crack advance from short or long pre-cracks is predicted by the progressive failure of a cohesive zone in a strain gradient, elasto-plastic solid. The presence of strain gradients leads to the existence of an elastic zone at the tip of a stationary crack, for both the long crack and the short crack cases. This is in sharp contrast with previous asymptotic analyses of gradient solids, where elastic strains were neglected. The presence of an elastic singularity at the crack tip generates stresses which are sufficiently high to activate quasi-cleavage. For the long crack case, crack growth resistance curves are predicted for a wide range of ratios of cohesive zone strength to yield strength. Remarkably, this feature of an elastic singularity is preserved for short cracks, leading to a severe reduction in tensile ductility. In qualitative terms, these predictions resemble those of discrete dislocation calculations, including the concept of a dislocation-free zone at the crack tip.


title: Formal Rings

abstract: A notion of one-dimensional formal ring is presented. It consists of a triple $(A,\Phi,\Psi)$ where $A$ is a unital ring and $\Phi$ and $\Psi$ are two formal power series in $2$ variables ${\Phi(x,y),\Psi(x,y)\in A\llbracket x,y\rrbracket}$, the first one defining a one-dimensional formal group law over $A$ and the second one providing a second composition law satisfying axiomatic properties of compatibility with the first one. For a characteristic-zero ring $A$, a large class of one-dimensional formal rings can be obtained by constructing a new composition law, defined in terms of the group logarithm associated with a given formal group law $\Phi(x,y)$, and associative and distributive with respect to it. A natural $n$-dimensional generalization of the previous construction is also proposed; curves on $n$-dimensional formal rings are introduced. The higher-dimensional theory allows us to define a generalization of the ring $W(A)$ of Witt vectors over a ring $A$, which is recovered by means of a specific choice of the associated group logarithm. The composition laws of our generalized Witt ring are defined in terms of an underlying formal ring structure. Examples of formal rings related to Hirzebruch's theory of genera are explicitly computed. Finally, we also propose the examples of Euler's and Abel's formal rings.


title: Tool Macgyvering: Tool Construction Using Geometric Reasoning

abstract: MacGyvering is defined as creating or repairing something in an inventive or improvised way by utilizing objects that are available at hand. In this paper, we explore a subset of Macgyvering problems involving tool construction, i.e., creating tools from parts available in the environment. We formalize the overall problem domain of tool Macgyvering, introducing three levels of complexity for tool construction and substitution problems, and presenting a novel computational framework aimed at solving one level of the tool Macgyvering problem, specifically contributing a novel algorithm for tool construction based on geometric reasoning. We validate our approach by constructing three tools using a 7-DOF robot arm.


title: Differential Similarity in Higher Dimensional Spaces: Theory and Applications

abstract: This paper presents an extension and an elaboration of the theory of differential similarity, which was originally proposed in arXiv:1401.2411 [cs.LG]. The goal is to develop an algorithm for clustering and coding that combines a geometric model with a probabilistic model in a principled way. For simplicity, the geometric model in the earlier paper was restricted to the three-dimensional case. The present paper removes this restriction, and considers the full $n$-dimensional case. Although the mathematical model is the same, the strategies for computing solutions in the $n$-dimensional case are different, and one of the main purposes of this paper is to develop and analyze these strategies. Another main purpose is to devise techniques for estimating the parameters of the model from sample data, again in $n$ dimensions. We evaluate the solution strategies and the estimation techniques by applying them to two familiar real-world examples: the classical MNIST dataset and the CIFAR-10 dataset.


title: Skyrmion Based Spin-Torque Nano-Oscillator

abstract: Using micromagnetic simulation, we investigate the self-sustained oscillation of magnetic skyrmion in a ferromagnetic circular nanodot, driven by spin-torque which is generated from a reference layer of a circular nanopillar device. We demonstrate, by lowering the value of uniaxial anisotropy constant ($K_u$), the velocity of the skyrmion can be increased and using this property, gyration frequency of the skyrmion oscillator can be enhanced. Annihilation of the skyrmion at higher current densities, limit the gyration frequency of the oscillator, whereas by modifying the $K_u$ value at the edge of nanodot, we are able to protect the skyrmion from being annihilated at higher current densities which in turn, increases the gyration frequency of the skyrmion based oscillator. By linear fitting the velocity value, obtained from the motion of the skyrmion in a nanostrip, we also predict the gyration frequency of the skyrmion in the nanodot which proves the validity of our idea in an intuitive way. We have also varied the radius of the nanodisk to see its effect on skyrmion.


title: $k$-essence $f(R)$ Gravity Inflation

abstract: In this work we study a modified version of $f(R)$ gravity in which higher order kinetic terms of a scalar field are added in the action of vacuum $f(R)$ gravity. This type of theory is a type of $k$-essence $f(R)$ gravity, and it belongs to the general class of $f(R,\phi ,X)$ theories of gravity, where $\phi$ is a scalar field and $X=\frac{1}{2}\partial^{\mu}\phi\partial_{\mu}\phi$. We focus on the inflationary phenomenology of the model, in the slow-roll approximation, and we investigate whether viable inflationary evolutions can be realized in the context of this theory. We use two approaches, firstly by imposing the slow-roll conditions and by using a non-viable vacuum $f(R)$ gravity. As we demonstrate, the spectral index of the primordial scalar perturbations and the tensor-to-scalar ratio of the resulting theory can be compatible with the latest observational data. In the second approach, we fix the functional form of the Hubble rate as a function of the $e$-foldings number, and we modify well-known vacuum $f(R)$ gravity reconstruction techniques, in order to find the $k$-essence $f(R)$ gravity which can realize the given Hubble rate. Accordingly, we calculate the slow-roll indices and the corresponding observational indices, and we also provide general formulas of these quantities in the slow-roll approximation. As we demonstrate, viability can be obtained in this case too, however the result is strongly model dependent. In addition, we discuss when ghosts can occur in the theory, and we investigate under which conditions ghosts can be avoided by using a particular class of models. Finally, we qualitatively discuss the existence of inflationary attractors for the non-slow-roll theory, and we provide hints towards finding general de Sitter attractors for the theory at hand.


title: On the Scalability of the Schwarz Method

abstract: In this article, we analyse the convergence behaviour and scalability properties of the one-level Parallel Schwarz method (PSM) for domain decomposition problems in which the boundaries of many subdomains lie in the interior of the global domain. Such problems arise, for instance, in solvation models in computational chemistry. Existing results on the scalability of the one-level PSM are limited to situations where each subdomain has access to the external boundary, and at most only two subdomains have a common overlap. We develop a systematic framework that allows us to bound the norm of the Schwarz iteration operator for domain decomposition problems in which subdomains may be completely embedded in the interior of the global domain and an arbitrary number of subdomains may have a common overlap.


title: Spin asymmetry in single pion production induced by weak interactions of neutrinos with polarized nucleons

abstract: The single pion production (SPP) in the charged-current neutrino (antineutrino) scattering off the polarized nucleon is discussed. The spin asymmetry is predicted within two approaches. The spin polarizations of the target nucleon that are longitudinal and perpendicular to the neutrino momentum are considered. It is shown, in several examples, that information about the SPP dynamics coming from the spin asymmetry is complementary to information obtained from measurements of spin averaged cross section. Indeed, the spin asymmetry is sensitive to the nonresonance background description of the SPP model. For the normal polarization of the target, the spin asymmetry is given by the interference between the resonance and the nonresonance contributions.


title: The $a$-number of Certain Hyperelliptic Curves

abstract: In this paper, we compute a formula for the $a$-number of certain hyperelliptic curves given by the equation $y^2= x^m+1$ for infinitely many values of $m$. The same question is studied for the curve corresponding to $y^2= x^m+x$.


title: The weakening outburst of the young eruptive star V582 Aur

abstract: V582 Aur is a pre-main sequence FU Orionis type eruptive star, which entered a brightness minimum in 2016 March due to changes in the line-of-sight extinction. Here, we present and analyze new optical $B$, $V$, $R_C$ and $I_C$ band multiepoch observations and new near-infrared $J$, $H$ and $K_S$ band photometric measurements from 2018 January$-$2019 February, as well as publicly available mid-infrared WISE data. We found that the source shows a significant optical$-$near-infrared variability, and the current brightness minimum has not completely finished yet. If the present dimming originates from the same orbiting dust clump that caused a similar brightness variation in 2012, than our results suggest a viscous spreading of the dust particles along the orbit. Another scenario is that the current minimum is caused by a dust structure, that is entering and leaving the inner part of the system. The WISE measurements could be consistent with this scenario. Our long-term data, as well as an accretion disk modeling hint at a general fading of V582 Aur, suggesting that the source will reach the quiescent level in $\sim$80 years.


title: Optimal Penalized Function-on-Function Regression under a Reproducing Kernel Hilbert Space Framework

abstract: Many scientific studies collect data where the response and predictor variables are both functions of time, location, or some other covariate. Understanding the relationship between these functional variables is a common goal in these studies. Motivated from two real-life examples, we present in this paper a function-on-function regression model that can be used to analyze such kind of functional data. Our estimator of the 2D coefficient function is the optimizer of a form of penalized least squares where the penalty enforces a certain level of smoothness on the estimator. Our first result is the Representer Theorem which states that the exact optimizer of the penalized least squares actually resides in a data-adaptive finite dimensional subspace although the optimization problem is defined on a function space of infinite dimensions. This theorem then allows us an easy incorporation of the Gaussian quadrature into the optimization of the penalized least squares, which can be carried out through standard numerical procedures. We also show that our estimator achieves the minimax convergence rate in mean prediction under the framework of function-on-function regression. Extensive simulation studies demonstrate the numerical advantages of our method over the existing ones, where a sparse functional data extension is also introduced. The proposed method is then applied to our motivating examples of the benchmark Canadian weather data and a histone regulation study.


title: On Linear Adiabatic Perturbations of Spherically Symmetric Gaseous Stars Governed by the Euler-Poisson Equations

abstract: The linearized operator for non-radial oscillations of spherically symmetric self-gravitating gaseous stars is analyzed in view of the functional analysis. The evolution of the star is supposed to be governed by the Euler-Poisson equations under the equation of state of the ideal gas, and the motion is supposed to be adiabatic. We consider the case of not necessarily isentropic, that is, not barotropic motions. Basic theory of self-adjoint realization of the linearized operator is established. Some problems in the investigation of the concrete properties of the spectrum of the linearized operator are proposed. The existence of eigenvalues which accumulate to 0 is proved in a mathematically rigorous fashion.The absence of continuous spectra and the completeness of eigenfunctions for the operators reduced by spherical harmonics is discussed.


title: Playing Games with Bounded Entropy: Convergence Rate and Approximate Equilibria

abstract: We consider zero-sum repeated games in which the players are restricted to strategies that require only a limited amount of randomness. Let $v_n$ be the max-min value of the $n$ stage game; previous works have characterized $\lim_{n\rightarrow\infty}v_n$, i.e., the long-run max-min value. Our first contribution is to study the convergence rate of $v_n$ to its limit. To this end, we provide a new tool for simulation of a source (target source) from another source (coin source). Considering the total variation distance as the measure of precision, this tool offers an upper bound for the precision of simulation, which is vanishing exponentially in the difference of R\'enyi entropies of the coin and target sources. In the second part of paper, we characterize the set of all approximate Nash equilibria achieved in long run. It turns out that this set is in close relation with the long-run max-min value.


title: 3d Mirror Symmetry and Elliptic Stable Envelopes

abstract: We consider a pair of quiver varieties (X;X') related by 3d mirror symmetry, where X =T*Gr(k,n) is the cotangent bundle of the Grassmannian of k-planes of n-dimensional space. We give formulas for the elliptic stable envelopes on both sides. We show an existence of an equivariant elliptic cohomology class on X $\times$ X' (the Mother function) whose restrictions to X and X' are the elliptic stable envelopes of those varieties. This implies, that the restriction matrices of the elliptic stable envelopes for X and X' are equal after transposition and identification of the equivariant parameters on one side with the K\"ahler parameters on the dual side.


title: Longitudinal spin asymmetries in polarized deuteron DIS with spectator tagging

abstract: Polarized electron-deuteron DIS with spectator proton tagging offers a way of measuring the neutron spin structure functions with maximal theoretical control of nuclear effects. We calculate the nuclear structure factors in the longitudinal double-spin asymmetries using methods of light-front nuclear structure. A unique feature of the spin-1 system is that spin asymmetries can be formed either relative to the cross section in all three spin states ($\lambda_d = \pm 1, 0$) or in the two maximum-spin states only ($\pm 1$, involving tensor polarization). We find that the two-state deuteron spin asymmetry at small spectator proton momenta permits accurate extraction of the neutron structure function $g_{1n}$. Such measurements could be performed at a future electron-ion collider (EIC) with polarized deuteron beams and suitable forward detectors.


title: The Monopix chips: Depleted monolithic active pixel sensors with a column-drain read-out architecture for the ATLAS Inner Tracker upgrade

abstract: Two different depleted monolithic CMOS active pixel sensor (DMAPS) prototypes with a fully synchronous column-drain read-out architecture were designed and tested: LF-Monopix and TJ-Monopix. These chips are part of a R&D effort towards a suitable implementation of a CMOS DMAPS for the HL-LHC ATLAS Inner Tracker. LF-Monopix was developed using a 150nm CMOS process on a highly resistive substrate (>2 k$\Omega\,$cm), while TJ-Monopix was fabricated using a modified 180 nm CMOS process with a 1 k$\Omega\,$cm epi-layer for depletion. The chips differ in their front-end design, biasing scheme, pixel pitch, dimensions of the collecting electrode relative to the pixel size (large and small electrode design, respectively) and the placement of read-out electronics within such electrode. Both chips were operational after thinning down to 100 $\mathrm{\mu}$m and additional back-side processing in LF-Monopix for total bulk depletion. The results in this work include measurements of their leakage current, noise, threshold dispersion, response to minimum ionizing particles and efficiency in test beam campaigns. In addition, the outcome from measurements after irradiation with neutrons up to a dose of $1\times10^{15}\,\mathrm{n_{eq} / cm}^{2}$ and its implications for future designs are discussed.


title: Learning From Noisy Labels By Regularized Estimation Of Annotator Confusion

abstract: The predictive performance of supervised learning algorithms depends on the quality of labels. In a typical label collection process, multiple annotators provide subjective noisy estimates of the "truth" under the influence of their varying skill-levels and biases. Blindly treating these noisy labels as the ground truth limits the accuracy of learning algorithms in the presence of strong disagreement. This problem is critical for applications in domains such as medical imaging where both the annotation cost and inter-observer variability are high. In this work, we present a method for simultaneously learning the individual annotator model and the underlying true label distribution, using only noisy observations. Each annotator is modeled by a confusion matrix that is jointly estimated along with the classifier predictions. We propose to add a regularization term to the loss function that encourages convergence to the true annotator confusion matrix. We provide a theoretical argument as to how the regularization is essential to our approach both for the case of single annotator and multiple annotators. Despite the simplicity of the idea, experiments on image classification tasks with both simulated and real labels show that our method either outperforms or performs on par with the state-of-the-art methods and is capable of estimating the skills of annotators even with a single label available per image.


title: Deuteron helicity flip generalized parton distributions in a convolution model

abstract: We discuss the general properties of generalized parton distributions with helicity flip (transversity) for spin-1 hadrons in the leading twist case. Using a basic light cone convolution model, we show the deuteron helicity amplitudes containing quark helicity flip GPDs and comment on the role deuteron angular momentum plays in these.


title: Paradigm shift in electron-based crystallography via machine learning

abstract: Accurately determining the crystallographic structure of a material, organic or inorganic, is a critical primary step in material development and analysis. The most common practices involve analysis of diffraction patterns produced in laboratory XRD, TEM, and synchrotron X-ray sources. However, these techniques are slow, require careful sample preparation, can be difficult to access, and are prone to human error during analysis. This paper presents a newly developed methodology that represents a paradigm change in electron diffraction-based structure analysis techniques, with the potential to revolutionize multiple crystallography-related fields. A machine learning-based approach for rapid and autonomous identification of the crystal structure of metals and alloys, ceramics, and geological specimens, without any prior knowledge of the sample, is presented and demonstrated utilizing the electron backscatter diffraction (EBSD) technique. Electron backscatter diffraction patterns are collected from materials with well-known crystal structures, then a deep neural network model is constructed for classification to a specific Bravais lattice or point group. The applicability of this approach is evaluated on diffraction patterns from samples unknown to the computer without any human input or data filtering. This is in comparison to traditional Hough transform EBSD, which requires that you have already determined the phases present in your sample. The internal operations of the neural network are elucidated through visualizing the symmetry features learned by the convolutional neural network. It is determined that the model looks for the same features a crystallographer would use, even though it is not explicitly programmed to do so. This study opens the door to fully automated, high-throughput determination of crystal structures via several electron-based diffraction techniques.


title: Authentication Scheme Based on Hashchain for Space-Air-Ground Integrated Network

abstract: With the development of artificial intelligence and self-driving, vehicular ad-hoc network (VANET) has become an irreplaceable part of the Intelligent Transportation Systems (ITSs). However, the traditional network of the ground cannot meet the requirements of transmission, processing, and storage among vehicles. Under this circumstance, integrating space and air nodes into the whole network can provide comprehensive traffic information and reduce the transmission delay. The high mobility and low latency in the Space-Air-Ground Integrated Network (SAGIN) put forward higher requirements for security issues such as identity authentication, privacy protection, and data security. This paper simplifies the Blockchain and proposes an identity authentication and privacy protection scheme based on the Hashchain in the SAGIN. The scheme focuses on the characteristics of the wireless signal to identify and authenticate the nodes. The verification and backup of the records on the block are implemented with the distributed streaming platform, Kafka algorithm, instead of the consensus. Furthermore, this paper analyzes the security of this scheme. Afterward, the experimental results reveal the delay brought by the scheme using the simulation of SUMO, OMNeT++, and Veins.


title: Should $N$-body integrators be symplectic everywhere in phase space?

abstract: Symplectic integrators are the preferred method of solving conservative $N$-body problems in cosmological, stellar cluster, and planetary system simulations because of their superior error properties and ability to compute orbital stability. Newtonian gravity is scale free, and there is no preferred time or length scale: this is at odds with construction of traditional symplectic integrators, in which there is an explicit timescale in the time-step. Additional timescales have been incorporated into symplectic integration using various techniques, such as hybrid methods and potential decompositions in planetary astrophysics, integrator sub-cycling in cosmology, and block time-stepping in stellar astrophysics, at the cost of breaking or potentially breaking symplecticity at a few points in phase space. The justification provided, if any, for this procedure is that these trouble points where the symplectic structure is broken should be rarely or never encountered in practice. We consider the case of hybrid integrators, which are used ubiquitously in astrophysics and other fields, to show that symplecticity breaks at a few points are sufficient to destroy beneficial properties of symplectic integrators, which is at odds with some statements in the literature. We show how to solve this problem in the case of hybrid integrators by requiring Lipschitz continuity of the equations of motion. For other techniques, like time step subdivision, {consequences to this this problem are not explored here}, and the fact that symplectic structure is broken should be taken into account by $N$-body simulators, who may find an alternative non-symplectic integrator performs similarly.

categories: astro-ph.EP astro-ph.CO astro-ph.GA astro-ph.IM


title: Neutron-mirror neutron oscillations in stars

abstract: Based on a newly proposed mirror-matter model of neutron-mirror neutron ($n-n'$) oscillations [Phys. Lett. B 797, 134921 (2019)], evolution and nucleosynthesis in single stars under a new theory is presented. In the new model, $n-n'$ oscillations are caused by a very small mass difference between particles of the two sectors. The new theory with the new $n-n'$ model can demonstrate the evolution in a much more convincing way than the conventional belief. In particular, many observations in stars show strong support for the new theory and the new $n-n'$ model. For example, progenitor mass limits and structures for white dwarfs and neutron stars, two different types of core collapse supernovae (II-P and II-L), synthesis of heavy elements, pulsating phenomena in stars, etc, can all be easily and naturally explained under the new theory.


title: Stable furry black holes in $\mathfrak{su}(\infty)$ anti-de Sitter Einstein-Yang-Mills theory, characterised by an infinitude of global charges

abstract: We present solutions to classical field equations for purely magnetic $\mathfrak{su}(\infty)$ Einstein-Yang-Mills theory in asymptotically Anti-de Sitter space. These solutions are found to be stable under linear, time-dependent perturbations. Recent work has also shown that these solutions may in general be uniquely characterized by a countably infinite set of asymptotically measured, gauge-invariant charges. In light of this discovery, we revisit Bizon's `modified No-Hair conjecture', and suggest a new version that accommodates these solutions.


title: Nonuniform Mean-square Exponential Dichotomies and Mean-square Exponential Stability

abstract: In this paper, the existence conditions of nonuniform mean-square exponential dichotomy (NMS-ED) for a linear stochastic differential equation (SDE) are established. The difference of the conditions for the existence of a nonuniform dichotomy between an SDE and an ordinary differential equation (ODE) is that the first one needs an additional assumption, nonuniform Lyapunov matrix, to guarantee that the linear SDE can be transformed into a decoupled one, while the second does not. Therefore, the first main novelty of our work is that we establish some preliminary results to tackle the stochasticity. This paper is also concerned with the mean-square exponential stability of nonlinear perturbation of a linear SDE under the condition of nonuniform mean-square exponential contraction (NMS-EC). For this purpose, the concept of second-moment regularity coefficient is introduced. This concept is essential in determining the stability of the perturbed equation, and hence we deduce the lower and upper bounds of this coefficient. Our results imply that the lower and upper bounds of the second-moment regularity coefficient can be expressed solely by the drift term of the linear SDE.


title: Embedded contact knot homology and a surgery formula

abstract: Embedded contact knot homology (ECK) is a variation on Embedded contact homology (ECH), defined with respect to an open book decomposition compatible with a contact structure on some 3-manifold, M. The knot in question is given by the (null-homologous) binding of the open book and the chain complex is defined in terms of closed orbits of the Reeb vector field and certain pseudoholomorphic curves in the symplectization of the knot complement. In this thesis we first generalize this construction to the case of rational open book decompositions, allowing us to define ECK for rationally null-homologous knots. In its most general form this is a bi-filtered chain complex whose homology yields ECH of the closed manifold. There is also a hat version of ECK in this situation which is equipped with an Alexander grading equivalent to that in the Heegaard Floer setting, categorifies the Alexander polynomial, and is conjecturally isomorphic to the hat version of knot Floer homology, HFK. The main result of this thesis is a large negative n-surgery formula for ECK. Namely, we start with an (integral) open book decomposition of a manifold with binding K and compute, for large n, ECK of the knot K(-n) obtained by performing (-n)-surgery on K. This formula agrees with Hedden's large n-surgery formula for HFK, providing supporting evidence towards the conjectured equivalence between the two theories. Along the way, we also prove that ECK is, in many cases, independent of the choices made to define it, namely the almost complex structure on the symplectization and the homotopy type of the contact form. We also prove that, in the case of integral open book decompositions, the hat version of ECK is supported in Alexander gradings less than or equal to twice the genus of the knot.


title: Safe Artificial General Intelligence via Distributed Ledger Technology

abstract: Background. Expert observers and artificial intelligence (AI) progression metrics indicate AI will exceed human intelligence within a few decades. Whether general AI that exceeds human capabilities (AGI) will be the single greatest boon in history or a disaster is unknown. No proofs exist that AGI will benefit humans or that AGI will not harm or eliminate humans. Objective. I propose a set of logically distinct conceptual components that are necessary and sufficient to 1) ensure that most known AGI scenarios will not harm humanity and 2) robustly align AGI values and goals with human values. Methods. By systematically addressing each pathway category to malevolent AI we can induce the methods/axioms required to redress the category. Results and Discussion. Distributed ledger technology (DLT, blockchain) is integral to this proposal, e.g. to reduce the probability of hacking, provide an audit trail to detect and correct errors or identify components causing vulnerability or failure and replace them or shut them down remotely and/or automatically, and to separate and balance key AGI components via decentralized apps (dApps). Smart contracts based on DLT are necessary to address evolution of AI that will be too fast for human monitoring and intervention. The proposed axioms. 1) Access to technology by market license. 2) Transparent ethics embodied in DLT. 3) Morality encrypted via DLT. 4) Behavior control structure with values (ethics) at roots. 5) Individual bar-code identification of all critical components. 6) Configuration Item (from business continuity/disaster recovery planning). 7) Identity verification secured via DLT. 8) Smart automated contracts based on DLT. 9) Decentralized applications - AI software code modules encrypted via DLT. 10) Audit trail of component usage stored via DLT. 11) Social ostracism (denial of societal resources) augmented by DLT petitions.


title: Distributed Feedback Controllers for Stable Cooperative Locomotion of Quadrupedal Robots: A Virtual Constraint Approach

abstract: This paper aims to develop distributed feedback control algorithms that allow cooperative locomotion of quadrupedal robots which are coupled to each other by holonomic constraints. These constraints can arise from collaborative manipulation of objects during locomotion. In addressing this problem, the complex hybrid dynamical models that describe collaborative legged locomotion are studied. The complex periodic orbits (i.e., gaits) of these sophisticated and high-dimensional hybrid systems are investigated. We consider a set of virtual constraints that stabilizes locomotion of a single agent. The paper then generates modified and local virtual constraints for each agent that allow stable collaborative locomotion. Optimal distributed feedback controllers, based on nonlinear control and quadratic programming, are developed to impose the local virtual constraints. To demonstrate the power of the analytical foundation, an extensive numerical simulation for cooperative locomotion of two quadrupedal robots with robotic manipulators is presented. The numerical complex hybrid model has 64 continuous-time domains, 192 discrete-time transitions, 96 state variables, and 36 control inputs.


title: Solutions to a System of Equations for $C^m$ Functions

abstract: Fix $m\geq 0$, and let $A=\left( A_{ij}\left( x\right) \right) _{1\leq i\leq N,1\leq j\leq M}$ be a matrix of semialgebraic functions on $\mathbb{R}^{n}$ or on a compact subset $E \subset \mathbb{R}^n$. Given $f=\left( f_{1},\cdots ,f_{N}\right) \in C^{\infty }\left( \mathbb{R}^{n},\mathbb{R}^{N}\right) $, we consider the following system of equations \begin{equation} \sum_{j=1}^{M}A_{ij}\left( x\right) F_{j}\left( x\right) =f_{i}\left( x\right) \text{ }\left( i=1,\cdots ,N\right) \text{.} \end{equation} In this paper, we give algorithms for computing a finite list of linear partial differential operators such that $AF= f$ admits a $C^m(\mathbb{R}^n, \mathbb{R}^M)$ solution $F=(F_1,\cdots, F_M)$ if and only if $f=(f_1,\cdots, f_N)$ is annihilated by the linear partial differential operators.


title: Generators for the $C^m$-closures of Ideals

abstract: Let $\mathscr{R}$ denote the ring of real polynomials on $\mathbb{R}^{n}$. Fix $m\geq 0$, and let $A_{1},\cdots ,A_{M}\in \mathscr{R}$. The $ C^{m}$-closure of $\left( A_{1},\cdots ,A_{M}\right) $, denoted here by $ \left[ A_{1},\cdots ,A_{M};C^{m}\right] $, is the ideal of all $f\in \mathscr{R}$ expressible in the form $f=F_{1}A_{1}+\cdots +F_{M}A_{M}$ with each $F_{i}\in C^{m}\left( \mathbb{R}^{n}\right) $. In this paper we exhibit an algorithm to compute generators for $\left[ A_{1},\cdots ,A_{M};C^{m}\right] $.


title: Exploration of High-Dimensional Grids by Finite State Machines

abstract: We consider the problem of finding a treasure at an unknown point of an $n$-dimensional infinite grid, $n\geq 3$, by initially collocated finite state agents (scouts/robots). Recently, the problem has been well characterized for 2 dimensions for deterministic as well as randomized agents, both in synchronous and semi-synchronous models. It has been conjectured that $n+1$ randomized agents are necessary to solve this problem in the $n$-dimensional grid. In this paper we disprove the conjecture in a strong sense: we show that three randomized synchronous agents suffice to explore an $n$-dimensional grid for any $n$. Our algorithm is optimal in terms of the number of the agents. Our key insight is that a constant number of finite state machine agents can, by their positions and movements, implement a stack, which can store the path being explored. We also show how to implement our algorithm using: four randomized semi-synchronous agents; four deterministic synchronous agents; or five deterministic semi-synchronous agents. We give a different algorithm that uses $4$ deterministic semi-synchronous agents for the $3$-dimensional grid. This is provably optimal, and surprisingly, matches the result for $2$ dimensions. For $n\geq 4$, the time complexity of the solutions mentioned above is exponential in distance $D$ of the treasure from the starting point of the agents. We show that in the deterministic case, one additional agent brings the time down to a polynomial. Finally, we focus on algorithms that never venture much beyond the distance $D$. We describe an algorithm that uses $O(\sqrt{n})$ semi-synchronous deterministic agents that never go beyond $2D$, as well as show that any algorithm using $3$ synchronous deterministic agents in $3$ dimensions must travel beyond $\Omega(D^{3/2})$ from the origin.


title: Acceleration via Symplectic Discretization of High-Resolution Differential Equations

abstract: We study first-order optimization methods obtained by discretizing ordinary differential equations (ODEs) corresponding to Nesterov's accelerated gradient methods (NAGs) and Polyak's heavy-ball method. We consider three discretization schemes: an explicit Euler scheme, an implicit Euler scheme, and a symplectic scheme. We show that the optimization algorithm generated by applying the symplectic scheme to a high-resolution ODE proposed by Shi et al. [2018] achieves an accelerated rate for minimizing smooth strongly convex functions. On the other hand, the resulting algorithm either fails to achieve acceleration or is impractical when the scheme is implicit, the ODE is low-resolution, or the scheme is explicit.


title: On intriguing sets of the Penttila-Williford association scheme

abstract: We investigate intriguing sets of an association scheme introduced by Penttila and Williford (2011) that was the basis for their construction of primitive cometric association schemes that are not $P$-polynomial nor the dual of a $P$-polynomial scheme. In particular, we give examples and characterisation results for the four types of intriguing sets that arise in this scheme.


title: Full Downlink Channel Reconstruction using Incomplete Uplink Channel Measurements in Massive MIMO networks

abstract: While more and more antennas are integrated into single mobile user equipment to increase communication quality and throughput, the number of antennas used for transmission is commonly restricted due to the concerns on hardware complexity and energy consumption, making it impossible to achieve the maximum channel capacity. This paper investigates the problem of reconstructing the full downlink channel from incomplete uplink channel measurements in Massive MIMO systems. We present ARDI, a scheme that builds a bridge between the radio channel and physical signal propagation environment to link spatial information about the non-transmitting antennas with their radio channels. By inferring locations and orientations of the non-transmitting antennas from an incomplete set of uplink channels, ARDI can reconstruct the downlink channels for non-transmitting antennas. We derive a closed-form solution to reconstruct antenna orientation in both single-path and multi-path propagation environments. The performance of ARDI is evaluated using simulations with realistic human movement. The results demonstrate that ARDI is capable of accurately reconstructing full downlink channels when the signal-to-noise ratio is higher than 15dB, thereby expanding the channel capacity of Massive MIMO networks.


title: Graph sums in the Remodeling Conjecture

abstract: The BKMP Remodeling Conjecture \cite{Ma,BKMP09,BKMP10} predicts all genus open-closed Gromov-Witten invariants for a toric Calabi-Yau $3$-orbifold by Eynard-Orantin's topological recursion \cite{EO07} on its mirror curve. The proof of the Remodeling Conjecture by the authors \cite{FLZ1,FLZ3} relies on comparing two Feynman-type graph sums in both A and B-models. In this paper, we will survey these graph sum formulae and discuss their roles in the proof of the conjecture.


title: Reliable quantum circuits have defects

abstract: State of the art quantum computing architectures are founded on the decision to use scalable but faulty quantum hardware in conjunction with an efficient error correcting code capable of tolerating high error rates. The promised effect of this decision is that the first large-scale practical quantum computer is within reach. Coming to grips with the strategy and the challenges of preparing reliable executions of an arbitrary quantum computation is not difficult. Moreover, the article explains why defects are good.


title: A Supersymmetric Enhancement of ${\cal N}=1$ Holographic Minimal Model

abstract: By studying the ${\cal N}=1$ holographic minimal model at the "critical" level, we obtain the lowest ${\cal N}=2$ higher spin multiplet of spins $(\frac{3}{2}, 2, 2, \frac{5}{2})$ in terms of two adjoint fermion types for generic $N$. We subsequently determine operator product expansions between the lowest and second lowest (${\cal N}=2$) higher spin multiplet of spins $(3, \frac{7}{2}, \frac{7}{2}, 4)$, and the corresponding Vasiliev's oscillator formalism with matrix generalization on $AdS_3$ higher spin theory in the extension of $OSp(2|2)$ superconformal algebra. Under the large $N$ limit (equivalent to large central charge) in the extension of ${\cal N}=2$ superconformal algebra in two dimensions, operator product expansions provide asymptotic symmetry algebra in $AdS_3$ higher spin theory.