title: Theoretical Clues to the Ultraviolet Diversity of Type Ia Supernovae

abstract: The effect of metallicity on the observed light of Type Ia supernovae (SNe Ia) could lead to systematic errors as the absolute magnitudes of local and distant SNe Ia are compared to measure luminosity distances and determine cosmological parameters. The UV light may be especially sensitive to metallicity, though different modeling methods disagree as to the magnitude, wavelength dependence, and even the sign of the effect. The outer density structure, ^56 Ni, and to a lesser degree asphericity, also impact the UV. We compute synthetic photometry of various metallicity-dependent models and compare to UV/optical photometry from the Swift Ultra-Violet/Optical Telescope. We find that the scatter in the mid-UV to near-UV colors is larger than predicted by changes in metallicity alone and is not consistent with reddening. We demonstrate that a recently employed method to determine relative abundances using UV spectra can be done using UVOT photometry, but we warn that accurate results require an accurate model of the cause of the variations. The abundance of UV photometry now available should provide constraints on models that typically rely on UV spectroscopy for constraining metallicity, density, and other parameters. Nevertheless, UV spectroscopy for a variety of SN explosions is still needed to guide the creation of accurate models. A better understanding of the influences affecting the UV is important for using SNe Ia as cosmological probes, as the UV light may test whether SNe Ia are significantly affected by evolutionary effects.


title: The natural parametrization of cosmic neutrino oscillations

abstract: The natural parameterization of vacuum oscillations in three neutrino flavors is studied. Compact and exact relations of its three parameters with the ordinary three mixing angles and CP violating phase are obtained. Its usefulness is illustrated by considering various applications: the study of the flavor ratio and of its uncertainties, the comparison of expectations and observations in the flavor triangle, the intensity of the signal due to Glashow resonance. The results in the literature are easily reproduced and in particular the recently obtained agreement of the observations of IceCube with the hypothesis of cosmic neutrino oscillations is confirmed. It is argued that a Gaussian treatment of the errors appropriately describes the effects of the uncertainties on neutrino oscillation parameters.


title: Height and area estimates for constant mean curvature graphs in E(\kappa,\tau)-spaces

abstract: We obtain area growth estimates for constant mean curvature graphs in $\mathbb{E}(\kappa,\tau)$-spaces with $\kappa\leq 0$, by finding sharp upper bounds for the volume of geodesic balls in $\mathbb{E}(\kappa,\tau)$. We focus on complete graphs and graphs with zero boundary values. For instance, we prove that entire graphs in $\mathbb{E}(\kappa,\tau)$ with critical mean curvature have at most cubic intrinsic area growth. We also obtain sharp upper bounds for the extrinsic area growth of graphs with zero boundary values, and study distinguished examples in detail such as invariant surfaces, $k$-noids and ideal Scherk graphs. Finally we give a relation between height and area growth of minimal graphs in Heisenberg space ($\kappa=0$), and prove a Collin-Krust type estimate for such minimal graphs.


title: On the complexity of computing prime tables

abstract: Many large arithmetic computations rely on tables of all primes less than $n$. For example, the fastest algorithms for computing $n!$ takes time $O(M(n\log n) + P(n))$, where $M(n)$ is the time to multiply two $n$-bit numbers, and $P(n)$ is the time to compute a prime table up to $n$. The fastest algorithm to compute $\binom{n}{n/2}$ also uses a prime table. We show that it takes time $O(M(n) + P(n))$. In various models, the best bound on $P(n)$ is greater than $M(n\log n)$, given advances in the complexity of multiplication \cite{Furer07,De08}. In this paper, we give two algorithms to computing prime tables and analyze their complexity on a multitape Turing machine, one of the standard models for analyzing such algorithms. These two algorithms run in time $O(M(n\log n))$ and $O(n\log^2 n/\log \log n)$, respectively. We achieve our results by speeding up Atkin's sieve. Given that the current best bound on $M(n)$ is $n\log n 2^{O(\log^*n)}$, the second algorithm is faster and improves on the previous best algorithm by a factor of $\log^2\log n$. Our fast prime-table algorithms speed up both the computation of $n!$ and $\binom{n}{n/2}$. Finally, we show that computing the factorial takes $\Omega(M(n \log^{4/7 - \epsilon} n))$ for any constant $\epsilon > 0$ assuming only multiplication is allowed.


title: Convolutional Neural Network-Based Image Representation for Visual Loop Closure Detection

abstract: Deep convolutional neural networks (CNN) have recently been shown in many computer vision and pattern recog- nition applications to outperform by a significant margin state- of-the-art solutions that use traditional hand-crafted features. However, this impressive performance is yet to be fully exploited in robotics. In this paper, we focus one specific problem that can benefit from the recent development of the CNN technology, i.e., we focus on using a pre-trained CNN model as a method of generating an image representation appropriate for visual loop closure detection in SLAM (simultaneous localization and mapping). We perform a comprehensive evaluation of the outputs at the intermediate layers of a CNN as image descriptors, in comparison with state-of-the-art image descriptors, in terms of their ability to match images for detecting loop closures. The main conclusions of our study include: (a) CNN-based image representations perform comparably to state-of-the-art hand- crafted competitors in environments without significant lighting change, (b) they outperform state-of-the-art competitors when lighting changes significantly, and (c) they are also significantly faster to extract than the state-of-the-art hand-crafted features even on a conventional CPU and are two orders of magnitude faster on an entry-level GPU.


title: Criterion for $\mathbb{Z}_d$--symmetry of a Spectrum of a Compact Operator

abstract: If $A$ is a compact operator in a Banach space and some power $A^q$ is nuclear we give a criterion of $\mathbb{Z}_{d}$ -- symmetry of its spectrum $\sigma{A}$ in terms of vanishing of the traces $\mathop{\mathit{Trace}} A^n$ for all $n$, $n \geq 0$, $n \neq 0 \mod d$, sufficiently large.


title: Nonlinear sub-cyclotron resonance as a formation mechanism for gaps in banded chorus

abstract: An interesting characteristic of magnetospheric chorus is the presence of a frequency gap at $\omega \simeq 0.5\Omega_e$, where $\Omega_e$ is the electron cyclotron angular frequency. Recent chorus observations sometimes show additional gaps near $0.3\Omega_e$ and $0.6\Omega_e$. Here we present a novel nonlinear mechanism for the formation of these gaps using Hamiltonian theory and test-particle simulations in a homogeneous, magnetized, collisionless plasma. We find that an oblique whistler wave with frequency at a fraction of the electron cyclotron frequency can resonate with electrons, leading to effective energy exchange between the wave and particles.


title: Enhancement of coherence in qubits due to interaction with environment

abstract: The influence of the initial preparation on dephasing in open quantum dynamics is studied using an exactly solvable model of a two-level system (qubit) interacting with a bosonic bath. It is found that for some classes of non-selective preparation measurements, qubit-bath correlations lead to a significant enhancement of coherence in the qubit at the initial stage of evolution. The time behavior of the qubit purity and entropy in the regime of enhancement of coherence is considered for different temperatures and coupling strengths.


title: Giant reversible nanoscale piezoresistance at room temperature in Sr2IrO4 thin films

abstract: Layered iridates have been the subject of intense scrutiny on account of their unusually strong spin-orbit coupling, which opens up a narrow gap in a material that would otherwise be a metal. This insulating state is very sensitive to external perturbations. Here, we show that vertical compression at the nanoscale, delivered using the tip of a standard scanning probe microscope, is capable of inducing a five orders of magnitude change in the room temperature resistivity of Sr2IrO4. The extreme sensitivity of the electronic structure to anisotropic deformations opens up a new angle of interest on this material, and the giant and fully reversible perpendicular piezoresistance makes iridates a promising material for room temperature piezotronic devices.


title: Cyclic variations in O-C diagrams of field RR Lyrae stars as a result of LiTE

abstract: This paper presents an extensive overview of known and proposed RR Lyrae stars in binaries. The aim is to revise and extend the list with new Galactic field systems. We utilized maxima timings for eleven RRab type stars with suspicious behaviour from the GEOS database, and determined maxima timings from data of sky surveys and our own observations. This significantly extended the number of suitable maxima timings. We modelled the proposed Light Time Effect (LiTE) in O-C diagrams to determine orbital parameters for these systems. In contrast to recent studies, our analysis focused on decades-long periods instead of periods in the order of years. Secondary components were found to be predominantly low-mass objects. However, for RZ Cet and AT Ser the mass of the suspected companion of more than one solar mass suggests that it is a massive white dwarf, a neutron star or even a black hole. We found that the semi-major axes of the proposed orbits are between 1 and 20 au. Because the studied stars belong to the closest RR Lyraes, maximal angular distances between components during orbit should at least be between 1 and 13 mas and this improves the chance to detect both stars using current telescopes. However, our interpretation of the O-C diagrams as a consequence of the LiTE should be considered as preliminary without reliable spectroscopic measurements. On the other hand our models give a prediction of the period and radial velocity evolution which should be sufficient for plausible proof of binarity.


title: Electrical Control of Second-Harmonic Generation in a WSe2 Monolayer Transistor

abstract: Nonlinear optical frequency conversion, in which optical fields interact with a nonlinear medium to produce new field frequencies, is ubiquitous in modern photonic systems. However, the nonlinear electric susceptibilities that give rise to such phenomena are often challenging to tune in a given material, and so far, dynamical control of optical nonlinearities remains confined to research labs as a spectroscopic tool. Here, we report a mechanism to electrically control second-order optical nonlinearities in monolayer WSe2, an atomically thin semiconductor. We show that the intensity of second-harmonic generation at the A-exciton resonance is tunable by over an order of magnitude at low temperature and nearly a factor of 4 at room temperature through electrostatic doping in a field-effect transistor. Such tunability arises from the strong exciton charging effects in monolayer semiconductors, which allow for exceptional control over the oscillator strengths at the exciton and trion resonances. The exciton-enhanced second-harmonic generation is counter-circularly polarized to the excitation laser, arising from the combination of the two-photon and one-photon valley selection rules that have opposite helicity in the monolayer. Our study paves the way towards a new platform for chip-scale, electrically tunable nonlinear optical devices based on two-dimensional semiconductors.


title: Alternative Orthogonal Rational Functions on a Half Line

