title: Tuning friction with composite hierarchical surfaces

abstract: Macroscopic friction coefficients observed in experiments are the result of various types of complex multiscale interactions between sliding surfaces. Therefore, there are several ways to modify them depending on the physical phenomena involved. Recently, it has been demonstrated that surface structure, e.g. artificial patterning, can be used to tune frictional properties. In this paper, we show how the global friction coefficients can also be manipulated using composite surfaces with varying roughness or stiffness values, i.e. by combining geometrical features with the modification of local friction coefficients or stiffnesses. We show that a remarkable reduction of static friction can be achieved by introducing hierarchical arrangements of varying local roughness values, or by introducing controlled material stiffness variations.


title: Random Walk in a N-cube Without Hamiltonian Cycle to Chaotic Pseudorandom Number Generation: Theoretical and Practical Considerations

abstract: Designing a pseudorandom number generator (PRNG) is a difficult and complex task. Many recent works have considered chaotic functions as the basis of built PRNGs: the quality of the output would indeed be an obvious consequence of some chaos properties. However, there is no direct reasoning that goes from chaotic functions to uniform distribution of the output. Moreover, embedding such kind of functions into a PRNG does not necessarily allow to get a chaotic output, which could be required for simulating some chaotic behaviors. In a previous work, some of the authors have proposed the idea of walking into a $\mathsf{N}$-cube where a balanced Hamiltonian cycle has been removed as the basis of a chaotic PRNG. In this article, all the difficult issues observed in the previous work have been tackled. The chaotic behavior of the whole PRNG is proven. The construction of the balanced Hamiltonian cycle is theoretically and practically solved. An upper bound of the expected length of the walk to obtain a uniform distribution is calculated. Finally practical experiments show that the generators successfully pass the classical statistical tests.


title: Analysis of the implicit upwind finite volume scheme with rough coefficients

abstract: We study the implicit upwind finite volume scheme for numerically approximating the linear continuity equation in the low regularity DiPerna-Lions setting. That is, we are concerned with advecting velocity fields that are spatially Sobolev regular and data that are merely integrable. We prove that on unstructured regular meshes the rate of convergence of approximate solutions generated by the upwind scheme towards the unique distributional solution of the continuous model is at least 1/2. The numerical error is estimated in terms of logarithmic Kantorovich-Rubinstein distances and provides thus a bound on the rate of weak convergence.


title: Exploiting Domain Knowledge via Grouped Weight Sharing with Application to Text Categorization

abstract: A fundamental advantage of neural models for NLP is their ability to learn representations from scratch. However, in practice this often means ignoring existing external linguistic resources, e.g., WordNet or domain specific ontologies such as the Unified Medical Language System (UMLS). We propose a general, novel method for exploiting such resources via weight sharing. Prior work on weight sharing in neural networks has considered it largely as a means of model compression. In contrast, we treat weight sharing as a flexible mechanism for incorporating prior knowledge into neural models. We show that this approach consistently yields improved performance on classification tasks compared to baseline strategies that do not exploit weight sharing.


title: Reconfigurable magnetic domain wall pinning at the nano-scale using vortex-generated magnetic fields

abstract: We demonstrate that the stray magnetic field generated beneath magnetic vortex cores can be used to generate nano-scale, localized pinning sites for magnetic domain walls in an underlying, perpendicularly magnetized nanostrip. Moreover, the pinning strength can be tuned by toggling the vortex core polarity. Indeed, switching the core polarity so that it is aligned with the magnetization of the expanding domain (rather than against it) can be used to reduce the vortex-mediated wall depinning field by between 40% and 90%, depending on the system geometry. Significant reductions in the depinning field can also be obtained in narrow strips by shifting the core away from the strip's center.


title: Soft Biometrics: Gender Recognition from Unconstrained Face Images using Local Feature Descriptor

abstract: Gender recognition from unconstrained face images is a challenging task due to the high degree of misalignment, pose, expression, and illumination variation. In previous works, the recognition of gender from unconstrained face images is approached by utilizing image alignment, exploiting multiple samples per individual to improve the learning ability of the classifier, or learning gender based on prior knowledge about pose and demographic distributions of the dataset. However, image alignment increases the complexity and time of computation, while the use of multiple samples or having prior knowledge about data distribution is unrealistic in practical applications. This paper presents an approach for gender recognition from unconstrained face images. Our technique exploits the robustness of local feature descriptor to photometric variations to extract the shape description of the 2D face image using a single sample image per individual. The results obtained from experiments on Labeled Faces in the Wild (LFW) dataset describe the effectiveness of the proposed method. The essence of this study is to investigate the most suitable functions and parameter settings for recognizing gender from unconstrained face images.


title: Investigation of the complex magnetism in the breathing pyrochlore LiIn(Cr$_{1-x}$Rh$_x$)$_4$O$_8$

