title: Comparison of Travel-Time and Amplitude Measurements for Deep-Focusing Time--Distance Helioseismology

abstract: The purpose of deep-focusing time--distance helioseismology is to construct seismic measurements that have a high sensitivity to the physical conditions at a desired target point in the solar interior. With this technique, pairs of points on the solar surface are chosen such that acoustic ray paths intersect at this target (focus) point. Considering acoustic waves in a homogeneous medium, we compare travel-time and amplitude measurements extracted from the deep-focusing cross-covariance functions. Using a single-scattering approximation, we find that the spatial sensitivity of deep-focusing travel times to sound-speed perturbations is zero at the target location and maximum in a surrounding shell. This is unlike the deep-focusing amplitude measurements, which have maximum sensitivity at the target point. We compare the signal-to-noise ratio for travel-time and amplitude measurements for different types of sound-speed perturbations, under the assumption that noise is solely due to the random excitation of the waves. We find that, for highly localized perturbations in sound speed, the signal-to-noise ratio is higher for amplitude measurements than for travel-time measurements. We conclude that amplitude measurements are a useful complement to travel-time measurements in time--distance helioseismology.


title: Derivation languages, descriptional complexity measures and decision problems of a class of flat splicing systems

abstract: In this paper, we associate the idea of derivation languages with flat splicing systems and compare the families of derivation languages (Szilard and control languages) of these systems with the family of languages in Chomsky hierarchy. We show that the family of Szilard languages of labeled flat finite splicing systems of type $( m, n)$ (i.e., $SZLS_{n, FIN}^{m}$ ) and $REG$, $CF$ and $CS$ are incomparable. Also, it is decidable whether or not $SZ_{n, FIN}^{m}(\mathscr{LS}) \subseteq R$ and $R \subseteq SZ_{n, FIN}^{m}(\mathscr{LS})$ for any regular language $R$ and labeled flat finite splicing system $\mathscr{LS}$. Also, any non-empty regular, non-empty context-free and recursively enumerable language can be obtained as homomorphic image of Szilard language of the labeled flat finite splicing systems of type $(1, 2), (2, 2)$ and $(4, 2)$ respectively. We also introduce the idea of control languages for labeled flat finite splicing systems and show that any non-empty regular and context-free language can be obtained as a control language of labeled flat finite splicing systems of type $(1,2)$ and $(2, 2)$ respectively. At the end, we show that any recursively enumerable language can be obtained as a control language of labeled flat finite splicing systems of type $(4,2)$ when $\lambda$-labeled rules are allowed.


title: Singular structure of the QED effective action

abstract: The equations for the QED effective action derived in \cite{fm} are considered using singular perturbation theory. The effective action is divided into regular and singular (in coupling constant) parts. It is shown that expression for the regular part coincides with usual Feynman perturbation series over coupling constant, while the remainder has essential singularity at the vanishing coupling constant: $e\rightarrow 0$. This means that in the frame of quantum field theory it is impossible "to switch off" electromagnetic interaction in general and pass on to "free electron".


title: Quantum-induced trans-Planckian energy near horizon

abstract: We study the loop effects on the geometry and boundary conditions of several black hole spacetimes one of which is time-dependent and analyze the energy measured by an infalling observer near their horizons. The finding in the previous works that the loop effects can be drastic is reinforced: they play an important role in the boundary conditions and non-perturbative geometry deformation. One of the channels through which the quantum gravitational effects enter is generation of the cosmological constant. The cosmological constant feeds the time-dependence of a solution. We obtain a trans-Planckian energy in the time-dependent case. The importance of time-dependence for the trans-Planckian energy and black hole information is discussed.


title: A topological origin of quantum symmetric pairs

abstract: It is well known that braided monoidal categories are the categorical algebras of the little two-dimensional disks operad. We introduce involutive little disks operads, which are Z/2Z-orbifold versions of the little disks operads. We classify their categorical algebras and describe these explicitly in terms of a finite list of functors, natural isomorphisms and coherence equations. In dimension two, the categorical algebras are braided monoidal categories with an anti-involution together with a pointed module category carrying a universal solution to the (twisted) reflection equation. Main examples are obtained from the categories of representations of a ribbon Hopf algebra with an involution and a quasi-triangular coideal subalgebra, such as a quantum group and a quantum symmetric pair coideal subalgebra.


title: A Holistic Approach for Soundness Verification of Decision-Aware Process Models (extended version)

abstract: The last decade has witnessed an increasing transformation in the design, engineering, and mining of processes, moving from a pure control-flow perspective to more integrated models where also data and decisions are explicitly considered. This calls for methods and techniques able to ascertain the correctness of such integrated models. Differently from previous approaches, which mainly focused on the local interplay between decisions and their corresponding outgoing branches, we introduce a holistic approach to verify the end-to-end soundness of a Petri net-based process model, enriched with case data and decisions. In particular, we present an effective, implemented technique that verifies soundness by translating the input net into a colored Petri net with bounded color domains, which can then be analyzed using conventional tools. We prove correctness and termination of this technique. In addition, we relate our contribution to recent results on decision-aware soundness, showing that our approach can be readily applied there.


title: Probabilistic Value-Deviation-Bounded Integer Codes for Approximate Communication

abstract: When computing systems can tolerate the effects of errors or erasures in their communicated data values, they can trade this tolerance for improved resource efficiency. One method for enabling this tradeoff in the I/O subsystems of computing systems, is to use channel codes that reduce the power needed to send bits on a channel in exchange for bounded errors and erasures on numeric program values---value-deviation-bounded (VDB) codes. Unlike rate distortion codes, which guarantee a bound on the expected value of channel distortion, the probabilistic VDB codes we present guarantee any desired tail distribution on integer distances of words transmitted over a channel. We extend prior work to present tighter upper bounds on the efficiency for VDB codes. We present a new probabilistic VDB encoder that lowers power dissipation in exchange for bounded channel integer distortions. The code we present takes the peculiar approach of changing the channel bit error rate across the ordinal bit positions in a word to reduce power dissipation. We implement the code table generator in a software tool built on the dReal SMT solver and we validate the generated codes using Monte Carlo simulation. We present one realization of hardware to implement the technique, requiring 2 mm$^2$ of circuit board area and dissipating less than 0.5 $\mu$W.


title: How Constraints Affect Content: The Case of Twitter's Switch from 140 to 280 Characters

abstract: It is often said that constraints affect creative production, both in terms of form and quality. Online social media platforms frequently impose constraints on the content that users can produce, limiting the range of possible contributions. Do these restrictions tend to push creators towards producing more or less successful content? How do creators adapt their contributions to fit the limits imposed by social media platforms? To answer these questions, we conduct an observational study of a recent event: on November 7, 2017, Twitter changed the maximum allowable length of a tweet from 140 to 280 characters, thereby significantly altering its signature constraint. In the first study of this switch, we compare tweets with nearly or exactly 140 characters before the change to tweets of the same length posted after the change. This setup enables us to characterize how users alter their tweets to fit the constraint and how this affects their tweets' success. We find that in response to a length constraint, users write more tersely, use more abbreviations and contracted forms, and use fewer definite articles. Also, although in general tweet success increases with length, we find initial evidence that tweets made to fit the 140-character constraint tend to be more successful than similar-length tweets written when the constraint was removed, suggesting that the length constraint improved tweet quality.


title: Slope of the beta function at the fixed point of SU(2) gauge theory with six or eight flavors

abstract: We consider measurement of the leading irrelevant scaling exponent $\gamma_g^\ast$, given by the slope of the beta function, at the fixed point of SU(2) gauge theory with six or eight flavors. We use the running coupling measured using the gradient flow method and perform the continuum extrapolation by interpolating the measured beta function. We study also the dependence of the results on different discretization of the flow. For the eight flavor theory we find $\gamma_g^\ast=0.19(8)_{-0.09}^{+0.21}$. Applying the same analysis also for the six flavor theory, we find $\gamma_g^\ast=0.648(97)_{-0.1}^{+0.16}$ consistently with the earlier analysis.


title: CMEs in the Heliosphere: I. A Statistical Analysis of the Observational Properties of CMEs Detected in the Heliosphere from 2007 to 2017 by STEREO/HI-1

abstract: We present a statistical analysis of coronal mass ejections (CMEs) imaged by the Heliospheric Imager (HI) instruments aboard NASAs twin-spacecraft STEREO mission between April 2007 and August 2017 for STEREO-A and between April 2007 and September 2014 for STEREO-B. The analysis exploits a catalogue that was generated within the FP7 HELCATS project. Here, we focus on the observational characteristics of CMEs imaged in the heliosphere by the inner (HI-1) cameras. More specifically, in this paper we present distributions of the basic observational parameters - namely occurrence frequency, central position angle (PA) and PA span - derived from nearly 2000 detections of CMEs in the heliosphere by HI-1 on STEREO-A or STEREO-B from the minimum between Solar Cycles 23 and 24 to the maximum of Cycle 24; STEREO-A analysis includes a further 158 CME detections from the descending phase of Cycle 24, by which time communication with STEREO-B had been lost. We compare heliospheric CME characteristics with properties of CMEs observed at coronal altitudes, and with sunspot number. As expected, heliospheric CME rates correlate with sunspot number, and are not inconsistent with coronal rates once instrumental factors/differences in cataloguing philosophy are considered. As well as being more abundant, heliospheric CMEs, like their coronal counterparts, tend to be wider during solar maximum. Our results confirm previous coronagraph analyses suggesting that CME launch sites don't simply migrate to higher latitudes with increasing solar activity. At solar minimum, CMEs tend to be launched from equatorial latitudes while, at maximum, CMEs appear to be launched over a much wider latitude range; this has implications for understanding the CME/solar source association. Our analysis provides some supporting evidence for the systematic dragging of CMEs to lower latitude as they propagate outwards.


title: Quantum Fast-Forwarding: Markov Chains and Graph Property Testing

