title: Deep Learning Based Robot for Automatically Picking up Garbage on the Grass

abstract: This paper presents a novel garbage pickup robot which operates on the grass. The robot is able to detect the garbage accurately and autonomously by using a deep neural network for garbage recognition. In addition, with the ground segmentation using a deep neural network, a novel navigation strategy is proposed to guide the robot to move around. With the garbage recognition and automatic navigation functions, the robot can clean garbage on the ground in places like parks or schools efficiently and autonomously. Experimental results show that the garbage recognition accuracy can reach as high as 95%, and even without path planning, the navigation strategy can reach almost the same cleaning efficiency with traditional methods. Thus, the proposed robot can serve as a good assistance to relieve dustman's physical labor on garbage cleaning tasks.


title: An Atom-Probe Tomographic Study of the Compositional Trajectories During gamma(f.c.c.)/gamma-prime(L12) Phase-Separation in a Ni-Al-Cr-Re Superalloy

abstract: The compositional diffusional-trajectories for a phase separation of gamma(f.c.c.)/gamma-prime(L12) phases are studied in a quaternary Ni-10Al-8.5Cr-2Re alloy, aged at 700 deg.C for 0 to 1024 h, utilizing atom-probe tomography (APT). As the gamma-prime(L12)-precipitates grow, the enrichments of Ni, Cr, and Re and depletion of Al on the gamma(f.c.c.) matrix-side develop as a result of diffusional fluxes crossing the gamma(f.c.c.)/gamma-prime(L12) interface.The experimental (APT) compositional trajectories of the two-phases, gamma(f.c.c.)/gamma-prime(L12), are displayed in a quaternary phase-diagram, employing a tetrahedron, and compared with the Philippe-Voorhees (P-V) coarsening model which includes the off-diagonal terms in the diffusion tensor for the multi-component system.


title: Optimal Clustering Framework for Hyperspectral Band Selection

abstract: Band selection, by choosing a set of representative bands in hyperspectral image (HSI), is an effective method to reduce the redundant information without compromising the original contents. Recently, various unsupervised band selection methods have been proposed, but most of them are based on approximation algorithms which can only obtain suboptimal solutions toward a specific objective function. This paper focuses on clustering-based band selection, and proposes a new framework to solve the above dilemma, claiming the following contributions: 1) An optimal clustering framework (OCF), which can obtain the optimal clustering result for a particular form of objective function under a reasonable constraint. 2) A rank on clusters strategy (RCS), which provides an effective criterion to select bands on existing clustering structure. 3) An automatic method to determine the number of the required bands, which can better evaluate the distinctive information produced by certain number of bands. In experiments, the proposed algorithm is compared to some state-of-the-art competitors. According to the experimental results, the proposed algorithm is robust and significantly outperform the other methods on various data sets.


title: Wearable Travel Aid for Environment Perception and Navigation of Visually Impaired People

abstract: This paper presents a wearable assistive device with the shape of a pair of eyeglasses that allows visually impaired people to navigate safely and quickly in unfamiliar environment, as well as perceive the complicated environment to automatically make decisions on the direction to move. The device uses a consumer Red, Green, Blue and Depth (RGB-D) camera and an Inertial Measurement Unit (IMU) to detect obstacles. As the device leverages the ground height continuity among adjacent image frames, it is able to segment the ground from obstacles accurately and rapidly. Based on the detected ground, the optimal walkable direction is computed and the user is then informed via converted beep sound. Moreover, by utilizing deep learning techniques, the device can semantically categorize the detected obstacles to improve the users' perception of surroundings. It combines a Convolutional Neural Network (CNN) deployed on a smartphone with a depth-image-based object detection to decide what the object type is and where the object is located, and then notifies the user of such information via speech. We evaluated the device's performance with different experiments in which 20 visually impaired people were asked to wear the device and move in an office, and found that they were able to avoid obstacle collisions and find the way in complicated scenarios.


title: A New Uncertainty Framework for Stochastic Signal Processing

abstract: The fields of signal processing and information theory have evolved with the goal of developing formulations to extract intrinsic information from limited amount of data. When one considers the modeling of unpredictably varying processes and complex dynamical signals with a large number of unknowns (such as those encountered in the fields of finance, NLP, communications, etc.), there is a need for algorithms to have increased sensitivity with short spans of data, while maintaining stochastic generalization ability. This naturally calls for an increased focus on localized stochastic representation. So far, most metrics developed for characterizing signals envision data from entropic and probabilistic points of view that lack sensitivity towards quick changes in signal dynamics. We hypothesize that models that work with the intrinsic uncertainties associated with local data induced metric spaces would be significantly more sensitive towards signal characterization. To this end, we develop a new framework for stochastic signal processing that is based on decomposing the local metric space of the signal in a Gaussian Reproducing Kernel Hilbert Space (RKHS). A major advantage of our framework is that we are able to implement this decomposition on a sample-by-sample basis. The key aspects of our framework are the following: (1) We use a data defined metric related to Parzen density estimation for quantifying the local structure of data in the Gaussian RKHS. (2) We use a quantum description of this metric which consequently introduces uncertainty in the structure of the local kernel space. Since the RKHS has been well established and known for providing universal data fitting capabilities, we submit that local quantifiers of the kernel space data projection could significantly improve acquisition of signal information.


title: Scattering of Electrons between Edge and Two-Dimensional States of a Two-Dimensional Topological Insulator and the Conductivity of the Topological Insulator Strip in a Metallic State

abstract: The lifetime of electrons on edge states of a two-dimensional topological insulator against the background of an allowed two-dimensional band has been determined. It has been shown that this time in the case of scattering on Coulomb impurities can be significantly larger than the mean free time of two-dimensional electrons. As a result, the conductivity of the metallic two-dimensional topological insulator strip can be determined primarily by edge states.


title: Jantzen filtration of Weyl modules, product of Young symmetrizers and denominator of Young's seminormal basis

abstract: Let $G$ be a connected reductive algebraic group over an algebraically closed field of characteristic $p>0$, $\Delta(\lambda)$ denote the Weyl module of $G$ of highest weight $\lambda$ and $\iota_{\lambda,\mu}:\Delta(\lambda+\mu)\to \Delta(\lambda)\otimes\Delta(\mu)$ be the canonical $G$-morphism. We study the split condition for $\iota_{\lambda,\mu}$ over $\mathbb{Z}_{(p)}$, and apply this as an approach to compare the Jantzen filtrations of the Weyl modules $\Delta(\lambda)$ and $\Delta(\lambda+\mu)$. In the case when $G$ is of type $A$, we show that the split condition is closely related to the product of certain Young symmetrizers and, under some mild conditions, is further characterized by the denominator of a certain Young's seminormal basis vector. We obtain explicit formulas for the split condition in some cases.


title: Synthesis of Biologically Realistic Human Motion Using Joint Torque Actuation

abstract: Using joint actuators to drive the skeletal movements is a common practice in character animation, but the resultant torque patterns are often unnatural or infeasible for real humans to achieve. On the other hand, physiologically-based models explicitly simulate muscles and tendons and thus produce more human-like movements and torque patterns. This paper introduces a technique to transform an optimal control problem formulated in the muscle-actuation space to an equivalent problem in the joint-actuation space, such that the solutions to both problems have the same optimal value. By solving the equivalent problem in the joint-actuation space, we can generate human-like motions comparable to those generated by musculotendon models, while retaining the benefit of simple modeling and fast computation offered by joint-actuation models. Our method transforms constant bounds on muscle activations to nonlinear, state-dependent torque limits in the joint-actuation space. In addition, the metabolic energy function on muscle activations is transformed to a nonlinear function of joint torques, joint configuration and joint velocity. Our technique can also benefit policy optimization using deep reinforcement learning approach, by providing a more anatomically realistic action space for the agent to explore during the learning process. We take the advantage of the physiologically-based simulator, OpenSim, to provide training data for learning the torque limits and the metabolic energy function. Once trained, the same torque limits and the energy function can be applied to drastically different motor tasks formulated as either trajectory optimization or policy learning. Codebase: https://github.com/jyf588/lrle and https://github.com/jyf588/lrle-rl-examples


title: Bounds on Vacuum-Orthogonal Lorentz and CPT Violation from Radiative Corrections

abstract: Certain forms of Lorentz violation in the photon sector are difficult to bound directly, since they are "vacuum orthogonal," meaning they do not change the solutions of the equations of motion in vacuum. However, these very same terms have a unique tendency to contribute large radiative corrections to effects in other sectors. Making use of this, we set bounds on four previously unconstrained $d=5$ photon operators at the $10^{-25}$-$10^{-31}$ GeV$^{-1}$ levels.


title: Estimating the Frequency of a Clustered Signal

abstract: We consider the problem of locating a signal whose frequencies are "off grid" and clustered in a narrow band. Given noisy sample access to a function $g(t)$ with Fourier spectrum in a narrow range $[f_0 - \Delta, f_0 + \Delta]$, how accurately is it possible to identify $f_0$? We present generic conditions on $g$ that allow for efficient, accurate estimates of the frequency. We then show bounds on these conditions for $k$-Fourier-sparse signals that imply recovery of $f_0$ to within $\Delta + \tilde{O}(k^3)$ from samples on $[-1, 1]$. This improves upon the best previous bound of $O\big( \Delta + \tilde{O}(k^5) \big)^{1.5}$. We also show that no algorithm can do better than $\Delta + \tilde{O}(k^2)$. In the process we provide a new $\tilde{O}(k^3)$ bound on the ratio between the maximum and average value of continuous $k$-Fourier-sparse signals, which has independent application.


title: X-ray properties of two transient ULX candidates in galaxy NGC 7090