abstract: We have performed a detailed investigation of the new `breathing' pyrochlore compound LiInCr$_4$O$_8$ through Rh substitution with measurements of magnetic susceptibility, specific heat, and x-ray powder diffraction. The antiferromagnetic phase of LiInCr$_4$O$_8$ is found to be slowly suppressed with increasing Rh, up to the critical concentration of $x$ = 0.1 where the antiferromagnetic phase is still observed with the peak in specific heat $T_p$ = 12.5 K, slightly lower than $T_p$ = 14.3 K for the $x$ = 0 compound. From the measurements of magnetization we also uncover evidence that substitution increases the amount of frustration. Comparisons are made with the LiGa$_y$In$_{1-y}$Cr$_4$O$_8$ system as well as other frustrated pyrochlore-related materials and find comparable amounts of frustration. The results of this work shows that engineered breathing pyrochlores presents an important method to further understand the complex magnetism in frustrated systems.


title: Absence of an X-shaped Structure in the Milky Way Bulge Using Mira Variable Stars

abstract: The stellar density distribution of the bulge is analyzed through one of its tracers. We use oxygen-rich Miras variables from the Catchpole et al. (2016) survey and OGLE-III survey as standard candles. The average age of these stars is around 9 Gyr. The population traced by Mira variables matches a boxy bulge prediction, not an X-shaped one, because only one peak is observed in the density along the analyzed lines of sight, whereas the prediction of an X-shape gives two clear peaks.


title: Automatic Rule Extraction from Long Short Term Memory Networks

abstract: Although deep learning models have proven effective at solving problems in natural language processing, the mechanism by which they come to their conclusions is often unclear. As a result, these models are generally treated as black boxes, yielding no insight of the underlying learned patterns. In this paper we consider Long Short Term Memory networks (LSTMs) and demonstrate a new approach for tracking the importance of a given input to the LSTM for a given output. By identifying consistently important patterns of words, we are able to distill state of the art LSTMs on sentiment analysis and question answering into a set of representative phrases. This representation is then quantitatively validated by using the extracted phrases to construct a simple, rule-based classifier which approximates the output of the LSTM.


title: Modelling community formation driven by the status of individual in a society

abstract: In human societies, people's willingness to compete and strive for better social status as well as being envious of those perceived in some way superior lead to social structures that are intrinsically hierarchical. Here we propose an agent-based, network model to mimic the ranking behaviour of individuals and its possible repercussions in human society. The main ingredient of the model is the assumption that the relevant feature of social interactions is each individual's keenness to maximise his or her status relative to others. The social networks produced by the model are homophilous and assortative, as frequently observed in human communities and most of the network properties seem quite independent of its size. However, it is seen that for small number of agents the resulting network consists of disjoint weakly connected communities while being highly assortative and homophilic. On the other hand larger networks turn out to be more cohesive with larger communities but less homophilic. We find that the reason for these changes is that larger network size allows agents to use new strategies for maximizing their social status allowing for more diverse links between them.


title: Probabilistic Constraints on the Mass and Composition of Proxima b

abstract: Recent studies regarding the habitability, observability, and possible orbital evolution of the indirectly detected exoplanet Proxima b have mostly assumed a planet with $M \sim 1.3$ $M_\oplus$, a rocky composition, and an Earth-like atmosphere or none at all. In order to assess these assumptions, we use previous studies of the radii, masses, and compositions of super-Earth exoplanets to probabilistically constrain the mass and radius of Proxima b, assuming an isotropic inclination probability distribution. We find it is ~90% likely that the planet's density is consistent with a rocky composition; conversely, it is at least 10% likely that the planet has a significant amount of ice or an H/He envelope. If the planet does have a rocky composition, then we find expectation values and 95% confidence intervals of $\left<M\right>_\text{rocky} = 1.63_{-0.72}^{+1.66}$ $M_\oplus$ for its mass and $\left<R\right>_\text{rocky} = 1.07_{-0.31}^{+0.38}$ $R_\oplus$ for its radius.


title: The devil is in the tails: the role of globular cluster mass evolution on stream properties

abstract: We present a study of the effects of collisional dynamics on the formation and detectability of cold tidal streams. A semi-analytical model for the evolution of the stellar mass function was implemented and coupled to a fast stellar stream simulation code, as well as the synthetic cluster evolution code EMACSS for the mass evolution as a function of a globular cluster orbit. We find that the increase in the average mass of the escaping stars for clusters close to dissolution has a major effect on the observable stream surface density. As an example, we show that Palomar 5 would have undetectable streams (in an SDSS-like survey) if it was currently three times more massive, despite the fact that a more massive cluster loses stars at a higher rate. This bias due to the preferential escape of low-mass stars is an alternative explanation for the absence of tails near massive clusters, than a dark matter halo associated with the cluster. We explore the orbits of a large sample of Milky Way globular clusters and derive their initial masses and remaining mass fraction. Using properties of known tidal tails we explore regions of parameter space that favour the detectability of a stream. A list of high probability candidates is discussed


title: On product of difference sets for sets of positive density

abstract: In this paper we prove that given two sets $E_1,E_2 \subset \mathbb{Z}$ of positive density, there exists $k \geq 1$ which is bounded by a number depending only on the densities of $E_1$ and $E_2$ such that $k\mathbb{Z} \subset (E_1-E_1)\cdot(E_2-E_2)$. As a corollary of the main theorem we deduce that if $\alpha,\beta > 0$ then there exist $N_0$ and $d_0$ which depend only on $\alpha$ and $\beta$ such that for every $N \geq N_0$ and $E_1,E_2 \subset \mathbb{Z}_N$ with $|E_1| \geq \alpha N, |E_2| \geq \beta N$ there exists $d \leq d_0$ a divisor of $N$ satisfying $d \, \mathbb{Z}_N \subset (E_1-E_1)\cdot(E_2-E_2)$.


title: Mechanism of the double heterostructure TiO2/ZnO/TiO2 for photocatalytic and photovoltaic applications: A theoretical study

abstract: Understanding the mechanism of the heterojunction is an important step towards controllable and tunable interfaces for photocatalytic and photovoltaic based devices. To this aim, we propose a thorough study of a double heterostructure system consisting of two semiconductors with large band gap, namely, wurtzite ZnO and anatase TiO2. We demonstrate via first-principle calculations two stable configurations of ZnO/TiO2 interfaces. Our structural analysis provides a key information on the nature of the complex interface and lattice distortions occurring when combining these materials. The study of the electronic properties of the sandwich nanostructure TiO2/ZnO/TiO2 reveals that conduction band arises mainly from Ti3d orbitals, while valence band is maintained by O2p of ZnO, and that the trapped states within the gap region frequent in single heterostructure are substantially reduced in the double interface system. Moreover, our work explains the origin of certain optical transitions observed in the experimental studies. Unexpectedly, as a consequence of different bond distortions, the results on the band alignments show electron accumulation in the left shell of TiO2 rather than the right one. Such behavior provides more choice for the sensitization and functionalization of TiO2 surfaces.


title: Decaying Fermionic Dark Matter Search with CALET

abstract: The ISS-based CALET (CALorimetric Electron Telescope) detector can play an important role in indirect search for Dark Matter (DM), measuring the electron+positron flux in the TeV region for the first time directly. With its fine energy resolution of approximately $2\%$ and good proton rejection ratio ($1:10^5$) it has the potential to search for fine structures in the Cosmic Ray (CR) electron spectrum. In this context we discuss the ability of CALET to discern between signals originating from astrophysical sources and DM decay or annihilation. We fit a parametrization of the local interstellar electron and positron spectra to current measurements, with either a pulsar or 3-body decay of fermionic DM as the extra source causing the positron excess. The expected CALET data for scenarios in which DM decay explains the excess are calculated and analyzed. The signal from this particular 3-body DM decay which can explain the recent measurements of from the AMS$-02$ experiment is shown to be distinguishable from a single pulsar source causing the positron excess by 5 years of observation with CALET, based on the shape of the spectrum. We also study the constraints from extra-galactic diffuse $\gamma$-ray data on this DM-only explanation of the positron excess and show that especially for the possibly remaining parameter space a clearly identifiable signature in the CR electron spectrum exists.


title: Oblivious resampling oracles and parallel algorithms for the Lopsided Lovasz Local Lemma

abstract: The Lov\'{a}sz Local Lemma (LLL) is a probabilistic tool which shows that, if a collection of "bad" events $\mathcal B$ in a probability space are not too likely and not too interdependent, then there is a positive probability that no bad-events in $\mathcal B$ occur. Moser & Tardos (2010) gave sequential and parallel algorithms which transformed most applications of the variable-assignment LLL into efficient algorithms. A framework of Harvey & Vondr\'{a}k (2015) based on "resampling oracles" extended this to general sequential algorithms for other probability spaces satisfying the Lopsided Lov\'{a}sz Local Lemma (LLLL). We describe a new structural property which holds for all known resampling oracles, which we call "obliviousness." Essentially, it means that the interaction between two bad-events $B, B'$ depends only on the randomness used to resample $B$, and not the precise state within $B$ itself. This property has two major consequences. First, combined with a framework of Kolmogorov (2016), it is the key to achieving a unified parallel LLLL algorithm, which is faster than previous, problem-specific algorithms of Harris (2016) for the variable-assignment LLLL algorithm and of Harris \& Srinivasan (2014) for permutations. This gives the first RNC algorithms for rainbow perfect matchings and rainbow hamiltonian cycles of $K_n$. Second, this property allows us to build LLLL probability spaces out of relatively simple "atomic" events. This provides the first sequential resampling oracle for rainbow perfect matchings on the complete $s$-uniform hypergraph $K_n^{(s)}$, and the first commutative resampling oracle for hamiltonian cycles of $K_n$.


title: Hyperfine Structure of the $B^3\Pi_1$ State and Predictions of Optical Cycling Behavior in the $X\rightarrow B$ transition of TlF

abstract: The rotational and hyperfine spectrum of the $X^1\Sigma^+ \rightarrow B^3\Pi_1$ transition in TlF molecules was measured using laser-induced fluorescence from both a thermal and a cryogenic molecular beam. Rotational and hyperfine constants for the $B$ state are obtained. The large magnetic hyperfine interaction of the Tl nuclear spin leads to significant mixing of the lowest $B$ state rotational levels. Updated, more precise measurements of the $B\rightarrow X$ vibrational branching fractions are also presented. The combined rovibrational branching fractions allow for the prediction of the number of photons that can be scattered in a given TlF optical cycling scheme.


title: Backpropagation Training for Fisher Vectors within Neural Networks

abstract: Fisher-Vectors (FV) encode higher-order statistics of a set of multiple local descriptors like SIFT features. They already show good performance in combination with shallow learning architectures on visual recognitions tasks. Current methods using FV as a feature descriptor in deep architectures assume that all original input features are static. We propose a framework to jointly learn the representation of original features, FV parameters and parameters of the classifier in the style of traditional neural networks. Our proof of concept implementation improves the performance of FV on the Pascal Voc 2007 challenge in a multi-GPU setting in comparison to a default SVM setting. We demonstrate that FV can be embedded into neural networks at arbitrary positions, allowing end-to-end training with back-propagation.


title: Time-dependent quantum correlations in phase space

abstract: General quasi-probabilities are introduced to visualize time-dependent quantum correlations of light in phase space. They are based on the generalization of the Glauber-Sudarshan P function to a time-dependent P functional [W. Vogel, Phys. Rev. Lett. 100, 013605 (2008)], which fully describes temporal correlations of radiation fields on the basis of continuous phase-space distributions. This approach is nontrivial as the P functional itself is highly singular for many quantum states and nonlinear processes. In general, it neither yields a well-behaved nor an experimentally accessible description of quantum stochastic processes. Our regularized version of this multi-time-dependent quasi-probability is a smooth function and applies to stronger divergences compared to the single-time and multi-mode scenario. The technique is used to characterize an optical parametric process with frequency mismatch. A measurement scheme, together with a sampling approach, is provided which yields direct experimental access to the regularized P functional from measured data.


title: Lyapunov exponents of the Brownian motion on a K\"ahler manifold

abstract: If E is a flat bundle of rank r over a K\"ahler manifold X, we define the Lyapunov spectrum of E: a set of r numbers controlling the growth of flat sections of E, along Brownian trajectories. We show how to compute these numbers, by using harmonic measures on the foliated space P(E). Then, in the case where X is compact, we prove a general inequality relating the Lyapunov exponents and the degrees of holomorphic subbundles of E and we discuss the equality case.


title: Gravity with free initial conditions: a solution to the cosmological constant problem testable by CMB B-mode polarization

abstract: In standard general relativity the universe cannot be started with arbitrary initial conditions, because four of the ten components of the Einstein's field equations (EFE) are constraints on initial conditions. In the previous work it was proposed to extend the gravity theory to allow free initial conditions, with a motivation to solve the cosmological constant problem. This was done by setting four constraints on metric variations in the action principle, which is reasonable because the gravity's physical degrees of freedom are at most six. However, there are two problems about this theory; the three constraints in addition to the unimodular condition were introduced without clear physical meanings, and the flat Minkowski spacetime is unstable against perturbations. Here a new set of gravitational field equations is derived by replacing the three constraints with new ones requiring that geodesic paths remain geodesic against metric variations. The instability problem is then naturally solved. Implications for the cosmological constant $\Lambda$ are unchanged; the theory converges into EFE with nonzero $\Lambda$ by inflation, but $\Lambda$ varies on scales much larger than the present Hubble horizon. Then galaxies are formed only in small $\Lambda$ regions, and the cosmological constant problem is solved by the anthropic argument. Because of the increased degrees of freedom in metric dynamics, the theory predicts new non-oscillatory modes of metric anisotropy generated by quantum fluctuation during inflation, and CMB B-mode polarization would be observed differently from the standard predictions by general relativity.


title: Infrared Topological Plasmons in Graphene

abstract: We propose a two-dimensional plasmonic platform - periodically patterned monolayer graphene - which hosts topological one-way edge states operable up to infrared frequencies. We classify the band topology of this plasmonic system under time-reversal-symmetry breaking induced by a static magnetic field. At finite doping, the system supports topologically nontrivial bandgaps with mid-gap frequencies up to tens of terahertz. By the bulk-edge correspondence, these bandgaps host topologically protected one-way edge plasmons, which are immune to backscattering from structural defects and subject only to intrinsic material and radiation loss. Our findings reveal a promising approach to engineer topologically robust chiral plasmonic devices and demonstrate a realistic example of high-frequency topological edge state.


title: Self-Focusing Skyrmion Racetracks in Ferrimagnets

abstract: We theoretically study the dynamics of ferrimagnetic skyrmions in inhomogeneous metallic films close to the angular momentum compensation point. In particular, it is shown that the line of the vanishing angular momentum can be utilized as a self-focusing racetrack for skyrmions. To that end, we begin by deriving the equations of motion for the dynamics of collinear ferrimagnets in the presence of a charge current. The obtained equations of motion reduce to those of ferromagnets and antiferromagnets at two special limits. In the collective coordinate approach, a skyrmion behaves as a massive charged particle moving in a viscous medium subjected to a magnetic field. Analogous to the snake orbits of electrons in a nonuniform magnetic field, we show that a ferrimagnet with the nonuniform angular momentum density can exhibit snake trajectories of skyrmions, which can be utilized as racetracks for skyrmions.


title: A Modified Construction for a Support Vector Classifier to Accommodate Class Imbalances

abstract: Given a training set with binary classification, the Support Vector Machine identifies the hyperplane maximizing the margin between the two classes of training data. This general formulation is useful in that it can be applied without regard to variance differences between the classes. Ignoring these differences is not optimal, however, as the general SVM will give the class with lower variance an unjustifiably wide berth. This increases the chance of misclassification of the other class and results in an overall loss of predictive performance. An alternate construction is proposed in which the margins of the separating hyperplane are different for each class, each proportional to the standard deviation of its class along the direction perpendicular to the hyperplane. The construction agrees with the SVM in the case of equal class variances. This paper will then examine the impact to the dual representation of the modified constraint equations.


title: Fine structure of high-power microwave-induced resistance oscillations

abstract: We report on observation of a fine structure of microwave-induced resistance oscillations in an ultraclean two-dimensional electron gas. This fine structure is manifested by multiple secondary sharp extrema, residing beside the primary ones, which emerge at high radiation power. Theoretical considerations reveal that this fine structure originates from multiphoton-assisted scattering off short-range impurities. Unique properties of the fine structure allow us to access all experimental parameters, including microwave power, and to separate different contributions to photoresistance. Furthermore, we show that the fine structure offers a convenient means to quantitatively assess the correlation properties of the disorder potential in high-quality systems, allowing separation of short- and long-range disorder contributions to the electron mobility.


title: Hall field-induced resistance oscillations in MgZnO/ZnO heterostructures

abstract: We report on nonlinear magnetotransport in a two-dimensional electron gas hosted in a MgZnO/ZnO heterostructure. Upon application of a direct current, we observe pronounced Hall field-induced resistance oscillations (HIRO) which are well known from experiments on high-mobility GaAs/AlGaAs quantum wells. The unique sensitivity of HIRO to the short-range component of the disorder potential allows us to unambiguously establish that the mobility of our MgZnO/ZnO heterostructure is limited by impurities residing within or near the 2D channel. Demonstration that HIRO can be realized in a system with a much lower mobility, much higher density, and much larger effective mass than in previously studied systems, highlights remarkable universality of the phenomenon and its great promise to be used in studies of a wide variety of emerging 2D materials.


title: Characterizing photon number statistics using conjugate optical homodyne detection

abstract: We study the problem of determining the photon number statistics of an unknown quantum state by simultaneously measuring conjugate quadratures with double homodyne detectors. Classically, the sum of the squared outputs of the two homodyne detectors is proportional to the intensity (thus the photon number) of the input light. Quantum mechanically, due to vacuum noise, the above photon number measurement is intrinsically noisy. We quantify the information gain in a single-shot measurement and discuss potential applications of this technology in quantum key distribution. We also show that the photon number statistics can be recovered in repeated measurements on an ensemble of identical input states without scanning the phase of the input state or randomizing the phase of the local oscillator used in homodyne detection.


title: Maximum Matching in Two, Three, and a Few More Passes Over Graph Streams

abstract: We consider the maximum matching problem in the semi-streaming model formalized by Feigenbaum, Kannan, McGregor, Suri, and Zhang that is inspired by giant graphs of today. As our main result, we give a two-pass $(1/2 + 1/16)$-approximation algorithm for triangle-free graphs and a two-pass $(1/2 + 1/32)$-approximation algorithm for general graphs; these improve the approximation ratios of $1/2 + 1/52$ for bipartite graphs and $1/2 + 1/140$ for general graphs by Konrad, Magniez, and Mathieu. In three passes, we achieve approximation ratios of $1/2 + 1/10$ for triangle-free graphs and $1/2 + 1/19.753$ for general graphs. We also give a multi-pass algorithm where we bound the number of passes precisely---we give a $(2/3 -\varepsilon)$-approximation algorithm that uses $2/(3\varepsilon)$ passes for triangle-free graphs and $4/(3\varepsilon)$ passes for general graphs. Our algorithms are simple and combinatorial, use $O(n \log n)$ space, and have $O(1)$ update time per edge. For general graphs, our multi-pass algorithm improves the best known deterministic algorithms in terms of the number of passes: --Ahn and Guha give a $(2/3 - \varepsilon)$-approximation algorithm that uses $O(\log(1/\varepsilon)/\varepsilon^2)$ passes, whereas our $(2/3 - \varepsilon)$-approximation algorithm uses $4/(3\varepsilon)$ passes; --they also give a $(1-\varepsilon)$-approximation algorithm that uses $O(\log n \cdot \mathrm{poly}(1/\varepsilon))$ passes, where $n$ is the number of vertices of the input graph; although our algorithm is $(2/3 - \varepsilon)$-approximation, our number of passes do not depend on $n$. Earlier multi-pass algorithms either have a large constant inside big-$O$ notation for the number of passes or the constant cannot be determined due to the involved analysis, so our multi-pass algorithm should use much fewer passes for approximation ratios bounded slightly below $2/3$.


title: Total Betti numbers of modules of finite projective dimension

abstract: The Buchsbaum-Eisenbud-Horrocks Conjecture predicts that if M is a non-zero module of finite length and finite projective dimension over a local ring R of dimension d, then the i-th Betti number of M is at least d choose i. This conjecture implies that the sum of all the Betti numbers of such a module must be at least 2^d. We prove the latter holds in a large number of cases.


title: Foundation Of The Mechanics Of Oriented Point

abstract: The mechanics of an oriented point (point with "spin") based on 3D and 4D Frenet equations is considered. In such mechanics there is an opportunity to describe formally any physical trajectory of a particle with own rotation. We use anholonomic rotational coordinates (Euler angles) as elements of internal space of the mechanics which generate a rotational relativity. The groups of transformations of the mechanics of an oriented point form Poincare's group with semidirect product of translations and rotations, so translational and rotational momentums appear dependent from each other. Connection of the curve torsion with Ricci rotational coefficients is shown and rotational metric is entered. Equivalence between equations of motion 4D oriented point and geodesic equations of absolute parallelism geometry is established. The space of events an arbitrary accelerated 4D frame of reference, which has 10 degrees of freedom, is described by Cartan structure equations of absolute parallelism geometry. It represent 10D coordinate space in which 4 translational coordinates describe motion of the origin $O$ 4D oriented point and 6 angular coordinates describe change of its orientation. The structural equations of absolute parallelism geometry, represent an extended set of Einstein-Yang-Mills equations with the gauge translations group defined on the base $x^i$ and with the gauge rotational group, defined in the fibre. The sources in these equations are defined through the torsion (torsion field) of geometry. The received system of the equations represents generalization vacuum Einstein's equations on a case when sources have geometrical nature.


title: Pilot Reuse Factor with Large Scale Fading Precoding for Massive MIMO

abstract: The fundamental limitation of massive MIMO technology is pilot contamination effect. This effect occurs during uplink training when terminals use the same orthogonal signals. In this paper, a pilot reuse factor with large scale fading precoding is proposed to mitigate the pilot contamination effect. The pilot reuse factor is designed to assign unique orthogonal signals to the adjacent cells. These unique orthogonal signals are reused only within the cell and hence, intra-pilot contamination is the only concern. Large scale fading precoding is then used to mitigate the intra-pilot contamination effect. The average achievable sum rate is computed for different pilot reuse factors. Experimental results through MATLAB simulation show that a higher pilot reuse factor gives better average achievable sum rates.


title: Monotonicity-based Electrical Impedance Tomography for Lung Imaging

abstract: This paper presents a monotonicity-based spatiotemporal conductivity imaging method for continuous regional lung monitoring using electrical impedance tomography (EIT). The EIT data (i.e., the boundary current-voltage data) can be decomposed into pulmonary, cardiac and other parts using their different periodic natures. The time-differential current-voltage operator corresponding to the lung ventilation can be viewed as either semi-positive or semi-negative definite owing to monotonic conductivity changes within the lung regions. We used this monotonicity constraints to improve the quality of lung EIT imaging. We tested the proposed methods in numerical simulations, phantom experiments and human experiments.


title: Superluminous supernovae at high redshift

abstract: Superluminous supernovae are beginning to be discovered at redshifts as early as the epoch of reionization. A number of candidate mechanisms is reviewed, together with the discovery programs.


title: Chlorine and Bromine Isotope Fractionation of Halogenated Organic Pollutants on Gas Chromatography Columns

abstract: Compound-specific chlorine/bromine isotope analysis (CSIA-Cl/Br) has become a useful approach for degradation pathway investigation and source appointment of halogenated organic pollutants (HOPs). CSIA-Cl/Br is usually conducted by gas chromatography-mass spectrometry (GC-MS), which could be negatively impacted by chlorine and bromine isotope fractionation of HOPs on GC columns. In this study, 31 organochlorines and 4 organobromines were systematically investigated in terms of Cl/Br isotope fractionation on GC columns using GC-double focus magnetic-sector high resolution MS (GC-DFS-HRMS). On-column chlorine/bromine isotope fractionation behaviors of the HOPs were explored, presenting various isotope fractionation modes and extents. Twenty-nine HOPs exhibited inverse isotope fractionation, and only polychlorinated biphenyl-138 (PCB-138) and PCB-153 presented normal isotope fractionation. And no observable isotope fractionation was found for the rest four HOPs, i.e., PCB-101, 1,2,3,7,8-pentachlorodibenzofuran, PCB-180 and 2,3,7,8-tetrachlorodibenzofuran. The isotope fractionation extents of different HOPs varied from below the observable threshold (0.50%) to 7.31% (PCB-18). The mechanisms of the on-column chlorine/bromine isotope fractionation were tentatively interpreted with the Craig-Gordon model and a modified two-film model. Inverse isotope effects and normal isotope effects might contribute to the total isotope effects together and thus determine the isotope fractionation directions and extents. Proposals derived from the main results of this study for CSIA-Cl/Br research were provided for improving the precision and accuracy of CSIA-Cl/Br results. The findings of this study will shed light on the development of CSIA-Cl/Br methods using GC-MS techniques, and help to implement the research using CSIA-Cl/Br to investigate the environmental behaviors and pollution sources of HOPs.


title: Design of Distributed Voting Systems

abstract: Countries like Estonia, Norway or Australia developed electronic voting systems, which could be used to realize parliamentary elections with the help of personal computers and the Internet. These systems are completely different in their design and their way to solve the same problem. In this thesis, we analyze some of the largest real-world systems, describe their building blocks and their general design to focus on possible problems in these electronic voting systems. Furthermore, we present a template for an e-voting system, which we designed to try to fulfill the preliminaries and requirements of a secure electronic voting system. We use the experiences and the building blocks of existing systems to combine them to another more secure system. Afterwards, we compare our concept with real-world systems to evaluate the fulfillments of the requirements. Conclusively, we discuss the occurring problems when designing a secure system. Peer-to-peer networks provide many advantages, like decentralization, which might be applicable to electronic voting systems. Therefore, we take a look on the distributed database called blockchain and the usage in a peer-to-peer voting system. Our contribution to this topic is a modification of the proof-of-stake, which enables the usage of common devices, like smartphones or tablets, for the blockchain verification and inclusion of new ballots to the chain. This proof does not need much computing power and has a lower carbon footprint than the proof-of-work in the Bitcoin protocol.


title: Semi-analytic derivation of the threshold mass for prompt collapse in binary neutron star mergers

abstract: The threshold mass for prompt collapse in binary neutron star mergers was empirically found to depend on the stellar properties of the maximum-mass non-rotating neutron star model. Here we present a semi-analytic derivation of this empirical relation which suggests that it is rather insensitive to thermal effects, to deviations from axisymmetry and to the exact rotation law in merger remnants. We utilize axisymmetric, cold equilibrium models with differential rotation and determine the threshold mass for collapse from the comparison between an empirical relation that describes the angular momentum in the remnant for a given total binary mass and the sequence of rotating equilibrium models at the threshold to collapse (the latter assumed to be near the turning point of fixed-angular-momentum sequences). In spite of the various simplifying assumptions, the empirical relation for prompt collapse is reproduced with good accuracy, which demonstrates its robustness. We discuss implications of our methodology and results for understanding other empirical relations satisfied by neutron-star merger remnants that have been discovered by numerical simulations and that play a key role in constraining the high-density equation of state through gravitational-wave observations.


title: A note on the automorphism groups of Johnson graphs

abstract: The Johnson graph $J(n, i)$ is defined as the graph whose vertex set is the set of all $i$-element subsets of $\{1, . . ., n \}$, and two vertices are adjacent whenever the cardinality of their intersection is equal to $i$-1. In Ramras and Donovan [SIAM J. Discrete Math, 25(1): 267-270, 2011], it is proved that if $ n \neq 2i$, then the automorphism group of $J(n, i)$ is isomorphic with the group $Sym(n)$ and it is conjectured that if $n = 2i$, then the automorphism group of $J(n, i)$ is isomorphic with the group $ Sym(n) \times \mathbb{Z}_2$. In this paper, we will find these results by different methods. We will prove the conjecture in the affirmative.


title: On Summation of $p$-Adic Series

abstract: Summation of the $p$-adic functional series $\sum \varepsilon^n \, n! \, P_k^\varepsilon (n; x)\, x^n ,$ where $P_k^\varepsilon (n; x)$ is a polynomial in $x$ and $n$ with rational coefficients, and $\varepsilon = \pm 1$, is considered. The series is convergent in the domain $|x|_p \leq 1$ for all primes $p$. It is found the general form of polynomials $P_k^\varepsilon (n; x)$ which provide rational sums when $x \in \mathbb{Z}$. A class of generating polynomials $A_k^\varepsilon (n; x)$ plays a central role in the summation procedure. These generating polynomials are related to many sequences of integers. This is a brief review with some new results.


title: Surface-effect corrections for oscillation frequencies of evolved stars

abstract: Accurate modelling of solar-like oscillators requires that modelled mode frequencies are corrected for the systematic shift caused by improper modelling of the near-surface layers, known as the surface effect. ... We investigate how much additional uncertainty is introduced to stellar model parameters by our uncertainty about the functional form of the surface effect. At the same time, we test whether any of the parametrizations is significantly better or worse at modelling observed subgiants and low-luminosity red giants. We model six stars observed by Kepler that show clear mixed modes. We fix the input physics of the stellar models and vary the choice of surface correction ... Models using a solar-calibrated power law correction consistently fit the observations more poorly than the other four corrections. Models with the remaining four corrections generally fit ... about equally well, with the combined surface correction by Ball & Gizon perhaps being marginally superior. The fits broadly agree on the model parameters within about the $2\sigma$ uncertainties, with discrepancies between the modified Lorentzian and free power law corrections occasionally exceeding the $3\sigma$ level. Relative to the best-fitting values, the total uncertainties on the masses, radii and ages of the stars are all less than 2, 1 and 6 per cent, respectively. A solar-calibrated power law ... appears unsuitable for use with more evolved solar-like oscillators. Among the remaining surface corrections, the uncertainty in the model parameters introduced by the surface effects is about twice as large as the uncertainty in the individual fits for these six stars. Though the fits are thus somewhat less certain because of our uncertainty of how to manage the surface effect, these results also demonstrate that it is feasible to model the individual mode frequencies of subgiants and low-luminosity red giants. ...


title: The Fermi blazar sequence

abstract: We revisit the blazar sequence exploiting the complete, flux limited sample of blazars with known redshift detected by the Fermi satellite after 4 years of operations (the 3LAC sample). We divide the sources into gamma-ray luminosity bins, collect all the archival data for all blazars, and construct their spectral energy distribution (SED). We describe the average SED of blazars in the same luminosity bin through a very simple, completely phenomenological function consisting of two broken power laws connecting with a power law of fixed slope describing the radio emission. We do that separately for BL Lacs and for flat spectrum radio quasars (FSRQs) and also for all blazars together. The main results are: i) FSRQs display approximately the same SED as the luminosity increases, except for the fact that the relative importance of the high energy peak increases; ii) as a consequence, X-ray spectra of FSRQs become harder for larger luminosities; iii) BL Lacs form indeed a sequence: they become redder (i.e. the peak frequencies becomes smaller) for increasing luminosities, with a steeper gamma-ray slope and a larger dominance of the high energy peak; iv) for all blazars (BL Lacs+FSRQs) these properties becomes more prominent, as the highest luminosity bin is populated mostly by FSRQs and the lowest luminosity bin mostly by BL Lacs. This agrees with the original blazar sequence, although BL Lacs never have an average gamma-ray slope as hard as found in the original sequence. v) At high luminosities, a large fraction of FSRQs shows signs of thermal emission from the accretion disc, contributing in the optical-UV.


title: The hidden symmetry of the heterotic string

abstract: We propose that Borcherds' Fake Monster Lie algebra is a broken symmetry of heterotic string theory compactified on $T^7 \times T^2$. As evidence, we study the fully flavored counting function for BPS instantons contributing to a certain loop amplitude. The result is controlled by $\Phi_{12}$, an automorphic form for $O(2, 26, \mathbb{Z})$. The degeneracies it encodes in its Fourier coefficients are graded dimensions of a second-quantized Fock space for this large symmetry algebra. This construction provides a concrete realization of Harvey and Moore's proposed relationship between Generalized Kac-Moody symmetries and supersymmetric string vacua.


title: A tidal disruption event in the nearby ultra-luminous infrared galaxy F01004-2237

abstract: Tidal disruption events (TDEs), in which stars are gravitationally disrupted as they pass close to the supermassive black holes in the centres of galaxies, are potentially important probes of strong gravity and accretion physics. Most TDEs have been discovered in large-area monitoring surveys of many 1000s of galaxies, and the rate deduced for such events is relatively low: one event every 10$^4$ - 10$^5$ years per galaxy. However, given the selection effects inherent in such surveys, considerable uncertainties remain about the conditions that favour TDEs. Here we report the detection of unusually strong and broad helium emission lines following a luminous optical flare (Mv < -20.1 mag) in the nucleus of the nearby ultra-luminous infrared galaxy F01004-2237. The particular combination of variability and post-flare emission line spectrum observed in F01004-2237 is unlike any known supernova or active galactic nucleus. Therefore, the most plausible explanation for this phenomenon is a TDE -- the first detected in a galaxy with an ongoing massive starburst. The fact that this event has been detected in repeat spectroscopic observations of a sample of 15 ultra-luminous infrared galaxies over a period of just 10 years suggests that the rate of TDEs is much higher in such objects than in the general galaxy population.


title: Aperture synthesis imaging of the carbon AGB star R Sculptoris: Detection of a complex structure and a dominating spot on the stellar disk

abstract: We present near-infrared interferometry of the carbon-rich asymptotic giant branch (AGB) star R Sculptoris. The visibility data indicate a broadly circular resolved stellar disk with a complex substructure. The observed AMBER squared visibility values show drops at the positions of CO and CN bands, indicating that these lines form in extended layers above the photosphere. The AMBER visibility values are best fit by a model without a wind. The PIONIER data are consistent with the same model. We obtain a Rosseland angular diameter of 8.9+-0.3 mas, corresponding to a Rosseland radius of 355+-55 Rsun, an effective temperature of 2640+-80 K, and a luminosity of log L/Lsun=3.74+-0.18. These parameters match evolutionary tracks of initial mass 1.5+-0.5 Msun and current mass 1.3+-0.7 Msun. The reconstructed PIONIER images exhibit a complex structure within the stellar disk including a dominant bright spot located at the western part of the stellar disk. The spot has an H-band peak intensity of 40% to 60% above the average intensity of the limb-darkening-corrected stellar disk. The contrast between the minimum and maximum intensity on the stellar disk is about 1:2.5. Our observations are broadly consistent with predictions by dynamic atmosphere and wind models, although models with wind appear to have a circumstellar envelope that is too extended compared to our observations. The detected complex structure within the stellar disk is most likely caused by giant convection cells, resulting in large-scale shock fronts, and their effects on clumpy molecule and dust formation seen against the photosphere at distances of 2-3 stellar radii.


title: Magnon Spin-Momentum Locking: Various Spin Vortices and Dirac Magnons in Noncollinear Antiferromagnets

abstract: We generalize the concept of the spin-momentum locking to magnonic systems and derive the formula to calculate the spin expectation value for one-magnon states of general two-body spin Hamiltonians. We give no-go conditions for magnon spin to be independent of momentum. As examples of the magnon spin-momentum locking, we analyze a one-dimensional antiferromagnet with the N\'eel order and two-dimensional kagome lattice antiferromagnets with the 120$^\circ$ structure. We find that the magnon spin depends on its momentum even when the Hamiltonian has the $z$-axis spin rotational symmetry, which can be explained in the context of a singular band point or a $U(1)$ symmetry breaking. A spin vortex in momentum space generated in a kagome lattice antiferromagnet has the winding number $Q=-2$, while the typical one observed in topological insulator surface states is characterized by $Q=+1$. A magnonic analogue of the surface states, the Dirac magnon with $Q=+1$, is found in another kagome lattice antiferromagnet. We also derive the sum rule for $Q$ by using the Poincar\'e-Hopf index theorem.


title: Exact solutions and critical chaos in dilaton gravity with a boundary

abstract: We consider (1+1)-dimensional dilaton gravity with a reflecting dynamical boundary. The boundary cuts off the region of strong coupling and makes our model causally similar to the spherically-symmetric sector of multidimensional gravity. We demonstrate that this model is exactly solvable at the classical level and possesses an on-shell SL(2,R) symmetry. After introducing general classical solution of the model, we study a large subset of soliton solutions. The latter describe reflection of matter waves off the boundary at low energies and formation of black holes at energies above critical. They can be related to the eigenstates of the auxiliary integrable system, the Gaudin spin chain. We argue that despite being exactly solvable, the model in the critical regime, i.e. at the verge of black hole formation, displays dynamical instabilities specific to chaotic systems. We believe that this model will be useful for studying black holes and gravitational scattering.


title: Near-optimal quantum circuit for Grover's unstructured search using a transverse field

abstract: Inspired by a class of algorithms proposed by Farhi et al. (arXiv:1411.4028), namely the quantum approximate optimization algorithm (QAOA), we present a circuit-based quantum algorithm to search for a needle in a haystack, obtaining the same quadratic speedup achieved by Grover's original algorithm. In our algorithm, the problem Hamiltonian (oracle) and a transverse field are applied alternately to the system in a periodic manner. We introduce a technique, based on spin-coherent states, to analyze the composite unitary in a single period. This composite unitary drives a closed transition between two states that have high degrees of overlap with the initial state and the target state, respectively. The transition rate in our algorithm is of order $\Theta(1/\sqrt N)$, and the overlaps are of order $\Theta(1)$, yielding a nearly optimal query complexity of $T\simeq \sqrt N (\pi/2\sqrt 2\,)$. Our algorithm is a QAOA circuit that demonstrates a quantum advantage with a large number of iterations that is not derived from Trotterization of an adiabatic quantum optimization (AQO) algorithm. It also suggests that the analysis required to understand QAOA circuits involves a very different process from estimating the energy gap of a Hamiltonian in AQO.


title: Hard superconducting gap in InSb nanowires

abstract: Topological superconductivity is a state of matter that can host Majorana modes, the building blocks of a topological quantum computer. Many experimental platforms predicted to show such a topological state rely on proximity-induced superconductivity. However, accessing the topological properties requires an induced hard superconducting gap, which is challenging to achieve for most material systems. We have systematically studied how the interface between an InSb semiconductor nanowire and a NbTiN superconductor affects the induced superconducting properties. Step by step, we improve the homogeneity of the interface while ensuring a barrier-free electrical contact to the superconductor, and obtain a hard gap in the InSb nanowire. The magnetic field stability of NbTiN allows the InSb nanowire to maintain a hard gap and a supercurrent in the presence of magnetic fields (~ 0.5 Tesla), a requirement for topological superconductivity in one-dimensional systems. Our study provides a guideline to induce superconductivity in various experimental platforms such as semiconductor nanowires, two dimensional electron gases and topological insulators, and holds relevance for topological superconductivity and quantum computation.


title: Scanning Tunneling Potentiometry, Charge Transport and Landauer's Resistivity Dipole from the Quantum to the Classical Transport Regime

abstract: Using the non-equilibrium Keldysh formalism, we investigate the spatial relation between the electro-chemical potential measured in scanning tunneling spectroscopy, and local current patterns over the entire range from the quantum to the classical transport regime. These quantities show similar spatial patterns near the quantum limit, but are related by Ohm's law only in the classical regime. We demonstrate that defects induce a Landauer residual resistivity dipole in the electro-chemical potential with the concomitant spatial current pattern representing the field lines of the dipole.


title: Gamma-ray line constraints on Coy Dark Matter

abstract: Coy dark matter is an effective scheme in which a fermionic dark matter candidate interacts with the Standard Model fermions via a pseudoscalar mediator. This simple setup avoids the strong constraints posed by direct detection experiments in a natural way and explains, on top of the observed dark matter relic abundance, the spatially extended gamma-ray excess recently detected at the Galactic Center. In this Letter we study the phenomenology of coy dark matter accounting for a novel signature of the model: the diphoton annihilation signal induced by the Standard Model fermions at the loop level. By challenging the model with the observations of spheroidal dwarf satellite galaxies and the results of gamma-ray line searches obtained by the Fermi LAT experiment, we assess its compatibility with the measured dark matter relic abundance and the Galactic Center excesses. We show that despite the gamma-ray line constraint rules out a significant fraction of the considered parameter space, the region connected to the observed Galactic Center excess remains currently viable. Nevertheless, we find that next-generation experiments such as DAMPE, HERD and GAMMA-400 have the potential to probe exhaustively this elusive scenario.


title: Spatially correlated photonic qutrit pairs using pump beam modulation technique

abstract: Higher dimensional quantum systems have a very important role to play in quantum information, computation as well as communication. While the polarization degree of freedom of the photon is a common choice for many studies, it is restricted to only two orthogonal states, hence qubits for manipulation. In this paper, we theoretically model as well as experimentally verify a novel scheme of approximating photonic qutrits by modulating the pump beam in a spontaneous parametric down conversion process using a three-slit aperture. The emerging bi-photon fields behave like qutrits and are found to be highly correlated in the spatial degree of freedom and effectively represent spatially correlated qutrits with a Pearson coefficient as high as 0.9. In principle, this system provides us a scalable architecture for generating and experimenting with higher dimensional correlated qudits.


title: Transversality for critical relations of families of rational maps: an elementary proof

abstract: In this paper we will give a short and elementary proof that critical relations unfold transversally in the space of rational maps.


title: A Quantum von Neumann Architecture for Large-Scale Quantum Computing

abstract: As the size of quantum systems becomes bigger, more complicated hardware is required to control these systems. In order to reduce the complexity, I discuss the amount of parallelism required for a fault-tolerant quantum computer and what computation speed can be achieved in different architectures. To build a large-scale quantum computer, one can use architectural principles, from classical computer architecture, like multiplexing or pipelining. In this document, a Quantum von Neumann architecture is introduced which uses specialized hardware for the different tasks of a quantum computer, like computation or storage. Furthermore, it requires long qubit coherence and the capability to move quantum information between the different parts of the quantum computer. As an example, a Quantum von Neumann architecture for trapped ions is presented which incorporates multiplexing in the memory region for large-scale quantum computation. To illustrate the capability of this architecture, a model trapped ion quantum computer based on Quantum von Neumann architecture, the Quantum 4004, is introduced. Its hardware is optimized for simplicity and uses the classical Intel 4004 CPU from 1971 as a blueprint. The Quantum 4004 has only a single processing zone and is structured in 4 qubit packages. Its quantum memory can store up to 32768 qubit ions and its computation speed is 10 $\mu$s for single qubit operations and 20 $\mu$s for two-qubit operations.


title: Predicting Audience's Laughter Using Convolutional Neural Network

abstract: For the purpose of automatically evaluating speakers' humor usage, we build a presentation corpus containing humorous utterances based on TED talks. Compared to previous data resources supporting humor recognition research, ours has several advantages, including (a) both positive and negative instances coming from a homogeneous data set, (b) containing a large number of speakers, and (c) being open. Focusing on using lexical cues for humor recognition, we systematically compare a newly emerging text classification method based on Convolutional Neural Networks (CNNs) with a well-established conventional method using linguistic knowledge. The advantages of the CNN method are both getting higher detection accuracies and being able to learn essential features automatically.


title: Bow Ties in the Sky II: Searching for Gamma-ray Halos in the Fermi Sky Using Anisotropy

abstract: Many-degree-scale gamma-ray halos are expected to surround extragalactic high-energy gamma ray sources. These arise from the inverse Compton emission of an intergalactic population of relativistic electron/positron pairs generated by the annihilation of >100 GeV gamma rays on the extragalactic background light. These are typically anisotropic due to the jetted structure from which they originate or the presence of intergalactic magnetic fields. Here we propose a novel method for detecting these inverse-Compton gamma-ray halos based upon this anisotropic structure. Specifically, we show that by stacking suitably defined angular power spectra instead of images it is possible to robustly detect gamma-ray halos with existing Fermi Large Area Telescope (LAT) observations for a broad class of intergalactic magnetic fields. Importantly, these are largely insensitive to systematic uncertainties within the LAT instrumental response or associated with contaminating astronomical sources.


title: Constraints on the Intergalactic Magnetic Field from Bow Ties in the Gamma-ray Sky

abstract: Pair creation on the cosmic infrared background and subsequent inverse-Compton scattering on the CMB potentially reprocesses the TeV emission of blazars into faint GeV halos with structures sensitive to intergalactic magnetic fields (IGMF). Previous work has shown that these halos are then highly-anisotropic and extended. If the coherence length of the IGMF is greater than the inverse-Compton cooling length of the pairs, then the orientation of the gamma-ray halo will be correlated with the direction of the magnetic field which is unknown and expected to change for each source. In order to constructively add each source we then use angular power spectra which are insensitive to the jet orientation. By looking at known GeV blazars detected by Fermi, we exclude the existence of an IGMF with coherence lengths $>100$ Mpc at greater than $3.9\sigma$ with current-day strengths in the range $10^{-16}$ to $10^{-15}$ G, and at 2$\sigma$ from $10^{-17}$ to $10^{-14}$ G. This provides a direct measurement of the non-existence of gamma-ray halos, providing an important check on previous results.


title: Radio and X-ray properties of the source G29.37+0.1 linked to HESS J1844-030

abstract: Using observations carried out with the GMRT, we performed high-quality full-synthesis imaging at 610 MHz of the source G29.37+0.1, which is an as-yet-unclassified object linked to the TeV source HESS J1844-030. These data, combined with observations at 1400 MHz from MAGPIS were used to investigate the properties of its radio emission. Additionally, we reprocessed XMM-Newton and Chandra archival data. G29.37+0.1 mainly consists of a bright twisted structure, named the S-shaped feature. The high sensitivity of the new GMRT observations allowed the identification of potential lobes, jets, and a nuclear central region in the S-shaped morphology of G29.37+0.1. We also highlight the detection of diffuse and low surface brightness emission enveloping the brightest emitting regions. The brightest emission in G29.37+0.1 has a radio synchrotron spectral index 0.59+/-0.09. Variations in the spectral behavior are observed across the whole radio source with the flattest spectral features in the central nuclear and jets components (alpha~0.3). These results lead us to conclude that the brightest radio emission from G29.37+0.1 likely represents a newly recognized radio galaxy. The identification of optical and infrared counterparts to the emission from the core of G29.37+0.1 strengthens our interpretation of an extragalactic origin of the radio emission. Our spectral analysis demonstrated that a non-thermal origin for the X-ray emission compatible with a pulsar wind nebula is quite possible. The analysis of the spatial distribution of the CO gas revealed the presence of a complex of molecular clouds located in projection adjacent to the radio halo emission and probably interacting with it. We propose that the faint halo represents a composite supernova remnant with a pulsar powered component given by the diffuse X-ray emission superimposed along the line of sight to the radio galaxy.


title: Flashield: a Key-value Cache that Minimizes Writes to Flash

abstract: As its price per bit drops, SSD is increasingly becoming the default storage medium for cloud application databases. However, it has not become the preferred storage medium for key-value caches, even though SSD offers more than 10x lower price per bit and sufficient performance compared to DRAM. This is because key-value caches need to frequently insert, update and evict small objects. This causes excessive writes and erasures on flash storage, since flash only supports writes and erasures of large chunks of data. These excessive writes and erasures significantly shorten the lifetime of flash, rendering it impractical to use for key-value caches. We present Flashield, a hybrid key-value cache that uses DRAM as a "filter" to minimize writes to SSD. Flashield performs light-weight machine learning profiling to predict which objects are likely to be read frequently before getting updated; these objects, which are prime candidates to be stored on SSD, are written to SSD in large chunks sequentially. In order to efficiently utilize the cache's available memory, we design a novel in-memory index for the variable-sized objects stored on flash that requires only 4 bytes per object in DRAM. We describe Flashield's design and implementation and, we evaluate it on a real-world cache trace. Compared to state-of-the-art systems that suffer a write amplification of 2.5x or more, Flashield maintains a median write amplification of 0.5x without any loss of hit rate or throughput.


title: Clausal Analysis of First-order Proof Schemata

abstract: Proof schemata are a variant of LK-proofs able to simulate various induction schemes in first-order logic by adding so called proof links to the standard first-order LK-calculus. Proof links allow proofs to reference proofs thus giving proof schemata a recursive structure. Unfortunately, applying reductive cut- elimination is non-trivial in the presence of proof links. Borrowing the concept of lazy instantiation from functional programming, we evaluate proof links locally allowing reductive cut-elimination to proceed past them. Though, this method cannot be used to obtain cut-free proof schemata, we nonetheless obtain important results concerning the schematic CERES method, that is a method of cut-elimination for proof schemata based on resolution. In "Towards a clausal analysis of cut-elimination", it was shown that reductive cut-elimination transforms a given LK-proof in such a way that a subsumption relation holds between the pre- and post-transformation characteristic clause sets, i.e. the clause set representing the cut-structure of an LK-proof. Let CL(A') be the characteristic clause set of a normal form A' of an LK-proof A that is reached by performing reductive cut-elimination on A without atomic cut elimination. Then CL(A') is subsumed by all characteristic clause sets extractable from any application of reductive cut-elimination to A. Such a normal form is referred to as an ACNF top and plays an essential role in methods of cut-elimination by resolution. These results can be extended to proof schemata through our "lazy instantiation" of proof links, and provides an essential step toward a complete cut-elimination method for proof schemata.


title: Test statistics and p-values

abstract: We point out that the traditional notion of test statistic is too narrow, and we propose a natural generalization that is arguably maximal. The study is restricted to simple statistical hypotheses.


title: Fidelity Lower Bounds for Stabilizer and CSS Quantum Codes

abstract: In this paper we estimate the fidelity of stabilizer and CSS codes. First, we derive a lower bound on the fidelity of a stabilizer code via its quantum enumerator. Next, we find the average quantum enumerators of the ensembles of finite length stabilizer and CSS codes. We use the average quantum enumerators for obtaining lower bounds on the average fidelity of these ensembles. We further improve the fidelity bounds by estimating the quantum enumerators of expurgated ensembles of stabilizer and CSS codes. Finally, we derive fidelity bounds in the asymptotic regime when the code length tends to infinity. These results tell us which code rate we can afford for achieving a target fidelity with codes of a given length. The results also show that in symmetric depolarizing channel a typical stabilizer code has better performance, in terms of fidelity and code rate, compared with a typical CSS codes, and that balanced CSS codes significantly outperform other CSS codes. Asymptotic results demonstrate that CSS codes have a fundamental performance loss compared to stabilizer codes.


title: Conditions for the Absence of Blowing Up Solutions to Fractional Differential Equations

abstract: When addressing ordinary differential equations in infinite dimensional Banach spaces, an interesting question that arises concerns the existence (or non existence) of blowing up solutions in finite time. In this manuscript we discuss this question for the fractional differential equation $cD_t^\alpha u = f(t,u)$ proving that when $f$ is locally Lipschitz, however does not maps bounded sets into bounded sets, we can construct a maximal local solution that not "blows up" in finite time.


title: The Application of the Montage Image Mosaic Engine To The Visualization Of Astronomical Images

abstract: The Montage Image Mosaic Engine was designed as a scalable toolkit, written in C for performance and portability across *nix platforms, that assembles FITS images into mosaics. The code is freely available and has been widely used in the astronomy and IT communities for research, product generation and for developing next-generation cyber-infrastructure. Recently, it has begun to finding applicability in the field of visualization. This has come about because the toolkit design allows easy integration into scalable systems that process data for subsequent visualization in a browser or client. And it includes a visualization tool suitable for automation and for integration into Python: mViewer creates, with a single command, complex multi-color images overlaid with coordinate displays, labels, and observation footprints, and includes an adaptive image histogram equalization method that preserves the structure of a stretched image over its dynamic range. The Montage toolkit contains functionality originally developed to support the creation and management of mosaics but which also offers value to visualization: a background rectification algorithm that reveals the faint structure in an image; and tools for creating cutout and down-sampled versions of large images. Version 5 of Montage offers support for visualizing data written in HEALPix sky-tessellation scheme, and functionality for processing and organizing images to comply with the TOAST sky-tessellation scheme required for consumption by the World Wide Telescope (WWT). Four online tutorials enable readers to reproduce and extend all the visualizations presented in this paper.


title: Variational discretization of the nonequilibrium thermodynamics of simple systems

abstract: In this paper, we develop variational integrators for the nonequilibrium thermodynamics of simple closed systems. These integrators are obtained by a discretization of the Lagrangian variational formulation of nonequilibrium thermodynamics developed in \cite{GBYo2016a}, and thus extend the variational integrators of Lagrangian mechanics, to include irreversible processes. In the continuous setting, we derive the structure preserving property of the flow of such systems. This property is an extension of the symplectic property of the flow of the Euler-Lagrange equations. In the discrete setting, we show that the discrete flow solution of our numerical scheme verifies a discrete version of this property. We also present the regularity conditions which ensure the existence of the discrete flow. We finally illustrate our discrete variational schemes with the implementation of an example of a simple and closed system.


title: Discrete Localities I

abstract: This is part I of a three-part series of papers, whose aim is to develop a theory of discrete localities. These generalize the p-local compact groups of Broto, Levi, and Oliver.


title: Approximation Dynamics

abstract: We describe the approximation of a continuous dynamical system on a p. l. manifold or Cantor set by a tractable system. A system is tractable when it has a finite number of chain components and, with respect to a given full background measure, almost every point is generic for one of a finite number of ergodic invariant measures. The approximations use non-degenerate simplicial dynamical systems for p. l. manifolds and shift-like dynamical systems for Cantor Sets.


title: Structurally Observable Distributed Networks of Agents under Cost and Robustness Constraints

abstract: In many problems, agents cooperate locally so that a leader or fusion center can infer the state of every agent from probing the state of only a small number of agents. Versions of this problem arise when a fusion center reconstructs an extended physical field by accessing the state of just a few of the sensors measuring the field, or a leader monitors the formation of a team of robots. Given a link cost, the paper presents a polynomial time algorithm to design a minimum cost coordinated network dynamics followed by the agents, under an observability constraint. The problem is placed in the context of structural observability and solved even when up to k agents in the coordinated network dynamics fail.


title: On $\mathbb{Z}_{2}$-graded polynomial identities of $sl_{2}(F)$ over a finite field

abstract: Let $F$ be a finite field of $char F > 3$ and $sl_{2}(F)$ be the Lie algebra of traceless $2\times 2$ matrices over $F$. In this paper, we find a basis for the $\mathbb{Z}_{2}$-graded identities of $sl_{2}(F)$.


title: Characters, $L^2$-Betti numbers and an equivariant approximation theorem

abstract: Let $G$ be a group with a finite subgroup $H$. We define the $L^2$-multiplicity of an irreducible representation of $H$ in the $L^2$-homology of a proper $G$-CW-complex. These invariants generalize the $L^2$-Betti numbers. Our main results are approximation theorems for $L^2$-multiplicities which extend the approximation theorems for $L^2$-Betti numbers of L\"uck, Farber and Elek-Szab\'o respectively. The main ingredient is the theory of characters of infinite groups and a method to induce characters from finite subgroups. We discuss applications to the cohomology of (arithmetic) groups.


title: Metacalibration: Direct Self-Calibration of Biases in Shear Measurement

abstract: One of the primary limiting sources of systematic uncertainty in forthcoming weak lensing measurements is systematic uncertainty in the quantitative relationship between the distortions due to gravitational lensing and the measurable properties of galaxy images. We present a statistically principled, general solution to this problem. Our technique infers multiplicative shear calibration parameters by modifying the actual survey data to simulate the effects of a known shear. It can be applied to any shear estimation method based on weighted averages of galaxy shape measurements, which includes all methods used to date for shear estimation with real data. Use of the real images mitigates uncertainty due to unknown galaxy morphology, which is a serious concern for calibration of shear estimates based on image simulations. We test our results on simulated images from the GREAT3 challenge, and show that the method eliminates calibration biases for several different shape measurement techniques at the level of precision measurable with the GREAT3 simulations (a few tenths of a percent).


title: Practical Weak Lensing Shear Measurement with Metacalibration

abstract: Metacalibration is a recently introduced method to accurately measure weak gravitational lensing shear using only the available imaging data, without need for prior information about galaxy properties or calibration from simulations. The method involves distorting the image with a small known shear, and calculating the response of a shear estimator to that applied shear. The method was shown to be accurate in moderate sized simulations with galaxy images that had relatively high signal-to-noise ratios, and without significant selection effects. In this work we introduce a formalism to correct for both shear response and selection biases. We also observe that, for images with relatively low signal-to-noise ratios, the correlated noise that arises during the metacalibration process results in significant bias, for which we develop a simple empirical correction. To test this formalism, we created large image simulations based on both parametric models and real galaxy images, including tests with realistic point-spread functions. We varied the point-spread function ellipticity at the five percent level. In each simulation we applied a small, few percent shear to the galaxy images. We introduced additional challenges that arise in real data, such as detection thresholds, stellar contamination, and missing data. We applied cuts on the measured galaxy properties to induce significant selection effects. Using our formalism, we recovered the input shear with an accuracy better than a part in a thousand in all cases.


title: Lax orthogonal factorisations in ordered structures

abstract: We give an account of lax orthogonal factorisation systems on order-enriched categories. Among them, we define and characterise the KZ-reflective ones, in a way that mirrors the characterisation of reflective orthogonal factorisation systems. We use simple monads to construct lax orthogonal factorisation systems, such as one on the category of T_0 topological spaces closely related to continuous lattices.


title: Superconvergence analysis of partially penalized immersed finite element method

abstract: The contribution of this paper contains two parts: first, we prove a supercloseness result for the partially penalized immersed finite element (PPIFE) method in [T. Lin, Y. Lin, and X. Zhang, SIAM J. Numer. Anal., 53 (2015), 1121--1144]; then based on the supercloseness result, we show that the gradient recovery method proposed in our previous work [H. Guo and X. Yang, arXiv: 1608.00063] can be applied to the PPIFE method and the recovered gradient converges to the exact gradient with a superconvergent rate $\mathcal{O}(h^{3/2})$. Hence, the gradient recovery method provides an asymptotically exact a posteriori error estimator for the PPIFE method. Several numerical examples are presented to verify our theoretical result.


title: Causal Regularization

abstract: In application domains such as healthcare, we want accurate predictive models that are also causally interpretable. In pursuit of such models, we propose a causal regularizer to steer predictive models towards causally-interpretable solutions and theoretically study its properties. In a large-scale analysis of Electronic Health Records (EHR), our causally-regularized model outperforms its L1-regularized counterpart in causal accuracy and is competitive in predictive performance. We perform non-linear causality analysis by causally regularizing a special neural network architecture. We also show that the proposed causal regularizer can be used together with neural representation learning algorithms to yield up to 20% improvement over multilayer perceptron in detecting multivariate causation, a situation common in healthcare, where many causal factors should occur simultaneously to have an effect on the target variable.


title: Implicit multiderivative collocation solvers for linear partial differential equations with discontinuous Galerkin spatial discretizations

abstract: In this work, we construct novel discretizations for the unsteady convection-diffusion equation. Our discretization relies on multiderivative time integrators together with a novel discretization that reduces the total number of unknowns for the solver. These type of temporal discretizations come from an umbrella class of methods that include Lax-Wendroff (Taylor) as well as Runge-Kutta methods as special cases. We include two-point collocation methods with multiple time derivatives as well as a sixth-order fully implicit collocation method that only requires a total of three stages. Numerical results for a number of sample linear problems indicate the expected order of accuracy and indicate we can take arbitrarily large time steps.


title: Third nearest neighbor parameterized tight biding model for graphene nano-ribbons

abstract: The ab initio band structure of 2D graphene sheet is well reproduced by the third nearest neighbor tight binding model proposed by Reich et al [Phys. Rev. B 66, 035412]. For ribbon structures, the existing sets of tight binding parameters can successfully explain semi-conducting behavior of all armchair ribbon structures. However, they are still failing in describing accurately the slope of the bands while this feature is directly associated to the group velocity and the effective mass of electrons. In this work, both density functional theory and tight binding calculations were performed and a new set of tight binding parameters up to the third nearest neighbors including overlap terms is introduced. The results obtained with this model offer excellent agreement with the predictions of the density functional theory in most cases of ribbon structures, even in the high-energy region. Moreover, this set can induce electron-hole asymmetry as manifested in density functional theory. Relevant outcomes are also demonstrated for armchair ribbons of various widths as well as for zigzag structures, thus opening a route for multi-scale simulations.


title: On symmetric intersecting families

abstract: We make some progress on a question of Babai from the 1970s, namely: for $n, k \in \mathbb{N}$ with $k \le n/2$, what is the largest possible cardinality $s(n,k)$ of an intersecting family of $k$-element subsets of $\{1,2,\ldots,n\}$ admitting a transitive group of automorphisms? We give upper and lower bounds for $s(n,k)$, and show in particular that $s(n,k) = o (\binom{n-1}{k-1})$ as $n \to \infty$ if and only if $k = n/2 - \omega(n)(n/\log n)$ for some function $\omega(\cdot)$ that increases without bound, thereby determining the threshold at which `symmetric' intersecting families are negligibly small compared to the maximum-sized intersecting families. We also exhibit connections to some basic questions in group theory and additive number theory, and pose a number of problems.


