title: Orbital Evolution, Activity, and Mass Loss of Comet C/1995 O1 (Hale-Bopp): II. Nucleus and Companions as Compact Clusters of Massive Fragments

abstract: The prime objective is to settle a contradiction between a high nongravitational acceleration affecting the orbital motion of comet C/1995 O1 and its enormous nucleus by modeling it as a compact cluster of boulder-sized fragments held together by its own gravity. The nongravitational effect is interpreted as a perturbation of the cluster's principal, most massive fragment. This and other constraints suggest that the principal fragment was probably 8-9 km across and the entire cluster ~150 times less massive than a single-body nucleus of an equal cross-sectional area derived from the Herschel far-infrared photometry of the inactive comet detected near 30 AU from the Sun. The cross-sectional area required the smallest fragments to be a few tens of meters across under a steady-state distribution. The cluster was at most ~200 km in diameter, subject to frequent collisions and significant perturbations by the Sun near perihelion, and apparently a product of tidal fragmentation of the original nucleus, more than 20 km across, at the time of close encounter with Jupiter 4 millennia ago, if the comet's tensile strength was then as low as several Pa. Published for the first time are the results of a search for companion nuclei in three post-perihelion images taken with the HST's STIS instrument in 1997-1998. At least 29 such objects <1200 km (projected) from the primary were detected, with their signals from 2.3% to 25% of the primary's and the signal-to-noise ratios between 5:1 and 29:1, apparently also cluster-like in nature.


title: GLASS: A General Likelihood Approximate Solution Scheme

abstract: We present a technique for constructing suitable posterior probability distributions in situations for which the sampling distribution of the data is not known. This is very useful for modern scientific data analysis in the era of "big data", for which exact likelihoods are commonly either unknown, computationally prohibitively expensive or inapplicable because of systematic effects in the data. The scheme involves implicitly computing the changes in an approximate sampling distribution as model parameters are changed via explicitly-computed moments of statistics constructed from the data.


title: Relativized Separation of Reversible and Irreversible Space-Time Complexity Classes

abstract: Reversible computing can reduce the energy dissipation of computation, which can improve cost-efficiency in some contexts. But the practical applicability of this method depends sensitively on the space and time overhead required by reversible algorithms. Time and space complexity classes for reversible machines match conventional ones, but we conjecture that the joint space-time complexity classes are different, and that a particular reduction by Bennett minimizes the space-time product complexity of general reversible computations. We provide an oracle-relativized proof of the separation, and of a lower bound on space for linear-time reversible simulations. A non-oracle proof applies when a read-only input is omitted from the space accounting. Both constructions model one-way function iteration, conjectured to be a problem for which Bennett's algorithm is optimal.


title: Eliminating the non-Gaussian spectral response of X-ray absorbers for transition-edge sensors

abstract: Transition-edge sensors (TES) as microcalorimeters for high-energy-resolution X-ray spectroscopy are often fabricated with an absorber made of materials with high Z (for X-ray stopping power) and low heat capacity (for high resolving power). Bismuth represents one of the most compelling options. TESs with evaporated bismuth absorbers have shown spectra with undesirable and unexplained low-energy tails. We have developed TESs with electroplated bismuth absorbers over a gold layer that are not afflicted by this problem and that retain the other positive aspects of this material. To better understand these phenomena, we have studied a series of TESs with gold, gold/evaporated bismuth, and gold/electroplated bismuth absorbers, fabricated on the same die with identical thermal coupling. We show that bismuth morphology is linked to the spectral response of X-ray TES microcalorimeters.


title: Popular progression differences in vector spaces

abstract: Green proved an arithmetic analogue of Szemer\'edi's celebrated regularity lemma and used it to verify a conjecture of Bergelson, Host, and Kra which sharpens Roth's theorem on three-term arithmetic progressions in dense sets. It shows that for every subset of $\mathbb{F}_p^n$ with $n$ sufficiently large, the density of three-term arithmetic progressions with some nonzero common difference is at least the random bound (the cube of the set density) up to an additive $\epsilon$. For a fixed odd prime $p$, we prove that the required dimension grows as an exponential tower of $p$'s of height $\Theta(\log(1/\epsilon))$. This improves both the lower and upper bound, and is the first example of a result where a tower-type bound coming from applying a regularity lemma is shown to be necessary.


title: Electromagnetic dipole moments of charged baryons with bent crystals at the LHC

abstract: We propose a unique program of measurements of electric and magnetic dipole moments of charm, beauty and strange charged baryons at the LHC, based on the phenomenon of spin precession of channeled particles in bent crystals. Studies of crystal channeling and spin precession of positively- and negatively-charged particles are presented, along with feasibility studies and expected sensitivities for the proposed experiment using a layout based on the LHCb detector.


title: Joint Syntacto-Discourse Parsing and the Syntacto-Discourse Treebank

abstract: Discourse parsing has long been treated as a stand-alone problem independent from constituency or dependency parsing. Most attempts at this problem are pipelined rather than end-to-end, sophisticated, and not self-contained: they assume gold-standard text segmentations (Elementary Discourse Units), and use external parsers for syntactic features. In this paper we propose the first end-to-end discourse parser that jointly parses in both syntax and discourse levels, as well as the first syntacto-discourse treebank by integrating the Penn Treebank with the RST Treebank. Built upon our recent span-based constituency parser, this joint syntacto-discourse parser requires no preprocessing whatsoever (such as segmentation or feature extraction), achieves the state-of-the-art end-to-end discourse parsing accuracy.


title: Effects of Surface Integrity on the Mechanics of Ultra-Thin Films

abstract: A detailed formulation for the effects of the surface integrity, i.e. surface topography, surface metallurgy, and surface mechanical properties, on the mechanics of ultra-thin films is proposed in the framework of linear elasticity. In this formulation, the ultra-thin film is modeled as a material bulk covered with two altered layers and two rough surfaces as distinct phases. Two versions of the proposed formulation are developed. In the first version, the governing equations are obtained depending on the general form of the surface topography. In the second version, the governing equations are reformulated utilizing the average parameters of the surface topography. In the proposed formulation, measures are incorporated to account for the effects of the surface topography, i.e. waviness and roughness, surface metallurgy, i.e. altered layer, and surface excess energy on the mechanics of ultra-thin films. A case study for the static bending of clamped-clamped ultra-thin films is analytically solved. A parametric study on the effects of the surface roughness, waviness, altered layers, and film size on the static bending of ultra-thin films is presented. In this study, new size-dependent behaviors are revealed where the mechanics of ultra-thin films can be significantly altered for the small variations in the surface integrity.


title: Popular progression differences in vector spaces II

abstract: Green used an arithmetic analogue of Szemer\'edi's celebrated regularity lemma to prove the following strengthening of Roth's theorem in vector spaces. For every $\alpha>0$, $\beta<\alpha^3$, and prime number $p$, there is a least positive integer $n_p(\alpha,\beta)$ such that if $n \geq n_p(\alpha,\beta)$, then for every subset of $\mathbb{F}_p^n$ of density at least $\alpha$ there is a nonzero $d$ for which the density of three-term arithmetic progressions with common difference $d$ is at least $\beta$. We determine for $p \geq 19$ the tower height of $n_p(\alpha,\beta)$ up to an absolute constant factor and an additive term depending only on $p$. In particular, if we want half the random bound (so $\beta=\alpha^3/2$), then the dimension $n$ required is a tower of twos of height $\Theta \left((\log p) \log \log (1/\alpha)\right)$. It turns out that the tower height in general takes on a different form in several different regions of $\alpha$ and $\beta$, and different arguments are used both in the upper and lower bounds to handle these cases.


title: On denoising autoencoders trained to minimise binary cross-entropy

abstract: Denoising autoencoders (DAEs) are powerful deep learning models used for feature extraction, data generation and network pre-training. DAEs consist of an encoder and decoder which may be trained simultaneously to minimise a loss (function) between an input and the reconstruction of a corrupted version of the input. There are two common loss functions used for training autoencoders, these include the mean-squared error (MSE) and the binary cross-entropy (BCE). When training autoencoders on image data a natural choice of loss function is BCE, since pixel values may be normalised to take values in [0,1] and the decoder model may be designed to generate samples that take values in (0,1). We show theoretically that DAEs trained to minimise BCE may be used to take gradient steps in the data space towards regions of high probability under the data-generating distribution. Previously this had only been shown for DAEs trained using MSE. As a consequence of the theory, iterative application of a trained DAE moves a data sample from regions of low probability to regions of higher probability under the data-generating distribution. Firstly, we validate the theory by showing that novel data samples, consistent with the training data, may be synthesised when the initial data samples are random noise. Secondly, we motivate the theory by showing that initial data samples synthesised via other methods may be improved via iterative application of a trained DAE to those initial samples.


title: The jet of the young star RW Aur A and related problems

abstract: Comparing the images of the jet of the young star RW Aur A, separated by a period of 21.3 years, we found that the outermost jet's knots have emerged $\approx 350$ yr ago. We argue that at that moment the jet itself has appeared and intensive accretion onto the star has began due to the rearrangement of its protoplanetary disk structure caused by the tidal effect of the companion RW Aur B. More precisely, we assume that the increase of accretion is a response to changing conditions in the outer disk regions, which followed after the sound wave, generated by these changes, crossed the disk in a radial direction. The difference in the parameters of the blue and red lobes of the RW Aur A jet, according to our opinion, is a result of the asymmetric distribution of the circumstellar matter above and below the disk, due to a fly-by of the companion. It was found from the analysis of RW Aur historical light curve that deep and long $(\Delta t>150$ days) dimmings of RW Aur A observed after 2010 yr, had no analogues in the previous 110 years. We also associate the change in the character of the photometric variability of the star with the rearrangement of the structure of inner $(r<1$ a.u.) regions of its protoplanetary disk and discuss why these changes began only 350 years after the beginning of the active accretion phase.


title: Simple Extension of Hal\'asz's Result

