title: Comparison between $Fermi$ Detected and non-$Fermi$ Detected Superluminal Sources

abstract: Active galactic nuclei (AGNs) have been attracting research attention due to their special observable properties. Specifically, a majority of AGNs are detected by Fermi-LAT missions, but not by Fermi-LAT, which raises the question of whether any differences exist between the two. To answer this issue, we compile a sample of 291 superluminal AGNs (189 FDSs and 102 non-FDSs) from available multi-wavelength radio, optical, and X-ray (or even $\gamma$-ray) data and Doppler factors and proper motion ($\mu$) (or apparent velocity ($\beta_{\rm{app}}$)); calculated the apparent velocity from their proper motion, Lorentz factor ($\Gamma$), viewing angle ($\phi$) and co-moving viewing angle ($\phi_{co}$) for the sources with available Doppler factor ($\delta$); and performed some statistical analyses for both types. Our study indicated that1. In terms of average values, FDSs have higher proper motions ($\mu$), apparent velocities ($\beta_{\rm app}$), Doppler factor ($\delta$), Lorentz factor ($\Gamma$), and smaller viewing angle ($\phi$). Nevertheless, there is no clear difference in co-moving viewing angles ($\phi_{\rm co}$).


title: Reconfiguration of Connected Graph Partitions

abstract: Motivated by recent computational models for redistricting and detection of gerrymandering, we study the following problem on graph partitions. Given a graph $G$ and an integer $k\geq 1$, a $k$-district map of $G$ is a partition of $V(G)$ into $k$ nonempty subsets, called districts, each of which induces a connected subgraph of $G$. A switch is an operation that modifies a $k$-district map by reassigning a subset of vertices from one district to an adjacent district; a 1-switch is a switch that moves a single vertex. We study the connectivity of the configuration space of all $k$-district maps of a graph $G$ under 1-switch operations. We give a combinatorial characterization for the connectedness of this space that can be tested efficiently. We prove that it is NP-complete to decide whether there exists a sequence of 1-switches that takes a given $k$-district map into another; and NP-hard to find the shortest such sequence (even if a sequence of polynomial length is known to exist). We also present efficient algorithms for computing a sequence of 1-switches that takes a given $k$-district map into another when the space is connected, and show that these algorithms perform a worst-case optimal number of switches up to constant factors.