abstract: System of alternatively orthogonalized rational functions of Jacobi type on the half line $[1, \infty)$ is defined and its properties are established. Three subsystems of proper and mixed systems of rational functions with nice properties are presented.


title: SLoWPoKES-II: 100,000 Wide Binaries Identified in SDSS without Proper Motions

abstract: We present the SLoWPoKES-II catalog of low-mass visual binaries identified from the Sloan Digital Sky Survey by matching photometric distances. The candidate pairs are vetted by comparing the stellar density at their respective Galactic positions to Monte Carlo realizations of a simulated Milky Way. In this way, we are able to identify large numbers of bona fide wide binaries without the need of proper motions. 105,537 visual binaries with angular separations of $\sim$1-20", are identified, each with a probability of chance alignment of $\lesssim$5%. This is the largest catalog of bona fide wide binaries to date, and it contains a diversity of systems---in mass, mass ratios, binary separations, metallicity, and evolutionary states---that should facilitate follow-up studies to characterize the properties of M dwarfs and white dwarfs. There is a subtle but definitive suggestion of multiple populations in the physical separation distribution, supporting earlier findings. We suggest that wide binaries are comprised of multiple populations, most likely representing different formation modes. There are 141 M7 or later wide binary candidates, representing a 7-fold increase in the number currently known. These binaries are too wide to have been formed via the ejection mechanism. Finally, we find that ~6% of spectroscopically confirmed M dwarfs are not included in the SDSS STAR catalog; they are misclassified as extended sources due to the presence of a nearby or partially resolved companion. The SLoWPoKES-II catalog is publicly available to the entire community on the world wide web via the Filtergraph data visualization portal.


title: Quantum gas microscopy with spin, atom-number and multi-layer readout

abstract: Atom- and site-resolved experiments with ultracold atoms in optical lattices provide a powerful platform for the simulation of strongly correlated materials. In this letter, we present a toolbox for the preparation, control and site-resolved detection of a tunnel-coupled bilayer degenerate quantum gas. Using a collisional blockade, we engineer occupation-dependent inter-plane transport which enables us to circumvent light-assisted pair loss during imaging and count n=0 to n=3 atoms per site. We obtain the first number- and site-resolved images of the Mott insulator "wedding cake" structure and observe the emergence of antiferromagnetic ordering across a magnetic quantum phase transition. We are further able to employ the bilayer system for spin-resolved readout of a mixture of two hyperfine states. This work opens the door to direct detection of entanglement and Kosterlitz-Thouless-type phase dynamics, as well as studies of coupled planar quantum materials.


title: Structural and Magnetic Reconstruction of Thermodynamically Stable CaMnO$_{3}$ (001) Surfaces

abstract: The relative thermodynamic stability of surface reconstructions including vacancies, adatoms and additional layers on both CaO and MnO$_{2}$ terminations is calculated to predict the surface phase diagram of ($\sqrt{2}\times\sqrt{2}$)$\it{R}$45$^{\circ}$ CaMnO$_{3}$ (001) using $\it{ab}$ $\it{initio}$ thermodynamics. Stoichiometric and nonstoichiometric reconstructions are considered. A set of boundary conditions driven by the binary and ternary sub-phases from CaMnO$_{3}$ defines its bulk stability region, enclosing the stable surface reconstructions that can be in equilibrium with the bulk. Most of the surfaces take the magnetic ordering of the bulk ground state, G-type antiferromagnetic (AFM); however, some of the MnO$_{2}$-terminated surfaces are more stable when the surface layer spins flip. At 573 K, the stoichiometric CaO- and MnO$_{2}$-terminated surfaces are predicted to be thermodynamically stable, as well as a CaO-terminated surface reconstruction where half the Ca are replaced by Mn. The MnO$_{2}$-terminated surface reconstructions dominate the phase diagrams at high temperatures, including phases with MnO and MnO$_{2}$ adatoms per surface unit cell.


title: A note on total and list edge-colouring of graphs of tree-width 3

abstract: It is shown that Halin graphs are $\Delta$-edge-choosable and that graphs of tree-width 3 are $(\Delta+1)$-edge-choosable and $(\Delta +2)$-total-colourable.


title: Switchable friction enabled by nanoscale self-assembly on graphene

abstract: Graphene monolayers are known to display domains of anisotropic friction with twofold symmetry and anisotropy exceeding 200 percent. This anisotropy has been thought to originate from periodic nanoscale ripples in the graphene sheet, which enhance puckering around a sliding asperity to a degree determined by the sliding direction. Here we demonstrate that these frictional domains derive not from structural features in the graphene, but from self-assembly of atmospheric adsorbates into a highly regular superlattice of stripes with period 4 to 6 nm. The stripes and resulting frictional domains appear on monolayer and multilayer graphene on a variety of substrates, as well as on exfoliated flakes of hexagonal boron nitride. We show that the stripe-superlattices can be reproducibly and reversibly manipulated with submicron precision using a scanning probe microscope, allowing us to create arbitrary arrangements of frictional domains within a single flake. Our results suggest a revised understanding of the anisotropic friction observed in graphene and bulk graphite in terms of atmospheric adsorbates.


title: Spitzer Imaging of Strongly-Lensed Herschel-Selected Dusty Star Forming Galaxies

abstract: We present the rest-frame optical spectral energy distribution and stellar masses of six Herschel- selected gravitationally lensed dusty, star-forming galaxies (DSFGs) at 1 < z < 3. These galaxies were first identified with Herschel/SPIRE imaging data from the Herschel Astrophysical Terahertz Large Area Survey (H-ATLAS) and the Herschel Multi-tiered Extragalactic Survey (HerMES). The targets were observed with Spitzer/IRAC at 3.6 and 4.5um. Due to the spatial resolution of the IRAC observations at the level of 2 arcseconds, the lensing features of a background DSFG in the near-infrared are blended with the flux from the foreground lensing galaxy in the IRAC imaging data. We make use of higher resolution Hubble/WFC3 or Keck/NIRC2 Adaptive Optics imaging data to fit light profiles of the foreground lensing galaxy (or galaxies) as a way to model the foreground components, in order to successfully disentangle the foreground lens and background source flux densities in the IRAC images. The flux density measurements at 3.6 and 4.5um, once combined with Hubble/WFC3 and Keck/NIRC2 data, provide important constraints on the rest-frame optical spectral energy distribution of the Herschel-selected lensed DSFGs. We model the combined UV- to millimeter-wavelength SEDs to establish the stellar mass, dust mass, star-formation rate, visual extinction, and other parameters for each of these Herschel-selected DSFGs. These systems have inferred stellar masses in the range 8 x 10^10 to 4 x 10^11 Msun and star-formation rates of around 100 Msun yr-1. This puts these lensed sub-millimeter systems well above the SFR-M* relation observed for normal star-forming galaxies at similar redshifts. The high values of SFR inferred for these systems are consistent with a major merger-driven scenario for star formation.


title: Semantic Security and Indistinguishability in the Quantum World

abstract: At CRYPTO 2013, Boneh and Zhandry initiated the study of quantum-secure encryption. They proposed first indistinguishability definitions for the quantum world where the actual indistinguishability only holds for classical messages, and they provide arguments why it might be hard to achieve a stronger notion. In this work, we show that stronger notions are achievable, where the indistinguishability holds for quantum superpositions of messages. We investigate exhaustively the possibilities and subtle differences in defining such a quantum indistinguishability notion for symmetric-key encryption schemes. We justify our stronger definition by showing its equivalence to novel quantum semantic-security notions that we introduce. Furthermore, we show that our new security definitions cannot be achieved by a large class of ciphers -- those which are quasi-preserving the message length. On the other hand, we provide a secure construction based on quantum-resistant pseudorandom permutations; this construction can be used as a generic transformation for turning a large class of encryption schemes into quantum indistinguishable and hence quantum semantically secure ones. Moreover, our construction is the first completely classical encryption scheme shown to be secure against an even stronger notion of indistinguishability, which was previously known to be achievable only by using quantum messages and arbitrary quantum encryption circuits.


title: HerMES: ALMA Imaging of Herschel-selected Dusty Star-forming Galaxies

abstract: The Herschel Multi-tiered Extragalactic Survey (HerMES) has identified large numbers of dusty star-forming galaxies (DSFGs) over a wide range in redshift. A detailed understanding of these DSFGs is hampered by the limited spatial resolution of Herschel. We present 870um 0.45" resolution imaging from the Atacama Large Millimeter/submillimeter Array (ALMA) of 29 HerMES DSFGs with far-infrared (FIR) flux densities in between the brightest of sources found by Herschel and fainter DSFGs found in ground-based sub-millimeter (sub-mm) surveys. We identify 62 sources down to the 5-sigma point-source sensitivity limit in our ALMA sample (sigma~0.2mJy), of which 6 are strongly lensed (showing multiple images) and 36 experience significant amplification (mu>1.1). To characterize the properties of the ALMA sources, we introduce and make use of uvmcmcfit, a publicly available Markov chain Monte Carlo analysis tool for interferometric observations of lensed galaxies. Our lens models tentatively favor intrinsic number counts for DSFGs with a steep fall off above 8mJy at 880um. Nearly 70% of the Herschel sources comprise multiple ALMA counterparts, consistent with previous research indicating that the multiplicity rate is high in bright sub-mm sources. Our ALMA sources are located significantly closer to each other than expected based on results from theoretical models as well as fainter DSFGs identified in the LABOCA ECDFS Submillimeter Survey. The high multiplicity rate and low projected separations argue in favor of interactions and mergers driving the prodigious emission from the brightest DSFGs as well as the sharp downturn above S_880=8mJy.


title: Systoles of Arithmetic Hyperbolic Surfaces and 3-manifolds

abstract: Our main result is that for all sufficiently large $x_0>0$, the set of commensurability classes of arithmetic hyperbolic 2- or 3-orbifolds with fixed invariant trace field $k$ and systole bounded below by $x_0$ has density one within the set of all commensurability classes of arithmetic hyperbolic 2- or 3-orbifolds with invariant trace field $k$. The proof relies upon bounds for the absolute logarithmic Weil height of algebraic integers due to Silverman, Brindza and Hajdu, as well as precise estimates for the number of rational quaternion algebras not admitting embeddings of any quadratic field having small discriminant. When the trace field is $\mathbf{Q}$, using work of Granville and Soundararajan, we establish a stronger result that allows our constant lower bound $x_0$ to grow with the area. As an application, we establish a systolic bound for arithmetic hyperbolic surfaces that is related to prior work of Buser-Sarnak and Katz-Schaps-Vishne. Finally, we establish an analogous density result for commensurability classes of arithmetic hyperbolic 3-orbifolds with small area totally geodesic $2$-orbifolds.


