title: Dataset2Vec: Learning Dataset Meta-Features

abstract: Meta-learning, or learning to learn, is a machine learning approach that utilizes prior learning experiences to expedite the learning process on unseen tasks. As a data-driven approach, meta-learning requires meta-features that represent the primary learning tasks or datasets, and are estimated traditonally as engineered dataset statistics that require expert domain knowledge tailored for every meta-task. In this paper, first, we propose a meta-feature extractor called Dataset2Vec that combines the versatility of engineered dataset meta-features with the expressivity of meta-features learned by deep neural networks. Primary learning tasks or datasets are represented as hierarchical sets, i.e., as a set of sets, esp. as a set of predictor/target pairs, and then a DeepSet architecture is employed to regress meta-features on them. Second, we propose a novel auxiliary meta-learning task with abundant data called dataset similarity learning that aims to predict if two batches stem from the same dataset or different ones. In an experiment on a large-scale hyperparameter optimization task for 120 UCI datasets with varying schemas as a meta-learning task, we show that the meta-features of Dataset2Vec outperform the expert engineered meta-features and thus demonstrate the usefulness of learned meta-features for datasets with varying schemas for the first time.


title: Farsighted Collusion in Stable Marriage Problem

abstract: The Stable Marriage Problem, as proposed by Gale and Shapley, considers producing a bipartite matching between two equally sized sets of boys (proposers) and respectively girls (acceptors), each member having a total preference order over the other set, such that the outcome is stable. In this paper we consider the Game directly induced by this problem and analyze the case when proposers collude. We present a linear time method for determining the unique optimal collusion matching which is farsightedly stable, under the following assumptions: (i) the sole utility in the Game is the rank of the match in own preference list (in particular, proposers are indifferent as to how other proposers fare); (ii) proposers make proposals iff farsightedly such plays would strictly improve their own outcome (thus proposers cooperate by refraining from making proposals which can only harm others, but not strictly help them; also, they cannot make concessions to others which harm themselves). We argue that this optimal outcome is actually stronger than a Strong Nash Equilibrium - no alternative feasible coalition exists which can offer at least one member a strictly better outcome under these assumptions.We also show why some prior results pertaining to collusion of proposers do not always yield a realistic outcome. The results in this paper are an independent rediscovery of results by Jun Wako (2010), derived in a simpler fashion and phrased such that less jargon is employed.


title: Infinitely deep neural networks as diffusion processes

abstract: When the parameters are independently and identically distributed (initialized) neural networks exhibit undesirable properties that emerge as the number of layers increases, e.g. a vanishing dependency on the input and a concentration on restrictive families of functions including constant functions. We consider parameter distributions that shrink as the number of layers increases in order to recover well-behaved stochastic processes in the limit of infinite depth. This leads to set forth a link between infinitely deep residual networks and solutions to stochastic differential equations, i.e. diffusion processes. We show that these limiting processes do not suffer from the aforementioned issues and investigate their properties.


title: Neural-network Quantum State of Transverse-field Ising Model

abstract: Along the way initiated by Carleo and Troyer [1], we construct the neural-network quantum state of transverse-field Ising model(TFIM) by an unsupervised machine learning method. Such a wave function is a map from the spin-configuration space to the complex number field determined by an array of network parameters. To get the ground state of the system, values of the network parameters are calculated by a Stochastic Reconfiguration(SR) method. We provide for this SR method an understanding from action principle and information geometry aspects. With this quantum state, we calculate key observables of the system, the energy, correlation function, correlation length, magnetic moment and susceptibility. As innovations, we provide a high efficiency method and use it to calculate entanglement entropy (EE) of the system and get results consistent with previous work very well.


title: Locally Differentially Private Minimum Finding

abstract: We investigate a problem of finding the minimum, in which each user has a real value and we want to estimate the minimum of these values under the local differential privacy constraint. We reveal that this problem is fundamentally difficult, and we cannot construct a mechanism that is consistent in the worst case. Instead of considering the worst case, we aim to construct a private mechanism whose error rate is adaptive to the easiness of estimation of the minimum. As a measure of easiness, we introduce a parameter $\alpha$ that characterizes the fatness of the minimum-side tail of the user data distribution. As a result, we reveal that the mechanism can achieve $O((\ln^6N/\epsilon^2N)^{1/2\alpha})$ error without knowledge of $\alpha$ and the error rate is near-optimal in the sense that any mechanism incurs $\Omega((1/\epsilon^2N)^{1/2\alpha})$ error. Furthermore, we demonstrate that our mechanism outperforms a naive mechanism by empirical evaluations on synthetic datasets. Also, we conducted experiments on the MovieLens dataset and a purchase history dataset and demonstrate that our algorithm achieves $\tilde{O}((1/N)^{1/2\alpha})$ error adaptively to $\alpha$.


title: Value Iteration Networks on Multiple Levels of Abstraction

abstract: Learning-based methods are promising to plan robot motion without performing extensive search, which is needed by many non-learning approaches. Recently, Value Iteration Networks (VINs) received much interest since---in contrast to standard CNN-based architectures---they learn goal-directed behaviors which generalize well to unseen domains. However, VINs are restricted to small and low-dimensional domains, limiting their applicability to real-world planning problems. To address this issue, we propose to extend VINs to representations with multiple levels of abstraction. While the vicinity of the robot is represented in sufficient detail, the representation gets spatially coarser with increasing distance from the robot. The information loss caused by the decreasing resolution is compensated by increasing the number of features representing a cell. We show that our approach is capable of solving significantly larger 2D grid world planning tasks than the original VIN implementation. In contrast to a multiresolution coarse-to-fine VIN implementation which does not employ additional descriptive features, our approach is capable of solving challenging environments, which demonstrates that the proposed method learns to encode useful information in the additional features. As an application for solving real-world planning tasks, we successfully employ our method to plan omnidirectional driving for a search-and-rescue robot in cluttered terrain.


title: A framework for sequential measurements and general Jarzynski equations

abstract: We formulate a statistical model of two sequential measurements and prove a so-called J-equation that leads to various diversifications of the well-known Jarzynski equation including the Crooks dissipation theorem. Moreover, the J-equation entails formulations of the Second Law going back to Wolfgang Pauli. We illustrate this by an analytically solvable example of sequential discrete position-momentum measurements accompanied with the increase of Shannon entropy. The standard form of the J-equation extends the domain of applications of the quantum Jarzynski equation in two respects: It includes systems that are initially only in local equilibrium and it extends this equation to the cases where the local equilibrium is described by microcanononical, canonical or grand canonical ensembles. Moreover, the case of a periodically driven quantum system in thermal contact with a heat bath is shown to be covered by the theory presented here. Finally, we shortly consider the generalized Jarzynski equation in classical statistical mechanics.


title: Detecting Missing Dependencies and Notifiers in Puppet Programs

abstract: Puppet is a popular computer system configuration management tool. It provides abstractions that enable administrators to setup their computer systems declaratively. Its use suffers from two potential pitfalls. First, if ordering constraints are not specified whenever an abstraction depends on another, the non-deterministic application of abstractions can lead to race conditions. Second, if a service is not tied to its resources through notification constructs, the system may operate in a stale state whenever a resource gets modified. Such faults can degrade a computing infrastructure's availability and functionality. We have developed an approach that identifies these issues through the analysis of a Puppet program and its system call trace. Specifically, we present a formal model for traces, which allows us to capture the interactions of Puppet abstractions with the file system. By analyzing these interactions we identify (1) abstractions that are related to each other (e.g., operate on the same file), and (2) abstractions that should act as notifiers so that changes are correctly propagated. We then check the relationships from the trace's analysis against the program's dependency graph: a representation containing all the ordering constraints and notifications declared in the program. If a mismatch is detected, our system reports a potential fault. We have evaluated our method on a large set of Puppet modules, and discovered 57 previously unknown issues in 30 of them. Benchmarking further shows that our approach can analyze in minutes real-world configurations with a magnitude measured in thousands of lines and millions of system calls.


title: Learning step sizes for unfolded sparse coding

abstract: Sparse coding is typically solved by iterative optimization techniques, such as the Iterative Shrinkage-Thresholding Algorithm (ISTA). Unfolding and learning weights of ISTA using neural networks is a practical way to accelerate estimation. In this paper, we study the selection of adapted step sizes for ISTA. We show that a simple step size strategy can improve the convergence rate of ISTA by leveraging the sparsity of the iterates. However, it is impractical in most large-scale applications. Therefore, we propose a network architecture where only the step sizes of ISTA are learned. We demonstrate that for a large class of unfolded algorithms, if the algorithm converges to the solution of the Lasso, its last layers correspond to ISTA with learned step sizes. Experiments show that our method is competitive with state-of-the-art networks when the solutions are sparse enough.


title: Magnetic control of flexible thermoelectric devices based on macroscopic 3D interconnected nanowire networks

abstract: Spin-related effects in thermoelectricity can be used to design more efficient refrigerators and offer novel promising applications for the harvesting of thermal energy. The key challenge is to design structural and compositional magnetic material systems with sufficiently high efficiency and power output for transforming thermal energy into electric energy and vice versa. Here, the fabrication of large-area 3D interconnected Co/Cu nanowire networks is demonstrated, thereby enabling the controlled Peltier cooling of macroscopic electronic components with an external magnetic field. The flexible, macroscopic devices overcome inherent limitations of nanoscale magnetic structures due to insufficient power generation capability that limits the heat management applications. From properly designed experiments, large spin-dependent Seebeck and Peltier coefficients of $-9.4$ $\mu$V/K and $-2.8$ mV at room temperature, respectively. The resulting power factor of Co/Cu nanowire networks at room temperature ($\sim7.5$ mW/K$^2$m) is larger than those of state of the art thermoelectric materials, such as BiTe alloys and the magneto-power factor ratio reaches about 100\% over a wide temperature range. Validation of magnetic control of heat flow achieved by taking advantage of the spin-dependent thermoelectric properties of flexible macroscopic nanowire networks lay the groundwork to design shapeable thermoelectric coolers exploiting the spin degree of freedom.


