title: Dipole coupling of a tunable hole double quantum dot in germanium hut wire to a microwave resonator

abstract: The germanium (Ge) hut wire system has strong spin-orbit coupling, a long coherence time due to a very large heavy-light hole splitting, and the advantage of site-controlled large-scale hut wire positioning. These properties make the Ge hut wire a promising candidate for the realization of strong coupling of spin to superconducting resonators and scalability for multiple qubit coupling. We have coupled a reflection line resonator to a hole double quantum dot (DQD) formed in Ge hut wire. The amplitude and phase responses of the microwave resonator revealed that the charge stability diagrams of the DQD are in good agreement with those obtained from transport measurements. The DQD interdot tunneling rate is shown to be tunable from 6.2 GHz to 8.5 GHz, which demonstrates the ability to adjust the frequency detuning between the qubit and the resonator. Furthermore, we achieved a hole-resonator coupling strength of up to 15 MHz, with a charge qubit decoherence rate of 0.28 GHz. Meanwhile the hole spin-resonator coupling rate was estimated to be 3 MHz. These results suggest that holes of a DQD in a Ge hut wire are dipole coupled to microwave photons, potentially enabling tunable hole spin-photon interactions in Ge with an inherent spin-orbit coupling.


title: Predictive Accuracy of Dynamic Mode Decomposition

abstract: Dynamic mode decomposition (DMD), which the family of singular-value decompositions (SVD), is a popular tool of data-driven regression. While multiple numerical tests demonstrated the power and efficiency of DMD in representing data (i.e., in the interpolation mode), applications of DMD as a predictive tool (i.e., in the extrapolation mode) are scarce. This is due, in part, to the lack of rigorous error estimators for DMD-based predictions. We provide a theoretical error estimator for DMD extrapolation of numerical solutions to linear and nonlinear parabolic equations. This error analysis allows one to monitor and controls the errors associated with DMD-based temporal extrapolation of numerical solutions to parabolic differential equations. We use several computational experiments to verify the robustness of our error estimators and to compare the predictive ability of DMD with that of proper orthogonal decomposition (POD), another member of the SVD family. Our analysis demonstrates the importance of a proper selection of observables, as predicted by the Koopman operator theory. In all the tests considered, DMD outperformed POD in terms of efficiency due to its iteration-free feature. In some of these experiments, POD proved to be more accurate than DMD. This suggests that DMD is preferable for obtaining a fast prediction with slightly lower accuracy, while POD should be used if the accuracy is paramount.


title: A Pattern Recognition Method for Partial Discharge Detection on Insulated Overhead Conductors

abstract: Today,insulated overhead conductors are increasingly used in many places of the world due to the higher operational reliability, elimination of phase-to-phase contact, closer distances between phases and stronger protection for animals. However, the standard protection devices are often not able to detect the conductor phase-to-ground fault and the more frequent tree/tree branch hitting conductor events as these events only lead to partial discharge (PD) activities instead of causing overcurrent seen on bare conductors. To solve this problem, in recent years, Technical University of Ostrava (VSB) devised a special meter to measure the voltage signal of the stray electrical field along the insulated overhead conductors, hoping to detect the above hazardous PD activities. In 2018, VSB published a large amount of waveform data recorded by their meter on Kaggle, the world's largest data science collaboration platform, looking for promising pattern recognition methods for this application. To tackle this challenge, we developed a unique method based on Seasonal and Trend decomposition using Loess (STL) and Support Vector Machine (SVM) to recognize PD activities on insulated overhead conductors. Different SVM kernels were tested and compared. Satisfactory classification rates on VSB dataset were achieved with the use of Gaussian radial basis kernel.


title: Probing the charm-Higgs Yukawa coupling via Higgs boson decay to $h_c$ plus a photon

abstract: In this paper, we investigate the decay of Higgs boson to $h_c$ plus a photon in the NRQCD theoretical framework. Comparing with the Higgs decay to $J/\psi$ plus a photon channel, this process has not indirect contribution, can be used to detect the Yukawa coupling of Higgs and charm quarks. The results show that the decay branch ratio of this process is about $10^{-8}$. If we takes into account the $10^{-3}$ efficiency in the $h_c$ detection, no events will be available even in the case of $30ab^{-1}$ luminosity at FCC-pp with 100 TeV center of mass energy. However, if the detection efficiency of $h_c$ is greatly improved in the future, this process will play an important role at linear $e^+e^-$ future colliders and at LHCb. Moreover, this process should be also play an important role when the anomalous charm Yukawa couplings are larger and direct sensitivity.


title: Stability Control of Walking Biped Robots based on Total Momentum

abstract: Principle Equation of Motion (for walkers) is derived that later results in introducing two piecewise-continuous dynamical systems namely Simplified Walking Model (SWM) and Complete Walking Model (CWM) which both describe the behavior of walker with emphasis on the motion in horizontal plane. By making some realistic assumptions based on human natural walking, a simplified equation of motion named Step-to-Step Equation of Walking is formulated. By imposing repetition condition on this equation, we reach to a significant finding named Simple and Compound Motion Cycles as general solutions of steady walking. Among motion cycles, Simple Forward Motion Cycle represents normal walking pattern. These cycles have marginal stability that in practice cause the motion to diverge exponentially even under slight disturbance. By defining stabilization of walking as guidance of a motion initiated from arbitrary initial states to a desired motion cycle and controlling the motion about it, two major strategies are presented for stability control of the walkers; 1) Continuous altering of Center of Pressure (CoP) within support polygon, and 2) Continual planning of the step length and duration. Using these two strategies and based on Simplified Walking Model (SWM), four methods of stability control named generally as Motion Cycle Stabilizers are proposed and their theoretical aspects are inspected. To consider the strengths and weaknesses of the proposed stabilizers on Complete Model of Walking (CWM), some simulations are performed on a physical model with realistic constraints. to overcome the deficiencies of the Stabilizers, method of Optimal Stability Control is proposed to complete the solution. Simulations show that the proposed approach for stabilization of biped walkers provides us with a more robust solution compared to traditional approaches and maximally guarantee the stability of walkers.


title: Learning Graph Neural Networks with Noisy Labels

abstract: We study the robustness to symmetric label noise of GNNs training procedures. By combining the nonlinear neural message-passing models (e.g. Graph Isomorphism Networks, GraphSAGE, etc.) with loss correction methods, we present a noise-tolerant approach for the graph classification task. Our experiments show that test accuracy can be improved under the artificial symmetric noisy setting.


title: Semiconductor Quantum Computation

abstract: Semiconductors, a significant type of material in the information era, are becoming more and more powerful in the field of quantum information. In the last decades, semiconductor quantum computation was investigated thoroughly across the world and developed with a dramatically fast speed. The researches vary from initialization, control and readout of qubits, to the architecture of fault tolerant quantum computing. Here, we first introduce the basic ideas for quantum computing, and then discuss the developments of single- and two- qubit gate control in semiconductor. Till now, the qubit initialization, control and readout can be realized with relatively high fidelity and a programmable two-qubit quantum processor was even demonstrated. However, to further improve the qubit quality and scale it up, there are still some challenges to resolve such as the improvement of readout method, material development and scalable designs. We discuss these issues and introduce the forefronts of progress. Finally, considering the positive trend of the research on semiconductor quantum devices and recent theoretical work on the applications of quantum computation, we anticipate that semiconductor quantum computation may develop fast and will have a huge impact on our lives in the near future.


title: Stabilization of Bipedal Robot Motion based on Total Momentum

abstract: Bipedal robots adapt to the environment of the modern society due to the similarity of movement to humans, and therefore they are a good partner for humans. However, maintaining the stability of these robots during walking/running motion is a challenging issue that, despite the development of new technologies and the advancement of knowledge, does not yet have a satisfactory solution. In most of the proposed methods by researchers, to maintain the stability of walking bipedal robots, it has been tried to ensure the momentary stability of motion by limiting the motion to multiple constraints. Although these methods have good performance in sustaining stability, they leave the robot away from the natural movement of humans, with low efficiency and high energy consumption. Hence, many researchers have turned to the walking techniques that follow a certain motion limit cycle, in which we can consider the overall stability rather than momentary. In this paper, a method is proposed to maintain the stability of the limit cycle against disturbance. For this purpose, the dynamical model of the biped robot is extracted in the space of total momentum variables and, according to the desired step length and speed, the motion limit cycle is designed. Subsequently, a motion stabilizer is proposed based on the idea of length shift, which is a natural human strategy for sustaining the balance in case of impact. The simulations show that this technique has a good performance in maintaining the stability of motion and has similar responses to human response.


title: How would a nearby kilonova look on camera?

abstract: Kilonovae are cosmic optical flashes produced in the aftermath of the merger of two neutron stars. While the typical radiant flux of a kilonova can be as high as $10^{34}$\,W, they typically occur at cosmological distances, requiring meter-class or larger telescopes for their observation. Here we explore how a kilonova would look like from Earth if it occurred in the Solar System's backyard, 1000 light years from Earth. This is a small distance on cosmological scales, with only one neutron-star merger expected to occur this close every 100,000,000 years. While humans will likely only see kilonovae at much greater distances, showing how such a nearby event would look on camera can help visualize these events, and demonstrate their unique spectral evolution.


title: On Exploring Undetermined Relationships for Visual Relationship Detection

