title: Coherent states in quantum $\mathcal{W}_{1+\infty}$ algebra and qq-character for 5d Super Yang-Mills

abstract: The instanton partition functions of $\mathcal{N}=1$ 5d super Yang-Mills are built using elements of the representation theory of quantum $\mathcal{W}_{1+\infty}$ algebra: Gaiotto state, intertwiner, vertex operator. This algebra is also known under the names of Ding-Iohara-Miki and quantum toroidal $\widehat{\mathfrak{gl}}(1)$ algebra. Exploiting the explicit action of the algebra on the partition function, we prove the regularity of the 5d qq-characters. These characters provide a solution to the Schwinger-Dyson equations, and they can also be interpreted as a quantum version of the Seiberg-Witten curve.

categories: hep-th math-ph math.AG math.MP math.QA math.RT


title: The Liouville function in short intervals [after Matomaki and Radziwill]

abstract: This is a copy of my Bourbaki Seminar on the work of Matomaki and Radziwill showing that the Liouville function exhibits cancelation in almost all short intervals as soon as the length of the interval tends to infinity.


title: Constant factor Approximation Algorithms for Uniform Hard Capacitated Facility Location Problems: Natural LP is not too bad

abstract: In this paper, we give first constant factor approximation for capacitated knapsack median problem (CKM) for hard uniform capacities, violating the budget only by an additive factor of $f_{max}$ where $f_{max}$ is the maximum cost of a facility opened by the optimal and violating capacities by $(2+\epsilon)$ factor. Natural LP for the problem is known to have an unbounded integrality gap when any one of the two constraints is allowed to be violated by a factor less than $2$. Thus, we present a result which is very close to the best achievable from the natural LP. To the best of our knowledge, the problem has not been studied earlier. For capacitated facility location problem with uniform capacities, a constant factor approximation algorithm is presented violating the capacities a little ($1 + \epsilon$). Though constant factor results are known for the problem without violating the capacities, the result is interesting as it is obtained by rounding the solution to the natural LP, which is known to have an unbounded integrality gap without violating the capacities. Thus, we achieve the best possible from the natural LP for the problem. The result shows that natural LP is not too bad. Finally, we raise some issues with the proofs of the results presented in \cite{capkmByrkaFRS2013} for capacitated $k$-facility location problem (C$k$FLP). \cite{capkmByrkaFRS2013} presents $O(1/\epsilon^2)$ approximation violating the capacities by a factor of $(2 + \epsilon)$ using dependent rounding. We first fix these issues using our techniques. Also, it can be argued that (deterministic) pipage rounding cannot be used to open the facilities instead of dependent rounding. Our techniques for CKM provide a constant factor approximation for CkFLP violating the capacities by $(2 + \epsilon)$.


title: Searching with Advice: Robot Fence-Jumping

abstract: We study a new search problem on the plane involving a robot and an immobile treasure, initially placed at distance $1$ from each other. The length $\beta$ of an arc (a fence) within the perimeter of the corresponding circle, as well as the promise that the treasure is outside the fence, is given as part of the input. The goal is to device movement trajectories so that the robot locates the treasure in minimum time. Notably, although the presence of the fence limits searching uncertainty, the location of the fence is unknown, and in the worst case analysis is determined adversarially. Nevertheless, the robot has the ability to move in the interior of the circle. In particular the robot can attempt a number of chord-jump moves if it happens to be within the fence or if an endpoint of the fence is discovered. The optimal solution to our question can be obtained as a solution to a complicated optimization problem, which involves trigonometric functions, and trigonometric equations that do not admit closed form solutions. For the 1-Jump Algorithm, we fully describe the optimal trajectory, and provide an analysis of the associated cost as a function of $\beta$. Our analysis indicates that the optimal k-Jump Algorithm requires that the robot has enough memory and computation power to compute the optimal chord-jumps. Motivated by this, we give an abstract performance analysis for every k-Jump Algorithm. Subsequently, we present a highly efficient Halving Heuristic k-Jump Algorithm that can effectively approximate the optimal k-Jump Algorithm, with very limited memory and computation requirements.


title: Stochastic Domination in Space-Time for the Contact Process

abstract: Liggett and Steif (2006) proved that, for the supercritical contact process on certain graphs, the upper invariant measure stochastically dominates an i.i.d.\ Bernoulli product measure. In particular, they proved this for $\mathbb{Z}^d$ and (for infection rate sufficiently large) $d$-ary homogeneous trees $T_d$. In this paper we prove some space-time versions of their results. We do this by combining their methods with specific properties of the contact process and general correlation inequalities. One of our main results concerns the contact process on $T_d$ with $d\geq2$. We show that, for large infection rate, there exists a subset $\Delta$ of the vertices of $T_d$, containing a "positive fraction" of all the vertices of $T_d$, such that the following holds: The contact process on $T_d$ observed on $\Delta$ stochastically dominates an independent spin-flip process. (This is known to be false for the contact process on graphs having subexponential growth.) We further prove that the supercritical contact process on $\mathbb{Z}^d$ observed on certain $d$-dimensional space-time slabs stochastically dominates an i.i.d.\ Bernoulli product measure, from which we conclude strong mixing properties important in the study of certain random walks in random environment.


title: Twin peaks

abstract: We study random labelings of graphs conditioned on a small number (typically one or two) peaks, i.e., local maxima. We show that the boundaries of level sets of a random labeling of a square with a single peak have dimension 2, in a suitable asymptotic sense. The gradient line of a random labeling of a long ladder graph conditioned on a single peak consists mostly of straight line segments. We show that for some tree-graphs, if a random labeling is conditioned on exactly two peaks then the peaks can be very close to each other. We also study random labelings of regular trees conditioned on having exactly two peaks. Our results suggest that the top peak is likely to be at the root and the second peak is equally likely, more or less, to be any vertex not adjacent to the root.


title: On Schatten-class perturbations of Toeplitz operators

abstract: We characterize the commutant of the analytic Toeplitz operators modulo operators of Schatten-p-class on suitable multivariable domains. We show that a result of J. Xia on compact perturbations of Toeplitz operators on the unit disc remains true on strictly pseudoconvex and symmetric domains in C^n if the ideal of compact operators is replaced by the Schatten-p-classes with p strictly less than infinity.


title: Star-planet interactions: II. Is planet engulfment the origin of fast rotating red giants?

abstract: Context. Fast rotating red giants in the upper part of the red giant branch have surface velocities that cannot be explained by single star evolution. Aims. We check whether tides between a star and a planet followed by planet engulfment can indeed accelerate the surface rotation of red giants for a sufficient long time in order to produce these fast rotating red giants. Methods. Using rotating stellar models, accounting for the redistribution of the angular momentum inside the star by different transport mechanisms, for the exchanges of angular momentum between the planet orbit and the star before the engulfment and for the deposition of angular momentum inside the star at the engulfment, we study how the surface rotation velocity at the stellar surface evolves. Results. We show that the surface velocities reached at the end of the orbital decay due to tidal forces and planet engulfment can be similar to values observed for fast rotating red giants. This surface velocity then decreases when the star evolves along the red giant branch but at a sufficiently slow pace for allowing stars to be detected with such a high velocity. More quantitatively, star-planet interaction can produce a rapid acceleration of the surface of the star, above values equal to 8 km s$^{-1}$, for periods lasting up to more than 30% the red giant branch phase. The changes of the surface carbon isotopic ratios produced by the dilution of the planetary material into the convective envelope is quite modest. Much more important might be the increase of the lithium abundance due to this effect. However lithium may be affected by many different, still uncertain, processes. Conclusions. The acceleration of the stellar surface to rotation velocities above limits that depend on the surface gravity does appear at the moment as the clearest signature of a star-planet interaction.[abridged]


title: Squashed entanglement and approximate private states

abstract: The squashed entanglement is a fundamental entanglement measure in quantum information theory, finding application as an upper bound on the distillable secret key or distillable entanglement of a quantum state or a quantum channel. This paper simplifies proofs that the squashed entanglement is an upper bound on distillable key for finite-dimensional quantum systems and solidifies such proofs for infinite-dimensional quantum systems. More specifically, this paper establishes that the logarithm of the dimension of the key system (call it $\log_{2}K$) in an $\varepsilon$-approximate private state is bounded from above by the squashed entanglement of that state plus a term that depends only $\varepsilon$ and $\log_{2}K$. Importantly, the extra term does not depend on the dimension of the shield systems of the private state. The result holds for the bipartite squashed entanglement, and an extension of this result is established for two different flavors of the multipartite squashed entanglement.


title: Variations on inversion theorems for Newton-Puiseux series

abstract: Let $f(x,y)$ be a complex irreducible formal power series without constant term. One may solve the equation $f(x,y)=0$ by choosing either $x$ or $y$ as independent variable, getting two finite sets of Newton-Puiseux series. In 1967 and 1968, Abhyankar and Zariski published proofs of an \emph{inversion theorem}, expressing the \emph{characteristic exponents} of one set of series in terms of those of the other ones. In fact, a more general theorem, stated by Halphen in 1876 and proved by Stolz in 1879, relates also the \emph{coefficients} of the characteristic terms of both sets of series. This theorem seems to have been completely forgotten. We give two new proofs of it and we generalize it to a theorem concerning equations with an arbitrary number of variables.


title: Revisiting $B\to D \ell \nu$

abstract: We re-examine the determination of $|V_{cb}|$ from $B\to D \ell \nu$ in view of recent experimental and theoretical progress, discussing the parameterization of the form factors and studying the role played by the unitarity constraints. Our fit to experimental and lattice results for $B\to D \ell \nu$ gives $|V_{cb}|=40.49(97)\ 10^{-3}$ and to $R(D)= 0.299(3)$.


title: Bouncing black holes in quantum gravity and the Fermi gamma-ray excess

abstract: Non-perturbative quantum-gravity effects can change the fate of black holes and make them bounce in a time scale shorter than the Hawking evaporation time. In this article, we show that this hypothesis can account for the GeV excess observed from the galactic center by the Fermi satellite. By carefully taking into account the secondary component due to the decay of unstable hadrons, we show that the model is fully self-consistent. This phenomenon presents a specific redshift-dependance that could allow to distinguish it from other astrophysical phenomena possibly contributing to the GeV excess.


