title: Safe Intersection Management for Mixed Transportation Systems with Human-Driven and Autonomous Vehicles

abstract: Most recent studies on establishing intersection safety focus on the situation where all vehicles are fully autonomous. However, currently most vehicles are human-driven and so we will need to transition through regimes featuring a varying proportion of human-driven vehicles ranging from 100\% to 0\% before realizing such a fully autonomous future -- if ever. We will, therefore, need to address the safety of hybrid systems featuring an arbitrary mixture of human-driven and autonomous vehicles. In fact, recent incidents involving autonomous vehicles have already highlighted the need to study the safety of autonomous vehicles co-existing with human-driven vehicles. Motivated by this we address the design of provably safe intersection management for mixed traffic consisting of a mix of human-driven vehicles (HVs) as well as autonomous vehicles (AVs). To analyze such mixed traffic, we model HVs as nearsighted and with relatively loose constraints, permitting worst-case behavior while AVs are considered as capable of following much tighter constraints. HVs are allowed freedom to change their speed at any time while AVs are only allowed to change their speed beginning of a time slot through a Model Predictive Controller (MPC). AVs are assumed to possess a shorter response time and stronger braking capability than HVs in collision avoidance. Moreover, AVs obtain the permissions of passing through the intersection through vehicle-to-infrastructure (V2I) communication, while HVs achieve the same objective by following traffic lights. Taking the above differences into consideration, we propose a provably safe intersection management for mixed traffic comprised of an MPC-based protocol for AVs along with a coordination protocol for traffic lights...


title: Accurate Gap Determination in Monolayer and Bilayer Graphene/h-BN Moire Superlattices

abstract: High mobility single and few-layer graphene sheets are in many ways attractive as nanoelectronic circuit hosts but lack energy gaps, which are essential to the operation of field-effect transistors. One of the methods used to create gaps in the spectrum of graphene systems is to form long period moire patterns by aligning the graphene and hexagonal boron nitride (h-BN) substrate lattices. Here, we use planar tunneling devices with thin h-BN barriers to obtain direct and accurate tunneling spectroscopy measurements of the energy gaps in single- and bi-layer graphene-h-BN superlattice structures at charge neutrality (first Dirac point) and at integer moire band occupancies (second Dirac point, SDP) as a function of external electric and magnetic fields and the interface twist angle. In single-layer graphene we find, in agreement with previous work, that gaps are formed at neutrality and at the hole-doped SDP, but not at the electron-doped SDP. Both primary and secondary gaps can be determined accurately by extrapolating Landau fan patterns to zero magnetic field and are as large as $\simeq$ 17 meV for devices in near perfect alignment. For bilayer graphene, we find that gaps occur only at charge neutrality where they can be modified by an external electric field. Tunneling signatures of in-gap states around neutrality suggest the development of edge modes related to topologically non-trivial valley projected bands due to the combination of an external electric field and moire superlattice patterns.


title: Dark matter heats up in dwarf galaxies

abstract: Gravitational potential fluctuations driven by bursty star formation can kinematically 'heat up' dark matter at the centres of dwarf galaxies. A key prediction of such models is that, at a fixed dark matter halo mass, dwarfs with a higher stellar mass will have a lower central dark matter density. We use stellar kinematics and HI gas rotation curves to infer the inner dark matter densities of eight dwarf spheroidal and eight dwarf irregular galaxies with a wide range of star formation histories. For all galaxies, we estimate the dark matter density at a common radius of 150pc, $\rho_{\rm DM}(150\,\mathrm{pc})$. We find that our sample of dwarfs falls into two distinct classes. Those that stopped forming stars over 6Gyrs ago favour central densities $\rho_{\rm DM}(150\,\mathrm{pc})>10^8\,{\rm M}_\odot\,{\rm kpc}^{-3}$, consistent with cold dark matter cusps, while those with more extended star formation favour $\rho_{\rm DM}(150\,\mathrm{pc})<10^8\,{\rm M}_{\odot}\,{\rm kpc}^{-3}$, consistent with shallower dark matter cores. Using abundance matching to infer pre-infall halo masses, $M_{200}$, we show that this dichotomy is in excellent agreement with models in which dark matter is heated up by bursty star formation. In particular, we find that $\rho_{\rm DM}(150\,\mathrm{pc})$ steadily decreases with increasing stellar mass-to-halo mass ratio, $M_*/M_{200}$. Our results suggest that, to leading order, dark matter is a cold, collisionless, fluid that can be kinematically 'heated up' and moved around.


title: Gate-controlled low carrier density superconductors: Toward the two-dimensional BCS-BEC crossover

abstract: Superconductivity mostly appears in high carrier density systems and sometimes exhibits common phase diagrams in which the critical temperature Tc continuously develops with carrier density. Superconductivity enhanced in lightly doped regime has seldom been reported, although it is an ideal direction towards the crossover between Bardeen-Cooper-Schrieffer (BCS) and Bose-Einstein condensate (BEC) limits, where the behavior of Cooper pairs changes dramatically. Here we report transport properties and superconducting gaps in single-crystalline lithium-intercalated layered nitrides (LixHfNCl and LixZrNCl) down to the low-doping regime, enabled by a combination of ionic gating device and tunneling spectroscopy. Upon the reduction of doping, both systems display the increase of Tc, up to 24.9 K especially in LixHfNCl, with the concomitant enhancement of two-dimensionality leading to a pseudogap state below 35.5 K as well as the increase of superconducting coupling strengths 2D/kBTc reaching 5.9. Such behavior in the carrier density region as low as 10^20 cm-3 indicates that lightly doped two-dimensional superconductors exhibit the unprecedented nature that is distinct from that in conventional superconductors, and offer a new route to access BCS-BEC crossover.


title: Coherent injection locking of quantum cascade laser frequency combs

abstract: Quantum cascade laser (QCL) frequency combs are a promising candidate for chemical sensing and biomedical diagnostics, requiring only milliseconds of acquisition time to record absorption spectra without any moving parts. They are electrically pumped and have a small footprint, making them an ideal platform for on-chip integration. Until now, optical feedback is fatal for frequency comb generation in QCLs and destroys intermodal coherence. This property imposes strict limits on the possible degree of integration. Here, we demonstrate coherent injection locking of the repetition frequency to a stabilized RF oscillator. For the first time, we prove that the spectrum of the injection locked QCL can be phase-locked, resulting in the generation of a frequency comb. We show that injection locking is not only a versatile tool for all-electrical frequency stabilization, but also mitigates the fatal effect of optical feedback on the frequency comb. A prototype self-detected dual-comb setup consisting only of an injection locked dual-comb chip, a lens and a mirror demonstrates the enormous potential for on-chip dual-comb spectroscopy. These results pave the way to miniaturized and all-solid-state mid-infrared spectrometers.


title: Chandra Follow-Up of the SDSS DR8 redMaPPer Catalog Using the MATCha Pipeline

abstract: In order to place constraints on cosmology through optical surveys of galaxy clusters, one must first understand the properties of those clusters. To this end, we introduce the Mass Analysis Tool for Chandra (MATCha), a pipeline which uses a parallellized algorithm to analyze archival Chandra data. MATCha simultaneously calculates X-ray temperatures and luminosities and performs centering measurements for hundreds of potential galaxy clusters using archival X-ray exposures. We run MATCha on the redMaPPer SDSS DR8 cluster catalog and use MATCha's output X-ray temperatures and luminosities to analyze the galaxy cluster temperature-richness, luminosity-richness, luminosity-temperature, and temperature-luminosity scaling relations. We detect 447 clusters and determine 246 r2500 temperatures across all redshifts. Within 0.1 < z < 0.35 we find that r2500 Tx scales with optical richness as ln(kB Tx / 1.0 keV) = (0.52 \pm 0.05) ln({\lambda}/70) + (1.85 \pm 0.03) with intrinsic scatter of 0.27 \pm 0.02 (1 {\sigma}). We investigate the distribution of offsets between the X-ray center and redMaPPer center within 0.1 < z < 0.35, finding that 68.3 \pm 6.5% of clusters are well-centered. However, we find a broad tail of large offsets in this distribution, and we explore some of the causes of redMaPPer miscentering.


title: Supervised Kernel PCA For Longitudinal Data

abstract: In statistical learning, high covariate dimensionality poses challenges for robust prediction and inference. To address this challenge, supervised dimension reduction is often performed, where dependence on the outcome is maximized for a selected covariate subspace with smaller dimensionality. Prevalent dimension reduction techniques assume data are $i.i.d.$, which is not appropriate for longitudinal data comprising multiple subjects with repeated measurements over time. In this paper, we derive a decomposition of the Hilbert-Schmidt Independence Criterion as a supervised loss function for longitudinal data, enabling dimension reduction between and within clusters separately, and propose a dimensionality-reduction technique, $sklPCA$, that performs this decomposed dimension reduction. We also show that this technique yields superior model accuracy compared to the model it extends.


title: Correlating the anomalous results in $b \to s$ decays with inert Higgs doublet dark matter and muon $(g-2)$

abstract: In this article, we have considered an extension of the inert Higgs doublet model with $SU(2)_L$ singlet vector like fermions. Our model is capable of addressing some interesting anomalous results in $b\to s\ell^+\ell^-$ decays (like $R(K^{(*)})$) and in muon $(g-2)$. Apart from explaining these anomalies, and being consistent with other flavour data, the model satisfies relevant constraints in the dark matter sector, while remaining within the reach of ongoing direct detection experiments. The model also produces signatures at the large hadron collider (LHC) with final states comprised of dilepton, dijet and missing energy, providing signals to be probed at higher luminosity.


title: Adversarial Removal of Demographic Attributes from Text Data

