title: Cluster structures in $^{12}$C from global energy density functionals

abstract: Spectroscopic properties of low-lying states and cluster structures in $^{12}$C are analyzed in a "beyond mean-field framework" based on global energy density functionals (EDFs). To build symmetry-conserving collective states, axially-symmetric and reflection-asymmetric solutions of the relativistic Hartree-Bogoliubov equations are first projected onto good values of angular momentum, particle number, and parity. Configuration mixing is implemented using the generator coordinate method formalism. It is shown that such a global microscopic approach, based on a relativistic EDF, can account for the main spectroscopic features of $^{12}$C, including the ground-state and linear-chain bands as well as, to a certain approximation, the excitation energy of the Hoyle state. The calculated form factors reproduce reasonably well the available experimental values, and display an accuracy comparable to that of dedicated microscopic cluster models.


title: Cold denaturation of RNA secondary structures with loop entropy and quenched disorder

abstract: We study the folding of RNA secondary structures with quenched sequence randomness by means of the constrained annealing method. A thermodynamic phase transition is induced by including the conformational weight of loop structures. In addition to the expected melting at high temperature, a cold melting transition appears. Our results suggest that the cold denaturation of RNA found experimentally is, in fact, a continuous phase transition triggered by quenched sequence disorder. We calculate both hot and cold melting critical temperatures for the competing energy scenario between favorable and unfavorable base pairs and present a phase diagram as a function of the loop exponent and temperature.


title: Estimation of parameters in circuit QED by continuous quantum measurement

abstract: Designing high-precision and efficient schemes is of crucial importance for quantum parameter estimation in practice. The estimation scheme based on continuous quantum measurement is one possible type of this, which looks also the most natural choice in case such as continuous dynamical process. In this work we specify the study to the stat-of-the-art superconducting circuit quantum-electrodynamics (QED) system, where the high-quality continuous measurement has been extensively exploited in the past decade. Within the framework of Bayesian estimation and particularly using the quantum Bayesian rule in circuit QED, we numerically simulate the likelihood function as estimator for the Rabi frequency of qubit oscillation. We find that, by proper design of the interaction strength of measurement, the estimate precision can scale with the measurement time beyond the standard quantum limit, which is usually assumed for this type of continuous measurement since no more special quantum resource is involved. We understand this remarkable result by quantum correlation in time between the output signals, and simulate the effect of quantum efficiency of the measurement on the precision scaling behavior.


title: Determining phoretic mobilities with Onsager's reciprocal relations: electro- and thermophoresis revisited

abstract: We use a hydrodynamic reciprocal approach to phoretic motion to derive general expressions for the electrophoretic and thermophoretic mobility of weakly charged colloids in aqueous electrolyte solutions. Our approach shows that phoretic motion can be understood in terms of the interfacial transport of thermodynamic excess quantities that arises when a colloid is kept stationary inside a bulk fluid flow. The obtained expressions for the mobilities are extensions of previously known results as they can account for different hydrodynamic boundary conditions at the colloidal surface, irrespective of how the colloid-fluid interaction range compares to the colloidal radius.


title: Self-consistent derivation of the modified Gross-Pitaevskii equation with Lee-Huang-Yang correction

abstract: We consider a dilute and ultracold bosonic gas of weakly-interacting atoms. Within the framework of quantum field theory we derive a zero-temperature modified Gross-Pitaevskii equation with beyond-mean-field corrections due to quantum depletion and anomalous density. This result is obtained from the stationary equation of the Bose-Einstein order parameter coupled to the Bogoliubov-de Gennes equations of the out-of-condensate field operator. We show that, in the presence of a generic external trapping potential, the key steps to get the modified Gross-Pitaevskii equation are the semiclassical approximation for the Bogoliubov-de Gennes equations, a slowly-varying order parameter, and a small quantum depletion. In the uniform case, from the modified Gross-Pitaevskii equation we get the familiar equation of state with Lee-Huang-Yang correction.


title: Faltings height and N\'eron-Tate height of a theta divisor

abstract: We prove a formula, which, given a principally polarized abelian variety $(A,\lambda)$ over the field of algebraic numbers, relates the stable Faltings height of $A$ with the N\'eron--Tate height of a symmetric theta divisor on $A$. Our formula completes earlier results due to Bost, Hindry, Autissier and Wagener. The local non-archimedean terms in our formula can be expressed as the tropical moments of the tropicalizations of $(A,\lambda)$.


title: Metric graphs, cross ratios, and Rayleigh's laws

abstract: We study a notion of cross ratios on metric graphs and electrical networks. We show that several known results immediately follow from the basic properties of cross ratios. We show that the projection matrices of Kirchhoff have nice (and efficiently computable) expressions in terms of cross ratios. Finally we prove a very general version of Rayleigh's law, relating energy pairings and cross ratios before and after contracting an edge segment. As a corollary, we obtain a quantitative version of Rayleigh's monotonicity law for effective resistances. Another consequence is an explicit description of the behavior of the potential kernel of the Laplacian operator under contractions.


title: Tropical moments of tropical Jacobians

abstract: Each metric graph has canonically associated to it a polarized real torus called its tropical Jacobian. A fundamental real-valued invariant associated to each polarized real torus is its tropical moment. We give an explicit and efficiently computable formula for the tropical moment of a tropical Jacobian in terms of potential theory on the underlying metric graph. We show that there exists a universal linear relation between the tropical moment, the tau invariant, and the total length of a metric graph. We argue that this linear relation is a non-archimedean analogue of a recent remarkable identity established by Wilms for invariants of compact Riemann surfaces. We also relate our work to the computation of heights attached to principally polarized abelian varieties.


title: Stable Configurations Of Charged Sedimenting Particles

abstract: The qualitative behavior of charged particles in a vacuum is given by Earnshaw's Theorem which states that there is no steady configuration of charged particles in a vacuum which is asymptotically stable to perturbations. In a viscous fluid, examples of stationary configurations of sedimenting uncharged particles are known, but they are unstable or neutrally stable - they are not attractors. In this paper, it is shown by example that two charged particles settling in a fluid may have a configuration which is asymptotically stable to perturbations, for a wide range of charges, radii and densities. The existence of such "bound states" is essential from a fundamental point of view and it can be significant for dilute charged particulate systems in various biological, medical and industrial contexts.


title: Sparse Reconstructions of Acoustic Source for Inverse Scattering Problems in Measure Space

abstract: This paper proposes a systematic mathematical analysis of both the direct and inverse acoustic scattering problem given the source in Radon measure space. For the direct problem, we investigate the well-posedness including the existence, the uniqueness, and the stability by introducing a special definition of the weak solution, i.e. \emph{very} weak solution. For the inverse problem, we choose the Radon measure space instead of the popular $L^1$ space to build the sparse reconstruction, which can guarantee the existence of the reconstructed solution. The sparse reconstruction problem can be solved by the semismooth Newton method in the dual space. Numerical examples are included.


title: Efficient prediction of broadband trailing edge noise and application to porous edge treatment

abstract: Trailing edge noise generated by turbulent flow traveling past an edge of an airfoil is one of the most essential aeroacoustic sound generation mechanisms. It is of great interest for noise problems in various areas of industrial application. First principle based CAA with short response time are needed in the industrial design process for reliable prediction of spectral differences in turbulent-boundary-layer trailing-edge noise due to design modifications. In this paper, an aeroacoustic method is studied, resting on a hybrid CFD/CAA procedure. In a first step RANS simulation provides a time-averaged solution, including the mean-flow and turbulence statistics such as length-scale, time-scale and turbulence kinetic energy. Based on these, fluctuating sound sources are then stochastically generated by the Fast Random Particle-Mesh Method to simulate in a second CAA step broadband aeroacoustic sound. From experimental findings it is well known that porous trailing edges significantly lower trailing edge noise level over a large range of frequencies reaching up to 8dB reduction. Furthermore, sound reduction depends on the porous material parameters, e.g. geometry, porosity, permeability and pore size. The paper presents first results for an extended hybrid CFD/CAA method including porous materials with prescribed parameters. To incorporate the effect of porosity, an extended formulation of the Acoustic Perturbation Equations with source terms is derived based on a reformulation of the volume averaged Navier-Stokes equations into perturbation form. Proper implementation of the Darcy and Forchheimer terms is verified for sound propagation in homogeneous and anisotropic porous medium. Sound generation is studied for a generic symmetric NACA0012 airfoil without lift to separate secondary effects of lift and camber on sound from those of the basic edge noise treatments.


title: SLIC Based Digital Image Enlargement

abstract: Low resolution image enhancement is a classical computer vision problem. Selecting the best method to reconstruct an image to a higher resolution with the limited data available in the low-resolution image is quite a challenge. A major drawback from the existing enlargement techniques is the introduction of color bleeding while interpolating pixels over the edges that separate distinct colors in an image. The color bleeding causes to accentuate the edges with new colors as a result of blending multiple colors over adjacent regions. This paper proposes a novel approach to mitigate the color bleeding by segmenting the homogeneous color regions of the image using Simple Linear Iterative Clustering (SLIC) and applying a higher order interpolation technique separately on the isolated segments. The interpolation at the boundaries of each of the isolated segments is handled by using a morphological operation. The approach is evaluated by comparing against several frequently used image enlargement methods such as bilinear and bicubic interpolation by means of Peak Signal-to-Noise-Ratio (PSNR) value. The results obtained exhibit that the proposed method outperforms the baseline methods by means of PSNR and also mitigates the color bleeding at the edges which improves the overall appearance.


title: Validation of Quantum Adiabaticity through Non-Inertial Frames and Its Trapped-Ion Realization

