title: Uniform error bounds of a finite difference method for the Zakharov system in the subsonic limit regime via an asymptotic consistent formulation

abstract: We present a uniformly accurate finite difference method and establish rigorously its uniform error bounds for the Zakharov system (ZS) with a dimensionless parameter $0<\varepsilon\le 1$, which is inversely proportional to the speed of sound. In the subsonic limit regime, i.e., $0<\varepsilon\ll 1$, the solution propagates highly oscillatory waves and/or rapid outgoing initial layers due to the perturbation of the wave operator in ZS and/or the incompatibility of the initial data which is characterized by two nonnegative parameters $\alpha$ and $\beta$. Specifically, the solution propagates waves with $O(\varepsilon)$- and $O(1)$-wavelength in time and space, respectively, and amplitude at $O(\varepsilon^{\min\{2,\alpha,1+\beta\}})$ and $O(\varepsilon^\alpha)$ for well-prepared ($\alpha\ge1$) and ill-prepared ($0\le \alpha<1$) initial data, respectively. This high oscillation of the solution in time brings significant difficulties in designing numerical methods and establishing their error bounds, especially in the subsonic limit regime. A uniformly accurate finite difference method is proposed by reformulating ZS into an asymptotic consistent formulation and adopting an integral approximation of the oscillatory term. By adapting the energy method and using the limiting equation via a nonlinear Schr\"{o}dinger equation with an oscillatory potential, we rigorously establish two independent error bounds and obtain error bounds at $O(h^2+\tau^{4/3})$ and $O(h^2+\tau^{1+\frac{\alpha}{2+\alpha}})$ for well-prepared and ill-prepared initial data, respectively, which are uniform in both space and time for $0<\varepsilon\le 1$ and optimal at the second order in space. Numerical results are reported to demonstrate that our error bounds are sharp.


title: An upper bound for the size of a $k$-uniform intersecting family with covering number $k$

abstract: Let $r(k)$ denote the maximum number of edges in a $k$-uniform intersecting family with covering number $k$. Erd\H{o}s and Lov\'asz proved that $ \lfloor k! (e-1) \rfloor \leq r(k) \leq k^k.$ Frankl, Ota, and Tokushige improved the lower bound to $r(k) \geq \left( k/2 \right)^{k-1}$, and Tuza improved the upper bound to $r(k) \leq (1-e^{-1}+o(1))k^k$. We establish that $ r(k) \leq (1 + o(1)) k^{k-1}$.


title: Insights from Machine Learning for Evaluating Production Function Estimators on Manufacturing Survey Data

abstract: Organizations like U.S. Census Bureau rely on non-exhaustive surveys to estimate industry-level production functions in years in which a full Census is not conducted. When analyzing data from non-census years, we propose selecting an estimator based on a weighting of its in-sample and predictive performance. We compare Cobb-Douglas functional assumptions to existing nonparametric shape constrained estimators and a newly proposed estimator. For simulated data, we find that our proposed estimator has the lowest weighted errors. For actual data, specifically the 2010 Chilean Annual National Industrial Survey, a Cobb-Douglas specification describes at least 90\% as much variance as the best alternative estimators in practically all cases considered providing two insights: the benefits of using application data for selecting an estimator, and the benefits of structure in noisy data.


title: A broadband Ferromagnetic Resonance dipper probe for magnetic damping measurements from 4.2 K to 300 K

abstract: A dipper probe for broadband Ferromagnetic Resonance (FMR) operating from 4.2 K to room temperature is described. The apparatus is based on a 2-port transmitted microwave signal measurement with a grounded coplanar waveguide. The waveguide generates a microwave field and records the sample response. A 3-stage dipper design is adopted for fast and stable temperature control. The temperature variation due to FMR is in the milli-Kelvin range at liquid helium temperature. We also designed a novel FMR probe head with a spring-loaded sample holder. Improved signal-to-noise ratio and stability compared to a common FMR head are achieved. Using a superconducting vector magnet we demonstrate Gilbert damping measurements on two thin film samples using a vector network analyzer with frequency up to 26 GHz: 1) A Permalloy film of 5 nm thickness and 2) a CoFeB film of 1.5 nm thickness. Experiments were performed with the applied magnetic field parallel and perpendicular to the film plane.


title: A Parallel Solution to Finding Nodal Neighbors in Generic Meshes

abstract: In this paper we specifically present a parallel solution to finding the one-ring neighboring nodes and elements for each vertex in generic meshes. The finding of nodal neighbors is computationally straightforward but expensive for large meshes. To improve the efficiency, the parallelism is adopted by utilizing the modern Graphics Processing Unit (GPU). The presented parallel solution is heavily dependent on the parallel sorting, scan, and reduction, and can be applied to determine both the neighboring nodes and elements. To evaluate the performance, the parallel solution is compared to the corresponding serial solution. Experimental results show that: our parallel solution can achieve the speedups of approximately 55 and 90 over the corresponding serial solution for finding neighboring nodes and elements, respectively. Our parallel solution is efficient and easy to implement, but requires the allocation of large device memory.


title: $SO(2)$-induced breathing patterns in multi-component Bose-Einstein condensates

abstract: In this work, we employ the $SO(2)$-rotations of a two-component, one-, two- and three-dimensional nonlinear Schr\"{o}dinger system at and near the Manakov limit, to construct vector solitons and vortex structures. This way, stable stationary dark-bright solitons and their higher-dimensional siblings are transformed into robust oscillatory dark-dark solitons (and generalizations thereof), with and without a harmonic confinement. By analogy to the one-dimensional case, vector higher-dimensional structures take the form of vortex-vortex states in two dimensions and, e.g., vortex ring-vortex ring ones in three dimensions. We consider the effects of unequal (self- and cross-) interaction strengths, where the $SO(2)$ symmetry is only approximately satisfied, showing the dark-dark soliton oscillation is generally robust. Similar features are found in higher dimensions too, although our case examples suggest that phenomena such as phase separation may contribute to the associated dynamics. These results, in connection with the experimental realization of one-dimensional variants of such states in optics and Bose-Einstein condensates (BECs), suggest the potential observation of the higher-dimensional bound states proposed herein.


title: Constructing valid density matrices on an NMR quantum information processor via maximum likelihood estimation

abstract: Estimation of quantum states is one of the most important steps in any quantum information processing experiment. A naive reconstruction of the density matrix from experimental measurements can often give density matrices which are not positive, and hence not physically acceptable. How do we ensure that at all stages of reconstruction, we keep the density matrix positive and normalized? Recently a method has been suggested based on maximum likelihood estimation, wherein the density matrix is guaranteed to be positive definite. We experimentally implement this protocol and demonstrate its utility on an NMR quantum information processor. We discuss several examples where we undertake such an estimation and compare it with the standard method of state estimation.


title: Micropolarity-Ramification of Laminar/Turbulent Circular-Plane-Jet

abstract: In the present work we formulated the boundary-value-problem, comprising partial differential equations (PDEs) of steady flow for laminar/turbulent circular jet of a micropolar fluid. A new boundary layer-similarity transformation/solution was derived which is valid not only for the Newtonian fluids but also for the micropolar fluids. Through this transformation PDEs are transformed into the ordinary differential equations (ODEs). These ODEs were solved numerically by the finite-difference method. The obtained results were compared with existing results [9] for the Newtonian fluids. The comparison was favourable. The micropolarity influences were highlighted in the present work. The axial-fluid-speed and normal stress-component decreases but radial-fluid-speed, microspin and one of the normal stress-component increase as the micropolarity effect enhances. The fluid-speed, microspin, shear stresses, normal stresses and couple stresses are dominant in the vicinity of the jet-source whereas they all vanish as far away from the jet-source analogous to the plane-jet-flow [8]. In addition, axial-speed, discharge, microspin, shear stresses and the components of couple stress intensify with z linearly but radial velocity, normal stresses and the component of couple stress are independent of z. The micropolarity-effects on discharge diminish if the diameter of jet-source reduces. Analogous to the plane-jet-flow [8], teace(stress tensor)=0, for the micropolar as well as for the Newtonian fluids. The normal stresses decreases as r goes on increasing, analogous to the shear-stresses. But all the normal components of the couple stress tensor vanish. The couple stress tensor is symmetric and skew-symmetric if analogous to the plane-jet flow [8]. Finally the fluid-speed will also intensify if turbulent-influences are enhanced.


title: Subcategory-aware Convolutional Neural Networks for Object Proposals and Detection

abstract: In CNN-based object detection methods, region proposal becomes a bottleneck when objects exhibit significant scale variation, occlusion or truncation. In addition, these methods mainly focus on 2D object detection and cannot estimate detailed properties of objects. In this paper, we propose subcategory-aware CNNs for object detection. We introduce a novel region proposal network that uses subcategory information to guide the proposal generating process, and a new detection network for joint detection and subcategory classification. By using subcategories related to object pose, we achieve state-of-the-art performance on both detection and pose estimation on commonly used benchmarks.


title: How graphene flexes and stretches under concomitant bending couples and tractions

abstract: We propose a geometrically and physically nonlinear discrete mechanical model of graphene that assigns an energetic cost to changes in bond lengths, bond angles, and dihedral angles. We formulate a variational equilibrium problem for a rectangular graphene sheet with assigned balanced forces and couples uniformly distributed over opposite side pairs. We show that the resulting combination of stretching and bending makes achiral graphene easier to bend and harder (easier) to stretch for small (large) traction loads. Our general developments hold for a wide class of REBO potentials; we illustrate them in detail by numerical calculations performed in the case of a widely used 2nd-generation Brenner potential.


title: On the Complexity and Performance of Parsing with Derivatives

