title: Inhomogeneous Partition Regularity

abstract: We say that the system of equations $Ax=b$, where $A$ is an integer matrix and $b$ is a (non-zero) integer vector, is partition regular if whenever the integers are finitely coloured there is a monochromatic vector $x$ with $Ax=b$. Rado proved that the system $Ax=b$ is partition regular if and only if it has a constant solution. Byszewski and Krawczyk asked if this remains true when the integers are replaced by a general ring $R$. Our aim in this note is to answer this question in the affirmative. The main ingredient is a new `direct' proof of Rado's result.


title: Coherently strained epitaxial YBa$_2$Cu$_3$O$_{7-\delta}$ films grown on NdGaO$_3$ (110)

abstract: YBa$_2$Cu$_3$O$_{7-\delta}$ is a good candidate to systematically study high-temperature superconductivity by nanoengineering using advanced epitaxy. An essential prerequisite for these studies are coherently strained YBa$_2$Cu$_3$O$_{7-\delta}$ thin films, which we present here using NdGaO$_3$ (110) as a substrate. The films are coherent up to at least 100 nm thickness and have a critical temperature of 89$\pm$1 K. The $a$ and $b$ lattice parameters of the YBa$_2$Cu$_3$O$_{7-\delta}$ are matched to the in-plane lattice parameters of NdGaO$_3$ (110), resulting in a large reduction of the orthorhombicity of the YBa$_2$Cu$_3$O$_{7-\delta}$. These results imply that a large amount of structural disorder in the chain layers of YBa$_2$Cu$_3$O$_{7-\delta}$ is not detrimental to superconductivity.


title: Socio-economic constraints to maximum human lifespan

abstract: The analysis of the demographic transition of the past century and a half, using both empirical data and mathematical models, has rendered a wealth of well-established facts, including the dramatic increases in life expectancy. Despite these insights, such analyses have also occasionally triggered debates which spill over many disciplines, from genetics, to biology, or demography. Perhaps the hottest discussion is happening around the question of maximum human lifespan, which --besides its fascinating historical and philosophical interest-- poses urgent pragmatic warnings on a number of issues in public and private decision-making. In this paper, we add to the controversy some results which, based on purely statistical grounds, suggest that the maximum human lifespan is not fixed, or has not reached yet a plateau. Quite the contrary, analysis on reliable data for over 150 years in more than 20 industrialized countries point at a sustained increase in the maximum age at death. Furthermore, were this trend to continue, a limitless lifespan could be achieved by 2102. Finally, we quantify the dependence of increases in the maximum lifespan on socio-economic factors. Our analysis indicates that in some countries the observed rising patterns can only be sustained by progressively larger increases in GDP, setting the problem of longevity in a context of diminishing returns.


title: Learning from graphs with structural variation

abstract: We study the effect of structural variation in graph data on the predictive performance of graph kernels. To this end, we introduce a novel, noise-robust adaptation of the GraphHopper kernel and validate it on benchmark data, obtaining modestly improved predictive performance on a range of datasets. Next, we investigate the performance of the state-of-the-art Weisfeiler-Lehman graph kernel under increasing synthetic structural errors and find that the effect of introducing errors depends strongly on the dataset.


title: Multiferroicity and magnetoelastic coupling in alpha-Mn2O3: A binary perovskite

abstract: Multiferroics where at least two primary ferroic orders are present and coupled in a single system constitute an important class of materials. They attracted special consideration as they present both intriguing fundamental physics problems and technological importance for potential multifunctional devices. Here, we present the evidence of multiferroicity and magnetoelectric (ME) coupling in alpha-Mn2O3; a unique binary perovskite. Corresponding to the antiferromagnetic (AFM) ordering around 80K, a clear frequency independent transition is observed in the dielectric permittivity. We showed that electric polarization emerges near AFM regime that can be modulated with magnetic field. The detailed structural analysis using synchrotron radiation X-ray diffraction demonstrates the increase in structural distortion with decreasing temperature, as well as changes in the unit cell parameters and bond lengths across the ferroelectric and magnetic ordering temperatures. This observation of multiferroicity and magnetoelastic coupling in alpha-Mn2O3 provides insights for the exploration of ME coupling in related materials.


title: Theory IIIb: Generalization in Deep Networks

abstract: A main puzzle of deep neural networks (DNNs) revolves around the apparent absence of "overfitting", defined in this paper as follows: the expected error does not get worse when increasing the number of neurons or of iterations of gradient descent. This is surprising because of the large capacity demonstrated by DNNs to fit randomly labeled data and the absence of explicit regularization. Recent results by Srebro et al. provide a satisfying solution of the puzzle for linear networks used in binary classification. They prove that minimization of loss functions such as the logistic, the cross-entropy and the exp-loss yields asymptotic, "slow" convergence to the maximum margin solution for linearly separable datasets, independently of the initial conditions. Here we prove a similar result for nonlinear multilayer DNNs near zero minima of the empirical loss. The result holds for exponential-type losses but not for the square loss. In particular, we prove that the weight matrix at each layer of a deep network converges to a minimum norm solution up to a scale factor (in the separable case). Our analysis of the dynamical system corresponding to gradient descent of a multilayer network suggests a simple criterion for ranking the generalization performance of different zero minimizers of the empirical loss.


title: Photon operators for lattice gauge theory

abstract: Photon operators with the proper $J^{PC}$ quantum numbers are constructed, including one made of elementary plaquettes. In compact U(1) lattice gauge theory, these explicit photon operators are shown to permit direct confirmation of the massive and massless states on each side of the phase transition. In the abelian Higgs model, these explicit photon operators avoid some excited state contamination seen with the traditional composite operator, and allow more detailed future studies of the Higgs mechanism.


title: On Free Numerical Semigroups and the Construction of Minimal Telescopic Sequences

abstract: A free numerical semigroup is a submonoid of the non-negative integers with finite complement that is additively generated by the terms in a telescopic sequence with gcd 1. However, such a sequence need not be minimal, which is to say that some proper subsequence may generate the same numerical semigroup, and that subsequence need not be telescopic. In this paper, we will see that for a telescopic sequence with any gcd, there is a minimal telescopic sequence which generates the same submonoid. In particular, given a free numerical semigroup we can construct a telescopic generating sequence which is minimal. In the process, we will examine some operations on and constructions of telescopic sequences in general.


title: Convergence Problems with Generative Adversarial Networks (GANs)

abstract: Generative adversarial networks (GANs) are a novel approach to generative modelling, a task whose goal it is to learn a distribution of real data points. They have often proved difficult to train: GANs are unlike many techniques in machine learning, in that they are best described as a two-player game between a discriminator and generator. This has yielded both unreliability in the training process, and a general lack of understanding as to how GANs converge, and if so, to what. The purpose of this dissertation is to provide an account of the theory of GANs suitable for the mathematician, highlighting both positive and negative results. This involves identifying the problems when training GANs, and how topological and game-theoretic perspectives of GANs have contributed to our understanding and improved our techniques in recent years.


title: Density of Polynomials in Sub-Bergman Hilbert Spaces

abstract: The sub-Bergman Hilbert spaces are analogues of de BrangesRovnyak spaces in the Bergman space setting. We prove that the polynomials are dense in sub-Bergman Hilbert spaces. This answers the question posted by Zhu in the affirmative.


title: Simple scheme for extracting work with a single bath

abstract: We propose a simple protocol exploiting the thermalization of a $\textit{storage}$ bipartite system $S$ to extract work from a $\textit{resource}$ system $R$. The protocol is based on a recent work definition involving only a single bath. A general description of the protocol is provided without specifying the characteristics of $S$. We quantify both the extracted work and the ideal efficiency of the process also giving maximum bounds for them. Then, we apply the protocol to two cases: two interacting qubits and the Rabi model. In both cases, for very strong couplings, an extraction of work comparable with the bare energies of the subsystems of $S$ is obtained and its peak is reached for finite values of the bath temperature, $T$. We finally show, in the Rabi model at $T=0$, how to transfer the work stored in $S$ to an external device, permitting thus a cyclic implementation of the whole work-extraction protocol. Our proposal makes use of simple operations not needing fine control.


title: Crystallographic T-duality

abstract: We introduce the notion of crystallographic T-duality, inspired by the appearance of $K$-theory with graded equivariant twists in the study of topological crystalline materials. Besides giving a range of new topological T-dualities, it also unifies many previously known dualities, motivates generalisations of the Baum-Connes conjecture to graded groups, provides a powerful tool for computing topological phase classification groups, and facilitates the understanding of crystallographic bulk-boundary correspondences in physics.

categories: hep-th cond-mat.mes-hall math-ph math.KT math.MP


title: Ethical Aspects of Internet of Things from Islamic Perspective

abstract: The Internet of Things (IoTs) is an evolving new face of technology that provides state of the art services using ubiquitously connected smart objects. These smart objects are capable of sensing, processing, collaborating, communicating the events and provide services. The IoT is a collection of heterogeneous technologies like Sensor, RFID, Communication and nanotechnology. These technologies enable smart objects to identify objects, collect information about their status,communicating the collected information for taking some desired actions. Widespread adaptations of IoT based devices and services raised the ethical challenges for their users. In this paper we highlight ethical challenges raised by IoT and discuss the solutions and methods for encouraging people to properly use these technologies according to Islamic teachings.


title: On restriction estimates for the zero radius sphere over finite fields

abstract: In this paper, we solve completely the $L^2\to L^r$ extension conjecture for the zero radius sphere over finite fields. We also obtain the sharp $L^p\to L^4$ extension estimate for non-zero radii spheres over finite fields, which improves significantly the previous result of the first and second listed authors.


title: Marginally Parametrized Spatio-Temporal Models and Stepwise Maximum Likelihood Estimation

abstract: In order to learn the complex features of large spatio-temporal data, models with large parameter sets are often required. However, estimating a large number of parameters is often infeasible due to the computational and memory costs of maximum likelihood estimation (MLE). We introduce the class of marginally parametrized (MP) models, where inference can be performed efficiently with a sequence of marginal (estimated) likelihood functions via stepwise maximum likelihood estimation (SMLE). We provide the conditions under which the stepwise estimators are consistent, and we prove that this class of models includes the diagonal vector autoregressive moving average model. We demonstrate that the parameters of this model can be obtained at least three orders of magnitude faster using SMLE compared to MLE, with only a small loss in statistical efficiency. We apply an MP model to a spatio-temporal global climate data set (in order to learn complex features of interest to climate scientists) consisting of over five million data points, and we demonstrate how estimation can be performed in less than an hour on a laptop.


title: A ballistic graphene superconducting microwave circuit

abstract: Josephson junctions (JJ) are a fundamental component of microwave quantum circuits, such as tunable cavities, qubits and parametric amplifiers. Recently developed encapsulated graphene JJs, with supercurrents extending over micron distance scales, have exciting potential applications as a new building block for quantum circuits. Despite this, the microwave performance of this technology has not been explored. Here, we demonstrate a microwave circuit based on a ballistic graphene JJ embedded in a superconducting cavity. We directly observe a gate-tunable Josephson inductance through the resonance frequency of the device and, using a detailed RF model, we extract this inductance quantitatively. We also observe the microwave losses of the device, and translate this into sub-gap resistances of the junction at {\mu}eV energy scales, not accessible in DC measurements. The microwave performance we observe here suggests that graphene Josephson junctions are a feasible platform for implementing coherent quantum circuits.


title: Single string structure and multiple string interaction effect on strange particle production in pp collisions at $\sqrt{s}=7$ TeV

abstract: We present a systematic study on the strange particle production at the Large Hadron Collider (LHC) in proton-proton (pp) collisions at $\sqrt{s}=$ 7 TeV based on PACIAE simulations. Two different mechanisms accounting for single string structure variations and multiple string interactions are implemented in the simulations. These modifications give rise to increased effective string tension in the Lund fragmentation model and generate more strange particles in the hadronic final state. By comparing the results with a wealth of the LHC data, it is turned out that the inclusion of variable effective string tension is capable to reach an improved agreement between theory and experiment, especially on the recently observed multiplicity dependence of strangeness enhancement in pp collisions. This approach provides us a new method to understand the microscopic picture of the novel high multiplicity pp events collected at the LHC in the string fragmentation framework.


title: A Comparative Study of Distributional and Symbolic Paradigms for Relational Learning

abstract: Many real-world domains can be expressed as graphs and, more generally, as multi-relational knowledge graphs. Though reasoning and learning with knowledge graphs has traditionally been addressed by symbolic approaches, recent methods in (deep) representation learning has shown promising results for specialized tasks such as knowledge base completion. These approaches abandon the traditional symbolic paradigm by replacing symbols with vectors in Euclidean space. With few exceptions, symbolic and distributional approaches are explored in different communities and little is known about their respective strengths and weaknesses. In this work, we compare representation learning and relational learning on various relational classification and clustering tasks and analyse the complexity of the rules used implicitly by these approaches. Preliminary results reveal possible indicators that could help in choosing one approach over the other for particular knowledge graphs.


title: Revealing subgroup structure in ranked data using a Bayesian WAND

abstract: Ranked data arise in many areas of application ranging from the ranking of up-regulated genes for cancer to the ranking of academic statistics journals. Complications can arise when rankers do not report a full ranking of all entities; for example, they might only report their top--$M$ ranked entities after seeing some or all entities. It can also be useful to know whether rankers are equally informative, and whether some entities are effectively judged to be exchangeable. When there is important subgroup structure in the data, summaries such as aggregate (overall) rankings can be misleading. In this paper we propose a flexible Bayesian nonparametric model for identifying heterogeneous structure and ranker reliability in ranked data. The model is a Weighted Adapted Nested Dirichlet (WAND) process mixture of Plackett-Luce models and inference proceeds through a simple and efficient Gibbs sampling scheme for posterior sampling. The richness of information in the posterior distribution allows us to infer many details of the structure both between ranker groups and between entity groups (within ranker groups), in contrast to many other (Bayesian) analyses. We also examine how posterior predictive checks can be used to identify lack of model fit. The methodology is illustrated using several simulation studies and real data examples.


title: Semi-regular tilings of the hyperbolic plane

abstract: A semi-regular tiling of the hyperbolic plane is a tessellation by regular geodesic polygons with the property that each vertex has the same vertex-type, which is a cyclic tuple of integers that determine the number of sides of the polygons surrounding the vertex. We determine combinatorial criteria for the existence, and uniqueness, of a semi-regular tiling with a given vertex-type, and pose some open questions.


title: Sufficient conditions for local solvability of some degenerate PDO with complex subprincipal symbol

abstract: We will show a local solvability result for a class of degenerate second order linear partial differential operators with a complex subprincipal symbol. Due to the form of the operators in the class the subprincipal symbol is invariantly defined and we shall give sufficient conditions for the local solvability to hold involving the real and the imaginary part of the latter. Under suitable conditions we will prove that the class under consideration is L^2 to L^2 locally solvable.


title: Characterization of hypersurfaces via the second eigenvalue of the Jacobi operator

abstract: In this work we characterize certain immersed closed hypersurfaces of some ambient manifolds via the second eigenvalue of the Jacobi operator. First, we characterize the Clifford torus as the surface which maximizes the second eigenvalue of the Jacobi operator among all closed immersed orientable surfaces of $\mathbb S^3$ with genus bigger than zero. After, we characterize the slices of the warped product $I\times_h\mathbb S^n$, under a suitable hypothesis on the warping function $h:I\subset\mathbb R\to\mathbb R$, as the only hypersurfaces which saturate a certain integral inequality involving the second eigenvalue of the Jacobi operator. As a consequence, we obtain that if $\Sigma$ is a closed immersed hypersurface of $\mathbb R\times\mathbb S^n$, then the second eigenvalue of the Jacobi operator of $\Sigma$ satisfies $\lambda_2\le n$ and the slices are the only hypersurfaces which satisfy $\lambda_2=n$.


title: Post-adiabatic supernova remnants in an interstellar magnetic field: oblique shocks and non-uniform environment

abstract: We present very-high-resolution 1D MHD simulations of the late-stage supernova remnants (SNR). In the post-adiabatic stage the magnetic field has an important and significant dynamical effect on the shock dynamics, the flow structure, and hence the acceleration and emission of cosmic rays. We find that the tangential component of the magnetic field provides pressure support that to a fair degree prevents the collapse of the radiative shell and thus limits the total compression ratio of the partially or fully radiative forward shock. A consequence is that the spectra of cosmic rays would not be as hard as in hydrodynamic simulations. We also investigated the effect on the flow profiles of the magnetic-field inclination and a large-scale gradient in the gas density and/or the magnetic field. A positive density gradient shortens the evolutionary stages whereas a shock obliquity lowers the shock compression. The compression of the tangential component of the magnetic field leads to its dominance in the downstream region of post-adiabatic shocks for a wide range of orientation of the upstream field, which may explain why one preferentially observes tangential radio polarization in old SNRs. As most cosmic rays are produced at late stages of SNR evolution, the post-adiabatic phase and the influence of the magnetic field during it are most important for modeling the cosmic-ray acceleration at old SNRs and the gamma-ray emission from late-stage SNRs interacting with clouds.


title: Distances to Accreting X-ray pulsars: impact of the Gaia DR2

abstract: A well constrained estimate of the distance remains one of the main factors to properly interpret the observations of accreting X-ray pulsars. Since these objects are typically well studied, multiple distance estimates obtained with different methods are available for many members of the class. Here we summarize all distance estimates published in the literature for a sample of Galactic X-ray pulsars, and compare them with direct distance measurements obtained by the Gaia mission. We conclude that the spread of distance values obtained for individual objects by the different conventional methods is usually larger than one might expect from the quoted individual uncertainties, such that Gaia values are in many cases a very useful additional information. For distances larger than 5 kpc, however, the uncertainties of all distance estimates (including those of Gaia) remain comparatively large, so conventional methods will likely retain their importance. We provide, therefore, an aposteriori estimate of the systematic uncertainty for each method based on the comparison with the more accurate Gaia distance measurements.


title: The MIMA project. Design, construction and performances of a compact hodoscope for muon radiography applications in the context of Archaeology and geophysical prospections

abstract: The Muon Imaging for Mining and Archaeology (MIMA) project aims at the development of a non-invasive technique for imaging dense structures or cavities, hidden in the underground or anyway surrounded by huge volumes of matter, based on Muon Absorption Radiography. Given its natural multidisciplinary, the final purpose is the validation of this methodology for applications in different fields, like Archaeology, Geology, mining, Civil Engineering and Civil Protection, in close cooperation with team in these fields. In this paper we report on the design, construction and performance of a compact and lightweight muon telescope designed mainly for archaeological investigation and geophysical prospections in general. The MIMA detector is also used currently as a test instrument to study different hardware solutions to optimize the global performance in these types of applications.


title: A Rolling Blockchain for a Dynamic WSNs in a Smart City

abstract: Blockchain is one of the most popular topics for discussion now. However, most experts still see this technology as only part of Bitcoin, other crypto-currencies or money transfer systems. Often, new solutions, proposed by young researchers, are blocked by reviewers, only because these solutions can not be used for Bitcoins. However, Blockchain technology is more universal and can be used also in other areas, for example, in IoT, WSN and mobile devices. This paper considers the implementation of Blockchain technology in sensor networks as an element of IoT. The concept of "Rolling Blockchain" was proposed, which can be used to build WSN with the participation of Smart Cars, as nodes of the network. The order of block formation and structure in the chain is proposed and a mathematical model is created for it. We estimate the optimal number of WSN nodes, the number of connections between nodes, for specified network reliability values, was performed.


title: On the Nernst-Planck-Navier-Stokes system

abstract: We consider ionic electrodiffusion in fluids, described by the Nernst-Planck-Navier-Stokes system in bounded domains, in two dimensions, with Dirichlet boundary conditions for the Navier-Stokes and Poisson equations, and blocking (vanishing normal flux) or selective (Dirichlet) boundary conditions for the ionic concentrations. We prove global existence and stability results for large data.


title: WEBCA: Weakly-Electric-Fish Bioinspired Cognitive Architecture

abstract: Neuroethology has been an active field of study for more than a century now. Out of some of the most interesting species that has been studied so far, weakly electric fish is a fascinating one. It performs communication, echo-location and inter-species detection efficiently with an interesting configuration of sensors, neu-rons and a simple brain. In this paper we propose a cognitive architecture inspired by the way these fishes handle and process information. We believe that it is eas-ier to understand and mimic the neural architectures of a simpler species than that of human. Hence, the proposed architecture is expected to both help research in cognitive robotics and also help understand more complicated brains like that of human beings.


title: Workspace Aware Online Grasp Planning

abstract: This work provides a framework for a workspace aware online grasp planner. This framework greatly improves the performance of standard online grasp planning algorithms by incorporating a notion of reachability into the online grasp planning process. Offline, a database of hundreds of thousands of unique end-effector poses were queried for feasability. At runtime, our grasp planner uses this database to bias the hand towards reachable end-effector configurations. The bias keeps the grasp planner in accessible regions of the planning scene so that the resulting grasps are tailored to the situation at hand. This results in a higher percentage of reachable grasps, a higher percentage of successful grasp executions, and a reduced planning time. We also present experimental results using simulated and real environments.


title: Controlling the dynamics of colloidal particles by critical Casimir forces

abstract: Critical Casimir forces can play an important role for applications in nano-science and nanotechnology, owing to their piconewton strength, nanometric action range, fine tunability as a function of temperature, and exquisite dependence on the surface properties of the involved objects. Here, we investigate the effects of critical Casimir forces on the free dynamics of a pair of colloidal particles dispersed in the bulk of a near-critical binary liquid solvent, using blinking optical tweezers. In particular we measure the time evolution of the distance between the two colloids to determine their relative diffusion and drift velocity. Furthermore, we show how critical Casimir forces change the dynamic properties of this two-colloid system by studying the temperature dependence of the distribution of the so-called first-passage time, i.e., of the time necessary for the particles to reach for the first time a certain separation, starting from an initially assigned one. These data are in good agreement with theoretical results obtained from Monte Carlo simulations and Langevin dynamics.


title: Stability conditions for the explicit integration of projection based nonlinear reduced-order and hyper reduced structural mechanics finite element models

abstract: Projection-based nonlinear model order reduction methods can be used to reduce simulation times for the solution of many PDE-constrained problems. It has been observed in literature that such nonlinear reduced-order models (ROMs) based on Galerkin projection sometimes exhibit much larger stable time step sizes than their unreduced counterparts. This work provides a detailed theoretical analysis of this phenomenon for structural mechanics. We first show that many desirable system matrix properties are preserved by the Galerkin projection. Next, we prove that the eigenvalues of the linearized Galerkin reduced-order system separate the eigenvalues of the linearized original system. Assuming non-negative Rayleigh damping and a time integration using the popular central difference method, we further prove that the theoretical linear stability time step of the ROM is in fact always larger than or equal to the critical time step of its corresponding full-order model. We also give mathematical expressions for computing the stable time step size. Finally, we show that under certain conditions this increase in the stability time step even extends to some hyper-reduction methods. The findings can be used to compute numerical stability time step sizes for the integration of nonlinear ROMs in structural mechanics, and to speed up simulations by permitting the use of larger time steps.


title: $\mathcal{U}$-bootstrap percolation: critical probability, exponential decay and applications

abstract: Bootstrap percolation is a wide class of monotone cellular automata with random initial state. In this work we develop tools for studying in full generality one of the three `universality' classes of bootstrap percolation models in two dimensions, termed subcritical. We introduce the new notion of `critical densities' serving the role of `difficulties' for critical models, but adapted to subcritical ones. We characterise the critical probability in terms of these quantities and successfully apply this link to prove new and old results for concrete models such as DTBP and Spiral as well as a general non-trivial upper bound. Our approach establishes and exploits a tight connection between subcritical bootstrap percolation and a suitable generalisation of classical oriented percolation, which will undoubtedly be the source of more results and could provide an entry point for general percolationists to bootstrap percolation. Furthermore, we prove that above a certain critical probability there is exponential decay of the probability of a one-arm event, while below it the event has positive probability and the expected infection time is infinite. We also identify this as the transition of the spectral gap and mean infection time of the corresponding kinetically constrained model. Finally, we essentially characterise the noise sensitivity properties at fixed density for the two natural one-arm events. In doing so we answer fully or partially most of the open questions asked by Balister, Bollob\'as, Przykucki and Smith (2016)---namely we are concerned with their Questions 11, 12, 13, 14 and 17.


title: Topological Thermoelectricity in Metals

abstract: Recently published discoveries of acoustic and optical mode inversion in the phonon spectrum of certain metals became the first realistic example of non-interacting topological bosonic excitations in existing materials. However, the observable physical and technological use of such topological phonon phases remained unclear. In this work we provide a strong theoretical and numerical evidence that for a class of metallic compounds (known as triple point topological metals), the points in the phonon spectrum, at which three (two optical and one acoustic) phonon modes (bands) cross, represent a well-defined topological material phase, in which the hosting metals have very strong thermoelectric response. The triple point bosonic collective excitations appearing due to these topological phonon band-crossing points significantly suppress the lattice thermal conductivity, making such metals phonon-glass like. At the same time, the topological triple-point and Weyl fermionic quasiparticle excitations present in these metals yield good electrical transport (electron-crystal) and cause a local enhancement in the electronic density of states near the Fermi level, which considerably improves the thermopower. This combination of "phonon-glass" and "electron-crystal" is the key for high thermoelectric performance in metals. We call these materials topological thermoelectric metals and propose several newly predicted compounds for this phase (TaSb and TaBi). We hope that this work will lead researchers in physics and materials science to the detailed study of topological phonon phases in electronic materials, and the possibility of these phases to introduce novel and more efficient use of thermoelectric materials in many everyday technological applications.


title: Wheeler-DeWitt Universe Wave Function in the presence of stiff matter

abstract: We study the Wheeler-DeWitt (WDW) equation close to the Big-Bang. We argue that an interaction dominated fluid (speed of sound equal to the speed of light), if present, would dominate during such an early phase. Such a fluid with $p=\rho\propto1/a^{6}$ generates a term in the potential of the wave function of the WDW equation proportional to $-1/a^{2}.\ $This very peculiar quantum potential, which embodies a spontaneous breaking of dilatation invariance, has some very remarkable consequences for the wave function of the Universe: $\Psi(a)$ vanishes at the Big-Bang: $\Psi(0)=0$; the wave function $\Psi(a)$ is always real; a superselection rule assures that the system is confined to $a\geq0$ without the need of imposing any additional artificial barrier for unphysical negative $a$. These results do not depend on the operator-ordering problem of the WDW equation.


title: A Probabilistic Modeling Approach to One-Shot Gesture Recognition

abstract: Gesture recognition enables a natural extension of the way we currently interact with devices. Commercially available gesture recognition systems are usually pre-trained and offer no option for customization by the user. In order to improve the user experience, it is desirable to allow end users to define their own gestures. This scenario requires learning from just a few training examples if we want to impose only a light training load on the user. To this end, we propose a gesture classifier based on a hierarchical probabilistic modeling approach. In this framework, high-level features that are shared among different gestures can be extracted from a large labeled data set, yielding a prior distribution for gestures. When learning new types of gestures, the learned shared prior reduces the number of required training examples for individual gestures. We implemented the proposed gesture classifier for a Myo sensor bracelet and show favorable results for the tested system on a database of 17 different gesture types. Furthermore, we propose and implement two methods to incorporate the gesture classifier in a real-time gesture recognition system.


title: Basins of convergence in the circular Sitnikov four-body problem with non-spherical primaries

abstract: The Newton-Raphson basins of convergence, related to the equilibrium points, in the Sitnikov four-body problem with non-spherical primaries are numerically investigated. We monitor the parametric evolution of the positions of the roots, as a function of the oblateness coefficient. The classical Newton-Raphson optimal method is used for revealing the basins of convergence, by classifying dense grids of initial conditions in several types of two-dimensional planes. We perform a systematic and thorough analysis in an attempt to understand how the oblateness coefficient affects the geometry as well as the basin entropy of the convergence regions. The convergence areas are related with the required number of iterations and also with the corresponding probability distributions.


title: Optical probing of Rayleigh wave driven magneto-acoustic resonance

abstract: The resonant interaction of electrically excited travelling surface acoustic waves and magnetization has been hitherto probed through the acoustic component. In this work it is investigated using time-resolved magneto-optical detection of magnetization dynamics. To that end, we develop an experimental scheme where laser pulses are used both to generate the acoustic wave frequency and to probe magnetization dynamics thus ensuring perfect phase locking. The light polarization dependence of the signal enables to disentangle elasto-optic and magneto-optic contributions and to obtain the in-plane and out-of-plane dynamic magnetization components. Magnetization precession is proved to be driven solely by the acoustic wave. Its amplitude is shown to resonate at the same field at which we detect piezo-electrically the resonant attenuation of the acoustic wave, clearly evidencing the magneto-acoustic resonance with high sensitivity.


title: On the correlation energy of interacting fermionic systems in the mean-field regime

abstract: We consider a system of $N\gg 1$ interacting fermionic particles in three dimensions, confined in a periodic box of volume $1$, in the mean-field scaling. We assume that the interaction potential is bounded and small enough. We prove upper and lower bounds for the correlation energy, which are optimal in their $N$-dependence. Moreover, we compute the correlation energy at leading order in the interaction potential, recovering the prediction of second order perturbation theory. The proof is based on the combination of methods recently introduced for the study of fermionic many-body quantum dynamics together with a rigorous version of second-order perturbation theory, developed in the context of non-relativistic QED.


title: Compact Localized States in Engineered Flat-Band $\cal PT$ Metamaterials

abstract: The conditions leading to flat dispersionless frequency bands in truly one-dimensional parity-time ($\cal PT$) symmetric metamaterials comprising split-ring resonators (SRRs) arranged in a binary pattern are obtained analytically. In this paradigmatic system, in which the SRRs are coupled through both electric and magnetic dipole-dipole forces, flat-bands may arise from tailoring its natural parameters (such as, e.g., the coupling coefficients between SRRs) and not from geometrical effects. For sets of parameters which values are tailored to flatten the upper band of the spectrum, the solution of the corresponding quadratic eigenvalue problem reveals the existence of compact, two-site localized eigenmodes. Numerical simulations confirm the existence and the dynamic stability of such modes, which can be formed through the evolution of single-site initial excitations without disorder or nonlinearity.


title: (k,p)-Planarity: A Relaxation of Hybrid Planarity

abstract: We present a new model for hybrid planarity that relaxes existing hybrid representations. A graph $G = (V,E)$ is $(k,p)$-planar if $V$ can be partitioned into clusters of size at most $k$ such that $G$ admits a drawing where: (i) each cluster is associated with a closed, bounded planar region, called a cluster region; (ii) cluster regions are pairwise disjoint, (iii) each vertex $v \in V$ is identified with at most $p$ distinct points, called \emph{ports}, on the boundary of its cluster region; (iv) each inter-cluster edge $(u,v) \in E$ is identified with a Jordan arc connecting a port of $u$ to a port of $v$; (v) inter-cluster edges do not cross or intersect cluster regions except at their endpoints. We first tightly bound the number of edges in a $(k,p)$-planar graph with $p<k$. We then prove that $(4,1)$-planarity testing and $(2,2)$-planarity testing are NP-complete problems. Finally, we prove that neither the class of $(2,2)$-planar graphs nor the class of $1$-planar graphs contains the other, indicating that the $(k,p)$-planar graphs are a large and novel class.


title: Comparing the basins of attraction for several methods in the circular Sitnikov problem with spheroid primaries

abstract: The circular Sitnikov problem, where the two primary bodies are prolate or oblate spheroids, is numerically investigated. In particular, the basins of convergence on the complex plane are revealed by using a large collection of numerical methods of several order. We consider four cases, regarding the value of the oblateness coefficient which determines the nature of the roots (attractors) of the system. For all cases we use the iterative schemes for performing a thorough and systematic classification of the nodes on the complex plane. The distribution of the iterations as well as the probability and their correlations with the corresponding basins of convergence are also discussed. Our numerical computations indicate that most of the iterative schemes provide relatively similar convergence structures on the complex plane. However, there are some numerical methods for which the corresponding basins of attraction are extremely complicated with highly fractal basin boundaries. Moreover, it is proved that the efficiency strongly varies between the numerical methods.


title: Failure of Perturbation Theory Near Horizons: the Rindler Example

abstract: Persistent puzzles to do with information loss for black holes have stimulated critical reassessment of the domain of validity of semiclassical EFT reasoning in curved spacetimes, particularly in the presence of horizons. We argue here that perturbative predictions about evolution for very long times near a horizon are subject to problems of secular growth - i.e. powers of small couplings come systematically together with growing functions of time. Such growth signals a breakdown of naive perturbative calculations of late-time behaviour, regardless of how small ambient curvatures might be. Similar issues of secular growth also arise in cosmology, and we build evidence for the case that such effects should be generic for gravitational fields. In particular, inferences using free fields coupled only to background metrics can be misleading at very late times due to the implicit assumption they make of perturbation theory when neglecting other interactions. Using the Rindler horizon as an example we show how this secular growth parallels similar phenomena for thermal systems, and how it can be resummed to allow late-time inferences to be drawn more robustly. Some comments are made about the appearance of an IR/UV interplay in this calculation, as well as on the possible relevance of our calculations to predictions near black-hole horizons.


title: Bounds on the Approximation Power of Feedforward Neural Networks

abstract: The approximation power of general feedforward neural networks with piecewise linear activation functions is investigated. First, lower bounds on the size of a network are established in terms of the approximation error and network depth and width. These bounds improve upon state-of-the-art bounds for certain classes of functions, such as strongly convex functions. Second, an upper bound is established on the difference of two neural networks with identical weights but different activation functions.


title: Introducing a new, robust galaxy finder algorithm for simulations

abstract: Identifying galaxies in hydrodynamical simulations is a difficult task, particularly in regions of high density such as galaxy groups and clusters. We present a new scale-free shape-independent algorithm to robustly and accurately identify galaxies in simulation, implemented within the phase-space halo-finder code VELOCIraptor. This is achieved by using the full phase-space dispersion tensor for particle assignment and an iterative adjustment of search parameters, which help us overcome common structure finding problems. We apply our improved method to the Horizon-AGN simulation and compare galaxy stellar masses ($M_*$), star formation rates (SFR) and sizes with the elaborate configuration-space halo finder, HaloMaker. Galaxies living in halos with $> 1$ galaxy are the most affected by the shortcomings of real-space finders, with their mass, SFR, and sizes being $> 2$ times larger (smaller) in the case of host (satellite) galaxies. Thus, our ability to measure minor/major merger rates and disentangle environmental effects in simulations can be generally hindered if the identification of galaxies is not treated carefully. Though large systematic differences are obtained on a one-to-one basis, the overall Galaxy Stellar Mass Function, the Star Formation Rate Function and mass-size relations are not greatly affected. This is due to isolated galaxies being the most abundant population, dominating broad statistics.


title: The Satisfiability Problem for Unbounded Fragments of Probabilistic CTL

abstract: We investigate the satisfiability and finite satisfiability problem for probabilistic computation-tree logic (PCTL) where operators are not restricted by any step bounds. We establish decidability for several fragments containing quantitative operators and pinpoint the difficulties arising in more complex fragments where the decidability remains open.


title: Optimizing synthetic diamond samples for quantum sensing technologies by tuning the growth temperature

abstract: Control of the crystalline orientation of nitrogen-vacancy (NV) defects in diamond is here demonstrated by tuning the temperature of chemical vapor deposition (CVD) growth on a (113)-oriented diamond substrate. We show that preferential alignment of NV defects along the [111] axis is significantly improved when the CVD growth temperature is decreased. This effect is then combined with temperature-dependent incorporation of NV defects during the CVD growth to obtain preferential alignment over dense ensembles of NV defects spatially localized in thin diamond layers. These results demonstrate that growth temperature can be exploited as an additional degree of freedom to engineer optimized diamond samples for quantum sensing applications.


title: Discourse-Wizard: Discovering Deep Discourse Structure in your Conversation with RNNs

abstract: Spoken language understanding is one of the key factors in a dialogue system, and a context in a conversation plays an important role to understand the current utterance. In this work, we demonstrate the importance of context within the dialogue for neural network models through an online web interface live demo. We developed two different neural models: a model that does not use context and a context-based model. The no-context model classifies dialogue acts at an utterance-level whereas the context-based model takes some preceding utterances into account. We make these trained neural models available as a live demo called Discourse-Wizard using a modular server architecture. The live demo provides an easy to use interface for conversational analysis and for discovering deep discourse structures in a conversation.


title: States-conserving density of states for Altshuler-Aronov effect: Heuristic derivation

abstract: Altshuler and Aronov (AA) have shown that the electron-electron interaction in a weakly-disordered metal suppresses the single-particle density of states (DOS) in the vicinity of the Fermi level ($E_F$). According to the AA theory the suppressed DOS exhibits the energy dependence $\propto \sqrt {|E-E_F|}$ valid for $|E-E_F|$ smaller than a certain correlation energy $U_{co}$. Recent experiments have shown that at energies larger than $U_{co}$ the DOS exhibits a states-conserving dependence on energy, namely, the states removed from near the Fermi level are found at energies above $U_{co}$ in the energy range of about $3 U_{co}$. In this work the AA effect is studied beyond the low energy limit theoretically. We consider the AA model in which the electrons interact via the statically screened Coulomb interaction and the modification of the DOS is due to the exchange part of the electron self-energy. We derive the states-conserving DOS heuristically. Namely, we show that the self-energy consists of a diverging part (which we skip on physical grounds) and of the small part of the order of the pair Coulomb energy. This small part gives the states-conserving DOS which is in qualitative accord with experimental observations at energies above $U_{co}$ and which reproduces the AA result at energies below $U_{co}$.


title: Hierarchical Robust Analysis for Identified Systems in Network

abstract: This technical report considers worst-case robustness analysis of a network of locally controlled uncertain systems with uncertain parameter vectors belonging to the ellipsoid sets found by identification procedures. In order to deal with computational complexity of large-scale systems, an hierarchical robustness analysis approach is adapted to these uncertain parameter vectors thus addressing the trade-off between the computation time and the conservatism of the obtained result.


title: Footwear Size Recommendation System

abstract: While shopping for fashion products, customers usually prefer to try-out products to examine fit, material, overall look and feel. Due to lack of try out options during online shopping, it becomes pivotal to provide customers with as much of this information as possible to enhance their shopping experience. Also it becomes essential to provide same experience for new customers. Our work here focuses on providing a production ready size recommendation system for shoes and address the challenge of providing recommendation for users with no previous purchases on the platform. In our work, we present a probabilistic approach based on user co-purchase data facilitated by generating a brand-brand relationship graph. Specifically we address two challenges that are commonly faced while implementing such solution. 1. Sparse signals for less popular or new products in the system 2. Extending the solution for new users. Further we compare and contrast this approach with our previous work and show significant improvement both in recommendation precision and coverage.


title: Understanding Fashionability: What drives sales of a style?

abstract: We use customer demand data for fashion articles on Myntra, and derive a fashionability or style quotient, which represents customer demand for the stylistic content of a fashion article, decoupled with its commercials (price, offers, etc.). We demonstrate learning for assortment planning in fashion that would aim to keep a healthy mix of breadth and depth across various styles, and we show the relationship between a customer's perception of a style vs a merchandiser's catalogue of styles. We also backtest our method to calculate prediction errors in our style quotient and customer demand, and discuss various implications and findings.


title: Finsler space-time can explain both parity asymmetry and power deficit seen in CMB temperature anisotropies

abstract: We propose a framework of Finsler space-time to explain the observed parity asymmetry and the power deficit in the low-$\ell$ ($2\leqslant \ell \leqslant 29$) multipole range of cosmic microwave background (CMB) temperature anisotropies. In the $3+1$ dimensional space-time, the three-dimensional space is described by a Randers-Finsler space, which is spatially irreversible, inducing the parity asymmetry in the CMB angular power spectrum. We estimate the constraints on the two parameters introduced by Finsler space-time via analyzing the low-$\ell$ angular power spectrum in PLANCK 2015 CMB temperature data. We see that the low-$\ell$ power suppression in the CMB temperature anisotropies can also be resolved in this scenario. Our study shows that the two low-$\ell$ anomalies, i.e., parity asymmetry and power deficit, may have a common origin.


title: Continuity result for the rate function of the simple random walk on supercritical percolation clusters

abstract: We consider the simple random walk on supercritical percolation clusters in the multidimensional cubic lattice. In this model, a quenched large deviation principle holds for the position of the random walk. Its rate function depends on the law of the percolation configuration, and the aim of this paper is to study the continuity of the rate function in the law. To do this, it is useful that the rate function is expressed by the so-called Lyapunov exponent, which is the asymptotic cost paid by the random walk for traveling in a landscape of percolation configurations. In this context, we first observe the continuity of the Lyapunov exponent in the law of the percolation configuration, and then lift it to the rate function.


title: Discussion on Using Stacking to Average Bayesian Predictive Distributions by Yao et al

abstract: I begin by summarizing key ideas of the paper under discussion. Then I will talk about a graphical modeling perspective, posterior contraction rates and alternative methods of aggregation. Moreover, I will also discuss possible applications of the stacking method to other problems, in particular, aggregating (sub)posterior distributions in distributed computing.


title: Development and validation of Critical Thinking Disposition Inventory for Chinese medical college students (CTDI-M)

abstract: PURPOSE: Critical thinkers in medical context must be not only "able" but also "willing" to think critically. To develop and conduct psychometric testing of Critical Thinking Disposition Inventory which measure the critical thinking disposition of Chinese medical college students. METHODS: The study was conducted in two stages: (a) item generation and exploratory factor analysis (EFA) and (b) testing of psychometric properties (construct validity, split-half reliability and Cronbach's alpha, and test-retest reliability. The subjects were composed of 441 undergraduate medical and nursing students from a medical university in China. Test-retest reliability of the instrument was determined at two-week interval. Data was analyzed with SPSS13.0. RESULTS: Preliminary 264 items were obtained using an open-ended questionnaire; from which 61 items were reviewed through half open-ended questionnaire, and finally 18 items were chosen. Eighteen final items were sorted into 3 factors, which were identified as "Open-mindedness ", "Systematicity/analyticity" and "Truth seeking". The cumulative percent of variance was 57.66%. The Cronbach's alpha was 0.924 and the factors' alphas ranged from 0.824-0.862. Correlational analysis indicated moderate to high correlations between the subscales and total scores of the CTDI-CM. Our results indicated that open-mindedness and systematicity/analyticity were higher for medical students than nursing students. CONCLUSIONS: This study conducted in a Chinese medical college student population demonstrated a reliable and valid instrument for clinical thinking disposition, which measured motivation and cognitive components. The effect of enrollment year and major on the profiles of critical thinking dispositions was identified, emphasizing the importance of applying specialized teaching to students of different majors.


title: Certifying Global Optimality of Graph Cuts via Semidefinite Relaxation: A Performance Guarantee for Spectral Clustering

abstract: Spectral clustering has become one of the most widely used clustering techniques when the structure of the individual clusters is non-convex or highly anisotropic. Yet, despite its immense popularity, there exists fairly little theory about performance guarantees for spectral clustering. This issue is partly due to the fact that spectral clustering typically involves two steps which complicated its theoretical analysis: first, the eigenvectors of the associated graph Laplacian are used to embed the dataset, and second, k-means clustering algorithm is applied to the embedded dataset to get the labels. This paper is devoted to the theoretical foundations of spectral clustering and graph cuts. We consider a convex relaxation of graph cuts, namely ratio cuts and normalized cuts, that makes the usual two-step approach of spectral clustering obsolete and at the same time gives rise to a rigorous theoretical analysis of graph cuts and spectral clustering. We derive deterministic bounds for successful spectral clustering via a spectral proximity condition that naturally depends on the algebraic connectivity of each cluster and the inter-cluster connectivity. Moreover, we demonstrate by means of some popular examples that our bounds can achieve near-optimality. Our findings are also fundamental for the theoretical understanding of kernel k-means. Numerical simulations confirm and complement our analysis.


title: Towards real-time unsupervised monocular depth estimation on CPU

abstract: Unsupervised depth estimation from a single image is a very attractive technique with several implications in robotic, autonomous navigation, augmented reality and so on. This topic represents a very challenging task and the advent of deep learning enabled to tackle this problem with excellent results. However, these architectures are extremely deep and complex. Thus, real-time performance can be achieved only by leveraging power-hungry GPUs that do not allow to infer depth maps in application fields characterized by low-power constraints. To tackle this issue, in this paper we propose a novel architecture capable to quickly infer an accurate depth map on a CPU, even of an embedded system, using a pyramid of features extracted from a single input image. Similarly to state-of-the-art, we train our network in an unsupervised manner casting depth estimation as an image reconstruction problem. Extensive experimental results on the KITTI dataset show that compared to the top performing approach our network has similar accuracy but a much lower complexity (about 6% of parameters) enabling to infer a depth map for a KITTI image in about 1.7 s on the Raspberry Pi 3 and at more than 8 Hz on a standard CPU. Moreover, by trading accuracy for efficiency, our network allows to infer maps at about 2 Hz and 40 Hz respectively, still being more accurate than most state-of-the-art slower methods. To the best of our knowledge, it is the first method enabling such performance on CPUs paving the way for effective deployment of unsupervised monocular depth estimation even on embedded systems.


title: Integrating Proactive Mode Changes in Mixed Criticality Systems

abstract: In this work, we propose to integrate prediction algorithms to the scheduling of mode changes under the Earliest-Deadline-First and Fixed-priority scheduling in mixed-criticality real-time systems. The method proactively schedules a mode change in the system based on state variables such as laxity, to the percentage difference in the temporal distance between the completion time of the instance of a task and its respective deadline, by the deadline (D) stipulated for the task, in order to minimize deadline misses. The simulation model was validated against an analytical model prior to the logical integration of the Kalman-based prediction algorithm. Two study cases were presented, one covering earliest-deadline first and the other the fixed-priority scheduling approach. The results showed the gains in the adoption of the prediction approach for both scheduling paradigms by presenting a significant reduction of the number of missed deadlines for low-criticality tasks.


title: Using General Adversarial Networks for Marketing: A Case Study of Airbnb

abstract: In this paper, we examine the use case of general adversarial networks (GANs) in the field of marketing. In particular, we analyze how GAN models can replicate text patterns from successful product listings on Airbnb, a peer-to-peer online market for short-term apartment rentals. To do so, we define the Diehl-Martinez-Kamalu (DMK) loss function as a new class of functions that forces the model's generated output to include a set of user-defined keywords. This allows the general adversarial network to recommend a way of rewording the phrasing of a listing description to increase the likelihood that it is booked. Although we tailor our analysis to Airbnb data, we believe this framework establishes a more general model for how generative algorithms can be used to produce text samples for the purposes of marketing.


title: Team assembly mechanisms and the knowledge produced in the Mexico's National Institute of Geriatrics: a network analysis and agent-based modelling approach

abstract: Mexico's National Institute of Geriatrics (INGER) is the national research center of reference for matters related to human aging. INGER scientists perform basic, clinical and demographic research which may imply different scientific cultures working together in the same specialized institution. In this paper, by a combination of text mining, co-authorship network analysis and agent-based modeling we analyzed and modeled the team assembly practices and the structure of the knowledge produced by scientists from INGER. Our results showed a weak connection between basic and clinical research, and the emergence of a highly connected academic leadership. Importantly, basic and clinical-demographic researchers exhibited different team assembly strategies: Basic researchers tended to form larger teams mainly with external collaborators while clinical and demographic researchers formed smaller teams that very often incorporated internal (INGER) collaborators. We showed how these two different ways to form research teams impacted the organization of knowledge produced at INGER. Following these observations, we modeled, via agent-based modeling, the coexistence of different scientific cultures (basic and clinical research) exhibiting different team assembly strategies in the same institution. Our agent model successfully reproduced the current situation of INGER. Moreover, by modifying the values of homophily we obtain alternative scenarios in which multidisciplinary and interdisciplinary research could be done.


title: Ultra-short Pulse Propagation in Nonlinear Optics

abstract: In this work, we perform a detailed review about the theoretical modeling of the optical propagation of ultra-short pulses in different scenarios of nonlinear optics. In particular, we focus our efforts on optical fibers and uniform media, with special attention on the white light continuum generation by using gases.


title: Leray-Hirsch theorem and blow-up formula for Dolbeault cohomology

abstract: We prove a theorem of Leray-Hirsch type and give an explicit blow-up formula for Dolbeault cohomology on (\emph{not necessarily compact}) complex manifolds. We give applications to strongly $q$-complete manifolds and the $\partial\bar{\partial}$-lemma.


title: Local Lidskii's theorems for unitarily invariant norms

abstract: Lidskii's additive inequalities (both for eigenvalues and singular values) can be interpreted as an explicit description of global minimizers of functions that are built on unitarily invariant norms, with domains consisting of certain orbits of matrices (under the action of the unitary group). In this paper, we show that Lidskii's inequalities actually describe all global minimizers of such functions and that local minimizers are also global minimizers. We use these results to obtain partial results related to local minimizers of generalized frame operator distances in the context of finite frame theory.


title: Beyond heights: slopes and distribution of rational points

abstract: The distribution of rational points of bounded height on algebraic varieties is far from uniform. Indeed the points tend to accumulate on thin subsets which are images of non-trivial finite morphisms. The problem is to find a way to characterise the points in these thin subsets. The slopes introduced by Jean-Beno\^it Bost are a useful tool for this problem. These notes will present several cases in which this approach is fruitful. We shall also describe the notion of locally accumulating subvarieties which arises when one considers rational points of bounded height near a fixed rational point.


title: The slow slip of viscous faults

abstract: We examine a simple mechanism for the spatio-temporal evolution of transient, slow slip. We consider the problem of slip on a fault that lies within an elastic continuum and whose strength is proportional to sliding rate. This rate dependence may correspond to a viscously deforming shear zone or the linearization of a non-linear, rate-dependent fault strength. We examine the response of such a fault to external forcing, such as local increases in shear stress or pore fluid pressure. We show that the slip and slip rate are governed by a type of diffusion equation, the solution of which is found using a Green's function approach. We derive the long-time, self-similar asymptotic expansion for slip or slip rate, which depend on both time $t$ and a similarity coordinate $\eta=x/t$, where $x$ denotes fault position. The similarity coordinate shows a departure from classical diffusion and is owed to the non-local nature of elastic interaction among points on an interface between elastic half-spaces. We demonstrate the solution and asymptotic analysis of several example problems. Following sudden impositions of loading, we show that slip rate ultimately decays as $1/t$ while spreading proportionally to $t$, implying both a logarithmic accumulation of displacement as well as a constant moment rate. We discuss the implication for models of post-seismic slip as well as spontaneously emerging slow slip events.


title: Unruh temperatures in circular and drifted Rindler motions

abstract: We study the temperatures for the circular and drifted Rindler motions by employing the Unruh-DeWitt detector method. In the circular motion, the temperature is increasing along the radius of the circular motion until it reaches the maximum, and then it is decreasing and eventually vanishing at the limit to the radius where the proper acceleration is infinite. In fact, the temperature is proportional to the proper acceleration quadratically near the origin of the circular motion as compared to the usual Unruh effect depending on the linear proper acceleration. On the other hand, in the drifted Rindler motion, the observer moves with a relative velocity in the direction transverse to the acceleration. If the detector is moving slowly in the transverse direction with a finite proper acceleration, then the temperature behaves like the usual Unruh temperature, while it vanishes for the speed of light in the transverse direction according to the infinite proper acceleration. Consequently, it turns out that the temperatures behave nonlinearly with respect to the proper acceleration and the infinite proper acceleration would not always permit the divergent temperature.


title: Critical slowing down of multi-atom entanglement by Rydberg blockade

abstract: Laser excitation pulses that lead to perfect adiabatic state transfer in an ensemble of three-level ladder atoms lead to highly entangled states of many atoms if their highest excited state is subject to Rydberg blockade. Solution of the Schr\"odinger equation shows that it is increasingly difficult to ensure the adiabatic evolution as the number of atoms increases. A diminishing energy gap, significant variations in collective observables, and increased work fluctuations link the critical slowing down of the adiabatic evolution with a quantum phase transition-like behavior of the system.


title: A nonexistence theorem for proper biharmonic maps into general Riemannian manifolds

abstract: In this note we prove a nonexistence result for proper biharmonic maps from complete non-compact Riemannian manifolds of dimension \(m=\dim M\geq 3\) with infinite volume that admit an Euclidean type Sobolev inequality into general Riemannian manifolds by assuming finiteness of $\|\tau(\phi)\|_{L^p(M)}, p>1$ and smallness of $\|d\phi\|_{L^m(M)}$. This is an improvement of a recent result of the first named author, where he assumed $2<p<m$. As applications we also get several nonexistence results for proper biharmonic submersions from complete non-compact manifolds into general Riemannian manifolds.


title: On a new extension of the zero-divisor graph

abstract: In this paper, we introduce a new graph whose vertices are the nonzero zero-divisors of commutative ring $R$ and for distincts elements $x$ and $y$ in the set $Z(R)^{\star}$ of the nonzero zero-divisors of $R$, $x$ and $y$ are adjacent if and only if $xy=0$ or $x+y\in Z(R)$. we present some properties and examples of this graph and we study his relation with the zero-divisor graph and with a subgraph of total graph of a commutative ring.


title: On a new extension of the zero-divisor graph (II)

abstract: We continue our study of the new extension of zero-divisor graph. We give a complete characterization for the possible diameters of $\widetilde{\Gamma}(R)$ and $\widetilde{\Gamma}(R[x_1,\dots,x_n])$, we investigate the relation between the zero-divisor graph, the subgraph of total graph on $Z(R)^{\star}$ and $\widetilde{\Gamma}(R)$ and we present some other properties of $\widetilde{\Gamma}(R)$.


title: The two Ultraluminous X-ray sources in the galaxy NGC 925

abstract: NGC 925 ULX-1 and ULX-2 are two ultraluminous X-ray sources in the galaxy NGC 925, at a distance of 8.5 Mpc. For the first time, we analyzed high quality, simultaneous XMM-Newton and NuSTAR data of both sources. Although at a first glance ULX-1 resembles an intermediate mass black hole candidate (IMBH) because of its high X-ray luminosity ($(2$$-$$4)\times10^{40}$ erg s$^{-1}$) and its spectral/temporal features, a closer inspection shows that its properties are more similar to those of a typical super-Eddington accreting stellar black hole and we classify it as a `broadened disc' ultraluminous X-ray source. Based on the physical interpretation of this spectral state, we suggest that ULX-1 is seen at small inclination angles, possibly through the evacuated cone of a powerful wind originating in the accretion disc. The spectral classification of ULX-2 is less certain, but we disfavour an IMBH accreting at sub-Eddington rates as none of its spectral/temporal properties can be associated to either the soft or hard state of Galactic accreting black hole binaries.