title: Simons' equation and minimal hypersurfaces in space forms

abstract: In this paper, we show that the catenoids and the Clifford minimal hypersurfaces are the only complete minimal hypersurfaces satisfying the Simons' equation (3.9) in the space forms.


title: The extended law of star formation: the combined role of gas and stars

abstract: We present a model for the origin of the extended law of star formation in which the surface density of star formation ($\Sigma_{\rm SFR}$) depends not only on the local surface density of the gas ($\Sigma_{g}$), but also on the stellar surface density ($\Sigma_{*}$), the velocity dispersion of the stars, and on the scaling laws of turbulence in the gas. We compare our model with the spiral, face-on galaxy NGC 628 and show that the dependence of the star formation rate on the entire set of physical quantities for both gas and stars can help explain both the observed general trends in the $\Sigma_{g}-\Sigma_{\rm SFR}$ and $\Sigma_{*}-\Sigma_{\rm SFR}$ relations, but also, and equally important, the scatter in these relations at any value of $\Sigma_{g}$ and $\Sigma_{*}$. Our results point out to the crucial role played by existing stars along with the gaseous component in setting the conditions for large scale gravitational instabilities and star formation in galactic disks.


title: On the unique continuation property of solutions of the three-dimensional Zakharov-Kuznetsov equation

