title: PILOT balloon-borne experiment in-flight performance

abstract: The Polarized Instrument for Long-wavelength Observation of the Tenuous interstellar medium (PILOT) is a balloon-borne experiment aiming at measuring the polarized emission of thermal dust at a wavelength of 240 mm (1.2 THz). A first PILOT flight (flight#1) of the experiment took place from Timmins, Ontario, Canada, in September 2015 and a second flight (flight#2) took place from Alice Springs, Australia in april 2017. In this paper, we present the inflight performance of the instrument during these two flights. We concentrate on performances during flight#2, but allude to flight#1 performances if significantly different. We first present a short description of the instrument and the flights. We determine the time constants of our detectors combining inflight information from the signal decay following high energy particle impacts (glitches) and of our internal calibration source. We use these time constants to deconvolve the data timelines and analyse the optical quality of the instrument as measured on planets. We then analyse the structure and polarization of the instrumental background. We measure the detector response flat field and its time variations using the signal from the residual atmosphere and of our internal calibration source. Finally, we analyze the detector noise spectral and temporal properties. The in-flight performances are found to be satisfactory and globally in line with expectations from ground calibrations. We conclude by assessing the expected in-flight sensitivity of the instrument in light of the above in-flight performances.


title: The Traveling Salesman Theorem in Carnot Groups

abstract: Let $\mathbb{G}$ be any Carnot group. We prove that, if a subset of $\mathbb{G}$ is contained in a rectifiable curve, then it satisfies Peter Jones' geometric lemma with some natural modifications. We thus prove one direction of the Traveling Salesman Theorem in $\mathbb{G}$. Our proof depends on new Alexandrov-type curvature inequalities for the Hebisch-Sikora metrics. We also apply the geometric lemma to prove that, in every Carnot group, there exist $-1$-homogeneous Calder\'on-Zygmund kernels such that, if a set $E \subset \mathbb{G}$ is contained in a 1-regular curve, then the corresponding singular integral operators are bounded in $L^2(E)$. In contrast to the Euclidean setting, these kernels are nonnegative and symmetric.


title: Cylindric symmetric functions and positivity

abstract: We introduce new families of cylindric symmetric functions as subcoalgebras in the ring of symmetric functions $\Lambda$ (viewed as a Hopf algebra) which have non-negative structure constants. Combinatorially these cylindric symmetric functions are defined as weighted sums over cylindric reverse plane partitions or - alternatively - in terms of sets of affine permutations. We relate their combinatorial definition to an algebraic construction in terms of the principal Heisenberg subalgebra of the affine Lie algebra $\mathfrak{\widehat{sl}}_n$ and a specialised cyclotomic Hecke algebra. Using Schur-Weyl duality we show that the new cylindric symmetric functions arise as matrix elements of Lie algebra elements in the subspace of symmetric tensors of a particular level-0 module which can be identified with the small quantum cohomology ring of the $k$-fold product of projective space. The analogous construction in the subspace of alternating tensors gives the known set of cylindric Schur functions which are related to the small quantum cohomology ring of Grassmannians. We prove that cylindric Schur functions form a subcoalgebra in $\Lambda$ whose structure constants are the 3-point genus 0 Gromov-Witten invariants. We show that the new families of cylindric functions obtained from the subspace of symmetric tensors also share the structure constants of a symmetric Frobenius algebra, which we define in terms of tensor multiplicities of the generalised symmetric group $G(n,1,k)$.


title: A negative answer to a question of Aschbacher

abstract: We give infinitely many examples to show that even for simple groups $G$ it is possible for the lattice of overgroups of a subgroup $H$ to be the Boolean lattice of rank $2$, in such a way that the two maximal overgroups of $H$ are conjugate in $G$. This answers negatively a question posed by Aschbacher.


title: Huygens' principle - a synthetic account

abstract: We present an axiomatic/synthetic account of the Huygens Principle of wave fronts. The primitive notions are "touching", and (a weak notion of ) metric. The paper simplifies some of the exposition of the author's "Metric spaces and SDG", Theory and Appl. of Categories 32 (2017), 803-822


title: Theory of Parameter Control for Discrete Black-Box Optimization: Provable Performance Gains Through Dynamic Parameter Choices

abstract: Parameter control aims at realizing performance gains through a dynamic choice of the parameters which determine the behavior of the underlying optimization algorithm. In the context of evolutionary algorithms this research line has for a long time been dominated by empirical approaches. With the significant advances in running time analysis achieved in the last ten years, the parameter control question has become accessible to theoretical investigations. A number of running time results for a broad range of different parameter control mechanisms have been obtained in recent years. This book chapter surveys these works, and puts them into context, by proposing an updated classification scheme for parameter control.


title: IterGANs: Iterative GANs to Learn and Control 3D Object Transformation

abstract: We are interested in learning visual representations which allow for 3D manipulations of visual objects based on a single 2D image. We cast this into an image-to-image transformation task, and propose Iterative Generative Adversarial Networks (IterGANs) which iteratively transform an input image into an output image. Our models learn a visual representation that can be used for objects seen in training, but also for never seen objects. Since object manipulation requires a full understanding of the geometry and appearance of the object, our IterGANs learn an implicit 3D model and a full appearance model of the object, which are both inferred from a single (test) image. Two advantages of IterGANs are that the intermediate generated images can be used for an additional supervision signal, even in an unsupervised fashion, and that the number of iterations can be used as a control signal to steer the transformation. Experiments on rotated objects and scenes show how IterGANs help with the generation process.


title: A Search for H I Lyman $\alpha$ Counterparts to Ultra-Fast X-ray Outflows

abstract: Prompted by the H I Ly$\alpha$ absorption associated with the X-ray ultra-fast outflow at -17,300 $\rm km~s^{-1}$ in the quasar PG~1211+143, we have searched archival UV spectra at the expected locations of H I Ly$\alpha$ absorption for a large sample of ultra-fast outflows identified in XMM-Newton and Suzaku observations. Sixteen of the X-ray outflows have predicted H I Ly$\alpha$ wavelengths falling within the bandpass of spectra from either the Far Ultraviolet Spectroscopic Explorer or the Hubble Space Telescope, although none of the archival observations were simultaneous with the X-ray observations in which UFOs were detected. In our spectra broad features with full-width at half-maximum of 1000 $\rm km~s^{-1}$ have 2-$\sigma$ upper limits on the H I column density of generally <$2\times10^{13}~\rm cm^{-2}$. Using grids of photoionization models covering a broad range of spectral energy distributions, we find that producing Fe XXVI Ly$\alpha$ X-ray absorption with equivalent widths $>30$ eV and associated H I Ly$\alpha$ absorption with $\rm N_{HI}<2\times10^{13}~cm^{-2}$ requires total absorbing column densities $\rm N_{H}>5\times10^{22}~cm^{-2}$ and ionization parameters log $\xi$ > 3.7. Nevertheless, a wide range of SEDs would predict observable H I Ly$\alpha$ absorption if ionization parameters are only slightly below peak ionization fractions for Fe XXV and Fe XXVI. The lack of Ly$\alpha$ features in the archival UV spectra indicates that either the UFOs have very high ionization parameters, very hard UV-ionizing spectra, or that they were not present at the time of the UV spectral observations due to variability.


title: Neural Kinematic Networks for Unsupervised Motion Retargetting

abstract: We propose a recurrent neural network architecture with a Forward Kinematics layer and cycle consistency based adversarial training objective for unsupervised motion retargetting. Our network captures the high-level properties of an input motion by the forward kinematics layer, and adapts them to a target character with different skeleton bone lengths (e.g., shorter, longer arms etc.). Collecting paired motion training sequences from different characters is expensive. Instead, our network utilizes cycle consistency to learn to solve the Inverse Kinematics problem in an unsupervised manner. Our method works online, i.e., it adapts the motion sequence on-the-fly as new frames are received. In our experiments, we use the Mixamo animation data to test our method for a variety of motions and characters and achieve state-of-the-art results. We also demonstrate motion retargetting from monocular human videos to 3D characters using an off-the-shelf 3D pose estimator.


title: A New Least Squares Stabilized Nitsche Method for Cut Isogeometric Analysis

abstract: We derive a new stabilized symmetric Nitsche method for enforcement of Dirichlet boundary conditions for elliptic problems of second order in cut isogeometric analysis (CutIGA). We consider $C^1$ splines and stabilize the standard Nitsche method by adding certain elementwise least squares terms in the vicinity of the Dirichlet boundary and an additional term on the boundary which involves the tangential gradient. We show coercivity with respect to the energy norm for functions in $H^2(\Omega)$ and optimal order a priori error estimates in the energy and $L^2$ norms. To obtain a well posed linear system of equations we combine our formulation with basis function removal which essentially eliminates basis functions with sufficiently small intersection with $\Omega$. The upshot of the formulation is that only elementwise stabilization is added in contrast to standard procedures based on ghost penalty and related techniques and that the stabilization is consistent. In our numerical experiments we see that the method works remarkably well in even extreme cut situations using a Nitsche parameter of moderate size.


title: Active Learning for Efficient Testing of Student Programs

abstract: In this work, we propose an automated method to identify semantic bugs in student programs, called ATAS, which builds upon the recent advances in both symbolic execution and active learning. Symbolic execution is a program analysis technique which can generate test cases through symbolic constraint solving. Our method makes use of a reference implementation of the task as its sole input. We compare our method with a symbolic execution-based baseline on 6 programming tasks retrieved from CodeForces comprising a total of 23K student submissions. We show an average improvement of over 2.5x over the baseline in terms of runtime (thus making it more suitable for online evaluation), without a significant degradation in evaluation accuracy.


title: Assurance Benefits of ISO 26262 compliant Microcontrollers for safety-critical Avionics

abstract: The usage of complex Microcontroller Units (MCUs) in avionic systems constitutes a challenge in assuring their safety. They are not developed according to the development requirements accepted by the aerospace industry. These Commercial off-the-shelf (COTS) hardware components usually target other domains like the telecommunication branch. In the last years MCUs developed in compliance to the ISO 26262 have been released on the market for safety-related automotive applications. The avionic assurance process could profit from these safety MCUs. In this paper we present evaluation results based on the current assurance practice that demonstrates expected assurance activities benefit from ISO 26262 compliant MCUs.


title: Effective Stellar $\beta$-Decay Rates of Nuclei with Long-lived Isomers: $^{26}$Al and $^{34}$Cl

abstract: Isotopes with low-lying long-lived isomers can behave very differently from other isotopes in astrophysical environments. In particular, the assumption of thermal equilibrium in computing the temperature-dependent $\beta$-decay rates of such isotopes can fail below certain temperatures. We focus on the $\beta$-decay of $^{26}$Al since it is one of the most important isotopes in observational astrophysics and has a low-lying isomeric state; we compare and contrast these results with $^{34}$Cl. We rule out recently reported $^{26}$Al effective $\beta$-decay rates that showed large differences from previous calculations, finding that we agree with the earlier results. We conclude that in general, effective $\beta$-decay rates should be defined separately for the ground and isomeric states at temperatures where thermal equilibrium cannot be achieved.


title: Minimal planes in asymptotically flat three-manifolds

abstract: In this paper, we improve a result by Chodosh and Ketover. We prove that, in an asymptotically flat $3$-manifold $M$ that contains no closed minimal surfaces, fixing $q\in M$ and a $2$-plane $V$ in $T_qM$ there is a properly embedded minimal plane $\Sigma$ in $M$ such that $q\in\Sigma$ and $T_q\Sigma=V$. We also prove that fixing three points in $M$ there is a properly embedded minimal plane passing through these three points.


title: Are quantum thermodynamic machines better than their classical counterparts?

abstract: Interesting effects arise in cyclic machines where both heat and ergotropy transfer take place between the energising bath and the system (the working fluid). Such effects correspond to unconventional decompositions of energy exchange between the bath and the system into heat and work, respectively, resulting in efficiency bounds that may surpass the Carnot efficiency. However, these effects are not directly linked with quantumness, but rather with heat and ergotropy, the likes of which can be realised without resorting to quantum mechanics.


title: Approximation of norms on Banach spaces

abstract: Relatively recently it was proved that if $\Gamma$ is an arbitrary set, then any equivalent norm on $c_0(\Gamma)$ can be approximated uniformly on bounded sets by polyhedral norms and $C^\infty$ smooth norms, with arbitrary precision. We extend this result to more classes of spaces having uncountable symmetric bases, such as preduals of the `discrete' Lorentz spaces $d(w,1,\Gamma)$, and certain symmetric Nakano spaces and Orlicz spaces. We also show that, given an arbitrary ordinal number $\alpha$, there exists a scattered compact space $K$ having Cantor-Bendixson height at least $\alpha$, such that every equivalent norm on $C(K)$ can be approximated as above.


title: An Extended Beta-Elliptic Model and Fuzzy Elementary Perceptual Codes for Online Multilingual Writer Identification using Deep Neural Network

abstract: Actually, the ability to identify the documents authors provides more chances for using these documents for various purposes. In this paper, we present a new effective biometric writer identification system from online handwriting. The system consists of the preprocessing and the segmentation of online handwriting into a sequence of Beta strokes in a first step. Then, from each stroke, we extract a set of static and dynamic features from new proposed model that we called Extended Beta-Elliptic model and from the Fuzzy Elementary Perceptual Codes. Next, all the segments which are composed of N consecutive strokes are categorized into groups and subgroups according to their position and their geometric characteristics. Finally, Deep Neural Network is used as classifier. Experimental results reveal that the proposed system achieves interesting results as compared to those of the existing writer identification systems on Latin and Arabic scripts.


title: Short-time dynamics in $s+is$-wave superconductor with incipient bands

abstract: Motivated by the recent observation of the time-reversal symmetry broken state in K-doped BaFe$_2$As$_2$ superconducting alloys, we theoretically study the collective modes and the short time dynamics of the superconducting state with $s+is$-wave order parameter using an effective four-band model with two hole and two electron pockets. The superconducting $s+is$ state emerges for incipient electron bands as a result of hole doping and appears as an intermediate state between $s^{\pm}$ (high number of holes) and $s^{++}$ (low number of holes). The amplitude and phase modes are coupled giving rise to a variety of collective modes. In the $s^{\pm}$ state, we find the Higgs mode at frequencies similar to a two-band model with an absent Leggett mode, while in the $s+is$ and $s^{++}$ state, we uncover a new coupled collective soft mode. Finally we compare our results with the $s+id$ solution and find similar behaviour of the collective modes.


title: Dijet production in diffractive deep-inelastic scattering in next-to-next-to-leading order QCD

abstract: Hard processes in diffractive deep-inelastic scattering can be described by a factorisation into parton-level subprocesses and diffractive parton distributions. In this framework, cross sections for inclusive dijet production in diffractive deep-inelastic electron-proton scattering (DIS) are computed to next-to-next-to-leading order (NNLO) QCD accuracy and compared to a comprehensive selection of data. Predictions for the total cross sections, 39 single-differential and four double-differential distributions for six measurements at HERA by the H1 and ZEUS collaborations are calculated. In the studied kinematical range, the NNLO corrections are found to be sizeable and positive. The NNLO predictions typically exceed the data, while the kinematical shape of the data is described better at NNLO than at next-to-leading order (NLO). A significant reduction of the scale uncertainty is achieved in comparison to NLO predictions. Our results use the currently available NLO diffractive parton distributions, and the discrepancy in normalisation highlights the need for a consistent determination of these distributions at NNLO accuracy.


title: Effective Field Theory with Nambu-Goldstone Modes

abstract: These lectures provide an introduction to the low-energy dynamics of Nambu-Goldstone fields, associated with some spontaneous (or dynamical) symmetry breaking, using the powerful methods of effective field theory. The generic symmetry properties of these massless modes are described in detail and two very relevant phenomenological applications are worked out: chiral perturbation theory, the low-energy effective theory of QCD, and the (non-linear) electroweak effective theory. The similarities and differences between these two effective theories are emphasized, and their current status is reviewed. Special attention is given to the short-distance dynamical information encoded in the low-energy couplings of the effective Lagrangians. The successful methods developed in QCD could help us to uncover fingerprints of new physics scales from future measurements of the electroweak effective theory couplings.


title: Optimisation of Least Squares Algorithm: A Study of Frame Based Programming Techniques in Horizontal Networks

abstract: Least squares estimation, a regression technique based on minimisation of residuals, has been invaluable in bringing the best fit solutions to parameters in science and engineering. However, in dynamic environments such as in Geomatics Engineering, formation of these equations can be very challenging. And these constraints are ported and apparent in most program models, requiring users at ease with the subject matter. This paper reviews the methods of least squares approximation and examines a one-step automated approach, with error analysis, through the instrumentality of frames, object oriented programming.


title: Possible generation of $\pi$-condensation in a free space by collisions between photons and protons

abstract: A sharply peaked structure is found in the angular distribution of emitted $\pi^+$ mesons from the photon-proton collisions. It offers a possible way for generating a $\pi^+$-condensation in free space. To make the stimulated emission of $\pi^+$-mesons efficient, a ring resonator is designed.


title: Evolution of the Chinese Guarantee Network under Financial Crisis and Stimulus Program

abstract: Our knowledge about the evolution of guarantee network in downturn period is limited due to the lack of comprehensive data of the whole credit system. Here we analyze the dynamic Chinese guarantee network constructed from a comprehensive bank loan dataset that accounts for nearly 80% total loans in China, during 01/2007-03/2012. The results show that, first, during the 2007-2008 global financial crisis, the guarantee network became smaller, less connected and more stable because of many bankruptcies; second, the stimulus program encouraged mutual guarantee behaviors, resulting in highly reciprocal and fragile network structure; third, the following monetary policy adjustment enhanced the resilience of the guarantee network by reducing mutual guarantees. Interestingly, our work reveals that the financial crisis made the network more resilient, and conversely, the government bailout degenerated network resilience. These counterintuitive findings can provide new insight into the resilience of real-world credit system under external shocks or rescues.


title: BMO functions and Balayage of Carleson measures in the Bessel setting

abstract: By $BMO_o(R)$ we denote the space consisting of all those odd and bounded mean oscillation functions on R. In this paper we characterize the functions in $BMO_o(R)$ with bounded support as those ones that can be written as a sum of a bounded function on $(0,\infty )$ plus the balayage of a Carleson measure on $(0,\infty )\times (0,\infty )$ with respect to the Poisson semigroup associated with the Bessel operator $B_\lambda =-x^{-\lambda }Dx^{2\lambda }Dx^{-\lambda}$, $\lambda >0$. This result can be seen as an extension to Bessel setting of a classical result due to Carleson.


title: A Clonal Selection Algorithm with Levenshtein Distance based Image Similarity in Multidimensional Subjective Tourist Information and Discovery of Cryptic Spots by Interactive GHSOM

abstract: Mobile Phone based Participatory Sensing (MPPS) system involves a community of users sending personal information and participating in autonomous sensing through their mobile phones. Sensed data can also be obtained from external sensing devices that can communicate wirelessly to the phone. Our developed tourist subjective data collection system with Android smartphone can determine the filtering rules to provide the important information of sightseeing spot. The rules are automatically generated by Interactive Growing Hierarchical SOM. However, the filtering rules related to photograph were not generated, because the extraction of the specified characteristics from images cannot be realized. We propose the effective method of the Levenshtein distance to deduce the spatial proximity of image viewpoints and thus determine the specified pattern in which images should be processed. To verify the proposed method, some experiments to classify the subjective data with images are executed by Interactive GHSOM and Clonal Selection Algorithm with Immunological Memory Cells in this paper.


title: Trailing Waves

abstract: We report a special phenomenon: trailing waves. They are generated by the propagation of elastic waves in plates at large frequency-thickness (fd) product. Unlike lamb waves and bulk waves, trailing waves are a list of non-dispersive pulses with constant time delay between each other. Based on Raleigh-Lamb equation, we give the analytical solution of trailing waves under a simple assumption. The analytical solution explains the formation of not only trailing waves but also bulk waves. It helps us better understand elastic waves in plates. We finally discuss the great potential of trailing waves for nondestructive testing.


title: Pliant: Leveraging Approximation to Improve Datacenter Resource Efficiency

abstract: Cloud multi-tenancy is typically constrained to a single interactive service colocated with one or more batch, low-priority services, whose performance can be sacrificed when deemed necessary. Approximate computing applications offer the opportunity to enable tighter colocation among multiple applications whose performance is important. We present Pliant, a lightweight cloud runtime that leverages the ability of approximate computing applications to tolerate some loss in their output quality to boost the utilization of shared servers. During periods of high resource contention, Pliant employs incremental and interference-aware approximation to reduce contention in shared resources, and prevent QoS violations for co-scheduled interactive, latency-critical services. We evaluate Pliant across different interactive and approximate computing applications, and show that it preserves QoS for all co-scheduled workloads, while incurring a 2.1\% loss in output quality, on average.


title: Colliding Stellar Winds Structure and X-ray Emission

abstract: We investigate the structure and X-ray emission from the colliding stellar winds in massive star binaries. We find that the opening angle of the contact discontinuity (CD) is overestimated by several formulae in the literature at very small values of the wind momentum ratio. We find also that the shocks in the primary (dominant) and secondary winds flare by approx 20 degrees compared to the CD, and that the entire secondary wind is shocked when the wind momentum ratio < 0.02. Analytical expressions for the opening angles of the shocks, and the fraction of each wind that is shocked, are provided. We find that the X-ray luminosity scales with the wind momentum ratio, and that the spectrum softens slightly as the wind momentum ratio decreases.


title: Ab initio study of acid molecules interacting with H2O

abstract: Using the Gaussian-03 for ab initio calculations, interactions of various acid molecules with a single water molecule were studied. The molecular and supermolecular optimized structures were found with the Becke-3-Lee-Yang-Parr (B3LYP-hybrid potential) calculations of density- functional theory (DFT) methods, as well as the M{\o}ller-Plesset second-order perturbation theory using the basis set of aug-cc-pVDZ quality and the CRENBL ECP effective core potential for molecules containing heavy iodine atom. Possible isomers of studied acids and supermolecules consisting of acid molecules coupled with a single water molecule are shown. Energies, zero-point energies (ZPEs), thermal enthalpies, and thermal free energies, as well as the corresponding binding energies for the theoretical methods were calculated. It was also found that optimized structures of supermolecular isomers with lowest energies corresponding to the global minimum on the potential energy surfaces can be different for both theories. The most simply structured acids H 2 S and H 2 Se, forming acid-water supermolecules, can give clear evidence of disagreement of the two theoretical methods concerning optimization of lowest energy structures, because the B3LYP-DFT method gives the lowest-energy structure for the first supermolecular isomer, but the MP2 method for the second possible isomer. A dramatic difference was also found between potential energy surfaces for both theories applying to the finding of the optimized structures of the H 2 SO 3 -H 2 O supermolecular isomers, because MP2 supermolecular geometries cannot exist for the corresponding B3LYP-DFT ones, for which the frequency characteristics of the supermolecular isomers were also calculated. ......


title: Hyperreal delta functions as a new general tool for modeling physical states with infinitely high densities

abstract: This paper introduces the expanded real numbers as an ordered subring of the hyperreal number field that does not contain any infinitesimals, and defines the set of all integrable functions from the real numbers to the expanded real numbers. This allows to identify the Dirac delta with a special hyperreal-valued function of a real variable: the Dirac delta function thus defined is a general tool, applicable for the mathematical modeling of physical systems in which infinitely high densities occur.


title: Fermionic Solutions of a Five-Dimensional Chern-Simons AdS Supergravity without Gravitino

abstract: Based on recent discussions on the so-called unconventional supersymmetry, we analyze a class of solutions of a 5D Chern-Simons AdS-$\mathcal{N}$-SUGRA formulation without gravitino fields. With a Randall-Sundrum-type ansatz, we exploit the properties of Chern-Simons theories to find solutions to the fermionic field equations in a particular dimensional reduction context. We show that this specific dimensional reduction yields a non-trivial equation of motion for the fermionic field. We actually get a non-linear equation of motion for the fermionic fields, typical of models where torsion is present. This fermionic equation describes massive fermions with specific couplings with the bosonic supersymmetric degrees of freedom and we show that, in some specific limits, we can infer about the localization of the fermions' chirality components by means of the particular function that comes out to the dimensional reduction scheme.


title: A Polynomial Chaos Expansion in Dependent Random Variables

abstract: This paper introduces a new generalized polynomial chaos expansion (PCE) comprising measure-consistent multivariate orthonormal polynomials in dependent random variables. Unlike existing PCEs, whether classical or generalized, no tensor-product structure is assumed or required. Important mathematical properties of the generalized PCE are studied by constructing orthogonal decomposition of polynomial spaces, explaining completeness of orthogonal polynomials for prescribed assumptions, exploiting whitening transformation for generating orthonormal polynomial bases, and demonstrating mean-square convergence to the correct limit. Analytical formulae are proposed to calculate the mean and variance of a truncated generalized PCE for a general output variable in terms of the expansion coefficients. An example derived from a stochastic boundary-value problem illustrates the generalized PCE approximation in estimating the statistical properties of an output variable for 12 distinct non-product-type probability measures of input variables.


title: Boolos' Hardest Logic Puzzle Ever in its purest form

abstract: This article takes at heart Boolos' intentions when presenting `The Hardest Logic Puzzle Ever.' We stress the fact that Boolos instructs us to solve the puzzle by asking three yes-no questions. It is a requirement that all the gods, including Random -whose behavior is determined by the outcome of flipping a coin in its head-, are always obliged to answer. Moreover, Boolos' solution implies that the meaning of `Da' and `Ja' is irrelevant to solve the puzzle, and, at the same time, that all of this would be in virtue of the irreducible fundamentality of `the Law of the Excluded Middle.' The purpose of this paper is, then, twofold. First, we prove that Boolos' original puzzle cannot be solved, in an absolute deterministic way, in less than three yes-no \textit{admissible} questions. This does not mean that one could identify the gods' identities in less than three questions, which chances, second, we compute as well.


title: Sparse solutions in optimal control of PDEs with uncertain parameters: the linear case

abstract: We study sparse solutions of optimal control problems governed by PDEs with uncertain coefficients. We propose two formulations, one where the solution is a deterministic control optimizing the mean objective, and a formulation aiming at stochastic controls that share the same sparsity structure. In both formulations, regions where the controls do not vanish can be interpreted as optimal locations for placing control devices. In this paper, we focus on linear PDEs with linearly entering uncertain parameters. Under these assumptions, the deterministic formulation reduces to a problem with known structure, and thus we mainly focus on the stochastic control formulation. Here, shared sparsity is achieved by incorporating the $L^1$-norm of the mean of the pointwise squared controls in the objective. We reformulate the problem using a norm reweighting function that is defined over physical space only and thus helps to avoid approximation of the random space using samples or quadrature. We show that a fixed point algorithm applied to the norm reweighting formulation leads to a variant of the well-studied iterative reweighted least squares (IRLS) algorithm, and we propose a novel preconditioned Newton-conjugate gradient method to speed up the IRLS algorithm. We combine our algorithms with low-rank operator approximations, for which we provide estimates of the truncation error. We carefully examine the computational complexity of the resulting algorithms. The sparsity structure of the optimal controls and the performance of the solution algorithms are studied numerically using control problems governed by the Laplace and Helmholtz equations. In these experiments the Newton variant clearly outperforms the IRLS method.


title: On the scatter of the present-day stellar metallicity-mass relation of cluster dwarf galaxies

abstract: We examine the scatter of the relation between stellar mass and stellar metallicity for cluster dwarf galaxies in the cosmological simulation Illustris. The mass-metallicity relation exhibits the smallest intrinsic scatter at the galaxies' times of peak stellar mass, suggesting stellar mass stripping to be the primary effect responsible for the rather broad relation at present. However, for about 40% of galaxies in the high-metallicity tail of the relation, we find mass stripping to coincide with an increased enrichment of stellar metallicity, possibly caused by the stripping of low-metallicity stars in the galaxy outskirts.


title: On Yang-Baxter models, twist operators, and boundary conditions

abstract: We discuss homogeneous Yang-Baxter deformations of integrable sigma models in terms of twist operators. We show that the twist operators behave as the classical analogue of a Drinfeld twist, for all abelian and almost abelian deformations. We also use twist operators to rederive the well-known interpretation of TsT transformations -- equivalent to abelian deformations -- in terms of twisted boundary conditions. We discuss complications in extending this boundary condition picture to non-abelian deformations.


title: Sensitive dependence of geometric Gibbs states at positive temperature

abstract: We give the first example of a smooth family of real and complex maps having sensitive dependence of geometric Gibbs states at positive temperature. This family consists of quadratic-like maps that are non-uniformly hyperbolic in a strong sense. We show that for a dense set of maps in the family the geometric Gibbs states do not converge at positive temperature. These are the first examples of non-convergence at positive temperature in statistical mechanics or the thermodynamic formalism, and answers a question of van Enter and Ruszel. We also show that this phenomenon is robust: There is an open set of analytic 2-parameter families of quadratic-like maps that exhibit sensitive dependence of geometric Gibbs states at positive temperature.


title: Output feedback stabilization of the linearized Korteweg-de Vries equation with right endpoint controllers

abstract: In this paper, we prove the output feedback stabilization for the linearized Korteweg-de Vries (KdV) equation posed on a finite domain in the case the full state of the system cannot be measured. We assume that there is a sensor at the left end point of the domain capable of measuring the first and second order boundary traces of the solution. This allows us to design a suitable observer system whose states can be used for constructing boundary feedbacks acting at the right endpoint so that both the observer and the original plant become exponentially stable. Stabilization of the original system is proved in the $L^2$-sense, while the convergence of the observer system to the original plant is also proved in higher order Sobolev norms. The standard backstepping approach used to construct a left endpoint controller fails and presents mathematical challenges when building right endpoint controllers due to the overdetermined nature of the related kernel models. In order to deal with this difficulty we use the method of [18] which is based on using modified target systems involving extra trace terms. In addition, we show that the number of controllers and boundary measurements can be reduced to one, with the cost of a slightly lower exponential rate of decay. We provide numerical simulations illustrating the efficacy of our controllers.


title: A Polyhedral Method for Sparse Systems with many Positive Solutions

abstract: We investigate a version of Viro's method for constructing polynomial systems with many positive solutions, based on regular triangulations of the Newton polytope of the system. The number of positive solutions obtained with our method is governed by the size of the largest positively decorable subcomplex of the triangulation. Here, positive decorability is a property that we introduce and which is dual to being a subcomplex of some regular triangulation. Using this duality, we produce large positively decorable subcomplexes of the boundary complexes of cyclic polytopes. As a byproduct we get new lower bounds, some of them being the best currently known, for the maximal number of positive solutions of polynomial systems with prescribed numbers of monomials and variables. We also study the asymptotics of these numbers and observe a log-concavity property.


title: An unusual face-on spiral in the wind of the M-type AGB star EP Aquarii

abstract: High-resolution interferometric observations of the circumstellar environments of AGB stars show a variety of morphologies. Guided by the unusual carbon monoxide line profile of the AGB star EP Aquarii, we have observed its circumstellar environment with ALMA band 6 in cycle 4. We describe the morphological complexity of the CO, SiO and SO2 molecular emission. The CO emission exhibits the characteristics of a bi-conical wind with a bright nearly face-on spiral feature around the systemic velocity. This is the first convincing detection of a spiral morphology in an O-rich wind. Based on the offsets of the centers of the two bi-conical wind hemispheres, we deduce the position angle of the inclination axis to be ~150 deg measured counterclockwise from north. Based on the velocity width of the spiral signature we estimate the inclination angle of the system to be between 4 deg and 18 deg. The central emission zone exhibits a morphology that resembles simulations modelling the spiral-inducing wind-Roche-lobe-overflow mechanism. Though the spiral may be a (companion-induced) density enhancement in the stellar outflow, the extremely narrow width of the spiral signature in velocity space suggests that it may be a hydrodynamical perturbation in a face-on differentially rotating disk. The SiO emission does not show the spiral, but exhibits a local emission void approximately 0.5'' west of the continuum brightness peak. We hypothesise that this may be a local environment caused by the presence of a (stellar) companion with a mass of at most 0.1 Msol, based on its non-detection in the continuum...


title: A Discourse-Aware Attention Model for Abstractive Summarization of Long Documents

abstract: Neural abstractive summarization models have led to promising results in summarizing relatively short documents. We propose the first model for abstractive summarization of single, longer-form documents (e.g., research papers). Our approach consists of a new hierarchical encoder that models the discourse structure of a document, and an attentive discourse-aware decoder to generate the summary. Empirical results on two large-scale datasets of scientific papers show that our model significantly outperforms state-of-the-art models.


title: Organization and Independence or Interdependence? Study of the Neurophysiological Dynamics of Syntactic and Semantic Processing

abstract: In this article we present a multivariate model for determining the different syntactic, semantic, and form (surface-structure) processes underlying the comprehension of simple phrases. This model is applied to EEG signals recorded during a reading task. The results show a hierarchical precedence of the neurolinguistic processes : form, then syntactic and lastly semantic processes. We also found (a) that verbs are at the heart of phrase syntax processing, (b) an interaction between syntactic movement within the phrase, and semantic processes derived from a person-centered reference frame. Eigenvectors of the multivariate model provide electrode-times profiles that separate the distinctive linguistic processes and/or highlight their interaction. The accordance of these findings with different linguistic theories are discussed.


title: Global attractors for semigroup actions on uniformizable spaces

abstract: In this paper the notion of global attractor is extended from the setting of semigroup actions on metric spaces to the setting of semigroup actions on uniformizable spaces. General conditions for the existence of global attractor are discussed and its relationship with the global uniform attractor is presented.


title: Notes on Non-Generic Isomonodromy Deformations

abstract: Some of the main results of [Cotti G., Dubrovin B., Guzzetti D., Duke Math. J., to appear, arXiv:1706.04808], concerning non-generic isomonodromy deformations of a certain linear differential system with irregular singularity and coalescing eigenvalues, are reviewed from the point of view of Pfaffian systems, making a distinction between weak and strong isomonodromic deformations. Such distinction has a counterpart in the case of Fuchsian systems, which is well known as Schlesinger and non-Schlesinger deformations, reviewed in Appendix A.


title: The Relevance of Text and Speech Features in Automatic Non-native English Accent Identification

abstract: This paper describes our experiments with automatically identifying native accents from speech samples of non-native English speakers using low level audio features, and n-gram features from manual transcriptions. Using a publicly available non-native speech corpus and simple audio feature representations that do not perform word/phoneme recognition, we show that it is possible to achieve close to 90% classification accuracy for this task. While character n-grams perform similar to speech features, we show that speech features are not affected by prompt variation, whereas ngrams are. Since the approach followed can be easily adapted to any language provided we have enough training data, we believe these results will provide useful insights for the development of accent recognition systems and for the study of accents in the context of language learning.


title: You can hear the shape of a billiard table: Symbolic dynamics and rigidity for flat surfaces

abstract: We give a complete characterization of the relationship between the shape of a Euclidean polygon and the symbolic dynamics of its billiard flow. We prove that the only pairs of tables that can have the same bounce spectrum are right-angled tables that differ by an affine map. The main tool is a new theorem that establishes that a flat cone metric is completely determined by the support of its Liouville current.


title: Centrality dependence of freeze-out temperature fluctuations in Pb-Pb collisions at the LHC

abstract: Many data in the High Energy Physics are, in fact, sample means. It is shown that when this exact meaning of the data is taken into account and the most weakly bound states are removed from the hadron resonance gas, the whole spectra of pions, kaons and protons measured at midrapidity in Pb-Pb collisions at $\sqrt{s_{NN}} = 2.76$ TeV can be fitted simultaneously. The invariant distributions are predicted with the help of the single-freeze-out model in the chemical equilibrium framework. The method is applied to the measurements in centrality bins of Pb-Pb collisions and gives acceptable fits for all but peripheral bins. The comparison with the results obtained in the framework of the original single-freeze-out model is also presented. Some more general, possible implications of this approach are pointed out.


title: Opinion Divergence Reveals the Hierarchical and Overlapping Community Structure in Networks

abstract: Often exhibiting hierarchical and overlapping structures, communities or modular groups are fundamental and complex in network science. One of the most exploited tools to detect the mesoscopic structure is synchronization. Several phenomena including convergence rate and local convergence under constraints are studied to uncover the existence and features of communities. Here, employing a background of opinion dynamics, we study the divergence of agents' opinions, i.e. the state differences of nodes, in the progress of reaching global consensus and then reveal its connections with hierarchy and overlap in the modular structure. Furthermore, based on the obtained close relationships, a new method is proposed to identify hierarchical and overlapping communities, whose robustness and efficiency are validated via experiments on real and artificial networks. Both the connections and approaches provide a novel insight on the features of modular structures in networks.


title: Evolution and thermodynamics of new holographic dark energy with bulk viscosity in modified $f(R, T)$ gravity

abstract: In this paper, bulk viscosity is introduced in new holographic dark energy (HDE) to describe the effects of cosmic non-perfect fluid on the evolution of the universe in modified $f(R,T)$ gravity. Assuming $f(R,T)=R+\lambda T$, where $R$ is the Ricci scalar, $T$, the trace of energy-momentum tensor and $\lambda$ is a constant, we derive a general function of Hubble parameter with bulk viscous form to provide a procedure for the viscous new HDE model building. Especially, we assume the total bulk viscosity coefficient proportional to the velocity of the expansion of the universe in such a way that $\zeta=\zeta_0+\zeta_1 H$. We obtain the solutions of the scale factor and deceleration parameter and classify all the possible scenarios (deceleration, acceleration and their transition) with different parameter regions chosen properly for positive and negative ranges of $\lambda$, and $\zeta_0$ and $\zeta_1$ to analyze the evolution of the universe. It is observed that there is a transition from decelerated phase to accelerated phase at early or late time depending on the values of viscous terms. For large values of viscous terms it always accelerates through out the evolution. Furthermore, we also investigate the statefinder pair $\{r, s\}$ and $\textit{Om}$ diagnostics for the viscous new HDE model to discriminate with other existing DE models. Our viscous model is also different from other existing dark energy models. The evolution of effective equation of state parameter is -0.9745 which is very close to the observation. The entropy and generalized second law of thermodynamics are valid for this model under some constraints of bulk viscous coefficient. The analysis shows that the dark energy phenomena may be explained as the effect of bulk viscosity in the cosmic medium.


title: Extremal dependence and spatial risk measures for insured losses due to extreme winds

abstract: A meticulous assessment of the risk of impacts associated with extreme wind events is of great necessity for populations, civil authorities as well as the insurance industry. Using the concept of spatial risk measure and related set of axioms introduced by Koch (2017, 2019), we quantify the risk of losses due to extreme wind speeds. The insured cost due to wind events is proportional to the wind speed at a power ranging typically between 2 and 12. Hence we first perform a detailed study of the correlation structure of powers of the Brown-Resnick max-stable random fields and look at the influence of the power. Then, using the latter results, we thoroughly investigate spatial risk measures associated with variance and induced by powers of max-stable random fields. In addition, we show that spatial risk measures associated with several classical risk measures and induced by such cost fields satisfy (at least part of) the previously mentioned axioms under conditions which are generally satisfied for the risk of damaging extreme wind speeds. In particular, we specify the rates of spatial diversification in different cases, which is valuable for the insurance industry.


title: Cochlear detection of double-slip motion in cello bowing

abstract: A double-slip motion of a cello sound is investigated experimentally with a bowing machine and analyzed using a Finite-Difference Time Domain (FDTD) cochlear model. A double-slip sound is investigated. Here the sawtooth motion of normal bowing is basically present, but within each period the bow hair tears off the strings once more within the period, resulting in a blurred sound. This additional intermediate slip appears around the middle of each period and drifts temporally around while the sound progresses. When the double-slip is perfectly in the middle of one period the sound is that of a regular sawtooth motion. If not, two periodicities are present around double the fundamental periodicity, making the sound arbitrary. Analyzing the sound with a Wavelet-transform, the expected double-peak of two periodicities around the second partial cannot be found. Analyzing the tone with a cochlear FDTD model including the transfer of mechanical energy into spikes, the doubling and even more complex behaviour is perfectly represented in the Interspike Interval (ISI) of two adjacent spikes. This cochlear spike representation fits perfectly to an amplitude peak detection algorithm, tracking the precise time point of the double-slip within the fundamental period. Therefore the ear is able to detect the double-slip motion right at the transition from the basilar membrane motion into electrical spikes.


title: Three-dimensional visible-light invisibility cloak

abstract: The concept of an invisibility cloak is a fixture of science fiction, fantasy, and the collective imagination. However, a real device that could hide an object from sight in visible light from absolutely any viewpoint would be extremely challenging to build. The main obstacle to creating such a cloak is the coupling of the electromagnetic components of light, which would necessitate the use of complex materials with specific permittivity and permeability tensors. Previous cloaking solutions have involved circumventing this obstacle by functioning either in static (or quasi-static) fields where these electromagnetic components are uncoupled or in diffusive light scattering media where complex materials are not required. In this paper, we report concealing a large-scale spherical object from human sight from three orthogonal directions. We achieve this result by developing a three-dimensional (3D) homogeneous polyhedral transformation and a spatially invariant refractive index discretization that considerably reduce the coupling of the electromagnetic components of visible light. This approach allows for a major simplification in the design of 3D invisibility cloaks, which can now be created at a large scale using homogeneous and isotropic materials.


title: A stigmergy-based analysis of city hotspots to discover trends and anomalies in urban transportation usage

abstract: A key aspect of a sustainable urban transportation system is the effectiveness of transportation policies. To be effective, a policy has to consider a broad range of elements, such as pollution emission, traffic flow, and human mobility. Due to the complexity and variability of these elements in the urban area, to produce effective policies remains a very challenging task. With the introduction of the smart city paradigm, a widely available amount of data can be generated in the urban spaces. Such data can be a fundamental source of knowledge to improve policies because they can reflect the sustainability issues underlying the city. In this context, we propose an approach to exploit urban positioning data based on stigmergy, a bio-inspired mechanism providing scalar and temporal aggregation of samples. By employing stigmergy, samples in proximity with each other are aggregated into a functional structure called trail. The trail summarizes relevant dynamics in data and allows matching them, providing a measure of their similarity. Moreover, this mechanism can be specialized to unfold specific dynamics. Specifically, we identify high-density urban areas (i.e hotspots), analyze their activity over time, and unfold anomalies. Moreover, by matching activity patterns, a continuous measure of the dissimilarity with respect to the typical activity pattern is provided. This measure can be used by policy makers to evaluate the effect of policies and change them dynamically. As a case study, we analyze taxi trip data gathered in Manhattan from 2013 to 2015.


title: On Birkhoff's Theorem in Horava Gravity

abstract: We study Birkhoff's theorem, which states the absence of time-dependent, spherically symmetric vacuum solutions in four-dimensional Horava gravity, which has been proposed as a renormalizable quantum gravity without the ghost problem. We prove that the theorem is still valid for the usual type of solutions which admit the general relativity limit in the low energy (IR) region. However, for the unusual type of solutions, it can be violated in high-energy (UV) region, due to the non-linear effects. This implies that the scalar graviton can emerge as the results of non-linear UV effects but is decoupled in IR regime. An important implication of the non-linear, UV scalar graviton in Big Bang cosmology is also discussed.


title: Storage and retrieval of heralded telecommunication-wavelength photons using a solid-state waveguide quantum memory

abstract: Large-scale quantum networks will employ telecommunication-wavelength photons to exchange quantum information between remote measurement, storage, and processing nodes via fibre-optic channels. Quantum memories compatible with telecommunication-wavelength photons are a key element towards building such a quantum network. Here, we demonstrate the storage and retrieval of heralded 1532 nm-wavelength photons using a solid-state waveguide quantum memory. The heralded photons are derived from a photon-pair source that is based on parametric down-conversion, and our quantum memory is based on a 6 GHz-bandwidth atomic frequency comb prepared using an inhomogeneously broadened absorption line of a cryogenically-cooled erbium-doped lithium niobate waveguide. Using persistent spectral hole burning under varying magnetic fields, we determine that the memory is enabled by population transfer into niobium and lithium nuclear spin levels. Despite limited storage time and efficiency, our demonstration represents an important step towards quantum networks that operate in the telecommunication band and the development of on-chip quantum technology using industry-standard crystals.


title: Gauge-potential-induced rotation of spin-orbit-coupled Bose-Einstein condensates

abstract: We demonstrate that a spin-orbit-coupled Bose-Einstein condensate can be effectively rotated by adding a real magnetic field to inputting gauge angular momentum, which is distinctly different from the traditional ways of rotation by stirring or Raman laser dressing to inputting canonical angular momentum. The gauge angular momentum is accompanied by the spontaneous generation of equal and opposite canonical angular momentum in the ground states, and it leads to the nucleation of quantized vortices. We explain this by indicating that the effective rotation with the vortex nucleation results from the effective magnetic flux induced by the gauge potential, which is essentially different from the previous scheme of creating vortices by synthetic magnetic fields. In the weakly interacting regime, symmetrically placed domains separated by vortex lines as well as half-integer giant vortices are discovered. With relatively strong interatomic interaction, we predict a structure of coaxially arranged annular vortex arrays, which is in stark contrast to the familiar Abrikosov vortex lattice. The developed way of rotation may be extended to a more general gauge system.


title: The Jordan lattice completion and a note on injective envelopes and von Neumann algebras

abstract: The article associates two fundamental lattice constructions with each regular unital real ordered Banach space (function system). These are used to establish certain results in the theory of operator algebras, specifically relating the injective envelope of a separable C*-algebra with its enveloping von Neumann algebra in a given faithful separable representation. The last section investigates on lattices of projections arising in injective C*-algebras and von Neumann algebras and certain nonlinear maps sending projections to projections which are essentially determined by their values on positive projections.


title: Deformation of Bott-Samelson varieties and variations of isotropy structures

abstract: In the framework of the problem of characterizing complete flag manifolds by their contractions, the complete flags of type $F_4$ and $G_2$ satisfy the property that any possible tower of Bott-Samelson varieties dominating them birationally deforms in a nontrivial moduli. In this paper we illustrate the fact that, at least in some cases, these deformations can be explained in terms of automorphisms of Schubert varieties, providing variations of certain isotropic structures on them. As a corollary, we provide a unified and completely algebraic proof of the characterization of complete flag manifolds in terms of their contractions.


title: $\text{Tr}(F^3)$ supersymmetric form factors and maximal transcendentality Part I: $\mathcal{N}=4$ super Yang-Mills

abstract: In the large top-mass limit, Higgs plus multi-gluon amplitudes in QCD can be computed using an effective field theory. This approach turns the computation of such amplitudes into that of form factors of operators of increasing classical dimension. In this paper we focus on the first finite top-mass correction, arising from the operator ${\rm Tr}(F^3)$, up to two loops and three gluons. Setting up the calculation in the maximally supersymmetric theory requires identification of an appropriate supersymmetric completion of ${\rm Tr}(F^3)$, which we recognise as a descendant of the Konishi operator. We provide detailed computations for both this operator and the component operator ${\rm Tr}(F^3)$, preparing the ground for the calculation in $\mathcal{N}<4$, to be detailed in a companion paper. Our results for both operators are expressed in terms of a few universal functions of transcendental degree four and below, some of which have appeared in other contexts, hinting at universality of such quantities. An important feature of the result is a delicate cancellation of unphysical poles appearing in soft/collinear limits of the remainders which links terms of different transcendentality. Our calculation provides another example of the principle of maximal transcendentality for observables with non-trivial kinematic dependence.


title: The Effect of Extremist Violence on Hateful Speech Online

abstract: User-generated content online is shaped by many factors, including endogenous elements such as platform affordances and norms, as well as exogenous elements, in particular significant events. These impact what users say, how they say it, and when they say it. In this paper, we focus on quantifying the impact of violent events on various types of hate speech, from offensive and derogatory to intimidation and explicit calls for violence. We anchor this study in a series of attacks involving Arabs and Muslims as perpetrators or victims, occurring in Western countries, that have been covered extensively by news media. These attacks have fueled intense policy debates around immigration in various fora, including online media, which have been marred by racist prejudice and hateful speech. The focus of our research is to model the effect of the attacks on the volume and type of hateful speech on two social media platforms, Twitter and Reddit. Among other findings, we observe that extremist violence tends to lead to an increase in online hate speech, particularly on messages directly advocating violence. Our research has implications for the way in which hate speech online is monitored and suggests ways in which it could be fought.


title: And Now for Something Completely Different: Visual Novelty in an Online Network of Designers

abstract: Novelty is a key ingredient of innovation but quantifying it is difficult. This is especially true for visual work like graphic design. Using designs shared on an online social network of professional digital designers, we measure visual novelty using statistical learning methods to compare an images features with those of images that have been created before. We then relate social network position to the novelty of the designers images. We find that on this professional platform, users with dense local networks tend to produce more novel but generally less successful images, with important exceptions. Namely, users making novel images while embedded in cohesive local networks are more successful.


title: Structure of bicentralizer algebras and inclusions of type III factors

abstract: We investigate the structure of the relative bicentralizer algebra ${\rm B}(N \subset M, \varphi)$ for inclusions of von Neumann algebras with normal expectation where $N$ is a type ${\rm III_1}$ subfactor and $\varphi \in N_*$ is a faithful state. We first construct a canonical flow $\beta^\varphi : \mathbf R^*_+ \curvearrowright {\rm B}(N \subset M, \varphi)$ on the relative bicentralizer algebra and we show that the W$^*$-dynamical system $({\rm B}(N \subset M, \varphi), \beta^\varphi)$ is independent of the choice of $\varphi$ up to a canonical isomorphism. In the case when $N=M$, we deduce new results on the structure of the automorphism group of ${\rm B}(M,\varphi)$ and we relate the period of the flow $\beta^\varphi$ to the tensorial absorption of Powers factors. For general irreducible inclusions $N \subset M$, we relate the ergodicity of the flow $\beta^\varphi$ to the existence of irreducible hyperfinite subfactors in $M$ that sit with normal expectation in $N$. When the inclusion $N \subset M$ is discrete, we prove a relative bicentralizer theorem and we use it to solve Kadison's problem when $N$ is amenable.


title: N=1 QED in 2+1 dimensions: Dualities and enhanced symmetries

abstract: We consider three-dimensional sQED with 2 flavors and minimal supersymmetry. We discuss various models which are dual to Gross-Neveu-Yukawa theories. The $U(2)$ ultraviolet global symmetry is often enhanced in the infrared, for instance to $O(4)$ or $SU(3)$. This is analogous to the conjectured behaviour of non-supersymmetric QED with 2 flavors. A perturbative analysis of the Gross-Neveu-Yukawa models in the $D = 4 - \varepsilon$ expansion shows that the $U(2)$ preserving superpotential deformations of the sQED (modulo tuning mass terms to zero) are irrelevant, so the fixed points with enhanced symmetry are stable. We also construct an example of $\mathcal{N} = 2$ sQED with 4 flavors that exhibits enhanced $SO(6)$ symmetry.


title: Microphysical Modeling of Mineral Clouds in GJ1214 b and GJ436 b: Predicting Upper Limits on the Cloud-Top Height

abstract: The ubiquity of clouds in the atmospheres of exoplanets, especially of super-Earths, is one of the outstanding issues for transmission spectra survey. The understanding about the formation process of clouds in super-Earths is necessary to interpret the observed spectra correctly. In this study, we investigate the vertical distributions of particle size and mass density of mineral clouds in super-Earths using a microphysical model that takes into account the vertical transport and growth of cloud particles in a self-consistent manner. We demonstrate that the vertical profiles of mineral clouds significantly vary with the concentration of cloud condensation nuclei and atmospheric metallicity. We find that the height of the cloud top increases with increasing metallicity as long as the metallicity is lower than a threshold. If the metallicity is larger than the threshold, the cloud-top height no longer increases appreciably with metallicity because coalescence yields larger particles of higher settling velocities. We apply our cloud model to GJ1214 b and GJ436 b for which recent transmission observations suggest the presence of high-altitude opaque clouds. For GJ436 b, we show that KCl particles can ascend high enough to explain the observation. For GJ1214 b, by contrast, the height of KCl clouds predicted from our model is too low to explain its flat transmission spectrum. Clouds made of highly porous KCl particles could explain the observations if the atmosphere is highly metal-rich, and hence the particle microstructure might be a key to interpret the flat spectrum of GJ1214 b.


title: GLADE: A Galaxy Catalogue for Multi-Messenger Searches in the Advanced Gravitational-Wave Detector Era

abstract: We introduce a value-added full-sky catalogue of galaxies, named as Galaxy List for the Advanced Detector Era, or GLADE. The purpose of this catalogue is to (i) help identifications of host candidates for gravitational-wave events, (ii) support target selections for electromagnetic follow-up observations of gravitational-wave candidates, (iii) provide input data on the matter distribution of the local universe for astrophysical or cosmological simulations, and (iv) help identifications of host candidates for poorly localised electromagnetic transients, such as gamma-ray bursts observed with the InterPlanetary Network. Both being potential hosts of astrophysical sources of gravitational waves, GLADE includes inactive and active galaxies as well. GLADE was constructed by cross-matching and combining data from five separate (but not independent) astronomical catalogues: GWGC, 2MPZ, 2MASS XSC, HyperLEDA and SDSS-DR12Q. GLADE is complete up to $d_L = 37^{+3}_{-4}$ Mpc in terms of the cumulative B-band luminosity of galaxies within luminosity distance $d_L$, and contains all of the brightest galaxies giving half of the total B-band luminosity up to $d_L = 91$ Mpc. As B-band luminosity is expected to be a tracer of binary neutron star mergers (currently the prime targets of joint GW+EM detections), our completeness measures can be used as estimations of completeness for containing all binary neutron star merger hosts in the local universe.


title: Verlinde bundles of families of hypersurfaces and their jumping lines

abstract: Verlinde bundles are vector bundles $V_k$ arising as the direct image $\pi_*(\mathcal L^{\otimes k})$ of polarizations of a proper family of schemes $\pi\colon \mathfrak X \to S$. We study the splitting behavior of Verlinde bundles in the case where $\pi$ is the universal family $\mathfrak X \to |\mathcal O(d)|$ of hypersurfaces of degree $d$ in $\mathbb P^n$ and calculate the cohomology class of the locus of jumping lines of the Verlinde bundles $V_{d+1}$ in the cases $n=2,3$.


title: Repetitive users network emerges from multiple rumor cascades

abstract: Rumor spreading on online social media is presenting a significant threat to society of post-truth epoch. Extensive efforts have been devoted to rumor identification and debunking, assuming that a specific rumor propagation is a single event network and neglecting possible interdependence between different rumor cascades. Here we study the collective propagation of multiple rumors, and surprisingly find a network of users that repeatedly participate in different rumor cascades. Though these repetitive users demonstrate minor difference at the level of single propagation network, they are found to form a significantly more intensive collaboration network from multiple rumor cascades compared to news propagation. The clique-like cluster formed by repetitive rumor spreaders can serve as a high quality feature for rumor identification and blocking targets for rumor prevention. Our findings can provide a better understanding of rumor spread by viewing multiple rumor propagations as one interacting rumor ecosystem, and suggest novel methods for distinguishing and mitigation based on rumor spreading history.


title: Training convolutional neural networks with megapixel images

abstract: To train deep convolutional neural networks, the input data and the intermediate activations need to be kept in memory to calculate the gradient descent step. Given the limited memory available in the current generation accelerator cards, this limits the maximum dimensions of the input data. We demonstrate a method to train convolutional neural networks holding only parts of the image in memory while giving equivalent results. We quantitatively compare this new way of training convolutional neural networks with conventional training. In addition, as a proof of concept, we train a convolutional neural network with 64 megapixel images, which requires 97% less memory than the conventional approach.


title: Enrich-by-need Protocol Analysis for Diffie-Hellman (Extended Version)

abstract: Enrich-by-need protocol analysis is a style of symbolic protocol analysis that characterizes all executions of a protocol that extend a given scenario. In effect, it computes a strongest security goal the protocol achieves in that scenario. CPSA, a Cryptographic Protocol Shapes Analyzer, implements enrich-by-need protocol analysis. In this paper, we describe how to analyze protocols using the Diffie-Hellman mechanism for key agreement (DH) in the enrich-by-need style. DH, while widespread, has been challenging for protocol analysis because of its algebraic structure. DH essentially involves fields and cyclic groups, which do not fit the standard foundational framework of symbolic protocol analysis. By contrast, we justify our analysis via an algebraically natural model. This foundation makes the extended CPSA implementation reliable. Moreover, it provides informative and efficient results. An appendix explains how unification is efficiently done in our framework.


title: Developing Synthesis Flows Without Human Knowledge

abstract: Design flows are the explicit combinations of design transformations, primarily involved in synthesis, placement and routing processes, to accomplish the design of Integrated Circuits (ICs) and System-on-Chip (SoC). Mostly, the flows are developed based on the knowledge of the experts. However, due to the large search space of design flows and the increasing design complexity, developing Intellectual Property (IP)-specific synthesis flows providing high Quality of Result (QoR) is extremely challenging. This work presents a fully autonomous framework that artificially produces design-specific synthesis flows without human guidance and baseline flows, using Convolutional Neural Network (CNN). The demonstrations are made by successfully designing logic synthesis flows of three large scaled designs.


title: Busemann functions, geodesics, and the competition interface for directed last-passage percolation

abstract: In this survey article we consider the directed last-passage percolation model on the planar square lattice with nearest-neighbor steps and general i.i.d. weights on the vertices, outside of the class of exactly solvable models. We show how stationary cocycles are constructed from queueing fixed points and how these cocycles characterize the limit shape, yield existence of Busemann functions in directions where the shape has some regularity, describe the direction of the competition interface, and answer questions on existence, uniqueness, and coalescence of directional semi-infinite geodesics, and on nonexistence of doubly infinite geodesics.


title: Random growth models: shape and convergence rate

abstract: Random growth models are fundamental objects in modern probability theory, have given rise to new mathematics, and have numerous applications, including tumor growth and fluid flow in porous media. In this article, we introduce some of the typical models and the basic analytical questions and properties, like existence of asymptotic shapes, fluctuations of infection times, and relations to particle systems. We then specialize to models built on percolation (first-passage percolation and last-passage percolation) and give a self-contained treatment of the shape theorem, the subadditive ergodic theorem, and conjectured and proven properties of asymptotic shapes. We finish by discussing the rate of convergence to the limit shape, along with definitions of scaling exponents and a sketch of the proof of the KPZ scaling relation.


title: Nitrogen fractionation in high-mass star-forming cores across the Galaxy

abstract: The fractionation of nitrogen (N) in star-forming regions is a poorly understood process. To put more stringent observational constraints on the N-fractionation, we have observed with the IRAM-30m telescope a large sample of 66 cores in massive star-forming regions. We targeted the (1-0) rotational transition of HN$^{13}$C, HC$^{15}$N, H$^{13}$CN and HC$^{15}$N, and derived the $^{14}$N/$^{15}$N ratio for both HCN and HNC. We have completed this sample with that already observed by Colzi et al. (2018), and thus analysed a total sample of 87 sources. The $^{14}$N/$^{15}$N ratios are distributed around the Proto-Solar Nebula value with a lower limit near the terrestrial atmosphere value ($\sim$272). We have also derived the $^{14}$N/$^{15}$N ratio as a function of the Galactocentric distance and deduced a linear trend based on unprecedented statistics. The Galactocentric dependences that we have found are consistent, in the slope, with past works but we have found a new local $^{14}$N/$^{15}$N value of $\sim$400, i.e. closer to the Prosolar Nebula value. A second analysis was done, and a parabolic Galactocentric trend was found. Comparison with Galactic chemical evolution models shows that the slope until 8 kpc is consistent with the linear analysis, while the flattening trend above 8 kpc is well reproduced by the parabolic analysis.


title: Fluctuations in first-passage percolation

abstract: We present a survey of techniques to obtain upper bounds for the variance of the passage time in first-passage percolation. The methods discussed are a combination of tools from the theory of concentration of measure, some of which we briefly review. These are combined with variations on an idea of Benjamini-Kalai-Schramm to obtain a logarithmic improvement over the linear bound implied by the Efron-Stein/Poincare inequality, for general edge-weight distributions.


title: Defect-induced modification of low-lying excitons and valley selectivity in monolayer transition metal dichalcogenides

abstract: We study the effect of point-defect chalcogen vacancies on the optical properties of monolayer transition metal dichalcogenides using ab initio GW and Bethe-Salpeter equation calculations. We find that chalcogen vacancies introduce unoccupied in-gap states and occupied resonant defect states within the quasiparticle continuum of the valence band. These defect states give rise to a number of strongly-bound defect excitons and hybridize with excitons of the pristine system, reducing the valley-selective circular dichroism. Our results suggest a pathway to tune spin-valley polarization and other optical properties through defect engineering.


title: Infinite geodesics, asymptotic directions, and Busemann functions in first-passage percolation

abstract: We show existence, uniqueness, and directedness properties for infinite geodesics in the FPP model. After giving the fundamental definitions, we describe results by Newman and collaborators giving existence and uniqueness of directed geodesics under an unproven curvature assumption. We then give two proofs of the existence of at least two infinite geodesics under no unproven assumptions. In the final two sections, we give proofs of directedness statements for infinite geodesics using more recent methods which give information even under no unproven assumptions and prove a generalized uniqueness statement for infinite geodesics.


title: Exactly solving the KPZ equation

abstract: We present a complete proof of the exact formula for the one-point distribution for the narrow-wedge Hopf-Cole solution to the Kardar-Parisi-Zhang (KPZ) equation. This presentation is intended to be self-contained so no previous knowledge about stochastic PDEs, or exactly solvable systems is presumed.


title: Lebesque-type inequalities for the Fourier sums on classes of generalized Poisson integrals

abstract: For functions from the set of generalized Poisson integrals $C^{\alpha,r}_{\beta}L_{p}$, $1\leq p <\infty$, we obtain upper estimates for the deviations of Fourier sums in the uniform metric in terms of the best approximations of the generalized derivatives $f^{\alpha,r}_{\beta}$ of functions of this kind by trigonometric polynomials in the metric of the spaces $L_{p}$. Obtained estimates are asymptotically best possible.


title: Finite element error estimates for normal derivatives on boundary concentrated meshes

abstract: This paper is concerned with approximations and related discretization error estimates for the normal derivatives of solutions of linear elliptic partial differential equations. In order to illustrate the ideas, we consider the Poisson equation with homogeneous Dirichlet boundary conditions and use standard linear finite elements for its discretization. The underlying domain is assumed to be polygonal but not necessarily convex. Approximations of the normal derivatives are introduced in a standard way as well as in a variational sense. On general quasi-uniform meshes, one can show that these approximate normal derivatives possess a convergence rate close to one in $L^2$ as long as the singularities due to the corners are mild enough. Using boundary concentrated meshes, we show that the order of convergence can even be doubled in terms of the mesh parameter while increasing the complexity of the discrete problems only by a small factor. As an application, we use these results for the numerical analysis of Dirichlet boundary control problems, where the control variable corresponds to the normal derivative of some adjoint variable.


title: Time-dependent Ginzburg-Landau approach to the dynamics of inhomogeneous chiral condensates in a nonlocal Nambu--Jona-Lasinio model

abstract: We study the dynamics of inhomogeneous scalar and pseudoscalar chiral order parameters within the framework of the time-dependent Ginzburg-Landau equations. We utilize a nonlocal chiral quark model to obtain the phase diagram of the model as function of temperature and baryon chemical potential and study the formation of metastable spatial domains of matter where the order parameters acquire a spatial modulation in the course their dynamical evolution. We found that, before reaching the expected equilibrium homogeneous state, both scalar and pseudoscalar chiral condensates go through long-lived metastable inhomogeneous structures. For different initial configurations of the order parameters, the lifetimes of the inhomogeneous structures are compared to timescales in a relativistic heavy-ion collision.


title: Entanglement Entropy of Topological Orders with Boundaries

abstract: In this paper we explore how non trivial boundary conditions could influence the entanglement entropy in a topological order in 2+1 dimensions. Specifically we consider the special class of topological orders describable by the quantum double. We will find very interesting dependence of the entanglement entropy on the boundary conditions particularly when the system is non-Abelian. Along the way, we demonstrate a streamlined procedure to compute the entanglement entropy, which is particularly efficient when dealing with systems with boundaries. We also show how this method efficiently reproduces all the known results in the presence of anyonic excitations.


title: Phase diagram description of the CaCu$_3$Fe$_4$O$_{12}$ double perovskite

abstract: CaCu$_3$Fe$_4$O$_{12}$ exhibits a temperature-induced transition from a ferrimagnetic-insulating phase, in which Fe appears charge disproportionated, as Fe$^{3+}$ and Fe$^{5+}$, to a paramagnetic-metallic phase at temperatures above 210 K, with Fe$^{4+}$ present. To describe it, we propose a microscopic effective model with two interpenetrating sublattices of Fe$^{(4-\delta)+}$ and Fe$^{(4+\delta)+}$, respectively, being $\delta$ the Fe-charge disproportionation. We include all $3d$-Fe orbitals: $t_{2g}$ localized orbitals, with spin 3/2 and magnetically coupled, plus two degenerate itinerant $e_g$ orbitals with local and nearest-neighbor (NN) electron correlations, and hopping between NN $e_g$ orbitals of the same symmetry. Allub and Alascio previously proposed a model to describe the phase transition in LaCu$_3$Fe$_4$O$_{12}$ from a paramagnetic-metal to an antiferromagnetic-insulator, induced by temperature or pressure, involving charge transfer between Fe and Cu ions, in contrast to Fe-charge disproportionation. With the model proposed for CaCu$_3$Fe$_4$O$_{12}$, modified to account for this difference between the two compounds, the density of states of the itinerant Fe orbitals was obtained, using Green's functions methods. The phase diagram for CaCu$_3$Fe$_4$O$_{12}$ was calculated, including phases exhibiting Fe-charge disproportionation, where the two eg orbitals in each site are symmetrically occupied, as well as novel phases exhibiting local orbital selectivity/asymmetric occupation of $e_g$ orbitals. Both kinds of phases may exhibit paramagnetism and ferromagnetism. We determined the model parameters which best describe the phase transition observed in CaCu$_3$Fe$_4$O$_{12}$, and found other phases at different parameter ranges, which might be relevant for other compounds of the ACu$_3$Fe$_4$O$_{12}$ family, which present both types of transitions.


title: On causality violation in Lyra Geometry

abstract: In this paper the causality issues are discussed in a non-Riemannian geometry, called Lyra geometry. It is a non-Riemannian geometry originated from Weyl geometry. In order to compare this geometry with the Riemannian geometry, the Einstein field equations are considered. It is verified that the G\"{o}del and G\"{o}del-type metric are consistent with this non-Riemannian geometry. A non-trivial solution for G\"{o}del universe in the absence of matter sources is determined without analogue in general relativity. Different sources are considered and then different conditions for causal and non-causal solutions are discussed.


title: Diffusive dynamics of critical fluctuations near the QCD critical point

abstract: A quantitatively reliable theoretical description of the dynamics of fluctuations in non-equilibrium is indispensable in the experimental search for the QCD critical point by means of ultra-relativistic heavy-ion collisions. In this work we consider the fluctuations of the net-baryon density which becomes the slow, critical mode near the critical point. Due to net-baryon number conservation the dynamics is described by the fluid dynamical diffusion equation, which we extend to contain a white noise stochastic current. Including nonlinear couplings from the 3d Ising model universality class in the free energy functional, we solve the fully interacting theory in a finite size system. We observe that purely Gaussian white noise generates non-Gaussian fluctuations, but finite size effects and exact net-baryon number conservation lead to significant deviations from the expected behavior in equilibrated systems. In particular the skewness shows a qualitative deviation from infinite volume expectations. With this benchmark established we study the real-time dynamics of the fluctuations. We recover the expected dynamical scaling behavior and observe retardation effects and the impact of critical slowing down near the pseudo-critical temperature.


title: Scaling behavior of anisotropic flow harmonics in the far from equilibrium regime

abstract: We consider the development of anisotropic flow in an expanding system of particles undergoing very few rescatterings, using a kinetic-theoretical description with a nonlinear collision term. We derive the scaling behaviors of the harmonic coefficients $v_n$ with the initial-state eccentricities and the mean number of rescatterings, and argue that hexagonal flow $v_6$ should follow a nontrivial behavior, different from that of the lower harmonics. Our findings should be observable in experimental data for small systems.


title: Equivalence between almost-greedy and semi-greedy bases

abstract: In [3] it was proved that almost-greedy and semi-greedy bases are equivalent in the context of Banach spaces with finite cotype. In this paper we show this equivalence for general Banach spaces.


title: The minimum asymptotic density of binary caterpillars

abstract: Given $d\geq 2$ and two rooted $d$-ary trees $D$ and $T$ such that $D$ has $k$ leaves, the density $\gamma(D,T)$ of $D$ in $T$ is the proportion of all $k$-element subsets of leaves of $T$ that induce a tree isomorphic to $D$, after erasing all vertices of outdegree $1$. In a recent work, it was proved that the limit inferior of this density as the size of $T$ grows to infinity is always zero unless $D$ is the $k$-leaf binary caterpillar $F^2_k$ (the binary tree with the property that a path remains upon removal of all the $k$ leaves). Our main theorem in this paper is an exact formula (involving both $d$ and $k$) for the limit inferior of $\gamma(F^2_k,T)$ as the size of $T$ tends to infinity.


title: Strongly homotopy Lie algebras and deformations of calibrated submanifolds

abstract: For an element $\Psi$ in the graded vector space $\Omega^*(M, TM)$ of tangent bundle valued forms on a smooth manifold $M$, a $\Psi$-submanifold is defined as a submanifold $N$ of $M$ such that $\Psi_{|N} \in \Omega^*(N, TN)$. The class of $\Psi$-submanifolds encompasses calibrated submanifolds, complex submanifolds and all Lie subgroups in compact Lie groups. The graded vector space $\Omega^*(M, TM)$ carries a natural graded Lie algebra structure, given by the Fr\"olicher-Nijenhuis bracket $[-,- ]^{FN}$. When $\Psi$ is an odd degree element with $[ \Psi, \Psi]^{FN} =0$, we associate to a $\Psi$-submanifold $N$ a strongly homotopy Lie algebra, which governs the formal and (under certain assumptions) smooth deformations of $N$ as a $\Psi$-submanifold, and we show that under certain assumptions these deformations form an analytic variety. As an application we revisit formal and smooth deformation theory of complex closed submanifolds and of $\varphi$-calibrated closed submanifolds, where $\varphi$ is a parallel form in a real analytic Riemannian manifold.


title: Theory of the two-loop self-energy correction to the $\boldsymbol g$ factor in non-perturbative Coulomb fields

abstract: Two-loop self-energy corrections to the bound-electron $g$ factor are investigated theoretically to all orders in the nuclear binding strength parameter $Z\alpha$. The separation of divergences is performed by dimensional regularization, and the contributing diagrams are regrouped into specific categories to yield finite results. We evaluate numerically the loop-after-loop terms, and the remaining diagrams by treating the Coulomb interaction in the electron propagators up to first order. The results show that such two-loop terms are mandatory to take into account for projected near-future stringent tests of quantum electrodynamics and for the determination of fundamental constants through the $g$ factor.


title: Learning How to Self-Learn: Enhancing Self-Training Using Neural Reinforcement Learning

abstract: Self-training is a useful strategy for semi-supervised learning, leveraging raw texts for enhancing model performances. Traditional self-training methods depend on heuristics such as model confidence for instance selection, the manual adjustment of which can be expensive. To address these challenges, we propose a deep reinforcement learning method to learn the self-training strategy automatically. Based on neural network representation of sentences, our model automatically learns an optimal policy for instance selection. Experimental results show that our approach outperforms the baseline solutions in terms of better tagging performances and stability.


title: A hybrid natural transform homotopy perturbation method for solving fractional partial differential equations

abstract: A hybrid analytical method for solving linear and nonlinear fractional partial differential equations is presented. The proposed analytical method is an elegant combination of the Natural Transform Method (NTM) and a well-known method, Homotopy Perturbation Method (HPM). In this analytical method, the fractional derivative is computed in Caputo sense and the nonlinear terms are calculated using He's polynomials. The proposed analytical method reduces the computational size, avoids round-off errors. Exact solutions of linear and nonlinear fractional partial differential equations is successfully obtained using the analytical method.


title: Quantum computation is the unique reversible circuit model for which bits are balls

abstract: The computational efficiency of quantum mechanics can be defined in terms of the qubit circuit model, which is characterized by a few simple properties: each computational gate is a reversible transformation in a connected matrix group; single wires carry quantum bits, i.e. states of a three-dimensional Bloch ball; states on two or more wires are uniquely determined by local measurement statistics and their correlations. In this paper, we ask whether other types of computation are possible if we relax one of those characteristics (and keep all others), namely, if we allow wires to be described by d-dimensional Bloch balls, where d is different from three. Theories of this kind have previously been proposed as possible generalizations of quantum physics, and it has been conjectured that some of them allow for interesting multipartite reversible transformations that cannot be realized within quantum theory. However, here we show that all such potential beyond-quantum models of computation are trivial: if d is not three, then the set of reversible transformations consists entirely of single-bit gates, and not even classical computation is possible. In this sense, qubit quantum computation is an island in theoryspace.


title: From periodically driven double wells to volcano potentials: Quantum dynamics

abstract: We consider the dynamics of a particle confined in a double well potential which is subjected to a periodic drive. In the case of deep and well separated wells, we find that by adjusting the parameters of the drive we can generate, to a very good approximation, a volcano potential. The quantum dynamics in this volcano potential is studied by a variation of what can be called a generalized Ehrenfest's theorem. We find that the coupling of the mean position and the width of the wave packet in this dynamics causes the particle to escape from the central well in accordance with the fact that the volcano potential only supports resonance states.


title: On Fillmore's theorem extended by Borobia

abstract: Fillmore Theorem says that if A is an nxn complex non-scalar matrix and {\gamma}_1,...,{\gamma}_{n} are complex numbers with {\gamma}_1+...+{\gamma}_{n}=trA, then there exists a matrix B similar to A with diagonal entries {\gamma}_1,...,{\gamma}_{n}. Borobia simplifies this result and extends it to matrices with integer entries. Fillmore and Borobia do not consider the nonnegativity hypothesis. Here, we introduce a different and very simple way to compute the matrix B similar to A with diagonal {\gamma}_1,...,{\gamma}_{n}. Moreover, we consider the nonnegativity hypothesis and we show that for a list {\Lambda}={{\lambda}_1,...,{\lambda}_{n}} of complex numbers of Suleimanova or \v{S}migoc type, and a given list {\Gamma}={{\gamma}_1,...,{\gamma}_{n}} of nonnegative real numbers, the remarkably simple condition {\gamma}_1+...+{\gamma}_{n}={\lambda}_1+...+{\lambda}_{n} is necessary and sufficient for the existence of a nonnegative matrix with spectrum {\Lambda} and diagonal entries {\Gamma}. This surprising simple result improves a condition recently given by Ellard and \v{S}migoc in arXiv:.1702.02650v1.


title: Estimating The Volume of Breast Tumor On The Digital Breast Tomosynthesis

abstract: In this paper, we would like to quantitatively measure the tumor volume contained in the breast imaged by the Digital Breast Tomosynthesis (DBT), a reconstructed 3D image. The estimated volume will add to the prognostic value of risk classification of breast cancer. We develop an algorithm that offers an alternative way of estimating the volume of the tumor in a breast. We segment the region of interest by expressing the ratio of tumor region to normal region as a function of the threshold value in the image. Next, we determine the volume of the tumor region as a function of the threshold. We then find the optimal threshold value that yields the volume of the tumor contained in the breast with the rate of growth of the tumor volume function.


title: Stochastic gene expression with a multistate promoter: breaking down exact distributions

abstract: We consider a stochastic model of gene expression in which transcription depends on a multistate promoter, including the famous two-state model and refractory promoters as special cases, and focus on deriving the exact stationary distribution. Building upon several successful approaches, we present a more unified viewpoint that enables us to simplify and generalize existing results. In particular, the original jump process is deeply related to a multivariate piecewise-deterministic Markov process that may also be of interest beyond the biological field. In a very particular case of promoter configuration, this underlying process is shown to have a simple Dirichlet stationary distribution. In the general case, the corresponding marginal distributions extend the well-known class of Beta products, involving complex parameters that directly relate to spectral properties of the promoter transition matrix. Finally, we illustrate these results with biologically plausible examples.


title: Decision Provenance: Harnessing data flow for accountable systems

abstract: Demand is growing for more accountability regarding the technological systems that increasingly occupy our world. However, the complexity of many of these systems - often systems-of-systems - poses accountability challenges. A key reason for this is because the details and nature of the information flows that interconnect and drive systems, which often occur across technical and organisational boundaries, tend to be invisible or opaque. This paper argues that data provenance methods show much promise as a technical means for increasing the transparency of these interconnected systems. Specifically, given the concerns regarding ever-increasing levels of automated and algorithmic decision-making, and so-called 'algorithmic systems' in general, we propose decision provenance as a concept showing much promise. Decision provenance entails using provenance methods to provide information exposing decision pipelines: chains of inputs to, the nature of, and the flow-on effects from the decisions and actions taken (at design and run-time) throughout systems. This paper introduces the concept of decision provenance, and takes an interdisciplinary (tech-legal) exploration into its potential for assisting accountability in algorithmic systems. We argue that decision provenance can help facilitate oversight, audit, compliance, risk mitigation, and user empowerment, and we also indicate the implementation considerations and areas for research necessary for realising its vision. More generally, we make the case that considerations of data flow, and systems more broadly, are important to discussions of accountability, and complement the considerable attention already given to algorithmic specifics.


title: Finite thermoelastoplasticity and creep under small elastic strains

abstract: A mathematical model for an elastoplastic continuum subject to large strains is presented. The inelastic response is modeled within the frame of rate-dependent gradient plasticity for nonsimple materials. Heat diffuses through the continuum by the Fourier law in the actual deformed configuration. Inertia makes the nonlinear problem hyperbolic. The modelling assumption of small elastic Green-Lagrange strains is combined in a thermodynamically consistent way with the possibly large displacements and large plastic strain. The model is amenable to a rigorous mathematical analysis. The existence of suitably defined weak solutions and a convergence result for Galerkin approximations is proved.


title: Note on crystallization for alternating particle chains

abstract: We investigate one-dimensional periodic chains of alternate type of particles interacting through mirror symmetric potentials. The optimality of the equidistant configuration at fixed density -- also called crystallization -- is shown in various settings. In particular, we prove the crystallization at any scale for neutral and non-neutral systems with inverse power laws interactions, including the three-dimensional Coulomb potential. We also show the minimality of the equidistant configuration at high density for systems involving inverse power laws and repulsion at the origin. Furthermore, we derive a necessary condition for crystallization at high density based on the positivity of the Fourier transform of the interaction potentials sum.