abstract: Inspired by the idea of Bernoulli decomposition, we give a simple proof for a generalization of Hal\'asz anti--concentration result about random sum of vectores in $\mathbb{R}^d$. From our results, we can give one upper bound for the probability of a random circulant matrix $\mathcal{C}_n$ with independent positive (or negative) random variables is singular, in fact, we prove $\mathbb{P}\ (\mathcal{C}_n \mathrm{\ is\ singular}) \leq C_{1,F} n(\phi(n))^{-3}$, where the constant $C_{1,F}>0$ depends on the distribution of the entries and $\phi(\cdot)$ is the Euler totient function. Also, if $\mathcal{SC}_n$ is a random symmetric circulant matrix with independent positive (or negative) integer random variable entries, we show $\mathbb{P}\ (\mathcal{SC}_n \mathrm{\ is\ singular})\leq C_{2,F} n(\phi(n))^{-3/2}$, where the constant $C_{2,F}>0$ depends on the distribution of the entries. It is possible to assume that the entries of a random circulant matrix are not identically distributed.


title: On singularity formation in a Hele-Shaw model

abstract: We discuss a lubrication approximation model of the interface between two immiscible fluids in a Hele-Shaw cell, derived in \cite{CDGKSZ93} and widely studied since. The model consists of a single one dimensional evolution equation for the thickness $2h = 2h(x,t)$ of a thin neck of fluid, \[ \partial_t h + \partial_x( h \, \partial_x^3 h) = 0\, , \] for $x\in (-1,1)$ and $t\ge 0$. The boundary conditions fix the neck height and the pressure jump: \[ h(\pm 1,t) = 1, \qquad \partial_{x}^2 h(\pm 1,t) = P>0. \] We prove that starting from smooth and positive $h$, as long as $h(x,t) >0$, for $x\in [-1,1], \; t\in [0,T]$, no singularity can arise in the solution up to time $T$. As a consequence, we prove for any $P>2$ and any smooth and positive initial datum that the solution pinches off in either finite or infinite time, i.e., $\inf_{[-1,1]\times[0,T_*)} h = 0$, for some $T_* \in (0,\infty]$. These facts have been long anticipated on the basis of numerical and theoretical studies.


title: Generating remote entanglement via disentangling operations

abstract: Shared entanglement between spatially separated systems is an essential resource for quantum information processing including long-distance quantum cryptography and teleportation. While purification protocols for mixed distributed entangled quantum states exist, it is not clear how to optimally distribute entanglement to remote locations. Here, we describe a deterministic protocol for generating a maximally entangled state between remote locations that only uses local operations on qubits, and requires no classical communication between the separated parties. The procedure may provide protection from decoherence before the entanglement is "activated," and could be useful for quantum key distribution.


title: Martingale approximations for random fields

abstract: In this paper we provide necessary and sufficient conditions for the mean square approximation of a random field with an ortho-martingale. The conditions are formulated in terms of projective criteria. Applications are given to linear and nonlinear random fields with independent innovations.


title: Peaks on Graphs

abstract: Given a graph $G$ with $n$ vertices and a bijective labeling of the vertices using the integers $1,2,\ldots, n$, we say $G$ has a peak at vertex $v$ if the degree of $v$ is greater than or equal to 2, and if the label on $v$ is larger than the label of all its neighbors. Fix an enumeration of the vertices of $G$ as $v_1,v_2,\ldots, v_{n}$ and a fix a set $S\subset V(G)$. We want to determine the number of distinct bijective labelings of the vertices of $G$, such that the vertices in $S$ are precisely the peaks of $G$. The set $S$ is called the \emph{peak set of the graph} $G$, and the set of all labelings with peak set $S$ is denoted by $\PSG$. This definition generalizes the study of peak sets of permutations, as that work is the special case of $G$ being the path graph on $n$ vertices. In this paper, we present an algorithm for constructing all of the bijective labelings in $\PSG$ for any $S\subseteq V(G)$. We also explore peak sets in certain families of graphs, including cycle graphs and joins of graphs.


title: A space-time tradeoff for implementing a function with master equation dynamics

abstract: Master equations are commonly used to model the dynamics of physical systems, including systems that implement single-valued functions like a computer's update step. However, many such functions cannot be implemented by any master equation, even approximately, which raises the question of how they can occur in the real world. Here we show how any function over some "visible" states can be implemented with master equation dynamics--if the dynamics exploits additional, "hidden" states at intermediate times. We also show that any master equation implementing a function can be decomposed into a sequence of "hidden" timesteps, demarcated by changes in what state-to-state transitions have nonzero probability. In many real-world situations there is a cost both for more hidden states and for more hidden timesteps. Accordingly, we derive a "space-time" tradeoff between the number of hidden states and the number of hidden timesteps needed to implement any given function.

categories: cond-mat.stat-mech cs.ET physics.bio-ph q-bio.QM


title: Comfort-Aware Building Climate Control Using Distributed-Parameter Models

abstract: Controlling Heating, Ventilation and Air Conditioning (HVAC) system to maintain occupant's indoor thermal comfort is important to energy-efficient buildings and the development of smart cities. In this paper, we formulate a model predictive controller (MPC) to make optimal control strategies to HVAC in order to maintain occupant's comfort by predicted mean vote index, and then present a whole system with an estimator to indoor climate and apartment's geometric information based on only thermostats. In order to have accurate spatial resolution and make the HVAC system focus on only a zoned area around the occupant, a convection-diffusion Computer Fluid Dynamics (CFD) model is used to describe the indoor air flow and temperature distribution. The MPC system generates corresponding PDE-constrained optimization problems, and we solve them by obtain the gradients of cost functions with respect to problems' variables with the help of CFD model's adjoint equations. We evaluate the performance of our method using simulations of a real apartment in the St.\ Louis area. Our results show our MPC system's energy efficiency and the potential for its application in real-time operation of high-performance buildings.


title: Noncollinear biphoton states: enormously high resource of azimuthal entanglement as it's seen in Cartesian variables

abstract: Single-particle and coincidence distributions of photons are analyzed for the noncollinear frequency-degenerate type-I regime of Spontaneous Parametric Down-Conversion. Noncollinearity itself is shown to provide a new mechanism of strong broadening of the single-particle distributions in Cartesian components of the photon's transverse wave vectors. Related to this, the degree of entanglement appears to be very high and, in fact, this is the same enormous resource of azimuthal entanglement which was found to occur in the formalism of spherical angles used for characterization of photon wave vectors (Phys. Rev. A, {\bf 93}, 033830, 2016). In Cartesian variables this phenomenon manifests itself as a strong broadening and a very unusual and peculiar shape of the arising single-particle distribution curves. In theory, the key reason for these effects is the reduction of the total wave function of two photons over one of two orthogonal degrees of freedom. In the suggested and discussed experimental scheme this means that all photons of the emission cone have to be taken into account rather than only photons propagating in one given plane which is a common practice in many experiments.


title: Shortcuts to adiabaticity applied to nonequilibrium entropy production: An information geometry viewpoint

abstract: We apply the method of shortcuts to adiabaticity to nonequilibrium systems. For unitary dynamics, the system Hamiltonian is separated into two parts. One of them defines the adiabatic states for the state to follow and the nonadiabatic transitions are prevented by the other part. This property is implemented to the nonequilibrium entropy production and we find that the entropy is separated into two parts. The separation represents the Pythagorean theorem for the Kullback-Leibler divergence and an information-geometric interpretation is obtained. We also study a lower bound of the entropy, which is applied to derive a trade-off relation between time, entropy and state distance.


title: Low-Frequency Microwave Induced Quantum Oscillations in A Two-Dimensional Electron System

abstract: We study the magnetoresistance of an ultrahigh mobility GaAs/AlGaAs two-dimensional electron sample in a weak magnetic field under low-frequency (f < 20 GHz) microwave (MW) irradiation. We observe that with decreasing MW frequency, microwave induced resistance oscillations (MIRO) damp and multi-photon processes become dominant. At very low MW frequency (f < 4 GHz), MIRO disappears gradually and a new SdH-like oscillation develops. The analysis indicates that the new oscillation may originate from alternating Hall-field induced resistance oscillations (ac-HIRO), or can be viewed as a multi-photon process of MIRO in low MW frequency limit. Our findings bridge the non-equilibrium states of MIRO and HIRO, which can be brought into a frame of quantum tunneling junction model.


title: Non-deterministic algebraization of logics by swap structures

abstract: Multialgebras (or hyperalgebras, or non-deterministic algebras) have been very much studied in Mathematics and in Computer Science. In 2016 Carnielli and Coniglio introduced a class of multialgebras called swap structures, as a semantic framework for dealing with several logics of formal inconsistency (or LFIs) which cannot be semantically characterized by a single finite matrix. In particular, these LFIs are not algebraizable by the standard tools of abstract algebraic logic. In this paper, the first steps towards a theory of non-deterministic algebraization of logics by swap structures are given. Specifically, a formal study of swap structures for LFIs is developed, by adapting concepts of universal algebra to multialgebras in a suitable way. A decomposition theorem similar to Birkhoff's representation theorem is obtained for each class of swap structures. Moreover, when applied to the 3-valued algebraizable logic J3 the usual class of algebraic models is recovered, and the swap structures semantics became twist-structures semantics (as introduced by Fidel-Vakarelov). This fact, together with the existence of a functor from the category of Boolean algebras to the category of swap structures for each LFI, which is closely connected with Kalman's functor, suggests that swap structures can be considered as non-deterministic twist structures, opening so interesting possibilities for dealing with non-algebraizable logics by means of multialgebraic semantics.


title: Airfoil wake modification with Gurney flap at Low-Reynolds number

abstract: The complex wake modifications produced by a Gurney flap on symmetric NACA airfoils at low Reynolds number are investigated. Two-dimensional incompressible flows over NACA 0000 (flat plate), 0006, 0012 and 0018 airfoils at a Reynolds number of $Re = 1000$ are analyzed numerically to examine the flow modifications generated by the flaps for achieving lift enhancement. While high lift can be attained by the Gurney flap on airfoils at high angles of attack, highly unsteady nature of the aerodynamic forces are also observed. Analysis of the wake structures along with the lift spectra reveals four characteristic wake modes (steady, 2S, P and 2P), influencing the aerodynamic performance. The effects of the flap over wide range of angles of attack and flap heights are considered to identify the occurrence of these wake modes, and are encapsulated in a wake classification diagram. Companion three-dimensional simulations are also performed to examine the influence of three-dimensionality on the wake regimes. The spanwise instabilities that appear for higher angles of attack are found to suppress the emergence of the 2P mode. The use of the wake classification diagram as a guidance for Gurney flap selection at different operating conditions to achieve the required aerodynamic performance is discussed.