abstract: In visual relationship detection, human-notated relationships can be regarded as determinate relationships. However, there are still large amount of unlabeled data, such as object pairs with less significant relationships or even with no relationships. We refer to these unlabeled but potentially useful data as undetermined relationships. Although a vast body of literature exists, few methods exploit these undetermined relationships for visual relationship detection. In this paper, we explore the beneficial effect of undetermined relationships on visual relationship detection. We propose a novel multi-modal feature based undetermined relationship learning network (MF-URLN) and achieve great improvements in relationship detection. In detail, our MF-URLN automatically generates undetermined relationships by comparing object pairs with human-notated data according to a designed criterion. Then, the MF-URLN extracts and fuses features of object pairs from three complementary modals: visual, spatial, and linguistic modals. Further, the MF-URLN proposes two correlated subnetworks: one subnetwork decides the determinate confidence, and the other predicts the relationships. We evaluate the MF-URLN on two datasets: the Visual Relationship Detection (VRD) and the Visual Genome (VG) datasets. The experimental results compared with state-of-the-art methods verify the significant improvements made by the undetermined relationships, e.g., the top-50 relation detection recall improves from 19.5% to 23.9% on the VRD dataset.


title: Fast communication-efficient spectral clustering over distributed data

abstract: The last decades have seen a surge of interests in distributed computing thanks to advances in clustered computing and big data technology. Existing distributed algorithms typically assume {\it all the data are already in one place}, and divide the data and conquer on multiple machines. However, it is increasingly often that the data are located at a number of distributed sites, and one wishes to compute over all the data with low communication overhead. For spectral clustering, we propose a novel framework that enables its computation over such distributed data, with "minimal" communications while a major speedup in computation. The loss in accuracy is negligible compared to the non-distributed setting. Our approach allows local parallel computing at where the data are located, thus turns the distributed nature of the data into a blessing; the speedup is most substantial when the data are evenly distributed across sites. Experiments on synthetic and large UC Irvine datasets show almost no loss in accuracy with our approach while about 2x speedup under various settings with two distributed sites. As the transmitted data need not be in their original form, our framework readily addresses the privacy concern for data sharing in distributed computing.


title: Enhanced zeta distributions and its functional equations

abstract: We consider an ``enhanced symmetric space'', which is a prehomogeneous vector space. This vector space is intimately related to a double flag variety studied in \cite{NO.2018}. On a distinguished open orbit called ``enhanced positive cone'', we consider a zeta integral with two complex variables, which is analytically continued to meromorphic family of tempered distributions. One of the main results of this paper is to establish a precise formula for the meromorphic continuation which clarifies the location of poles (and may be useful to obtain residues). We also compute the Fourier transform of the zeta distribution and obtain a functional equation with explicit gamma factors.


title: Optoelectronic and transport properties of Fe2TiGe with the Tran-Blaha modified Becke-Johnson potential

abstract: In this paper, we have performed first principles calculations to study optoelectronic, thermodynamic and transport properties of Fe2TiGe using density functional theory (DFT). The semi-classical Boltzmann transport theory is used to investigate transport properties. The calculated energy bands indicate that Fe2TiGe is an indirect band gap semiconductor with band gap 0.734 eV for TB-mBJ functional. Fe-3d and Ti-3d orbitals have the dominant contributions to the density of states due to strong hybridization between them. The maximum value of absorption coefficient is found to be 224x10^4 cm-1 in the ultraviolet region. It is found that the static refractive index of Fe2TiGe is 5.18 which is very close to that of Ge and much higher than that of GaAs. The obtained refractive index implies that Fe2TiGe is a potential optical material that can be used in optical devices such as photonic crystal, wave guides and solar cells. The Debye temperature at ambient condition is 570 K and decreases slowly with temperature. The Gruneisen parameter at ambient pressure and 300 K is 2.1 and slightly higher than that of PbTe (1.5). The calculated Seebeck coefficient and power factor at 300 K using TB-mBJ functional are 271x10^-6 VK^-1 and 5.9x10^10 Wcm^-1K^-2, respectively. Therefore, the calculated optoelectronic properties implies that Fe2TiGe is a potential candidate for photovoltaic device applications.


title: A new characterization of generalized Browder's theorem and a Cline's formula for generalized Drazin-meromorphic inverses

abstract: In this paper, we give a new characterization of generalized Browder's theorem by considering equality between the generalized Drazin-meromorphic Weyl spectrum and the generalized Drazin-meromorphic spectrum. Also, we generalize Cline's formula to the case of generalized Drazin-meromorphic invertibility under the assumption that $A^kB^kA^k=A^{k+1}$ for some positive integer $k$.


title: Nilpotent Group-Counterexamples to Zilbers Conjecture

abstract: We construct uncountably categorical 3-nilpotent groups of exponent p > 3. They are not one-based and do not allow the interpretation of an infinite field. Therefore they are counterexamples to Zilbers Conjecture. First 2-nilpotent new uncoutably categorical groups were contructed in [3]. Here we use the method of the additive Collapse developed in [5]. Essentially we work with 3-nilpotent graded Lie algebras over the field with p elements.


title: Learning families of algebraic structures from informant

abstract: We combine computable structure theory and algorithmic learning theory to study learning of families of algebraic structures. Our main result is a model-theoretic characterization of the class $\mathbf{InfEx}_{\cong}$, consisting of the structures whose isomorphism types can be learned in the limit. We show that a family of structures $\mathfrak{K}$ is $\mathbf{InfEx}_{\cong}$-learnable if and only if the structures from $\mathfrak{K}$ can be distinguished in terms of their $\Sigma^{\mathrm{inf}}_2$-theories. We apply this characterization to familiar cases and we show the following: there is an infinite learnable family of distributive lattices; no pair of Boolean algebras is learnable; no infinite family of linear orders is learnable.


title: A Holomorphic Embedding Based Continuation Method for Identifying Multiple Power Flow Solutions

abstract: In this paper, we propose an efficient continuation method for locating multiple power flow solutions. We adopt the holomorphic embedding technique to represent solution curves as holomorphic functions in the complex plane. The holomorphicity, which provides global information of the curve at any regular point, enables large step sizes in the path-following procedure such that non-singular curve segments can be traversed with very few steps. When approaching singular points, we switch to the traditional predictor-corrector routine to pass through them and switch back afterward to the holomorphic embedding routine. We also propose a warm starter when switching to the predictor-corrector routine, i.e. a large initial step size based on the poles of the Pad\'{e} approximation of the derived holomorphic function, since these poles reveal the locations of singularities on the curve. Numerical analysis and experiments on many standard IEEE test cases are presented, along with the comparison to the full predictor-corrector routine, confirming the efficiency of the method.


title: Glassy Dynamics in Models of Confluent Tissue with Mitosis and Apoptosis

abstract: Recent work on particle-based models of tissues has suggested that any finite rate of cell division and cell death is sufficient to fluidize an epithelial tissue. At the same time, experimental evidence has indicated the existence of glassy dynamics in some epithelial layers despite continued cell cycling. To address this discrepancy, we quantify the role of cell birth and death on glassy states in confluent tissues using simulations of an active vertex model that includes cell motility, cell division, and cell death. Our simulation data is consistent with a simple ansatz in which the rate of cell-life cycling and the rate of relaxation of the tissue in the absence of cell cycling contribute independently and additively to the overall rate of cell motion. Specifically, we find that a glass-like regime with caging behavior indicated by subdiffusive cell displacements can be achieved in systems with sufficiently low rates of cell cycling.


title: First insight into the regime transition dynamics of mode-locked fibre lasers

abstract: Mode-locked lasers exhibit complex nonlinear dynamics. Precise observation of these dynamics will aid in understanding of the underlying physics and provide new insights for laser design and applications. The starting dynamics, from initial noise fluctuations to the mode-locking regime, have previously been observed directly by time-stretched transform-based real-time spectroscopy. However, the regime transition dynamics, which are essential processes in mode-locked lasers, have not yet been resolved because regime transition process tracking is very challenging. Here we demonstrate the first insight into the regime transition dynamics enabled by our design of a real-time programmable mode-locked fibre laser, in which different operating regimes can be achieved and switched automatically. The regime transition dynamics among initial noise fluctuations, Q-switching, fundamental mode-locking and harmonic mode-locking regimes have been observed and thoroughly analysed by both temporal and spectral means. These findings will enrich our understanding of the complex dynamics inside mode-locked lasers.


title: Nitsche's method for a Robin boundary value problem in a smooth domain

abstract: We prove several optimal-order error estimates for a finite-element method applied to an inhomogeneous Robin boundary value problem (BVP) for the Poisson equation defined in a smooth bounded domain in $\mathbb{R}^n$, $n=2,3$. The boundary condition is weakly imposed using Nitsche's method. The Robin BVP is interpreted as the classical penalty method with the penalty parameter $\varepsilon$. The optimal choice of the mesh size $h$ relative to $\varepsilon$ is a non-trivial issue. This paper carefully examines the dependence of $\varepsilon$ on error estimates. Our error estimates require no unessential regularity assumptions on the solution. Numerical examples are also reported to confirm our results.


title: Extensions of Continuous Function in LG-Topology

abstract: In this article we introduce three maps, OLG, CLG and LG in LGT-space literature and show that these maps are extension of the continuous function in LGT-spaces and have the almost properties of the continuous functions. Also, it has been introduced and studied the natural notions, quotient, decomposition, weak LG-topology and isomorphism, related to the continuous function.


title: Performance Evaluation of the NDN Data Plane Using Statistical Model Checking

abstract: Named Data Networking (NDN) is an emerging technology for a future internet architecture that addresses weaknesses of the Internet Protocol (IP). Since Internet users and applications have demonstrated an ever-increasing need for high speed packet forwarding, research groups have investigated different designs and implementation for fast NDN data plane forwarders and claimed they were capable of achieving high throughput rates. However, the correctness of these statements is not supported by any verification technique or formal proof. In this paper, we propose using a formal model-based approach to overcome this issue. We consider the NDN-DPDK prototype implementation of a forwarder realized at NIST, which leverages concurrency to enhance overall quality of service. We use our approach to improve its design and to formally show that it can achieve high throughput rates.


title: PasteGAN: A Semi-Parametric Method to Generate Image from Scene Graph