title: Variational principle for bifurcation in Lagrangian mechanics

abstract: An application of variational principle to bifurcation of periodic solution in Lagrangian mechanics is shown. A few higher derivatives of the action integral at a periodic solution reveals the behaviour of the action in function space near the solution. Then the variational principle gives a method to find bifurcations from the solution. The second derivative (Hessian) of the action has an important role. At a bifurcation point, an eigenvalue of Hessian tends to zero. Inversely, if an eigenvalue tends to zero, the zero point is a bifurcation point. The third and higher derivatives of the action determine the properties of the bifurcation and bifurcated solution.


title: Fourier-based Rotation-invariant Feature Boosting: An Efficient Framework for Geospatial Object Detection

abstract: Geospatial object detection of remote sensing imagery has been attracting an increasing interest in recent years, due to the rapid development in spaceborne imaging. Most of previously proposed object detectors are very sensitive to object deformations, such as scaling and rotation. To this end, we propose a novel and efficient framework for geospatial object detection in this letter, called Fourier-based rotation-invariant feature boosting (FRIFB). A Fourier-based rotation-invariant feature is first generated in polar coordinate. Then, the extracted features can be further structurally refined using aggregate channel features. This leads to a faster feature computation and more robust feature representation, which is good fitting for the coming boosting learning. Finally, in the test phase, we achieve a fast pyramid feature extraction by estimating a scale factor instead of directly collecting all features from image pyramid. Extensive experiments are conducted on two subsets of NWPU VHR-10 dataset, demonstrating the superiority and effectiveness of the FRIFB compared to previous state-of-the-art methods.


title: Machine Learning for Fluid Mechanics

abstract: The field of fluid mechanics is rapidly advancing, driven by unprecedented volumes of data from field measurements, experiments and large-scale simulations at multiple spatiotemporal scales. Machine learning offers a wealth of techniques to extract information from data that could be translated into knowledge about the underlying fluid mechanics. Moreover, machine learning algorithms can augment domain knowledge and automate tasks related to flow control and optimization. This article presents an overview of past history, current developments, and emerging opportunities of machine learning for fluid mechanics. It outlines fundamental machine learning methodologies and discusses their uses for understanding, modeling, optimizing, and controlling fluid flows. The strengths and limitations of these methods are addressed from the perspective of scientific inquiry that considers data as an inherent part of modeling, experimentation, and simulation. Machine learning provides a powerful information processing framework that can enrich, and possibly even transform, current lines of fluid mechanics research and industrial applications.


title: Increasing the efficiency of quantum walk with entangled qubits

abstract: We investigate how arbitrary number of entangled qubits affects properties of quantum walk. We consider variance, positions with non-zero probability density and entropy as criteria to determine the optimal number of entangled qubits in quantum walk. We show that for a single walker in one-dimensional position space, walk with three entangled qubits show better efficiency in considered criteria comparing to the walks with other number of entangled qubits. We also confirm that increment in number of the entangled qubits results into significant drop in variance of probability density distribution of the walker, change from ballistic to diffusive (suppression of quantum propagation), localization over specific step-dependent regions (characteristic of a dynamical Anderson localization) and reduction in entropy on level of reaching the classical walk's entropy or even smaller (attain deterministic behavior). In fact, we see that for large number of the entangled qubits, quantum walk loses most of its properties that are celebrated for but still show characterizations which are genuinely diffident comparing to classical walk.


title: Infrared Photometric Properties of Inner and Outer Parts of HII regions

abstract: The fact that infrared ring nebulae (IRRNs) are frequently associated with HII regions, provides us the opportunity to study dust at the interface between ionized and neutral gas. In this paper, we analyze the infrared radiation in the range from 8 to 500~$\mu$m in outer and inner parts of 32 IRRNs showing round shape. We aim to determine the morphology of these objects and possible dust evolution processes on the base of the comparison of IR radiation towards the ionized and neutral regions. We calculate six slopes between adjacent wavelengths in their spectral energy distributions to trace the difference in the physical conditions inside and outside ionized regions. Using the data on these 32 objects we show that their morphology is likely 3D spherical rather than 2D plane-like. The slope between 70 and 160~$\mu$m is the most appropriate tracer of the dust temperature in the outer envelope. The larger 8-to-24~$\mu$m intensity ratio is associated with smaller intensities at mid-IR indicating that the PAHs may indeed be generated due to larger grain destruction. These data are important for the subsequent theoretical modeling and determining the dust evolution in HII regions and their envelopes.


title: Atmospheric circulation of Venus measured with visible imaging-spectroscopy at the THEMIS observatory

abstract: Measuring Venus' atmospheric circulation at different altitudes is important for understanding its complex dynamics, in particular the mechanisms driving the super-rotation. Observationally, Doppler imaging spectroscopy is in principle be the most reliable way to measure wind speeds of planetary atmospheres because it directly provides the projected speed of atmospheric particles. However, high-resolution imaging-spectroscopy is challenging, especially in the visible domain, and most of the knowledge about atmospheric dynamics has been obtained with cloud-tracking technique. The objective of the present work is to measure the global properties of Venus' atmospheric dynamics at the altitude of the uppermost clouds, which is probed by reflected solar lines in the visible domain. Our results are based on high-resolution spectroscopic observations with the long slit spectrometer of the solar telescope THEMIS. We present the first instantaneous "radial-velocity snapshot" of any planet of the solar system in the visible domain, i.e., a complete RV map of the planet obtained by stacking data on less than 10% of its rotation period. From this, we measure the properties of the zonal and meridional winds, which we unambiguously detect. We identify a wind circulation pattern that significantly differs from previous knowledge about Venus. The zonal wind displays a "hot spot" structure, featuring about 200 m/s at sunrise and 70 m/s at noon in the equatorial region. Regarding meridional winds, we detect an equator-to-pole meridional flow peaking at 45 m/s at mid latitudes, i.e., which is about twice as large as what was reported so far.


title: Learning to Discretize: Solving 1D Scalar Conservation Laws via Deep Reinforcement Learning

abstract: Conservation laws are considered to be fundamental laws of nature. It has broad applications in many fields, including physics, chemistry, biology, geology, and engineering. Solving the differential equations associated with conservation laws is a major branch in computational mathematics. The recent success of machine learning, especially deep learning in areas such as computer vision and natural language processing, has attracted a lot of attention from the community of computational mathematics and inspired many intriguing works in combining machine learning with traditional methods. In this paper, we are the first to view numerical PDE solvers as an MDP and to use (deep) RL to learn new solvers. As proof of concept, we focus on 1-dimensional scalar conservation laws. We deploy the machinery of deep reinforcement learning to train a policy network that can decide on how the numerical solutions should be approximated in a sequential and spatial-temporal adaptive manner. We will show that the problem of solving conservation laws can be naturally viewed as a sequential decision-making process, and the numerical schemes learned in such a way can easily enforce long-term accuracy. Furthermore, the learned policy network is carefully designed to determine a good local discrete approximation based on the current state of the solution, which essentially makes the proposed method a meta-learning approach. In other words, the proposed method is capable of learning how to discretize for a given situation mimicking human experts. Finally, we will provide details on how the policy network is trained, how well it performs compared with some state-of-the-art numerical solvers such as WENO schemes, and supervised learning based approach L3D and PINN, and how well it generalizes.


title: Fractal percolation and quasisymmetric mappings

abstract: We study the conformal dimension of fractal percolation and show that, almost surely, the conformal dimension of a fractal percolation is strictly smaller than its Hausdorff dimension.


title: Big and little Lipschitz one sets

abstract: Given a continuous function $f: {{\mathbb R}}\to {{\mathbb R}}$ we denote the so-called "big Lip" and "little lip" functions by $ {{\mathrm {Lip}}} f$ and $ {{\mathrm {lip}}} f$ respectively}. In this paper we are interested in the following question. Given a set $E {\subset} {{\mathbb R}}$ is it possible to find a continuous function $f$ such that $ {{\mathrm {lip}}} f=\mathbf{1}_E$ or $ {{\mathrm {Lip}}} f=\mathbf{1}_E$? For monotone continuous functions we provide the rather straightforward answer. For arbitrary continuous functions the answer is much more difficult to find. We introduce the concept of uniform density type (UDT) and show that if $E$ is $G_\delta$ and UDT then there exists a continuous function $f$ satisfying $ {{\mathrm {Lip}}} f =\mathbf{1}_E$, that is, $E$ is a $ {{\mathrm {Lip}}} 1$ set. In the other direction we show that every ${{\mathrm {Lip}}} 1$ set is $G_\delta$ and weakly dense. We also show that the converse of this statement is not true, namely that there exist weakly dense $G_{{\delta}}$ sets which are not $ {{\mathrm {Lip}}} 1$. We say that a set $E\subset \mathbb{R}$ is ${{\mathrm {lip}}} 1$ if there is a continuous function $f$ such that ${{\mathrm {lip}}} f=\mathbf{1}_E$. We introduce the concept of strongly one-sided density and show that every ${{\mathrm {lip}}} 1$ set is a strongly one-sided dense $F_\sigma$ set.


title: An Immersive Virtual Reality Serious Game to Enhance Earthquake Behavioral Responses and Post-earthquake Evacuation Preparedness in Buildings

abstract: Enhancing the earthquake behavioral responses and post-earthquake evacuation preparedness of building occupants is beneficial to increasing their chances of survival and reducing casualties after the main shock of an earthquake. Traditionally, training approaches such as seminars, posters, videos or drills are applied to enhance preparedness. However, they are not highly engaging and have limited sensory capabilities to mimic life-threatening scenarios for the purpose of training potential participants. Immersive Virtual Reality (IVR) and Serious Games (SG) as innovative digital technologies can be used to create training tools to overcome these limitations. In this study, we propose an IVR SG-based training system to improve earthquake behavioral responses and post-earthquake evacuation preparedness. Auckland City Hospital was chosen as a case study to test our IVR SG training system. A set of learning outcomes based on best evacuation practice has been identified and embedded into several training scenarios of the IVR SG. Hospital staff (healthcare and administrative professionals) and visitors were recruited as participants to be exposed to these training scenarios. Participants' preparedness has been measured along two dimensions: 1) Knowledge about best evacuation practice; 2) Self-efficacy in dealing with earthquake emergencies. Assessment results showed that there was a significant knowledge and self-efficacy increase after the training. And participants acknowledged that it was easy and engaging to learn best evacuation practice knowledge through the IVR SG training system.