title: Nuclear Magnetic Resonance Probe Head Design for Precision Strain Control

abstract: We present the design and construction of an NMR probe to investigate single crystals under strain at cryogenic temperatures. The probe head incorporates a piezoelectric-based apparatus from Razorbill Instruments that enables both compressive and tensile strain tuning up to strain values on the order of 0.3% with a precision of 0.001%. $^{75}$As NMR in BaFe$_2$As$_2$ reveals large changes to the electric field gradient, and indicates that the strain is homogeneous to within 16% over the volume of the NMR coil.


title: On the largest planar graphs with everywhere positive combinatorial curvature (extended arxiv version)

abstract: A planar PCC graph is a simple connected planar graph with everywhere positive combinatorial curvature which is not a prism or an antiprism and with all vertices of degree at least 3. We prove that every planar PCC graph has at most 208 vertices, thus answering completely a question raised by DeVos and Mohar. The proof is based on a refined discharging technique and on an accurate low-scale combinatorical description of such graphs. We also prove that all faces in a planar PCC graph have at most 41 sides, and this result is sharp as well.


title: Detecting Hidden Particles with MATHUSLA

abstract: A hidden sector containing light long-lived particles provides a well-motivated place to find new physics. The recently proposed MATHUSLA experiment has the potential to be extremely sensitive to light particles originating from rare meson decays in the very long lifetime region. In this work, we illustrate this strength with the specific example of a light scalar mixed with the standard model-like Higgs boson, a model where MATHUSLA can further probe unexplored parameter space from exotic Higgs decays. Design augmentations should be considered in order to maximize the ability of MATHUSLA to discover very light hidden sector particles.


title: How to disentangle psychobiological stress reactivity and recovery: A comparison of model-based and non-compartmental analyses of cortisol concentrations

abstract: This article seeks to address the prevailing issue of how to measure specific process components of psychobiological stress responses. Particularly the change of cortisol secretion due to stress exposure has been discussed as an endophenotype of many psychosomatic health outcomes. To assess its process components, a large variety of non-compartmental parameters (i.e., composite measures of substance concentrations at different points in time) like the area under the concentration-time curve (AUC) are utilized. However, a systematic evaluation and validation of these parameters based on a physiologically plausible model of cortisol secretion has not been performed so far. Thus, a population pharmacokinetic (mixed-effects SDE) model was developed and fitted to densely sampled salivary cortisol data of 10 males from Montreal, Canada, and sparsely sampled data of 200 mixed-sex participants from Dresden, Germany, who completed the Trier Social Stress Test (TSST). Besides the two major process components representing (1) stress-related cortisol secretion (reactivity) and (2) cortisol elimination (recovery), the model incorporates two additional, often disregarded components: (3) the secretory delay after stress onset, and (4) deviations from the projected steady-state concentration. The fitted model (R2 = 99%) was thereafter used to investigate the correlation structure of the four individually varying, and readily interpretable model parameters and eleven popular non-compartmental parameters. Based on these analyses, we recommend to use the minimum-maximum cortisol difference and the minimum concentration as proxy measures of reactivity and recovery, respectively. Finally, statistical power analyses of the reactivity-related sex effect illustrate the consequences of using impure non-compartmental measures of the different process components that underlie the cortisol stress response.


title: A Note on Exponential Inequalities in Hilbert Spaces for Spatial Processes with Applications to the Functional Kernel Regression Model

abstract: In this manuscript we present exponential inequalities for spatial lattice processes which take values in a separable Hilbert space and satisfy certain dependence conditions. We consider two types of dependence: spatial data under $\alpha$-mixing conditions and spatial data which satisfies a weak dependence condition introduced by Dedecker and Prieur [2005]. We demonstrate their usefulness in the functional kernel regression model of Ferraty and Vieu [2004] where we study uniform consistency properties of the estimated regression operator on increasing subsets of the underlying function space.


title: Line bundles on rigid varieties and Hodge symmetry

abstract: We prove several related results on the low-degree Hodge numbers of proper smooth rigid analytic varieties over non-archimedean fields. Our arguments rely on known structure theorems for the relevant Picard varieties, together with recent advances in p-adic Hodge theory. We also define a rigid analytic Albanese naturally associated with any smooth proper rigid space.


title: Simple $\mathbb{Z}_2$ lattice gauge theories at finite fermion density

abstract: Lattice gauge theories are a powerful language to theoretically describe a variety of strongly correlated systems, including frustrated magnets, high-$T_c$ superconductors, and topological phases. However, in many cases gauge fields couple to gapless matter degrees of freedom and such theories become notoriously difficult to analyze quantitatively. In this paper we study several examples of $\mathbb{Z}_2$ lattice gauge theories with gapless fermions at finite density, in one and two spatial dimensions, that are either exactly soluble or whose solution reduces to that of a known problem. We consider complex fermions (spinless and spinful) as well as Majorana fermions, and study both theories where Gauss' law is strictly imposed and those where all background charge sectors are kept in the physical Hilbert space. We use a combination of duality mappings and the $\mathbb{Z}_2$ slave-spin representation to map our gauge theories to models of gauge-invariant fermions that are either free, or with on-site interactions of the Hubbard or Falicov-Kimball type that are amenable to further analysis. In 1D, the phase diagrams of these theories include free-fermion metals, insulators, and superconductors; Luttinger liquids; and correlated insulators. In 2D, we find a variety of gapped and gapless phases, the latter including uniform and spatially modulated flux phases featuring emergent Dirac fermions, some violating Luttinger's theorem.


title: Subspace Selection to Suppress Confounding Source Domain Information in AAM Transfer Learning

abstract: Active appearance models (AAMs) are a class of generative models that have seen tremendous success in face analysis. However, model learning depends on the availability of detailed annotation of canonical landmark points. As a result, when accurate AAM fitting is required on a different set of variations (expression, pose, identity), a new dataset is collected and annotated. To overcome the need for time consuming data collection and annotation, transfer learning approaches have received recent attention. The goal is to transfer knowledge from previously available datasets (source) to a new dataset (target). We propose a subspace transfer learning method, in which we select a subspace from the source that best describes the target space. We propose a metric to compute the directional similarity between the source eigenvectors and the target subspace. We show an equivalence between this metric and the variance of target data when projected onto source eigenvectors. Using this equivalence, we select a subset of source principal directions that capture the variance in target data. To define our model, we augment the selected source subspace with the target subspace learned from a handful of target examples. In experiments done on six publicly available datasets, we show that our approach outperforms the state of the art in terms of the RMS fitting error as well as the percentage of test examples for which AAM fitting converges to the ground truth.


title: The free group on n generators modulo n+u random relations as n goes to infinity

abstract: We show that, as n goes to infinity, the free group on n generators, modulo n+u random relations, converges to a random group that we give explicitly. This random group is a non-abelian version of the random abelian groups that feature in the Cohen-Lenstra heuristics. For each n, these random groups belong to the few relator model in the Gromov model of random groups.


title: Most Websites Don't Need to Vibrate: A Cost-Benefit Approach to Improving Browser Security

abstract: Modern web browsers have accrued an incredibly broad set of features since being invented for hypermedia dissemination in 1990. Many of these features benefit users by enabling new types of web applications. However, some features also bring risk to users' privacy and security, whether through implementation error, unexpected composition, or unintended use. Currently there is no general methodology for weighing these costs and benefits. Restricting access to only the features which are necessary for delivering desired functionality on a given website would allow users to enforce the principle of lease privilege on use of the myriad APIs present in the modern web browser. However, security benefits gained by increasing restrictions must be balanced against the risk of breaking existing websites. This work addresses this problem with a methodology for weighing the costs and benefits of giving websites default access to each browser feature. We model the benefit as the number of websites that require the feature for some user-visible benefit, and the cost as the number of CVEs, lines of code, and academic attacks related to the functionality. We then apply this methodology to 74 Web API standards implemented in modern browsers. We find that allowing websites default access to large parts of the Web API poses significant security and privacy risks, with little corresponding benefit. We also introduce a configurable browser extension that allows users to selectively restrict access to low-benefit, high-risk features on a per site basis. We evaluated our extension with two hardened browser configurations, and found that blocking 15 of the 74 standards avoids 52.0% of code paths related to previous CVEs, and 50.0% of implementation code identified by our metric, without affecting the functionality of 94.7% of measured websites.


title: S-limited shifts

abstract: In this paper, we explore the construction and dynamical properties of $\mathcal{S}$-limited shifts. An $S$-limited shift is a subshift defined on a finite alphabet $\mathcal{A} = \{1, \ldots,p\}$ by a set $\mathcal{S} = \{S_1, \ldots, S_p\}$, where $S_i \subseteq \mathbb{N}$ describes the allowable lengths of blocks in which the corresponding letter may appear. We give conditions for which an $\mathcal{S}$-limited shift is a subshift of finite type or sofic. We give an exact formula for finding the entropy of such a shift and show that an $\mathcal{S}$-limited shift and its factors must be intrinsically ergodic. Finally, we give some conditions for which two such shifts can be conjugate, and additional information about conjugate $\mathcal{S}$-limited shifts.


title: Kinklike structures in models of the Dirac-Born-Infeld type

abstract: The present work investigates several models of a single real scalar field, engendering kinetic term of the Dirac-Born-Infeld type. Such theories introduce nonlinearities to the kinetic part of the Lagrangian, which presents a square root restricting the field evolution and including additional powers in derivatives of the scalar field, controlled by a real parameter. In order to obtain topological solutions analytically, we propose a first-order framework that simplifies the equation of motion ensuring solutions that are linearly stable. This is implemented using the deformation method, and we introduce examples presenting two categories of potentials, one having polynomial interactions and the other with nonpolynomial interactions. We also explore how the Dirac-Born-Infeld kinetic term affects the properties of the solutions. In particular, we note that the kinklike solutions are similar to the ones obtained through models with standard kinetic term and canonical potential, but their energy densities and stability potentials vary according to the parameter introduced to control the new models.