title: Boundedness of weighted iterated Hardy-type operators involving suprema from weighted Lebesgue spaces into weighted Ces\`{a}ro function spaces

abstract: In this paper the boundedness of the weighted iterated Hardy-type operators $T_{u,b}$ and $T_{u,b}^*$ involving suprema from weighted Lebesgue space $L_p(v)$ into weighted Ces\`{a}ro function spaces ${\operatorname{Ces}}_{q}(w,a)$ are characterized. These results allow us to obtain the characterization of the boundedness of the supremal operator $R_u$ from $L^p(v)$ into ${\operatorname{Ces}}_{q}(w,a)$ on the cone of monotone non-increasing functions. For the convenience of the reader, we formulate the statement on the boundedness of the weighted Hardy operator $P_{u,b }$ from $L^p(v)$ into ${\operatorname{Ces}}_{q}(w,a)$ on the cone of monotone non-increasing functions. Under additional condition on $u$ and $b$, we are able to characterize the boundedness of weighted iterated Hardy-type operator $T_{u,b}$ involving suprema from $L^p(v)$ into ${\operatorname{Ces}}_q(w,a)$ on the cone of monotone non-increasing functions. At the end of the paper, as an application of obtained results, we calculate the norm of the fractional maximal function $M_{\gamma}$ from $\Lambda^p(v)$ into $\Gamma^q(w)$.


title: High-Order Evaluation Complexity for Convexly-Constrained Optimization with Non-Lipschitzian Group Sparsity Terms

abstract: This paper studies high-order evaluation complexity for partially separable convexly-constrained optimization involving non-Lipschitzian group sparsity terms in a nonconvex objective function. We propose a partially separable adaptive regularization algorithm using a $p$-th order Taylor model and show that the algorithm can produce an (epsilon,delta)-approximate q-th-order stationary point in at most O(epsilon^{-(p+1)/(p-q+1)}) evaluations of the objective function and its first p derivatives (whenever they exist). Our model uses the underlying rotational symmetry of the Euclidean norm function to build a Lipschitzian approximation for the non-Lipschitzian group sparsity terms, which are defined by the group ell_2-ell_a norm with a in (0,1). The new result shows that the partially-separable structure and non-Lipschitzian group sparsity terms in the objective function may not affect the worst-case evaluation complexity order.


title: Semi-supervised GANs to Infer Travel Modes in GPS Trajectories

abstract: Semi-supervised Generative Adversarial Networks (GANs) are developed in the context of travel mode inference with uni-dimensional smartphone trajectory data. We use data from a large-scale smartphone travel survey in Montreal, Canada. We convert GPS trajectories into fixed-sized segments with five channels (variables). We develop different GANs architectures and compare their prediction results with Convolutional Neural Networks (CNNs). The best semi-supervised GANs model led to a prediction accuracy of 83.4%, while the best CNN model was able to achieve the prediction accuracy of 81.3%. The results compare favorably with previous studies, especially when taking the large-scale real-world nature of the dataset into account.


title: Quantum signatures of chaos, thermalization and tunneling in the exactly solvable few body kicked top

abstract: Exactly solvable models that exhibit quantum signatures of classical chaos are both rare as well as important - more so in view of the fact that the mechanisms for ergodic behavior and thermalization in isolated quantum systems and its connections to non-integrability are under active investigation. In this work, we study quantum systems of few qubits collectively modeled as a kicked top, a textbook example of quantum chaos. In particular, we show that the 3 and 4 qubit cases are exactly solvable and yet, interestingly, can display signatures of ergodicity and thermalization. Deriving analytical expressions for entanglement entropy and concurrence, we see agreement in certain parameter regimes between long-time average values and ensemble averages of random states with permutation symmetry. Comparing with results using the data of a recent transmons based experiment realizing the 3-qubit case, we find agreement for short times, including a peculiar step-like behaviour in correlations of some states. In the case of 4-qubits we point to a precursor of dynamical tunneling between what in the classical limit would be two stable islands. Numerical results for larger number of qubits show the emergence of the classical limit including signatures of a bifurcation.


title: Learning Task Knowledge and its Scope of Applicability in Experience-Based Planning Domains

abstract: Experience-based planning domains (EBPDs) have been recently proposed to improve problem solving by learning from experience. EBPDs provide important concepts for long-term learning and planning in robotics. They rely on acquiring and using task knowledge, i.e., activity schemata, for generating concrete solutions to problem instances in a class of tasks. Using Three-Valued Logic Analysis (TVLA), we extend previous work to generate a set of conditions as the scope of applicability for an activity schema. The inferred scope is a bounded representation of a set of problems of potentially unbounded size, in the form of a 3-valued logical structure, which allows an EBPD system to automatically find an applicable activity schema for solving task problems. We demonstrate the utility of our approach in a set of classes of problems in a simulated domain and a class of real world tasks in a fully physically simulated PR2 robot in Gazebo.


title: Forward Discretely Self-Similar Solutions of the MHD Equations and the Viscoelastic Navier-Stokes Equations with Damping

abstract: In this paper, we prove the existence of forward discretely self-similar solutions to the MHD equations and the viscoelastic Navier-Stokes equations with damping with large weak $L^3$ initial data. The same proving techniques are also applied to construct self-similar solutions to the MHD equations and the viscoelastic Navier-Stokes equations with damping with large weak $L^3$ initial data. This approach is based on [Z. Bradshaw and T.-P. Tsai, Ann. Henri Poincar'{e}, vol. 18, no. 3, 1095-1119, 2017].


title: Co-radiant set-valued mappings

abstract: We introduce and study a notion of co-radiantness for set-valued mappings between nonnegative orthants of Euclidean spaces. We analyze them from an abstract convexity perspective. Our main results consist in representations, in terms of intersections of graphs, of the increasing co-radiant mappings that take closed normal values, by means of elementary members in the class of such mappings.


title: An exponential lower bound for the degrees of invariants of cubic forms and tensor actions

abstract: Using the Grosshans Principle, we develop a method for proving lower bounds for the maximal degree of a system of generators of an invariant ring. This method also gives lower bounds for the maximal degree of a set of invariants that define Hilbert's null cone. We consider two actions: The first is the action of ${\rm SL}(V)$ on ${\rm Sym}^3(V)^{\oplus 4}$, the space of $4$-tuples of cubic forms, and the second is the action of ${\rm SL}(V) \times {\rm SL}(W) \times {\rm SL}(Z)$ on the tensor space $(V \otimes W \otimes Z)^{\oplus 9}$. In both these cases, we prove an exponential lower degree bound for a system of invariants that generate the invariant ring or that define the null cone.


title: Existence Serrin type results for the Dirichlet problem for the prescribed mean curvature equation in Riemannian manifolds

abstract: Given a complete $n$-dimensional Riemannian manifold $M$, we study the existence of vertical graphs in $M\times\mathbb{R}$ with prescribed mean curvature $H=H(x,z)$. Precisely, we prove that the Dirichlet problem for the vertical mean curvature equation in a smooth bounded domain $\Omega\subset M$ has solution for arbitrary smooth boundary data if $(n-1)\mathcal{H}_{\partial\Omega}(y)\geq n\sup\limits_{z\in\mathbb{R}}\left|{H(y,z)}\right|$ for each $y\in\partial\Omega $ provided the function $H$ also satisfies $\mathrm{Ricc}_x\geq n\sup\limits_{z\in\mathbb{R}}\left\|\nabla_x H(x,z)\right\|-\dfrac{n^2}{n-1}\inf\limits_{z\in\mathbb{R}}\left(H(x,z)\right)^2$ for each $x\in\Omega$. In the case where $M=\mathbb{H}^n$ we also establish an existence result if the condition $\sup\limits_{\Omega\times\mathbb{R}}\left|{H(x,z)}\right|\leq \frac{n-1}{n}$ holds in the place of the condition involving the Ricci curvature. Finally, we have a related result when $M$ is a Hadamard manifold whose sectional curvature $K$ satisfies $-c^2\leq K\leq -1$ for some $c>1$. We generalize a classical result of Serrin when the ambient is the Euclidean space.


title: Decomposing tournaments into paths

abstract: We consider a generalisation of Kelly's conjecture which is due to Alspach, Mason, and Pullman from 1976. Kelly's conjecture states that every regular tournament has an edge decomposition into Hamilton cycles, and this was proved by K\"uhn and Osthus for large tournaments. The conjecture of Alspach, Mason, and Pullman asks for the minimum number of paths needed in a path decomposition of a general tournament $T$. There is a natural lower bound for this number in terms of the degree sequence of $T$ and it is conjectured that this bound is correct for tournaments of even order. Almost all cases of the conjecture are open and we prove many of them.


title: Implementing and constraining higher fidelity kinetics for DPAL models

abstract: Ionization, hydrocarbon breakdown, and other exotic processes can harm diode-pumped alkali laser (DPAL) performance and components. We develop a physical picture of these processes, including those that drive a non-Maxwell-Boltzmann distribution of electrons, and describe an efficient approach to solve these kinetics while resolving trace species, and enforcing conservation laws. Comparing the model to time-dependent experiments suggests that recombination and supporting processes are weaker than na\"{i}vely expected under relevant conditions, while methane seems to improve performance in the lab more than it does in the model. Overall, this work highlights the importance of tracking the true electron energy distribution, and how incisive experiments with time-dependent driving are. We also use the model to emphasize how ionization may pose more immediate heat loading problems in devices.


title: Optimizing Laser Pulses for Narrowband Inverse Compton Sources in the High-Intensity Regime

abstract: Scattering of ultraintense short laser pulses off relativistic electrons allows one to generate a large number of X- or $\gamma$-ray photons with the expense of the spectral width---temporal pulsing of the laser inevitable leads to considerable spectral broadening. In this Letter, we describe a simple method to generate optimized laser pulses that compensate the nonlinear spectrum broadening, and can be thought of as a superposition of two oppositely linearly chirped pulses delayed with respect to each other. We develop a simple analytical model that allow us to predict the optimal parameters of such a two-pulse---the delay, amount of chirp and relative phase---for generation of a narrowband {\gamma}-ray spectrum. Our predictions are confirmed by numerical optimization and simulations including 3D effects.

categories: physics.plasm-ph hep-ph physics.acc-ph physics.atom-ph


title: Foundations of quantum physics I. A critique of the tradition

abstract: This paper gives a thorough critique of the foundations of quantum physics in its mainstream interpretation (i.e., treating pure states as primitives, without reference to hidden variables, and without modifications of the quantum laws). This is achieved by cleanly separating a concise version of the (universally accepted) formal core of quantum physics from the (controversial) interpretation issues. The latter are primarily related to measurement, but also to questions of existence and of the meaning of basic concepts like 'state' and 'particle'. The requirements for good foundations of quantum physics are discussed. Main results: * Born's rule cannot be valid universally, and must be considered as a scientific law with a restricted domain of validity. * If the state of every composite quantum system contains all information that can be known about this system, it cannot be a pure state in general.


title: Foundations of quantum physics II. The thermal interpretation

abstract: This paper presents the thermal interpretation of quantum physics. The insight from Part I of this series that Born's rule has its limitations -- hence cannot be the foundation of quantum physics -- opens the way for an alternative interpretation -- the thermal interpretation of quantum physics. It gives new foundations that connect quantum physics (including quantum mechanics, statistical mechanics, quantum field theory and their applications) to experiment. The thermal interpretation resolves the problems of the foundations of quantum physics revealed in the critique from Part I of this series. It improves the traditional foundations in several respects: * The thermal interpretation reflects the actual practice of quantum physics, especially regarding its macroscopic implications. * The thermal interpretation gives a fair account of the interpretational differences between quantum mechanics and quantum field theory. * The thermal interpretation gives a natural, realistic meaning to the standard formalism of quantum mechanics and quantum field theory in a single world, without introducing additional hidden variables. * The thermal interpretation is independent of the measurement problem. The latter becomes a precise problem in statistical mechanics rather than a fuzzy and problematic notion in the foundations. Details will be discussed in Part III.


title: On tameness of almost automorphic dynamical systems for general groups

abstract: Let $(X,G)$ be a minimal equicontinuous dynamical system, where $X$ is a compact metric space and $G$ some topological group acting on $X$. Under very mild assumptions, we show that the class of regular almost automorphic extensions of $(X,G)$ contains examples of tame but non-null systems as well as non-tame ones. To do that, we first study the representation of almost automorphic systems by means of semicocycles for general groups. Based on this representation, we obtain examples of the above kind in well-studied families of group actions. These include Toeplitz flows over $G$-odometers where $G$ is countable and residually finite as well as symbolic extensions of irrational rotations.


title: Linear stability analysis of magnetized relativistic rotating jets

abstract: We carry out a linear stability analysis of a magnetized relativistic rotating cylindrical jet flow using the approximation of zero thermal pressure. We identify several modes of instability in the jet: Kelvin-Helmholtz, current driven and two kinds of centrifugal-buoyancy modes -- toroidal and poloidal. The Kelvin-Helmholtz mode is found at low magnetization and its growth rate depends very weakly on the pitch parameter of the background magnetic field and on rotation. The current driven mode is found at high magnetization, the values of its growth rate and the wavenumber, corresponding to the maximum growth, increase as we decrease the pitch parameter of the background magnetic field. This mode is stabilized by rotation, especially, at high magnetization. The centrifugal-buoyancy modes, arising due to rotation, tend also to be more stable when magnetization is increased. Overall, relativistic jet flows appear to be more stable with respect to their non-relativistic counterpart.


title: Foundations of quantum physics III. Measurement

abstract: This paper presents the measurement problem from the point of view of the thermal interpretation of quantum physics introduced in Part II. The measurement of a Hermitian quantity $A$ is regarded as giving an uncertain value approximating the q-expectation $\langle A\rangle$ rather than (as tradition wanted to have it) as an exact revelation of an eigenvalue of $A$. Single observations of microscopic systems are (except under special circumstances) very uncertain measurements only. The thermal interpretation * treats detection events as a statistical measurement of particle beam intensity. * claims that the particle concept is only asymptotically valid, under conditions where particles are essentially free. * claims that the unmodeled environment influences the results enough to cause all randomness in quantum physics. * allows one to derive Born's rule for scattering and in the limit of ideal measurements; but in general, only part of Born's rule holds exactly: Whenever a quantity A with zero uncertainty is measured exactly, its value is an eigenvalue of A. * has no explicit collapse -- the latter emerges approximately in non-isolated subsystems. * gives a valid interpretation of systems modeled by a quantum-classical dynamics. * explains the peculiar features of the Copenhagen interpretation (lacking realism between measurements) and the minimal statistical interpretation (lacking realism for the single case) where these interpretations apply -- in the microscopic domain. The thermal interpretation is an interpretation of quantum physics that is in principle refutable by theoretical arguments leading to a negative answer to a number of open issues collected at the end of the paper, since there is plenty of experimental evidence for each of the points mentioned there.


title: Answers to Some Questions about Explicit Sinkhorn Limits posed by Mel Nathanson

abstract: At the Jan. 2018 Joint Mathematics Meetings, Avi Wigderson gave a series of three fascinating lectures whose starting point was the Sinkhorn algorithm. One of the people in the audience was Mel Nathanson, and this lead him to ask some intriguing questions, some of which we answer in this note.


title: An improved quasi-reversibility method for a terminal-boundary value multi-species model with white Gaussian noise

abstract: Upon the recent development of the quasi-reversibility method for terminal value parabolic problems in \cite{Nguyen2019}, it is imperative to investigate the convergence analysis of this regularization method in the stochastic setting. In this paper, we positively unravel this open question by focusing on a coupled system of Dirichlet reaction-diffusion equations with additive white Gaussian noise on the terminal data. In this regard, the approximate problem is designed by adding the so-called perturbing operator to the original problem and by exploiting the Fourier reconstructed terminal data. By this way, Gevrey-type source conditions are included, while we successfully maintain the logarithmic stability estimate of the corresponding stabilized operator, which is necessary for the error analysis. As the main theme of this work, we prove the error bounds for the concentrations and for the concentration gradients, driven by a large amount of weighted energy-like controls involving the expectation operator. Compared to the classical error bounds in $L^2$ and $H^1$ that we obtained in the previous studies, our analysis here needs a higher smoothness of the true terminal data to ensure their reconstructions from the stochastic fashion. Two numerical examples are provided to corroborate the theoretical results.


title: Semi-supervised Learning for Quantification of Pulmonary Edema in Chest X-Ray Images

abstract: We propose and demonstrate machine learning algorithms to assess the severity of pulmonary edema in chest x-ray images of congestive heart failure patients. Accurate assessment of pulmonary edema in heart failure is critical when making treatment and disposition decisions. Our work is grounded in a large-scale clinical dataset of over 300,000 x-ray images with associated radiology reports. While edema severity labels can be extracted unambiguously from a small fraction of the radiology reports, accurate annotation is challenging in most cases. To take advantage of the unlabeled images, we develop a Bayesian model that includes a variational auto-encoder for learning a latent representation from the entire image set trained jointly with a regressor that employs this representation for predicting pulmonary edema severity. Our experimental results suggest that modeling the distribution of images jointly with the limited labels improves the accuracy of pulmonary edema scoring compared to a strictly supervised approach. To the best of our knowledge, this is the first attempt to employ machine learning algorithms to automatically and quantitatively assess the severity of pulmonary edema in chest x-ray images.


title: Hamiltonian dynamics of the SIS epidemic model with stochastic fluctuations

abstract: Empirical records of epidemics reveal that fluctuations are important factors for the spread and prevalence of infectious diseases. The exact manner in which fluctuations affect spreading dynamics remains poorly known. Recent analytical and numerical studies have demonstrated that improved differential equations for mean and variance of infected individuals reproduce certain regimes of the SIS epidemic model. Here, we show they form a dynamical system that follows Hamilton's equations, which allow us to understand the role of fluctuations and their effects on epidemics. Our findings show the Hamiltonian is a constant of motion for large population sizes. For small populations, finite size effects break the temporal symmetry and induce a power-law decay of the Hamiltonian near the outbreak onset, with a parameter-free exponent. Away from onset, the Hamiltonian decays exponentially according to a constant relaxation time, which we propose as a indicator of the strength of the epidemic when fluctuations cannot be neglected.


title: Bayesian semi-parametric G-computation for causal inference in a cohort study with MNAR dropout and death

abstract: Causal inference with observational longitudinal data and time-varying exposures is often complicated by time-dependent confounding and attrition. The G-computation formula is one approach for estimating a causal effect in this setting. The parametric modeling approach typically used in practice relies on strong modeling assumptions for valid inference, and moreover depends on an assumption of missing at random, which is not appropriate when the missingness is missing not at random (MNAR) or due to death. In this work we develop a flexible Bayesian semi-parametric G-computation approach for assessing the causal effect on the subpopulation that would survive irrespective of exposure, in a setting with MNAR dropout. The approach is to specify models for the observed data using Bayesian additive regression trees, and then use assumptions with embedded sensitivity parameters to identify and estimate the causal effect. The proposed approach is motivated by a longitudinal cohort study on cognition, health, and aging, and we apply our approach to study the effect of becoming a widow on memory. We also compare our approach to several standard methods.


title: Triangulations with homogeneous zigzags

abstract: We investigate zigzags in triangulations of connected closed $2$-dimensional surfaces and show that there is a one-to-one correspondence between triangulations with homogeneous zigzags and closed $2$-cell embeddings of directed Eulerian graphs in surfaces. A triangulation is called $z$-knotted if it has a single zigzag. We construct a family of tree structured $z$-knotted spherical triangulations whose zigzags are homogeneous.


title: On Gross-Keating's result of lifting endomorphisms for formal modules

abstract: $\newcommand{\OO}[1]{\mathcal{O}_{#1}}\newcommand{\GG}{\mathcal{G}}\newcommand{\End}{\mathrm{End}}\newcommand{\O}{\mathcal{O}}$Let $K/F$ be a quadratic extension of non-Archimedean local fields of characteristic not equal to 2, with rings of integers denoted by $\OO K$ and $\OO F$. We consider a formal $\OO F$-module $\GG$, over a discrete valuation ring $\OO W$ with an uniformizer $\varpi$, with extra endomorphisms by a subring $\O$ of $\OO K$, and the height of its reduction $\GG_0=\GG\otimes \OO W/\varpi$ is 2. The endomorphism ring of $\GG_n=\GG\otimes \OO W/\varpi^{n+1}$ is a subring between $\OO s$ and $\OO D=\End(\GG_0)$. We will determine them explicitly. This result was previously proved by Gross and Keating. Their treatment is the formal cohomology theory. We will give another proof using the intersection formula of CM cycles in Lubin-Tate deformation spaces.


title: On the monotonicity of the eigenvector method

abstract: Pairwise comparisons are used in a wide variety of decision situations where the importance of alternatives should be measured on a numerical scale. One popular method to derive the priorities is based on the right eigenvector of a multiplicative pairwise comparison matrix. We consider two monotonicity axioms in this setting. First, increasing an arbitrary entry of a pairwise comparison matrix is not allowed to result in a counter-intuitive rank reversal, that is, the favoured alternative in the corresponding row cannot be ranked lower than any other alternative if this was not the case before the change (rank monotonicity). Second, the same modification should not decrease the normalised weight of the favoured alternative (weight monotonicity). Both properties are satisfied by the geometric mean method but violated by the eigenvector method. The axioms do not uniquely determine the geometric mean. The relationship between the two monotonicity properties and the Saaty inconsistency index are investigated for the eigenvector method via simulations. Even though their violation turns out not to be a usual problem even for heavily inconsistent matrices, all decision-makers should be informed about the possible occurrence of such unexpected consequences of increasing a matrix entry.


title: Relaxing Kondo screened Kramers-doublets in CeRhSi$_{3}$

abstract: CeRhSi$_{3}$ is a superconductor under pressure coexisting with a weakly antiferromagnetic phase characterized by a Bragg peak at $\vec{q}_{0}$=($\sim$ 0.2, 0, 0.5) (N. Aso et al. J. Magn. Magn. Mater. 310, 602 (2007)). The compound is also a heavy fermion material with a large specific heat coefficient $\gamma$=110 mJ $\cdot$ mol$^{-1}$ $\cdot$ K$^{-2}$ and a high Kondo temperature of $T_{K}$=50 K indicative that CeRhSi$_{3}$ is in a strongly Kondo screened state. We apply high resolution neutron spectroscopy to investigate the magnetic fluctuations in the normal phase, at ambient pressures, and at low temperatures. We measure a commensurate dynamic response centered around the $\vec{Q}$=(0, 0, 2) position that gradually evolves to H$\sim$ 0.2 with decreasing temperature and/or energy transfers. The response is broadened both in momentum and energy and not reminiscent of sharp spin wave excitations found in insulating magnets where the electrons are localized. We parameterize the excitation spectrum and temperature dependence using a heuristic model utilizing the random phase approximation to couple relaxing Ce$^{3+}$ ground state Kramers doublets with a Kondo-like dynamic response. With a Ruderman-Kittel-Kasuya-Yosida (RKKY) exchange interaction within the $ab$ plane and an increasing single site susceptibility, we can qualitatively reproduce the neutron spectroscopic results in CeRhSi$_{3}$ and namely the trade-off between scattering at commensurate and incommensurate positions. We suggest that the antiferromagnetic phase in CeRhSi$_{3}$ is driven by weakly correlated relaxing localized Kramers doublets and that CeRhSi$_{3}$ at ambient pressures is on the border between a Rudderman-Kittel-Yosida antiferromagnetic state and a Kondo screened phase where static magnetism is predominately absent.


title: Anomalous phase ordering of a quenched ferromagnetic superfluid

abstract: Coarsening dynamics, the canonical theory of phase ordering following a quench across a symmetry breaking phase transition, is thought to be driven by the annihilation of topological defects. Here we show that this understanding is incomplete. We simulate the dynamics of an isolated spin-1 condensate quenched into the easy-plane ferromagnetic phase and find that the mutual annihilation of spin vortices does not take the system to the equilibrium state. A nonequilibrium background of long wavelength spin waves remain at the Berezinskii-Kosterlitz-Thouless temperature, an order of magnitude hotter than the equilibrium temperature. The coarsening continues through a second much slower scale invariant process with a length scale that grows with time as $t^{1/3}$. This second regime of coarsening is associated with spin wave energy transport from low to high wavevectors, bringing about the the eventual equilibrium state. Because the relevant spin waves are noninteracting, the transport occurs through a dynamic coupling to other degrees of freedom of the system. The transport displays features of a spin wave energy cascade, providing a potential profitable connection with the emerging field of spin wave turbulence. Strongly coupling the system to a reservoir destroys the second regime of coarsening, allowing the system to thermalise following the annihilation of vortices.


title: Recent Advances in Analysis and Design of Cyber-physical Systems using Passivity Indices

abstract: Analysis and resilient design of Cyber-physical Systems have greatly benefited from energy based concepts of passivity and dissipativity. Recently, there has been much research devoted to the use of passivity indices in different components of Cyber-physical systems. Passivity indices are measures of passivity, indicating how passive a system is or how far is it from being passive and generalize passivity based methods to systems that might not be passive. In this paper, we will review recent advances in the use of passivity indices in Cyber-physical systems. We will overview how the indices have been defined and applied to different components of Cyber-physical systems and how they are used in the resilient design of compositional Cyber-physical systems.


title: Principal subspaces for the affine Lie algebras in types $D$, $E$ and $F$

abstract: We consider the principal subspaces of certain level $k\geqslant 1$ integrable highest weight modules and generalized Verma modules for the untwisted affine Lie algebras in types $D$, $E$ and $F$. Generalizing the approach of G. Georgiev we construct their quasi-particle bases. We use the bases to derive presentations of the principal subspaces, calculate their character formulae and find some new combinatorial identities.


title: Impact Craters on Pluto and Charon Indicate a Deficit of Small Kuiper Belt Objects

abstract: The flyby of Pluto and Charon by the New Horizons spacecraft provided high-resolution images of cratered surfaces embedded in the Kuiper belt, an extensive region of bodies orbiting beyond Neptune. Impact craters on Pluto and Charon were formed by collisions with other Kuiper belt objects (KBOs) with diameters from ~40 kilometers to ~300 meters, smaller than most KBOs observed directly by telescopes. We find a relative paucity of small craters less than approximately 13 kilometers in diameter, which cannot be explained solely by geological resurfacing. This implies a deficit of small KBOs (less than 1 to 2 kilometers in diameter). Some surfaces on Pluto and Charon are likely greater than 4 billion years old, thus their crater records provide information on the size-frequency distribution of KBOs in the early Solar System.


title: Dynamic Deep Multi-modal Fusion for Image Privacy Prediction

abstract: With millions of images that are shared online on social networking sites, effective methods for image privacy prediction are highly needed. In this paper, we propose an approach for fusing object, scene context, and image tags modalities derived from convolutional neural networks for accurately predicting the privacy of images shared online. Specifically, our approach identifies the set of most competent modalities on the fly, according to each new target image whose privacy has to be predicted. The approach considers three stages to predict the privacy of a target image, wherein we first identify the neighborhood images that are visually similar and/or have similar sensitive content as the target image. Then, we estimate the competence of the modalities based on the neighborhood images. Finally, we fuse the decisions of the most competent modalities and predict the privacy label for the target image. Experimental results show that our approach predicts the sensitive (or private) content more accurately than the models trained on individual modalities (object, scene, and tags) and prior privacy prediction works. Also, our approach outperforms strong baselines, that train meta-classifiers to obtain an optimal combination of modalities.


title: Lipschitz Adaptivity with Multiple Learning Rates in Online Learning

abstract: We aim to design adaptive online learning algorithms that take advantage of any special structure that might be present in the learning task at hand, with as little manual tuning by the user as possible. A fundamental obstacle that comes up in the design of such adaptive algorithms is to calibrate a so-called step-size or learning rate hyperparameter depending on variance, gradient norms, etc. A recent technique promises to overcome this difficulty by maintaining multiple learning rates in parallel. This technique has been applied in the MetaGrad algorithm for online convex optimization and the Squint algorithm for prediction with expert advice. However, in both cases the user still has to provide in advance a Lipschitz hyperparameter that bounds the norm of the gradients. Although this hyperparameter is typically not available in advance, tuning it correctly is crucial: if it is set too small, the methods may fail completely; but if it is taken too large, performance deteriorates significantly. In the present work we remove this Lipschitz hyperparameter by designing new versions of MetaGrad and Squint that adapt to its optimal value automatically. We achieve this by dynamically updating the set of active learning rates. For MetaGrad, we further improve the computational efficiency of handling constraints on the domain of prediction, and we remove the need to specify the number of rounds in advance.


title: Learning Logistic Circuits

abstract: This paper proposes a new classification model called logistic circuits. On MNIST and Fashion datasets, our learning algorithm outperforms neural networks that have an order of magnitude more parameters. Yet, logistic circuits have a distinct origin in symbolic AI, forming a discriminative counterpart to probabilistic-logical circuits such as ACs, SPNs, and PSDDs. We show that parameter learning for logistic circuits is convex optimization, and that a simple local search algorithm can induce strong model structures from data.


title: AutoGAN-based Dimension Reduction for Privacy Preservation

abstract: Protecting sensitive information against data exploiting attacks is an emerging research area in data mining. Over the past, several different methods have been introduced to protect individual privacy from such attacks while maximizing data-utility of the application. However, these existing techniques are not sufficient to effectively protect data owner privacy, especially in the scenarios that utilize visualizable data (e.g. images, videos) or the applications that require heavy computations for implementation. To address these problems, we propose a new dimension reduction-based method for privacy preservation. Our method generates dimension-reduced data for performing machine learning tasks and prevents a strong adversary from reconstructing the original data. We first introduce a theoretical approach to evaluate dimension reduction-based privacy preserving mechanisms, then propose a non-linear dimension reduction framework motivated by state-of-the-art neural network structures for privacy preservation. We conducted experiments over three different face image datasets (AT&T, YaleB, and CelebA), and the results show that when the number of dimensions is reduced to seven, we can achieve the accuracies of 79%, 80%, and 73% respectively and the reconstructed images are not recognizable to naked human eyes.


title: Three Different Ways Synchronization Can Cause Contagion in Financial Markets

abstract: We introduce tools to capture the dynamics of three different pathways, in which the synchronization of human decision-making could lead to turbulent periods and contagion phenomena in financial markets. The first pathway is caused when stock market indices, seen as a set of coupled integrate-and-fire oscillators, synchronize in frequency. The integrate-and-fire dynamics happens due to change blindness, a trait in human decision-making where people have the tendency to ignore small changes, but take action when a large change happens. The second pathway happens due to feedback mechanisms between market performance and the use of certain (decoupled) trading strategies. The third pathway occurs through the effects of communication and its impact on human decision-making. A model is introduced in which financial market performance has an impact on decision-making through communication between people. Conversely, the sentiment created via communication has an impact on financial market performance. The methodologies used are: agent based modeling, models of integrate-and-fire oscillators, and communication models of human decision-making


title: On the index of minimal hypersurfaces of spheres

abstract: Let $M\subset S^{n+1}\subset\mathbb{R}^{n+2}$ be a compact minimal hypersurface of the $n$-dimensional Euclidean unit sphere. Let us denote by $|A|^2$ the square of the norm of the second fundamental form and $J(f)=-\Delta f-nf-|A|^2f$ the stability operator. It is known that the index (the number of negative eigenvalues of $J$) is 1 when $M$ is a totally geodesic sphere, and it is $n+3$ when $M$ is a Clifford minimal hypersurface. It has been conjectured that for any other minimal hypersurface, the index must be greater than $n+3$. One partial result for this conjecture states that if the index is $n+3$ and $M$ is not Clifford, then $\int_M |A|^2<n|M|$ where $|M|$ is the $n$ dimensional volume of $M$. Somehow this partial result states that if the index of $M$ is $n+3$ then the average of the function $|A|^2$ needs to be small. In this note we prove that this average cannot be very small. We will show that for any pair of positive numbers $\delta_1$ and $\delta_2$ with $\delta_1+\delta_2=1$, if $\int_M |A|^2\le \delta_2 n|M|$ and $|A|^2(x)\le2n\delta_1$ for all $x\in M$, then the index of $M$ is greater than $n+3$.


title: Tensile properties of carbon nanotube fibres described by the fibrillar crystallite model

abstract: This work presents a model that successfully describes the tensile properties of macroscopic fibres of carbon nanotubes (CNTs). The core idea is to treat such a fibre as a network of CNT bundles, similar to the structure of high-performance polymer fibres, with tensile properties defined by the CNT bundle orientation distribution function (ODF), shear modulus and shear strength. Synchrotron small-angle X-ray scattering measurements on individual fibres are used to determine the initial ODF and its evolution during in-situ tensile testing. This enables prediction of tensile modulus, strength and fracture envelope, with remarkable agreement with experimental data for fibres produced in-house with different constituent CNTs and for different draw ratios, as well as with literature data. The parameters extracted from the model include: CNT bundle shear strength, shear modulus and tensile strength. These are in agreement with data for commercial high-performance fibres, although high compared with values for single-crystal graphite and short individual CNTs. The manuscript also discusses the unusually high fracture energy of CNT fibres and exceptionally high figure of merit for ballistic protection. The model predicts that small improvements in orientation would lead to superior ballistic peformance than any synthetic high-peformance fiber, with values of strain wave velocity ($U^{1/3}$) exceeding $1000 m/s$.


title: Trilobites, butterflies, and other exotic specimens of long-range Rydberg molecules

abstract: This Ph.D. tutorial discusses ultra-long-range Rydberg molecules, the exotic bound states of a Rydberg atom and one or more ground state atoms immersed in the Rydberg electron's wave function. This novel chemical bond is distinct from an ionic or covalent bond, and is accomplished by a very different mechanism: the Rydberg electron, elastically scattering off of the ground state atoms, exerts a weak attractive force sufficient to form the molecule in long-range oscillatory potential wells. In the last decade this topic has burgeoned into a vibrant and mature subfield of atomic and molecular physics following the rapidly developing capability of experiment to observe and manipulate these molecules. This tutorial focuses on three areas where this experimental progress has demanded more sophisticated theoretical descriptions: the structure of polyatomic molecules, the influence of electronic and nuclear spin, and the behavior of these molecules in external fields. The main results are a collection of potential energy curves and electronic wave functions which together describe the physics of Rydberg molecules. Additionally, to facilitate future progress in this field, this tutorial provides a general overview of the current state of experiment and theory.


title: Bases for pseudovarieties closed under bideterministic product

abstract: We show that if $\mathsf V$ is a semigroup pseudovariety containing the finite semilattices and contained in $\mathsf {DS}$, then it has a basis of pseudoidentities between finite products of regular pseudowords if, and only if, the corresponding variety of languages is closed under bideterministic product. The key to this equivalence is a weak generalization of the existence and uniqueness of $\mathsf J$-reduced factorizations. This equational approach is used to address the locality of some pseudovarieties. In particular, it is shown that $\mathsf {DH}\cap\mathsf {ECom}$ is local, for any group pseudovariety $\mathsf H$.


title: The Shape of Thurston's Master Teapot

abstract: We establish basic geometric and topological properties of Thurston's Master Teapot and the Thurston set for superattracting unimodal self-maps of intervals. In particular, the Master Teapot is connected, contains the unit cylinder, and its intersection with a set $\mathbb{D} \times \{c\}$ grows monotonically with $c$. We show that the Thurston set described above is not equal to the Thurston set for postcritically finite tent maps, and we provide an arithmetic explanation for why certain gaps appear in plots of finite approximations of the Thurston set.


title: Analysis and active control of geometrically nonlinear responses of smart FG porous plates with graphene nanoplatelets reinforcement based on B\'ezier extraction of NURBS

abstract: In this paper, we propose an effective computational approach to analyze and active control of geometrically nonlinear responses of functionally graded (FG) porous plates with graphene nanoplatelets (GPLs) reinforcement integrated with piezoelectric layers. The key concept behind this work is to utilize isogeometric analysis (IGA) based on B\'ezier extraction technique and $C^0$-type higher-order shear deformation theory ($C^0$-HSDT). By applying B\'ezier extraction, the original Non-Uniform Rational B-Spline (NURBS) control meshes can be transformed into B\'ezier elements which allow us to inherit the standard numerical procedure like the standard finite element method (FEM). In this scenario, the approximation of mechanical displacement field is calculated via $C^0$-HSDT whilst the electric potential field is considered as a linear function across the thickness of each piezoelectric sublayer. The FG plate includes internal pores and GPLs dispersed into metal matrix either uniformly or non-uniformly along plate's thickness. To control responses of structures, the top and bottom surfaces of FG plate are firmly bonded with piezoelectric layers which are considered as sensor and actuator layers. The geometrically nonlinear equations are solved by Newton-Raphson iterative procedure and Newmark's integration. The influence of porosity coefficient, weight fraction of GPLs as well as external electrical voltage on geometrically nonlinear behaviors of plate structures with various distributions of porosity and GPLs are thoroughly investigated. A constant displacement and velocity feedback control approaches are then adopted to actively control geometrically nonlinear static and dynamic responses, where structural damping effect is taken into account, based on a closed-loop control with sensor and actuator layers.


title: autoAx: An Automatic Design Space Exploration and Circuit Building Methodology utilizing Libraries of Approximate Components

abstract: Approximate computing is an emerging paradigm for developing highly energy-efficient computing systems such as various accelerators. In the literature, many libraries of elementary approximate circuits have already been proposed to simplify the design process of approximate accelerators. Because these libraries contain from tens to thousands of approximate implementations for a single arithmetic operation it is intractable to find an optimal combination of approximate circuits in the library even for an application consisting of a few operations. An open problem is "how to effectively combine circuits from these libraries to construct complex approximate accelerators". This paper proposes a novel methodology for searching, selecting and combining the most suitable approximate circuits from a set of available libraries to generate an approximate accelerator for a given application. To enable fast design space generation and exploration, the methodology utilizes machine learning techniques to create computational models estimating the overall quality of processing and hardware cost without performing full synthesis at the accelerator level. Using the methodology, we construct hundreds of approximate accelerators (for a Sobel edge detector) showing different but relevant tradeoffs between the quality of processing and hardware cost and identify a corresponding Pareto-frontier. Furthermore, when searching for approximate implementations of a generic Gaussian filter consisting of 17 arithmetic operations, the proposed approach allows us to identify approximately $10^3$ highly important implementations from $10^{23}$ possible solutions in a few hours, while the exhaustive search would take four months on a high-end processor.


title: Approximate unitary $n^{2/3}$-designs give rise to quantum channels with super additive classical Holevo capacity

abstract: In a breakthrough, Hastings' showed that there exist quantum channels whose classical capacity is superadditive i.e. more classical information can be transmitted by quantum encoding strategies entangled across multiple channel uses as compared to unentangled quantum encoding strategies. Hastings' proof used Haar random unitaries to exhibit superadditivity. In this paper we show that a unitary chosen uniformly at random from an approximate $n^{2/3}$-design gives rise to a quantum channel with superadditive classical Holevo capacity, where $n$ is the dimension of the unitary exhibiting the Stinespring dilation of the channel superoperator. We prove a sharp Dvoretzky-like theorem (similar to Aubrun, Szarek, Werner, 2010) stating that, with high probability under the choice of a unitary from an approximate $t$-design, random subspaces of large dimension make a Lipschitz function take almost constant value. Such theorems were known earlier only for Haar random unitaries. We obtain our result by appealing to Low's technique for proving concentration of measure for an approximate $t$-design, combined with a stratified analysis of the variational behaviour of Lipschitz functions on the unit sphere in high dimension. The stratified analysis is the main technical advance of this work. Finally we also show that for any $p>1$, approximate unitary $(n^{1.7} \log n)$-designs give rise to channels violating subadditivity of R\'{e}nyi $p$-entropy. In addition to stratified analysis, the proof of this result uses a new technique of approximating a monotonic differentiable function defined on a closed bounded interval and its derivative by moderate degree polynomials which should be of independent interest. Hence, our work can be viewed as a partial derandomisation of Hastings' result and a step towards the quest of finding an explicit quantum channel with superadditive classical Holevo capacity.


title: Means Compatible with Semigroup Laws

abstract: A binary mean operation m(x,y) is said to be compatible with a semigroup law *, if * satisfies the Gauss' functional equation m(x,y) * m(x,y) = x * y for all x, y. Thus the arithmetic mean is compatible with the group addition in the set of real numbers, while the geometric mean is compatible with the group multiplication in the set of all positive real numbers. Using one of Jacobi's theta functions, Tanimoto has constructed a novel binary operation * corresponding to the arithmetic-geometric mean agm(x,y) of Gauss. Tanimoto shows that it is only a loop operation, but not associative. A natural question is to ask if there exist a group law * compatible with arithmetic-geometric mean. In this paper we prove that there is no semigroup law compatible with agm and hence, in particular, no group law either. Among other things, this explains why Tanimoto's novel operation * using theta functions must be non-associative.


title: Learning Everywhere: Pervasive Machine Learning for Effective High-Performance Computation

abstract: The convergence of HPC and data-intensive methodologies provide a promising approach to major performance improvements. This paper provides a general description of the interaction between traditional HPC and ML approaches and motivates the Learning Everywhere paradigm for HPC. We introduce the concept of effective performance that one can achieve by combining learning methodologies with simulation-based approaches, and distinguish between traditional performance as measured by benchmark scores. To support the promise of integrating HPC and learning methods, this paper examines specific examples and opportunities across a series of domains. It concludes with a series of open computer science and cyberinfrastructure questions and challenges that the Learning Everywhere paradigm presents.


title: Do ImageNet Classifiers Generalize to ImageNet?

abstract: We build new test sets for the CIFAR-10 and ImageNet datasets. Both benchmarks have been the focus of intense research for almost a decade, raising the danger of overfitting to excessively re-used test sets. By closely following the original dataset creation processes, we test to what extent current classification models generalize to new data. We evaluate a broad range of models and find accuracy drops of 3% - 15% on CIFAR-10 and 11% - 14% on ImageNet. However, accuracy gains on the original test sets translate to larger gains on the new test sets. Our results suggest that the accuracy drops are not caused by adaptivity, but by the models' inability to generalize to slightly "harder" images than those found in the original test sets.


title: Padovan heaps

abstract: We analyze priority queues of Fibonacci family. The paper is inspired by Violation heap [1], where A. Elmasry saves one pointer in representation of Fibonacci heap nodes while achieving the same amortized bounds as Fibonacci heaps [2] of M. L. Fredman and R. E. Tarjan. Unfortunately author forces the heaps to be wide, what goes against optimal heap principles. Our goal is to achieve the same result, but with much narrower heaps. We follow the principle of superexpensive comparison so we try to remember results of all comparisons and never compare elements that cannot be minimal. We delay comparisons as long as possible. Actually I have always want to share superexpensive comparison principle ideas, discovery of Padovan heaps allowed me to do so. Of course saving one pointer is not that big goal, but I hope the presented reasoning and amortized analysis of the resulting heaps is worth a publication.


title: An Introduction to Geometric Quantization and Witten's Quantum Invariant

abstract: This note, in a rather expository manner, serves as a conceptional introduction to the certain underlying mathematical structures encoding the geometric quantization formalism and the construction of Witten's quantum invariants, which is in fact organized in the language topological quantum field theory.


title: Graph-RISE: Graph-Regularized Image Semantic Embedding

abstract: Learning image representations to capture fine-grained semantics has been a challenging and important task enabling many applications such as image search and clustering. In this paper, we present Graph-Regularized Image Semantic Embedding (Graph-RISE), a large-scale neural graph learning framework that allows us to train embeddings to discriminate an unprecedented O(40M) ultra-fine-grained semantic labels. Graph-RISE outperforms state-of-the-art image embedding algorithms on several evaluation tasks, including image classification and triplet ranking. We provide case studies to demonstrate that, qualitatively, image retrieval based on Graph-RISE effectively captures semantics and, compared to the state-of-the-art, differentiates nuances at levels that are closer to human-perception.


title: Generalizing Deep Learning MRI Reconstruction across Different Domains

abstract: We look into the robustness of deep learning based MRI reconstruction when tested on unseen contrasts and organs. We then propose to generalize the network by training with large publicly-available natural image datasets with synthesized phase information to achieve high cross-domain reconstruction performance which is competitive with domain-specific training. To explain its generalization mechanism, we have also analyzed patch sets for different training datasets.


title: Automated Detection of Pre-Disaster Building Images from Google Street View

abstract: After a disaster, teams of structural engineers collect vast amounts of images from damaged buildings to obtain lessons and gain knowledge from the event. Images of damaged buildings and components provide valuable evidence to understand the consequences on our structures. However, in many cases, images of damaged buildings are often captured without sufficient spatial context. Also, they may be hard to recognize in cases with severe damage. Incorporating past images showing a pre-disaster condition of such buildings is helpful to accurately evaluate possible circumstances related to a building's failure. One of the best resources to observe the pre-disaster condition of the buildings is Google Street View. A sequence of 360 panorama images which are captured along streets enables all-around views at each location on the street. Once a user knows the GPS information near the building, all external views of the building can be made available. In this study, we develop an automated technique to extract past building images from 360 panorama images serviced by Google Street View. Users only need to provide a geo-tagged image, collected near the target building, and the rest of the process is fully automated. High-quality and undistorted building images are extracted from past panoramas. Since the panoramas are collected from various locations near the building along the street, the user can identify its pre-disaster conditions from the full set of external views.


title: A New Improvement of H\"older inequality via Isotonic Linear Functionals

abstract: In this paper, new improvement of celebrated H\"older inequality by means of isotonic linear functionals is established. An important feature of the new inequality obtained in here is that many existing inequalities related to the H\"older inequality can be improved via new improvement of H\"older inequality. We also show this in an application.


title: A central idempotent in the endomorphism algebra of a finite lattice

abstract: We give a direct construction of a specific idempotent in the endomorphism algebra of a finite lattice $T$. This idempotent is associated with all possible sublattices of $T$ which are total orders.


title: Multipole expansion for magnetic structures: A generation scheme for symmetry-adapted orthonormal basis set in crystallographic point group

abstract: We propose a systematic method to generate a complete orthonormal basis set of multipole expansion for magnetic structures in arbitrary crystal structure. The key idea is the introduction of a virtual atomic cluster of a target crystal, on which we can clearly define the magnetic configurations corresponding to symmetry-adapted multipole moments. The magnetic configurations are then mapped onto the crystal so as to preserve the magnetic point group of the multipole moments, leading to the magnetic structures classified according to the irreducible representations of crystallographic point group. We apply the present scheme to pyrhochlore and hexagonal ABO3 crystal structures, and demonstrate that the multipole expansion is useful to investigate the macroscopic responses of antiferromagnets.


title: From Cubes to Twisted Cubes via Graph Morphisms in Type Theory

abstract: Cube categories are used to encode higher-dimensional categorical structures. They have recently gained significant attention in the community of homotopy type theory and univalent foundations, where types carry the structure of such higher groupoids. Bezem, Coquand, and Huber have presented a constructive model of univalence using a specific cube category, which we call the BCH category. The higher categories encoded with the BCH category have the property that all morphisms are invertible, mirroring the fact that equality is symmetric. This might not always be desirable: the field of directed type theory considers a notion of equality that is not necessarily invertible. This motivates us to suggest a category of twisted cubes which avoids built-in invertibility. Our strategy is to first develop several alternative (but equivalent) presentations of the BCH category using morphisms between suitably defined graphs. Starting from there, a minor modification allows us to define our category of twisted cubes. We prove several first results about this category, and our work suggests that twisted cubes combine properties of cubes with properties of globes and simplices (tetrahedra).


title: Bootstrapping quantum process tomography via a perturbative ansatz

abstract: Quantum process tomography has become increasingly critical as the need grows for robust verification and validation of candidate quantum processors. Here, we present an approach for efficient quantum process tomography that uses a physically motivated ansatz for an unknown quantum process. Our ansatz bootstraps to an effective description for an unknown process on a multi-qubit processor from pairwise two-qubit tomographic data. Further, our approach can inherit insensitivity to system preparation and measurement error from the two-qubit tomography scheme. We benchmark our approach using numerical simulation of noisy three-qubit gates, and show that it produces highly accurate characterizations of quantum processes. Further, we demonstrate our approach experimentally, building three-qubit gate reconstructions from two-qubit tomographic data.


title: Optimal estimation of variance in nonparametric regression with random design

abstract: Consider the heteroscedastic nonparametric regression model with random design \begin{align*} Y_i = f(X_i) + V^{1/2}(X_i)\varepsilon_i, \quad i=1,2,\ldots,n, \end{align*} with $f(\cdot)$ and $V(\cdot)$ $\alpha$- and $\beta$-H\"older smooth, respectively. We show that the minimax rate of estimating $V(\cdot)$ under both local and global squared risks is of the order \begin{align*} n^{-\frac{8\alpha\beta}{4\alpha\beta + 2\alpha + \beta}} \vee n^{-\frac{2\beta}{2\beta+1}}, \end{align*} where $a\vee b := \max\{a,b\}$ for any two real numbers $a,b$. This result extends the fixed design rate $n^{-4\alpha} \vee n^{-2\beta/(2\beta+1)}$ derived in Wang et al. [2008] in a non-trivial manner, as indicated by the appearances of both $\alpha$ and $\beta$ in the first term. In the special case of constant variance, we show that the minimax rate is $n^{-8\alpha/(4\alpha+1)}\vee n^{-1}$ for variance estimation, which further implies the same rate for quadratic functional estimation and thus unifies the minimax rate under the nonparametric regression model with those under the density model and the white noise model. To achieve the minimax rate, we develop a U-statistic-based local polynomial estimator and a lower bound that is constructed over a specified distribution family of randomness designed for both $\varepsilon_i$ and $X_i$.


title: Electricity Consumption Forecasting for Smart Grid using the Multi-Factor Back-Propagation Neural Network

abstract: With the development of modern information technology (IT), a smart grid has become one of the major components of smart cities. To take full advantage of the smart grid, the capability of intelligent scheduling and planning of electricity delivery is essential. In practice, many factors have an impact on electricity consumption, which necessitates information fusion technologies for a thorough understanding. For this purpose, researchers have investigated methodologies for collecting electricity consumption related information and variant multi-factor power consumption forecasting models. In addition, conducting a comprehensive analysis and obtaining an accurate evaluation of power consumption are the premise and basis for a more robust and efficient power grid design and transformation. Therefore, it is meaningful to explore forecasting models that are able to reflect the power consumption changes and internal relations within fusional information effectively. Making electricity consumption forecasting based on the neural network has been a popular research topic in recent years, and the back-propagation neural network (BPNN) algorithm has been recognized as a mature and effective method. In this paper, BPNN is adopted to forecast the electricity consumption using Pecan Street, a community with a relatively large-scale smart grid, as a case study, and takes multiple factors into account, such as weather condition, weekend and holidays. The influences of each factor have been evaluated for a deeper insight. We hope this work will inspire more discussion and further study to guide the design of future smart grids.


title: On the Configuration Space of planar closed Kinematic Chains

abstract: A planar kinematic chain consists of $n$ links connected by joints. In this work we investigate the space of configurations, described in terms of joint angles, that guarantee that the kinematic chain is closed. We give explicit formulas expressing the joint angles that guarantee closedness by a new set of parameters, the diagonal lengths (the distances of the joints from the origin) of the closed kinematic chain. Moreover, it turns out that these diagonals are contained in a domain that possesses a simple structure. We expect that the new insight can be applied for several issues such as motion planning for closed kinematic chains or singularity analysis of their configuration spaces. In order to demonstrate practicality of the new method we present numerical examples.


title: Multiscale Fluctuation-based Dispersion Entropy and its Applications to Neurological Diseases

abstract: Fluctuation-based dispersion entropy (FDispEn) is a new approach to estimate the dynamical variability of the fluctuations of signals. It is based on Shannon entropy and fluctuation-based dispersion patterns. To quantify the physiological dynamics over multiple time scales, multiscale FDispEn (MFDE) is developed in this article. MFDE is robust to the presence of baseline wanders, or trends, in the data. We evaluate MFDE, compared with popular multiscale sample entropy (MSE), and the recently introduced multiscale dispersion entropy (MDE), on selected synthetic data and five neurological diseases' datasets: 1) focal and non-focal electroencephalograms (EEGs); 2) walking stride interval signals for young, elderly, and Parkinson's subjects; 3) stride interval fluctuations for Huntington's disease and amyotrophic lateral sclerosis; 4) EEGs for controls and Alzheimer's disease patients; and 5) eye movement data for Parkinson's disease and ataxia. MFDE dealt with the problem of undefined MSE values and, compared with MDE, led to more stable entropy values over the scale factors for pink noise. Overall, MFDE was the fastest and most consistent method for the discrimination of different states of neurological data, especially where the mean value of a time series considerably changes along the signal (e.g., eye movement data). This study shows that MFDE is a relevant new metric to gain further insights into the dynamics of neurological diseases recordings.


title: Avalanche dynamics in higher dimensional fiber bundle models

abstract: We investigate how the dimensionality of the embedding space affects the microscopic crackling dynamics and the macroscopic response of heterogeneous materials. Using a fiber bundle model with localized load sharing computer simulations are performed from 1 to 8 dimensions slowly increasing the external load up to failure. Analyzing the constitutive curve, fracture strength and avalanche statistics of bundles we demonstrate that a gradual crossover emerges from the universality class of localized behavior to the mean field class of fracture as the embedding dimension increases. The evolution between the two universality classes is described by an exponential functional form. Simulations revealed that the average temporal profile of crackling avalanches evolves with the dimensionality of the system from a strongly asymmetric shape to a symmetric parabola characteristic for localized stresses and homogeneous stress fields, respectively.


title: Observation of highly dispersive bands in pure thin film C$_{60}$

abstract: While long-theorized, the direct observation of multiple highly dispersive C$_{60}$ valence bands has eluded researchers for more than two decades due to a variety of intrinsic and extrinsic factors. Here we report a realization of multiple highly dispersive (330-520 meV) valence bands in pure thin film C$_{60}$ on a novel substrate--the three-dimensional topological insulator Bi$_{2}$Se$_{3}$--through the use of angle-resolved photoemission spectroscopy (ARPES) and first-principles calculations. The effects of this novel substrate reducing C$_{60}$ rotational disorder are discussed. Our results provide important considerations for past and future band structure studies as well as the increasingly popular C$_{60}$ electronic device applications, especially those making use of heterostructures.


title: The VOiCES from a Distance Challenge 2019 Evaluation Plan

abstract: The "VOiCES from a Distance Challenge 2019" is designed to foster research in the area of speaker recognition and automatic speech recognition (ASR) with the special focus on single channel distant/far-field audio, under noisy conditions. The main objectives of this challenge are to: (i) benchmark state-of-the-art technology in the area of speaker recognition and automatic speech recognition (ASR), (ii) support the development of new ideas and technologies in speaker recognition and ASR, (iii) support new research groups entering the field of distant/far-field speech processing, and (iv) provide a new, publicly available dataset to the community that exhibits realistic distance characteristics.


title: Improved algorithms for Correlation Clustering with local objectives

abstract: Correlation Clustering is a powerful graph partitioning model that aims to cluster items based on the notion of similarity between items. An instance of the Correlation Clustering problem consists of a graph $G$ (not necessarily complete) whose edges are labeled by a binary classifier as ``similar'' and ``dissimilar''. An objective which has received a lot of attention in literature is that of minimizing the number of disagreements: an edge is in disagreement if it is a ``similar'' edge and is present across clusters or if it is a ``dissimilar'' edge and is present within a cluster. Define the disagreements vector to be an $n$ dimensional vector indexed by the vertices, where the $v$-th index is the number of disagreements at vertex $v$. Recently, Puleo and Milenkovic (ICML '16) initiated the study of the Correlation Clustering framework in which the objectives were more general functions of the disagreements vector. In this paper, we study algorithms for minimizing $\ell_q$ norms $(q \geq 1)$ of the disagreements vector for both arbitrary and complete graphs. We present the first known algorithm for minimizing the $\ell_q$ norm of the disagreements vector on arbitrary graphs and also provide an improved algorithm for minimizing the $\ell_q$ norm $(q \geq 1)$ of the disagreements vector on complete graphs. We also study an alternate cluster-wise local objective introduced by Ahmadi, Khuller and Saha (IPCO '19), which aims to minimize the maximum number of disagreements associated with a cluster. We also present an improved ($2 + \varepsilon$) approximation algorithm for this objective. Finally, we compliment our algorithmic results for minimizing the $\ell_q$ norm of the disagreements vector with some hardness results.


title: A Study of a Class of Vibration-Driven Robots: Modeling, Analysis, Control and Design of the Brushbot

abstract: In this paper we present a study of a specific class of vibration-driven robots: the brushbots. In a bottom-up fashion, we start by deriving dynamic models of the brushes and we discuss the conditions under which these models can be employed to describe the motion of brushbots. Then, we present two designs of brushbots: a fully-actuated platform and a differential-drive-like one. The former is employed to experimentally validate both the developed theoretical models and the devised motion control algorithms. Finally, a coordinated-control algorithm is implemented on a swarm of differential-drive-like brushbots in order to demonstrate the design simplicity and robustness that can be achieved employing a vibration-based locomotion strategy.


title: Intertwined spin-orbital coupled orders in the iron-based superconductors

abstract: The underdoped phase diagram of the iron-based superconductors exemplifies the complexity common to many correlated materials. Indeed, multiple ordered states that break different symmetries but display comparable transition temperatures are present. Here, we argue that such a complexity can be understood within a simple unifying framework. This framework, built to respect the symmetries of the non-symmorphic space group of the FeAs/Se layer, consists of primary magnetically-ordered states and their vestigial phases that intertwine spin and orbital degrees of freedom. All vestigial phases have Ising-like and zero wave-vector order parameters, described in terms of composite spin order and exotic orbital-order patterns such as spin-orbital loop-currents, staggered atomic spin-orbit coupling, and emergent Rashba- and Dresselhaus-type spin-orbit interactions. Moreover, they host unusual phenomena, such as the electro-nematic effect, by which electric fields acts as transverse fields to the nematic order parameter, and the ferro-N\'eel effect, by which a uniform magnetic field induces N\'eel order. We discuss the experimental implications of our findings to iron-based superconductors and possible extensions to other correlated compounds with similar space groups.


title: Capacity Results for the Noisy Shuffling Channel

abstract: Motivated by DNA-based storage, we study the noisy shuffling channel, which can be seen as the concatenation of a standard noisy channel (such as the BSC) and a shuffling channel, which breaks the data block into small pieces and shuffles them. This channel models a DNA storage system, by capturing two of its key aspects: (1) the data is written onto many short DNA molecules that are stored in an unordered way and (2) the molecules are corrupted by noise at synthesis, sequencing, and during storage. For the BSC-shuffling channel we characterize the capacity exactly (for a large set of parameters), and show that a simple index-based coding scheme is optimal.


title: Combining timing characteristics with physical broadband spectral modelling of black hole X-ray binary GX~339$-$4

abstract: GX~339$-$4 is a black hole X-ray binary that is a key focus of accretion studies since it goes into outburst roughly every two-to-three years. Tracking of its radio, IR and X-ray flux during multiple outbursts reveals tight broadband correlations. The radio emission originates in a compact, self-absorbed jet, however the origin of the X-ray emission is still debated: jet base or corona? We fit 20 quasi-simultaneous radio, IR, optical and X-ray observations of GX~339$-$4 covering three separate outbursts in 2005, 2007, 2010--2011, with a composite corona + jet model, where inverse Compton emission from both regions contributes to the X-ray emission. Using a recently-proposed identifier of the X-ray variability properties known as power-spectral hue, we attempt to explain both the spectral and evolving timing characteristics, with the model. We find the X-ray spectra are best fit by inverse Compton scattering in a dominant hot corona ($kT_{\rm e}\sim$ hundreds of keV). However, radio and IR-optical constraints imply a non-negligible contribution from inverse Compton scattering off hotter electrons ($kT_{\rm e} \ge 511$~keV) in the base of the jets, ranging from a few up to $\sim50$\% of the integrated 3--100~keV flux. We also find that the physical properties of the jet show interesting correlations with the shape of the broadband X-ray variability of the source, posing intriguing suggestions for the connection between the jet and corona.


title: An evolutionary model that satisfies detailed balance

abstract: We propose a class of evolutionary models that involves an arbitrary exchangeable process as the breeding process and different selection schemes. In those models, a new genome is born according to the breeding process, and then a genome is removed according to the selection scheme that involves fitness. Thus the population size remains constant. The process evolves according to a Markov chain, and, unlike in many other existing models, the stationary distribution -- so called mutation-selection equilibrium -- can be easily found and studied. The behaviour of the stationary distribution when the population size increases is our main object of interest. Several phase-transition theorems are proved.


title: Keeping it Together: Interleaved Kirigami Extension Assembly

abstract: Traditional origami structures can be continuously deformed back to a flat sheet of paper, while traditional kirigami requires glue or seams in order to maintain its rigidity. In the former, non-trivial geometry can be created through overfolding paper while, in the latter, the paper topology is modified. Here we propose a hybrid approach that relies upon overlapped flaps that create in-plane compression resulting in the formation of "virtual" elastic shells. Not only are these structures self-supporting, but they have colossal load-to-weight ratios of order 10000.


title: Improved Representation of Ocean Heat Content in Energy Balance Models

abstract: Anomaly-diffusing energy balance models (AD-EBM) are routinely employed to analyze and emulate the warming response of both observed and simulated Earth systems. We demonstrate a deficiency in common multi-layer as well as continuous-diffusion AD-EBM variants: They are unable to, simultaneously, properly represent surface warming and the vertical distribution of heat uptake. We show that this inability is due to the diffusion approximation. On the other hand, it is well understood that transport of water from the surface mixed layer into the ocean interior is achieved, in large part, by the process of ventilation---a process associated with outcropping isopycnals. We, therefore, start from a configuration of outcropping isopycnals and demonstrate how an AD-EBM can be modified to include the effect of ventilation on ocean uptake of anomalous radiative forcing. The resulting EBM is able to successfully represent both surface warming and the vertical distribution of heat uptake, and indeed, a simple four layer model suffices. The simplicity of the models notwithstanding, the analysis presented and the necessity of the modification highlight the role played by processes related to the down-welling branch of global ocean circulation in shaping the vertical distribution of ocean heat uptake.


title: The galaxy cluster mass scale and its impact on cosmological constraints from the cluster population

abstract: The total mass of a galaxy cluster is one of its most fundamental properties. Together with the redshift, the mass links observation and theory, allowing us to use the cluster population to test models of structure formation and to constrain cosmological parameters. Building on the rich heritage from X-ray surveys, new results from Sunyaev-Zeldovich and optical surveys have stimulated a resurgence of interest in cluster cosmology. These studies have generally found fewer clusters than predicted by the baseline Planck LCDM model, prompting a renewed effort on the part of the community to obtain a definitive measure of the true cluster mass scale. Here we review recent progress on this front. Our theoretical understanding continues to advance, with numerical simulations being the cornerstone of this effort. On the observational side, new, sophisticated techniques are being deployed in individual mass measurements and to account for selection biases in cluster surveys. We summarise the state of the art in cluster mass estimation methods and the systematic uncertainties and biases inherent in each approach, which are now well identified and understood, and explore how current uncertainties propagate into the cosmological parameter analysis. We discuss the prospects for improvements to the measurement of the mass scale using upcoming multi-wavelength data, and the future use of the cluster population as a cosmological probe.


title: Data-centric online ecosystem for digital materials science

abstract: Materials science is becoming increasingly more reliant on digital data to facilitate progress in the field. Due to a large diversity in its scope, breadth, and depth, organizing the data in a standard way to optimize the speed and creative breadth of the resulting research represents a significant challenge. We outline a modular and extensible ecosystem aimed at facilitating research work performed in an accessible, collaborative, and agile manner, without compromising on fidelity, security, and defensibility of the findings. We discuss the critical components of the ecosystem and explain the implementation of data standards and associated tools. We focus initial attention on modeling and simulations from nanoscale and explain how to add support for other domains. Finally, we discuss example applications or the data convention and future outlook.


title: Asymptotics for the Taylor coefficients of certain infinite products

abstract: Let $(m_1,\ldots,m_J)$ and $(r_1,\ldots,r_J)$ be two sequences of $J$ positive integers satisfying $1\le r_j< m_j$ for all $j=1,\ldots,J$. Let $(\delta_1,\ldots,\delta_J)$ be a sequence of $J$ nonzero integers. In this paper, we study the asymptotic behavior of the Taylor coefficients of the infinite product $$\prod_{j=1}^J\Bigg(\prod_{k\ge 1}\big(1-q^{r_j+m_j(k-1)}\big)\big(1-q^{-r_j+m_jk}\big)\Bigg)^{\delta_j}.$$


title: Deep Interpretable Non-Rigid Structure from Motion

abstract: All current non-rigid structure from motion (NRSfM) algorithms are limited with respect to: (i) the number of images, and (ii) the type of shape variability they can handle. This has hampered the practical utility of NRSfM for many applications within vision. In this paper we propose a novel deep neural network to recover camera poses and 3D points solely from an ensemble of 2D image coordinates. The proposed neural network is mathematically interpretable as a multi-layer block sparse dictionary learning problem, and can handle problems of unprecedented scale and shape complexity. Extensive experiments demonstrate the impressive performance of our approach where we exhibit superior precision and robustness against all available state-of-the-art works. The considerable model capacity of our approach affords remarkable generalization to unseen data. We propose a quality measure (based on the network weights) which circumvents the need for 3D ground-truth to ascertain the confidence we have in the reconstruction. Once the network's weights are estimated (for a non-rigid object) we show how our approach can effectively recover 3D shape from a single image -- outperforming comparable methods that rely on direct 3D supervision.


title: Efficient Grasp Planning and Execution with Multi-Fingered Hands by Surface Fitting

abstract: This paper introduces a framework to plan grasps with multi-fingered hands. The framework includes a multi-dimensional iterative surface fitting (MDISF) for grasp planning and a grasp trajectory optimization (GTO) for grasp imagination. The MDISF algorithm searches for optimal contact regions and hand configurations by minimizing the collision and surface fitting error, and the GTO algorithm generates optimal finger trajectories to reach the highly ranked grasp configurations and avoid collision with the environment. The proposed grasp planning and imagination framework considers the collision avoidance and the kinematics of the hand-robot system, and is able to plan grasps and trajectories of different categories efficiently with gradient-based methods using the captured point cloud. The found grasps and trajectories are robust to sensing noises and underlying uncertainties. The effectiveness of the proposed framework is verified by both simulations and experiments.


title: Online Sparse Subspace Clustering

abstract: This paper focuses on the sparse subspace clustering problem, and develops an online algorithmic solution to cluster data points on-the-fly, without revisiting the whole dataset. The strategy involves an online solution of a sparse representation (SR) problem to build a (sparse) dictionary of similarities where points in the same subspace are considered "similar," followed by a spectral clustering based on the obtained similarity matrix. When the SR cost is strongly convex, the online solution converges to within a neighborhood of the optimal time-varying batch solution. A dynamic regret analysis is performed when the SR cost is not strongly convex.


title: Gauge transformation in macroscopic quantum electrodynamics near polarizable surfaces

abstract: To describe charged particles interacting with the quantized electromagnetic field, we point out the differences of working in the so-called generalized and the true Coulomb gauges. We find an explicit gauge transformation between them for the case of the electromagnetic field operators quantized near a macroscopic boundary described by a piece-wise constant dielectric function. Starting from the generalized Coulomb gauge we transform operators into the true Coulomb gauge where the vector potential operator is truly transverse everywhere. We find the generating function of the gauge transformation to carry out the corresponding unitary transformation of the Hamiltonian and show that in the true Coulomb gauge the Hamiltonian of a particle near a polarizable surface contains extra terms due to the fluctuating surface charge density induced by the vacuum field. This extra term is represented by a second-quantised operator on equal footing with the vector field operators. We demonstrate that this term contains part of the electrostatic energy of the charged particle interacting with the surface and that the gauge invariance of the theory guarantees that the total interaction energy in all cases equals the well known result obtainable by the method of images when working in generalized Coulomb gauge. The mathematical tools we have developed allow us to work out explicitly the equal-time commutation relations and shed some light on typical misconceptions regarding issues of whether the presence of the boundaries should affect the field commutators or not, especially when the boundaries are modelled as perfect reflectors.


title: The Green tensor of Mindlin's anisotropic first strain gradient elasticity

abstract: We derive the Green tensor of Mindlin's anisotropic first strain gradient elasticity. The Green tensor is valid for arbitrary anisotropic materials, with up to 21 elastic constants and 171 gradient elastic constants in the general case of triclinic media. In contrast to its classical counterpart, the Green tensor is non-singular at the origin, and it converges to the classical tensor a few characteristic lengths away from the origin. Therefore, the Green tensor of Mindlin's first strain gradient elasticity can be regarded as a physical regularization of the classical anisotropic Green tensor. The isotropic Green tensor and other special cases are recovered as particular instances of the general anisotropic result. The Green tensor is implemented numerically and applied to the Kelvin problem with elastic constants determined from interatomic potentials. Results are compared to molecular statics calculations carried out with the same potentials.


title: Long-term optical spectral monitoring of a changing-look AGN NGC 3516 I: Continuum and broad-line flux variability

abstract: Here we present the long-term optical spectral monitoring of a changing-look active galactic nuclei (AGN) NGC 3516 that covers 22 years (from 1996 to 2018). We explore a variability in the broad lines and continuum, finding that the continuum is changing by more than a factor of 2, while the broad lines are varying by more than a factor of 10. The minimum of activity is observed in 2014, when the broad lines almost disappeared. We confirm that NGC 3516 is a changing-look AGN, and the absorption seen in the UV and X-ray may indicate that there is an obscuring region which is responsible for this. The line profiles are also changing. The mean profiles of the broad Halpha and Hbeta lines show shoulder-like structure in the wings, and enhanced peak, that may indicate a complex BLR. The rms-profiles of both lines seem to have the same shape and width of around 4200 km/s, indicating practically the same kinematics in the Halpha and Hbeta emitting regions. Measured time-lags between the continuum and Halpha and Hbeta broad-line variability are ~15 and 17 days, respectively, that in combination with the broad lines width allows us to estimate the NGC 3516 central black hole mass. We find that the black hole mass is 4.73+-1.40 x 10^7M_sun which is in agreement with previous estimates.


title: Plasma-Cascade Instability- theory, simulations and experiment

abstract: In this letter we describe a new micro-bunching instability occurring in charged particle beams propagating along a straight trajectory: based on the dynamics we named it a Plasma Cascade Instability.


title: Robust Re-identification of Manta Rays from Natural Markings by Learning Pose Invariant Embeddings

abstract: Visual identification of individual animals that bear unique natural body markings is an important task in wildlife conservation. The photo databases of animal markings grow larger and each new observation has to be matched against thousands of images. Existing photo-identification solutions have constraints on image quality and appearance of the pattern of interest in the image. These constraints limit the use of photos from citizen scientists. We present a novel system for visual re-identification based on unique natural markings that is robust to occlusions, viewpoint and illumination changes. We adapt methods developed for face re-identification and implement a deep convolutional neural network (CNN) to learn embeddings for images of natural markings. The distance between the learned embedding points provides a dissimilarity measure between the corresponding input images. The network is optimized using the triplet loss function and the online semi-hard triplet mining strategy. The proposed re-identification method is generic and not species specific. We evaluate the proposed system on image databases of manta ray belly patterns and humpback whale flukes. To be of practical value and adopted by marine biologists, a re-identification system needs to have a top-10 accuracy of at least 95%. The proposed system achieves this performance standard.


title: Machine-assisted annotation of forensic imagery

abstract: Image collections, if critical aspects of image content are exposed, can spur research and practical applications in many domains. Supervised machine learning may be the only feasible way to annotate very large collections, but leading approaches rely on large samples of completely and accurately annotated images. In the case of a large forensic collection, we are aiming to annotate, neither the complete annotation nor the large training samples can be feasibly produced. We, therefore, investigate ways to assist manual annotation efforts done by forensic experts. We present a method that can propose both images and areas within an image likely to contain desired classes. Evaluation of the method with human annotators showed highly accurate classification that was strongly helped by transfer learning. The segmentation precision (mAP) was improved by adding a separate class capturing background, but that did not affect the recall (mAR). Further work is needed to both increase the accuracy of segmentation and enhances prediction with additional covariates affecting decomposition. We hope this effort to be of help in other domains that require weak segmentation and have limited availability of qualified annotators.


title: A novel dynamic asset allocation system using Feature Saliency Hidden Markov models for smart beta investing

abstract: The financial crisis of 2008 generated interest in more transparent, rules-based strategies for portfolio construction, with Smart beta strategies emerging as a trend among institutional investors. While they perform well in the long run, these strategies often suffer from severe short-term drawdown (peak-to-trough decline) with fluctuating performance across cycles. To address cyclicality and underperformance, we build a dynamic asset allocation system using Hidden Markov Models (HMMs). We test our system across multiple combinations of smart beta strategies and the resulting portfolios show an improvement in risk-adjusted returns, especially on more return oriented portfolios (up to 50$\%$ in excess of market annually). In addition, we propose a novel smart beta allocation system based on the Feature Saliency HMM (FSHMM) algorithm that performs feature selection simultaneously with the training of the HMM, to improve regime identification. We evaluate our systematic trading system with real life assets using MSCI indices; further, the results (up to 60$\%$ in excess of market annually) show model performance improvement with respect to portfolios built using full feature HMMs.


title: Wiener-Hopf Factorization for Time-Inhomogeneous Markov Chains

abstract: This work contributes to the theory of Wiener-Hopf type factorization for finite Markov chains. This theory originated in the seminal paper Barlow et al. (1980), which treated the case of finite time-homogeneous Markov chains. Since then, several works extended the results of Barlow et al. (1980) in many directions. However, all these extensions were dealing with time-homogeneous Markov case. The first work dealing with the time-inhomogeneous situation was Bielecki et al. (2018), where Wiener-Hopf type factorization for time-inhomogeneous finite Markov chain with piecewise constant generator matrix function was derived. In the present paper we go further: we derive and study Wiener-Hopf type factorization for time-inhomogeneous finite Markov chain with the generator matrix function being a fairly general matrix valued function of time.


title: Analysis of Quantum Multi-Prover Zero-Knowledge Systems: Elimination of the Honest Condition and Computational Zero-Knowledge Systems for QMIP*

abstract: Zero-knowledge and multi-prover systems are both central notions in classical and quantum complexity theory. There is, however, little research in quantum multi-prover zero-knowledge systems. This paper studies complexity-theoretical aspects of the quantum multi-prover zero-knowledge systems. This paper has two results: 1.QMIP* systems with honest zero-knowledge can be converted into general zero-knowledge systems without any assumptions. 2.QMIP* has computational quantum zero-knowledge systems if a natural computational conjecture holds. One of the main tools is a test (called the GHZ test) that uses GHZ states shared by the provers, which prevents the verifier's attack in the above two results. Another main tool is what we call the Local Hamiltonian based Interactive protocol (LHI protocol). The LHI protocol makes previous research for Local Hamiltonians applicable to check the history state of interactive proofs, and we then apply Broadbent et al.'s zero-knowledge protocol for QMA \cite{BJSW} to quantum multi-prover systems in order to obtain the second result.


title: Selection type results and fixed point property for affine bi-Lipschitz maps

abstract: We obtain a refinement of a selection principle for $(\mathcal{K}, \lambda)$-wide-$(s)$ sequences in Banach spaces due to Rosenthal. This result is then used to show that if $C$ is a bounded, non-weakly compact, closed convex subset of a Banach space $X$, then there exists a Hausdorff vector topology $\tau$ on $X$ which is weaker than the weak topology, a closed, convex $\tau$-compact subset $K$ of $C$ and an affine bi-Lipschitz map $T: K\to K$ without fixed points.


title: Four-Valent Oriented Graphs of Biquasiprimitive Type

abstract: Let $\mathcal{OG}(4)$ denote the family of all graph-group pairs $(\Gamma,G)$ where $\Gamma$ is 4-valent, connected and $G$-oriented ($G$-half-arc-transitive). Using a novel application of the structure theorem for biquasiprimitive permutation groups of the second author, we produce a description of all pairs $(\Gamma, G) \in\mathcal{OG}(4)$ for which every nontrivial normal subgroup of $G$ has at most two orbits on the vertices of $\Gamma$. In particular we show that $G$ has a unique minimal normal subgroup $N$ and that $N \cong T^k$ for a simple group $T$ and $k\in \{1,2,4,8\}$. This provides a crucial step towards a general description of the long-studied family $\mathcal{OG}(4)$ in terms of a normal quotient reduction. We also give several methods for constructing pairs $(\Gamma, G)$ of this type and provide many new infinite families of examples, covering each of the possible structures of the normal subgroup $N$.