title: Regular solutions in $f(T)$-Yang-Mills theory

abstract: We consider extended covariant teleparallel $(f(T))$ gravity whose action is analytic in the torsion scalar and which is sourced by an $su(2)$ valued Yang-Mills field. Specifically, we search for regular solutions to the coupled $f(T)$ Yang-Mills system. For $f(T)=T$ we, not surprisingly, recover the Bartnik-McKinnon solitons of Einstein Yang-Mills theory. However, interesting effects are discovered with the addition of terms in the action which are nonlinear in the torsion scalar, which we specifically study up to cubic order. With the addition of the nonlinear terms the number of regular solutions becomes finite. As well, beyond critical values of the coupling constants we find that there exist \emph{no} regular solutions. These behaviors are asymmetric with respect to the sign of the nonlinear coupling constants and the elimination of regular solutions turns out to be extremely sensitive to the presence of the cubic coupling. It may be possible, therefore, that with sufficiently high powers of torsion in the action, there may be no regular Yang-Mills static solutions.


title: Cubic BN optical gap and intragap optically active defects

abstract: We report a comprehensive study on the optical properties of cubic boron nitride (c-BN) and its optically active defects. Using electron energy-loss spectroscopy (EELS) within a monochromated scanning transmission electron microscope (STEM) on the highest-quality crystals available, we demonstrate unequivocally that the optical-gap energy of c-BN slightly exceeds 10 eV. Further theoretical analysis in the framework of the Bethe-Salpeter equation of many-body perturbation theory supports this result. The spatial localization of defect-related emissions has been investigated using nanometric resolved cathodoluminescence (nano-CL) in a STEM. By high-temperature annealing a c-BN powder, we have promoted phase transitions in nanometric domains which have been detected by the appearance of specific hexagonal-phase signatures in both EELS and CL spectra. A high number of intragap optically active centers are known in c-BN, but the literature is rather scattered and hence has been summarized here. For several emission lines we have obtained nano-CL maps which show emission spot sizes as small as few tens of nanometers. Finally, by coupling nano-CL to a Hanbury-Brown-Twiss intensity interferometer, we have addressed individual spots in order to identify the possible presence of single-photon sources. The observed CL bunching effect is compatible with a limited set of single-photon emitters and it permits obtaining emission lifetimes of the order of the nanosecond.