abstract: We report the X-ray data analysis of two transient ultraluminous X-ray sources (ULXs, hereafter X1 and X2) located in the nearby galaxy NGC 7090. While they were not detected in the 2004 XMM-Newton and 2005 Chandra observations, their 0.3-10 keV X-ray luminosities reached $>3\times10^{39}\,\mathrm{erg\,s^{-1}}$ in later XMM-Newton or Swift observations, showing increases in flux by a factor of $>80$ and $>300$ for X1 and X2, respectively. X1 showed indications of spectral variability: at the highest luminosity, its X-ray spectra can be fitted with a powerlaw ($\Gamma=1.55\pm0.15$), or a multicolour disc model with $T_{\mathrm{in}}=2.07^{+0.30}_{-0.23}$ keV; the X-ray spectrum became softer ($\Gamma=2.67^{+0.69}_{-0.64}$), or cooler ($T_\mathrm{in}=0.64^{+0.28}_{-0.17}$ keV) at lower luminosity. No strong evidence for spectral variability was found for X2. Its X-ray spectra can be fitted with a simple powerlaw model ($\Gamma=1.61^{+0.55}_{-0.50}$), or a multicolour disc model ($1.69^{+1.17}_{-0.48}$ keV). A possible optical counterpart for X1 is revealed in HST imaging. No optical variability is found, indicating that the optical radiation may be dominated by the companion star. Future X-ray and optical observations are necessary to determine the true nature of the compact object.


title: Lattices of hydrodynamically interacting flapping swimmers

abstract: Fish schools and bird flocks exhibit complex collective dynamics whose self-organization principles are largely unknown. The influence of hydrodynamics on such collectives has been relatively unexplored theoretically, in part due to the difficulty in modeling the temporally long-lived hydrodynamic interactions between many dynamic bodies. We address this through a novel discrete-time dynamical system (iterated map) that describes the hydrodynamic interactions between flapping swimmers arranged in one- and two-dimensional lattice formations. Our 1D results exhibit good agreement with previously published experimental data, in particular predicting the bistability of schooling states and new instabilities that can be probed in experimental settings. For 2D lattices, we determine the formations for which swimmers optimally benefit from hydrodynamic interactions. We thus obtain the following hierarchy: while a side-by-side single-row "phalanx" formation offers a small improvement over a solitary swimmer, 1D in-line and 2D rectangular lattice formations exhibit substantial improvements, with the 2D diamond lattice offering the largest hydrodynamic benefit. Generally, our self-consistent modeling framework may be broadly applicable to active systems in which the collective dynamics is primarily driven by a fluid-mediated memory.


title: Models for Genetic Diversity Generated by Negative Binomial Point Processes

abstract: We develop a model based on a generalised Poisson-Dirichlet distribution for the analysis of genetic diversity, and illustrate its use on microsatellite data for the genus Dasyurus (the quoll, a marsupial carnivore listed as near-threatened in Australia). Our class of distributions, termed $PD_\alpha^{(r)}$, is constructed from a negative binomial point process, generalizing the usual one-parameter $PD_\alpha$ model, which is constructed from a Poisson point process. Both models have at their heart a Stable$(\alpha)$ process, but in $PD_\alpha^{(r)}$, an extra parameter $r>0$ adds flexibility, analogous to the way the negative binomial distribution allows for "overdispersion" in the analysis of count data. A key result obtained is a generalised version of Ewens' sampling formula for $PD_\alpha^{(r)}$. We outline the theoretical basis for the model, and, for the quolls data, estimate the parameters $\alpha$ and r by least squares, showing how the extra parameter r aids in the interpretability of the data by comparison with the standard $PD_\alpha$ model. The methods potentially have implications for the management and conservation of threatened populations.


title: Pinpoint pick-up and bubble-free assembly of 2D materials using PDMS/PMMA polymers with lens shapes

abstract: The key to achieving high-quality van der Waals heterostructure devices made by stacking two-dimensional (2D) layered materials lies in having a clean interface without interfacial bubbles and wrinkles. In this study, the pinpoint pick-up and transfer system of 2D crystals is constructed using polymers with lens shapes. We report the bubble-free and clean-interface assembly of 2D crystals in which unidirectional sweep of the transfer interface precisely controlled with the help of the inclined substrate pushes the bubbles away from the interface.


title: Age-Optimal Transmission of Rateless Codes in an Erasure Channel

abstract: In this paper, we examine a status updating system where updates generated by the source are sent to the monitor through an erasure channel. We assume each update consists of $k$ symbols and the symbol erasure in each time slot follows an independent and identically distributed (i.i.d.) Bernoulli process. We assume rateless coding scheme is adopted at the transmitter and an update can be successfully decoded if $k$ coded symbols are received successfully. We assume perfect feedback available at the source, so that it knows whether a transmitted symbol has been erased instantly. Then, at the beginning of each time slot, the source has the choice to start transmitting a new update, or continue with the transmission of the previous update if it is not delivered yet. We adopt the metric "Age of Information" (AoI) to measure the freshness of information at the destination, where the AoI is defined as the age of the latest decoded update at the destination. Our objective is to design an optimal online transmission scheme to minimize the time-average AoI. The transmission decision is based on the instantaneous AoI, the age of the update being transmitted, as well as the number of successfully delivered symbols of the update. We formulate the problem as a Markov Decision Process (MDP) and identify the monotonic threshold structure of the optimal policy. Numerical results corroborate the structural properties of the optimal solution.


title: Targeted Synthesis for Programming with Data Invariants

abstract: Programmers frequently maintain implicit data invariants, which are relations between different data structures in a program. Traditionally, such invariants are manually enforced and checked by programmers. This ad-hoc practice is difficult because the programmer must manually account for all the locations and configurations that break an invariant. Moreover, implicit invariants are brittle under code-evolution: when the invariants and data structures change, the programmer must repeat the process of manually repairing all of the code locations where invariants are violated. A much better approach is to introduce data invariants as a language feature and rely on language support to maintain invariants. To handle this challenge, we introduce Targeted Synthesis, a technique for integrating data invariants with invariant-agnostic imperative code at compile-time. This technique is nontrivial due to the complex structure of both invariant specifications, as well as general imperative code. The key insight is to take a language co-design approach involving both the language of data invariants, as well as the imperative language. We leverage this insight to produce two high-level results: first, we support a language with iterators without requiring general quantified reasoning, and second, we infer complicated invariant-preserving patches. We evaluate these claims through a language termed Spyder, a core calculus of data invariants over imperative iterator programs. We evaluate the expressiveness and performance of Spyder on a variety of programs inspired by web applications, and we find that Spyder efficiently compiles and maintains data invariants.


title: Classical Solutions for the 3D Quasi-Geostrophic System on a Bounded Domain

abstract: We revisit a model for three-dimensional, inviscid quasi-geostrophic flow on bounded, cylindrical domains introduced by the authors in \cite{nv18}. We prove the local-in-time existence of classical solutions.


title: Good Wannier bases in Hilbert modules associated to topological insulators

abstract: For a large class of physically relevant operators on a manifold with discrete group action, we prove general results on the (non-)existence of a basis of smooth well-localised Wannier functions for their spectral subspaces. This turns out to be equivalent to the freeness of a certain Hilbert module over the group $C^*$-algebra canonically associated to the spectral subspace. This brings into play $K$-theoretic methods and justifies their importance as invariants of topological insulators in physics.

categories: math-ph cond-mat.mes-hall math.MP math.OA math.SP


title: Minimal model of permutation symmetry in unsupervised learning

abstract: Permutation of any two hidden units yields invariant properties in typical deep generative neural networks. This permutation symmetry plays an important role in understanding the computation performance of a broad class of neural networks with two or more hidden units. However, a theoretical study of the permutation symmetry is still lacking. Here, we propose a minimal model with only two hidden units in a restricted Boltzmann machine, which aims to address how the permutation symmetry affects the critical learning data size at which the concept-formation (or spontaneous symmetry breaking in physics language) starts, and moreover semi-rigorously prove a conjecture that the critical data size is independent of the number of hidden units once this number is finite. Remarkably, we find that the embedded correlation between two receptive fields of hidden units reduces the critical data size. In particular, the weakly-correlated receptive fields have the benefit of significantly reducing the minimal data size that triggers the transition, given less noisy data. Inspired by the theory, we also propose an efficient fully-distributed algorithm to infer the receptive fields of hidden units. Furthermore, our minimal model reveals that the permutation symmetry can also be spontaneously broken following the spontaneous symmetry breaking. Overall, our results demonstrate that the unsupervised learning is a progressive combination of spontaneous symmetry breaking and permutation symmetry breaking which are both spontaneous processes driven by data streams (observations). All these effects can be analytically probed based on the minimal model, providing theoretical insights towards understanding unsupervised learning in a more general context.

categories: cond-mat.dis-nn cond-mat.stat-mech cs.LG q-bio.NC stat.ML


title: Search for muon-philic new light gauge boson at Belle II

abstract: Motivated by the long-lasting $3.5\sigma$ discrepancy in the anomalous magnetic moment of muon, we consider a new muon-specific force mediated by a light gauge boson, $X$, with mass $m_X < 2m_\mu$ and the coupling constant $g_X \sim (10^{-4}, 10^{-3})$. We show that the Belle~II experiment has a robust chance to probe such a light boson in $e^+ e^- \to \mu^+ \mu^- + X$ channel and cover the most interesting parameter space explaining the discrepancy with the planned target luminosity, $\int dt \ {\cal L}=50~{\rm ab^{-1}}$. The clean signal of muon-pair plus missing energy at Belle II can be a smoking gun for the new gauge boson. We expect that the (invisibly decaying) muon-philic light ($m_X \leq 2 m_\mu$) gauge boson can be probed down to $g_X \geq 1.5 \times 10^{-4} \ (4.6 \times 10^{-4}, \ 2.3 \times 10^{-4})$ for 50 (1, 10) ab${}^{-1}$ search.


title: Distributed Computation for Solving the Sylvester Equation Based on Optimization

abstract: This paper solves the Sylvester equation in the form of AX+XB=C in a distributed way, and proposes three distributed continuous-time algorithms for three cases. We start with the basic algorithm for solving a least squares solution of the equation, and then give a simplified algorithm for the case when there is an exact solution to the equation, followed by an algorithm with regularization case. Based on local information and appropriate communication among neighbor agents, we solve the distributed computation problem of the Sylvester equation from the optimization viewpoint, and we prove the convergence of proposed algorithms to an optimal solution in three different cases, with help of the convex optimization and semi-stability.


title: Quantitative Multiple pointwise convergence and effective multiple correlations

abstract: We show that effective $2\ell$-multiple correlations imply quantitative $\ell$-multiple pointwise ergodic theorems. The result has a wide class of applications which include subgroup actions on homogeneous spaces, ergodic nilmanifold automorphisms, subshifts of finite type and Young towers.


