title: On the algebraic properties of the ring of Dirichlet convolutions

abstract: Let $R$ be a commutative ring and $\Gamma$ a commutative monoid of finite type. We study algebraic properties of modules and derivations over the associated ring $\mathcal F(\Gamma,R)$ of Dirichlet convolutions. If $\Gamma$ is cancellative and $G(\Gamma)$ is its associated Grothendieck group, we construct a natural extension $\mathcal F^f(G(\Gamma),R)$ of $\mathcal F(\Gamma,R)$ and we study its basic properties. Further properties are discussed in the case $\Gamma=\mathbb N^*$ and $G(\Gamma)=\mathbb Q^*_+$. In particular, we show that $\mathcal F^f(\mathbb Q^*_+,R)\cong R[[x_1,x_2,\ldots,]][x_1^{-1},x_2^{-1},\ldots]$.


title: A calculation of the gauge anomaly with the chiral overlap operator

abstract: We investigate the property of the effective action with the chiral overlap operator, which was derived by Grabowska and Kaplan. They proposed a lattice formulation of four-dimensional chiral gauge theory, which is derived from their domain-wall formulation. In this formulation, an extra dimension is introduced and the gauge field along the extra dimension is evolved by the gradient flow. The chiral overlap operator satisfies the Ginsparg-Wilson relation and only depends on the gauge fields on the two boundaries. In this paper, we start from the arbitrary even-dimensional chiral overlap operator. We treat the gauge fields on the two boundaries independently, and derive the general expression to calculate the gauge anomaly with the chiral overlap operator in the continuum limit. As a result, we show that the gauge anomalies with the chiral overlap operator in two, four, and six dimensions in the continuum limit is equivalent to those known in the continuum theory up to total derivatives.


title: New lower bounds on the size of (n,r)-arcs in PG(2,q)

abstract: An (n,r)-arc in PG(2,q) is a set of n points such that each line contains at most r of the selected points. It is well-known that (n,r)-arcs in PG(2,q) correspond to projective linear codes. Let m_r(2,q) denote the maximal number n of points for which an (n,r)-arc in PG(2,q) exists. In this paper we obtain improved lower bounds on m_r(2,q) by explicitly constructing (n,r)-arcs. Some of the constructed (n,r)-arcs correspond to linear codes meeting the Griesmer bound. All results are obtained by integer linear programming.


title: Strict density inequalities for sampling and interpolation in weighted spaces of holomorphic functions

abstract: Answering a question of Lindholm, we prove strict density inequalities for sampling and interpolation in Fock spaces of entire functions in several complex variables defined by a plurisubharmonic weight. In particular, these spaces do not admit a set that is simultaneously sampling and interpolating. To prove optimality of the density conditions, we construct sampling sets with a density arbitrarily close to the critical density. The techniques combine methods from several complex variables (estimates for $\bar \partial$) and the theory of localized frames in general reproducing kernel Hilbert spaces (with no analyticity assumed). The abstract results on Fekete points and deformation of frames may be of independent interest.


title: A Deep Ly$\alpha$ Survey in ECDF-S and COSMOS: I. General Properties of Lyman-alpha Emitters at $z\sim2$

abstract: Ly$\alpha$ Emitters (LAEs) may represent an important galaxy population in the low mass regime. We present our deep narrowband imaging surveys in the COSMOS and ECDF-S fields and study the properties of LAEs at $z=2.23\pm0.03$. The narrowband surveys conducted at Magellan II telescope allow us to obtain a sample of 452 LAEs reaching a $5\sigma$ limiting magnitude of $\sim26$ mag. Our Ly$\alpha$ luminosity functions extend to $10^{41.8}$ erg s$^{-1}$ with steep faint-end slope. Using multi-wavelength ancillary data, especially the deep Spitzer/IRAC 3.6$\mu$m and 4.5$\mu$m photometric data, we obtained reliable stellar mass estimates for 130 IRAC-detected LAEs, spanning a range of $8 < {\rm log}(M_\star/M_\odot)< 11.5$. For the remaining IRAC-undetected LAEs, the median-stacked spectral energy distribution yields a stellar mass of ${\rm log}(M_\star/M_\odot)=7.97^{+0.05}_{-0.07}$ and the rest-frame ultraviolet emission indicates a median star formation rate of ${\rm log} (SFR/M_\odot$ yr$^{-1})=-0.14\pm0.35$. There are six LAEs detected by the Spitzer/MIPS 24$\mu$m or even Herschel far-infrared observations. Taking into account the six MIR/FIR detected LAEs, our LAEs cover a wide range in the star formation rate (${\rm 1<SFR<2000}$ M$_\odot$ yr$^{-1}$). Although LAEs as a population are diverse in their stellar properties, they are mostly low-mass star-forming galaxies and follow the star formation main sequence relations or their extrapolations to the low-mass end, implying a normal star-forming nature of LAEs. The clustering analysis indicates that our LAEs reside in dark matter halos with ${\rm <\log(M_{h}/M_{\odot})> =10.8^{+0.56}_{-1.1}}$, suggesting that they are progenitors of local Large Magellanic Cloud-like galaxies.


title: Determinat Bundles and Geometric Quantization Of Vortex Moduli Spaces ON Compact Kahler Surfaces

abstract: In this paper we first show that on projective manifolds (M, {\omega}), there are holomorphic determinant bundles (in the sense of Knusden-Mumford used by Bismut, Gillet, Soule) which play the role of the geometric quantum bundle, namely one for each input data of a Hermitian holomorphic line bundle L of non-trivial Chern class on a compact Kahler manifold Z (with Todd genus non-zero) and a choice of a geometric quantization of (M, {\omega}). Next we further study the generalization of the vortex equations on Kahler 4-manifold which has been studied earlier by Bradlow. We show that when the Kahler 4-manifold avoids some obstructions then the regular part of the moduli space is a Kahler manifold and admit a pull back of a Quillen determinant bundle as the quantum line bundle, i.e. the curvature is proportional to the Kahler form. Thus they can be quantized geometrically. In fact we show that the moduli space of the usual vortex equations on a projective Kahler 4-manifold is projective when the moduli space is smooth. Since in Kahler 4-manifold the vortex moduli and the Seiberg Witten moduli coincide our effort gives a quantization of Seiberg Witten moduli by determinant bundles

categories: math.AT math-ph math.AG math.DG math.MP math.SG


title: An application of $L^1$ estimates for oscillating integrals to parabolic like semi-linear structurally damped $\sigma$-evolution models