abstract: Validity conditions for the adiabatic approximation are useful tools to understand and predict the quantum dynamics. Remarkably, the resonance phenomenon in oscillating quantum systems has challenged the adiabatic theorem. In this scenario, inconsistencies in the application of quantitative adiabatic conditions have led to a sequence of new approaches for adiabaticity. Here, by adopting a different strategy, we introduce a validation mechanism for the adiabatic approximation by driving the quantum system to a non-inertial reference frame. More specifically, we begin by considering several relevant adiabatic approximation conditions previously derived and show that all of them fail by introducing a suitable oscillating Hamiltonian for a single quantum bit (qubit). Then, by evaluating the adiabatic condition in a rotated non-inertial frame, we show that all of these conditions, including the standard adiabatic condition, can correctly describe the adiabatic dynamics in the original frame, either far from resonance or at a resonant point. Moreover, we prove that this validation mechanism can be extended for general multi-particle quantum systems, establishing the conditions for the equivalence of the adiabatic behavior as described in inertial or non-inertial frames. In order to experimentally investigate our method, we consider a hyperfine qubit through a single trapped Ytterbium ion $^{171}$Yb$^{+}$, where the ion hyperfine energy levels are used as degrees of freedom of a two-level system. By monitoring the quantum evolution, we explicitly show the consistency of the adiabatic conditions in the non-inertial frame.


title: Transverse spectrum of bremsstrahlung in finite condensed media

abstract: A formalism is presented in which the radiation of photons off high energy electrons during a multiple scattering process with finite condensed media can be evaluated for a general interaction. We show that the arising Landau-Pomeranchuk-Migdal suppression for finite size targets saturates at some characteristic photon energy. Medium coherence effects in the photon dispersion relation can be also considered leading to a dielectric suppression or transition radiation effects in the soft part of the spectrum. The main results of our formulation are presented for a Debye screened interaction and its well-known Fokker-Planck approximation, showing that for finite size targets or for the angular distributions of the final particles the differences between both scenarios cannot be reconciled into a single redefinition of the medium transport parameter $(\hat{q})$. Our predictions are in very good agreement with the experimental data collected at SLAC.


title: How (not) to renormalize integral equations with singular potentials in effective field theory

abstract: We discuss the connection between the perturbative and non-perturbative renormalization and related conceptual issues in the few-nucleon sector of the low-energy effective field theory of the strong interactions. General arguments are supported by examples from effective theories with and without pions as dynamical degrees of freedom. A quantum mechanical potential with explicitly specified short- and long-range parts is considered as an "underlying fundamental theory" and the corresponding effective field theory potential is constructed. Further, the problem of the effective field theoretical renormalization of the Skornyakov-Ter-Martyrosian equation is revisited.


title: Hybrid Active Inference

abstract: We describe a framework of hybrid cognition by formulating a hybrid cognitive agent that performs hierarchical active inference across a human and a machine part. We suggest that, in addition to enhancing human cognitive functions with an intelligent and adaptive interface, integrated cognitive processing could accelerate emergent properties within artificial intelligence. To establish this, a machine learning part learns to integrate into human cognition by explaining away multi-modal sensory measurements from the environment and physiology simultaneously with the brain signal. With ongoing training, the amount of predictable brain signal increases. This lends the agent the ability to self-supervise on increasingly high levels of cognitive processing in order to further minimize surprise in predicting the brain signal. Furthermore, with increasing level of integration, the access to sensory information about environment and physiology is substituted with access to their representation in the brain. While integrating into a joint embodiment of human and machine, human action and perception are treated as the machine's own. The framework can be implemented with invasive as well as non-invasive sensors for environment, body and brain interfacing. Online and offline training with different machine learning approaches are thinkable. Building on previous research on shared representation learning, we suggest a first implementation leading towards hybrid active inference with non-invasive brain interfacing and state of the art probabilistic deep learning methods. We further discuss how implementation might have effect on the meta-cognitive abilities of the described agent and suggest that with adequate implementation the machine part can continue to execute and build upon the learned cognitive processes autonomously.


title: LiveCap: Real-time Human Performance Capture from Monocular Video

abstract: We present the first real-time human performance capture approach that reconstructs dense, space-time coherent deforming geometry of entire humans in general everyday clothing from just a single RGB video. We propose a novel two-stage analysis-by-synthesis optimization whose formulation and implementation are designed for high performance. In the first stage, a skinned template model is jointly fitted to background subtracted input video, 2D and 3D skeleton joint positions found using a deep neural network, and a set of sparse facial landmark detections. In the second stage, dense non-rigid 3D deformations of skin and even loose apparel are captured based on a novel real-time capable algorithm for non-rigid tracking using dense photometric and silhouette constraints. Our novel energy formulation leverages automatically identified material regions on the template to model the differing non-rigid deformation behavior of skin and apparel. The two resulting non-linear optimization problems per-frame are solved with specially-tailored data-parallel Gauss-Newton solvers. In order to achieve real-time performance of over 25Hz, we design a pipelined parallel architecture using the CPU and two commodity GPUs. Our method is the first real-time monocular approach for full-body performance capture. Our method yields comparable accuracy with off-line performance capture techniques, while being orders of magnitude faster.


title: On Collaborative Predictive Blacklisting

abstract: Collaborative predictive blacklisting (CPB) allows to forecast future attack sources based on logs and alerts contributed by multiple organizations. Unfortunately, however, research on CPB has only focused on increasing the number of predicted attacks but has not considered the impact on false positives and false negatives. Moreover, sharing alerts is often hindered by confidentiality, trust, and liability issues, which motivates the need for privacy-preserving approaches to the problem. In this paper, we present a measurement study of state-of-the-art CPB techniques, aiming to shed light on the actual impact of collaboration. To this end, we reproduce and measure two systems: a non privacy-friendly one that uses a trusted coordinating party with access to all alerts (Soldo et al., 2010) and a peer-to-peer one using privacy-preserving data sharing (Freudiger et al., 2015). We show that, while collaboration boosts the number of predicted attacks, it also yields high false positives, ultimately leading to poor accuracy. This motivates us to present a hybrid approach, using a semi-trusted central entity, aiming to increase utility from collaboration while, at the same time, limiting information disclosure and false positives. This leads to a better trade-off of true and false positive rates, while at the same time addressing privacy concerns.


title: Simulating acculturation dynamics between migrants and locals in relation to network formation

abstract: International migration implies the coexistence of different ethnic and cultural groups in the receiving country. The refugee crisis of 2015 has resulted in critical levels of opinion polarization on the question of whether to welcome migrants, causing clashes in receiving countries. This scenario emphasizes the need to better understand the dynamics of mutual adaptation between locals and migrants, and the conditions that favor successful integration. Agent-based simulations can help achieve this goal. In this work, we introduce our model MigrAgent and our preliminary results. The model synthesizes the dynamics of migration intake and post-migration adaptation. It explores the different acculturation outcomes that can emerge from the mutual adaptation of a migrant population and a local population depending on their degree of tolerance. With parameter sweeping, we detect how different acculturation strategies can coexist in a society and in different degrees among various subgroups. The results show higher polarization effects between a local population and a migrant population for fast intake conditions. When migrant intake is slow, transitory conditions between acculturation outcomes emerge for subgroups, e.g., from assimilation to integration for liberal migrants and from marginalization to separation for conservative migrants. Relative group sizes due to speed of intake cause counterintuitive scenarios, such as the separation of liberal locals. We qualitatively compare the processes of our model with the German portion sample of the survey Causes and Consequences of Socio-Cultural Integration Processes among New Immigrants in Europe (SCIP), finding preliminary confirmation of our assumptions and results.


title: Role of polarized tip-enhanced Raman spectroscopy in the enhancement of interface optical phonon modes in AlGaN multi-quantum wells

abstract: Group III nitride based two-dimensional multi-quantum well (MQW) nanostructures find remarkable applications in the visible to ultraviolet light sources. The interface optical (IFO) phonon modes in a c-axis oriented superlattice of [Al0.35Ga0.65N (~1.75 nm)/Al0.55Ga0.45N (~2nm)]20 MQWs are observed using tip-enhanced Raman spectroscopic (TERS) studies. The near-field studies using TERS probe with an Au spherical nanoparticle of ~ 200 nm diameter were carried out at ambient conditions showing approximately two to three orders of enhancement in the Raman intensities. The interface phonon mode belonging to E1 symmetry [IFO(E1)] vibrating normal to the c-axis of MQWs appeared to be more prominent in the case of TERS measurement compared to that for the other interface phonon mode of A1 symmetry. The confined electric field of the polarized electro-magnetic excitation using TERS probe, parallel to the plane of the interface of MQW, is made responsible for the plasmonic enhancement of IFO(E1) phonon mode. The confinement was verified using finite-difference time-domain simulation.


title: Screenings in Modified Gravity: a perturbative approach

abstract: We present a formalism to study screening mechanisms in modified theories of gravity via perturbative methods in different cosmological scenarios. We consider Einstein frame posed theories that are recast as Jordan frame theories, where a known formalism is employed, though the resulting non-linearities of the Klein-Gordon equation acquire an explicit coupling between matter and the scalar field, which is not present in Jordan frame theories. The obtained growth functions are then separated in screening and non-screened contributions to facilitate its analysis. This allows us to compare several theoretical models and to recognize patterns which can be used to differentiate models and their screening mechanisms. In particular, we find anti-screening features in the Symmetron model. In opposition, chameleon type theories, both in the Jordan and in the Einstein frame, always present a screening behaviour. Up to third order in perturbation, we find no anti-screening behaviour in theories with a Vainshtein mechanism, such as the DGP and the cubic Galileon.


title: FingerVision Tactile Sensor Design and Slip Detection Using Convolutional LSTM Network

abstract: Tactile sensing is essential to the human perception system, so as to robot. In this paper, we develop a novel optical-based tactile sensor "FingerVision" with effective signal processing algorithms. This sensor is composed of soft skin with embedded marker array bonded to rigid frame, and a web camera with a fisheye lens. While being excited with contact force, the camera tracks the movements of markers and deformation field is obtained. Compared to existing tactile sensors, our sensor features compact footprint, high resolution, and ease of fabrication. Besides, utilizing the deformation field estimation, we propose a slip classification framework based on convolution Long Short Term Memory (convolutional LSTM) networks. The data collection process takes advantage of the human sense of slip, during which human hand holds 12 daily objects, interacts with sensor skin and labels data with a slip or non-slip identity based on human feeling of slip. Our slip classification framework performs high accuracy of 97.62% on the test dataset. It is expected to be capable of enhancing the stability of robot grasping significantly, leading to better contact force control, finer object interaction and more active sensing manipulation.