title: Query-to-Communication Lifting Using Low-Discrepancy Gadgets

abstract: Lifting theorems are theorems that relate the query complexity of a function $f:\{0,1\}^{n}\to\{0,1\}$ to the communication complexity of the composed function $f \circ g^{n}$, for some "gadget" $g:\{0,1\}^{b}\times\{0,1\}^{b}\to\{0,1\}$. Such theorems allow transferring lower bounds from query complexity to the communication complexity, and have seen numerous applications in the recent years. In addition, such theorems can be viewed as a strong generalization of a direct-sum theorem for the gadget $g$. We prove a new lifting theorem that works for all gadgets $g$ that have logarithmic length and exponentially-small discrepancy, for both deterministic and randomized communication complexity. Thus, we significantly increase the range of gadgets for which such lifting theorems hold. Our result has two main motivations: First, allowing a larger variety of gadgets may support more applications. In particular, our work is the first to prove a randomized lifting theorem for logarithmic-size gadgets, thus improving some applications of the theorem. Second, our result can be seen as a strong generalization of a direct-sum theorem for functions with low discrepancy.


title: Stochastic Renormalization Group and Gradient Flow

abstract: A non-perturbative and continuous definition of RG transformations as stochastic processes is proposed, inspired by the observation that the functional RG equations for effective Boltzmann factors may be interpreted as Fokker-Planck equations. The result implies a new approach to Monte Carlo RG that is amenable to lattice simulation. Long-distance correlations of the effective theory are shown to approach gradient-flowed correlations, which are simpler to measure. The Markov property of the stochastic RG transformation implies an RG scaling formula which allows for the measurement of anomalous dimensions when transcribed into gradient flow expectation values.


title: Engineering tunnel junctions on ballistic semiconductor nanowires

abstract: Typical measurements of nanowire devices rely on end-to-end measurements to reveal mesoscopic phenomena such as quantized conductance or Coulomb blockade. However, creating nanoscale tunnel junctions allows one to directly measure other properties such as the density of states or electronic energy distribution functions. In this paper, we demonstrate how to realize uniform tunnel junctions on InSb nanowires, where the low invasiveness preserves ballistic transport in the nanowires. The utility of the tunnel junctions is demonstrated via measurements using a superconducting tunneling probe, which reveal non-equilibrium properties in the open quantum dot regime of an InSb nanowire. The method for high-quality tunnel junction fabrication on InSb nanowires is applicable to other III-V nanowires and allows for new tools to characterize the local density of states.


title: Phase transitions in Born-Infeld AdS black holes in D-dimensions

abstract: In this paper, we have investigated phase transitions in arbitrary spacetime dimensions for Born-Infeld AdS black holes. The phase transition points are characterised from the divergence of heat capacity of the black hole. Two well established techniques, namely, the Ehrenfest scheme and the Ruppeiner state space geometry approach are used to identify the order of phase transition the black hole undergoes. It is observed that the results obtained from these two methods agree with each other. Our analysis reveals that the phase transition is of second order. It is also observed from the variation of the heat capacity with entropy that the small unstable black hole phase becomes more and more stable with increase in the spacetime dimensions. We speculate that this dependence of the stability of the black hole on the spacetime dimension can put an upper limit to the dimension of spacetime from the physical condition of the improbability of the formation of a small stable black hole. We have also derived a Smarr relation in D-spacetime dimensions using scaling arguments and first law of black hole thermodynamics which includes the cosmological constant and the Born-Infeld parameters as thermodynamic variables.


title: On the change of old neutron star masses with galactocentric distance

abstract: We show that the pulsar mass depends on the environment, and that it decreases going towards the center of the Milky Way. This is due to two combined effects, the capture and accumulation of self-interacting, non-annihilating dark matter by pulsars, and the increase of the dark matter density going towards the galactic center. We show that mass decrease depends both on the density profile of dark matter, steeper profiles producing a faster and larger decrease of the pulsar mass, and on the strength of self-interaction. Once future observations will provide the pulsar mass in a dark matter rich environment, close to the galactic center, the present result will be able to put constraints on the characteristics of our Galaxy halo dark matter profile, on the nature of dark matter, namely on its annihilating or non-annihilating nature, on its strength of self-interaction, and on the particle mass.


title: Implications of the dark axion portal for SHiP and FASER and the advantages of monophoton signals

abstract: We investigate the implications of the dark axion portal interaction, the axion-photon-dark photon vertex, for the future experiments SHiP and FASER. We also study the phenomenology of the combined vector portal (kinetic mixing of the photon and dark photon) and dark axion portal. The muon $g-2$ discrepancy is unfortunately not solved even with the two portals, but the low-energy beam dump experiments with monophoton detection capability can open new opportunities in light dark sector searches using the combined portals.


title: Quantitative KAM normal forms and sharp measure estimates

abstract: It is widespread since the beginning of KAM Theory that, under "sufficiently small" perturbation, of size $\epsilon$, apart a set of measure $O(\sqrt{\epsilon})$, all the KAM Tori of a non-degenerate integrable Hamiltonian system persist up to a small deformation. However, no explicit, self-contained proof of this fact exists so far. In the present Thesis, we give a detailed proof of how to get rid of a logarithmic correction (due to a Fourier cut-off) in Arnold's scheme and then use it to prove an explicit and "sharp" Theorem of integrability on Cantor-type set. In particular, we give an explicit proof of the above-mentioned measure estimate on the measure of persistent primary KAM tori. We also prove three quantitative KAM normal forms following closely the original ideas of the pioneers Kolmogorov, Arnold and Moser, computing explicitly all the KAM constants involved and fix some "physical dimension" issues by means of appropriate rescalings. Finally, we compare those three quantitative KAM normal forms on a simple mechanical system.


title: Families of elliptic curves ordered by conductor

abstract: In this article, we study the family of elliptic curves $E/\mathbb{Q}$, having good reduction at $2$ and $3$, and whose $j$-invariants are small. Within this set of elliptic curves, we consider the following two subfamilies: first, the set of elliptic curves $E$ such that the ratio $\Delta(E)/C(E)$ is squarefree; and second, the set of elliptic curves $E$ such that $\Delta(E)/C(E)$ is bounded by a small power $(<3/4)$ of $C(E)$. Both these families are conjectured to contain a positive proportion of elliptic curves, when ordered by conductor. Our main results determine asymptotics for both these families, when ordered by conductor. Moreover, we prove that the average size of the $2$-Selmer groups of elliptic curves in the first family, again when these curves are ordered by their conductors, is $3$. This implies that the average rank of these elliptic curves is finite, and bounded by $1.5$.


title: Bessel-like birth-death process

abstract: We consider models of the population or opinion dynamics which result in the non-linear stochastic differential equations (SDEs) exhibiting the spurious long-range memory. In this context, the correspondence between the description of the birth-death processes as the continuous-time Markov chains and the continuous SDEs is of high importance for the alternatives of modeling. We propose and generalize the Bessel-like birth-death process having clear representation by the SDEs. The new process helps to integrate the alternatives of description and to derive the equations for the probability density function (PDF) of the burst and inter-burst duration of the proposed continuous time birth-death processes.


title: Hopf modules, Frobenius functors and (one-sided) Hopf algebras

abstract: We investigate the property of being Frobenius for some functors strictly related with Hopf modules over a bialgebra and how this property reflects on the latter. In particular, we characterize one-sided Hopf algebras with anti-(co)multiplicative one-sided antipode as those for which the free Hopf module functor is Frobenius. As a by-product, this leads us to relate the property of being an FH-algebra (in the sense of Pareigis) for a given bialgebra with the property of being Frobenius for certain naturally associated functors.


title: A radiative neutrino mass model with hidden gauge symmetry inducing semi-annihilating dark matter

abstract: We propose two-loop neutrino mass model with gauged hidden $U(1)$ symmetry, and discuss a Majorana type of dark matter candidate that has semi-annihilation processes in the relic density as well as lepton flavor violations and muon anomalous magnetic moment. Also, we demonstrate global analysis to satisfy neutrino oscillation data, lepton flavor violations, and relic density of dark matter candidate and show that semi-annihilation modes play a crucial role in finding observed relic density.


title: Distributed Solver for Discrete-Time Lyapunov Equations Over Dynamic Networks with Linear Convergence Rate

abstract: This paper investigates the problem of solving discrete-time Lyapunov equations (DTLE) over a multi-agent system, where every agent has access to its local information and communicates with its neighbors. To obtain a solution to DTLE, a distributed algorithm with uncoordinated constant step sizes is proposed over time-varying topologies. The convergence properties and the range of constant step sizes of the proposed algorithm are analyzed. Moreover, a linear convergence rate is proved and the convergence performances over dynamic networks are verified by numerical simulations.


title: Prediction of Coupled Electronic and Phononic Ferroelectricity in Strained 2D h-NbN: First-principles Theoretical Analysis

abstract: Using first-principles density functional theoretical analysis, we predict coexisting ferroelectric and semi-metallic states in two-dimensional monolayer of h-NbN subjected to electric field and in-plane strain ($\epsilon$). At strains close to $\epsilon$=4.85%, where its out-of-plane spontaneous polarization changes sign without inverting the structure, we demonstrate a hysteretic response of its structure and polarization to electric field, and uncover a three-state (P=$\pm$P$_o$Po, 0) switching during which h-NbN passes through Dirac semi-metallic states. With first-principles evidence for a combination of electronic and phononic ferroelectricity, we present a simple model that captures the energetics of coupled electronic and structural polarization, and show that electronic ferroelectricity arises in a material which is highly polarizable (small bandgap) and exhibits a large electron-phonon coupling leading to anomalous dynamical charges. These insights will guide search for electronic ferroelectrics, and our results on 2D h-NbN will stimulate development of piezo-field effect transistors and devices based on the multi-level logic.


title: Chemical composition induced quantum phase transition in Cs$_{1-x}$Rb$_{x}$FeCl$_{3}$