abstract: Recent advances in Representation Learning and Adversarial Training seem to succeed in removing unwanted features from the learned representation. We show that demographic information of authors is encoded in -- and can be recovered from -- the intermediate representations learned by text-based neural classifiers. The implication is that decisions of classifiers trained on textual data are not agnostic to -- and likely condition on -- demographic attributes. When attempting to remove such demographic information using adversarial training, we find that while the adversarial component achieves chance-level development-set accuracy during training, a post-hoc classifier, trained on the encoded sentences from the first part, still manages to reach substantially higher classification accuracies on the same data. This behavior is consistent across several tasks, demographic properties and datasets. We explore several techniques to improve the effectiveness of the adversarial component. Our main conclusion is a cautionary one: do not rely on the adversarial training to achieve invariant representation to sensitive features.


title: PDFS: Practical Data Feed Service for Smart Contracts

abstract: Smart contracts are a new paradigm that emerged with the rise of the blockchain technology. They allow untrusting parties to arrange agreements. These agreements are encoded as a programming language code and deployed on a blockchain platform, where all participants execute them and maintain their state. Smart contracts are promising since they are automated and decentralized, thus limiting the involvement of third trusted parties, and can contain monetary transfers. Due to these features, many people believe that smart contracts will revolutionize the way we think of distributed applications, information sharing, financial services, and infrastructures. To release the potential of smart contracts, it is necessary to connect the contracts with the outside world, such that they can understand and use information from other infrastructures. For instance, smart contracts would greatly benefit when they have access to web content. However, there are many challenges associated with realizing such a system, and despite the existence of many proposals, no solution is secure, provides easily-parsable data, introduces small overheads, and is easy to deploy. In this paper we propose PDFS, a practical system for data feeds that combines the advantages of the previous schemes and introduces new functionalities. PDFS extends content providers by including new features for data transparency and consistency validations. This combination provides multiple benefits like content which is easy to parse and efficient authenticity verification without breaking natural trust chains. PDFS keeps content providers auditable, mitigates their malicious activities (like data modification or censorship), and allows them to create a new business model. We show how PDFS is integrated with existing web services, report on a PDFS implementation and present results from conducted case studies and experiments.


title: On the Expected Value of the Maximal Bet in the Labouchere System

abstract: Consider a game consisting of independent turns with even money payoffs in which the player wins with a fixed probability $p \geq 1/3$ and loses with probability $1 - p$. The Labouchere system is a betting strategy which entails keeping a list of positive real numbers and betting the sum of the first and the last number on the list at every turn. In case of a victory, those two numbers are erased from the list, and, in case of a loss, the bet amount is appended to the end of the list. The player finishes the game when the list becomes empty. It is known that, in a game played with the Labouchere system with $p \leq 1/2$, both the sum of the bets and the maximal deficit have infinite expectation. Grimmett and Stirzaker raised the question of whether the same is true for the maximal bet. In this paper we show the expectation of the maximal bet is finite for $p > c$, where $c \approx 0.613763$ solves $(c-1)^2 c = \frac{8}{27(1+\sqrt{5})}$, thus partially answering this question.


title: On-the-Fly Mapping of New Pulsars

abstract: Current single dish, low-frequency radio pulsar surveys provide efficient sky coverage, but poor localization of new discoveries. Here, we describe a practical technique for rapidly localizing pulsars discovered in these surveys with on-the-fly mapping and provide code to facilitate and formalize its implementation. As a proof of concept, we alter the positions of four test sources and use the Green Bank Telescope (GBT) 350 MHz receiver to recover source positions within $\approx$1$-$3' of their true values, compared to an 18' error radius for new discoveries. Achieving similar precision with a traditional gridding strategy using the GBT requires 2$-$3 times as much telescope time (including overhead), multiple receivers and relies on assumptions about the pulsars' spectral indices. For one of our test sources (PSR J1400$-$1431), this method revealed a discrepancy with the initial, published position, prompting additional follow-up and an improved timing solution. Rapid localization is important for improving data quality and providing flexibility in choice of center frequency for future timing observations - both of which facilitate evaluating new millisecond pulsars for potential inclusion in pulsar timing arrays.


title: Percolation on Isotropically Directed Lattice

abstract: We investigate percolation on a randomly directed lattice, an intermediate between standard percolation and directed percolation, focusing on the isotropic case in which bonds on opposite directions occur with the same probability. We derive exact results for the percolation threshold on planar lattices, and present a conjecture for the value the percolation-threshold for in any lattice. We also identify presumably universal critical exponents, including a fractal dimension, associated with the strongly-connected components both for planar and cubic lattices. These critical exponents are different from those associated either with standard percolation or with directed percolation.


title: Stochastic Combinatorial Ensembles for Defending Against Adversarial Examples

abstract: Many deep learning algorithms can be easily fooled with simple adversarial examples. To address the limitations of existing defenses, we devised a probabilistic framework that can generate an exponentially large ensemble of models from a single model with just a linear cost. This framework takes advantage of neural network depth and stochastically decides whether or not to insert noise removal operators such as VAEs between layers. We show empirically the important role that model gradients have when it comes to determining transferability of adversarial examples, and take advantage of this result to demonstrate that it is possible to train models with limited adversarial attack transferability. Additionally, we propose a detection method based on metric learning in order to detect adversarial examples that have no hope of being cleaned of maliciously engineered noise.


title: Measuring the temperature and profiles of Lyman-$\alpha$ absorbers

abstract: The distribution of the absorption line broadening observed in the Ly$\alpha$ forest carries information about the temperature and widths of the filaments in the intergalactic medium (IGM). In this work, we present and test a new method for inferring the temperature of the IGM, the size of the absorbing filaments and the photo-ionization rate of hydrogen from the properties of absorption line broadening in the Ly$\alpha$ forest. We apply our method to mock spectra from the reference model of the EAGLE cosmological simulation, and we demonstrate that we are able to reconstruct the IGM properties. Our method explicitly takes into account the degeneracy between IGM temperature, the photo-ionization rate of hydrogen and the widths of the intergalactic filaments.


title: Hyperbolic metric on the strip and the Schwarz lemma for HQR mappings

abstract: We give simple proofs of various versions of the Schwarz lemma for real valued harmonic functions and for holomorphic (more generally harmonic quasi\-re\-gu\-lar, shortly HQR) mappings with the strip codomain. Along the way using the principle of subordination and the corresponding conformal mapping, depicted on the Figure 1, we get a simple proof of a new version of the Schwarz lemma for real valued harmonic functions (see Theorems 4 and 5) and Theorem 6 related to holomorphic mappings. Using the Schwarz-Pick lemma related to distortion for harmonic mappings and the elementary properties of the hyperbolic geometry of the strip we prove Lemma 4, which is a key ingredient in the proof of Theorem 7 which yields optimal estimates for modulus of HQR mappings.


title: Simons Observatory large aperture receiver simulation overview

abstract: The Simons Observatory (SO) will make precision temperature and polarization measurements of the cosmic microwave background (CMB) using a series of telescopes which will cover angular scales between one arcminute and tens of degrees, contain over 60,000 detectors, and sample frequencies between 27 and 270 GHz. SO will consist of a six-meter-aperture telescope coupled to over 30,000 detectors along with an array of half-meter aperture refractive cameras, which together couple to an additional 30,000+ detectors. SO will measure fundamental cosmological parameters of our universe, find high redshift clusters via the Sunyaev-Zeldovich effect, constrain properties of neutrinos, and seek signatures of dark matter through gravitational lensing. In this paper we will present results of the simulations of the SO large aperture telescope receiver (LATR). We will show details of simulations performed to ensure the structural integrity and thermal performance of our receiver, as well as will present the results of finite element analyses (FEA) of designs for the structural support system. Additionally, a full thermal model for the LATR will be described. The model will be used to ensure we meet our design requirements. Finally, we will present the results of FEA used to identify the primary vibrational modes, and planned methods for suppressing these modes. Design solutions to each of these problems that have been informed by simulation will be presented.


title: Inverse Problems in Asteroseismology

abstract: Asteroseismology allows us to probe the internal structure of stars through their global modes of oscillation. Thanks to missions such as the NASA Kepler space observatory, we now have high-quality asteroseismic data for nearly 100 solar-type stars. In this thesis, new techniques to measure the ages, masses, and radii of stars are presented, as well as a way to infer their internal structure.


title: Anisotropic spin-orbit torque generation in epitaxial SrIrO3 by symmetry design

abstract: Spin-orbit coupling (SOC), the interaction between the electron spin and the orbital angular momentum, can unlock rich phenomena at interfaces, in particular interconverting spin and charge currents. Conventional heavy metals have been extensively explored due to their strong SOC of conduction electrons. However, spin-orbit effects in classes of materials such as epitaxial 5d-electron transition metal complex oxides, which also host strong SOC, remain largely unreported. In addition to strong SOC, these complex oxides can also provide the additional tuning knob of epitaxy to control the electronic structure and the engineering of spin-to-charge conversion by crystalline symmetry. Here, we demonstrate room-temperature generation of spin-orbit torque on a ferromagnet with extremely high efficiency via the spin-Hall effect in epitaxial metastable perovskite SrIrO3. We first predict a large intrinsic spin-Hall conductivity in orthorhombic bulk SrIrO3 arising from the Berry curvature in the electronic band structure. By manipulating the intricate interplay between SOC and crystalline symmetry, we control the spin-Hall torque ratio by engineering the tilt of the corner-sharing oxygen octahedra in perovskite SrIrO3 through epitaxial strain. This allows the presence of an anisotropic spin-Hall effect due to a characteristic structural anisotropy in SrIrO3 with orthorhombic symmetry. Our experimental findings demonstrate the heteroepitaxial symmetry design approach to engineer spin-orbit effects. We therefore anticipate that these epitaxial 5d transition-metal oxide thin films can be an ideal building block for low-power spintronics.


title: Privacy Amplification by Iteration