title: Virtual retraction properties in groups

abstract: If $G$ is a group, a virtual retract of $G$ is a subgroup which is a retract of a finite index subgroup. Most of the paper focuses on two group properties: property (LR), that all finitely generated subgroups are virtual retracts, and property (VRC), that all cyclic subgroups are virtual retracts. We study the permanence of these properties under commensurability, amalgams over retracts, graph products and wreath products. In particular, we show that (VRC) is stable under passing to finite index overgroups, while (LR) is not. The question whether all finitely generated virtually free groups satisfy (LR) motivates the remaining part of the paper, studying virtual free factors of such groups. We give a simple criterion characterizing when a finitely generated subgroup of a virtually free group is a free factor of a finite index subgroup. We apply this criterion to settle a conjecture of Brunner and Burns.


title: Design and implementation of a micro-coil induction magnetometer

abstract: We present a micron-sized induction magnetometer designed to measure the magnetic response of superconducting mesoscopic samples. The device is manufactured using the Memscap PolyMUMPs process and consists of two octagonal planar parallel micro-coils covering an area of 240 microns X 240 microns, which are separated by only 2.75 microns. We show that this design is sufficiently sensitive to detect the Meissner transition at zero dc field, of a high-Tc superconductor Bi2Sr2CaCu2O8 disk of 40 microns in diameter and 1 micron in thicknesses.


title: Field-induced double spin spiral in a frustrated chiral magnet

abstract: We report the direct observation of a magnetic-feld induced long-wavelength spin spiral modulation in the chiral compound Ba3TaFe3Si2O14. This new spin texture emerges out of a chiral helical ground state, and is hallmarked by the onset of a unique contribution to the bulk electric polarization, the sign of which depends on the crystal chirality. The periodicity of the feld induced modulation, several hundreds of nm depending on the field value, is comparable to the length scales of mesoscopic topological defects such as skyrmions, merons and solitons. The phase transition and observed threshold behavior are consistent with a phenomenology based on the allowed Lifshitz invariants for the chiral symmetry of langasite, which intriguingly contain all the ingredients for the possible realization of topologically stable antiferromagnetic skyrmions.


title: Diffusive Molecular Communication in a Biological Spherical Environment with Partially Absorbing Boundary

abstract: Diffusive molecular communication (DMC) is envisioned as a promising approach to help realize healthcare applications within bounded biological environments. In this paper, a DMC system within a biological spherical environment is considered, inspired by bounded biological sphere-like structures throughout the body. As a biological environment, it is assumed that the inner surface of the sphere's boundary is fully covered by biological receptors that may irreversibly react with hitting molecules. Moreover, information molecules diffusing in the sphere may undergo a degradation reaction and be transformed to another molecule type. Concentration Green's function (CGF) of diffusion inside this environment is analytically obtained in terms of a convergent infinite series. By employing the obtained CGF, the information channel between transmitter and transparent receiver of DMC in this environment is characterized. Interestingly, it is revealed that the information channel is reciprocal, i.e., interchanging the position of receiver and transmitter does not change the information channel. Our results indicate that the conventional simplifying assumption that the environment is unbounded may lead to an inaccurate characterization in such biological environments.


title: IMMIGRATE: A Margin-based Feature Selection Method with Interaction Terms

abstract: Relief based algorithms have often been claimed to uncover feature interactions. However, it is still unclear whether and how interaction terms will be differentiated from marginal effects. In this paper, we propose IMMIGRATE algorithm by including and training weights for interaction terms. Besides applying the large margin principle, we focus on the robustness of the contributors of margin and consider local and global information simultaneously. Moreover, IMMIGRATE has been shown to enjoy attractive properties, such as robustness and combination with Boosting. We evaluate our proposed method on several tasks, which achieves state-of-the-art results significantly.


title: Automated Fix Detection Given Flaky Tests

abstract: Research Proposal in Automated Fix Detection


title: Accelerated Decentralized Optimization with Local Updates for Smooth and Strongly Convex Objectives

abstract: In this paper, we study the problem of minimizing a sum of smooth and strongly convex functions split over the nodes of a network in a decentralized fashion. We propose the algorithm $ESDACD$, a decentralized accelerated algorithm that only requires local synchrony. Its rate depends on the condition number $\kappa$ of the local functions as well as the network topology and delays. Under mild assumptions on the topology of the graph, $ESDACD$ takes a time $O((\tau_{\max} + \Delta_{\max})\sqrt{{\kappa}/{\gamma}}\ln(\epsilon^{-1}))$ to reach a precision $\epsilon$ where $\gamma$ is the spectral gap of the graph, $\tau_{\max}$ the maximum communication delay and $\Delta_{\max}$ the maximum computation time. Therefore, it matches the rate of $SSDA$, which is optimal when $\tau_{\max} = \Omega\left(\Delta_{\max}\right)$. Applying $ESDACD$ to quadratic local functions leads to an accelerated randomized gossip algorithm of rate $O( \sqrt{\theta_{\rm gossip}/n})$ where $\theta_{\rm gossip}$ is the rate of the standard randomized gossip. To the best of our knowledge, it is the first asynchronous gossip algorithm with a provably improved rate of convergence of the second moment of the error. We illustrate these results with experiments in idealized settings.


title: Emergent Josephson current of $N=1$ chiral topological superconductor in quantum anomalous Hall insulator/superconductor heterostructures

abstract: Recently, a quantum anomalous Hall insulator (QAHI)/superconductor heterostructure has been realized and shows half-quantized conductance plateaus in two-terminal conductance measurements [Q. L. He \textit{et al.}, Science {\bf357}, 294 (2017)]. The half-quantized conductance plateaus are considered as a solid evidence of chiral Majorana edge modes. However, there is a strong debate over the origin of the half-quantized conductance plateaus. In this work, we propose a Josephson junction based on the QAHI/superconductor heterostructure to identify the existence of chiral Majorana edge modes. We find that the critical Josephson current dramatically increases to a peak value when a half-quantized conductance plateau $\sigma_{12}=e^2/2h$ is showing up for the $N=1$ chiral topological superconductor phase with a single chiral Majorana mode. Furthermore, we show that the critical Josephson current of the $N=1$ chiral topological superconductor exhibits an $h/e$-period oscillation and is robust to disorder, in contrast to the behaviors of conventional two-dimensional electron gas systems. We also estimate experimentally relevant parameters and believe that the supercurrent can be observed in experiments.


title: Spin-Dependent Electron Transmission Model for Chiral Molecules in Mesoscopic Devices

abstract: Various device-based experiments have indicated that electron transfer in certain chiral molecules may be spin-dependent, a phenomenon known as the Chiral Induced Spin Selectivity (CISS) effect. However, due to the complexity of these devices and a lack of theoretical understanding, it is not always clear to what extent the chiral character of the molecules actually contributes to the magnetic-field-dependent signals in these experiments. To address this issue, we report here an electron transmission model that evaluates the role of the CISS effect in two-terminal and multi-terminal linear-regime electron transport experiments. Our model reveals that for the CISS effect, the chirality-dependent spin transmission is accompanied by a spin-flip electron reflection process. Furthermore, we show that more than two terminals are required in order to probe the CISS effect in the linear regime. In addition, we propose two types of multi-terminal nonlocal transport measurements that can distinguish the CISS effect from other magnetic-field-dependent signals. Our model provides an effective tool to review and design CISS-related transport experiments, and to enlighten the mechanism of the CISS effect itself.


title: Advantages of the multinucleon transfer reactions based on 238U target for producing neutron-rich isotopes around N = 126

abstract: The mechanism of multinucleon transfer (MNT) reactions for producing neutron-rich heavy nuclei around N = 126 is investigated within two different theoretical frameworks: dinuclear system (DNS) model and isospin-dependent quantum molecular dynamics (IQMD) model. The effects of mass asymmetry relaxation, N=Z equilibration, and shell closures on production cross sections of neutron-rich heavy nuclei are investigated. For the first time, the advantages for producing neutron-rich heavy nuclei around N = 126 is found in MNT reactions based on 238U target. We propose the reactions with 238U target for producing unknown neutron-rich heavy nuclei around N = 126 in the future.


title: Brownian geometry

abstract: We present different continuous models of random geometry that have been introduced and studied in the recent years. In particular, we consider the Brownian map, which is the universal scaling limit of large planar maps in the Gromov-Hausdorff sense, and the Brownian disk, which appears as the scaling limit of planar maps with a boundary. We discuss the construction of these models, and we emphasize the role played by Brownian motion indexed by the Brownian tree.


title: Uniform Asymptotics and Confidence Regions Based on the Adaptive Lasso with Partially Consistent Tuning

abstract: We consider the adaptive Lasso estimator with componentwise tuning in the framework of a low-dimensional linear regression model. In our setting, at least one of the components is penalized at the rate of consistent model selection and certain components may not be penalized at all. We perform a detailed study of the consistency properties and the asymptotic distribution which includes the effects of componentwise tuning within a so-called moving-parameter framework. These results enable us to explicitly provide a set $\mathcal{M}$ such that every open superset acts as a confidence set with uniform asymptotic coverage equal to 1, whereas removing an arbitrarily small open set along the boundary yields a confidence set with uniform asymptotic coverage equal to 0. The shape of the set $\mathcal{M}$ depends on the regressor matrix as well as the deviations within the componentwise tuning parameters. Our findings can be viewed as a broad generalization of P\"otscher & Schneider (2009, 2010) who considered distributional properties and confidence intervals based on components of the adaptive Lasso estimator for the case of orthogonal regressors.


title: Un enfoque de ense\~nanza de la Astronom\'ia: Algunas consideraciones epistemol\'ogicas y did\'acticas

abstract: In order to guide teaching practices in Initial and Primary Education (IPE) level, it seems fundamental to start with an epistemological and didactic analysis of the programmatic content of the Knowledge of Nature area in the curriculum currently in force in Uruguay. In this work we briefly discuss the astronomical contents prescribed in the Program of IPE, year 2008, in order to provide teachers with some "reading keys" that might translate into possible guidelines for the design, implementation and evaluation of teaching sequences that address these contents.