abstract: We study the following Cauchy problems for semi-linear structurally damped $\sigma$-evolution models: \begin{equation*} u_{tt}+ (-\Delta)^\sigma u+ \mu (-\Delta)^\delta u_t = f(u,u_t),\, u(0,x)= u_0(x),\, u_t(0,x)=u_1(x) \end{equation*} with $\sigma \ge 1$, $\mu>0$ and $\delta \in (0,\frac{\sigma}{2})$. Here the function $f(u,u_t)$ stands for the power nonlinearities $|u|^{p}$ and $|u_t|^{p}$ with a given number $p>1$. We are interested in investigating $L^{1}$ estimates for oscillating integrals in the presentation of the solutions to the corresponding linear models with vanishing right-hand sides by applying the theory of modified Bessel functions and Fa\`{a} di Bruno's formula. By assuming additional $L^{m}$ regularity on the initial data, we use $(L^{m}\cap L^{q})- L^{q}$ and $L^{q}- L^{q}$ estimates with $q\in (1,\infty)$ and $m\in [1,q)$, to prove the global (in time) existence of small data Sobolev solutions to the above semi-linear models from suitable function spaces basing on $L^q$ spaces.


title: A Method for Estimating the Probability of Extremely Rare Accidents in Complex Systems

abstract: Estimating the probability of failures or accidents with aerospace systems is often necessary when new concepts or designs are introduced, as it is being done for Autonomous Aircraft. If the design is safe, as it is supposed to be, accident cases are hard to find. Such analysis needs some variance reduction technique and several algorithms exist for that, however specific model features may cause difficulties in practice, such as the case of system models where independent agents have to autonomously accomplish missions within finite time, and likely with the presence of human agents. For handling these scenarios, this paper presents a novel estimation approach, based on the combination of the well-established variation reduction technique of Interacting Particles System (IPS) with the long-standing optimization algorithm denominated DIviding RECTangles (DIRECT). When combined, these two techniques yield statistically significant results for extremely low probabilities. In addition, this novel approach allows the identification of intermediate events and simplifies the evaluation of sensitivity of the estimated probabilities to certain system parameters.


title: It Takes Two to #MeToo - Using Enclaves to Build Autonomous Trusted Systems

abstract: We provide enhanced security against insider attacks in services that manage extremely sensitive data. One example is a #MeToo use case where sexual harassment complaints are reported but only revealed when another complaint is filed against the same perpetrator. Such a service places tremendous trust on service operators which our work aims to relieve. To this end we introduce a new autonomous data management concept which transfers responsibility for the sensitive data from administrators to secure and verifiable hardware. The main idea is to manage all data access via a cluster of autonomous computation agents running inside Intel SGX enclaves. These EConfidante agents share a secret data key which is unknown to any external entity, including the data service administrators, thus eliminating many opportunities for data exposure. In this paper we describe a detailed design of the EConfidante system, its flow and how it is managed and implemented. Our #MeToo design also uses an immutable distributed ledger which is built using components from a Blockchain framework. We implemented a proof of concept of our system for the #MeToo use case and analyze its security properties and implementation details.


title: $d$-Auslander-Reiten sequences in subcategories

abstract: Let $\Phi$ be a finite dimensional algebra over a field $k$. Kleiner described the Auslander-Reiten sequences in a precovering extension closed subcategory $\mathcal{X}\subseteq$ mod $\Phi$. If $X\in\mathcal{X}$ is an indecomposable such that Ext$_{\Phi}^1(X,\mathcal{X})\neq 0$ and $\zeta X$ is the unique indecomposable direct summand of the $\mathcal{X}$-cover $g:Y\rightarrow D$Tr$X$ such that Ext$_{\Phi}^1(X,\zeta X)\neq 0$, then there is an Auslander-Reiten sequence in $\mathcal{X}$ of the form \begin{align*} \epsilon: 0\rightarrow \zeta X\rightarrow X'\rightarrow X\rightarrow 0. \end{align*} Moreover, when End$_\Phi (X)$ modulo the morphisms factoring through a projective is a division ring, Kleiner proved that each non-split short exact sequence of the form \begin{align*} \delta: 0\rightarrow Y\rightarrow Y'\xrightarrow{\eta} X\rightarrow 0 \end{align*} is such that $\eta$ is right almost split in $\mathcal{X}$, and the pushout of $\delta$ along $g$ gives an Auslander-Reiten sequence in mod $\Phi$ ending at $X$. In this paper, we give higher dimensional generalisations of this. Let $d\geq 1$ be an integer. A $d$-cluster tilting subcategory $\mathcal{F}\subseteq$ mod $\Phi$ plays the role of a higher mod $\Phi$. Such an $\mathcal{F}$ is a $d$-abelian category, where kernels and cokernels are replaced by complexes of $d$ objects and short exact sequences by complexes of $d+2$ objects. We give higher versions of the above results for an additive "$d$-extension closed" subcategory $\mathcal{X}$ of $\mathcal{F}$.


title: Four GRB-Supernovae at Redshifts between 0.4 and 0.8

abstract: Twenty years ago, GRB 980425/SN 1998bw revealed that long Gamma-Ray Bursts (GRBs) are physically associated with broad-lined type Ic supernovae. Since then more than 1000 long GRBs have been localized to high angular precision, but only in about 50 cases the underlying supernova (SN) component was identified. Using the multi-channel imager GROND (Gamma-Ray Burst Optical Near-Infrared Detector) at ESO/La Silla, during the last ten years we have devoted a substantial amount of observing time to reveal and to study SN components in long-GRB afterglows. Here we report on four more GRB-SNe (associated with GRBs 071112C, 111228A, 120714B, and 130831A) which were discovered and/or followed-up with GROND and whose redshifts lie between z=0.4 and 0.8. We study their afterglow light curves, follow the associated SN bumps over several weeks, and characterize their host galaxies. Using SN 1998bw as a template, the derived SN explosion parameters are fully consistent with the corresponding properties of the so-far known GRB-SN ensemble, with no evidence for an evolution of their properties as a function of redshift. In two cases (GRB 120714B/SN 2012eb at z=0.398 and GRB 130831A/SN 2013fu at z=0.479) additional Very Large Telescope (VLT) spectroscopy of the associated SNe revealed a photospheric expansion velocity at maximum light of about 40 000 and 20 000 km/s, respectively. For GRB 120714B, which was an intermediate-luminosity burst, we find additional evidence for a blackbody component in the light of the optical transient at early times, similar to what has been detected in some GRB-SNe at lower redshifts.


title: MMP for co-rank one foliations on threefolds

abstract: We prove existence of flips, special termination, the base point free theorem and, in the case of log general type, the existence of minimal models for F-dlt foliated pairs of co-rank one on a $\mathbb Q$-factorial projective threefold. As applications, we show the existence of F-dlt modifications and F-terminalisations for foliated pairs and we show that foliations with canonical or F-dlt singularities admit non-dicritical singularities. Finally, we show abundance in the case of numerically trivial foliated pairs.


title: An Effective Framework for Constructing Exponent Lattice Basis of Nonzero Algebraic Numbers

abstract: Computing a basis for the exponent lattice of algebraic numbers is a basic problem in the field of computational number theory with applications to many other areas. The main cost of a well-known algorithm \cite{ge1993algorithms,kauers2005algorithms} solving the problem is on computing the primitive element of the extended field generated by the given algebraic numbers. When the extended field is of large degree, the problem seems intractable by the tool implementing the algorithm. In this paper, a special kind of exponent lattice basis is introduced. An important feature of the basis is that it can be inductively constructed, which allows us to deal with the given algebraic numbers one by one when computing the basis. Based on this, an effective framework for constructing exponent lattice basis is proposed. Through computing a so-called pre-basis first and then solving some linear Diophantine equations, the basis can be efficiently constructed. A new certificate for multiplicative independence and some techniques for decreasing degrees of algebraic numbers are provided to speed up the computation. The new algorithm has been implemented with Mathematica and its effectiveness is verified by testing various examples. Moreover, the algorithm is applied to program verification for finding invariants of linear loops.


title: Slow Extraction of Charged Ion Pulses from the REXEBIS

abstract: The Isotope mass Separator On-Line DEvice (ISOLDE) facility located at CERN, produces and transports Radioactive Ion Beams (RIBs) at low or high energy through the REX/HIE-ISOLDE linear accelerator, for nuclear physics, astrophysics, solid-state physics and applied-physics purposes. Increasing the charge state of the ions is a prerequisite for efficient acceleration and is accomplished by an Electron Beam Ion Source (REXEBIS). For more effective event discrimination at the experimental detectors, such as the MINIBALL spectrometer, it is advantageous to increase the pulse width of extracted ions from this EBIS. A Slow Extraction scheme is presented which uses a function comprised of discrete voltage steps to apply the extraction potential to the EBIS trap barrier. This function effectively stretches the pulse length of both stable and radioactive ion beams, with different mass-to-charge ratios and provides for extracted pulse widths in the millisecond range. Key operational parameters of the EBIS impacting the average ionic temperature and its axial energy spread are discussed, in order to anticipate changes in the resulting ion pulse time structures during experimental runs.


title: The excitation mechanisms and evolutionary stages of UWISH2 planetary nebula candidates

abstract: We present medium-resolution K-band long-slit spectroscopy of 29 true, likely, possible and candidate Galactic Plane planetary nebulae (PNe) from the UWISH2 survey - many of which have only been recently discovered. These objects are bright in molecular hydrogen (H2) emission, and many have bipolar morphologies. Through the detection of the Br{\gamma} emission line, which traces ionized hydrogen, we find that the majority of the candidate PNe are indeed likely to be PNe, while 2 of the targets are more likely young stellar objects (YSOs) or pre-planetary nebulae (pPNe). We detect Br{\gamma} in 13 objects which have no detection in IPHAS or SHS H{\alpha} surveys. This implies they are potential members of the little-known optically-obscured PN population, hidden from wide-field optical surveys. We use the spatial extent of the H2 1-0 S(1) and Br{\gamma} lines to estimate the evolutionary stage of our targets, and find that W-BPNe (bipolar PNe with pinched waist morphologies) are likely to be younger objects, while R-BPNe (bipolar PNe with large ring structures) are more evolved. We use line ratios to trace the excitation mechanism of the H2, and find the 1-0 S(1) / 2-1 S(1) and 1-0 S(1) / Br{\gamma} ratios are higher for R-BPNe, implying the H2 is thermally excited. However, in W-BPNe, these ratios are lower, and so UV-fluorescence may be contributing to the excitation of H2.


title: Fermionic phases and their transitions induced by competing finite-range interactions

abstract: We identify ground states of one-dimensional fermionic systems subject to competing repulsive interactions of finite range, and provide phenomenological and fundamental signatures of these phases and their transitions. Commensurable particle densities admit multiple competing charge-ordered insulating states with various periodicities and internal structure. Our reference point are systems with interaction range $p=2$, where phase transitions between these charge-ordered configurations are known to be mediated by liquid and bond-ordered phases. For increased interaction range $p=4$, we find that the phase transitions can also appear to be abrupt, as well as being mediated by re-emergent ordered phases that cross over into liquid behavior. These considerations are underpinned by a classification of the competing charge-ordered states in the atomic limit for varying interaction range at the principal commensurable particle densities. We also consider the effects of disorder, leading to fragmentization of the ordered phases and localization of the liquid phases.


title: Photon counting statistics of a microwave cavity

abstract: The development of microwave photon detectors is paving the way for a wide range of quantum technologies and fundamental discoveries involving single photons. Here, we investigate the photon emission from a microwave cavity and find that distribution of photon waiting times contains information about few-photon processes, which cannot easily be extracted from standard correlation measurements. The factorial cumulants of the photon counting statistics are positive at all times, which may be intimately linked with the bosonic quantum nature of the photons. We obtain a simple expression for the rare fluctuations of the photon current, which is helpful in understanding earlier results on heat transport statistics and measurements of work distributions. Under non-equilibrium conditions, where a small temperature gradient drives a heat current through the cavity, we formulate a fluctuation-dissipation relation for the heat noise spectra. Our work suggests a number of experiments for the near future, and it offers theoretical questions for further investigation.


title: On the $L^p$-$L^q$ estimates of the gradient of solutions to the Stokes problem

abstract: The paper is concerned with estimates of the gradient of the solutions to the Stokes IBVP both in a bounded and in an exterior domain. More precisely, we look for estimates of the kind $\|\nabla v(t)\|_q\leq g(t)\|\nabla v_0\|_p, q\geq p>1$, for all $t>0$, where function $g$ is independent of $v_0$.


title: The Origin of RNA Precursors on Exoplanets

abstract: Given that the macromolecular building blocks of life were likely produced photochemically in the presence of ultraviolet (UV) light, we identify some general constraints on which stars produce sufficient UV for this photochemistry. We estimate how much light is needed for the UV photochemistry by experimentally measuring the rate constant for the UV chemistry (`light chemistry', needed for prebiotic synthesis) versus the rate constants for the bimolecular reactions that happen in the absence of the UV light (`dark chemistry'). We make these measurements for representative photochemical reactions involving SO$_3^{2-}$ and HS$^-$. By balancing the rates for the light and dark chemistry, we delineate the "abiogenesis zones" around stars of different stellar types based on whether their UV fluxes are sufficient for building up this macromolecular prebiotic inventory. We find that the SO$_3^{2-}$ 'light chemistry' is rapid enough to build up the prebiotic inventory for stars hotter than K5 (4400 K). We show how the abiogenesis zone overlaps with the liquid water habitable zone. Stars cooler than K5 may also drive the formation of these building blocks if they are very active. The HS$^-$ 'light chemistry' is too slow to work even for the Early Earth.


title: Constraints on millicharged particles with low threshold germanium detectors at Kuo-Sheng Reactor Neutrino Laboratory