abstract: Many commonly used learning algorithms work by iteratively updating an intermediate solution using one or a few data points in each iteration. Analysis of differential privacy for such algorithms often involves ensuring privacy of each step and then reasoning about the cumulative privacy cost of the algorithm. This is enabled by composition theorems for differential privacy that allow releasing of all the intermediate results. In this work, we demonstrate that for contractive iterations, not releasing the intermediate results strongly amplifies the privacy guarantees. We describe several applications of this new analysis technique to solving convex optimization problems via noisy stochastic gradient descent. For example, we demonstrate that a relatively small number of non-private data points from the same distribution can be used to close the gap between private and non-private convex optimization. In addition, we demonstrate that we can achieve guarantees similar to those obtainable using the privacy-amplification-by-sampling technique in several natural settings where that technique cannot be applied.


title: On the Optimality of Ergodic Trajectories for Information Gathering Tasks

abstract: Recently, ergodic control has been suggested as a means to guide mobile sensors for information gathering tasks. In ergodic control, a mobile sensor follows a trajectory that is ergodic with respect to some information density distribution. A trajectory is ergodic if time spent in a state space region is proportional to the information density of the region. Although ergodic control has shown promising experimental results, there is little understanding of why it works or when it is optimal. In this paper, we study a problem class under which optimal information gathering trajectories are ergodic. This class relies on a submodularity assumption for repeated measurements from the same state. It is assumed that information available in a region decays linearly with time spent there. This assumption informs selection of the horizon used in ergodic trajectory generation. We support our claims with a set of experiments that demonstrate the link between ergodicity, optimal information gathering, and submodularity.


title: On the Riemann Zeta Function and the fractional part of rational powers

abstract: Using elementary methods we find surprising connections between the values of the Riemann Zeta Function over integers and the fractional parts of rational powers, and a connection between the Riemann Zeta Function and the Prime Zeta Function.


title: Microscopic phase diagram of LaFeAsO single crystals under pressure

abstract: We investigated LaFeAsO single crystals by means of synchrotron M\"ossbauer spectroscopy under pressures up to 7.5 GPa and down to 13 K and provide a microscopic phase diagram. We found a continuous suppression of the magnetic hyperfine field with increasing pressure and it completely vanishes at $\sim$ 7.5 GPa which is in contrast to the behavior in polycrystalline samples where the magnetic order vanishes at $\sim$ 20 GPa. The different behavior of the polycrystalline samples might be due to As-vacancies. Our results are in qualitative agreement with density functional theory calculations where a reduction of the magnetic moment with increasing pressure was found. We found that among different samples at ambient pressure the magnetic phase transition temperature as well as the low-temperature magnetic hyperfine field decrease with increasing unit cell volume.


title: Deterministic Factorization of Sparse Polynomials with Bounded Individual Degree

abstract: In this paper we study the problem of deterministic factorization of sparse polynomials. We show that if $f \in \mathbb{F}[x_{1},x_{2},\ldots ,x_{n}]$ is a polynomial with $s$ monomials, with individual degrees of its variables bounded by $d$, then $f$ can be deterministically factored in time $s^{\mathrm{poly}(d) \log n}$. Prior to our work, the only efficient factoring algorithms known for this class of polynomials were randomized, and other than for the cases of $d=1$ and $d=2$, only exponential time deterministic factoring algorithms were known. A crucial ingredient in our proof is a quasi-polynomial sparsity bound for factors of sparse polynomials of bounded individual degree. In particular we show if $f$ is an $s$-sparse polynomial in $n$ variables, with individual degrees of its variables bounded by $d$, then the sparsity of each factor of $f$ is bounded by $s^{O({d^2\log{n}})}$. This is the first nontrivial bound on factor sparsity for $d>2$. Our sparsity bound uses techniques from convex geometry, such as the theory of Newton polytopes and an approximate version of the classical Carath\'eodory's Theorem. Our work addresses and partially answers a question of von zur Gathen and Kaltofen (JCSS 1985) who asked whether a quasi-polynomial bound holds for the sparsity of factors of sparse polynomials.


title: Topological uniqueness results for Lefschetz fibrations over the disc

abstract: We prove that a Lefschetz fibration over the disc that, after compactification, has the same singular fibers as an extremal rational elliptic surface can be obtained by deleting a singular fiber and a section from the rational extremal elliptic surface, i.e. such a Lefschetz fibration is determined up to topological equivalence by its set of singular fibers. We get a complete clasification of Lefschetz fibrations with 2 $I_1$ fibers as a byproduct of our results. The proof is inspired by homological mirror symmetry and Karpov--Nogin's theorem on constructivity of helices on del Pezzo surfaces. It would be interesting to extend our results to the case of Lefschetz fibrations that, after compactification, have the same singular fibers as an extremal elliptic K3 surface.


title: Designs over finite fields by difference methods

abstract: One of the very first results about designs over finite fields, by S. Thomas, is the existence of a cyclic 2-$(n,3,7)$ design over $\mathbb{F}_{2}$ for every integer $n$ coprime with 6. Here, by means of difference methods, we reprove and improve a little bit this result showing that it is true, more generally, for every odd $n$. In this way, we also find the first infinite family of non-trivial cyclic group divisible designs over $\mathbb{F}_{2}$.


title: A coordinate-free proof of the finiteness principle for the Whitney extension problem

abstract: We present a coordinate-free version of Fefferman's solution of Whitney's extension problem in the space $C^{m-1,1}(\mathbb{R}^n)$. While the original argument relies on an elaborate induction on collections of partial derivatives, our proof uses the language of ideals and translation-invariant subspaces in the ring of polynomials. We emphasize the role of compactness in the proof, first in the familiar sense of topological compactness, but also in the sense of finiteness theorems arising in logic and semialgebraic geometry.


title: Fitting the density substructure of the stellar halo with MilkyWay@home

abstract: We propose and test a method for applying statistical photometric parallax to main sequence turn off (MSTO) stars in the Sloan Digital Sky Survey (SDSS). Using simulated data, we show that if our density model is similar to the actual density distribution of our data, we can reliably determine the density model parameters of three major substructures in the Milky Way halo using the computational resources available on MilkyWay@home (a twenty parameter fit). We fit the stellar density in SDSS stripe 19 with a smooth stellar spheroid component and three major streams. One of these streams is consistent with the Sagittarius tidal stream at $21.1$ kpc away, one is consistent with the trailing tail of the Sagittarius tidal stream in the north Galactic cap at $48$ kpc away, and one is possibly part of the Virgo Overdensity at $6$ kpc away. We find the one sigma widths of these three streams to be $1.0$ kpc, $17.6$ kpc, and $6.1$ kpc, respectively. The width of the trailing tail is extremely wide ($41$ kpc full width at half maximum). This large width could have implications for the shape of the Milky Way dark matter halo. The width of the Virgo Overdensity-like structure is consistent with what we might expect for a "cloud"-like structure; analysis of additional stripes of data are needed to outline the full extent of this structure and confirm its association with the Virgo Overdensity.


title: Dynamically evolved community size and stability of random Lotka-Volterra ecosystems

abstract: We use dynamical generating functionals to study the stability and size of communities evolving in Lotka-Volterra systems with random interaction coefficients. The size of the eco-system is not set from the beginning. Instead, we start from a set of possible species, which may undergo extinction. How many species survive depends on the properties of the interaction matrix; the size of the resulting food web at stationarity is a property of the system itself in our model, and not a control parameter as in most studies based on random matrix theory. We find that prey-predator relations enhance stability, and that variability of species interactions promotes instability. Complexity of inter-species couplings leads to reduced sizes of ecological communities. Dynamically evolved community size and stability are hence positively correlated.


title: A Hybrid Differential Evolution Approach to Designing Deep Convolutional Neural Networks for Image Classification

abstract: Convolutional Neural Networks (CNNs) have demonstrated their superiority in image classification, and evolutionary computation (EC) methods have recently been surging to automatically design the architectures of CNNs to save the tedious work of manually designing CNNs. In this paper, a new hybrid differential evolution (DE) algorithm with a newly added crossover operator is proposed to evolve the architectures of CNNs of any lengths, which is named DECNN. There are three new ideas in the proposed DECNN method. Firstly, an existing effective encoding scheme is refined to cater for variable-length CNN architectures; Secondly, the new mutation and crossover operators are developed for variable-length DE to optimise the hyperparameters of CNNs; Finally, the new second crossover is introduced to evolve the depth of the CNN architectures. The proposed algorithm is tested on six widely-used benchmark datasets and the results are compared to 12 state-of-the-art methods, which shows the proposed method is vigorously competitive to the state-of-the-art algorithms. Furthermore, the proposed method is also compared with a method using particle swarm optimisation with a similar encoding strategy named IPPSO, and the proposed DECNN outperforms IPPSO in terms of the accuracy.


title: Topological phases and twisting of graphene on a dichalcogenide monolayer

abstract: Depositing monolayer graphene on a transition metal dichalcogenide (TMD) semiconductor substrate has been shown to change the dynamics of the electronic states in graphene, inducing spin orbit coupling (SOC) and staggered potential effects. Theoretical studies on commensurate supercells have demonstrated the appearance of interesting phases, as different materials and relative gate voltages are applied. Here we address the effects of the real incommensurability between lattices by implementing a continuum model approach that does not require small-period supercells. The approach allows us to study the role of possible relative twists of the layers, and verify that the SOC transfer is robust to twists, in agreement with observations. We characterize the nature of the different phases by studying an effective Hamiltonian that fully describes the graphene-TMD heterostructure. We find the system supports topologically non-trivial phases over a wide range of parameter ranges, which require the dominance of the intrinsic SOC over the staggered and Rashba potentials. This tantalizing result suggests the possible experimental realization of a tunable quantum spin Hall phase under suitable conditions. We estimate that most TMDs used to date likely result in weak intrinsic SOC that would not drive the heterostructure into topologically non-trivial phases. Additional means to induce a larger intrinsic SOC, such as strain fields or heavy metal intercalation may be required.


title: How do Software Ecosystems Co-Evolve? A view from OpenStack and beyond