title: Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics

abstract: We consider problems originating in economics that may be solved automatically using mathematical software. We present and make freely available a new benchmark set of such problems. The problems have been shown to fall within the framework of non-linear real arithmetic, and so are in theory soluble via Quantifier Elimination (QE) technology as usually implemented in computer algebra systems. Further, they all can be phrased in prenex normal form with only existential quantifiers and so are also admissible to those Satisfiability Module Theory (SMT) solvers that support the QF_NRA. There is a great body of work considering QE and SMT application in science and engineering, but we demonstrate here that there is potential for this technology also in the social sciences.


title: Complying with Data Handling Requirements in Cloud Storage Systems

abstract: In past years, cloud storage systems saw an enormous rise in usage. However, despite their popularity and importance as underlying infrastructure for more complex cloud services, today's cloud storage systems do not account for compliance with regulatory, organizational, or contractual data handling requirements by design. Since legislation increasingly responds to rising data protection and privacy concerns, complying with data handling requirements becomes a crucial property for cloud storage systems. We present PRADA, a practical approach to account for compliance with data handling requirements in key-value based cloud storage systems. To achieve this goal, PRADA introduces a transparent data handling layer, which empowers clients to request specific data handling requirements and enables operators of cloud storage systems to comply with them. We implement PRADA on top of the distributed database Cassandra and show in our evaluation that complying with data handling requirements in cloud storage systems is practical in real-world cloud deployments as used for microblogging, data sharing in the Internet of Things, and distributed email storage.