title: Kissing numbers of closed hyperbolic manifolds

abstract: We prove an upper bound for the number of shortest closed geodesics in a closed hyperbolic manifold of any dimension in terms of its volume and systole, generalizing a theorem of Parlier for surfaces. We also obtain bounds on the number of primitive closed geodesics with length in a given interval that are uniform for all closed hyperbolic manifolds with bounded geometry. The proofs rely on the Selberg trace formula.


title: Capacity Games with Supply Function Competition

abstract: This paper studies a setting in which multiple suppliers compete for a buyer's procurement business. The buyer faces uncertain demand and there is a requirement to reserve capacity in advance of knowing the demand. Each supplier has costs that are two dimensional, with some costs incurred before demand is realized in order to reserve capacity and some costs incurred after demand is realized at the time of delivery. A distinctive feature of our model is that the marginal costs may not be constants, and this naturally leads us to a supply function competition framework in which each supplier offers a schedule of prices and quantities. We treat this problem as an example of a general class of capacity games and show that, when the optimal supply chain profit is submodular, in equilibrium the buyer makes a reservation choice that maximizes the overall supply chain profit, each supplier makes a profit equal to their marginal contribution to the supply chain, and the buyer takes the remaining profit. We further prove that this submodularity property holds under two commonly studied settings: (1) there are only two suppliers; and (2) in the case of more than two suppliers, the marginal two-dimension costs of each supplier are non-decreasing and constant, respectively.


title: Complex distribution and velocity field of molecular gas in NGC 1316 as revealed by Morita Array of ALMA

abstract: We present the results of $^{12}$CO($J$=1-0) mosaicing observations of the cD galaxy NGC 1316 at kpc-resolution performed with the Morita Array of the Atacama Large Millimeter/submillimeter Array (ALMA). We reveal the detailed distribution of the molecular gas in the central region for the first time: a shell structure in the northwest, a barely resolved blob in the southeast of the center and some clumps between them. The total molecular gas mass obtained with a standard Milky-Way CO-to-H$_2$ conversion factor is $(5.62 \pm 0.53)\times10^8$ M$_\odot$, which is consistent with previous studies. The disturbed velocity field of the molecular gas suggests that the molecular gas is injected very recently ($<1$ Gyr) if it has an external origin and is in the process of settling into a rotating disk. Assuming that a low-mass gas-rich galaxy has accreted, the gas-to-dust ratio and H$_2$-to-HI ratio are unusually low ($\sim 28$) and high ($\sim 5.6$), respectively. To explain these ratios, additional processes should be taken into accounts such as an effective dust formation and conversion from atomic to molecular gas during the interaction. We also discuss the interaction between the nuclear jet and the molecular gas.


title: Dispersion and reaction in random flows: single realisation vs ensemble average

abstract: We examine the dispersion of a passive scalar released in an incompressible fluid flow in an unbounded domain. The flow is assumed to be spatially periodic, with zero spatial average, and random in time, in the manner of the random-phase alternating sine flow which we use as an exemplar. In the long-time limit, the scalar concentration takes the same, predictable form for almost all realisations of the flow, with a Gaussian core characterised by an effective diffusivity, and large-deviation tails characterised by a rate function (which can be evaluated by computing the largest Lyapunov exponent of a family of random-in-time partial differential equations). We contrast this single-realisation description with that which applies to the average of the concentration over an ensemble of flow realisations. We show that the single-realisation and ensemble-average effective diffusivities are identical but that the corresponding rate functions are not, and that the ensemble-averaged description overestimates the concentration in the tails compared with that obtained for single-flow realisations. This difference has a marked impact for scalars reacting according to the Fisher--Kolmogorov--Petrovskii--Piskunov (FKPP) model. Such scalars form an expanding front whose shape is approximately independent of the flow realisation and can be deduced from the single-realisation large-deviation rate function. We test our predictions against numerical simulations of the alternating sine flow.


title: Molecular Gas Density Measured with H$_2$CO and CS toward a Spiral Arm of M51

abstract: Observations of various molecular lines toward a disk region of a nearby galaxy are now feasible, and they are being employed as diagnostic tools to study star-formation activities there. However, the spatial resolution attainable for a nearby galaxy with currently available radio telescopes is $10-1000$ pc, which is much larger than the scales of individual star-forming regions and molecular cloud cores. Hence, it is of fundamental importance to elucidate which part of an interstellar medium such spatially-unresolved observations are tracing. Here we present sensitive measurements of the H$_2$CO ($1_{01}-0_{00}$) line at 72 GHz toward giant molecular clouds (GMCs) in the spiral arm of M51 using the NRO 45 m and IRAM 30 m telescopes. In conjunction with the previously observed H$_2$CO ($2_{02}-1_{01}$) and CS ($2-1$ and $3-2$) lines, we derive the H$_2$ density of the emitting regions to be $(0.6-2.6)\times10^4$ cm$^{-3}$ and $(2.9-12)\times10^4$ cm$^{-3}$ for H$_2$CO and CS, respectively, by the non-LTE analyses, where we assume the source size of $0.8-1$ kpc and the gas kinetic temperature of $10-20$ K. The derived H$_2$ density indicates that the emission of H$_2$CO and CS is not localized to star-forming cores, but is likely distributed over an entire region of GMCs. Such widespread distributions of H$_2$CO and CS are also supported by models assuming lognormal density distributions over the 1 kpc region. Thus, contributions from the widespread less-dense components should be taken into account for interpretation of these molecular emission observed with a GMC-scale resolution. The different H$_2$ densities derived for H$_2$CO and CS imply their different distributions. We discuss this differences in terms of the formation processes of H$_2$CO and CS.


title: A Plug-in Method for Representation Factorization in Connectionist Models

abstract: In this article, we focus on decomposing latent representations in generative adversarial networks or learned feature representations in deep autoencoders into semantically controllable factors in a semisupervised manner, without modifying the original trained models. Particularly, we propose factors' decomposer-entangler network (FDEN) that learns to decompose a latent representation into mutually independent factors. Given a latent representation, the proposed framework draws a set of interpretable factors, each aligned to independent factors of variations by minimizing their total correlation in an information-theoretic means. As a plug-in method, we have applied our proposed FDEN to the existing networks of adversarially learned inference and pioneer network and performed computer vision tasks of image-to-image translation in semantic ways, e.g., changing styles, while keeping the identity of a subject, and object classification in a few-shot learning scheme. We have also validated the effectiveness of the proposed method with various ablation studies in the qualitative, quantitative, and statistical examination.


title: Enhancing Block-Wise Transfer with Network Coding in CoAP

abstract: CoAP (Constrained Application Protocol) with block-wise transfer (BWT) option is a known protocol choice for large data transfer in general lossy IoT network environments. Lossy transmission environments on the other hand lead to CoAP resending multiple blocks, which creates overheads. To tackle this problem, we design a BWT with network coding (NC), with the goal to reducing the number of unnecessary retransmissions. The results show the reduction in the number of block retransmissions for different values of blocksize, implying the reduced transfer time. For the maximum blocksize of 1024 bytes and total probability loss of 0.5, CoAP with NC can resend up to 5 times less blocks.


title: Phase Diagram and Quench Dynamics in a Spinful Interacting Kitaev Chain

abstract: We consider an exact solvable interacting spinful Kitaev chain which is a generalization of the Mattis-Nam model. A nearest-neighbor dimerized interaction favoring the production of disjoint molecules drives the quantum phase into an insulating one. The phases are characterized statically and dynamically in terms of magnetization and spin-singlet correlations by using the exact solution. The model is shown to be exactly solvable also in the presence of boundary interactions which are originated from a spin-singlet superconducting pairing and a magnetic field. We exploit the exact solution to investigate the out-of-equilibrium dynamics as due to a quench at the boundary. The propagation of the disturbance in nearest-neighbor magnetic and spin-singlet pairing displays a ballistic behavior for long times with different velocities.


title: Spectrum decomposition of translation operators in periodic waveguide

abstract: Scattering problems in periodic waveguides are interesting but also challenging topics in mathematics, both theoretically and numerically. Due to the existence of eigenvalues, the unique solvability of these problems is not always guaranteed. To obtain a unique solution that is "physically meaningful", the limiting absorption principle (LAP) is a commonly used method. LAP assumes that the limit of a family of solutions with absorbing media converges, as the absorption parameter tends to 0, and the limit is the "physically meaningful solution". It is also called the LAP solution in this paper. It has been proved that the LAP holds for periodic waveguides in [Hoa11]. In this paper, we consider the spectrum decomposition of periodic translation operators. With the curve integral formulation and a generalized Residue theorem, the operator is explicitly described by its eigenvalues and generalized eigenfunctions, which are closely related to Bloch wave solutions. Then the LAP solution is decomposed into generalized eigenfunctions. This gives a better understanding of structure of the scattered fields.


title: A Rate-Distortion Framework for Explaining Neural Network Decisions

abstract: We formalise the widespread idea of interpreting neural network decisions as an explicit optimisation problem in a rate-distortion framework. A set of input features is deemed relevant for a classification decision if the expected classifier score remains nearly constant when randomising the remaining features. We discuss the computational complexity of finding small sets of relevant features and show that the problem is complete for $\mathsf{NP}^\mathsf{PP}$, an important class of computational problems frequently arising in AI tasks. Furthermore, we show that it even remains $\mathsf{NP}$-hard to only approximate the optimal solution to within any non-trivial approximation factor. Finally, we consider a continuous problem relaxation and develop a heuristic solution strategy based on assumed density filtering for deep ReLU neural networks. We present numerical experiments for two image classification data sets where we outperform established methods in particular for sparse explanations of neural network decisions.