abstract: Relativistic millicharged particles ($\chi_q$) have been proposed in various extensions to the Standard Model of particle physics. We consider the scenarios where they are produced at nuclear reactor core and via interactions of cosmic-rays with the earth's atmosphere. Millicharged particles could also be candidates for dark matter, and become relativistic through acceleration by supernova explosion shock waves. The atomic ionization cross section of $\chi_q$ with matter are derived with the equivalent photon approximation. Smoking-gun signatures with significant enhancement in the differential cross section are identified. New limits on the mass and charge of $\chi_q$ are derived, using data taken with a point-contact germanium detector with 500g mass functioning at an energy threshold of 300~eV at the Kuo-Sheng Reactor Neutrino Laboratory.


title: Memetic Algorithm-Based Path Generation for Multiple Dubins Vehicles Performing Remote Tasks

abstract: This paper formalizes path planning problem for a group of heterogeneous Dubins vehicles performing tasks in a remote fashion and develops a memetic algorithm-based method to effectively produce the paths. In the setting, the vehicles are initially located at multiple depots in a two-dimensional space and the objective of planning is to minimize a weighted sum of the total tour cost of the group and the largest individual tour cost amongst the vehicles. While the presented formulation takes the form of a mixed-integer linear program (MILP) for which off-the-shelf solvers are available, the MILP solver easily loses the tractability as the number of tasks and agents grow. Therefore, a memetic algorithm tailored to the presented formulation is proposed. The algorithm features a sophisticated encoding scheme to efficiently. In addition, a path refinement technique that optimizes on the detailed tours with the sequence of visits fixed is proposed to finally obtain further optimized trajectories. Comparative numerical experiments show the validity and efficiency of the proposed methods compared with the previous methods in the literature.


title: Asymptotics of maximum likelihood estimators based on Markov chain Monte Carlo methods

abstract: In many complex statistical models maximum likelihood estimators cannot be calculated. In the paper we solve this problem using Markov chain Monte Carlo approximation of the true likelihood. In the main result we prove asymptotic normality of the estimator, when both sample sizes (the initial and Monte Carlo one) tend to infinity. Our result can be applied to models with intractable norming constants and missing data models.


title: Quasi-isometry of pairs: surfaces in graph manifolds

abstract: We show there exists a closed graph manifold $N$ and infinitely many non-separable, horizontal surfaces $\{S_{n} \to N\}_{n \in \mathbb{N}}$ such that there does not exist a quasi-isometry $\pi_1(N) \to \pi_1(N)$ taking $\pi_1(S_{n})$ to $\pi_1(S_{m})$ within a finite Hausdorff distance when $n \neq m$.


title: Essencery - A Tool for Essentializing Software Engineering Practices

abstract: Software Engineering practitioners work using highly diverse methods and practices, and general theories in software engineering are lacking. One attempt at creating a common ground in the area of software engineering methodologies has been the Essence Theory of Software Engineering, which can be considered a method-agnostic project management tool for software engineering. Essence supports the use of any development practices and provides a framework for building a suitable method for any software engineering context. However, Essence presently suffers from low practitioner adoption that is partially considered to be caused by a lack of proper tooling. In this paper, we present Essencery, a tool for essentializing software engineering methods and practices using the Essence graphical syntax. Essencery aims to facilitate adoption of Essence among potential future users. We present an empirical evaluation of the tool by means of a qualitative, quasi-formal experiment and, based on the experiment, confirm that the tool is easy to use and useful for its intended purpose.


title: Learning to Focus when Ranking Answers

abstract: One of the main challenges in ranking is embedding the query and document pairs into a joint feature space, which can then be fed to a learning-to-rank algorithm. To achieve this representation, the conventional state of the art approaches perform extensive feature engineering that encode the similarity of the query-answer pair. Recently, deep-learning solutions have shown that it is possible to achieve comparable performance, in some settings, by learning the similarity representation directly from data. Unfortunately, previous models perform poorly on longer texts, or on texts with significant portion of irrelevant information, or which are grammatically incorrect. To overcome these limitations, we propose a novel ranking algorithm for question answering, QARAT, which uses an attention mechanism to learn on which words and phrases to focus when building the mutual representation. We demonstrate superior ranking performance on several real-world question-answer ranking datasets, and provide visualization of the attention mechanism to otter more insights into how our models of attention could benefit ranking for difficult question answering challenges.


title: A Statistical Inference Method for Interpreting the CLASP Observations

abstract: On 3rd September 2015, the Chromospheric Lyman-Alpha SpectroPolarimeter (CLASP) successfully measured the linear polarization produced by scattering processes in the hydrogen Lyman-$\alpha$ line of the solar disk radiation, revealing conspicuous spatial variations in the $Q/I$ and $U/I$ signals. Via the Hanle effect the line-center $Q/I$ and $U/I$ amplitudes encode information on the magnetic field of the chromosphere-corona transition region (TR), but they are also sensitive to the three-dimensional structure of this corrugated interface region. With the help of a simple line formation model, here we propose a statistical inference method for interpreting the Lyman-$\alpha$ line-center polarization observed by CLASP.


title: Limiting properties of random graph models with vertex and edge weights

abstract: This paper provides an overview of results, concerning longest or heaviest paths, in the area of random directed graphs on the integers along with some extensions. We study first-order asymptotics of heaviest paths allowing weights both on edges and vertices and assuming that weights on edges are signed. We aim at an exposition that summarizes, simplifies, and extends proof ideas. We also study sparse graph asymptotics, showing convergence of the weighted random graphs to a certain weighted graph that can be constructed in terms of Poisson processes. We are motivated by numerous applications, ranging from ecology to parallel computing model. It is the latter set of applications that necessitates the introduction of vertex weights. Finally, we discuss some open problems and research directions.


title: On the nonexistence of extreme anti-de Sitter black rings

abstract: We prove that five-dimensional extreme anti-de Sitter black ring solutions to the vacuum Einstein equations that admit biaxial symmetry do not exist. This is established by demonstrating the nonexistence of five-dimensional, biaxisymmetric, vacuum near-horizon geometries of extreme horizons with a nonzero cosmological constant and ring topology.


title: A small non-vanishing cosmological constant from the Krein-Gupta-Bleuler vacuum

abstract: We point out a potential relevance between the Krein-Gupta-Bleuler (KGB) vacuum leading to a fully covariant quantum field theory for gravity in de Sitter (dS) spacetime and the observable smallness of the cosmological constant. This may provide a formulation of linear quantum gravity in a framework amenable to developing a more complete theory determining the value of the cosmological constant.


title: Identification of malfunctioning quantum devices

abstract: We consider the problem of correctly identifying a malfunctioning quantum device that forms part of a network of $N$ such devices, which can be considered as the quantum analogue of classical anomaly detection. In the case where the devices in question are sources assumed to prepare identical quantum pure states, with the faulty source producing a different anomalous pure state, we show that the optimal probability of successful identification requires a global quantum measurement. We also put forth several local measurement strategies -- both adaptive and non-adaptive, that achieve the same optimal probability of success in the limit where the number of devices to be checked are large. In the case where the faulty device performs a known unitary operation we show that the use of entangled probes provides an improvement that even allows perfect identification for values of the unitary parameter that surpass a certain threshold. Finally, if the faulty device implements a known qubit channel we find that the optimal probability for detecting the position of rank-one and rank-two Pauli channels can be achieved by product state inputs and separable measurements for any size of network, whereas for rank-three and general amplitude damping channels optimal identification requires entanglement with N qubit ancillas.


title: Discreteness of spectrum for the $\overline\partial$-Neumann Laplacian on manifolds of bounded geometry

abstract: For a Hermitian holomorphic vector bundle over a Hermitian manifold, we consider the Dolbeault Laplacian with $\overline\partial$-Neumann boundary conditions, which is a self-adjoint operator on the space of square-integrable differential forms with values in the given holomorphic bundle. We argue that some known results on the spectral properties of this operator on pseudoconvex domains in $\mathbb C^n$ continue to hold on K\"ahler manifolds satisfying certain bounded geometry assumptions. In particular, we will consider the Dolbeault complex for forms with values in a line bundle, where known results from magnetic Schr\"odinger operator theory can be applied.


title: pySDC - Prototyping spectral deferred corrections

abstract: In this paper we present the Python framework pySDC for solving collocation problems with spectral deferred correction methods (SDC) and their time-parallel variant PFASST, the parallel full approximation scheme in space and time. pySDC features many implementations of SDC and PFASST, from simple implicit time-stepping to high-order implicit-explicit or multi-implicit splitting and multi-level spectral deferred corrections. It comes with many different, pre-implemented examples and has seven tutorials to help new users with their first steps. Time-parallelism is implemented either in an emulated way for debugging and prototyping as well as using MPI for benchmarking. The code is fully documented and tested using continuous integration, including most results of previous publications. Here, we describe the structure of the code by taking two different perspectives: the user's and the developer's perspective. While the first sheds light on the front-end, the examples and the tutorials, the second is used to describe the underlying implementation and the data structures. We show three different examples to highlight various aspects of the implementation, the capabilities and the usage of pySDC. Also, couplings to the FEniCS framework and PETSc, the latter including spatial parallelism with MPI, are described.


title: Coda-Wave Monitoring of Continuously Evolving Material Properties and the Precursory Detection of Yielding

abstract: The nominally incoherent coda of a scattered wavefield has been shown to be a remarkably sensitive quantitive monitoring tool. Its success is however often underpinned by the assumption of a moderate velocity perturbation, and in the absence of notable changes in material scattering properties. The deformation of a rock matrix, represents for a monitoring wavefield pronounced changes in scattering power. In this work we introduce a rolling reference wavefield when applying Coda-Wave Interferometry (CWI) and Coda-Wave-Decorrelation (CWD) in order to monitor relative velocity and material scattering power changes. We demonstrate how this modification enables the qualitative monitoring of stages in material deformation common to Unconfined Compressive Strength (UCS) tests. In addition to the general stages of deformation, the precursory/subtle onset of material yielding is identifiable in both the CWI and CWD method. It is therefore expected that this approach will enable these coda based methods to robustly monitor continuous, destructive processes over a variety of scales. Possible applications include fault, induced seismicity, landslide and critical infrastructure monitoring.


title: Debugging Neural Machine Translations

abstract: In this paper, we describe a tool for debugging the output and attention weights of neural machine translation (NMT) systems and for improved estimations of confidence about the output based on the attention. The purpose of the tool is to help researchers and developers find weak and faulty example translations that their NMT systems produce without the need for reference translations. Our tool also includes an option to directly compare translation outputs from two different NMT engines or experiments. In addition, we present a demo website of our tool with examples of good and bad translations: http://attention.lielakeda.lv