title: Sharp systolic inequalities for Reeb flows on the three-sphere

abstract: The systolic ratio of a contact form $\alpha$ on the three-sphere is the quantity \[ \rho_{\mathrm{sys}}(\alpha) = \frac{T_{\min}(\alpha)^2}{\mathrm{vol}(S^3,\alpha\wedge d\alpha)}, \] where $T_{\min}(\alpha)$ is the minimal period of closed Reeb orbits on $(S^3,\alpha)$. A Zoll contact form is a contact form such that all the orbits of the corresponding Reeb flow are closed and have the same period. Our first main result is that $\rho_{\mathrm{sys}}\leq 1$ in a neighbourhood of the space of Zoll contact forms on $S^3$, with equality holding precisely at Zoll contact forms. This implies a particular case of a conjecture of Viterbo, a local middle-dimensional non-squeezing theorem, and a sharp systolic inequality for Finsler metrics on the two-sphere which are close to Zoll ones. Our second main result is that $\rho_{\mathrm{sys}}$ is unbounded from above on the space of tight contact forms on $S^3$.


title: Analysis of Wallace's Proof of the Born Rule in Everettian Quantum Mechanics: Formal Aspects

abstract: To solve the probability problem of the Many Worlds Interpretation of Quantum Mechanics, D.Wallace has presented a formal proof of the Born rule via decision theory, as proposed by D.Deutsch. The idea is to get subjective probabilities from rational decisions related to quantum measurements, showing the non-probabilistic parts of the quantum formalism, plus some rational constraints, ensure the squared modulus of quantum amplitudes play the role of such probabilities. We provide a new presentation of Wallace's proof, reorganized to simplify some arguments, and analyze it from a formal perspective. Similarities with classical decision theory are made explicit, to clarify its structure and main ideas. A simpler notation is used, and details are filled in, making it easier to follow and verify. Some problems have been identified, and we suggest possible corrections.


title: Backward bifurcation underlies rich dynamics in simple disease models

abstract: In this paper, dynamical systems theory and bifurcation theory are applied to investi- gate the rich dynamical behaviours observed in three simple disease models. The 2- and 3-dimensional models we investigate have arisen in previous investigations of epidemiol- ogy, in-host disease, and autoimmunity. These closely related models display interesting dynamical behaviors including bistability, recurrence, and regular oscillations, each of which has possible clinical or public health implications. In this contribution we elucidate the key role of backward bifurcation in the parameter regimes leading to the behaviors of interest. We demonstrate that backward bifurcation facilitates the appearance of Hopf bifurcations, and the varied dynamical behaviors are then determined by the properties of the Hopf bifurcation(s), including their location and direction. A Maple program devel- oped earlier is implemented to determine the stability of limit cycles bifurcating from the Hopf bifurcation. Numerical simulations are presented to illustrate phenomena of interest such as bistability, recurrence and oscillation. We also discuss the physical motivations for the models and the clinical implications of the resulting dynamics.


title: A Mathematical Model of Motion Sickness in 6DOF Motion and Its Application to Vehicle Passengers

abstract: A mathematical model of motion sickness incidence (MSI) is derived by integrating neurophysiological knowledge of the vestibular system to predict the severity of motion sickness of humans. Bos et al. proposed the successful mathematical model of motion sickness based on the neurophysiological mechanism based on the subject vertical conflict (SVC) theory. We expand this model to 6-DOF motion, including head rotation, by introducing the otolith-canal interaction. Then the model is applied to an analysis of passengers' comfort. It is known that the driver is less susceptible to motion sickness than are the passengers. In addition, it is known that the driver tilts his/her head toward the curve direction when curve driving, whereas the passengers' head movement is likely to occur in the opposite direction. Thus, the effect of the head tilt strategy on motion sickness was investigated by the proposed mathematical model. The head movements of drivers and passengers were measured in slalom driving. Then, the MSI of the drivers and that of the passengers predicted by the proposed model were compared. The results revealed that the head movement toward the centripetal direction has a significant effect in reducing the MSI in the sense of SVC theory.


title: Wavelets for Elliptical Waveguide Problems

abstract: New elliptic cylindrical wavelets are introduced, which exploit the relationship between analysing filters and Floquet's solution of Mathieu differential equations. It is shown that the transfer function of both multiresolution filters is related to the solution of a Mathieu equation of odd characteristic exponent. The number of notches of these analysing filters can be easily designed. Wavelets derived by this method have potential application in the fields of optics, microwaves and electromagnetism.


title: A Discrete Proof of The General Jordan-Schoenflies Theorem

abstract: In the early 1960s, Brown and Mazur proved the general Jordan-Schoenflies theorem. This fundamental theorem states: If we embed an $(n-1)$ sphere $S^{(n-1)}$ locally flatly in an $n$ sphere $S^{n}$, then it decomposes $S^{n}$ into two components. In addition, the embedded $S^{(n-1)}$ is the common boundary of the two components and each component is homeomorphic to the $n$-ball.\newline This paper gives a constructive proof of the theorem using the discrete method. More specifically, we prove the equivalent statements: Let $M$ be an $n$-manifold, which is homeomorphic to $S^{n}$. Then, every $(n-1)$-manifold $S$, a submanifold with local flatness in $M$, decomposes the space $M$ into two components where each component is homeomorphic to an $n$-ball. The method was chosen in order to evaluate the computability and computational costs among operations between cells regarding homeomorphism. In addition, methods within the proof can be extended to applications in design algorithms under the assumption that homeomorphic mappings are constructible and computable. In this new revision, We add some new detailed discussions.


title: Spin Physics at J-PARC

abstract: Spin-physics projects at J-PARC are explained by including future possibilities. J-PARC is the most-intense hadron-beam facility in the high-energy region above multi-GeV, and spin physics will be investigated by using secondary beams of kaons, pions, neutrinos, muons, and antiproton as well as the primary-beam proton. In particle physics, spin topics are on muon $g-2$, muon and neutron electric dipole moments, and time-reversal violation experiment in a kaon decay. Here, we focus more on hadron-spin physics as for future projects. For example, generalized parton distributions (GPDs) could be investigated by using pion and proton beams, whereas they are studied by the virtual Compton scattering at lepton facilities. The GPDs are key quantities for determining the three-dimensional picture of hadrons and for finding the origin of the nucleon spin including partonic orbital-angular-momentum contributions. In addition, polarized parton distributions and various hadron spin topics should be possible by using the high-momentum beamline. The strangeness contribution to the nucleon spin could be also investigated in principle with the neutrino beam with a near detector facility.


title: Computing planetary atmospheres with algorithms derived from action thermodynamics and a novel version of the virial theorem for gravitating polyatomic molecules

abstract: An objective revision of the Laplace barometric formula for isothermal planetary atmospheres is proposed. From Clausius virial theorem equating the root mean square kinetic energy to half the gravitational potential energy, planetary atmospheres are required to have declining temperature with altitude as a consequence of the interaction between thermodynamic heat flow and gravity. The virial action hypothesis predicts non adiabatic lapse rates in temperature yielding a practical means to calculate variations with altitude in atmospheric entropy, free energy, molecular density and pressure. Remarkably, the new formulae derived enable prediction of atmospheric profiles with physical properties closely resembling those observed on Earth, Venus and Mars. These new formulae provide an objective basis for computing the dynamic morphology of the atmosphere. Climate scientists may consider this explanatory hypothesis for self organisation of planetary atmospheres for its possible relevance for predicting global surface temperatures.


title: Open systems dynamics: Simulating master equations in the computer

abstract: Master equations are probably the most fundamental equations for anyone working in quantum optics in the presence of dissipation. In this context it is then incredibly useful to have efficient ways of coding and simulating such equations in the computer, and in this notes I try to introduce in a comprehensive way how do I do so, focusing on Matlab, but making it general enough so that it can be directly translated to any other language or software of choice. I inherited most of my methods from Juan Jos\'e Garc\'ia-Ripoll (whose numerical abilities I cannot praise enough), changing them here and there to accommodate them to the way my (fairly limited) numerical brain works, and to connect them as much as possible to how I understand the theory behind them. At present, the notes focus on how to code master equations and find their steady state, but I hope soon I will be able to update them with time evolution methods, including how to deal with time-dependent master equations. During the last 4 years I've tested these methods in various different contexts, including circuit quantum electrodynamics, the laser problem, optical parametric oscillators, and optomechanical systems. Comments and (constructive) criticism are greatly welcome, and will be properly credited and acknowledged.


title: Trace decategorification of the Hecke category

abstract: We compute the trace decategorification of the Hecke category for an arbitrary Coxeter group. More generally, we introduce the notion of a strictly object-adapted cellular category and calculate the trace for such categories.


title: Energy-Efficient Broadcasting for Cross Wireless Ad-Hoc Networks

abstract: In this paper, we propose solutions for the energy-efficient broadcasting over cross networks, where N nodes are located on two perpendicular lines. Our solutions consist of an algorithm which finds the optimal range assignment in polynomial time (O(N^12)), a near-optimal algorithm with linear complexity (O(N)), and a distributed algorithm with complexity O(1). To the best of our knowledge, this is the first study presenting an optimal solution for the minimum-energy broadcasting problem for a 2-D network (with cross configuration). We compare our algorithms with the broadcast incremental power (BIP) algorithm, one of the most commonly used methods for solving this problem with complexity O(N^2). We demonstrate that our near-optimal algorithm outperforms BIP, and that the distributed algorithm performs close to it. Moreover, the proposed distributed algorithm can be used for more general two-dimensional networks, where the nodes are located on a grid consisting of perpendicular line-segments. The performance of the proposed near-optimal and distributed algorithms tend to be closer to the optimal solution for larger networks.


title: Smooth and sharp creation of a Dirichlet wall in 1+1 quantum field theory: how singular is the sharp creation limit?

