title: Light Attenuation Length of High Quality Linear Alkyl Benzene as Liquid Scintillator Solvent for the JUNO Experiment

abstract: The Jiangmen Underground Neutrino Observatory (JUNO) is a multipurpose neutrino experiment with a 20 kt liquid scintillator detector designed to determine the neutrino mass hierarchy, and measure the neutrino oscillation parameters. Linear alkyl benzene (LAB) will be used as the solvent for the liquid scintillation system in the central detector of JUNO. For this purpose, we have prepared LAB samples, and have measured their light attenuation lengths, with one achieving a length of 25.8 m, comparable to the diameter of the JUNO detector.


title: New Generalized Fixed Point Results on $S_{b}$-Metric Spaces

abstract: Recently $S_{b}$-metric spaces have been introduced as the generalizations of metric and $S$-metric spaces. In this paper we investigate some basic properties of this new space. We generalize the classical Banach's contraction principle using the theory of a complete $S_{b}$-metric space. Also we give an application to linear equation systems using the $S_{b}$-metric which is generated by a metric.


title: About the Fricke-Macbeath curve

abstract: A Hurwitz curve is a closed Riemann surface of genus $g \geq 2$ whose group of conformal automorphisms has order $84(g-1)$. In 1895, Wiman proved that for $g=3$ there is, up to isomorphisms, a unique Hurwitz curve; this being Klein's plane quartic curve. Moreover, he also proved that there is no Hurwitz curve of genus $g=2,4,5,6$. Later, in 1965, Macbeath proved the existence, up to isomorphisms, of a unique Hurwitz curve of genus $g=7$; this known as the Fricke-Macbeath curve. Equations were also provided; that being the fiber product of suitable three elliptic curves. In the same year, Edge constructed such a genus seven Hurwitz curve by elementary projective geometry. Such a construction was provided by first constructing a $4$-dimensional family of closed Riemann surfaces $S_{\mu}$ admitting a group $G_{\mu} \cong {\mathbb Z}_{2}^{3}$ of conformal automorphisms so that $S_{\mu}/G_{\mu}$ has genus zero. In this paper we discuss the above curves in terms of fiber products of classical Fermat curves and we provide a geometrical explanation of the three elliptic curves in Wiman's description. We also observe that the jacobian variety of the surface $S_{\mu}$ is isogenous to the product of seven elliptic curves (explicitly given) and, for the particular Fricke-Macbeath curve, we obtain the well known fact that its jacobian variety is isogenous to $E^{7}$ for a suitable elliptic curve $E$.


title: Controlling topological superconductivity by magnetization dynamics

abstract: We study theoretically a chain of precessing classical magnetic impurities in an $s$-wave superconductor. Utilizing a rotating wave description, we derive an effective Hamiltonian that describes the emergent Shiba band. We find that this Hamiltonian shows non-trivial topological properties, and we obtain the corresponding topological phase diagrams both numerically and analytically. We show that changing the precession frequency offers a control over topological phase transitions and the emergence of Majorana bound states. We propose driving the magnetic impurities or magnetic texture into precession by means of spin-transfer torque in a spin-Hall setup, and manipulate it using spin superfluidity in the case of planar magnetic order.


title: Theoretical derivation of laser-dressed atomic states by using a fractal space

abstract: The derivation of approximate wave functions for an electron submitted to both a coulomb and a time-dependent laser electric fields, the so-called Coulomb-Volkov (CV) state, is addressed. Despite its derivation for continuum states does not exhibit any particular problem within the framework of the standard theory of quantum mechanics (QM), difficulties arise when considering an initially bound atomic state. Indeed the natural way of translating the unperturbed momentum by the laser vector potential is no longer possible since a bound state does not exhibit a plane wave form including explicitely a momentum. The use of a fractal space permits to naturally define a momentum for a bound wave function. Within this framework, it is shown how the derivation of laser-dressed bound states can be performed. Based on a generalized eikonal approach, a new expression for the laser-dressed states is also derived, fully symmetric relative to the continuum or bound nature of the initial unperturbed wave function. It includes an additional crossed term in the Volkov phase which was not obtained within the standard theory of quantum mechanics. The derivations within this fractal framework have highlighted other possible ways to derive approximate laser-dressed states in QM. After comparing the various obtained wave functions, an application to the prediction of the ionization probability of hydrogen targets by attosecond XUV pulses within the sudden approximation is provided. This approach allows to make predictions in various regimes depending on the laser intensity, going from the non-resonant multiphoton absorption to tunneling and barrier-suppression ionization.


title: Computational Eco-Systems for Handwritten Digits Recognition

abstract: Inspired by the importance of diversity in biological system, we built an heterogeneous system that could achieve this goal. Our architecture could be summarized in two basic steps. First, we generate a diverse set of classification hypothesis using both Convolutional Neural Networks, currently the state-of-the-art technique for this task, among with other traditional and innovative machine learning techniques. Then, we optimally combine them through Meta-Nets, a family of recently developed and performing ensemble methods.


title: Robust Cooperative Relay Beamforming

abstract: In this paper, the robust distributed relay beamforming problem is solved using the worst case approach, where the problem solution has been involved because of the effect of uncertainty of channel knowledge on the quality of service (QoS) constraints. It is shown that the original robust design, which is a non-convex semi-infinite problem (SIP), can be relaxed and reformed to a semi-definite problem (SDP). Monte-Carlo simulations are presented to verify the performance improvement of our proposed robust problem over existing robust and non-robust problems in terms of transmit power and symbol error probability.


title: Distinguishing number and distinguishing index of strong product of two graphs