title: A distributed scheme for secondary frequency control with stability guarantees and optimal power allocation

abstract: We consider the problem of distributed secondary frequency regulation in power networks such that stability and an optimal power allocation are attained. This is a problem that has been widely studied in the literature, and two main control schemes have been proposed, usually referred to as 'primal-dual' and 'distributed averaging proportional-integral (DAPI)' respectively. However, each has its limitations, with the former requiring knowledge of uncontrollable demand, which can be difficult to obtain in real time, and with the existing literature on the latter being based on static models for generation and demand. We propose a novel control scheme that overcomes these issues by making use of generation measurements in the control policy. In particular, our analysis allows distributed stability and optimality guarantees to be deduced with practical measurement requirements and permits a broad range of linear generation dynamics, that can be of higher order, to be incorporated in the power network. We show how the controller parameters can be selected in a computationally efficient way by solving appropriate linear matrix inequalities (LMIs). Furthermore, we demonstrate how the proposed analysis applies to several examples of turbine governor models. The practicality of our analysis is demonstrated with simulations on the Northeast Power Coordinating Council (NPCC) 140-bus system that verify that our proposed controller achieves convergence to the nominal frequency and an economically optimal power allocation.


title: Effects of an attractive three body interaction on a spin-1 Bose Hubbard model