title: Hyperfine coupling constants from internally contracted multireference perturbation theory

abstract: We present an accurate method for calculating hyperfine coupling constants (HFCCs) based on the complete active space second-order perturbation theory (CASPT2) with full internal contraction. The HFCCs are computed as a first-order property using the relaxed CASPT2 spin-density matrix that takes into account orbital and configurational relaxation due to dynamical electron correlation. The first-order unrelaxed spin-density matrix is calculated from one- and two-body spin-free counterparts that are readily available in the CASPT2 nuclear gradient program [M. K. MacLeod and T. Shiozaki, J. Chem. Phys. 142, 051103 (2015)], whereas the second-order part is computed directly using the newly extended automatic code generator. The relaxation contribution is then calculated from the so-called Z-vectors that are available in the CASPT2 nuclear gradient program. Numerical results are presented for the CN and AlO radicals, for which the CASPT2 values are comparable (or, even superior in some cases) to the ones computed by the coupled-cluster and density matrix renormalization group methods. The HFCCs for the hexaaqua complexes with VII, CrIII, and MnII are also presented to demonstrate the accuracy and efficiency of our code.


title: On Two OEIS Conjectures

abstract: Stephan (Prove or Disprove 100 Conjectures from the OES, arXiv:math/0409509v4 [math.CO])enumerates a number of conjectures regarding integer sequences contained in Sloane's On-line Encyclopedia of Integer Sequences (N. J. A. Sloane, editor, The On-Line Encyclopedia of Integer Sequences, published electronically at https://oeis.org). In this paper, we prove two of these conjectures.


title: Visibility of Shafarevich-Tate group of abelian varieties over number field extensions

abstract: Given an abelian variety J and an abelian subvariety A of J over a number field K, we study the visible elements of the Shafarevich-Tate group of A with respect to J over certain number field extension M of K. The notion of visible elements in Shafarevich-Tate group of an abelian variety was introduced by Mazur. In this article, we study the image of Visible elements of A with respect to J under the natural restriction map of the Galois cohomology of A over K to the Galois cohomology of A over M. In particular, for a fixed odd prime p, we investigate the conditions under which visible elements of order p can be produced over a quadratic extension or a degree p extension M of K.


title: Analytical Solutions Of The Schr\"{o}dinger Equation For The Hulth\'en Potential Within SUSY Quantum Mechanics

abstract: The analytical solution of the modified radial Schr\"{o}dinger equation for the Hulth\'en potential is obtained within ordinary quantum mechanics by applying the Nikiforov-Uvarov method and supersymmetric quantum mechanics by applying the shape invariance consept that was introduced by Gendenshtein method by using the improved approximation scheme to the centrifugal potential for arbitrary $l$ states. The energy levels are worked out and the corresponding normalized eigenfunctions are obtained in terms of orthogonal polynomials for arbitrary $l$ states.


title: The bounded and precise word problems for presentations of groups

abstract: We introduce and study the bounded word problem and the precise word problem for groups given by means of generators and defining relations. For example, for every finitely presented group, the bounded word problem is in NP, i.e., it can be solved in nondeterministic polynomial time, and the precise word problem is in PSPACE. The main technical result of the paper states that, for certain finite presentations of groups, which include the Baumslag-Solitar one-relator groups and free products of cyclic groups, the bounded word problem and the precise word problem can be solved in polylogarithmic space. As consequences of developed techniques that can be described as calculus of brackets, we obtain polylogarithmic space bounds for the computational complexity of the diagram problem for free groups, for the width problem for elements of free groups, and for computation of the area defined by polygonal singular closed curves in the plane. We also obtain polynomial time bounds for these problems.


title: Combinatorial interpretations of Ramanujan's tau function

abstract: We use a q-series identity by Ramanujan to give a combinatorial interpretation of Ramanujan's tau function which involves t-cores and a new class of partitions which we call (m,k)-capsids. The same method can be applied in conjunction with other related identities yielding alternative combinatorial interpretations of the tau function.


title: Weakly nonlinear models for internal waves: inverse scattering transform and solitary wave contents

abstract: The time evolution emanating from "internal dam-break" initial conditions is studied for a class of models of stratified Euler fluids in configurations close to two-homogeneous layers separated by a thin diffused interface. Direct numerical simulations and experiments in wave tanks show that such initial conditions eventually give rise to coherent structures that are close to solitary-wave solutions moving ahead of a region of dispersive wave motion and turbulent mixing close to the location of the initial dam step. A priori theoretical predictions of the main features of these solitary waves, such as their amplitudes and speeds, appear to be unavailable, even for simplified models of wave evolution in stratified fluids. With the aim of providing estimates of the existence, amplitude and speed of such solitary waves, an approach based on Inverse Scattering Transform (IST) for completely integrable models is developed here and tested against direct numerical simulations of Euler fluids and some of their models based on long wave asymptotics. In particular, a novel regularized version of the Kaup model is developed to cure its mathematical ill-posedness, thereby making possible the use of its analytical predictions on the solitary-waves "content" emanating from step-like initial conditions. The a priori estimates of the new regularized model are found to be in reasonable agreement with the direct numerical simulations for weakly nonlinear regimes, this significantly improves predictions based on unidirectional models such as the Korteweg-de Vries equation.


title: Sets of minimal distances and characterizations of class groups of Krull monoids

abstract: Let $H$ be a Krull monoid with finite class group $G$ such that every class contains a prime divisor. Then every non-unit $a \in H$ can be written as a finite product of atoms, say $a=u_1 \cdot \ldots \cdot u_k$. The set $\mathsf L (a)$ of all possible factorization lengths $k$ is called the set of lengths of $a$. There is a constant $M \in \mathbb N$ such that all sets of lengths are almost arithmetical multiprogressions with bound $M$ and with difference $d \in \Delta^* (H)$, where $\Delta^* (H)$ denotes the set of minimal distances of $H$. We study the structure of $\Delta^* (H)$ and establish a characterization when $\Delta^*(H)$ is an interval. The system $\mathcal L (H) = \{ \mathsf L (a) \mid a \in H \}$ of all sets of lengths depends only on the class group $G$, and a standing conjecture states that conversely the system $\mathcal L (H)$ is characteristic for the class group. We confirm this conjecture (among others) if the class group is isomorphic to $C_n^r$ with $r,n \in \mathbb N$ and $\Delta^*(H)$ is not an interval.


title: Hybrid Riemann Solvers for Large Systems of Conservation Laws

abstract: In this paper we present a new family of approximate Riemann solvers for the numerical approximation of solutions of hyperbolic conservation laws. They are approximate, also referred to as incomplete, in the sense that the solvers avoid computing the characteristic decomposition of the flux Jacobian. Instead, they require only an estimate of the globally fastest wave speeds in both directions. Thus, this family of solvers is particularly efficient for large systems of conservation laws, i.e. with many different propagation speeds, and when no explicit expression for the eigensystem is available. Even though only fastest wave speeds are needed as input values, the new family of Riemann solvers reproduces all waves with less dissipation than HLL, which has the same prerequisites, requiring only one additional flux evaluation.


title: Atomic quantum gases in periodically driven optical lattices

abstract: Time periodic forcing in the form of coherent radiation is a standard tool for the coherent manipulation of small quantum systems like single atoms. In the last years, periodic driving has more and more also been considered as a means for the coherent control of many-body systems. In particular, experiments with ultracold quantum gases in optical lattices subjected to periodic driving in the lower kilohertz regime have attracted a lot of attention. Milestones include the observation of dynamic localization, the dynamic control of the quantum phase transition between a bosonic superfluid and a Mott insulator, as well as the dynamic creation of strong artificial magnetic fields and topological band structures. This article reviews these recent experiments and their theoretical description. Moreover, fundamental properties of periodically driven many-body systems are discussed within the framework of Floquet theory, including heating, relaxation dynamics, anomalous topological edge states, and the response to slow parameter variations.


title: On Families of Numerical Semigroups with two Coprime Generators and Dimension three

abstract: This paper examines in a new way some known facts about numerical semigroups especially when the number of minimal generators (that is the embedding dimension) is at most three and at least two minimal generators are coprime. For such semigroups, an algorithm is re-investigated to find the pseudo-Frobenius numbers. A certain family of $n$ dimensional numerical semigroups of type at most $n-1$ is also given.


title: On Douglas general $(\alpha,\beta)$-metrics

abstract: Douglas metrics are metrics with vanishing Douglas curvature which is an important projective invariant in Finsler geometry. To find more Douglas metrics, in this paper we consider a class of Finsler metrics called general $(\alpha,\beta)$-metrics, which are defined by a Riemannian metric $\alpha=\sqrt{a_{ij}(x)y^iy^j}$ and a $1$-form $\beta=b_i(x)y^i$. We obtain the differential equations that characterizes these metrics with vanishing Douglas curvature. By solving the equivalent PDEs, the metrics in this class are totally determined. Then many new Douglas metrics are constructed.


title: Functional central limit theorems for certain statistics in an infinite urn scheme

abstract: We investigate a specific infinite urn scheme first considered by Karlin (1967). We prove functional central limit theorems for the total number of urns with at least k balls for different k.


title: Proton-skins in momentum space and neutron-skins in coordinate space in heavy nuclei

abstract: Neutron-skins in coordinate space and proton-skins in momentum space are predicted to coexist in heavy nuclei and their correlation is governed by Liouville's theorem and Heisenberg's uncertainty principle. An analysis of their correlation within a further extended Thomas-Fermi (ETF$^+$) approximation incorporating effects of nucleon short-range correlations reveals generally that protons move faster than neutrons in neutron-skins of heavy nuclei.


title: Discriminating sample groups with multi-way data