title: The viscosities of partially molten materials undergoing diffusion creep

abstract: Partially molten materials resist shearing and compaction. This resistance is described by a fourth-rank effective viscosity tensor. When the tensor is isotropic, two scalars determine the resistance: an effective shear and an effective bulk viscosity. Here, calculations are presented of the effective viscosity tensor during diffusion creep for a 2D tiling of hexagonal unit cells and a 3D tessellation of tetrakaidecahedrons (truncated octahedrons). The geometry of the melt is determined by assuming textural equilibrium. The viscosity tensor for the 2D tiling is isotropic, but that for the 3D tessellation is anisotropic. Two parameters control the effect of melt on the viscosity tensor: the porosity and the dihedral angle. Calculations for both Nabarro-Herring (volume diffusion) and Coble (surface diffusion) creep are presented. For Nabarro-Herring creep the bulk viscosity becomes singular as the porosity vanishes. This singularity is logarithmic, a weaker singularity than typically assumed in geodynamic models. The presence of a small amount of melt (0.1% porosity) causes the effective shear viscosity to approximately halve. For Coble creep, previous modelling work has argued that a very small amount of melt may lead to a substantial, factor of 5, drop in the shear viscosity. Here, a much smaller, factor of 1.4, drop is obtained for tetrakaidecahedrons. Owing to a Cauchy relation symmetry, the Coble creep bulk viscosity is a constant multiple of the shear viscosity when melt is present.


title: Donaldson-Thomas invariants of abelian threefolds and Bridgeland stability conditions

abstract: We study the reduced Donaldson-Thomas theory of abelian threefolds using Bridgeland stability conditions. The main result is the invariance of the reduced Donaldson-Thomas invariants under all derived autoequivalences, up to explicitly given wall-crossing terms. We also present a numerical criterion for the absence of walls in terms of a discriminant function. For principally polarized abelian threefolds of Picard rank one, the wall-crossing contributions are discussed in detail. The discussion yield evidence for a conjectural formula for curve counting invariants by Bryan, Pandharipande, Yin, and the first author. For the proof we strengthen several known results on Bridgeland stability conditions of abelian threefolds. We show that certain previously constructed stability conditions satisfy the full support property. In particular, the stability manifold is non-empty. We also prove the existence of a Gieseker chamber and determine all wall-crossing contributions. A definition of reduced generalized Donaldson-Thomas invariants for arbitrary Calabi-Yau threefolds with abelian actions is given.


title: Some remarks on the metrizability of $\mathcal{F}$-metric spaces

abstract: In this manuscript, we claim that the newly introduced $\mathcal{F}$-metric space \cite[\, M.~Jleli and B.~Samet, On a new generalization of metric spaces, J. Fixed Point Theory Appl, 20(3) 2018]{JS1} is metrizable. Also, we deduce that the notions of convergence, Cauchy sequence, completeness due to Jleli and Samet for $\mathcal{F}$-metric spaces are equivalent with that of usual metric spaces. Moreover, we assert that the Banach contraction principle in the context of $\mathcal{F}$-metric spaces is a direct consequence of its standard metric counterpart.


title: Infinite Ergodic Theory for Heterogeneous Diffusion Processes

abstract: We show the relation between processes which are modeled by a Langevin equation with multiplicative noise and infinite ergodic theory. We concentrate on a spatially dependent diffusion coefficient that behaves as ${D(x)}\sim |x-\tilde{x}|^{2-2/\alpha}$ in the vicinity of a point $\tilde{x}$, where $\alpha$ can be either positive or negative. We find that a nonnormalized state, also called an infinite density, describes statistical properties of the system. For processes under investigation, the time averages of a wide class of observables, are obtained using an ensemble average with respect to the nonnormalized density. A Langevin equation which involves multiplicative noise may take different interpretation; It\^o, Stratonovich, or H\"anggi-Klimontovich, so the existence of an infinite density, and the density's shape, are both related to the considered interpretation and the structure of $D(x)$.


title: Robust one-dimensionality at twin-grain-boundaries in MoSe$_{2}$

abstract: We show that 1D electron states confined at twin-grain-boundaries in MoSe$_{2}$ can be modeled by a three-orbital tight binding model including a minimum set of phenomenological hopping terms. The confined states are robust to the details of the defect hopping model, which agrees with their experimental ubiquity. Despite a valley Chern number which is finite and opposite on both sides of the defect, there is no topological protection of the confined states. This turns out to be an essential feature to have only one confined electronic band, in agreement with experiments, instead of two, as the bulk-edge correspondence would imply. Modeling the confined state as a 1D interacting electronic system allows us to unveil a mobile quantum impurity type behavior at energy scales beyond the Tomonaga-Luttinger liquid with an interaction range which extends up to the lattice spacing, in excellent agreement with ARPES measurements.


title: Exotic topological point and line nodes in the plaquette excitations of a frustrated Heisenberg antiferromagnet on the honeycomb lattice

abstract: A number of topological nodes including Dirac, quadratic and triple band touching points as well as a pair of degenerate Dirac line nodes are found to emerge in the triplet plaquette excitations of the frustrated spin-1/2 $J_1$-$J_2$ antiferromagnetic Heisenberg honeycomb model when the ground state of the system lies in a spin-disordered plaquette-valence-bond-solid phase. A six-spin plaquette operator theory of this honeycomb model has been developed for this purpose by using the eigenstates of an isolated Heisenberg hexagonal plaquette. Spin-1/2 operators are thus expressed in the Fock space spanned by the plaquette operators those are obtained in terms of exact analytic form of eigenstates for a single frustrated Heisenberg hexagon. Ultimately, an effective interacting boson model of this system is obtained on the basis of low energy singlets and triplets plaquette operators by employing a mean-field approximation. The values of ground state energy and spin gap of this system have been estimated and the validity of this formalism has been tested upon comparison with the known results. Emergence of topological point and line nodes on the basis of spin-disordered ground state noted in this investigation is very rare on any frustrated system as well as the presence of triplet flat band. Evolution of those topological nodes is studied throughout the full frustrated regime. Finally, emergence of topological phases has been reported upon adding a time-reversal-symmetry breaking term to the Hamiltonian. Coexistence of spin gap with either topological nodes or phases turns this honeycomb model an interesting one.


title: Strong Subgraph Connectivity of Digraphs: A Survey

abstract: In this survey we overview known results on the strong subgraph $k$-connectivity and strong subgraph $k$-arc-connectivity of digraphs. After an introductory section, the paper is divided into four sections: basic results, algorithms and complexity, sharp bounds for strong subgraph $k$-(arc-)connectivity, minimally strong subgraph $(k, \ell)$-(arc-) connected digraphs. This survey contains several conjectures and open problems for further study.


title: Peek-a-Boo: I see your smart home activities, even encrypted!

abstract: A myriad of IoT devices such as bulbs, switches, speakers in a smart home environment allow users to easily control the physical world around them and facilitate their living styles through the sensors already embedded in these devices. Sensor data contains a lot of sensitive information about the user and devices. However, an attacker inside or near a smart home environment can potentially exploit the innate wireless medium used by these devices to exfiltrate sensitive information from the encrypted payload (i.e., sensor data) about the users and their activities, invading user privacy. With this in mind,in this work, we introduce a novel multi-stage privacy attack against user privacy in a smart environment. It is realized utilizing state-of-the-art machine-learning approaches for detecting and identifying the types of IoT devices, their states, and ongoing user activities in a cascading style by only passively sniffing the network traffic from smart home devices and sensors. The attack effectively works on both encrypted and unencrypted communications. We evaluate the efficiency of the attack with real measurements from an extensive set of popular off-the-shelf smart home IoT devices utilizing a set of diverse network protocols like WiFi, ZigBee, and BLE. Our results show that an adversary passively sniffing the traffic can achieve very high accuracy (above 90%) in identifying the state and actions of targeted smart home devices and their users. To protect against this privacy leakage, we also propose a countermeasure based on generating spoofed traffic to hide the device states and demonstrate that it provides better protection than existing solutions.


title: Computing Unit Groups of Curves

abstract: The group of units modulo constants of an affine variety over an algebraically closed field is free abelian of finite rank. Computing this group is difficult but of fundamental importance in tropical geometry, where it is desirable to realize intrinsic tropicalizations. We present practical algorithms for computing unit groups of smooth curves of low genus. Our approach is rooted in divisor theory, based on interpolation in the case of rational curves and on methods from algebraic number theory in the case of elliptic curves.


title: Magnetic Gradiometer for Detection of Zero- and Ultralow-Field Nuclear Magnetic Resonance

abstract: Magnetic sensors are important for detecting nuclear magnetization signals in nuclear magnetic resonance (NMR). As a complementary analysis tool to conventional high-field NMR, zero- and ultralow-field (ZULF) NMR detects nuclear magnetization signals in the sub-microtesla regime. Current ZULF NMR systems are always equipped with high-quality magnetic shieldings to ensure that ambient magnetic field noise does not dwarf the magnetization signal. An alternative approach is to separate the magnetization signal from the noise based on their differing spatial profiles, as can be achieved using a magnetic gradiometer. Here, we present a gradiometric ZULF NMR spectrometer with a magnetic gradient noise of 17 fT_{rms}{cm}^{-1}{Hz}^{-1/2} in the frequency range of 100-400 Hz, based on a single vapor cell (0.7x0.7x1.0{cm}^3). With applied white magnetic-field noise, we show that the gradiometric spectrometer achieves 13-fold enhancement in the signal-to-noise ratio (SNR) compared to the single-channel configuration. By reducing the influence of common-mode magnetic noise, this work enables the use of compact and low-cost magnetic shields. Gradiometric detection may also prove to be beneficial for eliminating systematic errors in ZULF-NMR experiments searching for exotic spin-dependent interactions and molecular parity violation.


title: Bimagnetic Monopoles

abstract: Motivated by recent results on small and hollow magnetic monopoles and on core and shell bimagnetic nanoparticles, we propose the construction of bimagnetic monopoles, which are structures that accommodate a magnetic monopole inside another magnetic monopole.

categories: hep-th cond-mat.supr-con hep-ph physics.class-ph


title: On the convergence of closed-loop Nash equilibria to the mean field game limit