title: On Brady's Classifying Spaces for Artin Groups of Finite Type

abstract: This thesis takes Brady's construction of $K(\pi,1)$s for the braid groups as a starting point. It is widely known that this construction can - with the right ingredients - be generalized to Artin groups of finite type. Results of Bessis as well as Brady and Watt are used to establish the general construction for Artin groups of finite type. The non-crossing partition lattice in finite Coxeter groups is identified and used to generate the so called poset group. With the help of this poset group, which turns out to be isomorphic to the Artin group, a simplicial complex is constructed on which the poset group acts. It is shown that the complex itself is the universal cover of the $K(\pi,1)$ of the Artin group of finite type and the quotient under the action is the desired $K(\pi,1)$.


title: Faint $\gamma$-ray sources at low-redshift: the radio galaxy IC 1531

abstract: We present a multi-wavelength study of IC 1531 (z=0.02564), an extragalactic radio source associated with the $\gamma$-ray object 3FGL J0009.9-3206 and classified as a blazar of uncertain type in the Third Fermi Large Area Telescope AGN Catalog (3LAC). A core-jet structure, visible in radio and X-rays, is enclosed within a $\sim$220 kpc wide radio structure. The morphology and spectral characteristics of the kiloparsec jet in radio and X-rays are typical of Fanaroff-Riley type I galaxies. The analysis of the radio data and optical spectrum and different diagnostic methods based on the optical, infrared and $\gamma$-ray luminosities also support a classification as a low-power radio galaxy seen at moderate angles ($\theta=$10$^\circ$-20$^\circ$). In the framework of leptonic models, the high-energy peak of the non-thermal nuclear spectral energy distribution can be explained in terms of synchrotron-self-Compton emission from a jet seen at $\theta\sim$15$^\circ$. Similarly to other misaligned AGNs detected by Fermi, the required bulk motion is lower ($\Gamma_{\rm bulk}=$4) than the values inferred in BL Lac objects, confirming that, because of the de-boosting of emission from the highly-relativistic blazar region, these nearby systems are valuable targets to probe the existence of multiple sites of production of the most energetic emission in the jets.


title: Reply to Chen et al.: Parametric methods for cluster inference perform worse for two-sided t-tests

abstract: One-sided t-tests are commonly used in the neuroimaging field, but two-sided tests should be the default unless a researcher has a strong reason for using a one-sided test. Here we extend our previous work on cluster false positive rates, which used one-sided tests, to two-sided tests. Briefly, we found that parametric methods perform worse for two-sided t-tests, and that non-parametric methods perform equally well for one-sided and two-sided tests.


title: Computing the Nucleolus of Weighted Voting Games in Pseudo-polynomial Time

abstract: We provide an algorithm for computing the nucleolus for an instance of a weighted voting game in pseudo-polynomial time. This resolves an open question posed by Elkind. et.al. 2007.


title: On the number of vertices of projective polytopes

abstract: Let $X$ be a configuration of $n$ points in $\mathbb{R}^d$. What is the maximum number of vertices that $conv(T(X))$ can have among all the possible permissible projective transformations $T$? In this paper, we investigate this and connected questions. After presenting several upper bounds, we study a closely related problem (via Gale transforms) concerning the number of minimal Radon partitions of a set of points. We then present some bounds for this number that enable us to partially answer a question due to Pach and Szegedy. We also discuss another related problem concerning the size of topes in arrangements of hyperplanes.


title: Cavity control of Excitons in two dimensional Materials

abstract: We propose a robust and efficient way of controlling the optical spectra of two-dimensional materials and van der Waals heterostructures by quantum cavity embedding. The cavity light-matter coupling leads to the formation of exciton-polaritons, a superposition of photons and excitons. Our first principles study demonstrates a reordering and mixing of bright and dark excitons spectral features and in the case of a type II van-der-Waals heterostructure an inversion of intra and interlayer excitonic resonances. We further show that the cavity light-matter coupling strongly depends on the dielectric environment and can be controlled by encapsulating the active 2D crystal in another dielectric material. Our theoretical calculations are based on a newly developed non-perturbative many-body framework to solve the coupled electron-photon Schr\"odinger equation in a quantum-electrodynamical extension of the Bethe-Salpeter approach. This approach enables the ab-initio simulations of exciton-polariton states and their dispersion from weak to strong cavity light-matter coupling regimes. Our method is then extended to treat van der Waals heterostructures and encapsulated 2D materials using a simplified Mott-Wannier description of the excitons that can be applied to very large systems beyond reach for fully ab-initio approaches.


title: Direct and Inverse Theorems on Signed Sumsets of Integers

abstract: Let $G$ be an additive abelian group and $h$ be a positive integer. For a nonempty finite subset $A=\{a_0, a_1,\ldots, a_{k-1}\}$ of $G$, we let \[h_{\underline{+}}A:=\{\Sigma_{i=0}^{k-1}\lambda_{i} a_{i}: (\lambda_{0}, \ldots, \lambda_{k-1}) \in \mathbb{Z}^{k},~ \Sigma_{i=0}^{k-1}|\lambda_{i}|=h \},\] be the {\it signed sumset} of $A$. The {\it direct problem} for the signed sumset $h_{\underline{+}}A$ is to find a nontrivial lower bound for $|h_{\underline{+}}A|$ in terms of $|A|$. The {\it inverse problem} for $h_{\underline{+}}A$ is to determine the structure of the finite set $A$ for which $|h_{\underline{+}}A|$ is minimal. In this article, we solve both the direct and inverse problems for $|h_{\underline{+}}A|$, when $A$ is a finite set of integers.


title: Anomalous diffusion in random dynamical systems

abstract: Consider a chaotic dynamical system generating Brownian motion-like diffusion. Consider a second, non-chaotic system in which all particles localize. Let a particle experience a random combination of both systems by sampling between them in time. What type of diffusion is exhibited by this {\em random dynamical system}? We show that the resulting dynamics can generate anomalous diffusion, where in contrast to Brownian normal diffusion the mean square displacement of an ensemble of particles increases nonlinearly in time. Randomly mixing simple deterministic walks on the line we find anomalous dynamics characterised by ageing, weak ergodicity breaking, breaking of self-averaging and infinite invariant densities. This result holds for general types of noise and for perturbing nonlinear dynamics in bifurcation scenarios.


title: Spin gap in a quasi-1D S=1/2 antiferromagnet K2CuSO4Cl2

abstract: Electron spin resonance experiments in the quasi-1D S=1/2 antiferromagnet K$_2$CuSO$_4$Cl$_2$ reveal opening of a gap in absence of magnetic ordering, as well as an anisotropic shift of the resonance magnetic field. These features of magnetic excitation spectrum are explained by a crossover between a gapped spinon-type doublet ESR formed in a 1D antiferromagnet with uniform Dzyaloshinskii-Moriya interaction and a Larmor-type resonance of a quasi-1D Heisenberg system


title: Optimal Target Intercept Paths for Vehicles with Turn Radius Constraints

abstract: We present a path planning problem for a pursuer to intercept a target traveling on a circle. The pursuer considered here has limited yaw rate, and therefore its path should satisfy the kinematic constraints. We assume that the distance between initial position of the pursuer and any point on the target circle is greater than four times the minimum turn radius of the pursuer. We prove the continuity of the Dubins paths of type Circle-Straight line-Circle with respect to the position on the target circle. This is used to prove that the optimal interception path is a Dubins path, and we present an iterative algorithm to find the optimal interception point on the target circle.


title: Convex Clustering: Model, Theoretical Guarantee and Efficient Algorithm

abstract: Clustering is a fundamental problem in unsupervised learning. Popular methods like K-means, may suffer from poor performance as they are prone to get stuck in its local minima. Recently, the sum-of-norms (SON) model (also known as the clustering path) has been proposed in Pelckmans et al. (2005), Lindsten et al. (2011) and Hocking et al. (2011). The perfect recovery properties of the convex clustering model with uniformly weighted all pairwise-differences regularization have been proved by Zhu et al. (2014) and Panahi et al. (2017). However, no theoretical guarantee has been established for the general weighted convex clustering model, where better empirical results have been observed. In the numerical optimization aspect, although algorithms like the alternating direction method of multipliers (ADMM) and the alternating minimization algorithm (AMA) have been proposed to solve the convex clustering model (Chi and Lange, 2015), it still remains very challenging to solve large-scale problems. In this paper, we establish sufficient conditions for the perfect recovery guarantee of the general weighted convex clustering model, which include and improve existing theoretical results as special cases. In addition, we develop a semismooth Newton based augmented Lagrangian method for solving large-scale convex clustering problems. Extensive numerical experiments on both simulated and real data demonstrate that our algorithm is highly efficient and robust for solving large-scale problems. Moreover, the numerical results also show the superior performance and scalability of our algorithm comparing to the existing first-order methods. In particular, our algorithm is able to solve a convex clustering problem with 200,000 points in $\mathbb{R}^3$ in about 6 minutes.


title: Local Interpretable Model-agnostic Explanations of Bayesian Predictive Models via Kullback-Leibler Projections

abstract: We introduce a method, KL-LIME, for explaining predictions of Bayesian predictive models by projecting the information in the predictive distribution locally to a simpler, interpretable explanation model. The proposed approach combines the recent Local Interpretable Model-agnostic Explanations (LIME) method with ideas from Bayesian projection predictive variable selection methods. The information theoretic basis helps in navigating the trade-off between explanation fidelity and complexity. We demonstrate the method in explaining MNIST digit classifications made by a Bayesian deep convolutional neural network.


title: Distributed optimization in wireless sensor networks: an island-model framework

