title: Superconductivity by Hidden Spin Fluctuations in Electron-Doped Iron Selenide

abstract: Berg, Metlitski and Sachdev, Science 338, 1606 (2012), have shown that the exchange of hidden spin fluctuations by conduction electrons with two orbitals can result in high-temperature superconductivity in copper-oxide materials. We introduce a similar model for high-temperature iron-selenide superconductors that are electron doped. Conduction electrons carry the minimal 3d xz and 3d yz iron-atom orbitals. Low-energy hidden spin fluctuations at the checkerboard wavevector Q_AF result from nested Fermi surfaces at the center and at the corner of the unfolded (one-iron) Brillouin zone. Magnetic frustration from super-exchange interactions via the selenium atoms stabilize hidden spin fluctuations at Q_AF versus true spin fluctuations. At half filling, Eliashberg theory based purely on the exchange of hidden spin fluctuations reveals a Lifshitz transition to electron/hole Fermi surface pockets at the corner of the folded (two-iron) Brillouin zone, but with vanishing spectral weights. The underlying hidden spin-density wave groundstate is therefore a Mott insulator. Upon electron doping, Eliashberg theory finds that the spectral weights of the hole Fermi surface pockets remain vanishingly small, while the spectral weights of the larger electron Fermi surface pockets become appreciable. This prediction is therefore consistent with the observation of electron Fermi surface pockets alone in electron-doped iron selenide by angle-resolved photoemission spectroscopy (ARPES). Eliashberg theory also finds an instability to S+- superconductivity at electron doping, with isotropic Cooper pairs that alternate in sign between the visible electron Fermi surface pockets and the faint hole Fermi surface pockets. Comparison with the isotropic energy gaps observed in electron-doped iron selenide by ARPES and by scanning tunneling microscopy (STM) is consistent with short-range hidden magnetic order.


title: Superconductivity in the regime of attractive interactions in the Tomonaga-Luttinger liquid

abstract: While the vast majority of known physical realizations of the Tomonaga-Luttinger liquid (TLL) have repulsive interactions defined with the dimensionless interaction parameter $K_{\rm c}<1$, we here report that Rb$_2$Mo$_3$As$_3$ is in the opposite TLL regime of attractive interactions. This is concluded from a TLL-characteristic power-law temperature dependence of the $^{87}$Rb spin-lattice relaxation rates over broad temperature range yielding the TLL interaction parameter for charge collective modes $K_{\rm c}=1.4$. The TLL of the one-dimensional band can be traced almost down to $T_{\rm c} = 10.4 $~K, where the bulk superconducting state is stabilized by the presence of a three-dimensional band and characterized by the $^{87}$Rb temperature independent Knight shift and the absence of Hebel-Slichter coherence peak in the relaxation rates. The small superconducting gap measured in high magnetic fields reflects either the importance of the vortex core relaxation or the uniqueness of the superconducting state stemming from the attractive interactions defining the precursor TLL.


title: From abstract items to latent spaces to observed data and back: Compositional Variational Auto-Encoder

abstract: Conditional Generative Models are now acknowledged an essential tool in Machine Learning. This paper focuses on their control. While many approaches aim at disentangling the data through the coordinate-wise control of their latent representations, another direction is explored in this paper. The proposed CompVAE handles data with a natural multi-ensemblist structure (i.e. that can naturally be decomposed into elements). Derived from Bayesian variational principles, CompVAE learns a latent representation leveraging both observational and symbolic information. A first contribution of the approach is that this latent representation supports a compositional generative model, amenable to multi-ensemblist operations (addition or subtraction of elements in the composition). This compositional ability is enabled by the invariance and generality of the whole framework w.r.t. respectively, the order and number of the elements. The second contribution of the paper is a proof of concept on synthetic 1D and 2D problems, demonstrating the efficiency of the proposed approach.


title: Rectifiability of RCD(K,N) spaces via $\delta$-splitting maps

abstract: In this note we give new proofs of rectifiability of RCD(K,N) spaces as metric measure spaces and lower semicontinuity of the essential dimension, via $\delta$-splitting maps. The arguments are inspired by the Cheeger-Colding theory for Ricci limits and rely on the second order differential calculus developed by Gigli and on the convergence and stability results by Ambrosio-Honda.


title: Density of condensate of a dilute Bose gas in improved Hartree-Fock approximation

abstract: In a manner of Cornwal-Jackiw-Tomboulis effective action approach, the density of condensate of a dilute Bose gas confined between two planar walls is investigated within the framework of improved Hartree-Fock. Thereby, the quantum fluctuations are taken into account with presence of high-order terms in the momentum integrals. Our results show that the quantum fluctuations significantly belittle the density of condensate compared with square of the expectation value of the field operator. The comparison with relating results of Gross-Pitaevskii theory is made.


title: Emergence of synchronised and amplified oscillations in neuromorphic networks with long-range interactions

abstract: Neuromorphic networks can be described in terms of coarse-grained variables, where emergent sustained behaviours spontaneously arise if stochasticity is properly taken in account. For example it has been recently found that a directed linear chain of connected patch of neurons amplifies an input signal, also tuning its characteristic frequency. Here we study a generalization of such a simple model, introducing heterogeneity and variability in the parameter space and long-range interactions, breaking, in turn, the preferential direction of information transmission of a directed chain. On one hand, enlarging the region of parameters leads to a more complex state space that we analytically characterise; moreover, we explicitly link the strength distribution of the non-local interactions with the frequency distribution of the network oscillations. On the other hand, we found that adding long-range interactions can cause the onset of novel phenomena, as coherent and synchronous oscillations among all the interacting units, which can also coexist with the amplification of the signal.


title: Benchmarking Symbolic Execution Using Constraint Problems -- Initial Results

abstract: Symbolic execution is a powerful technique for bug finding and program testing. It is successful in finding bugs in real-world code. The core reasoning techniques use constraint solving, path exploration, and search, which are also the same techniques used in solving combinatorial problems, e.g., finite-domain constraint satisfaction problems (CSPs). We propose CSP instances as more challenging benchmarks to evaluate the effectiveness of the core techniques in symbolic execution. We transform CSP benchmarks into C programs suitable for testing the reasoning capabilities of symbolic execution tools. From a single CSP P, we transform P depending on transformation choice into different C programs. Preliminary testing with the KLEE, Tracer-X, and LLBMC tools show substantial runtime differences from transformation and solver choice. Our C benchmarks are effective in showing the limitations of existing symbolic execution tools. The motivation for this work is we believe that benchmarks of this form can spur the development and engineering of improved core reasoning in symbolic execution engines.


title: Reinforcement Learning Based Vehicle-cell Association Algorithm for Highly Mobile Millimeter Wave Communication

abstract: Vehicle-to-everything (V2X) communication is a growing area of communication with a variety of use cases. This paper investigates the problem of vehicle-cell association in millimeter wave (mmWave) communication networks. The aim is to maximize the time average rate per vehicular user (VUE) while ensuring a target minimum rate for all VUEs with low signaling overhead. We first formulate the user (vehicle) association problem as a discrete non-convex optimization problem. Then, by leveraging tools from machine learning, specifically distributed deep reinforcement learning (DDRL) and the asynchronous actor critic algorithm (A3C), we propose a low complexity algorithm that approximates the solution of the proposed optimization problem. The proposed DDRL-based algorithm endows every road side unit (RSU) with a local RL agent that selects a local action based on the observed input state. Actions of different RSUs are forwarded to a central entity, that computes a global reward which is then fed back to RSUs. It is shown that each independently trained RL performs the vehicle-RSU association action with low control overhead and less computational complexity compared to running an online complex algorithm to solve the non-convex optimization problem. Finally, simulation results show that the proposed solution achieves up to 15\% gains in terms of sum rate and 20\% reduction in VUE outages compared to several baseline designs.


title: Quantum tricritical point emerging in the spin-boson model with two dissipative spins in staggered biases

abstract: We study the spin-boson model (SBM) with two spins in staggered biases by a numerically exact method based on variational matrix product states. Several observables such as the magnetization, the entanglement entropy between the two spins and the bosonic environment, the ground-state energy, as well as the correlation function for two spins are calculated exactly. The characteristics of these observables suggest that the staggered biases can drive the 2nd-order quantum phase transition (QPT) to the 1st-order QPT in the sub-Ohmic SBM, while the Kosterlitz-Thouless QPT in the Ohmic SBM goes directly to the 1st-order one. A quantum tricritical point, where the continuous QPT meets the 1st-order one, can then be detected. It is found that the staggered biases would not change the universality of { the phase transition in this model} below the quantum tricritical point.


title: Disorder and magnetic transport in tilted Weyl semimetals

abstract: We investigate the effect of disorder on the Landau levels (LLs) in tilted three dimensional Weyl semimetals (WSMs) when a magnetic field is present. Based on the minimum lattice model and by using the exact diagonalization and Kubo's formula, we numerically calculate the Hall conductivity and the density of states (DOS), from which several striking signatures are found to distinguish type-I WSMs from type-II WSMs: the first is the response of the Hall conductivity to the Fermi energy around the band center in clean limit, the second is the performance of the Hall conductivity to disorder, where in type-I WSMs, the robustness of the low-energy LLs is broken successively from the higher LLs to the lower ones and can be understood with the sink down picture, and the third is the behavior of the DOS at zero energy to disorder. The implications of our results are discussed.


title: Counterexample to a theorem on quasi-birth-and-death processes

abstract: The paper disproves a basic theorem on quasi-birth-and-death processes given in [M. F. Neuts (1995). Matrix Geometric Solutions in Stochastic Models: An Algorithmic Approach. Dover, New York].


title: Structure and transitions of nucleon excitations via parity-expanded variational analysis

abstract: The recently-introduced Parity Expanded Variational Analysis (PEVA) technique allows for the isolation of baryon eigenstates on the lattice at finite momentum free from opposite-parity contamination. We find that this technique introduces a statistically significant correction in extractions of the electromagnetic form factors of the ground state nucleon. It also allows first extractions of the elastic and transition form factors of nucleon excitations on the lattice. We present the electromagnetic elastic form factors and helicity amplitudes of two odd-parity excitations of the nucleon. These results provide valuable insight into the structure of these states, and allow for a connection to be made to quark-model states in this energy region.