abstract: We present and utilize a simple formalism for the smooth creation of boundary conditions within relativistic quantum field theory. We consider a massless scalar field in $(1+1)$-dimensional flat spacetime and imagine smoothly transitioning from there being no boundary condition to there being a two-sided Dirichlet mirror. The act of doing this, expectantly, generates a flux of real quanta that emanates from the mirror as it is being created. We show that the local stress-energy tensor of the flux is finite only if an infrared cutoff is introduced, no matter how slowly the mirror is created, in agreement with the perturbative results of Obadia and Parentani. In the limit of instantaneous mirror creation the total energy injected into the field becomes ultraviolet divergent, but the response of an Unruh-DeWitt particle detector passing through the infinite burst of energy nevertheless remains finite. Implications for vacuum entanglement extraction and for black hole firewalls are discussed.


title: An Introduction to the Formalism of Quantum Information

abstract: Quantum information is an emerging field which has attracted a lot of attention in the last fifteen years or so. It is a broad subject which covers from the most applied questions (e.g., how to build quantum computers or secure cryptographic systems), to the most theoretical problems concerning the formalism of quantum mechanics, its complexity, and its potential to go beyond classical physics. I have written these notes as an introduction to the formalism of quantum information, trying to show how it is a natural progression from an undergraduate course on quantum mechanics (just as I felt it was for me). Hence, these are mainly notes about the language of quantum information and the meaning of its terms, not about its applications. They do not intend to be an exhaustive review about the field, but just a logical sequence of ideas, concepts and definitions, building up towards the continuous variables formalism, which actually takes over most of the notes. In this way, most of the results are stated without proof, and I haven't been careful with references; this is a work in progress, and I intend to add such things in the future. In any case, most of the topics that I introduce have been thoroughly covered in previous books and reviews, and with this notes I only intend to give my point of view, as well as to introduce the different topics and objects in exactly the way I work with and think about them, hoping it will be useful, especially for the people who are starting in the field. These notes originated in 2010 as a way of studying for my close collaboration with Ra\'ul Garc\'ia-Patr\'on and Nicolas J. Cerf, to whom I am deeply grateful for guidance and incredibly clarifying discussions. They benefited greatly as well from the weeks I spent in Doha with Hyunchul Nha and his group in 2012, especially from discussions with him and Ho-Joon Kim.


title: Hearts of cotorsion pairs are functor categories over cohearts

abstract: We study hearts of cotorsion pairs in triangulated and exact categories.We give a sufficient and necessary condition when the hearts have enough projectives. We also show in such condition they are equivalent to functor categories over cohearts of the cotorsion pairs.


title: Minimal equations and values of generalized lambda functions

abstract: In our preceding article, we defined a generalized lambda function and showed that the genaralized lambda function and the modular invariant function generate the modular function field with respect to a principal congruence subgroup. In this article we shall study a minimal equation and values of the genaralized lambda function.


title: Low Rank Approximation of Tensors via Sparse Optimization

abstract: The goal of this paper is to find a low-rank approximation for a given tensor. Specifically, we give a computable strategy on calculating the rank of a given tensor, based on approximating the solution to an NP-hard problem. In this paper, we formulate a sparse optimization problem via an $l_1$-regularization to find a low-rank approximation of tensors. To solve this sparse optimization problem, we propose a rescaling algorithm of the proximal alternating minimization and study the theoretical convergence of this algorithm. Furthermore, we discuss the probabilistic consistency of the sparsity result and suggest a way to choose the regularization parameter for practical computation. In the simulation experiments, the performance of our algorithm supports that our method provides an efficient estimate on the number of rank-one tensor components in a given tensor. Moreover, this algorithm is also applied to surveillance videos for low-rank approximation.


title: Thermodynamics of strong-interaction matter from Lattice QCD

abstract: We review results from lattice QCD calculations on the thermodynamics of strong-interaction matter with emphasis on input these calculations can provide to the exploration of the phase diagram and properties of hot and dense matter created in heavy ion experiments. This review is organized as follows: 1) Introduction, 2) QCD thermodynamics on the lattice, 3) QCD phase diagram at high temperature, 4) Bulk thermodynamics, 5) Fluctuations of conserved charges, 6) Transport properties, 7) Open heavy flavors and heavy quarkonia, 8) QCD in external magnetic fields, 9) Summary.


title: Entropy, chaos and weak horseshoe for infinite dimensional random dynamical systems

abstract: In this paper, we study the complicated dynamics of infinite dimensional random dynamical systems which include deterministic dynamical systems as their special cases in a Polish space. Without assuming any hyperbolicity, we proved if a continuous random map has a positive topological entropy, then it contains a topological horseshoe. We also show that the positive topological entropy implies the chaos in the sense of Li-Yorke. The complicated behavior exhibiting here is induced by the positive entropy but not the randomness of the system.


title: PBF: A New Privacy-Aware Billing Framework for Online Electric Vehicles with Bidirectional Auditability

abstract: Recently an online electric vehicle (OLEV) concept has been introduced, where vehicles are propelled through the wirelessly transmitted electrical power from the infrastructure installed under the road while moving. The absence of secure-and-fair billing is one main hurdle to widely adopt this promising technology. This paper introduces a secure and privacy-aware fair billing framework for OLEV on the move through the charging plates installed under the road. We first propose two extreme lightweight mutual authentication mechanisms, a direct authentication and a hash chain-based authentication between vehicles and the charging plates that can be used for different vehicular speeds on the road. Second we propose a secure and privacy-aware wireless power transfer on move for the vehicles with bidirectional auditability guarantee by leveraging game-theoretic approach. Each charging plate transfers a fixed amount of energy to the vehicle and bills the vehicle in a privacy-aware way accordingly. Our protocol guarantees secure, privacy-aware, and fair billing mechanism for the OLEVs while receiving electric power from the road. Moreover our proposed framework can play a vital role in eliminating the security and privacy challenges in the deployment of power transfer technology to the OLEVs.


title: Deep Spatial Pyramid: The Devil is Once Again in the Details

abstract: In this paper we show that by carefully making good choices for various detailed but important factors in a visual recognition framework using deep learning features, one can achieve a simple, efficient, yet highly accurate image classification system. We first list 5 important factors, based on both existing researches and ideas proposed in this paper. These important detailed factors include: 1) $\ell_2$ matrix normalization is more effective than unnormalized or $\ell_2$ vector normalization, 2) the proposed natural deep spatial pyramid is very effective, and 3) a very small $K$ in Fisher Vectors surprisingly achieves higher accuracy than normally used large $K$ values. Along with other choices (convolutional activations and multiple scales), the proposed DSP framework is not only intuitive and efficient, but also achieves excellent classification accuracy on many benchmark datasets. For example, DSP's accuracy on SUN397 is 59.78%, significantly higher than previous state-of-the-art (53.86%).


title: Electromagnetic shielding in quantum metrology

abstract: The dynamics of the quantum Fisher information of the parameters of the initial atomic state and atomic transition frequency is studied, in the framework of open quantum systems, for a static polarizable two-level atom coupled in the multipolar scheme to a bath of fluctuating vacuum electromagnetic fields without and with the presence of a reflecting boundary. Our results show that in the case without a boundary, the electromagnetic vacuum fluctuations always cause the quantum Fisher information of the initial parameters and thus the precision limit of parameter estimation to decrease. Remarkably, however, with the presence of a boundary, the quantum Fisher information becomes position and atomic polarization dependent, and as a result, it may be enhanced as compared to that in the case without a boundary and may even be shielded from the influence of the vacuum fluctuations in certain circumstances as if it were a closed system.


title: Electrically tunable magnetoplasmons in a monolayer of silicene or germanene

abstract: We theoretically study electrically tunable magnetoplasmons in a monolayer of silicene or germanene. We derive the dynamical response function and take into account the effects of strong spin-orbit coupling (SOC) and of an external electric filed $E_z$ perpendicular to the plane of the buckled silicene/germanene. Employing the random-phase approximation we analyze the magnetoplasmon spectrum. The dispersion relation has the same form as in a two-dimensional electron gas with the cyclotron and plasma frequencies modified due to the SOC and the field $E_z$. In the absence of SOC and $E_z$, our results agree well with recent experiments on graphene. The predicted effects could be tested by experiments similar to those on graphene and would be useful for future spintronics and optoelectronic devices.


title: Off-resonant polarized light-controlled thermoelectric transport in ultrathin topological insulators

abstract: We study thermoelectric transport in ultrathin topological insulators under the application of circularly polarized off-resonant light of frequency {\Omega} and amplitude A. We derive analytical expressions for the band structure, orbital magnetization Morb, and the thermal (\k{appa}xy) and Nernst ({\alpha}xy) conductivities. Reversing the light polarization from right to left leads to an exchange of the conduction and valence bands of the symmetric and antisymmetric surface states and to a sign change in Morb,{\alpha}xy, and \k{appa}xy. Varying the sample thickness or A/{\Omega} leads to a strong enhancement of Morb and {\alpha}xy. These effects, accessible to experiments, open the possibility for selective, state-exchanged excitations under light and the conversion of heat to electric energy.


title: Eclipsing Binaries From the CSTAR Project at Dome A, Antarctica

abstract: The Chinese Small Telescope ARray (CSTAR) has observed an area around the Celestial South Pole at Dome A since 2008. About $20,000$ light curves in the i band were obtained lasting from March to July, 2008. The photometric precision achieves about 4 mmag at i = 7.5 and 20 mmag at i = 12 within a 30 s exposure time. These light curves are analyzed using Lomb--Scargle, Phase Dispersion Minimization, and Box Least Squares methods to search for periodic signals. False positives may appear as a variable signature caused by contaminating stars and the observation mode of CSTAR. Therefore the period and position of each variable candidate are checked to eliminate false positives. Eclipsing binaries are removed by visual inspection, frequency spectrum analysis and locally linear embedding technique. We identify 53 eclipsing binaries in the field of view of CSTAR, containing 24 detached binaries, 8 semi-detached binaries, 18 contact binaries, and 3 ellipsoidal variables. To derive the parameters of these binaries, we use the Eclipsing Binaries via Artificial Intelligence (EBAI) method. The primary and the secondary eclipse timing variations (ETVs) for semi-detached and contact systems are analyzed. Correlated primary and secondary ETVs confirmed by false alarm tests may indicate an unseen perturbing companion. Through ETV analysis, we identify two triple systems (CSTAR J084612.64-883342.9 and CSTAR J220502.55-895206.7). The orbital parameters of the third body in CSTAR J220502.55-895206.7 are derived using a simple dynamical model.