abstract: We introduce a new tool for quantum algorithms called quantum fast-forwarding (QFF). The tool uses quantum walks as a means to quadratically fast-forward a reversible Markov chain. More specifically, with $P$ the Markov chain transition matrix and $D = \sqrt{P\circ P^T}$ its discriminant matrix ($D=P$ if $P$ is symmetric), we construct a quantum walk algorithm that for any quantum state $|v\rangle$ and integer $t$ returns a quantum state $\epsilon$-close to the state $D^t|v\rangle/\|D^t|v\rangle\|$. The algorithm uses $O\Big(\|D^t|v\rangle\|^{-1}\sqrt{t\log(\epsilon\|D^t|v\rangle\|)^{-1}}\Big)$ expected quantum walk steps and $O(\|D^t|v\rangle\|^{-1})$ expected reflections around $|v\rangle$. This shows that quantum walks can accelerate the transient dynamics of Markov chains, complementing the line of results that proves the acceleration of their limit behavior. We show that this tool leads to speedups on random walk algorithms in a very natural way. Specifically we consider random walk algorithms for testing the graph expansion and clusterability, and show that we can quadratically improve the dependency of the classical property testers on the random walk runtime. Moreover, our quantum algorithm exponentially improves the space complexity of the classical tester to logarithmic. As a subroutine of independent interest, we use QFF for determining whether a given pair of nodes lies in the same cluster or in separate clusters. This solves a robust version of $s$-$t$ connectivity, relevant in a learning context for classifying objects among a set of examples. The different algorithms crucially rely on the quantum speedup of the transient behavior of random walks.


title: Comparing Dependencies in Probability Theory and General Rough Sets: Part-A

abstract: The problem of comparing concepts of dependence in general rough sets with those in probability theory had been initiated by the present author in some of her recent papers. This problem relates to the identification of the limitations of translating between the methodologies and possibilities in the identification of concepts. Comparison of ideas of dependence in the approaches had been attempted from a set-valuation based minimalist perspective by the present author. The deviant probability framework has been the result of such an approach. Other Bayesian reasoning perspectives (involving numeric valuations) and frequentist approaches are also known. In this research, duality results are adapted to demonstrate the possibility of improved comparisons across implications between ontologically distinct concepts in a common logic-based framework by the present author. Both positive and negative results are proved that delimit possible comparisons in a clearer way by her.

categories: math.LO cs.AI cs.IT cs.LO math.IT math.PR


title: Structure and energetics of carbon, hexagonal boron nitride and carbon/hexagonal boron nitride single-layer and bilayer nanoscrolls

abstract: Single-layer and bilayer carbon and hexagonal boron nitride nanoscrolls as well as nanoscrolls made of bilayer graphene/hexagonal boron nitride heterostructure are considered. Structures of stable states of the corresponding nanoscrolls prepared by rolling single-layer and bilayer rectangular nanoribbons are obtained based on the analytical model and numerical calculations. The lengths of nanoribbons for which stable and energetically favorable nanoscrolls are possible are determined. Barriers to rolling of single-layer and bilayer nanoribbons into nanoscrolls and barriers to nanoscroll unrolling are calculated. Based on the calculated barriers nanoscroll lifetimes in the stable state are estimated. Elastic constants for bending of graphene and hexagonal boron nitride layers used in the model are found by density functional theory calculations.


title: Ideal glass states are not purely vibrational: Insight from randomly pinned glasses

abstract: We use computer simulations to probe the thermodynamic and dynamic properties of a glass-former that undergoes an ideal glass-transition because of the presence of randomly pinned particles. We find that even deep in the equilibrium glass state the system relaxes to some extent because of the presence of localized excitations that allow the system to access different inherent structures, giving thus rise to a non-trivial contribution to the entropy. By calculating with high accuracy the vibrational part of the entropy, we show that also in the equilibrium glass state thermodynamics and dynamics give a coherent picture and that glasses should not be seen as a disordered solid in which the particles undergo just vibrational motion but instead as a system with a highly nonlinear internal dynamics.


title: Does k Matter? k-NN Hubness Analysis for Kernel Additive Modelling Vocal Separation

abstract: Kernel Additive Modelling (KAM) is a framework for source separation aiming to explicitly model inherent properties of sound sources to help with their identification and separation. KAM separates a given source by applying robust statistics on the selection of time-frequency bins obtained through a source-specific kernel, typically the k-NN function. Even though the parameter k appears to be key for a successful separation, little discussion on its influence or optimisation can be found in the literature. Here we propose a novel method, based on graph theory statistics, to automatically optimise $k$ in a vocal separation task. We introduce the k-NN hubness as an indicator to find a tailored k at a low computational cost. Subsequently, we evaluate our method in comparison to the common approach to choose k. We further discuss the influence and importance of this parameter with illuminating results.


title: Classification of homogeneous affine tube domains with large automorphism groups in arbitrary dimensions

abstract: We classify tube domains in $\mathbb C^{n+1}$ ($n\ge 1$) with affinely homogeneous base of their boundary and a.) with positive definite Levi form and b.) with Lorentzian type Levi form and affine isotropy of dimension at least $\frac{(n-2)(n-3)}2$.


title: Quadrature Points via Heat Kernel Repulsion

abstract: We discuss the classical problem of how to pick $N$ weighted points on a $d-$dimensional manifold so as to obtain a reasonable quadrature rule $$ \frac{1}{|M|}\int_{M}{f(x) dx} \simeq \frac{1}{N} \sum_{n=1}^{N}{a_i f(x_i)}.$$ This problem, naturally, has a long history; the purpose of our paper is to propose selecting points and weights so as to minimize the energy functional $$ \sum_{i,j =1}^{N}{ a_i a_j \exp\left(-\frac{d(x_i,x_j)^2}{4t}\right) } \rightarrow \min, \quad \mbox{where}~t \sim N^{-2/d},$$ $d(x,y)$ is the geodesic distance and $d$ is the dimension of the manifold. This yields point sets that are theoretically guaranteed, via spectral theoretic properties of the Laplacian $-\Delta$, to have good properties. One nice aspect is that the energy functional is universal and independent of the underlying manifold; we show several numerical examples.


title: Existence of solitary waves solutions for internal waves in two-layers systems

abstract: The aim of this paper is to establish the existence of solitary wave solutions for two classes of two-layers systems modeling the propagation of internal waves. More precisely we will consider the Boussinesq-Full dispersion system and the Intermediate Long Wave (ILW) system together with its Benjamin-Ono (BO) limit.


title: Cross-cultural Usability Issues in E/M-Learning

abstract: This paper gives an overview of electronic learning (E-Learning) and mobile learning (M-Learning) adoption and diffusion trends, as well as their particular traits, characteristics and issues, especially in terms of cross-cultural and universal usability. E-Learning and M-Learning models using web services and cloud computing, as well as associated security concerns are all addressed. The benefits and enhancements that accrue from using mobile and other internet devices for the purposes of learning in academia are discussed. The differences between traditional classroom-based learning, distance learning, E-Learning and M-Learning models are compared and some conclusions are drawn.


title: An Efficient I/O Architecture for RAM-based Content-Addressable Memory on FPGA

abstract: Despite the impressive search rate of one key per clock cycle, the update stage of a random-access-memory-based content-addressable-memory (RAM-based CAM) always suffers high latency. Two primary causes of such latency include: (1) the compulsory erasing stage along with the writing stage and (2) the major difference in data width between the RAM-based CAM (e.g., 8-bit width) and the modern systems (e.g., 256-bit width). This brief, therefore, aims for an efficient input/output (I/O) architecture of RAM-based binary CAM (RCAM) for low-latency update. To achieve this goal, three techniques, namely centralized erase RAM, bit-sliced, and hierarchical-partitioning, are proposed to eliminate the latency of erasing stage, as well as to allow RCAM to exploit the bandwidth of modern systems effectively. Several RCAMs, whose data width ranges from 8 bits to 64 bits, were integrated into a 256-bit system for the evaluation. The experimental results in an Intel Arria V 5ASTFD5 FPGA prove that at 100 MHz, the proposed designs achieve at least 9.6 times higher I/O efficiency as compared to the traditional RCAM.


title: Massive Stars as Major Factories of Galactic Cosmic Rays

abstract: The identification of major contributors to the locally observed fluxes of Cosmic Rays (CRs) is a prime objective towards the resolution of the long-standing enigma of CRs. We report on a compelling similarity of the energy and radial distributions of multi-TeV CRs extracted from observations of very high energy (VHE) $\gamma$-rays towards the Galactic Center (GC) and two prominent clusters of young massive stars, Cyg~OB2 and Westerlund~1. This resemblance we interpret as a hint that CRs responsible for the diffuse VHE $\gamma$-ray emission from the GC are accelerated by the ultracompact stellar clusters located in the heart of GC. The derived $1/r$ decrement of the CR density with the distance from a star cluster is a distinct signature of continuous, over a few million years, CR injection into the interstellar medium. The lack of brightening of the $\gamma$-ray images toward the stellar clusters excludes the leptonic origin of $\gamma$-radiation. The hard, $\propto E^{-2.3}$ type power-law energy spectra of parent protons continues up to $\sim$ 1 PeV. The efficiency of conversion of kinetic energy of stellar winds to CRs can be as high as 10 percent implying that the young massive stars may operate as proton PeVatrons with a dominant contribution to the flux of highest energy galactic CRs.


title: Memory equations as reduced Markov processes

abstract: A large class of linear memory differential equations in one dimension, where the evolution depends on the whole history, can be equivalently described as a projection of a Markov process living in a higher dimensional space. Starting with such a memory equation, we propose an explicit construction of the corresponding Markov process. From a physical point of view the Markov process can be understood as a change of the type of some quasiparticles along one-way loops. Typically, the arising Markov process does not have the detailed balance property. The method leads to a more realistic modeling of memory equations. Moreover, it carries over the large number of investigation tools for Markov processes to memory equations, like the calculation of the equilibrium state, the asymptotic behavior and so on. The method can be used for an approximative solution of some degenerate memory equations like delay differential equations.


title: Corruption-free scheme of entering into contract: mathematical model