title: Epoxy-inspired Nonlinear Interface Integrating Monolayer Transition-Metal Dichalcogenides with Linear Plasmonic Nanosieves

abstract: Although TMDC monolayers offer giant optical nonlinearity within few-angstrom thickness, it is still elusive to modulate and engineer the wavefront of nonlinear emissions. The grain size of high-quality monolayers also restricts possibilities of imparting inhomogeneous or gradient profiles of phases and amplitudes by classical light sources. Plasmonic nanosieves can support huge field enhancement and precise nonlinear phase control with hundred-nanometer pixel-level resolution, however they suffer from intrinsically weak nonlinear susceptibility. In nature, epoxy represents a strong glue whose magic adhesion comes from the bonding of two intrinsic loose and nonsticky resins. Inspired by the nature of epoxy, we report a multifunctional and powerful nonlinear interfaces via integrating transition-metal dichalcogenide (TMDC) monolayers with linear plasmonic nanosieves, which cannot be accessed by either constituents. We experimentally demonstrate orbital angular momentum (OAM) generation, beam steering, versatile polarization control and holograms and of SH emission, with the proposed nonlinear interfaces. In addition, an effective second-harmonic (SH) nonlinearity \c{hi}(2) of ~25 nm/V is obtained for such systems. This designer platform synergizes the complementary advantages of TMDC monolayer, plasmonic nanosieves, geometric phases, and field enhancement, paving a distinct avenue toward designer, multi-functional, and ultra-compact nonlinear optical devices.


title: Triply magic conditions for microwave transitions of optically trapped alkali-metal atoms

abstract: We report the finding of "triply magic" conditions (the doubly magic frequency-intensity conditions of an optical dipole trap plus the magic magnetic field) for the microwave transitions of optically trapped alkali-metal atoms. The differential light shift (DLS) induced by a degenerate two-photon process is adopted to compensate a DLS associated with the one-photon process. Thus, doubly magic conditions for the intensity and frequency of the optical trap beam can be found. Moreover, the DLS decouples from the magnetic field in a linearly polarized optical dipole trap, so that the magic condition of the magnetic field can be applied independently. Therefore, the "triply magic" conditions can be realized simultaneously. We also experimentally demonstrate the doubly magic frequency-intensity conditions as well as the independence of the magnetic field. When the triply magic conditions are fulfilled, the inhomogeneous and homogeneous decoherences for the optically trapped atom will be dramatically suppressed, and the coherence time can be extended significantly.


title: Additive properties of G-Drazin inverse of linear operators

abstract: In this paper, we investigate additive properties of generalized Drazin inverse for linear operators in Banach spaces. Under new polynomial conditions on generalized Drazin invertible operators a and b, we prove their sum has generalized Drazin inverse and give explicit representations of the generalized inverse $(a+b)^d$.


title: Statistical Significance Testing in Information Retrieval: An Empirical Analysis of Type I, Type II and Type III Errors

abstract: Statistical significance testing is widely accepted as a means to assess how well a difference in effectiveness reflects an actual difference between systems, as opposed to random noise because of the selection of topics. According to recent surveys on SIGIR, CIKM, ECIR and TOIS papers, the t-test is the most popular choice among IR researchers. However, previous work has suggested computer intensive tests like the bootstrap or the permutation test, based mainly on theoretical arguments. On empirical grounds, others have suggested non-parametric alternatives such as the Wilcoxon test. Indeed, the question of which tests we should use has accompanied IR and related fields for decades now. Previous theoretical studies on this matter were limited in that we know that test assumptions are not met in IR experiments, and empirical studies were limited in that we do not have the necessary control over the null hypotheses to compute actual Type I and Type II error rates under realistic conditions. Therefore, not only is it unclear which test to use, but also how much trust we should put in them. In contrast to past studies, in this paper we employ a recent simulation methodology from TREC data to go around these limitations. Our study comprises over 500 million p-values computed for a range of tests, systems, effectiveness measures, topic set sizes and effect sizes, and for both the 2-tail and 1-tail cases. Having such a large supply of IR evaluation data with full knowledge of the null hypotheses, we are finally in a position to evaluate how well statistical significance tests really behave with IR data, and make sound recommendations for practitioners.


title: Elastic deformations and Wigner-Weyl formalism in graphene

abstract: We discuss the tight-binding models of solid state physics with the $Z_2$ sublattice symmetry in the presence of elastic deformations, and their important particular case -the tight binding model of graphene. In order to describe the dynamics of electronic quasiparticles we explore Wigner-Weyl formalism. It allows to calculate the two-point Green's function in the presence of both slowly varying external electromagnetic fields and the inhomogeneous modification of the hopping parameters resulted from the elastic deformations. The developed formalism allows us to consider the influence of elastic deformations and the variations of magnetic field on the quantum Hall effect.


title: Bulk-edge correspondence and stability of multiple edge states of a $\mathcal{PT}$ symmetric non-Hermitian system by using non-unitary quantum walks

abstract: Topological phases and the associated multiple edge states are studied for parity and time-reversal $(\mathcal{PT})$ symmetric non-Hermitian open quantum systems by constructing a non-unitary three-step quantum walk retaining $\mathcal{PT}$ symmetry in one dimension. We show that the non-unitary quantum walk has large topological numbers of the $\mathbb{Z}$ topological phase and numerically confirm that multiple edge states appear as expected from the bulk-edge correspondence. Therefore, the bulk-edge correspondence is valid in this case. Moreover, we study the stability of the multiple edge states against a symmetry-breaking perturbation so that the topological phase is reduced to $\mathbb{Z}_2$ from $\mathbb{Z}$. In this case, we find that the number of edge states does not become one unless a pair of edge states coalesce at an exceptional point. Thereby, this is a new kind of breakdown of the bulk-edge correspondence in non-Hermitian systems. The mechanism of the prolongation of edge states against the symmetry-breaking perturbation is unique to non-Hermitian systems with multiple edge states and anti-linear symmetry. Toward experimental verifications, we propose a procedure to determine the number of multiple edge states from the time evolution of the probability distribution.


title: Quantum diamond spectrometer for nanoscale NMR and ESR spectroscopy

abstract: Nitrogen-vacancy (NV) quantum defects in diamond are sensitive detectors of magnetic fields. Due to their atomic size and optical readout capability, they have been used for magnetic resonance spectroscopy of nanoscale samples on diamond surfaces. Here we present a protocol for fabricating NV-diamond chips and for constructing and operating a simple, low-cost quantum diamond spectrometer for performing nuclear magnetic resonance (NMR) and electron spin resonance (ESR) spectroscopy in nanoscale volumes. The instrument is based on a commercially-available diamond chip, with an ion-implanted NV-ensemble at a depth of ~ 10 nm below the diamond surface. The spectrometer operates at low magnetic fields (~ 300 G) and requires standard optical and microwave components for NV spin preparation, manipulation and readout. We demonstrate the utility of this device for nanoscale proton and fluorine NMR spectroscopy, as well as for the detection of transition metals via ESR noise spectroscopy. We estimate that the full protocol requires 2-3 months to implement, depending on the availability of equipment, diamond substrates, and user experience.


title: Disentangling Dynamics and Returns: Value Function Decomposition with Future Prediction

abstract: Value functions are crucial for model-free Reinforcement Learning (RL) to obtain a policy implicitly or guide the policy updates. Value estimation heavily depends on the stochasticity of environmental dynamics and the quality of reward signals. In this paper, we propose a two-step understanding of value estimation from the perspective of future prediction, through decomposing the value function into a reward-independent future dynamics part and a policy-independent trajectory return part. We then derive a practical deep RL algorithm from the above decomposition, consisting of a convolutional trajectory representation model, a conditional variational dynamics model to predict the expected representation of future trajectory and a convex trajectory return model that maps a trajectory representation to its return. Our algorithm is evaluated in MuJoCo continuous control tasks and shows superior results under both common settings and delayed reward settings.


title: From periodic sampling to irregular sampling through PNS (Periodic Nonuniform Sampling)

abstract: Resampling is an operation costly in calculation time and accuracy. It regularizes irregular sampling, replacing N data by N periodic estimations. This stage can be suppressed, using formulas built with incoming data and completed by sequences of elements which influence decreases when the number of data increases. Obviously, some spectral properties (for processes) and some asymptotic properties (for the sampling sequence) have to be fulfilled. In this paper, we explain that it is possible to elaborate a logical theory, starting from the ordinary periodic sampling, and generalized by the PNS (Periodic Nonuniform Sampling), to treat more general irregular samplings. The "baseband spectrum" hypothesis linked to the "Nyquist bound" (or Shannon bound) is generalized to spectra in a finite number of intervals, suited to the "Landau condition".


title: Experimental Interference Robustness Evaluation of IEEE 802.15.4-2015 OQPSK-DSSS and SUN-OFDM Physical Layers

abstract: In this paper, we experimentally evaluate and compare the robustness against interference of the OQPSK-DSSS (Offset Quadrature Phase Shift Keying - Direct Sequence Spread Spectrum) and the SUN-OFDM (Smart Utility Network - Orthogonal Frequency Division Multiplexing) physical layers, as defined in the IEEE 802.15.4-2015 standard. The objective of this study is to provide a comprehensive analysis of the impact different types of interference produce on these modulations, in terms of the resulting PDR (Packet Delivery Ratio) and depending on the length of the packet being transmitted. The results show that the SUN-OFDM physical layer provides significant benefits compared to the ubiquitous OQPSK-DSSS in terms of interference robustness, regardless of the interference type and the packet length. Overall, this demonstrates the suitability of choosing the SUN-OFDM physical layer when deploying low-power wireless networks in industrial scenarios, specially taking into consideration the possibility of trading-off robustness and spectrum efficiency depending on the application requirements.