abstract: Much research that analyzes the evolution of a software ecosystem is confined to its own boundaries. Evidence shows, however, that software ecosystems co-evolve independently with other software ecosystems. In other words, understanding the evolution of a software ecosystem requires an especially astute awareness of its competitive landscape and much consideration for other software ecosystems in related markets. A software ecosystem does not evolve in insulation but with other software ecosystems. In this research, we analyzed the OpenStack software ecosystem with a focal perspective that attempted to understand its evolution as a function of other software ecosystems. We attempted to understand and explain the evolution of OpenStack in relation to other software ecosystems in the cloud computing market. Our findings add to theoretical knowledge in software ecosystems by identifying and discussing seven different mechanisms by which software ecosystems mutually influence each other: sedimentation and embeddedness of business relationships, strategic management of the portfolio of business relationships, firms values and reputation as a partner, core technological architecture, design of the APIs, competitive replication of functionality and multi-homing. Research addressing the evolution of software ecosystem should, therefore, acknowledge that software ecosystems entangle with other software ecosystems in multiple ways, even with competing ones. A rigorous analysis of the evolution of a software ecosystem should not be solely confined to its inner boundaries.


title: Out-of-Distribution Detection using Multiple Semantic Label Representations

abstract: Deep Neural Networks are powerful models that attained remarkable results on a variety of tasks. These models are shown to be extremely efficient when training and test data are drawn from the same distribution. However, it is not clear how a network will act when it is fed with an out-of-distribution example. In this work, we consider the problem of out-of-distribution detection in neural networks. We propose to use multiple semantic dense representations instead of sparse representation as the target label. Specifically, we propose to use several word representations obtained from different corpora or architectures as target labels. We evaluated the proposed model on computer vision, and speech commands detection tasks and compared it to previous methods. Results suggest that our method compares favorably with previous work. Besides, we present the efficiency of our approach for detecting wrongly classified and adversarial examples.


title: Cayley Digraphs Associated to Arithmetic Groups

abstract: We explore a paradigm which ties together seemingly disparate areas in number theory, additive combinatorics, and geometric combinatorics including the classical Waring problem, the Furstenberg-S\'{a}rk\"{o}zy theorem on squares in sets of integers with positive density, and the study of triangles (also called $2$-simplices) in finite fields. Among other results we show that if $\mathbb{F}_q$ is the finite field of odd order $q$, then every matrix in $Mat_d(\mathbb{F}_q), d \geq 2$ is the sum of a certain (finite) number of orthogonal matrices, this number depending only on $d$, the size of the matrix, and on whether $q$ is congruent to $1$ or $3$ (mod $4$), but independent of $q$ otherwise.


title: Stability for maximal independent sets

abstract: Answering questions of Y. Rabinovich, we prove "stability" versions of upper bounds on maximal independent set counts in graphs under various restrictions. Roughly these say that being close to the maximum implies existence of a large induced matching or triangle matching (depending on assumptions).


title: One Hundred and Twelve Point Three Degree Theorem

abstract: It has been known since Fagnano in 1775 that an acute triangle always has a periodic billiard path, namely the orthic triangle. It is currently unknown whether every obtuse triangle has a periodic path. In 2006, Schwartz showed that every obtuse triangle with obtuse angle at most 100 degrees has a periodic path. The aim of this paper is to show that every obtuse triangle with obtuse angle at most 112.3 degrees has a periodic path using a computer assisted proof.


title: Engineering separatrix volume as a control technique for dynamical transitions

abstract: Dynamical transitions, such as a change from bound to unbound motion, often occur as post-adiabatic crossings of a time-dependent separatrix. Whether or not any given orbit will include such a crossing transition typically depends sensitively on initial conditions, but a simple estimate for the fraction of orbits which will cross the separatrix, based on Liouville's theorem, has appeared several times in the literature. Post-adiabatic dynamical transitions have more recently been reconsidered as a control problem rather than an initial value problem: what forms of time-dependent Hamiltonian can most efficiently induce desired transitions, or prevent unwanted ones? We therefore apply the Liouvillian estimate for the transition fraction to show how engineering separatrix volumes in phase space can be a control technique for dynamical transitions.


title: Noncommutative polynomials describing convex sets

abstract: The free closed semialgebraic set $D_f$ determined by a hermitian noncommutative polynomial $f$ is the closure of the connected component of $\{(X,X^*)\mid f(X,X^*)>0\}$ containing the origin. When $L$ is a hermitian monic linear pencil, the free closed semialgebraic set $D_L$ is the feasible set of the linear matrix inequality $L(X,X^*)\geq 0$ and is known as a free spectrahedron. Evidently these are convex and it is well-known that a free closed semialgebraic set is convex if and only it is a free spectrahedron. The main result of this paper solves the basic problem of determining those $f$ for which $D_f$ is convex. The solution leads to an efficient algorithm that not only determines if $D_f$ is convex, but if so, produces a minimal hermitian monic pencil $L$ such that $D_f=D_L$. Of independent interest is a subalgorithm based on a Nichtsingul\"arstellensatz presented here: given a linear pencil $L'$ and a hermitian monic pencil $L$, it determines if $L'$ takes invertible values on the interior of $D_L$. Finally, it is shown that if $D_f$ is convex for an irreducible hermitian polynomial $f$, then $f$ has degree at most two, and arises as the Schur complement of an $L$ such that $D_f=D_L$.


title: Learning deep representations by mutual information estimation and maximization

abstract: In this work, we perform unsupervised learning of representations by maximizing mutual information between an input and the output of a deep neural network encoder. Importantly, we show that structure matters: incorporating knowledge about locality of the input to the objective can greatly influence a representation's suitability for downstream tasks. We further control characteristics of the representation by matching to a prior distribution adversarially. Our method, which we call Deep InfoMax (DIM), outperforms a number of popular unsupervised learning methods and competes with fully-supervised learning on several classification tasks. DIM opens new avenues for unsupervised learning of representations and is an important step towards flexible formulations of representation-learning objectives for specific end-goals.


title: Adversarial Sampling for Active Learning

abstract: This paper proposes asal, a new GAN based active learning method that generates high entropy samples. Instead of directly annotating the synthetic samples, ASAL searches similar samples from the pool and includes them for training. Hence, the quality of new samples is high and annotations are reliable. To the best of our knowledge, ASAL is the first GAN based AL method applicable to multi-class problems that outperforms random sample selection. Another benefit of ASAL is its small run-time complexity (sub-linear) compared to traditional uncertainty sampling (linear). We present a comprehensive set of experiments on multiple traditional data sets and show that ASAL outperforms similar methods and clearly exceeds the established baseline (random sampling). In the discussion section we analyze in which situations ASAL performs best and why it is sometimes hard to outperform random sample selection.


title: Fast water flow through graphene nanocapillaries: a continuum model approach involving the microscopic structure of confined water

abstract: Water inside a nanocapillary becomes ordered, resulting in unconventional behavior. A profound enhancement of water flow inside nanometer thin capillaries made of graphene has been observed [B. Radha et.al., Nature (London) 538, 222 (2016)]. Here we explain this enhancement as due to the large density and the extraordinary viscosity of water inside the graphene nanocapillaries. Using the Hagen-Poiseuille theory with slippage-boundary condition and incorporating disjoining pressure term in combination with results from molecular dynamics (MD) simulations, we present an analytical theory that elucidates the origin of the enhancement of water flow inside hydrophobic nanocapillaries. Our work reveals a distinctive dependence of water flow in a nanocapillary on the structural properties of nanoconfined water in agreement with experiment, which opens a new avenue in nanofluidics.


title: Quantum Interference Control of Carriers and Currents in Zincblende Semiconductors based on Nonlinear Absorption Processes

abstract: Quantum interference between optical absorption processes can excite carriers with a polarized distribution in the Brillouin zone depending on properties of the incident optical fields. The polarized distribution of carriers introduces a current that can be controlled by the phases and polarizations of the incident optical fields. Here we study the quantum interference of 2- and 3-photon absorption processes in AlGaAs. We present theoretical predictions for carrier and current injection rates considering different frequencies, phases, and polarizations of the incident fields. We also discuss the important features that result from only nonlinear optical processes being involved, which leads for instance to a sharper distribution of carriers in the Brillouin zone.


title: Krylov projection methods for linear Hamiltonian systems

abstract: We study geometric properties of Krylov projection methods for large and sparse linear Hamiltonian systems. We consider in particular energy preservation. We discuss the connection to structure preserving model reduction. We illustrate the performance of the methods by applying them to Hamiltonian PDEs.


title: Class2Str: End to End Latent Hierarchy Learning

abstract: Deep neural networks for image classification typically consists of a convolutional feature extractor followed by a fully connected classifier network. The predicted and the ground truth labels are represented as one hot vectors. Such a representation assumes that all classes are equally dissimilar. However, classes have visual similarities and often form a hierarchy. Learning this latent hierarchy explicitly in the architecture could provide invaluable insights. We propose an alternate architecture to the classifier network called the Latent Hierarchy (LH) Classifier and an end to end learned Class2Str mapping which discovers a latent hierarchy of the classes. We show that for some of the best performing architectures on CIFAR and Imagenet datasets, the proposed replacement and training by LH classifier recovers the accuracy, with a fraction of the number of parameters in the classifier part. Compared to the previous work of HDCNN, which also learns a 2 level hierarchy, we are able to learn a hierarchy at an arbitrary number of levels as well as obtain an accuracy improvement on the Imagenet classification task over them. We also verify that many visually similar classes are grouped together, under the learnt hierarchy.


title: A simple model for detection of rare sound events

abstract: We propose a simple recurrent model for detecting rare sound events, when the time boundaries of events are available for training. Our model optimizes the combination of an utterance-level loss, which classifies whether an event occurs in an utterance, and a frame-level loss, which classifies whether each frame corresponds to the event when it does occur. The two losses make use of a shared vectorial representation the event, and are connected by an attention mechanism. We demonstrate our model on Task 2 of the DCASE 2017 challenge, and achieve competitive performance.


title: Double-excitation manifold's effect on exciton transfer dynamics and the efficiency of coherent light harvesting