abstract: We study the effects of an attractive three body interaction potential on a spin-1 ultracold Bose gas using mean field approach (MFA). For an antiferromagnetic (AF) interaction, the third MI lobe is predominantly affected, where it completely engulfs the second and the fourth MI lobes at large values of the interaction strength. Albeit no significant change is observed beyond the fourth MI lobe. The formation of the spin singlet (nematic) MI phase and the different order of phase transitions to the SF phase have been carefully scrutinized with the help of spin eigenvalues and spin nematic order parameter. In the ferromagnetic case, the phase diagram shows similar features as that of a scalar Bose gas. We have compared our results on the MFA phase diagrams for both types of the interaction potential via a perturbation expansion in both the cases.


title: Strong Solutions of Mean-Field Stochastic Differential Equations with irregular drift

abstract: We investigate existence and uniqueness of strong solutions of mean-field stochastic differential equations with irregular drift coefficients. Our direct construction of strong solutions is mainly based on a compactness criterion employing Malliavin Calculus together with some local time calculus. Furthermore, we establish regularity properties of the solutions such as Malliavin differentiablility as well as Sobolev differentiability in the initial condition. Using this properties we formulate an extension of the Bismut-Elworthy-Li formula to mean-field stochastic differential equations to get a probabilistic representation of the first order derivative of an expectation functional with respect to the initial condition.