title: Estimating the core compactness of massive stars with Galactic supernova neutrinos

abstract: We suggest the future detection of neutrinos from a Galactic core-collapse supernova can be used to infer the progenitor's inner mass density structure. We present the results from 20 axisymmetric core-collapse supernova simulations performed with progenitors spanning initial masses in the range 11--30Msun, and focus on their connections to the progenitor compactness. The compactness is a measure of the mass density profile of the progenitor core and recent investigations have suggested its salient connections to the outcomes of core collapse. Our simulations confirm a correlation between the neutrinos emitted during the accretion phase and the progenitor's compactness, and that the ratio of observed neutrino events during the first hundreds of milliseconds provides a promising handle on the progenitor's inner structure. Neutrino flavor mixing during the accretion phase remains a large source of uncertainty.


title: Power of Deep Learning for Channel Estimation and Signal Detection in OFDM Systems

abstract: This article presents our initial results in deep learning for channel estimation and signal detection in orthogonal frequency-division multiplexing (OFDM). OFDM has been widely adopted in wireless broadband communications to combat frequency-selective fading in wireless channels. In this article, we take advantage of deep learning in handling wireless OFDM channels in an end-to-end approach. Different from existing OFDM receivers that first estimate CSI explicitly and then detect/recover the transmitted symbols with the estimated CSI, our deep learning based approach estimates CSI implicitly and recovers the transmitted symbols directly. To address channel distortion, a deep learning model is first trained offline using the data generated from the simulation based on the channel statistics and then used for recovering the online transmitted data directly. From our simulation results, the deep learning based approach has the ability to address channel distortions and detect the transmitted symbols with performance comparable to minimum mean-square error (MMSE) estimator. Furthermore, the deep learning based approach is more robust than conventional methods when fewer training pilots are used, the cyclic prefix (CP) is omitted, and nonlinear clipping noise is presented. In summary, deep learning is a promising tool for channel estimation and signal detection in wireless communications with complicated channel distortions and interferences.


title: Anarchy with linear and bilinear interactions

abstract: Composite Higgs models with anarchic partial compositeness require a scale of new physics ${\cal O}(10-100)$ TeV, with the bounds being dominated by the dipole moments and $\epsilon_K$. The presence of anarchic bilinear interactions can change this picture. We show a solution to the SM flavor puzzle where the electron and the Right-handed quarks of the first generation have negligible linear interactions, and the bilinear interactions account for most of their masses, whereas the other chiral fermions follow a similar pattern to anarchic partial compositeness. We compute the bounds from flavor and CP violation and show that neutron and electron dipole moments, as well as $\epsilon_K$ and $\mu\to e\gamma$, are compatible with a new physics scale below the TeV. $\Delta F=2$ operators involving Left-handed quarks and $\Delta F=1$ operators with $d_L$ give the most stringent bounds in this scenario. Their Wilson coefficients have the same origin as in anarchic partial compositeness, requiring the masses of the new states to be larger than ${\cal O}(6-7)$ TeV.


title: Dependence of Dzyaloshinskii-Moriya interaction on the oxygen coverage in Pt/Co/MOx trilayers

abstract: We have studied the interfacial Dzyaloshinskii-Moriya interaction (DMI) in a series of Pt/Co/MOx (M=Al, Gd) trilayers in which the degree of oxidation of the top Co interface is varied. To access to reliable values of the DMI strength, we have used a method based on the measurement of the saturation velocity of field driven chiral N\'eel domain walls. We show that the effective DMI strength in the Pt/Co/MOx trilayers varies with the oxidation degree of the Co/MOx interface. This strongly suggests that the Co/MOx interface gives a distinct contribution to the total DMI, adding to that of the Pt/Co interface. The DMI presents a maximum for the oxygen coverage maximizing also the interface magnetic anisotropy energy Ks. This calls for common microscopic origins for the contributions of the Co/MOx interface to DMI and Ks.


title: Universal edge transport in interacting Hall systems

abstract: We study the edge transport properties of $2d$ interacting Hall systems, displaying single-mode chiral edge currents. For this class of many-body lattice models, including for instance the interacting Haldane model, we prove the quantization of the edge charge conductance and the bulk-edge correspondence. Instead, the edge Drude weight and the edge susceptibility are interaction-dependent; nevertheless, they satisfy exact universal scaling relations, in agreement with the chiral Luttinger liquid theory. Moreover, charge and spin excitations differ in their velocities, giving rise to the spin-charge separation phenomenon. The analysis is based on exact renormalization group methods, and on a combination of lattice and emergent Ward identities. The invariance of the emergent chiral anomaly under the renormalization group flow plays a crucial role in the proof.


title: Koopmans-compliant spectral functionals for extended systems

abstract: Koopmans-compliant functionals have been shown to provide accurate spectral properties for molecular systems; this accuracy is driven by the generalized linearization condition imposed on each charged excitation - i.e. on changing the occupation of any orbital in the system, while accounting for screening and relaxation from all other electrons. In this work we discuss the theoretical formulation and the practical implementation of this formalism to the case of extended systems, where a third condition, the localization of Koopmans' orbitals, proves crucial to reach seamlessly the thermodynamic limit. We illustrate the formalism by first studying one-dimensional molecular systems of increasing length. Then, we consider the band gaps of 30 paradigmatic solid-state test cases, for which accurate experimental and computational results are available. The results are found to be comparable with the state-of-the-art in diagrammatic techniques (self-consistent many-body perturbation theory with vertex corrections), notably using just a functional formulation for spectral properties and the physics of the generalized-gradient approximation; when ionization potentials are compared, the results are roughly twice as accurate.


title: Hiding in Plain Sight: A Longitudinal Study of Combosquatting Abuse

abstract: Domain squatting is a common adversarial practice where attackers register domain names that are purposefully similar to popular domains. In this work, we study a specific type of domain squatting called "combosquatting," in which attackers register domains that combine a popular trademark with one or more phrases (e.g., betterfacebook[.]com, youtube-live[.]com). We perform the first large-scale, empirical study of combosquatting by analyzing more than 468 billion DNS records---collected from passive and active DNS data sources over almost six years. We find that almost 60% of abusive combosquatting domains live for more than 1,000 days, and even worse, we observe increased activity associated with combosquatting year over year. Moreover, we show that combosquatting is used to perform a spectrum of different types of abuse including phishing, social engineering, affiliate abuse, trademark abuse, and even advanced persistent threats. Our results suggest that combosquatting is a real problem that requires increased scrutiny by the security community.


title: Explicit Bernstein type inequalities for wavelet coefficients in $L_p(R^n)$

abstract: In this paper, we investigate the wavelet coefficients for function spaces $\mathcal{A}_k^p=\{f: \|(i \omega)^k\hat{f}(\omega)\|_p\leq 1\}, k\in N, p\in(1,\infty)$ using an important quantity $C_{k,p}(\psi)$. In particular, Bernstein type inequalities associated with wavelets are established. We obtained a sharp inequality of Bernstein type for splines, which induces a lower bound for the quantity $C_{k,p}(\psi)$ with $\psi$ being the semiorthogonal spline wavelets. We also study the asymptotic behavior of wavelet coefficients for both the family of Daubechies orthonormal wavelets and the family of semiorthogonal spline wavelets. Comparison of these two families is done by using the quantity $C_{k,p}(\psi)$.


title: The cloverleaf antenna: A compact wide-bandwidth dual-polarization feed for CHIME

abstract: We have developed a compact, wide-bandwidth, dual-polarization cloverleaf-shaped antenna to feed the CHIME radio telescope. The antenna has been tuned using CST to have smaller than -10dB s11 for over an octave of bandwidth, covering the full CHIME band from 400MHz to 800MHz and this performance has been confirmed by measurement. The antennas are made of conventional low loss circuit boards and can be mass produced economically, which is important because CHIME requires 1280 feeds. They are compact enough to be placed 30cm apart in a linear array at any azimuthal rotation.


title: Causal Inference Under Network Interference: A Framework for Experiments on Social Networks

abstract: No man is an island, as individuals interact and influence one another daily in our society. When social influence takes place in experiments on a population of interconnected individuals, the treatment on a unit may affect the outcomes of other units, a phenomenon known as interference. This thesis develops a causal framework and inference methodology for experiments where interference takes place on a network of influence (i.e. network interference). In this framework, the network potential outcomes serve as the key quantity and flexible building blocks for causal estimands that represent a variety of primary, peer, and total treatment effects. These causal estimands are estimated via principled Bayesian imputation of missing outcomes. The theory on the unconfoundedness assumptions leading to simplified imputation highlights the importance of including relevant network covariates in the potential outcome model. Additionally, experimental designs that result in balanced covariates and sizes across treatment exposure groups further improve the causal estimate, especially by mitigating potential outcome model mis-specification. The true potential outcome model is not typically known in real-world experiments, so the best practice is to account for interference and confounding network covariates through both balanced designs and model-based imputation. A full factorial simulated experiment is formulated to demonstrate this principle by comparing performance across different randomization schemes during the design phase and estimators during the analysis phase, under varying network topology and true potential outcome models. Overall, this thesis asserts that interference is not just a nuisance for analysis but rather an opportunity for quantifying and leveraging peer effects in real-world experiments.


title: Variational Integration for Ideal Magnetohydrodynamics and Formation of Current Singularities

abstract: Coronal heating has been a long-standing conundrum in solar physics. Parker's conjecture that spontaneous current singularities lead to nanoflares that heat the corona has been controversial. In ideal magnetohydrodynamics (MHD), can genuine current singularities emerge from a smooth 3D line-tied magnetic field? To numerically resolve this issue, the schemes employed must preserve magnetic topology exactly to avoid artificial reconnection in the presence of singular current densities. Structure-preserving numerical methods are favorable for mitigating numerical dissipation, and variational integration is a powerful machinery for deriving them. In this thesis, we develop variational integrators for ideal MHD in Lagrangian labeling by discretizing Newcomb's Lagrangian on a moving mesh using discretized exterior calculus. With the built-in frozen-in equation, the schemes are free of artificial reconnection, hence optimal for studying current singularity formation. Using this method, we first study a fundamental prototype problem in 2D, the Hahm-Kulsrud-Taylor (HKT) problem. It considers the effect of boundary perturbations on a 2D plasma magnetized by a sheared field, and its linear solution is singular. We find that with increasing resolution, the nonlinear solution converges to one with a current singularity. We then extend the HKT problem to 3D line-tied geometry, which models the solar corona by anchoring the field lines in the boundaries. The linear solution, which is singular in 2D, is found to be smooth. The nonlinear solution turns out smooth for short systems. Nonetheless, the scaling of peak current density vs. system length suggests that the nonlinear solution may become singular at a finite length. With the results in hand, we cannot confirm or rule out this possibility conclusively, since we cannot obtain solutions with system lengths near the extrapolated critical value.


