title: The ESA Gaia Archive: Data Release 1

abstract: ESA Gaia mission is producing the more accurate source catalogue in astronomy up to now. That represents a challenge on the archiving area to make accessible this information to the astronomers in an efficient way. Also, new astronomical missions have reinforced the change on the development of archives. Archives, as simple applications to access the data are being evolving into complex data center structures where computing power services are available for users and data mining tools are integrated into the server side. In the case of astronomy science that involves the use of big catalogues, as in Gaia (or Euclid to come), the common ways to work on the data need to be changed to a new paradigm "move code close to the data", what implies that data mining functionalities are becoming a must to allow the science exploitation. To enable these capabilities, a TAP+ interface, crossmatch capabilities, full catalogue histograms, serialisation of intermediate results in cloud resources like VOSpace, etc have been implemented for the Gaia DR1, to enable the exploitation of these science resources by the community without the bottlenecks on the connection bandwidth. We present the architecture, infrastructure and tools already available in the Gaia Archive Data Release 1 (http://archives.esac.esa.int/gaia/) and we describe capabilities and infrastructure.


title: On uniformly continuous maps between function spaces

abstract: In this paper we develop a technique of constructing uni- formly continuous maps between function spaces Cp(X) endowed with the pointwise topology. We prove that if a space X is compact metrizable and strongly countable-dimensional, then there exists a uniformly contin- uous surjection from Cp([0,1]) onto Cp(X). We provide a partial result concerning the reverse implication. We also show that, for every infinite Polish zero-dimensional space X, the spaces Cp(X) and Cp(X) x Cp(X) are uniformly homeomorphic. This partially answers two questions posed by Krupski and Marciszewski.


title: Online Approximate Optimal Station Keeping of a Marine Craft in the Presence of a Current

abstract: Online approximation of the optimal station keeping strategy for a fully actuated six degrees-of-freedom marine craft subject to an irrotational ocean current is considered. An approximate solution to the optimal control problem is obtained using an adaptive dynamic programming technique. The hydrodynamic drift dynamics of the dynamic model are assumed to be unknown; therefore, a concurrent learning-based system identifier is developed to identify the unknown model parameters. The identified model is used to implement an adaptive model-based reinforcement learning technique to estimate the unknown value function. The developed policy guarantees uniformly ultimately bounded convergence of the vehicle to the desired station and uniformly ultimately bounded convergence of the approximated policies to the optimal polices without the requirement of persistence of excitation. The developed strategy is validated using an autonomous underwater vehicle, where the three degrees-of-freedom in the horizontal plane are regulated. The experiments are conducted in a second-magnitude spring located in central Florida.


title: Pion mass dependence of the HVP contribution to muon $g-2$

abstract: One of the systematic errors in some of the current lattice computations of the HVP contribution to the muon anomalous magnetic moment $g-2$ is that associated with the extrapolation to the physical pion mass. We investigate this extrapolation assuming lattice pion masses in the range of 220 to 440 MeV with the help of two-loop chiral perturbation theory, and find that such an extrapolation is unlikely to lead to control of this systematic error at the 1% level. This remains true even if various proposed tricks to improve the chiral extrapolation are taken into account.


title: Crime incidents embedding using restricted Boltzmann machines

abstract: We present a new approach for detecting related crime series, by unsupervised learning of the latent feature embeddings from narratives of crime record via the Gaussian-Bernoulli Restricted Boltzmann Machines (RBM). This is a drastically different approach from prior work on crime analysis, which typically considers only time and location and at most category information. After the embedding, related cases are closer to each other in the Euclidean feature space, and the unrelated cases are far apart, which is a good property can enable subsequent analysis such as detection and clustering of related cases. Experiments over several series of related crime incidents hand labeled by the Atlanta Police Department reveal the promise of our embedding methods.


title: Optimal Battery Participation in Frequency Regulation Markets

abstract: Battery participants in performance-based frequency regulation markets must consider the cost of battery aging in their operating strategies to maximize market profits. In this paper we solve this problem by proposing an optimal control policy and an optimal bidding policy based on realistic market settings and an accurate battery aging model. The proposed control policy has a threshold structure and achieves near-optimal performance with respect to an offline controller that has complete future information. The proposed bidding policy considers the optimal control policy to maximize market profits while satisfying the market performance requirement through a chance-constraint. It factors the value of performance and supports a trade-off between higher profits and a lower risk of violating performance requirements. We demonstrate the optimality of both policies using simulations. A case study based on the PJM regulation market shows that our approach is effective at maximizing operating profits.


title: Toward Reducing Crop Spoilage and Increasing Small Farmer Profits in India: a Simultaneous Hardware and Software Solution

abstract: India's agricultural system has been facing a severe problem of crop wastage. A key contributing factor to this problem is that many small farmers lack access to reliable cold storage that extends crop shelf-life. To avoid having leftover crops that spoil, these farmers often sell their crops at unfavorable low prices. Inevitably, not all crops are sold before spoilage. Even if the farmers have access to cold storage, the farmers may not know how long to hold different crops in cold storage for, which hinges on strategizing over when and where to sell their harvest. In this note, we present progress toward a simultaneous hardware and software solution that aims to help farmers reduce crop spoilage and increase their profits. The hardware is a cost-effective solar-powered refrigerator and control unit. The software refers to a produce price forecasting system, for which we have tested a number of machine learning methods. Note that unlike standard price forecasting tasks such as for stock market data, the produce price data from predominantly rural Indian markets have a large amount of missing values. In developing our two-pronged solution, we are actively working with farmers at two pilot sites in Karnataka and Odisha.


title: On the isomorphisms between evolution algebras of graphs and random walks

abstract: Evolution algebras are non-associative algebras inspired from biological phenomena, with applications to or connections with different mathematical fields. There are two natural ways to define an evolution algebra associated to a given graph. While one takes into account only the adjacencies of the graph, the other includes probabilities related to the symmetric random walk on the same graph. In this work we state new properties related to the relation between these algebras, which is one of the open problems in the interplay between evolution algebras and graphs. On the one hand, we show that for any graph both algebras are strongly isotopic. On the other hand, we provide conditions under which these algebras are or are not isomorphic. For the case of finite non-singular graphs we provide a complete description of the problem, while for the case of finite singular graphs we state a conjecture supported by examples and partial results. The case of graphs with an infinite number of vertices is also discussed. As a sideline of our work, we revisit a result existing in the literature about the identification of the automorphism group of an evolution algebra, and we give an improved version of it.


title: The asymptotic properties of $\phi(n)$ and a problem related to visibility of Lattice points

abstract: We look at the average sum of the Euler's phi function $\phi{(n)}$ and it's relation with the visibility of a point from the origin.We show that $\forall{\hspace{0.05in}{k} \ge{1}},k\in\mathbb{N},\exists$ a $k$$\times$$k$ grid in the 2D space such that no point inside it is visible from the origin.We define visibility of a lattice point from a set and try to find a bound for the cardinality of the smallest set S such that for a given $n$ $\in\mathbb{N}$,all points from the $n$$\times$$n$ grid are visible from S.


title: Quantum state engineering using one-dimensional discrete-time quantum walks

abstract: Quantum state preparation in high-dimensional systems is an essential requirement for many quantum-technology applications. The engineering of an arbitrary quantum state is, however, typically strongly dependent on the experimental platform chosen for implementation, and a general framework is still missing. Here we show that coined quantum walks on a line, which represent a framework general enough to encompass a variety of different platforms, can be used for quantum state engineering of arbitrary superpositions of the walker's sites. We achieve this goal by identifying a set of conditions that fully characterize the reachable states in the space comprising walker and coin, and providing a method to efficiently compute the corresponding set of coin parameters. We assess the feasibility of our proposal by identifying a linear optics experiment based on photonic orbital angular momentum technology.


title: Exploiting Points and Lines in Regression Forests for RGB-D Camera Relocalization

abstract: Camera relocalization plays a vital role in many robotics and computer vision tasks, such as global localization, recovery from tracking failure and loop closure detection. Recent random forests based methods exploit randomly sampled pixel comparison features to predict 3D world locations for 2D image locations to guide the camera pose optimization. However, these image features are only sampled randomly in the images, without considering the spatial structures or geometric information, leading to large errors or failure cases with the existence of poorly textured areas or in motion blur. Line segment features are more robust in these environments. In this work, we propose to jointly exploit points and lines within the framework of uncertainty driven regression forests. The proposed approach is thoroughly evaluated on three publicly available datasets against several strong state-of-the-art baselines in terms of several different error metrics. Experimental results prove the efficacy of our method, showing superior or on-par state-of-the-art performance.


title: A Dual Encoder Sequence to Sequence Model for Open-Domain Dialogue Modeling

abstract: Ever since the successful application of sequence to sequence learning for neural machine translation systems, interest has surged in its applicability towards language generation in other problem domains. Recent work has investigated the use of these neural architectures towards modeling open-domain conversational dialogue, where it has been found that although these models are capable of learning a good distributional language model, dialogue coherence is still of concern. Unlike translation, conversation is much more a one-to-many mapping from utterance to a response, and it is even more pressing that the model be aware of the preceding flow of conversation. In this paper we propose to tackle this problem by introducing previous conversational context in terms of latent representations of dialogue acts over time. We inject the latent context representations into a sequence to sequence neural network in the form of dialog acts using a second encoder to enhance the quality and the coherence of the conversations generated. The main task of this research work is to show that adding latent variables that capture discourse relations does indeed result in more coherent responses when compared to conventional sequence to sequence models.


title: Fast Frechet Distance Between Curves With Long Edges

abstract: Computing the Fr\'echet distance between two polygonal curves takes roughly quadratic time. In this paper, we show that for a special class of curves the Fr\'echet distance computations become easier. Let $P$ and $Q$ be two polygonal curves in $\mathbb{R}^d$ with $n$ and $m$ vertices, respectively. We prove four results for the case when all edges of both curves are long compared to the Fr\'echet distance between them: (1) a linear-time algorithm for deciding the Fr\'echet distance between two curves, (2) an algorithm that computes the Fr\'echet distance in $O((n+m)\log (n+m))$ time, (3) a linear-time $\sqrt{d}$-approximation algorithm, and (4) a data structure that supports $O(m\log^2 n)$-time decision queries, where $m$ is the number of vertices of the query curve and $n$ the number of vertices of the preprocessed curve.


title: Object Recognition by Using Multi-level Feature Point Extraction

abstract: In this paper, we present a novel approach for object recognition in real-time by employing multilevel feature analysis and demonstrate the practicality of adapting feature extraction into a Naive Bayesian classification framework that enables simple, efficient, and robust performance. We also show the proposed method scales well as the number of level-classes grows. To effectively understand the patches surrounding a keypoint, the trained classifier uses hundreds of simple binary features and models class posterior probabilities. In addition, the classification process is computationally cheap under the assumed independence between arbitrary sets of features. Even though for some particular scenarios, this assumption can be invalid. We demonstrate that the efficient classifier nevertheless performs remarkably well on image datasets with a large variation in the illumination environment and image capture perspectives. The experiment results show consistent accuracy can be achieved on many challenging dataset while offer interactive speed for large resolution images. The method demonstrates promising results that outperform the state-of-the-art methods on pattern recognition.


title: Autonomous Mobile Robot Navigation in Uneven and Unstructured Indoor Environments

abstract: Robots are increasingly operating in indoor environments designed for and shared with people. However, robots working safely and autonomously in uneven and unstructured environments still face great challenges. Many modern indoor environments are designed with wheelchair accessibility in mind. This presents an opportunity for wheeled robots to navigate through sloped areas while avoiding staircases. In this paper, we present an integrated software and hardware system for autonomous mobile robot navigation in uneven and unstructured indoor environments. This modular and reusable software framework incorporates capabilities of perception and navigation. Our robot first builds a 3D OctoMap representation for the uneven environment with the 3D mapping using wheel odometry, 2D laser and RGB-D data. Then we project multilayer 2D occupancy maps from OctoMap to generate the the traversable map based on layer differences. The safe traversable map serves as the input for efficient autonomous navigation. Furthermore, we employ a variable step size Rapidly Exploring Random Trees that could adjust the step size automatically, eliminating tuning step sizes according to environments. We conduct extensive experiments in simulation and real-world, demonstrating the efficacy and efficiency of our system.


title: Interlacement and Activities in Delta-Matroids

abstract: We generalize theories of graph, matroid, and ribbon-graph activities to delta-matroids. As a result, we obtain an activities based feasible-set expansion for a transition polynomial of delta-matroids defined by Brijder and Hoogeboom. This result yields feasible-set expansions for the two-variable Bollob\'{a}s-Riordan and interlace polynomials of a delta-matroid. In the former case, the expansion obtained directly generalizes the activities expansions of the Tutte polynomial of graphs and matroids.


title: 4D Data Cubes from Radio-Interferometric Spectroscopic Snapshot Imaging

abstract: The new generation of low radio-frequency interferometric arrays have enabled the imaging of the solar corona at high spectro-temporal resolutions and sensitivity. In this article we introduce and implement a formalism to generate flux density and brightness temperature ($T_{\mathrm B}$) maps from such images, using independently obtained disc-integrated solar flux density dynamic spectra. These images collectively generate a 4D data cube, with axes spanning angular coordinates ($\theta,\phi$), frequency ($\nu$) and time ($t$). This 4D data cube is the most informative data product which can be generated from interferometric radio data. It will allow us to track solar emission simultaneously in these four dimensions. We also introduce SPatially REsolved Dynamic Spectra (SPREDS), named in analogy to the usual dynamic spectra. For any arbitrary region, ($\theta_i,\phi_j$), in the maps, these 2D projections of the 4D data cube correspond to the dynamic spectrum of emission arising from there. We show examples of these data products using observations from the Murchison Widefield Array (MWA). These are also the first calibrated solar maps from the MWA.


title: Optimal designs for regression with spherical data

abstract: In this paper optimal designs for regression problems with spherical predictors of arbitrary dimension are considered. Our work is motivated by applications in material sciences, where crystallographic textures such as the missorientation distribution or the grain boundary distribution (depending on a four dimensional spherical predictor) are represented by series of hyperspherical harmonics, which are estimated from experimental or simulated data. For this type of estimation problems we explicitly determine optimal designs with respect to Kiefers $\Phi_p$-criteria and a class of orthogonally invariant information criteria recently introduced in the literature. In particular, we show that the uniform distribution on the $m$-dimensional sphere is optimal and construct discrete and implementable designs with the same information matrices as the continuous optimal designs. Finally, we illustrate the advantages of the new designs for series estimation by hyperspherical harmonics, which are symmetric with respect to the first and second crystallographic point group.


title: Combined parametrization of the neutron electric form factor and the $\gamma^\ast N \to \Delta(1232)$ quadrupole form factors

abstract: Models based on $SU(6)$ symmetry breaking and large $N_c$ limit provide relations between the pion cloud contributions to the $\gamma^\ast N \to \Delta(1232)$ quadrupole form factors, electric ($G_E$) and Coulomb ($G_C$), and the neutron electric form factor $G_{En}$, suggesting that those form factors are dominated by the same physical processes. Those relations are improved in order to satisfy a fundamental constraint between the electric and Coulomb quadrupole form factors in the long wavelength limit, when the photon three-momentum vanishes (Siegert's theorem). Inspired by those relations, we study alternative parametrizations for the neutron electric form factor. The parameters of the new form are then determined by a combined fit to the $G_{En}$ and the $\gamma^\ast N \to \Delta(1232)$ quadrupole form factor data. We obtain a very good description of the $G_E$ and $G_C$ data when we combine the pion cloud contributions with small valence quark contributions to the $\gamma^\ast N \to \Delta(1232)$ quadrupole form factors. The best description of the data is obtained when the second momentum of $G_{En}$ is $r_n^4 \simeq -0.4$ fm$^4$. We conclude that the square radii associated with $G_E$ and $G_C$, $r_E^2$ and $r_C^2$, respectively, are large, revealing the long extension of the pion cloud. We conclude also that those square radii are related by $r_E^2 - r_C^2 = 0.6 \pm 0.2$ fm$^2$. The last result is mainly the consequence of the pion cloud effects and Siegert's theorem.


title: \vS{a}povalov elements and the Jantzen sum formula for contragredient Lie superalgebras

abstract: If $\mathfrak{g}$ is a contragredient Lie superalgebra and $\gamma$ is a root of $\mathfrak{g},$ we prove the existence and uniqueness of \v{S}apovalov elements for $\gamma$ and give upper bounds on the degrees of their coefficients. Then we use \v{S}apovalov elements to define some new highest weight modules. If $X$ is a set of orthogonal isotropic roots and $\lambda \in \mathfrak{h}^*$ is such that $\lambda +\rho$ is orthogonal to all roots in $X$, we construct a highest weight module $M^X(\lambda)$ with character $\epsilon^\lambda {p}_X$. Here $p_X$ is a function that counts partitions not involving roots in $X$. Examples of such modules can be constructed via parabolic induction provided $X$ is contained in the set of simple roots of some Borel subalgebra. However our construction works without this condition and provides a highest weight module for the distinguished Borel subalgebra. The main results are analogs of the \v{S}apovalov determinant and the Jantzen sum formula for $M^X(\lambda)$ when $\mathfrak{g}$ has type A.For the proof it is enough to study the behavior for certain "relatively general" highest weights. Using an equivalence of categories due to Cheng, Mazorchuk and Wang, the information we require is deduced from the behavior of the modules $M^X(\lambda)$ when $\mathfrak{g}=\mathfrak{gl}(2,1)$ or $\mathfrak{gl}(2,2)$. These low dimensional cases are studied in detail in an appendix.


title: Parking on transitive unimodular graphs

abstract: Place a car independently with probability $p$ at each site of a graph. Each initially vacant site is a parking spot that can fit one car. Cars simultaneously perform independent random walks. When a car encounters an available parking spot it parks there. Other cars can still drive over the site, but cannot park there. For a large class of transitive and unimodular graphs, we show that the root is almost surely visited infinitely many times when $p \geq 1/2$, and only finitely many times otherwise.


title: Signature invariants related to the unknotting number

abstract: New lower bounds on the unknotting number of a knot are constructed from the classical knot signature function. These bounds can be twice as strong as previously known signature bounds. They can also be stronger than known bounds arising from Heegaard Floer and Khovanov homology. Results include new bounds on the Gordian distance between knots and information about four-dimensional knot invariants. By considering a related non-balanced signature function, bounds on the unknotting number of slice knots are constructed; these are related to the property of double-sliceness.


title: Inferring dissipation from the violation of Fluctuation-Dissipation Theorem

abstract: The Harada-Sasa equality elegantly connects the energy dissipation rate of a moving object with its measurable violation of the Fluctuation-Dissipation Theorem (FDT). Although proven for Langevin processes, its validity remains unclear for discrete Markov systems whose forward and backward transition rates respond asymmetrically to external perturbation. A typical example is a motor protein called kinesin. Here we show generally that the FDT violation persists surprisingly in the high-frequency limit due to the asymmetry, resulting in a divergent FDT violation integral and thus a complete breakdown of the Harada-Sasa equality. A renormalized FDT violation integral still well predicts the dissipation rate when each discrete transition produces a small entropy in the environment. Our study also suggests a new way to infer this perturbation asymmetry based on the measurable high-frequency-limit FDT violation.


title: Interpretable Apprenticeship Learning with Temporal Logic Specifications

abstract: Recent work has addressed using formulas in linear temporal logic (LTL) as specifications for agents planning in Markov Decision Processes (MDPs). We consider the inverse problem: inferring an LTL specification from demonstrated behavior trajectories in MDPs. We formulate this as a multiobjective optimization problem, and describe state-based ("what actually happened") and action-based ("what the agent expected to happen") objective functions based on a notion of "violation cost". We demonstrate the efficacy of the approach by employing genetic programming to solve this problem in two simple domains.


title: Hidden supersymmetry and quadratic deformations of the space-time conformal superalgebra

abstract: We analyze the structure of the family of quadratic superalgebras, introduced in J Phys A 44(23):235205 (2011), for the quadatic deformations of $N = 1$ space-time conformal supersymmetry. We characterize in particular the `zero-step' modules for this case. In such modules, the odd generators vanish identically, and the quadratic superalgebra is realized on a single irreducible representation of the even subalgebra (which is a Lie algebra). In the case under study, the quadratic deformations of $N = 1$ space-time conformal supersymmetry, it is shown that each massless positive energy unitary irreducible representation (in the standard classification of Mack), forms such a zero-step module, for an appropriate parameter choice amongst the quadratic family (with vanishing central charge). For these massless particle multiplets therefore, quadratic supersymmetry is unbroken, in that the supersymmetry generators annihilate \emph{all} physical states (including the vacuum state), while at the same time, superpartners do not exist.


title: High frequency dynamics modulated by collective magnetization reversal in artificial spin ice

abstract: Spin-torque ferromagnetic resonance (ST-FMR) arises in heavy metal/ferromagnet heterostructures when an alternating charge current is passed through the bilayer stack. The methodology to detect the resonance is based on the anisotropic magnetoresistance, which is the change in the electrical resistance due to different orientations of the magnetization. In connected networks of ferromagnetic nanowires, known as artificial spin ice, the magnetoresistance is rather complex owing to the underlying collective behavior of the geometrically frustrated magnetic domain structure. Here, we demonstrate ST-FMR investigations in a square artificial spin-ice system and correlate our observations to magnetotransport measurements. The experimental findings are described using a simulation approach that highlights the importance of the correlated dynamics response of the magnetic system. Our results open the possibility of designing reconfigurable microwave oscillators and magnetoresistive devices based on connected networks of nanomagnets.


title: On the limits of the hadronic energy resolution of calorimeters

abstract: In particle physics experiments, the quality of calorimetric particle detection is typically considerably worse for hadrons than for electromagnetic showers. In this paper, we investigate the root causes of this problem and evaluate two different methods that have been exploited to remedy this situation: compensation and dual readout. It turns out that the latter approach is more promising, as evidenced by experimental results.


title: A partial Laplacian as an infinitesimal generator on the Wasserstein space

abstract: We study stochastic processes on the Wasserstein space, together with their infinitesimal generators. One of these processes is modeled after Brownian motion and plays a central role in our work. Its infinitesimal generator defines a partial Laplacian on the space of Borel probability measures, and we use it to define heat flow on the Wasserstein space. We verify a distinctive smoothing effect of this flow for a particular class of initial conditions. To this end, we will develop a theory of Fourier analysis and conic surfaces in metric spaces. We note that the use of the infinitesimal generators has been instrumental in proving various theorems for Mean Field Games, and we anticipate they will play a key role in future studies of viscosity solutions of PDEs in the Wasserstein space.


title: Heat kernel and ergodicity of SDEs with distributional drifts

abstract: In this paper we consider the following SDE with distributional drift $b$: $$ {\rm d} X_t=\sigma(X_t){\rm d} B_t+b(X_t){\rm d} t,\ X_0=x\in{\mathbb R}^d, $$ where $\sigma$ is a bounded continuous and uniformly non-degenerate $d\times d$-matrix-valued function, $B$ is a $d$-dimensional standard Brownian motion. Let $\alpha\in(0,\frac{1}{2}]$, $p\in(\frac{d}{1-\alpha},\infty)$ and $\beta\in[\alpha,1]$, $q\in(\frac{d}{\beta},\infty)$. Assume $\|({\mathbb I}-\Delta)^{-\alpha/2}b\|_p+\|(-\Delta)^{\beta/2}\sigma\|_q<\infty$. We show the existence and uniqueness of martingale solutions to the above SDE, and obtain sharp two-sided and gradient estimates of the heat kernel associated to the above SDE. Moreover, we study the ergodicity and global regularity of the invariant measures of the associated semigroup under some dissipative assumptions.


title: Partial Knowledge In Embeddings

abstract: Representing domain knowledge is crucial for any task. There has been a wide range of techniques developed to represent this knowledge, from older logic based approaches to the more recent deep learning based techniques (i.e. embeddings). In this paper, we discuss some of these methods, focusing on the representational expressiveness tradeoffs that are often made. In particular, we focus on the the ability of various techniques to encode `partial knowledge' - a key component of successful knowledge systems. We introduce and describe the concepts of `ensembles of embeddings' and `aggregate embeddings' and demonstrate how they allow for partial knowledge.


title: Interaction between cluster synchronization and epidemic spread in community networks

abstract: In real world, there is a significant relation between human behaviors and epidemic spread. Especially, the reactions among individuals in different communities to epidemics may be different, which lead to cluster synchronization of human behaviors. So, a mathematical model that embeds community structures, behavioral evolution and epidemic transmission is constructed to study the interaction between cluster synchronization and epidemic spread. The epidemic threshold of the model is obtained by using Gersgorin Lemma and dynamical system theory. By applying the Lyapunov stability method, the stability analysis of cluster synchronization and spreading dynamics are presented. Then, some numerical simulations are performed to illustrate and complement our theoretical results. As far as we know, this work is the first one to address the interplay between cluster synchronization and epidemic transmission in community networks, so it may deepen the understanding of the impact of cluster behaviors on infectious disease dynamics.


title: Panov's theorem for weak Hopf algebras

abstract: Panov proved necessary and sufficient conditions to extend the Hopf algebra structure of an algebra $R$ to an Ore extension $R[x;\sigma,\delta]$ with $x$ being a skew-primitive element. In this paper we extend Panov's result to Ore extensions over weak Hopf algebras. As an application we study Ore extensions of connected groupoid algebras.


title: A possible dynamically Cold Classical contact binary: (126719) 2002 CC249

abstract: Images of the Kuiper belt object (126719) 2002 CC249 obtained in 2016 and 2017 using the 6.5m Magellan-Baade Telescope and the 4.3m Discovery Channel Telescope are presented. A lightcurve with a periodicity of 11.87+/-0.01 h and a peak-to-peak amplitude of 0.79+/-0.04 mag is reported. This high amplitude double-peaked lightcurve can be due to a single elongated body, but it is best explained by a contact binary system from its U-/V-shaped lightcurve. We present a simple full-width-at-half-maximum (FWHM) test that can be used to determine if an object is likely a contact binary or an elongated object based on its lightcurve. Considering that 2002 CC249 is in hydrostatic equilibrium, a system with a mass ratio qmin=0.6, and a density \rho min=1gcc, or less plausible a system with qmax=1, and \rho max=5gcc can interpret the lightcurve. Assuming a single Jacobi ellipsoid in hydrostatic equilibrium, and an equatorial view, we estimate \rho = 0.34gcc, and a/b=2.07. Finally, we report a new color study showing that 2002 CC249 displays an ultra red surface characteristic of a dynamically Cold Classical trans-Neptunian object.


title: Genus bounds in right-angled Artin groups

abstract: We show that in any right-angled Artin group whose defining graph has chromatic number $k$, every non-trivial element has stable commutator length at least $1/(6k)$. Secondly, if the defining graph does not contain triangles, then every non-trivial element has stable commutator length at least $1/20$. These results are obtained via an elementary geometric argument based on earlier work of Culler.


title: Variational analysis of the discontinuous Galerkin time-stepping method for parabolic equations

abstract: The discontinuous Galerkin (DG) time-stepping method applied to abstract evolution equation of parabolic type is studied using a variational approach. We establish the inf-sup condition or Babu\v{s}ka--Brezzi condition for the DG bilinear form. Then, a nearly best approximation property and a nearly symmetric error estimate are obtained as corollaries. Moreover, the optimal order error estimates under appropriate regularity assumption on the solution are derived as direct applications of the standard interpolation error estimates. Our method of analysis is new for the DG time-stepping method; it differs from previous works by which the method is formulated as the one-step method. We apply our abstract results to the finite element approximation of a second order parabolic equation with space-time variable coefficient functions in a polyhedral domain, and derive the optimal order error estimates in several norms.


title: Hierarchical and Distributed Monitoring of Voltage Stability in Distribution Networks

abstract: We consider the problem of quantifying and assessing the steady-state voltage stability in radial distribution networks. Our approach to the voltage stability problem is based on a local, approximate, and yet highly accurate characterization of the determinant of the Jacobian of the power flow equations parameterized according to the branch-flow model. The proposed determinant approximation allows us to construct a voltage stability index that can be computed in a fully distributed or in a hierarchical fashion, resulting in a scalable approach to the assessment of steady-state voltage stability. Finally, we provide upper bounds for the approximation error and we numerically validate the quality and the robustness of the proposed approximation with the IEEE 123-bus test feeder.


title: A $o(d) \cdot \text{polylog}~n$ Monotonicity Tester for Boolean Functions over the Hypergrid $[n]^d$

abstract: We study monotonicity testing of Boolean functions over the hypergrid $[n]^d$ and design a non-adaptive tester with $1$-sided error whose query complexity is $\tilde{O}(d^{5/6})\cdot \text{poly}(\log n,1/\epsilon)$. Previous to our work, the best known testers had query complexity linear in $d$ but independent of $n$. We improve upon these testers as long as $n = 2^{d^{o(1)}}$. To obtain our results, we work with what we call the augmented hypergrid, which adds extra edges to the hypergrid. Our main technical contribution is a Margulis-style isoperimetric result for the augmented hypergrid, and our tester, like previous testers for the hypercube domain, performs directed random walks on this structure.


title: Controlled Sequential Information Fusion with Social Sensors

abstract: A sequence of social sensors estimate an unknown parameter (modeled as a state of nature) by performing Bayesian Social Learning, and myopically optimize individual reward functions. The decisions of the social sensors contain quantized information about the underlying state. How should a fusion center dynamically incentivize the social sensors for acquiring information about the underlying state? This paper presents five results. First, sufficient conditions on the model parameters are provided under which the optimal policy for the fusion center has a threshold structure. The optimal policy is determined in closed form, and is such that it switches between two exactly specified incentive policies at the threshold. Second, it is shown that the optimal incentive sequence is a sub-martingale, i.e, the optimal incentives increase on average over time. Third, it is shown that it is possible for the fusion center to learn the true state asymptotically by employing a sub-optimal policy; in other words, controlled information fusion with social sensors can be consistent. Fourth, uniform bounds on the average additional cost incurred by the fusion center for employing a sub-optimal policy are provided. This characterizes the trade-off between the cost of information acquisition and consistency for the fusion center. Finally, when it is sufficient to estimate the state with a degree of confidence, uniform bounds on the budget saved by employing policies that guarantee state estimation in finite time are provided.


title: Interpretation of Neural Networks is Fragile

abstract: In order for machine learning to be deployed and trusted in many applications, it is crucial to be able to reliably explain why the machine learning algorithm makes certain predictions. For example, if an algorithm classifies a given pathology image to be a malignant tumor, then the doctor may need to know which parts of the image led the algorithm to this classification. How to interpret black-box predictors is thus an important and active area of research. A fundamental question is: how much can we trust the interpretation itself? In this paper, we show that interpretation of deep learning predictions is extremely fragile in the following sense: two perceptively indistinguishable inputs with the same predicted label can be assigned very different interpretations. We systematically characterize the fragility of several widely-used feature-importance interpretation methods (saliency maps, relevance propagation, and DeepLIFT) on ImageNet and CIFAR-10. Our experiments show that even small random perturbation can change the feature importance and new systematic perturbations can lead to dramatically different interpretations without changing the label. We extend these results to show that interpretations based on exemplars (e.g. influence functions) are similarly fragile. Our analysis of the geometry of the Hessian matrix gives insight on why fragility could be a fundamental challenge to the current interpretation approaches.


title: State Dependence of Stimulus-Induced Variability Tuning in Macaque MT

abstract: Behavioral states marked by varying levels of arousal and attention modulate some properties of cortical responses (e.g. average firing rates or pairwise correlations), yet it is not fully understood what drives these response changes and how they might affect downstream stimulus decoding. Here we show that changes in state modulate the tuning of response variance-to-mean ratios (Fano factors) in a fashion that is neither predicted by a Poisson spiking model nor changes in the mean firing rate, with a substantial effect on stimulus discriminability. We recorded motion-sensitive neurons in middle temporal cortex (MT) in two states: alert fixation and light, opioid anesthesia. Anesthesia tended to lower average spike counts, without decreasing trial-to-trial variability compared to the alert state. Under anesthesia, within-trial fluctuations in excitability were correlated over longer time scales compared to the alert state, creating supra-Poisson Fano factors. In contrast, alert-state MT neurons have higher mean firing rates and largely sub-Poisson variability that is stimulus-dependent and cannot be explained by firing rate differences alone. The absence of such stimulus-induced variability tuning in the anesthetized state suggests different sources of variability between states. A simple model explains state-dependent shifts in the distribution of observed Fano factors via a suppression in the variance of gain fluctuations in the alert state. A population model with stimulus-induced variability tuning and behaviorally constrained information-limiting correlations explores the potential enhancement in stimulus discriminability by the cortical population in the alert state.


title: A note on gradient Einstein-type manifolds

abstract: In this note, we show that a nontrivial, compact, degenerate or nondegenerate, gradient Einstein-type manifold of constant scalar curvature is isometric to the standard sphere with a well defined potential function. Moreover, under some geometric assumptions, the noncompact case is also treated. In this case, the main result is that a homogeneous, proper, noncompact, nondegenerate, gradient Einstein-type manifold is an Einstein manifold.


title: Vehicle Routing Problem with Vector Profits (VRPVP) with Max-Min Criterion

abstract: This paper introduces a new routing problem referred to as the vehicle routing problem with vector profits. Given a network composed of nodes (depot/sites) and arcs connecting the nodes, the problem determines routes that depart from the depot, visit sites to collect profits, and return to the depot. There are multiple stakeholders interested in the mission and each site is associated with a vector whose k-th element represents the profit value for the k-th stakeholder. The objective of the problem is to maximize the profit sum for the least satisfied stakeholder, i.e., the stakeholder with the smallest total profit value. An approach based on the linear programming relaxation and column-generation to solve this max-min type routing problem was developed. Two cases studies - the planetary surface exploration and the Rome tour cases - were presented to demonstrate the effectiveness of the proposed problem formulation and solution methodology.


title: Stochastic Zeroth-order Optimization in High Dimensions

abstract: We consider the problem of optimizing a high-dimensional convex function using stochastic zeroth-order queries. Under sparsity assumptions on the gradients or function values, we present two algorithms: a successive component/feature selection algorithm and a noisy mirror descent algorithm using Lasso gradient estimates, and show that both algorithms have convergence rates that de- pend only logarithmically on the ambient dimension of the problem. Empirical results confirm our theoretical findings and show that the algorithms we design outperform classical zeroth-order optimization methods in the high-dimensional setting.


title: SOFI for Plasmonics: Extracting Near-field Intensity in the Far-Field at High Density

abstract: Unlike normal fluorescent methods that use the intensity as a direct measurement of the localized enhanced field, we use blinking statistics of quantum dots (QDs). We have already shown that blinking gives a more accurate characterization of the near-field. When an emitter is situated close to a metallic surface, non-radiative pathways are opened up, leading to quenching of the exciton. Blinking statistics, however, is only minimally affected by quenching, and therefore can be used to probe emitters in close proximity to metallic surfaces. We have expanded our method (COFIBINS) to high densities using superresolution technique SOFI. A proof of principle for SOFI-COFIBINS is demonstrated with a defocused point spread function. The method is then applied to surface plasmon polaritons. SOFI-COFIBINS shows excellent agreement with the average fluorescence intensity.


title: A Novel Approach to Artistic Textual Visualization via GAN

abstract: While the visualization of statistical data tends to a mature technology, the visualization of textual data is still in its infancy, especially for the artistic text. Due to the fact that visualization of artistic text is valuable and attractive in both art and information science, we attempt to realize this tentative idea in this article. We propose the Generative Adversarial Network based Artistic Textual Visualization (GAN-ATV) which can create paintings after analyzing the semantic content of existing poems. Our GAN-ATV consists of two main sections: natural language analysis section and visual information synthesis section. In natural language analysis section, we use Bag-of-Word (BoW) feature descriptors and a two-layer network to mine and analyze the high-level semantic information from poems. In visual information synthesis section, we design a cross-modal semantic understanding module and integrate it with Generative Adversarial Network (GAN) to create paintings, whose content are corresponding to the original poems. Moreover, in order to train our GAN-ATV and verify its performance, we establish a cross-modal artistic dataset named "Cross-Art". In the Cross-Art dataset, there are six topics and each topic has their corresponding paintings and poems. The experimental results on Cross-Art dataset are shown in this article.


title: Omnidirectional Ventilated Acoustic Barrier

abstract: As an important problem in acoustics, sound insulation finds applications in a great variety of situations. In the existing schemes, however, there has always been a tradeoff between the thinness of sound-insulating devices and their ventilating capabilities, limiting their potentials in the control of low-frequency sound in high ventilation environments. Here we design and experimentally implement an omnidirectional acoustic barrier with planar profile, subwavelength thickness (0.18lambda) yet high ventilation. The proposed mechanism is based on the interference between the resonant scattering of discrete states and the background scattering of continuous states that induces Fano-like asymmetric transmission profile. Benefitting from the binarystructured design of coiled unit and hollow pipe, it maximally simplifies the design and fabrication while ensuring the ventilation for all the non resonant units with open tubes. The simulated and measured results agree well, showing the effectiveness of our proposed mechanism to block low frequency sound coming from various directions while allowing 63% of the air flow to pass. We anticipate our design to open routes to design sound insulators and to enable applications in traditionally unattainable cases such as those calling for noise reduction and cooling simultaneously.


title: Complexity Analysis Approach for Prefabricated Construction Products Using Uncertain Data Clustering

abstract: This paper proposes an uncertain data clustering approach to quantitatively analyze the complexity of prefabricated construction components through the integration of quality performance-based measures with associated engineering design information. The proposed model is constructed in three steps, which (1) measure prefabricated construction product complexity (hereafter referred to as product complexity) by introducing a Bayesian-based nonconforming quality performance indicator; (2) score each type of product complexity by developing a Hellinger distance-based distribution similarity measurement; and (3) cluster products into homogeneous complexity groups by using the agglomerative hierarchical clustering technique. An illustrative example is provided to demonstrate the proposed approach, and a case study of an industrial company in Edmonton, Canada, is conducted to validate the feasibility and applicability of the proposed model. This research inventively defines and investigates product complexity from the perspective of product quality performance with design information associated. The research outcomes provide simplified, interpretable, and informative insights for practitioners to better analyze and manage product complexity. In addition to this practical contribution, a novel hierarchical clustering technique is devised. This technique is capable of clustering uncertain data (i.e., beta distributions) with lower computational complexity and has the potential to be generalized to cluster all types of uncertain data.


title: Smooth Sensitivity Based Approach for Differentially Private Principal Component Analysis

abstract: Currently known methods for this task either employ the computationally intensive \emph{exponential mechanism} or require an access to the covariance matrix, and therefore fail to utilize potential sparsity of the data. The problem of designing simpler and more efficient methods for this task has been raised as an open problem in \cite{kapralov2013differentially}. In this paper we address this problem by employing the output perturbation mechanism. Despite being arguably the simplest and most straightforward technique, it has been overlooked due to the large \emph{global sensitivity} associated with publishing the leading eigenvector. We tackle this issue by adopting a \emph{smooth sensitivity} based approach, which allows us to establish differential privacy (in a worst-case manner) and near-optimal sample complexity results under eigengap assumption. We consider both the pure and the approximate notions of differential privacy, and demonstrate a tradeoff between privacy level and sample complexity. We conclude by suggesting how our results can be extended to related problems.


title: Atmospheric Evolution

abstract: Earth's atmosphere has evolved as volatile species cycle between the atmosphere, ocean, biomass and the solid Earth. The geochemical, biological and astrophysical processes that control atmospheric evolution are reviewed from an "Earth Systems" perspective, with a view not only to understanding the history of Earth, but also to generalizing to other solar system planets and exoplanets.


title: Practical Bayesian Inference for Record Linkage

abstract: Probabilistic record linkage (PRL) is the process of determining which records in two databases correspond to the same underlying entity in the absence of a unique identifier. Bayesian solutions to this problem provide a powerful mechanism for propagating uncertainty due to uncertain links between records (via the posterior distribution). However, computational considerations severely limit the practical applicability of existing Bayesian approaches. We propose a new computational approach, providing both a fast algorithm for deriving point estimates of the linkage structure that properly account for one-to-one matching and a restricted MCMC algorithm that samples from an approximate posterior distribution. Our advances make it possible to perform Bayesian PRL for larger problems, and to assess the sensitivity of results to varying prior specifications. We demonstrate the methods on simulated data and an application to a post-enumeration survey for coverage estimation in the Italian census.


title: Implication Zroupoids and Identities of Associative Type

abstract: An algebra $\mathbf A = \langle A, \to, 0 \rangle$, where $\to$ is binary and $0$ is a constant, is called an implication zroupoid ($\mathcal I$-zroupoid, for short) if $\mathbf A$ satisfies the identities: $(x \to y) \to z \approx [(z' \to x) \to (y \to z)']'$ and $ 0'' \approx 0$, where $x' : = x \to 0$, and $\mathcal I$ denotes the variety of all $\mathcal I$-zroupoids. An $\mathcal I$-zroupoid is symmetric if it satisfies $x'' \approx x$ and $(x \to y')' \approx (y \to x')'$. The variety of symmetric $\mathcal I$-zroupoids is denoted by $\mathcal S$. An identity $p \approx q$, in the groupoid language $\langle \to \rangle$, is called an identity of associative type of length $3$ if $p$ and $q$ have exactly 3 (distinct) variables, say x,y,z, and are grouped according to one of the two ways of grouping: (1) $\star \to (\star \to \star)$ and (2) $(\star \to \star) \to \star$, where $\star$ is a place holder for a variable. A subvariety of $\mathcal I$ is said to be of associative type of length $3$, if it is defined, relative to $\mathcal I$, by a single identity of associative type of length $3$. In this paper we give a complete analysis of the mutual relationships of all subvarieties of $\mathcal I$ of associative type of length $3$. We prove, in our main theorem, that there are exactly 8 such subvarieties of $\mathcal I$ that are distinct from each other and describe explicitly the poset formed by them under inclusion. As an application of the main theorem, we derive that there are three distinct subvarieties of the variety $\mathcal S$, each defined, relative to $\mathcal S$, by a single identity of associative type of length $3$.


title: Kirigami-based Elastic Metamaterials with Anisotropic Mass Density for Subwavelength Flexural Wave Control

abstract: A novel design of an elastic metamaterial with anisotropic mass density is proposed to manipulate flexural waves at a subwavelength scale. The three-dimensional metamaterial is inspired by kirigami, which can be easily manufactured by cutting and folding a thin metallic plate. By attaching the resonant kirigami structures periodically on the top of a host plate, a metamaterial plate can be constructed without any perforation that degrades the strength of the pristine plate. An analytical model is developed to understand the working mechanism of the proposed elastic metamaterial and the dispersion curves are calculated by using an extended plane wave expansion method. As a result, we verify an anisotropic effective mass density stemming from the coupling between the local resonance of the kirigami cells and the global flexural wave propagations in the host plate. Finally, numerical simulations on the directional flexural wave propagation in a two-dimensional array of kirigami metamaterial as well as super-resolution imaging through an elastic hyperlens are conducted to demonstrate the subwavelength-scale flexural wave control abilities. The proposed kirigami-based metamaterial has the advantages of no-perforation design and subwavelength flexural wave manipulation capability, which can be highly useful for engineering applications including non-destructive evaluations and structural health monitoring.


title: Symmetric implication zroupoids and identities of Bol-Moufang type

abstract: An algebra $\mathbf A = \langle A, \to, 0 \rangle$, where $\to$ is binary and $0$ is a constant, is called an implication zroupoid ($\mathcal I$-zroupoid, for short) if $\mathbf A$ satisfies the identities: (I): $(x \to y) \to z \approx ((z' \to x) \to (y \to z)')'$, and (I$_{0}$): $ 0'' \approx 0$, where $x' : = x \to 0$. An implication zroupoid is symmetric if it satisfies the identities: $x'' \approx x$ and $(x \to y')' \approx (y \to x')'$. An identity is of Bol-Moufang type if it contains only one binary operation symbol, one of its three variables occurs twice on each side, each of the other two variables occurs once on each side, and the variables occur in the same (alphabetical) order on both sides of the identity. In this paper we make a systematic analysis of all $ 60$ identities of Bol-Moufang type in the variety $\mathcal S$ of symmetric $\mathcal I$-zroupoids. We show that $47$ of the subvarieties of $\mathcal S$, defined by the identities of Bol-Moufang type are equal to the variety $\mathcal{SL}$ of $\lor$-semilattices with the least element $0$ and, one of the others is equal to $\mathcal S$. Of the remaining 12, there are only $3$ distinct ones. We also give an explicit description of the poset of the (distinct) subvarieties of $\mathcal S$ of Bol-Moufang type.


title: Photon antibunching control in a quantum dot and metallic nanoparticle hybrid system with non-Markovian dynamics

abstract: Photon-number statistics of the emitted photons from a quantum dot placed in the vicinity of a metallic nanoparticle (with either shell or solid-sphere geometry) in the non-Markovian regime is investigated theoretically. In the model scheme, the quantum dot is considered as a InAs three- level system in Lambda-type configuration with two transition channels. One of channels is driven by a polarized classical field while the two channels are coupled to the plasmon modes. Plasmon resonance modes of a nanoshell, in contrast of a nanosphere, are tunable at demand frequency by controlling the thickness and the materials of the core and the embedding media. The results reveal that the emitted photons from the hybrid system under consideration are antibunched. Moreover, the anti- bunching behavior of the emitted photons can be controlled by the geometrical parameters of the system, namely, the quantum dot-metal nano particle separation distance, as well as the system's physical parameters including the detuning frequency of the quantum dot transitions with respect to the surface plasmon modes, and the Rabi frequency of the polarized driving field. Additionally, the studied system has the potential to be a highly controllable single-photon source.


title: Properties of extremal CFTs with small central charge

abstract: We analyze aspects of extant examples of 2d extremal chiral (super)conformal field theories with $c\leq 24$. These are theories whose only operators with dimension smaller or equal to $c/24$ are the vacuum and its (super)Virasoro descendents. The prototypical example is the monster CFT, whose famous genus zero property is intimately tied to the Rademacher summability of its twined partition functions, a property which also distinguishes the functions of Mathieu and umbral moonshine. However, there are now several additional known examples of extremal CFTs, all of which have at least $\mathcal N=1$ supersymmetry and global symmetry groups connected to sporadic simple groups. We investigate the extent to which such a property, which distinguishes the monster moonshine module from other $c=24$ chiral CFTs, holds for the other known extremal theories. We find that in most cases, the special Rademacher summability property present for monstrous and umbral moonshine does not hold for the other extremal CFTs, with the exception of the Conway module and two $c=12, ~\mathcal N=4$ superconformal theories with $M_{11}$ and $M_{22}$ symmetry. This suggests that the connection between extremal CFT, sporadic groups, and mock modular forms transcends strict Rademacher summability criteria.


title: A Bayesian Data Augmentation Approach for Learning Deep Models

abstract: Data augmentation is an essential part of the training process applied to deep learning models. The motivation is that a robust training process for deep learning models depends on large annotated datasets, which are expensive to be acquired, stored and processed. Therefore a reasonable alternative is to be able to automatically generate new annotated training samples using a process known as data augmentation. The dominant data augmentation approach in the field assumes that new training samples can be obtained via random geometric or appearance transformations applied to annotated training samples, but this is a strong assumption because it is unclear if this is a reliable generative model for producing new training samples. In this paper, we provide a novel Bayesian formulation to data augmentation, where new annotated training points are treated as missing variables and generated based on the distribution learned from the training set. For learning, we introduce a theoretically sound algorithm --- generalised Monte Carlo expectation maximisation, and demonstrate one possible implementation via an extension of the Generative Adversarial Network (GAN). Classification results on MNIST, CIFAR-10 and CIFAR-100 show the better performance of our proposed method compared to the current dominant data augmentation approach mentioned above --- the results also show that our approach produces better classification results than similar GAN models.


title: Synthetic Iris Presentation Attack using iDCGAN

abstract: Reliability and accuracy of iris biometric modality has prompted its large-scale deployment for critical applications such as border control and national ID projects. The extensive growth of iris recognition systems has raised apprehensions about susceptibility of these systems to various attacks. In the past, researchers have examined the impact of various iris presentation attacks such as textured contact lenses and print attacks. In this research, we present a novel presentation attack using deep learning based synthetic iris generation. Utilizing the generative capability of deep convolutional generative adversarial networks and iris quality metrics, we propose a new framework, named as iDCGAN (iris deep convolutional generative adversarial network) for generating realistic appearing synthetic iris images. We demonstrate the effect of these synthetically generated iris images as presentation attack on iris recognition by using a commercial system. The state-of-the-art presentation attack detection framework, DESIST is utilized to analyze if it can discriminate these synthetically generated iris images from real images. The experimental results illustrate that mitigating the proposed synthetic presentation attack is of paramount importance.


title: Coboson many-body formalism for atom-dimer scattering length

abstract: We use the composite boson (coboson) many-body formalism to tackle scattering lengths for cold fermionic atoms. We show that bound dimers can be taken as elementary entities provided that fermion exchanges between them are treated exactly, as can be done through the coboson formalism. This alternative tool extended to cold atom physics not only makes transparent many-body processes through Shiva diagrams specific to cobosons, but also simplifies calculations. Indeed, the integral equation we derive for the atom-dimer scattering length and solve by restricting the dimer relative motion to the ground state, gives values in remarkable agreement with the exact scattering length values for all fermion mass ratios. This remarkable agreement also holds true for the dimer-dimer scattering length, except for equal fermion masses where our restricted procedure gives a value slightly larger than the accepted one ($0.64a_d$ instead of $0.60a_d$). All this proves that the scattering of a cold-atom dimer with an atom or another dimer is essentially controlled by the dimer relative-motion ground state, a physical result not obvious at first.


title: Composite boson signature in the interference pattern of atomic dimer condensates

abstract: We predict the existence of high frequency modes in the interference pattern of two condensates made of fermionic-atom dimers. These modes, which result from fermion exchanges between condensates, constitute a striking signature of the dimer composite nature. From the 2-coboson spatial correlation function, that we derive analytically, and the Shiva diagrams that visualize many-body effects specific to composite bosons, we identify the physical origin of these high frequency modes and determine the conditions to see them experimentally by using bound fermionic-atom pairs trapped on optical lattice sites. The dimer granularity which appears in these modes comes from Pauli blocking that prevents two dimers to be located at the same lattice site.


title: Stochastic Training of Graph Convolutional Networks with Variance Reduction

abstract: Graph convolutional networks (GCNs) are powerful deep neural networks for graph-structured data. However, GCN computes the representation of a node recursively from its neighbors, making the receptive field size grow exponentially with the number of layers. Previous attempts on reducing the receptive field size by subsampling neighbors do not have a convergence guarantee, and their receptive field size per node is still in the order of hundreds. In this paper, we develop control variate based algorithms which allow sampling an arbitrarily small neighbor size. Furthermore, we prove new theoretical guarantee for our algorithms to converge to a local optimum of GCN. Empirical results show that our algorithms enjoy a similar convergence with the exact algorithm using only two neighbors per node. The runtime of our algorithms on a large Reddit dataset is only one seventh of previous neighbor sampling algorithms.


title: Modeling incompressible thermal flows using a central-moment-based lattice Boltzmann method

abstract: In this paper, a central-moment-based lattice Boltzmann (CLB) method for incompressible thermal flows is proposed. In the method, the incompressible Navier-Stokes equations and the convection-diffusion equation for the temperature field are sloved separately by two different CLB equations. Through the Chapman-Enskog analysis, the macroscopic governing equations for incompressible thermal flows can be reproduced. For the flow field, the tedious implementation for CLB method is simplified by using the shift matrix with a simplified central-moment set, and the consistent forcing scheme is adopted to incorporate forcing effects. Compared with several D2Q5 multiple-relaxation-time (MRT) lattice Boltzmann methods for the temperature equation, the proposed method is shown to be better Galilean invariant through measuring the thermal diffusivities on a moving reference frame. Thus a higher Mach number can be used for convection flows, which decreases the computational load significantly. Numerical simulations for several typical problems confirm the accuracy, efficiency, and stability of the present method. The grid convergence tests indicate that the proposed CLB method for incompressible thermal flows is of second-order accuracy in space.


title: Weight Initialization of Deep Neural Networks(DNNs) using Data Statistics

abstract: Deep neural networks (DNNs) form the backbone of almost every state-of-the-art technique in the fields such as computer vision, speech processing, and text analysis. The recent advances in computational technology have made the use of DNNs more practical. Despite the overwhelming performances by DNN and the advances in computational technology, it is seen that very few researchers try to train their models from the scratch. Training of DNNs still remains a difficult and tedious job. The main challenges that researchers face during training of DNNs are the vanishing/exploding gradient problem and the highly non-convex nature of the objective function which has up to million variables. The approaches suggested in He and Xavier solve the vanishing gradient problem by providing a sophisticated initialization technique. These approaches have been quite effective and have achieved good results on standard datasets, but these same approaches do not work very well on more practical datasets. We think the reason for this is not making use of data statistics for initializing the network weights. Optimizing such a high dimensional loss function requires careful initialization of network weights. In this work, we propose a data dependent initialization and analyze its performance against the standard initialization techniques such as He and Xavier. We performed our experiments on some practical datasets and the results show our algorithm's superior classification accuracy.


title: Certifying Some Distributional Robustness with Principled Adversarial Training

abstract: Neural networks are vulnerable to adversarial examples and researchers have proposed many heuristic attack and defense mechanisms. We address this problem through the principled lens of distributionally robust optimization, which guarantees performance under adversarial input perturbations. By considering a Lagrangian penalty formulation of perturbing the underlying data distribution in a Wasserstein ball, we provide a training procedure that augments model parameter updates with worst-case perturbations of training data. For smooth losses, our procedure provably achieves moderate levels of robustness with little computational or statistical cost relative to empirical risk minimization. Furthermore, our statistical guarantees allow us to efficiently certify robustness for the population loss. For imperceptible perturbations, our method matches or outperforms heuristic approaches.


title: A note on rectangular partially massless fields

abstract: We study a class of non-unitary so(2,d) representations (for even values of d), describing mixed-symmetry partially massless fields which constitute natural candidates for defining higher-spin singletons of higher order. It is shown that this class of so(2,d) modules obeys of natural generalisation of a couple of defining properties of unitary higher-spin singletons. In particular, we find out that upon restriction to the subalgebra so(2,d-1), these representations branch onto a sum of modules describing partially massless fields of various depths. Finally, their tensor product is worked out in the particular case of d=4, where the appearance of a variety of mixed-symmetry partially massless fields in this decomposition is observed.


title: Nonhomogeneous Hemivariational Inequalities with Indefinite Potential and Robin Boundary Condition

abstract: We consider a nonlinear, nonhomogeneous Robin problem with an indefinite potential and a nonsmooth primitive in the reaction term. In fact, the right-hand side of the problem (reaction term) is the Clarke subdifferential of a locally Lipschitz integrand. We assume that asymptotically this term is resonant with respect the principal eigenvalue (from the left). We prove the existence of three nontrivial smooth solutions, two of constant sign and the third nodal. We also show the existence of extremal constant sign solutions. The tools come from nonsmooth critical point theory and from global optimization (direct method).


title: Personalized word representations Carrying Personalized Semantics Learned from Social Network Posts

abstract: Distributed word representations have been shown to be very useful in various natural language processing (NLP) application tasks. These word vectors learned from huge corpora very often carry both semantic and syntactic information of words. However, it is well known that each individual user has his own language patterns because of different factors such as interested topics, friend groups, social activities, wording habits, etc., which may imply some kind of personalized semantics. With such personalized semantics, the same word may imply slightly differently for different users. For example, the word "Cappuccino" may imply "Leisure", "Joy", "Excellent" for a user enjoying coffee, by only a kind of drink for someone else. Such personalized semantics of course cannot be carried by the standard universal word vectors trained with huge corpora produced by many people. In this paper, we propose a framework to train different personalized word vectors for different users based on the very successful continuous skip-gram model using the social network data posted by many individual users. In this framework, universal background word vectors are first learned from the background corpora, and then adapted by the personalized corpus for each individual user to learn the personalized word vectors. We use two application tasks to evaluate the quality of the personalized word vectors obtained in this way, the user prediction task and the sentence completion task. These personalized word vectors were shown to carry some personalized semantics and offer improved performance on these two evaluation tasks.


title: Gauge Topological Nature of the Superconductor-Insulator Transition

abstract: It has long been believed that, at absolute zero, electrons can form only one quantum coherent state, a superconductor. Yet, several two dimensional superconducting systems were found to harbor the superinsulating state with infinite resistance, a mirror image of superconductivity, and a metallic state often referred to as Bose metal, characterized by finite longitudinal and vanishing Hall resistances. The nature of these novel and mysterious quantum coherent states is the subject of intense study.Here, we propose a topological gauge description of the superconductor-insulator transition (SIT) that enables us to identify the underlying mechanism of superinsulation as Polyakov's linear confinement of Cooper pairs via instantons. We find a criterion defining conditions for either a direct SIT or for the SIT via the intermediate Bose metal and demonstrate that this Bose metal phase is a Mott topological insulator in which the Cooper pair-vortex liquid is frozen by Aharonov-Bohm interactions.


title: The role of solid surface in bubble formation and detachment at a submerged orifice

abstract: Bubble formation and detachment at a submerged orifice exists widely in both daily life and academic research, and the influence of solid surface on bubble formation and detachment has also been extensively investigated. For example, it has been observed that the bubble on a hydrophobic surface is larger than the one on a hydrophilic surface. However, this phenomenon is not sufficiently explained in existing literature. To explain it, we redefine the capillary force at the orifice edge and the adhesive force between bubble and solid. Subsequently, we are able to establish an approach that quantitatively explains the relation between bubble volume and surface wettability. In addition, we also suggest an alternative mechanism of bubble pinch-off. In our opinion, the formation of bubble neck during pinch-off may be due to three-phase equilibrium at the orifice edge, and the breakup of bubble neck may result from the stretching action of the upward buoyancy force and the downward capillary force.


title: Examining CNN Representations with respect to Dataset Bias

abstract: Given a pre-trained CNN without any testing samples, this paper proposes a simple yet effective method to diagnose feature representations of the CNN. We aim to discover representation flaws caused by potential dataset bias. More specifically, when the CNN is trained to estimate image attributes, we mine latent relationships between representations of different attributes inside the CNN. Then, we compare the mined attribute relationships with ground-truth attribute relationships to discover the CNN's blind spots and failure modes due to dataset bias. In fact, representation flaws caused by dataset bias cannot be examined by conventional evaluation strategies based on testing images, because testing images may also have a similar bias. Experiments have demonstrated the effectiveness of our method.


title: Dynamics of a microswimmer near a curved wall: guided and trapped locomotions

abstract: We propose a combined analytical-numerical strategy to predict the dynamics and trajectory of a microswimmer next to a curved spherical obstacle. The microswimmer is actuated by a slip velocity on its surface and a uniformly valid solution is provided by utilizing the Reynolds reciprocal theorem in conjunction with the exact hydrodynamic solution of translation/rotation of a sphere in an arbitrary direction next to a stationary obstacle. This approach permits the hydrodynamic interaction of the microswimmer and the obstacle to be consistently and accurately calculated in both far and near fields. Based on the analysis, it was shown that while the "point-singularity solution" is valid when the microswimmer is far from the obstacle, it fails to predict the correct dynamics when the swimmer is close to the obstacle (i.e. gap size is approximately twice the characteristic length of the microswimmer). Two different paradigms for propulsion, so-called "squirmer" and "phoretic" models, were examined and for each type of microswimmer, various types of trajectories are highlighted and discussed under which circumstances the swimmer can be hydrodynamically trapped or guided by the obstacle. The analysis indicates that it is always easier to capture a microswimmer in a closed circular orbit with a large sized obstacle ($\sim 20$-$40$ times larger than the microswimmer size) as in this case the magnitude of rotational velocity can be sufficiently large that the swimmer can adjust its distance and orientation vector with the obstacle.


title: Contact theory for spin-orbit-coupled Fermi gases

abstract: We develop the contact theory for spin-orbit-coupled Fermi gases. By using a perturbation method, we derive analytically the universal two-body behavior at short distance, which does not depend on the short-range details of interatomic potentials. We find that two new scattering parameters need to be introduced because of spin-orbit coupling, besides the traditional $s$- and $p$-wave scattering length (volume) and effective ranges. This is a general and unique feature for spin-orbit-coupled systems. Consequently, two new adiabatic energy relations with respect to the new scattering parameters are obtained, in which a new contact is involved because of spin-orbit coupling. In addition, we derive the asymptotic behavior of the large-momentum distribution, and find that the subleading tail is corrected by the new contact. This work paves the way for exploring the profound properties of spin-orbit-coupled many-body systems, according to two-body solutions.


title: Dynamics of three-body correlations in quenched unitary Bose gases

abstract: We investigate dynamical three-body correlations in the Bose gas during the earliest stages of evolution after a quench to the unitary regime. The development of few-body correlations is theoretically observed by determining the two- and three-body contacts. We find that the growth of three-body correlations is gradual compared to two-body correlations. The three-body contact oscillates coherently, and we identify this as a signature of Efimov trimers. We show that the growth of three-body correlations depends non-trivially on parameters derived from both the density and Efimov physics. These results demonstrate the violation of scaling invariance of unitary bosonic systems via the appearance of log-periodic modulation of three-body correlations.


title: Virtual Neighborhood Technique for Holomorphic Curve Moduli Spaces

abstract: In this paper we use the approach of Ruan and Li-Ruan to construct virtual neighborhoods and show that the Gromov-Witten invariants can be defined as an integral over top strata of virtual neighborhood. We prove that the invariants defined in this way satisfy all the Gromov-Witten axioms of Kontsevich and Manin.


title: Boundedness properties in function spaces

abstract: Some boundedness properties of function spaces (considered as topological groups) are studied.


title: Secrecy Rate Maximization with Outage Constraint in Multihop Relaying Networks

abstract: In this paper, we study the secure transmission in multihop wireless networks with randomize-and-forward (RaF) relaying, in the presence of randomly distributed eavesdroppers. By considering adaptive encoder with on-off transmission (OFT) scheme, we investigate the optimal design of the wiretap code and routing strategies to maximize the secrecy rate while satisfying the secrecy outage probability (SOP) constraint. We derive the exact expressions for the optimal rate parameters of the wiretap code. Then the secure routing problem is solved by revising the classical Bellman-Ford algorithm. Simulation results are conducted to verify our analysis.


abstract: Let $m \geq 1$ be an integer and let $H_m(\mathbb B)$ be the analytic functional Hilbert space on the unit ball $\mathbb B \subset \mathbb C^n$ given by the reproducing kernel $K_m(z,w) = (1 - \langle z,w \rangle)^{-m}$. We prove that Toeplitz operators with pluriharmonic symbol on $H_m(\mathbb B)$ can be characterized by an algebraic identity which extends the classical Brown-Halmos characterization of Toeplitz operators on the Hardy space of the unit disc as well as corresponding results of Louhichi and Olofsson for Toeplitz operators with harmonic symbol on weighted Bergman spaces of the disc.


title: Path-Based Attention Neural Model for Fine-Grained Entity Typing

abstract: Fine-grained entity typing aims to assign entity mentions in the free text with types arranged in a hierarchical structure. Traditional distant supervision based methods employ a structured data source as a weak supervision and do not need hand-labeled data, but they neglect the label noise in the automatically labeled training corpus. Although recent studies use many features to prune wrong data ahead of training, they suffer from error propagation and bring much complexity. In this paper, we propose an end-to-end typing model, called the path-based attention neural model (PAN), to learn a noise- robust performance by leveraging the hierarchical structure of types. Experiments demonstrate its effectiveness.


title: Evaluation of Automatic Video Captioning Using Direct Assessment

abstract: We present Direct Assessment, a method for manually assessing the quality of automatically-generated captions for video. Evaluating the accuracy of video captions is particularly difficult because for any given video clip there is no definitive ground truth or correct answer against which to measure. Automatic metrics for comparing automatic video captions against a manual caption such as BLEU and METEOR, drawn from techniques used in evaluating machine translation, were used in the TRECVid video captioning task in 2016 but these are shown to have weaknesses. The work presented here brings human assessment into the evaluation by crowdsourcing how well a caption describes a video. We automatically degrade the quality of some sample captions which are assessed manually and from this we are able to rate the quality of the human assessors, a factor we take into account in the evaluation. Using data from the TRECVid video-to-text task in 2016, we show how our direct assessment method is replicable and robust and should scale to where there many caption-generation techniques to be evaluated.


title: Intelligent Interference Exploitation for Heterogeneous Cellular Networks against Eavesdropping

abstract: This paper explores the co-existence of a macro cell and a small cell for heterogeneous cellular networks, where a macro base station (MBS) and small base station (SBS) transmit to respective macro user (MU) and small user (SU) through their shared spectrum in the face of a common eavesdropper. We consider two spectrum sharing mechanisms, namely the overlay spectrum sharing (OSS) and underlay spectrum sharing (USS). In the OSS, MBS and SBS take turns to access their shared spectrum. By contrast, the USS allows MBS and SBS to simultaneously transmit over the shared spectrum with the aid of power control for limiting their mutual interference, thus called interference-limited USS (IL-USS). In order to take advantage of mutual interference in confusing the eavesdropper without causing adverse effect on the MU, we propose an interference-canceled USS (IC-USS) scheme. Closed-form expressions of overall outage probability and intercept probability are derived for OSS, IL-USS and IC-USS schemes by taking into account both MBS-MU and SBS-SU transmissions. The secrecy diversity analysis is also carried out by characterizing an asymptotic behavior of the overall outage probability with a given intercept probability in the high signal-to-noise ratio region. It is shown that the secrecy diversity gains of conventional OSS and IL-USS are zero, whereas the proposed IC-USS achieves a higher secrecy diversity gain of one. This implies that with an arbitrarily low overall intercept probability, the conventional OSS and IL-USS methods converge to their respective outage probability floors, however the proposed IC-USS scheme can make the overall outage probability asymptotically decrease to zero by simply increasing the transmit power. Additionally, numerical results demonstrate an obvious advantage of the proposed IC-USS over OSS and IL-USS against eavesdropping.


title: A transition between bouncing hyper-inflation to {\Lambda}CDM from diffusive scalar fields

abstract: We consider the history of the universe from a possible big bang or a bounce into a late period of a unified interacting dark energy - dark matter model. The model is based on the Two Measures Theories (T.M.T.) which introduces a metric independent volume element and this allows us to construct a unification of dark energy and dark matter. A generalization of the T.M.T. gives a diffusive non-conservative stress energy momentum tensor in addition to the conserved stress energy tensor which appear in Einstein equations. These leads to a formulation of interacting DE-DM dust models in the form of a diffusive type interacting Unified Dark Energy and Dark Matter scenario. The deviation from $\Lambda$CDM is determined by the diffusion constant $C_2$. For $C_2=0$ the model is indistinguishable from $\Lambda$CDM. Numerical solutions of the theories show that in some $C_2 \neq 0$ the evolution of the early universe is governed by Stiff equation of state or the universe bounces to hyper inflation. But all of those solutions have a final transition to $\Lambda$CDM as a stable fixed point for the late universe.


title: Automatic Knee Osteoarthritis Diagnosis from Plain Radiographs: A Deep Learning-Based Approach

abstract: Knee osteoarthritis (OA) is the most common musculoskeletal disorder. OA diagnosis is currently conducted by assessing symptoms and evaluating plain radiographs, but this process suffers from subjectivity. In this study, we present a new transparent computer-aided diagnosis method based on the Deep Siamese Convolutional Neural Network to automatically score knee OA severity according to the Kellgren-Lawrence grading scale. We trained our method using the data solely from the Multicenter Osteoarthritis Study and validated it on randomly selected 3,000 subjects (5,960 knees) from Osteoarthritis Initiative dataset. Our method yielded a quadratic Kappa coefficient of 0.83 and average multiclass accuracy of 66.71\% compared to the annotations given by a committee of clinical experts. Here, we also report a radiological OA diagnosis area under the ROC curve of 0.93. We also present attention maps -- given as a class probability distribution -- highlighting the radiological features affecting the network decision. This information makes the decision process transparent for the practitioner, which builds better trust toward automatic methods. We believe that our model is useful for clinical decision making and for OA research; therefore, we openly release our training codes and the data set created in this study.


title: Dissipative-centrifugal instability of the Burgers vortex core and cyclone-anticyclone vortex asymmetry

abstract: A new exact solution of the hydrodynamic equations is obtained in the form of the Burgers vortex generalization (BVG)accounting for the medium rotation as a whole and linear uniform friction. The nonlinear dissipative-centrifugal instability(DCI)condition, associated with some superthreshold rotation angular velocity and nonzero friction, for solid-body rotating core of BVG is obtained. The new effect of cyclone-anticyclone vortex asymmetry, arising during DCI of BVG vortex core, is shown to be similar to that observed for the atmospheres of high speed rotating planets and laboratory experiments.


title: Semilinear Parabolic Differential Inclusions with One-sided Lipschitz Nonlinearities

abstract: We present an existence result for a partial differential inclusion with linear parabolic principal part and relaxed one-sided Lipschitz multivalued nonlinearity in the framework of Gelfand triples. Our study uses discretizations of the differential inclusion by a Galerkin scheme, which is compatible with a conforming finite element method, and we analyze convergence properties of the discrete solution sets.


title: Almost Optimal Stochastic Weighted Matching With Few Queries

abstract: We consider the {\em stochastic matching} problem. An edge-weighted general (i.e., not necessarily bipartite) graph $G(V, E)$ is given in the input, where each edge in $E$ is {\em realized} independently with probability $p$; the realization is initially unknown, however, we are able to {\em query} the edges to determine whether they are realized. The goal is to query only a small number of edges to find a {\em realized matching} that is sufficiently close to the maximum matching among all realized edges. This problem has received a considerable attention during the past decade due to its numerous real-world applications in kidney-exchange, matchmaking services, online labor markets, and advertisements. Our main result is an {\em adaptive} algorithm that for any arbitrarily small $\epsilon > 0$, finds a $(1-\epsilon)$-approximation in expectation, by querying only $O(1)$ edges per vertex. We further show that our approach leads to a $(1/2-\epsilon)$-approximate {\em non-adaptive} algorithm that also queries only $O(1)$ edges per vertex. Prior to our work, no nontrivial approximation was known for weighted graphs using a constant per-vertex budget. The state-of-the-art adaptive (resp. non-adaptive) algorithm of Maehara and Yamaguchi [SODA 2018] achieves a $(1-\epsilon)$-approximation (resp. $(1/2-\epsilon)$-approximation) by querying up to $O(w\log{n})$ edges per vertex where $w$ denotes the maximum integer edge-weight. Our result is a substantial improvement over this bound and has an appealing message: No matter what the structure of the input graph is, one can get arbitrarily close to the optimum solution by querying only a constant number of edges per vertex. To obtain our results, we introduce novel properties of a generalization of {\em augmenting paths} to weighted matchings that may be of independent interest.


title: Local decay of $C_0$-semigroups with a possible singularity of logarithmic type at zero

abstract: We prove decay rates for a vector-valued function $f$ of a non-negative real variable with bounded weak derivative, under rather general conditions on the Laplace transform $\hat{f}$. This generalizes results of Batty-Duyckaerts (2008) and other authors in later publications. Besides the possibility of $\hat{f}$ having a singularity of logarithmic type at zero, one novelty in our paper is that we assume $\hat{f}$ to extend to a domain to the left of the imaginary axis, depending on a non-decreasing function $M$ and satisfying a growth assumption with respect to a different non-decreasing function $K$. The decay rate is expressed in terms of $M$ and $K$. We prove that the obtained decay rates are essentially optimal for a very large class of functions $M$ and $K$. Finally we explain in detail how our main result improves known decay rates for the local energy of waves on exterior domains.


title: Shape of Proton and the Pion Cloud

abstract: Proton-proton differential and total cross sections provide information on the energy dependence of proton shape and size. We show that the deviation from exponential behavior of the diffraction cone observed near $t=-0.1$ GeV$^2$, (so-called break), both at the ISR and the LHC follows from the $t$-channel two-pion loop contributions, imposed by unitarity. By using a simple Regge-pole model, we extrapolate the "break" from the ISR energy region to that of the LHC. This allows us to answer two important questions: 1) To what extent is the "break" observed recently at the LHC a "recurrence" of that seen at the ISR (universality)? 2) What is the relative weight of two-pion effect to the vertex coupling (Regge residue) compared to expanding size (pomeron propagator) in producing the "break"? We find that the effect comes both from the Regge residue (proton-pomeron coupling) and from the Regge propagator. A detail analyses of their balance, including the correlation between the relevant parameters is presented.


title: Social Welfare Maximization Auction in Edge Computing Resource Allocation for Mobile Blockchain

abstract: Blockchain, an emerging decentralized security system, has been applied in many applications, such as bitcoin, smart grid, and Internet-of-Things. However, running the mining process may cost too much energy consumption and computing resource usage on handheld devices, which restricts the use of blockchain in mobile environments. In this paper, we consider deploying edge computing service to support the mobile blockchain. We propose an auction-based edge computing resource market of the edge computing service provider. Since there is competition among miners, the allocative externalities (positive and negative) are taken into account in the model. In our auction mechanism, we maximize the social welfare while guaranteeing the truthfulness, individual rationality and computational efficiency. Based on blockchain mining experiment results, we define a hash power function that characterizes the probability of successfully mining a block. Through extensive simulations, we evaluate the performance of our auction mechanism which shows that our edge computing resources market model can efficiently solve the social welfare maximization problem for the edge computing service provider.


title: Pulse profiles from a pulsar in scalar-tensor gravity

abstract: The pulse profile from a neutron star in scalar-tensor theory of gravity is examined for several stellar models, where we assume the existence of the antipodal hot spots on the neutron star based on the polar cap model. Then, we find that the pulse profile from the scalarized neutron star in scalar-tensor gravity is almost the same as that in general relativity, i.e., without a scalar field, if the stellar compactness of the both stars is very similar. That is, the existence of the scalar field does not directly change the pulse profile from the neutron star, while the stellar compactness is crucial for determining the pulse shape even in the scalar-tensor gravity. Additionally, we find that the pulse shape from the scalarized neutron star is more or less similar to that from the neutron star with the same mass in general relativity, while the ratio of the minimum amplitude to the maximum amplitude in the pulse profile depend strongly on the coupling constant in scalar-tensor gravity, depending on the angle between the rotational and magnetic axes and the angle between the rotational axis and the direction to the observer. So, the direct observation of the pulse profile together with the additional observation of the stellar mass, one may extract the imprint of the gravitational theory in strong field regime.


title: A Study of Generalized Covariant Hamilton Systems On Generalized Poisson manifold

abstract: Since the basic theoretical framework of generalized Hamilton system is not perfect and complete, there are often some practical problems that can not be expressed by generalized Hamilton system. The generalized gradient operator is defined by the structure function on manifold to improve the basic theoretical framework of the whole generalized Hamilton system. The generalized structural Poisson bracket \[\left\{ f,g \right\}={{\left\{ f,g \right\}}_{GPB}}+G\left( s,f,g \right)={{\left\{ f,g \right\}}_{GPB}}+f{{\left\{ s ,g \right\}}_{GPB}}-g{{\left\{ s ,f \right\}}_{GPB}} \]is defined as well on manifolds. The geometric bracket is also given, and the covariant extension form of the generalized Hamilton system directly related to the structure function, the generalized covariance, is further obtained--generalized covariant Hamilton system, It includes thorough generalized Hamiltonian system and S-dynamic system.


title: Push Recovery of a Position-Controlled Humanoid Robot Based on Capture Point Feedback Control

abstract: In this paper, a combination of ankle and hip strategy is used for push recovery of a position-controlled humanoid robot. Ankle strategy and hip strategy are equivalent to Center of Pressure (CoP) and Centroidal Moment Pivot (CMP) regulation respectively. For controlling the CMP and CoP we need a torque-controlled robot, however most of the conventional humanoid robots are position controlled. In this regard, we present an efficient way for implementation of the hip and ankle strategies on a position controlled humanoid robot. We employ a feedback controller to compensate the capture point error. Using our scheme, a simple and practical push recovery controller is designed which can be implemented on the most of the conventional humanoid robots without the need for torque sensors. The effectiveness of the proposed approach is verified through push recovery experiments on SURENA-Mini humanoid robot under severe pushes.


title: High-energy gravitational scattering and the general relativistic two-body problem

abstract: A technique for translating the classical scattering function of two gravitationally interacting bodies into a corresponding (effective one-body) Hamiltonian description has been recently introduced [Phys.\ Rev.\ D {\bf 94}, 104015 (2016)]. Using this technique, we derive, for the first time, to second-order in Newton's constant (i.e. one classical loop) the Hamiltonian of two point masses having an arbitrary (possibly relativistic) relative velocity. The resulting (second post-Minkowskian) Hamiltonian is found to have a tame high-energy structure which we relate both to gravitational self-force studies of large mass-ratio binary systems, and to the ultra high-energy quantum scattering results of Amati, Ciafaloni and Veneziano. We derive several consequences of our second post-Minkowskian Hamiltonian: (i) the need to use special phase-space gauges to get a tame high-energy limit; and (ii) predictions about a (rest-mass independent) linear Regge trajectory behavior of high-angular-momenta, high-energy circular orbits. Ways of testing these predictions by dedicated numerical simulations are indicated. We finally indicate a way to connect our classical results to the quantum gravitational scattering amplitude of two particles, and we urge amplitude experts to use their novel techniques to compute the 2-loop scattering amplitude of scalar masses, from which one could deduce the third post-Minkowskian effective one-body Hamiltonian.