abstract: The main purpose of this paper is to formalize the modelling process, analysis and mathematical definition of corruption when entering into a contract between principal agent and producers. The formulation of the problem and the definition of concepts for the general case are considered. For definiteness, all calculations and formulas are given for the case of three producers, one principal agent and one intermediary. Economic analysis of corruption allowed building a mathematical model of interaction between agents. Financial resources distribution problem in a contract with a corrupted intermediary is considered.Then proposed conditions for corruption emergence and its possible consequences. Optimal non-corruption schemes of financial resources distribution in a contract are formed, when principal agent's choice is limited first only by asymmetrical information and then also by external influences.Numerical examples suggesting optimal corruption-free agents' behaviour are presented.


title: Individualized Dynamic Prediction of Survival under Time-Varying Treatment Strategies

abstract: Often in follow-up studies intermediate events occur in some patients, such as reinterventions or adverse events. These intermediate events directly affect the shapes of their longitudinal profiles. Our work is motivated by two studies in which such intermediate events have been recorded during follow-up. The first study concerns Congenital Heart Diseased patients who were followed-up echocardiographically, with several patients undergoing reintervention. The second study concerns patients who participated in the SPRINT study and experienced adverse events during follow-up. We are interested in the change of the longitudinal profiles after the occurrence of the intermediate event and in utilizing this information to improve the accuracy of the dynamic prediction for their risk. To achieve this, we propose a flexible joint modeling framework for the longitudinal and survival data that includes the intermediate event as a time-varying binary covariate in both the longitudinal and survival submodels. We consider a set of joint models that postulate different effects of the intermediate event in the longitudinal profile and the risk of the clinical endpoint, with different formulations for their association while allowing its parametrization to change after the occurrence of the intermediate event. Based on these models we derive dynamic predictions of conditional survival probabilities which are adaptive to different scenarios with respect to the occurrence of the intermediate event. We evaluate the accuracy of these predictions with a simulation study using the time-dependent area under the receiver operating characteristic curve and the expected prediction error adjusted to our setting. The results suggest that accounting for the changes in the longitudinal profiles and the instantaneous risk for the clinical endpoint is important, and improves the accuracy of the dynamic predictions.


title: Free-space remote sensing of rotation at photon-counting level

abstract: The rotational Doppler effect associated with light's orbital angular momentum (OAM) has been found as a powerful tool to detect rotating bodies. However, this method was only demonstrated experimentally on the laboratory scale under well controlled conditions so far. And its real potential lies at the practical applications in the field of remote sensing. We have established a 120-meter long free-space link between the rooftops of two buildings and show that both the rotation speed and the rotational symmetry of objects can be identified from the detected rotational Doppler frequency shift signal at photon count level. Effects of possible slight misalignments and atmospheric turbulences are quantitatively analyzed in terms of mode power spreading to the adjacent modes as well as the transfer of rotational frequency shifts. Moreover, our results demonstrate that with the preknowledge of the object's rotational symmetry one may always deduce the rotation speed no matter how strong the coupling to neighboring modes is. Without any information of the rotating object, the deduction of the object's symmetry and rotational speed may still be obtained as long as the mode spreading efficiency does not exceed 50 %. Our work supports the feasibility of a practical sensor to remotely detect both the speed and symmetry of rotating bodies.


title: Appearances can be deceiving: clear signs of accretion in the seemingly ordinary Sextans dSph

abstract: We report the discovery of clear observational signs of past accretion/merger events in one of the Milky Way satellite galaxies, the Sextans dwarf spheroidal (dSph). These were uncovered in the spatial distribution, internal kinematics and metallicity properties of Sextans stars using literature CTIO/DECam photometric and Magellan/MMFS spectroscopic catalogues. We find the spatial distribution of stars to vary as a function of the colour/metallicity, being rather regular and round for the blue (metal-poor) red giant branch and main-sequence turn-off stars but much more elliptical and irregularly shaped for the red (metal-rich) ones, with a distinct "shell-like" overdensity in the northeast side. We also detect kinematic anomalies, in the form of a "ring-like" feature with a considerably larger systemic line-of-sight velocity and lower metallicity than the rest of stars; even the photometrically selected component with a regular looking spatial distribution displays complex kinematics. With a stellar mass of just $\sim5\times10^{5} M_{\odot}$, Sextans becomes the smallest galaxy presenting clear observational signs of accretion to date.


title: Dissipative Quantum Dynamics and Optimal Control using Iterative Time Ordering: An Application to Superconducting Qubits

abstract: We combine a quantum dynamical propagator that explicitly accounts for quantum mechanical time ordering with optimal control theory. After analyzing its performance with a simple model, we apply it to a superconducting circuit under so-called Pythagorean control. Breakdown of the rotating-wave approximation is the main source of the very strong time-dependence in this example. While the propagator that accounts for the time ordering in an iterative fashion proves its numerical efficiency for the dynamics of the superconducting circuit, its performance when combined with optimal control turns out to be rather sensitive to the strength of the time-dependence. We discuss the kind of quantum gate operations that the superconducting circuit can implement including their performance bounds in terms of fidelity and speed.


title: Automatic symbolic computation for discontinuous Galerkin finite element methods

abstract: The implementation of discontinuous Galerkin finite element methods (DGFEMs) represents a very challenging computational task, particularly for systems of coupled nonlinear PDEs, including multiphysics problems, whose parameters may consist of power series or functionals of the solution variables. Thereby, the exploitation of symbolic algebra to express a given DGFEM approximation of a PDE problem within a high level language, whose syntax closely resembles the mathematical definition, is an invaluable tool. Indeed, this then facilitates the automatic assembly of the resulting system of (nonlinear) equations, as well as the computation of Fr\'echet derivative(s) of the DGFEM scheme, needed, for example, within a Newton-type solver. However, even exploiting symbolic algebra, the discretisation of coupled systems of PDEs can still be extremely verbose and hard to debug. Thereby, in this article we develop a further layer of abstraction by designing a class structure for the automatic computation of DGFEM formulations. This work has been implemented within the FEniCS package, based on exploiting the Unified Form Language. Numerical examples are presented which highlight the simplicity of implementation of DGFEMs for the numerical approximation of a range of PDE problems.


title: Adaptive Three Operator Splitting

abstract: We propose and analyze an adaptive step-size variant of the Davis-Yin three operator splitting. This method can solve optimization problems composed by a sum of a smooth term for which we have access to its gradient and an arbitrary number of potentially non-smooth terms for which we have access to their proximal operator. The proposed method sets the step-size based on local information of the objective --hence allowing for larger step-sizes--, only requires two extra function evaluations per iteration and does not depend on any step-size hyperparameter besides an initial estimate. We provide an iteration complexity analysis that matches the best known results for the non-adaptive variant: sublinear convergence for general convex functions and linear convergence under strong convexity of the smooth term and smoothness of one of the proximal terms. Finally, an empirical comparison with related methods on 6 different problems illustrates the computational advantage of the proposed method.


title: Charge-independent mass spectrometry of single virus capsids above 100MDa with nanomechanical resonators

abstract: Most technologies, including conventional mass spectrometry, struggle to measure the mass of particles in the MDa to GDa range. Although this mass range appears optimal for nanomechanical resonators, early nanomechanical-MS systems suffered from prohibitive sample loss, extended analysis time or inadequate resolution. Here, we report on a novel system architecture combining nebulization of the analytes from solution, their efficient transfer and focusing without relying on electromagnetic fields, and the mass measurements of individual particles using nanomechanical resonator arrays. This system determined the mass distribution of ~30 MDa polystyrene nanoparticles with a detection efficiency 6 orders of magnitude higher than previous nanomechanical-MS systems with ion guides, and successfully performed the highest molecular mass measurement to date with less than 1 picomole of bacteriophage T5 105 MDa viral capsids.


title: Compositional Obverter Communication Learning From Raw Visual Input

abstract: One of the distinguishing aspects of human language is its compositionality, which allows us to describe complex environments with limited vocabulary. Previously, it has been shown that neural network agents can learn to communicate in a highly structured, possibly compositional language based on disentangled input (e.g. hand- engineered features). Humans, however, do not learn to communicate based on well-summarized features. In this work, we train neural agents to simultaneously develop visual perception from raw image pixels, and learn to communicate with a sequence of discrete symbols. The agents play an image description game where the image contains factors such as colors and shapes. We train the agents using the obverter technique where an agent introspects to generate messages that maximize its own understanding. Through qualitative analysis, visualization and a zero-shot test, we show that the agents can develop, out of raw image pixels, a language with compositional properties, given a proper pressure from the environment.


title: A direct imaging method for inverse elastic scattering by unbounded rigid rough surfaces

abstract: This paper is concerned with the inverse time-harmonic elastic scattering problem of recovering unbounded rough surfaces in two dimensions. We assume that elastic plane waves with different directions are incident onto a rigid rough surface in a half plane. The elastic scattered field is measured on a horizontal straight line segment within a finite distance above the rough surface. A direct imaging algorithm is proposed to recover the unbounded rough surface from the scattered near-field data, which involves only inner products between the data. Numerical experiments are presented to show that the inversion scheme is not only efficient but also accurate and robust with respect to noise.


title: Telepresence System based on Simulated Holographic Display

abstract: We present a telepresence system based on a custom-made simulated holographic display that produces a full 3D model of the remote participants using commodity depth sensors. Our display is composed of a video projector and a quadrangular pyramid made of acrylic, that allows the user to experience an omnidirectional visualization of a remote person without the need for head-mounted displays. To obtain a precise representation of the participants, we fuse together multiple views extracted using a deep background subtraction method. Our system represents an attempt to democratize high-fidelity 3D telepresence using off-the-shelf components.


title: Defect physics in complex energy materials

abstract: Understanding the physics of structurally and chemically complex transition-metal oxide and polyanionic materials such as those used for battery electrodes is challenging, even at the level of pristine compounds. Yet these materials are also prone to and their properties and performance are strongly affected or even determined by crystallographic point defects. In this review, we highlight recent advances in the study of defects and doping in such materials using first-principles calculations. The emphasis is on describing a theoretical and computational approach that has the ability to predict defect landscapes under various synthesis conditions, provide guidelines for defect characterization and defect-controlled synthesis, uncover the mechanisms for electronic and ionic conduction and electrochemical extraction and (re-)insertion, and provide an understanding of the effects of doping. Though applied to battery materials here, the approach is general and applicable to any materials in which the defect physics plays a role or drives the properties of interest. Thus, this work is intended as an in-depth review of defect physics in particular classes of materials, but also as a methodological template for the understanding and design of complex functional materials.