abstract: High-dimensional linear classifiers, such as the support vector machine (SVM) and distance weighted discrimination (DWD), are commonly used in biomedical research to distinguish groups of subjects based on a large number of features. However, their use is limited to applications where a single vector of features is measured for each subject. In practice data are often multi-way, or measured over multiple dimensions. For example, metabolite abundance may be measured over multiple regions or tissues, or gene expression may be measured over multiple time points, for the same subjects. We propose a framework for linear classification of high-dimensional multi-way data, in which coefficients can be factorized into weights that are specific to each dimension. More generally, the coefficients for each measurement in a multi-way dataset are assumed to have low-rank structure. This framework extends existing classification techniques, and we have implemented multi-way versions of SVM and DWD. We describe informative simulation results, and apply multi-way DWD to data for two very different clinical research studies. The first study uses metabolite magnetic resonance spectroscopy data over multiple brain regions to compare patients with and without spinocerebellar ataxia, the second uses publicly available gene expression time-course data to compare treatment responses for patients with multiple sclerosis. Our method improves performance and simplifies interpretation over naive applications of full rank linear classification to multi-way data. An R package is available at https://github.com/lockEF/MultiwayClassification .


title: Nikishin systems on star-like sets: algebraic properties and weak asymptotics of the associated multiple orthogonal polynomials

abstract: Polynomials $Q_n(z)$, $n=0,1,\ldots,$ that are multi-orthogonal with respect to a Nikishin system of $p\geq 1$ compactly supported measures over the star-like set of $p+1$ rays $S_+:=\{z\in \mathbb{C}: z^{p+1}\geq 0 \}$ are investigated. We prove that the Nikishin system is normal, that the polynomials satisfy a three-term recurrence relation of order $p+1$ of the form $z Q_{n}(z)=Q_{n+1}(z)+a_{n}\,Q_{n-p}(z)$ with $a_n>0$ for all $n\geq p$, and that the nonzero roots of $Q_n$ are all simple and located in $S_+$. Under the assumption of regularity (in the sense of Stahl and Totik) of the measures generating the Nikishin system, we describe the asymptotic zero distribution and weak behavior of the polynomials $Q_n$ in terms of a vector equilibrium problem for logarithmic potentials. Under the same regularity assumptions, a theorem on the convergence of the Hermite-Pad\'e approximants to the Nikishin system of Cauchy transforms is proven.


title: When is the sum of complemented subspaces complemented?

abstract: We provide a sufficient condition for the sum of a finite number of complemented subspaces of a Banach space to be complemented. Under this condition a formula for a projection onto the sum is given. We also show that the condition is sharp (in a certain sense). As applications, we get (1) sufficient conditions for the complementability of sums of marginal subspaces in $L^p$ and sums of tensor powers of subspaces in a tensor power of a Banach space and (2) quantitative results on stability of the complementability property of the sum of linearly independent subspaces.


title: Horizon Areas and Logarithmic Correction to the Charged Accelerating Black Hole Entropy

abstract: It has been shown by explicit and exact calculation that the geometric product formula i.e. horizon area (or entropy) product formula of outer horizon (${\cal H}^{+}$) and inner horizon (${\cal H}^{-}$) for charged accelerating black hole (BH) should \emph{ neither be mass-independent nor it be quantized}. This implies that the horizon area (or entropy ) product is mass-independent conjecture has been~\emph{broken down} for charged accelerating BH. This also further implies that the mass-independent feature of the area product of ${\cal H}^{\pm}$ is \emph{not} a generic feature at all. We also compute that the \emph{Cosmic-Censorship-Inequality} for this BH. Indeed it is violated for this BH. Moreover, we compute the specific heat for this BH to determine the local thermodynamic stability of this BH. Under certain criterion, the BH shows the second order phase transition. Furthermore, we compute logarithmic corrections to the entropy for the said BH due to small statistical fluctuations around the thermal equilibrium.


title: From discrete to continuous percolation in dimensions 3 to 7

abstract: We propose a method of studying the continuous percolation of aligned objects as a limit of a corresponding discrete model. We show that the convergence of a discrete model to its continuous limit is controlled by a power-law dependency with a universal exponent $\theta = 3/2$. This allows us to estimate the continuous percolation thresholds in a model of aligned hypercubes in dimensions $d = 3,\ldots,7$ with accuracy far better than that attained using any other method before. We also report improved values of the correlation length critical exponent $\nu$ in dimensions $d = 4,5$ and the values of several universal wrapping probabilities for $d=4,\ldots,7$.


title: Training LDCRF model on unsegmented sequences using Connectionist Temporal Classification

abstract: Many machine learning problems such as speech recognition, gesture recognition, and handwriting recognition are concerned with simultaneous segmentation and labeling of sequence data. Latent-dynamic conditional random field (LDCRF) is a well-known discriminative method that has been successfully used for this task. However, LDCRF can only be trained with pre-segmented data sequences in which the label of each frame is available apriori. In the realm of neural networks, the invention of connectionist temporal classification (CTC) made it possible to train recurrent neural networks on unsegmented sequences with great success. In this paper, we use CTC to train an LDCRF model on unsegmented sequences. Experimental results on two gesture recognition tasks show that the proposed method outperforms LDCRFs, hidden Markov models, and conditional random fields.


title: Model-based Differentially Private Data Synthesis and Statistical Inference in Multiply Synthetic Differentially Private Data

abstract: We propose the approach of model-based differentially private synthesis (modips) in the Bayesian framework for releasing individual-level surrogate/synthetic datasets with privacy guarantees given the original data. The modips technique integrates the concept of differential privacy into model-based data synthesis. We introduce several variants for the general modips approach and different procedures to obtaining privacy-preserving posterior samples, a key step in modips. The uncertainty from the sanitization and synthetic process in modips can be accounted for by releasing multiple synthetic datasets and quantified via an inferential combination rule that is proposed in this paper. We run empirical studies to examine the impacts of the number of synthetic sets and the privacy budget allocation schemes on the inference based on synthetic data.


title: Pulkovo Compilation of Radial Velocities for 35495 Hipparcos Stars in a Common System

abstract: The Pulkovo Compilation of Radial Velocities (PCRV) has been made to study the stellar kinematics in the local spiral arm. The PCRV contains weighted mean absolute radial velocities for 35 495 Hipparcos stars of various spectral types and luminosity classes over the entire celestial sphere mainly within 500 pc of the Sun. The median accuracy of the radial velocities obtained is 0.7 km s$^{-1}$. Results from 203 publications were used in the catalogue. Four of them were used to improve the radial velocities of standard stars from the IAU list. The radial velocities of 155 standard stars turned out to be constant within 0.3 km s$^{-1}$. These stars were used to analyze 47 768 mean radial velocities for 37 200 stars from 12 major publications ($\sim80\%$ of all the data used). Zero-point discrepancies and systematic dependences on radial velocity, $(B-V)$ color index, right ascension, and declination were found in radial velocity differences of the form "publication minus IAU list of standards". These discrepancies and dependences were approximated and taken into account when calculating the weighted mean radial velocities. 1128 stars whose independent radial-velocity determinations were available at least in three of these publications and agreed within 3 km s$^{-1}$ were chosen as the work list of secondary standards. Radial-velocity differences of the form "publication minus list of secondary standards" were used by analogy to correct the zero points and systematic dependences in the radial velocities from 33 more publications (~13\% of the data used). In addition, the radial velocities from 154 minor publications ($\sim7\%$ of the data used) pertaining to well-known instruments were used without any corrections.


title: Modeling galaxy clustering on small scales to tighten constraints on dark energy and modified gravity

abstract: We present a new approach to measuring cosmic expansion history and growth rate of large scale structure using the anisotropic two dimensional galaxy correlation function (2DCF) measured from data; it makes use of the empirical modeling of small-scale galaxy clustering derived from numerical simulations by Zheng et al. (2013). We validate this method using mock catalogues, before applying it to the analysis of the CMASS sample from the Sloan Digital Sky Survey Data Release 10 (DR10) of the Baryon Oscillation Spectroscopic Survey (BOSS). We find that this method enables accurate and precise measurements of cosmic expansion history and growth rate of large scale structure. Modeling the 2DCF fully including nonlinear effects and redshift space distortions (RSD) in the scale range of 16 to 144 Mpc/h, we find H(0.57)r_s(z_d)/c=0.0459 +/- 0.0006, D_A(0.57)/r_s(z_d)=9.011 +/- 0.073, and f_g(0.57)\sigma_8(0.57)=0.476 +/- 0.050, which correspond to precisions of 1.3%, 0.8%, and 10.5% respectively. We have defined r_s(z_d) to be the sound horizon at the drag epoch computed using a simple integral, f_g(z) as the growth rate at redshift z, and \sigma_8(z) as the matter power spectrum normalization on 8Mpc/h scale at z. We find that neglecting the small-scale information significantly weakens the constraints on H(z) and D_A(z), and leads to a biased estimate of f_g(z). Our results indicate that we can significantly tighten constraints on dark energy and modified gravity by reliably modeling small-scale galaxy clustering.


title: $R_{II}$ type recurrence, generalized eigenvalue problem and orthogonal polynomials on the unit circle

abstract: We consider a sequence of polynomials $\{P_n\}_{n \geq 0}$ satisfying a special $R_{II}$ type recurrence relation where the zeros of $P_n$ are simple and lie on the real line. It turns out that the polynomial $P_n$, for any $n \geq 2$, is the characteristic polynomial of a simple $n \times n$ generalized eigenvalue problem. It is shown that with this $R_{II}$ type recurrence relation one can always associate a positive measure on the unit circle. The orthogonality property satisfied by $P_n$ with respect to this measure is also obtained. Finally, examples are given to justify the results.


title: Redshift factor and the first law of binary black hole mechanics in numerical simulations

abstract: The redshift factor $z$ is an invariant quantity of fundamental interest in post-Newtonian and self-force descriptions of compact binaries. It connects different approximation schemes, and plays a central role in the first law of binary black hole mechanics, which links local quantities to asymptotic measures of energy and angular momentum in these systems. Through this law, the redshift factor is conjectured to have a close relation to the surface gravity of the event horizons of black holes in circular orbits. We propose and implement a novel method for extracting the redshift factor on apparent horizons in numerical simulations of quasicircular binary inspirals. Our results confirm the conjectured relationship between $z$ and the surface gravity of the holes and that the first law holds to a remarkable degree for binary inspirals. The redshift factor enables tests of analytic predictions for $z$ in spacetimes where the binary is only approximately circular, giving a new connection between analytic approximations and numerical simulations.