abstract: Despite some exciting progress on high-quality image generation from structured(scene graphs) or free-form(sentences) descriptions, most of them only guarantee the image-level semantical consistency, i.e. the generated image matching the semantic meaning of the description. They still lack the investigations on synthesizing the images in a more controllable way, like finely manipulating the visual appearance of every object. Therefore, to generate the images with preferred objects and rich interactions, we propose a semi-parametric method, PasteGAN, for generating the image from the scene graph and the image crops, where spatial arrangements of the objects and their pair-wise relationships are defined by the scene graph and the object appearances are determined by the given object crops. To enhance the interactions of the objects in the output, we design a Crop Refining Network and an Object-Image Fuser to embed the objects as well as their relationships into one map. Multiple losses work collaboratively to guarantee the generated images highly respecting the crops and complying with the scene graphs while maintaining excellent image quality. A crop selector is also proposed to pick the most-compatible crops from our external object tank by encoding the interactions around the objects in the scene graph if the crops are not provided. Evaluated on Visual Genome and COCO-Stuff dataset, our proposed method significantly outperforms the SOTA methods on Inception Score, Diversity Score and Fr\'echet Inception Distance. Extensive experiments also demonstrate our method's ability to generate complex and diverse images with given objects.


title: Matrix Product States with adaptive global symmetries

abstract: Quantum many body physics simulations with Matrix Product States can often be accelerated if the quantum symmetries present in the system are explicitly taken into account. Conventionally, quantum symmetries have to be determined before hand when constructing the tensors for the Matrix Product States algorithm. In this work, we present a Matrix Product States algorithm with an adaptive $U(1)$ symmetry. This algorithm can take into account of, or benefit from, $U(1)$ or $Z_2$ symmetries when they are present, or analyze the non-symmetric scenario when the symmetries are broken without any external alteration of the code. To give some concrete examples we consider an XYZ model and show the insight that can be gained by (i) searching the ground state and (ii) evolving in time after a symmetry-changing quench. To show the generality of the method, we also consider an interacting bosonic system under the effect of a symmetry-breaking dissipation.


title: Monogamy relations of all quantum correlation measures for multipartite quantum systems

abstract: The monogamy relations of quantum correlation restrict the sharability of quantum correlations in multipartite quantum states. We show that all measures of quantum correlations satisfy some kind of monogamy relations for arbitrary multipartite quantum states. Moreover, by introducing residual quantum correlations, we present tighter monogamy inequalities that are better than all the existing ones. In particular, for multi-qubit pure states, we also establish new monogamous relations based on the concurrence and concurrence of assistance under the partition of the first two qubits and the remaining ones.


title: Hidden symmetries of two-field cosmological models

abstract: We determine the most general time-independent Noether symmetries of two-field cosmological models with rotationally-invariant scalar manifold metrics. In particular, we show that such models can have hidden symmetries, which arise if and only if the scalar manifold metric has Gaussian curvature $-3/8$, i.e. when the model is of elementary $\alpha$-attractor type with a fixed value of the parameter $\alpha$. In this case, we find explicitly all scalar potentials compatible with hidden Noether symmetries, thus classifying all models of this type. We also discuss some implications of the corresponding conserved quantity.


title: Modelling the tightest relation between galaxy properties and dark matter halo properties from hydrodynamical simulations of galaxy formation

abstract: We investigate how a property of a galaxy correlates most tightly with a property of its host dark matter halo, using state-of-the-art hydrodynamical simulations of galaxy formation EAGLE, Illustris, and IllustrisTNG. Unlike most of the previous work, our analyses focus on all types of galaxies, including both central and satellite galaxies. We find that the stellar mass of a galaxy at the epoch of the peak circular velocity with an evolution correction gives the tightest such correlation to the peak circular velocity $V_{\rm peak}$ of the galaxy's underling dark matter halo. The evolution of galaxy stellar mass reduces rather than increases scatter in such a relation. We also find that one major source of scatter comes from star stripping due to the strong interactions between galaxies. Even though, we show that the size of scatter predicted by hydrodynamical simulations has a negligible impact on the clustering of dense $V_{\rm peak}$-selected subhalo from simulations, which suggests that even the simplest subhalo abundance matching (SHAM), without scatter and any additional free parameter, can provide a robust prediction of galaxy clustering that can agree impressively well with the observations from the SDSS main galaxy survey.


title: Generalized Entanglement Monogamy and Polygamy Relations for N -Qubit Systems

abstract: We investigate the generalized monogamy and polygamy relations $N$-qubit systems. We give a general upper bound of the $\alpha$th ($0\leq\alpha\leq2$) power of concurrence for $N$-qubit states. The monogamy relations satisfied by the $\alpha$th ($0\leq\alpha\leq2$) power of concurrence are presented for $N$-qubit pure states under the partition $AB$ and $C_1 . . . C_{N-2}$, as well as under the partition $ABC_1$ and $C_2\cdots C_{N-2}$. These inequalities give rise to the restrictions on entanglement distribution and the trade off of entanglement among the subsystems. Similar results are also derived for negativity.


title: A Review of Object Detection Models based on Convolutional Neural Network

abstract: Convolutional Neural Network (CNN) has become the state-of-the-art for object detection in image task. In this chapter, we have explained different state-of-the-art CNN based object detection models. We have made this review with categorization those detection models according to two different approaches: two-stage approach and one-stage approach. Through this chapter, it has shown advancements in object detection models from R-CNN to latest RefineDet. It has also discussed the model description and training details of each model. Here, we have also drawn a comparison among those models.


title: Public vs Media Opinion on Robots

abstract: Fast proliferation of robots in people's everyday lives during recent years calls for a profound examination of public consensus, which is the ultimate determinant of the future of this industry. This paper investigates text corpora, consisting of posts in Twitter, Google News, Bing News, and Kickstarter, over an 8 year period to quantify the public and media opinion about this emerging technology. Results demonstrate that the news platforms and the public take an overall positive position on robots. However, there is a deviation between news coverage and people's attitude. Among various robot types, sex robots raise the fiercest debate. Besides, our evaluation reveals that the public and news media conceptualization of robotics has altered over the recent years. More specifically, a shift from the solely industrial-purposed machines, towards more social, assistive, and multi-purpose gadgets is visible.


title: Manifolds of positive Ricci curvature, quadratically asymptotically nonnegative curvature, and infnite Betti numbers

abstract: In a previous paper, we constructed complete manifolds of positive Ricci curvature with quadratically asymptotically nonnegative curvature and infinite topological type but dimension $\ge 6$. The purpose of the present paper is to use a different way to exhibit a family of complete $I$-dimensinal ($I\ge5$) Riemannian manifolds of positive Ricci curvature, quadratically asymptotically nonnegative sectional curvature, and certain infinite Betti number $b_j$ ($2\le j\le I-2$).


title: Evidence for Gross Domestic Product growth time delay dependence over Foreign Direct Investment. A time-lag dependent correlation study

abstract: This paper considers an often forgotten relationship, the time delay between a cause and its effect in economies and finance. We treat the case of Foreign Direct Investment (FDI) and economic growth, - measured through a country Gross Domestic Product (GDP). The pertinent data refers to 43 countries, over 1970-2015, - for a total of 4278 observations. When countries are grouped according to the Inequality-Adjusted Human Development Index (IHDI), it is found that a time lag dependence effect exists in FDI-GDP correlations. This is established through a time-dependent Pearson 's product-moment correlation coefficient matrix. Moreover, such a Pearson correlation coefficient is observed to evolve from positive to negative values depending on the IHDI, from low to high. It is "politically and policy "relevant" that the correlation is statistically significant providing the time lag is less than 3 years. A "rank-size" law is demonstrated. It is recommended to reconsider such a time lag effect when discussing previous analyses whence conclusions on international business, and thereafter on forecasting.


title: Thermodynamics and weak cosmic censorship conjecture in the Kerr-AdS black hole

abstract: We investigate the laws of thermodynamics and weak cosmic censorship conjecture in the normal and extended phase space of a Kerr-AdS black hole by analyzing the energy-momentum relation of the absorbed fermion dropping into the horizon. In the normal phase space, the first law, second law as well as the weak cosmic censorship conjecture are found to be valid in all the initial states of the black hole. However, in the extended phase space, although the first law and weak cosmic censorship conjecture are still valid, the second law becomes more subtle. We find that the validity or violation of the second law depends on the spin parameter, the radius of the AdS spacetime, and their variations. In addition, in the extended phase space, the configurations of the extremal and near-extremal Kerr-AdS black holes are unchanged as the fermions are absorbed since the final and initial states are the same.


title: Exciton gas transport through nano-constrictions

abstract: An indirect exciton is a bound state of an electron and a hole in spatially separated layers. Two-dimensional indirect excitons can be created optically in heterostructures containing double quantum wells or atomically thin semiconductors. We study theoretically transmission of such bosonic quasiparticles through nano-constrictions. We show that quantum transport phenomena, e.g., conductance quantization, single-slit diffraction, two-slit interference, and the Talbot effect, are experimentally realizable in systems of indirect excitons. We discuss similarities and differences between these phenomena and their counterparts in electronic devices.


title: Maximal Margin Distribution Support Vector Regression with coupled Constraints-based Convex Optimization

abstract: Support vector regression (SVR) is one of the most popular machine learning algorithms aiming to generate the optimal regression curve through maximizing the minimal margin of selected training samples, i.e., support vectors. Recent researchers reveal that maximizing the margin distribution of whole training dataset rather than the minimal margin of a few support vectors, is prone to achieve better generalization performance. However, the margin distribution support vector regression machines suffer difficulties resulted from solving a non-convex quadratic optimization, compared to the margin distribution strategy for support vector classification, This paper firstly proposes a maximal margin distribution model for SVR(MMD-SVR), then implementing coupled constrain factor to convert the non-convex quadratic optimization to a convex problem with linear constrains, which enhance the training feasibility and efficiency for SVR to derived from maximizing the margin distribution. The theoretical and empirical analysis illustrates the superiority of MMD-SVR. In addition, numerical experiments show that MMD-SVR could significantly improve the accuracy of prediction and generate more smooth regression curve with better generalization compared with the classic SVR.