abstract: We prove that if the difference of two sufficiently smooth solutions of the three-dimensional Zakharov-Kuznetsov equation $$\partial_{t}u+\partial_{x}\triangle u+u\partial_{x}u=0 \text{,}\quad (x,y,z)\in\mathbb R^3, \;t\in[0,1],$$ decays as $e^{-a(x^2+y^2+z^2)^{3/4}}$ at two different times, for some $a>0$ large enough, then both solutions coincide.


title: Borel Globalizations of Partial Actions of Polish Groups

abstract: We show that the enveloping space $X_G$ of a partial action of a Polish group $G$ on a Polish space $X$ is a standard Borel space, that is to say, there is a topology $\tau$ on $X_G$ such that $(X_G, \tau)$ is Polish and the quotient Borel structure on $X_G$ is equal to $Borel(X_G,\tau)$. To prove this result we show a generalization of a theorem of Burgess about Borel selectors for the orbit equivalence relation induced by a group action and also show that some properties of the Vaught's transform are valid for partial actions of groups.


title: Magnetic Lifshitz transition and its consequences in multi-band iron-based superconductors

abstract: In this paper we address Lifshitz transition induced by applied external magnetic field in a case of iron-based superconductors, in which a difference between the Fermi level and the edges of the bands is relatively small. We introduce and investigate a two-band model with intra-band pairing in the relevant parameters regime to address a generic behaviour of a system with hole-like and electron-like bands in external magnetic field. Our results show that two Lifshitz transitions can develop in analysed systems and the first one occurs in the superconducting phase and takes place at approximately constant magnetic field. The chosen sets of the model parameters can describe characteristic band structure of iron-based superconductors and thus the obtained results can explain the experimental observations in FeSe and Co-doped BaFe$_{2}$As$_{2}$ compounds.