title: Mitigation of artifacts due to isolated acoustic heterogeneities in photoacoustic computed tomography using a variable data truncation-based reconstruction method

abstract: Photoacoustic computed tomography (PACT) is an emerging computed imaging modality that exploits optical contrast and ultrasonic detection principles to form images of the absorbed optical energy density within tissue. If the object possesses spatially variant acoustic properties that are unaccounted for by the reconstruction method, the estimated image can contain distortions. While reconstruction methods have recently been developed to compensate for this effect, they generally require the object's acoustic properties to be known a priori. To circumvent the need for detailed information regarding an object's acoustic properties, we previously proposed a half-time reconstruction method for PACT. A half-time reconstruction method estimates the PACT image from a data set that has been temporally truncated to exclude the data components that have been strongly aberrated. However, this method can be improved upon when the approximate sizes and locations of isolated heterogeneous structures, such as bones or gas pockets, are known. To address this, we investigate PACT reconstruction methods that are based on a variable data truncation (VDT) approach. The VDT approach represents a generalization of the half-time approach, in which the degree of temporal truncation for each measurement is determined by the distance between the corresponding ultrasonic transducer location and the nearest known bone or gas void location. Computer-simulated and experimental data are employed to demonstrate the effectiveness of the approach in mitigating artifacts due to acoustic heterogeneities.


title: On large $F$-Diophantine sets

abstract: Let $F\in\mathbb{Z}[x,y]$ and $m\ge2$ be an integer. A set $A\subset \mathbb{Z}$ is called an $(F,m)$-Diophantine set if $F(a,b)$ is a perfect $m$-power for any $a,b\in A$ where $a\ne b$. If $F$ is a bivariate polynomial for which there exist infinite $(F,m)$-Diophantine sets, then there is a complete qualitative characterization of all such polynomials $F$. Otherwise, various finiteness results are known. We prove that given a finite set of distinct integers $ S$ of size $n$, there are infinitely many bivariate polynomials $F$ such that $ S$ is an $(F,2)$-Diophantine set. In addition, we show that the degree of $F$ can be as small as $\displaystyle 4\lfloor n/3\rfloor$.


title: Data-driven Ranking and Selection under Input Uncertainty

abstract: We consider a simulation-based Ranking and Selection (R&S) problem with input uncertainty, where unknown input distributions can be estimated using input data arriving in batches of varying sizes over time. Each time a batch arrives, additional simulations can be run using updated input distribution estimates. The goal is to confidently identify the best design after collecting as few batches as possible. We first introduce a moving average estimator for aggregating simulation outputs generated under heterogenous input distributions. Then, based on a Sequential Elimination framework, we devise two major R&S procedures by establishing exact and asymptotic confidence bands for the estimator. In deriving the latter confidence bands, we incorporate the result of "Multiple Comparison with Best" and establish an asymptotic normality result which explicitly characterizes the tradeoff between input uncertainty and stochastic uncertainty in an online environment. We also extend our procedures to the indifference zone setting, which helps save simulation effort for practical usage. Numerical results show the effectiveness and necessity of our procedures. Moreover, the efficiency can be further boosted through optimizing the "drop rate" parameter of the estimator.


title: Randomized Predictive P-values: A Versatile Model Diagnostic Tool with Unified Reference Distribution

abstract: Examining residuals such as Pearson and deviance residuals, is a standard tool for assessing normal regression. However, for discrete response, these residuals cluster on lines corresponding to distinct response values. Their distributions are far from normality; graphical and quantitative inspection of these residuals provides little information for model diagnosis. Marshall and Spiegelhalter (2003) defined a cross-validatory predictive p-value for identifying outliers. Predictive p-values are uniformly distributed for continuous response but not for discrete response. We propose to use randomized predictive p-values (RPP) for diagnosing models with discrete responses. RPPs can be transformed to "residuals" with normal distribution, called NRPPs by us. NRPPs can be used to diagnose all regression models with scalar response using the same way for diagnosing normal regression. The NRPPs are nearly the same as the randomized quantile residuals (RQR), which are previously proposed by Dunn and Smyth (1996) but remain little known by statisticians. This paper provides an exposition of RQR using the RPP perspective. The contributions of this exposition include: (1) we give a rigorous proof of uniformity of RPP and illustrative examples to explain the uniformity under the true model; (2) we conduct extensive simulation studies to demonstrate the normality of NRPPs under the true model; (3) our simulation studies also show that the NRPP method is a versatile diagnostic tool for detecting many kinds of model inadequacies due to lack of complexity. The effectiveness of NRPP is further demonstrated with a health utilization dataset.


title: Crystallographic Tilings

abstract: Crystallographic tilings of the Euclidean space $\mathbb{E}^n$ are defined as simple tilings whose group of isometric automorphisms is crystallographic. To classify crystallographic tilings by their automorphism groups it is necessary to extend the standard equivalence relation of mutual local derivability to a version taking more general isometries than translations into account. This also requires the extension of the standard metrics on tiling spaces. Finally, a tiling with a given crystallographic group as automorphism group is constructed.


title: Probing a Steep EoS for Dark Energy with latest observations

abstract: We present a parametrization for the Dark Energy Equation of State "EoS" which has a rich structure, performing a transition at pivotal redshift $z_T$ between the present day value $w_0$ to an early time $w_i=w_a+w_0\equiv w(z\gg0)$ with a steepness given in terms of $q$ parameter. The proposed parametrization is $w=w_0+w_a(z/z_T)^q/(1+(z/z_T))^q$, with $w_0$, $w_i$, $q $ and $z_T$ constant parameters. It reduces to the widely used EoS $w=w_0+w_a(1-a)$ for $z_T=q=1$. This transition is motivated by scalar field dynamics such as for example quintessence models. We study if a late time transition is favored by BAO measurements combined with local determination of $H_0$ and information from the CMB. According to our results, an EoS with a present value of $w_0 = -0.92$ and a high redshift value $w_i =-0.99$, featuring a transition at $z_T = 0.28$ with an exponent $q = 9.97$ was favored by data coming from local dynamics of the Universe (BAO combined with $H_0$ determination). We find that a dynamical DE model allows to simultaneously fit $H_0$ from local determinations and Planck CMB measurements, alleviating the tension obtained in a $\Lambda$CDM model. Additionally to this analysis we solved numerically the evolution of matter over-densities in the presence of dark energy both at background level and when its perturbations were considered. We show that the presence of a steep transition in the DE EoS gets imprinted into the evolution of matter overdensities and that the addition of an effective sound speed term does not erase such feature.


title: Machine learning the band gap properties of kesterite I$_2$-II-IV-V$_4$ quaternary compounds for photovoltaics applications

abstract: Kesterite I$_2$-II-IV-V$_4$ semiconductors are promising solar absorbers for photovoltaics applications. The band gap and it's character, either direct or indirect, are fundamental properties determining photovoltaic-device efficiency. We use a combination of accurate first-principles calculations and machine learning to predict the properties of the band gap for a large number of kesterite I$_2$-II-IV-V$_4$ semiconductors. In determining the magnitude of the fundamental gap, we compare results for a number of machine-learning models, and achieve a root mean squared error as low as 283 meV; the best results are achieved using support-vector regression with a radial-bias kernel. This error is well within the uncertainty of even the most advanced first-principles methods for calculating semiconductor band gaps. Predicting the direct--indirect property of the band gap is more challenging. After significant feature engineering, we are able to train a classifier that predicts the nature of the band gap with an accuracy of 89 \% using logistic regression. Using these trained models, the band gap properties of 1568 kesterite I$_2$-II-IV-V$_4$ compounds are predicted. We find 717 compounds with band gaps in the range 0.5 -- 2.5 eV that can potentially act as solar absorbers, and 242 materials with a band gap in the ``\emph{optimum range}" of 1.2 -- 1.8 eV. The stability of these 242 compounds is assessed by calculating the Energy Above Hull using the Materials Project database, and the band gaps are verified using hybrid functional calculations; in the end, we identify 25 compounds that are expected to be synthesizable, and have a band gap in the range 1.2 -- 1.8 eV -- most of which are previously unexplored. These results will be useful in the materials engineering of efficient photovoltaic devices.


title: Elastic impact of a sphere with an elastic half-space: numerical modeling and comparison with experiment

abstract: Numerical simulations of the dynamics of an elastic collision between a rigid sphere and an elastic half-space are carried out. We assume an Amontons-Coulomb frictional force with a fixed coefficient of friction between the contacting surfaces during the impact. As a result of modeling a dimensionless function, describing the tangential restitution, is found. It depends only on a small set of governing dimensionless parameters and allows the determination of the sphere's tangential velocity and angular velocity after the collision. This function is used to calculate the tangential velocity recovery rate and the cyclic rotation frequency of a sphere for the parameters of a particular experiment on particle reflection of an aluminum alloy from a glass plate. The obtained results with high accuracy coincide with the experimental data, which confirms the adequacy of the proposed numerical model.


title: Two remarks on Wall's D2 problem

abstract: If a finite group $G$ is isomorphic to a subgroup of $SO(3)$, then $G$ has the D2-property. Let $X$ be a finite complex satisfying Wall's D2-conditions. If $\pi_1(X)=G$ is finite, and $\chi(X) \geq 1-Def(G)$, then $X \vee S^2$ is simple homotopy equivalent to a finite $2$-complex, whose simple homotopy type depends only on $G$ and $\chi(X)$.


title: Constraining Radon Backgrounds in LZ

