title: On the number of Hamiltonian cycles and polynomial invariants of graphs

abstract: Firstly, for a general graph, we find a recursion formula on the number of Hamiltonian cycles and one on cycles. By this result, we give some new polynomial invariants. Secondly, we give a condition to tell whether a polynomial defined by recursion on edges is a invariant. Then, we give an generaliztion of the Tutte polynomial. Finally, We have a try on distinguishing different graphs by using these polynomials.


title: Personalized advice for enhancing well-being using automated impulse response analysis --- AIRA

abstract: The attention for personalized mental health care is thriving. Research data specific to the individual, such as time series sensor data or data from intensive longitudinal studies, is relevant from a research perspective, as analyses on these data can reveal the heterogeneity among the participants and provide more precise and individualized results than with group-based methods. However, using this data for self-management and to help the individual to improve his or her mental health has proven to be challenging. The present work describes a novel approach to automatically generate personalized advice for the improvement of the well-being of individuals by using time series data from intensive longitudinal studies: Automated Impulse Response Analysis (AIRA). AIRA analyzes vector autoregression models of well-being by generating impulse response functions. These impulse response functions are used in simulations to determine which variables in the model have the largest influence on the other variables and thus on the well-being of the participant. The effects found can be used to support self-management. We demonstrate the practical usefulness of AIRA by performing analysis on longitudinal self-reported data about psychological variables. To evaluate its effectiveness and efficacy, we ran its algorithms on two data sets ($N=4$ and $N=5$), and discuss the results. Furthermore, we compare AIRA's output to the results of a previously published study and show that the results are comparable. By automating Impulse Response Function Analysis, AIRA fulfills the need for accurate individualized models of health outcomes at a low resource cost with the potential for upscaling.


title: Dashbell: A Low-cost Smart Doorbell System for Home Use

abstract: Smart doorbells allow home owners to receive alerts when a visitor is at the door, see who the guest is, and communicate with the visitor from a smart device. They greatly improve people's life quality and contribute to the evolution of smart homes. However, the commercial smart doorbells are quite expensive, usually cost more than 190 US dollars, which is a substantial impediment on the pervasiveness of smart doorbells. To solve this problem, we introduce the Dashbell-a budget smart doorbell system for home use. It connects a WiFi-enabled device, the Amazon Dash Button, to a network and enables the home owner to answer the bell triggered by the dash button using a smartphone. The Dashbell system also enables fast fault detection and diagnosis due to its distributed framework.


title: High brightness electron beam for radiation therapy: A new approach

abstract: I propose to use high brightness electron beam with 1 to 100 MeV energy as tool to combat tumor or cancerous tissues in deep part of body. The method is to directly deliver the electron beam to the tumor site via a small tube that connected to a high brightness electron beam accelerator that is commonly available around the world. Here I gave a basic scheme on the principle, I believe other issues people raises will be solved easily for those who are interested in solving the problems.


title: Prediction of the High Thermoelectric Performance of Pnictogen Dichalcogenide Layered Compounds with Quasi-One-Dimensional Gapped Dirac-like Band Dispersion

abstract: Thermoelectric power generation has been recognized as one of the most important technologies, and high-performance thermoelectric materials have long been pursued. However, because of the large number of candidate materials, this quest is extremely challenging, and it has become clear that a firm theoretical concept from the viewpoint of band-structure engineering is needed. In this study, we theoretically demonstrate that pnictogen-dichalcogenide layered compounds, which originally attracted attention as a family of superconductors and have recently been investigated as thermoelectric materials, can exhibit very high thermoelectric performance with elemental substitution. In particular, we clarify a promising guiding principle for materials design and find that LaOAsSe$_2$, a material that has yet to be synthesized, has a powerfactor that is six times as large as that of the known compound LaOBiS$_2$ and can exhibit a very large $ZT$ under some plausible assumptions. This large enhancement of the thermoelectric performance originates from the quasi-one-dimensional gapped Dirac-like band dispersion, which is realized by the square-lattice network. Our study offers one ideal limit of the band structure for thermoelectric materials. Because our target materials have high controllability of constituent elements and feasibility of carrier doping, experimental studies along this line are strongly awaited.


title: Double crystallographic groups and their representations on the Bilbao Crystallographic Server