title: Thermal Pressure in Diffuse H2 Gas Measured by Herschel [C II] Emission and FUSE UV H2 Absorption

abstract: UV absorption studies with FUSE have observed H2 molecular gas in translucent and diffuse clouds. Observations of the 158 micron [C II] fine structure line with Herschel also trace the same H2 molecular gas in emission. We present [C II] observations along 27 lines of sight (LOSs) towards target stars of which 25 have FUSE H2 UV absorption. We detect [C II] emission features in all but one target LOS. For three Target LOSs, which are close to the Galactic plane, we also present position-velocity maps of [C II] emission observed by HIFI in on-the-fly spectral line mapping. We use the velocity resolved [C II] spectra towards the target LOSs observed by FUSE to identify C II] velocity components associated with the H2 clouds. We analyze the observed velocity integrated [C II] spectral line intensities in terms of the densities and thermal pressures in the H2 gas using the H2 column densities and temperatures measured by the UV absorption data. We present the H2 gas densities and thermal pressures for 26 target LOSs and from the [C II] intensities derive a mean thermal pressure in the range 6100 to 7700 K cm^-3 in diffuse H2 clouds. We discuss the thermal pressures and densities towards 14 targets, comparing them to results obtained using the UV absorption data for two other tracers CI and CO.


title: The number of convex tilings of the sphere by triangles, squares, or hexagons