title: Phase transition preceding magnetic long-range order in the double perovskite Ba2NaOsO6

abstract: Recent theoretical studies [Chen et al., Phys. Rev. B 82, 174440 (2010), Ishizuka et al., Phys. Rev. B 90, 184422 (2014)] for the magnetic Mott insulator Ba2NaOsO6 have proposed a low-temperature order parameter that breaks lattice rotational symmetry without breaking time reversal symmetry leading to a nematic phase just above magnetic ordering temperature. We present high-resolution calorimetric and magnetization data of the same Ba2NaOsO6 single crystal and show evidence for a weakly field-dependent phase transition occurring at a temperature of Ts ~ 9.5K, above the magnetic ordering temperature of Tc ~ 7.5K. This transition appears as a broadened step in the low-field temperature dependence of the specific heat. The evolution of the phase boundary with applied magnetic field suggests that this phase coincides with the phase of broken local point symmetry seen in high field NMR experiments [Lu et al., Nat.\ Comm. 8 14407 (2017)]. Furthermore, the magnetic field dependence of the specific heat provides clear indications for magnetic correlations persisting at temperatures between Tc and Ts where long-range magnetic order is absent giving support for the existence of the proposed nematic phase.


title: Penalized Push-Sum Algorithm for Constrained Distributed Optimization with Application to Energy Management in Smart Grid

abstract: We study distributed convex constrained optimization on a time-varying multi-agent network. Each agent has access to its own local cost function, its local constraints, and its instant number of out-neighbors. The collective goal is to minimize the sum of the cost functions over the set of all constraints. We utilize the push-sum protocol to be able to solve this distributed optimization problem. We adapt the push-sum optimization algorithm, which has been studied in context of unconstrained optimization so far, to convex constrained optimization by introducing an appropriate choice of penalty functions and penalty parameters. Under some additional technical assumptions on the gradients we prove convergence of the distributed penalty-based push-sum algorithm to the optimal value of the global objective function. We apply the proposed penalty-based push-sum algorithm to the problem of distributed energy management in smart grid and discuss the advantages of this novel procedure in comparison with existing ones.


title: The equations of motion for consistency of a post-Newtonian Lagrangian formulation

abstract: Equations of motion for a general relativistic post-Newtonian Lagrangian approach mainly refer to acceleration equations, i.e. differential equations of velocities. They are directly from the Euler-Lagrangian equations, and usually have higher-order terms truncated when they remain at the same post-Newtonian order of the Lagrangian. In this sense, they are incoherent equations of the Lagrangian and approximately conserve constants of motion in this system. In this paper, we show that the Euler-Lagrangian equations can also yield the equations of motion for consistency of the Lagrangian in the general case. The coherent equations are the \emph{differential} equations of generalized momenta rather than those of the velocities, and have no terms truncated. The velocities are not integration variables, but they can be solved from the \emph{algebraic} equations of the generalized momenta with an iterative method. Taking weak relativistic fields in the Solar System and strong relativistic fields of compact objects as examples, we numerically evaluate the accuracies of the constants of motion in the two sets of equations of motion. It is confirmed that these accuracies well satisfy the theoretical need if the chosen integrator can provide a high enough precision. The differences in the dynamical behavior of order and chaos between the two sets of equations are also compared. Unlike the incoherent post-Newtonian Lagrangian equations of motion, the coherent ones can theoretically, strictly conserve all integrals in some post-Newtonian Lagrangian problems, and therefore are worth recommending.


title: A note on the singular value decomposition of (skew-)involutory and (skew-)coninvolutory matrices

abstract: The singular values $\sigma >1$ of an $n \times n$ involutory matrix $A$ appear in pairs $(\sigma, \frac{1}{\sigma}),$ while the singular values $\sigma = 1$ may appear in pairs $(1,1)$ or by themselves. The left and right singular vectors of pairs of singular values are closely connected. This link is used to reformulate the singular value decomposition (SVD) of an involutory matrix as an eigendecomposition. This displays an interesting relation between the singular values of an involutory matrix and its eigenvalues. Similar observations hold for the SVD, the singular values and the coneigenvalues of (skew-)coninvolutory matrices.


title: Performance of Network-Assisted Full-Duplex for Cell-Free Massive MIMO

abstract: Network assisted full-duplex (NAFD) is a spatial-division duplex technique for future wireless networks with cell-free massive multiple-input multiple-output (CF massive MIMO) network, where a large number of remote antenna units (RAUs), either using half-duplex or full-duplex, jointly support truly flexible duplex including time-division duplex, frequency-division duplex and full duplex on demand of uplink and downlink traffic by using network MIMO methods. With NAFD, bi-directional data rates of the wireless network could be increased and end-to-end delay could be reduced. In this paper, the spectral efficiency of NAFD communications in CF massive MIMO network with imperfect channel state information (CSI) is investigated under spatial correlated channels. Based on large dimensional random matrix theory, the deterministic equivalents for the uplink sum-rate with minimum-mean-square-error (MMSE) receiver as well as the downlink sum-rate with zero-forcing (ZF) and regularized zero-forcing (RZF) beamforming are derived. Numerical results show that under various environmental settings, the deterministic equivalents are accurate in both a large-scale system and system with a finite number of antennas. It is also shown that with the downlink-to-uplink interference cancellation, the uplink spectral efficiency of CF massive MIMO with NAFD could be improved. The spectral efficiencies of NAFD with different duplex configurations such as in-band full-duplex, and half-duplex are compared. With the same total numbers of transmit and receive antennas, NAFD with half-duplex RAUs offers a higher spectral efficiency. To alleviate the uplink-to-downlink interference, a novel genetic algorithm based user scheduling strategy (GAS) is proposed. Simulation results show that the achievable downlink sum-rate by using the GAS is greatly improved compared to that by using the random user scheduling.


title: SQIL: Imitation Learning via Reinforcement Learning with Sparse Rewards

abstract: Learning to imitate expert behavior from demonstrations can be challenging, especially in environments with high-dimensional, continuous observations and unknown dynamics. Supervised learning methods based on behavioral cloning (BC) suffer from distribution shift: because the agent greedily imitates demonstrated actions, it can drift away from demonstrated states due to error accumulation. Recent methods based on reinforcement learning (RL), such as inverse RL and generative adversarial imitation learning (GAIL), overcome this issue by training an RL agent to match the demonstrations over a long horizon. Since the true reward function for the task is unknown, these methods learn a reward function from the demonstrations, often using complex and brittle approximation techniques that involve adversarial training. We propose a simple alternative that still uses RL, but does not require learning a reward function. The key idea is to provide the agent with an incentive to match the demonstrations over a long horizon, by encouraging it to return to demonstrated states upon encountering new, out-of-distribution states. We accomplish this by giving the agent a constant reward of r=+1 for matching the demonstrated action in a demonstrated state, and a constant reward of r=0 for all other behavior. Our method, which we call soft Q imitation learning (SQIL), can be implemented with a handful of minor modifications to any standard Q-learning or off-policy actor-critic algorithm. Theoretically, we show that SQIL can be interpreted as a regularized variant of BC that uses a sparsity prior to encourage long-horizon imitation. Empirically, we show that SQIL outperforms BC and achieves competitive results compared to GAIL, on a variety of image-based and low-dimensional tasks in Box2D, Atari, and MuJoCo.


title: Entropic Uncertainty Relations via Direct-Sum Majorization Relation for Generalized Measurements

abstract: We derive an entropic uncertainty relation for generalized positive-operator-valued measure (POVM) measurements via a direct-sum majorization relation using Schur concavity of entropic quantities in a finite-dimensional Hilbert space. Our approach provides a significant improvement of the uncertainty bound compared with previous majorization-based approaches [S. Friendland, V. Gheorghiu and G. Gour, Phys. Rev. Lett. 111, 230401 (2013); A. E. Rastegin and K. \.Zyczkowski, J. Phys. A, 49, 355301 (2016)], particularly by extending the direct-sum majorization relation first introduced in [\L. Rudnicki, Z. Pucha{\l}a and K. \.{Z}yczkowski, Phys. Rev. A 89, 052115 (2014)]. We illustrate the usefulness of our uncertainty relations by considering a pair of qubit observables in a two-dimensional system and randomly chosen unsharp observables in a three-dimensional system. We also demonstrate that our bound tends to be stronger than the generalized Maassen--Uffink bound with an increase in the unsharpness effect. Furthermore, we extend our approach to the case of multiple POVM measurements, thus making it possible to establish entropic uncertainty relations involving more than two observables.


title: Bayesian Inference of Social Norms as Shared Constraints on Behavior

abstract: People act upon their desires, but often, also act in adherence to implicit social norms. How do people infer these unstated social norms from others' behavior, especially in novel social contexts? We propose that laypeople have intuitive theories of social norms as behavioral constraints shared across different agents in the same social context. We formalize inference of norms using a Bayesian Theory of Mind approach, and show that this computational approach provides excellent predictions of how people infer norms in two scenarios. Our results suggest that people separate the influence of norms and individual desires on others' actions, and have implications for modelling generalizations of hidden causes of behavior.


title: On the real homotopy type of generalized complex nilmanifolds

abstract: We prove that for any $n\geq 4$ there are infinitely many real homotopy types of $2n$-dimensional nilmanifolds admitting generalized complex structures of every type $k$, for $0 \leq k \leq n$. This is in deep contrast to the $6$-dimensional case.


title: Practical and Consistent Estimation of f-Divergences

abstract: The estimation of an f-divergence between two probability distributions based on samples is a fundamental problem in statistics and machine learning. Most works study this problem under very weak assumptions, in which case it is provably hard. We consider the case of stronger structural assumptions that are commonly satisfied in modern machine learning, including representation learning and generative modelling with autoencoder architectures. Under these assumptions we propose and study an estimator that can be easily implemented, works well in high dimensions, and enjoys faster rates of convergence. We verify the behavior of our estimator empirically in both synthetic and real-data experiments, and discuss its direct implications for total correlation, entropy, and mutual information estimation.