abstract: The distinguishing number (index) $D(G)$ ($D'(G)$) of a graph $G$ is the least integer $d$ such that $G$ has an vertex labeling (edge labeling) with $d$ labels that is preserved only by a trivial automorphism. The strong product $G\boxtimes H$ of two graphs $G$ and $H$ is the graph with vertex set $V (G)\times V (H)$ and edge set $\{\{(x_1, x_2), (y_1, y_2)\} | x_iy_i \in E(G_i) ~{\rm or}~ x_i = y_i ~{\rm for~ each}~ 1 \leq i \leq 2.\}$. In this paper we study the distinguishing number and the distinguishing index of strong product of two graphs. We prove that for every $k \geq 2$, the $k$-th strong power of a connected $S$-thin graph $G$ has distinguishing index equal 2.


title: The JEM-EUSO program

abstract: JEM-EUSO is an international collaboration for the development of space--based Ultra High Energy Cosmic Ray (UHECR) detectors. The instrument consists of a wide Field Of View (FOV) camera for the detection of the UV light emitted by Extensive Air Showers (EAS) in the atmosphere. Within the JEM-EUSO framework several pathfinders have been developed or are in course of development: EUSO-TA, EUSO-Balloon, EUSO-SPB and Mini-EUSO. For the near future the K-EUSO detector is foreseen to detect cosmic rays from space. In this paper we present the JEM-EUSO project and give an overview of the pathfinders and of their results.


title: Detecting spin fractionalization in a spinon Fermi surface spin liquid

abstract: Motivated by the recent proposal of the spinon Fermi surface spin liquids for several candidate materials such as YbMgGaO4, we explore the experimental consequences of the external magnetic fields on this exotic state. Specifically, we focus on the weak field regime where the spin liquid state is well preserved and the spinon remain to be a good description of the magnetic excitations. From the spin-1/2 nature of the spinon excitation, we predict the unique features of the spinon continuum when the weak magnetic field is applied to the system. Due to the small energy scale of the exchange interactions between the local moments in the spin liquid candidate like YbMgGaO4, our proposal for the spectral weight shifts and spectral crossing in the magnetic fields can be immediately tested by inelastic neutron scattering experiments. Several other experimental aspects about the spinon Fermi surface and the spinon excitations are discussed and proposed. Our work provides an experimental scheme to examine the fractionalized spinon excitation and the candidate spin liquid states in YbMgGaO4, the 6H-B phase of Ba3NiSb2O9 and other relevant materials.


title: The first result on 76Ge neutrinoless double beta decay from CDEX-1 experiment

abstract: We report the first result on Ge-76 neutrinoless double beta decay from CDEX-1 experiment at China Jinping Underground Laboratory. A mass of 994 g p-type point-contact high purity germanium detector has been installed to search the neutrinoless double beta decay events, as well as to directly detect dark matter particles. An exposure of 304 kg*day has been analyzed. The wideband spectrum from 500 keV to 3 MeV was obtained and the average event rate at the 2.039 MeV energy range is about 0.012 count per keV per kg per day. The half-life of Ge-76 neutrinoless double beta decay has been derived based on this result as: T 1/2 > 6.4*10^22 yr (90% C.L.). An upper limit on the effective Majorana-neutrino mass of 5.0 eV has been achieved. The possible methods to further decrease the background level have been discussed and will be pursued in the next stage of CDEX experiment.


title: Functional Dynamical Structures in Complex Systems: an Information-Theoretic Approach

abstract: Understanding the dynamical behavior of complex systems is of exceptional relevance in everyday life, from biology to economy. In order to describe the dynamical organization of complex systems, existing methods require the knowledge of the network topology. By contrast, in this thesis we develop a new method based on Information Theory which does not require any topological knowledge. We introduce the Dynamical Cluster Index to detect those groups of system elements which have strong mutual interactions, named as Relevant Subsets. Among them, we identify those which exchange most information with the rest of the system, thus being the most influential for its dynamics. In order to detect such Functional Dynamical Structures, we introduce another information theoretic measure, called D-index. The experimental results make us confident that our method can be effectively used to study both artificial and natural complex systems.


title: Damping dependence of spin-torque effects in thermally assisted magnetization reversal

abstract: Thermal fluctuations of nanomagnets driven by spin-polarized currents are treated via the Landau-Lifshitz-Gilbert equation as generalized to include both the random thermal noise field and Slonczewski spin-transfer torque terms. The magnetization reversal time of such a nanomagnet is then evaluated for wide ranges of damping by using a method which generalizes the solution of the so-called Kramers turnover problem for mechanical Brownian particles, thereby bridging the very low damping and intermediate damping Kramers escape rates, to the analogous magnetic turnover problem. The reversal time is then evaluated for a nanomagnet with the free energy density given in the standard form of superimposed easy-plane and in-plane easy-axis anisotropies with the dc bias field along the easy axis.


title: A Physarum-inspired model for the probit-based stochastic user equilibrium problem

abstract: Stochastic user equilibrium is an important issue in the traffic assignment problems, tradition models for the stochastic user equilibrium problem are designed as mathematical programming problems. In this article, a Physarum-inspired model for the probit-based stochastic user equilibrium problem is proposed. There are two main contributions of our work. On the one hand, the origin Physarum model is modified to find the shortest path in traffic direction networks with the properties of two-way traffic characteristic. On the other hand, the modified Physarum-inspired model could get the equilibrium flows when traveller's perceived transportation cost complies with normal distribution. The proposed method is constituted with a two-step procedure. First, the modified Physarum model is applied to get the auxiliary flows. Second, the auxiliary flows are averaged to obtain the equilibrium flows. Numerical examples are conducted to illustrate the performance of the proposed method, which is compared with the Method of Successive Average method.


title: Inclusive semi-leptonic B meson decay structure functions from lattice QCD

abstract: We propose a method to non-perturbatively calculate the forward-scattering matrix elements relevant to inclusive semi-leptonic B meson decays. Corresponding hadronic structure functions at unphysical kinematics are accessible through lattice QCD calculation of four-point correlation functions. The unphysical kinematical point may be reached by analytic continuation from the physical differential decay rate. A numerical test is performed for the B_s -> X_c l nu mode in the zero-recoil limit. We use lattice ensembles generated with 2+1 dynamical quark flavors. The valence charm quark mass is tuned to its physical value, while the bottom quark mass is varied in the range (1.56-2.44)m_c. From the numerical results we can identify the contributions of the ground state D_s^(*) meson as well as those of excited states or continuum states.


title: Momentum Control of Humanoid Robots with Series Elastic Actuators

abstract: Humanoid robots may require a degree of compliance at the joint level for improving efficiency, shock tolerance, and safe interaction with humans. The presence of joint elasticity, however, complexifies the design of balancing and walking controllers. This paper proposes a control framework for extending momentum based controllers developed for stiff actuators to the case of series elastic actuators. The key point is to consider the motor velocities as an intermediate control input, and then apply high-gain control to stabilise the desired motor velocities achieving momentum control. Simulations carried out on a model of the robot iCub verify the soundness of the proposed approach.


title: Deep Head Pose Estimation from Depth Data for In-car Automotive Applications

abstract: Recently, deep learning approaches have achieved promising results in various fields of computer vision. In this paper, we tackle the problem of head pose estimation through a Convolutional Neural Network (CNN). Differently from other proposals in the literature, the described system is able to work directly and based only on raw depth data. Moreover, the head pose estimation is solved as a regression problem and does not rely on visual facial features like facial landmarks. We tested our system on a well known public dataset, Biwi Kinect Head Pose, showing that our approach achieves state-of-art results and is able to meet real time performance requirements.


title: Scalar and vector Galileons

abstract: An alternative for the construction of fundamental theories is the introduction of Galileons. These are fields whose action leads to non higher than second-order equations of motion. As this is a necessary but not sufficient condition to make the Hamiltonian bounded from below, as long as the action is not degenerate, the Galileon construction is a way to avoid pathologies both at the classical and quantum levels. Galileon actions are, therefore, of great interest in many branches of physics, specially in high energy physics and cosmology. This proceedings contribution presents the generalities of the construction of both scalar and vector Galileons following two different but complimentary routes.


title: Evolution of Galactic Outflows at $z\sim0$-$2$ Revealed with SDSS, DEEP2, and Keck spectra

abstract: We conduct a systematic study of galactic outflows in star-forming galaxies at $z\sim0$-$2$ based on the absorption lines of optical spectra taken from SDSS DR7, DEEP2 DR4, and Keck Erb et al. We carefully make stacked spectra of homogeneous galaxy samples with similar stellar mass distributions at $z\sim0$-$2$, and perform the multi-component fitting of model absorption lines and stellar continua to the stacked spectra. We obtain the maximum ($v_\rm{max}$) and central ($v_\rm{out}$) outflow velocities, and estimate the mass loading factors ($\eta$), a ratio of the mass outflow rate to the star formation rate (SFR). Investigating the redshift evolution of the outflow velocities measured with the absorption lines whose depths and ionization energies are similar (Na I D and Mg I at $z\sim0$-$1$; Mg II and C II at $z\sim1$-$2$), we identify, for the first time, that the average value of $v_\rm{max}$ ($v_\rm{out}$) significantly increases by 0.05-0.3 dex from $z\sim0$ to $2$ at a given SFR. Moreover, we find that the value of $\eta$ increases from $z\sim0$ to $2$ by $\eta \propto (1 + z)^{1.2\pm0.3}$ at a given halo circular velocity $v_\rm{cir}$ , albeit with a potential systematics caused by model parameter choices. The redshift evolution of $v_\rm{max}$ ($v_\rm{out}$) and $\eta$ is consistent with the galaxy-size evolution and the local velocity-SFR surface density relation, and explained by high-gas fractions in high-redshift massive galaxies, which is supported by recent radio observations. We obtain a scaling relation of $\eta \propto v_\rm{cir}^a$ for $a = -0.2 \pm 1.1$ in our $z\sim0$ galaxies that agrees with the momentum-driven outflow model ($a = -1$) within the uncertainty.


title: On Von Schelling Formula for the Generalized Coupon Collector Problem

abstract: This paper gives an algebraic proof of the correctness of Von Schelling formula for the probability of the coupon collector problem waiting time for non-uniform distributions and partial collections. It introduces a theorem on sums of powers of subset probabilities which to our knowledge is new. A set of binomial coefficients is used as a basis for decomposition of these sums of powers.


title: Co-evolutionary multi-task learning for dynamic time series prediction

abstract: Time series prediction typically consists of a data reconstruction phase where the time series is broken into overlapping windows known as the timespan. The size of the timespan can be seen as a way of determining the extent of past information required for an effective prediction. In certain applications such as the prediction of wind-intensity of storms and cyclones, prediction models need to be dynamic in accommodating different values of the timespan. These applications require robust prediction as soon as the event takes place. We identify a new category of problem called dynamic time series prediction that requires a model to give prediction when presented with varying lengths of the timespan. In this paper, we propose a co-evolutionary multi-task learning method that provides a synergy between multi-task learning and co-evolutionary algorithms to address dynamic time series prediction. The method features effective use of building blocks of knowledge inspired by dynamic programming and multi-task learning. It enables neural networks to retain modularity during training for making a decision in situations even when certain inputs are missing. The effectiveness of the method is demonstrated using one-step-ahead chaotic time series and tropical cyclone wind-intensity prediction.


title: A Multitask Diffusion Strategy with Optimized Inter-Cluster Cooperation

abstract: We consider a multitask estimation problem where nodes in a network are divided into several connected clusters, with each cluster performing a least-mean-squares estimation of a different random parameter vector. Inspired by the adapt-then-combine diffusion strategy, we propose a multitask diffusion strategy whose mean stability can be ensured whenever individual nodes are stable in the mean, regardless of the inter-cluster cooperation weights. In addition, the proposed strategy is able to achieve an asymptotically unbiased estimation, when the parameters have same mean. We also develop an inter-cluster cooperation weights selection scheme that allows each node in the network to locally optimize its inter-cluster cooperation weights. Numerical results demonstrate that our approach leads to a lower average steady-state network mean-square deviation, compared with using weights selected by various other commonly adopted methods in the literature.


title: Hybrid entanglement caused by depletion of pump on output of spontaneous parametric down converter

abstract: We consider novel method for implementation of hybrid entanglement between microscopic and macroscopic states on output of spontaneous parametric down converter through the depletion of the pump wave. The generated signal, idler and pumping fields show weak entanglement. We characterize it and show the limits of applicability of the depleted pump regime. Testing method of the hybrid entanglement is proposed. The hybrid entanglement is tested by conditional generation of maximally entangled states of two qubits and qutrits regardless of its smallness. Possibilities to enhance the hybrid entanglement and, as consequence, success probabilities of the conditional generation are considered. The optical scheme is realizable in practice and can do without photon number resolving detection.


title: Covariants, Invariant Subsets, and First Integrals

abstract: Let $k$ be an algebraically closed field of characteristic 0, and let $V$ be a finite-dimensional vector space. Let $End(V)$ be the semigroup of all polynomial endomorphisms of $V$. Let $E$ be a subset of $End(V)$ which is a linear subspace and also a semi-subgroup. Both $End(V)$ and $E$ are ind-varieties which act on $V$ in the obvious way. In this paper, we study important aspects of such actions. We assign to $E$ a linear subspace $D_{E}$ of the vector fields on $V$. A subvariety $X$ of $V$ is said to $D_{E}$ -invariant if $h(x)$ is in the tangent space of $x$ for all $h$ in $D_{E}$ and $x$ in $X$. We show that $X$ is $D_{E}$ -invariant if and only if it is the union of $E$-orbits. For such $X$, we define first integrals and construct a quotient space for the $E$-action. An important case occurs when $G$ is an algebraic subgroup of $GL(V$) and $E$ consists of the $G$-equivariant polynomial endomorphisms. In this case, the associated $D_{E}$ is the space the $G$-invariant vector fields. A significant question here is whether there are non-constant $G$-invariant first integrals on $X$. As examples, we study the adjoint representation, orbit closures of highest weight vectors, and representations of the additive group. We also look at finite-dimensional irreducible representations of SL2 and its nullcone.


title: Coarse embeddings into $c_0(\Gamma)$

abstract: Let $\lambda$ be a large enough cardinal number (assuming GCH it suffices to let $\lambda=\aleph_\omega$). If $X$ is a Banach space with $\text{dens}(X)\ge\lambda$, which admits a coarse (or uniform) embedding into any $c_0(\Gamma)$, then $X$ fails to have nontrivial cotype, i.e. $X$ contains $\ell_\infty^n$ $C$-uniformly for every $C>1$. In the special case when $X$ has a symmetric basis, we may even conclude that it is linearly isomorphic with $c_0(\text{dens}X)$.


title: The role of correlations in the collective behaviour of microswimmer suspensions

abstract: In this Letter, we study the collective behaviour of a large number of self-propelled microswimmers immersed in a fluid. Using unprecedently large-scale lattice Boltzmann simulations, we reproduce the transition to bacterial turbulence. We show that, even well below the transition, swimmers move in a correlated fashion that cannot be described by a mean-field approach. We develop a novel kinetic theory that captures these correlations and is non-perturbative in the swimmer density. To provide an experimentally accessible measure of correlations, we calculate the diffusivity of passive tracers and reveal its non-trivial density dependence. The theory is in quantitative agreement with the lattice Boltzmann simulations and captures the asymmetry between pusher and puller swimmers below the transition to turbulence.

categories: cond-mat.soft cond-mat.stat-mech physics.bio-ph physics.flu-dyn


title: Approximate Muscle Guided Beam Search for Three-Index Assignment Problem

abstract: As a well-known NP-hard problem, the Three-Index Assignment Problem (AP3) has attracted lots of research efforts for developing heuristics. However, existing heuristics either obtain less competitive solutions or consume too much time. In this paper, a new heuristic named Approximate Muscle guided Beam Search (AMBS) is developed to achieve a good trade-off between solution quality and running time. By combining the approximate muscle with beam search, the solution space size can be significantly decreased, thus the time for searching the solution can be sharply reduced. Extensive experimental results on the benchmark indicate that the new algorithm is able to obtain solutions with competitive quality and it can be employed on instances with largescale. Work of this paper not only proposes a new efficient heuristic, but also provides a promising method to improve the efficiency of beam search.


title: The metal-insulator transition in the organic conductor $\beta^{\prime\prime}$-(BEDT-TTF)$_{2}$Hg(SCN)$_{2}$Cl

abstract: We explore the nature of the metal-insulator transition in $\beta^{\prime\prime}$-(BEDT-TTF)$_{2}$Hg(SCN)$_{2}$Cl by x-ray, electrical transport, ESR, Raman and infrared investigations. Magnetic and vibrational spectroscopy concurrently reveal a gradual dimerization along the stacking direction $a$, setting in already at the crossover temperature of 150K from the metallic to the insulating state. A spin gap $\Delta_\sigma = 47$meV is extracted. From the activated resistivity behavior below 55K a charge gap $\Delta_\rho=60$meV is derived. At $T_{\rm CO} = 72$K the C=C vibrational modes reveal the development of a charge-ordered state with a charge disproportionation of $2\delta_{\rho}=0.34e$


title: Gas sloshing in Abell 2204: Constraining the properties of the magnetized intracluster medium

abstract: The rich galaxy cluster Abell 2204 exhibits edges in its X-ray surface brightness at $\sim 65$ and $35 {\rm~ kpc}$ west and east of its center, respectively. The presence of these edges, which were interpreted as sloshing cold fronts, implies that the intracluster medium was recently disturbed. We analyze the properties of the intracluster medium using multiple Chandra observations of Abell 2204. We find a density ratio $n_{\rm in}/n_{\rm out} = 2.05\pm0.05$ and a temperature ratio $T_{\rm out}/T_{\rm in} = 1.91\pm0.27$ (projected, or $1.87\pm0.56$ deprojected) across the western edge, and correspondingly $n_{\rm in}/n_{\rm out} = 1.96\pm0.05$ and $T_{\rm out}/T_{\rm in} =1.45\pm0.15$ (projected, or $1.25\pm0.26$ deprojected) across the eastern edge. These values are typical of cold fronts in galaxy clusters. This, together with the spiral pattern observed in the cluster core, supports the sloshing scenario for Abell 2204. No Kelvin-Helmholtz eddies are observed along the cold front surfaces, indicating that they are effectively suppressed by some physical mechanism. We argue that the suppression is likely facilitated by the magnetic fields amplified in the sloshing motion, and deduce from the measured gas properties that the magnetic field strength should be greater than $24\pm6$ $\mu$G and $32\pm8$ $\mu$G along the west and east cold fronts, respectively.


title: Mutation supply and the repeatability of selection for antibiotic resistance

abstract: Whether evolution can be predicted is a key question in evolutionary biology. Here we set out to better understand the repeatability of evolution. We explored experimentally the effect of mutation supply and the strength of selective pressure on the repeatability of selection from standing genetic variation. Different sizes of mutant libraries of an antibiotic resistance gene, TEM-1 $\beta$-lactamase in Escherichia coli, were subjected to different antibiotic concentrations. We determined whether populations went extinct or survived, and sequenced the TEM gene of the surviving populations. The distribution of mutations per allele in our mutant libraries- generated by error-prone PCR- followed a Poisson distribution. Extinction patterns could be explained by a simple stochastic model that assumed the sampling of beneficial mutations was key for survival. In most surviving populations, alleles containing at least one known large-effect beneficial mutation were present. These genotype data also support a model which only invokes sampling effects to describe the occurrence of alleles containing large-effect driver mutations. Hence, evolution is largely predictable given cursory knowledge of mutational fitness effects, the mutation rate and population size. There were no clear trends in the repeatability of selected mutants when we considered all mutations present. However, when only known large-effect mutations were considered, the outcome of selection is less repeatable for large libraries, in contrast to expectations. Furthermore, we show experimentally that alleles carrying multiple mutations selected from large libraries confer higher resistance levels relative to alleles with only a known large-effect mutation, suggesting that the scarcity of high-resistance alleles carrying multiple mutations may contribute to the decrease in repeatability at large library sizes.


title: Software Engineers' Information Seeking Behavior in Change Impact Analysis - An Interview Study

abstract: Software engineers working in large projects must navigate complex information landscapes. Change Impact Analysis (CIA) is a task that relies on engineers' successful information seeking in databases storing, e.g., source code, requirements, design descriptions, and test case specifications. Several previous approaches to support information seeking are task-specific, thus understanding engineers' seeking behavior in specific tasks is fundamental. We present an industrial case study on how engineers seek information in CIA, with a particular focus on traceability and development artifacts that are not source code. We show that engineers have different information seeking behavior, and that some do not consider traceability particularly useful when conducting CIA. Furthermore, we observe a tendency for engineers to prefer less rigid types of support rather than formal approaches, i.e., engineers value support that allows flexibility in how to practically conduct CIA. Finally, due to diverse information seeking behavior, we argue that future CIA support should embrace individual preferences to identify change impact by empowering several seeking alternatives, including searching, browsing, and tracing.


title: Generative and Discriminative Text Classification with Recurrent Neural Networks

abstract: We empirically characterize the performance of discriminative and generative LSTM models for text classification. We find that although RNN-based generative models are more powerful than their bag-of-words ancestors (e.g., they account for conditional dependencies across words in a document), they have higher asymptotic error rates than discriminatively trained RNN models. However we also find that generative models approach their asymptotic error rate more rapidly than their discriminative counterparts---the same pattern that Ng & Jordan (2001) proved holds for linear classification models that make more naive conditional independence assumptions. Building on this finding, we hypothesize that RNN-based generative classification models will be more robust to shifts in the data distribution. This hypothesis is confirmed in a series of experiments in zero-shot and continual learning settings that show that generative models substantially outperform discriminative models.


title: Einstein-Scalar Field System with a cosmological constant on the type I Bianchi space-time

abstract: In many cases a scalar field can lead to accelerated expansion in cosmological models. This paper contains mathematical results on this subject particularly on type I Bianchi space-time. In this paper, global existence to the coupled Einstein-scalar field system which rules the dynamics of a kind of pure matter in the presence of a scalar field and cosmological constant is proven.


title: Network-based Distance Metric with Application to Discover Disease Subtypes in Cancer

abstract: While we once thought of cancer as single monolithic diseases affecting a specific organ site, we now understand that there are many subtypes of cancer defined by unique patterns of gene mutations. These gene mutational data, which can be more reliably obtained than gene expression data, help to determine how the subtypes develop, evolve, and respond to therapies. Different from dense continuous-value gene expression data, which most existing cancer subtype discovery algorithms use, somatic mutational data are extremely sparse and heterogeneous, because there are less than 0.5\% mutated genes in discrete value 1/0 out of 20,000 human protein-coding genes, and identical mutated genes are rarely shared by cancer patients. Our focus is to search for cancer subtypes from extremely sparse and high dimensional gene mutational data in discrete 1 and 0 values using unsupervised learning. We propose a new network-based distance metric. We project cancer patients' mutational profile into their gene network structure and measure the distance between two patients using the similarity between genes and between the gene vertexes of the patients in the network. Experimental results in synthetic data and real-world data show that our approach outperforms the top competitors in cancer subtype discovery. Furthermore, our approach can identify cancer subtypes that cannot be detected by other clustering algorithms in real cancer data.


title: Ground states and energy asymptotics of the nonlinear Schr\"{o}dinger equation

abstract: We study analytically the existence and uniqueness of the ground state of the nonlinear Schr\"{o}dinger equation (NLSE) with a general power nonlinearity described by the power index $\sigma\ge0$. For the NLSE under a box or a harmonic potential, we can derive explicitly the approximations of the ground states and their corresponding energy and chemical potential in weak or strong interaction regimes with a fixed nonlinearity $\sigma$. Besides, we study the case where the nonlinearity $\sigma\to\infty$ with a fixed interaction strength. In particular, a bifurcation in the ground states is observed. Numerical results in 1D and 2D will be reported to support our asymptotic results.


title: Correlation of AOT with Relative Frequency of Air Showers with energy 10^{15} - 10^{16} eV by Yakutsk Data

abstract: Long-term series of measurement of spectral transparency of the atmosphere (\lambda = 430 nm) and atmospheric optical thickness (AOT) measured by multimode photometer CE 318 in the region of Yakutsk array are analyzed. Correlation of AOT with intensity of air showers with small energies 10^{15} - 10^{16} eV is found. The variability of aerosol composition of the atmosphere during the registration period of the Cherenkov light should be taken into account since it may affect the quality of determining characteristics of air showers.


title: Generalization of Special Functions and its Applications to Multiplicative and Ordinary Fractional Derivatives

abstract: The goal of this paper is to extend the classical and multiplicative fractional derivatives. For this purpose, it is introduced the new extended modified Bessel function and also given an important relation between this new function I(v,q;x) and the confluent hypergeometric function. Besides, it is used to generalize the hypergeometric, the confluent hypergeometric and the extended beta functions by using the new extended modified Bessel function. Also, the asymptotic formulae and the generating function of the extended modified Bessel function are obtained. The extensions of classical and multiplicative fractional derivatives are defined via extended modified Bessel function and, first time the fractional derivative of rational functions is explicitly given via complex partial fraction decomposition.


title: A recurrence relation for the odd order moments of the Fabius function

abstract: A simple recurrence relation for the even order moments of the Fabius function is proven. Also, a very similar formula for the odd order moments in terms of the even order moments is proved. The matrices corresponding to these formulas (and their inverses) are multiplied so as to obtain a matrix that correspond to a recurrence relation for the odd order moments in terms of themselves. The theorem at the end gives a closed-form for the coefficients.


title: A randomized, efficient algorithm for 3SAT

abstract: In this paper I present a 3SAT algorithm based on the randomized algorithm of Papadimitriou from 1991, and Schoning from 1991. We also present strong arguments that this algorithm finds a solution (if it exists) for a 3SAT problem with high probability in polynomial time.


title: On two $(p,q)$-analogues of the Laplace transform

abstract: Two $(p,q)$-Laplace transforms are introduced and their relative properties are stated and proved. Applications are made to solve some $(p,q)$-linear difference equations.


title: Evaluation of some non-elementary integrals involving sine, cosine, exponential and logarithmic integrals: Part I

abstract: The non-elementary integrals $\text{Si}_{\beta,\alpha}=\int [\sin{(\lambda x^\beta)}/(\lambda x^\alpha)] dx,\beta\ge1,\alpha\le\beta+1$ and $\text{Ci}_{\beta,\alpha}=\int [\cos{(\lambda x^\beta)}/(\lambda x^\alpha)] dx, \beta\ge1, \alpha\le2\beta+1$, where $\{\beta,\alpha\}\in\mathbb{R}$, are evaluated in terms of the hypergeometric functions $_{1}F_2$ and $_{2}F_3$, and their asymptotic expressions for $|x|\gg1$ are also derived. The integrals of the form $\int [\sin^n{(\lambda x^\beta)}/(\lambda x^\alpha)] dx$ and $\int [\cos^n{(\lambda x^\beta)}/(\lambda x^\alpha)] dx$, where $n$ is a positive integer, are expressed in terms $\text{Si}_{\beta,\alpha}$ and $\text{Ci}_{\beta,\alpha}$, and then evaluated. $\text{Si}_{\beta,\alpha}$ and $\text{Ci}_{\beta,\alpha}$ are also evaluated in terms of the hypergeometric function $_{2}F_2$. And so, the hypergeometric functions, $_{1}F_2$ and $_{2}F_3$, are expressed in terms of $_{2}F_2$.The exponential integral $\text{Ei}_{\beta,\alpha}=\int (e^{\lambda x^\beta}/x^\alpha) dx$ where $\beta\ge1$ and $\alpha\le\beta+1$ and the logarithmic integral $\text{Li}=\int_{\mu}^{x} dt/\ln{t}, \mu>1$ are also expressed in terms of $_{2}F_2$, and their asymptotic expressions are investigated. It is found that for $x\gg\mu$, $\text{Li}\sim {x}/{\ln{x}}+\ln{\left(\frac{\ln{x}}{\ln{\mu}}\right)}-2-\ln{\mu}\hspace{.075cm} _{2}F_{2}(1,1;2,2;\ln{\mu})$, where the term $\ln{\left(\frac{\ln{x}}{\ln{\mu}}\right)}-2-\ln{\mu}\hspace{.075cm} _{2}F_{2}(1,1;2,2;\ln{\mu})$ is added to the known expression in mathematical literature $\text{Li}\sim {x}/{\ln{x}}$.


title: A proposal for ethically traceable artificial intelligence

abstract: Although the problem of a critique of robotic behavior in near-unanimous agreement to human norms seems intractable, a starting point of such an ambition is a framework of the collection of knowledge a priori and experience a posteriori categorized as a set of synthetical judgments available to the intelligence, translated into computer code. If such a proposal were successful, an algorithm with ethically traceable behavior and cogent equivalence to human cognition is established. This paper will propose the application of Kant's critique of reason to current programming constructs of an autonomous intelligent system.


title: Neuromorphic Hardware In The Loop: Training a Deep Spiking Network on the BrainScaleS Wafer-Scale System

abstract: Emulating spiking neural networks on analog neuromorphic hardware offers several advantages over simulating them on conventional computers, particularly in terms of speed and energy consumption. However, this usually comes at the cost of reduced control over the dynamics of the emulated networks. In this paper, we demonstrate how iterative training of a hardware-emulated network can compensate for anomalies induced by the analog substrate. We first convert a deep neural network trained in software to a spiking network on the BrainScaleS wafer-scale neuromorphic system, thereby enabling an acceleration factor of 10 000 compared to the biological time domain. This mapping is followed by the in-the-loop training, where in each training step, the network activity is first recorded in hardware and then used to compute the parameter updates in software via backpropagation. An essential finding is that the parameter updates do not have to be precise, but only need to approximately follow the correct gradient, which simplifies the computation of updates. Using this approach, after only several tens of iterations, the spiking network shows an accuracy close to the ideal software-emulated prototype. The presented techniques show that deep spiking networks emulated on analog neuromorphic devices can attain good computational performance despite the inherent variations of the analog substrate.


title: DIMSpan - Transactional Frequent Subgraph Mining with Distributed In-Memory Dataflow Systems

abstract: Transactional frequent subgraph mining identifies frequent subgraphs in a collection of graphs. This research problem has wide applicability and increasingly requires higher scalability over single machine solutions to address the needs of Big Data use cases. We introduce DIMSpan, an advanced approach to frequent subgraph mining that utilizes the features provided by distributed in-memory dataflow systems such as Apache Spark or Apache Flink. It determines the complete set of frequent subgraphs from arbitrary string-labeled directed multigraphs as they occur in social, business and knowledge networks. DIMSpan is optimized to runtime and minimal network traffic but memory-aware. An extensive performance evaluation on large graph collections shows the scalability of DIMSpan and the effectiveness of its pruning and optimization techniques.


title: Solvability and microlocal analysis of the fractional Eringen wave equation

abstract: We discuss unique existence and microlocal regularity properties of Sobolev space solutions to the fractional Eringen wave equation, initially given in the form of a system of equations in which the classical non-local Eringen constitutive equation is generalized by employing space-fractional derivatives. Numerical examples illustrate the shape of solutions in dependence of the order of the space-fractional derivative.


title: Fractional calculus and generalized Mittag-Leffler type functions

abstract: In this paper, the generalized fractional integral operators of two generalized Mittag-Leffler type functions are investigated. The special cases of interest involve the generalized Fox--Wright function and the generalized M-series and K-function. In the next Section 2 we first recall some generalized fractional integral operators among the most widely used in fractional calculus. Section 3 is devoted to the definitions of M-series and K-function and their relations to special functions. In Sections 4 and 5, effective fractional calculus of the generalized M-series and the K-function is carried out. The last section briefly concludes and opens up new perspectives. The results established herein generalize recent properties of generalized Mittag-Leffler type functions using left-and right-sided generalized fractional differintegral operators. The note results also in important applications in physics and mathematical engineering.


title: Near-Optimal Closeness Testing of Discrete Histogram Distributions

abstract: We investigate the problem of testing the equivalence between two discrete histograms. A {\em $k$-histogram} over $[n]$ is a probability distribution that is piecewise constant over some set of $k$ intervals over $[n]$. Histograms have been extensively studied in computer science and statistics. Given a set of samples from two $k$-histogram distributions $p, q$ over $[n]$, we want to distinguish (with high probability) between the cases that $p = q$ and $\|p-q\|_1 \geq \epsilon$. The main contribution of this paper is a new algorithm for this testing problem and a nearly matching information-theoretic lower bound. Specifically, the sample complexity of our algorithm matches our lower bound up to a logarithmic factor, improving on previous work by polynomial factors in the relevant parameters. Our algorithmic approach applies in a more general setting and yields improved sample upper bounds for testing closeness of other structured distributions as well.

categories: cs.DS cs.IT cs.LG math.IT math.ST stat.TH


title: Radial and circular synchronization clusters in extended starlike network of van der Pol oscillators

abstract: We consider extended starlike networks where the hub node is coupled with several chains of nodes representing star rays. Assuming that nodes of the network are occupied by nonidentical self-oscillators we study various forms of their cluster synchronization. Radial cluster emerges when the nodes are synchronized along a ray, while circular cluster is formed by nodes without immediate connections but located on identical distances to the hub. By its nature the circular synchronization is a new manifestation of so called remote synchronization [Phys. Rev. E 85 (2012), 026208]. We report its long-range form when the synchronized nodes interact through at least three intermediate nodes. Forms of long-range remote synchronization are elements of scenario of transition to the total synchronization of the network. We observe that the far ends of rays synchronize first. Then more circular clusters appear involving closer to hub nodes. Subsequently the clusters merge and, finally, all network become synchronous. Behavior of the extended starlike networks is found to be strongly determined by the ray length, while varying the number of rays basically affects fine details of a dynamical picture. Symmetry of the star also extensively influences the dynamics. In an asymmetric star circular cluster mainly vanish in favor of radial ones, however, long-range remote synchronization survives.


title: Absolute Ages and Distances of 22 GCs using Monte Carlo Main-Sequence Fitting

abstract: The recent Gaia Data Release 1 of stellar parallaxes provides ample opportunity to find metal-poor main-sequence stars with precise parallaxes. We select 21 such stars with parallax uncertainties better than $\sigma_\pi/\pi\leq0.10$ and accurate abundance determinations suitable for testing metal-poor stellar evolution models and determining the distance to Galactic globular clusters. A Monte Carlo analysis was used, taking into account uncertainties in the model construction parameters, to generate stellar models and isochrones to fit to the calibration stars. The isochrones which fit the calibration stars best were then used to determine the distances and ages of 22 globular clusters with metallicities ranging from -2.4 dex to -0.7 dex. We find distances with an average uncertainty of 0.15 mag and absolute ages ranging from 10.8 - 13.6 Gyr with an average uncertainty of 1.6 Gyr. Using literature proper motion data we calculate orbits for the clusters finding six that reside within the Galactic disk/bulge while the rest are considered halo clusters. We find no strong evidence for a relationship between age and Galactocentric distance, but we do find a decreasing age-[Fe/H] relation.


title: Joint Pilot Sequence Design and Power Control for Max-Min Fairness in Uplink Massive MIMO

abstract: This paper optimizes the pilot assignment and pilot transmit powers to mitigate pilot contamination in Massive MIMO (multiple-input multiple-output) systems. While prior works have treated pilot assignment as a combinatorial problem, we achieve a more tractable problem formulation by directly optimizing the pilot sequences. To this end, we compute a lower bound on the uplink (UL) spectral efficiency (SE), for Rayleigh fading channels with maximum ratio (MR) detection and arbitrary pilot sequences. We optimize the max-min SE with respect to the pilot sequences and pilot powers, under power budget constraints. This becomes an NP-hard signomial problem, but we propose an efficient algorithm to obtain a local optimum with polynomial complexity. Numerical results manifest the near optimality of the proposed algorithm and show significant gains over existing suboptimal algorithms.


title: Loewy lengths of centers of blocks II

abstract: Let ZB be the center of a p-block B of a finite group with defect group D. We show that the Loewy length LL(ZB) of ZB is bounded by $\frac{|D|}{p}+p-1$ provided D is not cyclic. If D is non-abelian, we prove the stronger bound $LL(ZB)<\min\{p^{d-1},4p^{d-2}\}$ where $|D|=p^d$. Conversely, we classify the blocks B with $LL(ZB)\ge\min\{p^{d-1},4p^{d-2}\}$. This extends some results previously obtained by the present authors. Moreover, we characterize blocks with uniserial center.


title: High-Resolution Multispectral Dataset for Semantic Segmentation

abstract: Unmanned aircraft have decreased the cost required to collect remote sensing imagery, which has enabled researchers to collect high-spatial resolution data from multiple sensor modalities more frequently and easily. The increase in data will push the need for semantic segmentation frameworks that are able to classify non-RGB imagery, but this type of algorithmic development requires an increase in publicly available benchmark datasets with class labels. In this paper, we introduce a high-resolution multispectral dataset with image labels. This new benchmark dataset has been pre-split into training/testing folds in order to standardize evaluation and continue to push state-of-the-art classification frameworks for non-RGB imagery.


title: Mean field games with controlled jump-diffusion dynamics: Existence results and an illiquid interbank market model

abstract: We study a family of mean field games with a state variable evolving as a multivariate jump diffusion process. The jump component is driven by a Poisson process with a time-dependent intensity function. All coefficients, i.e. drift, volatility and jump size, are controlled. Under fairly general conditions, we establish existence of a solution in a relaxed version of the mean field game and give conditions under which the optimal strategies are in fact Markovian, hence extending to a jump-diffusion setting previous results established in [30]. The proofs rely upon the notions of relaxed controls and martingale problems. Finally, to complement the abstract existence results, we study a simple illiquid inter-bank market model, where the banks can change their reserves only at the jump times of some exogenous Poisson processes with a common constant intensity, and provide some numerical results.


title: Generalizing CoSaMP to Signals from a Union of Low Dimensional Linear Subspaces

abstract: The idea that signals reside in a union of low dimensional subspaces subsumes many low dimensional models that have been used extensively in the recent decade in many fields and applications. Until recently, the vast majority of works have studied each one of these models on its own. However, a recent approach suggests providing general theory for low dimensional models using their Gaussian mean width, which serves as a measure for the intrinsic low dimensionality of the data. In this work we use this novel approach to study a generalized version of the popular compressive sampling matching pursuit (CoSaMP) algorithm, and to provide general recovery guarantees for signals from a union of low dimensional linear subspaces, under the assumption that the measurement matrix is Gaussian. We discuss the implications of our results for specific models, and use the generalized algorithm as an inspiration for a new greedy method for signal reconstruction in a combined sparse-synthesis and cosparse-analysis model. We perform experiments that demonstrate the usefulness of the proposed strategy.


title: Inflation followed by Belinskii-Khalatnikov-Lifshitz collapse inside accreting, rotating black holes

abstract: Numerical evidence is presented that the Poisson-Israel mass inflation instability at the inner horizon of an accreting, rotating black hole is generically followed by Belinskii-Khalatnikov-Lifshitz oscillatory collapse to a spacelike singularity. The computation involves following all 6 degrees of freedom of the gravitational field. To simplify the problem, the computation takes as initial conditions the conformally separable solutions of arXiv:1010.1269, arXiv:1010.1271 just above the inner horizon of a slowly accreting, rotating black hole, and integrates the equations inward along single latitudes.


title: First-principles investigation of graphitic carbon nitride monolayer with embedded Fe atom

abstract: Density-functional theory calculations with spin-polarized generalized gradient approximation and Hubbard $U$ correction is carried out to investigate the mechanical, structural, electronic and magnetic properties of graphitic heptazine with embedded $\mathrm{Fe}$ atom under bi-axial tensile strain and applied perpendicular electric field. It was found that the binding energy of heptazine with embedded $\mathrm{Fe}$ atom system decreases as more tensile strain is applied and increases as more electric field strength is applied. Our calculations also predict a band gap at a peak value of 5 tensile strain but at expense of the structural stability of the system. The band gap opening at 5 tensile strain is due to distortion in the structure caused by the repulsive effect in the cavity between the lone pairs of edge nitrogen atoms and $\mathrm{d}_{{xy}}/\mathrm{d}_{x^2-y^2}$ orbital of Fe atom, hence the unoccupied $\mathrm{p}_z$-orbital is forced to shift towards higher energy. The electronic and magnetic properties of the heptazine with embedded $\mathrm{Fe}$ system under perpendicular electric field up to a peak value of 10 $\mathrm{V/nm}$ is also well preserved despite obvious buckled structure. Such properties may be desirable for diluted magnetic semiconductors, spintronics, and sensing devices.


title: A time series distance measure for efficient clustering of input output signals by their underlying dynamics

abstract: Starting from a dataset with input/output time series generated by multiple deterministic linear dynamical systems, this paper tackles the problem of automatically clustering these time series. We propose an extension to the so-called Martin cepstral distance, that allows to efficiently cluster these time series, and apply it to simulated electrical circuits data. Traditionally, two ways of handling the problem are used. The first class of methods employs a distance measure on time series (e.g. Euclidean, Dynamic Time Warping) and a clustering technique (e.g. k-means, k-medoids, hierarchical clustering) to find natural groups in the dataset. It is, however, often not clear whether these distance measures effectively take into account the specific temporal correlations in these time series. The second class of methods uses the input/output data to identify a dynamic system using an identification scheme, and then applies a model norm-based distance (e.g. H2, H-infinity) to find out which systems are similar. This, however, can be very time consuming for large amounts of long time series data. We show that the new distance measure presented in this paper performs as good as when every input/output pair is modelled explicitly, but remains computationally much less complex. The complexity of calculating this distance between two time series of length N is O(N logN).


title: Exchangeable choice functions

abstract: We investigate how to model exchangeability with choice functions. Exchangeability is a structural assessment on a sequence of uncertain variables. We show how such assessments are a special indifference assessment, and how that leads to a counterpart of de Finetti's Representation Theorem, both in a finite and a countable context.


title: Grammar Variational Autoencoder

abstract: Deep generative models have been wildly successful at learning coherent latent representations for continuous data such as video and audio. However, generative modeling of discrete data such as arithmetic expressions and molecular structures still poses significant challenges. Crucially, state-of-the-art methods often produce outputs that are not valid. We make the key observation that frequently, discrete data can be represented as a parse tree from a context-free grammar. We propose a variational autoencoder which encodes and decodes directly to and from these parse trees, ensuring the generated outputs are always valid. Surprisingly, we show that not only does our model more often generate valid outputs, it also learns a more coherent latent space in which nearby points decode to similar discrete outputs. We demonstrate the effectiveness of our learned models by showing their improved performance in Bayesian optimization for symbolic regression and molecular synthesis.


title: Braiding with Borromean Rings in (3+1)-Dimensional Spacetime

abstract: While winding a particle-like excitation around a loop-like excitation yields the celebrated Aharonov-Bohm phase, we find a distinctive braiding phase in the absence of such mutual winding. In this work, we propose an exotic particle-loop-loop braiding process, dubbed the \emph{Borromean-Rings braiding}. In the process, a particle moves around two unlinked loops, such that its trajectory and the two loops form the Borromean-Rings or more general Brunnian links. As the particle trajectory does not wind with any of the loops, the resulting braiding phase is fundamentally different from the Aharonov-Bohm phase. We derive an explicit expression for the braiding phase in terms of the underlying Milnor's triple linking number. We also propose Topological Quantum Field Theories consisting of an $AAB$-type topological term which realize the braiding statistics.


title: Delayed Optimal Control of Stochastic LQ Problem

abstract: A discrete-time stochastic LQ problem with multiplicative noises and state transmission delay is studied in this paper, which does not require any definiteness constraint on the cost weighting matrices. From some abstract representations of the system and cost functional, the solvability of this LQ problem is characterized by some conditions with operator form. Based on these, necessary and sufficient conditions are derived for the case with a fixed time-state initial pair and the general case with all the time-state initial pairs. For both cases, a set of coupled discrete-time Riccati-like equations can be derived to characterize the existence and the form of the delayed optimal control. In particular, for the general case with all the initial pairs, the existence of the delayed optimal control is equivalent to the solvability of the Riccati-like equations with some algebraic constraints, and both of them are also equivalent to the solvability of a set of coupled linear matrix equality-inequalities. Note that both the constrained Riccati-like equations and the linear matrix equality-inequalities are introduced for the first time in the literature for the proposed LQ problem. Furthermore, the convexity and the {uniform convexity} of the cost functional are fully characterized via certain properties of the solution of the Riccati-like equations.


title: On The Complexity of Enumeration

abstract: We investigate the relationship between several enumeration complexity classes and focus in particular on problems having enumeration algorithms with incremental and polynomial delay (IncP and DelayP respectively). We show that, for some algorithms, we can turn an average delay into a worst case delay without increasing the space complexity, suggesting that IncP_1 = DelayP even with polynomially bounded space. We use the Exponential Time Hypothesis to exhibit a strict hierarchy inside IncP which gives the first separation of DelayP and IncP. Finally we relate the uniform generation of solutions to probabilistic enumeration algorithms with polynomial delay and polynomial space.


title: Stable dynamics of micro-machined inductive contactless suspensions

abstract: In this article, we present a qualitative approach to study the dynamics and stability of micro-machined inductive contactless suspensions (MIS). In the framework of this approach, the induced eddy current into a levitated micro-object is considered as a collection of m-eddy current circuits. Assuming small displacements and the quasi- static behaviour of the levitated micro-object, a generalized model of MIS is obtained and represented as a set of six linear differential equations corresponding to six degrees of freedom in a rigid body by using Lagrange-Maxwell formalism. The linear model allows us to investigate the general stability properties of the MIS as a dynamic system, and these properties are synthesized in three major theorems. In particular, we prove that the stable levitation in the MIS without damping is impossible. Based on the approach presented herewith, we give general guidelines for MIS designing. In addition to we demonstrate the successful application of this technique to study the dynamics and stability of the symmetric and axially symmetric MIS designs both based on 3D micro-coil technology.


title: The SCUBA-2 Ambitious Sky Survey: a catalogue of beam-sized sources in the Galactic longitude range 120 to 140

abstract: The SCUBA-2 Ambitious Sky Survey (SASSy) is composed of shallow 850-$\umu$m imaging using the Sub-millimetre Common-User Bolometer Array 2 (SCUBA-2) on the James Clerk Maxwell Telescope. Here we describe the extraction of a catalogue of beam-sized sources from a roughly $120\,{\rm deg}^2$ region of the Galactic plane mapped uniformly (to an rms level of about 40\,mJy), covering longitude 120\degr\,$<$\,\textit{l}\,$<$\,140\degr\ and latitude $\abs{\textit{b}}$\,$<$\,2.9\degr. We used a matched-filtering approach to increase the signal-to-noise (S/N) ratio in these noisy maps and tested the efficiency of our extraction procedure through estimates of the false discovery rate, as well as by adding artificial sources to the real images. The primary catalogue contains a total of 189 sources at 850\,$\umu$m, down to a S/N threshold of approximately 4.6. Additionally, we list 136 sources detected down to ${\rm S/N}=4.3$, but recognise that as we go lower in S/N, the reliability of the catalogue rapidly diminishes. We perform follow-up observations of some of our lower significance sources through small targeted SCUBA-2 images, and list 265 sources detected in these maps down to ${\rm S/N}=5$. This illustrates the real power of SASSy: inspecting the shallow maps for regions of 850-$\umu$m emission and then using deeper targeted images to efficiently find fainter sources. We also perform a comparison of the SASSy sources with the Planck Catalogue of Compact Sources and the \textit{IRAS} Point Source Catalogue, to determine which sources discovered in this field might be new, and hence potentially cold regions at an early stage of star formation.


title: Context-Based Concurrent Experience Sharing in Multiagent Systems

abstract: One of the key challenges for multi-agent learning is scalability. In this paper, we introduce a technique for speeding up multi-agent learning by exploiting concurrent and incremental experience sharing. This solution adaptively identifies opportunities to transfer experiences between agents and allows for the rapid acquisition of appropriate policies in large-scale, stochastic, homogeneous multi-agent systems. We introduce an online, distributed, supervisor-directed transfer technique for constructing high-level characterizations of an agent's dynamic learning environment---called contexts---which are used to identify groups of agents operating under approximately similar dynamics within a short temporal window. A set of supervisory agents computes contextual information for groups of subordinate agents, thereby identifying candidates for experience sharing. Our method uses a tiered architecture to propagate, with low communication overhead, state, action, and reward data amongst the members of each dynamically-identified information-sharing group. We applied this method to a large-scale distributed task allocation problem with hundreds of information-sharing agents operating in an unknown, non-stationary environment. We demonstrate that our approach results in significant performance gains, that it is robust to noise-corrupted or suboptimal context features, and that communication costs scale linearly with the supervisor-to-subordinate ratio.


title: One-Shot Private Classical Capacity of Quantum Wiretap Channel: Based on one-shot quantum covering lemma

abstract: In this work we study the problem of communication over the quantum wiretap channel. For this channel there are three parties Alice (sender), Bob (legitimate receiver) and Eve (eavesdropper). We obtain upper and lower bounds on the amount of information Alice can communicate to Bob such that Eve gets to know as little information as possible about the transmitted messages. Our bounds are in terms of quantum hypothesis testing divergence and smooth max quantum relative entropy. To obtain our result we prove a one-shot version of the quantum covering lemma along with operator Chernoff bound for non-square matrices.


title: Random Triggering Based Sub-Nyquist Sampling System for Sparse Multiband Signal

abstract: We propose a novel random triggering based modulated wideband compressive sampling (RT-MWCS) method to facilitate efficient realization of sub-Nyquist rate compressive sampling systems for sparse wideband signals. Under the assumption that the signal is repetitively (not necessarily periodically) triggered, RT-MWCS uses random modulation to obtain measurements of the signal at randomly chosen positions. It uses multiple measurement vector method to estimate the non-zero supports of the signal in the frequency domain. Then, the signal spectrum is solved using least square estimation. The distinct ability of estimating sparse multiband signal is facilitated with the use of level triggering and time to digital converter devices previously used in random equivalent sampling (RES) scheme. Compared to the existing compressive sampling (CS) techniques, such as modulated wideband converter (MWC), RT-MWCS is with simple system architecture and can be implemented with one channel at the cost of more sampling time. Experimental results indicate that, for sparse multiband signal with unknown spectral support, RT-MWCS requires a sampling rate much lower than Nyquist rate, while giving great quality of signal reconstruction.


title: Signatures of Dirac and Majorana Sterile Neutrinos in Trilepton Events at the LHC

abstract: Heavy sterile neutrinos with masses below $M_W$ can induce trilepton events at the 14 TeV LHC through purely leptonic $W$ decays of $W^\pm \to e^\pm e^\pm \mu^\mp \nu$ and $\mu^\pm \mu^\pm e^\mp \nu$ where the heavy neutrino will be in an intermediate state on its mass shell. Discovery and exclusion limits for the heavy neutrinos are found using both Cut-and-Count (CC) and a Multi-Variate Analysis (MVA) methods in this study. We also show that it is possible to discriminate between a Dirac and a Majorana heavy neutrino, even when lepton number conservation cannot be directly tested due to unobservability of the final state neutrino. This discrimination is done by exploiting a combined set of kinematic observables that differ between the Majorana vs. Dirac cases. We find that the MVA method can greatly enhance the discovering and discrimination limits in comparison with the CC method. For a 14-TeV $pp$ collider with integrated luminosity of 3000 ${\rm fb}^{-1}$, sterile neutrinos can be found with 5$\sigma$ significance if heavy-to-light neutrino mixings $|U_{Ne}|^2 \sim |U_{N\mu}|^2 \sim 10^{-6}$, while the Majorana vs. Dirac type can be distinguished if $|U_{Ne}|^2 \sim |U_{N\mu}|^2 \sim 10^{-5}$ or even $|U_{N\ell}|^2\sim 10^{-6}$ if one of the mixing elements is at least an order of magnitude smaller than the other.


title: Unified view of monogamy relations for different entanglement measures

abstract: A particularly interesting feature of nonrelativistic quantum mechanics is the monogamy laws of entanglement. Although the monogamy relation has been explored extensively in the last decade, it is still not clear to what extent a given entanglement measure is monogamous. We give here a conjecture on the amount of entanglement contained in the reduced states by observing all the known related results at first. Consequently, we propose the monogamy power of an entanglement measure and the polygamy power for its dual quantity, the assisted entanglement, and show that both the monogamy power and the polygamy power exist in any multipartite systems with any dimension, from which we formalize exactly for the first time when an entanglement measure and an assisted entanglement obey the monogamy relation and the polygamy relation respectively in a unified way. In addition, we show that any entanglement measure violates the polygamy relation, which is misstated in some recent papers. Only the existence of monogamy power is conditioned on the conjecture, all other results are strictly proved.


title: Search for Heavy Sterile Neutrinos in Trileptons at the LHC

abstract: We present a search strategy for both Dirac and Majorana sterile neutrinos from the purely leptonic decays of $W^\pm \to e^\pm e^\pm \mu^\mp \nu$ and $\mu^\pm \mu^\pm e^\mp \nu$ at the 14 TeV LHC. The discovery and exclusion limits for sterile neutrinos are shown using both the Cut-and-Count (CC) and Multi-Variate Analysis (MVA) methods. We also discriminate between Dirac and Majorana sterile neutrinos by exploiting a set of kinematic observables which differ between the Dirac and Majorana cases. We find that the MVA method, compared to the more common CC method, can greatly enhance the discovery and discrimination limits. Two benchmark points with sterile neutrino mass $m_N = 20$ GeV and 50 GeV are tested. For an integrated luminosity of 3000 ${\rm fb}^{-1}$, sterile neutrinos can be found with $5 \sigma$ significance if heavy-to-light neutrino mixings $|U_{Ne}|^2 \sim |U_{N\mu}|^2\sim 10^{-6}$, while Majorana vs. Dirac discrimination can be reached if at least one of the mixings is of order $10^{-5}$.


title: Reputation Dynamics in a Market for Illicit Drugs

abstract: We analyze reputation dynamics in an online market for illicit drugs using a novel dataset of prices and ratings. The market is a black market, and so contracts cannot be enforced. We study the role that reputation plays in alleviating adverse selection in this market. We document the following stylized facts: (i) There is a positive relationship between the price and the rating of a seller. This effect is increasing in the number of reviews left for a seller. A mature highly-rated seller charges a 20% higher price than a mature low-rated seller. (ii) Sellers with more reviews charge higher prices regardless of rating. (iii) Low-rated sellers are more likely to exit the market and make fewer sales. We show that these stylized facts are explained by a dynamic model of adverse selection, ratings, and exit, in which buyers form rational inferences about the quality of a seller jointly from his rating and number of sales. Sellers who receive low ratings initially charge the same price as highly-rated sellers since early reviews are less informative about quality. Bad sellers exit rather than face lower prices in the future. We provide conditions under which our model admits a unique equilibrium. We estimate the model, and use the result to compute the returns to reputation in the market. We find that the market would have collapsed due to adverse selection in the absence of a rating system.


title: On the lower semicontinuous envelope of functionals defined on polyhedral chains

abstract: In this note we prove an explicit formula for the lower semicontinuous envelope of some functionals defined on real polyhedral chains. More precisely, denoting by $H \colon \mathbb{R} \to \left[ 0,\infty \right)$ an even, subadditive, and lower semicontinuous function with $H(0)=0$, and by $\Phi_H$ the functional induced by $H$ on polyhedral $m$-chains, namely \[ \Phi_{H}(P) := \sum_{i=1}^{N} H(\theta_{i}) \mathcal{H}^{m}(\sigma_{i}), \quad\mbox{for every }P=\sum_{i=1}^{N} \theta_{i} [[ \sigma_{i} ]] \in\mathbf{P}_m(\mathbb{R}^n), \] we prove that the lower semicontinuous envelope of $\Phi_H$ coincides on rectifiable $m$-currents with the $H$-mass \[ \mathbb{M}_{H}(R) := \int_E H(\theta(x)) \, d\mathcal{H}^m(x) \quad \mbox{ for every } R= [[ E,\tau,\theta ]] \in \mathbf{R}_{m}(\mathbb{R}^{n}). \]


title: Distributed Exact Shortest Paths in Sublinear Time

abstract: The distributed single-source shortest paths problem is one of the most fundamental and central problems in the message-passing distributed computing. Classical Bellman-Ford algorithm solves it in $O(n)$ time, where $n$ is the number of vertices in the input graph $G$. Peleg and Rubinovich (FOCS'99) showed a lower bound of $\tilde{\Omega}(D + \sqrt{n})$ for this problem, where $D$ is the hop-diameter of $G$. Whether or not this problem can be solved in $o(n)$ time when $D$ is relatively small is a major notorious open question. Despite intensive research \cite{LP13,N14,HKN15,EN16,BKKL16} that yielded near-optimal algorithms for the approximate variant of this problem, no progress was reported for the original problem. In this paper we answer this question in the affirmative. We devise an algorithm that requires $O((n \log n)^{5/6})$ time, for $D = O(\sqrt{n \log n})$, and $O(D^{1/3} \cdot (n \log n)^{2/3})$ time, for larger $D$. This running time is sublinear in $n$ in almost the entire range of parameters, specifically, for $D = o(n/\log^2 n)$. For the all-pairs shortest paths problem, our algorithm requires $O(n^{5/3} \log^{2/3} n)$ time, regardless of the value of $D$. We also devise the first algorithm with non-trivial complexity guarantees for computing exact shortest paths in the multipass semi-streaming model of computation. From the technical viewpoint, our algorithm computes a hopset $G"$ of a skeleton graph $G'$ of $G$ without first computing $G'$ itself. We then conduct a Bellman-Ford exploration in $G' \cup G"$, while computing the required edges of $G'$ on the fly. As a result, our algorithm computes exactly those edges of $G'$ that it really needs, rather than computing approximately the entire $G'$.


title: Some minimisation algorithms in arithmetic invariant theory

abstract: We extend the work of Cremona, Fisher and Stoll on minimising genus one curves of degrees 2,3,4,5, to some of the other representations associated to genus one curves, as studied by Bhargava and Ho. Specifically we describe algorithms for minimising bidegree (2,2)-forms, 3 x 3 x 3 cubes and 2 x 2 x 2 x 2 hypercubes. We also prove a theorem relating the minimal discriminant to that of the Jacobian elliptic curve.


title: An analysis of a butterfly algorithm

abstract: Butterfly algorithms are an effective multilevel technique to compress discretizations of integral operators with highly oscillatory kernel functions. The particular version of the butterfly algorithm considered here realizes the transfer between levels by Chebyshev interpolation. We present a refinement of the analysis that improves the stability estimates underlying the error bounds.


title: On Time-Consistent Solution to Time-Inconsistent Linear-Quadratic Optimal Control of Discrete-Time Stochastic Systems

abstract: In this paper, we investigate a class of time-inconsistent discrete-time stochastic linear-quadratic optimal control problems, whose time-consistent solutions consist of an open-loop equilibrium control and a linear feedback equilibrium strategy. The open-loop equilibrium control is defined for a given initial pair, while the linear feedback equilibrium strategy is defined for all the initial pairs. Maximum-principle-type necessary and sufficient conditions containing stationary and convexity are derived for the existence of these two time-consistent solutions, respectively. Furthermore, for the case where the system matrices are independent of the initial time, we show that the existence of the open-loop equilibrium control for a given initial pair is equivalent to the solvability of a set of nonsymmetric generalized difference Riccati equations and a set of linear difference equations. Moreover, the existence of linear feedback equilibrium strategy is equivalent to the solvability of another set of symmetric generalized difference Riccati equations.


title: Enumeration of $2$-level polytopes

abstract: A (convex) polytope $P$ is said to be $2$-level if for every direction of hyperplanes which is facet-defining for $P$, the vertices of $P$ can be covered with two hyperplanes of that direction. The study of these polytopes is motivated by questions in combinatorial optimization and communication complexity, among others. In this paper, we present the first algorithm for enumerating all combinatorial types of $2$-level polytopes of a given dimension $d$, and provide complete experimental results for $d \leqslant 7$. Our approach is inductive: for each fixed $(d-1)$-dimensional $2$-level polytope $P_0$, we enumerate all $d$-dimensional $2$-level polytopes $P$ that have $P_0$ as a facet. This relies on the enumeration of the closed sets of a closure operator over a finite ground set. By varying the prescribed facet $P_0$, we obtain all $2$-level polytopes in dimension $d$.


title: Anomalous transport model with axial magnetic fields

abstract: The transport properties of massless fermions in $3+1$ spacetime dimension have been in the focus of recent theoretical and experimental research. New transport properties appear as consequences of chiral anomalies. The most prominent is the generation of a current in a magnetic field, the so-called chiral magnetic effect leading to an enhancement of the electric conductivity (negative magnetoresistivity). We study the analogous effect for axial magnetic fields that couple with opposite signs to fermions of different chirality. We emphasize local charge conservation and study the induced magneto-conductivities proportional to an electric field and a gradient in temperature. We find that the magnetoconductivity is enhanced whereas the magneto-thermoelectric conductivity is diminished. As a side result we interpret an anomalous contribution to the entropy current as a generalized thermal Hall effect.


title: Point-Cloud-Based Aerial Fragmentation Analysis for Application in the Minerals Industry

abstract: This work investigates the application of Unmanned Aerial Vehicle (UAV) technology for measurement of rock fragmentation without placement of scale objects in the scene to determine image scale. Commonly practiced image-based rock fragmentation analysis requires a technician to walk to a rock pile, place a scale object of known size in the area of interest, and capture individual 2D images. Our previous work has used UAV technology for the first time to acquire real-time rock fragmentation data and has shown comparable quality of results; however, it still required the (potentially dangerous) placement of scale objects, and continued to make the assumption that the rock pile surface is planar and that the scale objects lie on the surface plane. This work improves our UAV-based approach to enable rock fragmentation measurement without placement of scale objects and without the assumption of planarity. This is achieved by first generating a point cloud of the rock pile from 2D images, taking into account intrinsic and extrinsic camera parameters, and then taking 2D images for fragmentation analysis. This work represents an important step towards automating post-blast rock fragmentation analysis. In experiments, a rock pile with known size distribution was photographed by the UAV with and without using scale objects. For fragmentation analysis without scale objects, a point cloud of the rock pile was generated and used to compute image scale. Comparison of the rock size distributions show that this point-cloud-based method enables producing measurements with better or comparable accuracy (within 10% of the ground truth) to the manual method with scale objects.


title: Metric Learning for Generalizing Spatial Relations to New Objects

abstract: Human-centered environments are rich with a wide variety of spatial relations between everyday objects. For autonomous robots to operate effectively in such environments, they should be able to reason about these relations and generalize them to objects with different shapes and sizes. For example, having learned to place a toy inside a basket, a robot should be able to generalize this concept using a spoon and a cup. This requires a robot to have the flexibility to learn arbitrary relations in a lifelong manner, making it challenging for an expert to pre-program it with sufficient knowledge to do so beforehand. In this paper, we address the problem of learning spatial relations by introducing a novel method from the perspective of distance metric learning. Our approach enables a robot to reason about the similarity between pairwise spatial relations, thereby enabling it to use its previous knowledge when presented with a new relation to imitate. We show how this makes it possible to learn arbitrary spatial relations from non-expert users using a small number of examples and in an interactive manner. Our extensive evaluation with real-world data demonstrates the effectiveness of our method in reasoning about a continuous spectrum of spatial relations and generalizing them to new objects.


title: Temporally versatile polarization entanglement from Bragg-reflection waveguides

abstract: Bragg-reflection waveguides emitting broadband parametric down-conversion (PDC) have been proven to be well suited for the on-chip generation of polarization entanglement in a straightforward fashion [R. T. Horn et al., Sci. Rep. 3, 2314 (2013)]. Here, we investigate how the properties of the created states can be modified by controlling the relative temporal delay between the pair of photons created via PDC. Our results offer an easily accessible approach for changing the coherence of the polarization entanglement, in other words, to tune the phase of the off-diagonal elements of the density matrix. Furthermore, we provide valuable insight in the engineering of these states directly at the source.


title: Stationary and stable light beam propagation in Kerr media with nonlinear absorption with controllable dissipation patterns

abstract: We report on the stationary and robust propagation of light beams with rather arbitrary and controllable intensity and dissipation transverse patterns in self-focusing Kerr media with nonlinear absorption. When nonlinear absorption is due to multi-photon ionization at high beam powers in transparent media such as glasses or air, these beams can generate multiple plasma channels with tailored geometries. Their nature and spatial characteristics are discussed in detail, as well as the laws determining their spontaneous formation from coherent superpositions of Bessel beams of different amplitudes and topological charges.


title: Low regularity local well-posedness for the Yang-Mills equation in Lorenz gauge

abstract: We prove that the Yang-Mills equation in Lorenz gauge in the (n+1)-dimensional case is locally well-posed for data of the gauge potential in $H^s$ and the curvature in $H^r$ , where $s >\frac{n}{2}-\frac{7}{8}$ , $r > \frac{n}{2}-\frac{7}{4}$ , if $n \ge 4$, and $ s > \frac{3}{4}$ , $ r > - \frac{1}{8}$ , if $n=3$. The proof is based on the fundamental results of Klainerman-Selberg [KS] and on the null structure of most of the nonlinear terms detected by Selberg-Tesfahun [ST] and Tesfahun [Te].


title: Monotonicity of non-pluripolar Monge-Amp\`ere masses

abstract: We prove that on a compact K\"ahler manifold, the non-pluripolar Monge-Amp\`ere mass of a $\theta$-psh function decreases as the singularities increase. This was conjectured by Boucksom-Eyssidieux-Guedj-Zeriahi who proved it under the additional assumption of the functions having small unbounded locus. As a corollary we get a comparison principle for $\theta$-psh functions, analogous to the comparison principle for psh functions due to Bedford-Taylor.


title: Local charges in involution and hierarchies in integrable sigma-models

abstract: Integrable $\sigma$-models, such as the principal chiral model, ${\mathbb{Z}}_T$-coset models for $T \in {\mathbb{Z}}_{\geq 2}$ and their various integrable deformations, are examples of non-ultralocal integrable field theories described by (cyclotomic) $r/s$-systems with twist function. In this general setting, and when the Lie algebra ${\mathfrak{g}}$ underlying the $r/s$-system is of classical type, we construct an infinite algebra of local conserved charges in involution, extending the approach of Evans, Hassan, MacKay and Mountain developed for the principal chiral model and symmetric space $\sigma$-model. In the present context, the local charges are attached to certain `regular' zeros of the twist function and have increasing degrees related to the exponents of the untwisted affine Kac-Moody algebra $\widehat{{\mathfrak{g}}}$ associated with ${\mathfrak{g}}$. The Hamiltonian flows of these charges are shown to generate an infinite hierarchy of compatible integrable equations.


title: Efficient Strategy Computation in Zero-Sum Asymmetric Repeated Games

abstract: Zero-sum asymmetric games model decision making scenarios involving two competing players who have different information about the game being played. A particular case is that of nested information, where one (informed) player has superior information over the other (uninformed) player. This paper considers the case of nested information in repeated zero-sum games and studies the computation of strategies for both the informed and uninformed players for finite-horizon and discounted infinite-horizon nested information games. For finite-horizon settings, we exploit that for both players, the security strategy, and also the opponent's corresponding best response depend only on the informed player's history of actions. Using this property, we refine the sequence form, and formulate an LP computation of player strategies that is linear in the size of the uninformed player's action set. For the infinite-horizon discounted game, we construct LP formulations to compute the approximated security strategies for both players, and provide a bound on the performance difference between the approximated security strategies and the security strategies. Finally, we illustrate the results on a network interdiction game between an informed system administrator and uniformed intruder.


title: Regularity in gradient constraint problem and thin film micromagnetics

abstract: We prove some C^{1,\alpha} regularity in some gradient constraint problem and application to Torsion problem and micromagnetic problem and variational inequality.


title: Bloch-Siegert Shift and its Kramers-Kronig Pair

abstract: We report that the Bloch-Siegert shift which appears in Nuclear Magnetic Resonance (NMR) spectroscopy can also be shown to originate as a part of a complex drive-induced second-order susceptibility term. The shift terms thus obtained are shown to have an absorptive Kramers-Kronig pair. The theoretical treatment involves a finite time-propagation of a nuclear spin-$1/2$ system and the spin-bearing molecule under the action of thermal fluctuations acting on the latter. The finite propagator is constructed to account for many instances of thermal fluctuations occurring in a time-scale during which the spin density matrix changes infinitesimally. Following an ensemble average, the resulting quantum master equation directly yields a finite time-nonlocal complex susceptibility term from the external drive, which is extremely small but measurable in solution-state NMR spectroscopy. The dispersive part of this susceptibility term originating from the non-resonant component of the external drive results in the Bloch-Siegert shift. We have verified experimentally the existence of the absorptive Kramers-Kronig pair of the second-order shift term, by using a novel refocussed nutation experiment. Our method provides a single approach to explain both relaxation phenomena as well as Bloch-Siegert effect, which have been treated using non-concurrent techniques in the past.


title: Arithmetic properties of coefficients of power series expansion of $\prod_{n=0}^{\infty}\left(1-x^{2^{n}}\right)^{t}$ (with an Appendix by Andrzej Schinzel)

abstract: Let $F(x)=\prod_{n=0}^{\infty}(1-x^{2^{n}})$ be the generating function for the Prouhet-Thue-Morse sequence $((-1)^{s_{2}(n)})_{n\in\N}$. In this paper we initiate the study of the arithmetic properties of coefficients of the power series expansions of the function $$ F_{t}(x)=F(x)^{t}=\sum_{n=0}^{\infty}f_{n}(t)x^{n}. $$ For $t\in\N_{+}$ the sequence $(f_{n}(t))_{n\in\N}$ is the Cauchy convolution of $t$ copies of the Prouhet-Thue-Morse sequence. For $t\in\Z_{<0}$ the $n$-th term of the sequence $(f_{n}(t))_{n\in\N}$ counts the number of representations of the number $n$ as a sum of powers of 2 where each summand can have one among $-t$ colors. Among other things, we present a characterization of the solutions of the equations $f_{n}(2^k)=0$, where $k\in\N$, and $f_{n}(3)=0$. Next, we present the exact value of the 2-adic valuation of the number $f_{n}(1-2^{m})$ - a result which generalizes the well known expression concerning the 2-adic valuation of the values of the binary partition function introduced by Euler and studied by Churchhouse and others.


title: 5G Wireless and Wired Convergence in a Passive Optical Network using UF-OFDM and GFDM

abstract: The provision of both wireless and wired services in the optical access domain will be an important function for future passive optical networks (PON). With the emergence of 5th generation (5G) mobile communications, a move toward a dense deployment of small cell antenna sites, in conjunction with a cloud radio access network (C-RAN) architecture, is foreseen. This type of network architecture greatly increases the requirement for high capacity mobile fronthaul and backhaul links. An efficient way of achieving such connectivity is to make use of wavelength division multiplexed (WDM) PON infrastructure where wireless and wired services may be converged for distribution. In this work, for the first time, the convergence of 5G wireless candidate waveforms with a single-carrier wired signal is demonstrated in a PON. Three bands of universally filtered orthogonal frequency division multiplexing (UF-OFDM) and generalized frequency division multiplexing (GFDM), are transmitted at an intermediate frequency in conjunction with a digital 10Gb/s pulse amplitude modulation (PAM) signal in the downlink direction. Orthogonal frequency division multiplexing (OFDM) is also evaluated as a benchmark. Results show, for each waveform, how performance varies due to the 5G channel spacing - indicating UF-OFDM's superiority in terms of PON convergence. Successful transmission over 25km of fibre is also demonstrated for all waveforms.


title: An LP Approach for Solving Two-Player Zero-Sum Repeated Bayesian Games

abstract: This paper studies two-player zero-sum repeated Bayesian games in which every player has a private type that is unknown to the other player, and the initial probability of the type of every player is publicly known. The types of players are independently chosen according to the initial probabilities, and are kept the same all through the game. At every stage, players simultaneously choose actions, and announce their actions publicly. For finite horizon cases, an explicit linear program is provided to compute players' security strategies. Moreover, based on the existing results in [1], this paper shows that a player's sufficient statistics, which is independent of the strategy of the other player, consists of the belief over the player's own type, the regret with respect to the other player's type, and the stage. Explicit linear programs are provided to compute the initial regrets, and the security strategies that only depends on the sufficient statistics. For discounted cases, following the same idea in the finite horizon, this paper shows that a player's sufficient statistics consists of the belief of the player's own type and the anti-discounted regret with respect to the other player's type. Besides, an approximated security strategy depending on the sufficient statistics is provided, and an explicit linear program to compute the approximated security strategy is given. This paper also obtains a bound on the performance difference between the approximated security strategy and the security strategy.


title: Network Inference via the Time-Varying Graphical Lasso

abstract: Many important problems can be modeled as a system of interconnected entities, where each entity is recording time-dependent observations or measurements. In order to spot trends, detect anomalies, and interpret the temporal dynamics of such data, it is essential to understand the relationships between the different entities and how these relationships evolve over time. In this paper, we introduce the time-varying graphical lasso (TVGL), a method of inferring time-varying networks from raw time series data. We cast the problem in terms of estimating a sparse time-varying inverse covariance matrix, which reveals a dynamic network of interdependencies between the entities. Since dynamic network inference is a computationally expensive task, we derive a scalable message-passing algorithm based on the Alternating Direction Method of Multipliers (ADMM) to solve this problem in an efficient way. We also discuss several extensions, including a streaming algorithm to update the model and incorporate new observations in real time. Finally, we evaluate our TVGL algorithm on both real and synthetic datasets, obtaining interpretable results and outperforming state-of-the-art baselines in terms of both accuracy and scalability.


title: AutoPass: An Automatic Password Generator

abstract: Text password has long been the dominant user authentication technique and is used by large numbers of Internet services. If they follow recommended practice, users are faced with the almost insuperable problem of generating and managing a large number of site-unique and strong (i.e. non-guessable) passwords. One way of addressing this problem is through the use of a password generator, i.e. a client-side scheme which generates (and regenerates) site-specific strong passwords on demand, with the minimum of user input. This paper provides a detailed specification and analysis of AutoPass, a password generator scheme previously outlined as part of a general analysis of such schemes. AutoPass has been designed to address issues identified in previously proposed password generators, and incorporates novel techniques to address these issues. Unlike almost all previously proposed schemes, AutoPass enables the generation of passwords that meet important real-world requirements, including forced password changes, use of pre-specified passwords, and generation of passwords meeting site-specific requirements.


title: A unifying approach to branching processes in varying environments

abstract: Branching processes $(Z_n)_{n \ge 0}$ in a varying environment generalize the Galton-Watson process, in that they allow time-dependence of the offspring distribution. Our main results concern general criteria for a.s. extinction, square-integrability of the martingale $(Z_n/\mathbf E[Z_n])_{n \ge 0}$, properties of the martingale limit $W$ and a Yaglom type result stating convergence to an exponential limit distribution of the suitably normalized population size $Z_n$, conditioned on the event $Z_n >0$. The theorems generalize/unify diverse results from the literature and lead to a classification of the processes.


title: Multiplicative Normalizing Flows for Variational Bayesian Neural Networks

abstract: We reinterpret multiplicative noise in neural networks as auxiliary random variables that augment the approximate posterior in a variational setting for Bayesian neural networks. We show that through this interpretation it is both efficient and straightforward to improve the approximation by employing normalizing flows while still allowing for local reparametrizations and a tractable lower bound. In experiments we show that with this new approximation we can significantly improve upon classical mean field for Bayesian neural networks on both predictive accuracy as well as predictive uncertainty.