title: Fast Incremental Learning for Off-Road Robot Navigation

abstract: A promising approach to autonomous driving is machine learning. In such systems, training datasets are created that capture the sensory input to a vehicle as well as the desired response. A disadvantage of using a learned navigation system is that the learning process itself may require a huge number of training examples and a large amount of computing. To avoid the need to collect a large training set of driving examples, we describe a system that takes advantage of the huge number of training examples provided by ImageNet, but is able to adapt quickly using a small training set for the specific driving environment.


title: Bianchi VIII and IX vacuum cosmologies: Almost every solution forms particle horizons and converges to the Mixmaster attractor

abstract: Bianchi models are posited by the BKL picture to be essential building blocks towards an understanding of generic cosmological singularities. We study the behaviour of spatially homogeneous anisotropic vacuum spacetimes of Bianchi type VIII and IX, as they approach the big bang singularity. It is known since 2001 that generic Bianchi IX spacetimes converge towards the so-called Mixmaster attractor as time goes towards the singularity. We extend this result to the case of Bianchi VIII vacuum. The BKL picture suggests that particle horizons should form, i.e. spatially separate regions should causally decouple. We prove that this decoupling indeed occurs, for Lebesgue almost every Bianchi VIII and IX vacuum spacetime.


title: Spatial asymptotic expansions in the incompressible Euler equation

abstract: In this paper we prove that the Euler equation describing the motion of an ideal fluid in $\R^d$ is well-posed in a class of functions allowing spatial asymptotic expansions as $|x|\to\infty$ of any a priori given order. These asymptotic expansions can involve log terms and lead to a family of conservation laws. Typically, the solutions of the Euler equation with initial data in the Schwartz class develop non-trivial spatial asymptotic expansions of the type considered here.


title: Continuum limit of a mesoscopic model with elasticity of step motion on vicinal surfaces

abstract: This work considers the rigorous derivation of continuum models of step motion starting from a mesoscopic Burton-Cabrera-Frank (BCF) type model following the work [Xiang, SIAM J. Appl. Math. 2002]. We prove that as the lattice parameter goes to zero, for a finite time interval, a modified discrete model converges to the strong solution of the limiting PDE with first order convergence rate.


title: Exact gradient updates in time independent of output size for the spherical loss family

abstract: An important class of problems involves training deep neural networks with sparse prediction targets of very high dimension D. These occur naturally in e.g. neural language models or the learning of word-embeddings, often posed as predicting the probability of next words among a vocabulary of size D (e.g. 200,000). Computing the equally large, but typically non-sparse D-dimensional output vector from a last hidden layer of reasonable dimension d (e.g. 500) incurs a prohibitive O(Dd) computational cost for each example, as does updating the $D \times d$ output weight matrix and computing the gradient needed for backpropagation to previous layers. While efficient handling of large sparse network inputs is trivial, the case of large sparse targets is not, and has thus so far been sidestepped with approximate alternatives such as hierarchical softmax or sampling-based approximations during training. In this work we develop an original algorithmic approach which, for a family of loss functions that includes squared error and spherical softmax, can compute the exact loss, gradient update for the output weights, and gradient for backpropagation, all in $O(d^{2})$ per example instead of $O(Dd)$, remarkably without ever computing the D-dimensional output. The proposed algorithm yields a speedup of up to $D/4d$ i.e. two orders of magnitude for typical sizes, for that critical part of the computations that often dominates the training time in this kind of network architecture.


title: Comment on 'Symmetry and random sampling of symmetry independent configurations for the simulation of disordered solids'

abstract: The proposed algorithm by Philippe D'Arco et al. 2013 J. Phys.: Condens. Matter 25 355401 was not well compared with other possible solutions for symmetry independent configuration (SIC) generation. In this comment, three well known solutions of SIC searching are discussed: exhaustive explorations, pure random sampling and "symmetry imposed" approaches. It is shown, that the advantages of the algorithm published by Philippe D'Arco et al. are questionable.


title: Enhancing Transparency and Control when Drawing Data-Driven Inferences about Individuals

abstract: Recent studies have shown that information disclosed on social network sites (such as Facebook) can be used to predict personal characteristics with surprisingly high accuracy. In this paper we examine a method to give online users transparency into why certain inferences are made about them by statistical models, and control to inhibit those inferences by hiding ("cloaking") certain personal information from inference. We use this method to examine whether such transparency and control would be a reasonable goal by assessing how difficult it would be for users to actually inhibit inferences. Applying the method to data from a large collection of real users on Facebook, we show that a user must cloak only a small portion of her Facebook Likes in order to inhibit inferences about their personal characteristics. However, we also show that in response a firm could change its modeling of users to make cloaking more difficult.


title: Reflections on the projection of ions in atom probe tomography

abstract: There are two main projections used to transform, and reconstruct, field ion micrographs or atom probe tomography data into atomic coordinates at the specimen surface and, subsequently, in three-dimensions. In this article, we present a perspective on the strength of the azimuthal equidistant projection in comparison to the more widely used and well-established point-projection(or pseudo-stereographic projection), which underpins data reconstruction in most software packages currently in use across the community. After an overview of the reconstruction methodology, we demonstrate that the azimuthal equidistant is more robust with regards to errors on the parameters used to perform the reconstruction and is therefore more likely to yield more accurate tomographic reconstructions.


title: Face Card: An Information-sharing Framework on Google Glass

abstract: Wearable devices such as Google Glass can provide an efficient way to get around users information. We present Face Card, a system builds on Google Glass to provide information-sharing service with around people. With a look at Google Glass, users can quickly get information of nearby and coming users. Utilizing Bluetooth Low Energy (BLE) and proper user interface, Face Card demonstrates the potential of being an efficient information sharing system framework.


title: Quantum ergodicity and $L^p$ norms of restrictions of eigenfunctions

abstract: We prove an analogue of Sogge's local $L^p$ estimates for $L^p$ norms of restrictions of eigenfunctions to submanifolds, and use it to show that for quantum ergodic eigenfunctions one can get improvements of the results of Burq-G\'erard-Tzvetkov, Hu, and Chen-Sogge. The improvements are logarithmic on negatively curved manifolds (without boundary) and by $o(1)$ for manifolds (with or without boundary) with ergodic geodesic flows. In the case of ergodic billiards with piecewise smooth boundary, we get $o(1)$ improvements on $L^\infty$ estimates of Cauchy data away from a shrinking neighborhood of the corners, and as a result using the methods of Ghosh-Reznikov-Sarnak and Jung-Zelditch, we get that the number of nodal domains of two dimensional ergodic billiards tends to infinity as $\lambda \to \infty$. These results work only for a full density subsequence of any given orthonormal basis of eigenfunctions. We also present an extension of the $L^p$ estimates of Burq-G\'erard-Tzvetkov, Hu, and Chen-Sogge, for the restrictions of Dirichlet and Neumann eigenfunctions to compact submanifolds of the interior of manifolds with piecewise smooth boundary. This part does not assume ergodicity on the manifolds.


title: Helicity in Proton-Proton Elastic Scattering and the Spin Structure of the Pomeron

abstract: We discuss different models for the spin structure of the nonperturbative pomeron: scalar, vector, and rank-2 symmetric tensor. The ratio of single-helicity-flip to helicity-conserving amplitudes in polarised high-energy proton-proton elastic scattering, known as the complex r_5 parameter, is calculated for these models. We compare our results to experimental data from the STAR experiment. We show that the spin-0 (scalar) pomeron model is clearly excluded by the data, while the vector pomeron is inconsistent with the rules of quantum field theory. The tensor pomeron is found to be perfectly consistent with the STAR data.


title: Statistical analysis of acoustic wave parameters near active regions