title: The growth of DM and DE perturbations in DBI non-canonical scalar field scenario

abstract: We study the effect of varying sound speed on clustering dark energy in the Dirac-Born-Infeld (DBI) scenario. The DBI action is included in the class of $k$-essence models, and it has an important role in describing the effective degrees of freedom of D-branes in the string theory. In the DBI setup, we take the anti-de Sitter (AdS) warp factor $f(\phi)=f_0\, \phi^{-4}$, and investigate the self-interacting quartic potential $V(\phi)=\lambda\phi^{4}/4$. We calculate the full expression of the effective sound speed for our model, and show that it can evolve with time during the cosmological evolution. Besides, the adiabatic sound speed evolves with time here, and this influences the background dynamics to some extent. We show that the effective sound speed is very close to the adiabatic sound speed. We examine the effect of the variable sound speed on growth of the perturbations in both the linear and non-linear regimes. In the linear regime, we apply the Pseudo-Newtonian formalism, and show that dark energy suppresses the growth of perturbations at low redshifts. From study the Integrated Sachs-Wolf (ISW) effect in our setup, we see that the model manifests some deviation from the concordance $\Lambda$CDM model. In the non-linear regime, we follow the approach of spherical collapse model, and calculate the linear overdensity, the virial overdensity, overdensity at the turn around and the rate of expansion of collapsed region. We further compute relative number density of halo objects above a given mass in our setting, and show that the number of structures with respect to the $\Lambda$CDM model is reduced more in the high mass tail at high redshifts.


title: Fractional exponential decay in the forbidden region for Toeplitz operators

abstract: We prove several results of concentration for eigenfunctions in Toeplitz quantization. With mild assumptions on the regularity, we prove that eigenfunctions are $O(exp(-cN^{\delta}))$ away from the corresponding level set of the symbol, where N is the inverse semiclassical parameter and $0 < \delta < 1$ depends on the regularity. As an application, we prove a precise bound for the free energy of spin systems at high temperatures, sharpening a result of Lieb.


title: Get Rid of Suspended Animation Problem: Deep Diffusive Neural Network on Graph Semi-Supervised Classification

abstract: Existing graph neural networks may suffer from the "suspended animation problem" when the model architecture goes deep. Meanwhile, for some graph learning scenarios, e.g., nodes with text/image attributes or graphs with long-distance node correlations, deep graph neural networks will be necessary for effective graph representation learning. In this paper, we propose a new graph neural network, namely DIFNET (Graph Diffusive Neural Network), for graph representation learning and node classification. DIFNET utilizes both neural gates and graph residual learning for node hidden state modeling, and includes an attention mechanism for node neighborhood information diffusion. Extensive experiments will be done in this paper to compare DIFNET against several state-of-the-art graph neural network models. The experimental results can illustrate both the learning performance advantages and effectiveness of DIFNET, especially in addressing the "suspended animation problem".


title: Scanning space-time with patterns of entanglement

abstract: In the ${\rm AdS}_3/{\rm CFT}_2$ setup we elucidate how gauge invariant boundary patterns of entanglement of the CFT vacuum are encoded into the bulk via the coefficient dynamics of an $A_{N-3}$, $N\geq 4$ cluster algebra. In the static case this dynamics of encoding manifests itself in kinematic space, which is a copy of de Sitter space ${\rm dS}_2$, in a particularly instructive manner. For a choice of partition of the boundary into $N$ regions the patterns of entanglement, associated with conditional mutual informations of overlapping regions, are related to triangulations of geodesic $N$-gons. Such triangulations are then mapped to causal patterns in kinematic space. For a fixed $N$ the space of all causal patterns is related to the associahedron ${\mathcal K}^{N-3}$ an object well-known from previous studies on scattering amplitudes. On this space of causal patterns cluster dynamics acts by a recursion provided by a Zamolodchikov's $Y$-system of type $(A_{N-3},A_1)$. We observe that the space of causal patterns is equipped with a partial order, and is isomorphic to the Tamari lattice. The mutation of causal patterns can be encapsulated by a walk of $N-3$ particles interacting in a peculiar manner in the past light cone of a point of ${\rm dS}_2$.


title: Opetopic algebras III: Presheaf models of homotopy-coherent opetopic algebras