title: Phonon wind and drag of excitons in monolayer semiconductors

abstract: We study theoretically the non-equilibrium exciton transport in monolayer transition metal dichalcogenides. We consider the situation where excitons interact with non-equilibrium phonons, e.g., under the conditions of localized excitation where a ``hot spot'' in formed. We develop the theory of the exciton drag by the phonons and analyze in detail the regimes of diffusive propagation of phonons and ballistic propagation of phonons where the phonon wind is formed. We demonstrate that a halo-like spatial distribution of excitons akin observed in [Phys. Rev. Lett. 120, 207401 (2018)] can be formed as a result of the exciton drag by non-equilibrium phonons or Seebeck effect.


title: Complex projective metrics on Young towers, countable sub-shifts and other countable covering maps

abstract: In this article we will apply complex projective metrics to sequences of complex transfer operators generated by Young towers, countable shifts and other types of distance expanding maps (possibly time dependent) with countable degrees. We will derive a sequential Ruelle-Perron-Frobenius theorem for sequence of complex operators defined by such maps, and relying on it a variety of probabilistic limit theorems (finer than the CLT) for non-stationary processes follows.


title: Lithium Niobate Michelson Interferometer Modulator on Silicon-On-Insulator Platform

abstract: We propose and demonstrate a hybrid silicon and lithium niobate Michelson Interferometer Modulator (MIM) with enhanced modulation efficiency compared to a Mach-Zehnder modulator. The modulator is based on seamless integration of a high-contrast waveguide based on lithium niobate-a popular modulator material-with compact, low-loss silicon circuitry. The present device demonstrates a modulation efficiency as high as 1.2 Vcm and a low insertion loss of 3.3 dB. The 3dB electro-optic bandwidth is approximately 17.5 GHz. The optical eye diagrams, operating at 32 Gbit/s and 40 Gbit/s, with measured dynamic extinction ratios at 8 dB and 6.6 dB respectively. The present device avoids absorption loss and nonlinearity in conventional silicon modulators and demonstrates highest modulation efficiency in LN modulators, showing potential in future optical interconnects.


title: Flexible broadband polarization converter based on metasurfaceat microwave band

abstract: This paper proposes a flexible broadband linear polarization converter based on metasurface operating at microwave band. In order to achieve bandwidth extension property, long and short metallic arc wires, as well as the metallic disks placed over a ground plane, are combined into the polarizer, which can generate three neighboring resonances. Due to the combination of the first two resonances and optimized size and thickness of the unit cell, the polarization converter can have a weak incident angle dependence. Both simulated and measured results confirm that the average polarization conversion ratio is over 85% from 11.3 to 20.2 GHz within a broad incident angle from 0{\deg} to 45{\deg}. Moreover, the proposed polarization converter based on flexible substrates can be applied for conformal design. The simulation and experiment results demonstrate that our designed polarizer still keeps high polarization conversion efficiency even when it adheres on convex cylindrical surfaces. The periodic metallic structure of the designed polarizer has great potential application values in the microwave, terahertz and optic regimes.


title: Quantum Hamiltonian Identification with Classical Colored Measurement Noise

abstract: In this paper, we present a Hamiltonian identification method for a closed quantum system whose time trace observables are measured with colored measurement noise. The dynamics of the quantum system are described by a Liouville equation which can be converted to a coherence vector representation. Since the measurement process is disturbed by classical colored noise, we introduce an augmented system model to describe the total dynamics, where the classical colored noise is parameterized. Based on the augmented system model as well as the measurement data, we can find a realization of the quantum system with unknown parameters by employing an Eigenstate Realization Algorithm. The unknown parameters can be identified using a transfer-function-based technique. An example of a two-qubit system with colored measurement noise is demonstrated to verify the effectiveness of our method.


title: An Invariant Set Approach for Optimization on Integrable Manifolds

abstract: Recent results in control systems and numerical integration literature utilize invariant set theory to lift dynamical systems evolving on nonlinear manifolds to those evolving on vector spaces. We leverage this technique to propose an algorithm to solve a class of constrained optimization problems as unconstrained problems.


title: Predicting Economic Development using Geolocated Wikipedia Articles

abstract: Progress on the UN Sustainable Development Goals (SDGs) is hampered by a persistent lack of data regarding key social, environmental, and economic indicators, particularly in developing countries. For example, data on poverty --- the first of seventeen SDGs --- is both spatially sparse and infrequently collected in Sub-Saharan Africa due to the high cost of surveys. Here we propose a novel method for estimating socioeconomic indicators using open-source, geolocated textual information from Wikipedia articles. We demonstrate that modern NLP techniques can be used to predict community-level asset wealth and education outcomes using nearby geolocated Wikipedia articles. When paired with nightlights satellite imagery, our method outperforms all previously published benchmarks for this prediction task, indicating the potential of Wikipedia to inform both research in the social sciences and future policy decisions.


title: Mean velocity and effective diffusion constant for translocation of biopolymer chains across membrane

abstract: Chaperone-assisted translocation through a nanopore embedded in membrane holds a prominent role in the transport of biopolymers. Inspired by classical Brownian ratchet, we develop a theoretical framework characterizing such translocation process through a master equation approach. In this framework, the polymer chain, provided with reversible binding of chaperones, undergoes forward/backward diffusion, which is rectified by chaperones. We drop the assumption of timescale separation and keep the length of a polymer chain finite, both of which happen to be the key points in most of the previous studies. Our framework makes it accessible to derive analytical expressions for mean translocation velocity and effective diffusion constant in stationary state, which is the basis of a comprehensive understanding towards the dynamics of such process. Generally, the translocation of polymer chain across membrane consists of three subprocesses: initiation, termination, and translocation of the main body part of a polymer chain, where the translocation of the main body part depends on the binding/unbinding kinetics of chaperones. That is the main concern of this study. Our results show that the increase of forward/backward diffusion rate of a polymer chain and the binding/unbinding ratio of chaperones both raise the mean translocation velocity of a polymer chain, and roughly speaking, the dependence of effective diffusion constant on these two factors achieves similar behavior.


title: Effects of finite spatial extent on Schwinger pair production

abstract: Electron-positron pair production from vacuum in external electric fields with space and time dependencies is studied numerically using real time Dirac-Heisenberg-Wigner formalism. The influence of spatial focusing scale of the electric field on momentum distribution and the total yield of the particles is examined by considering standing wave mode of the electric field with different temporal configurations. With the decrease of spatial extent of the external field, signatures of the temporal field are weaken in the momentum spectrum. Moreover, in the extremely small spatial extent, novel features emerge due to the combined effects of both temporal and spatial variations. We also find that for dynamically assisted particle production, while the total particle yield drops significantly in small spatial extents, the assistance mechanism tends to increase in these highly inhomogeneous regimes, where the slow and fast pulses are affected differently by the overall spatial inhomogeneity.


title: On the Controllability of Clustered Scale-Free Networks

abstract: In this paper, we compare the number of unmatched nodes and the size of dilations in two main random network models, the Scale-Free and Clustered Scale-Free networks. The number of unmatched nodes determines the necessary number of control inputs and is known to be a measure for network controllability, while the size of dilation is a measure of controllability recovery in case of control input failure. Our results show that clustered version of Scale-Free networks require fewer control inputs for controllability. Further, the average size of dilations is smaller in clustered Scale-Free networks, implying that potentially fewer options for controllability recovery are available.


title: Conditional Generative Neural System for Probabilistic Trajectory Prediction

abstract: Effective understanding of the environment and accurate trajectory prediction of surrounding dynamic obstacles are critical for intelligent systems such as autonomous vehicles and wheeled mobile robotics navigating in complex scenarios to achieve safe and high-quality decision making, motion planning and control. Due to the uncertain nature of the future, it is desired to make inference from a probability perspective instead of deterministic prediction. In this paper, we propose a conditional generative neural system (CGNS) for probabilistic trajectory prediction to approximate the data distribution, with which realistic, feasible and diverse future trajectory hypotheses can be sampled. The system combines the strengths of conditional latent space learning and variational divergence minimization, and leverages both static context and interaction information with soft attention mechanisms. We also propose a regularization method for incorporating soft constraints into deep neural networks with differentiable barrier functions, which can regulate and push the generated samples into the feasible regions. The proposed system is evaluated on several public benchmark datasets for pedestrian trajectory prediction and a roundabout naturalistic driving dataset collected by ourselves. The experimental results demonstrate that our model achieves better performance than various baseline approaches in terms of prediction accuracy.


title: Topological invariants of the Ryu-Takayanagi ($RT$) surface used to observe holographic superconductor phase transition

abstract: We study the phase transitions in the metal/superconductor system using topological invariants of the Ryu-Takayanagi ($RT$) surface and the volume enclosed by the $RT$ surface in the Lifshitz black hole background. It is shown that these topological invariant quantities identify not only the phase transition but also its order. According to these findings a discontinuity slope is observed at the critical points for these invariant quantities that correspond to the second order of phase transition. These topological invariants provide a clearer illustration of the superconductor phase transition than do the holographic entanglement entropy and the holographic complexity. Also, the backreaction parameter, $k$, is found to have an important role in distinguishing the critical points. The reducing values of the parameter $k$ means that the backreaction of the matter fields are negligible. A continuous slope is observed around the critical points which is characteristic of the probe limit. In addition, exploring the nonlinear electrodynamic, the effects of the nonlinear parameter, $\beta$, is investigated. Finally the properties of conductivity are numerically explored in our model.


title: Optimization-based Decentralized Coded Caching for Files and Caches with Arbitrary Size