abstract: A new section of databases and programs devoted to double crystallographic groups (point and space groups) has been implemented in the Bilbao Crystallographic Server (http://www.cryst.ehu.es). The double crystallographic groups are required in the study of physical systems whose Hamiltonian includes spin-dependent terms. In the symmetry analysis of such systems, instead of the irreducible representations of the space groups, it is necessary to consider the single- and double-valued irreducible representations of the double space groups. The new section includes databases of symmetry operations (DGENPOS) and of irreducible representations of the double (point and space) groups (REPRESENTATIONS DPG and REPRESENTATIONS DSG). The tool DCOMPATIBILITY RELATIONS provides compatibility relations between the irreducible representations of double space groups at different k-vectors of the Brillouin zone when there is a group-subgroup relation between the corresponding little groups. The program DSITESYM implements the so-called site-symmetry approach, which establishes symmetry relations between localized and extended crystal states, using representations of the double groups. As an application of this approach, the program BANDREP calculates the band representations and the elementary band representations induced from any Wyckoff position of any of the 230 double space groups, giving information about the properties of these bands. Recently, the results of BANDREP have been extensively applied in the description and the search of topological insulators.


title: Multi-polaron solutions, nonlocal effects and internal modes in a nonlinear chain

abstract: Multipolaron solutions were studied in the framework of the Holstein one-dimensional molecular crystal model. The study was performed in the continuous limit where the crystal model maps into the nonlinear Schr\"odinger equation for which a new periodic dnoidal solution was found for the multipolaron system. In addition, the stability of the multi-polaron solutions was examined, and it was found that cnoidal and dnoidal solutions stabilize in different ranges of the parameter space. Moreover, the model was studied under the influence of nonlocal effects and the polaronic dynamics was described in terms of internal solitonic modes.

categories: cond-mat.stat-mech cond-mat.other math-ph math.MP nlin.PS


title: The YouTube-8M Kaggle Competition: Challenges and Methods

abstract: We took part in the YouTube-8M Video Understanding Challenge hosted on Kaggle, and achieved the 10th place within less than one month's time. In this paper, we present an extensive analysis and solution to the underlying machine-learning problem based on frame-level data, where major challenges are identified and corresponding preliminary methods are proposed. It's noteworthy that, with merely the proposed strategies and uniformly-averaging multi-crop ensemble was it sufficient for us to reach our ranking. We also report the methods we believe to be promising but didn't have enough time to train to convergence. We hope this paper could serve, to some extent, as a review and guideline of the YouTube-8M multi-label video classification benchmark, inspiring future attempts and research.


title: Keyring models: an approach to steerability

abstract: If a measurement is made on one half of a bipartite system, then, conditioned on the outcome, the other half has a new reduced state. If these reduced states defy classical explanation -- that is, if shared randomness cannot produce these reduced states for all possible measurements -- the bipartite state is said to be steerable. Determining which states are steerable is a challenging problem even for low dimensions. In the case of two-qubit systems a criterion is known for T-states (that is, those with maximally mixed marginals) under projective measurements. In the current work we introduce the concept of keyring models -- a special class of local hidden state models. When the measurements made correspond to real projectors, these allow us to study steerability beyond T-states. Using keyring models, we completely solve the steering problem for real projective measurements when the state arises from mixing a pure two-qubit state with uniform noise. We also give a partial solution in the case when the uniform noise is replaced by independent depolarizing channels.


title: The classification of Rokhlin flows on C*-algebras

abstract: We study flows on C*-algebras with the Rokhlin property. We show that every Kirchberg algebra carries a unique Rokhlin flow up to cocycle conjugacy, which confirms a long-standing conjecture of Kishimoto. We moreover present a classification theory for Rokhlin flows on C*-algebras satisfying certain technical properties, which hold for many C*-algebras covered by the Elliott program. As a consequence, we obtain the following further classification theorems for Rokhlin flows. Firstly, we extend the statement of Kishimoto's conjecture to the non-simple case: Up to cocycle conjugacy, a Rokhlin flow on a separable, nuclear, strongly purely infinite C*-algebra is uniquely determined by its induced action on the prime ideal space. Secondly, we give a complete classification of Rokhlin flows on simple classifiable $KK$-contractible C*-algebras: Two Rokhlin flows on such a C*-algebra are cocycle conjugate if and only if their induced actions on the cone of lower-semicontinuous traces are affinely conjugate.


title: Microwave-controlled optical double optomechanically induced transparency in a hybrid piezo-optomechanical cavity system

abstract: We propose a scheme that is able to generate the microwave controlled optical double optome-chanical induced transparency (OMIT) in a hybrid piezo-optomechanical cavity system, which a piezoelectric optomechanical crystal AlN-nanobeam resonator is placed in a superconducting microwave cavity, and the AlN-nanobeam resonator can be simultaneously driven by both the optical field via the radiation pressure and the microwave field via the piezoelectric interaction. We show that in the presence of a strong pumped optical field applied to the optomechanical crystal cavity through the optical waveguide and an intensely stimulated microwave field applied to the superconducting microwave cavity, a double-OMIT window can be observed in the weak output probe field. The mechanism is that a N-type four-level system can be formed by the system, when two driving fields and a probe field are applied to the corresponding levels, under the effect of quantum interference between different energy level pathways, the third-order nonlinear absorption is enhanced by the constructive quantum interference while the linear absorption is inhibited by the destruc- tive quantum interference, as a result, the double-OMIT window is generated. Our scheme can be applied to realize high-speed optical switches, high-resolution spectroscopy, coherent population trapping or quantum information processing in the solid state quantum systems.


title: Learning Knowledge Graph Embeddings with Type Regularizer

abstract: Learning relations based on evidence from knowledge bases relies on processing the available relation instances. Many relations, however, have clear domain and range, which we hypothesize could help learn a better, more generalizing, model. We include such information in the RESCAL model in the form of a regularization factor added to the loss function that takes into account the types (categories) of the entities that appear as arguments to relations in the knowledge base. We note increased performance compared to the baseline model in terms of mean reciprocal rank and hits@N, N = 1, 3, 10. Furthermore, we discover scenarios that significantly impact the effectiveness of the type regularizer.


title: The Quantum Complexity of Computing Schatten $p$-norms

abstract: We consider the quantum complexity of computing Schatten $p$-norms and related quantities, and find that the problem of estimating these quantities is closely related to the one clean qubit model of computation. We show that the problem of approximating $\text{Tr}\, (|A|^p)$ for a log-local $n$-qubit Hamiltonian $A$ and $p=\text{poly}(n)$, up to a suitable level of accuracy, is contained in DQC1; and that approximating this quantity up to a somewhat higher level of accuracy is DQC1-hard. In some cases the level of accuracy achieved by the quantum algorithm is substantially better than a natural classical algorithm for the problem. The same problem can be solved for arbitrary sparse matrices in BQP. One application of the algorithm is the approximate computation of the energy of a graph.


title: Observable Supertranslations

abstract: We show that large gauge transformations in asymptotically flat spacetime can be implemented by sandwiching a shell containing the ingoing hard particles between two finite-width shells of soft gauge excitations. Integration of the graviton Dirac bracket implies that our observable soft degrees of freedom obey the algebra imposed by Strominger on unobservable boundary degrees of freedom. Thus, we provide both a derivation and an observable realization of this algebra. The conservation laws associated with asymptotic symmetries are seen to arise physically from free propagation of infrared modes. This explains in physical terms our recent result that soft charges fail to constrain the hard scattering problem, and so cannot be relevant to the black hole information paradox.


title: Generating an electromagnetic multipole by oscillating currents

abstract: Based on the relation between a plane phased array and plane waves we show that a spherical current layer or a current sphere proportional to a multipole electric field and situated in a uniform medium generates the same multipole field in all space. We calculate TE and TM multipoles inside and outside the spherical layer. The $l=1$ TM multipoles are localized at the origin with a focal spot with full width at half maximum of $0.4\lambda$ in the lateral axes and $0.58\lambda$ in the vertical axis. The multipole fields near the origin are prescriptions for the current distributions required to generate those multipole fields. A spherical layer can couple to a multipole source since the oscillation of the electrons in the layer due to the multipole field generates the multipole field in all space, which in turn can drive the multipole currents. Exciting a multipole in a polarizable sphere or spherical layer can couple it to another polarizable sphere or spherical layer.


title: First-principles prediction of high-entropy-alloy stability

abstract: High entropy alloys (HEAs) are multicomponent compounds whose high configurational entropy allows them to solidify into a single phase, with a simple crystal lattice structure. Some HEA's exhibit desirable properties, such as high specific strength, ductility, and corrosion resistance, while challenging the scientist to make confident predictions in the face of multiple competing phases. We demonstrate phase stability in the multicomponent alloy system of Cr-Mo-Nb-V, for which some of its binary subsystems are subject to phase separation and complex intermetallic-phase formation. Our first-principles calculation of free energy predicts that the configurational entropy stabilizes a single body-centered cubic (BCC) phase from T = 1,700K up to melting, while precipitation of a complex intermetallic is favored at lower temperatures. We form the compound experimentally and confirm that it forms as a single BCC phase from the melt, but that it transforms reversibly at lower temperatures.


title: Entropy bifurcation of neural networks on Cayley trees

abstract: It has been demonstrated that excitable media with a tree structure performed better than other network topologies, it is natural to consider neural networks defined on Cayley trees. The investigation of a symbolic space called tree-shift of finite type is important when it comes to the discussion of the equilibrium solutions of neural networks on Cayley trees. Entropy is a frequently used invariant for measuring the complexity of a system, and constant entropy for an open set of coupling weights between neurons means that the specific network is stable. This paper gives a complete characterization for entropy spectrum of neural networks on Cayley trees and reveals whether the entropy bifurcates when the coupling weights change.


title: Global center stable manifold for the defocusing energy critical wave equation with potential

abstract: In this paper we consider the defocusing energy critical wave equation with a trapping potential in dimension $3$. We prove that the set of initial data for which solutions scatter to an unstable excited state $(\phi, 0)$ forms a finite co-dimensional path connected $C^1$ manifold in the energy space. This manifold is a global and unique center-stable manifold associated with $(\phi,0)$. It is constructed in a first step locally around any solution scattering to $\phi$, which might be very far away from $\phi$ in the $\dot{H}^1\times L^2(\mathbb{R}^3)$ norm. In a second crucial step a no-return property is proved for any solution which starts near, but not on the local manifolds. This ensures that the local manifolds form a global one. Scattering to an unstable steady state is therefore a non-generic behavior, in a strong topological sense in the energy space. This extends our previous result [18] to the nonradial case. The new ingredients here are (i) application of the reversed Strichartz estimate from [3] to construct a local center stable manifold near any solution that scatters to $(\phi, 0)$. This is needed since the endpoint of the standard Strichartz estimates fails nonradially. (ii) The nonradial channel of energy estimate introduced by Duyckaerts-Kenig-Merle [14], which is used to show that solutions that start off but near the local manifolds associated with $\phi$ emit some amount of energy into the far field in excess of the amount of energy beyond that of the steady state $\phi$.


title: Optical response of monolayer, few-layer and bulk tungsten disulfide

abstract: We present a comprehensive optical study of thin films of tungsten disulfide (WS$_2$) with layer thicknesses ranging from mono- to octalayer and in the bulk limit. It is shown that the optical band-gap absorption of monolayer WS$_2$ is governed by competing resonances arising from one neutral and two distinct negatively charged excitons whose contributions to the overall absorption of light vary as a function of temperature and carrier concentration. The photoluminescence response of monolayer WS$_2$ is found to be largely dominated by disorder/impurity- and/or phonon-assisted recombination processes. The indirect band-gap luminescence in multilayer WS$_2$ turns out to be a phonon-mediated process whose energy evolution with the number of layers surprisingly follows a simple model of a two-dimensional confinement. The energy position of the direct band-gap response (A and B resonances) is only weakly dependent on the layer thickness, which underlines an approximate compensation of the effect of the reduction of the exciton binding energy by the shrinkage of the apparent band gap. The A-exciton absorption-type spectra in multilayer WS$_2$ display a non-trivial fine structure which results from the specific hybridization of the electronic states in the vicinity of the K-point of the Brillouin zone. The effects of temperature on the absorption-like and photoluminescence spectra of various WS$_2$ layers are also quantified.


title: Minimal embeddings of small finite groups

abstract: We determine the groups of minimal order in which all groups of order n can embedded for 1 < n < 16. We further determine the order of a minimal group in which all groups or order n or less can be embedded, also for 1 < n < 16.


title: $\textit{Ab initio}$ study of electron mean free paths and thermoelectric properties of lead telluride

abstract: Last few years have witnessed significant enhancement of thermoelectric figure of merit of lead telluride (PbTe) via nanostructuring. Despite the experimental progress, current understanding of the electron transport in PbTe is based on either band structure calculation using first principles with constant relaxation time approximation or empirical models, both relying on adjustable parameters obtained by fitting experimental data. Here, we report parameter-free first-principles calculation of electron and phonon transport properties of PbTe, including mode-by-mode electron-phonon scattering analysis, leading to detailed information on electron mean free paths and the contributions of electrons and phonons with different mean free paths to thermoelectric transport properties in PbTe. Such information will help to rationalize the use and optimization of nanosctructures to achieve high thermoelectric figure of merit.


title: On Probability of Support Recovery for Orthogonal Matching Pursuit Using Mutual Coherence

abstract: In this paper we present a new coherence-based performance guarantee for the Orthogonal Matching Pursuit (OMP) algorithm. A lower bound for the probability of correctly identifying the support of a sparse signal with additive white Gaussian noise is derived. Compared to previous work, the new bound takes into account the signal parameters such as dynamic range, noise variance, and sparsity. Numerical simulations show significant improvements over previous work and a closer match to empirically obtained results of the OMP algorithm.


title: Two-particle four-point correlations in dynamically disordered tight-binding networks

abstract: We use the concept of two-particle probability amplitude to derive the stochastic evolution equation for two-particle four-point correlations in tight-binding networks affected by diagonal dynamic disorder. It is predicted that in the presence of dynamic disorder, the average spatial wave function of indistinguishable particle pairs delocalizes and populates all network sites including those which are weakly coupled in the absence of disorder. Interestingly, our findings reveal that correlation elements accounting for particle indistinguishability are immune to the impact of dynamic disorder.


title: First-Principles Electron Transport with Phonon Coupling: Large-Scale at Low Cost

abstract: Phonon-assisted tunneling plays a crucial role for electronic device performance and even more so with future size down-scaling. We show how one can include this effect in large-scale first-principles calculations using a single "special thermal displacement" (STD) of the atomic coordinates at almost the same cost as elastic transport calculations. We apply the method to ultra-scaled silicon devices and demonstrate the importance of phonon-assisted band-to-band and source-to-drain tunneling. In a diode the phonons lead to a rectification ratio suppression in good agreement with experiments, while in an ultra-thin body transistor the phonons increase off-currents by four orders of magnitude, and the subthreshold swing by a factor of four, in agreement with perturbation theory.


title: The limit point and the T--function

abstract: Let ${\cal P}(t)\in {\Bbb K}(t)^{n}$ be a rational parametrization of an algebraic space curve $\cal C$. In this paper, we introduce the notion of limit point, $P_L$, of the given parametrization $\mathcal{P}(t)$, and some remarkable properties of $P_L$ are obtained. In addition, we generalize the results in \cite{MyB-2017} concerning the T--function, $T(s)$, which is defined by means of a univariate resultant. More precisely, independently on whether the limit point is regular or not, we show that $T(s)=\prod_{i=1}^n H_{P_i}(s)^{m_i-1}$. The polynomials $H_{P_i}(s),\,i=1,\ldots,n$ are the fibre functions, and its roots are the fibre of the ordinary singularities $P_i\in {\cal C}$ of multiplicity $m_i,\,i=1,\ldots,n$. Thus, a complete classification of the singularities of a given space curve, via the factorization of a resultant, is obtained.


title: Stability of the Spinor Flow

abstract: We show stability of pairs of Ricci flat metrics and parallel spinor fields with respect to the spinor flow, i.e. we show that the spinor flow with initial conditions near such pairs converges to a critical point with exponential speed. Moreover, we show stability of certain volume constrained critical points of the spinorial energy.


title: Concentration of tempered posteriors and of their variational approximations

abstract: While Bayesian methods are extremely popular in statistics and machine learning, their application to massive datasets is often challenging, when possible at all. Indeed, the classical MCMC algorithms are prohibitively slow when both the model dimension and the sample size are large. Variational Bayesian methods aim at approximating the posterior by a distribution in a tractable family. Thus, MCMC are replaced by an optimization algorithm which is orders of magnitude faster. VB methods have been applied in such computationally demanding applications as including collaborative filtering, image and video processing, NLP and text processing... However, despite very nice results in practice, the theoretical properties of these approximations are usually not known. In this paper, we propose a general approach to prove the concentration of variational approximations of fractional posteriors. We apply our theory to two examples: matrix completion, and Gaussian VB.


title: On the Statistical Settings of Generation and Load in a Synthetic Grid Modeling

abstract: This paper investigates the problem of generation and load settings in a synthetic power grid modeling of high-voltage transmission network, considering both electrical parameters and topology measures. Our previous study indicated that the relative location of generation and load buses in a realistic grid are not random but correlated. And an entropy based optimization approach has been proposed to determine a set of correlated siting for generation and load buses in a synthetic grid modeling. Using the exponential distribution of individual generation capacity or load settings in a grid, and the non-trivial correlation between the generation capacity or load setting and the nodal degree of a generation or load bus we develop an approach to generate a statistically correct random set of generation capacities and load settings, and then assign them to each generation or load bus in a grid.


title: Beltrami vector fields with an icosahedral symmetry

abstract: A vector field is called a Beltrami vector field, if $B\times(\nabla\times B)=0$. In this paper we construct two unique Beltrami vector fields $\mathfrak{I}$ and $\mathfrak{Y}$, such that $\nabla\times\mathfrak{I}=\mathfrak{I}$, $\nabla\times\mathfrak{Y}=\mathfrak{Y}$, and such that both have an orientation-preserving icosahedral symmetry. Both of them have an additional symmetry with respect to a non-trivial automorphism of the number field $\mathbb{Q}(\,\sqrt{5}\,)$.


title: The Moon turns out to be the perfect object to use the linear elasticity theory

abstract: The applicability of the linear theory of elasticity to the Moon has been studied. As a criterion was taken the smallness of the strain tensor. The elastic moduli are obtained from the data of the project "Apollo". The pressure was calculated in the framework of the model of a homogeneous solid sphere under the action of its own gravity. The strain tensor trace is of the order $0.02$, which indicates the applicability. The strain tensor in the body of the Moon is calculated taking into account the self-gravity and the Earth's tidal potential. Respectively the free energy density is calculated. Since the axis of the Moon rotation has its own non-zero declination to the ecliptic plane, the tidal potential variations take place during the rotation of the Moon around the Earth. The estimation of the corresponding free energy density variations are made. Their dependence on the depth exhibit qualitative agreement with the data of depth dependence in the energy of deep moonquakes obtained in the project "Apollo." Integral estimations of variations in the free energy for the year shows that it is many orders of magnitude greater than estimates of energy for the year of deep moonquakes energy. Thus offering an answer to the fundamental question: where is the source of energy released in the deep moonquakes.


title: Optimal Investment Strategies for Competing Camps in a Social Network: A Broad Framework

abstract: We study the problem of optimally investing in nodes of a social network in a competitive setting, wherein two camps aim to drive the average opinion of the population in their own favor. Using a well-established model of opinion dynamics, we formulate the problem as a zero-sum game with its players being the two camps. We derive optimal investment strategies for both camps, and show that a random investment strategy is optimal when the underlying network follows a popular class of weight distributions. We study a broad framework, where we consider various well-motivated settings of the problem, namely, when the influence of a camp on a node is a concave function of its investment on that node, when a camp aims at maximizing competitor's investment or deviation from its desired investment, and when one of the camps has uncertain information about the values of the model parameters. We also study a Stackelberg variant of this game under common coupled constraints on the combined investments by the camps and derive their equilibrium strategies, and hence quantify the first-mover advantage. For a quantitative and illustrative study, we conduct simulations on real-world datasets and provide results and insights.


title: On the eigenproblem for Gaussian bridges

abstract: Spectral decomposition of the covariance operator is one of the main building blocks in the theory and applications of Gaussian processes. Unfortunately it is notoriously hard to derive in a closed form. In this paper we consider the eigenproblem for Gaussian bridges. Given a {\em base} process, its bridge is obtained by conditioning the trajectories to start and terminate at the given points. What can be said about the spectrum of a bridge, given the spectrum of its base process? We show how this question can be answered asymptotically for a family of processes, including the fractional Brownian motion.


title: Adaptive Fixed Point Iterations for Semilinear Elliptic Partial Differential Equations

abstract: In this paper we study the behavior of finite dimensional fixed point iterations, induced by discretization of a continuous fixed point iteration defined within a Banach space setting. We show that the difference between the discrete sequence and its continuous analogue can be bounded in terms depending on the mesh size of the discretization and the contraction factor, defined by the continuous iteration. Furthermore, we show that the comparison between the finite dimensional and the continuous fixed point iteration naturally paves the way towards a General a posteriori error analysis that can be used within the framework of a fully adaptive solution procedure. In order to demonstrate our approach, we use the Galerkin approximation of singularly perturbed semilinear monotone problems. Our scheme combines the fixed point iteration with an adaptive finite element discretization procedure (based on a robust a posteriori error analysis), thereby leading to a fully adaptive Fixed-Point-Galerkin scheme. Numerical experiments underline the robustness and reliability of the proposed approach.


title: Josephson parametric reflection amplifier with integrated directionality

abstract: A directional superconducting parametric amplifier in the GHz frequency range is designed and analyzed, suitable for low-power read-out of microwave kinetic inductance detectors employed in astrophysics and when combined with a nonreciprocal device at its input also for circuit quantum electrodynamics (cQED). It consists of an one wavelength long nondegenerate Josephson parametric reflection amplifier circuit. The device has two Josephson junction oscillators, connected via a tailored impedance to an on-chip passive circuit which directs the in- to the output port. The amplifier provides a gain of 20 dB over a bandwidth of 220 MHz on the signal as well as on the idler portion of the amplified input and the total photon shot noise referred to the input corresponds to maximally 1.3 photons per second per Hertz of bandwidth. We predict a factor of four increase in dynamic range compared to conventional Josephson parametric amplifiers.


title: Dominating Induced Matchings in $S_{1,2,4}$-Free Graphs

abstract: Let $G=(V,E)$ be a finite undirected graph without loops and multiple edges. A subset $M \subseteq E$ of edges is a {\em dominating induced matching} ({\em d.i.m.}) in $G$ if every edge in $E$ is intersected by exactly one edge of $M$. In particular, this means that $M$ is an induced matching, and every edge not in $M$ shares exactly one vertex with an edge in $M$. Clearly, not every graph has a d.i.m. The \emph{Dominating Induced Matching} (\emph{DIM}) problem asks for the existence of a d.i.m.\ in $G$; this problem is also known as the \emph{Efficient Edge Domination} problem; it is the {\em Efficient Domination} problem for line graphs. The DIM problem is \NP-complete in general, and even for very restricted graph classes such as planar bipartite graphs with maximum degree 3. However, DIM is solvable in polynomial time for claw-free (i.e., $S_{1,1,1}$-free) graphs, for $S_{1,2,3}$-free graphs as well as for $S_{2,2,2}$-free graphs, in linear time for $P_7$-free graphs, and in polynomial time for $P_8$-free graphs ($P_k$ is a special case of $S_{i,j,\ell}$). In a paper by Hertz, Lozin, Ries, Zamaraev and de Werra, it was conjectured that DIM is solvable in polynomial time for $S_{i,j,k}$-free graphs for every fixed $i,j,k$. In this paper, combining two distinct approaches, we solve it in polynomial time for $S_{1,2,4}$-free graphs which generalizes the $S_{1,2,3}$-free as well as the $P_7$-free case.


title: Deep Learning Based Large-Scale Automatic Satellite Crosswalk Classification

abstract: High-resolution satellite imagery have been increasingly used on remote sensing classification problems. One of the main factors is the availability of this kind of data. Even though, very little effort has been placed on the zebra crossing classification problem. In this letter, crowdsourcing systems are exploited in order to enable the automatic acquisition and annotation of a large-scale satellite imagery database for crosswalks related tasks. Then, this dataset is used to train deep-learning-based models in order to accurately classify satellite images that contains or not zebra crossings. A novel dataset with more than 240,000 images from 3 continents, 9 countries and more than 20 cities was used in the experiments. Experimental results showed that freely available crowdsourcing data can be used to accurately (97.11%) train robust models to perform crosswalk classification on a global scale.


title: Stealthy Deception Attacks Against SCADA Systems

abstract: SCADA protocols for Industrial Control Systems (ICS) are vulnerable to network attacks such as session hijacking. Hence, research focuses on network anomaly detection based on meta--data (message sizes, timing, command sequence), or on the state values of the physical process. In this work we present a class of semantic network-based attacks against SCADA systems that are undetectable by the above mentioned anomaly detection. After hijacking the communication channels between the Human Machine Interface (HMI) and Programmable Logic Controllers (PLCs), our attacks cause the HMI to present a fake view of the industrial process, deceiving the human operator into taking manual actions. Our most advanced attack also manipulates the messages generated by the operator's actions, reversing their semantic meaning while causing the HMI to present a view that is consistent with the attempted human actions. The attacks are totaly stealthy because the message sizes and timing, the command sequences, and the data values of the ICS's state all remain legitimate. We implemented and tested several attack scenarios in the test lab of our local electric company, against a real HMI and real PLCs, separated by a commercial-grade firewall. We developed a real-time security assessment tool, that can simultaneously manipulate the communication to multiple PLCs and cause the HMI to display a coherent system--wide fake view. Our tool is configured with message-manipulating rules written in an ICS Attack Markup Language (IAML) we designed, which may be of independent interest. Our semantic attacks all successfully fooled the operator and brought the system to states of blackout and possible equipment damage.


title: On the focusing mass-critical nonlinear fourth-order Schr\"odinger equation below the energy space

abstract: In this paper, we consider the focusing mass-critical nonlinear fourth-order Schr\"odinger equation. We prove that blowup solutions to this equation with initial data in $H^\gamma(\mathbb{R}^d), 5\leq d \leq 7, \frac{56-3d+\sqrt{137d^2+1712d+3136}}{2(2d+32)} <\gamma<2$ concentrate at least the mass of the ground state at the blowup time. This extends the work in \cite{ZhuYangZhang11} where Zhu-Yang-Zhang studied the formation of singularity for the equation with rough initial data in $\mathbb{R}^4$. We also prove that the equation is globally well-posed with initial data $u_0 \in H^\gamma(\mathbb{R}^d), 5\leq d \leq 7, \frac{8d}{3d+8}<\gamma<2$ satisfying $\|u_0\|_{L^2(\mathbb{R}^d)} <\|Q\|_{L^2(\mathbb{R}^d)}$, where $Q$ is the solution to the ground state equation.


title: Exposing Non-Atomic Methods of Concurrent Objects

abstract: Multithreaded software is typically built with specialized concurrent objects like atomic integers, queues, and maps. These objects' methods are designed to behave according to certain consistency criteria like atomicity, despite being optimized to avoid blocking and exploit parallelism, e.g., by using atomic machine instructions like compare and exchange (cmpxchg). Exposing atomicity violations is important since they generally lead to elusive bugs that are difficult to identify, reproduce, and ultimately repair. In this work we expose atomicity violations in concurrent object implementations from the most widely-used software development kit: The Java Development Kit (JDK). We witness atomicity violations via simple test harnesses containing few concurrent method invocations. While stress testing is effective at exposing violations given catalytic test harnesses and lightweight means of falsifying atomicity, divining effectual catalysts can be difficult, and atomicity checks are generally cumbersome. We overcome these problems by automating test-harness search, and establishing atomicity via membership in precomputed sets of acceptable return-value outcomes. Our approach enables testing millions of executions of each harness each second (per processor core). This scale is important since atomicity violations are observed in very few executions (tens to hundreds out of millions) of very few harnesses (one out of hundreds to thousands). Our implementation is open source and publicly available.


title: Exotic holomorphic Engel structures on C4

abstract: A holomorphic Engel structure determines a flag of distributions $\mathcal{W}\subset \mathcal{D}\subset \mathcal{E}$. We construct examples of Engel structures on $\mathbf{C}^4$ such that each of these distributions is hyperbolic in the sense that it has no tangent copies of $\mathbf{C}$. We also construct two infinite families of pairwise non-isomorphic Engel structures on $\mathbf{C}^4$ by controlling the curves $f:\mathbf{C}\to \mathbf{C}^4$ tangent to $\mathcal{W}$. The first is characterised by the topology of the set of points in $\mathbf{C}^4$ admitting $\mathcal{W}$-lines, and the second by a finer geometric property of this set. A consequence of the second construction is the existence of uncountably many non-isomorphic holomorphic Engel structures on $\mathbf{C}^4$.


title: Fractal Weyl law for the Ruelle spectrum of Anosov flows

abstract: On a closed manifold $M$, we consider a smooth vector field $X$ that generates an Anosov flow. Let $V\in C^{\infty}\left(M;\mathbb{R}\right)$ be a smooth function called potential. It is known that for any $C>0$, there exists some anisotropic Sobolev space $\mathcal{H}_{C}$ such that the operator $A=-X+V$ has intrinsic discrete spectrum on $\mathrm{Re}\left(z\right)>-C$ called Ruelle resonances. In this paper, we show a fractal Weyl law: the density of resonances is bounded by $O\left(\left\langle \omega\right\rangle ^{\frac{n}{1+\beta_{0}}}\right)$ where $\omega=\mathrm{Im}\left(z\right)$, $n=\mathrm{dim}M-1$ and $0<\beta_{0}\leq1$ is the H\"older exponent of the distribution $E_{u}\oplus E_{s}$ (strong stable and unstable). We also obtain some more precise results concerning the wave front set of the resonances and the invertibility of the transfer operator. Since the dynamical distributions $E_{u}$,$E_{s}$ are non smooth, we use some semi-classical analysis based on wave packet transform associated to an adapted metric $g$ on $T^{*}M$ and construct some specific anisotropic Sobolev spaces.


title: A New Urban Objects Detection Framework Using Weakly Annotated Sets

abstract: Urban informatics explore data science methods to address different urban issues intensively based on data. The large variety and quantity of data available should be explored but this brings important challenges. For instance, although there are powerful computer vision methods that may be explored, they may require large annotated datasets. In this work we propose a novel approach to automatically creating an object recognition system with minimal manual annotation. The basic idea behind the method is to use large input datasets using available online cameras on large cities. A off-the-shelf weak classifier is used to detect an initial set of urban elements of interest (e.g. cars, pedestrians, bikes, etc.). Such initial dataset undergoes a quality control procedure and it is subsequently used to fine tune a strong classifier. Quality control and comparative performance assessment are used as part of the pipeline. We evaluate the method for detecting cars based on monitoring cameras. Experimental results using real data show that despite losing generality, the final detector provides better detection rates tailored to the selected cameras. The programmed robot gathered 770 video hours from 24 online city cameras (\~300GB), which has been fed to the proposed system. Our approach has shown that the method nearly doubled the recall (93\%) with respect to state-of-the-art methods using off-the-shelf algorithms.


title: Safely smoothing spacetime: backreaction in relativistic cosmological simulations

abstract: A persistent theme in the study of dark energy is the question of whether it really exists or not. It is often claimed hat we are mis-calculating the cosmological model by neglecting the effects associated with averaging over large-scale structures. In the Newtonian approximation this is clear: there is no effect. Within the full relativistic picture this remains an important open question however, owing to the complex mathematics involved. We study this issue using particle numerical simulations which account for all relevant relativistic effects without any problems from shell crossing. In this context we show for the first time that the backreaction from structure can differ by many orders of magnitude depending upon the slicing of spacetime one chooses to average over. In the worst case, where smoothing is carried out in synchronous spatial surfaces, the corrections can reach ten percent and more. However, when smoothing on the constant time hypersurface of the Newtonian gauge, backreaction contributions remain 3-5 orders of magnitude smaller.


title: New Models and Methods for Formation and Analysis of Social Networks

abstract: This doctoral work focuses on three main problems related to social networks: (1) Orchestrating Network Formation: We consider the problem of orchestrating formation of a social network having a certain given topology that may be desirable for the intended usecases. Assuming the social network nodes to be strategic in forming relationships, we derive conditions under which a given topology can be uniquely obtained. We also study the efficiency and robustness of the derived conditions. (2) Multi-phase Influence Maximization: We propose that information diffusion be carried out in multiple phases rather than in a single instalment. With the objective of achieving better diffusion, we discover optimal ways of splitting the available budget among the phases, determining the time delay between consecutive phases, and also finding the individuals to be targeted for initiating the diffusion process. (3) Scalable Preference Aggregation: It is extremely useful to determine a small number of representatives of a social network such that the individual preferences of these nodes, when aggregated, reflect the aggregate preference of the entire network. Using real-world data collected from Facebook with human subjects, we discover a model that faithfully captures the spread of preferences in a social network. We hence propose fast and reliable ways of computing a truly representative aggregate preference of the entire network. In particular, we develop models and methods for solving the above problems, which primarily deal with formation and analysis of social networks.


title: Towards a version of Markov's theorem for ribbon torus-links in $\mathbb{R}^4$

abstract: In classical knot theory, Markov's theorem gives a way of describing all braids with isotopic closures as links in $\mathbb{R}^3$. We present a version of Markov's theorem for extended loop braids with closure in $B^3 \times S^1$, as a first step towards a Markov's theorem for extended loop braids and ribbon torus-links in $\mathbb{R}^4$.


title: Uniformly bounded representations of SL2R

abstract: We compute the "norm" of irreducible uniformly bounded representations of SL2R. We show that the Kunze-Stein version of the uniformly bounded representations has minimal norm in the similarity class of uniformly bounded representations.


title: Closing in on the chargino contribution to the muon g-2 in the MSSM: current LHC constraints

abstract: We revisit the current LHC constraints on the electroweak-ino sector parameters in the minimal supersymmetric standard model (MSSM) that are relevant to explaining the $(g-2)_\mu$ anomaly via the dominant chargino and muon sneutrino loop. Since the LHC bounds on electroweak-inos become weaker if they decay via an intermediate stau or a tau sneutrino instead of the first two generation sleptons, we perform a detailed analysis of the scenario with a bino as the lightest supersymmetric particle (LSP) and a light stau as the next-to-lightest one (NLSP). Even in this scenario, the chargino sector parameters in the MSSM that can account for the $(g-2)_\mu$ anomaly within $1 \sigma$ are already found to be significantly constrained by the 8 TeV LHC and the available subset of the 13 TeV LHC limits. We also estimate the current LHC exclusions in the left-smuon (and/or left-selectron) NLSP scenario from multilepton searches, and further combine the constraints from the multi-tau and multi-lepton channels for a mass spectrum in which all three generations of sleptons are lighter than the chargino. In the latter two cases, small corners of the $1 \sigma$ favoured region for $(g-2)_\mu$ are still allowed at present.


title: An Extension of the \kappa-\mu$\,$Shadowed Fading Model: Statistical Characterization and Applications

abstract: We here introduce an extension and natural generalization of both the \kappa-\mu$\,$shadowed and the classical Beckmann fading models: the Fluctuating Beckmann (FB) fading model. This new model considers the clustering of multipath waves on which the line-of-sight (LoS) components randomly fluctuate, together with the effect of in-phase/quadrature power imbalance in the LoS and non-LoS components. Thus, it unifies a variety of important fading distributions as the one-sided Gaussian, Rayleigh, Nakagami-m, Rician, \kappa-\mu, \eta-\mu, \eta-\kappa, Beckmann, Rician shadowed and the \kappa-\mu$\,$shadowed distribution. The chief probability functions of the FB fading model, namely probability density function, cumulative distribution function and moment generating function are derived. The second-order statistics such as the level crossing rate and the average fade duration are also analyzed. These results can be used to derive some performance metrics of interest of wireless communication systems operating over FB fading channels.


title: Unimodular $f(G)$ gravity

abstract: In this paper we study a modified version of unimodular general relativity in the context of $f(G)$, $G$ denoting the Gauss-Bonnet invariant. We attach attention to Bianchi-type I and Friendmann-Robertson-Walker universes and search for unimodular $f(G)$ models according to the de Sitter and power-law solutions. Assuming unimodular $f(G)$ gravity as perfect fluid and making use of the slow-roll parameters, inflationary model has been reconstructed in concordance with the Planck observational data. Moreover, we investigate the realization of the bounce and loop quantum cosmological ekpyrotic paradigms. Assuming suitable and appropriated scale factors, unimodular $f(G)$ models able to reproduce superbounce and ekpyrotic scenarios have been reconstructed.


title: Lateral trapping of DNA inside a voltage gated nanopore

abstract: The translocation of a short DNA fragment through a nanopore is addressed when the perforated membrane contains an embedded electrode. Accurate numerical solutions of the coupled Poisson, Nernst-Planck, and Stokes equations for a realistic, fully three-dimensional setup as well as analytical approximations for a simplified model are worked out. By applying a suitable voltage to the membrane electrode, the DNA can be forced to preferably traverse the pore either along the pore axis or at a small but finite distance from the pore wall.


title: Alternative Semantic Representations for Zero-Shot Human Action Recognition

abstract: A proper semantic representation for encoding side information is key to the success of zero-shot learning. In this paper, we explore two alternative semantic representations especially for zero-shot human action recognition: textual descriptions of human actions and deep features extracted from still images relevant to human actions. Such side information are accessible on Web with little cost, which paves a new way in gaining side information for large-scale zero-shot human action recognition. We investigate different encoding methods to generate semantic representations for human actions from such side information. Based on our zero-shot visual recognition method, we conducted experiments on UCF101 and HMDB51 to evaluate two proposed semantic representations . The results suggest that our proposed text- and image-based semantic representations outperform traditional attributes and word vectors considerably for zero-shot human action recognition. In particular, the image-based semantic representations yield the favourable performance even though the representation is extracted from a small number of images per class.


title: Retinal Vessel Segmentation in Fundoscopic Images with Generative Adversarial Networks

abstract: Retinal vessel segmentation is an indispensable step for automatic detection of retinal diseases with fundoscopic images. Though many approaches have been proposed, existing methods tend to miss fine vessels or allow false positives at terminal branches. Let alone under-segmentation, over-segmentation is also problematic when quantitative studies need to measure the precise width of vessels. In this paper, we present a method that generates the precise map of retinal vessels using generative adversarial training. Our methods achieve dice coefficient of 0.829 on DRIVE dataset and 0.834 on STARE dataset which is the state-of-the-art performance on both datasets.


title: Deriving quantum constraints and tight uncertainty relations

abstract: We present a systematic procedure to obtain all necessary and sufficient (quantum) constraints on the expectation values for any set of qudit's operators. These constraints---arise form Hermiticity, normalization, and positivity of a statistical operator and through Born's rule---analytically define an allowed region. A point outside the admissible region does not correspond to any quantum state, whereas every point in it come from a quantum state. For a set of observables, the allowed region is a compact and convex set in a real space, and all its extreme points come from pure quantum states. By defining appropriate concave functions on the permitted region and then finding their absolute minimum at the extreme points, we obtain different tight uncertainty relations for qubit's and spin observables. In addition, quantum constraints are explicitly given for the Weyl operators and the spin observables.


title: Fourier coefficients of half-integral weight cusp forms and Waring's problem

abstract: Extending the approach of Iwaniec and Duke, we present strong uniform bounds for Fourier coefficients of half-integral weight cusp forms of level $N$. As an application, we consider a Waring-type problem with sums of mixed powers.


title: On anti-Kekul\'{e} and $s$-restricted matching preclusion problems

abstract: The anti-Kekul\'{e} number of a connected graph $G$ is the smallest number of edges whose deletion results in a connected subgraph having no Kekul\'{e} structures (perfect matchings). As a common generalization of (conditional) matching preclusion number and anti-Kekul\'{e} number of a graph $G$, we introduce $s$-restricted matching preclusion number of $G$ as the smallest number of edges whose deletion results in a subgraph without perfect matchings such that each component has at least $s+1$ vertices. In this paper, we first show that conditional matching preclusion problem and anti-Kekul\'{e} problem are NP-complete, respectively, then generalize this result to $s$-restricted matching preclusion problem. Moreover, we give some sufficient conditions to compute $s$-restricted matching preclusion numbers of regular graphs. As applications, $s$-restricted matching preclusion numbers of complete graphs, hypercubes and hyper Petersen networks are determined.


title: The complete micromagnetic characterization of asymmetrically sandwiched ferromagnetic films

abstract: The magnetic properties of ferromagnetic thin films down to the nanoscale are ruled by the exchange stiffness, anisotropies and the effects of magnetic fields. As surfaces break inversion symmetry, an additional effective chiral exchange is omnipresent in any magnetic nanostructure. These so-called Dzyaloshinskii-Moriya interactions (DMI) affect all inhomogeneous magnetic states either subtly or spectacularly. E.g., DMIs cause a chirality selection of the rotation sense and can fix the local rotation axis for the magnetization in domain walls (DW). But, they can stabilize also entirely different twisted magnetic structures. The chiral skyrmions a two-dimensional particle-like topological soliton is the ultimately smallest of these objects, which currently is targetted as a possible information carrier in novel spintronic devices. Observation and quantification of the chiral exchange effects provide for the salient point in understanding magnetic properties in ultrathin films and other nanostructures. An easy and reliable method to determine the DMI constant as materials parameter of asymmetric thin films is the crucial problem. Here, we put forth an experimental approach for the determination of the complete set of the micromagnetic parameters. Quasi-static Kerr microcopy observations of DW creep motion and equilibrium sizes of circular magnetic objects in combination with standard magnetometry are used to derive a consistent set of these materials parameters in polycrystalline ultrathin film systems, namely CrOx/Co/Pt stacks. The quantified micromagnetic model for these films identifies the circular magnetic objects, as seen by the optical microscopy, as ordinary bubble domains with homochiral walls. From micromagnetic calculations, the chiral skyrmions stabilized by the DMI in these films are shown to have diameters in the range 40-200nm, too small to be observed by optical microscopy.


title: Interaction and Identification of the Doubly Heavy Di-Hadronic Molecules

abstract: We study the interesting problem of interaction and identification of the hadronic molecules which seem to be deuteron-like structure. In particular, we propose a binding mechanism in which One Boson Exchange Potential plus Yukawa screen-like potential is applied in their relative s-wave state. We propose the dipole-like interaction between two color neutral states to form a hadronic molecule. For the identification of the hadronic molecules, the Weinberg's compositeness theorem is used to distinguish the molecule from confined (elementary) state. The present formalism predict some di-hadronic molecular states, involving quarks (s, c, b or $\overline{s}$, $\overline{c}$, $\overline{b}$) as a constituents, namely, $pn$, $K\overline{K}$, $\rho \overline{\rho}$, $K^{*}\overline{K^{*}}$, $D\overline{D^{*}}$($\overline{D}D^{*}$), $D^{*}\overline{D^{*}}$, $B\overline{B^{*}}$, $B^{*}\overline{B^{*}}$, $D^{*\pm}\overline{D_{1}^{0}}$, $ D^{0}\overline{K^{\pm}}$, $D^{*0}\overline{K^{\pm}}$, with their possible quantum numbers.


title: Size dependent electronic properties of silicon quantum dots - an analysis with hybrid, screened hybrid and local density functional theory

abstract: We use an efficient projection scheme for the Fock operator to analyze the size dependence of silicon quantum dots (QDs) electronic properties. We compare the behavior of hybrid, screened hybrid and local density functionals as a function of the dot size up to $\sim$800 silicon atoms and volume of up to $\sim$20nm$^3$. This allows comparing the calculations of hybrid and screened hybrid functionals to experimental results over a wide range of QD sizes. We demonstrate the size dependent behavior of the band gap, density of states, ionization potential and HOMO level shift after ionization. Those results are compared to experiment and to other theoretical approaches, such as tight-binding, empirical pseudopotentials, TDDFT and GW.


title: Self-assembled monolayer molecule dynamics are perturbed by surface- and surrounding monolayer-derived geometrical confinement

abstract: The surface a thin-film is attached to and the surrounding monolayer causes geometrical confinement of a interrogated molecule; we look at the base case of a SC$_{18}H_{37}$ in a SC$_{18}H_{37}$ monolayer on Au[111]. Normal mode analysis was used to get vibrations, and these are analysed using mode character indicators which can quantify: how active an element is in a mode; the overall direction of the mode; and which chemical coordinates are relevant. We examined the 4 possible packing structures. We find that the more thermodynamically stable structures were less perturbed by the surface and more supported by the surrounding monolayer. The surface-perturbed modes were below 100cm$^{-1}$, had a higher global, carbon, sulfur, longitudinal and torsional characters, indicating unit cell backbone motions, often with increased S motion parallel to the surface, and an increased terminal methyl group motion. Modes identified by this technique showed a difference between experimental vibrations (with and without the surface) that was twice as large as those not identified. The surrounding monolayer had a larger effect on a single molecule dynamics than the surface, including stabilising the molecules enough for 12 high energy modes to move $\approx$425cm$^{-1}$ down in energy to below $k_B T$, allowing them to be populated at room temperature. These modes had higher local and higher H characters, and were highly modulated by the SAM structure. This work shows novels ways to analyse vibrations, and demonstrates the crucial need to include geometric confinement effects in SAM studies.


title: Generalized random fields and L\'evy's continuity theorem on the space of tempered distributions

abstract: In this note, we recall main properties of generalized random fields and present a proof of the continuity theorem of Paul L\'evy for generalized random fields in the space of tempered distributions. This theorem was first proved by Fernique (1968) in a more general setting. The aim of this note is to provide a self-contained proof that in particular avoids the abstract theory of nuclear spaces.


title: Picard schemes of acyclic schemes

abstract: In his work extending rational simple connectedness to schemes with higher Picard rank, Yi Zhu introduced hypotheses for schemes insuring that the relative Picard functor is representable and is \'{e}tale locally constant with finite free stalks. We give examples showing that one cannot eliminate any of the hypotheses and still have a representable Picard functor that is locally constant with finite free stalks. We also prove that the hypotheses are compatible with composition and with hyperplane sections.


title: Vanishing of Gromov-Witten invariants of product of P1

abstract: We prove some vanishing conditions on the Gromov-Witten invariants of product of P1.


title: On total Springer representations for classical types

abstract: We give explicit formulas on total Springer representations for classical types. We also describe the characters of restrictions of such representations to a maximal parabolic subgroup isomorphic to a symmetric group. As a result, we give closed formulas for the Euler characteristic of Springer fibers.


title: Gauss-Bonnet supergravity in six dimensions

abstract: The supersymmetrization of curvature squared terms is important in the study of the low-energy limit of compactified superstrings where a distinguished role is played by the Gauss-Bonnet combination, which is ghost-free. In this letter, we construct its off-shell ${\cal N} = (1, 0)$ supersymmetrization in six dimensions for the first time. By studying this invariant together with the supersymmetric Einstein-Hilbert term we confirm and extend known results of the $\alpha'$-corrected string theory compactified to six dimensions. Finally, we analyze the spectrum about the ${\rm AdS}_3\times{\rm S}^3$ solution.


title: HLOC: Hints-Based Geolocation Leveraging Multiple Measurement Frameworks

abstract: Geographically locating an IP address is of interest for many purposes. There are two major ways to obtain the location of an IP address: querying commercial databases or conducting latency measurements. For structural Internet nodes, such as routers, commercial databases are limited by low accuracy, while current measurement-based approaches overwhelm users with setup overhead and scalability issues. In this work we present our system HLOC, aiming to combine the ease of database use with the accuracy of latency measurements. We evaluate HLOC on a comprehensive router data set of 1.4M IPv4 and 183k IPv6 routers. HLOC first extracts location hints from rDNS names, and then conducts multi-tier latency measurements. Configuration complexity is minimized by using publicly available large-scale measurement frameworks such as RIPE Atlas. Using this measurement, we can confirm or disprove the location hints found in domain names. We publicly release HLOC's ready-to-use source code, enabling researchers to easily increase geolocation accuracy with minimum overhead.


title: Theory of spin Peltier effect

abstract: A microscopic theory of the spin Peltier effect in a bilayer structure comprising a paramagnetic metal (PM) and a ferromagnetic insulator (FI) based on the nonequilibrium Green's function method is presented. Spin current and heat current driven by temperature gradient and spin accumulation are formulated as functions of spin susceptibilities in the PM and the FI, and are summarized by Onsager's reciprocal relations. By using the current formulae, we estimate heat generation and absorption at the interface driven by the heat-current injection mediated by spins from PM into FI.


title: Triple-crossing number and moves on triple-crossing link diagrams

abstract: Every link in the 3-sphere has a projection to the plane where the only singularities are pairwise transverse triple points. The associated diagram, with height information at each triple point, is a triple-crossing diagram of the link. We give a set of diagrammatic moves on triple-crossing diagrams analogous to the Reidemeister moves on ordinary diagrams. The existence of n-crossing diagrams for every n>1 allows the definition of the n-crossing number. We prove that for any nontrivial, nonsplit link, other than the Hopf link, its triple-crossing number is strictly greater than its quintuple-crossing number.


title: Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL

abstract: In spatially located, large scale systems, time and space dynamics interact and drives the behaviour. Examples of such systems can be found in many smart city applications and Cyber-Physical Systems. In this paper we present the Signal Spatio-Temporal Logic (SSTL), a modal logic that can be used to specify spatio-temporal properties of linear time and discrete space models. The logic is equipped with a Boolean and a quantitative semantics for which efficient monitoring algorithms have been developed. As such, it is suitable for real-time verification of both white box and black box complex systems. These algorithms can also be combined with stochastic model checking routines. SSTL combines the until temporal modality with two spatial modalities, one expressing that something is true somewhere nearby and the other capturing the notion of being surrounded by a region that satisfies a given spatio-temporal property. The monitoring algorithms are implemented in an open source Java tool. We illustrate the use of SSTL analysing the formation of patterns in a Turing Reaction-Diffusion system and spatio-temporal aspects of a large bike-sharing system.


title: Generating Appealing Brand Names

abstract: Providing appealing brand names to newly launched products, newly formed companies or for renaming existing companies is highly important as it can play a crucial role in deciding its success or failure. In this work, we propose a computational method to generate appealing brand names based on the description of such entities. We use quantitative scores for readability, pronounceability, memorability and uniqueness of the generated names to rank order them. A set of diverse appealing names is recommended to the user for the brand naming task. Experimental results show that the names generated by our approach are more appealing than names which prior approaches and recruited humans could come up.


title: Optimal configurations for normal-metal traps in transmon qubits

abstract: Controlling quasiparticle dynamics can improve the performance of superconducting devices. For example, it has been demonstrated effective in increasing lifetime and stability of superconducting qubits. Here we study how to optimize the placement of normal-metal traps in transmon-type qubits. When the trap size increases beyond a certain characteristic length, the details of the geometry and trap position, and even the number of traps, become important. We discuss for some experimentally relevant examples how to shorten the decay time of the excess quasiparticle density. Moreover, we show that a trap in the vicinity of a Josephson junction can reduce the steady-state quasiparticle density near that junction, thus suppressing the quasiparticle-induced relaxation rate of the qubit. Such a trap also reduces the impact of fluctuations in the generation rate of quasiparticles, rendering the qubit more stable.


title: Photon-assisted Dynamical Coulomb Blockade in a Tunnel Junction

abstract: We report measurements of photon-assisted transport and noise in a tunnel junction in the regime of dynamical Coulomb blockade. We have measured both dc non-linear transport and low frequency noise in the presence of an ac excitation at frequencies up to 33 GHz. In both experiments we observe replicas at finite voltage of the zero bias features, a phenomenon characteristic of photon emission/absorption. However, the ac voltage necessary to explain our data is notably different for transport and noise, indicating that usual theory of photon-assisted phenomena fails to account for our observations.


title: Many-body delocalization as a quantum avalanche

abstract: We propose a multi-scale diagonalization scheme to study disordered one-dimensional chains, in particular the transition between many-body localization (MBL) and the ergodic phase, expected to be governed by resonant spots. Our scheme focuses on the dichotomy MBL versus {ETH} (eigenstate thermalization hypothesis). We show that a few natural assumptions imply that the system is localized with probability one at criticality. On the ergodic side, delocalization is induced by a quantum avalanche seeded by large ergodic spots, whose size diverges at the transition. On the MBL side, the typical localization length tends to a finite universal value at the transition, but there is a divergent length scale related to the response to an inclusion of large ergodic spots. A mean field approximation analytically illustrates these results and predicts as a power-law distribution for thermal inclusions at criticality.


title: Lossy Kernels for Connected Dominating Set on Sparse Graphs

abstract: For $\alpha > 1$, an $\alpha$-approximate (bi-)kernel is a polynomial-time algorithm that takes as input an instance $(I, k)$ of a problem $\mathcal{Q}$ and outputs an instance $(I',k')$ (of a problem $\mathcal{Q}'$) of size bounded by a function of $k$ such that, for every $c\geq 1$, a $c$-approximate solution for the new instance can be turned into a $(c\cdot\alpha)$-approximate solution of the original instance in polynomial time. This framework of lossy kernelization was recently introduced by Lokshtanov et al. We study Connected Dominating Set (and its distance-$r$ variant) parameterized by solution size on sparse graph classes like biclique-free graphs, classes of bounded expansion, and nowhere dense classes. We prove that for every $\alpha>1$, Connected Dominating Set admits a polynomial-size $\alpha$-approximate (bi-)kernel on all the aforementioned classes. Our results are in sharp contrast to the kernelization complexity of Connected Dominating Set, which is known to not admit a polynomial kernel even on $2$-degenerate graphs and graphs of bounded expansion, unless $\textsf{NP} \subseteq \textsf{coNP/poly}$. We complement our results by the following conditional lower bound. We show that if a class $\mathcal{C}$ is somewhere dense and closed under taking subgraphs, then for some value of $r\in\mathbb{N}$ there cannot exist an $\alpha$-approximate bi-kernel for the (Connected) Distance-$r$ Dominating Set problem on $\mathcal{C}$ for any $\alpha>1$ (assuming the Gap Exponential Time Hypothesis).


title: On the upper regularity dimensions of measures

abstract: We study the \emph{upper regularity dimension} which describes the extremal local scaling behaviour of a measure and effectively quantifies the notion of \emph{doubling}. We conduct a thorough study of the upper regularity dimension, including its relationship with other concepts such as the Assouad dimension, the upper local dimension, the $L^q$-spectrum and weak tangent measures. We also compute the upper regularity dimension explicitly in a number of important contexts including self-similar measures, self-affine measures, and measures on sequences.


title: A new upper bound for odd perfect numbers of a special form

abstract: We shall given a new effectively computable upper bound of odd perfect numbers whose Euler factors are powers of fixed exponent, improving our old result in T. Yamada, Colloq. Math. 103 (2005), 303--307.


title: Restrictions of Eisenstein series and Rankin-Selberg convolution

abstract: In a 2005 paper, Yang constructed families of Hilbert Eisenstein series, which when restricted to the diagonal are conjectured to span the underlying space of elliptic modular forms. One approach to these conjectures is to show the non-vanishing of an inner product of elliptic eigenforms with the restrictions of Eisenstein series. In this paper, we compute this inner product locally by using explicit values of new vectors in the Waldspurger model.


title: Characteristic features of the Shannon information entropy of dipolar Bose-Einstein condensates

abstract: Calculation of the Shannon information entropy (S) and its connection with the order-disorder transition, and with inter-particle interaction provide a challenging research area in the field of quantum information. Experimental progress with cold trapped atoms has corroborated this interest. In the present work, S is calculated for the Bose-Einstein condensate (BEC) with dominant dipolar interaction for different dipole strengths, trap aspect ratio and number of particles (N). Trapped dipolar bosons in an anisotropic trap provide an example of system where the effective interaction is strongly determined by the trap geometry. The main conlcusion of the present calculation is that the anisotropic trap reduces the number of degrees of freedom, resulting in more ordered configurations. The Landsberg's order parameter exhibits quick saturation with the increase in scattering length in both prolate and oblate traps. We also define the threshold scattering length which makes the system completely disordered. Unlike non-dipolar BEC in a spherical trap, we do not find a universal linear relation between S and ln N, and we, therefore, introduce a general quintic polynomial fit rather well working for a wide range of particle number.


title: A Note on Gauss-Bonnet Black Holes at Criticality

abstract: With in the extended thermodynamics, we give a comparative study of critical heat engines for Gauss-Bonnet and charged black holes in AdS in five dimensions, in the limit of large Gauss-Bonnet parameter $\alpha$ and charge $q$, respectively. We show that the approach of efficiency of heat engines to Carnot limit in Gauss-Bonnet black holes is higher(lower) than charged black holes when corresponding parameters are small(large).


title: Central limit theorem for Gibbs measures on path spaces including long range and singular interactions and homogenization of the stochastic heat equation

abstract: We consider a class of Gibbs measures defined with respect to increments $\{\omega(t)-\omega(s)\}_{s<t}$ of $d$-dimensional Wiener measure, with the underlying Hamiltonian carrying interactions of the form $H(t-s,\omega(t)-\omega(s))$ that are invariant under uniform translations of paths. In such interactions we allow {\it{long-range}} dependence in the time variable (including power law decay up to $t\mapsto (1+t)^{-(2+\varepsilon)}$ for $\varepsilon>0$) and unbounded (singular) interactions (including singularities of the form $x\mapsto 1/|x|^p$ in $d\geq 3$ or $x\mapsto \delta_0(x)$ in $d=1$) attached to the space variables. These assumptions on the interaction seem to be sharp and cover quantum mechanical models like the Nelson model and the polaron problem with ultraviolet cut off (both carrying bounded spatial interactions with power law decay in time) as well as the Fr\"ohlich polaron with a short range interaction in time but carrying Coulomb singularity in space. In this set up, we develop a unified approach for proving a central limit theorem for the rescaled process of increments for any coupling parameter and obtain an explicit expression for the limiting variance which is strictly positive. As a further application, we study the solution of the multiplicative-noise stochastic heat equation in spatial dimensions $d\geq 3$. When the noise is mollified both in time and space, we show that the averages of the diffusively rescaled solutions converge pointwise to the solution of a diffusion equation whose coefficients are homogenized in this limit.


title: Logarithmic and Riesz Equilibrium for Multiple Sources on the Sphere --- the Exceptional Case

abstract: We consider the minimal discrete and continuous energy problems on the unit sphere $\mathbb{S}^d$ in the Euclidean space $\mathbb{R}^{d+1}$ in the presence of an external field due to finitely many localized charge distributions on $\mathbb{S}^d$, where the energy arises from the Riesz potential $1/r^s$ ($r$ is the Euclidean distance) for the critical Riesz parameter $s = d - 2$ if $d \geq 3$ and the logarithmic potential $\log(1/r)$ if $d = 2$. Individually, a localized charge distribution is either a point charge or assumed to be rotationally symmetric. The extremal measure solving the continuous external field problem for weak fields is shown to be the uniform measure on the sphere but restricted to the exterior of spherical caps surrounding the localized charge distributions. The radii are determined by the relative strengths of the generating charges. Furthermore, we show that the minimal energy points solving the related discrete external field problem are confined to this support. For $d-2\leq s<d$, we show that for point sources on the sphere, the equilibrium measure has support in the complement of the union of specified spherical caps about the sources. Numerical examples are provided to illustrate our results.


title: Path planning for Robotic Mobile Fulfillment Systems

abstract: This paper presents a collection of path planning algorithms for real-time movement of multiple robots across a Robotic Mobile Fulfillment System (RMFS). Robots are assigned to move storage units to pickers at working stations instead of requiring pickers to go to the storage area. Path planning algorithms aim to find paths for the robots to fulfill the requests without collisions or deadlocks. The state-of-the-art path planning algorithms, including WHCA*, FAR, BCP, OD&ID and CBS, were adapted to suit path planning in RMFS and integrated within a simulation tool to guide the robots from their starting points to their destinations during the storage and retrieval processes. Ten different layouts with a variety of numbers of robots, floors, pods, stations and the sizes of storage areas were considered in the simulation study. Performance metrics of throughput, path length and search time were monitored. Simulation results demonstrate the best algorithm based on each performance metric.


title: Rigid hyperholomorphic sheaves remain rigid along twistor deformations of the underlying hyparkahler manifold

abstract: Let S be a K3 surface and M a smooth and projective 2n-dimensional moduli space of stable coherent sheaves on S. Over M x M there exists a rank 2n-2 reflexive hyperholomorphic sheaf E_M, whose fiber over a non-diagonal point (F,G) is Ext^1(F,G). The sheaf E_M can be deformed along some twistor path to a sheaf E_X over the cartesian square of every Kahler manifold X deformation equivalent to M. We prove that E_X is infinitesimally rigid, and the isomorphism class of the Azumaya algebra End(E_X) is independent of the twistor path chosen. This verifies conjectures in arXiv:1310.5782 and arXiv:1507.03108 on non-commutative deformations of K3 surfaces and renders the results of these two papers unconditional.


title: Optimal Lojasiewicz-Simon inequalities and Morse-Bott Yang-Mills energy functions

abstract: For any compact Lie group $G$ and closed, smooth Riemannian manifold $(X,g)$ of dimension $d\geq 2$, we extend a result due to Uhlenbeck (1985) that gives existence of a flat connection on a principal $G$-bundle over $X$ supporting a connection with $L^p$-small curvature, when $p>d/2$, to the case of a connection with $L^{d/2}$-small curvature. We prove an optimal Lojasiewicz-Simon gradient inequality for abstract Morse-Bott functions on Banach manifolds, generalizing an earlier result due to the author and Maridakis in arXiv:1510.03817. We apply this result to prove the optimal Lojasiewicz-Simon gradient inequality for the self-dual Yang-Mills energy function near regular anti-self-dual connections over closed Riemannian four-manifolds and for the full Yang-Mills energy function over closed Riemannian manifolds of dimension $d \geq 2$, when known to be Morse-Bott at a given Yang-Mills connection. We also prove the optimal Lojasiewicz-Simon gradient inequality by direct analysis near a given flat connection that is a regular point of the curvature map. We also prove the Morse-Bott property for irreducible Yang-Mills $U(n)$ connections over Riemann surfaces and hence a new proof of the optimal Lojasiewicz-Simon gradient inequality for such critical points.


title: Dynamics of hydrogen guests in ice XVII nanopores

abstract: The present high-resolution inelastic neutron scattering experiment on ice XVII, containing molecular hydrogen with different ortho/para ratio, allows to assign the H$_2$ motion spectral bands to rotational and center-of-mass translational transitions of either {\it para}- or {\it ortho}-H$_2$. Due to its structure, ice XVII confines H$_2$ molecules to move in spiral channels of molecular size. Reported data demonstrate that H$_2$ molecules rotate almost freely in these nanometric channels, though showing larger perturbation than in clathrate hydrates, and perform a translational motion exhibiting two low frequency excitations. The good agreement between experimental spectra and corresponding molecular dynamics results clearly enables to portray a picture of the confined motions of a hydrophobic guest within a metastable ice framework, i.e. ice XVII.


title: Near-Optimal Edge Evaluation in Explicit Generalized Binomial Graphs

abstract: Robotic motion-planning problems, such as a UAV flying fast in a partially-known environment or a robot arm moving around cluttered objects, require finding collision-free paths quickly. Typically, this is solved by constructing a graph, where vertices represent robot configurations and edges represent potentially valid movements of the robot between these configurations. The main computational bottlenecks are expensive edge evaluations to check for collisions. State of the art planning methods do not reason about the optimal sequence of edges to evaluate in order to find a collision free path quickly. In this paper, we do so by drawing a novel equivalence between motion planning and the Bayesian active learning paradigm of decision region determination (DRD). Unfortunately, a straight application of existing methods requires computation exponential in the number of edges in a graph. We present BISECT, an efficient and near-optimal algorithm to solve the DRD problem when edges are independent Bernoulli random variables. By leveraging this property, we are able to significantly reduce computational complexity from exponential to linear in the number of edges. We show that BISECT outperforms several state of the art algorithms on a spectrum of planning problems for mobile robots, manipulators, and real flight data collected from a full scale helicopter.


title: Signals of HE atmospheric muon decay in flight around the Sun's albedo versus astrophysical muon and tau neutrino traces in the Moon's shadow

abstract: The Sun albedo of cosmic rays at GeVs energy has been discovered recently by FERMI satellite. They are traces of atmospheric CR hitting solar atmosphere and reflecting skimming gamma photons. Even if relevant for astrophysics, as being trace of atmospheric solar Cosmic Ray noises they cannot offer any signal of neutrino astronomy. On the contrary the Moon, with no atmosphere, may become soon a novel filtering calorimeter and an amplifier of energetic muon astronomical neutrinos (at TeV up to hundred TeV energy); these lepton tracks leave an imprint in their beta decay while in flight to Earth. Their TeV electron air-shower are among the main signals. Also a more energetic, but more rare, PeV up to EeV tau lunar neutrino events may be escaping as a tau lepton from the Moon: PeVs secondaries may be shining on Earth atmosphere in lunar shadows in a surprising rich way. One or a few gamma air-shower event inside the Moon shadows may occur each year in near future CTA or LHAASO TeVs gamma array detector, assuming a non negligible astrophysical TeV up to hundred TeV neutrino component (respect to our terrestrial ruling atmospheric ones); these signals will open a new wonderful passepartout keyhole for neutrino been seen along the Moon. The lunar solid angle is small and the muon or tau expected rate is rare, but future largest tau radio array as GRAND one might well discover such neutrino imprint.

categories: astro-ph.HE astro-ph.IM astro-ph.SR hep-ph


title: Optical response in Weyl semimetal in model with gapped Dirac phase

abstract: We study the optical properties of Weyl semimetal (WSM) in a model which features, in addition to the usual term describing isolated Dirac cones proportional to the Fermi velocity $v_{F}$, a gap term $m$ and a Zeeman spin-splitting term $b$ with broken time reversal symmetry. Transport is treated within Kubo formalism and particular attention is payed to the modifications that result from a finite $m$ and $b$. We consider how these modifications change when a finite residual scattering rate $\Gamma$ is included. For $\Gamma<m$ the A.C. conductivity as a function of photon energy $\Omega$ continues to display the two quasilinear energy regions of the clean limit for $\Omega$ below the onset of the second electronic band which is gapped at ($ m+b $). For $\Gamma$ of the order $m$ little trace of two distinct linear energy scales remain and the optical response has evolved towards that for $m=b=0$. Although some quantitative differences remain there are no qualitative differences. The magnitude of the D.C. conductivity $\sigma^{DC}(T=0)$ at zero temperature ($T=0$) and chemical potential ($\mu=0$) is altered. While it remains proportional to $\Gamma$ it becomes inversely dependent on an effective Fermi velocity out of the Weyl nodes equal to $v_{F}^\ast=v_{F}\sqrt{b^2-m^2}/b$ which decreases strongly as the phase boundary between Weyl semimetal and gapped Dirac phase (GDSM) is approached at $b=m$. The leading term in the approach to $\sigma^{DC}(T=0)$ for finite $T/\Gamma$, $\mu/\Gamma$ and $\Omega/\Gamma$ is found to be quadratic. The coefficient of these corrections tracks closely the $b/m$ dependence of the $\mu=T=\Omega=0$ limit with differences largest near to the WSM-GDSM boundary.


title: Positive scalar curvature via end-periodic manifolds

abstract: We obtain two types of results on positive scalar curvature metrics for compact spin manifolds that are even dimensional. The first type of result are obstructions to the existence of positive scalar curvature metrics on such manifolds, expressed in terms of end-periodic eta invariants that were defined by Mrowka-Ruberman-Saveliev (MRS). These results are the even dimensional analogs of the results by Higson-Roe. The second type of result studies the number of path components of the space of positive scalar curvature metrics modulo diffeomorphism for compact spin manifolds that are even dimensional, whenever this space is non-empty. These extend and refine certain results in Botvinnik-Gilkey and also MRS. End-periodic analogs of K-homology and bordism theory are defined and are utilised to prove many of our results.


title: New Results On Routing Via Matchings On Graphs

abstract: In this paper we present some new complexity results on the routing time of a graph under the \textit{routing via matching} model. This is a parallel routing model which was introduced by Alon et al\cite{alon1994routing}. The model can be viewed as a communication scheme on a distributed network. The nodes in the network can communicate via matchings (a step), where a node exchanges data (pebbles) with its matched partner. Let $G$ be a connected graph with vertices labeled from $\{1,...,n\}$ and the destination vertices of the pebbles are given by a permutation $\pi$. The problem is to find a minimum step routing scheme for the input permutation $\pi$. This is denoted as the routing time $rt(G,\pi)$ of $G$ given $\pi$. In this paper we characterize the complexity of some known problems under the routing via matching model and discuss their relationship to graph connectivity and clique number. We also introduce some new problems in this domain, which may be of independent interest.


title: Tight Euler tours in uniform hypergraphs - computational aspects

abstract: By a tight tour in a $k$-uniform hypergraph $H$ we mean any sequence of its vertices $(w_0,w_1,\ldots,w_{s-1})$ such that for all $i=0,\ldots,s-1$ the set $e_i=\{w_i,w_{i+1}\ldots,w_{i+k-1}\}$ is an edge of $H$ (where operations on indices are computed modulo $s$) and the sets $e_i$ for $i=0,\ldots,s-1$ are pairwise different. A tight tour in $H$ is a tight Euler tour if it contains all edges of $H$. We prove that the problem of deciding if a given $3$-uniform hypergraph has a tight Euler tour is NP-complete, and that it cannot be solved in time $2^{o(m)}$ (where $m$ is the number of edges in the input hypergraph), unless the ETH fails. We also present an exact exponential algorithm for the problem, whose time complexity matches this lower bound, and the space complexity is polynomial. In fact, this algorithm solves a more general problem of computing the number of tight Euler tours in a given uniform hypergraph.


title: Differential Testing for Variational Analyses: Experience from Developing KConfigReader

abstract: Differential testing to solve the oracle problem has been applied in many scenarios where multiple supposedly equivalent implementations exist, such as multiple implementations of a C compiler. If the multiple systems disagree on the output for a given test input, we have likely discovered a bug without every having to specify what the expected output is. Research on variational analyses (or variability-aware or family-based analyses) can benefit from similar ideas. The goal of most variational analyses is to perform an analysis, such as type checking or model checking, over a large number of configurations much faster than an existing traditional analysis could by analyzing each configuration separately. Variational analyses are very suitable for differential testing, since the existence nonvariational analysis can provide the oracle for test cases that would otherwise be tedious or difficult to write. In this experience paper, I report how differential testing has helped in developing KConfigReader, a tool for translating the Linux kernel's kconfig model into a propositional formula. Differential testing allows us to quickly build a large test base and incorporate external tests that avoided many regressions during development and made KConfigReader likely the most precise kconfig extraction tool available.


title: Product-system models for twisted $C^*$-algebras of topological higher-rank graphs

abstract: We use product systems of $C^*$-correspondences to introduce twisted $C^*$-algebras of topological higher-rank graphs. We define the notion of a continuous $\mathbb{T}$-valued $2$-cocycle on a topological higher-rank graph, and present examples of such cocycles on large classes of topological higher-rank graphs. To every proper, source-free topological higher-rank graph $\Lambda$, and continuous $\mathbb{T}$-valued $2$-cocycle $c$ on $\Lambda$, we associate a product system $X$ of $C_0(\Lambda^0)$-correspondences built from finite paths in $\Lambda$. We define the twisted Cuntz--Krieger algebra $C^*(\Lambda,c)$ to be the Cuntz--Pimsner algebra $\mathcal{O}(X)$, and we define the twisted Toeplitz algebra $\mathcal{T} C^*(\Lambda,c)$ to be the Nica--Toeplitz algebra $\mathcal{NT}(X)$. We also associate to $\Lambda$ and $c$ a product system $Y$ of $C_0(\Lambda^\infty)$-correspondences built from infinite paths. We prove that there is an embedding of $\mathcal{T} C^*(\Lambda,c)$ into $\mathcal{NT}(Y)$, and an isomorphism between $C^*(\Lambda,c)$ and $\mathcal{O}(Y)$.


title: Dark Energy Survey Year 1 Results: Multi-Probe Methodology and Simulated Likelihood Analyses

abstract: We present the methodology for and detail the implementation of the Dark Energy Survey (DES) 3x2pt DES Year 1 (Y1) analysis, which combines configuration-space two-point statistics from three different cosmological probes: cosmic shear, galaxy-galaxy lensing, and galaxy clustering, using data from the first year of DES observations. We have developed two independent modeling pipelines and describe the code validation process. We derive expressions for analytical real-space multi-probe covariances, and describe their validation with numerical simulations. We stress-test the inference pipelines in simulated likelihood analyses that vary 6-7 cosmology parameters plus 20 nuisance parameters and precisely resemble the analysis to be presented in the DES 3x2pt analysis paper, using a variety of simulated input data vectors with varying assumptions. We find that any disagreement between pipelines leads to changes in assigned likelihood $\Delta \chi^2 \le 0.045$ with respect to the statistical error of the DES Y1 data vector. We also find that angular binning and survey mask do not impact our analytic covariance at a significant level. We determine lower bounds on scales used for analysis of galaxy clustering (8 Mpc$~h^{-1}$) and galaxy-galaxy lensing (12 Mpc$~h^{-1}$) such that the impact of modeling uncertainties in the non-linear regime is well below statistical errors, and show that our analysis choices are robust against a variety of systematics. These tests demonstrate that we have a robust analysis pipeline that yields unbiased cosmological parameter inferences for the flagship 3x2pt DES Y1 analysis. We emphasize that the level of independent code development and subsequent code comparison as demonstrated in this paper is necessary to produce credible constraints from increasingly complex multi-probe analyses of current data.


title: Kernel-based Discretisation for Solving Matrix-Valued PDEs

abstract: In this paper, we discuss the solution of certain matrix-valued partial differential equations. Such PDEs arise, for example, when constructing a Riemannian contraction metric for a dynamical system given by an autonomous ODE. We develop and analyse a new meshfree discretisation scheme using kernel-based approximation spaces. However, since these approximation spaces have now to be matrix-valued, the kernels we need to use are fourth order tensors. We will review and extend recent results on even more general reproducing kernel Hilbert spaces. We will then apply this general theory to solve a matrix-valued PDE and derive error estimates for the approximate solution. The paper ends with a typical example from dynamical systems.


title: Origin of nonlocal resistance in multiterminal graphene on hexagonal-boron-nitride: Fermi surface edge currents rather than Fermi sea topological valley currents

abstract: The recent observation [R. V. Gorbachev et al., Science {\bf 346}, 448 (2014)] of nonlocal resistance $R_\mathrm{NL}$ near the Dirac point (DP) of multiterminal graphene on aligned hexagonal boron nitride (G/hBN) has been interpreted as the consequence of topological valley Hall currents carried by the Fermi sea states just beneath the bulk gap $E_g$ induced by the inversion symmetry breaking. However, the valley Hall conductivity $\sigma^v_{xy}$, quantized inside $E_g$, is not directly measurable. Conversely, the Landauer-B\"{u}ttiker formula, as numerically exact approach to observable nonlocal transport quantities, yields $R_\mathrm{NL} \equiv 0$ for the same simplistic Hamiltonian of gapped graphene that generates $\sigma^v_{xy} \neq 0$. We combine ab initio with quantum transport calculations to demonstrate that G/hBN wires with zigzag edges host dispersive edge states near the DP that are absent in theories based on the simplistic Hamiltonian. Although such edge states exist also in isolated zigzag graphene wires, aligned hBN is required to modify their energy-momentum dispersion and generate $R_\mathrm{NL} \neq 0$ near the DP persisting in the presence of edge disorder. Concurrently, the edge states resolve the long-standing puzzle of why the highly insulating state of G/hBN is rarely observed. We conclude that the observed $R_\mathrm{NL}$ is unrelated to Fermi sea topological valley currents conjectured for gapped Dirac spectra.