abstract: Current algorithms for context-free parsing inflict a trade-off between ease of understanding, ease of implementation, theoretical complexity, and practical performance. No algorithm achieves all of these properties simultaneously. Might et al. (2011) introduced parsing with derivatives, which handles arbitrary context-free grammars while being both easy to understand and simple to implement. Despite much initial enthusiasm and a multitude of independent implementations, its worst-case complexity has never been proven to be better than exponential. In fact, high-level arguments claiming it is fundamentally exponential have been advanced and even accepted as part of the folklore. Performance ended up being sluggish in practice, and this sluggishness was taken as informal evidence of exponentiality. In this paper, we reexamine the performance of parsing with derivatives. We have discovered that it is not exponential but, in fact, cubic. Moreover, simple (though perhaps not obvious) modifications to the implementation by Might et al. (2011) lead to an implementation that is not only easy to understand but also highly performant in practice.


title: Phone-based Metric as a Predictor for Basic Personality Traits

abstract: Basic personality traits are typically assessed through questionnaires. Here we consider phone-based metrics as a way to asses personality traits. We use data from smartphones with custom data-collection software distributed to 730 individuals. The data includes information about location, physical motion, face-to-face contacts, online social network friends, text messages and calls. The data is further complemented by questionnaire-based data on basic personality traits. From the phone-based metrics, we define a set of behavioral variables, which we use in a prediction of basic personality traits. We find that predominantly, the Big Five personality traits extraversion and, to some degree, neuroticism are strongly expressed in our data. As an alternative to the Big Five, we investigate whether other linear combinations of the 44 questions underlying the Big Five Inventory are more predictable. In a tertile classification problem, basic dimensionality reduction techniques, such as independent component analysis, increase the predictability relative to the baseline from $11\%$ to $23\%$. Finally, from a supervised linear classifier, we were able to further improve this predictability to $33\%$. In all cases, the most predictable projections had an overweight of the questions related to extraversion and neuroticism. In addition, our findings indicate that the score system underlying the Big Five Inventory disregards a part of the information available in the 44 questions.


title: The SEEDS High Contrast Imaging Survey of Exoplanets around Young Stellar Objects

abstract: We present high-contrast observations of 68 young stellar objects (YSOs) explored as part of the SEEDS survey on the Subaru telescope. Our targets are very young ($<$10 Myr) stars, which often harbor protoplanetary disks where planets may be forming. We achieve a typical contrast of $\sim$$10^{-4}$--$10^{-5.5}$ at an angular distance of 1\arcsec\ from the central star, corresponding to typical mass sensitivities (assuming hot-start evolutionary models) of $\sim$10 ${\rm M_J}$ at 70 AU and $\sim$6 ${\rm M_J}$ at 140 AU. We detected a new stellar companion to HIP 79462 and confirmed the substellar objects GQ Lup b and ROXs 42B b. An additional six companion candidates await follow-up observations to check for common proper motion. Our SEEDS YSO observations probe the population of planets and brown dwarfs at the very youngest ages; these may be compared to the results of surveys targeting somewhat older stars. Our sample and the associated observational results will help enable detailed statistical analyses of giant planet formation.


title: Dynamical quantum phase transitions: Role of topological nodes in wavefunction overlaps

abstract: A sudden quantum quench of a Bloch band from one topological phase toward another has been shown to exhibit an intimate connection with the notion of a dynamical quantum phase transition (DQPT), where the returning probability of the quenched state to the initial state---i.e. the Loschmidt echo---vanishes at critical times $\{t^{*}\}$. Analytical results so far are limited to two-band models, leaving the exact relation between topology and DQPT unclear. In this work, we show that for a general multi-band system, a robust DQPT relies on the existence of nodes (i.e. zeros) in the wavefunction overlap between the initial band and the post-quench energy eigenstates. These nodes are topologically protected if the two participating wavefunctions have distinctive topological indices. We demonstrate these ideas in detail for both one and two spatial dimensions using a three-band generalized Hofstadter model. We also discuss possible experimental observations.


title: Distributed interference management using Q-Learning in Cognitive Femtocell networks: New USRP-based Implementation

abstract: Femtocell networks have become a promising solution in supporting high data rates for 5G systems, where cell densification is performed using the small femtocells. However, femtocell networks have many challenges. One of the major challenges of femtocell networks is the interference management problem, where deployment of femtocells in the range of macro-cells may degrade the performance of the macrocell. In this paper, we develop a new platform for studying interference management in distributed femtocell networks using reinforcement learning approach. We design a complete MAC protocol to perform distributed power allocation using Q-Learning algorithm, where both independent and cooperative learning approaches are applied across network nodes. The objective of the Q-Learning algorithms is to maximize aggregate femtocells capacity, while maintaining the QoS for the Macrocell users. Furthermore, we present the realization of the algorithms using GNURadio and USRP platforms. Performance evaluation are conducted in terms of macrocell capacity convergence to a target capacity and improvement of aggregate femtocells capacity.


title: Algebraic K-Theory and Modular Symbols

abstract: In this paper, we calculate the differential $d^1$ of the rank spectral sequence. We generalize Quillen's spectral sequence from Dedekind domain to general integral Noetherian ring $A$ by considering the Q-construction $Q^{tf}(A)$ of the category of finitely generated torsion-free modules. In particular, by resolution theorem, if $A$ is regular, then $Q^{tf}(A)$ is homotopy equivalent to $QP(A)$ where $P(A)$ is the category of finitely generated projective $A$-modules. We deduce the differential $d^1$ by using Tits buildings, Steinberg modules, and modular symbols in the sense of Ash-Rudolph. The spirit of Quillen's categorical homotopy theory will be used intensively throughout this paper.


title: Pure Gravitational Dark Matter, Its Mass and Signatures

abstract: In this study, we investigate a scenario that dark matter (DM) has only gravitational interaction. In the framework of effective field theory of gravity, we find that DM is still stable at tree level even if there is no symmetry to protect its longevity, but could decay into standard model particles due to gravitational loop corrections. The radiative corrections can lead to both higher- and lower-dimensional effective operators. We also first explore how DM can be produced in the early universe. Through gravitational interaction at high temperature, DM is then found to have mass around TeV $\lesssim m_X \lesssim 10^{11}$GeV to get the right relic abundance. When DM decays, it mostly decays into gravitons, which could be tested by current and future CMB experiments. We also estimate the resulting fluxes for cosmic rays, gamma-ray and neutrino.


title: Quantum corrections to the thermodynamics of Schwarzschild-Tangherlini black hole and the generalized uncertainty principle

abstract: We investigate the thermodynamics of the Schwarzschild-Tangherlini black hole in the context of the generalized uncertainty principle (GUP). The corrections to the Hawking temperature, entropy and the heat capacity are obtained via the modified Hamilton-Jacobi equation. These modifications show that the GUP changes the evolution of the Schwarzschild-Tangherlini black hole. Specially, the GUP effect becomes susceptible when the radius or mass of the black hole approaches the order of Planck scale, it stops radiating and leads to black hole remnant. Meanwhile, the Planck scale remnant can be confirmed through the analysis of the heat capacity. Those phenomena imply that the GUP may give a way to solve the information paradox. Besides, we also investigate the possibilities to observe the black hole at the Large Hadron Collider (LHC), and the results demonstrate that the black hole cannot be produced in the recent LHC.


title: Meson spectroscopy in a confining theory via AdS/CFT

abstract: Instanton effects may have implications for hadronization of quark-gluon plasma as it cools. Here we study dispersion relations of mesons in a strongly coupled plasma with an instanton background present. It will be shown that at higher energies the instanton effect diminishes and some comments on the limiting velocity of mesons in the plasma. the profile function of mesons on the gravity side is considered also because of its relevance to energy loss of quark in plasma.


title: Breaking a "poor man" RG approach in the Luttinger liquid with one impurity

abstract: Using derived previously effective theory we explore conductance in the Luttinger model with one impurity. A new approach to the renormalization group (RG) analysis of this model is developed. It is based on the original Gell-Mann-Low formulation of RG. We sum up infrared logarithmic contibutions to conductance in the leading and few subsequent approximations. We analyze the validity of widely used ``poor man's'' scaling approach and find that it is applicable only in the leading approximation. Our results for corrections to this approximation are different from results obtained in other papers. It should be expected beforehand, as Gell-Mann-Low function of the model is not regularization scheme invariant. For this reason the observed quantity (e.g., conductance) can not satisfy the Gell-Mann-Low equation beyond the "leading-log"\ approximation as it is supposed in the "poor man's" approach. We formulate the method to calculate the conductance from renormalized hamiltonian in the post-leading approximations and match results to the case of weak impurity where the answer is known in any order in electron-electron interaction.


title: Referenced Publication Year Spectroscopy (RPYS) and Algorithmic Historiography: The Bibliometric Reconstruction of Andr\'as Schubert's {\OE}uvre

abstract: Referenced Publication Year Spectroscopy (RPYS) was recently introduced as a method to analyze the historical roots of research fields and groups or institutions. RPYS maps the distribution of the publication years of the cited references in a document set. In this study, we apply this methodology to the {\oe}uvre of an individual researcher on the occasion of a Festschrift for Andr\'as Schubert's 70th birthday. We discuss the different options of RPYS in relation to one another (e.g. Multi-RPYS), and in relation to the longer-term research program of algorithmic historiography (e.g., HistCite) based on Schubert's publications (n=172) and cited references therein as a bibliographic domain in scientometrics. Main path analysis and Multi-RPYS of the citation network are used to show the changes and continuities in Schubert's intellectual career. Diachronic and static decomposition of a document set can lead to different results, while the analytically distinguishable lines of research may overlap and interact over time, and intermittent.


title: DS-MLR: Exploiting Double Separability for Scaling up Distributed Multinomial Logistic Regression

abstract: Scaling multinomial logistic regression to datasets with very large number of data points and classes is challenging. This is primarily because one needs to compute the log-partition function on every data point. This makes distributing the computation hard. In this paper, we present a distributed stochastic gradient descent based optimization method (DS-MLR) for scaling up multinomial logistic regression problems to massive scale datasets without hitting any storage constraints on the data and model parameters. Our algorithm exploits double-separability, an attractive property that allows us to achieve both data as well as model parallelism simultaneously. In addition, we introduce a non-blocking and asynchronous variant of our algorithm that avoids bulk-synchronization. We demonstrate the versatility of DS-MLR to various scenarios in data and model parallelism, through an extensive empirical study using several real-world datasets. In particular, we demonstrate the scalability of DS-MLR by solving an extreme multi-class classification problem on the Reddit dataset (159 GB data, 358 GB parameters) where, to the best of our knowledge, no other existing methods apply.