abstract: A tiling of the sphere by triangles, squares, or hexagons is convex if every vertex has at most 6, 4, or 3 polygons adjacent to it, respectively. Assigning an appropriate weight to any tiling, our main result is explicit formulas for the weighted number of convex tilings with a given number of tiles. To prove these formulas, we build on work of Thurston, who showed that the convex triangulations correspond to orbits of vectors of positive norm in a Hermitian lattice $\Lambda\subset \mathbb{C}^{1,9}$. First, we extend this result to convex square- and hexagon-tilings. Then, we explicitly compute the relevant lattice $\Lambda$. Next, we integrate the Siegel theta function for $\Lambda$ to produce a modular form whose Fourier coefficients encode the weighted number of tilings. Finally, we determine the formulas using finite-dimensionality of spaces of modular forms.


title: The bimodal color distribution of small Kuiper Belt objects

abstract: We conducted a two-night photometric survey of small Kuiper Belt objects (KBOs) near opposition using the wide-field Hyper Suprime-Cam instrument on the 8.2 m Subaru Telescope. The survey covered about 90 deg^2 of sky, with each field imaged in the g and i bands. We detected 356 KBOs, ranging in absolute magnitude from 6.5 to 10.4. Filtering for high-inclination objects within the hot KBO population, we show that the g-i color distribution is strongly bimodal, indicative of two color classes - the red and very red subpopulations. After categorizing objects into the two subpopulations by color, we present the first dedicated analysis of the magnitude distributions of the individual color subpopulations and demonstrate that the two distributions are roughly identical in shape throughout the entire size range covered by our survey. Comparing the color distribution of small hot KBOs with that of Centaurs, we find that they have similar bimodal shapes, thereby providing strong confirmation of previous explanations for the attested bimodality of Centaurs. We also show that the magnitude distributions of the two KBO color subpopulations and the two color subpopulations observed in the Jupiter Trojans are statistically indistinguishable. Finally, we discuss a hypothesis describing the origin of the KBO color bimodality based on our survey results.