abstract: The LZ dark matter detector, like many other rare-event searches, will suffer from backgrounds due to the radioactive decay of radon daughters. In order to achieve its science goals, the concentration of radon within the xenon should not exceed $2\mu$Bq/kg, or 20 mBq total within its 10 tonnes. The LZ collaboration is in the midst of a program to screen all significant components in contact with the xenon. The four institutions involved in this effort have begun sharing two cross-calibration sources to ensure consistent measurement results across multiple distinct devices. We present here five preliminary screening results, some mitigation strategies that will reduce the amount of radon produced by the most problematic components, and a summary of the current estimate of radon emanation throughout the detector. This best estimate totals $<17.3$ mBq, sufficiently low to meet the detector's science goals.


title: Radon Daughter Plate-out onto Teflon

abstract: Radiopure materials for detector components in rare event searches may be contaminated after manufacturing with long-lived $^{210}$Pb produced by the decay of atmospheric radon. Charged radon daughters deposited on the surface or implanted in the bulk of detector materials have the potential to cause noticeable backgrounds within dark matter regions of interest. Understanding the mechanics governing these background signals is therefore a paramount concern in dark matter experiments in order to distinguish a real signal from internal detector backgrounds. Teflon ($i.e.$ PTFE) is a specific material of interest because it makes up the walls of the inner detector of many liquid noble detectors such as the LUX-ZEPLIN experiment. The rate of radon daughter plate-out onto Teflon can be orders of magnitude larger than the plate-out rate onto other materials. Mitigation of plate-out onto Teflon and steel by proximity to other materials is demonstrated.


title: Radon Mitigation for the SuperCDMS SNOLAB Dark Matter Experiment

abstract: A potential background for the SuperCDMS SNOLAB dark matter experiment is from radon daughters that have plated out onto detector surfaces. To reach desired backgrounds, understanding plate-out rates during detector fabrication as well as mitigating radon in surrounding air is critical. A radon mitigated cleanroom planned at SNOLAB builds upon a system commissioned at the South Dakota School of Mines & Technology (SD Mines). The ultra-low radon cleanroom at SD Mines has air supplied by a vacuum-swing-adsorption radon mitigation system that has achieved $>$1000$\times$ reduction for a cleanroom activity consistent with zero and $<0.067\,$Bq$\,$m$^{-3}$ at 90% confidence. Our simulation of this system, validated against calibration data, provides opportunity for increased understanding and optimization for this and future systems.


title: Electrodynamics of dual superconducting chiral medium

abstract: We study the electrodynamics of a chiral medium with electric and magnetic charges using the effective Maxwell-Chern-Simons theory extended to include the magnetic current. The exchange of helicity between the chiral medium and the magnetic field, known as the inverse cascade, is controlled by the chiral anomaly equation. In the presence of the magnetic current, the magnetic helicity is dissipated, so that the inverse cascade stops when the magnetic helicity vanishes while the chiral conductivity reaches a non-vanishing stationary value satisfying $\sigma_\chi^2< 4\sigma_e\sigma_m$, where $\sigma_e$, $\sigma_m$ and $\sigma_\chi$ are the electric, magnetic and chiral conductivities respectively. We argue that this state is superconducting and exhibits the Meissner effect for both electric and magnetic fields. Moreover, this state is stable with respect to small magnetic helicity fluctuations; the magnetic helicity becomes unstable only when the inequality mentioned above is violated.


title: A Measure of Dependence Between Discrete and Continuous Variables

abstract: Mutual Information (MI) is an useful tool for the recognition of mutual dependence berween data sets. Differen methods for the estimation of MI have been developed when both data sets are discrete or when both data sets are continuous. The MI estimation between a discrete data set and a continuous data set has not received so much attention. We present here a method for the estimation of MI for this last case based on the kernel density approximation. The calculation may be of interest in diverse contexts. Since MI is closely related to Jensen Shannon divergence, the method here developed is of particular interest in the problem of sequence segmentation.


title: The Mazur-Ulam property for the space of complex null sequences

abstract: Given an infinite set $\Gamma$, we prove that the space of complex null sequences $c_0(\Gamma)$ satisfies the Mazur-Ulam property, that is, for each Banach space $X$, every surjective isometry from the unit sphere of $c_0(\Gamma)$ onto the unit sphere of $X$ admits a (unique) extension to a surjective real linear isometry from $c_0(\Gamma)$ to $X$. We also prove that the same conclusion holds for the finite dimensional space $\ell_{\infty}^m$.


title: Search for heavy resonances decaying to a top quark and a bottom quark in the lepton+jets final state in proton-proton collisions at 13 TeV

abstract: A search is presented for narrow heavy resonances decaying to a top quark and a bottom quark using data collected by the CMS experiment at sqrt(s) = 13 TeV in 2016. The data set analyzed corresponds to an integrated luminosity of 35.9 inverse femtobarns. Final states that include a single lepton (e, mu), multiple jets, and missing transverse momentum are analyzed. No evidence is found for the production of a W' boson, and the production of right-handed W' bosons is excluded at 95% confidence level for masses up to 3.6 TeV depending on the scenario considered. Exclusion limits for W' bosons are also presented as a function of their coupling strength to left- and right-handed fermions. These limits on a W' boson decaying via a top and a bottom quark are the most stringent published to date.


title: Some classifications of biharmonic hypersurfaces with constant scalar curvature

abstract: We give some classifications of biharmonic hypersurfaces with constant scalar curvature. These include biharmonic Einstein hypersurfaces in space forms, compact biharmonic hypersurfaces with constant scalar curvature in a sphere, and some complete biharmonic hypersurfaces of constant scalar curvature in space forms and in a non-positively curved Einstein space. Our results provide additional cases (Theorem 2.3 and Proposition 2.8) that supports the conjecture that a biharmonic submanifold in a sphere has constant mean curvature, and two more cases that support Chen's conjecture on biharmonic hypersurfaces (Corollaries 2.2,2.7).


title: Structural and dynamical modeling of WINGS clusters. I. The distribution of cluster galaxies of different morphological classes within regular and irregular clusters

abstract: [Abridged] We use the WINGS database to select a sample of 67 nearby galaxy clusters with at least 30 spectroscopic members each. 53 of these clusters do not show evidence of substructures in phase-space, while 14 do. We estimate the virial radii and circular velocities of the 67 clusters by a variety of proxies (velocity dispersion, X-ray temperature, and richness) and use these estimates to build stack samples from these 53 and 14 clusters ('Reg' and 'Irr' stacks, respectively). We determine the number-density and velocity-dispersion profiles (VDPs) of E, S0, and Sp+Irr (S) galaxies in the Reg and Irr samples, separately, and fit models to these profiles. The number density profiles of E, S0, and S galaxies are adequately described by either a NFW or a cored King model, both for the Reg and Irr samples, with a slight preference for the NFW model. The spatial distribution concentration increases from the S to the S0 and to the E populations, both in the Reg and the Irr stacks, reflecting the well-known morphology-radius relation. Reg clusters have a more concentrated spatial distribution of E and S0 galaxies than Irr clusters, while the spatial distributions of S galaxies in Reg and Irr clusters are similar. We propose a new phenomenological model that provides acceptable fits to the VDP of all our galaxy samples. The VDPs become steeper and with a higher normalization from E to S0 to S galaxies. The S0 VDP is close to that of E galaxies in Reg clusters, and intermediate between those of E and S galaxies in Irr clusters. Our results suggest that S galaxies are a recently accreted cluster population, that take less than 3 Gyr to evolve into S0 galaxies after accretion, and in doing so modify their phase-space distribution, approaching that of cluster ellipticals. While in Reg clusters this evolutionary process is mostly completed, it is still ongoing in Irr clusters.


title: Verified Correctness and Security of mbedTLS HMAC-DRBG

abstract: We have formalized the functional specification of HMAC-DRBG (NIST 800-90A), and we have proved its cryptographic security--that its output is pseudorandom--using a hybrid game-based proof. We have also proved that the mbedTLS implementation (C program) correctly implements this functional specification. That proof composes with an existing C compiler correctness proof to guarantee, end-to-end, that the machine language program gives strong pseudorandomness. All proofs (hybrid games, C program verification, compiler, and their composition) are machine-checked in the Coq proof assistant. Our proofs are modular: the hybrid game proof holds on any implementation of HMAC-DRBG that satisfies our functional specification. Therefore, our functional specification can serve as a high-assurance reference.


title: Inference on high-dimensional implicit dynamic models using a guided intermediate resampling filter

abstract: We propose a method for inference on moderately high-dimensional, nonlinear, non-Gaussian, partially observed Markov process models for which the transition density is not analytically tractable. Markov processes with intractable transition densities arise in models defined implicitly by simulation algorithms. Widely used particle filter methods are applicable to nonlinear, non-Gaussian models but suffer from the curse of dimensionality. Improved scalability is provided by ensemble Kalman filter methods, but these are inappropriate for highly nonlinear and non-Gaussian models. We propose a particle filter method having improved practical and theoretical scalability with respect to the model dimension. This method is applicable to implicitly defined models having analytically intractable transition densities. Our method is developed based on the assumption that the latent process is defined in continuous time and that a simulator of this latent process is available. In this method, particles are propagated at intermediate time intervals between observations and are resampled based on a forecast likelihood of future observations. We combine this particle filter with parameter estimation methodology to enable likelihood-based inference for highly nonlinear spatiotemporal systems. We demonstrate our methodology on a stochastic Lorenz 96 model and a model for the population dynamics of infectious diseases in a network of linked regions.


title: Universal discretization

abstract: The paper is devoted to discretization of integral norms of functions from a given collection of finite dimensional subspaces. For natural collections of subspaces of the multivariate trigonometric polynomials we construct sets of points, which are optimally (in the sense of order) good for each subspace of a collection from the point of view of the integral norm discretization. We call such sets universal. Our construction of the universal sets is based on deep results on existence of special nets, known as (t,r,d)-nets.


title: A multi-term basis criterion for families of dilated periodic functions