abstract: This paper continues the study of the mean field game (MFG) convergence problem: In what sense do the Nash equilibria of $n$-player stochastic differential games converge to the mean field game as $n\rightarrow\infty$? Previous work on this problem took two forms. First, when the $n$-player equilibria are open-loop, compactness arguments permit a characterization of all limit points of $n$-player equilibria as weak MFG equilibria, which contain additional randomness compared to the standard (strong) equilibrium concept. On the other hand, when the $n$-player equilibria are closed-loop, the convergence to the MFG equilibrium is known only when the MFG equilibrium is unique and the associated "master equation" is solvable and sufficiently smooth. This paper adapts the compactness arguments to the closed-loop case, proving a convergence theorem that holds even when the MFG equilibrium is non-unique. Every limit point of $n$-player equilibria is shown to be the same kind of weak MFG equilibrium as in the open-loop case. Some partial results and examples are discussed for the converse question, regarding which of the weak MFG equilibria can arise as the limit of $n$-player (approximate) equilibria.


title: Randomness notions and reverse mathematics

abstract: We investigate the strength of a randomness notion $\mathcal R$ as a set-existence principle in second-order arithmetic: for each $Z$ there is an $X$ that is $\mathcal R$-random relative to $Z$. We show that the equivalence between $2$-randomness and being infinitely often $C$-incompressible is provable in $\mathsf{RCA}_0$. We verify that $\mathsf{RCA}_0$ proves the basic implications among randomness notions: $2$-random $\Rightarrow$ weakly $2$-random $\Rightarrow$ Martin-L\"{o}f random $\Rightarrow$ computably random $\Rightarrow$ Schnorr random. Also, over $\mathsf{RCA}_0$ the existence of computable randoms is equivalent to the existence of Schnorr randoms. We show that the existence of balanced randoms is equivalent to the existence of Martin-L\"{o}f randoms, and we describe a sense in which this result is nearly optimal.


title: Natural Language Generation by Hierarchical Decoding with Linguistic Patterns

abstract: Natural language generation (NLG) is a critical component in spoken dialogue systems. Classic NLG can be divided into two phases: (1) sentence planning: deciding on the overall sentence structure, (2) surface realization: determining specific word forms and flattening the sentence structure into a string. Many simple NLG models are based on recurrent neural networks (RNN) and sequence-to-sequence (seq2seq) model, which basically contains an encoder-decoder structure; these NLG models generate sentences from scratch by jointly optimizing sentence planning and surface realization using a simple cross entropy loss training criterion. However, the simple encoder-decoder architecture usually suffers from generating complex and long sentences, because the decoder has to learn all grammar and diction knowledge. This paper introduces a hierarchical decoding NLG model based on linguistic patterns in different levels, and shows that the proposed method outperforms the traditional one with a smaller model size. Furthermore, the design of the hierarchical decoding is flexible and easily-extensible in various NLG systems.


title: Optimized Single-Crystal Diamond Scanning Probes for High Sensitivity Magnetometry

abstract: The negatively-charged nitrogen-vacancy center (NV) in diamond forms a versatile system for quantum sensing applications. Combining the advantageous properties of this atomic-sized defect with scanning probe techniques such as atomic force microscopy (AFM) enables nanoscale imaging of e.g. magnetic fields. To form a scanning probe device, we place single NVs shallowly (i.e. < 20 nm) below the top facet of a diamond nanopillar, which is located on a thin diamond platform of typically below 1 \mu m thickness. This device can be attached to an AFM head, forming an excellent scanning probe tip. Furthermore, it simultaneously influences the collectible photoluminescence (PL) rate of the NV located inside. Especially sensing protocols using continuous optically-detected magnetic resonance (ODMR) benefit from an enhanced collectible PL rate, improving the achievable sensitivity. This work presents a comprehensive set of simulations to quantify the influence of the device geometry on the collectible PL rate for individual NVs. Besides geometric parameters (e.g. pillar length, diameter and platform thickness), we also focus on fabrication uncertainties such as the exact position of the NV or the taper geometry of the pillar introduced by imperfect etching. As a last step, we use these individual results to optimize our current device geometry, yielding a realistic gain in collectible PL rate by a factor of 13 compared to bulk diamond and 1.8 compared to our unoptimized devices.


title: Generalized weighted pseudo-almost periodic solutions and generalized weighted pseudo-almost automorphic solutions of abstract Volterra integro-differential inclusions

abstract: In this paper, we analyze the existence and uniqueness of generalized weighted pseudo-almost automorphic solutions of abstract Volterra integro-differential inclusions in Banach spaces. The main results are devoted to the study of various types of weighted pseudo-almost periodic (automorphic) properties of convolution products. We illustrate our abstract results with some examples and possible applications.


title: Variability of collective dynamics in random tree networks of strongly-coupled stochastic excitable elements

abstract: We study the collective dynamics of strongly diffusively coupled excitable elements on small random tree networks. Stochastic external inputs are applied to the leaves causing large spiking events. Those events propagate along the tree branches and, eventually, exciting the root node. Using Hodgkin-Huxley type nodal elements, such a setup serves as a model for sensory neurons with branched myelinated distal terminals. We focus on the influence of the variability of tree structures on the spike train statistics of the root node. We present a statistical description of random tree network and show how the structural variability translates into the collective network dynamics. In particular, we show that in the physiologically relevant case of strong coupling the variability of collective response is determined by the joint probability distribution of the total number of leaves and nodes. We further present analytical results for the strong coupling limit in which the entire tree network can be represented by an effective single element.


title: Distinguishing rotating naked singularities from Kerr-like wormholes by their deflection angles of massive particles

abstract: We study the gravitational deflection of relativistic massive particles by Janis-Newman-Winicour (JNW) spacetimes (also known as a rotating source with a surface-like naked singularity), and a rotating Kerr-like wormholes. Based on the recent article [K. Jusufi, Phys. Rev. D 98, 064017 (2018)], we extend some of these results by exploring the effects of naked singularity and Kerr-like objects on the deflection of particles. We start by introducing coordinate transformation leading to an isotropic line element which gives the refraction index of light for the corresponding optical medias. On the other hand, the refraction index for massive particles is found by considering those particles as a de Broglie wave packets. To this end, we apply the Gauss-Bonnet theorem to the isotropic optical metrics to find the deflection angles. Our analysis shows that, in the case of the JNW spacetime the deflection angle is affected by the parameter $0<\gamma<1$, similarly, we find that the deformation parameter $\lambda$ affects the deflection angle in the case of Kerr-like wormholes. In addition to that, we presented a detailed analysis of the deflection angle by means of the Hamilton-Jacobi equation that lead to the same results. As a special case of our results the deflection angle of light is recovered. Finally, we point out that the deflection of particles by Kerr-like wormholes is stronger compared to JNW spacetime, in particular this difference can be used to shed some light from observational point of view in order to distinguish the two spacetimes.


title: Deciphering the relative contribution of vascular inflammation and blood rheology in metastatic spreading

abstract: Vascular adhesion of circulating tumor cells (CTCs) is a key step in cancer spreading. If inflammation is recognized to favor the formation of vascular metastatic niches, little is known about the contribution of blood rheology to CTC deposition. Herein, a microfluidic chip, covered by a confluent monolayer of endothelial cells, is used for analyzing the adhesion and rolling of colorectal (HCT 15) and breast (MDA MB 231) cancer cells under different biophysical conditions. These include the analysis of cell transport in a physiological solution and whole blood; over a healthy and a TNF alpha inflamed endothelium; with a flow rate of 50 and 100 nL/min. Upon stimulation of the endothelial monolayer with TNF alpha (25 ng/mL), CTC adhesion increases by 2 to 4 times whilst cell rolling velocity only slightly reduces. Notably, whole blood also enhances cancer cell deposition by 2 to 3 times, but only on the unstimulated vasculature. For all tested conditions, no statistically significant difference is observed between the two cancer cell types. Finally, a computational model for CTC transport demonstrates that a rigid cell approximation reasonably predicts rolling velocities while cell deformability is needed to model adhesion. These results would suggest that, within microvascular networks, blood rheology and inflammation contribute similarly to CTC deposition thereby facilitating the formation of metastatic niches along the entire network, including the healthy endothelium. In microfluidic based assays, neglecting blood rheology would significantly underestimate the metastatic potential of cancer cells.


title: Full statistics of ideal homodyne detection using real (noisy) local oscillator