title: MRFusion: A Deep Learning architecture to fuse PAN and MS imagery for land cover mapping

abstract: Nowadays, Earth Observation systems provide a multitude of heterogeneous remote sensing data. How to manage such richness leveraging its complementarity is a crucial chal- lenge in modern remote sensing analysis. Data Fusion techniques deal with this point proposing method to combine and exploit complementarity among the different data sensors. Considering optical Very High Spatial Resolution (VHSR) images, satellites obtain both Multi Spectral (MS) and panchro- matic (PAN) images at different spatial resolution. VHSR images are extensively exploited to produce land cover maps to deal with agricultural, ecological, and socioeconomic issues as well as assessing ecosystem status, monitoring biodiversity and provid- ing inputs to conceive food risk monitoring systems. Common techniques to produce land cover maps from such VHSR images typically opt for a prior pansharpening of the multi-resolution source for a full resolution processing. Here, we propose a new deep learning architecture to jointly use PAN and MS imagery for a direct classification without any prior image fusion or resampling process. By managing the spectral information at its native spatial resolution, our method, named MRFusion, aims at avoiding the possible infor- mation loss induced by pansharpening or any other hand-crafted preprocessing. Moreover, the proposed architecture is suitably designed to learn non-linear transformations of the sources with the explicit aim of taking as much as possible advantage of the complementarity of PAN and MS imagery. Experiments are carried out on two-real world scenarios depicting large areas with different land cover characteristics. The characteristics of the proposed scenarios underline the applicability and the generality of our method in operational settings.