abstract: The isostructural series of $S=1$ quantum magnets Cs$_{1-x}$Rb$_{x}$FeCl$_{3}$ is investigated, using both thermodynamic measurements and inelastic neutron scattering experiments. It is found that increasing Rb content the system evolves from the gapped state at $x=0$, through a quantum phase transition at $x\sim 0.35$, and to the magnetically ordered state at larger $x$. Inelastic neutron experiments for $x=0$, $x=0.3$, and $x=1$ demonstrate that the magnetic anisotropy and spin interactions are continuously tuned by the chemical composition. For the intermediate concentration all magnetic excitations are substantial broadened suggesting that disorder plays a key role in this species. For the two end-compounds, excitations remain sharp.


title: Distributed Interval Optimization with Stochastic Zeroth-order Oracle

abstract: In this paper, we investigate a distributed interval optimization problem which is modeled with optimizing a sum of convex interval-valued objective functions subject to global convex constraints, corresponding to agents over a time-varying network. We first reformulate the distributed interval optimization problem as a distributed constrained optimization problem by scalarization. Then, we design a stochastic zeroth-order algorithm to solve the reformulated distributed problem, optimal solutions of which are also proved to be Pareto optimal solutions of the distributed interval optimization problem. Moreover, we construct the explicit convergence and the convergence rate in expectation of the given algorithm. Finally, a numerical example is given to illustrate the effectiveness of the proposed algorithm.


title: The Risks of WebGL: Analysis, Evaluation and Detection

abstract: WebGL is a browser feature that enables JavaScript-based control of the graphics processing unit (GPU) to render interactive 3D and 2D graphics, without the use of plug-ins. Exploiting WebGL for attacks will affect billions of users since browsers serve as the main interaction mechanism with the world wide web. This paper explores the potential threats derived from the recent move by browsers from WebGL 1.0 to the more powerful WebGL 2.0. We focus on two possible abuses of this feature: distributed password cracking and distributed cryptocurrency mining. Our evaluation of the attacks also includes the practical aspects of successful attacks, such as stealthiness and user-experience. Considering the danger of WebGL abuse, as observed in the experiments, we designed and evaluated a proactive defense. We implemented a Chrome extension that proved itself effective in detecting and blocking WebGL. We demonstrate in our experiments the major improvements of WebGL 2.0 over WebGL 1.0 both in performance and in convenience. Furthermore, our results show that it is possible to use WebGL 2.0 in distributed attacks under real-world conditions. Although WebGL 2.0 shows similar hash rates as CPU-based techniques, WebGL 2.0 proved to be significantly harder to detect and has a lesser effect on user experience.


title: Cross-Modal Message Passing for Two-stream Fusion

abstract: Processing and fusing information among multi-modal is a very useful technique for achieving high performance in many computer vision problems. In order to tackle multi-modal information more effectively, we introduce a novel framework for multi-modal fusion: Cross-modal Message Passing (CMMP). Specifically, we propose a cross-modal message passing mechanism to fuse two-stream network for action recognition, which composes of an appearance modal network (RGB image) and a motion modal (optical flow image) network. The objectives of individual networks in this framework are two-fold: a standard classification objective and a competing objective. The classification object ensures that each modal network predicts the true action category while the competing objective encourages each modal network to outperform the other one. We quantitatively show that the proposed CMMP fuses the traditional two-stream network more effectively, and outperforms all existing two-stream fusion method on UCF-101 and HMDB-51 datasets.


title: SurfelWarp: Efficient Non-Volumetric Single View Dynamic Reconstruction

abstract: We contribute a dense SLAM system that takes a live stream of depth images as input and reconstructs non-rigid deforming scenes in real time, without templates or prior models. In contrast to existing approaches, we do not maintain any volumetric data structures, such as truncated signed distance function (TSDF) fields or deformation fields, which are performance and memory intensive. Our system works with a flat point (surfel) based representation of geometry, which can be directly acquired from commodity depth sensors. Standard graphics pipelines and general purpose GPU (GPGPU) computing are leveraged for all central operations: i.e., nearest neighbor maintenance, non-rigid deformation field estimation and fusion of depth measurements. Our pipeline inherently avoids expensive volumetric operations such as marching cubes, volumetric fusion and dense deformation field update, leading to significantly improved performance. Furthermore, the explicit and flexible surfel based geometry representation enables efficient tackling of topology changes and tracking failures, which makes our reconstructions consistent with updated depth observations. Our system allows robots to maintain a scene description with non-rigidly deformed objects that potentially enables interactions with dynamic working environments.


title: Cooperative Localization under Limited Connectivity

abstract: We report two decentralized multi-agent cooperative localization algorithms in which, to reduce the communication cost, inter-agent state estimate correlations are not maintained but accounted for implicitly. In our first algorithm, to guarantee filter consistency, we account for unknown inter-agent correlations via an upper bound on the joint covariance matrix of the agents. In the second method, we use an optimization framework to estimate the unknown inter-agent cross-covariance matrix. In our algorithms, each agent localizes itself in a global coordinate frame using a local filter driven by local dead reckoning and occasional absolute measurement updates, and opportunistically corrects its pose estimate whenever it can obtain relative measurements with respect to other mobile agents. To process any relative measurement, only the agent taken the measurement and the agent the measurement is taken from need to communicate with each other. Consequently, our algorithms are decentralized algorithms that do not impose restrictive network-wide connectivity condition. Moreover, we make no assumptions about the type of agents or relative measurements. We demonstrate our algorithms in simulation and a robotic~experiment.


title: Hybrid Breathers in Nonlinear $\mathcal{PT}$-Symmetric Metamaterials

