title: Theoretical Simulation of 87Rb Absorption Spectrum in a Thermal Cell

abstract: In this paper, we present a theoretical simulation of 87Rb absorption spectrum in a thermal cm-cell which is adaptive to the experimental observation. In experiment, the coupling and probe beams are configured to copropagate but perpendicular polarized, making up to five velocity selective optical pumping (VSOP) absorption dips able to be identified. A $\Lambda$-type electromagnetically induced transparency (EIT) is also observed for each group of velocity-selected atoms. The spectrum by only sweeping the probe beam can be decomposed into a combination of Doppler-broadened background and three VSOP dips for each group of velocity-selected atoms, companied by an EIT peak. This proposed theoretical model can be used to simulate the spectrum adaptive to the experimental observation by non-linear least-square fit method. The fit for high quality of experimental observation can determine valuable transition parameters such as decaying rates and coupling beam power accurately.


title: Winding light beams along elliptical helical trajectories

abstract: Conventional caustic methods in real or Fourier space produced accelerating optical beams only with convex trajectories. We develop a superposition caustic method capable of winding light beams along non-convex trajectories. We ascertain this method by constructing a one-dimensional (1D) accelerating beam moving along a sinusoidal trajectory, and subsequently extending to two-dimensional (2D) accelerating beams along arbitrarily elliptical helical trajectories. We experimentally implement the method with a compact and robust integrated optics approach by fabricating micro-optical structures on quartz glass plates to perform the spatial phase and amplitude modulation to the incident light, generating beam trajectories highly consistent with prediction. The theoretical and implementation methods can in principle be extended to the construction of accelerating beams with a wide variety of non-convex trajectories, thereby opening up a new route of manipulating light beams for fundamental research and practical applications.


title: Discrete-time Mean-field Stochastic $H_2/H_\infty$ Control

abstract: The finite horizon $H_2/H_\infty$ control problem of mean-field type for discrete-time systems is considered in this paper. Firstly, we derive a mean-field stochastic bounded real lemma (SBRL). Secondly, a sufficient condition for the solvability of discrete-time mean-field stochastic linear-quadratic (LQ) optimal control is presented. Thirdly, based on SBRL and LQ results, this paper establishes a sufficient condition for the existence of discrete-time stochastic $H_2/H_\infty$ control of mean-field type via the solvability of coupled matrix-valued equations.


title: Feature-rich Geometric and Electronic Properties of Carbon Nanoscrolls

abstract: How to form carbon nanoscrolls with the non-uniform curvatures is worthy of a detailed investigation. The first-principles method is suitable in studying the combined effects due to the finite-size confinement, the edge-dependent interactions, the interlayer atomic interactions, the mechanical strains, and the magnetic configurations. The complex mechanisms can induce the unusual essential properties, e.g., the optimal structures, magnetisms, band gaps and energy dispersions. To reach a stable spiral profile, the requirements on the critical nanoribbon width and overlapping length will be thoroughly explored by evaluating the $W$-dependent scrolling energies. A comparison of formation energy between armchair and zigzag nanoscrolls is useful in understanding the experimental characterizations. The spin-up and spin-down distributions near the zigzag edges are examined for their magnetic environments. This accounts for the conservation or destruction of spin degeneracy. The various curved surfaces on a relaxed nanoscroll will create the complicated multi-orbital hybridizations, so that the low-lying energy dispersions and energy gaps are expected to be very sensitive to ribbon width, especially for those of armchair systems. Finally, the planar, curved, folded, scrolled graphene nanoribbons are compared with one another to illustrate the geometry-induced diversity.


title: Ma-Schlenker c-Octahedra in the 2-Sphere

abstract: We present constructions inspired by the Ma-Schlenker example of~\cite{Ma:2012hl} that show the non-rigidity of spherical inversive distance circle packings. In contrast to the use in~\cite{Ma:2012hl} of an infinitesimally flexible Euclidean polyhedron, embeddings in de Sitter space, and Pogorelov maps, our elementary constructions use only the inversive geometry of the $2$-sphere.


title: Limit order trading with a mean reverting reference price

abstract: Optimal control models for limit order trading often assume that the underlying asset price is a Brownian motion since they deal with relatively short time scales. The resulting optimal bid and ask limit order prices tend to track the underlying price as one might expect. This is indeed the case with the model of Avellaneda and Stoikov (2008), which has been studied extensively. We consider here this model under the condition when the underlying price is mean reverting. Our main result is that when time is far from the terminal, the optimal price for bid and ask limit orders is constant, which means that it does not track the underlying price. Numerical simulations confirm this behavior. When the underlying price is mean reverting, then for times sufficiently far from terminal, it is more advantageous to focus on the mean price and ignore fluctuations around it. Mean reversion suggests that limit orders will be executed with some regularity, and this is why they are optimal. We also explore intermediate time regimes where limit order prices are influenced by the inventory of outstanding orders. The duration of this intermediate regime depends on the liquidity of the market as measured by specific parameters in the model.


title: Alzheimer's Disease Diagnostics by Adaptation of 3D Convolutional Network