title: Reducing water entry impact forces

abstract: The forces on an object impacting the water are extreme in the early moments of water entry and can cause structural damage to biological and man-made bodies alike. These early-time forces arise primarily from added mass, peaking when the submergence is much less than one body length. We experimentally investigate a means of reducing impact forces on rigid spheres by making a jet of water strike the quiescent water surface prior to the object impacting. The water jet accelerates the pool liquid and forms a cavity into which a sphere falls. Through on-board accelerometer measurements and high speed imaging, we quantify the force reduction compared to the case of a sphere entering a quiescent pool. Finally, we find the emergence of a critical jet volume required to maximize force reduction; the critical volume is rationalized using scaling arguments informed by near-surface particle image velocimetry (PIV) data.


title: An explanation for the gap in the Gaia HRD for M dwarfs

abstract: We show that the recently discovered narrow gap in the Gaia Hertzsprung - Russell Diagram near MG =10 can be explained by standard stellar evolution models and results from a dip in the luminosity function associated with mixing of 3He during merger of envelope and core convection zones that occurs for a narrow range of masses.


title: Long term Experience in Autonomous Stations and production quality control

abstract: Large area arrays composed by dispersed stations are of major importance in experiments where Extended Air Shower (EAS) sampling is necessary. In those dispersed stations is mandatory to have detectors that requires very low maintenance and shows good resilience to environmental conditions. In 2012 our group started to work in RPCs that could become acceptable candidates to operate within these conditions. Since that time, more than 30 complete detectors were produced, tested and installed in different places, both indoor and outdoor. The data and analysis to be presented is manly related to the tests made in the Auger site, where two RPCs are under test in real conditions for more than two years. The results confirm the capability to operate such kind of RPCs for long time periods under harsh conditions at a stable efficiency. In the last years Lip and USP - S\~ao Carlos start collaboration that aim to install an Eng. Array at BATATA (Auger) site to better study and improve the resilience and performance of the RPCs in outdoor experiments. The organization of such collaboration and the work done so far will be presented.


title: A p-Multigrid Strategy with Anisotropic p-Adaptation Based on Truncation Errors for High-Order Discontinuous Galerkin Methods

