title: Complex Ginzburg-Landau equations with dynamic boundary conditions

abstract: The initial-dynamic boundary value problem (idbvp) for the complex Ginzburg-Landau equation (CGLE) on bounded domains of $\mathbb{R}^N$ is studied by converting the given mathematical model into a Wentzell initial-boundary value problem (ibvp). First, the corresponding linear homogeneous idbvp is considered. Secondly, the forced linear idbvp with both interior and boundary forcings is studied. Then, the nonlinear idbvp with Lipschitz nonlinearity in the interior and monotone nonlinearity on the boundary is analyzed. The local well-posedness of the idbvp for the CGLE with power type nonlinearities is obtained via a contraction mapping argument. Global well-posedness for strong solutions is shown. Global existence and uniqueness of weak solutions are proven. Smoothing effect of the corresponding evolution operator is proved. This helps to get better well-posedness results than the known results on idbvp for nonlinear Schr\"odinger equations (NLS). An interesting result of this paper is proving that solutions of NLS subject to dynamic boundary conditions can be obtained as inviscid limits of the solutions of the CGLE subject to same type of boundary conditions. Finally, long time behaviour of solutions is characterized and exponential decay rates are obtained at the energy level by using control theoretic tools.


title: Synchronizing Quantum Harmonic Oscillators through Two-Level Systems

abstract: Two oscillators coupled to a two-level system which in turn is coupled to an infinite number of oscillators (reservoir) are considered, bringing to light the occurrence of synchronization. A detailed analysis clarifies the physical mechanism that forces the system to oscillate at a single frequency with a predictable and tunable phase difference. Finally, the scheme is generalized to the case of $N$ oscillators and $M(<N)$ two-level systems.


title: Anharmonic interatomic force constants and thermal conductivity from Gr\"{u}neisen parameters: an application to graphene

abstract: Phonon-mediated thermal conductivity, which is of great technological relevance, fundamentally arises due to anharmonic scattering from interatomic potentials. Despite its prevalence, accurate first-principles calculations of thermal conductivity remain challenging, primarily due to the high computational cost of anharmonic interatomic force constant (IFCs) calculations. Meanwhile, the related anharmonic phenomenon of thermal expansion is much more tractable, being computable from the Gr\"uneisen parameters associated with phonon frequency shifts due to crystal deformations. In this work, we propose a novel approach for computing the largest cubic IFCs from the Gr\"uneisen parameter data. This allows an approximate determination of the thermal conductivity via a much less expensive route. The key insight is that although the Gr\"uneisen parameters cannot possibly contain all the information on the cubic IFCs, being derivable from spatially uniform deformations, they can still unambiguously and accurately determine the largest and most physically relevant ones. By fitting the anisotropic Gr\"uneisen parameter data along judiciously designed deformations, we can deduce (i.e., reverse engineer) the dominant cubic IFCs and estimate three-phonon scattering amplitudes. We illustrate our approach by explicitly computing the largest cubic IFCs and thermal conductivity of graphene, especially for its out-of-plane (flexural) modes that exhibit anomalously large anharmonic shifts and thermal conductivity contributions. Our calculations on graphene not only exhibits reasonable agreement with established DFT results, but also presents a pedagogical opportunity for introducing an elegant analytic treatment of the Gr\"uneisen parameters of generic two-band models. Our approach can be readily extended to more complicated crystalline materials with nontrivial anharmonic lattice effects.


title: KompicsTesting - Unit Testing Event Streams

abstract: In this paper we present KompicsTesting, a framework for unit testing components in the Kompics component model. Components in Kompics are event-driven entities which communicate asynchronously solely by message passing. Similar to actors in the actor model, they do not share their internal state in message-passing, making them less prone to errors, compared to other models of concurrency using shared state. However, they are neither immune to simpler logical and specification errors nor errors such as dataraces that stem from nondeterminism. As a result, there exists a need for tools that enable rapid and iterative development and testing of message passing components in general, in a manner similar to the xUnit frameworks for functions and modular segments code. These frameworks work in an imperative manner, ill suited for testing message-passing components given that the behavior of such components are encoded in the streams of messages that they send and receive. In this work, we present a theoretical framework for describing and verifying the behavior of message-passing components, independent of the model and framework implementation, in a manner similar to describing a stream of characters using regular expressions. We show how this approach can be used to perform both black box and white box testing of components and illustrate its feasibility through the design and implementation a prototype based on this approach, KompicsTesting.


title: Atypical Stable Multipath Routing Strategy in MANET

abstract: MANET is a collection of mobile nodes operated by battery source with limited energy reservoir. The dynamic topology and absence of pre-existing infrastructure in MANET makes routing technique more thought-provoking. The arbitrary movement of nodes may lead towards more packet drop, routing overhead and end-to-end delay. Moreover power deficiency in nodes affects the packet forwarding ability and thus reduces network lifetime. So a power aware stable routing strategy is in demand in MANET. In this manuscript we have proposed a novel multipath routing strategy that could select multiple stable routes between source and destination during data transmission depending on two factors residual energy and link expiration time (LET) of nodes. Our proposed energy aware stable multipath routing strategy could attain the reliability, load balancing, and bandwidth aggregation in order to increase the network lifetime.


title: Topological approach to the generalized $n$-center problem

abstract: We consider a natural Hamiltonian system with two degrees of freedom and Hamiltonian $H=\|p\|^2/2+V(q)$. The configuration space $M$ is a closed surface (for noncompact $M$ certain conditions at infinity are required). It is well known that if the potential energy $V$ has $n>2\chi(M)$ Newtonian singularities, then the system is not integrable and has positive topological entropy on energy levels $H=h>\sup V$. We generalize this result to the case when the potential energy has several singular points $a_j$ of type $V(q)\sim -d(q,a_j)^{-\alpha_j}$. Let $A_k=2-2k^{-1}$, $k=2,3,\dots$, and let $n_k$ be the number of singular points with $A_k\le \alpha_j<A_{k+1}$. We prove that if $$ \sum_{2\le k\le\infty}n_kA_k>2\chi(M), $$ then the system has a compact chaotic invariant set of noncollision trajectories on any energy level $H=h>\sup V$. This result is purely topological: no analytical properties of the potential, except the presence of singularities, are involved. The proofs are based on the generalized Levi-Civita regularization and elementary topology of coverings. As an example, the plane $n$ center problem is considered.


title: Sublayer of Prandtl boundary layers

abstract: The aim of this paper is to investigate the stability of Prandtl boundary layers in the vanishing viscosity limit: $\nu \to 0$. In \cite{Grenier}, one of the authors proved that there exists no asymptotic expansion involving one Prandtl's boundary layer with thickness of order $\sqrt\nu$, which describes the inviscid limit of Navier-Stokes equations. The instability gives rise to a viscous boundary sublayer whose thickness is of order $\nu^{3/4}$. In this paper, we point out how the stability of the classical Prandtl's layer is linked to the stability of this sublayer. In particular, we prove that the two layers cannot both be nonlinearly stable in $L^\infty$. That is, either the Prandtl's layer or the boundary sublayer is nonlinearly unstable in the sup norm.


title: Search for supersymmetry in pp collisions at sqrt(s) = 13 TeV in the single-lepton final state using the sum of masses of large-radius jets

abstract: Results are reported from a search for supersymmetric particles in proton-proton collisions in the final state with a single lepton; multiple jets, including at least one b-tagged jet; and large missing transverse momentum. The search uses a sample of proton-proton collision data at sqrt(s) = 13 TeV recorded by the CMS experiment at the LHC, corresponding to an integrated luminosity of 35.9 inverse femtobarns. The observed event yields in the signal regions are consistent with those expected from standard model backgrounds. The results are interpreted in the context of simplified models of supersymmetry involving gluino pair production, with gluino decay into either on- or off-mass-shell top squarks. Assuming that the top squarks decay into a top quark plus a stable, weakly interacting neutralino, scenarios with gluino masses up to about 1.9 TeV are excluded at 95% confidence level for neutralino masses up to about 1 TeV.


title: Electromagnetic properties of impure superconductors with pair-breaking processes

abstract: Recently a generic model has been proposed for the single-particle properties of gapless superconductors with simultaneously present pair-conserving and pair-breaking impurity scattering (the so-called Dynes superconductors). Here we calculate the optical conductivity of the Dynes superconductors. Our approach is applicable for all disorder strengths from the clean up to the dirty limit and for all relative ratios of the two types of scattering, nevertheless the complexity of our description is equivalent to that of the widely used Mattis-Bardeen theory. We identify two optical fingerprints of the Dynes superconductors: (i) the presence of two absorption edges and (ii) a finite absorption at vanishing frequencies even at the lowest temperatures. We demonstrate that the recent anomalous optical data on thin MoN films can be reasonably fitted by our theory.


title: Group representations that resist worst-case sampling

abstract: Motivated by expansion in Cayley graphs, we show that there exist infinitely many groups $G$ with a nontrivial irreducible unitary representation whose average over every set of $o(\log\log|G|)$ elements of $G$ has operator norm $1 - o(1)$. This answers a question of Lovett, Moore, and Russell, and strengthens their negative answer to a question of Wigderson. The construction is the affine group of $\mathbb{F}_p$ and uses the fact that for every $A \subset \mathbb{F}_p\setminus\{0\}$, there is a set of size $\exp(\exp(O(|A|)))$ that is almost invariant under both additive and multiplicatpive translations by elements of $A$.


title: Measuring Chern numbers in Hofstadter strips

abstract: Topologically non-trivial Hamiltonians with periodic boundary conditions are characterized by strictly quantized invariants. Open questions and fundamental challenges concern their existence, and the possibility of measuring them in systems with open boundary conditions and limited spatial extension. Here, we consider transport in Hofstadter strips, that is, two-dimensional lattices pierced by a uniform magnetic flux which extend over few sites in one of the spatial dimensions. As we show, an atomic wavepacket exhibits a transverse displacement under the action of a weak constant force. After one Bloch oscillation, this displacement approaches the quantized Chern number of the periodic system in the limit of vanishing tunneling along the transverse direction. We further demonstrate that this scheme is able to map out the Chern number of ground and excited bands, and we investigate the robustness of the method in presence of both disorder and harmonic trapping. Our results prove that topological invariants can be measured in Hofstadter strips with open boundary conditions and as few as three sites along one direction.