title: Removing all periodic boundary conditions: Efficient non-equilibrium Green function calculations

abstract: We describe a method and its implementation for calculating electronic structure and electron transport without approximating the structure using periodic super-cells. This effectively removes spurious periodic images and interference effects. Our method is based on already established methods readily available in the non-equilibrium Green function formalism and allows for non-equilibrium transport. We present examples of a N defect in graphene, finite voltage bias transport in a point-contact to graphene, and a graphene-nanoribbon junction. This method is less costly, in terms of CPU-hours, than the super-cell approximation.


title: On the impact of Majorana masses in gravity-matter systems

abstract: We investigate the Higgs-Yukawa system with Majorana masses of a fermion within asymptotically safe quantum gravity. Using the functional renormalization group method we derive the beta functions of the Majorana masses and the Yukawa coupling constant and discuss the possibility of a non-trivial fixed point for the Yukawa coupling constant. In the gravitational sector we take into account higher derivative terms such as $R^2$ and $R_{\mu\nu}R^{\mu\nu}$ in addition to the Einstein-Hilbert term for our truncation. For a certain value of the gravitational coupling constants and the Majorana masses, the Yukawa coupling constant has a non-trivial fixed point value and becomes an irrelevant parameter being thus a prediction of the theory. We also discuss consequences due to the Majorana mass terms to the running of the quartic coupling constant in the scalar sector.


title: Study of new class of q-fractional derivative and its properties

abstract: There are several approaches to the fractional differential operator. Generalized q-fractional difference operator was defined in the aid of q-iterated Cauchy integral and q-calculus techniques. We introduce Caputo type derivative related to this operator and some properties of this operator as boundness are investigated. Moreover, related q-difference equation is discussed and in the aid of q-successive approximation , existence and uniqueness are studied.


title: Finding Task-Relevant Features for Few-Shot Learning by Category Traversal

abstract: Few-shot learning is an important area of research. Conceptually, humans are readily able to understand new concepts given just a few examples, while in more pragmatic terms, limited-example training situations are common in practice. Recent effective approaches to few-shot learning employ a metric-learning framework to learn a feature similarity comparison between a query (test) example, and the few support (training) examples. However, these approaches treat each support class independently from one another, never looking at the entire task as a whole. Because of this, they are constrained to use a single set of features for all possible test-time tasks, which hinders the ability to distinguish the most relevant dimensions for the task at hand. In this work, we introduce a Category Traversal Module that can be inserted as a plug-and-play module into most metric-learning based few-shot learners. This component traverses across the entire support set at once, identifying task-relevant features based on both intra-class commonality and inter-class uniqueness in the feature space. Incorporating our module improves performance considerably (5%-10% relative) over baseline systems on both mini-ImageNet and tieredImageNet benchmarks, with overall performance competitive with recent state-of-the-art systems.


title: Steady Bell state generation via magnon-photon coupling

abstract: We show that parity-time ($\mathcal{PT}$) symmetry can be spontaneously broken in the recently reported energy level attraction of magnons and cavity photons. In the $\mathcal{PT}$-broken phase, magnon and photon form a high-fidelity Bell state with maximum entanglement. This entanglement is steady and robust against the perturbation of environment, in contrast to the general wisdom that expects instability of the hybridized state when the symmetry is broken. This anomaly is further understood by the compete of non-Hermitian evolution and particle number conservation of the hybridized system. As a comparison, neither $\mathcal{PT}$-symmetry broken nor steady magnon-photon entanglement is observed inside the normal level repulsion case. Our results may open a novel window to utilize magnon-photon entanglement as a resource for quantum technologies.


title: Shearing deformations of Hitchin representations and the Atiyah-Bott-Goldman symplectic form

abstract: The Hitchin component Hit_n(S) of a closed surface S is a preferred component of the character variety X_PSL_n(R)(S) consisting of homomorphisms from the fundamental group pi_1(S) to the Lie group PSL_n(R)(S), whose elements enjoy remarkable geometric and dynamical properties. We consider a certain type of deformations of the elements of Hit_n(S), called shearing deformations, and compute their pairing for the Atiyah-Bott-Goldman symplectic form of the character variety.


title: Accessing the bath information in open quantum systems with the stochastic c-number Langevin equation method

abstract: In traditional open quantum systems, the baths are usually traced out so that only the system information is left in the equations of motion. However, recent studies reveal that using only the system degrees of freedom can be insufficient. In this work, we develop a stochastic c-number Langevin equation method which can conveniently access the bath information. In our method, the studied quantities are the expectation values of operators which can contain both system operators and bath operators. The dynamics of the operators of interest is formally divided into separate system and bath parts, with auxiliary stochastic fields. After solving the independent stochastic dynamics of the system part and the bath part, we can recombine them by taking the average over these stochastic fields to obtain the desired quantities. Several applications of the theory are highlighted, including the pure dephasing model, the spin-boson model, and an optically excited quantum dot coupled to a bath of phonons.


title: On the Schr\"{o}dinger-Poisson system with indefinite potential and $3$-sublinear nonlinearity

abstract: We consider a class of stationary Schr\"{o}dinger-Poisson systems with a general nonlinearity $f(u)$ and coercive sign-changing potential $V$ so that the Schr\"{o}dinger operator $-\Delta+V$ is indefinite. Previous results in this framework required $f$ to be strictly $3$-superlinear, thus missing the paramount case of the Gross-Pitaevskii-Poisson system, where $f(t)=|t|^{2}t$; in this paper we fill this gap, obtaining non-trivial solutions when $f$ is not necessarily $3$-superlinear.


title: Distinguishability classes, resource sharing, and bound entanglement distribution

abstract: Suppose a set of $m$-partite, $m\geq3$, pure orthogonal fully separable states is given. We consider the task of distinguishing these states perfectly by local operations and classical communication (LOCC) in different $k$-partitions, $1<k<m$. Based on this task, it is possible to classify the sets of product states into different classes. For tripartite systems, a classification of the sets with explicit examples is presented. Few important cases related to the aforesaid task are also studied when the number of parties, $m\geq4$. These cases never appear for a tripartite system. However, to distinguish any LOCC indistinguishable set, entanglement can be used as resource. An important objective of the present study is to learn about the efficient ways of resource sharing among the parties. We also find an interesting application of multipartite product states which are LOCC indistinguishable in a particular $k$-partition. Starting from such product states, we constitute a protocol to distribute bound entanglement between two spatially separated parties by sending a separable qubit.


title: Gravitational wave standard sirens and cosmological parameter measurement

abstract: Gravitational wave standard sirens can be used to arbitrate the $H_0$ tension within the following several years. In the future, the observation of gravitational wave standard sirens would be developed into a powerful new cosmological probe because they can play an important role in breaking parameter degeneracies formed by other observations. Therefore, gravitational wave standard sirens are of great importance for the future accurate measurement of cosmological parameters.


title: Attributing and Referencing (Research) Software: Best Practices and Outlook from Inria

abstract: Software is a fundamental pillar of modern scientiic research, not only in computer science, but actually across all elds and disciplines. However, there is a lack of adequate means to cite and reference software, for many reasons. An obvious rst reason is software authorship, which can range from a single developer to a whole team, and can even vary in time. The panorama is even more complex than that, because many roles can be involved in software development: software architect, coder, debugger, tester, team manager, and so on. Arguably, the researchers who have invented the key algorithms underlying the software can also claim a part of the authorship. And there are many other reasons that make this issue complex. We provide in this paper a contribution to the ongoing eeorts to develop proper guidelines and recommendations for software citation, building upon the internal experience of Inria, the French research institute for digital sciences. As a central contribution, we make three key recommendations. (1) We propose a richer taxonomy for software contributions with a qualitative scale. (2) We claim that it is essential to put the human at the heart of the evaluation. And (3) we propose to distinguish citation from reference.


title: Friction Scaling Laws for Transport in Bacterial Turbulence

abstract: Understanding the role of frictional drag in diffusive transport is an important problem in the field of active turbulence. Using a continuum model that applies well to bacterial suspensions, we investigate the role of Ekmann friction on the transport of passive (Lagrangian) tracers that go with the local flow. We find that the crossover from ballistic to diffusive regime happens at a time scale $\tau_c$ that attains a minimum at zero friction, meaning that both injection and dissipation of energy delay the relaxation of tracers. We explain this by proposing that $\tau_c \sim 2 \ell^*/u_{\text{rms}}$, where $\ell^*$ is a dominant length scale extracted from energy spectrum peak, and $u_{\text{rms}}$ is a velocity scale that sets the kinetic energy at steady state, both scales monotonically decrease with friction. Finally, we predict robust scaling laws for $\ell^*$, $u_{\text{rms}}$ and the diffusion coefficient $\mathcal{D} \sim \ell^* u_{\text{rms}} / 2$, that are valid over a wide range of fluid friction. Our findings might be relevant to transport phenomena in a generic active fluid.


title: On Timed Scope-bounded Context-sensitive Languages

abstract: In (DLT 2016) we studied timed context sensitive languages characterized by multiple stack push down automata (MPA), with an explicit bound on number of stages where in each stage at most one stack is used (k-round MPA). In this paper, we continue our work on timed MPA and study a subclass in which a symbol corresponding to a stack being pushed in it must be popped within fixed number of contexts of that stack---scope-bounded push-down automata with multiple stacks (k-scope MPA). We use Visibly Push-down Alphabet and Event Clocks to show that timed k-scope MPA have decidable reachability problem; are closed under Boolean operations; and have an equivalent logical characterization.


title: On the lattice Hadwiger number of superballs and some other bodies

abstract: We show that the lattice Hadwiger number of superballs is exponential in the dimension. The same is true for some more general convex bodies.


title: DockerizeMe: Automatic Inference of Environment Dependencies for Python Code Snippets