title: Intelligent Low-level RF System by Non-destructive Beam Monitoring Device for Cyclotrons

abstract: The project of a10MeV PET cyclotron accelerator for medical diagnosis and treatment was started at Amirkabir University of Technology in 2012. The low-level RF system of cyclotron accelerator is designed to stabilize acceleration voltage and control the resonance frequency of the cavity. In this work Intelligent Low Level Radio Frequency Circuit or ILLRF suitable for Most of the AVF cyclotron accelerators was designed by the beam monitoring device and narrow band tunable band-pass filter. In this design, for the RF phase detection does not need to signal processing by microcontroller


title: User-Centric Interference Nulling in Downlink Multi-Antenna Heterogeneous Networks

abstract: Heterogeneous networks (HetNets) have strong interference due to spectrum reuse. This affects the signal-to-interference ratio (SIR) of each user, and hence is one of the limiting factors of network performance. However, in previous works, interference management approaches in HetNets are mainly based on interference level, and thus cannot effectively utilize the limited resource to improve network performance. In this paper, we propose a user-centric interference nulling (IN) scheme in downlink two-tier HetNets to improve network performance by improving each user's SIR. This scheme has three design parameters: the maximum degree of freedom for IN (IN DoF), and the IN thresholds for the macro and pico users, respectively. Using tools from stochastic geometry, we first obtain a tractable expression of the coverage (equivalently outage) probability. Then, we characterize the asymptotic behavior of the outage probability in the high reliability regime. The asymptotic results show that the maximum IN DoF can affect the order gain of the asymptotic outage probability, while the IN thresholds only affect the coefficient of the asymptotic outage probability. Moreover, we show that the IN scheme can linearly improve the outage performance, and characterize the optimal maximum IN DoF which minimizes the asymptotic outage probability.


title: Emergent scenario in the Einstein-Cartan theory

abstract: We study the emergent scenario, which is proposed to avoid the big bang singularity, in the Einstein-Cartan (EC) theory with a positive cosmological constant and a perfect fluid by analyzing the existence and stability of the Einstein static (ES) solutions. We find that there is no stable ES solution for a spatially flat or open universe. However, for a spatially closed universe, the stable ES solution does exist, and in the same existence parameter regions, there also exists an unstable one. With the slow decrease of the equation of state $w$ of the perfect fluid, the stable and unstable critical points move close gradually and coincide once $w$ reaches a critical value, so that the stable critical point becomes an unstable one. As a result, if $w$ approaches a constant at $t\rightarrow -\infty$, the universe can stay at the stable ES state past eternally, and furthermore it can naturally exit from this state and evolve into an inflationary era if $w$ decreases slowly as time goes forward. Therefore, the emergent scenario that avoids the big bang singularity can be successfully implemented in the EC theory of gravity.


title: Global well-posedness of strong solutions to a tropical climate model

abstract: In this paper, we consider the Cauchy problem to the TROPIC CLIMATE MODEL derived by Frierson-Majda-Pauluis in [Comm. Math. Sci, Vol. 2 (2004)] which is a coupled system of the barotropic and the first baroclinic modes of the velocity and the typical midtropospheric temperature. The system considered in this paper has viscosities in the momentum equations, but no diffusivity in the temperature equation. We establish here the global well-posedness of strong solutions to this model. In proving the global existence of strong solutions, to overcome the difficulty caused by the absence of the diffusivity in the temperature equation, we introduce a new velocity $w$ (called the pseudo baroclinic velocity), which has more regularities than the original baroclinic mode of the velocity. An auxiliary function $\phi$, which looks like the effective viscous flux for the compressible Navier-Stokes equations, is also introduced to obtain the $L^\infty$ bound of the temperature. Regarding the uniqueness, we use the idea of performing suitable energy estimates at level one order lower than the natural basic energy estimates for the system.

categories: math.AP physics.ao-ph physics.flu-dyn physics.geo-ph


title: On self-avoiding polygons and walks: counting, joining and closing

abstract: For d at least two and integer n, let c_n = c_n(d) denote the number of length n self-avoiding walks beginning at the origin in the integer lattice Z^d, and, for even n, let p_n = p_n(d) denote the number of length n self-avoiding polygons in Z^d up to translation. Then the probability under the uniform law W_n on self-avoiding walks Gamma of any given odd length n beginning at the origin that Gamma closes -- i.e., that Gamma's endpoint is a neighbour of the origin -- is given by W_n ( Gamma closes ) = 2(n+1) p_{n+1}/c_n. The polygon and walk cardinalities share a common exponential growth: lim_n c_n^{1/n} = lim_{n even} p_n^{1/n} = mu (where the common value mu is called the connective constant). Madras [26] has shown that p_n is at most C n^{-1/2} mu^n in dimension d=2, while the closing probability was recently shown in [12] to satisfy W_n ( Gamma closes ) is at most n^{-1/4 + o(1)} in any dimension d at least two. Here we establish that (1) W_n ( Gamma closes ) is at most n^{-1/2 + o(1)} for any d at least two; (2) W_n ( Gamma closes ) is at most n^{-4/7 + o(1)} for a subsequence of odd n, if d = 2; and (3) p_n is at most n^{-3/2 + o(1)} mu^n for a set of even n of full density when d=2. We also argue that the closing probability is bounded above by n^{-(1 - 1/d) + o(1)} on a full density set when d is at least three for a certain variant of self-avoiding walk.


title: Decomposing Overcomplete 3rd Order Tensors using Sum-of-Squares Algorithms

abstract: Tensor rank and low-rank tensor decompositions have many applications in learning and complexity theory. Most known algorithms use unfoldings of tensors and can only handle rank up to $n^{\lfloor p/2 \rfloor}$ for a $p$-th order tensor in $\mathbb{R}^{n^p}$. Previously no efficient algorithm can decompose 3rd order tensors when the rank is super-linear in the dimension. Using ideas from sum-of-squares hierarchy, we give the first quasi-polynomial time algorithm that can decompose a random 3rd order tensor decomposition when the rank is as large as $n^{3/2}/\textrm{polylog} n$. We also give a polynomial time algorithm for certifying the injective norm of random low rank tensors. Our tensor decomposition algorithm exploits the relationship between injective norm and the tensor components. The proof relies on interesting tools for decoupling random variables to prove better matrix concentration bounds, which can be useful in other settings.


title: Regular subspaces of Dirichlet forms

abstract: The regular subspaces of a Dirichlet form are the regular Dirichlet forms that inherit the original form but possess smaller domains. The two problems we are concerned are: (1) the existence of regular subspaces of a fixed Dirichlet form, (2) the characterization of the regular subspaces if exists. In this paper, we will first research the structure of regular subspaces for a fixed Dirichlet form. The main results indicate that the jumping and killing measures of each regular subspace are just equal to that of the original Dirichlet form. By using the independent coupling of Dirichlet forms and some celebrated probabilistic transformations, we will study the existence and characterization of the regular subspaces of local Dirichlet forms.


title: Distance-based species tree estimation: information-theoretic trade-off between number of loci and sequence length under the coalescent

abstract: We consider the reconstruction of a phylogeny from multiple genes under the multispecies coalescent. We establish a connection with the sparse signal detection problem, where one seeks to distinguish between a distribution and a mixture of the distribution and a sparse signal. Using this connection, we derive an information-theoretic trade-off between the number of genes, $m$, needed for an accurate reconstruction and the sequence length, $k$, of the genes. Specifically, we show that to detect a branch of length $f$, one needs $m = \Theta(1/[f^{2} \sqrt{k}])$.


title: Sidonicity and variants of Kaczmarz's problem

abstract: We prove that a uniformly bounded system of orthonormal functions satisfying the $\psi_2$ condition: (1) must contain a Sidon subsystem of proportional size, (2) must satisfy the Rademacher-Sidon property, and (3) must have its 5-fold tensor satisfy the Sidon property. On the other hand, we construct a uniformly bounded orthonormal system that satisfies the $\psi_2$ condition but which is not Sidon. These problems are variants of Kaczmarz's Scottish book problem (problem 130) which, in its original formulation, was answered negatively by Rudin. A corollary of our argument is a new, elementary proof of Pisier's theorem that a set of characters satisfying the $\psi_2$ condition is Sidon.


title: The 't Hooft coupling and baryon mass splitting in the large-N chiral model

abstract: We study the 't Hooft coupling $g_{t}$ and the mass splitting of the ground-state baryons in a chiral quark model inspired by the large $N_{c}$ QCD. Depending on $g_{t}$ the Hartree wavefunction of light quark in baryons is used to map the mass hyperfine splittings for the octet and decuplet baryons. The 't Hooft coupling $g_{t}$ that reproduces the data of baryon masses is determined to be around $1.57$, which is small in the sense that $g_{t}^{2}/(4\pi N_{c})\ll $$1$.


title: Basis of Self-organized Proportion Regulation Resulting from Local Contacts

abstract: One of the fundamental problems in biology concerns the method by which a cluster of organisms can regulate the proportion of individuals that perform various roles or modes as if each individual knows a whole situation without a leader. A specific ratio exists in various species at multiple levels from the process of cell differentiation in multicellular organisms to the situation of social dilemma in a group of human beings. This study found a common basis of regulating a collective behavior which is realized by a series of local contacts between individuals. The most essential behavior of individuals in this theory is to change its internal mode through sharing information in contact with others. Our numerical simulations with cellular automata model realize to regulate the ratio of population of individuals who has either two kinds of modes. From the theoretical analysis and numerical calculations, we found that asymmetric properties in local contacts, are essential for adaptive regulation in response to the global information such a group size and whole density. Furthermore, a discrete system is crucial in no-leader groups to realize the flexible regulation, and the critical condition which eliminates overlap with one another (excluded volume effect) also affects the resulting proportion in high density. The foremost advantage of this strategy is that no global information is required for each individual, and only a couple of mode switching can achieve the whole proportion regulation. The simple mechanism say that proportion regulation in well-organized groups in nature can be realized through and limited to local contacts, and has a potential to solve various phenomena that microscopic individuals behaviors connect to macroscopic orderly behaviors.


title: The Hamilton-Waterloo Problem for Triangle-Factors and Heptagon-Factors