abstract: In this paper we formulate a concrete method for determining whether a system of dilated periodic functions forms a Riesz basis in $L^2(0,1)$. This method relies on a general framework developed by Hedenmalm, Lindqvist and Seip about 20 years ago, which turns the basis question into one about the localisation of the zeros and poles of a corresponding analytic multiplier. Our results improve upon various criteria formulated previously, which give sufficient conditions for invertibility of the multiplier in terms of sharp estimates on the Fourier coefficients. Our focus is on the concrete verification of the hypotheses by means of analytical or accurate numerical approximations. We then examine the basis question for profiles in a neighbourhood of a non-basis family generated by periodic jump functions. For one of these profiles, the $p$-sine functions, we determine a threshold for positive answer to the basis question which improves upon those found recently.


title: Coherent and incoherent Upsilon production in ultraperipheral collisions at the Large Hadron Collider

abstract: The exclusive photoproduction of $\Upsilon (nS)$ states were calculated in ultra-peripheral collisions for coherent and incoherent process in PbPb at $\sqrt{s_{NN}}$= 5.5 TeV. Different dipole models were compared in the theoretical framework of light-cone color dipole formalism. Moreover, it was calculated the differential cross section for the Upsilon states and their total cross section for two intervals of rapidity: $|y|\leq 4$ 4 and $ 2 \le$ y $\le 4.5$. A systematic study is done on the theoretical uncertainties associated to the production and predictions are presented for the first time for the incoherent cross section of the radially excited states.


title: The cotype zeta function of $\mathbb{Z}^d$

abstract: We give an asymptotic formula for the number of sublattices $\Lambda \subseteq \mathbb{Z}^d$ of index at most $X$ for which $\mathbb{Z}^d/\Lambda$ has rank at most $m$, answering a question of Nguyen and Shparlinski. We compare this result to recent work of Stanley and Wang on Smith Normal Forms of random integral matrices and discuss connections to the Cohen-Lenstra heuristics. Our arguments are based on Petrogradsky's formulas for the cotype zeta function of $\mathbb{Z}^d$, a multivariable generalization of the subgroup growth zeta function of $\mathbb{Z}^d$.


title: Optimal secure quantum teleportation of coherent states of light

abstract: We investigate quantum teleportation of ensembles of coherent states of light with a Gaussian distributed displacement in phase space. Recently, the following general question has been addressed in [P. Liuzzo-Scorpo et al., arXiv:1705.03017]: Given a limited amount of entanglement and mean energy available as resources, what is the maximal fidelity that can be achieved on average in the teleportation of such an alphabet of states? Here, we consider a variation of this question, where Einstein-Podolsky-Rosen steering is used as a resource rather than plain entanglement. We provide a solution by means of an optimisation within the space of Gaussian quantum channels, which allows for an intuitive visualisation of the problem. We first show that not all channels are accessible with a finite degree of steering, and then prove that practical schemes relying on asymmetric two-mode Gaussian states enable one to reach the maximal fidelity at the border with the inaccessible region. Our results provide a rigorous quantitative assessment of steering as a resource for secure quantum teleportation beyond the so-called no-cloning threshold. The schemes we propose can be readily implemented experimentally by a conventional Braunstein-Kimble continuous variable teleportation protocol involving homodyne detections and corrective displacements with an optimally tuned gain. These protocols can be integrated as elementary building blocks in quantum networks, for reliable storage and transmission of quantum optical states.

categories: quant-ph cond-mat.stat-mech math-ph math.MP physics.optics


title: Electric-field-induced changes of magnetic moments and magnetocrystalline anisotropy in ultrathin cobalt films

abstract: In this study, the microscopic origins of the voltage-controlled magnetic anisotropy (VCMA) in 3d-ferromagnetic metals are revealed. Using in-situ X-ray fluorescence spectroscopy that provides a high quantum efficiency, electric-field-induced changes in orbital magnetic moment and magnetic dipole Tz terms in ultrathin Co films are demonstrated. An orbital magnetic moment difference of 0.013{\mu}B. was generated in the presence of electric fields of +(-)0.2 V/nm. The VCMA of Co was properly estimated by the induced change in orbital magnetic moment, according to the perturbation theory model. The induced change in magnetic dipole Tz term only slightly contributed to the VCMA in 3d-ferromagnetic metals.


title: Critical spaces for quasilinear parabolic evolution equations and applications

abstract: We present a comprehensive theory of critical spaces for the broad class of quasilinear parabolic evolution equations. The approach is based on maximal $L_p$-regularity in time-weighted function spaces. It is shown that our notion of critical spaces coincides with the concept of scaling invariant spaces in case that the underlying partial differential equation enjoys a scaling invariance. Applications to the vorticity equations for the Navier-Stokes problem, convection-diffusion equations,the Nernst-Planck-Poisson equations in electro-chemistry, chemotaxis equations, the MHD equations, and some other well-known parabolic equations are given.


title: Deep Learning for Accelerated Reliability Analysis of Infrastructure Networks

abstract: Natural disasters can have catastrophic impacts on the functionality of infrastructure systems and cause severe physical and socio-economic losses. Given budget constraints, it is crucial to optimize decisions regarding mitigation, preparedness, response, and recovery practices for these systems. This requires accurate and efficient means to evaluate the infrastructure system reliability. While numerous research efforts have addressed and quantified the impact of natural disasters on infrastructure systems, typically using the Monte Carlo approach, they still suffer from high computational cost and, thus, are of limited applicability to large systems. This paper presents a deep learning framework for accelerating infrastructure system reliability analysis. In particular, two distinct deep neural network surrogates are constructed and studied: (1) A classifier surrogate which speeds up the connectivity determination of networks, and (2) An end-to-end surrogate that replaces a number of components such as roadway status realization, connectivity determination, and connectivity averaging. The proposed approach is applied to a simulation-based study of the two-terminal connectivity of a California transportation network subject to extreme probabilistic earthquake events. Numerical results highlight the effectiveness of the proposed approach in accelerating the transportation system two-terminal reliability analysis with extremely high prediction accuracy.


title: An inexact subsampled proximal Newton-type method for large-scale machine learning

abstract: We propose a fast proximal Newton-type algorithm for minimizing regularized finite sums that returns an $\epsilon$-suboptimal point in $\tilde{\mathcal{O}}(d(n + \sqrt{\kappa d})\log(\frac{1}{\epsilon}))$ FLOPS, where $n$ is number of samples, $d$ is feature dimension, and $\kappa$ is the condition number. As long as $n > d$, the proposed method is more efficient than state-of-the-art accelerated stochastic first-order methods for non-smooth regularizers which requires $\tilde{\mathcal{O}}(d(n + \sqrt{\kappa n})\log(\frac{1}{\epsilon}))$ FLOPS. The key idea is to form the subsampled Newton subproblem in a way that preserves the finite sum structure of the objective, thereby allowing us to leverage recent developments in stochastic first-order methods to solve the subproblem. Experimental results verify that the proposed algorithm outperforms previous algorithms for $\ell_1$-regularized logistic regression on real datasets.


title: Buoyant AGN bubbles in the quasi-isothermal potential of NGC 1399

abstract: The Fornax Cluster is a low-mass cool-core galaxy cluster. We present a deep {\sl Chandra} study of NGC 1399, the central dominant elliptical galaxy of Fornax. The cluster center harbors two symmetric X-ray cavities coincident with a pair of radio lobes fed by two collimated jets along a north-south axis. A temperature map reveals that the AGN outburst has created a channel filled with cooler gas out to a radius of 10 kpc. The cavities are surrounded by cool bright rims and filaments that may have been lifted from smaller radii by the buoyant bubbles. X-ray imaging suggests a potential ghost bubble of $\gtrsim$ 5\,kpc diameter to the northwest. We find that the amount of gas lifted by AGN bubbles is comparable to that which would otherwise cool, demonstrating that AGN driven outflow is effective in offsetting cooling in low-mass clusters. The cluster cooling time scale is $>30$ times longer than the dynamical time scale, which is consistent with the lack of cold molecular gas at the cluster center. The X-ray hydrostatic mass is consistent within 10\% with the total mass derived from the optical data. The observed entropy profile rises linearly, following a steeper slope than that observed at the centers of massive clusters; gas shed by stars in NGC 1399 may be incorporated in the hot phase. However, it is far-fetched for supernova-driven outflow to produce and maintain the thermal distribution in NGC 1399 and it is in tension with the metal content in the hot gas.


title: Single carbon nanotubes as ultrasmall all-optical memories

abstract: Performance improvements are expected from integration of photonic devices into information processing systems, and in particular, all-optical memories provide a key functionality. Scaling down the size of memory elements is desirable for high-density integration, and the use of nanomaterials would allow for devices that are significantly smaller than the operation wavelengths. Here we report on all-optical memory based on individual carbon nanotubes, where adsorbed molecules give rise to optical bistability. By exciting at the high-energy tail of the excitonic absorption resonance, nanotubes can be switched between the desorbed state and the adsorbed state. We demonstrate reversible and reproducible operation of the nanotube optical memory, and determine the rewriting speed by measuring the molecular adsorption and desorption times. Our results underscore the impact of molecular-scale effects on optical properties of nanomaterials, offering new design strategies for photonic devices that are a few orders of magnitude smaller than the optical diffraction limit.


title: An algorithm for computing differential equations for invariant curves

abstract: In this paper we describe an algorithm based on the Picard-Vessiot theory that constructs, given any curve invariant under a finite linear algebraic group over the complex numbers, an ordinary linear differential equation whose Schwarz map parametrizes it.


title: Modeling flow and transport in fracture networks using graphs

abstract: Fractures form the main pathways for flow in the subsurface within low-permeability rock. For this reason, accurately predicting flow and transport in fractured systems is vital for improving the performance of subsurface applications. Fracture sizes in these systems can range from millimeters to kilometers. Although, modeling flow and transport using the discrete fracture network (DFN) approach is known to be more accurate due to incorporation of the detailed fracture network structure over continuum-based methods, capturing the flow and transport in such a wide range of scales is still computationally intractable. Furthermore, if one has to quantify uncertainty, hundreds of realizations of these DFN models have to be run. To reduce the computational burden, we solve flow and transport on a graph representation of a DFN. We study the accuracy of the graph approach by comparing breakthrough times and tracer particle statistical data between the graph-based and the high-fidelity DFN approaches, for fracture networks with varying number of fractures and degree of heterogeneity. We show that the graph approach shows a consistent bias with up to an order of magnitude slower breakthrough when compared to the DFN approach. We show that this is due to graph algorithm's under-prediction of the pressure gradients across intersections on a given fracture, leading to slower tracer particle speeds between intersections and longer travel times. We present a bias correction methodology to the graph algorithm that reduces the discrepancy between the DFN and graph predictions. We show that with this bias correction, the graph algorithm predictions significantly improve and the results are very accurate. The good accuracy and the low computational cost, with $O(10^4)$ times lower times than the DFN, makes the graph algorithm, an ideal technique to incorporate in uncertainty quantification methods.