abstract: Platforms like Stack Overflow and GitHub's gist system promote the sharing of ideas and programming techniques via the distribution of code snippets designed to illustrate particular tasks. Python, a popular and fast-growing programming language, sees heavy use on both sites, with nearly one million questions asked on Stack Overflow and 400 thousand public gists on GitHub. Unfortunately, around 75% of the Python example code shared through these sites cannot be directly executed. When run in a clean environment, over 50% of public Python gists fail due to an import error for a missing library. We present DockerizeMe, a technique for inferring the dependencies needed to execute a Python code snippet without import error. DockerizeMe starts with offline knowledge acquisition of the resources and dependencies for popular Python packages from the Python Package Index (PyPI). It then builds Docker specifications using a graph-based inference procedure. Our inference procedure resolves import errors in 892 out of nearly 3,000 gists from the Gistable dataset for which Gistable's baseline approach could not find and install all dependencies.


title: Learning Multiple Markov Chains via Adaptive Allocation

abstract: We study the problem of learning the transition matrices of a set of Markov chains from a single stream of observations on each chain. We assume that the Markov chains are ergodic but otherwise unknown. The learner can sample Markov chains sequentially to observe their states. The goal of the learner is to sequentially select various chains to learn transition matrices uniformly well with respect to some loss function. We introduce a notion of loss that naturally extends the squared loss for learning distributions to the case of Markov chains, and further characterize the notion of being \emph{uniformly good} in all problem instances. We present a novel learning algorithm that efficiently balances \emph{exploration} and \emph{exploitation} intrinsic to this problem, without any prior knowledge of the chains. We provide finite-sample PAC-type guarantees on the performance of the algorithm. Further, we show that our algorithm asymptotically attains an optimal loss.


title: On Motion Control and Machine Learning for Robotic Assembly

abstract: Industrial robots typically require very structured and predictable working environments, and explicit programming, in order to perform well. Therefore, expensive and time-consuming engineering work is a major obstruction when mediating tasks to robots. This thesis presents methods that decrease the amount of engineering work required for robot programming, and increase the ability of robots to handle unforeseen events. This has two main benefits: Firstly, the programming can be done faster, and secondly, it becomes accessible to users without engineering experience. Even though these methods could be used for various types of robot applications, this thesis is focused on robotic assembly tasks.


title: Autonomous Interpretation of Demonstrations for Modification of Dynamical Movement Primitives

abstract: The concept of dynamical movement primitives (DMPs) has become popular for modeling of motion, commonly applied to robots. This paper presents a framework that allows a robot operator to adjust DMPs in an intuitive way. Given a generated trajectory with a faulty last part, the operator can use lead-through programming to demonstrate a corrective trajectory. A modified DMP is formed, based on the first part of the faulty trajectory and the last part of the corrective one. A real-time application is presented and verified experimentally.


title: Enhancement of laser-driven ion acceleration in non-periodic nanostructured targets

abstract: Using particle-in-cell simulations, we demonstrate an improvement of the target normal sheath acceleration (TNSA) of protons in non-periodically nanostructured targets with micron-scale thickness. Compared to standard flat foils, an increase in the proton cutoff energy by up to a factor of two is observed in foils coated with nanocones or perforated with nanoholes. The latter nano-perforated foils yield the highest enhancement, which we show to be robust over a broad range of foil thicknesses and hole diameters. The improvement of TNSA performance results from more efficient hot-electron generation, caused by a more complex laser-electron interaction geometry and increased effective interaction area and duration. We show that TNSA is optimized for a nanohole distribution of relatively low areal density and that is not required to be periodic, thus relaxing the manufacturing constraints.


title: Small-time stabilization of nonholonomic or underactuated mechanical systems: the unicycle and the slider examples

abstract: This paper concerns the small-time stabilization of some classes of mechanical systems which are not stabilizable by means of at least continuous state feedback laws. This is the case of nonholonomic mechanical systems, an example being the unicycle robot, or for underactuated mechanical systems, an example being the slider. Explicit time-varying feedback laws leading to small-time stabilization are constructed for these two control systems. The main tools are homogeneity, backstepping, and desingularization technics.


title: A collaborative filtering model with heterogeneous neural networks for recommender systems

abstract: In recent years, deep neural network is introduced in recommender systems to solve the collaborative filtering problem, which has achieved immense success on computer vision, speech recognition and natural language processing. On one hand, deep neural network can be used to model the auxiliary information in recommender systems. On the other hand, it is also capable of modeling nonlinear relationships between users and items. One advantage of deep neural network is that the performance of the algorithm can be easily enhanced by augmenting the depth of the neural network. However, two potential problems may emerge when the deep neural work is exploited to model relationships between users and items. The fundamental problem is that the complexity of the algorithm grows significantly with the increment in the depth of the neural network. The second one is that a deeper neural network may undermine the accuracy of the algorithm. In order to alleviate these problems, we propose a hybrid neural network that combines heterogeneous neural networks with different structures. The experimental results on real datasets reveal that our method is superior to the state-of-the-art methods in terms of the item ranking.


title: Graph quasivarieties

abstract: Introduced by C. R. Shallon in 1979, graph algebras establish a useful connection between graph theory and universal algebra. This makes it possible to investigate graph varieties and graph quasivarieties, i.e., classes of graphs described by identities or quasi-identities. In this paper, graph quasivarieties are characterized as classes of graphs closed under directed unions of isomorphic copies of finite strong pointed subproducts.


title: Proximity Effect in Superconducting Heterostructures with Strong Spin-Orbit Coupling and Spin Splitting

abstract: It has been shown that singlet Cooper pairs can be converted into triplet ones and diffuse into a ferromagnet over a long distance in a phenomenon known as the long-range proximity effect (LRPE). This happens in materials with inhomogeneous magnetism or spin-orbit coupling (SOC). Most of the previous studies focus on the cases with small SOC and exchange field. However, the physics was not clear when SOC and exchange field strength are both much greater than the disorder strength. In this work, we consider a two dimensional system with a large Rashba-type SOC and exchange field in the case where only one band is partially occupied. We develop a generalized quasiclassical theory by projecting the Green function onto the partially occupied band (POB). We find that when the SOC energy scale is comparable with the exchange field, there is no LRPE. The reason is that the nonmagnetic impurities together with the large SOC and exchange field can effectively generate spin-flip scattering, which suppresses the proximity effect. We also show that when increasing either SOC or exchange field, the decay length of superconducting correlations can be significantly increased due to an approximately restored time reversal symmetry or spin rotation symmetry around the $z$ (out-of-plane) axis.


title: Provably Powerful Graph Networks

abstract: Recently, the Weisfeiler-Lehman (WL) graph isomorphism test was used to measure the expressive power of graph neural networks (GNN). It was shown that the popular message passing GNN cannot distinguish between graphs that are indistinguishable by the 1-WL test (Morris et al. 2018; Xu et al. 2019). Unfortunately, many simple instances of graphs are indistinguishable by the 1-WL test. In search for more expressive graph learning models we build upon the recent k-order invariant and equivariant graph neural networks (Maron et al. 2019a,b) and present two results: First, we show that such k-order networks can distinguish between non-isomorphic graphs as good as the k-WL tests, which are provably stronger than the 1-WL test for k>2. This makes these models strictly stronger than message passing models. Unfortunately, the higher expressiveness of these models comes with a computational cost of processing high order tensors. Second, setting our goal at building a provably stronger, simple and scalable model we show that a reduced 2-order network containing just scaled identity operator, augmented with a single quadratic operation (matrix multiplication) has a provable 3-WL expressive power. Differently put, we suggest a simple model that interleaves applications of standard Multilayer-Perceptron (MLP) applied to the feature dimension and matrix multiplication. We validate this model by presenting state of the art results on popular graph classification and regression tasks. To the best of our knowledge, this is the first practical invariant/equivariant model with guaranteed 3-WL expressiveness, strictly stronger than message passing models.


title: Learning to Detect and Retrieve Objects from Unlabeled Videos

abstract: Learning an object detector or retrieval requires a large data set with manual annotations. Such data sets are expensive and time consuming to create and therefore difficult to obtain on a large scale. In this work, we propose to exploit the natural correlation in narrations and the visual presence of objects in video, to learn an object detector and retrieval without any manual labeling involved. We pose the problem as weakly supervised learning with noisy labels, and propose a novel object detection paradigm under these constraints. We handle the background rejection by using contrastive samples and confront the high level of label noise with a new clustering score. Our evaluation is based on a set of 11 manually annotated objects in over 5000 frames. We show comparison to a weakly-supervised approach as baseline and provide a strongly labeled upper bound.


title: A challenge for Martian lightning: Limits of collisional charging at low pressure

abstract: Collisional charging is one potential initial step in generating lightning. In this work, we study the charging of colliding monodisperse, spherical basalt grains depending on ambient pressure. We used grains of 1.0 to 1.2 mm in one set and 2.0 to 2.4 mm in another set. We varied the ambient pressure between 0.03 mbar and 80 mbar. This especially includes Martian pressure being 6 mbar on average. At a few mbar the net charge gathering on colliding grains has a minimum. A smooth incline in charging occurs for larger pressures. Toward lower pressure the charge increases steeply. The pressure dependence is in agreement to a model where the maximum charge is limited by a gas discharge occurring between two charged colliding grains shortly after or before a collision. The capability of building up charge is at a minimum exactly in the range of Martian pressures. The charges on grains are at least a factor 5 smaller than at the highest pressure tested and still smaller compared to ambient pressure on Earth. This implies that on Mars collisional charging and the potential of subsequent generation of lightning or other large scale discharges are strongly reduced compared to Earth. This might result in less frequent and less energetic lightning on Mars.


title: Label Prediction Framework for Semi-Supervised Cross-Modal Retrieval