abstract: Given 2-factors $R$ and $S$ of order $n$, let $r$ and $s$ be nonnegative integers with $r+s=\lfloor \frac{n-1}{2}\rfloor$, the Hamilton-Waterloo problem asks for a 2-factorization of $K_n$ if $n$ is odd, or of $K_n-I$ if $n$ is even, in which $r$ of its 2-factors are isomorphic to $R$ and the other $s$ 2-factors are isomorphic to $S$. In this paper, we solve the problem for the case of triangle-factors and heptagon-factors for odd $n$ with 3 possible exceptions when $n=21$.


title: On Approximating the Sum-Rate for Multiple-Unicasts

abstract: We study upper bounds on the sum-rate of multiple-unicasts. We approximate the Generalized Network Sharing Bound (GNS cut) of the multiple-unicasts network coding problem with $k$ independent sources. Our approximation algorithm runs in polynomial time and yields an upper bound on the joint source entropy rate, which is within an $O(\log^2 k)$ factor from the GNS cut. It further yields a vector-linear network code that achieves joint source entropy rate within an $O(\log^2 k)$ factor from the GNS cut, but \emph{not} with independent sources: the code induces a correlation pattern among the sources. Our second contribution is establishing a separation result for vector-linear network codes: for any given field $\mathbb{F}$ there exist networks for which the optimum sum-rate supported by vector-linear codes over $\mathbb{F}$ for independent sources can be multiplicatively separated by a factor of $k^{1-\delta}$, for any constant ${\delta>0}$, from the optimum joint entropy rate supported by a code that allows correlation between sources. Finally, we establish a similar separation result for the asymmetric optimum vector-linear sum-rates achieved over two distinct fields $\mathbb{F}_{p}$ and $\mathbb{F}_{q}$ for independent sources, revealing that the choice of field can heavily impact the performance of a linear network code.


title: Structural phase transition and electronic structure evolution in Ir1-xPtxTe2 studied by scanning tunneling microscopy

abstract: The IrTe2 transition metal dichalcogenide undergoes a series of structural and electronic phase transitions when doped with Pt. The nature of each phase and the mechanism of the phase transitions have attracted much attention. In this paper, we report scanning tunneling microscopy and spectroscopy studies of Pt doped IrTe2 with varied Pt contents. In pure IrTe2, we find that the ground state has a 1/6 superstructure, and the electronic structure is inconsistent with Fermi surface nesting induced charge density wave order. Upon Pt doping, the crystal structure changes to a 1/5 superstructure and then to a quasi-periodic hexagonal phase. First principles calculations show that the superstructures and electronic structures are determined by the global chemical strain and local impurity states that can be tuned systematically by Pt doping.


title: Fractal spectral triples on Kellendonk's $C^*$-algebra of a substitution tiling

abstract: We introduce a new class of noncommutative spectral triples on Kellendonk's $C^*$-algebra associated with a nonperiodic substitution tiling. These spectral triples are constructed from fractal trees on tilings, which define a geodesic distance between any two tiles in the tiling. Since fractals typically have infinite Euclidean length, the geodesic distance is defined using Perron-Frobenius theory, and is self-similar with scaling factor given by the Perron-Frobenius eigenvalue. We show that each spectral triple is $\theta$-summable, and respects the hierarchy of the substitution system. To elucidate our results, we construct a fractal tree on the Penrose tiling, and explicitly show how it gives rise to a collection of spectral triples.


title: On the existence of a conformal and an absolutely continuous invariant measure for transcendental entire maps

abstract: We identify a class of hyperbolic transcendental entire maps and we prove that some of its elements generate a class of potentials for which exhibit a conformal and invariant probability Gibbs measure. The methods and techniques from the thermodynamic formalism can be extended to this class of potentials. To complement this study we highlight that the dynamics of such a map on some subset of the Julia set is conjugated to the shift map over a code space with countable alphabet and the euclidean metric on the complex plane induces a metric on the symbolic space which is not compatible with the shift standard metric. From this fact, we provide a general description of the thermodynamic formalism from symbolic dynamic outlook, by studying the shift map acting on a non-compact and invariant subset of the full shift space with a countably infinite alphabet and a class of weakly H\"older continuous potentials, to prove the existence of a conformal and absolutely continuous invariant probability measure.


title: Viewpoint distortion compensation in practical surveillance systems

abstract: Our aim is to estimate the perspective-effected geometric distortion of a scene from a video feed. In contrast to all previous work we wish to achieve this using from low-level, spatio-temporally local motion features used in commercial semi-automatic surveillance systems. We: (i) describe a dense algorithm which uses motion features to estimate the perspective distortion at each image locus and then polls all such local estimates to arrive at the globally best estimate, (ii) present an alternative coarse algorithm which subdivides the image frame into blocks, and uses motion features to derive block-specific motion characteristics and constrain the relationships between these characteristics, with the perspective estimate emerging as a result of a global optimization scheme, and (iii) report the results of an evaluation using nine large sets acquired using existing close-circuit television (CCTV) cameras. Our findings demonstrate that both of the proposed methods are successful, their accuracy matching that of human labelling using complete visual data.


title: Groupwise registration of aerial images

abstract: This paper addresses the task of time separated aerial image registration. The ability to solve this problem accurately and reliably is important for a variety of subsequent image understanding applications. The principal challenge lies in the extent and nature of transient appearance variation that a land area can undergo, such as that caused by the change in illumination conditions, seasonal variations, or the occlusion by non-persistent objects (people, cars). Our work introduces several novelties: (i) unlike all previous work on aerial image registration, we approach the problem using a set-based paradigm; (ii) we show how local, pair-wise constraints can be used to enforce a globally good registration using a constraints graph structure; (iii) we show how a simple holistic representation derived from raw aerial images can be used as a basic building block of the constraints graph in a manner which achieves both high registration accuracy and speed. We demonstrate: (i) that the proposed method outperforms the state-of-the-art for pair-wise registration already, achieving greater accuracy and reliability, while at the same time reducing the computational cost of the task; and (ii) that the increase in the number of available images in a set consistently reduces the average registration error.


title: On the Blaschke's Conjecture

abstract: The Blaschke's conjecture asserts that if $\diam(M)=\text{Inj}(M)=\frac\pi2$ (up to a rescaling) for a complete Riemannian manifold $M$, then $M$ is isometric to $\Bbb S^n(\frac12)$, ${\Bbb R\Bbb P}^{n}$, ${\Bbb C\Bbb P}^{n}$, ${\Bbb H\Bbb P}^{n}$ or ${\Bbb Ca\Bbb P}^{2}$ endowed with the canonical metric. In the paper, we prove that the conjecture is true if we in addition assume that $\sec_M\geq1$.


title: Catenoidal layers for the Allen-Cahn equation in bounded domains

abstract: In this paper we present a new family of solutions to the singularly perturbed Allen-Cahn equation $\alpha^2 \Delta u + u(1-u^2)=0, \quad \hbox{in }\Omega\subset \R^N $ where $N=3$, $\Omega$ is a smooth bounded domain and $\A>0$ is a small parameter. We provide asymptotic behavior which shows that, as $\alpha \to 0$, the level sets of the solutions collapse onto a bounded portion of a complete embedded minimal surface with finite total curvature that intersects orthogonally $\partial \Omega$ of the domain and that is non-degenerate respect to $\Omega$. We provide explicit examples of surfaces to which our result applies.


title: The adaptable buffer algorithm for high quantile estimation in non-stationary data streams