title: Enumeration of groups whose order factorises in at most 4 primes

abstract: Let $N(n)$ denote the number of isomorphism types of groups of order $n$. We consider the integers $n$ that are products of at most $4$ not necessarily distinct primes and exhibit formulas for $N(n)$ for such $n$.


title: Atmospheric Trident Production for Probing New Physics

abstract: We propose to use atmospheric neutrinos as a powerful probe of new physics beyond the Standard Model via neutrino trident production. The final state with double muon tracks simultaneously produced from the same vertex is a distinctive signal at large Cherenkov detectors. We calculate the expected event numbers of trident production in the Standard Model. To illustrate the potential of this process to probe new physics we obtain the sensitivity on new vector/scalar bosons with coupling to muon and tau neutrinos.


title: The COS-Halos Survey: Metallicities in the Low-Redshift Circumgalactic Medium

abstract: We analyze new far-ultraviolet spectra of 13 quasars from the z~0.2 COS-Halos survey that cover the HI Lyman limit of 14 circumgalactic medium (CGM) systems. These data yield precise estimates or more constraining limits than previous COS-Halos measurements on the HI column densities NHI. We then apply a Monte-Carlo Markov Chain approach on 32 systems from COS-Halos to estimate the metallicity of the cool (T~10^4K) CGM gas that gives rise to low-ionization state metal lines, under the assumption of photoionization equilibrium with the extragalactic UV background. The principle results are: (1) the CGM of field L* galaxies exhibits a declining HI surface density with impact parameter Rperp (at >99.5%$ confidence), (2) the transmission of ionizing radiation through CGM gas alone is 70+/-7%; (3) the metallicity distribution function of the cool CGM is unimodal with a median of 1/3 Z_Sun and a 95% interval from ~1/50 Z_Sun to over 3x solar. The incidence of metal poor (<1/100 Z_Sun) gas is low, implying any such gas discovered along quasar sightlines is typically unrelated to L* galaxies; (4) we find an unexpected increase in gas metallicity with declining NHI (at >99.9% confidence) and, therefore, also with increasing Rperp. The high metallicity at large radii implies early enrichment; (5) A non-parametric estimate of the cool CGM gas mass is M_CGM_cool = 9.2 +/- 4.3 10^10 Msun, which together with new mass estimates for the hot CGM may resolve the galactic missing baryons problem. Future analyses of halo gas should focus on the underlying astrophysics governing the CGM, rather than processes that simply expel the medium from the halo.