title: A singular perturbation study of the Rolie-Poly model

abstract: We study the Rolie-Poly model for entangled polymers, using a singular perturbation analysis for the limit of large relaxation time. In this limit, it is shown that the model displays the characteristic features of thixotropic yield stress fluids, including yield stress hysteresis, delayed yielding and long term persistence of a decreased viscosity after cessation of flow. We focus on the startup and cessation of shear flow. We identify dynamic regimes of fast, slow and yielded dynamics, and show how the combination of these regimes can be used to describe the flow.


title: Exploiting network topology for large-scale inference of nonlinear reaction models

abstract: The development of chemical reaction models aids understanding and prediction in areas ranging from biology to electrochemistry and combustion. A systematic approach to building reaction network models uses observational data not only to estimate unknown parameters, but also to learn model structure. Bayesian inference provides a natural approach to this data-driven construction of models. Yet traditional Bayesian model inference methodologies that numerically evaluate the evidence for each model are often infeasible for nonlinear reaction network inference, as the number of plausible models can be combinatorially large. Alternative approaches based on model-space sampling can enable large-scale network inference, but their realization presents many challenges. In this paper, we present new computational methods that make large-scale nonlinear network inference tractable. First, we exploit the topology of networks describing potential interactions among chemical species to design improved "between-model" proposals for reversible-jump Markov chain Monte Carlo. Second, we introduce a sensitivity-based determination of move types which, when combined with network-aware proposals, yields significant additional gains in sampling performance. These algorithms are demonstrated on inference problems drawn from systems biology, with nonlinear differential equation models of species interactions.


title: F-theory and AdS_3/CFT_2

abstract: We construct supersymmetric AdS_3 solutions in F-theory, that is Type IIB supergravity with varying axio-dilaton, which are holographically dual to 2d N=(0,4) superconformal field theories with small superconformal algebra. In F-theory these arise from D3-branes wrapped on curves in the base of an elliptically fibered Calabi-Yau threefold Y_3 and correspond to strings in the 6d N=(1,0) theory obtained from F-theory on Y_3. The non-trivial fibration over the wrapped curves implies a varying coupling of the N=4 Super-Yang-Mills theory on the D3-branes. We compute the holographic central charges and show that these agree with the field theory and with the anomalies of self-dual strings in 6d. We complement our analysis with a discussion of the dual M-theory solutions and a comparison of the central charges.


title: Proof Mining with Dependent Types

abstract: Several approaches exist to data-mining big corpora of formal proofs. Some of these approaches are based on statistical machine learning, and some -- on theory exploration. However, most are developed for either untyped or simply-typed theorem provers. In this paper, we present a method that combines statistical data mining and theory exploration in order to analyse and automate proofs in dependently typed language of Coq.


title: Exploiting Trust Degree for Multiple-Antenna User Cooperation

abstract: For a user cooperation system with multiple antennas, we consider a trust degree based cooperation techniques to explore the influence of the trustworthiness between users on the communication systems. For the system with two communication pairs, when one communication pair achieves its quality of service (QoS) requirement, they can help the transmission of the other communication pair according to the trust degree, which quantifies the trustworthiness between users in the cooperation. For given trust degree, we investigate the user cooperation strategies, which include the power allocation and precoder design for various antenna configurations. For SISO and MISO cases, we provide the optimal power allocation and beamformer design that maximize the expected achievable rates while guaranteeing the QoS requirement. For a SIMO case, we resort to semidefinite relaxation (SDR) technique and block coordinate update (BCU) method to solve the corresponding problem, and guarantee the rank-one solutions at each step. For a MIMO case, as MIMO is the generalization of MISO and SIMO, the similarities among their problem structures inspire us to combine the methods from MISO and SIMO together to efficiently tackle MIMO case. Simulation results show that the trust degree information has a great effect on the performance of the user cooperation in terms of the expected achievable rate, and the proposed user cooperation strategies achieve high achievable rates for given trust degree.


title: A Proposal for Quantum Fisher Information Optimization and its Relation with Entanglement Measures

abstract: Studies about Quantum Information Theory continue actively in many research institutions. Very recently, pratical setups of large scale quantum computers are widely studied e.g. quantum repeaters, memories and processors. Entanglement provides us a computational advantage in realization of quantum algorithms. Some ways to quantifiying entanglement were defined. The best formal way to quantify it, is the methods that we call Entanglement Measures or Entanglement Monotones. In this research area, State Ordering Problem is defined and still an open problem especially for multiparticle entangled states. Fisher Information provides a good background for the solution of some actual Information Theory problems. Quantum Fisher Information (QFI) is a value that could be used in situations where phase sensitivity is important and this concept is expected to be the quantum version of the mentioned inftrastructure for Quantum Systems. QFI cannot be defined as an Entaglement Measure or Monotone. In the scope of this thesis, a new optimization technique is proposed for optimizing QFI and thanks to this optimization method, the ordering relation between QFI and entanglement measures is studied. Based on the studies made in the area of quantum state ordering, new and interesting analysis results are found and reported. The main important and interesting result achieved is that for two qubit quantum states, QFI maximized under Local Operation and Classical Communication has an interesting ordering relation with entanglement measures especially with Relative Entropy of Entanglement. Our study is extended for the qubit-qutrit systems and ordering relations and classification results are presented. For some quantum systems, the changes in QFI under decoherence channels are also considered.


title: Feedback Techniques in Computer-Based Simulation Training: A Survey

abstract: Computer-based simulation training (CBST) is gaining popularity in a vast range of applications such as surgery, rehabilitation therapy, military applications, and driver/pilot training, as it offers a low-cost, easily-accessible and effective training environment. Typically, CBST systems comprise of two essential components: 1) a simulation environment that provides an immersive and interactive learning experience, and 2) a feedback intervention system that supports knowledge/skill acquisition and decision making. The simulation environment is created using technologies such as virtual or augmented reality, and this is an area which has gained much interest in recent years. The provision of automated feedback in CBST however, has not been investigated as much, and thus, is the focus of this paper. Feedback is an essential component in learning, and should be provided to the trainee during the training process in order to improve skills, to correct mistakes, and most importantly, to inspire reasoning and critical thinking. In CBST, feedback should be provided in a useful and timely manner, ideally in a way that mimics the advice of an experienced tutor. Here, we explore the provision of feedback in CBST from three perspectives: 1) types of feedback to be provided, 2) presentation modalities of feedback, and 3) methods for feedback extraction/learning. This review is aimed at providing insight into how feedback is extracted, organized, and delivered in current applications, to be used as a guide to the development of future feedback intervention systems in CBST applications.


title: A medium-finesse optical cavity for the stabilization of Rydberg lasers

abstract: We describe the design, construction, and characterization of a medium-finesse Fabry-P\'erot cavity for simultaneous frequency stabilization of two lasers operating at 960 and 780 nm wavelengths, respectively. The lasers are applied in experiments with ultracold rubidium Rydberg atoms, for which a combined laser linewidth similar to the natural Rydberg linewidth (approximately 10 kHz) is desired. The cavity, with a finesse of approximately 1500, is used to reduce the linewidth of the lasers to below this level. By using a spacer made of ultra low expansion (ULE) glass with active temperature stabilization, the residual frequency drift is limited to 1 MHz/day. The design optimizes for ease of construction, robustness, and affordability.


title: Field equations from Killing spinors

abstract: From the Killing spinor equation and the equations satisfied by their bilinears we deduce some well known bosonic and fermionic field equations of mathematical physics. Aside from the trivially satisfied Dirac equation, these relativistic wave equations in curved spacetimes respectively are Klein-Gordon, Maxwell, Proca, Duffin-Kemmer-Petiau, K\"{a}hler, twistor and Rarita-Schwinger equations. This result shows that, besides being special kinds of Dirac fermions, Killing fermions can be regarded as physically fundamental. For the Maxwell case the problem of motion is analysed in a reverse manner with respect to the works of Einstein-Groemer-Infeld-Hoffmann and Jean Marie Souriau. In the analysis of the gravitino field a generalised $3-\psi$ rule is found which is termed the vanishing trace constraint.


title: No preferential spatial distribution for massive stars expected from their formation

abstract: We analyse N-body and Smoothed Particle Hydrodynamic (SPH) simulations of young star-forming regions to search for differences in the spatial distributions of massive stars compared to lower-mass stars. The competitive accretion theory of massive star formation posits that the most massive stars should sit in deeper potential wells than lower-mass stars. This may be observable in the relative surface density or spatial concentration of the most massive stars compared to other, lower-mass stars. Massive stars in cool--collapse N-body models do end up in significantly deeper potentials, and are mass segregated. However, in models of warm (expanding) star-forming regions, whilst the massive stars do come to be in deeper potentials than average stars, they are not mass segregated. In the purely hydrodynamical SPH simulations, the massive stars do come to reside in deeper potentials, which is due to their runaway growth. However, when photoionisation and stellar winds are implemented in the simulations, these feedback mechanisms regulate the mass of the stars and disrupt the inflow of gas into the clouds' potential wells. This generally makes the potential wells shallower than in the control runs, and prevents the massive stars from occupying deeper potentials. This in turn results in the most massive stars having a very similar spatial concentration and surface density distribution to lower-mass stars. Whilst massive stars do form via competitive accretion in our simulations, this rarely translates to a different spatial distribution and so any lack of primordial mass segregation in an observed star-forming region does not preclude competitive accretion as a viable formation mechanism for massive stars.


title: Multiple Disk Gaps and Rings Generated by a Single Super-Earth