abstract: Existing decentralized coded caching solutions cannot guarantee small loads in the general scenario with arbitrary file sizes and cache sizes. In this paper, we propose an optimization framework for decentralized coded caching in the general scenario to minimize the worst-case load and average load (under an arbitrary file popularity), respectively. Specifically, we first propose a class of decentralized coded caching schemes for the general scenario, which are specified by a general caching parameter and include several known schemes as special cases. Then, we optimize the caching parameter to minimize the worst-case load and average load, respectively. Each of the two optimization problems is a challenging nonconvex problem with a nondifferentiable objective function. For each optimization problem, we develop an iterative algorithm to obtain a stationary point using techniques for solving Complementary Geometric Programming (GP). We also obtain a low-complexity approximate solution by solving an approximate problem with a differentiable objective function which is an upper bound on the original nondifferentiable one, and characterize the performance loss caused by the approximation. Finally, we present two information-theoretic converse bounds on the worst-case load and average load (under an arbitrary file popularity) in the general scenario, respectively. To the best of our knowledge, this is the first work that provides optimization-based decentralized coded caching schemes and information-theoretic converse bounds for the general scenario.


title: Learning by Inertia: Self-supervised Monocular Visual Odometry for Road Vehicles

abstract: In this paper, we present iDVO (inertia-embedded deep visual odometry), a self-supervised learning based monocular visual odometry (VO) for road vehicles. When modelling the geometric consistency within adjacent frames, most deep VO methods ignore the temporal continuity of the camera pose, which results in a very severe jagged fluctuation in the velocity curves. With the observation that road vehicles tend to perform smooth dynamic characteristics in most of the time, we design the inertia loss function to describe the abnormal motion variation, which assists the model to learn the consecutiveness from long-term camera ego-motion. Based on the recurrent convolutional neural network (RCNN) architecture, our method implicitly models the dynamics of road vehicles and the temporal consecutiveness by the extended Long Short-Term Memory (LSTM) block. Furthermore, we develop the dynamic hard-edge mask to handle the non-consistency in fast camera motion by blocking the boundary part and which generates more efficiency in the whole non-consistency mask. The proposed method is evaluated on the KITTI dataset, and the results demonstrate state-of-the-art performance with respect to other monocular deep VO and SLAM approaches.


title: A Methodological Review of Visual Road Recognition Procedures for Autonomous Driving Applications

abstract: The current research interest in autonomous driving is growing at a rapid pace, attracting great investments from both the academic and corporate sectors. In order for vehicles to be fully autonomous, it is imperative that the driver assistance system is adapt in road and lane keeping. In this paper, we present a methodological review of techniques with a focus on visual road detection and recognition. We adopt a pragmatic outlook in presenting this review, whereby the procedures of road recognition is emphasised with respect to its practical implementations. The contribution of this review hence covers the topic in two parts -- the first part describes the methodological approach to conventional road detection, which covers the algorithms and approaches involved to classify and segregate roads from non-road regions; and the other part focuses on recent state-of-the-art machine learning techniques that are applied to visual road recognition, with an emphasis on methods that incorporate convolutional neural networks and semantic segmentation. A subsequent overview of recent implementations in the commercial sector is also presented, along with some recent research works pertaining to road detections.


title: Controlling Fano resonance using the Geometrical Phase of light in spatially tailored waveguided plasmonic crystals

abstract: Fano resonance exhibiting an asymmetric spectral line shape is a universal phenomenon observed in diverse physical systems. Here we experimentally establish a direct link between the spectral asymmetry parameter and a physically realizable phase factor of interference between a continuum and a discrete mode that leads to Fano resonance. Using a specially designed metamaterial, namely waveguided plasmonic crystal with a spatially varying orientation axis of plasmonic grating, we demonstrate control on the spectral asymmetry of the Fano resonance through changes in the geometric phase of polarized light. In this scenario, the changes in the geometric phase for input left, and right circular polarized light arises due to varying orientation angle of the grating axis. The systematic changes in the geometric phase and the resulting q-parameter of Fano resonance is interpreted by an appropriate theoretical model connecting the two physical entities. The demonstrated control over the spectral line shape of Fano resonance achieved by tailoring geometric phase may open up novel routes for polarization-based photonic applications.


title: Phase-isometries on real normed spaces

abstract: We say that a mapping $f: X \rightarrow Y$ between two real normed spaces is a phase-isometry if it satisfies the functional equation \begin{eqnarray*} \{\|f(x)+f(y)\|, \|f(x)-f(y)\|\}=\{\|x+y\|, \|x-y\|\} \quad (x,y\in X).\end{eqnarray*} A generalized Mazur-Ulam question is whether every surjective phase-isometry is a multiplication of a linear isometry and a map with range $\{-1, 1\}$. This assertion is also an extension of a fundamental statement in the mathematical description of quantum mechanics, Wigner's theorem to real normed spaces. In this paper, we show that for every space $Y$ the problem is solved in positive way if $X$ is a smooth normed space, an $\mathcal{L}^{\infty}(\Gamma)$-type space or an $\ell^1(\Gamma)$-space with $\Gamma$ being an index set.


title: Disclinations in limiting Landau-de Gennes theory

abstract: In this article we study the low-temperature limit of a Landau-de Gennes theory. Within all S2-valued R-axially symmetric maps (see Definition 1.1), the limiting energy functional has at least two distinct energy minimizers. One minimizer has biaxial torus structure, while another minimizer has split-core segment structure on the z-axis.


title: Deep Video Inpainting

abstract: Video inpainting aims to fill spatio-temporal holes with plausible content in a video. Despite tremendous progress of deep neural networks for image inpainting, it is challenging to extend these methods to the video domain due to the additional time dimension. In this work, we propose a novel deep network architecture for fast video inpainting. Built upon an image-based encoder-decoder model, our framework is designed to collect and refine information from neighbor frames and synthesize still-unknown regions. At the same time, the output is enforced to be temporally consistent by a recurrent feedback and a temporal memory module. Compared with the state-of-the-art image inpainting algorithm, our method produces videos that are much more semantically correct and temporally smooth. In contrast to the prior video completion method which relies on time-consuming optimization, our method runs in near real-time while generating competitive video results. Finally, we applied our framework to video retargeting task, and obtain visually pleasing results.


title: Development of a Forecasting and Warning System on the Ecological Life-Cycle of Sunn Pest

abstract: We provide a machine learning solution that replaces the traditional methods for deciding the pesticide application time of Sunn Pest. We correlate climate data with phases of Sunn Pest in its life-cycle and decide whether the fields should be sprayed. Our solution includes two groups of prediction models. The first group contains decision trees that predict migration time of Sunn Pest from winter quarters to wheat fields. The second group contains random forest models that predict the nymphal stage percentages of Sunn Pest which is a criterion for pesticide application. We trained our models on four years of climate data which was collected from Kir\c{s}ehir and Aksaray. The experiments show that our promised solution make correct predictions with high accuracies.


title: Towards More Realistic Human-Robot Conversation: A Seq2Seq-based Body Gesture Interaction System

abstract: This paper presents a novel system that enables intelligent robots to exhibit realistic body gestures while communicating with humans. The proposed system consists of a listening model and a speaking model used in corresponding conversational phases. Both models are adapted from the sequence-to-sequence (seq2seq) architecture to synthesize body gestures represented by the movements of twelve upper-body keypoints. All the extracted 2D keypoints are firstly 3D-transformed, then rotated and normalized to discard irrelevant information. Substantial videos of human conversations from Youtube are collected and preprocessed to train the listening and speaking models separately, after which the two models are evaluated using metrics of mean squared error (MSE) and cosine similarity on the test dataset. The tuned system is implemented to drive a virtual avatar as well as Pepper, a physical humanoid robot, to demonstrate the improvement on conversational interaction abilities of our method in practice.


title: Reconstruction of domains with algebraic boundaries from generalized polarization tensors

abstract: This paper aims at showing the stability of the recovery of a smooth planar domain with a real algebraic boundary from a finite number of its generalized polarization tensors. It is a follow-up of the work [H. Ammari et al., Math. Annalen, 2018], where it is proved that the minimal polynomial with real coefficients vanishing on the boundary can be identified as the generator of a one dimensional kernel of a matrix whose entries are obtained from a finite number of generalized polarization tensors. The recovery procedure is implemented without any assumption on the regularity of the domain to be reconstructed and its performance and limitations are illustrated.


title: Rotons and Bose condensation in Rydberg-dressed Bose Gases

abstract: We investigate the ground-state properties and excitations of Rydberg-dressed bosons in both three and two dimensions, using the hypernetted-chain Euler-Lagrange approximation, which accounts for correlations and thus goes beyond the mean field approximation. The short-range behavior of the pair distribution function signals the instability of the homogeneous system towards the formation of droplet crystals at strong couplings and large soft-core radius. This tendency to spatial density modulation coexists with off-diagonal long-range order. The contribution of the correlation energy to the ground-state energy is significant at large coupling strengths and intermediate values of the soft-core radius while for a larger soft-core radius the ground-state energy is dominated by the mean-field (Hartree) energy. We have also performed path integral Monte Carlo simulations to verify the performance of our hypernetted-chain Euler-Lagrange results in three dimensions. In the homogeneous phase, the two approaches are in very good agreement. Moreover, Monte Carlo simulations predict a first-order quantum phase transition from a homogeneous superfluid phase to the quantum droplet phase with face-centered cubic symmetry for Rydberg-dressed bosons in three dimensions.


title: Testable Properties in General Graphs and Random Order Streaming