title: Approximation Algorithms for Max-Morse Matching

abstract: In this paper, we prove that the Max-Morse Matching Problem is approximable, thus resolving an open problem posed by Joswig and Pfetsch. We describe two different approximation algorithms for the Max-Morse Matching Problem. For $D$-dimensional simplicial complexes, we obtain a $\frac{(D+1)}{(D^2+D+1)}$-factor approximation ratio using a simple edge reorientation algorithm that removes cycles. Our second result is an algorithm that provides a $\frac{2}{D}$-factor approximation for simplicial manifolds by processing the simplices in increasing order of dimension. One application of these algorithms is towards efficient homology computation of simplicial complexes. Experiments using a prototype implementation on several datasets indicate that the algorithm computes near optimal results.


title: Beyond the upper limit of magnetic anisotropy in two-dimensional transition metal dichalcogenides

abstract: Exploring an upper limit of magnetic anisotropy in two-dimensional materials, such as graphene and transition metal dichalcogenides, is at the heart of spintronics research. Herein, an atomic-scale perpendicular magnetic anisotropy up to an order of 100 meV per atom, which is far beyond the ordinarily obtained value in graphene and pristine transition metal dichalcogenides, is demonstrated in individual ruthenium and osmium adatoms at a monosulfur vacancy in molybdenum disulfide. We further propose a phenomenological model where a spin state transition that involves hybridization between molybdenum a1 and adatomic e' orbitals is a possible mechanism for magnetization reorientation.


title: Heavy Pseudoscalar Twist-3 Distribution Amplitudes within QCD Theory in Background Fields

abstract: In this paper, we study the properties of the twist-3 distribution amplitude (DA) of the heavy pseudo-scalars such as $\eta_c$, $B_c$ and $\eta_b$. New sum rules for the twist-3 DA moments $\left<\xi^n_P\right>_{\rm HP}$ and $\left<\xi^n_\sigma\right>_{\rm HP}$ up to sixth orders and up to dimension-six condensates are deduced under the framework of the background field theory. Based on the sum rules for the twist-3 DA moments, we construct a new model for the two twist-3 DAs of the heavy pseudo-scalar with the help of the Brodsky-Huang-Lepage prescription. Furthermore, we apply them to the $B_c\to\eta_c$ transition form factor ($f^{B_c\to\eta_c}_+(q^2)$) within the light-cone sum rules approach, and the results are comparable with other approaches. It has been found that the twist-3 DAs $\phi^P_{3;\eta_c}$ and $\phi^\sigma_{3;\eta_c}$ are important for a reliable prediction of $f^{B_c\to\eta_c}_+(q^2)$. For example, at the maximum recoil region, we have $f^{B_c\to\eta_c}_+(0) = 0.674 \pm 0.066$, in which those two twist-3 terms provide $\sim33\%$ and $\sim22\%$ contributions. Also we calculate the branching ratio of the semi-leptonic decay $B_c \to\eta_c l\nu$ as $Br(B_c \to\eta_c l\nu) = \left( 9.31^{+2.27}_{-2.01} \right) \times 10^{-3}$.


title: Study of Magnetic Hysteresis Effects in a Storage Ring Using Precision Tune Measurement

abstract: With advances in accelerator science and technology in the recent decades, the accelerator community has focused on the development of next-generation light sources, for example the diffraction-limited storage rings (DLSRs), which requires precision control of the electron beam energy and betatron tunes. This work is aimed at understanding magnet hysteresis effects on the electron beam energy and lattice focusing in the circular accelerators, and developing new methods to gain better control of these effects. In this paper, we will report our recent experimental study of the magnetic hysteresis effects and their impacts on the Duke storage ring lattice using the transverse feedback based precision tune measurement system. The major magnet hysteresis effects associated with magnet normalization and lattice ramping are carefully studied to determine an effective procedure for lattice preparation while maintaining a high degree of reproducibility of lattice focusing. The local hysteresis effects are also studied by measuring the betatron tune shifts resulted from adjusting the setting of a quadrupole. A new technique has been developed to precisely recover the focusing strength of the quadrupole by returning it to a proper setting to overcome the local hysteresis effect.


title: Transdisciplinarity seen through Information, Communication, Computation, (Inter-)Action and Cognition

abstract: Similar to oil that acted as a basic raw material and key driving force of industrial society, information acts as a raw material and principal mover of knowledge society in the knowledge production, propagation and application. New developments in information processing and information communication technologies allow increasingly complex and accurate descriptions, representations and models, which are often multi-parameter, multi-perspective, multi-level and multidimensional. This leads to the necessity of collaborative work between different domains with corresponding specialist competences, sciences and research traditions. We present several major transdisciplinary unification projects for information and knowledge, which proceed on the descriptive, logical and the level of generative mechanisms. Parallel process of boundary crossing and transdisciplinary activity is going on in the applied domains. Technological artifacts are becoming increasingly complex and their design is strongly user-centered, which brings in not only the function and various technological qualities but also other aspects including esthetic, user experience, ethics and sustainability with social and environmental dimensions. When integrating knowledge from a variety of fields, with contributions from different groups of stakeholders, numerous challenges are met in establishing common view and common course of action. In this context, information is our environment, and informational ecology determines both epistemology and spaces for action. We present some insights into the current state of the art of transdisciplinary theory and practice of information studies and informatics. We depict different facets of transdisciplinarity as we see it from our different research fields that include information studies, computability, human-computer interaction, multi-operating-systems environments and philosophy.


title: On the existence of the optimal order for wavefunction extrapolation in Born-Oppenheimer molecular dynamics

abstract: Wavefunction extrapolation greatly reduces the number of self-consistent field (SCF) iterations and thus the overall computational cost of Born-Oppenheimer molecular dynamics (BOMD) that is based on the Kohn-Sham density functional theory. Going against the intuition that the higher order of extrapolation possesses a better accuracy, we demonstrate, from both theoretical and numerical perspectives, that the extrapolation accuracy firstly increases and then decreases with respect to the order, and an optimal extrapolation order in terms of minimal number of SCF iterations always exists. We also prove that the optimal order tends to be larger when using larger MD time steps or more strict SCF convergence criteria. By example BOMD simulations of a solid copper system, we show that the optimal extrapolation order covers a broad range when varying the MD time step or the SCF convergence criterion. Therefore, we suggest the necessity for BOMD simulation packages to open the user interface and to provide more choices on the extrapolation order. Another factor that may influence the extrapolation accuracy is the alignment scheme that eliminates the discontinuity in the wavefunctions with respect to the atomic or cell variables. We prove the equivalence between the two existing schemes, thus the implementation of either of them does not lead to essential difference in the extrapolation accuracy.


title: Two Stochastic Optimization Algorithms for Convex Optimization with Fixed Point Constraints

abstract: Two optimization algorithms are proposed for solving a stochastic programming problem for which the objective function is given in the form of the expectation of convex functions and the constraint set is defined by the intersection of fixed point sets of nonexpansive mappings in a real Hilbert space. This setting of fixed point constraints enables consideration of the case in which the projection onto each of the constraint sets cannot be computed efficiently. Both algorithms use a convex function and a nonexpansive mapping determined by a certain probabilistic process at each iteration. One algorithm blends a stochastic gradient method with the Halpern fixed point algorithm. The other is based on a stochastic proximal point algorithm and the Halpern fixed point algorithm; it can be applied to nonsmooth convex optimization. Convergence analysis showed that, under certain assumptions, any weak sequential cluster point of the sequence generated by either algorithm almost surely belongs to the solution set of the problem. Convergence rate analysis illustrated their efficiency, and the numerical results of convex optimization over fixed point sets demonstrated their effectiveness.


title: A Bloch decomposition-based stochastic Galerkin method for quantum dynamics with a random external potential

abstract: In this paper, we consider the numerical solution of the one-dimensional Schr\"odinger equation with a periodic lattice potential and a random external potential. This is an important model in solid state physics where the randomness is involved to describe some complicated phenomena that are not exactly known. Here we generalize the Bloch decomposition-based time-splitting pseudospectral method to the stochastic setting using the generalize polynomial chaos with a Galerkin procedure so that the main effects of dispersion and periodic potential are still computed together. We prove that our method is unconditionally stable and numerical examples show that it has other nice properties and is more efficient than the traditional method. Finally, we give some numerical evidence for the well-known phenomenon of Anderson localization.


title: Multi-peak solutions for nonlinear Choquard equation with a general nonlinearity

abstract: In this paper, we study a class of nonlinear Choquard type equations involving a general nonlinearity. By using the method of penalization argument, we show that there exists a family of solutions having multiple concentration regions which concentrate at the minimum points of the potential $V$. Moreover, the monotonicity of $f(s)/s$ and the so-called Ambrosetti-Rabinowitz condition are not required.


title: Requirements Evolution and Evolution Requirements with Constrained Goal Models

abstract: We are interested in supporting software evolution caused by changing requirements and/or environmental settings. For example, users of a system may require new functionality (changing requirements), or performance enhancements to cope with growing user population. Specifically, we propose to use goal models to capture such changes, and exploit reasoning techniques that derive optimal new specifications for a system whose requirements and/or environment have changed. Moreover, we are interested in discovering new classes of evolution requirements, for example, that give preference to evolutions that minimize implementation effort for the implementation of the evolution. To address both of these problems, we exploit Constraint Goal Models (CGMs) an expressive language for modelling goals that comes with scalable solvers that can solve hybrid constraint and optimization problems using a combination of Satisfiability Modulo Theories (SMT) and Optimization Modulo Theories (OMT) solvers. We evaluate our proposal by modeling and reasoning with a goal model for meeting scheduling.