abstract: The need to estimate a particular quantile of a distribution is an important problem which frequently arises in many computer vision and signal processing applications. For example, our work was motivated by the requirements of many semi-automatic surveillance analytics systems which detect abnormalities in close-circuit television (CCTV) footage using statistical models of low-level motion features. In this paper we specifically address the problem of estimating the running quantile of a data stream with non-stationary stochasticity when the memory for storing observations is limited. We make several major contributions: (i) we derive an important theoretical result which shows that the change in the quantile of a stream is constrained regardless of the stochastic properties of data, (ii) we describe a set of high-level design goals for an effective estimation algorithm that emerge as a consequence of our theoretical findings, (iii) we introduce a novel algorithm which implements the aforementioned design goals by retaining a sample of data values in a manner adaptive to changes in the distribution of data and progressively narrowing down its focus in the periods of quasi-stationary stochasticity, and (iv) we present a comprehensive evaluation of the proposed algorithm and compare it with the existing methods in the literature on both synthetic data sets and three large `real-world' streams acquired in the course of operation of an existing commercial surveillance system. Our findings convincingly demonstrate that the proposed method is highly successful and vastly outperforms the existing alternatives, especially when the target quantile is high valued and the available buffer capacity severely limited.


title: Multiple Landen values and the tribonacci numbers

abstract: Multiple Landen values (MLVs) are defined as iterated integrals on the interval $x\in[0,1]$ of the differential forms $A=d\log(x)$, $B=-d\log(1-x)$, $F=-d\log(1-\rho^2x)$ and $G=-d\log(1-\rho x)$, where $\rho=(\sqrt{5}-1)/2$ is the golden section. I conjecture that the dimension of the space of ${\mathbb Z}$-linearly independent MLVs of weight $w$ is a tribonacci number $T_w$, generated by $1/(1-x-x^2- x^3)=1+\sum_{w>0}T_w x^w$, and that a basis is provided by all the words in the $\{A,G\}$ sub-alphabet that neither end in $A$ nor contain $A^3$. For $w<9$, I construct a much more efficient basis, for a MLV datamine, where no prime greater than 11 occurs in the denominators of 3,357,257 coefficients of rational reduction of 49,151 MLVs. Numerical data for 40 primitives then enable fast evaluation of all of these MLVs to 20,000 digits. The datamine provides reductions of Ap\'ery-type sums $A_w=\sum_{n>0}(-1)^{n+1}n^{-w}/{2n\choose n}$ and 6 ladder-combinations of depth-1 polylogarithms ${\rm Li}_w(\rho^p)=\sum_{n>0}\rho^{pn}n^{-w}$ with $p\in\{1,2,3,4,6,8,10,12,20,24\}$ and coefficients given by Landen, Coxeter and Lewin at $w=2$. I prove that the former evaluate to MLVs and conjecture that the latter do. Comparison is made between the properties of MLVs and multiple polylogarithms at roots of unity, encountered in the quantum field theory of the standard model of particle physics.


title: Global existence and semiclassical limit for quantum hydrodynamic equations with viscosity and heat conduction

abstract: The hydrodynamic equations with quantum effects are studied in this paper. First we establish the global existence of smooth solutions with small initial data and then in the second part, we establish the convergence of the solutions of the quantum hydrodynamic equations to those of the classical hydrodynamic equations. The energy equation is considered in this paper, which added new difficulties to the energy estimates, especially to the selection of the appropriate Sobolev spaces.


title: A Simple and General Problem and its Optimal Randomized Online Algorithm Design with Competitive Analysis

abstract: The online algorithm design was proposed to handle the caching problem when the future information is unknown. And currently, it draws more and more attentions from the researchers from the areas of microgrid, where the production of renewables are unpredictable. In this note, we present a framework of randomized online algorithm design for the \textit{simple and tractable} problem. This framework hopes to provide a tractable design to design a randomized online algorithm, which can be proved to achieve the best competitive ratio by \textit{Yao's Principle}.


title: Tight Bound on Randomness for Violating the CHSH Inequality

abstract: Free will (or randomness) has been studied to achieve loophole-free Bell's inequality test and to provide device-independent quantum key distribution security proofs. The required randomness such that a local hidden variable model (LHVM) can violate the Clauser-Horne-Shimony-Holt (CHSH) inequality has been studied, but a tight bound has not been proved for a practical case that i) the device settings of the two parties in the Bell test are independent; and ii) the device settings of each party can be correlated or biased across different runs. Using some information theoretic techniques, we prove in this paper a tight bound on the required randomness for this case such that the CHSH inequality can be violated by certain LHVM. Our proof has a clear achievability and converse style. The achievability part is proved using type counting. To prove the converse part, we introduce a concept called profile for a set of binary sequences and study the properties of profiles. Our profile-based converse technique is also of independent interest.


title: The effect of noise correlations on randomized benchmarking

abstract: Among the most popular and well studied quantum characterization, verification and validation techniques is randomized benchmarking (RB), an important statistical tool used to characterize the performance of physical logic operations useful in quantum information processing. In this work we provide a detailed mathematical treatment of the effect of temporal noise correlations on the outcomes of RB protocols. We provide a fully analytic framework capturing the accumulation of error in RB expressed in terms of a three-dimensional random walk in "Pauli space." Using this framework we derive the probability density function describing RB outcomes (averaged over noise) for both Markovian and correlated errors, which we show is generally described by a gamma distribution with shape and scale parameters depending on the correlation structure. Long temporal correlations impart large nonvanishing variance and skew in the distribution towards high-fidelity outcomes -- consistent with existing experimental data -- highlighting potential finite-sampling pitfalls and the divergence of the mean RB outcome from worst-case errors in the presence of noise correlations. We use the Filter-transfer function formalism to reveal the underlying reason for these differences in terms of effective coherent averaging of correlated errors in certain random sequences. We conclude by commenting on the impact of these calculations on the utility of single-metric approaches to quantum characterization, verification, and validation.


title: Automatic Face Recognition from Video

abstract: The objective of this work is to automatically recognize faces from video sequences in a realistic, unconstrained setup in which illumination conditions are extreme and greatly changing, viewpoint and user motion pattern have a wide variability, and video input is of low quality. At the centre of focus are face appearance manifolds: this thesis presents a significant advance of their understanding and application in the sphere of face recognition. The two main contributions are the Generic Shape-Illumination Manifold recognition algorithm and the Anisotropic Manifold Space clustering. The Generic Shape-Illumination Manifold is evaluated on a large data corpus acquired in real-world conditions and its performance is shown to greatly exceed that of state-of-the-art methods in the literature and the best performing commercial software. Empirical evaluation of the Anisotropic Manifold Space clustering on a popular situation comedy is also described with excellent preliminary results.


title: Introduction to Stochastic Differential Equations (SDEs) for Finance

abstract: These are course notes on the application of SDEs to options pricing. The author was partially supported by NSF grant DMS-0739195.


title: Towards a proof of the Shelah Presentation Theorem in Metric Abstract Elementary Classes

abstract: In my PhD thesis a version of Shelah's Presentation Theorem in the setting of Metric Abstract Elementary Classes was proved, where we claimed that the new function symbols are not necessarily uniformly continuous. In this paper we provide a proof they are in fact uniformly continuous.


title: Transceiver Design for Clustered Wireless Sensor Networks --- Towards SNR Maximization

abstract: This paper investigates the transceiver design problem in a noisy-sensing noisy-transmission multi-input multi-output (MIMO) wireless sensor network. Consider a cluster-based network, where multiple sensors scattering across several clusters will first send their noisy observations to their respective cluster-heads (CH), who will then forward the data to one common fusion center (FC). The cluster-heads and the fusion center collectively form a coherent-sum multiple access channel (MAC) that is affected by fading and additive noise. Our goal is to jointly design the linear transceivers at the CHs and the FC to maximize the signal-to-noise ratio (SNR) of the recovered signal. We develop three iterative block coordinated ascent (BCA) algorithms: 2-block BCA based on semidefinite relaxation (SDR) and rank reduction via randomization or solving linear equations, 2-block BCA based on iterative second-order cone programming (SOCP), and multi-block BCA that lends itself to efficient closed-form solutions in specific but important scenarios. We show that all of these methods optimize SNR very well but each has different efficiency characteristics that are tailored for different network setups. Convergence analysis is carried out and extensive numerical results are presented to confirm our findings.


title: Accretion Flow Dynamics of MAXI J1659-152 from the Spectral Evolution Study of its 2010 Outburst using the TCAF Solution

abstract: Transient black hole candidates are interesting objects to study in X-rays as these sources show rapid evolutions in their spectral and temporal properties. In this paper, we study the spectral properties of the Galactic transient X-ray binary MAXI~J1659-152 during its very first outburst after discovery with the archival data of RXTE Proportional Counter Array instruments. We make a detailed study of the evolution of accretion flow dynamics during its 2010 outburst through spectral analysis using the Chakrabarti-Titarchuk two-component advective flow (TCAF) model as an additive table model in XSPEC. Accretion flow parameters (Keplerian disk and sub-Keplerian halo rates, shock location and shock strength) are extracted from our spectral fits with TCAF. We studied variations of these fit parameters during the entire outburst as it passed through three spectral classes: hard, hard-intermediate, and soft-intermediate. We compared our TCAF fitted results with standard combined disk black body (DBB) and power-law (PL) model fitted results and found that variations of disk rate with DBB flux and halo rate with PL flux are generally similar in nature. There appears to be an absence of the soft state unlike what is seen in other similar sources.


title: Modeling Bright Gamma-ray and Radio Emission at Fast Cloud Shocks

abstract: Recent observations by the Large Area Telescope (LAT) onboard the Fermi satellite have revealed bright gamma-ray emission from middle-aged supernova remnants (SNRs) inside our Galaxy. These remnants, which also possess bright non-thermal radio shells, are often found to be interacting directly with surrounding gas clouds. We explore the non-thermal emission mechanism at these dynamically evolved SNRs by constructing a hydrodynamical model. Two scenarios of particle acceleration, either a re-acceleration of Galactic cosmic rays (CRs) or an efficient nonlinear diffusive shock acceleration (NLDSA) of particles injected from downstream, are considered. Using parameters inferred from observations, our models are contrasted with the observed spectra of SNR W44. For the re-acceleration case, we predict a significant enhancement of radio and GeV emission as the SNR undergoes a transition into the radiative phase. If sufficiently strong magnetic turbulence is present in the molecular cloud, the re-acceleration scenario can explain the observed broadband spectral properties. The NLDSA scenario also succeeds in explaining the $\gamma$-ray spectrum but fails to reproduce the radio spectral index. Efficient NLDSA also results in a significant post-shock non-thermal pressure that limits the compression during cooling and prevents the formation of a prominent dense shell. Some other interesting differences between the two models in hydrodynamical behavior and resulting spectral features are illustrated.


title: Nonlinear Michelson interferometer for improved quantum metrology

abstract: We examine quantum detection via a Michelson interferometer embedded in a gas with Kerr nonlinearity. This nonlinear interferometer is illuminated by pulses of classical light. This strategy combines the robustness against practical imperfections of classical light with the improvement provided by nonlinear processes. Regarding ultimate quantum limits, we stress that, as a difference with linear schemes, the nonlinearity introduces pulse duration as a new variable into play along with the energy resources.


title: The choice: evaluating and selecting scientific proposals

abstract: The selection process of proposals is a crucial component of scientific progress and innovations. Limited resources must be allocated in the most effective way to maximise advancements and the production of new knowledge, especially as it is becoming increasingly clear that technological and scientific innovation and creativity is an instrument of economic policy and social development. The traditional approach based on merit evaluation by experts has been the preferred method, but there is an issue regarding to what extent such a method can also be an instrument of effective policy. This paper discuss some of the basic processes involved in the evaluation and selection of proposals, indicating some criterion for an optimal solution.


title: Temperature-Dependence of Magnetically-Active Charge Excitations in Magnetite across the Verwey Transition

abstract: We have studied the electronic structure of bulk single crystals and epitaxial films of magnetite Fe$_3$O$_4$. Fe $2p$ core-level spectra show clear differences between hard x-ray (HAX-) and soft x-ray (SX-) photoemission spectroscopy (PES), indicative of surface effects. The bulk-sensitive spectra exhibit temperature ($T$)-dependent charge excitations across the Verwey transition at $T_V$=122 K, which is missing in the surface-sensitive spectra. An extended impurity Anderson model full-multiplet analysis reveals roles of the three distinct Fe-species (A-Fe$^{3+}$, B-Fe$^{2+}$, B-Fe$^{3+}$) below $T_V$ for the Fe $2p$ spectra, and its $T-$dependent evolution. The Fe $2p$ HAXPES spectra show a clear magnetic circular dichroism (MCD) in the metallic phase of magnetized 100-nm-thick films. The model calculations also reproduce the MCD and identify the magnetically distinct sites associated with the charge excitations. Valence band HAXPES shows finite density of states at $E_F$ for the polaronic metal with remnant order above $T_V$, and a clear gap formation below $T_V$. The results indicate that the Verwey transition is driven by changes in the strongly correlated and magnetically active B-Fe$^{2+}$ and B-Fe$^{3+}$ electronic states, consistent with resistivity and bulk-sensitive optical spectra.


title: Fermionic Casimir interaction in cylinder-plate and cylinder-cylinder geometries

abstract: In this work, we consider the Casimir effect due to massless fermionic fields in the presence of long cylinders. More precisely, we consider the interaction between a cylinder parallel to a plate, between two parallel cylinders outside each other, and between a cylinder lying parallelly inside another cylinder. We derive the explicit formulas for the Casimir interaction energies and compute the leading and the next-to-leading order terms of the small separation asymptotic expansions. As expected, the leading order terms coincide with the proximity force approximations. We compare the results of the next-to-leading order terms of different quantum fields, and show that our results support the ansatz of derivative expansions.


title: Compressive Random Access Using A Common Overloaded Control Channel

abstract: We introduce a "one shot" random access procedure where users can send a message without a priori synchronizing with the network. In this procedure a common overloaded control channel is used to jointly detect sparse user activity and sparse channel profiles. The detected information is subsequently used to demodulate the data in dedicated frequency slots. We analyze the system theoretically and provide a link between achievable rates and standard compressing sensing estimates in terms of explicit expressions and scaling laws. Finally, we support our findings with simulations in an LTE-A-like setting allowing "one shot" sparse random access of 100 users in 1ms.


title: Big Data Small Data, In Domain Out-of Domain, Known Word Unknown Word: The Impact of Word Representation on Sequence Labelling Tasks

abstract: Word embeddings -- distributed word representations that can be learned from unlabelled data -- have been shown to have high utility in many natural language processing applications. In this paper, we perform an extrinsic evaluation of five popular word embedding methods in the context of four sequence labelling tasks: POS-tagging, syntactic chunking, NER and MWE identification. A particular focus of the paper is analysing the effects of task-based updating of word representations. We show that when using word embeddings as features, as few as several hundred training instances are sufficient to achieve competitive results, and that word embeddings lead to improvements over OOV words and out of domain. Perhaps more surprisingly, our results indicate there is little difference between the different word embedding methods, and that simple Brown clusters are often competitive with word embeddings across all tasks we consider.


title: Twists and braids for general 3-fold flops

abstract: Given a quasi-projective 3-fold X with only Gorenstein terminal singularities, we prove that the flop functors beginning at X satisfy higher degree braid relations, with the combinatorics controlled by a real hyperplane arrangement H. This leads to a general theory, incorporating known special cases with degree 3 braid relations, in which we show that higher degree relations can occur even for two smooth rational curves meeting at a point. This theory yields an action of the fundamental group of the complexified complement of H on the derived category of X, for any such 3-fold that admits individually floppable curves. We also construct such an action in the more general case where individual curves may flop analytically, but not algebraically, and furthermore we lift the action to a form of affine pure braid group under the additional assumption that X is Q-factorial. Along the way, we produce two new types of derived autoequivalences. One uses commutative deformations of the scheme-theoretic fibre of a flopping contraction, and the other uses noncommutative deformations of the fibre with reduced scheme structure, generalising constructions of Toda and the authors which considered only the case when the flopping locus is irreducible. For type A flops of irreducible curves, we show that the two autoequivalences are related, but that in other cases they are very different, with the noncommutative twist being linked to birational geometry via the Bridgeland-Chen flop-flop functor.


title: Instance Optimal Learning

abstract: We consider the following basic learning task: given independent draws from an unknown distribution over a discrete support, output an approximation of the distribution that is as accurate as possible in $\ell_1$ distance (i.e. total variation or statistical distance). Perhaps surprisingly, it is often possible to "de-noise" the empirical distribution of the samples to return an approximation of the true distribution that is significantly more accurate than the empirical distribution, without relying on any prior assumptions on the distribution. We present an instance optimal learning algorithm which optimally performs this de-noising for every distribution for which such a de-noising is possible. More formally, given $n$ independent draws from a distribution $p$, our algorithm returns a labelled vector whose expected distance from $p$ is equal to the minimum possible expected error that could be obtained by any algorithm that knows the true unlabeled vector of probabilities of distribution $p$ and simply needs to assign labels, up to an additive subconstant term that is independent of $p$ and goes to zero as $n$ gets large. One conceptual implication of this result is that for large samples, Bayesian assumptions on the "shape" or bounds on the tail probabilities of a distribution over discrete support are not helpful for the task of learning the distribution. As a consequence of our techniques, we also show that given a set of $n$ samples from an arbitrary distribution, one can accurately estimate the expected number of distinct elements that will be observed in a sample of any size up to $n \log n$. This sort of extrapolation is practically relevant, particularly to domains such as genomics where it is important to understand how much more might be discovered given larger sample sizes, and we are optimistic that our approach is practically viable.


title: Unavoidable induced subgraphs in large graphs with no homogeneous sets

abstract: A homogeneous set of an $n$-vertex graph is a set $X$ of vertices ($2\le |X|\le n-1$) such that every vertex not in $X$ is either complete or anticomplete to $X$. A graph is called prime if it has no homogeneous set. A chain of length $t$ is a sequence of $t+1$ vertices such that for every vertex in the sequence except the first one, its immediate predecessor is its unique neighbor or its unique non-neighbor among all of its predecessors. We prove that for all $n$, there exists $N$ such that every prime graph with at least $N$ vertices contains one of the following graphs or their complements as an induced subgraph: (1) the graph obtained from $K_{1,n}$ by subdividing every edge once, (2) the line graph of $K_{2,n}$, (3) the line graph of the graph in (1), (4) the half-graph of height $n$, (5) a prime graph induced by a chain of length $n$, (6) two particular graphs obtained from the half-graph of height $n$ by making one side a clique and adding one vertex.


title: A Novel Variable Step Size NLMS Algorithm Based on the Power Estimate of the System Noise

abstract: To overcome the tradeoff of the conventional normalized least mean square (NLMS) algorithm between fast convergence rate and low steady-state misalignment, this paper proposes a variable step size (VSS) NLMS algorithm by devising a new strategy to update the step size. In this strategy, the input signal power and the cross-correlation between the input signal and the error signal are used to estimate the true tracking error power, reducing the effect of the system noise on the algorithm performance. Moreover, the steady-state performances of the algorithm are provided for Gaussian white input signal and are verified by simulations. Finally, simulation results in the context of the system identification and acoustic echo cancellation (AEC) have demonstrated that the proposed algorithm has lower steady-state misalignment than other VSS algorithms.


title: Random Geometric Graphs and Isometries of Normed Spaces

abstract: Given a countable dense subset $S$ of a finite-dimensional normed space $X$, and $0<p<1$, we form a random graph on $S$ by joining, independently and with probability $p$, each pair of points at distance less than $1$. We say that $S$ is `Rado' if any two such random graphs are (almost surely) isomorphic. Bonato and Janssen showed that in $l_\infty^d$ almost all $S$ are Rado. Our main aim in this paper is to show that $l_\infty^d$ is the unique normed space with this property: indeed, in every other space almost all sets $S$ are non-Rado. We also determine which spaces admit some Rado set: this turns out to be the spaces that have an $l_\infty$ direct summand. These results answer questions of Bonato and Janssen. A key role is played by the determination of which finite-dimensional normed spaces have the property that every bijective step-isometry (meaning that the integer part of distances is preserved) is in fact an isometry. This result may be of independent interest.