abstract: On a two-dimensional planar parity-time-($\mathcal{PT}$-)symmetric nonlinear magnetic metamaterial, consisting of split-ring dimers with balanced gain and loss, discrete breather solutions can be found. We extend these studies and by numerical calculations reveal the existence of further stable, long-lived oscillations, with certain frequencies, in the breather spectrum. We describe these oscillations in terms of an analytical breather theory, and show that they can be interpreted as superpositions of a breather oscillation and a plane wave. We coin the term `hybrid breather' solutions for these solutions.


title: Gradient continuity estimates for the normalized $p$-Poisson equation

abstract: In this paper, we obtain gradient continuity estimates for viscosity solutions of $\Delta_{p}^N u= f$ in terms of the scaling critical $L(n,1 )$ norm of $f$, where $\Delta_{p}^N$ is the normalized $p-$Laplacian operator defined in (1.2) below. Our main result, Theorem 2.2, corresponds to the borderline gradient continuity estimate in terms of the modified Riesz potential $\tilde I^{f}_{q}$. Moreover, for $f \in L^{m}$ with $m>n$, we also obtain $C^{1,\alpha}$ estimates, see Theorem 2.3 below. This improves one of the regularity results in [3], where a $C^{1,\alpha}$ estimate was established depending on the $L^{m}$ norm of $f$ under the additional restriction that $p>2$ and $m > \text{max} (2,n, \frac{p}{2}) $ (see Theorem 1.2 in [3]). We also mention that differently from the approach in [3], which uses methods from divergence form theory and nonlinear potential theory in the proof of Theorem 1.2, our method is more non-variational in nature, and it is based on separation of phases inspired by the ideas in [36]. Moreover, for $f$ continuous, our approach also gives a somewhat different proof of the $C^{1, \alpha}$ regularity result, Theorem 1.1, in [3].


title: Improved bounds for the excluded-minor approximation of treedepth

abstract: Treedepth, a more restrictive graph width parameter than treewidth and pathwidth, plays a major role in the theory of sparse graph classes. We show that there exists a constant $C$ such that for every positive integers $a,b$ and a graph $G$, if the treedepth of $G$ is at least $Cab$, then the treewidth of $G$ is at least $a$ or $G$ contains a subcubic (i.e., of maximum degree at most $3$) tree of treedepth at least $b$ as a subgraph. As a direct corollary, we obtain that every graph of treedepth $\Omega(k^3)$ is either of treewidth at least $k$, contains a subdivision of full binary tree of depth $k$, or contains a path of length $2^k$. This improves the bound of $\Omega(k^5 \log^2 k)$ of Kawarabayashi and Rossman [SODA 2018]. We also show an application of our techniques for approximation algorithms of treedepth: given a graph $G$ of treedepth $k$ and treewidth $t$, one can in polynomial time compute a treedepth decomposition of $G$ of width $\mathcal{O}(kt \log^{3/2} t)$. This improves upon a bound of $\mathcal{O}(kt^2 \log t)$ stemming from a tradeoff between known results. The main technical ingredient in our result is a proof that every tree of treedepth $d$ contains a subcubic subtree of treedepth at least $d \cdot \log_3 ((1+\sqrt{5})/2)$.


title: Interpretation of Feature Space using Multi-Channel Attentional Sub-Networks

abstract: Convolutional Neural Networks have achieved impressive results in various tasks, but interpreting the internal mechanism is a challenging problem. To tackle this problem, we exploit a multi-channel attention mechanism in feature space. Our network architecture allows us to obtain an attention mask for each feature while existing CNN visualization methods provide only a common attention mask for all features. We apply the proposed multi-channel attention mechanism to multi-attribute recognition task. We can obtain different attention mask for each feature and for each attribute. Those analyses give us deeper insight into the feature space of CNNs. The experimental results for the benchmark dataset show that the proposed method gives high interpretability to humans while accurately grasping the attributes of the data.


title: Anomaly Detection in Traffic Scenes via Spatial-aware Motion Reconstruction

abstract: Anomaly detection from a driver's perspective when driving is important to autonomous vehicles. As a part of Advanced Driver Assistance Systems (ADAS), it can remind the driver about dangers timely. Compared with traditional studied scenes such as the university campus and market surveillance videos, it is difficult to detect abnormal event from a driver's perspective due to camera waggle, abidingly moving background, drastic change of vehicle velocity, etc. To tackle these specific problems, this paper proposes a spatial localization constrained sparse coding approach for anomaly detection in traffic scenes, which firstly measures the abnormality of motion orientation and magnitude respectively and then fuses these two aspects to obtain a robust detection result. The main contributions are threefold: 1) This work describes the motion orientation and magnitude of the object respectively in a new way, which is demonstrated to be better than the traditional motion descriptors. 2) The spatial localization of object is taken into account of the sparse reconstruction framework, which utilizes the scene's structural information and outperforms the conventional sparse coding methods. 3) Results of motion orientation and magnitude are adaptively weighted and fused by a Bayesian model, which makes the proposed method more robust and handle more kinds of abnormal events. The efficiency and effectiveness of the proposed method are validated by testing on nine difficult video sequences captured by ourselves. Observed from the experimental results, the proposed method is more effective and efficient than the popular competitors, and yields a higher performance.


title: Memory-Augmented Temporal Dynamic Learning for Action Recognition

abstract: Human actions captured in video sequences contain two crucial factors for action recognition, i.e., visual appearance and motion dynamics. To model these two aspects, Convolutional and Recurrent Neural Networks (CNNs and RNNs) are adopted in most existing successful methods for recognizing actions. However, CNN based methods are limited in modeling long-term motion dynamics. RNNs are able to learn temporal motion dynamics but lack effective ways to tackle unsteady dynamics in long-duration motion. In this work, we propose a memory-augmented temporal dynamic learning network, which learns to write the most evident information into an external memory module and ignore irrelevant ones. In particular, we present a differential memory controller to make a discrete decision on whether the external memory module should be updated with current feature. The discrete memory controller takes in the memory history, context embedding and current feature as inputs and controls information flow into the external memory module. Additionally, we train this discrete memory controller using straight-through estimator. We evaluate this end-to-end system on benchmark datasets (UCF101 and HMDB51) of human action recognition. The experimental results show consistent improvements on both datasets over prior works and our baselines.


title: Sequence to sequence deep learning models for solar irradiation forecasting

abstract: The energy output a photo voltaic(PV) panel is a function of solar irradiation and weather parameters like temperature and wind speed etc. A general measure for solar irradiation called Global Horizontal Irradiance (GHI), customarily reported in Watt/meter$^2$, is a generic indicator for this intermittent energy resource. An accurate prediction of GHI is necessary for reliable grid integration of the renewable as well as for power market trading. While some machine learning techniques are well introduced along with the traditional time-series forecasting techniques, deep-learning techniques remains less explored for the task at hand. In this paper we give deep learning models suitable for sequence to sequence prediction of GHI. The deep learning models are reported for short-term forecasting $\{1-24\}$ hour along with the state-of-the art techniques like Gradient Boosted Regression Trees(GBRT) and Feed Forward Neural Networks(FFNN). We have checked that spatio-temporal features like wind direction, wind speed and GHI of neighboring location improves the prediction accuracy of the deep learning models significantly. Among the various sequence-to-sequence encoder-decoder models LSTM performed superior, handling short-comings of the state-of-the-art techniques.


title: Universality classes of non-Hermitian random matrices

abstract: Non-Hermitian random matrices have been utilized in such diverse fields as dissipative and stochastic processes, mesoscopic physics, nuclear physics, and neural networks. However, the only known universal level-spacing statistics is that of the Ginibre ensemble characterized by complex-conjugation symmetry. Here we report our discovery of two other distinct universality classes characterized by transposition symmetry. We find that transposition symmetry alters repulsive interactions between two neighboring eigenvalues and deforms their spacing distribution. Such alteration is not possible with other symmetries including Ginibre's complex-conjugation symmetry which can affect only nonlocal correlations. Our results complete the non-Hermitian counterpart of Wigner-Dyson's threefold universal statistics of Hermitian random matrices and serve as a basis for characterizing nonintegrability and chaos in open quantum systems with symmetry.

categories: cond-mat.stat-mech math-ph math.MP quant-ph


title: Assessing the Global Wind Atlas and local measurements for bias correction of wind power generation simulated from MERRA-2 in Brazil

abstract: NASAs MERRA-2 reanalysis is a widely used dataset in renewable energy resource modelling. The Global Wind Atlas (GWA) has been used to bias-correct MERRA-2 data before. There is, however, a lack of an analysis of the performance of MERRA-2 with bias correction from GWA on different spatial levels - and for regions outside of Europe, China or the United States. This study therefore evaluates different methods for wind power simulation on four spatial resolution levels from wind park to national level in Brazil. In particular, spatial interpolation methods and spatial as well as spatiotemporal wind speed bias correction using local wind speed measurements and mean wind speeds from the GWA are assessed. By validating the resulting timeseries against observed generation it is assessed at which spatial levels the different methods improve results - and whether global information derived from the GWA can compete with locally measured wind speed data as a source of bias correction. Results show that (i) bias correction with the GWA improves results on state, sub-system, and national-level, but not on wind park level, that (ii) the GWA improves results comparably to local measurements, and that (iii) complex spatial interpolation methods do not contribute in improving quality of the simulation.


title: Two-dimensional honeycomb borophene oxide: A promising anode material offering super high capacity for Li/Na-ion batteries

abstract: Rational design of novel two-dimensional (2D) electrode materials with high capacity is crucial for the further development of Li-ion and Na-ion batteries. Herein, based on first-principles calculations, we systemically investigate Li and Na storage behaviors in the recently discovered 2D topological nodal-loop metal - the honeycomb borophene oxide (h-B2O). We show that h-B2O is an almost ideal anode material. It has good conductivity before and after Li/Na adsorption, fast ion diffusion with diffusion barrier less than 0.5 eV, low open-circuit voltage (less than 1 V), and small lattice change (less than 6.2%) during intercalation. Most remarkably, its theoretical storage capacity is extremely high, reaching up to 2137 mAh/g for Li and 1425 mAh/g for Na. Its Li storage capacity is more than six times higher than graphite (372 mAh/g), and is actually the highest among all 2D materials discovered to date. Our results strongly suggest that 2D h-B2O is an exceedingly promising anode material for both Li- and Na-ion batteries with super high capacity.


title: Early Action Prediction with Generative Adversarial Networks

abstract: Action Prediction is aimed to determine what action is occurring in a video as early as possible, which is crucial to many online applications, such as predicting a traffic accident before it happens and detecting malicious actions in the monitoring system. In this work, we address this problem by developing an end-to-end architecture that improves the discriminability of features of partially observed videos by assimilating them to features from complete videos. For this purpose, the generative adversarial network is introduced for tackling action prediction problem, which improves the recognition accuracy of partially observed videos though narrowing the feature difference of partially observed videos from complete ones. Specifically, its generator comprises of two networks: a CNN for feature extraction and an LSTM for estimating residual error between features of the partially observed videos and complete ones, and then the features from CNN adds the residual error from LSTM, which is regarded as the enhanced feature to fool a competing discriminator. Meanwhile, the generator is trained with an additional perceptual objective, which forces the enhanced features of partially observed videos are discriminative enough for action prediction. Extensive experimental results on UCF101, BIT and UT-Interaction datasets demonstrate that our approach outperforms the state-of-the-art methods, especially for videos that less than 50% portion of frames is observed.


title: Theoretical, Measured and Subjective Responsibility in Aided Decision Making

abstract: When humans interact with intelligent systems, their causal responsibility for outcomes becomes equivocal. We analyze the descriptive abilities of a newly developed responsibility quantification model (ResQu) to predict actual human responsibility and perceptions of responsibility in the interaction with intelligent systems. In two laboratory experiments, participants performed a classification task. They were aided by classification systems with different capabilities. We compared the predicted theoretical responsibility values to the actual measured responsibility participants took on and to their subjective rankings of responsibility. The model predictions were strongly correlated with both measured and subjective responsibility. A bias existed only when participants with poor classification capabilities relied less-than-optimally on a system that had superior classification capabilities and assumed higher-than-optimal responsibility. The study implies that when humans interact with advanced intelligent systems, with capabilities that greatly exceed their own, their comparative causal responsibility will be small, even if formally the human is assigned major roles. Simply putting a human into the loop does not assure that the human will meaningfully contribute to the outcomes. The results demonstrate the descriptive value of the ResQu model to predict behavior and perceptions of responsibility by considering the characteristics of the human, the intelligent system, the environment and some systematic behavioral biases. The ResQu model is a new quantitative method that can be used in system design and can guide policy and legal decisions regarding human responsibility in events involving intelligent systems.


title: Simple ions control the elasticity of calcite gels via interparticle forces

abstract: Suspensions of calcite in water are employed in many industrial fields such as paper filling, pharmaceutics, heritage conservation or building construction, where the rheological properties of the paste need to be controlled. We measure the impact of simple ions such as calcium, sodium or hydroxide on the elasticity of a nanocalcite paste, which behaves as a colloidal gel. We confront our macroscopic measurements to DLVO interaction potentials, based on chemical speciations and measurements of the zeta potential. By changing the ion type and concentration, we go beyond the small repulsion regime and span two orders of magnitude in shear modulus. Upon addition of calcium hydroxide, we observe a minimum in shear modulus, correlated to a maximum in the DLVO energy barrier, due to two competing effects: Calcium adsorption onto calcite surface rises the zeta potential and consequently the electrostatic repulsion, while increasing salt concentration induces stronger electrostatic screening. We also demonstrate that the addition of sodium hydroxide completely screens the surface charge and leads to a more rigid paste. A second important result is that carbonation of the calcite suspensions by the atmospheric CO 2 leads to a convergent high elasticity of the colloidal gels, whatever their initial value, also well rationalized by DLVO theory and resulting from a decrease in zeta potential and in surface charge density.


title: Dependence-Aware, Unbounded Sound Predictive Race Detection

abstract: Data races are a real problem for parallel software, yet hard to detect. Sound predictive analysis observes a program execution and detects data races that exist in some other, unobserved execution. However, existing predictive analyses miss races because they do not scale to full program executions or do not precisely incorporate data and control dependence. This paper introduces two novel, sound predictive approaches that incorporate data and control dependence and handle full program executions. An evaluation using real, large Java programs shows that these approaches detect more data races than the closest related approaches, thus advancing the state of the art in sound predictive race detection.


title: Photo-acoustic tomography in a rotating setting

abstract: Photo-acoustic tomography is a coupled-physics (hybrid) medical imaging modality that aims to reconstruct optical parameters in biological tissues from ultrasound measurements. As propagating light gets partially absorbed, the resulting thermal expansion generates minute ultrasonic signals (the photo-acoustic effect) that are measured at the boundary of a domain of interest. Standard inversion procedures first reconstruct the source of radiation by an inverse ultrasound (boundary) problem and second describe the optical parameters from internal information obtained in the first step. This paper considers the rotating experimental setting. Light emission and ultrasound measurements are fixed on a rotating gantry, resulting in a rotation-dependent source of ultrasound. The two-step procedure we just mentioned does not apply. Instead, we propose an inversion that directly aims to reconstruct the optical parameters quantitatively. The mapping from the unknown (absorption and diffusion) coefficients to the ultrasound measurement via the unknown ultrasound source is modeled as a composition of a pseudo-differential operator and a Fourier integral operator. We show that for appropriate choices of optical illuminations, the above composition is an elliptic Fourier integral operator. Under the assumption that the coefficients are unknown on a sufficiently small domain, we derive from this a (global) injectivity result (measurements uniquely characterize our coefficients) combined with an optimal stability estimate. The latter is the same as that obtained in the standard (non-rotating experimental) setting.


title: Holographic subregion complexity of boosted black brane and Fisher information

abstract: In this paper, we have studied the holographic subregion complexity for boosted black brane for strip like subsystem. The holographic subregion complexity has been computed for a subsystem chosen along and perpendicular to the boost direction. We have observed that there is an asymmetry in the result due to the boost parameter which can be attributed to the asymmetry in the holographic entanglement entropy. The Fisher information metric and the fidelity susceptibility have also been computed using bulk dual prescriptions. It is observed that the two metrics computed holographically are not related for both the pure black brane as well as the boosted black brane. This is one of the main findings in this paper and the holographic results have been compared with the results available in the quantum information literature where it is known that the two distances are related to each other in general.


title: Novel Einstein-Scalar-Gauss-Bonnet Wormholes without Exotic Matter

abstract: Novel wormholes are obtained in Einstein-scalar-Gauss-Bonnet theory for several coupling functions. The wormholes may feature a single-throat or a double-throat geometry and do not demand any exotic matter. The scalar field may asymptotically vanish or be finite, and it may possess radial excitations. The domain of existence is fully mapped out for several forms of the coupling function.


title: An asymptotic preserving well-balanced scheme for the isothermal fluid equations in low-temperature plasma applications

abstract: We present a novel numerical scheme for the efficient and accurate solution of the isothermal two-fluid (electron and ion) equations coupled to Poisson's equation for low-temperature plasmas. The model considers electrons and ions as separate fluids, comprising the electron inertia and charge separation. The discretization of this system with standard explicit schemes is constrained by very restrictive time steps and cell sizes related to the resolution of the Debye length, electron plasma frequency, and electron sound waves. Both sheath and electron inertia are fundamental to fully explain the physics in low-pressure and low-temperature plasmas. However, most of the phenomena of interest for fluid models occur at speeds much slower than the electron thermal speed and are quasi-neutral, except in small charged regions. In this work, we present a scheme based on the Lagrange-projection operator splitting that preserves the asymptotic regime where the plasma is quasi-neutral with massless electrons. As a result, the quasi-neutral regime is treated without the need of an implicit solver nor the resolution of the Debye length and electron plasma frequency. Additionally, the scheme proves to accurately represent the dynamics of the electrons both at low speeds and when the electron speed is comparable to the thermal speed. In addition, a well-balanced treatment of the ion source terms is proposed in order to tackle problems where the ion temperature is very low compared to the electron temperature. The scheme significantly improves the accuracy both in the quasi-neutral limit and in the presence of plasma sheaths when the Debye length is resolved. The scheme is assessed in two specifically designed test-cases: a quasi-neutral two-stream periodic perturbation with analytical solution and a low-temperature discharge that includes sheaths.


title: Please, do not decentralize the Internet with (permissionless) blockchains!

abstract: The old mantra of decentralizing the Internet is coming again with fanfare, this time around the blockchain technology hype. We have already seen a technology supposed to change the nature of the Internet: peer-to-peer. The reality is that peer-to-peer naming systems failed, peer-to-peer social networks failed, and yes, peer-to-peer storage failed as well. In this paper, we will review the research on distributed systems in the last few years to identify the limits of open peer-to-peer networks. We will address issues like system complexity, security and frailty, instability and performance. We will show how many of the aforementioned problems also apply to the recent breed of permissionless blockchain networks. The applicability of such systems to mature industrial applications is undermined by the same properties that make them so interesting for a libertarian audience: namely, their openness, their pseudo-anonymity and their unregulated cryptocurrencies. As such, we argue that permissionless blockchain networks are unsuitable to be the substrate for a decentralized Internet. Yet, there is still hope for more decentralization, albeit in a form somewhat limited with respect to the libertarian view of decentralized Internet: in cooperation rather than in competition with the superpowerful datacenters that dominate the world today. This is derived from the recent surge in interest in byzantine fault tolerance and permissioned blockchains, which opens the door to a world where use of trusted third parties is not the only way to arbitrate an ensemble of entities. The ability of establish trust through permissioned blockchains enables to move the control from the datacenters to the edge, truly realizing the promises of edge-centric computing.


title: Detecting Adversarial Examples through Nonlinear Dimensionality Reduction

abstract: Deep neural networks are vulnerable to adversarial examples, i.e., carefully-perturbed inputs aimed to mislead classification. This work proposes a detection method based on combining non-linear dimensionality reduction and density estimation techniques. Our empirical findings show that the proposed approach is able to effectively detect adversarial examples crafted by non-adaptive attackers, i.e., not specifically tuned to bypass the detection method. Given our promising results, we plan to extend our analysis to adaptive attackers in future work.


title: Elastic wave velocities under methane hydrate growth in Bentheim sandstones

abstract: Experimental acoustic laboratory measurement methods for hydrate-bearing poroelastic solid media are biefly reviewed. A measurement example using the Fourier spectrum method is given, for compressional and shear wave velocities in hydrate-bearing Bentheim sandstone.


title: Enhancing test precision for local Lorentz symmetry violation with entanglement

abstract: A recent proposal for testing Lorentz symmetry violation (LSV) presents a formulation where the effect of violation is described as a local interaction [R. Shaniv, et al, Phys. Rev. Lett. 120, 103202 (2018)]. An entangled ion pair in a decoherence free subspace (DFS) is shown to double the signal to noise ratio (SNR) of one ion, while (even)-N/2 such DFS pairs in a collective entangled state improve SNR by N times, provided the state parity or the even/odd numbers of ions can be measured. It remains to find out, however, how such fiducial entangled states can be prepared at nonexponentially small success rates. This work suggests two types of many particle entangled states for testing LSV: the maximally entangled NOON state, which can achieve Heisenberg limited precision; and the balanced spin-1 Dicke state, which is readily available in deterministic fashion. We show that the latter also lives in a DFS and is immune to stray magnetic fields. It can achieve classical precision limit or the standard quantum limit (SQL) based on collective population measurement without individual atom resolution. Given the high interests in LSV and in entanglement assisted quantum metrology, our observation offers additional incentives for pursuing practical applications of many atom entangled states.


title: Grothendieck-Teichmueller group, operads and graph complexes: a survey

abstract: This paper attempts to provide a more or less self-contained introduction into theory of the Grothendieck-Teichmueller group and Drinfeld associators using the theory of operads and graph complexes.


title: DmpIRFs and DmpST: DAMPE Instrument Response Functions and Science Tools for Gamma-Ray Data Analysis

abstract: GeV gamma ray is an important observation target of DArk Matter Particle Explorer (DAMPE) for indirect dark matter searching and high energy astrophysics. We present in this work a set of accurate instrument response functions of DAMPE (DmpIRFs) including the effective area, point-spread function and energy dispersion that are crucial for the gamma-ray data analysis based on the high statistics simulation data. A dedicated software named DmpST is developed to facilitate the scientific analyses of DAMPE gamma-ray data. Considering the limited number of photons and the angular resolution of DAMPE, the maximum likelihood method is adopted in the DmpST to better disentangle different source components. The basic mathematics and the framework regarding this software are also introduced in this paper.


title: Moir\'e with flat bands is different

abstract: Recent experimental discoveries of superconductivity and other exotic electronic states in twisted bilayer graphene (TBG) call for a reconsideration of our traditional theories of these states, usually based on the assumption of the presence of a Fermi surface. Here we show how such developments may even help us finding mechanisms of increasing the critical temperature of superconductivity towards the room temperature.


title: Goodwillie calculus in the category of algebras over a chain complex operad

abstract: The goal of this paper is to furnish a literature on Goodwillie calculus for functors defined between categories which derive from chain complexes over a ground field $\Bbbk.$ We characterize homogeneous functors $F: \mathcal{C} \longrightarrow \mathcal{D}$ where $\mathcal{C} ,\mathcal{D}= Ch$ (chain complexes), $Ch_+$(non-negatively graded chain complexes) or $\text{Alg}_\mathcal{O}$ (algebras over a chain complex operad $\mathcal{O}$). In the particular case when $\mathcal{D}= \text{Alg}_\mathcal{O},$ our characterization requires $\Bbbk$ to be of characteristics $0.$ We are then extending the results of Walter \cite{Walt06} who studied in characteristics $0$ the chain complex cases and when $\mathcal{O}$ is the Lie operad.


title: Efficiently Checking Actual Causality with SAT Solving

abstract: Recent formal approaches towards causality have made the concept ready for incorporation into the technical world. However, causality reasoning is computationally hard; and no general algorithmic approach exists that efficiently infers the causes for effects. Thus, checking causality in the context of complex, multi-agent, and distributed socio-technical systems is a significant challenge. Therefore, we conceptualize an intelligent and novel algorithmic approach towards checking causality in acyclic causal models with binary variables, utilizing the optimization power in the solvers of the Boolean Satisfiability Problem (SAT). We present two SAT encodings, and an empirical evaluation of their efficiency and scalability. We show that causality is computed efficiently in less than 5 seconds for models that consist of more than 4000 variables.


title: Facial Pose Estimation by Deep Learning from Label Distributions

abstract: Facial pose estimation has gained a lot of attentions in many practical applications, such as human-robot interaction, gaze estimation and driver monitoring. Meanwhile, end-to-end deep learning-based facial pose estimation is becoming more and more popular. However, facial pose estimation suffers from a key challenge: the lack of sufficient training data for many poses, especially for large poses. Inspired by the observation that the faces under close poses look similar, we reformulate the facial pose estimation as a label distribution learning problem, considering each face image as an example associated with a Gaussian label distribution rather than a single label, and construct a convolutional neural network which is trained with a multi-loss function on AFLW dataset and 300W-LP dataset to predict the facial poses directly from color image. Extensive experiments are conducted on several popular benchmarks, including AFLW2000, BIWI, AFLW and AFW, where our approach shows a significant advantage over other state-of-the-art methods.


title: Deriving photospheric parameters and elemental abundances for a sample of stars showing the FIP effect

abstract: One puzzling question in solar physics is the difference between elemental abundances in the photosphere and the corona. Elements with low first ionization potential (FIP) can be overabundant in the corona compared to the photosphere under certain circumstances. The same phenomenon has been observed on a handful of stars, while a few of them show the inverse effect. But not all the stars in the original sample had precise photospheric abundances derived from optical spectra, so for some the solar values were adopted. In this work we make homogeneous abundance measurements from optical spectroscopy. We collected spectra of 16 stars showing the FIP effect with the 1-m RCC telescope of Konkoly Observatory, with resolution of $\lambda / \Delta \lambda \sim 21\,000$. We determine the fundamental astrophysical parameters ($T_\mathrm{eff}$, $\log g$, $[M/H]$, $\xi_\mathrm{mic}$, $v \sin i$) and individual elemental abundances with the SME spectral synthesis code using MARCS2012 model atmosphere and spectral line parameters from the Vienna Atomic Line Database (VALD).


title: A dynamic model for viscoelastic materials with prescribed growing cracks

abstract: In this paper we prove the existence of solutions for a class of viscoelastic dynamic systems on time--dependent cracked domains, with possibly degenerate viscosity coefficients. Under stronger regularity assumptions we also show a uniqueness result. Finally, we exhibit an example where the energy--dissipation balance is not satisfied, showing there is an additional dissipation due to the crack growth.


title: Elastic-TCP: Flexible Congestion Control Algorithm to Adapt for High-BDP Networks

abstract: In the last decade, the demand for Internet applications has been increased, which increases the number of data centers across the world. These data centers are usually connected to each other using long-distance and high-speed networks. As known, the Transmission Control Protocol (TCP) is the predominant protocol used to provide such connectivity among these data centers. Unfortunately, the huge bandwidth-delay product (BDP) of these networks hinders TCP from achieving full bandwidth utilization. In order to increase TCP flexibility to adapt for high-BDP networks, we propose a new delay-based and RTT-independent congestion control algorithm (CCA), namely Elastic-TCP. It mainly contributes the novel window-correlated weighting function (WWF) to increase TCP bandwidth utilization over high-BDP networks. Extensive simulation and testbed experiments have been carried out to evaluate the proposed Elastic-TCP by comparing its performance to the commonly used TCPs developed by Microsoft, Linux, and Google. The results show that the proposed Elastic-TCP achieves higher average throughput than the other TCPs, while it maintains the sharing fairness and the loss ratio. Moreover, it is worth noting that the new Elastic-TCP presents lower sensitivity to the variation of buffer size and packet error rate than the other TCPs, which grants high efficiency and stability.


title: Matrix Group Integrals, Surfaces, and Mapping Class Groups II: $\mathrm{O}\left(n\right)$ and $\mathrm{Sp}\left(n\right)$

abstract: Let $w$ be a word in the free group on $r$ generators. The expected value of the trace of the word in $r$ independent Haar elements of $\mathrm{O}(n)$ gives a function ${\cal T}r_{w}^{\mathrm{O}}(n)$ of $n$. We show that ${\cal T}r_{w}^{\mathrm{O}}(n)$ has a convergent Laurent expansion at $n=\infty$ involving maps on surfaces and $L^{2}$-Euler characteristics of mapping class groups associated to these maps. This can be compared to known, by now classical, results for the GUE and GOE ensembles, and is similar to previous results concerning $\mathrm{U}\left(n\right)$, yet with some surprising twists. A priori to our result, ${\cal T}r_{w}^{\mathrm{O}}(n)$ does not change if $w$ is replaced with $\alpha(w)$ where $\alpha$ is an automorphism of the free group. One main feature of the Laurent expansion we obtain is that its coefficients respect this symmetry under $\mathrm{Aut}(\mathrm{\mathbf{F}}_{r})$. As corollaries of our main theorem, we obtain a quantitative estimate on the rate of decay of ${\cal T}r_{w}^{\mathrm{O}}(n)$ as $n\to\infty$, we generalize a formula of Frobenius and Schur, and we obtain a universality result on random orthogonal matrices sampled according to words in free groups, generalizing a theorem of Diaconis and Shahshahani. Our results are obtained more generally for a tuple of words $w_1,\ldots,w_\ell$, leading to functions ${\cal T}r_{w_{1},\ldots,w_{\ell}}^{\mathrm{O}}$. We also obtain all the analogous results for the compact symplectic groups $\mathrm{Sp}\left(n\right)$ through a rather mysterious duality formula.


title: Graph Convolutional Networks with EigenPooling

abstract: Graph neural networks, which generalize deep neural network models to graph structured data, have attracted increasing attention in recent years. They usually learn node representations by transforming, propagating and aggregating node features and have been proven to improve the performance of many graph related tasks such as node classification and link prediction. To apply graph neural networks for the graph classification task, approaches to generate the \textit{graph representation} from node representations are demanded. A common way is to globally combine the node representations. However, rich structural information is overlooked. Thus a hierarchical pooling procedure is desired to preserve the graph structure during the graph representation learning. There are some recent works on hierarchically learning graph representation analogous to the pooling step in conventional convolutional neural (CNN) networks. However, the local structural information is still largely neglected during the pooling process. In this paper, we introduce a pooling operator $\pooling$ based on graph Fourier transform, which can utilize the node features and local structures during the pooling process. We then design pooling layers based on the pooling operator, which are further combined with traditional GCN convolutional layers to form a graph neural network framework $\m$ for graph classification. Theoretical analysis is provided to understand $\pooling$ from both local and global perspectives. Experimental results of the graph classification task on $6$ commonly used benchmarks demonstrate the effectiveness of the proposed framework.


title: Latency Bounds of Packet-Based Fronthaul for Cloud-RAN with Functionality Split

abstract: The emerging Cloud-RAN architecture within the fifth generation (5G) of wireless networks plays a vital role in enabling higher flexibility and granularity. On the other hand, Cloud-RAN architecture introduces an additional link between the central, cloudified unit and the distributed radio unit, namely fronthaul (FH). Therefore, the foreseen reliability and latency for 5G services should also be provisioned over the FH link. In this paper, focusing on Ethernet as FH, we present a reliable packet-based FH communication and demonstrate the upper and lower bounds of latency that can be offered. These bounds yield insights into the trade-off between reliability and latency, and enable the architecture design through choice of splitting point, focusing on high layer split between PDCP and RLC and low layer split between MAC and PHY, under different FH bandwidth and traffic properties. Presented model is then analyzed both numerically and through simulation, with two classes of 5G services that are ultra reliable low latency (URLL) and enhanced mobile broadband (eMBB).


title: The dimension growth conjecture, polynomial in the degree and without logarithmic factors

abstract: We address Heath-Brown's and Serre's dimension growth conjecture (proved by Salberger), when the degree $d$ grows. Recall that Salberger's dimension growth results give bounds of the form $O_{X, \varepsilon} (B^{\dim X+\varepsilon})$ for the number of rational points of height at most $B$ on any integral subvariety $X$ of ${\mathbb P}^n_{\mathbb Q}$ of degree $d\geq 2$, where one can write $O_{d,n, \varepsilon}$ instead of $O_{X, \varepsilon}$ as soon as $d\geq 4$. Our main contribution is to remove the factor $B^\varepsilon$ as soon as $d \geq 5$, without introducing a factor $\log B$, while moreover obtaining polynomial dependence on $d$ of the implied constant. Working polynomially in $d$ allows us to give a self-contained and slightly simplified treatment of dimension growth for degree $d \geq 16$, while in the range $5 \leq d \leq 15$ we invoke results by Browning, Heath-Brown and Salberger. Along the way we improve the well-known bounds due to Bombieri and Pila on the number of integral points of bounded height on affine curves and those by Walsh on the number of rational points of bounded height on projective curves. The former improvement leads to a slight sharpening of a recent estimate due to Bhargava, Shankar, Taniguchi, Thorne, Tsimerman and Zhao on the size of the $2$-torsion subgroup of the class group of a degree $d$ number field. Our treatment builds on recent work by Salberger which brings in many primes in Heath-Brown's variant of the determinant method, and on recent work by Walsh and Ellenberg--Venkatesh, who bring in the size of the defining polynomial. We also obtain lower bounds showing that one cannot do better than polynomial dependence on $d$.


title: Block preconditioning of stochastic Galerkin problems: New two-sided guaranteed spectral bounds

abstract: The paper focuses on numerical solution of parametrized diffusion equations with scalar parameter-dependent coefficient function by the stochastic (spectral) Galerkin method. We study preconditioning of the related discretized problems using preconditioners obtained by modifying the stochastic part of the partial differential equation. We present a simple but general approach for obtaining two-sided bounds to the spectrum of the resulting matrices, based on a particular splitting of the discretized operator. Using this tool and considering the stochastic approximation space formed by classical orthogonal polynomials, we obtain new spectral bounds depending solely on the properties of the coefficient function and the type of the approximation polynomials for several classes of block-diagonal preconditioners. These bounds are guaranteed and applicable to various distributions of parameters. Moreover, the conditions on the parameter-dependent coefficient function are only local, and therefore less restrictive than those usually assumed in the literature.


title: Restricted Boltzmann Machine Assignment Algorithm: Application to solve many-to-one matching problems on weighted bipartite graph

abstract: In this work an iterative algorithm based on unsupervised learning is presented, specifically on a Restricted Boltzmann Machine (RBM) to solve a perfect matching problem on a bipartite weighted graph. Iteratively is calculated the weights $w_{ij}$ and the bias parameters $\theta = ( a_i, b_j) $ that maximize the energy function and assignment element $i$ to element $j$. An application of real problem is presented to show the potentiality of this algorithm.


title: On the incomputability of computable dimension

abstract: Using an iterative tree construction we show that for simple computable subsets of the Cantor space Hausdorff, constructive and computable dimensions might be incomputable.


title: Deep Spectral Clustering using Dual Autoencoder Network

abstract: The clustering methods have recently absorbed even-increasing attention in learning and vision. Deep clustering combines embedding and clustering together to obtain optimal embedding subspace for clustering, which can be more effective compared with conventional clustering methods. In this paper, we propose a joint learning framework for discriminative embedding and spectral clustering. We first devise a dual autoencoder network, which enforces the reconstruction constraint for the latent representations and their noisy versions, to embed the inputs into a latent space for clustering. As such the learned latent representations can be more robust to noise. Then the mutual information estimation is utilized to provide more discriminative information from the inputs. Furthermore, a deep spectral clustering method is applied to embed the latent representations into the eigenspace and subsequently clusters them, which can fully exploit the relationship between inputs to achieve optimal clustering results. Experimental results on benchmark datasets show that our method can significantly outperform state-of-the-art clustering approaches.


title: Geometry-induced interface pinning at completely wet walls

abstract: We study complete wetting of solid walls that are patterned by parallel nanogrooves of depth $D$ and width $L$ with a periodicity of $2L$. The wall is formed of a material which interacts with the fluid via a long-range potential and exhibits first-order wetting transition at temperature $T_w$, should the wall is planar. Using a non-local density functional theory we show that at a fixed temperature $T>T_w$ the process of complete wetting depends sensitively on two microscopic length-scales $L_c^+$ and $L_c^-$. If the corrugation parameter $L$ is greater than $L_c^+$, the process is continuous similar to complete wetting on a planar wall. For $L_c^-<L<L_c^+$, the complete wetting exhibits first-order \emph{depinning transition} corresponding to an abrupt unbinding of the liquid-gas interface from the wall. Finally, for $L<L_c^-$ the interface remains pinned at the wall even at bulk liquid-gas coexistence. This implies that nano-modification of substrate surfaces can always change their wetting character from hydrophilic into hydrophobic, in direct contrast to the macroscopic Wenzel law. The resulting surface phase diagram reveals close analogy between the depinning and prewetting transitions including the nature of their critical points.


title: Solving Equations on Discrete Dynamical Systems (Extended version)

abstract: Boolean automata networks, genetic regulation networks, and metabolic networks are just a few examples of biological modelling by discrete dynamical systems (DDS). A major issue in modelling is the verification of the model against the experimental data or inducing the model under uncertainties in the data. Equipping finite discrete dynamical systems with an algebraic structure of commutative semiring provides a suitable context for hypothesis verification on the dynamics of DDS. Indeed, hypothesis on the systems can be translated into polynomial equations over DDS. Solutions to these equations provide the validation to the initial hypothesis. Unfortunately, finding solutions to general equations over DDS is undecidable. In this article, we want to push the envelope further by proposing a practical approach for some decidable cases in a suitable configuration that we call the Hypothesis Checking. We demonstrate that for many decidable equations all boils down to a "simpler" equation. However, the problem is not to decide if the simple equation has a solution, but to enumerate all the solutions in order to verify the hypothesis on the real and undecidable systems. We evaluate experimentally our approach and show that it has good scalability properties.


title: Transference of scale-invariant estimates from Lipschitz to Non-tangentially accessible to Uniformly rectifiable domains

abstract: In relatively nice geometric settings, in particular, on Lipschitz domains, absolute continuity of elliptic measure with respect to the surface measure is equivalent to Carleson measure estimates, to square function estimates, and to $\varepsilon$-approximability, for solutions to the second order divergence form elliptic partial differential equations $ Lu= -{\rm div\,} (A \nabla u)=0$. In more general situations, notably, in an open set $\Omega$ with a uniformly rectifiable boundary, absolute continuity of elliptic measure with respect to the surface measure may fail, already for the Laplacian. In the present paper, the authors demonstrate that nonetheless, Carleson measure estimates, square function estimates, and $\varepsilon$-approximability remain valid in such $\Omega$, for solutions of $Lu=0$, provided that such solutions enjoy these properties in Lipschitz subdomains of $\Omega$. Moreover, we establish a general real-variable transference principle, from Lipschitz to chord-arc domains, and from chord-arc to open sets with uniformly rectifiable boundary, that is not restricted to harmonic functions or even to solutions of elliptic equations. In particular, this allows one to deduce the first Carleson measure estimates and square function bounds for higher order systems on open sets with uniformly rectifiable boundaries and to treat subsolutions and subharmonic functions.


title: Electric-field control and noise protection of the flopping-mode spin qubit

abstract: We propose and analyze a novel "flopping-mode" mechanism for electric dipole spin resonance based on the delocalization of a single electron across a double quantum dot confinement potential. Delocalization of the charge maximizes the electronic dipole moment compared to the conventional single dot spin resonance configuration. We present a theoretical investigation of the flopping-mode spin qubit properties through the crossover from the double to the single dot configuration by calculating effective spin Rabi frequencies and single-qubit gate fidelities. The flopping-mode regime optimizes the artificial spin-orbit effect generated by an external micromagnet and draws on the existence of an externally controllable sweet spot, where the coupling of the qubit to charge noise is highly suppressed. We further analyze the sweet spot behavior in the presence of a longitudinal magnetic field gradient, which gives rise to a second order sweet spot with reduced sensitivity to charge fluctuations.


title: Measurement of jet radial profiles in Pb$-$Pb collisions at $\sqrt{s_{\rm NN}}$ = 2.76 TeV

abstract: The jet radial structure and particle transverse momentum ($p_{\rm{T}}$) composition within jets are presented in centrality-selected Pb-Pb collisions at $\sqrt{s_{\rm NN}}$ = 2.76 TeV. Track-based jets, which are also called charged jets, were reconstructed with a resolution parameter of $R=0.3$ at midrapidity $|\eta_\mathrm{ch\,jet}|<0.6$ for transverse momenta $p_\rm{T,\,ch\,jet}=30$-$120$ GeV/$c$. Jet-hadron correlations in relative azimuth and pseudorapidity space ($\Delta\varphi$, $\Delta\eta$) are measured to study the distribution of the associated particles around the jet axis for different $p_\rm{T, assoc}$-ranges between 1 and 20 GeV/$c$. The data in Pb-Pb collisions are compared to reference distributions for pp collisions, obtained using embedded PYTHIA simulations. The number of high-$p_{\rm{T}}$ associate particles ($4<p_\rm{T, assoc}<20$ GeV/$c$) in Pb-Pb collisions is found to be suppressed compared to the reference by 30 to 10%, depending on centrality. The radial particle distribution relative to the jet axis shows a moderate modification in Pb-Pb collisions with respect to PYTHIA. High-$p_{\rm{T}}$ associate particles are slightly more collimated in Pb-Pb collisions compared to the reference, while low-$p_{\rm{T}}$ associate particle tend to be broadened. The results, which are presented for the first time down to $p_\rm{T,\,ch\,jet}=30$ GeV/$c$ in Pb-Pb collisions, are compatible with both previous jet-hadron-related measurements from the CMS Collaboration and jet shape measurements from the ALICE Collaboration at higher $p_{\rm{T}}$, and add further support for the established picture of in-medium parton energy loss.


title: Entanglement entropy, horizons and holography

abstract: We calculate the entanglement entropy in spaces with horizons, such as Rindler or de Sitter space, using holography. We employ appropriate parametrizations of AdS space in order to obtain a Rindler or static de Sitter boundary metric. The holographic entanglement entropy for the regions enclosed by the horizons can be identified with the standard thermal entropy of these spaces. For this to hold, we define the effective Newton's constant appropriately and account for the way the AdS space is covered by the parametrizations.


title: The Formation of Habitable Planets in the Four-Planet System HD 141399

abstract: The presented work investigates the possible formation of terrestrial planets in the habitable zone (HZ) of the exoplanetary system HD 141399. In this system the HZ is located approximately between the planets c (a = 0.7 au) and d (a = 2.1 au). Extensive numerical integrations of the equations of motion in the pure Newtonian framework of small bodies with different initial conditions in the HZ are performed. Our investigations included several steps starting with 500 massless bodies distributed between planets c and d in order to model the development of the disk of small bodies. It turns out that after some 10^6 years a belt-like structure analogue to the main belt inside Jupiter in our Solar System appears. We then proceed with giving the small bodies masses (Moon-mass) and take into account the gravitational interaction between these planetesimal-like objects. The growing of the objects - with certain percentage of water - due to collisions is computed in order to look for the formation of terrestrial planets. We observe that planets form in regions connected to mean motion resonances (MMR). So far there is no observational evidence of terrestrial planets in the system of HD 141399 but from our results we can conclude that the formation of terrestrial planets - even with an appropriate amount of water necessary for being habitable - in the HZ would have been possible.


title: Quadratic magnetooptic Kerr effect spectroscopy of Fe epitaxial films on MgO(001) substrates

abstract: The magnetooptic Kerr effect (MOKE) is a well known and handy tool to characterize ferro-, ferri- and antiferromagnetic materials. Many of the MOKE techniques employ effects solely linear in magnetization $\bm{M}$. Nevertheless, a higher-order term being proportional to $\bm{M}^2$ and called quadratic MOKE (QMOKE) can additionally contribute to the experimental data. Here, we present detailed QMOKE spectroscopy measurements in the range of 0.8 -- 5.5\,eV based on a modified 8-directional method applied on ferromagnetic bcc Fe thin films grown on MgO substrates. From the measured QMOKE spectra, two further complex spectra of the QMOKE parameters $G_s$ and $2G_{44}$ are yielded. The difference between those two parameters, known as $\Delta G$, denotes the strength of the QMOKE anisotropy. Those QMOKE parameters give rise to the QMOKE tensor $\bm{G}$, fully describing the perturbation of the permittivity tensor in the second order in $\bm{M}$ for cubic crystal structures. We further present experimental measurements of ellipsometry and linear MOKE spectra, wherefrom permittivity in the zeroth and the first order in $\bm{M}$ are obtained, respectively. Finally, all those spectra are described by ab-initio calculations.