title: Edge states of hydrogen terminated monolayer materials: silicene, germanene and stanene ribbons

abstract: We investigate the energy dispersion of the edge states in zigzag silicene, germanene and stanene nanoribbons with and without hydrogen termination based on a multi-orbital tight-binding model. Since the low buckled structures are crucial for these materials, both the $\pi$ and $\sigma$ orbitals have a strong influence on the edge states, different from the case for graphene nanoribbons. The obtained dispersion of helical edge states is nonlinear, similar to that obtained by first-principles calculations. On the other hand, the dispersion derived from the single-orbital tight-binding model is always linear. Therefore, we find that the non-linearity comes from the multi-orbital effects, and accurate results cannot be obtained by the single-orbital model but can be obtained by the multi-orbital tight-binding model. We show that the multi-orbital model is essential for correctly understanding the dispersion of the edge states in tetragen nanoribbons with a low buckled geometry.


title: Scalar field as an intrinsic time measure in coupled dynamical matter-geometry systems. II. Electrically charged gravitational collapse

abstract: Investigating the dynamics of gravitational systems, especially in the regime of quantum gravity, poses a problem of measuring time during the evolution. One of the approaches to this issue is using one of the internal degrees of freedom as a time variable. The objective of our research was to check whether a scalar field or any other dynamical quantity being a part of a coupled multi-component matter-geometry system can be treated as a `clock' during its evolution. We investigated a collapse of a self-gravitating electrically charged scalar field in the Einstein and Brans-Dicke theories using the 2+2 formalism. Our findings concentrated on the spacetime region of high curvature existing in the vicinity of the emerging singularity, which is essential for the quantum gravity applications. We investigated several values of the Brans-Dicke coupling constant and the coupling between the Brans-Dicke and the electrically charged scalar fields. It turned out that both evolving scalar fields and a function which measures the amount of electric charge within a sphere of a given radius can be used to quantify time nearby the singularity in the dynamical spacetime part, in which the apparent horizon surrounding the singularity is spacelike. Using them in this respect in the asymptotic spacetime region is possible only when both fields are present in the system and, moreover, they are coupled to each other. The only nonzero component of the Maxwell field four-potential cannot be used to quantify time during the considered process in the neighborhood of the whole central singularity. None of the investigated dynamical quantities is a good candidate for measuring time nearby the Cauchy horizon, which is also singular due to the mass inflation phenomenon.


title: On a variant of Pillai's problem

abstract: In this paper, we find all integers $c$ having at least two representations as a difference between a Fibonacci number and a Tribonacci number.


title: Effective Resolution of Diophantine equations of the form $u_n+u_m=w p_1^{z_1} \cdots p_s^{z_s}$

abstract: Let $u_n$ be a fixed non-degenerate binary recurrence sequence with positive discriminant, $w$ a fixed non-zero integer and $p_1,p_2,\dots,p_s$ fixed, distinct prime numbers. In this paper we consider the Diophantine equation $u_n+u_m=w p_1^{z_1} \cdots p_s^{z_s}$ and prove under mild technical restrictions effective finiteness results. In particular we give explicit upper bounds for $n,m$ and $z_1, \dots, z_s$. Furthermore, we provide a rather efficient algorithm to solve Diophantine equations of the described type and we demonstrate our method by an example.


title: An artificial intelligence tool for heterogeneous team formation in the classroom

abstract: Nowadays, there is increasing interest in the development of teamwork skills in the educational context. This growing interest is motivated by its pedagogical effectiveness and the fact that, in labour contexts, enterprises organize their employees in teams to carry out complex projects. Despite its crucial importance in the classroom and industry, there is a lack of support for the team formation process. Not only do many factors influence team performance, but the problem becomes exponentially costly if teams are to be optimized. In this article, we propose a tool whose aim it is to cover such a gap. It combines artificial intelligence techniques such as coalition structure generation, Bayesian learning, and Belbin's role theory to facilitate the generation of working groups in an educational context. This tool improves current state of the art proposals in three ways: i) it takes into account the feedback of other teammates in order to establish the most predominant role of a student instead of self-perception questionnaires; ii) it handles uncertainty with regard to each student's predominant team role; iii) it is iterative since it considers information from several interactions in order to improve the estimation of role assignments. We tested the performance of the proposed tool in an experiment involving students that took part in three different team activities. The experiments suggest that the proposed tool is able to improve different teamwork aspects such as team dynamics and student satisfaction.


title: Where is the global corporate elite? A large-scale network study of local and nonlocal interlocking directorates

abstract: Business elites reconfigure their locus of organization over time, from the city level, to the national level, and beyond. We ask what the current level of elite organization is and propose a novel theoretical and empirical approach to answer this question. Building on the universal distinction between local and nonlocal ties we use network analysis and community detection to dissect the global network of interlocking directorates among over five million firms. We find that elite orientation is indeed changing from the national to the transnational plane, but we register a considerable heterogeneity across different regions in the world. In some regions the business communities are organized along national borders, whereas in other areas the locus of organization is at the city level or international level. London dominates the global corporate elite network. Our findings underscore that the study of corporate elites requires an approach that is sensitive to levels of organization that go beyond the confines of nation states.


title: Hacking in the Blind: (Almost) Invisible Runtime UI Attacks on Safety-Critical Terminals

abstract: Many terminals are used in safety-critical operations in which humans, through terminal user interfaces, become a part of the system control loop (e.g., medical and industrial systems). These terminals are typically embedded, single-purpose devices with restricted functionality, sometimes air-gapped and increasingly hardened. We describe a new way of attacking such terminals in which an adversary has only temporary, non-invasive, physical access to the terminal. In this attack, the adversary attaches a small device to the interface that connects user input peripherals to the terminal. The device executes the attack when the authorized user is performing safety-critical operations, by modifying or blocking user input, or injecting new input events. Given that the attacker has access to user input, the execution of this attack might seem trivial. However, to succeed, the attacker needs to overcome a number of challenges including the inability to directly observe the user interface and avoid being detected by the users. We present techniques that allow user interface state and input tracking. We evaluate these techniques and show that they can be implemented efficiently. We further evaluate the effectiveness of our attack through an online user study and find input modification attacks that are hard for the users to detect and would therefore lead to serious violations of the input integrity.


title: Automatic Segmentation of Dynamic Objects from an Image Pair

abstract: Automatic segmentation of objects from a single image is a challenging problem which generally requires training on large number of images. We consider the problem of automatically segmenting only the dynamic objects from a given pair of images of a scene captured from different positions. We exploit dense correspondences along with saliency measures in order to first localize the interest points on the dynamic objects from the two images. We propose a novel approach based on techniques from computational geometry in order to automatically segment the dynamic objects from both the images using a top-down segmentation strategy. We discuss how the proposed approach is unique in novelty compared to other state-of-the-art segmentation algorithms. We show that the proposed approach for segmentation is efficient in handling large motions and is able to achieve very good segmentation of the objects for different scenes. We analyse the results with respect to the manually marked ground truth segmentation masks created using our own dataset and provide key observations in order to improve the work in future.


title: Unanimously acceptable agreements for negotiation teams in unpredictable domains

abstract: A negotiation team is a set of agents with common and possibly also conflicting preferences that forms one of the parties of a negotiation. A negotiation team is involved in two decision making processes simultaneously, a negotiation with the opponents, and an intra-team process to decide on the moves to make in the negotiation. This article focuses on negotiation team decision making for circumstances that require unanimity of team decisions. Existing agent-based approaches only guarantee unanimity in teams negotiating in domains exclusively composed of predictable and compatible issues. This article presents a model for negotiation teams that guarantees unanimous team decisions in domains consisting of predictable and compatible, and also unpredictable issues. Moreover, the article explores the influence of using opponent, and team member models in the proposing strategies that team members use. Experimental results show that the team benefits if team members employ Bayesian learning to model their teammates' preferences.


title: The occurrence of a Mott-like gap in single-particle spectra of electron systems possessing flat bands

abstract: An unconventional type of the Mott's insulators where the gap in the spectrum of single-particle excitations is associated with repulsive effective interactions between quasiparticles is shown to exist in strongly correlated electron systems of solids that possess flat bands. The occurrence of this gap is demonstrated to be the consequence of violation of particle-hole symmetry, inherent in such systems. The results obtained are applied to elucidate the Fermi arc structure observed at temperatures up to $100\,$ K in angle-resolved photoemission spectra of the compound Sr$_2$IrO$_4$, not showing superconductivity down to low $T$.


title: Tasks for agent-based negotiation teams: Analysis, review, and challenges

abstract: An agent-based negotiation team is a group of interdependent agents that join together as a single negotiation party due to their shared interests in the negotiation at hand. The reasons to employ an agent-based negotiation team may vary: (i) more computation and parallelization capabilities, (ii) unite agents with different expertise and skills whose joint work makes it possible to tackle complex negotiation domains, (iii) the necessity to represent different stakeholders or different preferences in the same party (e.g., organizations, countries, and married couple). The topic of agent-based negotiation teams has been recently introduced in multi-agent research. Therefore, it is necessary to identify good practices, challenges, and related research that may help in advancing the state-of-the-art in agent-based negotiation teams. For that reason, in this article we review the tasks to be carried out by agent-based negotiation teams. Each task is analyzed and related with current advances in different research areas. The analysis aims to identify special challenges that may arise due to the particularities of agent-based negotiation teams.


title: Reaching Unanimous Agreements Within Agent-Based Negotiation Teams With Linear and Monotonic Utility Functions

abstract: In this article, an agent-based negotiation model for negotiation teams that negotiate a deal with an opponent is presented. Agent-based negotiation teams are groups of agents that join together as a single negotiation party because they share an interest that is related to the negotiation process. The model relies on a trusted mediator that coordinates and helps team members in the decisions that they have to take during the negotiation process: which offer is sent to the opponent, and whether the offers received from the opponent are accepted. The main strength of the proposed negotiation model is the fact that it guarantees unanimity within team decisions since decisions report a utility to team members that is greater than or equal to their aspiration levels at each negotiation round. This work analyzes how unanimous decisions are taken within the team and the robustness of the model against different types of manipulations. An empirical evaluation is also performed to study the impact of the different parameters of the model.


title: SIMPL: A DSL for Automatic Specialization of Inference Algorithms

abstract: Inference algorithms in probabilistic programming languages (PPLs) can be thought of as interpreters, since an inference algorithm traverses a model given evidence to answer a query. As with interpreters, we can improve the efficiency of inference algorithms by compiling them once the model, evidence and query are known. We present SIMPL, a domain specific language for inference algorithms, which uses this idea in order to automatically specialize annotated inference algorithms. Due to the approach of specialization, unlike a traditional compiler, with SIMPL new inference algorithms can be added easily, and still be optimized using domain-specific information. We evaluate SIMPL and show that partial evaluation gives a 2-6x speedup, caching provides an additional 1-1.5x speedup, and generating C code yields an additional 13-20x speedup, for an overall speedup of 30-150x for several inference algorithms and models.


title: Evolutionary-aided negotiation model for bilateral bargaining in Ambient Intelligence domains with complex utility functions

abstract: Ambient Intelligence aims to offer personalized services and easier ways of interaction between people and systems. Since several users and systems may coexist in these environments, it is quite possible that entities with opposing preferences need to cooperate to reach their respective goals. Automated negotiation is pointed as one of the mechanisms that may provide a solution to this kind of problems. In this article, a multi-issue bilateral bargaining model for Ambient Intelligence domains is presented where it is assumed that agents have computational bounded resources and do not know their opponents' preferences. The main goal of this work is to provide negotiation models that obtain efficient agreements while maintaining the computational cost low. A niching genetic algorithm is used before the negotiation process to sample one's own utility function (self-sampling). During the negotiation process, genetic operators are applied over the opponent's and one's own offers in order to sample new offers that are interesting for both parties. Results show that the proposed model is capable of outperforming similarity heuristics which only sample before the negotiation process and of obtaining similar results to similarity heuristics which have access to all of the possible offers.


title: Constraints on Sterile Neutrino Oscillations using DUNE Near Detector

abstract: DUNE (Deep Underground Neutrino Experiment) is a proposed long-baseline neutrino experiment in the US with a baseline of 1300 km from Fermi National Accelerator Laboratory (Fermilab) to Sanford Underground Research Facility, which will house a 40 kt Liquid Argon Time Projection Chamber (LArTPC) as the far detector. The experiment will also have a fine grained near detector for accurately measuring the initial fluxes. We show that the energy range of the fluxes and baseline of the DUNE near detector is conducive for observing $\nu_\mu \to \nu_e$ oscillations of $\Delta m^2 \sim$ eV$^2$ scale sterile neutrinos, and hence can be effectively used for testing to very high accuracy the reported oscillation signal seen by the LSND and MiniBooNE experiments. We study the sensitivity of the DUNE near detector to sterile neutrino oscillations by varying the baseline, detector fiducial mass and systematic uncertainties. We find that the detector mass and baseline of the currently proposed near detector at DUNE will be able to test the entire LSND parameter region with good precision. The dependence of sensitivity on baseline and detector mass is seen to give interesting results, while dependence on systematic uncertainties is seen to be small.


title: Stable Exponential Random Graph Models with Non-parametric Components for Large Dense Networks

abstract: Exponential Random Graph Models (ERGM) behave peculiar in large networks with thousand(s) of actors (nodes). Standard models containing two-star or triangle counts as statistics are often unstable leading to completely full or empty networks. Moreover, numerical methods break down which makes it complicated to apply ERGMs to large networks. In this paper we propose two strategies to circumvent these obstacles. First, we fit a model to a subsampled network and secondly, we show how linear statistics (like two-stars etc.) can be replaced by smooth functional components. These two steps in combination allow to fit stable models to large network data, which is illustrated by a data example including a residual analysis.


title: Symplectic Involutions, quadratic pairs and function fields of conics

abstract: In this paper we study symplectic involutions and quadratic pairs that become hyperbolic over the function field of a conic. In particular, we classify them in degree 4 and deduce results on 5 dimensional minimal quadratic forms, thus extending to arbitrary fields some results of [24], which were only known in characteristic different from 2.


title: Quasinormal modes of a black hole with a cloud of strings in Einstein-Gauss-Bonnet gravity

abstract: The quasinormal modes for a scalar field in the background spacetime corresponding to a black hole, with a cloud of strings, in Einstein-Gauss-Bonnet gravity, and the tensor quasinormal modes corresponding to perturbations in such spacetime, were both calculated using the WKB approximation. In the obtained results we emphasize the role played by the parameter associated with the string cloud, comparing them with the results already obtained for the Boulware-Deser metric. We also study how the Gauss-Bonnet correction to general relativity affects the results for the quasinormal modes, comparing them with the same background in general relativity.


title: Fundamental Limits of Pooled-DNA Sequencing

abstract: In this paper, fundamental limits in sequencing of a set of closely related DNA molecules are addressed. This problem is called pooled-DNA sequencing which encompasses many interesting problems such as haplotype phasing, metageomics, and conventional pooled-DNA sequencing in the absence of tagging. From an information theoretic point of view, we have proposed fundamental limits on the number and length of DNA reads in order to achieve a reliable assembly of all the pooled DNA sequences. In particular, pooled-DNA sequencing from both noiseless and noisy reads are investigated in this paper. In the noiseless case, necessary and sufficient conditions on perfect assembly are derived. Moreover, asymptotically tight lower and upper bounds on the error probability of correct assembly are obtained under a biologically plausible probabilistic model. For the noisy case, we have proposed two novel DNA read denoising methods, as well as corresponding upper bounds on assembly error probabilities. It has been shown that, under mild circumstances, the performance of the reliable assembly converges to that of the noiseless regime when, for a given read length, the number of DNA reads is sufficiently large. Interestingly, the emergence of long DNA read technologies in recent years envisions the applicability of our results in real-world applications.


title: Intra-Team Strategies for Teams Negotiating Against Competitor, Matchers, and Conceders

abstract: Under some circumstances, a group of individuals may need to negotiate together as a negotiation team against another party. Unlike bilateral negotiation between two individuals, this type of negotiations entails to adopt an intra-team strategy for negotiation teams in order to make team decisions and accordingly negotiate with the opponent. It is crucial to be able to negotiate successfully with heterogeneous opponents since opponents' negotiation strategy and behavior may vary in an open environment. While one opponent might collaborate and concede over time, another may not be inclined to concede. This paper analyzes the performance of recently proposed intra-team strategies for negotiation teams against different categories of opponents: competitors, matchers, and conceders. Furthermore, it provides an extension of the negotiation tool Genius for negotiation teams in bilateral settings. Consequently, this work facilitates research in negotiation teams.


title: Studying the impact of negotiation environments on negotiation teams' performance

abstract: In this article we study the impact of the negotiation environment on the performance of several intra-team strategies (team dynamics) for agent-based negotiation teams that negotiate with an opponent. An agent-based negotiation team is a group of agents that joins together as a party because they share common interests in the negotiation at hand. It is experimentally shown how negotiation environment conditions like the deadline of both parties, the concession speed of the opponent, similarity among team members, and team size affect performance metrics like the minimum utility of team members, the average utility of team members, and the number of negotiation rounds. Our goal is identifying which intra-team strategies work better in different environmental conditions in order to provide useful knowledge for team members to select appropriate intra-team strategies according to environmental conditions.


title: A wide-angle metamaterial narrow-band-stop filter for 532 nm wavelength green light

abstract: Traditional optical interference narrow-band-stop filters do not possess wide-angle property, because peaks and troughs of filter spectrum would be moved at a non-normal angle of incidence (AOI), which could result in functional failure in particular cases, e.g. blocking of laser for pilot in cockpit during premeditated laser pointer direct. For this reason, we designed a wide-angle metamaterial narrow-band-stop filter assembled by cross shaped units to block 532 nm green light, which is firstly reported in the world. Unnecessary shift of spectrum caused by AOI change is effectively inhibited, and angular tolerance of wide-angle capability achieves to 35 degrees non-normal AOIs.


title: Inconclusive quantum measurements and decisions under uncertainty

abstract: We give a mathematical definition for the notion of inconclusive quantum measurements. In physics, such measurements occur at intermediate stages of a complex measurement procedure, with the final measurement result being operationally testable. Since the mathematical structure of Quantum Decision Theory has been developed in analogy with the theory of quantum measurements, the inconclusive quantum measurements correspond, in Quantum Decision Theory, to intermediate stages of decision making in the process of taking decisions under uncertainty. The general form of the quantum probability for a composite event is the sum of a utility factor, describing a rational evaluation of the considered prospect, and of an attraction factor, characterizing irrational, subconscious attitudes of the decision maker. Despite the involved irrationality, the probability of prospects can be evaluated. This is equivalent to the possibility of calculating quantum probabilities without specifying hidden variables. We formulate a general way of evaluation, based on the use of non-informative priors. As an example, we suggest the explanation of the decoy effect. Our quantitative predictions are in very good agreement with experimental data.


title: Reliable Linear, Sesquilinear and Bijective Operations On Integer Data Streams Via Numerical Entanglement

abstract: A new technique is proposed for fault-tolerant linear, sesquilinear and bijective (LSB) operations on $M$ integer data streams ($M\geq3$), such as: scaling, additions/subtractions, inner or outer vector products, permutations and convolutions. In the proposed method, the $M$ input integer data streams are linearly superimposed to form $M$ numerically-entangled integer data streams that are stored in-place of the original inputs. A series of LSB operations can then be performed directly using these entangled data streams. The results are extracted from the $M$ entangled output streams by additions and arithmetic shifts. Any soft errors affecting any single disentangled output stream are guaranteed to be detectable via a specific post-computation reliability check. In addition, when utilizing a separate processor core for each of the $M$ streams, the proposed approach can recover all outputs after any single fail-stop failure. Importantly, unlike algorithm-based fault tolerance (ABFT) methods, the number of operations required for the entanglement, extraction and validation of the results is linearly related to the number of the inputs and does not depend on the complexity of the performed LSB operations. We have validated our proposal in an Intel processor (Haswell architecture with AVX2 support) via fast Fourier transforms, circular convolutions, and matrix multiplication operations. Our analysis and experiments reveal that the proposed approach incurs between $0.03\%$ to $7\%$ reduction in processing throughput for a wide variety of LSB operations. This overhead is 5 to 1000 times smaller than that of the equivalent ABFT method that uses a checksum stream. Thus, our proposal can be used in fault-generating processor hardware or safety-critical applications, where high reliability is required without the cost of ABFT or modular redundancy.


title: Smoothed Hierarchical Dirichlet Process: A Non-Parametric Approach to Constraint Measures

abstract: Time-varying mixture densities occur in many scenarios, for example, the distributions of keywords that appear in publications may evolve from year to year, video frame features associated with multiple targets may evolve in a sequence. Any models that realistically cater to this phenomenon must exhibit two important properties: the underlying mixture densities must have an unknown number of mixtures, and there must be some "smoothness" constraints in place for the adjacent mixture densities. The traditional Hierarchical Dirichlet Process (HDP) may be suited to the first property, but certainly not the second. This is due to how each random measure in the lower hierarchies is sampled independent of each other and hence does not facilitate any temporal correlations. To overcome such shortcomings, we proposed a new Smoothed Hierarchical Dirichlet Process (sHDP). The key novelty of this model is that we place a temporal constraint amongst the nearby discrete measures $\{G_j\}$ in the form of symmetric Kullback-Leibler (KL) Divergence with a fixed bound $B$. Although the constraint we place only involves a single scalar value, it nonetheless allows for flexibility in the corresponding successive measures. Remarkably, it also led us to infer the model within the stick-breaking process where the traditional Beta distribution used in stick-breaking is now replaced by a new constraint calculated from $B$. We present the inference algorithm and elaborate on its solutions. Our experiment using NIPS keywords has shown the desirable effect of the model.


title: Neutrino Self-Interactions

abstract: We propose a theory that equips the active neutrinos with interactions among themselves that are at least three orders of magnitude stronger than the weak interaction. We introduce an Abelian gauge group $U(1)_x$ with vacuum expectation value $v_x \lesssim \mathcal{O}(100 \textrm{ MeV})$. An asymmetric mass matrix implements the active neutrinos as massless mass eigenstates carrying "effective" charges. To stabilize $v_x$, supersymmetry breaking is mediated via loops to the additional sector with the only exception of xHiggs terms. No Standard Model interaction eigenstate carries $U(1)_x$ charge. Thus the dark photon's kinetic mixing is two-loop suppressed.With only simple and generic values of dimensionless parameters, our theory might explain the high-energy neutrino spectrum observed by IceCube including the PeV neutrinos. We comment on the imposing opportunity to incorporate a self-interacting dark matter candidate.


title: Analysis of Human-Body Blockage in Urban Millimeter-Wave Cellular Communications

abstract: The use of extremely high frequency (EHF) or millimeter-wave (mmWave) band has attracted significant attention for the next generation wireless access networks. As demonstrated by recent measurements, mmWave frequencies render themselves quite sensitive to "blocking" caused by obstacles like foliage, humans, vehicles, etc. However, there is a dearth of analytical models for characterizing such blocking and the consequent effect on the signal reliability. In this paper, we propose a novel, general, and tractable model for characterizing the blocking caused by humans (assuming them to be randomly located in the environment) to mmWave propagation as a function of system parameters like transmitter-receiver locations and dimensions, as well as density and dimensions of humans. Moreover, the proposed model is validated using a ray-launcher tool. Utilizing the proposed model, the blockage probability is shown to increase with human density and separation between the transmitter-receiver pair. Furthermore, the developed analysis is shown to demonstrate the existence of a transmitter antenna height that maximizes the received signal strength, which in turn is a function of the transmitter-receiver distance and their dimensions.


title: H\"ormander's solution of the $\bar\partial$ -equation with compact support

abstract: This work is a complement of the study on H\"ormander's solution of the $\bar\partial$ equation initialised by H. Hedenmalm. Let $\varphi$ be a strictly plurisubharmonic function of class C 2 in C n, let $c_\varphi(z)$ be the smallest eigenvalue of $i\partial\bar\partial\varphi$ then $\forall z\in\mathbb{C}^n$, $c_\varphi (z)>0$. We denote by $L^2_{p,q}(\mathbb{C}^n, e^\varphi)$ the $(p, q)$ currents with coefficients in $L^2_{p,q}(\mathbb{C}^n, e^\varphi)$. We prove that if $\omega\in L^2_{p,q}(\mathbb{C}^n,e^\varphi)$, $\bar\partial$$\omega$ = 0 for q <n then there is a solution u $\in L ^2_{p,q-1}(\mathbb{C}^n,c_\varphi e^\varphi)$ of $\bar\partial$u = $\omega$. This is done via a theorem giving a solution with compact support if the data has compact support.


title: Galactic Archaeology: Current Surveys

abstract: I present an overview of the science goals and achievements of ongoing spectroscopic surveys of individual stars in the nearby Universe. I include a brief discussion of the development of the field of Galactic Archaeology - using the fossil record in old stars nearby to infer how our Galaxy evolved and place the Milky Way in cosmological context.


title: Constructive Simplicial Homotopy

abstract: This paper aims to help the development of new models of homotopy type theory, in particular with models that are based on realizability toposes. For this purpose it develops the foundations of an internal simplicial homotopy that does not rely on classical principles that are not valid in realizability toposes and related categories.


title: On the almost Gorenstein property in Rees algebras of contracted ideals

abstract: The question of when the Rees algebra ${\mathcal R} (I)= \bigoplus_{n \ge 0}I^n$ of $I$ is an almost Gorenstein graded ring is explored, where $R$ is a two-dimensional regular local ring and $I$ a contracted ideal of $R$. It is known that ${\mathcal R} (I)$ is an almost Gorenstein graded ring for every integrally closed ideal $I$ of $R$. The main results of the present paper show that if $I$ is a contracted ideal with $\mathrm{o}(I) \le 2$, then ${\mathcal R} (I)$ is an almost Gorenstein graded ring, while if $\mathrm{o}(I) \ge 3$, then ${\mathcal R} (I)$ is not necessarily an almost Gorenstein graded ring, even though $I$ is a contracted stable ideal. Thus both affirmative answers and negative answers are given.


title: Inflationary Cosmology Leading to a Soft Type Singularity

abstract: A remarkable property of modern cosmology is that it allows for a special case of symmetry, consisting in the possibility of describing the early-time acceleration (inflation) and the late-time acceleration using the same theoretical framework. In this paper we consider various cosmological models corresponding to a generalized form for the equation of state for the fluid in a flat Friedmann -Robertson-Walker universe, emphasizing cases where the so-called type IV singular inflation is encountered in the future. This is a soft (non-crushing) kind of singularity. Parameter values for an inhomogeneous equation of state leading to singular inflation are obtained. We present models for which there are two type IV singularities, the first corresponding to the end of the inflationary era and the second to a late time event. We also study the correspondence between the theoretical slow-roll parameters leading to type IV singular inflation and the recent results observed by the Planck satellite.


title: Big Data Analytics Using Cloud and Crowd

abstract: The increasing application of social and human-enabled systems in people's daily life from one side and from the other side the fast growth of mobile and smart phones technologies have resulted in generating tremendous amount of data, also referred to as big data, and a need for analyzing these data, i.e., big data analytics. Recently a trend has emerged to incorporate human computing power into big data analytics to solve some shortcomings of existing big data analytics such as dealing with semi or unstructured data. Including crowd into big data analytics creates some new challenges such as security, privacy and availability issues. In this paper study hybrid human-machine big data analytics and propose a framework to study these systems from crowd involvement point of view. We identify some open issues in the area and propose a set of research directions for the future of big data analytics area.


title: An algebraic condition for the Bisognano-Wichmann Property

abstract: The Bisognano-Wichmann property for local, Poincar\'e covariant nets of standard subspaces is discussed. We present a sufficient algebraic condition on the covariant representation ensuring Bisognano-Wichmann and Duality properties without further assumptions on the net. Our modularity condition holds for direct integrals of scalar massive and massless representations. We conclude that in these cases the Bisognano-Wichmann property is much weaker than the Split property. Furthermore, we present a class of massive modular covariant nets not satisfying the Bisognano-Wichmann property.


title: Regular and chaotic orbits in the dynamics of exoplanets

abstract: Many of exoplanetary systems consist of more than one planet and the study of planetary orbits with respect to their long-term stability is very interesting. Furthermore, many exoplanets seem to be locked in a mean-motion resonance (MMR), which offers a phase protection mechanism, so that, even highly eccentric planets can avoid close encounters. However, the present estimation of their initial conditions, which may change significantly after obtaining additional observational data in the future, locate most of the systems in chaotic regions and consequently, they are destabilized. Hence, dynamical analysis is imperative for the derivation of proper planetary orbital elements. We utilize the model of spatial general three body problem, in order to simulate such resonant systems through the computation of families periodic orbits. In this way, we can figure out regions in phase space, where the planets in resonances should be ideally hosted in favour of long-term stability and therefore, survival. In this review, we summarize our methodology and showcase the fact that stable resonant planetary systems evolve being exactly centered at stable periodic orbits. We apply this process to co-orbital motion and systems HD 82943, HD 73526, HD 128311, HD 60532, HD 45364 and HD 108874.


title: Energy Efficient Downlink Transmission for Multi-cell Massive DAS with Pilot Contamination

abstract: In this paper, we study the energy efficiency (EE) of a downlink multi-cell massive distributed antenna system (DAS) in the presence of pilot contamination (PC), where the antennas are clustered on the remote radio heads (RRHs). We employ a practical power consumption model by considering the transmit power, the circuit power, and the backhaul power, in contrast to most of the existing works which focus on co-located antenna systems (CAS) where the backhaul power is negligible. For a given average user rate, we consider the problem of maximizing the EE with respect to the number of each RRH antennas $n$, the number of RRHs $M$, the number of users $K$, and study the impact of system parameters on the optimal $n$, $M$ and $K$. Specifically, by applying random matrix theory, we derive the closed-form expressions of the optimal $n$, and find the solution of the optimal $M$ and $K$, under a simplified channel model with maximum ratio transmission. From the results, we find that to achieve the optimal EE, a large number of antennas is needed for a given user rate and PC. As the number of users increases, EE can be improved further by having more RRHs and antennas. Moreover, if the backhauling power is not large, massive DAS can be more energy efficient than massive CAS. These insights provide a useful guide to practical deployment of massive DAS.


title: Obstructed and unobstructed Poisson deformations

abstract: In this paper, we study obstructed and unobstructed (holomorphic) Poisson deformations with classical examples in deformation theory.


title: An adaptive variational Quasicontinuum methodology for lattice networks with localized damage

abstract: Lattice networks with dissipative interactions can be used to describe the mechanics of discrete meso-structures of materials such as 3D-printed structures and foams. This contribution deals with the crack initiation and propagation in such materials and focuses on an adaptive multiscale approach that captures the spatially evolving fracture. Lattice networks naturally incorporate non-locality, large deformations, and dissipative mechanisms taking place inside fracture zones. Because the physically relevant length scales are significantly larger than those of individual interactions, discrete models are computationally expensive. The Quasicontinuum (QC) method is a multiscale approach specifically constructed for discrete models. This method reduces the computational cost by fully resolving the underlying lattice only in regions of interest, while coarsening elsewhere. In this contribution, the (variational) QC is applied to damageable lattices for engineering-scale predictions. To deal with the spatially evolving fracture zone, an adaptive scheme is proposed. Implications induced by the adaptive procedure are discussed from the energy-consistency point of view, and theoretical considerations are demonstrated on two examples. The first one serves as a proof of concept, illustrates the consistency of the adaptive schemes, and presents errors in energies. The second one demonstrates the performance of the adaptive QC scheme for a more complex problem.


title: Spin-orbit excitation energies, anisotropic exchange, and magnetic phases of honeycomb RuCl3

abstract: Using quantum chemistry calculations we shed fresh light on the electronic structure and magnetic properties of RuCl3, a proposed realization of the honeycomb Kitaev spin model. It is found that the nearest-neighbor Kitaev exchange K is weaker than in 5d5 Ir oxides but still larger than other effective spin couplings. The electronic-structure computations also indicate a ferromagnetic K in the halide, which is supported by a detailed analysis of the field-dependent magnetization. From exact-diagonalization calculations for extended Kitaev-Heisenberg Hamiltonians we additionally find that a transition from zigzag order to a spin-liquid ground state can be induced in RuCl3 with external magnetic field.


title: Stable actions and central extensions

abstract: A probability-measure-preserving action of a countable group is called stable if its transformation-groupoid absorbs the ergodic hyperfinite equivalence relation of type II_1 under direct product. We show that for a countable group G and its central subgroup C, if G/C has a stable action, then so does G. Combining a previous result of the author, we obtain a characterization of a central extension having a stable action.


title: Direct measurement of topological numbers with spins in diamond

abstract: Topological numbers can characterize the transition between different topological phases, which are not described by Landau's paradigm of symmetry breaking. Since the discovery of quantum Hall effect, more topological phases have been theoretically predicted and experimentally verified. However, it is still an experimental challenge to directly measure the topological number of various predicted topological phases. In this paper, we demonstrate quantum simulation of topological phase transition of a quantum wire (QW) using a single nitrogen-vacancy (NV) center in diamond. Deploying quantum algorithm of finding eigenvalues, we can reliably extract both the dispersion relations and topological numbers.


title: The effect of network structure on innovation initiation process: an evolutionary dynamics approach

abstract: In this paper we have proposed a basic agent-based model based on evolutionary dynamics for investigating innovation initiation process. In our model we suppose each agent will represent a firm which is interacting with other firms through a given network structure. We consider a two-hit process for presenting a potentially successful innovation in this model and therefore at each time step each firm can be in on of three different stages which are respectively, Ordinary, Innovative, and Successful. We design different experiments in order to investigate how different interaction networks may affect the process of presenting a successful innovation to the market. In this experiments, we use five different network structures, i.e. Erd\H{o}s and R\'enyi, Ring Lattice, Small World, Scale-Free and Distance-Based networks. According to the results of the simulations, for less frequent innovations like radical innovation, local structures are showing a better performance comparing to Scale-Free and Erd\H{o}s and R\'enyi networks. Although as we move toward more frequent innovations, like incremental innovations, difference between network structures becomes less and non-local structures show relatively better performance.


title: Free cumulants, Schr\"oder trees, and operads

abstract: The functional equation defining the free cumulants in free probability is lifted successively to the noncommutative Fa\`a di Bruno algebra, and then to the group of a free operad over Schr\"oder trees. This leads to new combinatorial expressions, which remain valid for operator-valued free probability. Specializations of these expressions give back Speicher's formula in terms of noncrossing partitions, and its interpretation in terms of characters due to Ebrahimi-Fard and Patras.


title: On the Upsilon invariant of cable knots

abstract: In this paper, we study the behavior of $\Upsilon_K(t)$ under the cabling operation, where $\Upsilon_K(t)$ is the knot concordance invariant defined by Ozsv\'ath, Stipsicz, and Szab\'o, associated to a knot $K\subset S^3$. The main result is an inequality relating $\Upsilon_K(t)$ and $\Upsilon_{K_{p,q}}(t)$, which generalizes the inequalities of Hedden and Van Cott on the Ozsv\'ath-Szab\'o $\tau$-invariant. As applications, we give a computation of $\Upsilon_{(T_{2,-3})_{2,2n+1}}(t)$ for $n\geq 8$, and we also show that the set of iterated $(p,1)$-cables of $Wh^{+}(T_{2,3})$ for any $p\geq 2$ span an infinite-rank summand of topologically slice knots.


title: On the Performance of Channel Statistics-Based Codebook for Massive MIMO

abstract: The channel feedback overhead for massive MIMO systems with a large number of base station (BS) antennas is very high, since the number of feedback bits of traditional codebooks scales linearly with the number of BS antennas. To reduce the feedback overhead, an effective codebook based on channel statistics has been designed, where the required number of feedback bits only scales linearly with the rank of the channel correlation matrix. However, this attractive conclusion was only intuitively explained and then verified through simulation results in the literature, while no rigorous theoretical proof has been provided. To fill in the gap between the theoretical conclusion and simulation results, in this paper, we quantitatively analyze the performance of the channel statistics-based codebook. Specifically, we firstly introduce the rate gap between the ideal case of perfect channel state information at the transmitter and the practical case of limited channel feedback, where we find that the rate gap is dependent on the quantization error of the codebook. Then, we derive an upper bound of the quantization error, based on which we prove that the required feedback bits to ensure a constant rate gap only scales linearly with the rank of the channel correlation matrix. Finally, numerical results are provided to verify this conclusion. To the best of our knowledge, our work is the first one to provide a rigorous proof of this conclusion.


title: Assessing the impact of costly punishment and group size in collective-risk climate dilemmas

abstract: The mitigation of the effects of climate change on humankind is one of the most pressing and important collective governance problems nowadays$^{1-4}$. To explore different solutions and scenarios, previous works have framed this problem into a Public Goods Game (PGG), where a dilemma between short-term interests and long-term sustainability arises$^{5-9}$. In such a context, subjects are placed in groups and play a PGG with the aim of avoiding dangerous climate change impact. Here we report on a lab experiment designed to explore two important ingredients: costly punishment to free-riders and group size. Our results show that for high punishment risk, more groups succeed in achieving the global target, this finding being robust against group size. Interestingly enough, we also find a non-trivial effect of the size of the groups: the larger the size of the groups facing the dilemmas, the higher the punishment risk should be to achieve the desired goal. Overall, the results of the present study shed more light into possible deterrent effects of plausible measures that can be put in place when negotiating climate treaties and provide more hints regarding climate-related policies and strategies.


title: Proof of shock-excited H$_2$ in low-ionization structures of PNe

abstract: We report the detection of near-IR H$_2$ lines emission from low-ionization structures (LISs) in planetary nebulae. The deepest, high-angular resolution H$_2$ 1-0 S(1) at 2.122 $\mu$m, and H$_2$ 2-1 S(1) at 2.248 $\mu$m images of K 4-47 and NGC 7662, obtained using NIRI@Gemini-North, are presented here. K 4-47 reveals a remarkable high-collimated bipolar structure. The H$_2$ emission emanates from the walls of the bipolar outflows and a pair of knots at the tips of these outflows. The H$_2$ 1-0 S(1)/2-1 S(1) line ratio is $\sim$7-10 which indicates shock interaction due to both the lateral expansion of the gas in the outflows and the high-velocity knots. The strongest line, H$_2$ v=1-0 S(1), is also detected in several LISs located at the periphery of the outer shell of the elliptical PN NGC 7662, whereas only four knots are detected in the H$_2$ v=2-1 S(1) line. These knots have H$_2$ v=1-0 S(1)/v=2-1 S(1) values between 2 and 3. These data confirm the presence of molecular gas in both highly (K 4-47) and slowly moving LISs (NGC 7662). The H$_2$ emission in K 4-47 is powered by shocks, whereas in NGC 7662 is due to photo-ionization by the central star. Moreover, a likely correlation is found between the H$_2$ v=1-0 S(1)/H$_2$ v=2-1 S(1) and [N II]/H$\alpha$ line ratios.


title: Closed loop interactions between spiking neural network and robotic simulators based on MUSIC and ROS

abstract: In order to properly assess the function and computational properties of simulated neural systems, it is necessary to account for the nature of the stimuli that drive the system. However, providing stimuli that are rich and yet both reproducible and amenable to experimental manipulations is technically challenging, and even more so if a closed-loop scenario is required. In this work, we present a novel approach to solve this problem, connecting robotics and neural network simulators. We implement a middleware solution that bridges the Robotic Operating System (ROS) to the Multi-Simulator Coordinator (MUSIC). This enables any robotic and neural simulators that implement the corresponding interfaces to be efficiently coupled, allowing real-time performance for a wide range of configurations. This work extends the toolset available for researchers in both neurorobotics and computational neuroscience, and creates the opportunity to perform closed-loop experiments of arbitrary complexity to address questions in multiple areas, including embodiment, agency, and reinforcement learning.


title: The maximal drawdown of the Brownian meander

abstract: Motivated by evaluating the limiting distribution of randomly biased random walks on trees, we compute the exact value of a negative moment of the maximal drawdown of the standard Brownian meander.


title: Asymptotic normality and combinatorial aspects of the prefix exchange distance distribution

abstract: The prefix exchange distance of a permutation is the minimum number of exchanges involving the leftmost element that sorts the permutation. We give new combinatorial proofs of known results on the distribution of the prefix exchange distance for a random uniform permutation. We also obtain expressions for the mean and the variance of this distribution, and finally, we show that the normalised prefix exchange distribution converges in distribution to the standard normal distribution.


title: Efficient Dictionary Learning with Sparseness-Enforcing Projections

abstract: Learning dictionaries suitable for sparse coding instead of using engineered bases has proven effective in a variety of image processing tasks. This paper studies the optimization of dictionaries on image data where the representation is enforced to be explicitly sparse with respect to a smooth, normalized sparseness measure. This involves the computation of Euclidean projections onto level sets of the sparseness measure. While previous algorithms for this optimization problem had at least quasi-linear time complexity, here the first algorithm with linear time complexity and constant space complexity is proposed. The key for this is the mathematically rigorous derivation of a characterization of the projection's result based on a soft-shrinkage function. This theory is applied in an original algorithm called Easy Dictionary Learning (EZDL), which learns dictionaries with a simple and fast-to-compute Hebbian-like learning rule. The new algorithm is efficient, expressive and particularly simple to implement. It is demonstrated that despite its simplicity, the proposed learning algorithm is able to generate a rich variety of dictionaries, in particular a topographic organization of atoms or separable atoms. Further, the dictionaries are as expressive as those of benchmark learning algorithms in terms of the reproduction quality on entire images, and result in an equivalent denoising performance. EZDL learns approximately 30 % faster than the already very efficient Online Dictionary Learning algorithm, and is therefore eligible for rapid data set analysis and problems with vast quantities of learning samples.


title: Median bias reduction of maximum likelihood estimates

abstract: For regular parametric problems, we show how median centering of the maximum likelihood estimate can be achieved by a simple modification of the score equation. For a scalar parameter of interest, the estimator is equivariant under interest respecting parameterizations and third-order median unbiased. With a vector parameter of interest, componentwise equivariance and third-order median centering are obtained. Like Firth's (1993, Biometrika) implicit method for bias reduction, the new method does not require finiteness of the maximum likelihood estimate and is effective in preventing infinite estimates. Simulation results for continuous and discrete models, including binary and beta regression, confirm that the method succeeds in achieving componentwise median centering and in solving the infinite estimate problem, while keeping comparable dispersion and the same approximate distribution as its main competitors.


title: A Solution to Lithium Problem by Long-Lived Stau

abstract: We review a non-standard Big-Bang nucleosynthesis (BBN) scenario within the minimal supersymmetric standard model, and propose an idea to solve both ${}^{7}$Li and ${}^{6}$Li problems. Each problem is a discrepancy between the predicted abundance in the standard BBN and observed one. We focus on the stau, a supersymmetric partner of tau lepton, which is a long-lived charged particle when it is the next lightest supersymmetric particle and is degenerate in mass with the lightest supersymmetric particle. The long-lived stau forms a bound state with a nucleus, and provide non-standard nuclear reactions. One of those, the internal conversion process, accelerates the destruction of ${}^{7}$Be and ${}^{7}$Li, and leads to a solution to the ${}^{7}$Li problem. On the other hand, the bound state of the stau and ${}^{4}$He enhances productions of n, d, t, and ${}^{6}$Li. The over-production of ${}^{6}$Li could solve the ${}^{6}$Li problem. While, the over-productions of d and t could conflict with observations, and the relevant parameter space of the stau is strictly constrained. We therefore need to carefully investigate the stau-${}^{4}$He bound state to find a condition of solving the ${}^{6}$Li problem. The scenario of the long-lived stau simultaneously and successfully fit the abundances of light elements (d, t, ${}^{3}$He, ${}^{4}$He, ${}^{6}$Li, and ${}^{7}$Li) and the neutralino dark matter to the observed ones. Consequently parameter space both of the stau and the neutralino is determined with excellent accuracy.


title: Signatures of topological quantum phase transitions in driven and dissipative qubit-arrays

abstract: We study photonic signatures of symmetry broken and topological phases in a driven, dissipative circuit QED realization of spin-1/2 chains. Specifically, we consider the transverse-field XY model and a dual model with 3-spin interactions. The former has a ferromagnetic and a paramagnetic phase, while the latter features, in addition, a symmetry protected topological phase. Using the method of third quantization, we calculate the non-equilibrium steady-state of the open spin chains for arbitrary system sizes and temperatures. We find that the bi-local correlation function of the spins at both ends of the chain provides a sensitive measure for both symmetry-breaking and topological phase transitions of the systems, but no universal means to distinguish between the two types of transitions. Both models have equivalent representations in terms of free Majorana fermions, which host zero, one and two topological Majorana end modes in the paramagnetic, ferromagnetic, and symmetry protected topological phases, respectively. The correlation function we study retains its bi-local character in the fermionic representation, so that our results are equally applicable to the fermionic models in their own right. We propose a photonic realization of the dissipative transverse-field XY model in a tunable setup, where an array of superconducting transmon qubits is coupled at both ends to a photonic microwave circuit.


title: Finiteness theorems for commuting and semiconjugate rational functions

abstract: Let $B$ be a fixed rational function of one complex variable of degree at least two. In this paper, we study solutions of the functional equation $A\circ X=X\circ B$ in rational functions $A$ and $X$. Our main result states that, unless $B$ is a Latt\`es map or is conjugate to $z^{\pm d}$ or $\pm T_d$, the set of solutions is finite, up to some natural transformations. In more detail, we show that there exist finitely many rational functions $A_1, A_2,\dots, A_r$ and $X_1, X_2,\dots, X_r$ such that the equality $A\circ X=X\circ B$ holds if and only if there exists a M\"obius transformation $\mu$ such that $A=\mu \circ A_j\circ \mu^{-1}$ and $X=\mu \circ X_j\circ B^{\circ k}$ for some $j,$ $1\leq j \leq r,$ and $k\geq 1$. We also show that the number $r$ and the degrees $\deg X_j,$ $1\leq j \leq r,$ can be bounded from above in terms of the degree of $B$ only. As an application, we prove an effective version of the classical theorem of Ritt about commuting rational functions.


title: Abstract Graph Machine

abstract: An Abstract Graph Machine(AGM) is an abstract model for distributed memory parallel stabilizing graph algorithms. A stabilizing algorithm starts from a particular initial state and goes through series of different state changes until it converges. The AGM adds work dependency to the stabilizing algorithm. The work is processed within the processing function. All processes in the system execute the same processing function. Before feeding work into the processing function, work is ordered using a strict weak ordering relation. The strict weak ordering relation divides work into equivalence classes, hence work within a single equivalence class can be processed in parallel, but work in different equivalence classes must be executed in the order they appear in equivalence classes. The paper presents the AGM model, semantics and AGM models for several existing distributed memory parallel graph algorithms.


title: Detecting Exomoons Around Self-luminous Giant Exoplanets Through Polarization

abstract: Many of the directly imaged self-luminous gas giant exoplanets have been found to have cloudy atmospheres. Scattering of the emergent thermal radiation from these planets by the dust grains in their atmospheres should locally give rise to significant linear polarization of the emitted radiation. However, the observable disk averaged polarization should be zero if the planet is spherically symmetric. Rotation-induced oblateness may yield a net non-zero disk averaged polarization if the planets have sufficiently high spin rotation velocity. On the other hand, when a large natural satellite or exomoon transits a planet with cloudy atmosphere along the line of sight, the asymmetry induced during the transit should give rise to a net non-zero, time resolved linear polarization signal. The peak amplitude of such time dependent polarization may be detectable even for slowly rotating exoplanets. Therefore, we suggest that large exomoons around directly imaged self-luminous exoplanets may be detectable through time resolved imaging polarimetry. Adopting detailed atmospheric models for several values of effective temperature and surface gravity which are appropriate for self-luminous exoplanets, we present the polarization profiles of these objects in the infrared during transit phase and estimate the peak amplitude of polarization that occurs during the inner contacts of the transit ingress/egress phase. The peak polarization is predicted to range between 0.1 and 0.3 % in the infrared.


title: A Classification Algorithm for Complex Singularities of Corank and Modality up to Two

abstract: In (Arnold, 1985), V.I. Arnold has obtained normal forms and has developed a classifier for, in particular, all isolated hypersurface singularities over the complex numbers up to modality 2. Building on a series of 105 theorems, this classifier determines the type of the given singularity. However, for positive modality, this does not fix the right equivalence class of the singularity, since the values of the moduli parameters are not specified. In this paper, we present a simple classification algorithm for isolated hypersurface singularities of corank and modality up to two. For a singularity given by a polynomial over the rationals, the algorithm determines its right equivalence class by specifying a polynomial representative in Arnold's list of normal forms.