title: $\eta_c$ photoproduction at LHC energies

abstract: In this contribution, we study the inclusive and diffractive $\eta_{c}$ photoproduction in $pp$ and $pPb$ ultra-peripheral collisions (UPC's) at the LHC Run 2 energies. The quarkonium production is studied using nonrelativistic quantum chromodynamics (NRQCD) formalism. We present predictions for rapidity and transverse momentum distributions for the $\eta_c$ photoproduction and present our estimate for the total cross sections at the Run 2 energies.


title: A brief history of simple invariant solutions in turbulence

abstract: When studying fluid mechanics in terms of instability, bifurcation and invariant solutions one quickly finds out how little can be done by pen and paper. For flows on sufficiently simple domains and under sufficiently simple boundary conditions, one may be able to predict the parameter values at which the base flow becomes unstable and the basic properties of the secondary flow. On more complicated domains and under more realistic boundary conditions, such questions can usually only be addressed by numerical means. Moreover, for a wide class of elementary parallel shear flows the base flow remains stable in the presence of sustained turbulent motion. In such flows, secondary solutions often appear with finite amplitude and completely unconnected to the base flow. Only using techniques from computational dynamical systems can such behaviour be explained. Many of these techniques, such as for the detection and classification of bifurcations and for the continuation in parameters of equilibria and time-periodic solutions, were developed in the late 1970s for dynamical systems with few degrees of freedom. The application to fluid dynamics or, to be more precise, to spatially discretized Navier-Stokes flow, is far from straightforward. In this historical review chapter, we follow the development of this field of research from the valiant naivety of the early 1980s to the open challenges of today.


title: Exact Results on Itinerant Ferromagnetism and the 15-puzzle Problem

abstract: We apply a result from graph theory to prove exact results about itinerant ferromagnetism. Nagaoka's theorem of ferromagnetism is extended to all non-separable graphs except single polygons with more than four vertices by applying the solution to the generalized 15-puzzle problem, which studies whether the hole's motion can connect all possible tile configurations. This proves that the ground state of a $U\to\infty$ Hubbard model with one hole away from the half filling on a 2D honeycomb lattice or a 3D diamond lattice is fully spin-polarized. Furthermore, the condition of connectivity for $N$-component fermions is presented, and Nagaoka's theorem is also generalized to $SU(N)$-symmetric fermion systems on non-separable graphs.


title: Statistical inference for autoregressive models under heteroscedasticity of unknown form

abstract: This paper provides an entire inference procedure for the autoregressive model under (conditional) heteroscedasticity of unknown form with a finite variance. We first establish the asymptotic normality of the weighted least absolute deviations estimator (LADE) for the model. Second, we develop the random weighting (RW) method to estimate its asymptotic covariance matrix, leading to the implementation of the Wald test. Third, we construct a portmanteau test for model checking, and use the RW method to obtain its critical values. As a special weighted LADE, the feasible adaptive LADE (ALADE) is proposed and proved to have the same efficiency as its infeasible counterpart. The importance of our entire methodology based on the feasible ALADE is illustrated by simulation results and the real data analysis on three U.S. economic data sets.


title: Spectral theory of rank one perturbations of normal compact operators

abstract: We construct a functional model for rank one perturbations of compact normal operators acting in a certain Hilbert spaces of entire functions generalizing de Branges spaces. Using this model we study completeness and spectral synthesis problems for such perturbations. Previously, we developed the spectral theory of rank one perturbations in the selfadjoint case. In the present paper we extend and significantly simplify most of known results in the area. We also prove an Ordering Theorem for invariant subspaces with common spectral part. This result is essentially new even for rank one perturbations of compact selfadjoint operators.


title: From Bitcoin to Bitcoin Cash: a network analysis

abstract: Bitcoins and Blockchain technologies are attracting the attention of different scientific communities. In addition, their widespread industrial applications and the continuous introduction of cryptocurrencies are also stimulating the attention of the public opinion. The underlying structure of these technologies constitutes one of their core concepts. In particular, they are based on peer-to-peer networks. Accordingly, all nodes lie at the same level, so that there is no place for privileged actors as, for instance, banking institutions in classical financial networks. In this work, we perform a preliminary investigation on two kinds of network, i.e. the Bitcoin network and the Bitcoin Cash network. Notably, we analyze their global structure and we try to evaluate if they are provided with a small-world behavior. Results suggest that the principle known as 'fittest-gets-richer', combined with a continuous increasing of connections, might constitute the mechanism leading these networks to reach their current structure. Moreover, further observations open the way to new investigations into this direction.


title: Bound on a diffuse flux of ultra-high energy neutrinos in the ADD model

abstract: The search for ultra-high energy downward-going and Earth-skimming cosmic neutrinos by the Surface Detector array of the Pierre Auger Observatory (PAO) is analyzed in the ADD model with n extra flat spatial dimensions. We assumed that the diffuse neutrino flux dN_nu/dE_nu$ is equal to k E_nu^(-20) in the energy range 10^(17) eV - 2.5 10^(19) eV. Taking into account that no neutrino events where found by the PAO, we have estimated an upper bound on a value of k. It is shown that this bound can be stronger than the upper bound on k recently obtained by the Pierre Auger Collaboration, depending on n and (n+4)-dimensional gravity scale M_D.


title: Pullbacks of Saito--Kurokawa lifts and a central value formula

abstract: We prove an explicit central value formula for a family of complex $L$-series of degree $6$ for $\mathrm{GL}_2 \times \mathrm{GL}_3$ which arise as factors of certain Garret--Rankin triple product $L$-series associated with modular forms. Our result generalizes a previous formula of Ichino involving Saito--Kurokawa lifts, and as an application, we prove Deligne's conjecture stating the algebraicity of the central values of the considered $L$-series up to the relevant periods.


title: Non-trivial Kazhdan-Lusztig coefficients of affine Weyl groups

abstract: In this paper we show that the leading coefficients $\mu(y,w)$ of some Kazhdan-Lusztig polynomials $P_{y,w}$ with $y,w$ in the affine Weyl group of type $\widetilde{B_n}$ can be $n$; in the cases of types $\widetilde{C_n}$ and $\widetilde{D_n}$ they can be $n+1.$ Consequently, for the corresponding simply connected simple algebraic groups, the dimensions of the first extension groups between certain irreducible modules will go to infinity when $n$ increases.


title: Unambiguous Evidence of Coronal Implosions During Solar Eruptions and Flares

abstract: In the implosion conjecture, coronal loops contract as the result of magnetic energy release in solar eruptions and flares. However, after almost two decades, observations of this phenomenon are still rare, and most of previous reports are plagued by projection effects so that loop contraction could be either true implosion or just a change in loop inclination. In this paper, to demonstrate the reality of loop contractions in the global coronal dynamics, we present four events with the continuously contracting loops in an almost edge-on geometry from the perspective of SDO/AIA, which are free from the ambiguity caused by the projection effects, also supplemented by contemporary observations from STEREO for examination. In the wider context of observations, simulations and theories, we argue that the implosion conjecture is valid in interpreting these events. Furthermore, distinct properties of the events allow us to identify two physical categories of implosion. One type demonstrates a rapid contraction at the beginning of the flare impulsive phase, as magnetic free energy is removed rapidly by a filament eruption. The other type, which has no visible eruption, shows a continuous loop shrinkage during the entire flare impulsive phase which we suggest manifests the ongoing conversion of magnetic free energy in a coronal volume. Corresponding scenarios are described, which can provide reasonable explanations for the observations. We also point out that implosions may be suppressed in cases when a heavily-mass-loaded filament is involved, possibly serving as an alternative account for their observational rarity.


title: On the regularity of the minimizer of the electrostatic Born-Infeld energy

abstract: We consider the electrostatic Born-Infeld energy \begin{equation*} \int_{\mathbb{R}^N}\left(1-{\sqrt{1-|\nabla u|^2}}\right)\, dx -\int_{\mathbb{R}^N}\rho u\, dx, \end{equation*} where $\rho \in L^{m}(\mathbb{R}^N)$ is an assigned charge density, $m \in [1,2_*]$, $2_*:=\frac{2N}{N+2}$, $N\geq 3$. We prove that if $\rho \in L^q(\mathbb{R}^N) $ for $q>2N$, the unique minimizer $u_\rho$ is of class $W_{loc}^{2,2}(\mathbb{R}^N)$. Moreover, if the norm of $\rho$ is sufficiently small, the minimizer is a weak solution of the associated PDE \begin{equation}\label{eq:BI-abs} \tag{$\mathcal{BI}$} -\operatorname{div}\left(\displaystyle\frac{\nabla u}{\sqrt{1-|\nabla u|^2}}\right)= \rho \quad\hbox{in }\mathbb{R}^N, \end{equation} with the boundary condition $\lim_{|x|\to\infty}u(x)=0$ and it is of class $C^{1,\alpha}_{loc}(\mathbb{R}^N)$, for some $\alpha \in (0,1)$.


title: All-dielectric metasurface cylindrical lens

abstract: Conventional optical components have been proposed to realize high-quality line focusing with uniform intensity distribution such as cylindrical lenses, segmented wedge-arrays, or a combination of prisms and spherical mirrors. However, numerous factors such as the manufacturing tolerances of conventional lenses or the need for precise alignment of the lenses cause wavefront aberrations that impact the performance of optical systems. These aforementioned limitations of conventional optical components affect the uniformity of the intensity distribution. Here, we numerically and experimentally demonstrate an integrable planar all-dielectric cylindrical lens for uniform line focusing. The lens has a NA of 0.247 and a measured uniformity of 0.92% at 800 nm.


title: Next-to-minimal dark matter at the LHC

abstract: We examine the collider signatures of a WIMP dark matter scenario comprising a singlet fermion and an SU(2) n-plet fermion, with a focus on n=3 and n=5. The singlet and n-plet masses are of the order of the electroweak scale. The n-plet contains new charged particles which will be copiously pair-produced at the LHC. Small mixing angles and near-degenerate masses, both of which feature naturally in these models, give rise to long-lived particles and their characteristic collider signatures. In particular, the n=5 model can be constrained by displaced lepton searches independently of the mixing angle, generically ruling out 5-plet masses below about 280 GeV. For small mixing angles, we show that there is a parameter range for which the model reproduces the observed thermal relic density but is severely constrained by disappearing track searches in both the n=3 and the n=5 cases. The n=3 model is further constrained by soft di-lepton searches irrespectively of whether any new particles are long-lived.


title: A universal description of III-V/Si epitaxial growth processes

abstract: Here, we experimentally and theoretically clarify III-V/Si crystal growth processes. Atomically-resolved microscopy shows that mono-domain 3D islands are observed at the early stages of AlSb, AlN and GaP epitaxy on Si, independently of misfit. It is also shown that complete III-V/Si wetting cannot be achieved in most III-V/Si systems. Surface/interface contributions to the free energy variations are found to be prominent over strain relief processes. We finally propose a general and unified description of III-V/Si growth processes, including the description of antiphase boundaries formation.


title: Fitting and Reconstruction of Thirteen Simple Coronal Mass Ejections

abstract: Coronal mass ejections (CMEs) are the main drivers of geomagnetic disturbances, but the effects of their interaction with Earth's magnetic field depend on their magnetic configuration and orientation. Fitting and reconstruction techniques have been developed to determine the important geometrical and physical CME properties. In many instances, there is disagreement between such different methods but also between fitting from in situ measurements and reconstruction based on remote imaging. Here, we compare three methods based on different assumptions for measurements of thirteen CMEs by the Wind spacecraft from 1997 to 2015. These CMEs are selected from the interplanetary coronal mass ejections catalog on https://wind.nasa.gov/ICMEindex.php due to their simplicity in terms of 1) small expansion speed throughout the CME and 2) little asymmetry in the magnetic field profile. This makes these thirteen events ideal candidates to compare codes that do not include expansion nor distortion. We find that, for these simple events, the codes are in relatively good agreement in terms of the CME axis orientation for six out of the 13 events. Using the Grad-Shafranov technique, we can determine the shape of the cross-section, which is assumed to be circular for the other two models, a force-free fitting and a circular-cylindrical non-force-free fitting. Five of the events are found to have a clear circular cross-section, even when this is not a pre-condition of the reconstruction. We make an initial attempt at evaluating the adequacy of the different assumptions for these simple CMEs. The conclusion of this work strongly suggests that attempts at reconciling in situ and remote-sensing views of CMEs must take in consideration the compatibility of the different models with specific CME structures to better reproduce flux ropes.


title: An inner warp in the DoAr 44 T Tauri transition disk

abstract: Optical/IR images of transition disks (TDs) have revealed deep intensity decrements in the rings of HAeBes HD142527 and HD100453, that can be interpreted as shadowing from sharply tilted inner disks, such that the outer disks are directly exposed to stellar light. Here we report similar dips in SPHERE+IRDIS differential polarized imaging (DPI) of TTauri DoAr44. With a fairly axially symmetric ring in the submm radio continuum, DoAr44 is likely also a warped system. We constrain the warp geometry by comparing radiative transfer predictions with the DPI data in H band (Q_\phi(H)) and with a re-processing of archival 336GHz ALMA observations. The observed DPI shadows have coincident radio counterparts, but the intensity drops are much deeper in Q_\phi(H) (~88%), compared to the shallow drops at 336GHz (~24%). Radiative transfer predictions with an inner disk tilt of ~30+-5deg approximately account for the observations. ALMA long-baseline observations should allow the observation of the warped gas kinematics inside the cavity of DoAr44.


title: Formation of the terrestrial planets in the solar system around 1 au via radial concentration of planetesimals

abstract: No planets exist inside the orbit of Mercury and the terrestrial planets of the solar system exhibit a localized configuration. According to thermal structure calculation of protoplanetary disks, a silicate condensation line (~ 1300 K) is located around 0.1 au from the Sun except for the early phase of disk evolution, and planetesimals could have formed inside the orbit of Mercury. A recent study of disk evolution that includes magnetically driven disk winds showed that the gas disk obtains a positive surface density slope inside ~ 1 au from the central star. In a region with positive midplane pressure gradient, planetesimals undergo outward radial drift. We investigate the radial drift of planetesimals and type I migration of planetary embryos in a disk that viscously evolves with magnetically driven disk winds. We show a case in which no planets remain in the close-in region. Radial drifts of planetesimals are simulated using a recent disk evolution model that includes effects of disk winds. The late stage of planet formation is also examined by performing N-body simulations of planetary embryos. We demonstrate that in the middle stage of disk evolution, planetesimals can undergo convergent radial drift in a magnetorotational instability (MRI)-inactive disk, in which the pressure maximum is created, and accumulate in a narrow ring-like region with an inner edge at ~ 0.7 au from the Sun. We also show that planetary embryos that may grow from the narrow planetesimal ring do not exhibit significant type I migration in the late stage of disk evolution. The origin of the localized configuration of the terrestrial planets of the solar system, in particular the deficit of close-in planets, can be explained by the convergent radial drift of planetesimals in disks with a positive pressure gradient in the close-in region.


title: Perfect Anomalous Refraction with Metagratings

abstract: We present a methodology for designing metagratings for perfect anomalous refraction, based on multilayered loaded wire arrays. In recent work, it has been shown that such structures can implement perfect anomalous deflection and beam splitting in \emph{reflect-mode}, using only a handful of subwavelength meta-atoms per (wavelength-scale) macro-period. Extending previous formulations to enable manipulation of \emph{transmitted} fields as well, we derive analytical relations between the scattered fields, currents induced on the wires, and the individual load impedances, and enforce conditions that guarantee elimination of spurious scattering while retaining a passive and lossless structure. Utilizing our recent results, we demonstrate how the multilayered metagratings can be realized using realistic printed-capacitor loads, whose geometry can be analytically resolved. Thus, this design scheme, which can be fully implemented in MATLAB, prescribes simple physical structures, achieving optimal anomalous refraction efficiency without requiring even a single full-wave simulation. This paves the path for harnessing this novel concept for applications requiring control on transmitted diffraction modes (e.g., lenses), taking advantage of an efficient and rigorous design scheme, and simplified structure.


title: Constant-pressure sound waves in non-Hermitian disordered media

abstract: When waves impinge on a disordered material they are back-scattered and form a highly complex interference pattern. Suppressing any such distortions in the free propagation of a wave is a challenging task with many applications in a number of different disciplines. In a recent theoretical proposal, it was pointed out that both perfect transmission through disorder as well as a complete suppression of any variation in a wave intensity can be achieved by adding a continuous gain-loss distribution to the disorder. Here we show that this abstract concept can be implemented in a realistic acoustic system. Our prototype consists of an acoustic waveguide containing several inclusions that scatter the incoming wave in a passive configuration and provide the gain or loss when being actively controlled. Our measurements on this non-Hermitian acoustic metamaterial demonstrate unambiguously the creation of a reflectionless scattering wave state that features a unique form of discrete constant-amplitude pressure waves. In addition to demonstrating that gain-loss additions can turn localised systems into transparent ones, we expect our proof-of-principle demonstration to trigger interesting new developments not only in sound engineering, but also in other related fields such as in non-Hermitian photonics.


title: Millimeter Wave Dual-Band Multi-Beam Waveguide Lens-Based Antenna

abstract: A multi-beam antenna with a dual band operation in the 28 GHz and 31 GHz millimeter wave band is presented. The antenna has a gain of around 15 dBi in each of the three ports. The spatial footprint of the antenna is 166 mm x 123 mm x 34 mm. A waveguide lens-based approach is used to attain this gain. Cylindrical to planar wavefront transformation by a phase extraction and compensation method drives the design of the antenna. The dual band operation of the antenna aids in transmitting and receiving at two independent frequencies. Three beams originating from a shared aperture are designed to target directions of -60{\deg}, 0{\deg} and 60{\deg}. These features make the antenna a potential candidate for 5G millimeter wave applications.


title: A high order semi-Lagrangian discontinuous Galerkin method for the two-dimensional incompressible Euler equations and the guiding center Vlasov model without operator splitting

abstract: In this paper, we generalize a high order semi-Lagrangian (SL) discontinuous Galerkin (DG) method for multi-dimensional linear transport equations without operator splitting developed in Cai et al. (J. Sci. Comput. 73: 514-542, 2017) to the 2D time dependent incompressible Euler equations in the vorticity-stream function formulation and the guiding center Vlasov model. We adopt a local DG method for Poisson's equation of these models. For tracing the characteristics, we adopt a high order characteristics tracing mechanism based on a prediction-correction technique. The SLDG with large time-stepping size might be subject to extreme distortion of upstream cells. To avoid this problem, we propose a novel adaptive time-stepping strategy by controlling the relative deviation of areas of upstream cells.


title: Integrable coupled Li$\acute{e}$nard-type systems with balanced loss and gain

abstract: A Hamiltonian formulation of generic many-particle systems with space-dependent balanced loss and gain coefficients is presented. It is shown that the balancing of loss and gain necessarily occurs in a pair-wise fashion. Further, using a suitable choice of co-ordinates, the Hamiltonian can always be reformulated as a many-particle system in the background of a pseudo-Euclidean metric and subjected to an analogous inhomogeneous magnetic field with a functional form that is identical with space-dependent loss/gain co-efficient.The resulting equations of motion from the Hamiltonian are a system of coupled Li$\acute{e}$nard-type differential equations. Partially integrable systems are obtained for two distinct cases, namely, systems with (i) translational symmetry or (ii) rotational invariance in a pseudo-Euclidean space. A total number of $m+1$ integrals of motion are constructed for a system of $2m$ particles, which are in involution, implying that two-particle systems are completely integrable. A few exact solutions for both the cases are presented for specific choices of the potential and space-dependent gain/loss co-efficients, which include periodic stable solutions. Quantization of the system is discussed with the construction of the integrals of motion for specific choices of the potential and gain-loss coefficients. A few quasi-exactly solvable models admitting bound states in appropriate Stoke wedges are presented.


title: Cross-Domain Image Matching with Deep Feature Maps

abstract: We investigate the problem of automatically determining what type of shoe left an impression found at a crime scene. This recognition problem is made difficult by the variability in types of crime scene evidence (ranging from traces of dust or oil on hard surfaces to impressions made in soil) and the lack of comprehensive databases of shoe outsole tread patterns. We find that mid-level features extracted by pre-trained convolutional neural nets are surprisingly effective descriptors for this specialized domains. However, the choice of similarity measure for matching exemplars to a query image is essential to good performance. For matching multi-channel deep features, we propose the use of multi-channel normalized cross-correlation and analyze its effectiveness. Our proposed metric significantly improves performance in matching crime scene shoeprints to laboratory test impressions. We also show its effectiveness in other cross-domain image retrieval problems: matching facade images to segmentation labels and aerial photos to map images. Finally, we introduce a discriminatively trained variant and fine-tune our system through our proposed metric, obtaining state-of-the-art performance.


title: An $\mathcal{N}=1$ 3d-3d Correspondence

abstract: M5-branes on an associative three-cycle $M_3$ in a $G_2$-holonomy manifold give rise to a 3d $\mathcal{N}=1$ supersymmetric gauge theory, $T_{\mathcal{N}=1} [M_3]$. We propose an $\mathcal{N}=1$ 3d-3d correspondence, based on two observables of these theories: the Witten index and the $S^3$-partition function. The Witten index of a 3d $\mathcal{N}=1$ theory $T_{\mathcal{N}=1} [M_3]$ is shown to be computed in terms of the partition function of a topological field theory, a super-BF-model coupled to a spinorial hypermultiplet (BFH), on $M_3$. The BFH-model localizes on solutions to a generalized set of 3d Seiberg-Witten equations on $M_3$. Evidence to support this correspondence is provided in the abelian case, as well as in terms of a direct derivation of the topological field theory by twisted dimensional reduction of the 6d $(2,0)$ theory. We also consider a correspondence for the $S^3$-partition function of the $T_{\mathcal{N}=1} [M_3]$ theories, by determining the dimensional reduction of the M5-brane theory on $S^3$. The resulting topological theory is Chern-Simons-Dirac theory, for a gauge field and a twisted harmonic spinor on $M_3$, whose equations of motion are the generalized 3d Seiberg-Witten equations. For generic $G_2$-manifolds the theory reduces to real Chern-Simons theory, in which case we conjecture that the $S^3$-partition function of $T_{\mathcal{N}=1}[M_3]$ is given by the Witten-Reshetikhin-Turaev invariant of $M_3$.


title: Hybrid sound modes in one-dimensional quantum liquids

abstract: We study sound in a single-channel one-dimensional quantum liquid. In contrast to classical fluids, instead of a single sound mode we find two modes of density oscillations. The speeds at which these two sound modes propagate are nearly equal, with the difference that scales linearly with the small temperature of the system. The two sound modes emerge as hybrids of the first and second sounds, and combine oscillations of both density and entropy of the liquid.


title: Minimal Support Vector Machine

abstract: Support Vector Machine (SVM) is an efficient classification approach, which finds a hyperplane to separate data from different classes. This hyperplane is determined by support vectors. In existing SVM formulations, the objective function uses L2 norm or L1 norm on slack variables. The number of support vectors is a measure of generalization errors. In this work, we propose a Minimal SVM, which uses L0.5 norm on slack variables. The result model further reduces the number of support vectors and increases the classification performance.


title: Large Deviations of Convex Hulls of Self-Avoiding Random Walks

abstract: A global picture of a random particle movement is given by the convex hull of the visited points. We obtained numerically the probability distributions of the volume and surface of the convex hulls of a selection of three types of self-avoiding random walks, namely the classical Self-Avoiding Walk, the Smart-Kinetic Self-Avoiding Walk, and the Loop-Erased Random Walk. To obtain a comprehensive description of the measured random quantities, we applied sophisticated large-deviation techniques, which allowed us to obtain the distributions over a large range of the support down to probabilities far smaller than $P = 10^{-100}$ . We give an approximate closed form of the so-called large-deviation rate function $\Phi$ which generalizes above the upper critical dimension to the previously studied case of the standard random walk. Further we show correlations between the two observables also in the limits of atypical large or small values.


title: Ultracold molecules for quantum simulation: rotational coherences in CaF and RbCs

abstract: We explore the uses of ultracold molecules as a platform for future experiments in the field of quantum simulation, focusing on two molecular species, $^{40}$Ca$^{19}$F and $^{87}$Rb$^{133}$Cs. We report the development of coherent quantum state control using microwave fields in both molecular species; this is a crucial ingredient for many quantum simulation applications. We demonstrate proof-of-principle Ramsey interferometry measurements with fringe spacings of $\sim 1~\rm kHz$ and investigate the dephasing time of a superposition of $N=0$ and $N=1$ rotational states when the molecules are confined. For both molecules, we show that a judicious choice of molecular hyperfine states minimises the impact of spatially varying transition-frequency shifts across the trap. For magnetically trapped $^{40}$Ca$^{19}$F we use a magnetically insensitive transition and observe a coherence time of 0.61(3) ms. For optically trapped $^{87}$Rb$^{133}$Cs we exploit an avoided crossing in the AC Stark shift and observe a maximum coherence time of 0.75(6) ms.


title: Model-independent bounds probing on the electromagnetic dipole moments of the $\tau$-lepton at the CLIC

abstract: We establish model independent bounds on the anomalous magnetic and electric dipole moments of the tau-lepton using the two-photon processes $\gamma\gamma \to \tau^+\tau^-$ and $\gamma\gamma \to \tau^+\tau^-\gamma$. We use ${\cal L}=10, 50, 100, 300, 500, 1000, 1500, 2000, 3000 \hspace{0.8mm}fb^{-1}$ of data collected with the future $e^+e^-$ linear collider such as the CLIC at $\sqrt{s}=380, 1500, 3000 \hspace{0.8mm}GeV$ and we consider systematic uncertainties of $\delta_{sys}=0, 3, 5\hspace{1mm}\%$. Precise bounds at $95\%$ C. L. on the anomalous dipole moments to the tau-lepton $-0.00015\leq \tilde{a}_\tau \leq 0.00017$ and $|\tilde{d}_\tau(ecm)|=9.040\times 10^{-19}$ are set from our study. Our results show that the processes under consideration are a very good prospect for probing the dipole moments of the tau-lepton at the future $e^+e^-$ linear collider at the $\gamma\gamma$ mode.


title: An abstract approach to optimal decay of functions and operator semigroups

abstract: We provide a new and significantly shorter optimality proof of recent quantified Tauberian theorems, both in the setting of vector-valued functions and of $C_0$-semigroups, and in fact our results are also more general than those currently available in the literature. Our approach relies on a novel application of the open mapping theorem.


title: Fabrication and in vitro characterization of three-dimensional organic/inorganic scaffolds by robocasting

abstract: A key issue for the fabrication of scaffolds for tissue engineering is the development of processing techniques flexible enough to produce materials with a wide spectrum of solubility (bioresorption rates) and mechanical properties matching those of calcified tissues. These techniques must also have the capability of generating adequate porosity to further serve as a framework for cell penetration, new bone formation, and subsequent remodeling. In this study, we show how hybrid organic/inorganic scaffolds with controlled microstructures can be built using robotic assisted deposition at room temperature. Polylactide or polycaprolactone scaffolds with pore sizes ranging between 200-500 {\mu}m and hydroxyapatite contents up to 70 wt % were fabricated. Compressive tests revealed an anisotropic behavior of the scaffolds, strongly dependent on their chemical composition. The inclusion of an inorganic component increased their stiffness but they were not brittle and could be easily machined even for ceramic contents up to 70 wt%. The mechanical properties of hybrid scaffolds did not degrade significantly after 20 days in simulated body fluid. However, the stiffness of pure polylactide scaffolds increased drastically due to polymer densification. Scaffolds containing bioactive glasses were also printed. After 20 days in simulated body fluid they developed an apatite layer on their surface.


title: $q$-deformed Fermion in Many-Particle Systems and Its Application to BCS Theory

abstract: In recent decades, there have been increasing interests in quantum statistics beyond the standard Fermi-Dirac and Bose-Einstein statistics, such as the fractional statistics, quon statistics, anyon statistics and quantum groups, since they can provide some new insights into the cosmology, nuclear physics and condensed matter. In this paper, we study the many-particle system formed by the $q$-deformed fermions ($q$-fermion), which is realized by deforming the quantum algebra of the anticommutation relations. We investigate from a standard perspective of the finite temperature field theory and try to construct the finite temperature Green's function formalism for the free many-$q$-fermion system, then generalize it to the well known interacting fermionic system, the superconductor, and finally obtain a consistent $q$-deformed BCS ($q$BCS) theory. At low temperature, this theory predicts a Sarma-like ordered phase, and we call it the $q$-deformed Sarma phase. It also presents a symmetric phase diagram in the parameter space and new thermodynamic relations.


title: Adaptive finite element method for the Maxwell eigenvalue problem

abstract: In this paper we prove the optimal convergence of a standard adaptive scheme based on edge finite elements for the approximation of the solutions of the eigenvalue problem associated with Maxwell's equations. The proof uses the known equivalence of the problem of interest with a mixed eigenvalue problem.


title: Surprising phenomenology in the non-Universal U(1) gauge extended $\mu\nu$SSM

abstract: So far the most sophisticated experiments have shown no trace of new physics at the TeV scale. Consequently, new models with unexplored parameter regions are necessary to explain current results, re-examine the existing data, and propose new experiments. In this Letter, we present a modified version of the $\mu\nu$SSM supersymmetric model where a non-Universal extra U(1) gauge symmetry is added in order to restore an effective R-parity that ensures proton stability. We show that anomalies equations cancel without having to add \emph{any} exotic matter, restricting the charges of the fields under the extra symmetry to a discrete set of values. We find that it is the viability of the model through anomalies cancellation what defines the conditions in which fermions interact with dark matter candidates via the exchange of $Z'$ bosons. The strict condition of universality violation means that LHC constraints for a $Z'$ mass do not apply directly to our model, allowing for a yet undiscovered relatively light $Z$', as we discuss both in the phenomenological context and in its implications for possible flavour changing neutral currents. Moreover, we explore the possibility of isospin violating dark matter interactions; we observe that this interaction depends, surprisingly, on the Higgs charges under the new symmetry, both limiting the number of possible models and allowing to analyse indirect dark matter searches in the light of well defined, particular scenarios.


title: EPINET: A Fully-Convolutional Neural Network Using Epipolar Geometry for Depth from Light Field Images

abstract: Light field cameras capture both the spatial and the angular properties of light rays in space. Due to its property, one can compute the depth from light fields in uncontrolled lighting environments, which is a big advantage over active sensing devices. Depth computed from light fields can be used for many applications including 3D modelling and refocusing. However, light field images from hand-held cameras have very narrow baselines with noise, making the depth estimation difficult. any approaches have been proposed to overcome these limitations for the light field depth estimation, but there is a clear trade-off between the accuracy and the speed in these methods. In this paper, we introduce a fast and accurate light field depth estimation method based on a fully-convolutional neural network. Our network is designed by considering the light field geometry and we also overcome the lack of training data by proposing light field specific data augmentation methods. We achieved the top rank in the HCI 4D Light Field Benchmark on most metrics, and we also demonstrate the effectiveness of the proposed method on real-world light-field images.


title: An Approach to Static Performance Guarantees for Programs with Run-time Checks

abstract: Instrumenting programs for performing run-time checking of properties, such as regular shapes, is a common and useful technique that helps programmers detect incorrect program behaviors. This is specially true in dynamic languages such as Prolog. However, such run-time checks inevitably introduce run-time overhead (in execution time, memory, energy, etc.). Several approaches have been proposed for reducing such overhead, such as eliminating the checks that can statically be proved to always succeed, and/or optimizing the way in which the (remaining) checks are performed. However, there are cases in which it is not possible to remove all checks statically (e.g., open libraries which must check their interfaces, complex properties, unknown code, etc.) and in which, even after optimizations, these remaining checks still may introduce an unacceptable level of overhead. It is thus important for programmers to be able to determine the additional cost due to the run-time checks and compare it to some notion of admissible cost. The common practice used for estimating run-time checking overhead is profiling, which is not exhaustive by nature. Instead, we propose a method that uses static analysis to estimate such overhead, with the advantage that the estimations are functions parameterized by input data sizes. Unlike profiling, this approach can provide guarantees for all possible execution traces, and allows assessing how the overhead grows as the size of the input grows. Our method also extends an existing assertion verification framework to express "admissible" overheads, and statically and automatically checks whether the instrumented program conforms with such specifications. Finally, we present an experimental evaluation of our approach that suggests that our method is feasible and promising.


title: Antisite pairs suppress the thermal conductivity of BAs

abstract: BAs was predicted to have an unusually high thermal conductivity at room temperature of 2000$\,$Wm$^{-1}$$\,$K$^{-1}$, comparable to that of diamond. However, the experimentally measured thermal conductivity of BAs single crystals is an order of magnitude lower. To identify the origin of this large inconsistency, we investigated the lattice structure and potential defects in BAs single crystals at atomic scale using aberration-corrected scanning transmission electron microscopy (STEM). Rather than finding a large concentration As vacancies ($V_\mathrm{As}$), as widely thought to dominate the thermal resistance in BAs crystals, our STEM results showed enhanced intensity of some B columns and reduced intensity of some As columns, suggesting the presence of antisite defects with As$_\mathrm{B}$ (As-atom on B site) and B$_\mathrm{As}$ (B-atom on As site) with significant concentrations. Further calculations show that the antisite pair with As$_\mathrm{B}$ next to B$_\mathrm{As}$ is preferred energetically among the different types of point defects investigated, and confirm that such defects lower the thermal conductivity for BAs. Using a concentration of 6.6$\pm$3$\times$10$^{20}$$\,$cm$^{-3}$ for the antisite pairs estimated from STEM images, thermal conductivity is estimated to be 65-100$\,$Wm$^{-1}$$\,$K$^{-1}$, in reasonable agreement with our measured value. Our study suggests that As$_\mathrm{B}$-B$_\mathrm{As}$ antisite pairs are the primary lattice defects suppressing thermal conductivity of BAs. Possible approaches are proposed for growth of high quality crystals or films with high thermal conductivity.


title: Temperature dependence of bulk viscosity within lattice simulation of $SU(3)$--gluodynamics

abstract: In this paper the temperature dependence of the $SU(3)$--gluodynamics bulk viscosity is studied within lattice simulations. To carry out this study we measure the correlation function of the trace of the energy-momentum tensor for a set of temperatures within the range $T/T_c \in (0.9, 1.5)$. To extract the bulk viscosity from the correlation function we apply the Backus-Gilbert method and the Tikhonov regularization method. We show that the ratio $\zeta/s$ is small in the region $T/T_c \geqslant 1.1-1.2$ and in the vicinity of the transition $T/T_c \leqslant 1.1-1.2$ it quickly rises. Our results are in agreement with previous lattice studies and in a reasonable agreement with other phenomenological approaches. Obtained values of the bulk viscosity are significantly larger than perturbative results, what confirms that QGP is a strongly correlated system.


title: Transfer operators and Hankel transforms between relative trace formulas, I: character theory

abstract: The Langlands functoriality conjecture, as reformulated in the "beyond endoscopy" program, predicts comparisons between the (stable) trace formulas of different groups $G_1, G_2$ for every morphism ${^LG}_1\to {^LG}_2$ between their $L$-groups. This conjecture can be seen as a special case of a more general conjecture, which replaces reductive groups by spherical varieties and the trace formula by its generalization, the relative trace formula. The goal of this article and its continuation is to demonstrate, by example, the existence of "transfer operators" betweeen relative trace formulas, that generalize the scalar transfer factors of endoscopy. These transfer operators have all properties that one could expect from a trace formula comparison: matching, fundamental lemma for the Hecke algebra, transfer of (relative) characters. Most importantly, and quite surprisingly, they appear to be of abelian nature (at least, in the low-rank examples considered in this paper), even though they encompass functoriality relations of non-abelian harmonic analysis. Thus, they are amenable to application of the Poisson summation formula in order to perform the global comparison. Moreover, we show that these abelian transforms have some structure --- which presently escapes our understanding in its entirety --- as deformations of well-understood operators when the spaces under consideration are replaced by their "asymptotic cones". In this first paper we study (relative) characters for the Kunzetsov formula and the stable trace formula for $\operatorname{SL}_2$ and their degenerations (as well as for the relative trace formula for torus periods in $\operatorname{PGL}_2$), and we show how they correspond to each other under explicit transfer operators.


title: Towards an Information Geometric characterization/classification of Complex Systems. II. Critical Parameter values from the (c,d)-manifold

abstract: In our previous paper (I) we derived information geometric objects from the two parameter generalized entropy of Hanel and Thurner (2011), using the c,d parameters as labels of the corresponding manifolds. Here we follow a completely different approach by considering these parameters as coordinates of our information manifolds. This gives a manageable two-dimensional manifold amenable to easy manipulations but most importantly it offers a direct characterization of complex systems in terms of the pair of the c,d values. As a result we obtain certain characteristic values from the scalar curvature which we could conjecture that they represent complex systems with specific behavior. It is further observed that the boundary values of the c,d parameters which characterize the Hanel-Thurner classification are in some sense singular. This asks for a regularization scheme which we try to establish.


title: The chromatic number of the plane is at least 5

abstract: We present a family of finite unit-distance graphs in the plane that are not 4-colourable, thereby improving the lower bound of the Hadwiger-Nelson problem. The smallest such graph that we have so far discovered has 1581 vertices.


title: Inferring transportation modes from GPS trajectories using a convolutional neural network

abstract: Identifying the distribution of users' transportation modes is an essential part of travel demand analysis and transportation planning. With the advent of ubiquitous GPS-enabled devices (e.g., a smartphone), a cost-effective approach for inferring commuters' mobility mode(s) is to leverage their GPS trajectories. A majority of studies have proposed mode inference models based on hand-crafted features and traditional machine learning algorithms. However, manual features engender some major drawbacks including vulnerability to traffic and environmental conditions as well as possessing human's bias in creating efficient features. One way to overcome these issues is by utilizing Convolutional Neural Network (CNN) schemes that are capable of automatically driving high-level features from the raw input. Accordingly, in this paper, we take advantage of CNN architectures so as to predict travel modes based on only raw GPS trajectories, where the modes are labeled as walk, bike, bus, driving, and train. Our key contribution is designing the layout of the CNN's input layer in such a way that not only is adaptable with the CNN schemes but represents fundamental motion characteristics of a moving object including speed, acceleration, jerk, and bearing rate. Furthermore, we ameliorate the quality of GPS logs through several data preprocessing steps. Using the clean input layer, a variety of CNN configurations are evaluated to achieve the best CNN architecture. The highest accuracy of 84.8% has been achieved through the ensemble of the best CNN configuration. In this research, we contrast our methodology with traditional machine learning algorithms as well as the seminal and most related studies to demonstrate the superiority of our framework.


title: Quantum-aided Multi-Objective Routing Optimization Using Back-Tracing-Aided Dynamic Programming

abstract: Pareto optimality is capable of striking the optimal trade-off amongst the diverse conflicting QoS requirements of routing in wireless multihop networks. However, this comes at the cost of increased complexity owing to searching through the extended multi-objective search-space. We will demonstrate that the powerful quantum-assisted dynamic programming optimization framework is capable of circumventing this problem. In this context, the so-called Evolutionary Quantum Pareto Optimization (EQPO) algorithm has been proposed, which is capable of identifying most of the optimal routes at a near-polynomial complexity versus the number of nodes. As a benefit, we improve both the the EQPO algorithm by introducing a back-tracing process. We also demonstrate that the improved algorithm, namely the Back-Tracing-Aided EQPO (BTA-EQPO) algorithm, imposes a negligible complexity overhead, while substantially improving our performance metrics, namely the relative frequency of finding all Pareto-optimal solutions and the probability that the Pareto-optimal solutions are indeed part of the optimal Pareto front


title: Design of multi-layer materials using inverse homogenization and a level set method

abstract: This work is concerned with the micro-architecture of multi-layer material that globally exhibits desired mechanical properties, for instance a negative apparent Poisson ratio. We use inverse homogenization, the level set method, and the shape derivative in the sense of Hadamard to identify material regions and track boundary changes within the context of the smoothed interface. The level set method and the shape derivative obtained in the smoothed interface context allows to capture, within the unit cell, the optimal micro-geometry. We test the algorithm by computing several multi-layer auxetic micro-structures. The multi-layer approach has the added benefit that contact during movement of adjacent "branches" of the micro-structure can be avoided in order to increase its capacity to withstand larger stresses.


title: Energy-Quality Scaling in Analog Mesh Computers

abstract: The recent push for post-Moore computer architectures has introduced a wide variety of application-specific accelerators. One particular accelerator, the resistance network analogue, has been well received due to its ability to efficiently solve partial differential equations by eliminating the iterative stages required by today's numerical solvers. However, in the ago of programmable integrated circuits, the static nature of the resistance network analogue, and other analog mesh computers like it, has relegated it to an academic curiosity. Recent developments in materials, such as the memristor, have made the resistance network analogue viable for inclusion in future heterogeneous computer architectures. However, selection of an appropriate sized mesh to be incorporated into a computer system requires that energy-quality trade-offs are made regarding the problem size and required resolution of the solution. This paper provides an in-depth study of the scaling of analog mesh computer hardware, from the perspective of energy per bit and required resolution, introduces a metric to aid in quantifying analog mesh computers with different parameters, and introduces a method of virtualization which enables an analog mesh computer of a fixed size to approximate the calculations of a larger-sized mesh.


title: Strichartz estimates and wave equation in a conic singular space

abstract: Consider the metric cone $X=C(Y)=(0,\infty)_r\times Y$ with the metric $g=\mathrm{d}r^2+r^2h$ where the cross section $Y$ is a compact $(n-1)$-dimensional Riemannian manifold $(Y,h)$. Let $\Delta_g$ be the Friedrich extension positive Laplacian on $X$ and let $\Delta_h$ be the positive Laplacian on $Y$, and consider the operator $\LL_V=\Delta_g+V_0 r^{-2}$ where $V_0\in\CC^\infty(Y)$ such that $\Delta_h+V_0+(n-2)^2/4$ is a strictly positive operator on $L^2(Y)$. In this paper, we prove the global-in-time Strichartz estimates without loss for the wave equation associated with the operator $\LL_V$ which verifies\cite[Remark 2.4]{wang} Wang's conjecture for wave equation. The range of the admissible pair is sharp and is influenced by the smallest eigenvalue of $\Delta_h+V_0+(n-2)^2/4$. To prove the result, we show a Sobolev inequality and a boundedness of a generalized Riesz transform in this setting. In addition, as an application, we study the well-posed theory and scattering theory for energy-critical wave equation with small data on this setting of dimension $n\geq3$.


title: Learn To Pay Attention

abstract: We propose an end-to-end-trainable attention module for convolutional neural network (CNN) architectures built for image classification. The module takes as input the 2D feature vector maps which form the intermediate representations of the input image at different stages in the CNN pipeline, and outputs a 2D matrix of scores for each map. Standard CNN architectures are modified through the incorporation of this module, and trained under the constraint that a convex combination of the intermediate 2D feature vectors, as parameterised by the score matrices, must \textit{alone} be used for classification. Incentivised to amplify the relevant and suppress the irrelevant or misleading, the scores thus assume the role of attention values. Our experimental observations provide clear evidence to this effect: the learned attention maps neatly highlight the regions of interest while suppressing background clutter. Consequently, the proposed function is able to bootstrap standard CNN architectures for the task of image classification, demonstrating superior generalisation over 6 unseen benchmark datasets. When binarised, our attention maps outperform other CNN-based attention maps, traditional saliency maps, and top object proposals for weakly supervised segmentation as demonstrated on the Object Discovery dataset. We also demonstrate improved robustness against the fast gradient sign method of adversarial attack.


title: The unexpectedly large proportion of high-mass star-forming cores in a Galactic mini-starburst

abstract: Understanding the processes that determine the stellar Initial Mass Function (IMF) is a critical unsolved problem, with profound implications for many areas of astrophysics. In molecular clouds, stars are formed in cores, gas condensations which are sufficiently dense that gravitational collapse converts a large fraction of their mass into a star or small clutch of stars. In nearby star-formation regions, the core mass function (CMF) is strikingly similar to the IMF, suggesting that the shape of the IMF may simply be inherited from the CMF. Here we present 1.3 mm observations, obtained with ALMA, the world's largest interferometer, of the active star-formation region W43-MM1, which may be more representative of the Galactic-disk regions where most stars form. The unprecedented resolution of these observations reveals, for the first time, a statistically robust CMF at high masses, with a slope that is markedly shallower than the IMF. This seriously challenges our understanding of the origin of the IMF.


title: Formal Ways for Measuring Relations between Concepts in Conceptual Spaces

abstract: The highly influential framework of conceptual spaces provides a geometric way of representing knowledge. Instances are represented by points in a high-dimensional space and concepts are represented by regions in this space. In this article, we extend our recent mathematical formalization of this framework by providing quantitative mathematical definitions for measuring relations between concepts: We develop formal ways for computing concept size, subsethood, implication, similarity, and betweenness. This considerably increases the representational capabilities of our formalization and makes it the most thorough and comprehensive formalization of conceptual spaces developed so far.


title: An Accelerated Directional Derivative Method for Smooth Stochastic Convex Optimization

abstract: We consider smooth stochastic convex optimization problems in the context of algorithms which are based on directional derivatives of the objective function. This context can be considered as an intermediate one between derivative-free optimization and gradient-based optimization. We assume that at any given point and for any given direction, a stochastic approximation for the directional derivative of the objective function at this point and in this direction is available with some additive noise. The noise is assumed to be of an unknown nature, but bounded in the absolute value. We underline that we consider directional derivatives in any direction, as opposed to coordinate descent methods which use only derivatives in coordinate directions. For this setting, we propose a non-accelerated and an accelerated directional derivative method and provide their complexity bounds. Our non-accelerated algorithm has a complexity bound which is similar to the gradient-based algorithm, that is, without any dimension-dependent factor. Our accelerated algorithm has a complexity bound which coincides with the complexity bound of the accelerated gradient-based algorithm up to a factor of square root of the problem dimension. We extend these results to strongly convex problems.


title: Structured Evolution with Compact Architectures for Scalable Policy Optimization

abstract: We present a new method of blackbox optimization via gradient approximation with the use of structured random orthogonal matrices, providing more accurate estimators than baselines and with provable theoretical guarantees. We show that this algorithm can be successfully applied to learn better quality compact policies than those using standard gradient estimation techniques. The compact policies we learn have several advantages over unstructured ones, including faster training algorithms and faster inference. These benefits are important when the policy is deployed on real hardware with limited resources. Further, compact policies provide more scalable architectures for derivative-free optimization (DFO) in high-dimensional spaces. We show that most robotics tasks from the OpenAI Gym can be solved using neural networks with less than 300 parameters, with almost linear time complexity of the inference phase, with up to 13x fewer parameters relative to the Evolution Strategies (ES) algorithm introduced by Salimans et al. (2017). We do not need heuristics such as fitness shaping to learn good quality policies, resulting in a simple and theoretically motivated training mechanism.


title: On $3$-dimensional $\widetilde{J}$-tangent centro-affine hypersurfaces and $\widetilde{J}$-tangent affine hyperspheres with some null-directions

abstract: Let $\widetilde{J}$ be the canonical para-complex structure on $\mathbb{R}^4$. In this paper we study $3$-dimensional centro-affine hypersurfaces with a $\widetilde{J}$-tangent centro-affine vector field (sometimes called $\widetilde{J}$-tangent centro-affine hypersurfaces) as well as $3$-dimensional $\widetilde{J}$-tangent affine hyperspheres with the property that at least one null-direction of the second fundamental form coincides with either $\mathcal{D}^+$ or $\mathcal{D}^-$. The main purpose of this paper is to give a full local classification of the above mentioned hypersurfaces. In particular, we prove that every nondegenerate centro-affine hypersurface of dimension $3$ with a $\widetilde{J}$-tangent centro-affine vector field which has two null-directions $\mathcal{D}^+$ and $\mathcal{D}^-$ must be both an affine hypersphere and a hyperquadric. Some examples of these hypersurfaces are also given.


title: On Mellin Amplitudes in SCFTs with Eight Supercharges

abstract: We extend the Mellin space techniques of [1] for computing holographic four-point correlation functions in maximally superconformal theories to theories with only eight Poincar\'e supercharges. The one-half BPS operators in these correlators are taken to be the superconformal primary in the $\mathcal{D}[k]$ multiplet (with $k=2$ corresponding to the flavor current multiplet), and transform in the adjoint representation of a flavor group $G$. Because of the smaller R-symmetry group $SU(2)$, each individual superconformal Ward identity is less powerful. On the other hand, the constraining power is compensated in number by the different flavor channels in the four-point function. As concrete test cases, we study the Seiberg theories in five dimensions and E-string theory in six dimensions at the large $N$ limit. We show that the flavor current multiplet four-point functions are fixed by superconformal symmetry up to two free parameters, which are proportional to the squared OPE coefficients for the flavor current multiplet and the stress tensor multiplet.


title: Quantum Machine Learning Tensor Network States

abstract: Tensor network algorithms seek to minimize correlations to compress the classical data representing quantum states. Tensor network algorithms and similar tools---called tensor network methods---form the backbone of modern numerical methods used to simulate many-body physics and have a further range of applications in machine learning. Finding and contracting tensor network states is a computational task which quantum computers might be used to accelerate. We present a quantum algorithm which returns a classical description of a rank-$r$ tensor network state satisfying an area law and approximating an eigenvector given black-box access to a unitary matrix. Our work creates a bridge between several contemporary approaches, including tensor networks, the variational quantum eigensolver (VQE), quantum approximate optimization (QAOA), and quantum computation.

categories: quant-ph cond-mat.dis-nn cond-mat.str-el cs.LG