abstract: The efficiency of natural light harvesting systems is largely determined by their ability to transfer excitations from the antenna to the energy trapping center before recombination. Exciton diffusion length similarly limits organic photovoltaics and demands bulk heterojunction architectures. Dark state protection, achieved by coherent coupling between subunits within the antenna, can significantly reduce radiative recombination and enhance the efficiency of energy trapping. In this work we extend the dark state concept to the double-excitation manifold by studying the dynamical flow of excitations. We show the lowest double-excitation state carries minimal oscillator strength but relaxation to this state from higher lying double excitations can be relatively rapid such that the lowest double excitation state can act as a dynamical dark state protecting excitation from radiative recombination. This mechanism is sensitive to topology and operates differently for chain and ring structures, while becoming more pronounced in both geometries when the size of the antenna increases. When the exciton-exciton annihilation (EEA) mechanism is considered, the double-excitation population is quickly depleted and the dynamics changes dramatically. However the efficiency and output power are still significantly different from those calculated using the single-excitation manifold alone, justifying the necessity of considering the double-excitation manifold. Remarkably, in certain scenarios, the EEA can even increase the overall light harvesting efficiency by bringing population down from the double-excitation dark states to the single-excitation manifold.


title: Cosmic String Loop Collapse in Full General Relativity

abstract: We present the first fully general relativistic dynamical simulations of Abelian Higgs cosmic strings using 3+1D numerical relativity. Focusing on cosmic string loops, we show that they collapse due to their tension and can either (i) unwind and disperse or (ii) form a black hole, depending on their tension $G\mu$ and initial radius. We show that these results can be predicted using an approximate formula derived using the hoop conjecture, and argue that it is independent of field interactions. We extract the gravitational waveform produced in the black hole formation case and show that it is dominated by the $l=2$ and $m=0$ mode. We also compute the total gravitational wave energy emitted during such a collapse, being $0.5\pm 0.2~ \%$ of the initial total cosmic string loop mass, for a string tension of $G\mu=1.6\times 10^{-2}$ and radius $R=100~M_{pl}^{-1}$. We use our results to put a bound on the production rate of planar cosmic strings loops as $N \lesssim 10^{-2}~\mathrm{Gpc}^{-3}~\mathrm{yr}^{-1}$.


title: Annotation Scaffolds for Object Modeling and Manipulation

abstract: We present and evaluate an approach for human-in-the-loop specification of shape reconstruction with annotations for basic robot-object interactions. Our method is based on the idea of model annotation: the addition of simple cues to an underlying object model to specify shape and delineate a simple task. The goal is to explore reducing the complexity of CAD-like interfaces so that novice users can quickly recover an object's shape and describe a manipulation task that is then carried out by a robot. The object modeling and interaction annotation capabilities are tested with a user study and compared against results obtained using existing approaches. The approach has been analyzed using a variety of shape comparison, grasping, and manipulation metrics, and tested with the PR2 robot platform, where it was shown to be successful.


title: Renormalized dispersing multiplets in the spectrum of nearly Mott localized systems

abstract: The spectrum of the strongly correlated systems usually shows resonant peaks at finite energy, with examples in the 115 Ce family which are reproduced by the dynamical mean-field theory. A similar structure has been seen recently in the orbitally selective Mott (OSM) phase of two-band model, known as doublon-holon bound state, with implications on the fate of such phase in the zero Hund's coupling limit. We show that these features can be captured with the slave-particle methods once their Hilbert space is taken into account. We use slave-spin calculations, justifiable in the limit of large dimensions, to explicitly demonstrate this and compare the results with dynamical mean-field theory.


title: Cosmic Ray Muon Radiography Applications in Safeguards and Arms Control

abstract: Muons are the most penetrating radiographic probe that exists today. These elementary particles possess a unique combination of physical properties that allows them to pass through dense, heavily shielded objects that are opaque to typical photon/neutron probes, and emerge with useful radiographic information on the object'sinternal substructure. Interactions of cosmic rays in the Earth's upper atmosphere provide a constant, natural source of muons that can be used for passive interrogation, eliminating the need for artificial sources of radiation. These proceedings discuss specific applications of muon radiography in nuclear safeguards and arms control treaty verification.


title: An $\mathsf{A}_{\infty}$ version of the Poincar\'e lemma

abstract: We prove a categorified version of the Poincar\'e lemma. The natural setting for our result is that of $\infty$-local systems. More precisely, we show that any smooth homotopy between maps $f$ and $g$ induces an $\mathsf{A}_\infty$-natural transformation between the corresponding pullback functors. This transformation is explicitly defined in terms of Chen's iterated integrals. In particular, we show that a homotopy equivalence induces a quasi-equivalence on the DG categories of $\infty$-local system.


title: The shape of the orbit in FLRW spacetimes

abstract: The shape of the orbit of a free particle is examined in FLRW cosmologies. The spatial projection of the orbit is time-independent and has a simple geometric description. We relate this description to the expression in terms of standard FLRW coordinates.


title: Use Of Vapnik-Chervonenkis Dimension in Model Selection

abstract: In this dissertation, I derive a new method to estimate the Vapnik-Chervonenkis Dimension (VCD) for the class of linear functions. This method is inspired by the technique developed by Vapnik et al. Vapnik et al. (1994). My contribution rests on the approximation of the expected maximum difference between two empirical Losses (EMDBTEL). In fact, I use a cross-validated form of the error to compute the EMDBTEL, and I make the bound on the EMDBTEL tighter by minimizing a constant in of its right upper bound. I also derive two bounds for the true unknown risk using the additive (ERM1) and the multiplicative (ERM2) Chernoff bounds. These bounds depend on the estimated VCD and the empirical risk. These bounds can be used to perform model selection and to declare with high probability, the chosen model will perform better without making strong assumptions about the data generating process (DG). I measure the accuracy of my technique on simulated datasets and also on three real datasets. The model selection provided by VCD was always as good as if not better than the other methods under reasonable conditions.


title: Charge-Based Model for Ultrathin Junctionless DG FETs, Including Quantum Confinement

abstract: This paper presents a generalization of the charge-based model for ultrathin junctionless double-gate (JLDG) field-effect transistors (FETs) by including quantum electron density. The analytical derivation relies on a first-order correction to the infinite quantum well. When restricting the analysis to the first and second quantized states, the free carrier charge distribution and the current in an ultrathin body JLDG FETs are in agreement with numerical TCAD simulations in all the regions of operation, i.e., from deep depletion to accumulation and from linear to saturation.


title: Deep Multimodal Image-Repurposing Detection

abstract: Nefarious actors on social media and other platforms often spread rumors and falsehoods through images whose metadata (e.g., captions) have been modified to provide visual substantiation of the rumor/falsehood. This type of modification is referred to as image repurposing, in which often an unmanipulated image is published along with incorrect or manipulated metadata to serve the actor's ulterior motives. We present the Multimodal Entity Image Repurposing (MEIR) dataset, a substantially challenging dataset over that which has been previously available to support research into image repurposing detection. The new dataset includes location, person, and organization manipulations on real-world data sourced from Flickr. We also present a novel, end-to-end, deep multimodal learning model for assessing the integrity of an image by combining information extracted from the image with related information from a knowledge base. The proposed method is compared against state-of-the-art techniques on existing datasets as well as MEIR, where it outperforms existing methods across the board, with AUC improvement up to 0.23.


title: A Theory of Inertia Based on Mach's Principle

abstract: A non-relativistic theory of inertia based on Mach's principle is presented as has been envisaged but not achieved by Ernst Mach in 1872. Central feature is a space-dependent, anisotropic, symmetric inert mass tensor.


title: Pisa and the Collider Detector at Fermilab: a History of the Establishment of Precision Physics With a Calorimetric Spectrometer at a Hadron Collider

abstract: This is a personal and admittedly US-centric attempt to summarize the foundational impact of the Pisa CDF Group on the conceptual design, construction, and early operation of the CDF Detector at Fermilab. I have tried to go back to original documents where possible.


title: Bayesian Function-on-Scalars Regression for High Dimensional Data

abstract: We develop a fully Bayesian framework for function-on-scalars regression with many predictors. The functional data response is modeled nonparametrically using unknown basis functions, which produces a flexible and data-adaptive functional basis. We incorporate shrinkage priors that effectively remove unimportant scalar covariates from the model and reduce sensitivity to the number of (unknown) basis functions. For variable selection in functional regression, we propose a decision theoretic posterior summarization technique, which identifies a subset of covariates that retains nearly the predictive accuracy of the full model. Our approach is broadly applicable for Bayesian functional regression models, and unlike existing methods provides joint rather than marginal selection of important predictor variables. Computationally scalable posterior inference is achieved using a Gibbs sampler with linear time complexity in the number of predictors. The resulting algorithm is empirically faster than existing frequentist and Bayesian techniques, and provides joint estimation of model parameters, prediction and imputation of functional trajectories, and uncertainty quantification via the posterior distribution. A simulation study demonstrates improvements in estimation accuracy, uncertainty quantification, and variable selection relative to existing alternatives. The methodology is applied to actigraphy data to investigate the association between intraday physical activity and responses to a sleep questionnaire.


title: Tunable Magnonic Thermal Hall Effect in Skyrmion Crystal Phases of Ferrimagnets