abstract: We present a novel framework closely linking the areas of property testing and data streaming algorithms in the setting of general graphs. It has been recently shown (Monemizadeh et al. 2017) that for bounded-degree graphs, any constant-query tester can be emulated in the random order streaming model by a streaming algorithm that uses only space required to store a constant number of words. However, in a more natural setting of general graphs, with no restriction on the maximum degree, no such results were known because of our lack of understanding of constant-query testers in general graphs and lack of techniques to appropriately emulate in the streaming setting off-line algorithms allowing many high-degree vertices. In this work we advance our understanding on both of these challenges. First, we provide canonical testers for all constant-query testers for general graphs, both, for one-sided and two-sided errors. Such canonizations were only known before (in the adjacency matrix model) for dense graphs (Goldreich and Trevisan 2003) and (in the adjacency list model) for bounded degree (di-)graphs (Goldreich and Ron 2011, Czumaj et al. 2016). Using the concept of canonical testers, we then prove that every property of general graphs that is constant-query testable with one-sided error can also be tested in constant-space with one-sided error in the random order streaming model. Our results imply, among others, that properties like $(s,t)$ disconnectivity, $k$-path-freeness, etc. are constant-space testable in random order streams.


title: Thomson backscattering in combined two laser and magnetic field

abstract: The Thomson backscattering of an electron moving in combined fields is studied by a dynamically assisted mechanism. The combined fields are composed of two co-propagating laser fields and a magnetic field, where the first laser field is strong and low-frequency while the second is weak and high-frequency, relatively. The dependence of fundamental frequency of emission on the ratio of incident laser high-to-low frequency is presented and the spectrum of backscattering is obtained. It is found that, with a magnetic field, the peak of the spectrum and the corresponding radiation frequency are significantly larger in case of two-laser than that in case of only one laser. They are also improved obviously as the frequency of the weak laser field. Another finding is the nonlinear correlation between the emission intensity of the backscattering and the intensity of the weak laser field. These results provide a new possibility to adjust and control the spectrum by changing the ratios of frequency and intensity of the two laser fields.


title: Photometric investigations on two totally eclipsing contact binaries: V342 UMa and V509 Cam

abstract: By analyzing two sets of complete $BVR_cI_c$ light curves of V342 UMa and three sets of complete $BVR_cI_c$ light curves of V509 Cam, we determined that the two systems are both W-subtype contact binaries and that V342 UMa shows a shallow contact configuration, while V509 Cam exhibits a medium contact configuration. Since both of them are totally eclipsing binaries, the physical parameters derived only by the photometric light curves are reliable.Meanwhile, the period changes of the two targets were analyzed based on all available eclipsing times. We discovered that V342 UMa shows long-term period decrease with a rate of $-1.02(\pm0.54)\times10^{-7}$ days/year and that V509 Cam exhibits long-term period increase with a rate of $3.96(\pm0.90)\times10^{-8}$ days/year. Both the conservative mass transfer and AML via magnetic stellar winds can interpret the long-term period decrease of V342 UMa. The long-term period increase of V509 Cam can be explained by mass transfer from the less massive star to the more massive one. The absolute parameters of the two binaries were estimated according to the Gaia distances and our derived photometric solution results. This method can be extended to other contact binaries without radial velocities but with reliable photometric solutions. The evolutionary states of them were discussed, we found that they reveal identical properties of other W-subtype contact systems.


title: A Typedriven Vector Semantics for Ellipsis with Anaphora using Lambek Calculus with Limited Contraction

abstract: We develop a vector space semantics for verb phrase ellipsis with anaphora using type-driven compositional distributional semantics based on the Lambek calculus with limited contraction (LCC) of J\"ager (2006). Distributional semantics has a lot to say about the statistical collocation-based meanings of content words, but provides little guidance on how to treat function words. Formal semantics on the other hand, has powerful mechanisms for dealing with relative pronouns, coordinators, and the like. Type-driven compositional distributional semantics brings these two models together. We review previous compositional distributional models of relative pronouns, coordination and a restricted account of ellipsis in the DisCoCat framework of Coecke et al. (2010, 2013). We show how DisCoCat cannot deal with general forms of ellipsis, which rely on copying of information, and develop a novel way of connecting typelogical grammar to distributional semantics by assigning vector interpretable lambda terms to derivations of LCC in the style of Muskens & Sadrzadeh (2016). What follows is an account of (verb phrase) ellipsis in which word meanings can be copied: the meaning of a sentence is now a program with non-linear access to individual word embeddings. We present the theoretical setting, work out examples, and demonstrate our results on a toy distributional model motivated by data.


title: High-frequency size effect study of the Fermi surface of metals

abstract: This paper reviews experimental and theoretical works on the study of the Fermi surface of pure metals with the aid of high-frequency size effects. Particular attention is given to little-known new ballistic effects such as the time of flight effect, multichannel size effect, and nonlinear size effect. Keywords: Fermi surface of metals, radio-frequency size effect, multichannel surface scattering, pure metals.


title: Efficient quantum gates for individual nuclear spin qubits by indirect control

abstract: Hybrid quantum registers, such as electron-nuclear spin systems, have emerged as promising hardware for implementing quantum information and computing protocols in scalable systems. Nevertheless, the coherent control of such systems still faces challenges. Particularly, the lower gyromagnetic ratios of the nuclear spins cause them to respond slowly to control fields, resulting in gate times that are generally longer than the coherence time of the electron spin. Here, we demonstrate a scheme for circumventing this problem by indirect control: We apply a small number of short pulses only to the electron spin and let the full system undergo free evolution under the hyperfine coupling between the pulses. Using this scheme, we realize robust quantum gates in an electron-nuclear spin system, including a Hadamard gate on the nuclear spin and a controlled-NOT gate with the nuclear spin as the target qubit. The durations of these gates are shorter than the electron spin coherence time, and thus additional operations to extend the system coherence time are not needed. Our demonstration serves as a proof of concept for achieving efficient coherent control of electron-nuclear spin systems, such as NV centers in diamond. Our scheme is still applicable when the nuclear spins are only weakly coupled to the electron spin.


title: Exponential factorizations of holomorphic maps

abstract: We show that any element of the special linear group $SL_2(R)$ is a product of two exponentials if the ring $R$ is either the ring of holomorphic functions on an open Riemann surface or the disc algebra. This is sharp: one exponential factor is not enough since the exponential map corresponding to $SL_2(\mathbb{C})$ is not surjective. Our result extends to the linear group $GL_2(R)$.


title: Multi-frequency scatter broadening evolution of pulsars - II. Scatter broadening of nearby pulsars

abstract: We present multi-frequency scatter broadening evolution of 29 pulsars observed with the LOw Frequency ARray (LOFAR) and Long Wavelength Array (LWA). We conducted new observations using LOFAR Low Band Antennae (LBA) as well as utilized the archival data from LOFAR and LWA. This study has increased the total of all multi-frequency or wide-band scattering measurements up to a dispersion measure (DM) of 150~pc\,cm$^{-3}$ by 60\%. The scatter broadening timescale ($\tau_{sc}$) measurements at different frequencies are often combined by scaling them to a common reference frequency of 1\,GHz. Using our data, we show that the $\tau_{sc}$--DM variations are best fitted for reference frequencies close to 200--300\,MHz, and scaling to higher or lower frequencies results in significantly more scatter in data. We suggest that this effect might indicate a frequency dependence of the scatter broadening scaling index ($\alpha$). However, a selection bias due to our chosen observing frequencies can not be ruled out with the current data set. Our data did not favour any particular model of the DM -- $\tau_{sc}$ relations, and we do not see a statistically significant break at the low DM range in this relation. The turbulence spectral index ($\beta$) is found to be steeper than that is expected from a Kolmogorov spectrum. This indicates that the local ISM turbulence may have a low wave-number cutoff or presence of large scale inhomogeneities in the line of sight to some of the reported pulsars.


title: The Game of Tetris in Machine Learning

abstract: The game of Tetris is an important benchmark for research in artificial intelligence and machine learning. This paper provides a historical account of the algorithmic developments in Tetris and discusses open challenges. Handcrafted controllers, genetic algorithms, and reinforcement learning have all contributed to good solutions. However, existing solutions fall far short of what can be achieved by expert players playing without time pressure. Further study of the game has the potential to contribute to important areas of research, including feature discovery, autonomous learning of action hierarchies, and sample-efficient reinforcement learning.


title: Points. Lack thereof

abstract: I will discuss some aspects of the concept of "point" in quantum gravity, using mainly the tool of noncommutative geometry. I will argue that at Planck's distances the very concept of point may lose its meaning. I will then show how, using the spectral action and a high momenta expansion, the connections between points, as probed by boson propagators, vanish. This discussion follows closely [1] (Kurkov-Lizzi-Vassilevich Phys. Lett. B 731 (2014) 311, [arXiv:1312.2235 [hep-th]].


title: Optimal Beamforming for Hybrid Satellite Terrestrial Networks with Nonlinear PA and Imperfect CSIT

abstract: In hybrid satellite-terrestrial networks (HSTNs), spectrum sharing is crucial to alleviate the "spectrum scarcity" problem. Therein, the transmit beams should be carefully designed to mitigate the inter-satellite-terrestrial interference. Different from previous studies, this work considers the impact of both nonlinear power amplifier (PA) and large-scale channel state information at the transmitter (CSIT) on beamforming. These phenomena are usually inevitable in a practical HSTN. Based on the Saleh model of PA nonlinearity and the large-scale multi-beam satellite channel parameters, we formulate a beamforming optimization problem to maximize the achievable rate of the satellite system while ensuring that the inter-satellite-terrestrial interference is below a given threshold. The optimal amplitude and phase of desired beams are derived in a decoupled manner. Simulation results demonstrate the superiority of the proposed beamforming scheme.


title: Constraining the Equation of State of Neutron Stars through GRB X-Ray Plateaus