abstract: We show that the full statistics of the two detectors outputs in a balanced homodyne detection setup involving a local oscillator in an ideal coherent state is experimentally accessible despite the excess noise existing in actual laser sources. This possibility is illustrated using phase randomized coherent states signals from which the statistics of Fock states can accurately be obtained. The experimental verification of the recently predicted [K\"{u}hn and Vogel, Phys. Rev. A, \textbf{98}, 013832 (2018)] two-detector correlation probability for Fock states is presented for states $\vert 1 \rangle$ and $\vert 2 \rangle$.


title: Ground states of Nicolai and $\mathbb{Z}_2$ Nicolai models

abstract: We derive explicit recursions for the ground state generating functions of the one-dimensional Nicolai model and $\mathbb{Z}_2$ Nicolai model. Both are examples of lattice models with $\mathcal{N}=2$ supersymmetry. The relations that we obtain for the $\mathbb{Z}_2$ model were numerically predicted by Sannomiya, Katsura, and Nakayama.


title: On lexicographic representatives in braid monoids

abstract: The language of maximal lexicographic representatives of elements in the positive braid monoid $A_n$ with $n$ generators is a regular language. We describe with great detail the smallest Finite State Automaton accepting such language, and study the proportion of elements of length $k$ whose maximal lexicographic representative finishes with the first generator. This proportion tends to some number $P_{n,1}$, as $k$ tends to infinity, and we show that $P_{n,1}\geq \frac{1}{8}$ for every $n\geq 1$. We also provide an explicit formula, based on the Fibonacci numbers, for the number of states of the automaton.


title: Non-Fermi liquid fixed points and anomalous Landau damping in a quantum critical metal

abstract: We present a functional renormalization group calculation of the properties of a quantum critical metal in $d=2$ spatial dimensions. Our theory describes a general class of Pomeranchuk instabilities with $N_b$ flavors of boson. At small $N_b$ we find a family of fixed points characterized by weakly non-Fermi-liquid behavior of the conduction electrons and $z \approx 2$ critical dynamics for the order parameter fluctuations, in agreement with the scaling observed by Schattner et al. [Phys. Rev. X 6, 031028 (2016)] for the Ising-nematic transition. Contrary to recent suggestions that this represents an intermediate regime en route to the scaling limit, our calculation suggests that this behavior may persist all the way to the critical point. As the number of bosons $N_b$ is increased, the model's fixed-point properties cross over to $z \approx 1$ scaling and non-Fermi-liquid behavior similar to that obtained by Fitzpatrick et al. [Phys. Rev. B 88, 125116 (2013)].


title: Analysis of Generalized Debye-H\"uckel Equation from Poisson-Fermi Theory

abstract: The Debye-H\"uckel equation is a fundamental physical model in chemical thermodynamics that describes the free energy (chemical potential, activity) of an ion in electrolyte solutions at variable salt concentration, temperature, and pressure. It is based on the linear Poisson-Boltzmann equation that ignores the steric (finite size), correlation, and polarization effects of ions and water (or solvent molecules). The Poisson-Fermi theory developed in recent years takes these effects into account. A generalized Debye-H\"uckel equation is derived from the Poisson-Fermi theory and is shown to consistently reduce to the classical equation when these effects vanish in limiting cases. As a result, a linear fourth-order Poisson-Fermi equation is presented for which unique solutions are shown to exist for spherically symmetric systems. Moreover, a generalized Debye length is proposed to include the size effects of ions and water.


title: A simple analysis of flying capacitor converter

abstract: The paper aims to emphasise how switched systems can be analysed with elementary techniques which require only undergraduate-level linear algebra and differential equations. It is also emphasised how math software can become useful for simplifying analytic complications. The time domain voltage balance methodology is used for stability analysis. As for deriving formulas for the asymptotic average of both capacitor voltage and inductor current, a new simple analytic method is introduced. It was shown analytically that the time average of capacitor voltage converges to half of the source voltage. A formula for the time average of the current of the inductor is also computed. As a by-product it was discovered that the period of the current is half of the switching period. Numerical simulations are obtained to illustrate the accuracy of the results. Higher dimensional generalisations could become a bit complicated as stability analysis of higher dimensional exponential matrices are not so easy to handle. On the other hand, the new discovery on the period of the current is more likely to give new insights in handling higher dimensional systems. Analytical formulas are exact and it helps in accurately modelling flying capacitor converts in practice. FCC is well studied in engineering society. However, not much is done in obtaining exact formulas using analysis. Also, math software is much used in computation of numerical results and obtaining simulations. In this paper, one more important aspect of math software is emphasised, namely, use symbolic computations in analysis.


title: A Class of Multirate Infinitesimal GARK Methods

abstract: Differential equations arising in many practical applications are characterized by multiple time scales. Multirate time integration seeks to solve them efficiently by discretizing each scale with a different, appropriate time step, while ensuring the overall accuracy and stability of the numerical solution. In a seminal paper Knoth and Wolke (APNUM, 1998) proposed a hybrid solution approach: discretize the slow component with an explicit Runge-Kutta method, and advance the fast component via a modified fast differential equation. The idea led to the development of multirate infinitesimal step (MIS) methods by Wensch et al. (BIT, 2009.)G\"{u}nther and Sandu (BIT, 2016) explained MIS schemes as a particular case of multirate General-structure Additive Runge-Kutta (MR-GARK) methods. The hybrid approach offers extreme flexibility in the choice of the numerical solution process for the fast component. This work constructs a family of multirate infinitesimal GARK schemes (MRI-GARK) that extends the hybrid dynamics approachin multiple ways. Order conditions theory and stability analyses are developed, and practical explicit and implicit methods of up to order four are constructed. Numerical results confirm the theoretical findings. We expect the new MRI-GARK family to be most useful for systems of equations with widely disparate time scales, where the fast process is dispersive, and where the influence of the fast component on the slow dynamics is weak.


title: Irregular perverse sheaves

abstract: We introduce irregular constructible sheaves, which are $\mathbb{C}$-constructible with coefficients in a finite version of Novikov ring $\Lambda$ and special gradings. We show that the bounded derived category of cohomologically irregular constructible complexes is equivalent to the bounded derived category of holonomic $\mathcal{D}$-modules by a modification of D'Agnolo--Kashiwara's irregular Riemann--Hilbert correspondence. The bounded derived category of cohomologically irregular constructible complexes is equipped with the irregular perverse t-structure, which is a straightforward generalization of usual perverse t-structure and we see its heart is equivalent to the abelian category of holonomic $\mathcal{D}$-modules. We also develop the algebraic version of the theory. Furthermore, we discuss the reason of the appearance of Novikov ring by using a conjectural reformulation of Riemann--Hilbert correspondence in terms of certain Fukaya category.


title: A low-mass eclipsing binary within the fully convective zone from the NGTS

abstract: We have discovered a new, near-equal mass, eclipsing M dwarf binary from the Next Generation Transit Survey. This system is only one of 3 field age ($>$ 1 Gyr), late M dwarf eclipsing binaries known, and has a period of 1.74774 days, similar to that of CM~Dra and KOI126. Modelling of the eclipses and radial velocities shows that the component masses are $M_{\rm pri}$=0.17391$^{+0.00153}_{0.00099}$ $M_{\odot}$, $M_{\rm sec}$=0.17418$^{+0.00193}_{-0.00059}$ $M_{\odot}$; radii are $R_{\rm pri}$=0.2045$^{+0.0038}_{-0.0058}$ $R_{\odot}$, $R_{\rm sec}$=0.2168$^{+0.0047}_{-0.0048}$ $R_{\odot}$. The effective temperatures are $T_{\rm pri} = 2995\,^{+85}_{-105}$ K and $T_{\rm sec} = 2997\,^{+66}_{-101}$ K, consistent with M5 dwarfs and broadly consistent with main sequence models. This pair represents a valuable addition which can be used to constrain the mass-radius relation at the low mass end of the stellar sequence.


title: Super critical problems with concave and convex nonlinearities in $\mathbb R^N$

abstract: In this paper, by utilizing a newly established variational principle on convex sets, we provide an existence and multiplicity result for a class of semilinear elliptic problems defined on the whole $\mathbb R^N$ with nonlinearities involving sublinear and superlinear terms. We shall impose no growth restriction on the nonlinear term and consequently our problem can be super-critical by means of Sobolev spaces.


title: Bayesreef: A Bayesian inference framework for modelling reef growth in response to environmental change and biological dynamics

abstract: Estimating the impact of environmental processes on vertical reef development in geological time is a very challenging task. pyReef-Core is a deterministic carbonate stratigraphic forward model designed to simulate the key biological and environmental processes that determine vertical reef accretion and assemblage changes in fossil reef drill cores. We present a Bayesian framework called Bayesreef for the estimation and uncertainty quantification of parameters in pyReef-Core that represent environmental conditions affecting the growth of coral assemblages on geological timescales. We demonstrate the existence of multimodal posterior distributions and investigate the challenges of sampling using Markov chain Monte-Carlo (MCMC) methods, which includes parallel tempering MCMC. We use synthetic reef-core to investigate fundamental issues and then apply the methodology to a selected reef-core from the Great Barrier Reef in Australia. The results show that Bayesreef accurately estimates and provides uncertainty quantification of the selected parameters that represent the environment and ecological conditions in pyReef-Core. Bayesreef provides insights into the complex posterior distributions of parameters in pyReef-Core, which provides the groundwork for future research in this area.


title: Weighing the Black Hole via Quasi-local Energy

abstract: We set to weigh the black holes at their event horizons in various spacetimes and obtain masses which are substantially higher than their asymptotic values. In each case, the horizon mass of a Schwarzschild, Reissner-Nordstr{\"o}m, or Kerr black hole is found to be twice the irreducible mass observed at infinity. The irreducible mass does not contain electrostatic or rotational energy, leading to the inescapable conclusion that particles with electric charges and spins cannot exist inside a black hole. The is proposed as the External Energy Paradigm. A higher mass at the event horizon and its neighborhood is obligatory for the release of gravitational waves in binary black hole merging. We describe how these mass values are obtained in the quasi-local energy approach and applied to the black holes of the first gravitational waves GW150914.


title: Normal ordering the squeeze operator by generalized Wick theorem

abstract: In 1988, I translated a popular article 'Squeezed light' for the Hungarian mutation of Scientific American. How shall we say 'squeezed' in our language from now on? At the time, Janszky was already Hungary's top quantum optics theorist, he excelled in squeezed light research as well, so I did not want to decide without asking him. He voted for the word 'pr\'eselt' [prayshalt], and it worked,became standard in our talking and writing about squeezed light. To his memory, let me dedicate an easy route (two pages) to normal ordering the squeeze operator, based on my recent extension of the Wick theorem for general orderings of q and p.


title: Improved survival of cancer patients admitted to the ICU between 2002 and 2011 at a U.S. teaching hospital

abstract: Over the past decades, both critical care and cancer care have improved substantially. Due to increased cancer-specific survival, we hypothesized that both the number of cancer patients admitted to the ICU and overall survival have increased since the millennium change. MIMIC-III, a freely accessible critical care database of Beth Israel Deaconess Medical Center, Boston, USA was used to retrospectively study trends and outcomes of cancer patients admitted to the ICU between 2002 and 2011. Multiple logistic regression analysis was performed to adjust for confounders of 28-day and 1-year mortality. Out of 41,468 unique ICU admissions, 1,100 hemato-oncologic, 3,953 oncologic and 49 patients with both a hematological and solid malignancy were analyzed. Hematological patients had higher critical illness scores than non-cancer patients, while oncologic patients had similar APACHE-III and SOFA-scores compared to non-cancer patients. In the univariate analysis, cancer was strongly associated with mortality (OR= 2.74, 95%CI: 2.56, 2.94). Over the 10-year study period, 28-day mortality of cancer patients decreased by 30%. This trend persisted after adjustment for covariates, with cancer patients having significantly higher mortality (OR=2.63, 95%CI: 2.38, 2.88). Between 2002 and 2011, both the adjusted odds of 28-day mortality and the adjusted odds of 1-year mortality for cancer patients decreased by 6% (95%CI: 4%, 9%). Having cancer was the strongest single predictor of 1-year mortality in the multivariate model (OR=4.47, 95%CI: 4.11, 4.84).


title: Morphology of renormalization-group flow for the de Almeida-Thouless-Gardner universality class

abstract: A replica-symmetry-breaking phase transition is predicted in a host of disordered media. The criticality of the transition has, however, long been questioned below its upper critical dimension, six, due to the absence of a critical fixed point in the renormalization-group flows at one-loop order. A recent two-loop analysis revealed a possible strong-coupling fixed point but, given the uncontrolled nature of perturbative analysis in the strong-coupling regime, debate persists. Here we examine the nature of the transition as a function of spatial dimension and show that the strong-coupling fixed point can go through a Hopf bifurcation, resulting in a critical limit cycle and a concomitant discrete scale invariance. We further investigate a different renormalization scheme and argue that the basin of attraction of the strong-coupling fixed point/limit cycle may thus stay finite for all dimensions.


title: Inter-Domain Charge Transfer as a Rationale for Superior Photovoltaic Performances of Mixed Halide Lead Perovskites

abstract: Organic-inorganic lead halide perovskites containing a mixture of iodide and bromide anions consistently perform better in donor-acceptor heterojunction solar cells than the standard methylammonium lead triiodide material. This observation is counterintuitive, as it is generally expected for photovoltaic materials that heterogeneities and compositional disorder cause reduced carrier diffusion length and conversion efficiency. Here, we combine ultrafast photoinduced electroabsorption and broadband fluorescence up-conversion spectroscopy measurements to scrutinize the carrier dynamics in mixed-cations, mixed-halide lead perovskite thin films. Our results evidence the formation of charge transfer excitons (CTE) across the boundaries of domains of various halide compositions. A global analysis of photoinduced transient Stark signals shows that CTE evolve gradually from Br-rich to I-rich domains over tens to hundreds of picoseconds. Rather than constituting recombination centres, boundaries between domains of various halide compositions appear then to favour charge carrier separation by driving photogenerated holes along channels of decreasing bromide content.


title: Asymptotic properties of Bergman kernels for potentials with Gevrey regularity

abstract: We study the asymptotic properties of the Bergman kernels associated to tensor powers of a positive line bundle on a compact K\"ahler manifold. We show that if the K\"ahler potential is in Gevrey class $G^a$ for some $a>1$, then the Bergman kernel accepts a complete asymptotic expansion in a neighborhood of the diagonal of shrinking size $k^{-\frac12+\frac{1}{4a+4\varepsilon}}$ for every $\varepsilon>0$. These improve the earlier results in the subject for smooth potentials, where an expansion exists in a $(\frac{\log k}{k})^{\frac12}$ neighborhood of the diagonal. We obtain our results by finding upper bounds of the form $C^m m!^{2a+2\varepsilon}$ for the Bergman coefficients $b_m(x, \bar y)$ in a fixed neighborhood by the method of \cite{BBS}. We also show that sharpening these upper bounds would improve the rate of shrinking neighborhoods of the diagonal $x=y$ in our results.


title: Delocalization errors in density functional theory are essentially quadratic in fractional occupation number

abstract: Approximate functionals used in practical density functional theory (DFT) deviate from the piecewise linear behavior of the exact functional for fractional charges. This deviation causes excess charge delocalization, which leads to incorrect densities, molecular properties, barrier heights, band gaps and excitation energies. We present a simple delocalization function for characterizing this error and find it to be almost perfectly linear vs the fractional electron number for systems spanning in size from the H atom to the C$_{12}$H$_{14}$ polyene. This causes the delocalization energy error to be a quadratic polynomial in the fractional electron number, which permits us to assess the comparative performance of 47 popular and recent functionals through the curvature. The quadratic form further suggests that information about a single fractional charge is sufficient to eliminate the principal source of delocalization error. Generalizing traditional two-point information like ionization potentials or electron affinities to account for a third, fractional charge based data point could therefore permit fitting/tuning of functionals with lower delocalization error.

categories: physics.chem-ph cond-mat.other physics.comp-ph quant-ph


title: The nuclear anapole moment interaction in BaF from relativistic coupled cluster theory

abstract: We present high accuracy relativistic coupled cluster calculations of the P-odd interaction coefficient $W_A$ describing the nuclear anapole moment effect on the molecular electronic structure. The molecule under study, BaF, is considered a promising candidate for the measurement of the nuclear anapole moment, and the preparation for the experiment is now underway [Altunas et al., Phys. Rev. Lett. 120, 142501 (2018)]. Influence of various computational parameters (size of the basis set, treatment of relativistic effects, and treatment of electron correlation) on the calculated $W_A$ coefficient is investigated and a recommended value of 147.7 Hz with an estimated uncertainty of 1.5% is proposed.


title: Effective Character-augmented Word Embedding for Machine Reading Comprehension

abstract: Machine reading comprehension is a task to model relationship between passage and query. In terms of deep learning framework, most of state-of-the-art models simply concatenate word and character level representations, which has been shown suboptimal for the concerned task. In this paper, we empirically explore different integration strategies of word and character embeddings and propose a character-augmented reader which attends character-level representation to augment word embedding with a short list to improve word representations, especially for rare words. Experimental results show that the proposed approach helps the baseline model significantly outperform state-of-the-art baselines on various public benchmarks.


title: Extraction of $\gamma n\to\pi N$ observables from deuteron-target data

abstract: An examination is conducted on a commonly used procedure for extracting (un)polarized $\gamma n\to \pi^-p$ and $\gamma n\to \pi^0n$ observables from $d(\gamma,\pi^-)pp$ and $d(\gamma,\pi^0)pn$ data, using a model that consists of the impulse term and the final-state interaction (FSI) terms due to nucleon- and pion-exchange. Recent experimental and theoretical analyses used an extraction method that does not impose a cut on the final $\pi N$ invariant mass $W$. I demonstrate that the use of this method can result in the $\gamma n\to \pi N$ observables that are seriously distorted by the nucleon Fermi motion, and that one can efficiently avoid this problem by imposing a cut on $W$. It is also shown that the use of kinematical cuts of recent experimental analyses can still leave in the selected samples substantial FSI effects that must be corrected in extracting the $\gamma n \to\pi N$ cross sections. In terms of the nucleon- and pion-exchange mechanisms, I give the first qualitative explanation of the FSI corrections, obtained in a recent MAMI experiment, for extracting $\gamma n\to \pi^0 n$ cross sections.


title: Commuting rational functions revisited

abstract: Let $B$ be a rational function of degree at least two that is neither a Latt\`es map nor conjugate to $z^{\pm n}$ or $\pm T_n$. We provide a method for describing the set $C_B$ consisting of all rational functions commuting with $B.$ Specifically, we define an equivalence relation $\underset{B}{\sim}$ on $ C_B$ such that the quotient $ C_B/\underset{B}{\sim}$ possesses the structure of a finite group $G_B$, and describe generators of $G_B$ in terms of the fundamental group of a special graph associated with $B$.


title: Omnidirectional DSO: Direct Sparse Odometry with Fisheye Cameras

abstract: We propose a novel real-time direct monocular visual odometry for omnidirectional cameras. Our method extends direct sparse odometry (DSO) by using the unified omnidirectional model as a projection function, which can be applied to fisheye cameras with a field-of-view (FoV) well above 180 degrees. This formulation allows for using the full area of the input image even with strong distortion, while most existing visual odometry methods can only use a rectified and cropped part of it. Model parameters within an active keyframe window are jointly optimized, including the intrinsic/extrinsic camera parameters, 3D position of points, and affine brightness parameters. Thanks to the wide FoV, image overlap between frames becomes bigger and points are more spatially distributed. Our results demonstrate that our method provides increased accuracy and robustness over state-of-the-art visual odometry algorithms.


title: Can Network Analysis Techniques help to Predict Design Dependencies? An Initial Study

abstract: The degree of dependencies among the modules of a software system is a key attribute to characterize its design structure and its ability to evolve over time. Several design problems are often correlated with undesired dependencies among modules. Being able to anticipate those problems is important for developers, so they can plan early for maintenance and refactoring efforts. However, existing tools are limited to detecting undesired dependencies once they appeared in the system. In this work, we investigate whether module dependencies can be predicted (before they actually appear). Since the module structure can be regarded as a network, i.e, a dependency graph, we leverage on network features to analyze the dynamics of such a structure. In particular, we apply link prediction techniques for this task. We conducted an evaluation on two Java projects across several versions, using link prediction and machine learning techniques, and assessed their performance for identifying new dependencies from a project version to the next one. The results, although preliminary, show that the link prediction approach is feasible for package dependencies. Also, this work opens opportunities for further development of software-specific strategies for dependency prediction.


title: Input/Output Stochastic Automata with Urgency: Confluence and weak determinism

abstract: In a previous work, we introduced an input/output variant of stochastic automata (IOSA) that, once the model is closed (i.e., all synchronizations are resolved), the resulting automaton is fully stochastic, that is, it does not contain non-deterministic choices. However, such variant is not sufficiently versatile for compositional modelling. In this article, we extend IOSA with urgent actions. This extension greatly increases the modularization of the models, allowing to take better advantage on compositionality than its predecessor. However, this extension introduces non-determinism even in closed models. We first show that confluent models are weakly deterministic in the sense that, regardless the resolution of the non-determinism, the stochastic behaviour is the same. In addition, we provide sufficient conditions to ensure that a network of interacting IOSAs is confluent without the need to obtain the composed IOSA.


title: Using Applied Behavior Analysis in Software to help Tutor Individuals with Autism Spectrum Disorder

abstract: There are currently many tutoring software systems which have been designed for neurotypical children. These systems cover academic topics such as reading and math, and are made available through various technological mediums. The majority of these systems were not designed for use by children with special needs, in particular those who are diagnosed with Autism Spectrum Disorder. Since the 1970's, studies have been conducted on the use of Applied Behavior Analysis to help autistic children learn [1]. This teaching methodology is proven to be very effective, with many patients having their diagnosis of autism dropped after a few years of treatment. With the advent of ubiquitous technologies such as mobile devices, it has become apparent that these devices could also be used to help tutor autistic children on academic subjects such as reading and math. Though the delivery of tutoring material must be made using Applied Behavior Analysis techniques, given that ABA therapy is currently the only form of treatment for Autism Spectrum Disorder endorsed by the US Surgeon General [2], which further makes the case for incorporating it into an academics tutoring system tailored for autistic children. In this paper, we present a mobile software system which can be utilized to tutor children who are diagnosed with Autism Spectrum Disorder in the subjects of reading and math. The software makes use of Applied Behavior Analysis techniques such as a Token Economy system, visual and audible reinforcers, and generalization. Furthermore, we explore how combining Applied Behavior Analysis and technology, could help extend the reach of tutoring systems to these children.


title: Convex projective manifolds with a cusp of any non-diagonalizable type

abstract: Recent work of Ballas, Cooper, and Leitner identifies $(n+1)$ types of $n$-dimensional convex projective cusps, one of which is the standard hyperbolic cusp. Work of Ballas-Marquis, and Ballas-Danciger-Lee give examples of these exotic (non-hyperbolic) type cusps in dimension $3$. Here an extension of the techniques of Ballas-Marquis shows the existence of all cusp types in all dimensions, except diagonalizable (type $n$).


title: Cache Aided Communications with Multiple Antennas at Finite SNR

abstract: We study the problem of cache-aided communication for cellular networks with multi-user and multiple antennas at finite signal-to-noise ratio. Users are assumed to have non-symmetric links, modeled by wideband fading channels. We show that the problem can be formulated as a linear program, whose solution provides a joint cache allocation along with pre-fetching and fetching schemes that minimize the duration of the communication in the delivery phase. The suggested scheme uses zero-forcing and cached interference subtraction and hence allow each user to be served at the rate of its own channel. Thus, this scheme is better than the previously published schemes that are compromised by the poorest user in the communication group. We also consider a special case of the parameters for which we can derive a closed form solution and formulate the optimal power, rate and cache optimization. This special case shows that the gain of MIMO coded caching goes beyond the throughput. In particular, it is shown that in this case, the cache is used to balance the users such that fairness and throughput are no longer contradicting. More specifically, in this case, strict fairness is achieved jointly with maximizing the network throughput.


title: A Factorisation Algorithm in Adiabatic Quantum Computation

abstract: The problem of factorising positive integer $N$ into two integer factors $x$ and $y$ is first reformulated as an optimisation problem over the positive integer domain of either of the Diophantine polynomials $Q_N(x,y)=N^2(N-xy)^2 + x(x-y)^2$ or $R_N(x,y) = N^2(N-xy)^2 + (x-y)^2 + x$, of each of which the optimal solution is unique with $x\le \sqrt{N} \le y$, and $x=1$ if and only if $N$ is prime. An algorithm in the context of Adiabatic Quantum Computation is then proposed for the general factorisation problem.


title: Generically Computable Equivalence Structures and Isomorphisms

abstract: We define notions of generically and coarsely computable relations and structures and functions between structures. We investigate the existence and uniqueness of equivalence structures in the context of these definitions


title: A non-injective version of Wigner's theorem

abstract: Let $H$ be a complex Hilbert space and let ${\mathcal F}_{s}(H)$ be the real vector space of all self-adjoint finite rank operators on $H$. We prove the following non-injective version of Wigner's theorem: every linear operator on ${\mathcal F}_{s}(H)$ sending rank one projections to rank one projections (without any additional assumption) is either induced by a linear or conjugate-linear isometry or constant on the set of rank one projections.


title: Schools are segregated by educational outcomes in the digital space

abstract: The Internet provides students with a unique opportunity to connect and maintain social ties with peers from other schools, irrespective of how far they are from each other. However, little is known about the real structure of such online relationships. In this paper, we investigate the structure of interschool friendship on a popular social networking site. We use data from 36,951 students from 590 schools of a large European city. We find that the probability of a friendship tie between students from neighboring schools is high and that it decreases with the distance between schools following the power law. We also find that students are more likely to be connected if the educational outcomes of their schools are similar. We show that this fact is not a consequence of residential segregation. While high- and low-performing schools are evenly distributed across the city, this is not the case for the digital space, where schools turn out to be segregated by educational outcomes. There is no significant correlation between the educational outcomes of a school and its geographical neighbors; however, there is a strong correlation between the educational outcomes of a school and its digital neighbors. These results challenge the common assumption that the Internet is a borderless space, and may have important implications for the understanding of educational inequality in the digital age.


title: Against Marrying a Stranger Marital Matchmaking Technologies in Saudi Arabia

abstract: Websites and applications that match and connect individuals for romantic purposes are commonly used in the Western world. However, there have not been many previous investigations focusing on cultural factors that affect the adoption of similar technologies in religiously conservative non-Western cultures. In this study, we examine the socio-technical and cultural factors that influence the perceptions and use of matchmaking technologies in Saudi Arabia. We report the methods and findings of interviews with 18 Saudi nationals (nine males and nine females) with diverse demographics and backgrounds. We provide qualitatively generated insights into the major themes reported by our participants related to the common approaches to matchmaking, the current role of technology, and concerns regarding matchmaking technologies in this cultural con-text. We relate these themes to specific implications for designing marital matchmaking technologies in Saudi Arabia and we outline opportunities for future investigations.


title: The Dirichlet Casimir Energy For \phi^4 Theory in a Rectangular Waveguide

abstract: In this paper, we presented the zero- and first-order radiative corrections to the Casimir energy for a massive scalar field confined with Dirichlet boundary condition in an open-ended rectangular waveguide. In the calculation procedure, we applied a systematic renormalization program that allows all influences imposed by dominant boundary conditions in a problem be automatically reflected in the counterterms, leading the counterterms to be obtained in a position-dependent manner. To remove the appeared divergences in the computation task, the Box Subtraction Scheme as a regularization technique was used. In this regularization technique, usually, two similar configurations were introduced. Then, to find the Casimir energy, the zero point energies of these two configurations were subtracted from each other via defining appropriate limits. In the present work, first, the leading-order Casimir energy for the massive scalar field in a waveguide is briefly presented. Next, by applying this renormalization and regularization procedures, the first-order radiative correction to the Casimir energy in the waveguide is calculated. Finally, all the necessary limits of the obtained answers for massive and massless cases are computed and the consistency of the obtained results are discussed.


title: On the Number of Acyclic Orientations of Complete $k$-Partite Graphs

abstract: Building on previous work by Cameron et al. in [3], we give a recurrence for computing the number of acyclic orientations of complete $k$-partite graphs, which can be implemented to obtain a dynamic programming algorithm running in time $n^{O(k)}$, where $n$ is the number of vertices in the graph. We prove our result by using a relationship between the number of acyclic orientations and the number of Hamiltonian paths in complete $k$-partite graphs and providing a recurrence for the latter quantity. We give a simple extension of our algorithm to the situation when we are an edge removal away from having a complete $k$-partite graph.


title: Astrocyte-induced positive integrated information in neuroglial ensembles

abstract: The Integrated Information is a quantitative measure from information theory how tightly all parts of a system are interconnected in terms of information exchange. In this study we show that astrocyte, playing an important role in regulation of information transmission between neurons, may contribute to a generation of positive Integrated Information in neuronal ensembles. Analytically and numerically we show that the presence of astrocyte may be essential for this information attribute in neuro-astrocytic ensembles. Moreover, the proposed "spiking-bursting" mechanism of generating positive Integrated Information is shown to be generic and not limited to neuroglial networks, and is given a complete analytic description.


title: Thermoelectric effect and Seebeck coefficient for hot and dense hadronic matter

abstract: We investigate the thermoelectric effect for baryon rich plasma produced in heavy ion collision experiments. We estimate the associated Seebeck coefficient for the hadronic matter. Using kinetic theory within relaxation time approximation we calculate the Seebeck coefficient of a hadronic medium with a temperature gradient. The calculation is performed for hadronic matter modeled by hadron resonance gas model with hadrons and resonance states up to a cutoff in the mass as 2.25 GeV. We argue that the thermoelectric current produced by such effect can produce magnetic field in heavy ion collision experiments.


title: Attosecond bunches of gamma photons and positrons generated in nanorod array targets

abstract: The sub-atomic experimental exploration of physical processes on extremely short time scales has become possible by the generation of high quality electron bunches and x-ray pulses with sub-femtosecond durations. Temporal coherence is crucial for achieving high resolution in diffraction-based diagnostics and if the transverse spatial coherence is also provided, then phenomena with very small cross sections could also be observed. Increasing the photon energy from x-ray to gamma-ray regime makes probing of extremely small space-time domains accessible. Here, a mechanism for generating attosecond gamma photon and positron bunches with small divergence using laser intensities below $10^{23}$ W/cm$^2$ is proposed. Numerical simulations are used to formulate the conditions for coherent radiation and to characterize the generated photon and positron bunches.


title: American Put Option pricing using Least squares Monte Carlo method under Bakshi, Cao and Chen Model Framework (1997) and comparison to alternative regression techniques in Monte Carlo

abstract: This paper explores alternative regression techniques in pricing American put options and compares to the least-squares method (LSM) in Monte Carlo implemented by Longstaff-Schwartz, 2001 which uses least squares to estimate the conditional expected payoff to the option holder from continuation. The pricing is done under general model framework of Bakshi, Cao and Chen 1997 which incorporates, stochastic volatility, stochastic interest rate and jumps. Alternative regression techniques used are Artificial Neural Network (ANN) and Gradient Boosted Machine (GBM) Trees. Model calibration is done on American put options on SPY using these three techniques and results are compared on out of sample data.


title: Multiband SAS Imagery

abstract: Advances in unmanned synthetic aperture sonar (SAS) imaging platforms allow for the simultaneous collection of multiband SAS imagery. The imagery is collected over several octaves and the phenomenology's interactions with the sea floor vary greatly over this range -- higher frequencies resolve proud and fine structure of the seafloor while lower frequencies resolve subsurface features and often induce internal resonance in man-made objects. Currently, analysts examine multiband imagery by viewing a single band at a time. This method makes it difficult to ascertain correlations between any pair of bands collected over the same location. To mitigate this issue, we propose methods which ingest high frequency (HF) and low frequency (LF) SAS imagery and generates a color composite creating what we call a multiband SAS (MSAS) image. The MSAS image contains the relevant portions of the HF and LF images required by an analyst to interpret the scene and are defined using a spatial saliency metric computed for each image. We then combine the saliency and acoustic backscatter measures to form the final MSAS image.