abstract: Wireless Sensor Networks (WSNs) is an emerging technology in several application domains, ranging from urban surveillance to environmental and structural monitoring. Computational Intelligence (CI) techniques are particularly suitable for enhancing these systems. However, when embedding CI into wireless sensors, severe hardware limitations must be taken into account. In this paper we investigate the possibility to perform an online, distributed optimization process within a WSN. Such a system might be used, for example, to implement advanced network features like distributed modelling, self-optimizing protocols, and anomaly detection, to name a few. The proposed approach, called DOWSN (Distributed Optimization for WSN) is an island-model infrastructure in which each node executes a simple, computationally cheap (both in terms of CPU and memory) optimization algorithm, and shares promising solutions with its neighbors. We perform extensive tests of different DOWSN configurations on a benchmark made up of continuous optimization problems; we analyze the influence of the network parameters (number of nodes, inter-node communication period and probability of accepting incoming solutions) on the optimization performance. Finally, we profile energy and memory consumption of DOWSN to show the efficient usage of the limited hardware resources available on the sensor nodes.


title: Fundamental Physics with the Square Kilometre Array

abstract: The Square Kilometre Array (SKA) is a planned large radio interferometer designed to operate over a wide range of frequencies, and with an order of magnitude greater sensitivity and survey speed than any current radio telescope. The SKA will address many important topics in astronomy, ranging from planet formation to distant galaxies. However, in this work, we consider the perspective of the SKA as a facility for studying physics. We review four areas in which the SKA is expected to make major contributions to our understanding of fundamental physics: cosmic dawn and reionisation; gravity and gravitational radiation; cosmology and dark energy; and dark matter and astroparticle physics. These discussions demonstrate that the SKA will be a spectacular physics machine, which will provide many new breakthroughs and novel insights on matter, energy and spacetime.


title: Quantum codes for quantum simulation of Fermions on a square lattice of qubits

abstract: Quantum simulation of fermionic systems is a promising application of quantum computers, but in order to program them, we need to map fermionic states and operators to qubit states and quantum gates. While quantum processors may be built as two-dimensional qubit networks with couplings between nearest neighbors, standard Fermion-to-qubit mappings do not account for that kind of connectivity. In this work we concatenate the (one-dimensional) Jordan-Wigner transform with specific quantum codes defined under the addition of a certain number of auxiliary qubits. This yields a novel class of mappings with which any fermionic system can be embedded in a two-dimensional qubit setup, fostering scalable quantum simulation. Our technique is demonstrated on the two-dimensional Fermi-Hubbard model, that we transform into a local Hamiltonian. What is more, we adapt the Verstraete-Cirac transform and Bravyi-Kitaev Superfast simulation to the square lattice connectivity and compare them to our mappings. An advantage of our approach in this comparison is that it allows us to encode and decode a logical state with a simple unitary quantum circuit.


title: Inverse-closedness of subalgebras of integral operators with almost periodic kernels

abstract: The integral operator of the form $$\bigl(Nu\bigr)(x)=\sum_{k=1}^\infty e^{i\langle\omega_k,x\rangle} \int_{\mathbb R^c}n_k(x-y)\,u(y)\,dy$$ acting in $L_p(\mathbb R^c)$, $1\le p\le\infty$, is considered. It is assumed that $\omega_k\in\mathbb R^c$, $n_k\in L_1(\mathbb R^c)$, and $$\sum_{k=1}^\infty\lVert n_k\rVert_{L_1}<\infty.$$ We prove that if the operator $\mathbf1+N$ is invertible, then $(\mathbf1+N)^{-1}=\mathbf1+M$, where $M$ is an integral operator possessing the analogous representation.


title: Generating Diffusion MRI scalar maps from T1 weighted images using generative adversarial networks

abstract: Diffusion magnetic resonance imaging (diffusion MRI) is a non-invasive microstructure assessment technique. Scalar measures, such as FA (fractional anisotropy) and MD (mean diffusivity), quantifying micro-structural tissue properties can be obtained using diffusion models and data processing pipelines. However, it is costly and time consuming to collect high quality diffusion data. Here, we therefore demonstrate how Generative Adversarial Networks (GANs) can be used to generate synthetic diffusion scalar measures from structural T1-weighted images in a single optimized step. Specifically, we train the popular CycleGAN model to learn to map a T1 image to FA or MD, and vice versa. As an application, we show that synthetic FA images can be used as a target for non-linear registration, to correct for geometric distortions common in diffusion MRI.


title: Modeling overland flow from local inflows in almost no-time, using Self Organizing Maps

abstract: Physically-based overland flow models are computationally demanding, hindering their use for real-time applications. Therefore, the development of fast (and reasonably accurate) overland flow models is needed if they are to be used to support flood mitigation decision making. In this study, we investigate the potential of Self-Organizing Maps to rapidly generate water depth and flood extent results. To conduct the study, we developed a flood-simulation specific SOM, using cellular automata flood model results and a synthetic DEM and inflow hydrograph. The preliminary results showed that water depth and flood extent results produced by the SOM are reasonably accurate and obtained in a very short period of time. Based on this, it seems that SOMs have the potential to provide critical flood information to support real-time flood mitigation decisions. The findings presented would however require further investigations to obtain general conclusions; these further investigations may include the consideration of real terrain representations, real water supply networks and realistic inflows from pipe bursts.


title: Thinging Ethics for Software Engineers

abstract: Ethical systems are usually described as principles for distinguishing right from wrong and forming beliefs about proper conduct. Ethical topics are complex, with excessively verbose accounts of mental models and intensely ingrained philosophical assumptions. From practical experience, in teaching ethics for software engineering students, an explanation of ethics alone often cannot provide insights of behavior and thought for students. Additionally, it seems that there has been no exploration into the development of a conceptual presentation of ethics that appeals to computer engineers. This is particularly clear in the area of software engineering, which focuses on software and associated tools such as algorithms, diagramming, documentation, modeling and design as applied to various types of data and conceptual artifacts. It seems that software engineers look at ethical materials as a collection of ideas and notions that lack systemization and uniformity. Accordingly, this paper explores a thinging schematization for ethical theories that can serve a role similar to that of modeling languages (e.g., UML). In this approach, thinging means actualization (existence, presence, being) of things and mechanisms that define a boundary around some region of ethically related reality, separating it from everything else. The resultant diagrammatic representation then developed to model the process of making ethical decisions in that region.


title: On study of a metric on C(S^1; S^1)

abstract: In this article we define a metric on C(S1; S1). Also, we give some density results in C(S^1; S^1).


title: Fixation probability and fixation time in structured populations