abstract: We investigate the observational signatures of super-Earths (i.e., Earth-to-Neptune mass planets) in their natal disks of gas and dust. Combining two-fluid global hydrodynamics simulations with a radiative transfer code, we calculate the distributions of gas and of sub-mm-sized dust in a disk perturbed by a super-Earth, synthesizing images in near-infrared scattered light and the mm-wave thermal continuum for direct comparison with observations. In low viscosity gas ($\alpha\lesssim10^{-4}$), a super-Earth opens two annular gaps to either side of its orbit by the action of Lindblad torques. This double gap and its associated gas pressure gradients cause dust particles to be dragged by gas into three rings: one ring sandwiched between the two gaps, and two rings located at the gap edges farthest from the planet. Depending on system parameters, additional rings may manifest for a single planet. A double gap located at tens of AUs from a host star in Taurus can be detected in the dust continuum by the Atacama Large Millimeter Array (ALMA) at an angular resolution of ~0".03 after two hours of integration. Ring and gap features persist in a variety of background disk profiles, last for thousands of orbits, and change their relative positions and dimensions depending on the speed and direction of planet migration. Candidate double gaps have been observed by ALMA in systems like HL Tau (D5 and D6) and TW Hya (at 37 and 43 AU); we submit that each double gap is carved by one super-Earth in nearly inviscid gas.


title: Emulating Simulations of Cosmic Dawn for 21cm Power Spectrum Constraints on Cosmology, Reionization, and X-ray Heating

abstract: Current and upcoming radio interferometric experiments are aiming to make a statistical characterization of the high-redshift 21cm fluctuation signal spanning the hydrogen reionization and X-ray heating epochs of the universe. However, connecting 21cm statistics to underlying physical parameters is complicated by the theoretical challenge of modeling the relevant physics at computational speeds quick enough to enable exploration of the high dimensional and weakly constrained parameter space. In this work, we use machine learning algorithms to build a fast emulator that mimics expensive simulations of the 21cm signal across a wide parameter space to high precision. We embed our emulator within a Markov-Chain Monte Carlo framework, enabling it to explore the posterior distribution over a large number of model parameters, including those that govern the Epoch of Reionization, the Epoch of X-ray Heating, and cosmology. As a worked example, we use our emulator to present an updated parameter constraint forecast for the Hydrogen Epoch of Reionization Array experiment, showing that its characterization of a fiducial 21cm power spectrum will considerably narrow the allowed parameter space of reionization and heating parameters, and could help strengthen Planck's constraints on $\sigma_8$. We provide both our generalized emulator code and its implementation specifically for 21cm parameter constraints as publicly available software.


title: Tidal disruption by extreme mass ratio binaries and application to ASASSN-15lh

abstract: Tidal disruption events (TDEs) observed in massive galaxies with inferred central black hole masses $M_h > 10^8 \ M_\odot$ are presumptive candidates for TDEs by lower mass secondaries in binary systems. We use hydrodynamic simulations to quantify the characteristics of such TDEs, focusing on extreme mass ratio binaries and mpc separations where the debris stream samples the binary potential. The simulations are initialised with disruption trajectories from 3-body integrations of stars with parabolic orbits with respect to the binary center of mass. The most common outcome is found to be the formation of an unbound debris stream, with either weak late-time accretion or no accretion at all. A substantial fraction of streams remain bound, however, and these commonly yield structured fallback rate curves that exhibit multiple peaks or sharp drops. We apply our results to the superluminous supernova candidate ASASSN-15lh and show that its features, including its anomalous rebrightening at $\sim 100$ days after detection, are consistent with the tidal disruption of a star by a supermassive black hole in a binary system.


title: High-cadence spectroscopy of M-dwarfs - II. Searching for stellar pulsations with HARPS