abstract: Early diagnosis, playing an important role in preventing progress and treating the Alzheimer\{'}s disease (AD), is based on classification of features extracted from brain images. The features have to accurately capture main AD-related variations of anatomical brain structures, such as, e.g., ventricles size, hippocampus shape, cortical thickness, and brain volume. This paper proposed to predict the AD with a deep 3D convolutional neural network (3D-CNN), which can learn generic features capturing AD biomarkers and adapt to different domain datasets. The 3D-CNN is built upon a 3D convolutional autoencoder, which is pre-trained to capture anatomical shape variations in structural brain MRI scans. Fully connected upper layers of the 3D-CNN are then fine-tuned for each task-specific AD classification. Experiments on the CADDementia MRI dataset with no skull-stripping preprocessing have shown our 3D-CNN outperforms several conventional classifiers by accuracy. Abilities of the 3D-CNN to generalize the features learnt and adapt to other domains have been validated on the ADNI dataset.


title: Fermions in G\"odel-type background space-times with torsion and the Landau quantization

abstract: In this paper, we analyze Dirac fermions in G\"odel-type background space-times with torsion. We also consider the G\"odel-type spacetimes embedded in a topological defect background. We show that relativistic bound states solutions to the Dirac equation can be obtained by dealing with three cases of the G\"odel-type solutions with torsion, where a cosmic string passes through these three cases of the space-time. We obtain the relativistic energy levels for all cases of the G\"odel-type solutions with torsion with a cosmic string, where we show that there exists an analogy with the Landau levels for Dirac particles. We also show that the presence of torsion in the space-time yields new contributions to the relativistic spectrum of energies and that the presence of the topological defect modifies the degeneracy of the relativistic energy levels.


title: Floodlight Quantum Key Distribution: Demonstrating a New Framework for High-Rate Secure Communication

abstract: Floodlight quantum key distribution (FL-QKD) is a radically different QKD paradigm that can achieve Gbit/s secret-key rates over metropolitan area distances without multiplexing [Phys. Rev. A 94, 012322 (2016)]. It is a two-way protocol that transmits many photons per bit duration and employs a high-gain optical amplifier, neither of which can be utilized by existing QKD protocols to mitigate channel loss. FL-QKD uses an optical bandwidth that is substantially larger than the modulation rate and performs decoding with a unique broadband homodyne receiver. Essential to FL-QKD is Alice's injection of photons from a photon-pair source--in addition to the light used for key generation--into the light she sends to Bob. This injection enables Alice and Bob to quantify Eve's intrusion and thus secure FL-QKD against collective attacks. Our proof-of-concept experiment included 10 dB propagation loss--equivalent to 50 km of low-loss fiber--and achieved a 55 Mbit/s secret-key rate (SKR) for a 100 Mbit/s modulation rate, as compared to the state-of-the-art system's 1 Mbit/s SKR for a 1 Gbit/s modulation rate [Opt. Express 21, 24550-24565 (2013)], representing ~500-fold and ~50-fold improvements in secret-key efficiency (SKE) (bits per channel use) and SKR (bits per second), respectively.


title: Existence Results for a critical fractional equation

abstract: We are concerned with existence results for a critical problem of Brezis-Nirenberg Type involving an integro-differential operator. Our study includes the fractional Laplacian. Our approach still applies when adding small singular terms. It hinges on appropriate choices of parameters in the mountain-pass theorem


title: Re-acceleration model for the `Sausage' Radio Relic

abstract: The Sausage radio relic is the arc-like radio structure in the cluster CIZA J2242.8+5301, whose observed properties can be best understood by synchrotron emission from relativistic electrons accelerated at a merger-driven shock. However, there remain a few puzzles that cannot be explained by the shock acceleration model with only in-situ injection. In particular, the Mach number inferred from the observed radio spectral index, $M_{\rm radio}\approx 4.6$, while the Mach number estimated from X-ray observations, $M_{\rm X-ray}\approx 2.7$. In an attempt to resolve such a discrepancy, here we consider the re-acceleration model in which a shock of $M_s\approx 3$ sweeps through the intracluster gas with a pre-existing population of relativistic electrons. We find that observed brightness profiles at multi frequencies provide strong constraints on the spectral shape of pre-existing electrons. The models with a power-law momentum spectrum with the slope, $s\approx 4.1$, and the cutoff Lorentz factor, $\gamma_{e,c}\approx 3-5\times 10^4$ can reproduce reasonably well the observed spatial profiles of radio fluxes and integrated radio spectrum of the Sausage relic. The possible origins of such relativistic electrons in the intracluster medium remain to be investigated further.


title: Modulations of viscous fluid conduit periodic waves

abstract: In this work, modulation of periodic interfacial waves on a conduit of viscous liquid is explored utilizing Whitham theory and Nonlinear Schr\"odinger (NLS) theory. Large amplitude periodic wave modulation theory does not require integrability of the underlying model equation, yet in practice, either integrable equations are studied or the full extent of Whitham (wave-averaging) theory is not developed. The governing conduit equation is nonlocal with nonlinear dispersion and is not integrable. Via a scaling symmetry, periodic waves can be characterized by their wavenumber and amplitude. In the weakly nonlinear regime, both the defocusing and focusing variants of the NLS equation are derived, depending on the wavenumber. Dark and bright envelope solitons are found to persist in the conduit equation. Due to non-convex dispersion, modulational instability for periodic waves above a critical wavenumber is predicted. In the large amplitude regime, structural properties of the Whitham modulation equations are computed, including strict hyperbolicity, genuine nonlinearity, and linear degeneracy. Bifurcating from the NLS critical wavenumber at zero amplitude is an amplitude-dependent elliptic region for the Whitham equations within which a maximally unstable periodic wave is identified. These results have implications for dispersive shock waves, recently observed experimentally.


title: Fast Escaping Sets of meromorphic functions

abstract: In this paper, we give a definition of Eremenko's point of a meromorphic function with infinitely many poles and a condition for its existence in narrow annuli in terms of a covering theorem of annulus.


title: Suppression of chaos through coupling to an external chaotic system

abstract: We explore the behaviour of an ensemble of chaotic oscillators coupled only to an external chaotic system, whose intrinsic dynamics may be similar or dissimilar to the group. Counter-intuitively, we find that a dissimilar external system manages to suppress the intrinsic chaos of the oscillators to fixed point dynamics, at sufficiently high coupling strengths. So, while synchronization is induced readily by coupling to an identical external system, control to fixed states is achieved only if the external system is dissimilar. We quantify the efficacy of control by estimating the fraction of random initial states that go to fixed points, a measure analogous to basin stability. Lastly, we indicate the generality of this phenomenon by demonstrating suppression of chaotic oscillations by coupling to a common hyper-chaotic system. These results then indicate the easy controllability of chaotic oscillators by an external chaotic system, thereby suggesting a potent method that may help design control strategies.


title: Computations of superstring amplitudes in pure spinor formalism via Cadabra

abstract: The discovery of pure spinor formalism makes the computation of superstring scattering amplitudes possible. In this paper, we will illustrate how computer algebra system Cadabra is used in computing the supersymmetric amplitude in pure spinor formalism and provide the source code that computes the tree-level massless 5-gluon amplitude.


title: NIST: An Image Classification Network to Image Semantic Retrieval

abstract: This paper proposes a classification network to image semantic retrieval (NIST) framework to counter the image retrieval challenge. Our approach leverages the successful classification network GoogleNet based on Convolutional Neural Networks to obtain the semantic feature matrix which contains the serial number of classes and corresponding probabilities. Compared with traditional image retrieval using feature matching to compute the similarity between two images, NIST leverages the semantic information to construct semantic feature matrix and uses the semantic distance algorithm to compute the similarity. Besides, the fusion strategy can significantly reduce storage and time consumption due to less classes participating in the last semantic distance computation. Experiments demonstrate that our NIST framework produces state-of-the-art results in retrieval experiments on MIRFLICKR-25K dataset.


title: Enhanced Information Exclusion Relations

abstract: In Hall's reformulation of the uncertainty principle, the entropic uncertainty relation occupies a core position and provides the first nontrivial bound for the information exclusion principle. Based upon recent developments on the uncertainty relation, we present new bounds for the information exclusion relation using majorization theory and combinatoric techniques, which reveal further characteristic properties of the overlap matrix between the measurements.


title: Outlier absorbing based on a Bayesian approach

abstract: The presence of outliers is prevalent in machine learning applications and may produce misleading results. In this paper a new method for dealing with outliers and anomal samples is proposed. To overcome the outlier issue, the proposed method combines the global and local views of the samples. By combination of these views, our algorithm performs in a robust manner. The experimental results show the capabilities of the proposed method.


title: On The Security of AoA Estimation

abstract: Angle of Arrival (AoA) estimation has found its way to a wide range of applications. Much attention have been paid to study different techniques for AoA estimation and its applications for jamming suppression, however, security vulnerability issues of AoA estimation itself under hostile activity have not been paid the same attention. In this paper, the problem of AoA estimation in Rician flat fading channel under jamming condition is investigated. We consider the scenario in which a receiver with multiple antenna is trying to estimate the AoA of the specular line of sight (LOS) component of signal received from a given single antenna transmitter using a predefined training sequence. A jammer equipped with multiple antennas is trying to interrupt the AoA estimation phase by sending an arbitrary signal. We derive the optimal jammer and receiver strategies in various scenarios based on the knowledge of the opponent strategies and the available information about the communication channel. In all scenarios, we derive the optimal jammer signal design as well as its optimal power allocation policy. The results show the optimality of the training based Maximum Likelihood (ML) AoA estimator in case of randomly generated jamming signal. We also show that, the optimal jammer strategy is to emit a signal identical to the predefined training sequence turning the estimation process into a highest power competition scenario in which the detected AoA is the one for the transmitting entity of higher power. The obtained results are supported by the provided computer simulation.


title: Unbreakable distributed storage with quantum key distribution network and password-authenticated secret sharing

abstract: Distributed storage plays an essential role in realizing robust and secure data storage in a network over long periods of time. A distributed storage system consists of a data owner machine, multiple storage servers and channels to link them. In such a system, secret sharing scheme is widely adopted, in which secret data are split into multiple pieces and stored in each server. To reconstruct them, the data owner should gather plural pieces. Shamir's (k, n)-threshold scheme, in which the data are split into n pieces (shares) for storage and at least k pieces of them must be gathered for reconstruction, furnishes information theoretic security, that is, even if attackers could collect shares of less than the threshold k, they cannot get any information about the data, even with unlimited computing power. Behind this scenario, however, assumed is that data transmission and authentication must be perfectly secure, which is not trivial in practice. Here we propose a totally information theoretically secure distributed storage system based on a user-friendly single-password-authenticated secret sharing scheme and secure transmission using quantum key distribution, and demonstrate it in the Tokyo metropolitan area.


title: On Eisenstein primes

abstract: In this paper, we prove that there are infinitely many primes of the form $\ell^2 - \ell m + m^2$ such that $2\ell - m$ is also prime. To prove this, we follow along the lines of the work of Fouvry and Iwaniec (1997) who showed that there are infinitely many primes of the form $\ell^2 + m^2$ for $\ell$ prime, but use $\mathbb{Z}[\omega]$ instead of $\mathbb{Z}[i]$ to work with the bilinear forms that arise in both.


title: Keyframe-based monocular SLAM: design, survey, and future directions

abstract: Extensive research in the field of monocular SLAM for the past fifteen years has yielded workable systems that found their way into various applications in robotics and augmented reality. Although filter-based monocular SLAM systems were common at some time, the more efficient keyframe-based solutions are becoming the de facto methodology for building a monocular SLAM system. The objective of this paper is threefold: first, the paper serves as a guideline for people seeking to design their own monocular SLAM according to specific environmental constraints. Second, it presents a survey that covers the various keyframe-based monocular SLAM systems in the literature, detailing the components of their implementation, and critically assessing the specific strategies made in each proposed solution. Third, the paper provides insight into the direction of future research in this field, to address the major limitations still facing monocular SLAM; namely, in the issues of illumination changes, initialization, highly dynamic motion, poorly textured scenes, repetitive textures, map maintenance, and failure recovery.


title: Maximizing device-independent randomness from a Bell experiment by optimizing the measurement settings

abstract: The rates at which a user can generate device-independent quantum random numbers from a Bell-type experiment depend on the measurements that he performs. By numerically optimising over these measurements, we present lower bounds on the randomness generation rates for a family of two-qubit states composed from a mixture of partially entangled states and the completely mixed state. We also report on the randomness generation rates from a tomographic measurement. Interestingly in this case, the randomness generation rates are not monotonic functions of entanglement.


title: Jaco-Type Graphs and Black Energy Dissipation

abstract: In this paper, we introduce the notion of an energy graph as a simple, directed and vertex labeled graph $G$ such that the arcs $(v_i, v_j) \notin A(G)$ if $i > j$ for all distinct pairs $v_i,v_j$ and at least one vertex $v_k$ exists such that $d^-(v_k)=0$. Initially, equal amount of potential energy is allocated to certain vertices. Then, at a point of time these vertices transform the potential energy into kinetic energy and initiate transmission to head vertices. Upon reaching a head vertex, perfect elastic collisions with atomic particles take place and propagate energy further. Propagation rules apply which result in energy dissipation. This dissipated energy is called black energy. The notion of the black arc number of a graph is also introduced in this paper. Mainly Jaco-type graphs are considered for the application of the new concepts.


title: Distance and distance signless Laplacian spread of connected graphs

abstract: For a connected graph $G$ on $n$ vertices, recall that the distance signless Laplacian matrix of $G$ is defined to be $\mathcal{Q}(G)=Tr(G)+\mathcal{D}(G)$, where $\mathcal{D}(G)$ is the distance matrix, $Tr(G)=diag(D_1, D_2, \ldots, D_n)$ and $D_{i}$ is the row sum of $\mathcal{D}(G)$ corresponding to vertex $v_{i}$. Denote by $\rho^{\mathcal{D}}(G),$ $\rho_{min}^{\mathcal{D}}(G)$ the largest eigenvalue and the least eigenvalue of $\mathcal{D}(G)$, respectively. And denote by $q^{\mathcal{D}}(G)$, $q_{min}^{\mathcal{D}}(G)$ the largest eigenvalue and the least eigenvalue of $\mathcal{Q}(G)$, respectively. The distance spread of a graph $G$ is defined as $S_{\mathcal{D}}(G)=\rho^{\mathcal{D}}(G)- \rho_{min}^{\mathcal{D}}(G)$, and the distance signless Laplacian spread of a graph $G$ is defined as $S_{\mathcal{Q}}(G)=q^{\mathcal{D}}(G)-q_{min}^{\mathcal{D}}(G)$. In this paper, we point out an error in the result of Theorem 2.4 in "Distance spectral spread of a graph" [G.L. Yu, et al, Discrete Applied Mathematics. 160 (2012) 2474--2478] and rectify it. As well, we obtain some lower bounds on ddistance signless Laplacian spread of a graph.


title: Adaptive Neighborhood Graph Construction for Inference in Multi-Relational Networks

abstract: A neighborhood graph, which represents the instances as vertices and their relations as weighted edges, is the basis of many semi-supervised and relational models for node labeling and link prediction. Most methods employ a sequential process to construct the neighborhood graph. This process often consists of generating a candidate graph, pruning the candidate graph to make a neighborhood graph, and then performing inference on the variables (i.e., nodes) in the neighborhood graph. In this paper, we propose a framework that can dynamically adapt the neighborhood graph based on the states of variables from intermediate inference results, as well as structural properties of the relations connecting them. A key strength of our framework is its ability to handle multi-relational data and employ varying amounts of relations for each instance based on the intermediate inference results. We formulate the link prediction task as inference on neighborhood graphs, and include preliminary results illustrating the effects of different strategies in our proposed framework.


title: Lessons from DEPLOYment

abstract: This paper reviews the major lessons learnt during two significant pilot projects by Bosch Research during the DEPLOY project. Principally, the use of a single formalism, even when it comes together with a rigorous refinement methodology like Event-B, cannot offer a complete solution. Unfortunately (but not unexpectedly), we cannot offer a panacea to cover every phase from requirements to code; in fact any specific formalism or language (or tool) should be used only where and when it is really suitable and not necessarily (and somehow forcibly) over the entire lifecycle.


title: Equimatchable Claw-Free Graphs

abstract: A graph is equimatchable if all of its maximal matchings have the same size. A graph is claw-free if it does not have a claw as an induced subgraph. In this paper, we provide, to the best of our knowledge, the first characterization of claw-free equimatchable graphs by identifying the equimatchable claw-free graph families. This characterization implies an efficient recognition algorithm.


title: Comment on Justin E. Pye and Connie B. Roth, J. Polym. Sci., Part B Polym.Phys. 2015, 53, 64-75

abstract: Two transitions were found by ellipsometry in freestanding high molecular weight PS films by Pye and Roth (PR). PR suggested that the upper and the lower transitions both came from the segmental a-relaxation, and the upper transition occurs in 90% of the material. In this paper we use dielectric relaxation data of freestanding films to rule out their suggestion. Furthermore, we demonstrate by experimental evidences that the sub-Rouse modes are coupled to density, and respond to physical aging to validate our interpretation and can explain the upper transition.


title: Model Checking of BPMN Models for Reconfigurable Workflows

abstract: Nowadays, business enterprises often need to dynamically reconfigure their internal processes in order to improve the efficiency of the business flow. However, modifications of the workflow usually lead to several problems in terms of deadlock freedom, completeness and security. A solid solution to these problems consists in the application of model checking techniques in order to verify if specific properties of the workflow are preserved by the change in configuration. Our goal in this work is to develop a formal verification procedure to deal with these problems. The first step consists in developing a formal definition of a BPMN model of a business workflow. Then, a given BPMN model is translated into a formal model specified in Promela. Finally, by using the SPIN model checker, the correctness of the reconfigured workflow is verified.


title: Development of a Method for Tissue Elasticity Imaging Using Tagged Magnetic Resonance Imaging

abstract: The purpose of this study was to develop a method for tissue elasticity imaging using tagged magnetic resonance imaging (MRI). First, we developed a cyclic pressure device that used air to remotely transmit the power to generate cyclic deformation in an object. The pressure induced by the cyclic pressure device was measured by MRI-compatible force sensors. Second, we developed a software to calculate Young's modulus from tagged MRI data using the harmonic phase (HARP) method and the finite element method (FEM). We also developed a software to extract tag-cross points from tagged MRI data. Finally, we evaluated the usefulness of our method using three homogeneous silicone gel phantoms with different degrees of stiffness in comparison with Young's moduli measured by a material testing machine. The coefficient of variation of the pressure data measured by MRI-compatible force sensors was within 5 %, indicating that the reproducibility of the pressure generated by our cyclic pressure device was good. The Young's moduli obtained by the material testing machine, the HARP method, and the FEM increased with increasing stiffness of the phantoms. There were relatively good agreements among the three methods. These results suggest that our method is useful for tissue elasticity imaging and for quantifying the stiffness of tissues.


title: Towards laboratory detection of topological vortices in superfluid phases of QCD

abstract: Topological defects arise in a variety of systems, e.g. vortices in superfluid helium to cosmic strings in the early universe. There is an indirect evidence of neutron superfluid vortices from glitches in pulsars. One also expects that topological defects may arise in various high baryon density phases of quantum chromodynamics (QCD), e.g. superfluid topological vortices in the color flavor locked (CFL) phase. Though vastly different in energy/length scales, there are universal features, e.g. in the formation of all these defects. Utilizing this universality, we investigate the possibility of detecting these topological superfluid vortices in laboratory experiments, namely heavy-ion collisions. Using hydrodynamic simulations, we show that vortices can qualitatively affect the power spectrum of flow fluctuations. This can give unambiguous signal for superfluid transition resulting in vortices, allowing for check of defect formation theories in a relativistic quantum field theory system, and the detection of superfluid phases of QCD. Detection of nucleonic superfluid vortices in low energy heavy-ion collisions will give opportunity for laboratory controlled study of their properties, providing crucial inputs for the physics of pulsars.

categories: hep-ph cond-mat.supr-con nucl-ex nucl-th


title: Non-commutative Geometry of Homogenized Quantum $\mathfrak{sl}(2,\mathbb{C})$

abstract: This paper examines the relationship between certain non-commutative analogues of projective 3-space, $\mathbb{P}^3$, and the quantized enveloping algebras $U_q(\mathfrak{sl}_2)$. The relationship is mediated by certain non-commutative graded algebras $S$, one for each $q \in \mathbb{C}^\times$, having a degree-two central element $c$ such that $S[c^{-1}]_0 \cong U_q(\mathfrak{sl}_2)$. The non-commutative analogues of $\mathbb{P}^3$ are the spaces $\operatorname{Proj}_{nc}(S)$. We show how the points, fat points, lines, and quadrics, in $\operatorname{Proj}_{nc}(S)$, and their incidence relations, correspond to finite dimensional irreducible representations of $U_q(\mathfrak{sl}_2)$, Verma modules, annihilators of Verma modules, and homomorphisms between them.


title: A higher order system of some coupled nonlinear Schr\"odinger and Korteweg-de Vries equations

abstract: We prove existence and multiplicity of bound and ground state solutions, under appropriate conditions on the parameters, for a bi-harmonic stationary system of coupled nonlinear Schr\"odinger--Korteweg-de Vries equations.


title: Quasi-Species in High Dimensional Spaces

abstract: We show that, under certain assumptions, the fitness of almost all quasi-species becomes independent of mutational probabilities and the initial frequency distributions of the sequences in high dimensional sequence spaces. This result is the consequence of the concentration of measure on a high dimensional hypersphere and its extension to Lipschitz functions knows as the Levy's Lemma. Therefore, evolutionary dynamics almost always yields the same value for fitness of the quasi-species, independent of the mutational process and initial conditions, and is quite robust to mutational changes and fluctuations in initial conditions. Our results naturally extend to any Lipschitz function whose input parameters are the frequencies of individual constituents of the quasi-species. This suggests that the functional capabilities of high dimensional quasi-species are robust to fluctuations in the mutational probabilities and initial conditions.


title: Three-Dimensional Reddening Map for Stars from 2MASS Photometry: The Method and the First Results

abstract: The first results of the construction of a 3D reddening map for stars within 1600 pc of the Sun are presented. Analysis of the distribution of 70 million stars from the 2MASS catalog with the most accurate photometry on the (J-Ks) - Ks diagram supplemented with Monte Carlo simulations has shown that one of the maxima of this distribution corresponds to F-type dwarfs and subgiants with a mean absolute magnitude MKs=2.5m. The shift of this maximum toward large (J-Ks) with increasing $Ks$ reflects the reddening of these stars with increasing heliocentric distance. The distribution of the sample of stars over Ks, l, and b cells with corresponds to their distribution over 3D spatial cells. As a result, the reddening E(J-Ks) has been determined with an accuracy of 0.03m for spatial cells with a side of 100 pc. All of the known large absorbing clouds within 1600 pc of the Sun have manifested themselves in the results obtained. The distances to the near and far edges of the clouds have been determined with a relative accuracy of 15\%. The cases where unknown clouds are hidden behind known ones on the same line of sight have been found. The distance dependence of reddening is considered for various Galactic latitudes and longitudes. The absorbing matter of the Gould Belt is shown to manifest itself at latitudes up to 40 deg and within 600 pc of the Sun. The size and influence of the Gould Belt may have been underestimated thus far. The absorbing matter at latitudes up to 60 deg and within 1600 pc of the Sun has been found to be distributed predominantly in the first and second quadrants in S hemisphere and in the third and fourth quadrants in N hemisphere. A nonrandom orientation of the clouds relative to the Sun is possible. The mass of the baryonic dark matter in solar neighborhoods can then be considerably larger than is generally believed.


title: Group Sparse Regularization for Deep Neural Networks

abstract: In this paper, we consider the joint task of simultaneously optimizing (i) the weights of a deep neural network, (ii) the number of neurons for each hidden layer, and (iii) the subset of active input features (i.e., feature selection). While these problems are generally dealt with separately, we present a simple regularized formulation allowing to solve all three of them in parallel, using standard optimization routines. Specifically, we extend the group Lasso penalty (originated in the linear regression literature) in order to impose group-level sparsity on the network's connections, where each group is defined as the set of outgoing weights from a unit. Depending on the specific case, the weights can be related to an input variable, to a hidden neuron, or to a bias unit, thus performing simultaneously all the aforementioned tasks in order to obtain a compact network. We perform an extensive experimental evaluation, by comparing with classical weight decay and Lasso penalties. We show that a sparse version of the group Lasso penalty is able to achieve competitive performances, while at the same time resulting in extremely compact networks with a smaller number of input features. We evaluate both on a toy dataset for handwritten digit recognition, and on multiple realistic large-scale classification problems.


title: Singularly Perturbed Profiles

abstract: In the current paper the so-called REaction-DIffusion Manifold (REDIM) method of model reduction is discussed within the framework of standard singular perturbation theory. According to the REDIM a reduced model for the system describing a reacting flow (accounting for chemical reaction, advection and molecular diffusion) is represented by a low-dimensional manifold, which is embedded in the system state space and approximates the evolution of the system solution profiles in space and in time. This pure geometric construction is reviewed by using Singular Perturbed System (SPS) theory as the only possibility to formalize, to justify and to verify the suggested methodology. The REDIM is studied as a correction by the diffusion of the slow invariant manifold defined for a pure homogeneous system. A main result of the study is an estimation of this correction to the slow invariant manifold. A benchmark model of Mechaelis-Menten is extended to the system with the standard diffusion described by the Laplacian and used as an illustration and for validation of analytic results.


title: The spectral estimates for the Neumann-Laplace operator in space domains

abstract: In this paper we prove discreteness of the spectrum of the Neu\-mann-Lap\-la\-ci\-an (the free membrane problem) in a large class of non-convex space domains. The lower estimates of the first non-trivial eigenvalue are obtained in terms of geometric characteristics of Sobolev mappings. The suggested approach is based on Poincar\'e-Sobolev inequalities that are obtained with the help of the composition operators theory for uniform Sobolev spaces. These composition operators are induced by a generalizations of conformal mappings that are mappings of bounded $2$-dilatation ($2$-quasiconformal mappings).


title: Event patterns (particle scatter plots) extracted from charged particle spectra in $pp$ and Pb-Pb collisions at 2.76 TeV

abstract: The transverse momentum ($p_T$) and pseudorapidity ($\eta$) spectra of charged particles produced in proton-proton ($pp$) and lead-lead (Pb-Pb) collisions at the large hadron collider (LHC) are described by a hybrid model. In the model, the $p_T$ spectrum is described by a two-component distribution which contains an inverse power-law suggested by the QCD (Quantum Chromodynamic) calculus and an Erlang distribution resulted from a multisource thermal model. The $\eta$ spectrum is described by a Gaussian rapidity ($y$) distribution resulted from the Landau hydrodynamic model and the two-component $p_T$ distribution, where the conversion between $y$ and $\eta$ is accurately considered. The modelling results are in agreement with the experimental data measured by the ATLAS Collaboration in $pp$ collisions at center-of-mass energy $\sqrt{s}=2.76$ TeV and in Pb-Pb collisions at center-of-mass energy per nucleon pair $\sqrt{s_{NN}}=2.76$ TeV. Based on the parameter values extracted from $p_T$ and $\eta$ or $y$ spectra, the event patterns or particle scatter plots in three-dimensional velocity and momentum spaces are obtained.


title: Spectrum of the Signless 1-Laplacian and the Dual Cheeger Constant on Graphs

abstract: Parallel to the signless Laplacian spectral theory, we introduce and develop the nonlinear spectral theory of signless $1$-Laplacian on graphs. Again, the first eigenvalue $\mu^+_1$ of the signless 1-Laplacian precisely characterizes the bipartiteness of a graph and naturally connects to the maxcut problem. However, the dual Cheeger constant $h^+$, which has only some upper and lower bounds in the Laplacian spectral theory, is proved to be $1-\mu^+_1$. The structure of the eigenvectors and the graphic feature of eigenvalues are also studied. The Courant nodal domain theorem for graphs is extended to the signless 1-Laplacian. A set-pair version of the Lov\'asz extension, which aims at the equivalence between discrete combination optimization and continuous function optimization, is established to recover the relationship $h^+=1-\mu^+_1$. A local analysis of the associated functional yields an inverse power method to determine $h^+$ and then produces an efficient implementation of the recursive spectral cut algorithm for the maxcut problem.


title: Scalar Solvability of Network Computation Problems and Representable Matroids

abstract: We consider the following \textit{network computation problem}. In an acyclic network, there are multiple source nodes, each generating multiple messages, and there are multiple sink nodes, each demanding a function of the source messages. The network coding problem corresponds to the case in which every demand function is equal to some source message, i.e., each sink demands some source message. Connections between network coding problems and matroids have been well studied. In this work, we establish a relation between network computation problems and representable matroids. We show that a network computation problem in which the sinks demand linear functions of source messages admits a scalar linear solution if and only if it is matroidal with respect to a representable matroid whose representation fulfills certain constraints dictated by the network computation problem. Next, we obtain a connection between network computation problems and functional dependency relations (FD-relations) and show that FD-relations can be used to characterize network computation problem with arbitrary (not necessarily linear) function demands as well as nonlinear network codes.


title: First Observational Signature of Rotational Deceleration in a Massive, Intermediate-age Star Cluster in the Magellanic Clouds

abstract: While the extended main-sequence turn-offs (eMSTOs) found in almost all 1--2 Gyr-old star clusters in the Magellanic Clouds are often explained by postulating extended star-formation histories, the tight subgiant branches (SGBs) seen in some clusters challenge this popular scenario. Puzzlingly, the SGB of the eMSTO cluster NGC 419 is significantly broader at bluer than at redder colors. We carefully assess and confirm the reality of this observational trend. If we would assume that the widths of the features in color--magnitude space were entirely owing to a range in stellar ages, the star-formation histories of the eMSTO stars and the blue SGB region would be significantly more prolonged than that of the red part of the SGB. This cannot be explained by assuming an internal age spread. We show that rotational deceleration of a population of rapidly rotating stars, a currently hotly debated alternative scenario, naturally explains the observed trend along the SGB. Our analysis shows that a `converging' SGB could be produced if the cluster is mostly composed of rapidly rotating stars that slow down over time owing to the conservation of angular momentum during their evolutionary expansion from main-sequence turn-off stars to red giants.


title: Large Deviations for a Class of Semilinear Stochastic Partial Differential Equations

abstract: We prove the large deviations principle (LDP) for the law of the solutions to a class of semilinear stochastic partial differential equations driven by multiplicative noise. Our proof is based on the weak convergence approach and significantly improves earlier methods.


title: Tracer Particles in Two-Dimensional Elastic Networks Diffuse Logarithmically Slow

abstract: Several experiments on tagged molecules or particles in living systems suggest that they move anomalously slow - their mean squared displacement (MSD) increase slower than linearly with time. Leading models aimed at understanding these experiments predict that the MSD grows as a power law with a growth exponent that is smaller than unity. However, in some experiments the exponent is so small $(\sim 0.1-0.2)$ that they hint towards other mechanisms at play. In this paper, we theoretically demonstrate how in-plane collective modes excited by thermal fluctuations in a two dimensional membrane lead to logarithmic time dependence for the mean square displacement of a tracer particle.


title: Double-detector for Sparse Signal Detection from One Bit Compressed Sensing Measurements

abstract: This letter presents the sparse vector signal detection from one bit compressed sensing measurements, in contrast to the previous works which deal with scalar signal detection. In this letter, available results are extended to the vector case and the GLRT detector and the optimal quantizer design are obtained. Also, a double-detector scheme is introduced in which a sensor level threshold detector is integrated into network level GLRT to improve the performance. The detection criteria of oracle and clairvoyant detectors are also derived. Simulation results show that with careful design of the threshold detector, the overall detection performance of double-detector scheme would be better than the sign-GLRT proposed in [1] and close to oracle and clairvoyant detectors. Also, the proposed detector is applied to spectrum sensing and the results are near the well known energy detector which uses the real valued data while the proposed detector only uses the sign of the data.


title: IFU spectroscopy of southern PNe: III

abstract: In this paper we describe integral field spectroscopic observations of four southern Galactic Planetary Nebulae (PNe), M3-4, M3-6, Hen2-29 and Hen2-37 covering the spectral range, 3400-7000 A. We derive the ionisation structure, the physical conditions, the chemical compositions and the kinematical characteristics of these PNe and find good agreement with previous studies that relied upon the long-slit technique in their co-spatial area. From their chemical compositions as well as their spatial and kinematic characteristics, we determined that Hen2-29 is of the Peimbert Type I (He and N rich), while the other three are of Type II. The strength of the nebular He II line reveals that M3-3, Hen2-29 and Hen2-37 are of mid to high excitation classes while M3-6 is a low excitation planetary nebula (PN). A series of emission-line maps extracted from the data cubes were constructed for each PN to describe its overall structure. These show remarkable morphological diversity. Spatially resolved spectroscopy of M3-6, shows that the recombination lines of CII, CIII, CIV and NIII are of nebular origin, rather than arising from the central star as had been previously proposed. This result increases doubts regarding the weak emission-line star (WELS) classification raised by Basurah et al. (2016). In addition, they reinforce the probability that most genuine cases of WELS are arise from irradiation effects in close binary central stars (Miszalski 2009).


title: $P-V$ Criticality In the Extended Phase Space of Charged Accelerating AdS Black Holes

abstract: In this paper, we investigate the $P-V$ criticality and phase transition of charged accelerating AdS black holes in the extended thermodynamic phase space in analogy between black hole system and Van der Waals liquid-gas system, where the cosmological constant $\Lambda$ is treated as a thermodynamical variable interpreted as dynamic pressure and its conjugate quantity is the thermodynamic volume of the black holes. When the electric charge vanishes, we find that no $P-V$ criticality will appear but the Hawking-Page like phase transition will be present, just as what Schwarzschild-AdS black holes behave like. For the charged case, the $P-V$ criticality appears and the accelerating black holes will undergo a small black hole/large phase transition under the condition that the acceleration parameter $A$ and the horizon radius $r_h$ meet a certain simple relation $A r_h=a$, where $a$ is a constant in our discussion. To make $P-V$ criticality appear, there exists an upper bounds for constant $a$. When $P-V$ criticality appears, we calculate the critical pressure $P_{c}$, critical temperature $T_{c}$ and critical specific volume $r_{c}$, and we find that $\frac{P_{c}r_{c}}{T_{c}}$ is an universal number.


title: Identifying ECUs Using Inimitable Characteristics of Signals in Controller Area Networks

abstract: In the last several decades, the automotive industry has come to incorporate the latest Information and Communications (ICT) technology, increasingly replacing mechanical components of vehicles with electronic components. These electronic control units (ECUs) communicate with each other in an in-vehicle network that makes the vehicle both safer and easier to drive. Controller Area Networks (CANs) are the current standard for such high quality in-vehicle communication. Unfortunately, however, CANs do not currently offer protection against security attacks. In particular, they do not allow for message authentication and hence are open to attacks that replay ECU messages for malicious purposes. Applying the classic cryptographic method of message authentication code (MAC) is not feasible since the CAN data frame is not long enough to include a sufficiently long MAC to provide effective authentication. In this paper, we propose a novel identification method, which works in the physical layer of an in-vehicle CAN network. Our method identifies ECUs using inimitable characteristics of signals enabling detection of a compromised or alien ECU being used in a replay attack. Unlike previous attempts to address security issues in the in-vehicle CAN network, our method works by simply adding a monitoring unit to the existing network, making it deployable in current systems and compliant with required CAN standards. Our experimental results show that the bit string and classification algorithm that we utilized yielded more accurate identification of compromised ECUs than any other method proposed to date. The false positive rate is more than 2 times lower than the method proposed by P.-S. Murvay et al. This paper is also the first to identify potential attack models that systems should be able to detect.


title: ExoMol line lists XV: A new hot line list for hydrogen peroxide

abstract: A computed line list for hydrogen peroxide, H$_2{}^{16}$O$_2$, applicable to temperatures up to $T=1250$~K is presented. A semi-empirical high accuracy potential energy surface is constructed and used with an {\it ab initio} dipole moment surface as input TROVE to compute 7.5 million rotational-vibrational states and around 20 billion transitions with associated Einstein-$A$ coefficients for rotational excitations up to $J=85$. The resulting APTY line list is complete for wavenumbers below 6~000 cm$^{-1}$ ($\lambda < 1.67$~$\mu$m) and temperatures up to 1250~K. Room-temperature spectra are compared with laboratory measurements and data currently available in the HITRAN database and literature. Our rms with line positions from the literature is 0.152 \cm\ and our absolute intensities agree better than 10\%. The full line list is available from the CDS databas


title: ExoMol molecular line lists - XVI: The rotation-vibration spectrum of hot H$_2$S

abstract: This work presents the AYT2 line list: a comprehensive list of 114 million $^{1}$H$_2$$^{32}$S vibration-rotation transitions computed using an empirically-adjusted potential energy surface and an {\it ab initio} dipole moment surface. The line list gives complete coverage up to 11000 \cm\ (wavelengths longer than 0.91 $\mu$m) for temperatures up to 2000 K. Room temperature spectra can be simulated up to 20000 \cm\ (0.5 $\mu$m) but the predictions at visible wavelengths are less reliable. AYT2 is made available in electronic form as supplementary data to this article and at \url{www.exomol.com}.


title: Spatio-Temporal Network Dynamics Framework for Energy-Efficient Ultra-Dense Cellular Networks

abstract: This article investigates the performance of an ultra-dense network (UDN) from an energy-efficiency (EE) standpoint leveraging the interplay between stochastic geometry (SG) and mean-field game (MFG) theory. In this setting, base stations (BSs) (resp. users) are uniformly distributed over a two-dimensional plane as two independent homogeneous Poisson point processes (PPPs), where users associate to their nearest BSs. The goal of every BS is to maximize its own energy efficiency subject to channel uncertainty, random BS location, and interference levels. Due to the coupling in interference, the problem is solved in the mean-field (MF) regime where each BS interacts with the whole BS population via time-varying MF interference. As a main contribution, the asymptotic convergence of MF interference to zero is rigorously proved in a UDN with multiple transmit antennas. It allows us to derive a closed-form EE representation, yielding a tractable EE optimal power control policy. This proposed power control achieves more than 1.5 times higher EE compared to a fixed power baseline.


title: A Distributed Deep Representation Learning Model for Big Image Data Classification

abstract: This paper describes an effective and efficient image classification framework nominated distributed deep representation learning model (DDRL). The aim is to strike the balance between the computational intensive deep learning approaches (tuned parameters) which are intended for distributed computing, and the approaches that focused on the designed parameters but often limited by sequential computing and cannot scale up. In the evaluation of our approach, it is shown that DDRL is able to achieve state-of-art classification accuracy efficiently on both medium and large datasets. The result implies that our approach is more efficient than the conventional deep learning approaches, and can be applied to big data that is too complex for parameter designing focused approaches. More specifically, DDRL contains two main components, i.e., feature extraction and selection. A hierarchical distributed deep representation learning algorithm is designed to extract image statistics and a nonlinear mapping algorithm is used to map the inherent statistics into abstract features. Both algorithms are carefully designed to avoid millions of parameters tuning. This leads to a more compact solution for image classification of big data. We note that the proposed approach is designed to be friendly with parallel computing. It is generic and easy to be deployed to different distributed computing resources. In the experiments, the largescale image datasets are classified with a DDRM implementation on Hadoop MapReduce, which shows high scalability and resilience.


title: Threshold Decoding for Disjunctive Group Testing

abstract: Let $1 \le s < t$, $N \ge 1$ be integers and a complex electronic circuit of size $t$ is said to be an $s$-active, $\; s \ll t$, and can work as a system block if not more than $s$ elements of the circuit are defective. Otherwise, the circuit is said to be an $s$-defective and should be replaced by a similar $s$-active circuit. Suppose that there exists a possibility to run $N$ non-adaptive group tests to check the $s$-activity of the circuit. As usual, we say that a (disjunctive) group test yields the positive response if the group contains at least one defective element. Along with the conventional decoding algorithm based on disjunctive $s$-codes, we consider a threshold decision rule with the minimal possible decoding complexity, which is based on the simple comparison of a fixed threshold $T$, $1 \le T \le N - 1$, with the number of positive responses $p$, $0 \le p \le N$. For the both of decoding algorithms we discuss upper bounds on the $\alpha$-level of significance of the statistical test for the null hypothesis $\left\{ H_0 \,:\, \text{the circuit is $s$-active} \right\}$ verse the alternative hypothesis $\left\{ H_1 \,:\, \text{the circuit is $s$-defective} \right\}$.


title: Grassmannians and form factors with $q^2=0$ in N=4 SYM theory

abstract: We consider tree level form factors of operators from stress tensor operator supermultiplet with light-like operator momentum $q^2=0$. We present a conjecture for the Grassmannian integral representation both for these tree level form factors as well as for leading singularities of their loop counterparts. The presented conjecture was successfully checked by reproducing several known answers in $\mbox{MHV}$ and $\mbox{N}^{k-2}\mbox{MHV}$, $k\geq3$ sectors together with appropriate soft limits. We also discuss the cancellation of spurious poles and relations between different BCFW representations for such form factors on simple examples.


title: Soft Lithography using Nectar Droplets

abstract: In spite of significant advances in replication technologies, methods to produce well-defined three dimensional structures are still at its infancy. Such a limitation would be evident if we were to produce a large array of simple and, especially, compound convex lenses, also guaranteeing that their surfaces would be molecularly smooth. Here, we report a novel method to produce such structures by cloning the 3D shape of nectar drops, found widely in nature, using conventional soft lithography.The elementary process involves transfer of a thin patch of the sugar solution coated on a glass slide onto a hydrophobic substrate on which this patch evolves into a microdroplet. Upon the absorption of water vapor, such a microdroplet grows linearly with time and its final size can be controlled by varying its exposure time to water vapor. At any stage of the evolution of the size of the drop, its shape can be cloned onto a soft elastomer by following the well-known methods of molding and crosslinking the same. A unique new science that emerges in our attempt to understand the transfer of the sugar patch and its evolution to a spherical drop is the elucidation of the mechanics underlying the contact of a deformable sphere against a solid support intervening a thin liquid film. A unique aspect of this work is to demonstrate that higher level structures can also be generated by transferring even smaller nucleation sites on the surface of the primary lenses and then allowing them to grow by absorption of water vapor. What results at the end is either a well-controlled distribution of smooth hemispherical lenses or compound structures that could have potential applications in the fundamental studies of contact mechanics, wettability and even in optics.


title: Modeling of anomalous Wtb interactions using subsidiary fields

abstract: A method to simulate anomalous fermion-boson interactions in Wtb vertex is presented with a minimal set of simulated samples of single top quark events at the LHC energies. In proposed method additional auxiliary vector fields corresponding to the Standard Model gauge fields are implemented for each type of the anomalous vertex structure. The method allows to simulate a manifestation of anomalous gauge couplings in two approaches used in experimental analyses either keeping only the linear order contributions in the anomalous couplings or keeping all contributions in numerators and denominators as appeared in matrix elements. All the single top quark production mechanisms, $t$-, $s$- and associative tW-channels are considered. The correctness of the proposed method is demonstrated.


title: A nonhomogeneous boundary value problem for the Kuramoto-Sivashinsky equation in a quarter plane

abstract: We study the initial boundary value problem for one-dimensional Kuramoto-Sivashinsky equation with nonhomogeneous boundary conditions. Through the analysis of the boundary integral operator, and applying the known results on the Cauchy problem, we obtain both the local well-posedness and the global well-posedness for the nonhomogeneous initial boundary value problem. It is shown that the Kuramoto-Sivashinsky equation is well-posed in Sobolev space $C([0,T]; H^s (R^+)) \bigcap L^2(0,T; H^{s+2}(R^+))$ for $s>-2$.


title: Adaptive Learning a Hidden Hypergraph

abstract: Learning a hidden hypergraph is a natural generalization of the classical group testing problem that consists in detecting unknown hypergraph $H_{un}=H(V,E)$ by carrying out edge-detecting tests. In the given paper we focus our attention only on a specific family $\mathcal{F}(t,s,\ell)$ of localized hypergraphs for which the total number of vertices $|V| = t$, the number of edges $|E|\le s$, $s\ll t$, and the cardinality of any edge $|e|\le\ell$, $\ell\ll t$. Our goal is to identify all edges of $H_{un}\in \mathcal{F}(t,s,\ell)$ by using the minimal number of tests. We provide an adaptive algorithm that matches the information theory bound, i.e., the total number of tests of the algorithm in the worst case is at most $s\ell\log_2 t(1+o(1))$.


title: Global rigidity of 2-dimensional direction-length frameworks

abstract: A 2-dimensional direction-length framework is a collection of points in the plane which are linked by pairwise constraints that fix the direction or length of the line segments joining certain pairs of points. We represent it as a pair $(G,p)$, where $G=(V;D,L)$ is a `mixed' graph and $p:V\to{\mathbb R}^2$ is a point configuration for $V$. It is globally rigid if every direction-length framework $(G,q)$ which satisfies the same constraints can be obtained from $(G,p)$ by a translation or a rotation by $180^\circ$. We show that the problem of characterising when a generic framework $(G,p)$ is globally rigid can be reduced to the case when $G$ belongs to a special family of `direction irreducible' mixed graphs, and prove that {every} generic realisation of a direction irreducible mixed graph $G$ is globally rigid if and only if $G$ is 2-connected, direction-balanced and redundantly rigid.


title: Big IoT and social networking data for smart cities: Algorithmic improvements on Big Data Analysis in the context of RADICAL city applications

abstract: In this paper we present a SOA (Service Oriented Architecture)-based platform, enabling the retrieval and analysis of big datasets stemming from social networking (SN) sites and Internet of Things (IoT) devices, collected by smart city applications and socially-aware data aggregation services. A large set of city applications in the areas of Participating Urbanism, Augmented Reality and Sound-Mapping throughout participating cities is being applied, resulting into produced sets of millions of user-generated events and online SN reports fed into the RADICAL platform. Moreover, we study the application of data analytics such as sentiment analysis to the combined IoT and SN data saved into an SQL database, further investigating algorithmic and configurations to minimize delays in dataset processing and results retrieval.


title: Harnessing Self-Interference in Full-Duplex Relaying: An Analog Filter-and-Forward Approach

abstract: This paper studies a full-duplex filter-and-forward (FD-FF) relay system in frequency-selective channels. Conventionally, the loop-back signal at the FD relay is treated as harmful self-interference and needs to be significantly suppressed via both analog- and digital-domain cancellation. However, the performance of the conventional self-interference cancellation approach is fundamentally limited due to the quantization error induced by the analog-to-digital converter (ADC) with limited dynamic range. In this paper, we consider an analog filter-and-forward design to help avoid the quantization error, and surprisingly show that the maximum achievable rate of such an FD-FF relay system is in fact regardless of the loop-back channel at the FD relay. We characterize the maximum achievable rate of this channel by jointly optimizing the transmit power allocation over frequency at the source and the frequency response of the filter at the relay, subject to their individual power constraints. Although this problem is non-convex, we obtain its optimal solution by applying the Lagrange duality method. By simulations it is shown that the proposed joint source and relay optimization achieves rate gains over other heuristic designs, and is also advantageous over the conventional approach by cancelling the relay loop-back signal as self-interference, especially when the residual self-interference after cancellation is still significant.


title: On a Hypergraph Approach to Multistage Group Testing Problems

abstract: Group testing is a well known search problem that consists in detecting up to $s$ defective elements of the set $[t]=\{1,\ldots,t\}$ by carrying out tests on properly chosen subsets of $[t]$. In classical group testing the goal is to find all defective elements by using the minimal possible number of tests. In this paper we consider multistage group testing. We propose a general idea how to use a hypergraph approach to searching defects. For the case $s=2$, we design an explicit construction, which makes use of $2\log_2t(1+o(1))$ tests in the worst case and consists of $4$ stages.


title: Inversion of diffraction data for amorphous materials

abstract: The general and practical inversion of diffraction data-producing a computer model correctly representing the material explored - is an important unsolved problem for disordered materials. Such modeling should proceed by using our full knowledge base, both from experiment and theory. In this paper, we describe a robust method to jointly exploit the power of ab initio atomistic simulation along with the information carried by diffraction data. The method is applied to two very different systems: amorphous silicon and two compositions of a solid electrolyte memory material silver-doped GeSe3 . The technique is easy to implement, is faster and yields results much improved over conventional simulation methods for the materials explored. By direct calculation, we show that the method works for both poor and excellent glass forming materials. It offers a means to add a priori information in first principles modeling of materials, and represents a significant step toward the computational design of non-crystalline materials using accurate interatomic interactions and experimental information.


title: Tip induced unconventional superconductivity on Weyl semimetal TaAs

abstract: Weyl fermion is a massless Dirac fermion with definite chirality, which has been long pursued since 1929. Though it has not been observed as a fundamental particle in nature, Weyl fermion can be realized as low-energy excitation around Weyl point in Weyl semimetal, which possesses Weyl fermion cones in the bulk and nontrivial Fermi arc states on the surface. As a firstly discovered Weyl semimetal, TaAs crystal possesses 12 pairs of Weyl points in the momentum space, which are topologically protected against small perturbations. Here, we report for the first time the tip induced superconductivity on TaAs crystal by point contact spectroscopy. A conductance plateau and sharp double dips are observed in the point contact spectra, indicating p-wave like unconventional superconductivity. Furthermore, the zero bias conductance peak in low temperature regime is detected, suggesting potentially the existence of Majorana zero modes. The experimentally observed tunneling spectra can be interpreted with a novel mirror-symmetry protected topological superconductor induced in TaAs, which can exhibit zero bias and double finite bias peaks, and double conductance dips in the measurements. Our work can open a broad avenue in search for new topological superconducting phases from topological Weyl materials and trigger intensive investigations for pursuing Majorana fermions.


title: Approximate Joint Matrix Triangularization

abstract: We consider the problem of approximate joint triangularization of a set of noisy jointly diagonalizable real matrices. Approximate joint triangularizers are commonly used in the estimation of the joint eigenstructure of a set of matrices, with applications in signal processing, linear algebra, and tensor decomposition. By assuming the input matrices to be perturbations of noise-free, simultaneously diagonalizable ground-truth matrices, the approximate joint triangularizers are expected to be perturbations of the exact joint triangularizers of the ground-truth matrices. We provide a priori and a posteriori perturbation bounds on the `distance' between an approximate joint triangularizer and its exact counterpart. The a priori bounds are theoretical inequalities that involve functions of the ground-truth matrices and noise matrices, whereas the a posteriori bounds are given in terms of observable quantities that can be computed from the input matrices. From a practical perspective, the problem of finding the best approximate joint triangularizer of a set of noisy matrices amounts to solving a nonconvex optimization problem. We show that, under a condition on the noise level of the input matrices, it is possible to find a good initial triangularizer such that the solution obtained by any local descent-type algorithm has certain global guarantees. Finally, we discuss the application of approximate joint matrix triangularization to canonical tensor decomposition and we derive novel estimation error bounds.


title: The Multiple Quantile Graphical Model

abstract: We introduce the Multiple Quantile Graphical Model (MQGM), which extends the neighborhood selection approach of Meinshausen and Buhlmann for learning sparse graphical models. The latter is defined by the basic subproblem of modeling the conditional mean of one variable as a sparse function of all others. Our approach models a set of conditional quantiles of one variable as a sparse function of all others, and hence offers a much richer, more expressive class of conditional distribution estimates. We establish that, under suitable regularity conditions, the MQGM identifies the exact conditional independencies with probability tending to one as the problem size grows, even outside of the usual homoskedastic Gaussian data model. We develop an efficient algorithm for fitting the MQGM using the alternating direction method of multipliers. We also describe a strategy for sampling from the joint distribution that underlies the MQGM estimate. Lastly, we present detailed experiments that demonstrate the flexibility and effectiveness of the MQGM in modeling hetereoskedastic non-Gaussian data.


title: Brain network modules of meaningful and meaningless objects

abstract: Network modularity is a key feature for efficient information processing in the human brain. This information processing is however dynamic and networks can reconfigure at very short time period, few hundreds of millisecond. This requires neuroimaging techniques with sufficient time resolution. Here we use the dense electroencephalography, EEG, source connectivity methods to identify cortical networks with excellent time resolution, in the order of millisecond. We identify functional networks during picture naming task. Two categories of visual stimuli were presented, meaningful (tools, animals) and meaningless (scrambled) objects. In this paper, we report the reconfiguration of brain network modularity for meaningful and meaningless objects. Results showed mainly that networks of meaningful objects were more modular than those of meaningless objects. Networks of the ventral visual pathway were activated in both cases. However a strong occipitotemporal functional connectivity appeared for meaningful object but not for meaningless object. We believe that this approach will give new insights into the dynamic behavior of the brain networks during fast information processing.


title: On $\sigma$-countably tight spaces

abstract: Extending a result of R. de la Vega, we prove that an infinite homogeneous compactum has cardinality $\mathfrak{c}$ if either it is the union of countably many dense or finitely many arbitrary countably tight subspaces. The question if every infinite homogeneous and $\sigma$-countably tight compactum has cardinality $\mathfrak{c}$ remains open. We also show that if an arbitrary product is $\sigma$-countably tight then all but finitely many of its factors must be countably tight.


title: An algebraic proof of K-semistability of the projective plane

abstract: We present an algebro-geometric proof of the K-semistability of the projective plane.


title: Randomized isoperimetric inequalities

abstract: We discuss isoperimetric inequalities for convex sets. These include the classical isoperimetric inequality and that of Brunn-Minkowski, Blaschke-Santalo, Busemann-Petty and their various extensions. We show that many such inequalities admit stronger randomized forms in the following sense: for natural families of associated random convex sets one has stochastic dominance for various functionals such as volume, surface area, mean width and others. By laws of large numbers, these randomized versions recover the classical inequalities. We give an overview of when such stochastic dominance arises and its applications in convex geometry and probability.


title: Measurement of complex supercontinuum light pulses using time domain ptychography

abstract: We demonstrate that time-domain ptychography, a recently introduced ultrafast pulse reconstruction modality, has properties ideally suited for the temporal characterization of complex light pulses with large time-bandwidth products as it achieves temporal resolution on the scale of a single optical cycle using long probe pulses, low sampling rates, and an extremely fast and robust algorithm. In comparison to existing techniques, ptychography minimizes the data to be recorded and processed, and drastically reduces the computational time of the reconstruction. Experimentally we measure the temporal waveform of an octave-spanning, 3.5~ps long supercontinuum pulse generated in photonic crystal fiber, resolving features as short as 5.7~fs with sub-fs resolution and 30~dB dynamic range using 100~fs probe pulses and similarly large delay steps.


title: Transition Metal and Vacancy Defect Complexes in Phosphorene: A Spintronic Perspective

abstract: Inducing magnetic moment in otherwise nonmagnetic two-dimensional semiconducting materials is the key first step to design spintronic materials. Here, we study the absorption of transition-metals on pristine and defected single-layer phosphorene, within density functional theory. We predict that increased transition-metal diffusivity on pristine phosphorene would hinder any possibility of controlled magnetism, and thus any application. In contrast, the point-defects will anchor metals, and exponentially reduce the diffusivity. Similar to other two-dimensional materials, metals bind strongly on both pristine and defected phosphorene, and we provide a microscopic description of bonding, which explain the qualitative trend with increasing number of valence electrons. We further argue that the divacancy complex is imperative in any practical purpose due to their increased thermodynamic stability over monovacancy. For most cases, the defect-transition metal complexes retain the intrinsic semiconduction properties, and also induce a local magnetic moment with large exchange-splitting and spin-flip energies, which are necessary for spintronic applications. Specifically, the V/Mn/Fe absorbed at the divacancy have tremendous promise in this regard. Further, we provide a simple microscopic model to describe the local moment formation in these transition metal and defect complexes.


title: Infinite rank Schrodinger-Virasoro type Lie conformal algebras

abstract: Motivated by the structure of certain modules over the loop Virasoro Lie conformal algebra and the Lie structures of Schrodinger-Virasoro algebras, we construct a class of infinite rank Lie conformal algebras CSV (a, b), where a, b are complex numbers. The conformal derivations of CSV (a, b) are uniformly determined. The rank one conformal modules and Z-graded free intermediate series modules over CSV (a, b) are classified. Corresponding results of the conformal subalgebra CHV (a, b) of CSV (a, b) are also presented.


title: On the arithmetic of Z_p-extensions

abstract: This paper contains three parts. In the first part, we give a thorough overview of the theory of Artin-Schreier-Witt extensions: this theory allows one to understand the $\mathbf{Z}/p^n\mathbf{Z}$-extensions of any field $K$ of characteristic $p$ via $p$-typical Witt vectors. Let $W_n(K)$ be the ring of $p$-typical Witt vectors of $K$ of length $n$ and let $\wp = F-\mathrm{id}: W_n(K)\longrightarrow W_n(K)$, where $F$ is the Frobenius map and $\mathrm{id}$ is the identity map. Artin-Schreier-Witt theory tells us that the abelian group $W_n(K)/\wp W_n(K)$ represents the set of $\mathbf{Z}/p^n\mathbf{Z}$-extensions of $K$. Since this theory is hard to find in literature, we have included a complete treatment in the paper. In the second part of the paper, we study $\mathbf{Z}_p$-extensions of a local field $K=k((T))$ of characteristic $p>0$ where $k$ is a finite field. Local class field theory and Artin-Schreier-Witt theory give us the Schmid-Witt symbol $$[\ ,\ ): W(K)/\wp W(K) \times \widehat{K^*} \to W(\mathbf{F}_p)=\mathbf{Z}_p,$$ which contains the ramification information of $\mathbf{Z}_p$-extensions of $K$. We present a new simplified formula for $[\ ,\ )$. This formula allows one to compute ramification groups, conductors and discriminants in an easy way. In the third part, we study $\mathbf{Z}_p$-extensions of global function fields over a finite field. First, we give a formula for computing the genus in such a tower. We show that a previously obtained lower bound for the genus growth in a $\mathbf{Z}_p$-extension is incorrect and we give a sharp lower bound. We also study when the genus behaves in a `stable' way. Finally, we find unique representatives of $\mathbf{Z}_p$-extensions of the rational function field $k(X)$, and compute the genus in such a tower.


title: EVEREST: Pixel Level Decorrelation of K2 Light curves

abstract: We present EVEREST, an open-source pipeline for removing instrumental noise from K2 light curves. EVEREST employs a variant of pixel level decorrelation (PLD) to remove systematics introduced by the spacecraft's pointing error and a Gaussian process (GP) to capture astrophysical variability. We apply EVEREST to all K2 targets in campaigns 0-7, yielding light curves with precision comparable to that of the original Kepler mission for stars brighter than $K_p \approx 13$, and within a factor of two of the Kepler precision for fainter targets. We perform cross-validation and transit injection and recovery tests to validate the pipeline, and compare our light curves to the other de-trended light curves available for download at the MAST High Level Science Products archive. We find that EVEREST achieves the highest average precision of any of these pipelines for unsaturated K2 stars. The improved precision of these light curves will aid in exoplanet detection and characterization, investigations of stellar variability, asteroseismology, and other photometric studies. The EVEREST pipeline can also easily be applied to future surveys, such as the TESS mission, to correct for instrumental systematics and enable the detection of low signal-to-noise transiting exoplanets. The EVEREST light curves and the source code used to generate them are freely available online.


title: Convergence rates of finite difference schemes for the linear advection and wave equation with rough coefficient

abstract: We prove convergence rates of explicit finite difference schemes for the linear advection and wave equation in one space dimension with H\"older continuous coefficient. The obtained convergence rates explicitly depend on the H\"older regularity of the coefficient and the modulus of continuity of the initial data. We compare the theoretically established rates with the experimental rates of a couple of numerical examples.


title: Worldline CPT and massless supermultiplets

abstract: The action for a massless particle in 4D Minkowski space has a worldline time-reversing symmetry corresponding to CPT invariance of the quantum theory. The analogous symmetry of the N-extended superparticle is shown to be anomalous when N is odd, in the supertwistor formalism this is because a CPT-violating worldline-Chern-Simons term is needed to preserve the chiral U(1) gauge invariance. This accords with the fact that no massless N=1 super-Poincar\'e irrep is CPT-self-conjugate. There is a CPT self-conjugate supermultiplet when N is even, but it has $2^{N+1}$ states when N/2 is odd (e.g. the N=2 hypermultiplet) in contrast to just $2^N$ when N/2 is even (e.g. the N=4 Maxwell supermultiplet). This is shown to follow from a Kramers degeneracy of the superparticle state space when N/2 is odd.


title: Double Bruhat cells and symplectic groupoids

abstract: Let $G$ be a connected complex semisimple Lie group, equipped with a standard multiplicative Poisson structure $\pi_{{\rm st}}$ determined by a pair of opposite Borel subgroups $(B, B_-)$. We prove that for each $v$ in the Weyl group $W$ of $G$, the double Bruhat cell $G^{v,v} = BvB \cap B_-vB_-$ in $G$, together with the Poisson structure $\pi_{{\rm st}}$, is naturally a Poisson groupoid over the Bruhat cell $BvB/B$ in the flag variety $G/B$. Correspondingly, every symplectic leaf of $\pi_{{\rm st}}$ in $G^{v,v}$ is a symplectic groupoid over $BvB/B$. For $u, v \in W$, we show that the double Bruhat cell $(G^{u,v}, \pi_{{\rm st}})$ has a naturally defined left Poisson action by the Poisson groupoid $(G^{u, u},\pi_{{\rm st}})$ and a right Poisson action by the Poisson groupoid $(G^{v,v}, \pi_{{\rm st}})$, and the two actions commute. Restricting to symplectic leaves of $\pi_{{\rm st}}$, one obtains commuting left and right Poisson actions on symplectic leaves in $G^{u,v}$ by symplectic leaves in $G^{u, u}$ and in $G^{v,v}$ as symplectic groupoids.


title: First-principles approach to thin superconducting slabs and heterostructures

abstract: We present a fully first-principles method for superconducting thin films. The layer dependent phonon spectrum is calculated to determine the layer dependence of the electron-phonon coupling for such systems, which is coupled to the Kohn-Sham-Bogoliubov-de Gennes equations, and it is solved in a parameter free way. The theory is then applied to different surface facets of niobium slabs and to niobium-gold heterostructures. We investigate the dependence of the transition temperature on the thickness of the slabs and the inverse proximity effect observed in thin superconducting heterostructures.


title: Quantum Walks as simulators of neutrino oscillations in vacuum and matter

abstract: We analyze the simulation of Dirac neutrino oscillations using quantum walks, both in vacuum and in matter. We show that this simulation, in the continuum limit, reproduces a set of coupled Dirac equations that describe neutrino flavor oscillations, and we make use of this to establish a connection with neutrino phenomenology, thus allowing to fix the parameters of the simulation for a given neutrino experiment. We also analyze how matter effects for neutrino propagation can be simulated in the quantum walk. In this way, important features, such as the MSW effect, can be incorporated. Thus, the simulation of neutrino oscillations with the help of quantum walks might be useful to explore these effects in extreme conditions, such as the solar interior or supernovae, in a complementary way to existing experiments.


title: A Critical Evaluation of the Role of the Precursor Complex and Counterions in Synthesis of Gold Nanoparticles in Micellar Media

abstract: We demonstrate here that the gold nanoparticles (AuNPs) obtained in micellar solutions are susceptible to the precursor complex nature and specific counterion effects controlling the reaction kinetics, particles size and shape. The tested approach consisted in reducing the HAuCl4 complex with ascorbic acid or citric acid in dodecyltrimethylammonium (DTA) solutions, at 318 K, in the presence of bromide (Br), methanesulfonate (Ms), trifluoroacetate (TFA) or trifluoromethanesulfonate (Tf) ions. Bromide ions replaced the chloride ions in the precursor gold complex, and no nanoparticle formation could be observed in DTA-Br media, in the absence of seeds. In contrast, scanning electron microscopy images and atomic force microscopy measurements showed that quasi-spherical AuNPs were formed in DTA-Ms and DTA-TFA solutions, while flat disk-like or triangular AuNPs were obtained in DTA-Tf solutions, with no need of adding seeds in all such cases. The results indicated that the reduction of the precursor gold complex takes place at the micellar interface and that the specific counterion effects should be taken into account for controlling nanoparticles formation in micellar media.


title: Efficient Numerical Optimization For Susceptibility Artifact Correction Of EPI-MRI

abstract: We present two efficient numerical methods for susceptibility artifact correction applicable in Echo Planar Imaging (EPI), an ultra fast Magnetic Resonance Imaging (MRI) technique widely used in clinical applications. Both methods address a major practical drawback of EPI, the so-called susceptibility artifacts, which consist of geometrical transformations and intensity modulations. We consider a tailored variational image registration problem that is based on a physical distortion model and aims at minimizing the distance of two oppositely distorted images subject to invertibility constraints. We follow a discretize-then-optimize approach and present a novel face-staggered discretization yielding a separable structure in the discretized distance function and the invertibility constraints. The presence of a smoothness regularizer renders the overall optimization problem non-separable, but we present two optimization schemes that exploit the partial separability. First, we derive a block-Jacobi preconditioner to be used in a Gauss-Newton-PCG method. Second, we consider a splitting of the separable and non-separable part and solve the resulting problem using the Alternating Direction Method of Multipliers (ADMM). We provide a detailed convergence proof for ADMM for this non-convex optimization problem. Both schemes are of essentially linear complexity and are suitable for parallel computing. A considerable advantage of the proposed schemes over established methods is the reduced time-to-solution. In our numerical experiment using high-resolution 3D imaging data, our parallel implementation of the ADMM method solves a 3D problem with more than 5 million degrees of freedom in less than 50 seconds on a standard laptop, which is a considerable improvement over existing methods.


title: Generalized Heegaard splittings and the disk complex

abstract: Let $M$ be an orientable, irreducible $3$-manifold and $(\mathcal{V},\mathcal{W};F)$ a weakly reducible, unstabilized Heegaard splitting of $M$ of genus at least three. In this article, we define an equivalent relation $\sim$ on the set of the generalized Heegaard splittings obtained by weak reductions and find special subsets of the disk complex $\mathcal{D}(F)$ named by the "equivalent clusters", where we can find a canonical function $\Phi$ from the set of equivalent clusters to the set of the equivalent classes for the relation $\sim$. As an application, we prove that if $F$ is topologically minimal and the topological index of $F$ is at least three, then there is a $2$-simplex in $\mathcal{D}(F)$ formed by two weak reducing pairs such that the equivalent classes of the generalized Heegaard splittings obtained by weak reductions along the weak reducing pairs for the relation $\sim$ are different. In the last section, we prove $\Phi$ is a bijection if the genus of $F$ is three. Using it, we prove there is a canonical function $\Omega$ from the set of components of $\mathcal{D}_{\mathcal{VW}}(F)$ to the set of the isotopy classes of the generalized Heegaard splittings obtained by weak reductions and describe what $\Omega$ is.


title: Hypothesis Testing in the High Privacy Limit

abstract: Binary hypothesis testing under the Neyman-Pearson formalism is a statistical inference framework for distinguishing data generated by two different source distributions. Privacy restrictions may require the curator of the data or the data respondents themselves to share data with the test only after applying a randomizing privacy mechanism. Using mutual information as the privacy metric and the relative entropy between the two distributions of the output (postrandomization) source classes as the utility metric (motivated by the Chernoff-Stein Lemma), this work focuses on finding an optimal mechanism that maximizes the chosen utility function while ensuring that the mutual information based leakage for both source distributions is bounded. Focusing on the high privacy regime, an Euclidean information-theoretic (E-IT) approximation to the tradeoff problem is presented. It is shown that the solution to the E-IT approximation is independent of the alphabet size and clarifies that a mutual information based privacy metric preserves the privacy of the source symbols in inverse proportion to their likelihood.


title: Text comparison using word vector representations and dimensionality reduction

abstract: This paper describes a technique to compare large text sources using word vector representations (word2vec) and dimensionality reduction (t-SNE) and how it can be implemented using Python. The technique provides a bird's-eye view of text sources, e.g. text summaries and their source material, and enables users to explore text sources like a geographical map. Word vector representations capture many linguistic properties such as gender, tense, plurality and even semantic concepts like "capital city of". Using dimensionality reduction, a 2D map can be computed where semantically similar words are close to each other. The technique uses the word2vec model from the gensim Python library and t-SNE from scikit-learn.


title: Energy exchanges in reconnection outflows

abstract: Reconnection outflows are highly energetic directed flows that interact with the ambient plasma or with flows from other reconnection regions. Under these conditions the flow becomes highly unstable and chaotic, as any flow jets interacting with a medium. We report here massively parallel simulations of the two cases of interaction between outflow jets and between a single outflow with an ambient plasma. We find in both case the development of a chaotic magnetic field, subject to secondary reconnection events that further complicate the topology of the field lines. The focus of the present analysis is on the energy balance. We compute each energy channel (electromagnetic, bulk, thermal, for each species) and find where the most energy is exchanged and in what form. The main finding is that the largest energy exchange is not at the reconnection site proper but in the regions where the outflowing jets are destabilized.


title: Dynamics of gravitating hadron matter in Bianchi-IX cosmological model

abstract: We perform an analysis of the Einstein-Skyrme cosmological model in Bianchi-IX background. We analytically describe asymptotic regimes and semi-analytically -- generic regimes. It appears that depending on the product of Newtonian constant $\kappa$ with Skyrme coupling $K$, in absence of the cosmological term there are three regimes possible -- recollapse with $\kK < 2$ and two power-law regimes -- $\propto t^{1/2}$ for $\kK=2$ and $\propto t$ for $\kK > 2$. In presence of the positive cosmological term, power-law regimes turn to exponential (de Sitter) ones while recollapse regime turn to exponential if the value for $\Lambda$-term is sufficiently large, otherwise the regime remains recollapse. Negative cosmological term leads to the recollapse regardless of $\kK$. All nonsingular regimes have the squashing coefficient $a(t) \to 1$ at late times, which is associated with restoring symmetry dynamics. Also all nonsingular regimes appear to be linearly stable -- exponential solutions always while power-law for an open region of initial conditions.


title: Badge System Analysis and Design

abstract: To incentivize users' participations and steer their online activities, online social networks start to provide users with various kinds of rewards for their contributions to the sites. The most frequently distributed rewards include account levels, reputation scores, different kinds of badges, and even material awards like small gifts and cash back, etc. Attracted by these rewards, users will spend more time using the network services. In this paper, we will mainly focus on "badges reward systems" but the proposed models can be applied to other reward systems as well. Badges are small icons attached to users' homepages and profiles denoting their achievements. People like to accumulate badge for various reasons and different badges can have specific values for them. Meanwhile, to get badges, they also need to exert efforts to finish the required tasks, which can lead to certain costs. To understand and model users' motivations in badge achievement activities, we will study an existing badge system launched inside a real-world online social network, Foursquare, in this paper. At the same time, to maximize users' contributions to online social networks, social network system designers need to determine the optimal badge system mechanism carefully. Badge system mechanism describes various detailed aspects of the system and can involve many parameters, e.g., categories of existing badges, number of badges available as well as the minimum contributions required to obtain the badges, which all need to be designed with meticulous investigations. Based on the model of users' badges accumulating activities, in this paper, we will also study how to design the badge system that can incentivize the maximum users' contributions to the social networks.


title: Reversible Nets of Polyhedra

abstract: An example of reversible (or hinge inside-out transformable) figures is the Dudeney's Haberdasher's puzzle in which an equilateral triangle is dissected into four pieces, then hinged like a chain, and then is transformed into a square by rotating the hinged pieces. Furthermore, the entire boundary of each figure goes into the inside of the other figure and becomes the dissection lines of the other figure. Many intriguing results on reversibilities of figures have been found in prior research, but most of them are results on polygons. This paper generalizes those results to a wider range of general connected figures. It is shown that two nets obtained by cutting the surface of an arbitrary convex polyhedron along non-intersecting dissection trees are reversible. Moreover, a condition for two nets of an isotetrahedron to be both reversible and tessellative is given.


title: Robust conversion of singlet spin order in coupled spin-1/2 pairs by adiabatically switched RF-fields

abstract: We propose a robust and highly efficient NMR technique to create singlet spin order from longitudinal spin magnetization in coupled spin-1/2 pairs and to perform backward conversion (singlet order)$\to$magnetization. In this method we exploit adiabatic switching of an RF-field in order to drive transitions between the singlet state and the $T_\pm$ triplet states of a spin pair under study. We demonstrate that the method works perfectly for both strongly and weakly coupled spin pairs, providing a conversion efficiency between the singlet spin order and magnetization, which is equal to the theoretical maximum. We anticipate that the proposed technique is useful for generating long-lived singlet order, for preserving spin hyperpolarization and for assessing singlet spin order in nearly equivalent spin pairs in specially designed molecules and in low-field NMR studies.


title: On resonances and bound states of Smilansky Hamiltonian

abstract: We consider the self-adjoint Smilansky Hamiltonian $\mathsf{H}_\varepsilon$ in $L^2(\mathbb{R}^2)$ associated with the formal differential expression $-\partial_x^2 - \frac12\big(\partial_y^2 + y^2) - \sqrt{2}\varepsilon y \delta(x)$ in the sub-critical regime, $\varepsilon \in (0,1)$. We demonstrate the existence of resonances for $\mathsf{H}_\varepsilon$ on a countable subfamily of sheets of the underlying Riemann surface whose distance from the physical sheet is finite. On such sheets, we find resonance free regions and characterise resonances for small $\varepsilon > 0$. In addition, we refine the previously known results on the bound states of $\mathsf{H}_\varepsilon$ in the weak coupling regime ($\varepsilon\rightarrow 0+$). In the proofs we use Birman-Schwinger principle for $\mathsf{H}_\varepsilon$, elements of spectral theory for Jacobi matrices, and the analytic implicit function theorem.


title: Auxetic Black Phosphorus: A 2D Material with Negative Poisson's Ratio

abstract: The Poisson's ratio of a material characterizes its response to uniaxial strain. Materials normally possess a positive Poisson's ratio - they contract laterally when stretched, and expand laterally when compressed. A negative Poisson's ratio is theoretically permissible but has not, with few exceptions of man-made bulk structures, been experimentally observed in any natural materials. Here, we show that the negative Poisson's ratio exists in the low-dimensional natural material black phosphorus, and that our experimental observations are consistent with first principles simulations. Through application of uniaxial strain along zigzag and armchair directions, we find that both interlayer and intralayer negative Poisson's ratios can be obtained in black phosphorus. The phenomenon originates from the puckered structure of its in-plane lattice, together with coupled hinge-like bonding configurations.


title: Intertwined Viral Marketing through Online Social Networks

abstract: Traditional viral marketing problems aim at selecting a subset of seed users for one single product to maximize its awareness in social networks. However, in real scenarios, multiple products can be promoted in social networks at the same time. At the product level, the relationships among these products can be quite intertwined, e.g., competing, complementary and independent. In this paper, we will study the "interTwined Influence Maximization" (i.e., TIM) problem for one product that we target on in online social networks, where multiple other competing/complementary/independent products are being promoted simultaneously. The TIM problem is very challenging to solve due to (1) few existing models can handle the intertwined diffusion procedure of multiple products concurrently, and (2) optimal seed user selection for the target product may depend on other products' marketing strategies a lot. To address the TIM problem, a unified greedy framework TIER (interTwined Influence EstimatoR) is proposed in this paper. Extensive experiments conducted on four different types of real-world social networks demonstrate that TIER can outperform all the comparison methods with significant advantages in solving the TIM problem.