abstract: The unknown equation of state (EoS) of neutron stars (NSs) is puzzling because of rich non-perturbative effects of strong interaction there. A method to constrain the EoS by using the detected X-ray plateaus of gamma-ray bursts (GRBs) is proposed in this paper. Observations show some GRB X-ray plateaus may be powered by strongly magnetized millisecond NSs. The properties of these NSs should then satisfy: (i) the spin-down luminosity of these NSs should be brighter than the observed luminosity of the X-ray plateaus; (ii) the total rotational energy of these NSs should be larger than the total energy of the X-ray plateaus. Through the case study of GRB 170714A, the moment of inertia of NSs is constrained as $I>1.0\times 10^{45}\left ( \frac{P_{\rm cri}}{1\;\rm ms} \right )^{2} \;\rm g\cdot cm^{2}$, where $P_{\rm cri}$ is the critical rotational period that an NS can achieve. The constraint of the radii of NSs according to GRB 080607 is shown in Table 1.


title: Adaptive Task Allocation for Asynchronous Federated and Parallelized Mobile Edge Learning

abstract: This paper proposes a scheme to efficiently execute distributed learning tasks in an asynchronous manner while minimizing the gradient staleness on wireless edge nodes with heterogeneous computing and communication capacities. The approach considered in this paper ensures that all devices work for a certain duration that covers the time for data/model distribution, learning iterations, model collection and global aggregation. The resulting problem is an integer non-convex program with quadratic equality constraints as well as linear equality and inequality constraints. Because the problem is NP-hard, we relax the integer constraints in order to solve it efficiently with available solvers. Analytical bounds are derived using the KKT conditions and Lagrangian analysis in conjunction with the suggest-and-improve approach. Results show that our approach reduces the gradient staleness and can offer better accuracy than the synchronous scheme and the asynchronous scheme with equal task allocation.


title: Deep Convolutional Neural Network-Based Autonomous Drone Navigation

abstract: This paper presents a novel approach for aerial drone autonomous navigation along predetermined paths using only visual input form an onboard camera and without reliance on a Global Positioning System (GPS). It is based on using a deep Convolutional Neural Network (CNN) combined with a regressor to output the drone steering commands. Furthermore, multiple auxiliary navigation paths that form a navigation envelope are used for data augmentation to make the system adaptable to real-life deployment scenarios. The approach is suitable for automating drone navigation in applications that exhibit regular trips or visits to same locations such as environmental and desertification monitoring, parcel/aid delivery and drone-based wireless internet delivery. In this case, the proposed algorithm replaces human operators, enhances accuracy of GPS-based map navigation, alleviates problems related to GPS-spoofing and enables navigation in GPS-denied environments. Our system is tested in two scenarios using the Unreal Engine-based AirSim plugin for drone simulation with promising results of average cross track distance less than 1.4 meters and mean waypoints minimum distance of less than 1 meter.


title: Drone Path-Following in GPS-Denied Environments using Convolutional Networks

abstract: his paper presents a simple approach for drone navigation to follow a predetermined path using visual input only without reliance on a Global Positioning System (GPS). A Convolutional Neural Network (CNN) is used to output the steering command of the drone in an end-to-end approach. We tested our approach in two simulated environments in the Unreal Engine using the AirSim plugin for drone simulation. Results show that the proposed approach, despite its simplicity, has average cross track distance less than 2.9 meters in the simulated environment. We also investigate the significance of data augmentation in path following. Finally, we conclude by suggesting possible enhancements for extending our approach to more difficult paths in real life, in the hope that one day visual navigation will become the norm in GPS-denied zones.


title: SIF: A Framework for Solidity Code Instrumentation and Analysis

abstract: Solidity is an object-oriented and high-level language for writing smart contracts that are used to execute, verify and enforce credible transactions on permissionless blockchains. In the last few years, analysis of smart contracts has raised considerable interest and numerous techniques have been proposed to check the presence of vulnerabilities in them. Current techniques lack traceability in source code and have widely differing work flows. There is no single unifying framework for analysis, instrumentation, optimisation and code generation of Solidity contracts. In this paper, we present SIF, a comprehensive framework for Solidity contract analysis, query, instrumentation, and code generation. SIF provides support for Solidity contract developers and testers to build source level techniques for analysis, understanding, diagnostics, optimisations and code generation. We show feasibility and applicability of the framework by building practical tools on top of it and running them on 1838 real smart contracts deployed on the Ethereum network.


title: Initial ideals of tangent cones to Richardson varieties in the Symplectic Grassmannian

abstract: We give an explicit grobner basis for the ideal of the tangent cone at any T-fixed point of a Richardson variety in the Symplectic Grassmannian, thus generalizing a result of Ghorpade and Raghavan.


title: Detection of low-conductivity objects using eddy current measurements with an optical magnetometer

abstract: Detection and imaging of an electrically conductive object at a distance can be achieved by inducing eddy currents in it and measuring the associated magnetic field. We have detected low-conductivity objects with an optical magnetometer based on room-temperature cesium atomic vapor and a noise-canceling differential technique which increased the signal-to-noise ratio (SNR) by more than three orders of magnitude. We detected small containers with a few mL of salt-water with conductivity ranging from 4-24 S/m with a good SNR. This demonstrates that our optical magnetometer should be capable of detecting objects with conductivity < 1 S/m with a SNR > 1 and opens up new avenues for using optical magnetometers to image low-conductivity biological tissue including the human heart which would enable non-invasive diagnostics of heart diseases.


title: GETNET: A General End-to-end Two-dimensional CNN Framework for Hyperspectral Image Change Detection

abstract: Change detection (CD) is an important application of remote sensing, which provides timely change information about large-scale Earth surface. With the emergence of hyperspectral imagery, CD technology has been greatly promoted, as hyperspectral data with the highspectral resolution are capable of detecting finer changes than using the traditional multispectral imagery. Nevertheless, the high dimension of hyperspectral data makes it difficult to implement traditional CD algorithms. Besides, endmember abundance information at subpixel level is often not fully utilized. In order to better handle high dimension problem and explore abundance information, this paper presents a General End-to-end Two-dimensional CNN (GETNET) framework for hyperspectral image change detection (HSI-CD). The main contributions of this work are threefold: 1) Mixed-affinity matrix that integrates subpixel representation is introduced to mine more cross-channel gradient features and fuse multi-source information; 2) 2-D CNN is designed to learn the discriminative features effectively from multi-source data at a higher level and enhance the generalization ability of the proposed CD algorithm; 3) A new HSI-CD data set is designed for the objective comparison of different methods. Experimental results on real hyperspectral data sets demonstrate the proposed method outperforms most of the state-of-the-arts.


title: Towards Big data processing in IoT: network management for online edge data processing

abstract: Heavy data load and wide cover range have always been crucial problems for internet of things (IoT). However, in mobile-edge computing (MEC) network, the huge data can be partly processed at the edge. In this paper, a MEC-based big data analysis network is discussed. The raw data generated by distributed network terminals are collected and processed by edge servers. The edge servers split out a large sum of redundant data and transmit extracted information to the center cloud for further analysis. However, for consideration of limited edge computation ability, part of the raw data in huge data sources may be directly transmitted to the cloud. To manage limited resources online, we propose an algorithm based on Lyapunov optimization to jointly optimize the policy of edge processor frequency, transmission power and bandwidth allocation. The algorithm aims at stabilizing data processing delay and saving energy without knowing probability distributions of data sources. The proposed network management algorithm may contribute to big data processing in future IoT.


title: Recognizing shape via 1st eigenvalue, mean curvature and upper curvature bound

abstract: Let $M^n$ be a closed immersed hypersurface lying in a contractible ball $B(p,R)$ of the ambient $(n+1)$-manifold $N^{n+1}$. We prove that, by pinching Heintze-Reilly's inequality via sectional curvature upper bound of $B(p,R)$, 1st eigenvalue and mean curvature of $M$, not only $M$ is Hausdorff close to a geodesic sphere $S(p_0,R_0)$ in $N$, but also the ``enclosed'' ball $B(p_0,R_0)$ is close to be of constant curvature, provided with a uniform control on the volume and mean curvature of $M$. We raise a conjecture for $M$ to be a diffeomorphic sphere, and give some positive partial answer.


title: OAuth 2.0 meets Blockchain for Authorization in Constrained IoT Environments

abstract: We present models for utilizing blockchain and smart contract technology with the widely used OAuth 2.0 open authorization framework to provide delegated authorization for constrained IoT devices. The models involve different tradeoffs in terms of privacy, delay, and cost, while exploiting key advantages of blockchains and smart contracts. These include linking payments to authorization grants, immutably recording authorization information and policies in smart contracts, and offering resilience through the execution of smart contract code on all blockchain nodes.


title: Uniqueness for an obstacle problem arising from logistic-type equations with fractional Laplacian

abstract: We prove a uniqueness theorem for the obstacle problem for linear equations involving the fractional Laplacian with zero Dirichlet exterior condition. The problem under consideration arises as the limit of some logistic-type equations. Our result extends (and slightly strengthens) the known corresponding results for the classical Laplace operator with zero boundary condition. Our proof, as compared with the known proof for the classical Laplace operator, is entirely new, and is based on the probabilistic potential theory. Its advantage is that it may be applied to a wide class of integro-differential operators.


title: Asymptotics for logistic-type equations with Dirichlet fractional Laplace operator

abstract: We study the asymptotics of solutions of logistic type equations with fractional Laplacian as time goes to infinity and as the exponent in nonlinear part goes to infinity. We prove strong convergence of solutions in the energy space and uniform convergence to the solution of an obstacle problem. As a by-product, we also prove the cut-off property for eigenvalues of the Dirichlet fractional Laplace operator perturbed by exploding potentials.


title: Homological branching law for $(\mathrm{GL}_{n+1}(F), \mathrm{GL}_n(F))$: projectivity and indecomposability