abstract: Stellar oscillations appear all across the Hertzsprung-Russell diagram. Recent theoretical studies support their existence also in the atmospheres of M dwarfs. These studies predict for them short periodicities ranging from 20~min to 3~h. Our Cool Tiny Beats (CTB) programme aims at finding these oscillations for the very first time. With this goal, CTB explores the short time domain of M dwarfs using radial velocity data from the HARPS-ESO and HARPS-N high-precision spectrographs. Here we present the results for the two most long-term stable targets observed to date with CTB, GJ~588 and GJ~699 (i.e. Barnard's star). In the first part of this work we detail the correction of several instrumental effects. These corrections are specially relevant when searching for sub-night signals. Results show no significant signals in the range where M dwarfs pulsations were predicted. However, we estimate that stellar pulsations with amplitudes larger than $\sim0.5\,\mathrm{m\,s}^{-1}$ can be detected with a 90% completeness with our observations. This result, along with the excess of power regions detected in the periodograms, open the possibility of non-resolved very low amplitude pulsation signals. Next generation more precise instrumentation would be required to detect such oscillations. However, the possibility of detecting pulsating M-dwarf stars with larger amplitudes is feasible due to the short size of the analysed sample. This motivates the need for completeness of the CTB survey.


title: Lieb-Schultz-Mattis theorems for symmetry protected topological phases

abstract: The Lieb-Schultz-Mattis (LSM) theorem and its descendants represent a class of powerful no-go theorems that rule out any short-range-entangled (SRE) symmetric ground state irrespective of the specific Hamiltonian, based only on certain microscopic inputs such as symmetries and particle filling numbers. In this work, we introduce and prove a new class of LSM-type theorems, where any symmetry-allowed SRE ground state must be a symmetry-protected topological (SPT) phase with robust gapless edge states. The key ingredient is to replace the lattice translation symmetry in usual LSM theorems by magnetic translation symmetry. These theorems provide new insights into numerical models and experimental realizations of SPT phases in interacting bosons and fermions.


title: Galactic Outflows, Star Formation Histories, and Timescales in Starburst Dwarf Galaxies from STARBIRDS

abstract: Winds are predicted to be ubiquitous in low-mass, actively star-forming galaxies. Observationally, winds have been detected in relatively few local dwarf galaxies, with even fewer constraints placed on their timescales. Here, we compare galactic outflows traced by diffuse, soft X-ray emission from Chandra Space Telescope archival observations to the star formation histories derived from Hubble Space Telescope imaging of the resolved stellar populations in six starburst dwarfs. We constrain the longevity of a wind to have an upper limit of 25 Myr based on galaxies whose starburst activity has already declined, although a larger sample is needed to confirm this result. We find an average 16% efficiency for converting the mechanical energy of stellar feedback to thermal, soft X-ray emission on the 25 Myr timescale, somewhat higher than simulations predict. The outflows have likely been sustained for timescales comparable to the duration of the starbursts (i.e., 100's Myr), after taking into account the time for the development and cessation of the wind. The wind timescales imply that material is driven to larger distances in the circumgalactic medium than estimated by assuming short, 5-10 Myr starburst durations, and that less material is recycled back to the host galaxy on short timescales. In the detected outflows, the expelled hot gas shows various morphologies which are not consistent with a simple biconical outflow structure. The sample and analysis are part of a larger program, the STARBurst IRregular Dwarf Survey (STARBIRDS), aimed at understanding the lifecycle and impact of starburst activity in low-mass systems.


title: H$\alpha$ intensity map of the repeating fast radio burst FRB 121102 host galaxy from Subaru/Kyoto 3DII AO-assisted optical integral-field spectroscopy

abstract: We present the H$\alpha$ intensity map of the host galaxy of the repeating fast radio burst FRB 121102 at a redshift of z=0.193 obtained with the AO-assisted Kyoto 3DII optical integral-field unit mounted on the 8.2-m Subaru Telescope. We detected a compact H$\alpha$-emitting (i.e., star-forming) region in the galaxy, which has a much smaller angular size [$< 0".57$ (1.9 kpc) at full width at half maximum (FWHM)] than the extended stellar continuum emission region determined by the Gemini/GMOS z'-band image [$\simeq 1".4$ (4.6 kpc) at FWHM with ellipticity b/a=0.45]. The spatial offset between the centroid of the H$\alpha$ emission region and the position of the radio bursts is $0".08 \pm 0".02$ ($0.26 \pm 0.07$ kpc), indicating that FRB 121102 is located within the star-forming region. This close spatial association of FRB 121102 with the star-forming region is consistent with expectations from young pulsar/magnetar models for FRB 121102, and it also suggests that the observed H$\alpha$ emission region can make a major dispersion measure (DM) contribution to the host galaxy DM component of FRB 121102. Nevertheless, the largest possible value of the DM contribution from the H$\alpha$ emission region inferred from our observations still requires a significant amount of ionized baryons in intergalactic medium (the so-called `missing' baryons) as the DM source of FRB 121102, and we obtain a 90\% confidence level lower limit on the cosmic baryon density in the intergalactic medium in the low-redshift universe as $\Omega_{IGM} > 0.012$.


title: Floquet Topological Magnons

abstract: We introduce the concept of Floquet topological magnons --- a mechanism by which a synthetic tunable Dzyaloshinskii-Moriya interaction (DMI) can be generated in quantum magnets using circularly polarized electric (laser) field. The resulting effect is that Dirac magnons and nodal magnons in two-dimensional (2D) and three-dimensional (3D) quantum magnets can be tuned to magnon Chern insulators and Weyl magnons respectively under circularly polarized laser field. The Floquet formalism also yields a tunable intrinsic DMI in insulating quantum magnets without an inversion center. We demonstrate that the Floquet topological magnons possess a finite thermal Hall conductivity tunable by the laser field.


title: Black holes, disks and jets following binary mergers and stellar collapse: The narrow range of EM luminosities and accretion rates

abstract: We have performed magnetohydrodynamic simulations in general relativity of binary neutron star and binary black hole-neutron star mergers, as well as the magnetorotational collapse of supermassive stars. In many cases the outcome is a spinnng black hole (BH) immersed in a magnetized disk, with a jet emanating from the poles of the BH. While their formation scenarios differ and their BH masses, as well as their disk masses, densities, and magnetic field strengths, vary by orders of magnitude, these features conspire to generate jet Poynting luminosities that all lie in the same, narrow range of $\sim 10^{52\pm1}~{\rm erg ~s^{-1}}$. A similar result applies to their BH accretion rates upon jet launch, which is $\sim 0.1-10~{\rm M_{\odot}~s^{-1}}$. We provide a simple model that explains these unanticipated findings. Interestingly, these luminosities reside in the same narrow range characterizing the observed luminosity distributions of over 400 short and long GRBs with distances inferred from spectroscopic redshifts or host galaxies. This result, together with the GRB lifetimes predicted by the model, supports the belief that a compact binary merger is the progenitor of an SGRB, while a massive, stellar magnetorotational collapse is the progenitor of an LGRB.


title: Time evolution of entanglement for holographic steady state formation

abstract: Within gauge/gravity duality, we consider the local quench-like time evolution obtained by joining two 1+1-dimensional heat baths at different temperatures at time t=0. A steady state forms and expands in space. For the 2+1-dimensional gravity dual, we find that the shockwaves expanding the steady-state region are of spacelike nature in the bulk despite being null at the boundary. However, they do not transport information. Moreover, by adapting the time-dependent Hubeny-Rangamani-Takayanagi prescription, we holographically calculate the entanglement entropy and also the mutual information for different entangling regions. For general temperatures, we find that the entanglement entropy increase rate satisfies the same bound as in the "entanglement tsunami" setups. For small temperatures of the two baths, we derive an analytical formula for the time dependence of the entanglement entropy. This replaces the entanglement tsunami-like behaviour seen for high temperatures. Finally, we check that strong subadditivity holds in this time-dependent system, as well as further more general entanglement inequalities for five or more regions recently derived for the static case.


title: Asteroseismology and Gaia: Testing Scaling Relations Using 2200 Kepler Stars with TGAS Parallaxes

abstract: We present a comparison of parallaxes and radii from asteroseismology and Gaia DR1 (TGAS) for 2200 Kepler stars spanning from the main sequence to the red giant branch. We show that previously identified offsets between TGAS parallaxes and distances derived from asteroseismology and eclipsing binaries have likely been overestimated for parallaxes <~ 5-10 mas (~ 90-98% of the TGAS sample). The observed differences in our sample can furthermore be partially compensated by adopting a hotter Teff scale (such as the infrared flux method) instead of spectroscopic temperatures for dwarfs and subgiants. Residual systematic differences are at the ~ 2% level in parallax across three orders of magnitude. We use TGAS parallaxes to empirically demonstrate that asteroseismic radii are accurate to ~ 5% or better for stars between ~ 0.8-8 Rsun. We find no significant offset for main-sequence (<~ 1.5 Rsun) and low-luminosity RGB stars (~ 3-8 Rsun), but seismic radii appear to be systematically underestimated by ~5% for subgiants (~ 1.5-3 Rsun). We find no systematic errors as a function of metallicity between [Fe/H] ~ -0.8 to +0.4 dex, and show tentative evidence that corrections to the scaling relation for the large frequency separation (Dnu) improve the agreement with TGAS for RGB stars. Finally, we demonstrate that beyond ~ 3 kpc asteroseismology will provide more precise distances than end-of-mission Gaia data, highlighting the synergy and complementary nature of Gaia and asteroseismology for studying galactic stellar populations.


title: Accretion Disk Assembly During Common Envelope Evolution: Implications for Feedback and LIGO Binary Black Hole Formation

abstract: During a common envelope episode in a binary system, the engulfed companion spirals to tighter orbital separations under the influence of drag from the surrounding envelope material. As this object sweeps through material with a steep radial gradient of density, net angular momentum is introduced into the flow, potentially leading to the formation of an accretion disk. The presence of a disk would have dramatic consequences for the outcome of the interaction because accretion might be accompanied by strong, polar outflows with enough energy to unbind the entire envelope. Without a detailed understanding of the necessary conditions for disk formation during common envelope, therefore, it is difficult to accurately predict the population of merging compact binaries. This paper examines the conditions for disk formation around objects embedded within common envelopes using the `wind tunnel' formalism developed by MacLeod et al. (2017). We find that the formation of disks is highly dependent on the compressibility of the envelope material. Disks form only in the most compressible of stellar envelope gas, found in envelopes' outer layers in zones of partial ionization. These zones are largest in low-mass stellar envelopes, but comprise small portions of the envelope mass and radius in all cases. We conclude that disk formation and associated accretion feedback in common envelope is rare, and if it occurs, transitory. The implication for LIGO black hole binary assembly is that by avoiding strong accretion feedback, common envelope interactions should still result in the substantial orbital tightening needed to produce merging binaries.


title: High-contrast imaging at small separation: impact of the optical configuration of two deformable mirrors on dark holes

abstract: The direct detection and characterization of exoplanets will be a major scientific driver over the next decade, involving the development of very large telescopes and requires high-contrast imaging close to the optical axis. Some complex techniques have been developed to improve the performance at small separations (coronagraphy, wavefront shaping, etc). In this paper, we study some of the fundamental limitations of high contrast at the instrument design level, for cases that use a combination of a coronagraph and two deformable mirrors for wavefront shaping. In particular, we focus on small-separation point-source imaging (around 1 $\lambda$/D). First, we analytically or semi-analytically analysing the impact of several instrument design parameters: actuator number, deformable mirror locations and optic aberrations (level and frequency distribution). Second, we develop in-depth Monte Carlo simulation to compare the performance of dark hole correction using a generic test-bed model to test the Fresnel propagation of multiple randomly generated optics static phase errors. We demonstrate that imaging at small separations requires large setup and small dark hole size. The performance is sensitive to the optic aberration amount and spatial frequencies distribution but shows a weak dependence on actuator number or setup architecture when the dark hole is sufficiently small (from 1 to $\lesssim$ 5 $\lambda$/D).


title: Dynamical tides in coalescing superfluid neutron star binaries with hyperon cores and their detectability with third generation gravitational-wave detectors

abstract: The dynamical tide in a coalescing neutron star binary induces phase shifts in the gravitational waveform as the orbit sweeps through resonances with individual g-modes. Unlike the phase shift due to the equilibrium tide, the phase shifts due to the dynamical tide are sensitive to the stratification, composition, and superfluid state of the core. We extend our previous study of the dynamical tide in superfluid neutron stars by allowing for hyperons in the core. Hyperon gradients give rise to a new type of composition g-mode. Compared to g-modes due to muon-to-electron gradients, those due to hyperon gradients are concentrated much deeper in the core and therefore probe higher density regions. We find that the phase shifts due to resonantly excited hyperonic modes are ~ 10^{-3} rad, an order of magnitude smaller than those due to muonic modes. We show that by stacking events, third generation gravitational-wave detectors should be able to detect the phase shifts due to muonic modes. Those due to hyperonic modes will, however, be difficult to detect due to their smaller magnitude.


title: Nonrelativistic Yang-Mills Theory for a Naturally Light Higgs Boson

abstract: We continue the study of the nonrelativistic short-distance completions of a naturally light Higgs, focusing on the interplay between the gauge symmetries and the polynomial shift symmetries. We investigate the naturalness of nonrelativistic scalar quantum electrodynamics with a dynamical critical exponent $z=3$ by computing leading power law divergences to the scalar propagator in this theory. We find that power law divergences exhibit a more refined structure in theories that lack boost symmetries. Finally, in this toy model, we show that it is possible to preserve a fairly large hierarchy between the scalar mass and the high energy naturalness scale across 7 orders of magnitude, while accommodating a gauge coupling of order 0.1.


title: SKIRT: hybrid parallelization of radiative transfer simulations

abstract: We describe the design, implementation and performance of the new hybrid parallelization scheme in our Monte Carlo radiative transfer code SKIRT, which has been used extensively for modeling the continuum radiation of dusty astrophysical systems including late-type galaxies and dusty tori. The hybrid scheme combines distributed memory parallelization, using the standard Message Passing Interface (MPI) to communicate between processes, and shared memory parallelization, providing multiple execution threads within each process to avoid duplication of data structures. The synchronization between multiple threads is accomplished through atomic operations without high-level locking (also called lock-free programming). This improves the scaling behavior of the code and substantially simplifies the implementation of the hybrid scheme. The result is an extremely flexible solution that adjusts to the number of available nodes, processors and memory, and consequently performs well on a wide variety of computing architectures.


title: Euler characteristic and Akashi series for Selmer groups over global function fields

abstract: Let $A$ be an abelian variety defined over a global function field $F$ of positive characteristic $p$ and let $K/F$ be a $p$-adic Lie extension with Galois group $G$. We provide a formula for the Euler characteristic $\chi(G,Sel_A(K)_p)$ of the $p$-part of the Selmer group of $A$ over $K$. In the special case $G=\mathbb{Z}_p^d$ and $A$ a constant ordinary variety, using Akashi series, we show how the Euler characteristic of the dual of $Sel_A(K)_p$ is related to special values of a $p$-adic $\mathcal{L}$-function.


title: Photonic quantum simulator for unbiased phase covariant cloning

abstract: We present the results of a linear optics photonic implementation of a quantum circuit that simulates a phase covariant cloner, by using two different degrees of freedom of a single photon. We experimentally simulate the action of two mirrored $1\rightarrow 2$ cloners, each of them biasing the cloned states into opposite regions of the Bloch sphere. We show that by applying a random sequence of these two cloners, an eavesdropper can mitigate the amount of noise added to the original input state and therefore prepare clones with no bias but with the same individual fidelity, masking its presence in a quantum key distribution protocol. Input polarization qubit states are cloned into path qubit states of the same photon, which is identified as a potential eavesdropper in a quantum key distribution protocol. The device has the flexibility to produce mirrored versions that optimally clone states on either the northern or southern hemispheres of the Bloch sphere, as well as to simulate optimal and non-optimal cloning machines by tuning the asymmetry on each of the cloning machines.


title: Holographic Entanglement Entropy of Local Quenches in AdS$_4$/CFT$_3$: A Finite-Element Approach

abstract: Understanding quantum entanglement in interacting higher-dimensional conformal field theories is a challenging task, as direct analytical calculations are often impossible to perform. With holographic entanglement entropy, calculations of entanglement entropy turn into a problem of finding extremal surfaces in a curved spacetime, which we tackle with a numerical finite-element approach. In this paper, we compute the entanglement entropy between two half-spaces resulting from a local quench, triggered by a local operator insertion in a CFT$_3$. We find that the growth of entanglement entropy at early time agrees with the prediction from the first law, as long as the conformal dimension $\Delta$ of the local operator is small. Within the limited time region that we can probe numerically, we observe deviations from the first law and a transition to sub-linear growth at later time. In particular, the time dependence at large $\Delta$ shows qualitative differences to the simple logarithmic time dependence familiar from the CFT$_2$ case. We hope that our work will motivate further studies, both numerical and analytical, on entanglement entropy in higher dimensions.


title: Leveraging Intel SGX to Create a Nondisclosure Cryptographic library

abstract: Enforcing integrity and confidentiality of users' application code and data is a challenging mission that any software developer working on an online production grade service is facing. Since cryptology is not a widely understood subject, people on the cutting edge of research and industry are always seeking for new technologies to naturally expand the security of their programs and systems. Intel Software Guard Extension (Intel SGX) is an Intel technology for developers who are looking to protect their software binaries from plausible attacks using hardware instructions. The Intel SGX puts sensitive code and data into CPU-hardened protected regions called enclaves. In this project we leverage the Intel SGX to produce a secure cryptographic library which keeps the generated keys inside an enclave restricting use and dissemination of confidential cryptographic keys. Using enclaves to store the keys we maintain a small Trusted Computing Base (TCB) where we also perform computation on temporary buffers to and from untrusted application code. As a proof of concept, we implemented hashes and symmetric encryption algorithms inside the enclave where we stored hashes, Initialization Vectors (IVs) and random keys and open sourced the code (https://github.com/hmofrad/CryptoEnclave).


title: Hadronic Correlation Functions in the Random Instanton-dyon Ensemble

abstract: It is known since 1980's that the instanton-induced 't Hooft effective Lagrangian not only can solve the so called $U(1)a$ problem, by making the $\eta'$ meson heavy etc, but it can also lead to chiral symmetry breaking. In 1990's it was demonstrated that, taken to higher orders, this Lagrangian correctly reproduces effective forces in a large set of hadronic channels, mesonic and baryonic ones. Recent progress in understanding gauge topology at finite temperatures is related with the so called {\em instanton-dyons}, the constituents of the instantons. Some of them, called $L$-dyons, possess the anti-periodic fermionic zero modes, and thus form a new version of the 't Hooft effective Lagrangian. This paper is our first study of a wide set of hadronic correlation function. We found that, at the lowest temperatures at which this approach is expected to be applicable, those may be well compatible with what is known about them based on phenomenological and lattice studies, provided $L$ and $M$ type dyons are strongly correlated.


title: Forecasting the Impact of Stellar Activity on Transiting Exoplanet Spectra

abstract: Exoplanet host star activity, in the form of unocculted star spots or faculae, alters the observed transmission and emission spectra of the exoplanet. This effect can be exacerbated when combining data from different epochs if the stellar photosphere varies between observations due to activity. redHere we present a method to characterize and correct for relative changes due to stellar activity by exploiting multi-epoch ($\ge$2 visits/transits) observations to place them in a consistent reference frame. Using measurements from portions of the planet's orbit where negligible planet transmission or emission can be assumed, we determine changes to the stellar spectral amplitude. With the analytical methods described here, we predict the impact of stellar variability on transit observations. Supplementing these forecasts with Kepler-measured stellar variabilities for F-, G-, K-, and M-dwarfs, and predicted transit precisions by JWST's NIRISS, NIRCam, and MIRI, we conclude that stellar activity does not impact infrared transiting exoplanet observations of most presently-known or predicted TESS targets by current or near-future platforms, such as JWST.


title: Deep Learning Microscopy

abstract: We demonstrate that a deep neural network can significantly improve optical microscopy, enhancing its spatial resolution over a large field-of-view and depth-of-field. After its training, the only input to this network is an image acquired using a regular optical microscope, without any changes to its design. We blindly tested this deep learning approach using various tissue samples that are imaged with low-resolution and wide-field systems, where the network rapidly outputs an image with remarkably better resolution, matching the performance of higher numerical aperture lenses, also significantly surpassing their limited field-of-view and depth-of-field. These results are transformative for various fields that use microscopy tools, including e.g., life sciences, where optical microscopy is considered as one of the most widely used and deployed techniques. Beyond such applications, our presented approach is broadly applicable to other imaging modalities, also spanning different parts of the electromagnetic spectrum, and can be used to design computational imagers that get better and better as they continue to image specimen and establish new transformations among different modes of imaging.


title: Exactly solvable flat-foldable quadrilateral origami tilings

abstract: We consider several quadrilateral origami tilings, including the Miura-ori crease pattern, allowing for crease-reversal defects above the ground state which maintain local flat-foldability. Using exactly solvable models, we show that these origami tilings can have phase transitions as a function of crease state variables, as a function of the arrangement of creases around vertices, and as a function of local layer orderings of neighboring faces. We use the exactly solved cases of the staggered odd 8-vertex model as well as Baxter's exactly solved 3-coloring problem on the square lattice to study these origami tilings. By treating the crease-reversal defects as a lattice gas, we find exact analytic expressions for their density, which is directly related to the origami material's elastic modulus. The density and phase transition analysis has implications for the use of these origami tilings as tunable metamaterials; our analysis shows that Miura-ori's density is more tunable than Barreto's Mars, for example. We also find that there is a broader range of tunability as a function of the density of layering defects compared to as a function of the density of crease order defects before the phase transition point is reached; material and mechanical properties that depend on local layer ordering properties will have a greater amount of tunability. The defect density of Barreto's Mars, on the other hand, can be increased until saturation without passing through a phase transition point. We further consider relaxing the requirement of local flat-foldability by mapping to a solvable case of the 16-vertex model, demonstrating a different phase transition point for this case.

categories: math-ph cond-mat.mtrl-sci cond-mat.stat-mech math.MP


title: No "Maunder minimum" candidates in M67: mitigating interstellar contamination of chromospheric emission lines

abstract: The solar analogs of M67 let us glimpse the probable behavior of the Sun on time scales surpassing the duration of human civilization. M67 can serve as a solar proxy because its stars share a similar age and composition with the Sun. Previous surveys of M67 observed that 15% of its Sun-like stars exhibited chromospheric activity levels below solar minimum, which suggest that these stars might be in activity-minimum states analogous to the Maunder Minimum. The activity diagnostic used, the HK index (relative intensities of the Ca II H&K lines integrated over 1 Ang. bandpasses), was measured from low-resolution spectra ($R\approx 5000$), as is traditional and suitable for nearby, bright stars. However, for stars beyond the Local Bubble, the interstellar medium (ISM) imprints absorption lines in spectra at Ca II H&K, which negatively bias activity measurements when these lines fall within the HK index bandpass. I model the ISM clouds in the M67 foreground with high-resolution spectra of blue stragglers and solar analogs. I demonstrate that ISM absorption varies across the cluster and must be accounted for on a star-by-star basis. I then apply the ISM model to a solar spectrum and broaden it to the lower spectral resolution employed by prior surveys. Comparing HK indices measured from ISM-free and ISM-contaminated spectra, I find that all stars observed below solar minimum can be explained by this ISM bias. I conclude that there is no compelling evidence for Maunder minimum candidates in M67 at this time.


title: Progression of Decomposed Local-Effect Action Theories

abstract: In many tasks related to reasoning about consequences of a logical theory, it is desirable to decompose the theory into a number of weakly-related or independent components. However, a theory may represent knowledge that is subject to change, as a result of executing actions that have effects on some of the initial properties mentioned in the theory. Having once computed a decomposition of a theory, it is advantageous to know whether a decomposition has to be computed again in the newly-changed theory (obtained from taking into account changes resulting from execution of an action). In the paper, we address this problem in the scope of the situation calculus, where a change of an initial theory is related to the notion of progression. Progression provides a form of forward reasoning; it relies on forgetting values of those properties, which are subject to change, and computing new values for them. We consider decomposability and inseparability, two component properties known from the literature, and contribute by 1) studying the conditions when these properties are preserved and 2) when they are lost wrt progression and the related operation of forgetting. To show the latter, we demonstrate the boundaries using a number of negative examples. To show the former, we identify cases when these properties are preserved under forgetting and progression of initial theories in local-effect basic action theories of the situation calculus. Our paper contributes to bridging two different communities in Knowledge Representation, namely research on modularity and research on reasoning about actions.


title: The Beam-Target Helicity Asymmetry for $\vec{\gamma} \vec{n} \rightarrow \pi^- p$ in the {\bf{$N^*$} Resonance Region

abstract: We report the first beam-target double-polarization asymmetries in the $\gamma + n(p) \rightarrow \pi^- + p(p)$ reaction spanning the nucleon resonance region from invariant mass $W$= $1500$ to $2300$ MeV. Circularly polarized photons and longitudinally polarized deuterons in $H\!D$ have been used with the CLAS detector at Jefferson Lab. The exclusive final state has been extracted using three very different analyses that show excellent agreement, and these have been used to deduce the {\it{E}} polarization observable for an effective neutron target. These results have been incorporated into new partial wave analyses, and have led to significant revisions for several $\gamma nN^*$ resonance photo-couplings.


title: Parametrizing modified gravity for cosmological surveys

abstract: One of the challenges in testing gravity with cosmology is the vast freedom opened when extending General Relativity. For linear perturbations, one solution consists in using the Effective Field Theory of Dark Energy (EFT of DE). Even then, the theory space is described in terms of a handful of free functions of time. This needs to be reduced to a finite number of parameters to be practical for cosmological surveys. We explore in this article how well simple parametrizations, with a small number of parameters, can fit observables computed from complex theories. Imposing the stability of linear perturbations appreciably reduces the theory space we explore. We find that observables are not extremely sensitive to short time-scale variations and that simple, smooth parametrizations are usually sufficient to describe this theory space. Using the Bayesian Information Criterion, we find that using two parameters for each function (an amplitude and a power law index) is preferred over complex models for 86% of our theory space.


title: A catalog of 4-regular and (2;4)-regular matchstick graphs

abstract: The first part (page 1 - 7) of this article presents the currently known examples of 4-regular matchstick graphs with 63 - 70 vertices. The second part (page 8 - 15) presents the currently known examples of $(2;4)$-regular matchstick graphs with less than 42 vertices which contain only two vertices of degree 2.


title: Hadamard partitioned difference families and their descendants

abstract: If $D$ is a $(4u^2,2u^2-u,u^2-u)$ Hadamard difference set (HDS) in $G$, then $\{G,G\setminus D\}$ is clearly a $(4u^2,[2u^2-u,2u^2+u],2u^2)$ partitioned difference family (PDF). Any $(v,K,\lambda)$-PDF will be said of Hadamard-type if $v=2\lambda$ as the one above. We present a doubling construction which, starting from any such PDF, leads to an infinite class of PDFs. As a special consequence, we get a PDF in a group of order $4u^2(2n+1)$ and three block-sizes $4u^2-2u$, $4u^2$ and $4u^2+2u$, whenever we have a $(4u^2,2u^2-u,u^2-u)$-HDS and the maximal prime power divisors of $2n+1$ are all greater than $4u^2+2u$.


title: The valence band energy spectrum of HgTe quantum wells with inverted band structures

abstract: The energy spectrum of the valence band in HgTe/Cd$_x$Hg$_{1-x}$Te quantum wells with a width $(8-20)$~nm has been studied experimentally by magnetotransport effects and theoretically in framework $4$-bands $kP$-method. Comparison of the Hall density with the density found from period of the Shubnikov-de Haas (SdH) oscillations clearly shows that the degeneracy of states of the top of the valence band is equal to 2 at the hole density $p< 5.5\times 10^{11}$~cm$^{-2}$. Such degeneracy does not agree with the calculations of the spectrum performed within the framework of the $4$-bands $kP$-method for symmetric quantum wells. These calculations show that the top of the valence band consists of four spin-degenerate extremes located at $k\neq 0$ (valleys) which gives the total degeneracy $K=8$. It is shown that taking into account the "mixing of states" at the interfaces leads to the removal of the spin degeneracy that reduces the degeneracy to $K=4$. Accounting for any additional asymmetry, for example, due to the difference in the mixing parameters at the interfaces, the different broadening of the boundaries of the well, etc, leads to reduction of the valleys degeneracy, making $K=2$. It is noteworthy that for our case two-fold degeneracy occurs due to degeneracy of two single-spin valleys. The hole effective mass ($m_h$) determined from analysis of the temperature dependence of the amplitude of the SdH oscillations show that $m_h$ is equal to $(0.25\pm0.02)\,m_0$ and weakly increases with the hole density. Such a value of $m_h$ and its dependence on the hole density are in a good agreement with the calculated effective mass.


title: Clustering of quasars in SDSS-IV eBOSS : study of potential systematics and bias determination

abstract: We study the first year of the eBOSS quasar sample in the redshift range $0.9<z<2.2$ which includes 68,772 homogeneously selected quasars. We show that the main source of systematics in the evaluation of the correlation function arises from inhomogeneities in the quasar target selection, particularly related to the extinction and depth of the imaging data used for targeting. We propose a weighting scheme that mitigates these systematics. We measure the quasar correlation function and provide the most accurate measurement to date of the quasar bias in this redshift range, $b_Q = 2.45 \pm 0.05$ at $\bar z=1.55$, together with its evolution with redshift. We use this information to determine the minimum mass of the halo hosting the quasars and the characteristic halo mass, which we find to be both independent of redshift within statistical error. Using a recently-measured quasar-luminosity-function we also determine the quasar duty cycle. The size of this first year sample is insufficient to detect any luminosity dependence to quasar clustering and this issue should be further studied with the final $\sim$500,000 eBOSS quasar sample.


title: On the Complexity of Semantic Integration of OWL Ontologies

abstract: We propose a new mechanism for integration of OWL ontologies using semantic import relations. In contrast to the standard OWL importing, we do not require all axioms of the imported ontologies to be taken into account for reasoning tasks, but only their logical implications over a chosen signature. This property comes natural in many ontology integration scenarios, especially when the number of ontologies is large. In this paper, we study the complexity of reasoning over ontologies with semantic import relations and establish a range of tight complexity bounds for various fragments of OWL.


title: Doping driven structural distortion in the bilayer iridate (Sr$_{1-x}$La$_x$)$_3$Ir$_2$O$_7$

abstract: Neutron single crystal diffraction and rotational anisotropy optical second harmonic generation data are presented resolving the nature of the structural distortion realized in electron-doped (Sr$_{1-x}$La$_x$)$_3$Ir$_2$O$_7$ with $x=0.035$ and $x=0.071$. Once electrons are introduced into the bilayer spin-orbit assisted Mott insulator Sr$_3$Ir$_2$O$_7$, previous studies have identified the appearance of a low temperature structural distortion and have suggested the presence of a competing electronic instability in the phase diagram of this material. Our measurements resolve a lowering of the structural symmetry from monoclinic $C2/c$ to monoclinic $P2_1/c$ and the creation of two unique Ir sites within the chemical unit cell as the lattice distorts below a critical temperature $T_S$. Details regarding the modifications to oxygen octahedral rotations and tilting through the transition are discussed as well as the evolution of the low temperature distorted lattice as a function of carrier substitution.


title: The Generalized Label Correcting Method for Optimal Kinodynamic Motion Planning

abstract: Nearly all autonomous robotic systems use some form of motion planning to compute reference motions through their environment. An increasing use of autonomous robots in a broad range of applications creates a need for efficient, general purpose motion planning algorithms that are applicable in any of these new application domains. This thesis presents a resolution complete optimal kinodynamic motion planning algorithm based on a direct forward search of the set of admissible input signals to a dynamical model. The advantage of this generalized label correcting method is that it does not require a local planning subroutine as in the case of related methods. Preliminary material focuses on new topological properties of the canonical problem formulation that are used to show continuity of the performance objective. These observations are used to derive a generalization of Bellman's principle of optimality in the context of kinodynamic motion planning. A generalized label correcting algorithm is then proposed which leverages these results to prune candidate input signals from the search when their cost is greater than related signals. The second part of this thesis addresses admissible heuristics for kinodynamic motion planning. An admissibility condition is derived that can be used to verify the admissibility of candidate heuristics for a particular problem. This condition also characterizes a convex set of admissible heuristics. A linear program is formulated to obtain a heuristic which is as close to the optimal cost-to-go as possible while remaining admissible. This optimization is justified by showing its solution coincides with the solution to the Hamilton-Jacobi-Bellman equation. Lastly, a sum-of-squares relaxation of this infinite-dimensional linear program is proposed for obtaining provably admissible approximate solutions.


title: Controlling Multimode Optomechanical Interactions via Interference

abstract: We demonstrate optomechanical interference in a multimode system, in which an optical mode couples to two mechanical modes. A phase-dependent excitation-coupling approach is developed, which enables the observation of constructive and destructive optomechanical interferences. The destructive interference prevents the coupling of the mechanical system to the optical mode, suppressing optically-induced mechanical damping. These studies establish optomechanical interference as an essential tool for controlling the interactions between light and mechanical oscillators.


title: Generalized Log-sine integrals and Bell polynomials

abstract: In this paper, we investigate the integral of $x^n\log^m(\sin(x))$ for natural numbers $m$ and $n$. In doing so, we recover some well-known results and remark on some relations to the log-sine integral $\operatorname{Ls}_{n+m+1}^{(n)}(\theta)$. Later, we use properties of Bell polynomials to find a closed expression for the derivative of the central binomial and shifted central binomial coefficients in terms of polygamma functions and harmonic numbers.


title: Person Re-Identification by Deep Joint Learning of Multi-Loss Classification

abstract: Existing person re-identification (re-id) methods rely mostly on either localised or global feature representation alone. This ignores their joint benefit and mutual complementary effects. In this work, we show the advantages of jointly learning local and global features in a Convolutional Neural Network (CNN) by aiming to discover correlated local and global features in different context. Specifically, we formulate a method for joint learning of local and global feature selection losses designed to optimise person re-id when using only generic matching metrics such as the L2 distance. We design a novel CNN architecture for Jointly Learning Multi-Loss (JLML) of local and global discriminative feature optimisation subject concurrently to the same re-id labelled information. Extensive comparative evaluations demonstrate the advantages of this new JLML model for person re-id over a wide range of state-of-the-art re-id methods on five benchmarks (VIPeR, GRID, CUHK01, CUHK03, Market-1501).


title: Linking evolutionary and ecological theory illuminates non-equilibrium biodiversity

abstract: Whether or not biodiversity dynamics tend toward stable equilibria remains an unsolved question in ecology and evolution with important implications for our understanding of diversity and its conservation. Phylo/population genetic models and macroecological theory represent two primary lenses through which we view biodiversity. While phylo/population genetics provide an averaged view of changes in demography and diversity over timescales of generations to geological epochs, macroecology provides an ahistorical description of commonness and rarity across contemporary co-occurring species. Our goal is to combine these two approaches to gain novel insights into the non-equilibrium nature of biodiversity. We help guide near future research with a call for bioinformatic advances and an outline of quantitative predictions made possible by our approach.


title: Quasi-bound state resonances of charged massive scalar fields in the near-extremal Reissner-Nordstr\"om black-hole spacetime

abstract: The quasi-bound states of charged massive scalar fields in the near-extremal charged Reissner-Nordstr\"om black-hole spacetime are studied {\it analytically}. These discrete resonant modes of the composed black-hole-field system are characterized by the physically motivated boundary condition of ingoing waves at the black-hole horizon and exponentially decaying (bounded) radial eigenfunctions at spatial infinity. Solving the Klein-Gordon wave equation for the linearized scalar fields in the black-hole spacetime, we derive a remarkably compact analytical formula for the complex frequency spectrum which characterizes the quasi-bound state resonances of the composed Reissner-Nordstr\"om-black-hole-charged-massive-scalar-field system.


title: Measurement of the B+/- meson nuclear modification factor in PbPb collisions at sqrt(s[NN]) = 5.02 TeV

abstract: The differential production cross sections of B+/- mesons are measured via the exclusive decay channels B+/- to J/psi K+/- to mu+ mu- K+/- as a function of transverse momentum in pp and PbPb collisions at a center-of-mass energy sqrt(s[NN]) = 5.02 TeV per nucleon pair with the CMS detector at the LHC. The pp (PbPb) dataset used for this analysis corresponds to an integrated luminosity of 28.0 inverse picobarns (351 inverse microbarns). The measurement is performed in the B+/- meson transverse momentum range of 7 to 50 GeV/c, in the rapidity interval abs(y) < 2.4. In this kinematic range, a strong suppression of the production cross section by about a factor of two is observed in the PbPb system in comparison to the expectation from pp reference data. These results are found to be roughly compatible with theoretical calculations incorporating beauty quark diffusion and energy loss in a quark-gluon plasma.


title: Model Checking in The COSMA Environment as a Support for The Design of Pipelined Processing

abstract: The case study analyzed in the report involves the behavioral specification and verification of a three-stage pipeline consisting of mutually concurrent modules which also compete for a shared resource. The system components are specified in terms of Concurrent State Machines (CSM) and the verification technique used is the temporal model checking in the COSMA environment.


title: Sensitive and broadband measurement of dispersion in a cavity using a Fourier transform spectrometer with kHz resolution

abstract: Optical cavities provide high sensitivity to dispersion since their resonance frequencies depend on the index of refraction. We present a direct, broadband, and accurate measurement of the modes of a high finesse cavity using an optical frequency comb and a mechanical Fourier transform spectrometer with a kHz-level resolution. We characterize 16000 cavity modes spanning 16 THz of bandwidth in terms of center frequency, linewidth, and amplitude. We retrieve the group delay dispersion of the cavity mirror coatings and pure N${_2}$ with 0.1 fs${^2}$ precision and 1 fs${^2}$ accuracy, as well as the refractivity of the 3{\nu}1+{\nu}3 absorption band of CO${_2}$ with 5 x 10${^{-12}}$ precision. This opens up for broadband refractive index metrology and calibration-free spectroscopy of entire molecular bands.


title: Controlling Coherent Quantum Dot Interactions

abstract: We measure many-body interactions in isolated quantum dot states using double-quantum multidimensional coherent spectroscopy. Few states are probed in a diffraction limited spot, which is enabled by a novel collinear scheme in which radiated four-wave-mixing signals are measured with phase resolution. Many-body interactions are enhanced by an additional prepulse tuned to the delocalized quasi-continuum states. We propose this effect as a method for controlling coupling between quantum states.


title: MVW-rigs

abstract: In this paper, a new algebraic structure is defined, which is a new MV-algebra that has a product operation, we will call it MVW-rig (Multivalued-weak rig). This structure is defined with universal algebra axioms, it is presented with a good amount of natural examples in the MV-algebra environment and the first results having to do with ideal, quotients, homomorphisms and subdirect product are established. In particular, its prime spectrum is studied, that with the co-Zariski topology it is compact. Consequently, a good number of results that are analogous to the theory of commutative rings and rigs are presented with which this theory keeps a close relationship to.


title: Fundamental Limits of DNA Storage Systems

abstract: Due to its longevity and enormous information density, DNA is an attractive medium for archival storage. In this work, we study the fundamental limits and tradeoffs of DNA-based storage systems under a simple model, motivated by current technological constraints on DNA synthesis and sequencing. Our model captures two key distinctive aspects of DNA storage systems: (1) the data is written onto many short DNA molecules that are stored in an unordered way and (2) the data is read by randomly sampling from this DNA pool. Under this model, we characterize the storage capacity, and show that a simple index-based coding scheme is optimal.


title: Sensitivity of new detection method for ultra-low frequency gravitational waves with pulsar spin-down rate statistics

abstract: A new detection method for ultra-low frequency gravitational waves (GWs) with a frequency much lower than the observational range of pulsar timing arrays (PTAs) was suggested in Yonemaru et al. (2016). In the PTA analysis, ultra-low frequency GWs ($\lesssim 10^{-10}$ Hz) which evolve just linearly during the observation time span are absorbed by the pulsar spin-down rates since both have the same effect on the pulse arrival time. Therefore, such GWs cannot be detected by the conventional method of PTAs. However, the bias on the observed spin-down rates depends on relative direction of a pulsar and GW source and shows a quadrupole pattern in the sky. Thus, if we divide the pulsars according to the position in the sky and see the difference in the statistics of the spin-down rates, ultra-low frequency GWs from a single source can be detected. In this paper, we evaluate the potential of this method by Monte-Carlo simulations and estimate the sensitivity, considering only the "Earth term" while the "pulsar term" acts like random noise for GW frequencies $10^{-13}-10^{-10}$ Hz. We find that with 3,000 milli-second pulsars, which are expected to be discovered by a future survey with the Square Kilometre Array, GWs with the derivative of amplitude of about $3 \times 10^{-19}~\rm{s}^{-1}$ can in principle be detected. Implications for possible supermassive binary black holes in Sgr${}^*$ and M87 are also given.


title: Ultra-luminous X-ray sources and neutron-star-black-hole mergers from very massive close binaries at low metallicity

abstract: Gravitational waves from the binary black hole (BH) merger GW150914 may enlighten our understanding of ultra-luminous X-ray sources (ULXs), as BHs>30Msun can reach luminosities>4x10^39 erg s^-1 without exceeding their Eddington limit. It is then important to study variations of evolutionary channels for merging BHs, which might instead form accreting BHs and become ULXs. It was recently shown that massive binaries with mass ratios close to unity and tight orbits can undergo efficient rotational mixing and evolve chemically homogeneously, resulting in a compact BH binary. We study similar systems by computing ~120000 detailed binary models with the MESA code covering a wide range of initial parameters. For initial mass ratios M2/M1~0.1-0.4, primaries >40Msun can evolve chemically homogeneously, remaining compact and forming a BH without undergoing Roche-lobe overflow. The secondary then expands and transfers mass to the BH, initiating a ULX phase. We predict that ~1 out of 10^4 massive stars evolves this way, and that in the local universe 0.13 ULXs per Msun yr^-1 of star-formation rate are observable, with a strong preference for low-metallicities. At metallicities log Z>-3, BH masses in ULXs are limited to 60Msun due to the occurrence of pair-instability supernovae which leave no remnant, resulting in an X-ray luminosity cut-off. At lower metallicities, very massive stars can avoid exploding as pair-instability supernovae and instead form BHs with masses above 130Msun, producing a gap in the ULX luminosity distribution. After the ULX phase, neutron-star-BH binaries that merge in less than a Hubble time are produced with a formation rate <0.2 Gpc^-3 yr^-1. We expect that upcoming X-ray observatories will test these predictions, which together with additional gravitational wave detections will provide strict constraints on the origin of the most massive BHs that can be produced by stars.


title: On the weak Roman domination number of lexicographic product graphs

abstract: A vertex $v$ of a graph $G=(V,E)$ is said to be undefended with respect to a function $f: V \longrightarrow \{0,1,2\}$ if $f(v)=0$ and $f(u)=0$ for every vertex $u$ adjacent to $v$. We call the function $f$ a weak Roman dominating function if for every $v$ such that $f(v)=0$ there exists a vertex $u$ adjacent to $v$ such that $f(u)\in \{1,2\}$ and the function $f': V \longrightarrow \{0,1,2\}$ defined by $f'(v)=1$, $f'(u)=f(u)-1$ and $f'(z)=f(z)$ for every $z\in V \setminus\{u,v\}$, has no undefended vertices. The weight of $f$ is $w(f)=\sum_{v\in V(G) }f(v)$. The weak Roman domination number of a graph $G$, denoted by $\gamma_r(G)$, is the minimum weight among all weak Roman dominating functions on $G$. Henning and Hedetniemi [Discrete Math. 266 (2003) 239-251] showed that the problem of computing $\gamma_r(G)$ is NP-Hard, even when restricted to bipartite or chordal graphs. This suggests finding $\gamma_r(G)$ for special classes of graphs or obtaining good bounds on this invariant. In this article, we obtain closed formulae and tight bounds for the weak Roman domination number of lexicographic product graphs in terms of invariants of the factor graphs involved in the product.


title: Input Comparison of Radiogenic Neutron Estimates for Ultra-low Background Experiments

abstract: Ultra-low-background experiments address some of the most important open questions in particle physics, cosmology and astrophysics: the nature of dark matter, whether the neutrino is its own antiparticle, and does the proton decay. These rare event searches require well-understood and minimized backgrounds. Simulations are used to understand backgrounds caused by naturally occurring radioactivity in the rock and in every piece of shielding and detector material used in these experiments. Most important are processes like spontaneous fission and ({\alpha},n) reactions in material close to the detectors that can produce neutrons. A comparison study between two dedicated software packages is detailed. The cross section libraries, neutron yields, and spectra from the Mei-Zhang-Hime and the SOURCES-4A codes are presented. The resultant yields and spectra are used as inputs to direct dark matter detector toy models in GEANT4, to study the impact of their differences on background estimates and fits. Although differences in neutron yield calculations up to 50% were seen, there was no systematic difference between the Mei-Hime-Zhang and SOURCES-4A results. Neutron propagation simulations smooth differences in spectral shape and yield, and both tools were found to meet the broad requirements of the low-background community.


title: Field Theories and Fluids for an Interacting Dark Sector

abstract: We consider the relationship between fluid models of an interacting dark sector, and the field theoretical models that underlie such descriptions. This question is particularly important in light of suggestions that such interactions may help alleviate a number of current tensions between different cosmological datasets. We construct consistent field theory models for an interacting dark sector that behave exactly like the coupled fluid ones, even at the level of linear perturbations, and can be trusted deep in the nonlinear regime. As a specific example, we focus on the case of a Dirac, Born-Infeld (DBI) field conformally coupled to a quintessence field. We show that the fluid linear regime breaks before the field gradients become large; this means that the field theory is valid inside a large region of the fluid nonlinear regime.


title: Comment on 'Entanglement of photon-added nonlinear coherent states via beam splitter'

abstract: Beam splitter mediated entanglement of nonlinear photon-added coherent states was studied by Honarasa, Bagheri and Gharaati [1]. We believe that this work contains errors in numerical computations of linear entropy and Mandel parameter which lead to wrong conclusions. We point out the possible errors and describe the necessary corrections. The conclusions based on our arguments are in complete agreement with previously published literature.


title: Face recognition assessments used in the study of super-recognisers

abstract: The purpose of this paper is to provide a brief overview of nine assessments of face processing skills. These tests have been used commonly in recent years to gauge the skills of perspective 'super-recognisers' with respect to the general population. In the literature, a person has been considered to be a 'super-recogniser' based on superior scores on one or more of these tests (cf., Noyes, Phillips & O'Toole, in press). The paper provides a supplement to a recent review of super-recognisers aimed at readers who are unfamiliar with these tests. That review provides a complete summary of the super-recongiser literature to date (2017). It also provides a theory and a set of action points directed at answering the question "What is a super-recogniser?"


title: A precision measurement of the e+p/e-p elastic scattering cross section ratio at the OLYMPUS experiment

abstract: Measurements of the ratio of the proton elastic form factors ($\mu_pG_E/G_M$) using Rosenbluth separation and those using polarization-based techniques show a strong discrepancy, which has persisted both in modern experimental results and in re-analyses of previous data. The most widely accepted hypothesis to explain this discrepancy is the treatment of the contributions from hard two-photon exchange (TPE) to elastic electron-proton scattering in the radiative corrections applied to the Rosenbluth separation measurements. Calculations of the hard TPE contribution are highly model dependent, but the effect may be measured experimentally with a precise determination of the ratio of the positron-proton and electron-proton elastic scattering cross sections. The OLYMPUS experiment collected approximately 4 fb$^{-1}$ of \pp and \ep scattering data at the DORIS storage ring at DESY in 2012, with the goal of measuring the elastic \ratio ratio over the kinematic range $(0.4 \leq \epsilon \leq 0.9)$, $(0.6 \leq Q^2 \leq 2.2)$ GeV$^2/c^2$ at a fixed lepton beam energy of 2.01 GeV. The detector for the OLYMPUS experiment consisted of refurbished elements of the Bates Large Acceptance Spectrometer Toroid (BLAST) surrounding an internal gaseous hydrogen target, with the addition of multiple systems for the monitoring of the luminosity collected by the experiment. A detailed simulation of the experiment was developed to account for both radiative corrections and various systematic effects. This work presents preliminary results from the OLYMPUS data, demonstrating that the elastic \ratio ratio rises to several percent at $\epsilon\approx 0.4$ and indicating a significant contribution from TPE to \pmp scattering. Additionally, the value of \ratio has been measured to unprecedented precision at $\epsilon=0.98$, which provides a valuable normalization point for other experimental data.


title: Characterization of a Deuterium-Deuterium Plasma Fusion Neutron Generator

abstract: We characterize the neutron output of a deuterium-deuterium plasma fusion neutron generator, model 35-DD-W-S, manufactured by NSD/Gradel-Fusion. The measured energy spectrum is found to be dominated by neutron peaks at 2.2 MeV and 2.7 MeV. A detailed GEANT4 simulation accurately reproduces the measured energy spectrum and confirms our understanding of the fusion process in this generator. Additionally, a contribution of 14.1 MeV neutrons from deuterium-tritium fusion is found at a level of~$3.5\%$, from tritium produced in previous deuterium-deuterium reactions. We have measured both the absolute neutron flux as well as its relative variation on the operational parameters of the generator. We find the flux to be proportional to voltage $V^{3.32 \pm 0.14}$ and current $I^{0.97 \pm 0.01}$. Further, we have measured the angular dependence of the neutron emission with respect to the polar angle. We conclude that it is well described by isotropic production of neutrons within the cathode field cage.


title: How sustainable are different levels of consciousness?

abstract: The human brain processes a wide variety of inputs and does so either consciously or subconsciously. According to the Global Workspace theory, conscious processing involves broadcasting of information to several regions of the brain and subconscious processing involves more localized processing. This theoretical paper aims to expand on some of the aspects of the Global Workspace theory: how the properties of incoming information result in it being processed subconsciously or consciously; why processing can be either be sustained or short-lived; how the Global Workspace theory may apply both to real-time sensory input as well as to internally retained information. This paper proposes that: familiar input which does not elicit intense emotions becomes processed subconsciously and such processing can be continuous and sustained; input that elicits relatively intense emotions is subjected to highly sustainable conscious processing; input can also undergo meta-conscious processing. Such processing is not very sustainable but can exert control over other cognitive processes. This paper also discusses possible benefits of regulating cognitive processes this way.


title: Modeling Cosmic Expansion, and Possible Inflation, As a Thermodynamic Heat Engine

abstract: Assuming a closed universe with slight positive curvature, cosmic expansion is modeled as a heat engine where the '"system'" is defined collectively as those regions of space within the observable universe which will later evolve into voids or empty space, and the '"surroundings'" are identified collectively as those pockets of space which will eventually develop into matter filled galaxies, clusters, super-clusters and filament walls. Using this model, we show that the energy needed for cosmic expansion can be found using basic thermodynamic principles, and that cosmic expansion had as its origin, a finite initial energy density, pressure, volume, and temperature. Inflation in the traditional sense, with the inflaton field, may also not be required as it can be argued that homogeneities and in-homogeneities in the WMAP temperature profile can be attributed to quantum mechanical fluctuations about a fixed background temperature in the initial isothermal expansion phase. Fluctuations in temperature can cause certain regions of space to lose heat to other pockets producing voids forcing, i.e., fueling expansion of the latter and creating slightly cooler temperatures in the former, where matter will later congregate. Upon freeze-out, this could produce the observed WMAP signature with its associated CBR fluctuation in magnitude. Finally, we estimate that the freeze-out temperature and time for WMAP in-homogeneities occurred at roughly 3.02 * 1027 K and 2.54 * 10-35 s, respectively, after first initiation of volume expansion, in line with current estimates for the end of the inflationary epoch. The heat absorbed in the inflationary phase is estimated to be Q = 1.81 * 1094 J, and the system volume increases by a factor of only 5.65. The bubble voids in the observable universe increase, collectively, in volume from about .046 m3 to .262 m3 within this time.


title: Intensionality, Definability and Computation

abstract: We look at intensionality from the perspective of computation. In particular, we review how game semantics has been used to characterize the sequential functional processes, leading to powerful and flexible methods for constructing fully abstract models of programming languages, with applications in program analysis and verification. In a broader context, we can regard game semantics as a first step towards developing a positive theory of intensional structures with a robust mathematical structure, and finding the right notions of invariance for these structures.


title: Graphs with $\alpha_1$ and $\tau_1$ both large

abstract: Given a graph $G$, let $\tau_1(G)$ denote the smallest size of a set of edges whose deletion makes $G$ triangle-free, and let $\alpha_1(G)$ denote the largest size of an edge set containing at most one edge from each triangle of $G$. Erd\H{o}s, Gallai, and Tuza introduced several problems with the unifying theme that $\alpha_1(G)$ and $\tau_1(G)$ cannot both be "very large"; the most well-known such problem is their conjecture that $\alpha_1(G) + \tau_1(G) \leq |V(G)|^2/4$, which was proved by Norin and Sun. We consider three other problems within this theme (two introduced by Erd\H{o}s, Gallai, and Tuza, another by Norin and Sun), all of which request an upper bound either on $\min\{\alpha_1(G), \tau_1(G)\}$ or on $\alpha_1(G) + k\tau_1(G)$ for some constant $k$, and prove the existence of graphs for which these quantities are "large".


title: Mass inventory of the giant-planet formation zone in a solar nebula analog

abstract: The initial mass distribution in the solar nebula is a critical input to planet formation models that seek to reproduce today's Solar System. Traditionally, constraints on the gas mass distribution are derived from observations of the dust emission from disks, but this approach suffers from large uncertainties in grain growth and gas-to-dust ratio. On the other hand, previous observations of gas tracers only probe surface layers above the bulk mass reservoir. Here we present the first partially spatially resolved observations of the $^{13}$C$^{18}$O J=3-2 line emission in the closest protoplanetary disk, TW Hya, a gas tracer that probes the bulk mass distribution. Combining it with the C$^{18}$O J=3-2 emission and the previously detected HD J=1-0 flux, we directly constrain the mid-plane temperature and optical depths of gas and dust emission. We report a gas mass distribution of 13$^{+8}_{-5}\times$(R/20.5AU)$^{-0.9^{+0.4}_{-0.3}}$ g cm$^{-2}$ in the expected formation zone of gas and ice giants (5-21AU). We find the total gas/millimeter-sized dust mass ratio is 140 in this region, suggesting that at least 2.4M_earth of dust aggregates have grown to >centimeter sizes (and perhaps much larger). The radial distribution of gas mass is consistent with a self-similar viscous disk profile but much flatter than the posterior extrapolation of mass distribution in our own and extrasolar planetary systems.


title: Formation of Complex Molecules in Prestellar Cores: a Multilayer Approach

abstract: We present the results of chemical modeling of complex organic molecules (COMs) under conditions typical for prestellar cores. We utilize an advanced gas-grain astrochemical model with updated gas-phase chemistry, with a multilayer approach to ice-surface chemistry and an up-to-date treatment of reactive desorption based on recent experiments of Minissale et al. (2016). With the chemical model, radial profiles of molecules including COMs are calculated for the case of the prototypical prestellar core L1544 at the timescales when the modeled depletion factor of CO becomes equal to that observed. We find that COMs can be formed efficiently in L1544 up to the fractional abundances of 10(-10) wrt. total hydrogen nuclei. Abundances of many COMs such as CH3OCH3, HCOOCH3, and others peak at similar radial distances of ~2000-4000 AU. Gas-phase abundances of COMs depend on the efficiency of reactive desorption, which in turn depends on the composition of the outer monolayers of icy mantles. In prestellar cores, the outer monolayers of mantles likely include large fractions of CO and its hydrogenation products, which may increase the efficiency of reactive desorption according to Minissale et al. (2016), and makes the formation of COMs efficient under conditions typical for prestellar cores, although this assumption is yet to be confirmed experimentally. The hydroxyl radical (OH) appears to play an important role in gas-phase chemistry of COMs, which makes it deserving further detailed studies.