abstract: High-order DG methods have become a popular technique in computational fluid dynamics because their accuracy increases spectrally in smooth solutions with the order of the approximation. However, their main drawback is that increasing the order also increases the computational cost. Several techniques have been introduced in the past to reduce this cost. On the one hand, local mesh adaptation strategies based on error estimation have been proposed to reduce the number of degrees of freedom while keeping a similar accuracy. On the other hand, multigrid solvers may accelerate time marching computations for a fixed number of degrees of freedom. In this paper, we combine both methods and present a novel anisotropic p-adaptation multigrid algorithm for steady-state problems that uses the multigrid scheme both as a solver and as an anisotropic error estimator. To achieve this, we show that a recently developed anisotropic truncation error estimator [\textit{Rueda-Ram\'irez et al., Truncation Error Estimation in the p-Anisotropic DGSEM, J. of Scientific Computing}] is perfectly suited to be performed inside the multigrid cycle with negligible extra cost. Furthermore, we introduce a multi-stage p-adaptation procedure which reduces the computational time when very accurate results are required. The proposed methods are tested for the compressible Navier-Stokes equations, where we investigate two cases: the 2D flow on a flat plate is studied to assess accuracy and computational cost of the algorithm, where a speed-up of 816 is achieved compared to the traditional explicit method; and the 3D flow around a sphere is simulated and used to test the anisotropic properties of the proposed method, where a speed-up of 152 is achieved compared to the explicit method. The proposed multi-stage procedure achieved a speed-up of 2.6 in comparison to the single-stage method in highly accurate simulations.


title: Simulating Ising and Potts models and external fields with non-equilibrium condensates

abstract: Classical spin models with discrete or continuous degrees of freedom arise in many studies of complex physical systems. A wide class of hard real-life optimisation problems can be formulated as a minimisation of a spin Hamiltonian. Here we show how to simulate the discrete Ising and Potts models with or without external fields using the physical gain-dissipative platforms with continuous phases such as lasers and various non-equilibrium Bose-Einstein condensates. The underlying operational principle originates from a combination of resonant and non-resonant pumping. Our results lay grounds for the physical simulations of a broad range of Hamiltonians with complex interactions that can vary in time and space and with combined symmetries.


title: Domain walls in a non-linear $\mathbb{S}^2$-sigma model with homogeneous quartic polynomial potential

abstract: In this paper the domain wall solutions of a Ginzburg-Landau non-linear $\mathbb{S}^2$-sigma hybrid model are exactly calculated. There exist two types of basic domain walls and two families of composite domain walls. The domain wall solutions have been identified by using a Bogomolny arrangement in a system of sphero-conical coordinates on the sphere $\mathbb{S}^2$. The stability of all the domain walls is also investigated.


title: Verification of Data-Aware Processes via Array-Based Systems (Extended Version)

abstract: We study verification over a general model of artifact-centric systems, to assess (parameterized) safety properties irrespectively of the initial database instance. We view such artifact systems as array-based systems, which allows us to check safety by adapting backward reachability, establishing for the first time a correspondence with model checking based on Satisfiability-Modulo-Theories (SMT). To do so, we make use of the model-theoretic machinery of model completion, which surprisingly turns out to be an effective tool for verification of relational systems, and represents the main original contribution of this paper. In this way, we pursue a twofold purpose. On the one hand, we reconstruct (restricted to safety) the essence of some important decidability results obtained in the literature for artifact-centric systems, and we devise a genuinely novel class of decidable cases. On the other, we are able to exploit SMT technology in implementations, building on the well-known MCMT model checker for array-based systems, and extending it to make all our foundational results fully operational.


title: Testing the event-chain algorithm in asymptotically free models

abstract: We apply the event-chain algorithm proposed by Bernard, Krauth and Wilson in 2009 to toy models of lattice QCD. We give a formal prove of stability of the algorithm. We study its performance at the example of the massive Gaussian model on the square and the simple cubic lattice, the $O(3)$-invariant non-linear $\sigma$-model and the $SU(3) \times SU(3)$ principle chiral model on the square lattice. In all these cases we find that critical slowing down is essentially eliminated.


title: Investigating Speech Features for Continuous Turn-Taking Prediction Using LSTMs

abstract: For spoken dialog systems to conduct fluid conversational interactions with users, the systems must be sensitive to turn-taking cues produced by a user. Models should be designed so that effective decisions can be made as to when it is appropriate, or not, for the system to speak. Traditional end-of-turn models, where decisions are made at utterance end-points, are limited in their ability to model fast turn-switches and overlap. A more flexible approach is to model turn-taking in a continuous manner using RNNs, where the system predicts speech probability scores for discrete frames within a future window. The continuous predictions represent generalized turn-taking behaviors observed in the training data and can be applied to make decisions that are not just limited to end-of-turn detection. In this paper, we investigate optimal speech-related feature sets for making predictions at pauses and overlaps in conversation. We find that while traditional acoustic features perform well, part-of-speech features generally perform worse than word features. We show that our current models outperform previously reported baselines.


title: Fermion scattering by a class of Bardeen black holes

abstract: In this paper the scattering of fermions by a class of Bardeen black holes is investigated. After obtaining the scattering modes by solving the Dirac equation in this geometry, we use the partial wave method to derive an analytical expression for the phase shifts that enter into the definitions of partial amplitudes that define the scattering cross sections and the induced polarization. It is then showed that, like in the case of Schwarzschild and Reissner-Nordstr\"om, the phenomena of glory and spiral scattering are present.


title: Bayesian Deep Learning on a Quantum Computer

abstract: Bayesian methods in machine learning, such as Gaussian processes, have great advantages com-pared to other techniques. In particular, they provide estimates of the uncertainty associated with a prediction. Extending the Bayesian approach to deep architectures has remained a major challenge. Recent results connected deep feedforward neural networks with Gaussian processes, allowing training without backpropagation. This connection enables us to leverage a quantum algorithm designed for Gaussian processes and develop a new algorithm for Bayesian deep learning on quantum computers. The properties of the kernel matrix in the Gaussian process ensure the efficient execution of the core component of the protocol, quantum matrix inversion, providing an at least polynomial speedup over classical algorithms. Furthermore, we demonstrate the execution of the algorithm on contemporary quantum computers and analyze its robustness with respect to realistic noise models.


title: QuantumInformation.jl---a Julia package for numerical computation in quantum information theory

abstract: Numerical investigations are an important research tool in quantum information theory. There already exists a wide range of computational tools for quantum information theory implemented in various programming languages. However, there is little effort in implementing this kind of tools in the Julia language. Julia is a modern programming language designed for numerical computation with excellent support for vector and matrix algebra, extended type system that allows for implementation of elegant application interfaces and support for parallel and distributed computing. QuantumInformation.jl is a new quantum information theory library implemented in Julia that provides functions for creating and analyzing quantum states, and for creating quantum operations in various representations. An additional feature of the library is a collection of functions for sampling random quantum states and operations such as unitary operations and generic quantum channels.


title: Neighbor-Locating Colorings in Graphs

abstract: A $k$-coloring of a graph $G$ is a $k$-partition $\Pi=\{S_1,\ldots,S_k\}$ of $V(G)$ into independent sets, called \emph{colors}. A $k$-coloring is called \emph{neighbor-locating} if for every pair of vertices $u,v$ belonging to the same color $S_i$, the set of colors of the neighborhood of $u$ is different from the set of colors of the neighborhood of $v$. The neighbor-locating chromatic number $\chi _{_{NL}}(G)$ is the minimum cardinality of a neighbor-locating coloring of $G$. We establish some tight bounds for the neighbor-locating chromatic number of a graph, in terms of its order, maximum degree and independence number. We determine all connected graphs of order $n\geq 5$ with neighbor-locating chromatic number $n$ or $n-1$. We examine the neighbor-locating chromatic number for two graph operations: join and disjoint union, and also for two graph families: split graphs and Mycielski graphs.


title: Subvector Inference in Partially Identified Models with Many Moment Inequalities

abstract: This paper considers inference for a function of a parameter vector in a partially identified model with many moment inequalities. This framework allows the number of moment conditions to grow with the sample size, possibly at exponential rates. Our main motivating application is subvector inference, i.e., inference on a single component of the partially identified parameter vector associated with a treatment effect or a policy variable of interest. Our inference method compares a MinMax test statistic (minimum over parameters satisfying $H_0$ and maximum over moment inequalities) against critical values that are based on bootstrap approximations or analytical bounds. We show that this method controls asymptotic size uniformly over a large class of data generating processes despite the partially identified many moment inequality setting. The finite sample analysis allows us to obtain explicit rates of convergence on the size control. Our results are based on combining non-asymptotic approximations and new high-dimensional central limit theorems for the MinMax of the components of random matrices. Unlike the previous literature on functional inference in partially identified models, our results do not rely on weak convergence results based on Donsker's class assumptions and, in fact, our test statistic may not even converge in distribution. Our bootstrap approximation requires the choice of a tuning parameter sequence that can avoid the excessive concentration of our test statistic. To this end, we propose an asymptotically valid data-driven method to select this tuning parameter sequence. This method generalizes the selection of tuning parameter sequences to problems outside the Donsker's class assumptions and may also be of independent interest. Our procedures based on self-normalized moderate deviation bounds are relatively more conservative but easier to implement.


title: Worldline Formalism in Snyder Spaces

abstract: We study the $\phi_{\star}^4$ model for a scalar field in a linearization of the Snyder model, using the methods of the Worldline Formalism. Our main result is a master equation for the 1-loop n-point function. From this we derive the renormalization of the coupling parameters of the theory and observe the appearance of a $\phi^6$ divergent contribution that opens the question of whether this theory is renormalizable or not. Additionally, we observe that some terms in the renormalized action can be interpreted as coming from an effective metric proportional to the square of the field.


title: Simplified Active Calibration

abstract: We present a new mathematical formulation to estimate the intrinsic parameters of a camera in active or robotic platforms. We show that the focal lengths can be estimated using only one point correspondence that relates images taken before and after a degenerate rotation of the camera. The estimated focal lengths are then treated as known parameters to obtain a linear set of equations to calculate the principal point. Assuming that the principal point is close to the image center, the accuracy of the linear equations are increased by integrating the image center into the formulation. We extensively evaluate the formulations on a simulated camera, 3D scenes and real-world images. Our error analysis over simulated and real images indicates that the proposed Simplified Active Calibration method estimates the parameters of a camera with low error rates that can be used as an initial guess for further non-linear refinement procedures. Simplified Active Calibration can be employed in real-time environments for automatic calibrations given the proposed closed-form solutions.


title: Proximity-induced topological transition and strain-induced charge transfer in graphene/MoS2 bilayer heterostructures

abstract: Graphene/MoS2 heterostructures are formed by combining the nanosheets of graphene and monolayer MoS2. The electronic features of both constituent monolayers are rather well-preserved in the resultant heterostructure due to the weak van der Waals interaction between the layers. However, the proximity of MoS2 induces strong spin orbit coupling effect of strength ~1 meV in graphene, which is nearly three orders of magnitude larger than the intrinsic spin orbit coupling of pristine graphene. This opens a bandgap in graphene and further causes anticrossings of the spin-nondegenerate bands near the Dirac point. Lattice incommensurate graphene/MoS2 heterostructure exhibits interesting moire' patterns which have been observed in experiments. The electronic bandstructure of heterostructure is very sensitive to biaxial strain and interlayer twist. Although the Dirac cone of graphene remains intact and no charge-transfer between graphene and MoS2 layers occurs at ambient conditions, a strain-induced charge-transfer can be realized in graphene/MoS2 heterostructure. Application of a gate voltage reveals the occurrence of a topological phase transition in graphene/MoS2 heterostructure. In this chapter, we discuss the crystal structure, interlayer effects, electronic structure, spin states, and effects due to strain and substrate proximity on the electronic properties of graphene/MoS2 heterostructure. We further present an overview of the distinct topological quantum phases of graphene/MoS2 heterostructure and review the recent advancements in this field.