abstract: We theoretically study the thermal Hall effect by magnons in skyrmion crystal phases of ferrimagnets in the vicinity of the angular momentum compensation point (CP). To this end, we start by deriving the equation of motion for magnons in the background of an arbitrary equilibrium spin texture, which gives rise to the fictitious electromagnetic field for magnons. As the net spin density varies, the resultant equation of motion interpolates between the relativistic Klein-Gordon equation at CP and the nonrelativistic Schr{\"o}dinger-like equation away from it. In skyrmion crystal phases, the right- and the left-circularly polarized magnons with respect to the order parameter are shown to form the Landau levels separately within the uniform skyrmion-density approximation. For an experimental proposal, we predict that the magnonic thermal Hall conductivity changes its sign when the ferrimagnet is tuned across CP, providing a way to control heat flux in spin-caloritronic devices on the one hand and a feasible way to detect CP of ferrimagnets on the other hand.


title: Intrinsic nonlinearity of a PN-junction diode and higher order harmonic generation

abstract: Voltage current characteristics of a PN-junction diode are intrinsically nonlinear in nature. It is shown in this paper that a mathematical form of nonlinearity of a PN-junction diode resembles the nonlinear response of electric polarization of a dielectric medium to the electric field. Nonlinearity of a PN-junction can be expressed in a series of successively increasing orders of the nonlinearity. For a PN-junction diode, higher order nonlinear terms become significant as a voltage across the diode is increased. In this paper, a gradual emergence of a nonlinear regime with the amplitude of a sinusoidal voltage is presented. Higher order harmonics are produced by utilizing the nonlinearity of a single PN-junction diode. An experimental realization of a frequency comb with the highest frequency up to the twentieth harmonics is also presented. In addition, in the same circuit by making the nonlinearity significant up to the second order, an experiment on generation of the sum and difference of frequencies is realized.


title: Isolated black holes without $\mathbb{Z}_2$ isometry

abstract: A mechanism to construct asymptotically flat, isolated, stationary black hole (BH) spacetimes with no $\mathbb{Z}_2$ (No$\mathbb{Z}$) isometry is described. In particular, the horizon geometry of such No$\mathbb{Z}$ BHs does not have the usual north-south (reflection) symmetry. We discuss two explicit families of models wherein No$\mathbb{Z}$ BHs arise. In one of these families, we exhibit the intrinsic horizon geometry of an illustrative example by isometrically embedding it in Euclidean 3-space, resulting in an "egg-like" shaped horizon. This asymmetry leaves an imprint in the No$\mathbb{Z}$ BH phenomenology, for instance in its lensing of light; but it needs not be manifest in the BH shadow, which in some cases can be analytically shown to retain a $\mathbb{Z}_2$ symmetry. Light absorption and scattering due to an isotropic source surrounding a No$\mathbb{Z}$ BH endows it with a non-zero momentum, producing an asymmetry triggered BH rocket effect.


title: An information geometric perspective on the complexity of macroscopic predictions arising from incomplete information

abstract: Motivated by the presence of deep connections among dynamical equations, experimental data, physical systems, and statistical modeling, we report on a series of findings uncovered by the Authors and collaborators during the last decade within the framework of the so-called Information Geometric Approach to Chaos (IGAC). The IGAC is a theoretical modeling scheme that combines methods of information geometry with inductive inference techniques to furnish probabilistic descriptions of complex systems in presence of limited information. In addition to relying on curvature and Jacobi field computations, a suitable indicator of complexity within the IGAC framework is given by the so-called Information Geometric Entropy (IGE). The IGE is an information geometric measure of complexity of geodesic paths on curved statistical manifolds underlying the entropic dynamics of systems specified in terms of probability distributions. In this manuscript, we discuss several illustrative examples wherein our modeling scheme is employed to infer macroscopic predictions when only partial knowledge of the microscopic nature of a given system is available. Finally, we include comments on the strengths and weaknesses of the current version of our proposed theoretical scheme in our concluding remarks.


title: Investigation of the performance of photovoltaics installed close to river

abstract: The effect of temperature and relative humidity on photovoltaics close to river in calabar was studied. A KT-908 precision digital hygrometer and thermometer, and a M890C+ digital multimeter were used in the process. Results obtained shows that the effect of relative humidity on current, power and efficiency are the same. The results also show that voltage remains fairly stable between 65% to 75% relative humidity. While efficiency increases with temperature up to the maximum operating temperature of the photovoltaic module before starting to decrease. Peak in efficiency was observed at a relative humidity value of 65% and module temperature of about 470C at noon.


title: The q-Heun operator of big q-Jacobi type and the q-Heun algebra

abstract: The q-Heun operator of the big q-Jacobi type on the exponential grid is defined. This operator is the most general second order q-difference operator that maps polynomials of degree $n$ to polynomials of degree $n+1$. It is tridiagonal in bases made out of either q-Pochhammer or big q-Jacobi polynomials and is bilinear in the operators of the q-Hahn algebra. The extension of this algebra that includes the q-Heun operator as generator is described. Biorthogonal Pastro polynomials are shown to satisfy a generalized eigenvalue problem or equivalently to be in the kernel of a special linear pencil made out of two q-Heun operators. The special case of the q-Heun operator associated to the little q-Jacobi polynomials is also treated.


title: Watset: Local-Global Graph Clustering with Applications in Sense and Frame Induction

abstract: We present a detailed theoretical and computational analysis of the Watset meta-algorithm for fuzzy graph clustering, which has been found to be widely applicable in a variety of domains. This algorithm creates an intermediate representation of the input graph that reflects the "ambiguity" of its nodes. Then, it uses hard clustering to discover clusters in this "disambiguated" intermediate graph. After outlining the approach and analyzing its computational complexity, we demonstrate that Watset shows competitive results in three applications: unsupervised synset induction from a synonymy graph, unsupervised semantic frame induction from dependency triples, and unsupervised semantic class induction from a distributional thesaurus. Our algorithm is generic and can be also applied to other networks of linguistic data.


title: Nonlinear velocity redistribution caused by energetic-particle-driven geodesic acoustic modes, mapped with the beam-plasma system

abstract: The nonlinear dynamics of energetic particle (EP) driven geodesic acoustic modes (EGAM) in tokamaks is investigated, and compared with the beam-plasma system (BPS). The EGAM is studied with the global gyrokinetic (GK) particle-in-cell code ORB5, treating the thermal ions and EP (in this case, fast ions) as GK and neglecting the kinetic effects of the electrons. The wave-particle nonlinearity only is considered in the EGAM nonlinear dynamics. The BPS is studied with a 1D code where the thermal plasma is treated as a linear dielectric, and the EP (in this case, fast electrons) with an n-body hamiltonian formulation. A one-to-one mapping between the EGAM and the BPS is described. The focus is on understanding and predicting the EP redistribution in phase space. We identify here two distint regimes for the mapping: in the low-drive regime, the BPS mapping with the EGAM is found to be complete, and in the high-drive regime, the EGAM dynamics and the BPS dynamics are found to differ. The transition is described with the presence of a non-negligible frequency chirping, which affects the EGAM but not the BPS, above the identified drive threshold. The difference can be resolved by adding an ad-hoc frequency modification to the BPS model. As a main result, the formula for the prediction of the nonlinear width of the velocity redistribution around the resonance velocity is provided.


title: VERAM: View-Enhanced Recurrent Attention Model for 3D Shape Classification

abstract: Multi-view deep neural network is perhaps the most successful approach in 3D shape classification. However, the fusion of multi-view features based on max or average pooling lacks a view selection mechanism, limiting its application in, e.g., multi-view active object recognition by a robot. This paper presents VERAM, a recurrent attention model capable of actively selecting a sequence of views for highly accurate 3D shape classification. VERAM addresses an important issue commonly found in existing attention-based models, i.e., the unbalanced training of the subnetworks corresponding to next view estimation and shape classification. The classification subnetwork is easily overfitted while the view estimation one is usually poorly trained, leading to a suboptimal classification performance. This is surmounted by three essential view-enhancement strategies: 1) enhancing the information flow of gradient backpropagation for the view estimation subnetwork, 2) devising a highly informative reward function for the reinforcement training of view estimation and 3) formulating a novel loss function that explicitly circumvents view duplication. Taking grayscale image as input and AlexNet as CNN architecture, VERAM with 9 views achieves instance-level and class-level accuracy of 95:5% and 95:3% on ModelNet10, 93:7% and 92:1% on ModelNet40, both are the state-of-the-art performance under the same number of views.


title: An Isolated Power Factor Corrected Power Supply Utilizing the Transformer Leakage Inductance

abstract: The widespread use of electronic devices increases the need for compact power factor corrected power supplies. This paper describes an isolated power factor corrected power supply that utilizes the leakage inductance of the isolation transformer to provide boost inductor functionality. The bulk capacitor is in the isolated part of the power supply allowing for controlled startup without dedicated surge limiting components. A control method based on switch timing and input/output voltage measurements is developed to jointly achieve voltage regulation and input power factor control. A prototype design is implemented with detailed measurements and waveforms shown to confirm the desired functionality.


title: First-principles prediction of phonon-mediated superconductivity in XBC (X= Mg, Ca, Sr, Ba)

abstract: From first-principles calculations, we predict four new intercalated hexagonal $X$BC ($X$=Mg, Ca, Sr, Ba) compounds to be dynamically stable and phonon-mediated superconductors. These compounds form a LiBC like structure but are metallic. The calculated superconducting critical temperature, $T{_c}$, of MgBC is 51 K. The strong attractive interaction between $\sigma$-bonding electrons and the B${_{1g}}$ phonon mode gives rise to a larger electron-phonon coupling constant (1.135) and hence high $T_c$; notably, higher than that of MgB$_2$. The other compounds have a low superconducting critical temperature (4-17 K) due to the interaction between $\sigma$-bonding electrons and low energy phonons (E${_{2u}}$ modes). Due to their energetic and dynamic stability, we envisage that these compounds can be synthesized experimentally.


title: On the order of the phase transition in the spin-1 Baxter-Wu model

abstract: In this work we investigate the order of the phase transition of the spin-1 Baxter-Wu model. We used extensive entropic simulations to describe the behavior of quantities which reveal the order of the phase transition. We applyied finite-sizing scaling laws for continuous and discontinuous phase transitions. Our results show that this system exhibits an indeterminacy regarding the order of the phase transition, i.e., the results are conclusive for both transitions, whether continuous or discontinuous. In such a scenario we carried out a study of the configurations in the region of the phase transition, which confirmed that the model seems to undergo a tetracritical transition, with the coexistence of a ferromagnetic and three ferrimagnetic configurations, suggesting that it may be a multicritical point belonging to a critical line of an external or a crystalline fields, where the continuous and the discontinuous phase transitions may coexist reflecting different features of the system