abstract: In order to quantify the influence of magnetic fields on acoustic mode parameters and flows in and around active regions, we analyse the differences in the parameters in magnetically quiet regions nearby an active region (which we call `nearby regions'), compared with those of quiet regions at the same disc locations for which there are no neighboring active regions. We also compare the mode parameters in active regions with those in comparably located quiet regions. Our analysis is based on ring diagram analysis of all active regions observed by HMI during almost five years. We find that the frequency at which the mode amplitude changes from attenuation to amplification in the quiet nearby regions is around 4.2 mHz, in contrast to the active regions, for which it is about 5.1 mHz. This amplitude enhancement (the `acoustic halo effect') is as large as that observed in the active regions, and has a very weak dependence on the wave propagation direction. The mode energy difference in nearby regions also changes from a deficit to an excess at around 4.2 mHz, but averages to zero over all modes. The frequency difference in nearby regions increases with increasing frequency until a point at which the frequency shifts turn over sharply as in active regions. However, this turnover occurs around 4.9 mHz, significantly below the acoustic cutoff frequency. Inverting the horizontal flow parameters in the direction of the neighboring active regions, we find flows that are consistent with a model of the thermal energy flow being blocked directly below the active region.


title: An iteration count estimate for a mesh-dependent steepest descent method based on finite elements and Riesz inner product representation

abstract: Existing implementations of gradient-based optimisation methods typically assume that the problem is posed in Euclidean space. When solving optimality problems on function spaces, the functional derivative is then inaccurately represented with respect to $\ell^2$ instead of the inner product induced by the function space. This error manifests as a mesh dependence in the number of iterations required to solve the optimisation problem. In this paper, an analytic estimate is derived for this iteration count in the case of a simple and generic discretised optimisation problem. The system analysed is the steepest descent method applied to a finite element problem. The estimate is based on Kantorovich's inequality and on an upper bound for the condition number of Galerkin mass matrices. Computer simulations validate the iteration number estimate. Similar numerical results are found for a more complex optimisation problem constrained by a partial differential equation. Representing the functional derivative with respect to the inner product induced by the continuous control space leads to mesh independent convergence.


title: Two-Dimensional Elastic Scattering Coefficients and Enhancement of Nearly Elastic Cloaking

abstract: The concept of scattering coefficients has played a pivotal role in a broad range of inverse scattering and imaging problems in acoustic, and electromagnetic media. In view of their promising applications in inverse problems related to mathematical imaging and elastic cloaking, the notion of elastic scattering coefficients of an inclusion is presented from the perspective of boundary layer potentials and a few properties are discussed. A reconstruction algorithm is developed and analyzed for extracting the elastic scattering coefficients from multi-static response measurements of the scattered field in order to cater to inverse scattering problems. The decay rate, stability and error analyses, and the estimate of maximal resolving order in terms of the signal-to-noise ratio are discussed. Moreover, scattering-coefficients-vanishing structures are designed and their utility for enhancement of nearly elastic cloaking is elucidated.


title: Finite-Size Scaling of Non-Gaussian Fluctuations Near the QCD Critical Point

abstract: An effective Finite-Size Scaling (FSS) of moment products from recent STAR measurements of the variance $\sigma$, skewness $S$ and kurtosis $\kappa$ of net-proton multiplicity distributions, are reported for a broad range of collision centralities in Au+Au ($\sqrt{s_{NN}}= 7.7 - 200$ GeV) collisions. The products $S\sigma $ and $\kappa \sigma^2 $, which are directly related to the hgher-order baryon number susceptibility ratios $\chi^{(3)}_B/\chi^{(2)}_B$ and $\chi^{(4)}_B/\chi^{(2)}_B$, show scaling patterns consistent with earlier indications for a second order phase transition at a critical end point (CEP) in the plane of temperature vs. baryon chemical potential ($T,\mu_B$) of the QCD phase diagram. The resulting scaling functions validate the earlier estimates of $T^{\text{cep}} \sim 165$ MeV and $\mu_B^{\text{cep}} \sim 95$ MeV for the location of the CEP, and the critical exponents used to assign its 3D Ising model universality class.


title: Computing the Convolution of Analog and Discrete Time Exponential Signals Algebraically

abstract: We present a procedure for computing the convolution of exponential signals without the need of solving integrals or summations. The procedure requires the resolution of a system of linear equations involving Vandermonde matrices. We apply the method to solve ordinary differential/difference equations with constant coefficients.


title: Emergent Space-Time via a Geometric Renormalization Method

abstract: We present a purely geometric renormalization scheme for metric spaces (including uncolored graphs), which consists of a coarse graining and a rescaling operation on such spaces. The coarse graining is based on the concept of quasi-isometry, which yields a sequence of discrete coarse grained spaces each having a continuum limit under the rescaling operation. We provide criteria under which such sequences do converge within a superspace of metric spaces, or may constitute the basin of attraction of a common continuum limit, which hopefully, may represent our space-time continuum. We discuss some of the properties of these coarse grained spaces as well as their continuum limits, such as scale invariance and metric similarity, and show that different layers of spacetime can carry different distance functions while being homeomorphic. Important tools in this analysis are the Gromov-Hausdorff distance functional for general metric spaces and the growth degree of graphs or networks. The whole construction is in the spirit of the Wilsonian renormalization group. Furthermore we introduce a physically relevant notion of dimension on the spaces of interest in our analysis, which e.g. for regular lattices reduces to the ordinary lattice dimension. We show that this dimension is stable under the proposed coarse graining procedure as long as the latter is sufficiently local, i.e. quasi-isometric, and discuss the conditions under which this dimension is an integer. We comment on the possibility that the limit space may turn out to be fractal in case the dimension is non-integer. At the end of the paper we briefly mention the possibility that our network carries a translocal far-order which leads to the concept of wormhole spaces and a scale dependent dimension if the coarse graining procedure is no longer local.


title: Algebraic structure and maximal dimension of the symmetry algebra for arbitrary systems of ODEs

abstract: It is known for scalar ordinary differential equations, and for systems of ordinary differential equations of order not higher than the third, that their Lie point symmetry algebras is of maximal dimension if and only if they can be reduced by a point transformation to the trivial equation $\mathbf{y}^{(n)}$=0. For arbitrary systems of ordinary differential equations of order $n \geq 3$ reducible by point transformations to the trivial equation, we determine the complete structure of their Lie point symmetry algebras as well as that for their variational, and their divergence symmetry algebras. As a corollary, we obtain the maximal dimension of the Lie point symmetry algebra for any system of linear or nonlinear ordinary differential equations.


title: Going Digital: A Survey on Digitalization and Large Scale Data Analytics in Healthcare

abstract: We provide an overview of the recent trends towards digitalization and large scale data analytics in healthcare. It is expected that these trends are instrumental in the dramatic changes in the way healthcare will be organized in the future. We discuss the recent political initiatives designed to shift care delivery processes from paper to electronic, with the goals of more effective treatments with better outcomes; cost pressure is a major driver of innovation. We describe newly developed networks of healthcare providers, research organizations and commercial vendors to jointly analyze data for the development of decision support systems. We address the trend towards continuous healthcare where health is monitored by wearable and stationary devices; a related development is that patients increasingly assume responsibility for their own health data. Finally we discuss recent initiatives towards a personalized medicine, based on advances in molecular medicine, data management, and data analytics.


title: Searches for R-parity-violating supersymmetry in pp collisions at sqrt(s) = 8 TeV in final states with 0-4 leptons

abstract: Results are presented from searches for R-parity-violating supersymmetry in events produced in pp collisions at sqrt(s) = 8 TeV at the LHC. Final states with 0, 1, 2, or multiple leptons are considered independently. The analysis is performed on data collected by the CMS experiment corresponding to an integrated luminosity of 19.5 inverse femtobarns. No excesses of events above the standard model expectations are observed, and 95% confidence level limits are set on supersymmetric particle masses and production cross sections. The results are interpreted in models featuring R-parity-violating decays of the lightest supersymmetric particle, which in the studied scenarios can be either the gluino, a bottom squark, or a neutralino. In a gluino pair production model with baryon number violation, gluinos with a mass less than 0.98 and 1.03 TeV are excluded, by analyses in a fully hadronic and one-lepton final state, respectively. An analysis in a dilepton final state is used to exclude bottom squarks with masses less than 307 GeV in a model considering bottom squark pair production. Multilepton final states are considered in the context of either strong or electroweak production of superpartners, and are used to set limits on the masses of the lightest supersymmetric particles. These limits range from 300 to 900 GeV in models with leptonic and up to approximately 700 GeV in models with semileptonic R-parity-violating couplings.


title: Assigning a Small Agreeable Set of Indivisible Items to Multiple Players

abstract: We consider an assignment problem that has aspects of fair division as well as social choice. In particular, we investigate the problem of assigning a small subset from a set of indivisible items to multiple players so that the chosen subset is \emph{agreeable} to all players, i.e., every player weakly prefers the chosen subset to any subset of its complement. For an arbitrary number of players, we derive tight upper bounds on the size for which a subset of that size that is agreeable to all players always exists when preferences are monotonic. We then present polynomial-time algorithms that find an agreeable subset of approximately half of the items when there are two or three players and preferences are responsive. Our results translate to a 2-approximation on the individual welfare of every player when preferences are subadditive.


title: Detection of concealed cars in complex cargo X-ray imagery using Deep Learning

abstract: Non-intrusive inspection systems based on X-ray radiography techniques are routinely used at transport hubs to ensure the conformity of cargo content with the supplied shipping manifest. As trade volumes increase and regulations become more stringent, manual inspection by trained operators is less and less viable due to low throughput. Machine vision techniques can assist operators in their task by automating parts of the inspection workflow. Since cars are routinely involved in trafficking, export fraud, and tax evasion schemes, they represent an attractive target for automated detection and flagging for subsequent inspection by operators. In this contribution, we describe a method for the detection of cars in X-ray cargo images based on trained-from-scratch Convolutional Neural Networks. By introducing an oversampling scheme that suitably addresses the low number of car images available for training, we achieved 100% car image classification rate for a false positive rate of 1-in-454. Cars that were partially or completely obscured by other goods, a modus operandi frequently adopted by criminals, were correctly detected. We believe that this level of performance suggests that the method is suitable for deployment in the field. It is expected that the generic object detection workflow described can be extended to other object classes given the availability of suitable training data.


title: Generative Models for Global Collaboration Relationships

abstract: When individuals interact with each other and meaningfully contribute toward a common goal, it results in a collaboration, as can be seen in many walks of life such as scientific research, motion picture production, or team sports. The artifacts resulting from a collaboration (e.g. papers, movies) are best captured using a hypergraph model, whereas the relation of who has collaborated with whom is best captured via an abstract simplicial complex (SC). In this paper, we propose a generative algorithm GeneSCs for SCs modeling fundamental collaboration relations, primarily based on preferential attachment. The proposed network growth process favors attachment that is preferential not to an individual's degree, i.e., how many people has he/she collaborated with, but to his/her facet degree, i.e., how many maximal groups or facets has he/she collaborated within. Unlike graphs, in SCs, both facet degrees (of nodes) and facet sizes are important to capture connectivity properties. Based on our observation that several real-world facet size distributions have significant deviation from power law-mainly due to the fact that larger facets tend to subsume smaller ones-we adopt a data-driven approach. We seed GeneSCs with a facet size distribution informed by collaboration network data and randomly grow the SC facet-by-facet to generate a final SC whose facet degree distribution matches real data. We prove that the facet degree distribution yielded by GeneSCs is power law distributed for large SCs and show that it is in agreement with real world co-authorship data. Finally, based on our intuition of collaboration formation in domains such as collaborative scientific experiments and movie production, we propose two variants of GeneSCs based on clamped and hybrid preferential attachment schemes, and show that they perform well in these domains.


title: Topological generators for full groups of hyperfinite pmp equivalence relations

abstract: We give an elementary proof that there are two topological generators for the full group of every aperiodic hyperfinite probability measure preserving Borel equivalence relation. Our proof explicitly constructs topological generators for the orbit equivalence relation of the irrational rotation of the circle, and then appeals to Dye's theorem and a Baire category argument to conclude the general case.


title: Deconstructing the E_0 SCFT to Solve the Orbifold Paradox of the Heterotic M Theory

abstract: Many heterotic orbifold models have massless twisted-sector particles with simultaneous E8_1 and E8_2 charges. In the strong-coupling M-theory dual of the heterotic string this poses a paradox: Since the E8_1 and E8_2 live at opposite ends of the x^10 dimension, where could a massless particle with both types of charges possible live? To key to this question are the 5D SCFTs living at the orbifold fixed planes going through the bulk of the M theory. We use dimensional deconstruction to understand how such a 5D SCFT (specifically, the E_0 SCFT at the Z_3 fixed point) works at the superconformal point (rather that at the Coulomb branch) and how it interacts with the boundaries of the x^10. We find that the massless twisted states are not localized in the x^10. Instead, they are non-local meson-like composite particles comprised of a quark living at one boundary of the x^10, and antiquark living at the other boundary, and the string of strongly-interacting 5D gluons connecting the quark to the antiquark.


title: Besov spaces via hyperbolic fillings

abstract: We establish a new characterization of the homogeneous Besov spaces $\dot{\mathcal B}^{s}_{p,q}(Z)$ with smoothness $s \in (0,1)$ in the setting of doubling metric measure spaces $(Z,d,\mu)$. The characterization is given in terms of a hyperbolic filling of the metric space $(Z,d)$, a construction which has previously appeared in the context of other function spaces in [3,1,2]. We use the characterization to obtain results concerning the density of Lipschitz functions in the spaces $\dot{\mathcal B}^{s}_{p,q}(Z)$ and a general complex interpolation formula in the smoothness range $0 < s < 1$.


title: Matrix Balancing in Lp Norms: A New Analysis of Osborne's Iteration

abstract: We study an iterative matrix conditioning algorithm due to Osborne (1960). The goal of the algorithm is to convert a square matrix into a balanced matrix where every row and corresponding column have the same norm. The original algorithm was proposed for balancing rows and columns in the $L_2$ norm, and it works by iterating over balancing a row-column pair in fixed round-robin order. Variants of the algorithm for other norms have been heavily studied and are implemented as standard preconditioners in many numerical linear algebra packages. Recently, Schulman and Sinclair (2015), in a first result of its kind for any norm, analyzed the rate of convergence of a variant of Osborne's algorithm that uses the $L_{\infty}$ norm and a different order of choosing row-column pairs. In this paper we study matrix balancing in the $L_1$ norm and other $L_p$ norms. We show the following results for any matrix $A = (a_{ij})_{i,j=1}^n$, resolving in particular a main open problem mentioned by Schulman and Sinclair. 1) We analyze the iteration for the $L_1$ norm under a greedy order of balancing. We show that it converges to an $\epsilon$-balanced matrix in $K = O(\min\{\epsilon^{-2}\log w,\epsilon^{-1}n^{3/2}\log(w/\epsilon)\})$ iterations that cost a total of $O(m + Kn\log n)$ arithmetic operations over $O(n\log w)$-bit numbers. Here $m$ is the number of non-zero entries of $A$, and $w = \sum_{i,j} |a_{ij}|/a_{\min}$ with $a_{\min} = \min\{|a_{ij}|:\ a_{ij}\neq 0\}$. 2) We show that the original round-robin implementation converges to an $\epsilon$-balanced matrix in $O(\epsilon^{-2}n^2\log w)$ iterations totalling $O(\epsilon^{-2}mn\log w)$ arithmetic operations over $O(n\log w)$-bit numbers. 3) We demonstrate a lower bound of $\Omega(1/\sqrt{\epsilon})$ on the convergence rate of any implementation of the iteration.


title: Cyberbullying Identification Using Participant-Vocabulary Consistency

abstract: With the rise of social media, people can now form relationships and communities easily regardless of location, race, ethnicity, or gender. However, the power of social media simultaneously enables harmful online behavior such as harassment and bullying. Cyberbullying is a serious social problem, making it an important topic in social network analysis. Machine learning methods can potentially help provide better understanding of this phenomenon, but they must address several key challenges: the rapidly changing vocabulary involved in cyber- bullying, the role of social network structure, and the scale of the data. In this study, we propose a model that simultaneously discovers instigators and victims of bullying as well as new bullying vocabulary by starting with a corpus of social interactions and a seed dictionary of bullying indicators. We formulate an objective function based on participant-vocabulary consistency. We evaluate this approach on Twitter and Ask.fm data sets and show that the proposed method can detect new bullying vocabulary as well as victims and bullies.


title: Sampling and Reconstruction of Sparse Signals on Circulant Graphs - An Introduction to Graph-FRI

abstract: With the objective of employing graphs toward a more generalized theory of signal processing, we present a novel sampling framework for (wavelet-)sparse signals defined on circulant graphs which extends basic properties of Finite Rate of Innovation (FRI) theory to the graph domain, and can be applied to arbitrary graphs via suitable approximation schemes. At its core, the introduced Graph-FRI-framework states that any K-sparse signal on the vertices of a circulant graph can be perfectly reconstructed from its dimensionality-reduced representation in the graph spectral domain, the Graph Fourier Transform (GFT), of minimum size 2K. By leveraging the recently developed theory of e-splines and e-spline wavelets on graphs, one can decompose this graph spectral transformation into the multiresolution low-pass filtering operation with a graph e-spline filter, and subsequent transformation to the spectral graph domain; this allows to infer a distinct sampling pattern, and, ultimately, the structure of an associated coarsened graph, which preserves essential properties of the original, including circularity and, where applicable, the graph generating set.


title: Influence of Surface Tension on Nuclear Collective Properties

abstract: Rigidities of even-even nuclei were estimated and compared with nuclear charge radii. Correlation of maximal nuclear rigidities with minimal values of r0 parameters was revealed. Influence of effective surface tension on nuclear properties was discussed.


title: A width parameter useful for chordal and co-comparability graphs

abstract: We investigate new graph classes of bounded mim-width, strictly extending interval graphs and permutation graphs. The graphs $K_t \boxminus K_t$ and $K_t \boxminus S_t$ are graphs obtained from the disjoint union of two cliques of size $t$, and one clique of size $t$ and one independent set of size $t$ respectively, by adding a perfect matching. We prove that : (1) interval graphs are $(K_3\boxminus S_3)$-free chordal graphs; and $(K_t\boxminus S_t)$-free chordal graphs have mim-width at most $t-1$, (2) permutation graphs are $(K_3\boxminus K_3)$-free co-comparability graphs; and $(K_t\boxminus K_t)$-free co-comparability graphs have mim-width at most $t-1$, (3) chordal graphs and co-comparability graphs have unbounded mim-width in general. We obtain several algorithmic consequences; for instance, while Minimum Dominating Set is NP-complete on chordal graphs, it can be solved in time $n^{\mathcal{O}(t)}$ on $(K_t\boxminus S_t)$-free chordal graphs. The third statement strengthens a result of Belmonte and Vatshelle stating that either those classes do not have constant mim-width or a decomposition with constant mim-width cannot be computed in polynomial time unless $P=NP$. We generalize these ideas to bigger graph classes. We introduce a new width parameter sim-width, of stronger modelling power than mim-width, by making a small change in the definition of mim-width. We prove that chordal graphs and co-comparability graphs have sim-width at most 1. We investigate a way to bound mim-width for graphs of bounded sim-width by excluding $K_t\boxminus K_t$ and $K_t\boxminus S_t$ as induced minors or induced subgraphs, and give algorithmic consequences. Lastly, we show that circle graphs have unbounded sim-width, and thus also unbounded mim-width.


title: In Situ and Ex Situ Formation Models of Kepler 11 Planets

abstract: We present formation simulations of the six Kepler 11 planets. Models assume either in situ or ex situ assembly, the latter with migration, and are evolved to the estimated age of the system, 8 Gyr. Models combine detailed calculations of both the gaseous envelope and the condensed core structures, including accretion of gas and solids, of the disk's viscous and thermal evolution, including photo-evaporation and disk-planet interactions, and of the planets' evaporative mass loss after disk dispersal. Planet-planet interactions are neglected. Both sets of simulations successfully reproduce measured radii, masses, and orbital distances of the planets, except for the radius of Kepler 11b, which loses its entire gaseous envelope shortly after formation. Gaseous (H+He) envelopes account for < 18% of the planet masses, and between 35 and 60% of the planet radii. In situ models predict a very massive inner disk, whose solids' surface density (sigma_Z) varies from over 1e4 to 1e3 g/cm2 at stellocentric distances 0.1 < r < 0.5 AU. Initial gas densities would be in excess of 1e5 g/cm2 if solids formed locally. Given the high disk temperatures (> 1000 K), planetary interiors can only be composed of metals and highly refractory materials. Sequestration of hydrogen by the core and subsequent outgassing is required to account for the observed radius of Kepler 11b. Ex situ models predict a relatively low-mass disk, whose initial sigma_Z varies from 10 to 5 g/cm2 at 0.5 < r < 7 AU and whose initial gas density ranges from 1e3 to 100 g/cm2. All planetary interiors are expected to be rich in H2O, as core assembly mostly occurs exterior to the ice condensation front. Kepler 11b is expected to have a steam atmosphere, and H2O is likely mixed with H+He in the envelopes of the other planets. Results indicate that Kepler 11g may not be more massive than Kepler 11e.


title: This before That: Causal Precedence in the Biomedical Domain

abstract: Causal precedence between biochemical interactions is crucial in the biomedical domain, because it transforms collections of individual interactions, e.g., bindings and phosphorylations, into the causal mechanisms needed to inform meaningful search and inference. Here, we analyze causal precedence in the biomedical domain as distinct from open-domain, temporal precedence. First, we describe a novel, hand-annotated text corpus of causal precedence in the biomedical domain. Second, we use this corpus to investigate a battery of models of precedence, covering rule-based, feature-based, and latent representation models. The highest-performing individual model achieved a micro F1 of 43 points, approaching the best performers on the simpler temporal-only precedence tasks. Feature-based and latent representation models each outperform the rule-based models, but their performance is complementary to one another. We apply a sieve-based architecture to capitalize on this lack of overlap, achieving a micro F1 score of 46 points.


title: Framework for state and unknown input estimation of linear time-varying systems

abstract: The design of unknown-input decoupled observers and filters requires the assumption of an existence condition in the literature. This paper addresses an unknown input filtering problem where the existence condition is not satisfied. Instead of designing a traditional unknown input decoupled filter, a Double-Model Adaptive Estimation approach is extended to solve the unknown input filtering problem. It is proved that the state and the unknown inputs can be estimated and decoupled using the extended Double-Model Adaptive Estimation approach without satisfying the existence condition. Numerical examples are presented in which the performance of the proposed approach is compared to methods from literature.


title: Normal forms in Cauchy-Riemann Geometry: a survey

abstract: One of effective ways to solve the equivalence problem and describe moduli spaces for real submanifolds in complex space is the normal form approach. In this survey, we outline some normal form constructions in CR-geometry and formulate a number of open problems.


title: Classifying Material Implications over Minimal Logic

abstract: The so-called paradoxes of material implication have motivated the development of many non-classical logics over the years \cite{aA75,nB77,aA89,gP89,sH96}. In this note, we investigate some of these paradoxes and classify them, over minimal logic. We provide proofs of equivalence and semantic models separating the paradoxes where appropriate. A number of equivalent groups arise, all of which collapse with unrestricted use of double negation elimination. Interestingly, the principle \emph{ex falso quodlibet}, and several weaker principles, turn out to be distinguishable, giving perhaps supporting motivation for adopting minimal logic as the ambient logic for reasoning in the possible presence of inconsistency.


title: Characterization of the second- and third-order nonlinear optical susceptibilities of monolayer MoS$_2$ using multiphoton microscopy

abstract: We report second- and third-harmonic generation in monolayer MoS$_\mathrm{2}$ as a tool for imaging and accurately characterizing the material's nonlinear optical properties under 1560 nm excitation. Using a surface nonlinear optics treatment, we derive expressions relating experimental measurements to second- and third-order nonlinear sheet susceptibility magnitudes, obtaining values of $|\chi_s^{(2)}|=2.0\times10^{-20}$ m$^2$ V$^{-1}$ and for the first time for monolayer MoS$_\mathrm{2}$, $|\chi_s^{(3)}|=1.7\times10^{-28}$ m$^3$ V$^{-2}$. These sheet susceptibilities correspond to effective bulk nonlinear susceptibility values of $|\chi_{b}^{(2)}|=2.9\times10^{-11}$ m V$^{-1}$ and $|\chi_{b}^{(3)}|=2.4\times10^{-19}$ m$^2$ V$^{-2}$, accounting for the sheet thickness. Experimental comparisons between MoS$_\mathrm{2}$ and graphene are also performed, demonstrating $\sim$3.4 times stronger third-order sheet nonlinearity in monolayer MoS$_\mathrm{2}$, highlighting the material's potential for nonlinear photonics in the telecommunications C band.


title: Optimal Down Regulation of mRNA Translation

abstract: Down regulation of mRNA translation is an important problem in various bio-medical domains ranging from developing effective medicines for tumors and for viral diseases to developing attenuated virus strains that can be used for vaccination. Here, we study the problem of down regulation of mRNA translation using a mathematical model called the ribosome flow model (RFM). In the RFM, the mRNA molecule is modeled as a chain of $n$ sites. The flow of ribosomes between consecutive sites is regulated by $n+1$ transition rates. Given a set of feasible transition rates, that models the outcome of all possible mutations, we consider the problem of maximally down regulating the translation rate by altering the rates within this set of feasible rates. Under certain conditions on the feasible set, we show that an optimal solution can be determined efficiently. We also rigorously analyze two special cases of the down regulation optimization problem. Our results suggest that one must focus on the position along the mRNA molecule where the transition rate has the strongest effect on the protein production rate. However, this rate is not necessarily the slowest transition rate along the mRNA molecule. We discuss some of the biological implications of these results.


title: Critical behavior of noise-induced phase synchronization

abstract: In this article, we present a systematic study of the critical behavior of phase oscillators with multiplicative noise from a thermodynamic equilibrium approach. We have already presented the thermodynamics of phase noise oscillators and mapped out in detail the behavior of free energy, entropy, and specific heat in a previous work [P. D. Pinto, F.A. Oliveira, A.L.A. Penna, Phys. Rev. E 93, 052220 (2016)], in which we also introduced the concept of synchronization field. This proved to be important in order to understand the effect of multiplicative noise in the synchronization of the system. Using this approach, our aim is now to study analytically the critical behavior of this system from which we derive a fluctuation-dissipation relation as well as the critical exponents associated with the order parameter, specific heat, and susceptibility. We show that the exponents obey the Rushbrooke and Widom scaling laws.


title: Quantum Simulation of a Quantum Stochastic Walk

abstract: The study of quantum walks has been shown to have a wide range of applications in areas such as artificial intelligence, the study of biological processes, and quantum transport. The quantum stochastic walk, which allows for incoherent movement of the walker, and therefore, directionality, is a generalization on the fully coherent quantum walk. While a quantum stochastic walk can always be described in Lindblad formalism, this does not mean that it can be microscopically derived in the standard weak-coupling limit under the Born-Markov approximation. This restricts the class of quantum stochastic walks that can be experimentally realized in a simple manner. To circumvent this restriction, we introduce a technique to simulate open system evolution on a fully coherent quantum computer, using a quantum trajectories style approach. We apply this technique to a broad class of quantum stochastic walks, and show that they can be simulated with minimal experimental resources. Our work opens the path towards the experimental realization of quantum stochastic walks on large graphs with existing quantum technologies.


title: Signals induced by charge-trapping in EDELWEISS FID detectors: analytical modeling and applications

abstract: The EDELWEISS-III direct dark matter search experiment uses cryogenic HP-Ge detectors Fully covered with Inter-Digitized electrodes (FID). They are operated at low fields ($<1\;\mathrm{V/cm}$), and as a consequence charge-carrier trapping significantly affects both the ionization and heat energy measurements. This paper describes an analytical model of the signals induced by trapped charges in FID detectors based on the Shockley-Ramo theorem. It is used to demonstrate that veto electrodes, initially designed for the sole purpose of surface event rejection, can be used to provide a sensitivity to the depth of the energy deposits, characterize the trapping in the crystals, perform heat and ionization energy corrections and improve the ionization baseline resolutions. These procedures are applied successfully to actual data.


title: California Reservoir Drought Sensitivity and Exhaustion Risk Using Statistical Graphical Models

abstract: The ongoing California drought has highlighted the potential vulnerability of state water management infrastructure to multi-year dry intervals. Due to the high complexity of the network, dynamic storage changes across the California reservoir system have been difficult to model using either conventional statistical or physical approaches. Here, we analyze the interactions of monthly volumes in a network of 55 large California reservoirs, over a period of 136 months from 2004 to 2015, and we develop a latent-variable graphical model of their joint fluctuations. We achieve reliable and tractable modeling of the system because the model structure allows unique recovery of the best-in-class model via convex optimization with control of the number of free parameters. We extract a statewide `latent' influencing factor which turns out to be highly correlated with both the Palmer Drought Severity Index (PDSI, $\rho \approx 0.86$) and hydroelectric production ($\rho \approx 0.71$). Further, the model allows us to determine system health measures such as exhaustion probability and per-reservoir drought sensitivity. We find that as PDSI approaches -6, there is a probability greater than 50\% of simultaneous exhaustion of multiple large reservoirs.


title: Convex functions and means of matrices

abstract: In this article, we prove that convex functions and log-convex functions obey certain general refinements that lead to several refinements and reverses of well known inequalities for matrices, including Young's inequality, Heinz inequality, the arithmetic-harmonic and the geometric-harmonic mean inequalities.


title: Repeatable Room Temperature Negative Differential Conductance in GaN/AlN Resonant Tunneling Diodes

abstract: Double barrier GaN/AlN resonant tunneling heterostructures have been grown by molecular beam epitaxy on the (0001) plane of commercially available bulk GaN substrates. Resonant tunneling diodes were fabricated; room temperature current-voltage measurements reveal the presence of a negative differential conductance region under forward bias with peak current densities of ~6.4 $kA/cm^2$ and a peak to valley current ratio of ~1.3. Reverse bias operation presents a characteristic turn-on threshold voltage intimately linked to the polarization fields present in the heterostructure. An analytic electrostatic model is developed to capture the unique features of polar-heterostructure-based resonant tunneling diodes; both the resonant and threshold voltages are derived as a function of the design parameters and polarization fields. Subsequent measurements confirm the repeatability of the negative conductance and demonstrate that III-nitride tunneling heterostructures are capable of robust resonant transport at room temperature.


title: Real-time Decentralized and Robust Voltage Control in Distribution Networks

abstract: Voltage control plays an important role in the operation of electricity distribution networks, especially when there is a large penetration of renewable energy resources. In this paper, we focus on voltage control through reactive power compensation and study how different information structures affect the control performance. In particular, we first show that using only voltage measurements to determine reactive power compensation is insufficient to maintain voltage in the acceptable range. Then we propose two fully decentralized and robust algorithms by adding additional information, which can stabilize the voltage in the acceptable range. The one with higher complexity can further minimize a cost of reactive power compensation in a particular form. Both of the two algorithms use only local measurements and local variables and require no communication. In addition, the two algorithms are robust against heterogeneous update rates and delays.


title: Constraints on Cosmic Distance Duality Relation from Cosmological Observations

abstract: In this paper, we use the model dependent method to revisit the constraint on the well-known cosmic distance duality relation (CDDR). By using the latest SNIa samples, such as Union2.1, JLA and SNLS, we find that the SNIa data alone can not constrain the cosmic opacity parameter $\varepsilon$, which denotes the deviation from the CDDR, $d_{\rm L} = d_{\rm A}(1+z)^{2+\varepsilon}$, very well. The constraining power on $\varepsilon$ from the luminosity distance indicator provided by SNIa and GRB is hardly to be improved at present. When we include other cosmological observations, such as the measurements of Hubble parameter, the baryon acoustic oscillations and the distance information from cosmic microwave background, we obtain the tightest constraint on the cosmic opacity parameter $\varepsilon$, namely the 68\% C.L. limit: $\varepsilon=0.023\pm0.018$. Furthermore, we also consider the evolution of $\varepsilon$ as a function of $z$ using two methods, the parametrization and the principle component analysis, and do not find the evidence for the deviation from zero. Finally, we simulate the future SNIa and Hubble measurements and find the mock data could give very tight constraint on the cosmic opacity $\varepsilon$ and verify the CDDR at high significance.


title: State power and elite autonomy in a networked civil society: The board interlocking of Chinese non-profits

abstract: In response to failures of central planning, the Chinese government has experimented not only with free-market trade zones, but with allowing non-profit foundations to operate in a decentralized fashion. A network study shows how these foundations have connected together by sharing board members, in a structural parallel to what is seen in corporations in the United States and Europe. This board interlocking leads to the emergence of an elite group with privileged network positions. While the presence of government officials on non-profit boards is widespread, government officials are much less common in a subgroup of foundations that control just over half of all revenue in the network. This subgroup, associated with business elites, not only enjoys higher levels of within-elite links, but even preferentially excludes government officials from the NGOs with higher degree. The emergence of this structurally autonomous sphere is associated with major political and social events in the state-society relationship. Cluster analysis reveals multiple internal components within this sphere that share similar levels of network influence. Rather than a core-periphery structure centered around government officials, the Chinese non-profit world appears to be a multipolar one of distinct elite groups, many of which achieve high levels of independence from direct government control.


title: Content-Based Top-N Recommendation using Heterogeneous Relations

abstract: Top-$N$ recommender systems have been extensively studied. However, the sparsity of user-item activities has not been well resolved. While many hybrid systems were proposed to address the cold-start problem, the profile information has not been sufficiently leveraged. Furthermore, the heterogeneity of profiles between users and items intensifies the challenge. In this paper, we propose a content-based top-$N$ recommender system by learning the global term weights in profiles. To achieve this, we bring in PathSim, which could well measures the node similarity with heterogeneous relations (between users and items). Starting from the original TF-IDF value, the global term weights gradually converge, and eventually reflect both profile and activity information. To facilitate training, the derivative is reformulated into matrix form, which could easily be paralleled. We conduct extensive experiments, which demonstrate the superiority of the proposed method.


title: The Dependent Random Measures with Independent Increments in Mixture Models

abstract: When observations are organized into groups where commonalties exist amongst them, the dependent random measures can be an ideal choice for modeling. One of the propositions of the dependent random measures is that the atoms of the posterior distribution are shared amongst groups, and hence groups can borrow information from each other. When normalized dependent random measures prior with independent increments are applied, we can derive appropriate exchangeable probability partition function (EPPF), and subsequently also deduce its inference algorithm given any mixture model likelihood. We provide all necessary derivation and solution to this framework. For demonstration, we used mixture of Gaussians likelihood in combination with a dependent structure constructed by linear combinations of CRMs. Our experiments show superior performance when using this framework, where the inferred values including the mixing weights and the number of clusters both respond appropriately to the number of completely random measure used.


title: Prior based model checking

abstract: Model checking procedures are considered based on the use of the Dirichlet process and relative belief. This combination is seen to lead to some unique advantages for this problem. In particular, it avoids double use of the data and prior-data conflict. Several examples have been incorporated, in which the proposed approach exhibits excellent performance.


title: Consistent analytic approach to the efficiency of collisional Penrose process

abstract: We propose a consistent analytic approach to the efficiency of collisional Penrose process in the vicinity of a maximally rotating Kerr black hole. We focus on a collision with arbitrarily high center-of-mass energy, which occurs if either of the colliding particles has its angular momentum fine-tuned to the critical value to enter the horizon. We show that if the fine-tuned particle is ingoing on the collision, the upper limit of the efficiency is $(2+\sqrt{3})(2-\sqrt{2})\simeq 2.186$, while if the fine-tuned particle is bounced back before the collision, the upper limit is $(2+\sqrt{3})^{2}\simeq 13.93$. Despite earlier claims, the former can be attained for inverse Compton scattering if the fine-tuned particle is massive and starts at rest at infinity, while the latter can be attained for various particle reactions, such as inverse Compton scattering and pair annihilation, if the fine-tuned particle is either massless or highly relativistic at infinity. We discuss the difference between the present and earlier analyses.


title: Gauge-Higgs EW and Grand Unification

abstract: 4D Higgs field is identified with the extra-dimensional component of gauge potentials in the gauge-Higgs unification scenario. $SO(5) \times U(1)$ gauge-Higgs EW unification in the Randall-Sundrum warped space is successful at low energies. The Higgs field appears as an Aharonov-Bohm phase $\theta_H$ in the fifth dimension. Its mass is generated at the quantum level and is finite. The model yields almost the same phenomenology as the standard model for $\theta_H < 0.1$, and predicts $Z'$ bosons around 6 - 10 TeV with very broad widths. The scenario is genelarized to $SO(11)$ gauge-Higgs grand unification. Fermions are introduced in the spinor and vector representations of $SO(11)$. Proton decay is naturally forbidden.


title: Can Turing machine be curious about its Turing test results? Three informal lectures on physics of intelligence

abstract: What is the nature of curiosity? Is there any scientific way to understand the origin of this mysterious force that drives the behavior of even the stupidest naturally intelligent systems and is completely absent in their smartest artificial analogs? Can we build AI systems that could be curious about something, systems that would have an intrinsic motivation to learn? Is such a motivation quantifiable? Is it implementable? I will discuss this problem from the standpoint of physics. The relationship between physics and intelligence is a consequence of the fact that correctly predicted information is nothing but an energy resource, and the process of thinking can be viewed as a process of accumulating and spending this resource through the acts of perception and, respectively, decision making. The natural motivation of any autonomous system to keep this accumulation/spending balance as high as possible allows one to treat the problem of describing the dynamics of thinking processes as a resource optimization problem. Here I will propose and discuss a simple theoretical model of such an autonomous system which I call the Autonomous Turing Machine (ATM). The potential attractiveness of ATM lies in the fact that it is the model of a self-propelled AI for which the only available energy resource is the information itself. For ATM, the problem of optimal thinking, learning, and decision-making becomes conceptually simple and mathematically well tractable. This circumstance makes the ATM an ideal playground for studying the dynamics of intelligent behavior and allows one to quantify many seemingly unquantifiable features of genuine intelligence.


title: Central Limit Theorems for Gaps of Generalized Zeckendorf Decompositions

abstract: Zeckendorf proved that every integer can be written uniquely as a sum of non-adjacent Fibonacci numbers $\{1,2,3,5,\dots\}$. This has been extended to many other recurrence relations $\{G_n\}$ (with their own notion of a legal decomposition) and to proving that the distribution of the number of summands of an $M \in [G_n, G_{n+1})$ converges to a Gaussian as $n\to\infty$. We prove that for any non-negative integer $g$ the average number of gaps of size $g$ in many generalized Zeckendorf decompositions is $C_\mu n+d_\mu+o(1)$ for constants $C_\mu > 0$ and $d_\mu$ depending on $g$ and the recurrence, the variance of the number of gaps of size $g$ is similarly $C_\sigma n + d_\sigma + o(1)$ with $C_\sigma > 0$, and the number of gaps of size $g$ of an $M\in[G_n,G_{n+1})$ converges to a Gaussian as $n\to\infty$. The proof is by analysis of an associated two-dimensional recurrence; we prove a general result on when such behavior converges to a Gaussian, and additionally re-derive other results in the literature.


title: Differential equations and exact solutions in the moving sofa problem

abstract: The moving sofa problem, posed by L. Moser in 1966, asks for the planar shape of maximal area that can move around a right-angled corner in a hallway of unit width, and is conjectured to have as its solution a complicated shape derived by Gerver in 1992. We extend Gerver's techniques by deriving a family of six differential equations arising from the area-maximization property. We then use this result to derive a new shape that we propose as a possible solution to the "ambidextrous moving sofa problem," a variant of the problem previously studied by Conway and others in which the shape is required to be able to negotiate a right-angle turn both to the left and to the right. Unlike Gerver's construction, our new shape can be expressed in closed form, and its boundary is a piecewise algebraic curve. Its area is equal to $X+\arctan Y$, where $X$ and $Y$ are solutions to the cubic equations $x^2(x+3)=8$ and $x(4x^2+3)=1$, respectively.


title: Aspects of a nonminimal conformal extension of the standard model

abstract: In this article we investigate a conformal extension of the standard model in which the scalar sector consists of a standard model Higgs doublet, a real gauge singlet and a real $SU(2)_{L}$ triplet. Focusing on the scenario where the Higgs boson found at the LHC is identified as the pseudo-Nambu-Goldstone boson of broken scale invariance, various theoretical and phenomenological features of the model are discussed. In particular, we analyze the decay pattern of the new scalar resonance. We also show that when the mass of this new scalar resonance is far below the $WW$ threshold, the natural regions of the parameter space are reduced by a constraint associated with the symmetry enhancement due to the decoupling of the singlet scalar from the rest of the system.


title: Quantum synchronization and quantum state sharing in irregular complex network

abstract: We investigate quantum synchronization phenomenon within the complex network constituted by coupled optomechanical systems and prove the unknown identical quantum states can be shared or distributed in the quantum network even though the topology is varying. Considering a channel constructed by quantum correlation, we show that quantum synchronization can sustain and maintain high levels in Markovian dissipation for a long time. We analyze state sharing process between two typical complex networks, that is, a small-world network corresponding to linear motif state sharing and a scale-free network corresponding to whole network sharing, respectively. Our results predict that linked nodes can be directly synchronized in small-world network, but the whole network will be synchronized only if some specific synchronization conditions are satisfied. Furthermore, we give the synchronization conditions analytically through analyzing network dynamics. This proposal paves the way for studying multi-interaction synchronization and achieving an effective quantum information processing in complex network.


title: TITUS: the Tokai Intermediate Tank for the Unoscillated Spectrum

abstract: The TITUS, Tokai Intermediate Tank for Unoscillated Spectrum, detector, is a proposed Gd-doped Water Cherenkov tank with a magnetised muon range detector downstream. It is located at J-PARC at about 2 km from the neutrino target and it is proposed as a potential near detector for the Hyper-Kamiokande experiment. Assuming a beam power of 1.3 MW and 27.05 x 10^{21} protons-on-target the sensitivity to CP and mixing parameters achieved by Hyper-Kamiokande with TITUS as a near detector is presented. Also, the potential of the detector for cross sections and Standard Model parameter determination, supernova neutrino and dark matter are shown.