abstract: The rate of biological evolution depends on the fixation probability and on the fixation time of new mutants. Intensive research has focused on identifying population structures that augment the fixation probability of advantageous mutants. But these `amplifiers of natural selection' typically increase fixation time. Here we study population structures that achieve a trade-off between high fixation probability and short fixation time. First, we show that no amplifiers can have asymptotically lower absorption time than the well-mixed population. Then we design population structures that substantially augment the fixation probability with just a minor increase in fixation time. Finally, we show that those structures enable higher effective rate of evolution than the well-mixed population provided that the rate of generating advantageous mutants is relatively low. Our work sheds light on how population structure affects the rate of evolution. Moreover, our structures could be useful for lab-based, medical or industrial applications of evolutionary optimization.


title: Wikistat 2.0: Educational Resources for Artificial Intelligence

abstract: Big data, data science, deep learning, artificial intelligence are the key words of intense hype related with a job market in full evolution, that impose to adapt the contents of our university professional trainings. Which artificial intelligence is mostly concerned by the job offers? Which methodologies and technologies should be favored in the training programs? Which objectives, tools and educational resources do we needed to put in place to meet these pressing needs? We answer these questions in describing the contents and operational resources in the Data Science orientation of the specialty Applied Mathematics at INSA Toulouse. We focus on basic mathematics training (Optimization, Probability, Statistics), associated with the practical implementation of the most performing statistical learning algorithms, with the most appropriate technologies and on real examples. Considering the huge volatility of the technologies, it is imperative to train students in seft-training, this will be their technological watch tool when they will be in professional activity. This explains the structuring of the educational site github.com/wikistat into a set of tutorials. Finally, to motivate the thorough practice of these tutorials, a serious game is organized each year in the form of a prediction contest between students of Master degrees in Applied Mathematics for IA.


title: Hows and Whys of Artificial Intelligence for Public Sector Decisions: Explanation and Evaluation

abstract: Evaluation has always been a key challenge in the development of artificial intelligence (AI) based software, due to the technical complexity of the software artifact and, often, its embedding in complex sociotechnical processes. Recent advances in machine learning (ML) enabled by deep neural networks has exacerbated the challenge of evaluating such software due to the opaque nature of these ML-based artifacts. A key related issue is the (in)ability of such systems to generate useful explanations of their outputs, and we argue that the explanation and evaluation problems are closely linked. The paper models the elements of a ML-based AI system in the context of public sector decision (PSD) applications involving both artificial and human intelligence, and maps these elements against issues in both evaluation and explanation, showing how the two are related. We consider a number of common PSD application patterns in the light of our model, and identify a set of key issues connected to explanation and evaluation in each case. Finally, we propose multiple strategies to promote wider adoption of AI/ML technologies in PSD, where each is distinguished by a focus on different elements of our model, allowing PSD policy makers to adopt an approach that best fits their context and concerns.


title: Robotics CTF (RCTF), a playground for robot hacking

abstract: Robots state of insecurity is onstage. There is an emerging concern about major robot vulnerabilities and their adverse consequences. However, there is still a considerable gap between robotics and cybersecurity domains. For the purpose of filling that gap, the present technical report presents the Robotics CTF (RCTF), an online playground to challenge robot security from any browser. We describe the architecture of the RCTF and provide 9 scenarios where hackers can challenge the security of different robotic setups. Our work empowers security researchers to a) reproduce virtual robotic scenarios locally and b) change the networking setup to mimic real robot targets. We advocate for hacker powered security in robotics and contribute by open sourcing our scenarios.


title: Microlensing Searches for Exoplanets

abstract: Gravitational microlensing finds planets through their gravitational influence on the light coming from a more distant background star. The presence of the planet is then inferred from the tell-tale brightness variations of the background star during the lensing event, even if no light is detectable from the planet or the host foreground star. This review covers fundamental theoretical concepts in microlensing, addresses how observations are performed in practice, the~challenges of obtaining accurate measurements, and explains how planets reveal themselves in the data. It~concludes with a presentation of the most important findings to-date, a description of the method's strengths and weaknesses, and a discussion of the future prospects of microlensing.


title: Positive definite functions and cut-off for discrete groups

abstract: We consider the sequence of powers of a positive definite function on a discrete group. Taking inspiration from random walks on compact quantum groups, we give several examples of situations where a cut-off phenomenon occurs for this sequence with respect to the operator norm of the regular representation, including free groups and infinite Coxeter groups. We also give examples of absence of cut-off using free groups again.


title: Singularity confinement as an integrability criterion

abstract: In this paper we present a rigorous method for deciding whether a birational three point mapping that has the singularity confinement property is integrable or not, based only on the structure of its (confined) singularity patterns. We also explain how the exact value of the dynamical degree for such a mapping may be deduced from the singularity patterns.


title: Prediction for $5^{++}$ mesons

abstract: In this paper, we study the spectrum and decay behavior of $5^{++}$ meson family which is still missing in experiment. By the modified Godfrey-Isgur model with a color screening effect, we obtain the mass spectrum of $a_5$, $f_5$ and $f_5^\prime$ mesons. And we predict their two-body strong decays by means of a phenomenology quark pair creation model. This study is crucial to establish $J^{PC}=5^{++}$ meson family and it is also helpful to search for these states in the future.


title: Learning Depth with Convolutional Spatial Propagation Network

abstract: Depth prediction is one of the fundamental problems in computer vision. In this paper, we propose a simple yet effective convolutional spatial propagation network (CSPN) to learn the affinity matrix for various depth estimation tasks. Specifically, it is an efficient linear propagation model, in which the propagation is performed with a manner of recurrent convolutional operation, and the affinity among neighboring pixels is learned through a deep convolutional neural network (CNN). We can append this module to any output from a state-of-the-art (SOTA) depth estimation networks to improve their performances. In practice, we further extend CSPN in two aspects: 1) take sparse depth map as additional input, which is useful for the task of depth completion; 2) similar to commonly used 3D convolution operation in CNNs, we propose 3D CSPN to handle features with one additional dimension, which is effective in the task of stereo matching using 3D cost volume. For the tasks of sparse to dense, a.k.a depth completion. We experimented the proposed CPSN conjunct algorithms over the popular NYU v2 and KITTI datasets, where we show that our proposed algorithms not only produce high quality (e.g., 30% more reduction in depth error), but also run faster (e.g., 2 to 5x faster) than previous SOTA spatial propagation network. We also evaluated our stereo matching algorithm on the Scene Flow and KITTI Stereo datasets, and rank 1st on both the KITTI Stereo 2012 and 2015 benchmarks, which demonstrates the effectiveness of the proposed module. The code of CSPN proposed in this work will be released at https://github.com/XinJCheng/CSPN.


title: Chirality-controlled spontaneous currents in spin-orbit coupled superconducting rings

abstract: At a superconductor interface with a ferromagnetic insulator (FI), the FI acts to induce a local exchange field within the S layer, which in the presence of spin-orbit interaction promotes a phase modulated superconducting state. Here we demonstrate that within a thin superconducting loop that is partially proximitized by a FI, spontaneous currents form with a magnetization-orientation-dependent chirality with sizable shifts in Little-Parks oscillations. Furthermore, the critical temperature of the loop is also magnetization-orientation-dependent and conversely, the superconducting transition itself may influence the magnetization direction. More generally, the superconducting region above the FI may serve as a phase battery and so offer a new device concept for superconducting spintronics.


title: A Corkscrew Model for Highly Coupled Anisotropic Compliance in Ruddlesden-Popper Oxides with Frozen Octahedral Rotations

abstract: A "corkscrew" mechanism, that couples changes in the in-plane rotation angle to strains along the layering axis, has been proposed previously to explain increased compliance in certain Ruddlesden-Popper phases that facilitates uniaxial negative thermal expansion over a wide temperature range. Following the procedure developed to study many simple, auxetic geometries, in the present study we derive the elastic compliances predicted by this corkscrew mechanism assuming that the four shortest metal-anion bonds remain stiff and changes in bond angle are modelled by a harmonic angle potential. We subsequently analyse the limitations of this model and show that it may be extended to An+1BnO3n+1 Ruddlesden-Popper oxide phases of general layer thickness n.


title: Initial boundary value problem for Korteweg-de Vries equation: a review and open problems

abstract: In the last 40 years the study of initial boundary value problem for the Korteweg-de Vries equation has had the attention of researchers from various research fields. In this note we present a review of the main results about this topic and also introduce interesting open problems which still requires attention from the mathematical point of view.


title: Comments on Failures of van der Waals Equation at the Gas Liquid Critical Point, L. V. Woodcock, International Journal of Thermophysics 2018 39 120

abstract: These comments are a response to the discussion presented in the above paper concerning the New comment on Gibbs Density Surface of Fluid Argon, Revised Critical Parameters by Umirzakov. Here we show that Woodcocks results obtained for the dependencies for the isochoric heat capacity, excess Gibbs energy and coexisting difference functional of argon, and coexisting densities of liquid and vapor of the van der Waals fluid and presented in all Figures are incorrect, his Table includes incorrect values of coexisting difference functional, his paper includes many incorrect equations, mathematical and logical errors and physically incorrect assertions concerning the temperature dependences of the isochoric heat capacity and entropy of real fluids, most of the his conclusions are based on the above errors, incorrect data, incorrect comparisons and incorrect dependencies; and most of his conclusions are invalid. We also show that the van der Waals equation of state quantitatively describes the dependencies of saturation pressure on vapor density and temperature near critical point, and the equation of state can describe qualitatively the reduced excess Gibbs energy, rigidity and densities of coexisting liquid and vapor of argon, including the region near critical point.


title: Constructing H\"older maps to Carnot groups

abstract: In this paper, we construct H\"older maps to Carnot groups equipped with a Carnot metric, especially the first Heisenberg group $\mathbb{H}$. Pansu and Gromov observed that any surface embedded in $\mathbb{H}$ has Hausdorff dimension at least 3, so there is no $\alpha$-H\"older embedding of a surface into $\mathbb{H}$ when $\alpha>\frac{2}{3}$. Z\"ust improved this result to show that when $\alpha>\frac{2}{3}$, any $\alpha$-H\"older map from a simply-connected Riemannian manifold to $\mathbb{H}$ factors through a metric tree. In the present paper, we show that Z\"ust's result is sharp by constructing $(\frac{2}{3}-\epsilon)$-H\"older maps from $D^2$ and $D^3$ to $\mathbb{H}$ that do not factor through a tree. We use these to show that if $0<\alpha < \frac{2}{3}$, then the set of $\alpha$-H\"older maps from a compact metric space to $\mathbb{H}$ is dense in the set of continuous maps and to construct proper degree-1 maps from $\mathbb{R}^3$ to $\mathbb{H}$ with H\"older exponents arbitrarily close to $\frac{2}{3}$.


title: VMC proper motions of the Magellanic Bridge

abstract: Dwarf galaxies enable us to study the early phases of galaxy evolution and are key to many open questions about the hierarchical structure of the Universe. The Large and Small Magellanic Cloud (LMC and SMC) are the most luminous dwarf galaxy satellites of the Milky Way (MW). They are most likely gravitationally bound to each other, and their last interaction occurred about 200 Myr ago. Also, they are in an early phase of minor merging with the MW and will impact the Galactic structure in the future because of their relatively large mass. However, there are still major uncertainties regarding their origin and their interactions with one another and with the Milky Way. We cross-correlated the VMC and Gaia DR2 data to select a sample of stars that likely belong to the Magellanic Bridge, a feature formed of gas and stars which is connecting the LMC and the SMC. We removed potential MW foreground stars using a combination of parallax and colour-magnitude criteria and calculated the proper motions of the Bridge member stars. Our analysis supports a motion of star towards the LMC, which was found to be in good agreement with a dynamical simulation, of the SMC being stripped by the LMC.


title: Memetic Viability Evolution for Constrained Optimization

abstract: The performance of evolutionary algorithms can be heavily undermined when constraints limit the feasible areas of the search space. For instance, while Covariance Matrix Adaptation Evolution Strategy is one of the most efficient algorithms for unconstrained optimization problems, it cannot be readily applied to constrained ones. Here, we used concepts from Memetic Computing, i.e. the harmonious combination of multiple units of algorithmic information, and Viability Evolution, an alternative abstraction of artificial evolution, to devise a novel approach for solving optimization problems with inequality constraints. Viability Evolution emphasizes elimination of solutions not satisfying viability criteria, defined as boundaries on objectives and constraints. These boundaries are adapted during the search to drive a population of local search units, based on Covariance Matrix Adaptation Evolution Strategy, towards feasible regions. These units can be recombined by means of Differential Evolution operators. Of crucial importance for the performance of our method, an adaptive scheduler toggles between exploitation and exploration by selecting to advance one of the local search units and/or recombine them. The proposed algorithm can outperform several state-of-the-art methods on a diverse set of benchmark and engineering problems, both for quality of solutions and computational resources needed.


title: On involutions in the Weyl group and $B$-orbit closures in the orthogonal case

abstract: We study coadjoint $B$-orbits on $\mathfrak{n}^*$, where $B$ is a Borel subgroup of a complex orthogonal group $G$, and $\mathfrak{n}$ is the Lie algebra of the unipotent radical of $B$. To each basis involution $w$ in the Weyl group $W$ of $G$ one can assign the associated $B$-orbit $\Omega_w$. We prove that, given basis involutions $\sigma$, $\tau$ in $W$, if the orbit $\Omega_{\sigma}$ is contained in the closure of the orbit $\Omega_{\tau}$ then $\sigma$ is less than or equal to $\tau$ with respect to the Bruhat order on $W$. For a basis involution $w$, we also compute the dimension of $\Omega_w$ and present a conjectural description of the closure of $\Omega_w$.


title: On Solution of Second Order Complex Differential Equation

abstract: In this paper, we establish transcendental entire function $A(z)$ and polynomial $B(z)$ such that the differential equation $f''+A(z)f'+B(z)f=0$, has all non-trivial solution of infinite order. We use the notion of \emph{critical rays} of the function $e^{P(z)}$, where $A(z)=d(z)e^{P(z)}$ with some restrictions.


title: A preconditioning scheme for Minimum Energy Path finding methods

abstract: Popular methods for identifying transition paths between energy minima, such as the nudged elastic band and string methods, typically do not incorporate potential energy curvature information, leading to slow relaxation to the minimum energy path for typical potential energy surfaces encountered in molecular simulation. We propose a preconditioning scheme which, combined with a new adaptive timestep selection algorithm, substantially reduces the computational cost of transition path finding algorithms. We demonstrate the improved performance of our approach in a range of examples including vacancy and dislocation migration modelled with both interatomic potentials and density functional theory.


title: Polarization and Chirality: the quantum features of the Quark Gluon Plasma

abstract: Polarization and chirality are direct manifestations of quantum mechanics in the Quark Gluon Plasma as a relativistic fluid. This is one of the reasons why they are intriguing phenomena, that have attracted so much attention lately. In this talk I will review what is, in my view, the current theoretical understanding and highlight the most interesting recent result.


title: Solution Blow Spinning Control of Morphology and Production Rate of Complex Superconducting YBa2Cu3O7-x Nanowires

abstract: The demand for nanostructured materials can increase exponentially due to the miniaturization of devices and their potential application in different areas, such as electronic and medicine. Therefore, high production rates are essential for making nanomaterials commercially available. When electrospinning (ES) and solution blow spinning (SBS) are employed for producing ceramic nanostructures, the solution injection rate can influence the morphology without, however, supply the real ceramic production rate. In this work, complex superconducting YBa2Cu3O7-x wires were prepared by using the SBS technique. We also show that the morphology can be controlled by varying the injection rate of the polymer solution and the production rate is 4.7 to 33 times higher than the rates of equivalent ceramics produced by ES. Additionally, we also suggest the term Ceramic Production Rate to refer to the production rate of ceramic structures.


title: Fast QR iterations for unitary plus low rank matrices

abstract: Some fast algorithms for computing the eigenvalues of a block companion matrix $A = U + XY^H$, where $U\in \mathbb C^{n\times n}$ is unitary block circulant and $X, Y \in\mathbb{C}^{n \times k}$, have recently appeared in the literature. Most of these algorithms rely on the decomposition of $A$ as product of scalar companion matrices which turns into a factored representation of the Hessenberg reduction of $A$. In this paper we generalize the approach to encompass Hessenberg matrices of the form $A=U + XY^H$ where $U$ is a general unitary matrix. A remarkable case is $U$ unitary diagonal which makes possible to deal with interpolation techniques for rootfinding problems and nonlinear eigenvalue problems. Our extension exploits the properties of a larger matrix $\hat A$ obtained by a certain embedding of the Hessenberg reduction of $A$ suitable to maintain its structural properties. We show that $\hat A$ can be factored as product of lower and upper unitary Hessenberg matrices possibly perturbed in the first $k$ rows, and, moreover, such a data-sparse representation is well suited for the design of fast eigensolvers based on the QR/QZ iteration. The resulting algorithm is fast and backward stable.


title: Proton-proton 1S0 pairing in neutron star

abstract: The onset of 1S0 proton spin-singlet pairing in neutron-star matter is studied in the framework of the BCS theory including medium polarization effects. The strong three-body coupling of the diproton pairs with the dense neutron environment and the self-energy effects severely reduce the gap magnitude, so to reshape the scenario of the proton superfluid phase inside the star. The vertex corrections due to the medium polarization are attractive in all isospin-asymmetry range at low density and tend to favor the pairing in that channel. However quantitative estimates of their effect on the energy gap do not give significant changes. Implications of the new scenario on the role of pairing in neutron-star cooling is briefly discussed.


title: Towards a CFSG-free diameter bound for $\mathrm{Alt}(n)$

abstract: Helfgott and Seress have proved the existence of a quasipolynomial upper bound on the diameter of $\mathrm{Alt}(n)$. In this paper, we walk partway towards removing the dependence on CFSG from that result, by using the algorithm solving the string isomorphism problem (due to Babai) in its CFSG-free version (due to Babai and Pyber): the result contained in here relies on the analysis of Babai's algorithm contained in Dona, based in turn on Helfgott. Conditional on a conjecture about certain products of small-indexed subgroups (Conjecture 4.5), we provide a CFSG-free proof of a bound on the diameter of $\mathrm{Alt}(n)$ that is better than the already existing CFSG-free results in the literature. In fact, the same bound holds for all transitive permutation subgroups $G\leq\mathrm{Sym}(n)$. The paper is part of the author's doctoral thesis.


title: Mathematical models for stable matching problems with ties and incomplete lists

abstract: We present new integer linear programming (ILP) models for NP-hard optimisation problems in instances of the Stable Marriage problem with Ties and Incomplete lists (SMTI) and its many-to-one generalisation, the Hospitals / Residents problem with Ties (HRT). These models can be used to efficiently solve these optimisation problems when applied to (i) instances derived from real-world applications, and (ii) larger instances that are randomly-generated. In the case of SMTI, we consider instances arising from the pairing of children with adoptive families, where preferences are obtained from a quality measure of each possible pairing of child to family. In this case we seek a maximum weight stable matching. We present new algorithms for preprocessing instances of SMTI with ties on both sides, as well as new ILP models. Algorithms based on existing state-of-the-art models only solve 6 of our 22 real-world instances within an hour per instance, and our new models solve all 22 instances within a mean runtime of 60 seconds. For HRT, we consider instances derived from the problem of assigning junior doctors to foundation posts in Scottish hospitals. Here we seek a maximum size stable matching. We show how to extend our models for SMTI to the HRT case. For the real instances, we reduce the mean runtime from an average of 144 seconds when using state-of-the-art methods, to 3 seconds when using our new ILP-based algorithms. We also show that our models outperform considerably state-of-the-art models on larger randomly-generated instances of SMTI and HRT.


title: The habitable zone for Earthlike exomoons orbiting Kepler-1625b

abstract: The recent announcement of a Neptune-sized exomoon candidate orbiting the Jupiter-sized object Kepler-1625b has forced us to rethink our assumptions regarding both exomoons and their host exoplanets. In this paper I describe calculations of the habitable zone for Earthlike exomoons in orbit of Kepler-1625b under a variety of assumptions. I find that the candidate exomoon, Kepler-1625b-i, does not currently reside within the exomoon habitable zone, but may have done so when Kepler-1625 occupied the main sequence. If it were to possess its own moon (a "moon-moon") that was Earthlike, this could potentially have been a habitable world. If other exomoons orbit Kepler-1625b, then there are a range of possible semimajor axes/eccentricities that would permit a habitable surface during the main sequence phase, while remaining dynamically stable under the perturbations of Kepler-1625b-i. This is however contingent on effective atmospheric CO$_2$ regulation.


title: Optimizing groups of colluding strong attackers in mobile urban communication networks with evolutionary algorithms

abstract: In novel forms of the Social Internet of Things, any mobile user within communication range may help routing messages for another user in the network. The resulting message delivery rate depends both on the users' mobility patterns and the message load in the network. This new type of configuration, however, poses new challenges to security, amongst them, assessing the effect that a group of colluding malicious participants can have on the global message delivery rate in such a network is far from trivial. In this work, after modeling such a question as an optimization problem, we are able to find quite interesting results by coupling a network simulator with an evolutionary algorithm. The chosen algorithm is specifically designed to solve problems whose solutions can be decomposed into parts sharing the same structure. We demonstrate the effectiveness of the proposed approach on two medium-sized Delay-Tolerant Networks, realistically simulated in the urban contexts of two cities with very different route topology: Venice and San Francisco. In all experiments, our methodology produces attack patterns that greatly lower network performance with respect to previous studies on the subject, as the evolutionary core is able to exploit the specific weaknesses of each target configuration.


title: Particle transport induced by internal wave beam streaming in lateral boundary layers

abstract: Quantifying the physical mechanisms responsible for the transport of sediments, nutrients and pollutants in the abyssal sea is a long-standing problem, with internal waves regularly invoked as the relevant mechanism for particle advection near the sea bottom. This study focuses on internal-wave induced particle transport in the vicinity of (almost) vertical walls. We report a series of laboratory experiments revealing that particles sinking slowly through a monochromatic internal wave beam experience significant horizontal advection. Extending the theoretical analysis by Beckebanze et al (2018a), we attribute the observed particle advection to a peculiar and previously unrecognized streaming mechanism originating at the lateral walls. This vertical boundary-layer streaming mechanism is most efficient for strongly inclined wave beams, when vertical and horizontal velocity components are of comparable magnitude. We find good agreement between our theoretical prediction and experimental results.


title: Directed preferential attachment models

abstract: The directed preferential attachment model is revisited. A new exact characterization of the limiting in- and out-degree distribution is given by two \emph{independent} pure birth processes that are observed at a common exponentially distributed time $T$ (thus creating dependence between in- and out-degree). The characterization gives an explicit form for the joint degree distribution, and this confirms previously derived tail probabilities for the two marginal degree distributions. The new characterization is also used to obtain an explicit expression for tail probabilities in which both degrees are large. A new generalised directed prefererantial attachment model is then defined and analysed using similar methods. The two extensions, motivated by empirical evidence, are to allow double-directed (i.e.\ undirected) edges in the network, and to allow the probability to connect an ingoing (outgoing) edge to a specified node to also depend on the out-degree (in-degree) of that node.


title: Approximate Leave-One-Out for High-Dimensional Non-Differentiable Learning Problems

abstract: Consider the following class of learning schemes: \begin{equation} \label{eq:main-problem1} \hat{\boldsymbol{\beta}} := \underset{\boldsymbol{\beta} \in \mathcal{C}}{\arg\min} \;\sum_{j=1}^n \ell(\boldsymbol{x}_j^\top\boldsymbol{\beta}; y_j) + \lambda R(\boldsymbol{\beta}), \qquad \qquad \qquad (1) \end{equation} where $\boldsymbol{x}_i \in \mathbb{R}^p$ and $y_i \in \mathbb{R}$ denote the $i^{\rm th}$ feature and response variable respectively. Let $\ell$ and $R$ be the convex loss function and regularizer, $\boldsymbol{\beta}$ denote the unknown weights, and $\lambda$ be a regularization parameter. $\mathcal{C} \subset \mathbb{R}^{p}$ is a closed convex set. Finding the optimal choice of $\lambda$ is a challenging problem in high-dimensional regimes where both $n$ and $p$ are large. We propose three frameworks to obtain a computationally efficient approximation of the leave-one-out cross validation (LOOCV) risk for nonsmooth losses and regularizers. Our three frameworks are based on the primal, dual, and proximal formulations of (1). Each framework shows its strength in certain types of problems. We prove the equivalence of the three approaches under smoothness conditions. This equivalence enables us to justify the accuracy of the three methods under such conditions. We use our approaches to obtain a risk estimate for several standard problems, including generalized LASSO, nuclear norm regularization, and support vector machines. We empirically demonstrate the effectiveness of our results for non-differentiable cases.


title: Clust-LDA: Joint Model for Text Mining and Author Group Inference

abstract: Social media corpora pose unique challenges and opportunities, including typically short document lengths and rich meta-data such as author characteristics and relationships. This creates great potential for systematic analysis of the enormous body of the users and thus provides implications for industrial strategies such as targeted marketing. Here we propose a novel and statistically principled method, clust-LDA, which incorporates authorship structure into the topical modeling, thus accomplishing the task of the topical inferences across documents on the basis of authorship and, simultaneously, the identification of groupings between authors. We develop an inference procedure for clust-LDA and demonstrate its performance on simulated data, showing that clust-LDA out-performs the "vanilla" LDA on the topic identification task where authors exhibit distinctive topical preference. We also showcase the empirical performance of clust-LDA based on a real-world social media dataset from Reddit.


title: Compiler Testing: A Systematic Literature Analysis

abstract: Compilers are widely-used infrastructures in accelerating the software development, and expected to be trustworthy. In the literature, various testing technologies have been proposed to guarantee the quality of compilers. However, there remains an obstacle to comprehensively characterize and understand compiler testing. To overcome this obstacle, we propose a literature analysis framework to gain insights into the compiler testing area. First, we perform an extensive search to construct a dataset related to compiler testing papers. Then, we conduct a bibliometric analysis to analyze the productive authors, the influential papers, and the frequently tested compilers based on our dataset. Finally, we utilize association rules and collaboration networks to mine the authorships and the communities of interests among researchers and keywords. Some valuable results are reported. We find that the USA is the leading country that contains the most influential researchers and institutions. The most active keyword is "random testing". We also find that most researchers have broad interests within small-scale collaborators in the compiler testing area.


title: Block-Based Spectral Processing of Static and Dynamic 3D Meshes using Orthogonal Iterations

abstract: Spectral methods are widely used in geometry processing of 3D models. They rely on the projection of the mesh geometry on the basis defined by the eigenvectors of the graph Laplacian operator, becoming computationally prohibitive as the density of the models increases. In this paper, we propose a novel approach for supporting fast and efficient spectral processing of dense 3D meshes, ideally suited for real-time compression and denoising scenarios. To achieve that, we apply the problem of tracking graph Laplacian eigenspaces via orthogonal iterations, exploiting potential spectral coherence between adjacent parts. To avoid perceptual distortions when a fixed number of eigenvectors is used for all the individual parts, we propose a flexible solution that automatically identifies the optimal subspace size for satisfying a given reconstruction quality constraint. Extensive simulations carried out with different 3D meshes in compression and denoising setups, showed that the proposed schemes are very fast alternatives of SVD based spectral processing while achieving at the same time similar or even better reconstruction quality. More importantly, the proposed approach can be employed by several other state-of-the-art denoising methods as a preprocessing step, optimizing both their reconstruction quality and their computational complexity.


title: TRANX: A Transition-based Neural Abstract Syntax Parser for Semantic Parsing and Code Generation

abstract: We present TRANX, a transition-based neural semantic parser that maps natural language (NL) utterances into formal meaning representations (MRs). TRANX uses a transition system based on the abstract syntax description language for the target MR, which gives it two major advantages: (1) it is highly accurate, using information from the syntax of the target MR to constrain the output space and model the information flow, and (2) it is highly generalizable, and can easily be applied to new types of MR by just writing a new abstract syntax description corresponding to the allowable structures in the MR. Experiments on four different semantic parsing and code generation tasks show that our system is generalizable, extensible, and effective, registering strong results compared to existing neural semantic parsers.


title: easyaccess: Enhanced SQL command line interpreter for astronomical surveys

abstract: easyaccess is an enhanced command line interpreter and Python package created to facilitate access to astronomical catalogs stored in SQL Databases. It provides a custom interface with custom commands and was specifically designed to access data from the Dark Energy Survey Oracle database, including autocompletion of tables, columns, users and commands, simple ways to upload and download tables using csv, fits and HDF5 formats, iterators, search and description of tables among others. It can easily be extended to another surveys or SQL databases. The package was completely written in Python and support customized addition of commands and functionalities.


title: Balanced Allocation with Random Walk Based Sampling

abstract: In the standard ball-in-bins experiment, a well-known scheme is to sample $d$ bins independently and uniformly at random and put the ball into the least loaded bin. It can be shown that this scheme yields a maximum load of $\log\log n/\log d+O(1)$ with high probability. Subsequent work analyzed the model when at each time, $d$ bins are sampled through some correlated or non-uniform way. However, the case when the sampling for different balls are correlated are rarely investigated. In this paper we propose three schemes for the ball-in-bins allocation problem. We assume that there is an underlying $k$-regular graph connecting the bins. The three schemes are variants of power-of-$d$ choices, except that the sampling of $d$ bins at each time are based on the locations of $d$ independently moving non-backtracking random walkers, with the positions of the random walkers being reset when certain events occurs. We show that under some conditions for the underlying graph that can be summarized as the graph having large enough girth, all three schemes can perform as well as power-of-$d$, so that the maximum load is bounded by $\log\log n/\log d+O(1)$ with high probability.


title: Eddy-current imaging with nitrogen-vacancy centers in diamond

abstract: We demonstrate microwave-free eddy-current imaging using nitrogen-vacancy centers in diamond. By detecting the eddy-current induced magnetic field of conductive samples, we can distinguish between different materials and shapes and identify structural defects. Our technique allows for the discrimination of different materials according to their conductivity. The sensitivity of the measurements is calculated as 8$\times 10 ^{5}$\,S/m\,$\sqrt[]{\textrm{Hz}}$ at 3.5\,MHz, for a cylindrical sample with radius $r_0$\,=\,1\,mm and height $h$\,=\,0.1\,mm (volume $\sim$\,0.3\,mm$^3$), at a distance of 0.5\,mm. In comparison with existing technologies, the diamond-based device exhibits a superior bandwidth and spatial resolution. In particular, we demonstrate a flat frequency response from DC to 3.5 MHz and a spatial resolution of 348\,$\pm$\,2\,$\mu$m.


title: Human Indignity: From Legal AI Personhood to Selfish Memes

abstract: It is possible to rely on current corporate law to grant legal personhood to Artificially Intelligent (AI) agents. In this paper, after introducing pathways to AI personhood, we analyze consequences of such AI empowerment on human dignity, human safety and AI rights. We emphasize possibility of creating selfish memes and legal system hacking in the context of artificial entities. Finally, we consider some potential solutions for addressing described problems.


title: The Parameterized Post-Newtonian-Vainshteinian formalism for the Galileon field

abstract: Recently, an extension to the Parameterized Post-Newtonian (PPN) formalism has been proposed. This formalism, the Parameterized Post-Newtonian-Vainshteinian (PPNV) formalism, is well suited to theories which exhibit Vainshtein screening of scalar fields. In this paper we apply the PPNV formalism to the Quartic and Quintic Galileon theories for the first time. As simple generalizations of standard scalar-tensor field theories they are important guides for the generalization of parameterized approaches to the effects of gravity beyond General Relativity. In the Quartic case, we find new PPNV potentials for both screened and un-screened regions of spacetime, showing that in principle these theories can be tested. In the Quintic case we show that Vainshtein screening does not occur to Newtonian order, meaning that the theory behaves as Brans-Dicke to this order, and we discuss possible higher order effects.


title: Automatic Detection of Arousals during Sleep using Multiple Physiological Signals

abstract: The visual scoring of arousals during sleep routinely conducted by sleep experts is a challenging task warranting an automatic approach. This paper presents an algorithm for automatic detection of arousals during sleep. Using the Physionet/CinC Challenge dataset, an 80-20% subject-level split was performed to create in-house training and test sets, respectively. The data for each subject in the training set was split to 30-second epochs with no overlap. A total of 428 features from EEG, EMG, EOG, airflow, and SaO2 in each epoch were extracted and used for creating subject-specific models based on an ensemble of bagged classification trees, resulting in 943 models. For marking arousal and non-arousal regions in the test set, the data in the test set was split to 30-second epochs with 50% overlaps. The average of arousal probabilities from different patient-specific models was assigned to each 30-second epoch and then a sample-wise probability vector with the same length as test data was created for model evaluation. Using the PhysioNet/CinC Challenge 2018 scoring criteria, AUPRCs of 0.25 and 0.21 were achieved for the in-house test and blind test sets, respectively.


title: Scattering concentration bounds: Brightness theorems for waves

abstract: The brightness theorem---brightness is nonincreasing in passive systems---is a foundational conservation law, with applications ranging from photovoltaics to displays, yet it is restricted to the field of ray optics. For general linear wave scattering, we show that power per scattering channel generalizes brightness, and we derive power-concentration bounds for systems of arbitrary coherence. The bounds motivate a concept of "wave \'{e}tendue" as a measure of incoherence among the scattering-channel amplitudes, and which is given by the rank of an appropriate density matrix. The bounds apply to nonreciprocal systems that are of increasing interest, and we demonstrate their applicability to maximal control in nanophotonics, for metasurfaces and waveguide junctions. Through inverse design, we discover metasurface elements operating near the theoretical limits.