abstract: For $\Lambda$ the category of free opetopic algebras, we construct a model structure \emph{\`a la Cisinski} on the category of presheaves over $\Lambda$, and show that is is equivalent to opetopic complete Segal spaces. This generalizes the results of Joyal and Tierney in the simplicial case, and of Cisinski and Moerdijk in the planar dendroidal case.


title: Hypergroups and distance distributions of random walks on graphs

abstract: Wildberger's construction enables us to obtain a hypergroup from a special graph via random walks. We will give a probability theoretic interpretation to products on the hypergroup. The hypergroup can be identified with a commutative algebra whose basis is transition matrices. We will estimate the operator norm of such a transition matrix and clarify a relationship between their matrix products and random walks.


title: Optimized Generic Feature Learning for Few-shot Classification across Domains

abstract: To learn models or features that generalize across tasks and domains is one of the grand goals of machine learning. In this paper, we propose to use cross-domain, cross-task data as validation objective for hyper-parameter optimization (HPO) to improve on this goal. Given a rich enough search space, optimization of hyper-parameters learn features that maximize validation performance and, due to the objective, generalize across tasks and domains. We demonstrate the effectiveness of this strategy on few-shot image classification within and across domains. The learned features outperform all previous few-shot and meta-learning approaches.


title: Stellar Properties of the Host Galaxy of an Ultraluminous X-ray Source in NGC 5252

abstract: An ultraluminous X-ray source (ULX) in NGC 5252 has been known as a strong candidate for an off-nuclear intermediate-mass black hole. We present near-infrared imaging data of the ULX obtained with the William Herschel Telescope. Using this data we estimate a stellar mass associated with the ULX of $\approx 10^{7.9\pm0.1}M_{\rm \odot}$ , suggesting that it could be (the remnant of) a dwarf galaxy that is in the process of merging with NGC 5252. Based on a correlation between the mass of the central black hole (BH) and host galaxy, the ULX is powered by a $10^5M_{\rm \odot}$ black hole. Alternatively, if the BH mass is $\approx 10^6M_{\rm \odot}$ or larger, the host galaxy of the ULX must have been heavily stripped during the merger. The ULX $K_s$-band luminosity is two orders of magnitude smaller than that expected from an ordinary active galactic nucleus with the observed [O III] luminosity, which also suggests the ULX lacks a dusty torus. We discuss how these findings provide suggestive evidence that the ULX is hosting an intermediate-mass black hole.


title: Bulk superconductivity induced by Se substitution in self-doped BiCh2-based compound CeOBiS2-xSex

abstract: We report the Se substitution effects on the crystal structure, superconducting properties, and valence states of self-doped BiCh2-based compound CeOBiS2-xSex. Polycrystalline CeOBiS2-xSex samples with x = 0-1.0 were synthesized. For x = 0.4 and 0.6, bulk superconducting transitions with a large shielding volume fraction were observed in magnetic susceptibility measurements; the highest transition temperature (Tc) was 3.0 K for x = 0.6. A superconductivity phase diagram of CeOBiS2-xSex was established based on Tc estimated from the electrical resistivity and magnetization measurements. The emergence of superconductivity in CeOBiS2-xSex was explained with two essential parameters of in-plane chemical pressure and carrier concentration, which systematically changed with increasing Se concentration.


title: Fine structure of negatively charged and neutral excitons in monolayer MoS$_{2}$

abstract: We present experimental and theoretical results on the high-quality single-layer MoS$_{2}$ which reveal the fine structure of charged excitons, i.e., trions. In the emission spectra we resolve and identify two trion peaks, T$_{1}$ and T$_{2}$, resembling the pair of singlet and triplet trion peaks (T$_S$ and T$_{T}$) in tungsten-based materials. However, in polarization-dependent photoluminescence measurements we identify these peaks as novel intra- and inter-valley singlet trions, constituting the trion fine structure distinct from that already known in bright and dark 2D materials with large conduction-band splitting induced by the spin-orbit coupling. We show that the trion energy splitting in MoS$_{2}$ is a sensitive probe of inter- and intra-valley carrier interaction. With additional support from theory we claim that the existence of these singlet trions combined with an anomalous excitonic g-factor and the characteristic temperature dependence of the emission spectra together suggest that monolayer MoS$_{2}$ has a dark excitonic ground state, despite having "bright" single-particle arrangement of spin-polarized conduction bands.


title: Rigidity of some functional inequalities on RCD spaces

abstract: We study the cases of equality and prove a rigidity theorem concerning the 1-Bakry-\'Emery inequality. As an application, we prove the rigidity of the Gaussian isoperimetric inequality, the logarithmic Sobolev inequality and the Poincar\'e inequality in the setting of ${\rm RCD}(K, \infty)$ metric measure spaces. This unifies and extends to the non-smooth setting the results of Carlen-Kerce, Morgan, Bouyrie, Ohta-Takatsu, Cheng-Zhou. Examples of non-smooth spaces fitting our setting are measured-Gromov Hausdorff limits of Riemannian manifolds with uniform Ricci curvature lower bound, and Alexandrov spaces with curvature lower bound. Some results including the rigidity of $\Phi$-entropy inequalities, the rigidity of the 1-Bakry-\'Emery inequality are of independent interest even in the smooth setting.


title: Topolectrical-circuit realization of 4D hexadecapole insulator

abstract: Recently, the theory of quantized dipole polarization has been extended to account for electric multipole moments, giving rise to the discovery of multipole topological insulators (TIs). Both two-dimensional (2D) quadrupole and three-dimensional (3D) octupole TIs with robust zero-dimensional (0D) corner states have been realized in various classical systems. However, due to the intrinsic 3D limitation, the higher dimensional multipole TIs, such as four-dimensional (4D) hexadecapole TIs, are supposed to be extremely hard to construct in real space, although some of their properties have been discussed through the synthetic dimensions. Here, we theoretically propose and experimentally demonstrate the realization of classical analog of 4D hexadecapole TI based on the electric circuits in fully real space. The explicit construction of 4D hexadecapole circuits, where the connection of nodes is allowed in any desired way free from constraints of locality and dimensionality, is provided. By direct circuit simulations and impedance measurements, the in-gap corner states protected by the quantized hexadecapole moment in the 4D circuit lattices are observed and the robustness of corner state is also demonstrated. Our work offers a new pathway to study the higher order/dimensional topological physics in real space.


title: A new goodness of fit test for normal distribution based on Stein's characterization

abstract: In this paper, we develop a simple non-parametric test for testing normal distribution based on the distance between empirical zero-bias transformation and empirical distribution. The asymptotic properties of the test statistic are studied. The finite sample performance of the proposed test is evaluated through a Monte Carlo simulation study. The power of our test is compared with several other tests for normality. We illustrate the test procedure using two real data sets. We also develop a jackknife empirical likelihood ratio test for standard normal distribution.


title: Adversarial Attack on Community Detection by Hiding Individuals

abstract: It has been demonstrated that adversarial graphs, i.e., graphs with imperceptible perturbations added, can cause deep graph models to fail on node/graph classification tasks. In this paper, we extend adversarial graphs to the problem of community detection which is much more difficult. We focus on black-box attack and aim to hide targeted individuals from the detection of deep graph community detection models, which has many applications in real-world scenarios, for example, protecting personal privacy in social networks and understanding camouflage patterns in transaction networks. We propose an iterative learning framework that takes turns to update two modules: one working as the constrained graph generator and the other as the surrogate community detection model. We also find that the adversarial graphs generated by our method can be transferred to other learning based community detection models.


title: Safe Robot Navigation via Multi-Modal Anomaly Detection

abstract: Navigation in natural outdoor environments requires a robust and reliable traversability classification method to handle the plethora of situations a robot can encounter. Binary classification algorithms perform well in their native domain but tend to provide overconfident predictions when presented with out-of-distribution samples, which can lead to catastrophic failure when navigating unknown environments. We propose to overcome this issue by using anomaly detection on multi-modal images for traversability classification, which is easily scalable by training in a self-supervised fashion from robot experience. In this work, we evaluate multiple anomaly detection methods with a combination of uni- and multi-modal images in their performance on data from different environmental conditions. Our results show that an approach using a feature extractor and normalizing flow with an input of RGB, depth and surface normals performs best. It achieves over 95% area under the ROC curve and is robust to out-of-distribution samples.


title: CodeReef: an open platform for portable MLOps, reusable automation actions and reproducible benchmarking

abstract: We present CodeReef - an open platform to share all the components necessary to enable cross-platform MLOps (MLSysOps), i.e. automating the deployment of ML models across diverse systems in the most efficient way. We also introduce the CodeReef solution - a way to package and share models as non-virtualized, portable, customizable and reproducible archive files. Such ML packages include JSON meta description of models with all dependencies, Python APIs, CLI actions and portable workflows necessary to automatically build, benchmark, test and customize models across diverse platforms, AI frameworks, libraries, compilers and datasets. We demonstrate several CodeReef solutions to automatically build, run and measure object detection based on SSD-Mobilenets, TensorFlow and COCO dataset from the latest MLPerf inference benchmark across a wide range of platforms from Raspberry Pi, Android phones and IoT devices to data centers. Our long-term goal is to help researchers share their new techniques as production-ready packages along with research papers to participate in collaborative and reproducible benchmarking, compare the different ML/software/hardware stacks and select the most efficient ones on a Pareto frontier using online CodeReef dashboards.


title: Determination of the asymptotic behavior of the number of natural solutions for certain types of diagonal Diophantine equations

abstract: We obtain asymptotic upper bounds for the number of natural solutions of the following diagonal Diophantine equations in a hypercube with side - $N$ in the paper: $x_1 = x_2^k+...+x_s^k$, $x_1^k = x_2^k+...+x_s^k$, $x_1 = \sum_{j=2}^s {x_j}^{k_j}$, where $k,s,k_j$ are the natural numbers.


title: Machine Learning assisted Handover and Resource Management for Cellular Connected Drones

abstract: Enabling cellular connectivity for drones introduces a wide set of challenges and opportunities. Communication of cellular-connected drones is influenced by 3-dimensional mobility and line-of-sight channel characteristics which results in higher number of handovers with increasing altitude. Our cell planning simulations in coexistence of aerial and terrestrial users indicate that the severe interference from drones to base stations is a major challenge for uplink communications of terrestrial users. Here, we first present the major challenges in co-existence of terrestrial and drone communications by considering real geographical network data for Stockholm. Then, we derive analytical models for the key performance indicators (KPIs), including communications delay and interference over cellular networks, and formulate the handover and radio resource management (H-RRM) optimization problem. Afterwards, we transform this problem into a machine learning problem, and propose a deep reinforcement learning solution to solve H-RRM problem. Finally, using simulation results, we present how the speed and altitude of drones, and the tolerable level of interference, shape the optimal H-RRM policy in the network. Especially, the heat-maps of handover decisions in different drone's altitudes/speeds have been presented, which promote a revision of the legacy handover schemes and redefining the boundaries of cells in the sky.


title: Automatically Harnessing Sparse Acceleration

abstract: Sparse linear algebra is central to many scientific programs, yet compilers fail to optimize it well. High-performance libraries are available, but adoption costs are significant. Moreover, libraries tie programs into vendor-specific software and hardware ecosystems, creating non-portable code. In this paper, we develop a new approach based on our specification Language for implementers of Linear Algebra Computations (LiLAC). Rather than requiring the application developer to (re)write every program for a given library, the burden is shifted to a one-off description by the library implementer. The LiLAC-enabled compiler uses this to insert appropriate library routines without source code changes. LiLAC provides automatic data marshaling, maintaining state between calls and minimizing data transfers. Appropriate places for library insertion are detected in compiler intermediate representation, independent of source languages. We evaluated on large-scale scientific applications written in FORTRAN; standard C/C++ and FORTRAN benchmarks; and C++ graph analytics kernels. Across heterogeneous platforms, applications and data sets we show speedups of 1.1$\times$ to over 10$\times$ without user intervention.


title: Some exceptional sets of Borel-Bernstein Theorem in continued fractions

abstract: Let $[a_1(x),a_2(x), a_3(x),\cdots]$ denote the continued fraction expansion of a real number $x \in [0,1)$. This paper is concerned with certain exceptional sets of the Borel-Bernstein Theorem on the growth rate of $\{a_n(x)\}_{n\geq1}$. As a main result, the Hausdorff dimension of the set \[ E_{\sup}(\psi)=\left\{x\in[0,1):\ \limsup\limits_{n\to\infty}\frac{\log a_n(x)}{\psi(n)}=1\right\} \] is determined, where $\psi:\mathbb{N}\rightarrow\mathbb{R}^+$ tends to infinity as $n\to\infty$.


title: Imaging three-dimensional nanoscale magnetization dynamics

abstract: The ability to experimentally map the three-dimensional structure and dynamics in bulk and patterned three-dimensional ferromagnets is essential both for understanding fundamental micromagnetic processes, as well as for investigating technologically-relevant micromagnets whose functions are connected to the presence and dynamics of fundamental micromagnetic structures, such as domain walls and vortices. Here, we demonstrate time-resolved magnetic laminography, a technique which offers access to the temporal evolution of a complex three-dimensional magnetic structure with nanoscale resolution. We image the dynamics of the complex three-dimensional magnetization state in a two-phase bulk magnet with a lateral spatial resolution of 50 nm, mapping the transition between domain wall precession and the dynamics of a uniform magnetic domain that is attributed to variations in the magnetization state across the phase boundary. The capability to probe three-dimensional magnetic structures with temporal resolution paves the way for the experimental investigation of novel functionalities arising from dynamic phenomena in bulk and three-dimensional patterned nanomagnets.


title: Computing Similarity Queries for Correlated Gaussian Sources

abstract: Among many current data processing systems, the objectives are often not the reproduction of data, but to compute some answers based on the data resulting from queries. The similarity identification task is to identify the items in a database that are similar to a given query item for a given metric. The problem of compression for similarity identification has been studied in arXiv:1307.6609 [cs.IT]. Unlike classical compression problems, the focus is not on reconstructing the original data. Instead, the compression rate is determined by the desired reliability of the answers. Specifically, the information measure identification rate characterizes the minimum rate that can be achieved among all schemes which guarantee reliable answers with respect to a given similarity threshold. In this paper, we propose a component-based model for computing correlated similarity queries. The correlated signals are first decorrelated by the KLT transform. Then, the decorrelated signal is processed by a distinct D-admissible system for each component. We show that the component-based model equipped with KLT can perfectly represent the multivariate Gaussian similarity queries when optimal rate-similarity allocation applies. Hence, we can derive the identification rate of the multivariate Gaussian signals based on the component-based model. We then extend the result to general Gaussian sources with memory. We also study the models equipped with practical compone\nt systems. We use TC-$\triangle$ schemes that use type covering signatures and triangle-inequality decision rules as our component systems. We propose an iterative method to numerically approximate the minimum achievable rate of the TC-$\triangle$ scheme. We show that our component-based model equipped with TC-$\triangle$ schemes can achieve better performance than the TC-$\triangle$ scheme unaided on handling the multivariate Gaussian sources.


title: Existence of Solutions to a Diffusive Shallow Medium Equation

abstract: In this article we establish the existence of weak solutions to the shallow medium equation. We proceed by an approximation argument. First we truncate the coefficients of the equation from above and below. Then we prove convergence of the solutions of the truncated problem to a solution to the original equation.


title: Representation formula for discrete indefinite affine spheres

abstract: We present a representation formula for discrete indefinite affine spheres via loop group factorizations. This formula is derived from the Birkhoff decomposition of loop groups associated with discrete indefinite affine spheres. In particular we show that a discrete indefinite improper affine sphere can be constructed from two discrete plane curves.


title: augKlimb: Interactive Data-Led Augmentation of Bouldering Training

abstract: Climbing is a popular and growing sport, especially indoors, where climbers can train on man-made routes using artificial holds. Both strength and good technique is required to successfully reach the top of a climb, and often coaches work to improve technique so less strength is required, enabling a climber to ascent more difficult climbs. Various aspects of adding computer-interaction to climbing have been studied in recent years, but there is a large space for research into lightweight tools to aid recreational intermediate climbers, both with trickier climbs and to improve their own technique. In this CS Masters final project, I explored which form of data-capture and output-features could improve a climber's training, and analysed how climbers responded to viewing their data throughout a climbing session, then conducted a user-centred design to build a lightweight mobile application for intermediate climbers. A variety of hardware and software solutions were explored, tested and developed through series of surveys, discussions, wizard-of-oz studies and prototyping, resulting in a system that most closely meets the needs of local indoor boulderers given the project's time scope. This consists of an iteratively developed interactive mobile app that: can record, graph, and score the acceleration of a climber, as both a training tool and gamification incentive for good technique; can link a video recording to the acceleration graph, to enable frame-by-frame inspection of weaknesses; is fully approved and distributed on the Google play Store and currently being regularly used by 15 local climbers. Then I conducted a final usability study, comprising a thematic analysis of forty minutes's worth of interview transcripts, to gain a deep understanding of the app's impact on the climbers using it, along with its benefits and limitations.


title: Testing the equation of state for viscous dark energy

abstract: Some cosmological scenarios with bulk viscosity for the dark energy fluid are considered. Based on some considerations related to hydrodynamics, two different equations of state for dark energy are assumed, leading to power-law and logarithmic effective corrections to the pressure. The models are tested with the latest astronomical data from Type Ia supernovae (Pantheon sample), measurements of the Hubble parameter $H(z)$, Baryon Acoustic Oscillations and Cosmic Microwave Background radiation. In comparison with $\Lambda$CDM model, some different results are obtained and their viability is discussed. The power-law model shows some modest results, achieved under negative values of bulk viscosity, while the logarithmic scenario provide good fits in comparison to $\Lambda$CDM model.


title: On the Quality of First-Order Approximation of Functions with H\"older Continuous Gradient

abstract: We show that H\"older continuity of the gradient is not only a sufficient condition, but also a necessary condition for the existence of a global upper bound on the error of the first-order Taylor approximation. We also relate this global upper bound to the H\"older constant of the gradient. This relation is expressed as an interval, depending on the H\"older constant, in which the error of the first-order Taylor approximation is guaranteed to be. We show that, for the Lipschitz continuous case, the interval cannot be reduced. An application to the norms of quadratic forms is proposed, which allows us to derive a novel characterization of Euclidean norms.


title: A Multi-Vector Interface Quasi-Newton Method with Linear Complexity for Partitioned Fluid-Structure Interaction

abstract: In recent years, interface quasi-Newton methods have gained growing attention in the fluid-structure interaction community by significantly improving partitioned solution schemes: They not only help to control the inherent added-mass instability, but also prove to substantially speed up the coupling's convergence. In this work, we present a novel variant: The key idea is to build on the multi-vector Jacobian update scheme first presented by Bogaers et al. (2014) and avoid any explicit representation of the (inverse) Jacobian approximation, since it slows down the solution for large systems. Instead, all terms involving a quadratic complexity have been systematically eliminated. The result is a new multi-vector interface quasi-Newton variant whose computational cost scales linearly with the problem size.


title: Time scales of inertial motion in the collective dynamics of underdamped active phase field crystal systems

abstract: Many active matter systems, mostly on the microscopic scale, are well approximated as overdamped, meaning that any inertial momentum is immediately dissipated by the environment. On the other hand, especially for macroscopic active systems but also for many mesoscopic ones the time scale of inertial motion can become large enough to be relevant for the dynamics. This raises the question how collective dynamics in active matter is influenced by inertia. In this article we implement and study an underdamped active phase field crystal model. We focus on how the collective dynamics changes with the time scale of inertial motion. While the state diagram stays unaltered in this modification, the relaxation time scale towards the steady state considerably increases with particle mass. Our numerical results suggest that transiently stable rotating clusters of density peaks act as defects which need to decay before the final state of global collective motion forms. We extract the formation and decay times quantitatively. Finally, we give a physical intuition for the formation and decay of rotating clusters to qualitatively explain how the extracted times depend on mass.


title: Oracle Efficient Estimation of Structural Breaks in Cointegrating Regressions

abstract: In this paper, we propose an adaptive group lasso procedure to efficiently estimate structural breaks in cointegrating regressions. It is well-known that the group lasso estimator is not simultaneously estimation consistent and model selection consistent in structural break settings. Hence, we use a first step group lasso estimation of a diverging number of breakpoint candidates to produce weights for a second adaptive group lasso estimation. We prove that parameter changes are estimated consistently by group lasso and show that the number of estimated breaks is greater than the true number but still sufficiently close to it. Then, we use these results and prove that the adaptive group lasso has oracle properties if weights are obtained from our first step estimation. Simulation results show that the proposed estimator delivers the expected results. An economic application to the long-run US money demand function demonstrates the practical importance of this methodology.


title: Topologically induced metastability in periodic XY chain

abstract: Non-trivial topological behavior appears in many different contexts in statistical physics, perhaps the most known one being the Kosterlitz-Thouless phase transition in the two dimensional XY model. We study the behavior of a simpler, one dimensional, XY chain with periodic boundary and strong interactions; but rather than concentrating on the equilibrium measure we try to understand its dynamics. The equivalent of the Kosterlitz-Thouless transition in this one dimensional case happens when the interaction strength scales like the size of the system $N$, yet we show that a sharp transition for the dynamics occurs at the scale of $\log N$ -- when the interactions are weaker than a certain threshold topological phases could not be observed over long times, while for interactions that are stronger than that threshold topological phases become metastable, surviving for diverging time scales.


title: Traces of non-equilibrium effects, initial condition, bulk dynamics and elementary collisions in the charm observables

abstract: We study how heavy quark dynamics is affected by the nature of the bulk evolution of the QCD matter, the initial condition of the system, and the treatment of elementary interactions between heavy quarks and the surrounding medium. For the same initial condition and the same QGP expansion scenario we discuss the consequences of the assumption of a local equilibrium by comparing the consequences for the nuclear modification factor and the elliptic flows of charm quarks. For this purpose we employ the parton-hadron-string dynamics (PHSD), which is an off-shell microscopic transport approach, as well as the linearized-Boltzmann (LB) scheme obtained by coarse graining the PHSD bulk and assuming local equilibrium for the interactions of the charm quarks with the bulk. The $R_{\rm AA}$ of charm quarks stemming from the later LB approach is also compared to a genuine fluid dynamics evolution initiated by the coarse grained PHSD, which allows to further assess the consequences of reducing the full n-body dynamics. We then proceed to a systematic comparison of PHSD with MC@HQ, another transport model for heavy flavors which also relies on LB approach. In particular, we investigate the consequences for the nuclear modification factor of charm quarks if we vary separately the initial heavy quark distribution function in matter, the expansion dynamics of the QGP and the elementary interactions of heavy quarks of these models. We find that the results for both models vary significantly depending on the details of the calculation. However, both models achieve very similar predictions for key heavy quark observables for certain combinations of initial condition, bulk evolution and interactions. We conclude that this ambiguity limits our ability to determine the different properties of the system based on the current set of observables.


title: Brill-Noether general K3 surfaces with the maximal number of elliptic pencils of minimal degree

abstract: We explicitly construct Brill--Noether general $K3$ surfaces of genus $4,6$ and $8$ having the maximal number of elliptic pencils of degrees $3, 4$ and $5$, respectively, and study their moduli spaces and moduli maps to the moduli space of curves. As an application we prove the existence of Brill--Noether general $K3$ surfaces of genus $4$ and $6$ without stable Lazarsfeld--Mukai bundles of minimal $c_2$.


title: Generation of shear flows and vortices in rotating anelastic convection

abstract: We consider the effect of stratification on systematic, large-scale flows generated in anelastic convection. We present results from three-dimensional numerical simulations of convection in a rotating plane layer in which the angle between the axis of rotation and gravity is allowed to vary. This model is representative of different latitudes of a spherical body. We consider two distinct parameter regimes: (i) weakly rotating and (ii) rapidly rotating. In each case, we examine the effect of stratification on the flow structure and heat transport properties focussing on the difference between Boussinesq and anelastic convection. Furthermore, we show that regimes (i) and (ii) generate very different large-scale flows and we investigate the role stratification has in modifying these flows. The stratified flows possess a net helicity not present in the Boussinesq cases which we suggest, when combined with the self-generated shear flows, could be important for dynamo action.


title: The design of eutectic high entropy alloys in Al-Co-Cr-Fe-Ni system

abstract: In the present work, a simple approach is proposed for predicting the compositions of eutectic high entropy alloys (EHEAs) in Al-Co-Cr-Fe-Ni system. It is proposed that eutectic lines exist between certain eutectic alloys in this system and, as a result, new eutectic or near-eutectic compositions can be obtained by mixing the alloys which are located on the same eutectic line. The approach is applied for a series of experimentally verified eutectic alloys and new eutectic or near-eutectic alloys are designed for Al-Co-Cr-Fe-Ni system. Furthermore, by investigating the compositions of verified eutectic alloys in Al-Co-Cr-Fe-Ni system, compositional diagrams are proposed which show the relations between the concentrations of constituent elements in eutectic alloys. The compositional diagrams suggest that EHEAs are derived from binary and ternary eutectic alloys. Moreover, the proposed diagrams can be considered as convenient methods for evaluating the composition of EHEAs in Al-Co-Cr-Fe-Ni system.


title: Upper bounds on the signed edge domination number of a graph

abstract: A signed edge domination function (or SEDF) of a simple graph $G=(V,E)$ is a function $f: E\rightarrow \{1,-1\}$ such that $\sum_{e'\in N[e]}f(e')\ge 1$ holds for each edge $e\in E$, where $N[e]$ is the set of edges in $G$ that share at least one endpoint with $e$. Let $\gamma_s'(G)$ denote the minimum value of $f(G)$ among all SEDFs $f$, where $f(G)=\sum_{e\in E}f(e)$.In 2005, Xu conjectured that $\gamma_s'(G)\le n-1$, where $n$ is the order of $G$. This conjecture has been proved for the two cases $v_{odd}(G)=0$ and $v_{even}(G)=0$, where $v_{odd}(G)$ (resp. $v_{even}(G)$) is the number of odd (resp. even) vertices in $G$. This article proves Xu's conjecture for $v_{even}(G)\in \{1, 2\}$. We also show that for any simple graph $G$ of order $n$, $\gamma_s'(G)\le n+v_{odd}(G)/2$ and $\gamma_s'(G)\le n-2+v_{even}(G)$ when $v_{even}(G)>0$, and thus $\gamma_s'(G)\le (4n-2)/3$. Our result improves the best current upper bound of $\gamma_s'(G)\le \lceil 3n/2\rceil$.


title: Angular distribution of high power radiation from a charge rotating around a dielectric ball

abstract: We study the angular distribution of the radiation from a relativistic charged particle uniformly rotating along an equatorial orbit around a dielectric ball. Earlier it was shown that for some values of the problem parameters and in the case of weak absorption in the ball material, the radiation intensity on a given harmonic can be essentially larger than that for the same charge rotating in the vacuum or in a homogeneous transparent medium having the same real part of dielectric permittivity as the ball material. The generation of such high power radiation is a consequence of the constructive superposition of electromagnetic oscillations of Cherenkov radiation induced near the trajectory of the particle and partially locked inside the ball. The angular distribution of the number of the emitted quanta is investigated for such high power radiation. It is shown that the radiation is mainly located in the angular range near the rotation plane determined by the Cherenkov condition for the velocity of the charge image on the ball surface. The numerical analysis is given for balls made of strontium titanate, melted quartz and teflon in the gigahertz and terahertz frequency ranges.


title: CFT in Conformally Flat Spacetimes

abstract: A new class of conformal field theories is presented, where the background gravitational field is conformally flat. Conformally flat (CF) spacetimes enjoy conformal properties quite similar to the ones of flat spacetime. The conformal isometry group is of maximal rank and the conformal Killing vectors in conformally flat coordinates are {\em exactly} the same as the ones of flat spacetime. In this work, a new concept of distance is introduced, the {\em conformal distance}, which transforms covariantly under all conformal isometries of the CF space. It is shown that precisely for CF spacetimes, an adequate power of the said conformal distance is a solution of the non-minimal d'Alembert equation.


title: Preventive and Reactive Cyber Defense Dynamics with Ergodic Time-dependent Parameters Is Globally Attractive

abstract: Cybersecurity dynamics is a mathematical approach to modeling and analyzing cyber attack-defense interactions in networks. In this paper, we advance the state-of-the-art in characterizing one kind of cybersecurity dynamics, known as preventive and reactive cyber defense dynamics, which is a family of highly nonlinear system models. We prove that this dynamics in its general form with time-dependent parameters is globally attractive when the time-dependent parameters are ergodic, and is (almost) periodic when the time-dependent parameters have the stronger properties of being (almost) periodic. Our results supersede the state-of-the-art ones, including that the same type of dynamics but with time-independent parameters is globally convergent.


title: Effect of the interaction strength and anisotropy on the diffusio-phoresis of spherical colloids

abstract: Gradients in temperature, concentration or electrostatic potential cannot exert forces on a bulk fluid; they can, however, exert forces on a fluid in a microscopic boundary layer surrounding a (nano)colloidal solute, resulting in so-called phoretic flow. Here we present a simulation study of phoretic flow around a spherical colloid held fixed in a concentration gradient. We show that the resulting flow velocity depends non-monotonically on the strength of the colloid-fluid interaction. The reason for this non-monotonic dependence is that solute particles are effectively trapped in a shell around the colloid and cannot contribute to diffusio-phoresis. We also observe that the flow depends sensitively on the anisotropy of solute-colloid interaction.


title: A Fixation-based 360{\deg} Benchmark Dataset for Salient Object Detection

abstract: Fixation prediction (FP) in panoramic contents has been widely investigated along with the booming trend of virtual reality (VR) applications. However, another issue within the field of visual saliency, salient object detection (SOD), has been seldom explored in 360{\deg} (or omnidirectional) images due to the lack of datasets representative of real scenes with pixel-level annotations. Toward this end, we collect 107 equirectangular panoramas with challenging scenes and multiple object classes. Based on the consistency between FP and explicit saliency judgements, we further manually annotate 1,165 salient objects over the collected images with precise masks under the guidance of real human eye fixation maps. Six state-of-the-art SOD models are then benchmarked on the proposed fixation-based 360{\deg} image dataset (F-360iSOD), by applying a multiple cubic projection-based fine-tuning method. Experimental results show a limitation of the current methods when used for SOD in panoramic images, which indicates the proposed dataset is challenging. Key issues for 360{\deg} SOD is also discussed. The proposed dataset is available at https://github.com/PanoAsh/F-360iSOD.


title: Beyond classical anisotropy and a new look to relativistic stars: a gravitational decoupling approach

abstract: In this article, we propose a physical condition to extend interior isotropic solutions to anisotropic domains by gravitational decoupling in the framework of the Minimal Geometric Deformation approach. In particular, it is found that by using an expression reminiscent of the classical anisotropy factor, we can close the decoupling system of equations and a new anisotropic solution can be found. As an example, we extend the well--known Tolman IV.


title: Axial U(1) symmetry and mesonic correlators at high temperature in $N_f=2$ lattice QCD

abstract: We investigate the high-temperature phase of QCD using lattice QCD simulations with $N_f = 2$ dynamical M\"obius domain-wall fermions. On generated configurations, we study the axial $U(1)$ symmetry, overlap-Dirac spectra, screening masses from mesonic correlators, and topological susceptibility. We find that some of the observables are quite sensitive to lattice artifacts due to a small violation of the chiral symmetry. For those observables, we reweight the M\"obius domain-wall fermion determinant by that of the overlap fermion. We also check the volume dependence of observables. Our data near the chiral limit indicates a strong suppression of the axial $U(1)$ anomaly at temperatures $\geq$ 220 MeV.


title: Self-amplification of radiation from an electron bunch inside a waveguide filled with periodic medium

abstract: We investigate the radiation from a bunch of relativistic electrons moving along the cylindrical waveguide axis, assuming that the waveguide is partially loaded by a medium with periodic dielectric permittivity and magnetic permeability. The spectral distribution of the radiation energy flux through the cross section of the waveguide is studied at large distances from the medium. The analysis is based on the corresponding exact solution of Maxwell equations for the case of a single electron moving along the waveguide axis. The results of numerical calculations are presented in the special case of layered medium consisting of a finite number of dielectric plates separated by vacuum gaps. We show that under certain conditions on the problem parameters the quasi-coherent Cherenkov radiation generated by the electron bunch inside the plates is self-amplified at certain waveguide modes. A visual explanation of this phenomenon is provided that reproduces the main features to rather good accuracy.


title: Joint Wireless and Edge Computing Resource Management with Dynamic Network Slice Selection

abstract: Network slicing is a promising approach for enabling low latency computation offloading in edge computing systems. In this paper, we consider an edge computing system under network slicing in which the wireless devices generate latency sensitive computational tasks. We address the problem of joint dynamic assignment of computational tasks to slices, management of radio resources across slices and management of radio and computing resources within slices. We formulate the Joint Slice Selection and Edge Resource Management(JSS-ERM) problem as a mixed-integer problem with the objective to minimize the completion time of computational tasks. We show that the JSS-ERM problem is NP-hard and develop an approximation algorithm with bounded approximation ratio based on a game theoretic treatment of the problem. We provide extensive simulation results to show that network slicing can improve the system performance compared to no slicing and that the proposed solution can achieve significant gains compared to the equal slicing policy. Our results also show that the computational complexity of the proposed algorithm is approximately linear in the number of devices.


title: Isometry theorem of Cartan-Hadamard manifold

abstract: Cartan-Hadamard manifold is a simply connected Riemannian manifold with non-positive sectional curvature. In this article, we have proved that a Cartan-Hadamard manifold satisfying steady gradient Ricci soliton with the integral condition of potential function is isometric to the Euclidean space. Next we have proved a compactness theorem for gradient shrinking Ricci soliton satisfying some scalar curvature condition. Finally, we have showed that a gradient expanding Ricci soliton with linear volume growth and positive potential function is an Einstein manifold.


title: ImageBERT: Cross-modal Pre-training with Large-scale Weak-supervised Image-Text Data

abstract: In this paper, we introduce a new vision-language pre-trained model -- ImageBERT -- for image-text joint embedding. Our model is a Transformer-based model, which takes different modalities as input and models the relationship between them. The model is pre-trained on four tasks simultaneously: Masked Language Modeling (MLM), Masked Object Classification (MOC), Masked Region Feature Regression (MRFR), and Image Text Matching (ITM). To further enhance the pre-training quality, we have collected a Large-scale weAk-supervised Image-Text (LAIT) dataset from Web. We first pre-train the model on this dataset, then conduct a second stage pre-training on Conceptual Captions and SBU Captions. Our experiments show that multi-stage pre-training strategy outperforms single-stage pre-training. We also fine-tune and evaluate our pre-trained ImageBERT model on image retrieval and text retrieval tasks, and achieve new state-of-the-art results on both MSCOCO and Flickr30k datasets.


title: A Tchebycheffian extension of multi-degree B-splines: Algorithmic computation and properties

abstract: In this paper we present an efficient and robust approach to compute a normalized B-spline-like basis for spline spaces with pieces drawn from extended Tchebycheff spaces. The extended Tchebycheff spaces and their dimensions are allowed to change from interval to interval. The approach works by constructing a matrix that maps a generalized Bernstein-like basis to the B-spline-like basis of interest. The B-spline-like basis shares many characterizing properties with classical univariate B-splines and may easily be incorporated in existing spline codes. This may contribute to the full exploitation of Tchebycheffian splines in applications, freeing them from the restricted role of an elegant theoretical extension of polynomial splines. Numerical examples are provided that illustrate the procedure described.


title: GRAMSES: a new route to general relativistic $N$-body simulations in cosmology. Part II. Initial conditions

abstract: We address the generation of initial conditions (ICs) for GRAMSES, a code for nonlinear general relativistic (GR) $N$-body cosmological simulations recently introduced in Ref. [1]. GRAMSES adopts a constant mean curvature slicing with a minimal distortion gauge, where the linear growth rate is scale-dependent, and the standard method for realising initial particle data is not straightforwardly applicable. A new method is introduced, in which the initial positions of particles are generated from the displacement field realised for a matter power spectrum as usual, but the velocity is calculated by finite-differencing the displacement fields around the initial redshift. In this way, all the information required for setting up the initial conditions is drawn from three consecutive input matter power spectra, and additional assumptions such as scale-independence of the linear growth factor and growth rate are not needed. We implement this method in a modified 2LPTic code, and demonstrate that in a Newtonian setting it can reproduce the velocity field given by the default 2LPTic code with subpercent accuracy. We also show that the matter and velocity power spectra of the initial particle data generated for GRAMSES simulations using this method agree very well with the linear-theory predictions in the particular gauge used by GRAMSES. Finally, we discuss corrections to the finite difference calculation of the velocity when radiation is present, as well as additional corrections implemented in GRAMSES to ensure consistency. This method can be applied in ICs generation for GR simulations in generic gauges, and simulations of cosmological models with scale-dependent linear growth rate.


title: Construction of Rate (n-1)/n Non-Binary LDPC Convolutional Codes via Difference Triangle Sets

abstract: This paper provides a construction of non-binary LDPC convolutional codes, which generalizes the work of Robinson and Bernstein. The sets of integers forming an $(n-1,w)$-difference triangle set are used as supports of the columns of rate $(n-1)/n$ convolutional codes. If the field size is large enough, the Tanner graph associated to the sliding parity-check matrix of the code is free from $4$ and $6$-cycles not satisfying the full rank condition. This is important for improving the performance of a code and avoiding the presence of low-weight codewords and absorbing sets. The parameters of the convolutional code are shown to be determined by the parameters of the underlying difference triangle set. In particular, the free distance of the code is related to $w$ and the degree of the code is linked to the "scope" of the difference triangle set. Hence, the problem of finding families of difference triangle set with minimum scope is equivalent to find convolutional codes with small degree.


title: Magnetization plateaus of spin-$\mathbf{\frac{1}{2}}$ system on a 5/7 skewed ladder

abstract: Magnetization plateaus are some of the most striking manifestations of frustration in low-dimensional spin systems. We present numerical studies of magnetization plateaus in the fascinating spin-1/2 skewed ladder system obtained by alternately fusing five- and seven-membered rings. This system exhibits three significant plateaus at $m = 1/4$, $1/2$ and $3/4$, consistent with the Oshikawa-Yamanaka-Affleck condition. Our numerical as well as perturbative analysis shows that the ground state can be approximated by three weakly coupled singlet dimers and two free spins, in the absence of a magnetic field. With increasing applied magnetic field, the dimers progressively become triplets with large energy gaps to excited states, giving rise to stable magnetization plateaus. Finite-temperature studies show that $m=1/4$ and $1/2$ plateaus are robust and survive thermal fluctuations while the $m=3/4$ plateau shrinks rapidly due to thermal noise. The cusps at the ends of a plateau follow the algebraic square-root dependence on $B$.


title: Time-Dependent Ginzburg-Landau Simulations of Superconducting Vortices in Three Dimensions

abstract: Here we describe a development of computer algorithm to simulate the Time Dependent Ginzburg-Landau equation (TDGL) and its application to understand superconducting vortex dynamics in confined geometries. Our initial motivation to get involved in this task was trying to understand better our experimental measurements on dynamics of superconductors with vortices at high frequencies leading to microwave stimulated superconductivity due to presence of vortex (Lara, et al., Scientific Reports, 59187 (2015)).


title: Classification of discrete modular symmetries in Type IIB flux vacua

abstract: We classify discrete modular symmetries in the effective action of Type IIB string on toroidal orientifolds with three-form fluxes, emphasizing on $T^6/\mathbb{Z}_2$ and $T^6/(\mathbb{Z}_2\times \mathbb{Z}_2^\prime)$ orientifold backgrounds. On the three-form flux background, the modular group is spontaneously broken down to its congruence subgroup whose pattern is severely constrained by a quantization of fluxes and tadpole cancellation conditions. We explicitly demonstrate that the congruence subgroups appearing in the effective action arise on magnetized D-branes wrapping certain cycles of tori.


title: On Simple Reactive Neural Networks for Behaviour-Based Reinforcement Learning

abstract: We present a behaviour-based reinforcement learning approach, inspired by Brook's subsumption architecture, in which simple fully connected networks are trained as reactive behaviours. Our working assumption is that a pick and place robotic task can be simplified by leveraging domain knowledge of a robotics developer to decompose and train such reactive behaviours; namely, approach, grasp, and retract. Then the robot autonomously learns how to combine them via an Actor-Critic architecture. The Actor-Critic policy is to determine the activation and inhibition mechanisms of the reactive behaviours in a particular temporal sequence. We validate our approach in a simulated robot environment where the task is picking a block and taking it to a target position while orienting the gripper from a top grasp. The latter represents an extra degree-of-freedom of which current end-to-end reinforcement learning fail to generalise. Our findings suggest that robotic learning can be more effective if each behaviour is learnt in isolation and then combined them to accomplish the task. That is, our approach learns the pick and place task in 8,000 episodes, which represents a drastic reduction in the number of training episodes required by an end-to-end approach and the existing state-of-the-art algorithms.


title: Machine Learning for Network Slicing Resource Management: A Comprehensive Survey

abstract: The emerging technology of multi-tenancy network slicing is considered as an essential feature of 5G cellular networks. It provides network slices as a new type of public cloud services, and therewith increases the service flexibility and enhances the network resource efficiency. Meanwhile, it raises new challenges of network resource management. A number of various methods have been proposed over the recent past years, in which machine learning and artificial intelligence techniques are widely deployed. In this article, we provide a survey to existing approaches of network slicing resource management, with a highlight on the roles played by machine learning in them.


title: Improving transit characterisation with Gaussian process modelling of stellar variability

abstract: New photometric space missions to detect and characterise transiting exoplanets are focusing on bright stars to obtain high cadence, high signal-to-noise light curves. Since these missions will be sensitive to stellar oscillations and granulation even for dwarf stars, they will be limited by stellar variability. We tested the performance of Gaussian process (GP) regression on the characterisation of transiting planets, and in particular to determine how many components of variability are necessary to describe high cadence, high signal-to-noise light curves expected from CHEOPS and PLATO. We found that the best GP stellar variability model contains four to five variability components: one stellar oscillation component, two to four granulation components, and/or one rotational modulation component. This high number of components is in contrast with the one-component GP model (1GP) commonly used in the literature for transit characterisation. Therefore, we compared the performance of the best multi-component GP model with the 1GP model in the derivation of transit parameters of simulated transits. We found that for Jupiter- and Neptune-size planets the best multi-component GP model is slightly better than the 1GP model, and much better than the non-GP model that gives biased results. For Earth-size planets, the 1GP model fails to retrieve the transit because it is a poor description of stellar activity. The non-GP model gives some biased results and the best multi-component GP is capable of retrieving the correct transit model parameters. We conclude that when characterising transiting exoplanets with high signal-to-noise ratios and high cadence light curves, we need models that couple the description of stellar variability with the transits analysis, like GPs. Moreover, for Earth-like exoplanets a better description of stellar variability improves the planetary characterisation.


title: SUSY, Casimir scaling and probabilistic properties of gluon and quark jets evolution

abstract: We study the new relation [1] between the anomalous dimensions, resummed through next-to-next-to-leading-logarithmic order, in the Dokshitzer-Gribov-Lipatov-Altarelli-Parisi evolution equations for the first Mellin moments D_{q,g}(\mu^2) of the fragmentation functions, which correspond to the average multiplicities of hadrons in jets initiated by quarks and gluons, respectively. This relation is shown to lead to probabilistic properties of the properly rescaled parton jet multiplicities obtained from standard ones by extracting the quark and gluon "color charges" C_F and C_A, respectively.


title: Forcing Axioms, the Uniformization and the Basis Property

abstract: We show that there are models of MA where the boldface $\Sigma^1_3$-uniformization property holds. Further we show that BPFA and the assertion $\aleph_1$ is accessible to reals outright implies that the boldface $\Sigma^1_3$-uniformization property is true.


title: The multi-degree of coverings on Lie groups

abstract: We associate to each covering map of simple Lie groups a sequence of integers, called the multi-degree of the covering; extend Schubert calculus to evaluate the invariant; and apply the results to solve two outstanding topological problems arising from the studies of the Wess-Zumino-Witten models and the topological Gauge theories. The main tool in our approach is the Chow rings of Lie groups, introduced by Grothendieck in 1958.


title: 100Mbps Reconciliation for Quantum Key Distribution Using a Single Graphics Processing Unit

abstract: An efficient error reconciliation scheme is important for post-processing of quantum key distribution (QKD). Recently, a multi-matrix low-density parity-check codes based reconciliation algorithm which can provide remarkable perspectives for high efficiency information reconciliation was proposed. This paper concerns the improvement of reconciliation performance. Multi-matrix algorithm is implemented and optimized on the graphics processing unit (GPU) to obtain high reconciliation throughput. Experimental results indicate that GPU-based algorithm can highly improve reconciliation throughput to an average 85.67 Mbps and a maximum 102.084 Mbps with typical code rate and efficiency. This is the best performance of reconciliation on GPU platform to our knowledge.


title: Simulation of the growth kinetics in group IV compound semiconductors

abstract: We present a stochastic simulation method designed to study at an atomic resolution the growth kinetics of compounds characterized by the sp3-type bonding symmetry. Formalization and implementation details are discussed for the particular case of the 3C-SiC material. A key feature of our numerical tool is the ability to simulate the evolution of both point-like and extended defects, whereas atom kinetics depend critically on process-related parameters. In particular, the simulations can describe the surface state of the crystal and the generation/evolution of defects as a function of the initial substrate condition and the calibration of the simulation parameters. We demonstrate that quantitative predictions of the microstructural evolution of the studied systems can be readily compared with the structural characterization of actual processed samples.


title: Approximate tensorization of the relative entropy for noncommuting conditional expectations

abstract: In this paper, we derive a new generalisation of the strong subadditivity of the entropy to the setting of general conditional expectations onto arbitrary finite-dimensional von Neumann algebras. The latter inequality, which we call approximate tensorization of the relative entropy, can be expressed as a lower bound for the sum of relative entropies between a given density and its respective projections onto two intersecting von Neumann algebras in terms of the relative entropy between the same density and its projection onto an algebra in the intersection, up to multiplicative and additive constants. In particular, our inequality reduces to the so-called quasi-factorization of the entropy for commuting algebras, which is a key step in modern proofs of the logarithmic Sobolev inequality for classical lattice spin systems. We also provide estimates on the constants in terms of conditions of clustering of correlations in the setting of quantum lattice spin systems. Along the way, we show the equivalence between conditional expectations arising from Petz recovery maps and those of general Davies semigroups.


title: Spontaneous Magnetic Field and Local Density of States near a Time-Reversal Symmetry Broken Surface State of YBCO

abstract: We study theoretically the spatial distribution of spontaneous magnetic fields near a (110) surface of cuprate high-$T_C$ superconductor YBCO by treating a bilayer $t-J$ model with the Bogoliubov-de Gennes method. Near a (110) surface where $d_{x^2-y^2}$-wave superconductivity is strongly suppressed, flux phase order occurs locally leading to a time-reversal symmetry broken surface state. Since the spontaneous currents flowing in the flux phase in two layers are antiparallele, resulting spontaneous magnetic fields are quite small. They exist in a narrow region inside the superconductor, and essentially vanish outside irrespective of the temperature. This result, together with the splitting of zero-energy peak of the local density of states, can provide consistent explanations for several experiments on YBCO.


title: Equivalence between first-order causal and stable hydrodynamics and Israel-Stewart theory for boost-invariant systems with a constant relaxation time

abstract: We show that the recently formulated causal and stable first-order hydrodynamics has the same dynamics as Israel-Stewart theory for boost-invariant, Bjorken expanding systems with a conformal equation of state and a regulating sector determined by a constant relaxation time. In this case, the general solution of the new first-order formulation can be determined analytically.


title: On constant Q-curvature metrics with isolated singularities

abstract: In this paper we derive a refined asymptotic expansion, near an isolated singularity, for conformally flat metrics with constant positive Q-curvature and positive scalar curvature. The condition that the metric has constant Q-curvature forces the conformal factor to satisfy a fourth order nonlinear partial differential equation with critical Sobolev growth, whose leading term is the bilaplacian. We model our results on a similar asymptotic expansion for conformally flat, constant scalar curvature metrics proven by Korevaar, Mazzeo, Pacard, and Schoen. Along the way we analyze the linearization of the Q-curvature equation about the Delaunay metrics recently discovered by Frank and K\"onig, which may be of independent interest.


title: Small data blow-up for the wave equation with a time-dependent scale invariant damping and a cubic convolution for slowly decaying initial data

abstract: In the present paper, we study the Cauchy problem for the wave equation with a time-dependent scale invariant damping, i.e.$\frac{2}{1+t}\partial_t v$ and a cubic convolution $(|x|^{-\gamma}*v^2)v$ with $\gamma\in (0,n)$, where $v=v(x,t)$ is an unknown function on $\mathbb{R}^n\times[0,T)$. Our aim of the present paper is to prove a small data blow-up result and show an upper estimate of lifespan of the problem for slowly decaying positive initial data $(v(x,0),\partial_t v(x,0))$ such as $\partial_t v(x,0)=O(|x|^{-(1+\nu)})$ as $|x|\rightarrow\infty$. Here $\nu$ belongs to the scaling supercritical case $\nu<\frac{n-\gamma}{2}$. Our main new contribution is to estimate the convolution term in high spatial dimensions, i.e. $n\ge 4$. This paper is the first blow-up result to treat wave equations with the cubic convolution in high spatial dimensions ($n\ge 4$).


title: Breakdown of the Arrhenius Law of the Temperature Dependent Vacancy Concentration in fcc-Lanthanum

abstract: We measured the temperature dependent equilibrium vacancy concentration using in-situ positron annihilation spectroscopy in order to determine the enthalpy $H_\text{f}$ and entropy $S_\text{f}$ of vacancy formation in elementary fcc-La. The Arrhenius law applied for the data analysis, however, is shown to fail in explaining the unexpected high values for both $S_\text{f}$ and $H_\text{f}$: in particular $S_\text{f}=17(2)~k_\text{B}$ is one order of magnitude larger compared to other elemental metals, and the experimental value of $H_\text{f}$ is found to be more than three standard deviations off the theoretical one $H_\text{f}=1.46~\text{eV}$ (our \acs{dft} calculation for La at $T=0~\text{K}$). A consistent explanation is given beyond the classical Arrhenius approach in terms of a temperature dependence of the vacancy formation entropy with $S_\text{f}^\prime=-0.0120(14)~k_\text{B}/\text{K}$ accounting for the anharmonic potential introduced by vacancies.


title: Emotion and Sentiment Lexicon Impact on Sentiment Analysis Applied to Book Reviews

abstract: Consumers are used to consulting posted reviews on the Internet before buying a product. But it's difficult to know the global opinion considering the important number of those reviews. Sentiment analysis afford detecting polarity (positive, negative, neutral) in a expressed opinion and therefore classifying those reviews. Our purpose is to determine the influence of emotions on the polarity of books reviews. We define "bag-of-words" representation models of reviews which use a lexicon containing emotional (anticipation, sadness, fear, anger, joy, surprise, trust, disgust) and sentimental (positive, negative) words. This lexicon afford measuring felt emotions types by readers. The implemented supervised learning used is a Random Forest type. The application concerns Amazon platform's reviews. Mots-cl{\'e}s : Analyse de sentiments, Analyse d'{\'e}motions (texte), Classification de polarit{\'e} de sentiments


title: Nonlocal multicontinua with Representative Volume Elements. Bridging separable and non-separable scales

abstract: Recently, several approaches for multiscale simulations for problems with high contrast and no scale separation are introduced. Among them is the nonlocal multicontinua (NLMC) method, which introduces multiple macroscopic variables in each computational grid. These approaches explore the entire coarse block resolution and one can obtain optimal convergence results independent of contrast and scales. However, these approaches are not amenable to many multiscale simulations, where the subgrid effects are much smaller than the coarse-mesh resolution. For example, the molecular dynamics of shale gas occurs in much smaller length scales compared to the coarse-mesh size, which is of orders of meters. In this case, one can not explore the entire coarse-grid resolution in evaluating effective properties. In this paper, we merge the concepts of nonlocal multicontinua methods and Representative Volume Element (RVE) concepts to explore problems with extreme scale separation. The first step of this approach is to use sub-grid scale (sub to RVE) to write a large-scale macroscopic system. We call it intermediate scale macroscale system. In the next step, we couple this intermediate macroscale system to the simulation grid model, which are used in simulations. This is done using RVE concepts, where we relate intermediate macroscale variables to the macroscale variables defined on our simulation coarse grid. Our intermediate coarse model allows formulating macroscale variables correctly and coupling them to the simulation grid. We present the general concept of our approach and present details of single-phase flow. Some numerical results are presented. For nonlinear examples, we use machine learning techniques to compute macroscale parameters.


title: Eigenvalues of the Laplacian with moving mixed boundary conditions: the case of disappearing Dirichlet region

abstract: In this work we consider the homogeneous Neumann eigenvalue problem for the Laplacian on a bounded Lipschitz domain and a singular perturbation of it, which consists in prescribing zero Dirichlet boundary conditions on a small subset of the boundary. We first describe the sharp asymptotic behaviour of a perturbed eigenvalue, in the case in which it is converging to a simple eigenvalue of the limit Neumann problem. The first term in the asymptotic expansion turns out to depend on the Sobolev capacity of the subset where the perturbed eigenfunction is vanishing. Then we focus on the case of Dirichlet boundary conditions imposed on a subset which is scaling to a point; by a blow-up analysis for the capacitary potentials, we detect the vanishing order of the Sobolev capacity of such shrinking Dirichlet boundary portion.


title: Deconfinement temperature in AdS/QCD from the spectrum of scalar glueballs

abstract: We scrutinize various holographic estimations of the deconfinement temperature within the bottom-up AdS/QCD models. A special emphasis is put on the recent idea of isospectral potentials in the holographic approach. It is demonstrated that different models from an isospectral family (i.e., the models leading to identical predictions for the spectrum of hadrons with fixed quantum numbers) result in different predictions for the deconfinement temperature. This difference is found to be quite small in the scalar glueball channel but very large in the vector meson channel which is often used for fixing parameters of holographic models. The observed stability in the former case clearly favors the choice of the glueball channel for thermodynamic predictions in AdS/QCD models, with the scalar glueball trajectory being taken from lattice simulations and used as a basic input in improved versions of the Soft Wall holographic model.


title: Spintronic superconductor in a bulk layered material with natural spin-valve structure

abstract: Multi-layered materials provide fascinating platforms to realize various functional properties, possibly leading to future electronic devices controlled by external fields. In particular, layered magnets coupled with conducting layers have been extensively studied recently for possible control of their transport properties via the spin structure. Successful control of quantum-transport properties in the materials with antiferromagnetic (AFM) layers, so-called natural spin-valve structure, has been reported for the Dirac Fermion and topological/axion materials. However, a bulk crystal in which magnetic and superconducting layers are alternately stacked has not been realized until now, and the search for functional properties in it is an interesting yet unexplored field in material science. Here, we discover superconductivity providing such an ideal platform in EuSn2As2 with the van der Waals stacking of magnetic Eu layers and superconducting Sn-As layers, and present the first demonstration of a natural spin-valve effect on the superconducting current. Below the superconducting transition temperature (Tc), the electrical resistivity becomes zero in the in-plane direction. In contrast, it, surprisingly, remains finite down to the lowest temperature in the out-of-plane direction, mostly due to the structure of intrinsic magnetic Josephson junctions in EuSn2As2. The magnetic order of the Eu layers (or natural spin-valve) is observed to be extremely soft, allowing one to easy control of the out-of-plane to in-plane resistivities ratio from 1 to infinity by weak external magnetic fields. The concept of multi-functional materials with stacked magnetic-superconducting layers will open a new pathway to develop novel spintronic devices with magnetically controllable superconductivity.


title: Dielectric particle lofting from dielectric substrate exposed to low energy electron beam

abstract: The particle-in-cell simulation is applied to study a nanometer-sized dielectric particle lofting from a dielectric substrate exposed to a low energy electron beam. The article discusses the electron accumulation between such a substrate and a particle lying on it, that can cause a particle lofting. The results are of interest for dust mitigation in the semiconductor industry, the lunar exploration and the explanation of the dust levitation.


title: On Solving Cooperative MARL Problems with a Few Good Experiences

abstract: Cooperative Multi-agent Reinforcement Learning (MARL) is crucial for cooperative decentralized decision learning in many domains such as search and rescue, drone surveillance, package delivery and fire fighting problems. In these domains, a key challenge is learning with a few good experiences, i.e., positive reinforcements are obtained only in a few situations (e.g., on extinguishing a fire or tracking a crime or delivering a package) and in most other situations there is zero or negative reinforcement. Learning decisions with a few good experiences is extremely challenging in cooperative MARL problems due to three reasons. First, compared to the single agent case, exploration is harder as multiple agents have to be coordinated to receive a good experience. Second, environment is not stationary as all the agents are learning at the same time (and hence change policies). Third, scale of problem increases significantly with every additional agent. Relevant existing work is extensive and has focussed on dealing with a few good experiences in single-agent RL problems or on scalable approaches for handling non-stationarity in MARL problems. Unfortunately, neither of these approaches (or their extensions) are able to address the problem of sparse good experiences effectively. Therefore, we provide a novel fictitious self imitation approach that is able to simultaneously handle non-stationarity and sparse good experiences in a scalable manner. Finally, we provide a thorough comparison (experimental or descriptive) against relevant cooperative MARL algorithms to demonstrate the utility of our approach.


title: Efficient Bound for Conditional Min-Entropy of Physical Unclonable Functions Beyond IID

abstract: The remaining min-entropy of a secret generated by fuzzy extraction from a Physical Unclonable Function is typically estimated under the assumption of independent and identically distributed PUF responses, but this assumption does not hold in practice. This work analyzes the more realistic case that the responses are independent but not necessarily identically distributed. For this case, we extend the (n-k) bound and a tighter bound by Delvaux et al. In particular, we suggest a grouping bound which provides a trade off for accuracy vs computational effort. Comparison to previous bounds shows the accuracy and efficiency of our bound. We also adapt the key rank (a tool from side-channel analysis) to cross-validate the state-of-the-art and our proposed min-entropy bounds based on publicly available PUF data from real hardware.


title: Moir\'{e} Flat Bands of Twisted Few-layer Graphite

abstract: We report that the twisted few layer graphite (tFL-graphite) is a new family of moir\'{e} heterostructures (MHSs), which has richer and highly tunable moir\'{e} flat band structures entirely distinct from all the known MHSs. A tFL-graphite is composed of two few-layer graphite (Bernal stacked multilayer graphene), which are stacked on each other with a small twisted angle. The moir\'{e} band structure of the tFL-graphite strongly depends on the layer number of its composed two van der Waals layers. Near the magic angle, a tFL-graphite always has two nearly flat bands coexisting with a few pairs of narrowed dispersive (parabolic or linear) bands at the Fermi level, thus, enhances the DOS at $E_F$. This coexistence property may also enhance the possible superconductivity as been demonstrated in other multiband superconductivity systems. Therefore, we expect strong multiband correlation effects in tFL-graphite. Meanwhile, a proper perpendicular electric field can induce several isolated nearly flat bands with nonzero valley Chern number in some simple tFL-graphites, indicating that tFL-graphite is also a novel topological flat band system.


title: A note on the definition of gravitational energy for quadratic curvature gravity via topological regularization

abstract: Within the framework of four-dimensional quadratic curvature gravities in the appearance of a negative cosmological constant, a definition for the gravitational energy of solutions with anti-de Sitter (AdS) asymptotics was put forward in Ref. [1]. This was achieved by adding proper topological invariant terms to the gravity action to render the variation problem well-posed. In the present note, we prove that the definition via the procedure of topological regularization can be covered by the one given in Ref. [3] in four dimensions. Motivated by this, we further generalize the results to generic gravity theories in arbitrary even dimensions.


title: Adelic toric varieties and adelic loop groups

abstract: We study the proalgebraic space which is the inverse limit of all finite branched covers over a normal toric variety with branching set the invariant divisor under the algebraic torus action. These are completions (compactifications) of the adelic abelian algebraic group which is the profinite completion of the algebraic torus. We prove that the vector bundle category of the proalgebraic toric completion of a toric variety is the direct limit of the respective categories of the finite toric varieties coverings defining the completion. In the case of the complex projective line we obtain as proalgebraic completion the adelic projective line P. We define holomorphic vector bundles over P. We also introduce the smooth, Sobolev and Wiener adelic loop groups and the corresponding Grassmannans; we describe their properties and prove Birkhoff's factorization for these groups. We prove that the adelic Picard group of holomorphic line bundles is isomorphic to the rationals and prove the Birkhoff-Grothendieck splitting theorem for holomorphic bundles of higher rank over P.


title: Testing a Quantum Error-Correcting Code on Various Platforms

abstract: Quantum error correction plays an important role in fault-tolerant quantum information processing. It is usually difficult to experimentally realize quantum error correction, as it requires multiple qubits and quantum gates with high fidelity. Here we propose a simple quantum error-correcting code for the detected amplitude damping channel. The code requires only two qubits. We implement the encoding, the channel, and the recovery on an optical platform, the IBM Q System, and a nuclear magnetic resonance system. For all of these systems, the error correction advantage appears when the damping rate exceeds some threshold. We compare the features of these quantum information processing systems used and demonstrate the advantage of quantum error correction on current quantum computing platforms.


title: Curiosities and counterexamples in smooth convex optimization

abstract: Counterexamples to some old-standing optimization problems in the smooth convex coercive setting are provided. We show that block-coordinate, steepest descent with exact search or Bregman descent methods do not generally converge. Other failures of various desirable features are established: directional convergence of Cauchy's gradient curves, convergence of Newton's flow, finite length of Tikhonov path, convergence of central paths, or smooth Kurdyka-Lojasiewicz inequality. All examples are planar. These examples are based on general smooth convex interpolation results. Given a decreasing sequence of positively curved C k convex compact sets in the plane, we provide a level set interpolation of a C k smooth convex function where k $\ge$ 2 is arbitrary. If the intersection is reduced to one point our interpolant has positive definite Hessian, otherwise it is positive definite out of the solution set. Furthermore , given a sequence of decreasing polygons we provide an interpolant agreeing with the vertices and whose gradients coincide with prescribed normals.


title: Dynamics of a Fleming-Viot type particle system on the cycle graph

abstract: We study the Fleming-Viot particle process formed by N interacting continuous-time asymmetric random walks on the cycle graph, with uniform killing. We show that this model has a remarkable exact solvability, despite the fact that it is non-reversible with non-explicit invariant distribution. Our main results include quantitative propagation of chaos and exponential ergodicity with explicit constants, as well as formulas for covariances at equilibrium in terms of the Chebyshev polynomials. We also obtain a bound uniform in time for the convergence of the proportion of particles in each state when the number of particles goes to infinity.


title: Safety Concerns and Mitigation Approaches Regarding the Use of Deep Learning in Safety-Critical Perception Tasks

abstract: Deep learning methods are widely regarded as indispensable when it comes to designing perception pipelines for autonomous agents such as robots, drones or automated vehicles. The main reasons, however, for deep learning not being used for autonomous agents at large scale already are safety concerns. Deep learning approaches typically exhibit a black-box behavior which makes it hard for them to be evaluated with respect to safety-critical aspects. While there have been some work on safety in deep learning, most papers typically focus on high-level safety concerns. In this work, we seek to dive into the safety concerns of deep learning methods and present a concise enumeration on a deeply technical level. Additionally, we present extensive discussions on possible mitigation methods and give an outlook regarding what mitigation methods are still missing in order to facilitate an argumentation for the safety of a deep learning method.


title: Tuneful: An Online Significance-Aware Configuration Tuner for Big Data Analytics

abstract: Distributed analytics engines such as Spark are a common choice for processing extremely large datasets. However, finding good configurations for these systems remains challenging, with each workload potentially requiring a different setup to run optimally. Using suboptimal configurations incurs significant extra runtime costs. %Furthermore, Spark and similar platforms are gaining traction within data-scientists communities where awareness of such issues is relatively low. We propose Tuneful, an approach that efficiently tunes the configuration of in-memory cluster computing systems. Tuneful combines incremental Sensitivity Analysis and Bayesian optimization to identify near-optimal configurations from a high-dimensional search space, using a small number of executions. This setup allows the tuning to be done online, without any previous training. Our experimental results show that Tuneful reduces the search time for finding close-to-optimal configurations by 62\% (at the median) when compared to existing state-of-the-art techniques. This means that the amortization of the tuning cost happens significantly faster, enabling practical tuning for new classes of workloads.