abstract: Let $F$ be a non-Archimedean local field. This paper studies homological properties of irreducible smooth representations restricted from $\mathrm{GL}_{n+1}(F)$ to $\mathrm{GL}_n(F)$. A main result shows that each Bernstein component of an irreducible smooth representation of $\mathrm{GL}_{n+1}(F)$ restricted to $\mathrm{GL}_n(F)$ is indecomposable. We also classify all irreducible representations which are projective when restricting from $\mathrm{GL}_{n+1}(F)$ to $\mathrm{GL}_n(F)$. A main tool of our study is a notion of left and right derivatives, extending some previous work joint with Gordan Savin. As a by-product, we also determine the branching law in the opposite direction.


title: Representation Learning for Attributed Multiplex Heterogeneous Network

abstract: Network embedding (or graph embedding) has been widely used in many real-world applications. However, existing methods mainly focus on networks with single-typed nodes/edges and cannot scale well to handle large networks. Many real-world networks consist of billions of nodes and edges of multiple types, and each node is associated with different attributes. In this paper, we formalize the problem of embedding learning for the Attributed Multiplex Heterogeneous Network and propose a unified framework to address this problem. The framework supports both transductive and inductive learning. We also give the theoretical analysis of the proposed framework, showing its connection with previous works and proving its better expressiveness. We conduct systematical evaluations for the proposed framework on four different genres of challenging datasets: Amazon, YouTube, Twitter, and Alibaba. Experimental results demonstrate that with the learned embeddings from the proposed framework, we can achieve statistically significant improvements (e.g., 5.99-28.23% lift by F1 scores; p<<0.01, t-test) over previous state-of-the-art methods for link prediction. The framework has also been successfully deployed on the recommendation system of a worldwide leading e-commerce company, Alibaba Group. Results of the offline A/B tests on product recommendation further confirm the effectiveness and efficiency of the framework in practice.


title: A Polynomial Time Algorithm for Fair Resource Allocation in Resource Exchange

abstract: The rapid growth of wireless and mobile Internet has led to wide applications of exchanging resources over network, in which how to fairly allocate resources has become a critical challenge. To motivate sharing, a BD Mechanism is proposed for resource allocation, which is based on a combinatorial structure called bottleneck decomposition. The mechanism has been shown with properties of fairness, economic efficiency [17], and truthfulness against two kinds of strategic behaviors [2,3]. Unfortunately, the crux on how to compute a bottleneck decomposition of any graph is remain untouched. In this paper, we focus on the computation of bottleneck decomposition to fill the blanks and prove that the bottleneck decomposition of a network $G = (V, E; w_v)$ can be computed in $O(n^6 log(nU))$, where $n = |V|$ and $U = max_{v\in V} w_v$. Based on the bottleneck decomposition, a fair allocation in resource exchange system can be obtained in polynomial time. In addition, our work completes the computation of a market equilibrium and its relationship to two concepts of fairness in resource exchange.


title: Interledger Smart Contracts for Decentralized Authorization to Constrained Things

abstract: We present models that utilize smart contracts and interledger mechanisms to provide decentralized authorization for constrained IoT devices. The models involve different tradeoffs in terms of cost, delay, complexity, and privacy, while exploiting key advantages of smart contracts and multiple blockchains that communicate with interledger mechanisms. These include immutably recording hashes of authorization information and policies in smart contracts, resilience through the execution of smart contract code on all blockchain nodes, and cryptographically linking transactions and IoT events recorded on different blockchains using hash and time-lock mechanisms. The proposed models are evaluated on the public Ethereum testnets Rinkeby and Ropsten, in terms of execution cost (gas), delay, and reduction of data that needs to be sent to the constrained IoT devices.


title: Toward a relative q-entropy

abstract: We address the question and related controversy of the formulation of the $q$-entropy, and its relative entropy counterpart, for models described by continuous (non-discrete) sets of variables. We notice that an $L_p$ normalized functional proposed by Lutwak-Yang-Zhang (LYZ), which is essentially a variation of a properly normalized relative R\'{e}nyi entropy up to a logarithm, has extremal properties that make it an attractive candidate which can be used to construct such a relative $q$-entropy. We comment on the extremizing probability distributions of this LYZ functional, its relation to the escort distributions, a generalized Fisher information and the corresponding Cram\'{e}r-Rao inequality. We point out potential physical implications of the LYZ entropic functional and of its extremal distributions.

categories: cond-mat.stat-mech gr-qc hep-th math-ph math.MP


title: Multi-parameter estimation with multi-mode Ramsey interferometry

abstract: Estimating multiple parameters simultaneously is of great importance to measurement science and application. For a single parameter, atomic Ramsey interferometry (or equivalently optical Mach-Zehnder interferometry) is capable of providing the precision at the standard quantum limit (SQL) using unentangled probe states as input. In such an interferometer, the first beam splitter represented by unitary transformation $U$ generates a quantum phase sensing superposition state, while the second beam splitter $U^{-1}$ recombines the phase encoded paths to realize interferometric sensing in terms of population measurements. We prove that such an interferometric scheme can be directly generalized to estimation of multiple parameters (associated with commuting generators) to the SQL precision using multi-mode unentangled states, if (but not iff) $U$ is orthogonal, i.e. a unitary transformation with only real matrix elements. We show that such a $U$ can always be constructed experimentally in a simple and scalable manner. The effects of particle number fluctuation and detection noise on such multi-mode interferometry are considered. Our findings offer a simple solution for estimating multiple parameters corresponding to mutually commuting generators.


title: Game-theoretic Analysis to Content-adaptive Reversible Watermarking

abstract: While many games were designed for steganography and robust watermarking, few focused on reversible watermarking. We present a two-encoder game related to the rate-distortion optimization of content-adaptive reversible watermarking. In the game, Alice first hides a payload into a cover. Then, Bob hides another payload into the modified cover. The embedding strategy of Alice affects the embedding capacity of Bob. The embedding strategy of Bob may produce data-extraction errors to Alice. Both want to embed as many pure secret bits as possible, subjected to an upper-bounded distortion. We investigate non-cooperative game and cooperative game between Alice and Bob. When they cooperate with each other, one may consider them as a whole, i.e., an encoder uses a cover for data embedding with two times. When they do not cooperate with each other, the game corresponds to a separable system, i.e., both want to independently hide a payload within the cover, but recovering the cover may need cooperation. We find equilibrium strategies for both players under constraints.


title: Curved Corner Contribution to the Entanglement Entropy in an Anisotropic Spacetime

abstract: In this article, we explore the divergences and universal terms of the holographic entanglement entropy for singular regions in anisotropic and nonconformal theories that are holographically dual to geometries with a hyperscaling violation, parameterized by two parameters $z$ and $\theta$. We study a curved corner in anisotropic space with arbitrary $\theta$ and $z$. We choose the region to be shape invariant under the scaling of spacetime. For this case, we show that the contribution of the singularity to the entanglement entropy depends on $z$ and $\theta$ values. We identify the structure of various divergences that may appear, especially those which give rise to a universal contribution in the form of logarithmic or double logarithmic terms. In the range $z>1$, for values $z=2k/(2k-1)$ with some integer $k$ and $\theta=0$, Lifshitz geometry, we find a double logarithmic term. In the range $z<0$, for values $\theta=1-2n|z-1|$ with some integer $n$ we find a logarithmic term.


title: Sobre Introducci\'on al An\'alisis Matem\'atico de Mario O. Gonz\'alez

abstract: In this article, we use the 75th anniversary of the publication of \emph{Introducci\'on al An\'alisis Matem\'atico} by Mario O. Gonz\'alez to study its importance. Besides, we give new biographical data from his author in the previous years to the publication of the book.


title: Inner geometry of complex surfaces: a valuative approach

abstract: Given a complex analytic germ $(X, 0)$ in $(\mathbb C^n, 0)$, the standard Hermitian metric of $\mathbb C^n$ induces a natural arc-length metric on $(X, 0)$, called the inner metric. We study the inner metric structure of the germ of an isolated complex surface singularity $(X,0)$ by means of an infinite family of numerical analytic invariants, called inner rates. Our main result is a formula for the Laplacian of the inner rate function on a space of valuations, the non-archimedean link of $(X,0)$. We deduce in particular that the global data consisting of the topology of $(X,0)$, together with the configuration of a generic hyperplane section and of the polar curve of a generic plane projection of $(X,0)$, completely determine all the inner rates on $(X,0)$, and hence the local metric structure of the germ. Several other applications of our formula are discussed in the paper.


title: Simultaneous approximation to values of the exponential function over the adeles

abstract: We show that Hermite's approximations to values of the exponential function at given algebraic numbers are nearly optimal when considered from an adelic perspective. We achieve this by taking into account the ratio of these values whenever they make sense in the various completions (Archimedean or $p$-adic) of a number field containing these algebraic numbers.


title: Attack-Aware Data Timestamping in Low-Power Synchronization-Free LoRaWAN

abstract: Low-power wide-area network technologies such as LoRaWAN are promising for collecting low-rate monitoring data from geographically distributed sensors, in which timestamping the sensor data is a critical system function. This paper considers a synchronization-free approach to timestamping LoRaWAN uplink data based on signal arrival time at the gateway, which well matches LoRaWAN's one-hop star topology and releases bandwidth from transmitting timestamps and synchronizing end devices' clocks at all times. However, we show that this approach is susceptible to a {\em frame delay attack} consisting of malicious frame collision and delayed replay. Real experiments show that the attack can affect the end devices in large areas up to about $50,000\,\text{m}^2$. In a broader sense, the attack threatens any system functions requiring timely deliveries of LoRaWAN frames. To address this threat, we propose a $\mathsf{LoRaTS}$ gateway design that integrates a commodity LoRaWAN gateway and a low-power software-defined radio receiver to track the inherent frequency biases of the end devices. Based on an analytic model of LoRa's chirp spread spectrum modulation, we develop signal processing algorithms to estimate the frequency biases with high accuracy beyond that achieved by LoRa's default demodulation. The accurate frequency bias tracking capability enables the detection of the attack that introduces additional frequency biases. Extensive experiments show the effectiveness of our approach.