title: Coherence and mode decomposition of weak twin beams

abstract: Properties of weak spatio-spectral twin beams in paraxial approximation are analyzed using the decomposition into appropriate paired modes. Numbers of paired modes as well as numbers of modes in the signal (or idler) field in the transverse wave-vector and spectral domains are analyzed as functions of pump-beam parameters. Spatial and spectral coherence of weak twin beams is described by auto- and cross-correlation functions. Relation between the numbers of modes and coherence is discussed.


title: PFA and precipitousness of the nonstationary ideal

abstract: We apply Neeman's method of forcing with side conditions to show that PFA does not imply the precipitousness of the nonstationary ideal on $\omega_1$.


title: Crossed Products by Partial Actions of Inverse Semigroups

abstract: In this work, for a given inverse semigroup we will define the crossed product of an inverse semigroup by a partial action. Also, we will associate to an inverse semigroup $G$ an inverse semigroup $S_G$, and we will prove that there is a correspondence between the covariant representation of $G$ and covariant representation of $S_G$. Finally, we will explore a connection between crossed products of an inverse semigroup actions and crossed products by partial actions of inverse semigroups.


title: The Higgs sector of the minimal SUSY $B-L$ model

abstract: I review the Higgs sector of the $U(1)_{B-L}$ extension of the minimal supersymmetric standard model (MSSM). I will show that the gauge kinetic mixing plays a crucial role in the Higgs phenomenology. Two light bosons are present, a MSSM-like one and a $B-L$-like one, that mix at one loop solely due to the gauge mixing. After briefly looking at constraints from flavour observables, new decay channels involving right-handed (s)neutrinos are presented. Finally, it will be reviewed how model features pertaining to the gauge extension affect the model phenomenology, concerning the existence of R-Parity-conserving minima at loop level and the Higgs-to-diphoton coupling.


title: Bordered Floer homology and existence of incompressible tori in homology spheres

abstract: Let $K$ denote a knot inside the homology sphere $Y$. The zero-framed longitude of $K$ gives the complement of $K$ in $Y$ the structure of a bordered three-manifold, which may be denoted by $Y(K)$. We compute the quasi-isomorphism type of the bordered Floer complex of $Y(K)$ in terms of the knot Floer complex associated with $K$. As a corollary, we show that if a homology sphere has the same Heegaard Floer homology as $S^3$ it does not contain any incompressible tori. Consequently, if $Y$ is an irreducible homology sphere $L$-space then $Y$ is either $S^3$, or the Poicar\'e sphere $\Sigma(2,3,5)$, or it is hyperbolic.


title: Pair of associated Schouten-van Kampen connections adapted to an almost contact B-metric structure

abstract: There are introduced and studied a pair of associated Schouten-van Kampen affine connections adapted to the contact distribution and an almost contact B-metric structure generated by the pair of associated B-metrics and their Levi-Civita connections. By means of the constructed non-symmetric connections, the basic classes of almost contact B-metric manifolds are characterized. Curvature properties of the considered connections are obtained.