abstract: Cross-modal data matching refers to retrieval of data from one modality, when given a query from another modality. In general, supervised algorithms achieve better retrieval performance compared to their unsupervised counterpart, as they can learn better representative features by leveraging the available label information. However, this comes at the cost of requiring huge amount of labeled examples, which may not always be available. In this work, we propose a novel framework in a semi-supervised setting, which can predict the labels of the unlabeled data using complementary information from different modalities. The proposed framework can be used as an add-on with any baseline crossmodal algorithm to give significant performance improvement, even in case of limited labeled data. Finally, we analyze the challenging scenario where the unlabeled examples can even come from classes not in the training data and evaluate the performance of our algorithm under such setting. Extensive evaluation using several baseline algorithms across three different datasets shows the effectiveness of our label prediction framework.


title: On the $L^p$-theory of vector-valued elliptic operators

abstract: In this paper, we study vector--valued elliptic operators of the form $\mathcal{L}f:=\mathrm{div}(Q\nabla f)-F\cdot\nabla f+\mathrm{div}(Cf)-Vf$ acting on vector-valued functions $f:\mathbb{R}^d\to\mathbb{R}^m$ and involving coupling at zero and first order terms. We prove that $\mathcal{L}$ admits realizations in $L^p(\mathbb{R}^d,\mathbb{R}^m)$, for $1<p<\infty$, that generate analytic strongly continuous semigroups provided that $V=(v_{ij})_{1\le i,j\le m}$ is a matrix potential with locally integrable entries satisfying a sectoriality condition, the diffusion matrix $Q$ is symmetric and uniformly elliptic and the drift coefficients $F=(F_{ij})_{1\le i,j\le m}$ and $C=(C_{ij})_{1\le i,j\le m}$ are such that $F_{ij},C_{ij}:\mathbb{R}^d\to\mathbb{R}^d$ are bounded. We also establish a result of local elliptic regularity for the operator $\mathcal{L}$, we investigate on the $L^p$-maximal domain of $\mathcal{L}$ and we characterize the positivity of the associated semigroup.


title: The Shape of Data: Intrinsic Distance for Data Distributions

abstract: The ability to represent and compare machine learning models is crucial in order to quantify subtle model changes, evaluate generative models, and gather insights on neural network architectures. Existing techniques for comparing data distributions focus on global data properties such as mean and covariance; in that sense, they are extrinsic and uni-scale. We develop a first-of-its-kind intrinsic and multi-scale method for characterizing and comparing data manifolds, using a lower-bound of the spectral variant of the Gromov-Wasserstein inter-manifold distance, which compares all data moments. In a thorough experimental study, we demonstrate that our method effectively discerns the structure of data manifolds even on unaligned data of different dimensionalities; moreover, we showcase its efficacy in evaluating the quality of generative models.


title: Audio2Face: Generating Speech/Face Animation from Single Audio with Attention-Based Bidirectional LSTM Networks

abstract: We propose an end to end deep learning approach for generating real-time facial animation from just audio. Specifically, our deep architecture employs deep bidirectional long short-term memory network and attention mechanism to discover the latent representations of time-varying contextual information within the speech and recognize the significance of different information contributed to certain face status. Therefore, our model is able to drive different levels of facial movements at inference and automatically keep up with the corresponding pitch and latent speaking style in the input audio, with no assumption or further human intervention. Evaluation results show that our method could not only generate accurate lip movements from audio, but also successfully regress the speaker's time-varying facial movements.


title: Correlation Effects in Orbital Magnetism

abstract: Orbital magnetization is known empirically to play an important role in several magnetic phenomena, such as permanent magnetism and ferromagnetic superconductivity. Within the recently developed ''modern theory of orbital magnetization'', theoretical insight has been gained into the nature of this often neglected contribution to magnetism, but is based on an underlying mean-field approximation. From this theory, a few treatments have emerged which also take into account correlations beyond the mean-field approximation. Here, we apply the scheme developed in a previous work [Phys. Rev. B ${\bf \text{93}}$, 161104(R) (2016)] to the Haldane-Hubbard model to investigate the effect of charge fluctuations on the orbital magnetization within the $GW$ approximation. Qualitatively, we are led to distinguish between two quite different situations: (i) When the lattice potential is larger than the nearest neighbor hopping, the correlations are found to boost the orbital magnetization. (ii) If the nearest neighbor hopping is instead larger than the lattice potential, the correlations reduce the magnetization.


title: Towards the solution of an integrable $D_2^{(2)}$ spin chain

abstract: Two branches of integrable open quantum-group invariant $D_{n+1}^{(2)}$ quantum spin chains are known. For one branch (epsilon=0), a complete Bethe ansatz solution has been proposed. However, the other branch (epsilon=1) has so far resisted solution. In an effort to address this problem, we consider here the simplest case n=1. We propose a Bethe ansatz solution, which however is not complete, as it describes only the transfer-matrix eigenvalues with odd degeneracy. We also consider a proposal for the missing eigenvalues.


title: Multigranular modeling of ionic liquids

abstract: Ionic liquids are a special category of molten salts with melting points near ambient temperatures or by convention below 100 C. Owing to their numerous valuable physicochemical properties as bulk liquids, solvents, at surfaces and in confined environments, ILs have attracted increasing attention in both academic and industrial communities in a variety of application areas involving physics, chemistry, material science and engineering. Due to their nearly limitless number of combinations of cation and anion pairs and mixtures with cosolvents, a molecular level understanding of their hierarchical structures and dynamics, requiring strategies to connect several length and time scales, is of crucial significance for rational design of ILs with desired properties, and thereafter refining their functional performance in applications. As an invaluable compliment to experiments from synthesis to characterization, computational modelling and simulations have significantly increased our understanding on how physicochemical and structural properties of ILs can be controlled by their underlying chemical and molecular structures. In this chapter, we will give examples from our own modelling work based on selected IL systems, with focus on imidazolium based and tetraalkylphosphonium orthoborate ILs, studied at several spatiotemporal scales in different environments and with particular attention to applications of high technological interest.


title: Expansions of the $p$-adic numbers that interprets the ring of integers

abstract: Let $\widetilde{\mathbb{Q}_p}$ be the field of $p$-adic numbers in the language of rings. In this paper we consider the theory of $\widetilde{\mathbb{Q}_p}$ expanded by two predicates interpreted by multiplicative subgroups $\alpha^\mathbb{Z}$ and $\beta^\mathbb{Z}$ where $\alpha, \beta\in\mathbb{N}$ are multiplicatively independent. We show that the theory of this structure interprets Peano arithmetic if $\alpha$ and $\beta$ have positive $p$-adic valuation. If either $\alpha$ or $\beta$ has zero valuation we show that the theory of $(\widetilde{\mathbb{Q}_p}, \alpha^\mathbb{Z}, \beta^\mathbb{Z})$ does not interpret Peano arithmetic. In that case we also prove that the theory is decidable iff the theory of $(\widetilde{\mathbb{Q}_p}, \alpha^\mathbb{Z}\cdot \beta^\mathbb{Z})$ is decidable.


title: 3D Trajectory Optimization for Secure UAV Communication with CoMP Reception

abstract: This paper studies a secrecy unmanned aerial vehicle (UAV) communication system with coordinated multi-point (CoMP) reception, in which one UAV sends confidential messages to a set of distributed ground nodes (GNs) that can cooperate in signal detection, in the presence of several colluding suspicious eavesdroppers. Different from prior works considering the two-dimensional (2D) horizontal trajectory design in the non-CoMP scenario, this paper additionally exploits the UAV's vertical trajectory (or altitude) control for further improving the secrecy communication performance with CoMP. In particular, we jointly optimize the three dimensional (3D) trajectory and transmit power allocation of the UAV to maximize the average secrecy rate at GNs over a particular flight period, subject to the UAV's maximum flight speed and maximum transmit power constraints. To solve the non-convex optimization problem, we propose an alternating-optimization-based approach, which optimizes the transmit power allocation and trajectory design in an alternating manner, by convex optimization and successive convex approximation (SCA), respectively. Numerical results show that in the scenario with CoMP reception, our proposed 3D trajectory optimization significantly outperforms the conventional 2D horizontal trajectory design, by exploiting the additional degree of freedom in vertical trajectory.


title: Utility/Privacy Trade-off through the lens of Optimal Transport

abstract: Strategic information is valuable either by remaining private (for instance if it is sensitive) or, on the other hand, by being used publicly to increase some utility. These two objectives are antagonistic and leaking this information might be more rewarding than concealing it. Unlike classical solutions that focus on the first point, we consider instead agents that optimize a natural trade-off between both objectives. We formalize this as an optimization problem where the objective mapping is regularized by the amount of information revealed to the adversary (measured as a divergence between the prior and posterior on the private knowledge). Quite surprisingly, when combined with the entropic regularization, the Sinkhorn loss naturally emerges in the optimization objective, making it efficiently solvable. We apply these techniques to preserve some privacy in online repeated auctions.


title: The self-control of Cosmic Rays

abstract: Several independent pieces of information have recently hinted at a prominent role of cosmic rays in controlling their own transport, within and around the sources as well as throughout their propagation on Galactic scales and even possibly during their escape from the Galaxy. I will discuss this topic with special attention to the theoretical implications and possible additional observational evidence that we may seek with upcoming experiments.


title: Radial Prediction Layer

abstract: For a broad variety of critical applications, it is essential to know how confident a classification prediction is. In this paper, we discuss the drawbacks of softmax to calculate class probabilities and to handle uncertainty in Bayesian neural networks. We introduce a new kind of prediction layer called radial prediction layer (RPL) to overcome these issues. In contrast to the softmax classification, RPL is based on the open-world assumption. Therefore, the class prediction probabilities are much more meaningful to assess the uncertainty concerning the novelty of the input. We show that neural networks with RPLs can be learned in the same way as neural networks using softmax. On a 2D toy data set (spiral data), we demonstrate the fundamental principles and advantages. On the real-world ImageNet data set, we show that the open-world properties are beneficially fulfilled. Additionally, we show that RPLs are less sensible to adversarial attacks on the MNIST data set. Due to its features, we expect RPL to be beneficial in a broad variety of applications, especially in critical environments, such as medicine or autonomous driving.