title: The three-dimensional Baxter-Wu Model

abstract: A classic three-dimensional spin model, based upon the Baxter-Wu scheme, is presented. It is found, by entropic sampling simulations, that the behavior of the energy and magnetization fourth-order cumulants points out to a first order phase transition. A finite-size procedure was performed, confirming that the system scales with the dimensionality d = 3, and yielding a high-resolution estimate of the critical temperature as T c = 11.377577(39).


title: Boundary scattering in the $\phi^{6}$ model

abstract: We study the non-integrable $\phi^{6}$ model on the half-line. The model has two topological sectors. We chose solutions from just one topological sector to fix the initial conditions. The scalar field satisfies a Neumann boundary condition $\phi_{x}\left(0,t\right)=H$. We study the scattering of a kink (antikinks) with all possible regular and stable boundaries. When $H=0$ the results are the same observed for scattering for the same model in the full line. With the increasing of $H$, sensible modifications appear in the dynamics with of the defect with several possibilities for the output depending on the initial velocity and the boundary. Our results are confronted with the topological structure and linear stability analysis of kink, antikink and boundary solutions.


title: On some aspects of the geometry of non integrable distributions and applications

abstract: We consider a regular distribution $\mathcal{D}$ in a Riemannian manifold $(M,g)$. The Levi-Civita connection on $(M,g)$ together with the orthogonal projection allow to endow the space of sections of $\mathcal{D}$ with a natural covariant derivative, the intrinsic connection. Hence we have two different covariant derivatives for sections of $\mathcal{D}$, one directly with the connection in $(M,g)$ and the other one with this intrinsic connection. Their difference is the second fundamental form of $\mathcal{D}$ and we prove it is a significant tool to characterize the involutive and the totally geodesic distributions and to give a natural formulation of the equation of motion for mechanical systems with constraints. The two connections also give two different notions of curvature, curvature tensors and sectional curvatures, which are compared in this paper with the use of the second fundamental form.


title: Graph connectivity in log steps using label propagation

abstract: The fastest deterministic algorithms for connected components take logarithmic time and perform superlinear work on a Parallel Random Access Machine (PRAM). These algorithms maintain a spanning forest by merging and compressing trees, which requires pointer-chasing operations that increase memory access latency and are limited to shared-memory systems. Many of these PRAM algorithms are also very complicated to implement. Another popular method is "leader-contraction" where the challenge is to select a constant fraction of leaders that are adjacent to a constant fraction of non-leaders with high probability. Instead we investigate label propagation because it is deterministic and does not rely on pointer-chasing. Label propagation exchanges representative labels within a component using simple graph traversal, but it is inherently difficult to complete in a sublinear number of steps. We are able to solve the problems with label propagation for graph connectivity. We introduce a surprisingly simple framework for deterministic graph connectivity using label propagation that is easily adaptable to many computational models. It propagates directed edges and alternates edge direction to achieve linear edge count each step and sublinear convergence. We present new algorithms in PRAM, Stream, and MapReduce for a simple, undirected graph $G=(V,E)$ with $n=|V|$ vertices, $m=|E|$ edges. Our approach takes $O(m)$ work each step, but we can only prove logarithmic convergence on a path graph. It was conjectured by Liu and Tarjan (2019) to take $O(\log n)$ steps or possibly $O(\log^2 n)$ steps. We leave the proof of convergence as an open problem.


title: Note: Investigation of a Marx generator imitating a Tesla transformer

abstract: A compact Marx generator was built to mimic a spark-gap Tesla transformer. The generator produced radio-frequency pulses of up to $\pm$200 kV and $\pm$15 A with a frequency between 110 to 280 kHz at a repetition rate of 120 Hz. The generator tolerated larger circuit-parameter perturbations than is expected for conventional Tesla transformers. Possible applications include research on the control and laser guiding of spark discharges.


title: A non-iterative algorithm for generalized Pig games

abstract: We provide a polynomial algorithm to find the value and an optimal strategy for a generalization of the Pig game. Modeled as a competitive Markov decision process, the corresponding Bellman equations can be decoupled leading to systems of two non-linear equations with two unknowns. In this way we avoid the classical iterative approaches. A simple complexity analysis reveals that the algorithm requires O(s log(s)) steps, where s is the number of states of the game. The classical Pig and the Piglet (a simple variant of the Pig played with a coin) are examined in detail.


title: Beyond the $\sqrt{\mathrm{N}}$ limit of the least squares resolution and the lucky model

abstract: A very simple Gaussian model is used to illustrate a new fitting result: a linear growth of the resolution with the number N of detecting layers. This rule is well beyond the well-known rule proportional to $\sqrt{N}$ for the resolution of the usual fit. The effect is obtained with the appropriate form of the variance for each hit (measurement). The model reconstructs straight tracks with N parallel detecting layers, the track direction is the selected parameter to test the resolution. The results of the Gaussian model are compared with realistic simulations of silicon microstrip detectors. These realistic simulations suggest an easy method to select the essential weights for the fit: the lucky model. Preliminary results of the lucky model show an excellent reproduction of the linear growth of the resolution, very similar to that given by realistic simulations.


title: Low overhead quantum computation using lattice surgery

abstract: When calculating the overhead of a quantum algorithm made fault-tolerant using the surface code, many previous works have used defects and braids for logical qubit storage and state distillation. In this work, we show that lattice surgery reduces the storage overhead by over a factor of 4, and the distillation overhead by nearly a factor of 5, making it possible to run algorithms with $10^8$ T gates using only $3.7\times 10^5$ physical qubits capable of executing gates with error $p\sim 10^{-3}$. These numbers strongly suggest that defects and braids in the surface code should be deprecated in favor of lattice surgery.


title: Time Synchronization over a Free-Space Optical Communication Channel

abstract: Free space optical (FSO) communication channels are typically used to transmit high-speed data between sites over the air. Here we repurpose an FSO digital communication system and use it directly for two-way time transfer. We demonstrate real-time synchronization between two sites over a turbulent air path of 4 km using binary phase modulated CW laser light. Under synchronization, the two sites exhibit a fractional frequency deviation below $10^{-15}$ and a time deviation below 1 picosecond at averaging times of seconds to hours. Over an 8-hour period the peak to peak wander is 16 ps.


title: Multi-phase transport model predictions of isobaric collisions with nuclear structures from density functional theory

abstract: Isobaric $^{96}_{44}$Ru+$^{96}_{44}$Ru and $^{96}_{40}$Zr+$^{96}_{40}$Zr collisions were performed at the Relativistic Heavy Ion Collider in 2018. Using the "a multi-phase transport" model with nuclear structures calculated by the density functional theory (DFT), we make predictions for the charged hadron multiplicity distributions and elliptic azimuthal anisotropies in these collisions. Emphases are put on the relative differences between the two collision systems that can decisively discriminate DFT nuclear distributions from the commonly used Woods-Saxon densities.


title: On cardinality bounds for $\theta^n$-Urysohn spaces

abstract: We introduce the class of $\theta^{n}$-Urysohn spaces and the $n$-$\theta$-closure operator. $\theta^n$-Urysohn spaces generalize the notion of a Urysohn space. We estabilish bounds on the cardinality of these spaces and cardinality bounds if the space is additionally homogeneous.


title: Mathematics of a Sudo-Kurve

abstract: We investigate a type of a Sudoku variant called Sudo-Kurve, which allows bent rows and columns, and develop a new, yet equivalent, variant we call a Sudo-Cube. We examine the total number of distinct solution grids for this type with or without symmetry. We study other mathematical aspects of this puzzle along with the minimum number of clues needed and the number of ways to place individual symbols.


title: Cluster Gauss-Newton method for finding multiple approximate minimisers of nonlinear least squares problems with applications to parameter estimation of pharmacokinetic models

abstract: Parameter estimation problems of mathematical models can often be formulated as nonlinear least squares problems. Typically these problems are solved numerically using iterative methods. The local minimiserobtained using these iterative methods usually depends on the choice of the initial iterate. Thus, the estimated parameter and subsequent analyses using it depend on the choice of the initial iterate. One way to reduce the analysis bias due to the choice of the initial iterate is to repeat the algorithm from multiple initial iterates (i.e. use a multi-start method). However, the procedure can be computationally intensive and is not always used in practice. To overcome this problem, we propose the Cluster Gauss-Newton (CGN) method, an efficient algorithm for finding multiple approximate minimisers of nonlinear-least squares problems. CGN simultaneously solves the nonlinear least squares problem from multiple initial iterates. Then, CGN iteratively improves the solutions from these initial iterates similarly to the Gauss-Newton method. However, it uses a global linear approximation instead of the Jacobian. The global linear approximations are computed collectively among all the iterates to minimise the computational cost. We use physiologically based pharmacokinetic (PBPK) models used in pharmaceutical drug development to demonstrate its use and show that CGN is computationally more efficient and more robust against local minima compared to the standard Levenberg-Marquardt method, as well as state-of-the art multi-start and derivative-free methods.


title: Image-based remapping of spatially-varying material appearance

abstract: BRDF models are ubiquitous tools for the representation of material appearance. However, there is now an astonishingly large number of different models in practical use. Both a lack of BRDF model standardisation across implementations found in different renderers, as well as the often semantically different capabilities of various models, have grown to be a major hindrance to the interchange of production assets between different rendering systems. Current attempts to solve this problem rely on manually finding visual similarities between models, or mathematical ones between their functional shapes, which requires access to the shader implementation, usually unavailable in commercial renderers. We present a method for automatic translation of material appearance between different BRDF models, which uses an image-based metric for appearance comparison, and that delegates the interaction with the model to the renderer. We analyse the performance of the method, both with respect to robustness and visual differences of the fits for multiple combinations of BRDF models. While it is effective for individual BRDFs, the computational cost does not scale well for spatially-varying BRDFs. Therefore, we further present a parametric regression scheme that approximates the shape of the transformation function and generates a reduced representation which evaluates instantly and without further interaction with the renderer. We present respective visual comparisons of the remapped SVBRDF models for commonly used renderers and shading models, and show that our approach is able to extrapolate transformed BRDF parameters better than other complex regression schemes.