title: A parameterized activation function for learning fuzzy logic operations in deep neural networks

abstract: We present a deep learning architecture for learning fuzzy logic expressions. Our model uses an innovative, parameterized, differentiable activation function that can learn a number of logical operations by gradient descent. This activation function allows a neural network to determine the relationships between its input variables and provides insight into the logical significance of learned network parameters. We provide a theoretical basis for this parameterization and demonstrate its effectiveness and utility by successfully applying our model to five classification problems from the UCI Machine Learning Repository.


title: Some Error Analysis on Virtual Element Methods

abstract: Some error analysis on virtual element methods including inverse inequalities, norm equivalence, and interpolation error estimates are presented for polygonal meshes which admits a virtual quasi-uniform triangulation.


title: DeepTest: Automated Testing of Deep-Neural-Network-driven Autonomous Cars

abstract: Recent advances in Deep Neural Networks (DNNs) have led to the development of DNN-driven autonomous cars that, using sensors like camera, LiDAR, etc., can drive without any human intervention. Most major manufacturers including Tesla, GM, Ford, BMW, and Waymo/Google are working on building and testing different types of autonomous vehicles. The lawmakers of several US states including California, Texas, and New York have passed new legislation to fast-track the process of testing and deployment of autonomous vehicles on their roads. However, despite their spectacular progress, DNNs, just like traditional software, often demonstrate incorrect or unexpected corner case behaviors that can lead to potentially fatal collisions. Several such real-world accidents involving autonomous cars have already happened including one which resulted in a fatality. Most existing testing techniques for DNN-driven vehicles are heavily dependent on the manual collection of test data under different driving conditions which become prohibitively expensive as the number of test conditions increases. In this paper, we design, implement and evaluate DeepTest, a systematic testing tool for automatically detecting erroneous behaviors of DNN-driven vehicles that can potentially lead to fatal crashes. First, our tool is designed to automatically generated test cases leveraging real-world changes in driving conditions like rain, fog, lighting conditions, etc. DeepTest systematically explores different parts of the DNN logic by generating test inputs that maximize the numbers of activated neurons. DeepTest found thousands of erroneous behaviors under different realistic driving conditions (e.g., blurring, rain, fog, etc.) many of which lead to potentially fatal crashes in three top performing DNNs in the Udacity self-driving car challenge.


title: Spontaneous Chiral Symmetry Breaking in Planar Polarized Epithelia

abstract: Most animal body plans have some degree of left-right asymmetry. This chirality at the tissue and organ level is often assumed to originate from the intrinsic handedness of biological molecules. How this handedness might be transferred from molecules to tissues during development, however, is not well understood. Here we explore an alternative paradigm where tissue chirality results from spontaneous symmetry breaking at the cellular scale, with molecular chirality acting only as a weak bias that ensures that one handedness predominates over the other. Specifically, we show that systems capable of generating planar polarity, found in many epithelial tissues, can also generically break left-right symmetry, and we identify the key interaction parameters that must be varied to access the chiral phase. In addition to a chiral polar phase corresponding to one found in liquid crystal films, a two-dimensional chiral nematic phase with no liquid crystal analog is also possible. Our results have clear implications for the interpretation of mutant phenotypes, especially in certain Drosophila epithelia.


title: Puzzles and pitfalls involving Haar-typicality in holography

abstract: Holographic states that have a well-defined geometric dual in AdS/CFT are not faithfully represented by Haar-typical states in finite-dimensional models. As such, trying to apply principles and lessons from Haar-random ensembles of states to holographic states can lead to apparent puzzles and contradictions. We point out a handful of these pitfalls.


title: Some heterochromatic theorems for matroids

abstract: The anti-Ramsey number of Erd\"os, Simonovits and S\'os from 1973 has become a classic invariant in Graph Theory. To study this invariant in Matroid Theory, we use a related invariant introduce by Arocha, Bracho and Neumann-Lara. The heterochromatic number $hc(H)$ of a non-empty hypergraph $H$ is the smallest integer $k$ such that for every colouring of the vertices of $H$ with exactly $k$ colours, there is a totally multicoloured hyperedge of $H$. Given a rank-$r$ matroid $M$, there are several hypergraphs associated to the matroid that we can consider. One is $C(M) $, the hypergraph where the points are the elements of the matroid and the hyperedges are the circuits of $M$. The other one is $B(M)$, where here the points are the elements and the hyperedges are the bases of the matroid. We prove that $hc(C(M))$ equals $r+1$ when $M$ is not the free matroid $U_{n,n}$, and that if $M$ is a paving matroid, then $hc(B(M))$ equals $r$. Then we explore the case when the hypergraph has the Hamiltonian circuits of the matroid as hyperedges, if any, for a class of paving matroids. We also extend the trivial observation of Erd\"os, Simonovits and S\'os for the anti-Ramsey number for 3-cycles to 3-circuits in projective geometries over finite fields.


title: Emission Line Properties of Seyfert Galaxies in the 12 Micron Sample

abstract: We present spectroscopy of emission lines for 81 Seyfert 1 and 104 Seyfert 2 galaxies in the IRAS 12$\mu$m galaxy sample. We analyzed the emission-line luminosity functions, reddening, and other gas diagnostics. The narrow-line regions (NLR) of Sy1 and 2 galaxies do not significantly differ from each other in most of these diagnostics. Combining the H$\alpha$/H$\beta$ ratio with a new reddening indicator-the [SII]6720/[OII]3727 ratio, we find the average $E(B-V)=0.49\pm0.35$ for Sy1s and $0.52\pm0.26$ for Sy2s. The NLR of Sy1 galaxies has only marginally higher ionization than the Sy2s. Our sample includes 22 Sy1.9s and 1.8s. In their narrow lines, these low-luminosity Seyferts are more similar to the Sy2s than the Sy1s. We construct a BPT diagram, and include the Sy1.8s and 1.9s. They overlap the region occupied by the Sy2s. The C IV equivalent width correlates more strongly with [O III]/H$\beta$ than with UV luminosity. The Sy1 and Sy2 luminosity functions of [OII]3727 and [OIII]5007 are indistinguishable. Unlike the LF's of Seyfert galaxies measured by SDSS, ours are nearly flat at low L. The larger number of faint Sloan "AGN" is attributable to their inclusion of weakly emitting LINERs and H II+AGN "composite" nuclei, which do not meet our classification criteria for Seyferts. An Appendix investigates which emission line luminosities provide the most reliable measures of the total non-stellar luminosity. The hard X-ray or near-ultraviolet continuum luminosity can be crudely predicted from either the [O III]5007 luminosity, or the combination of [O III]+H$\beta$, or [N II]+H$\alpha$ lines, with a scatter of $\pm\,4$ times for the Sy1s and $\pm\,10$ times for the Sy2s. The latter two hybrid (NLR+BLR) indicators have the advantage of predicting the same HX luminosity independent of Seyfert type.


title: Continuity of the Sinai-Ruelle-Bowen measure entropy

abstract: The space of convex projective structures has been well studied with respect to the topological entropy. But, to better understand the geometry of the structure, we study the entropy of the Sinai-Ruelle-Bowen measure and show that it is a continuous function.


title: Comparison of quantum kinetic theory and time-dependent Dirac equation approaches in vacuum pair production and the bound states resonance enhanced mechanism

abstract: A remarkable quantitative agreement is found between the non-Markovian quantum kinetic approach and the time-dependent Dirac equation approach for a large region of Keldysh parameter, in the investigation of electron-positron pair production in the electric fields which is spatially homogeneous and envelope pulse shaped. If a sub-critical bound potential is immersed in this background field, the TDDE results show that the creation probability will be enhanced by the bound states resonance by two orders of magnitude. We also establish a computing resources greatly saved TDDE formalism for spatially homogeneous field.


title: Asymptotics of generalized partial theta functions with a Dirichlet character

abstract: In this paper, we prove asymptotic expansions of generalized partial theta functions with a nonprincipal Dirichlet character and relate these expansions to certain $L$-series.


title: Bridgeland Stability on Blow Ups and Counterexamples

abstract: We give further counterexamples to the conjectural construction of Bridgeland stability on threefolds due to Bayer, Macr\`i, and Toda. This includes smooth projective threefolds containing a divisor that contracts to a point, and Weierstra{\ss} elliptic Calabi-Yau threefolds. Furthermore, we show that if the original conjecture, or a minor modification of it, holds on a smooth projective threefold, then the space of stability conditions is non-empty on the blow up at an arbitrary point. More precisely, there are stability conditions on the blow up for which all skyscraper sheaves are semistable.


title: How directional mobility affects biodiversity in rock-paper-scissors models

abstract: This work deals with a system of three distinct species that changes in time under the presence of mobility, selection, and reproduction, as in the popular rock-paper-scissors game. The novelty of the current study is the modification of the mobility rule to the case of directional mobility, in which the species move following the direction associated to a larger (averaged) number density of selection targets in the surrounding neighborhood. Directional mobility can be used to simulate eyes that see or a nose that smells, and we show how it may contribute to reduce the probability of coexistence.


title: Induced Ellipticity for Inspiraling Binary Systems

abstract: Although gravitational waves tend to erase eccentricity of an inspiraling binary system, ellipticity can be generated in the presence of surrounding matter. We present a semi-analytical method for understanding the eccentricity distribution of binary black holes in the presence of a supermassive black hole in a galactic center. Given a matter distribution, we show how to determine the resultant eccentricity analytically in the presence of both tidal forces and evaporation up to one cutoff and one matter-distribution-independent function, paving the way for understanding the environment of detected inspiraling black holes. We furthermore generalize Kozai-Lidov dynamics to situations where perturbation theory breaks down for short time intervals, allowing more general angular momentum exchange, such that eccentricity is generated even when all bodies orbit in the same plane.