title: Understanding low-temperature bulk transport in samarium hexaboride without relying on in-gap bulk states

abstract: We present a new model to explain the difference between the transport and spectroscopy gaps in samarium hexaboride (SmB$_6$), which has been a mystery for some time. We propose that SmB$_6$ can be modeled as an intrinsic semiconductor with a depletion length that diverges at cryogenic temperatures. In this model, we find a self-consistent solution to Poisson's equation in the bulk, with boundary conditions based on Fermi energy pinning due to surface charges. The solution yields band bending in the bulk; this explains the difference between the two gaps because spectroscopic methods measure the gap near the surface, while transport measures the average over the bulk. We also connect the model to transport parameters, including the Hall coefficient and thermopower, using semiclassical transport theory. The divergence of the depletion length additionally explains the 10-12 K feature in data for these parameters, demonstrating a crossover from bulk dominated transport above this temperature to surface-dominated transport below this temperature. We find good agreement between our model and a collection of transport data from 4-40 K. This model can also be generalized to materials with similar band structure.


title: nIFTy Cosmology: the clustering consistency of galaxy formation models

abstract: We present a clustering comparison of 12 galaxy formation models (including Semi-Analytic Models (SAMs) and Halo Occupation Distribution (HOD) models) all run on halo catalogues and merger trees extracted from a single {\Lambda}CDM N-body simulation. We compare the results of the measurements of the mean halo occupation numbers, the radial distribution of galaxies in haloes and the 2-Point Correlation Functions (2PCF). We also study the implications of the different treatments of orphan (galaxies not assigned to any dark matter subhalo) and non-orphan galaxies in these measurements. Our main result is that the galaxy formation models generally agree in their clustering predictions but they disagree significantly between HOD and SAMs for the orphan satellites. Although there is a very good agreement between the models on the 2PCF of central galaxies, the scatter between the models when orphan satellites are included can be larger than a factor of 2 for scales smaller than 1 Mpc/h. We also show that galaxy formation models that do not include orphan satellite galaxies have a significantly lower 2PCF on small scales, consistent with previous studies. Finally, we show that the 2PCF of orphan satellites is remarkably different between SAMs and HOD models. Orphan satellites in SAMs present a higher clustering than in HOD models because they tend to occupy more massive haloes. We conclude that orphan satellites have an important role on galaxy clustering and they are the main cause of the differences in the clustering between HOD models and SAMs.


title: Relationships Between Characteristic Path Length, Efficiency, Clustering Coefficients, and Graph Density

abstract: The graph theoretic properties of the clustering coefficient, characteristic (or average) path length, global and local efficiency, provide valuable information regarding the structure of a graph. These four properties have applications to biological and social networks and have dominated much of the the literature in these fields. While much work has done in applied settings, there has yet to be a mathematical comparison of these metrics from a theoretical standpoint. Motivated by networks appearing in neuroscience, we show in this paper that these properties can be linked together using a single property - graph density.


title: Saigo Space-Time Fractional Poisson Process via Adomian Decomposition Method

abstract: We obtain the state probabilities of various fractional versions of the classical homogeneous Poisson process using an alternate and simpler method known as the Adomian decomposition method (ADM). Generally these state probabilities are obtained by evaluating probability generating function using Laplace transform. A generalization of the space and time fractional Poisson process involving the Caputo type Saigo differential operator is introduced and its state probabilities are obtained using ADM.


title: Change Ringing and Hamiltonian Cycles : The Search for Erin and Stedman Triples

abstract: A very old problem in campanology is the search for peals. The latter can be thought of as a heavily constrained sequence of all possible permutations of a given size, where the exact nature of the constraints depends on which method of ringing is desired. In particular, we consider the methods of bobs-only Stedman Triples and Erin Triples; the existence of the latter is still an open problem. We show that this problem can be viewed as a similarly constrained form of the Hamiltonian cycle problem (HCP). Through the use of special subgraphs, we convert this to a standard instance of HCP. The original problem can be partitioned into smaller instances, and so we use this technique to produce smaller instances of HCP as well. We note that the instances known to have solutions provide exceptionally difficult instances of HCP.


title: Integrated Microsimulation Framework for Dynamic Pedestrian Movement Estimation in Mobility Hub

abstract: We present an integrated microsimulation framework to estimate the pedestrian movement over time and space with limited data on directional counts. Using the activity-based approach, simulation can compute the overall demand and trajectory of each agent, which are in accordance with the available partial observations and are in response to the initial and evolving supply conditions and schedules. This simulation contains a chain of processes including: activities generation, decision point choices, and assignment. They are considered in an iteratively updating loop so that the simulation can dynamically correct its estimates of demand. A Markov chain is constructed for this loop. These considerations transform the problem into a convergence problem. A Metropolitan Hasting algorithm is then adapted to identify the optimal solution. This framework can be used to fill the lack of data or to model the reactions of demand to exogenous changes in the scenario. Finally, we present a case study on Montreal Central Station, on which we tested the developed framework and calibrated the models. We then applied it to a possible future scenario for the same station.


title: Algebraic Atiyah-Singer index theorem

abstract: The aim of this work is to give an algebraic weak version of the Atiyah-Singer index theorem. We compute then a few small examples with the elliptic differential operator of order $\leq 1$ coming from the Atiyah class in $\mathrm{Ext}^1_{\mathcal{O}_X}(\mathcal{O}_X,\Omega^1_{X/k})$, where $X \longrightarrow \mathrm{Spec}(k)$ is a smooth projective scheme over a perfect field $k$.