title: Local existence of Strong solutions for a fluid-structure interaction model

abstract: We are interested in studying a system coupling the compressible Navier-Stokes equations with an elastic structure located at the boundary of the fluid domain. Initially the fluid domain is rectangular and the beam is located on the upper side of the rectangle. The elastic structure is modeled by an Euler-Bernoulli damped beam equation. We prove the local in time existence of strong solutions for that coupled system.


title: Near log-convexity of measured heat in (discrete) time and consequences

abstract: Let $u,v \in \mathbb{R}^\Omega_+$ be positive unit vectors and $S\in\mathbb{R}^{\Omega\times\Omega}_+$ be a symmetric substochastic matrix. For an integer $t\ge 0$, let $m_t = \smash{\left\langle v,S^tu\right\rangle}$, which we view as the heat measured by $v$ after an initial heat configuration $u$ is let to diffuse for $t$ time steps according to $S$. Since $S$ is entropy improving, one may intuit that $m_t$ should not change too rapidly over time. We give the following formalizations of this intuition. We prove that $m_{t+2} \ge m_t^{1+2/t}\!,$ an inequality studied earlier by Blakley and Dixon (also Erd\H{o}s and Simonovits) for $u=v$ and shown true under the restriction $m_t\ge e^{-4t}$. Moreover we prove that for any $\epsilon>0$, a stronger inequality $m_{t+2} \ge t^{1-\epsilon}\cdot \smash{m_t^{1+2/t}}$ holds unless $m_{t+2}m_{t-2}\ge \delta m_t^2$ for some $\delta$ that depends on $\epsilon$ only. Phrased differently, $\forall \epsilon> 0, \exists \delta> 0$ such that $\forall S,u,v$ \begin{equation*} \frac{m_{t+2}}{m_{t}^{1+2/t}}\ge \min\left\{t^{1-\epsilon}, \delta\frac{m_t^{1-2/t}}{m_{t-2}}\right\}, \quad \forall t \ge 2, \end{equation*} which can be viewed as a truncated log-convexity statement. Using this inequality, we answer two related open questions in complexity theory: Any property tester for $k$-linearity requires $\Omega(k\log k)$ queries and the randomized communication complexity of the $k$-Hamming distance problem is $\Omega(k\log k)$. Further we show that any randomized parity decision tree computing $k$-Hamming weight has size $\exp\left(\Omega(k\log k)\right)$.


title: Loss Data Analytics

abstract: Loss Data Analytics is an interactive, online, freely available text. The idea behind the name Loss Data Analytics is to integrate classical loss data models from applied probability with modern analytic tools. In particular, we seek to recognize that big data (including social media and usage based insurance) are here and high speed computation is readily available. The online version contains many interactive objects (quizzes, computer demonstrations, interactive graphs, video, and the like) to promote deeper learning. A subset of the book is available for offline reading in pdf and EPUB formats. The online text will be available in multiple languages to promote access to a worldwide audience.


title: Fast Spectrogram Inversion using Multi-head Convolutional Neural Networks

abstract: We propose the multi-head convolutional neural network (MCNN) architecture for waveform synthesis from spectrograms. Nonlinear interpolation in MCNN is employed with transposed convolution layers in parallel heads. MCNN achieves more than an order of magnitude higher compute intensity than commonly-used iterative algorithms like Griffin-Lim, yielding efficient utilization for modern multi-core processors, and very fast (more than 300x real-time) waveform synthesis. For training of MCNN, we use a large-scale speech recognition dataset and losses defined on waveforms that are related to perceptual audio quality. We demonstrate that MCNN constitutes a very promising approach for high-quality speech synthesis, without any iterative algorithms or autoregression in computations.


title: Spatial characterization of photonic polarization entanglement using a Tpx3Cam intensified fast-camera

abstract: Scalable technologies to characterize the performance of quantum devices are crucial to creating large quantum networks and quantum processing units. Chief among the resources of quantum information processing is entanglement. Here we describe the full temporal and spatial characterization of polarization-entangled photons produced by Spontaneous Parametric Down Conversions using an intensified high-speed optical camera, Tpx3Cam. This novel technique allows for precise determination of Bell inequality parameters with minimal technical overhead, as well as novel characterization methods of the spatial distribution of entangled quantum information. This could lead to multiple applications in Quantum Information Science, opening new perspectives for the scalability of quantum experiments.


title: State Polytopes Related to Two Classes of Combinatorial Neural Codes

abstract: Combinatorial neural codes are $0/1$ vectors that are used to model the co-firing patterns of a set of place cells in the brain. One wide-open problem in this area is to determine when a given code can be algorithmically drawn in the plane as a Venn diagram-like figure. A sufficient condition to do so is for the code to have a property called $k$-inductively pierced. Gross, Obatake, and Youngs recently used toric algebra to show that a code on three neurons is $1$-inductively pierced if and only if the toric ideal is trivial or generated by quadratics. No result is known for additional neurons in the same generality, part of the difficulty coming from the large number of codewords possible when additional neurons are used. In this article, we study two infinite classes of combinatorial neural codes in detail. For each code, we explicitly compute its universal Gr\"obner basis. This is done for the first class by recognizing that the codewords form a Lawrence-type matrix. With the second class, this is done by showing that the matrix is totally unimodular. These computations allow one to compute the state polytopes of the corresponding toric ideals, from which all distinct initial ideals may be computed efficiently. Moreover, we show that the state polytopes are combinatorially equivalent to well-known polytopes: the permutohedron and the stellohedron.


title: Mechanisms for Resilient Video Transmission

abstract: Wireless networks are envisaged to be one of the most important technologies to provide cost-efficient content delivery, including for video applications. They will allow thousands of thousands of fixed and mobile users to access, produce, share, and consume video content in a ubiquitous way. Real-time video services over these networks are becoming a part of everyday life and have been used to spread information ranging from education to entertainment content. However, the challenge of dealing with the fluctuating bandwidth, scarce resources, and time-varying error rate of these networks, highlights the need for error-resilient video transmission. In this context, the combination of Forward Error Correction (FEC) and Unequal Error Protection (UEP) approaches is known to provide the distribution of video applications for wireless users with Quality of Experience (QoE) assurance. This thesis proposed a procedure to assess the video characteristics and their related impact on the perceived quality to end-users. This thesis proposes a series of cross-layer video-aware and FEC-based mechanisms with UEP to enhance video transmission in several types of wireless networks. A number of methods to set an adaptive amount of redundancy were used in these mechanisms, such as heuristic techniques, random neural networks, ant colony optimisation, and fuzzy logic. In the first one, heuristic techniques, the mechanisms rely on human experience to define the best strategy. The advantages and drawbacks of the proposed mechanisms were demonstrated in realistic simulations using real video sequences and actual network traces. The assessments were conducted with well-known QoE metrics. The results show that all the proposed mechanisms were able to outperform the competitors on both perceived video quality and network footprint.


title: Modes of Information Flow

abstract: Information flow between components of a system takes many forms and is key to understanding the organization and functioning of large-scale, complex systems. We demonstrate three modalities of information flow from time series X to time series Y. Intrinsic information flow exists when the past of X is individually predictive of the present of Y, independent of Y's past; this is most commonly considered information flow. Shared information flow exists when X's past is predictive of Y's present in the same manner as Y's past; this occurs due to synchronization or common driving, for example. Finally, synergistic information flow occurs when neither X's nor Y's pasts are predictive of Y's present on their own, but taken together they are. The two most broadly-employed information-theoretic methods of quantifying information flow---time-delayed mutual information and transfer entropy---are both sensitive to a pair of these modalities: time-delayed mutual information to both intrinsic and shared flow, and transfer entropy to both intrinsic and synergistic flow. To quantify each mode individually we introduce our cryptographic flow ansatz, positing that intrinsic flow is synonymous with secret key agreement between X and Y. Based on this, we employ an easily-computed secret-key-agreement bound---intrinsic mutual information&mdashto quantify the three flow modalities in a variety of systems including asymmetric flows and financial markets.

categories: cond-mat.stat-mech cs.CR cs.IT math.IT nlin.CD


title: Homogeneous Finsler spaces with only one orbit of prime closed geodesics

abstract: When a closed Finsler manifold admits continuous isometric actions, estimating the number of orbits of prime closed geodesics seems a more reasonable substitution for estimating the number of prime closed geodesics. To generalize the works of H. Duan, Y. Long, H.B. Rademacher, W. Wang and others on the existence of two prime closed geodesics to the equivariant situation, we purpose the question if a closed Finsler manifold has only one orbit of prime closed geodesic if and only if it is a compact rank-one Riemannian symmetric space. In this paper, we study this problem in homogeneous Finsler geometry, and get a positive answer when the dimension is even or the metric is reversible. We guess the rank inequality and algebraic techniques in this paper may continue to play an important role for discussing our question in the non-homogeneous situation.


title: Learning to Exploit Invariances in Clinical Time-Series Data using Sequence Transformer Networks

abstract: Recently, researchers have started applying convolutional neural networks (CNNs) with one-dimensional convolutions to clinical tasks involving time-series data. This is due, in part, to their computational efficiency, relative to recurrent neural networks and their ability to efficiently exploit certain temporal invariances, (e.g., phase invariance). However, it is well-established that clinical data may exhibit many other types of invariances (e.g., scaling). While preprocessing techniques, (e.g., dynamic time warping) may successfully transform and align inputs, their use often requires one to identify the types of invariances in advance. In contrast, we propose the use of Sequence Transformer Networks, an end-to-end trainable architecture that learns to identify and account for invariances in clinical time-series data. Applied to the task of predicting in-hospital mortality, our proposed approach achieves an improvement in the area under the receiver operating characteristic curve (AUROC) relative to a baseline CNN (AUROC=0.851 vs. AUROC=0.838). Our results suggest that a variety of valuable invariances can be learned directly from the data.