title: The ACPATH Metric: Precise Estimation of the Number of Acyclic Paths in C-like Languages

abstract: NPATH is a metric introduced by Brian A. Nejmeh in [13] that is aimed at overcoming some important limitations of McCabe's cyclomatic complexity. Despite the fact that the declared NPATH objective is to count the number of acyclic execution paths through a function, the definition given for the C language in [13] fails to do so even for very simple programs. We show that counting the number of acyclic paths in CFG is unfeasible in general. Then we define a new metric for C-like languages, called ACPATH, that allows to quickly compute a very good estimation of the number of acyclic execution paths through the given function. We show that, if the function body does not contain backward gotos and does not contain jumps into a loop from outside the loop, then such estimation is actually exact.


title: Implementation of pairwise longitudinal coupling in a three-qubit superconducting circuit

abstract: We present the "trimon", a multi-mode superconducting circuit implementing three qubits with all-to-all longitudinal coupling. This always-on interaction enables simple implementation of generalized controlled-NOT gates which form a universal set. Further, two of the three qubits are protected against Purcell decay while retaining measurability. We demonstrate high-fidelity state swapping operations between two qubits and characterize the coupling of all three qubits to a neighbouring transmon qubit. Our results offer a new paradigm for multi-qubit architecture with applications in quantum error correction, quantum simulations and quantum annealing.


title: Dual Little Strings from F-Theory and Flop Transitions

abstract: A particular two-parameter class of little string theories can be described by $M$ parallel M5-branes probing a transverse affine $A_{N-1}$ singularity. We previously discussed the duality between the theories labelled by $(N,M)$ and $(M,N)$. In this work, we propose that these two are in fact only part of a larger web of dual theories. We provide evidence that the theories labelled by $(N,M)$ and $(\tfrac{NM}{k},k)$ are dual to each other, where $k=\text{gcd}(N,M)$. To argue for this duality, we use a geometric realization of these little string theories in terms of F-theory compactifications on toric, non-compact Calabi-Yau threefolds $X_{N,M}$ which have a double elliptic fibration structure. We show explicitly for a number of examples that $X_{NM/k,k}$ is part of the extended moduli space of $X_{N,M}$, i.e. the two are related through symmetry transformations and flop transitions. By working out the full duality map, we provide a simple check at the level of the free energy of the little string theories.


title: Stabilization of the water-wave equations with surface tension

abstract: This paper is devoted to the stabilization of the water-wave equations with surface tension through of an external pressure acting on a small part of the free surface. It is proved that the energy decays to zero exponentially in time, provided that the external pressure is given by the normal component of the velocity at the free surface multiplied by an appropriate cut-off function.


title: Sequence Segmentation Using Joint RNN and Structured Prediction Models

abstract: We describe and analyze a simple and effective algorithm for sequence segmentation applied to speech processing tasks. We propose a neural architecture that is composed of two modules trained jointly: a recurrent neural network (RNN) module and a structured prediction model. The RNN outputs are considered as feature functions to the structured model. The overall model is trained with a structured loss function which can be designed to the given segmentation task. We demonstrate the effectiveness of our method by applying it to two simple tasks commonly used in phonetic studies: word segmentation and voice onset time segmentation. Results sug- gest the proposed model is superior to previous methods, ob- taining state-of-the-art results on the tested datasets.


title: On subcritically Stein fillable 5-manifolds

abstract: We make some elementary observations concerning subcritically Stein fillable contact structures on 5-manifolds. Specifically, we determine the diffeomorphism type of such contact manifolds in the case the fundamental group is finite cyclic, and we show that on the 5-sphere the standard contact structure is the unique subcritically fillable one. More generally, it is shown that subcritically fillable contact structures on simply connected 5-manifolds are determined by their underlying almost contact structure. Along the way, we discuss the homotopy classification of almost contact structures.


title: Evolution of density and velocity profiles of dark matter and dark energy in spherical voids

abstract: We analyse the evolution of cosmological perturbations which leads to the formation of large isolated voids in the Universe. We assume that initial perturbations are spherical and all components of the Universe (radiation, matter and dark energy) are continuous media with perfect fluid energy--momentum tensors, which interact only gravitationally. Equations of the evolution of perturbations for every component in the comoving to cosmological background reference frame are obtained from equations of energy and momentum conservation and Einstein's ones and are integrated numerically. Initial conditions are set at the early stage of evolution in the radiation-dominated epoch, when the scale of perturbation is much larger than the particle horizon. Results show how the profiles of density and velocity of matter and dark energy are formed and how they depend on parameters of dark energy and initial conditions. In particular, it is shown that final matter density and velocity amplitudes change within range $\sim$4-7\% when the value of equation-of-state parameter of dark energy $w$ vary in the range from --0.8 to --1.2, and change within $\sim$1\% only when the value of effective sound speed of dark energy vary over all allowable range of its values.


title: Formulas for Counting the Sizes of Markov Equivalence Classes of Directed Acyclic Graphs

abstract: The sizes of Markov equivalence classes of directed acyclic graphs play important roles in measuring the uncertainty and complexity in causal learning. A Markov equivalence class can be represented by an essential graph and its undirected subgraphs determine the size of the class. In this paper, we develop a method to derive the formulas for counting the sizes of Markov equivalence classes. We first introduce a new concept of core graph. The size of a Markov equivalence class of interest is a polynomial of the number of vertices given its core graph. Then, we discuss the recursive and explicit formula of the polynomial, and provide an algorithm to derive the size formula via symbolic computation for any given core graph. The proposed size formula derivation sheds light on the relationships between the size of a Markov equivalence class and its representation graph, and makes size counting efficient, even when the essential graphs contain non-sparse undirected subgraphs.


title: Handbook of LHC Higgs Cross Sections: 4. Deciphering the Nature of the Higgs Sector

abstract: This Report summarizes the results of the activities of the LHC Higgs Cross Section Working Group in the period 2014-2016. The main goal of the working group was to present the state-of-the-art of Higgs physics at the LHC, integrating all new results that have appeared in the last few years. The first part compiles the most up-to-date predictions of Higgs boson production cross sections and decay branching ratios, parton distribution functions, and off-shell Higgs boson production and interference effects. The second part discusses the recent progress in Higgs effective field theory predictions, followed by the third part on pseudo-observables, simplified template cross section and fiducial cross section measurements, which give the baseline framework for Higgs boson property measurements. The fourth part deals with the beyond the Standard Model predictions of various benchmark scenarios of Minimal Supersymmetric Standard Model, extended scalar sector, Next-to-Minimal Supersymmetric Standard Model and exotic Higgs boson decays. This report follows three previous working-group reports: Handbook of LHC Higgs Cross Sections: 1. Inclusive Observables (CERN-2011-002), Handbook of LHC Higgs Cross Sections: 2. Differential Distributions (CERN-2012-002), and Handbook of LHC Higgs Cross Sections: 3. Higgs properties (CERN-2013-004). The current report serves as the baseline reference for Higgs physics in LHC Run 2 and beyond.


title: The spacetime of a shift endomorphism

abstract: The automorphism group of a one dimensional shift space over a finite alphabet exhibits different types of behavior: for a large class with positive entropy, it contains a rich collection of subgroups, while for many shifts of zero entropy, there are strong constraints on the automorphism group. We view this from a different perspective, considering a single automorphism (and sometimes endomorphism) and studying the naturally associated two dimensional shift system. In particular, we describe the relation between nonexpansive subspaces in this two dimensional system and dynamical properties of an automorphism of the shift.


title: Edge conduction in monolayer WTe2

abstract: A two-dimensional topological insulator (2DTI) is guaranteed to have a helical 1D edge mode in which spin is locked to momentum, producing the quantum spin Hall effect and prohibiting elastic backscattering at zero magnetic field. No monolayer material has yet been shown to be a 2DTI, but recently the Weyl semimetal WTe2 was predicted to become a 2DTI in monolayer form if a bulk gap opens. Here, we report that at temperatures below about 100 K monolayer WTe2 does become insulating in its interior, while the edges still conduct. The edge conduction is strongly suppressed by in-plane magnetic field and is independent of gate voltage, save for mesoscopic fluctuations that grow on cooling due to a zero-bias anomaly which reduces the linear-response conductance. Bilayer WTe2 also becomes insulating at low temperatures but does not show edge conduction. Many of these observations are consistent with monolayer WTe2 being a 2DTI. However, the low temperature edge conductance, for contacts spacings down to 150 nm, is below the quantized value,


title: Gini Covariance Matrix and its Affine Equivariant Version

abstract: We propose a new covariance matrix called Gini covariance matrix (GCM), which is a natural generalization of univariate Gini mean difference (GMD) to the multivariate case. The extension is based on the covariance representation of GMD by applying the multivariate spatial rank function. We study properties of GCM, especially in the elliptical distribution family. In order to gain the affine equivariance property for GCM, we utilize the transformation-retransformation (TR) technique and obtain an affine equivariant version GCM that turns out to be a symmetrized M-functional. The influence function of those two GCM's are obtained and their estimation has been presented. Asymptotic results of estimators have been established. A closely related scatter Kotz functional and its estimator are also explored. Finally, asymptotical efficiency and finite sample efficiency of the TR version GCM are compared with those of sample covariance matrix, Tyler-M estimator and other scatter estimators under different distributions.


title: Minimal Twin Surfaces

abstract: We report some minimal surfaces that can be seen as copies of a triply periodic minimal surface (TPMS) related by reflections in parallel mirrors. We call them minimal twin surfaces for the resemblance with twin crystal. Brakke's Surface Evolver is employed to construct twinnings of various classical TPMS, including Schwarz' Primitive (P) and Diamond (D) surfaces, their rhombohedral deformations (rPD), and Schoen's Gyroid (G) surface. Our numerical results provide strong evidences for the mathematical existence of D twins and G twins, which are recently observed in experiment by material scientists. For rPD twins, we develop a good understanding, by noticing examples previously constructed by Traizet (2008) and Fujimori and Weber (2009). Our knowledge on G twins is, by contrast, very limited. Nevertheless, our experiments lead to new cubic polyhedral models for the D and G surfaces, inspired by which we speculate new TPMS deformations in the framework of Traizet.


title: Maxwell meets Reeh-Schlieder: the quantum mechanics of neutral bosons

abstract: We find that biorthogonal quantum mechanics with a scalar product that counts both absorbed and emitted particles leads to covariant position operators with localized eigenvectors. In this manifestly covariant formulation the probability for a transition from a one-photon state to a position eigenvector is the first order Glauber correlation function, bridging the gap between photon counting and the sensitivity of light detectors to electromagnetic energy density. The position eigenvalues are identified as the spatial parameters in the canonical quantum field operators and the position basis describes an array of localized devices that instantaneously absorb and re-emit bosons.


title: Attosecond pulse production using resonantly-enhanced high-order harmonics

abstract: We study theoretically the effect of the giant resonance in Xe on the phase difference between the consecutive high order resonantly-enhanced harmonics and calculate the duration of the attosecond pulses produced by these harmonics. For certain conditions resonantly-induced dephasing compensates the phase difference which is intrinsic for the off-resonance harmonics. We find these conditions analytically and compare them with the numerical results. This harmonic synchronization allows attosecond pulse shortening in conjunction with the resonance-induced intensity increase by more than an order of magnitude; the latter enhancement relaxes the requirements for the UV filtering needed for the attosecond pulse production. Using a two-color driving field allows further increase of the intensity. In particular, a caustic-like feature in the harmonic spectrum leads to the generation efficiency growth up to two orders of magnitude, however accompanied by an elongation of the XUV pulse.


title: Impact of new data for neutron-rich heavy nuclei on theoretical models for $r$-process nucleosynthesis

abstract: Current models for the $r$ process are summarized with an emphasis on the key constraints from both nuclear physics measurements and astronomical observations. In particular, we analyze the importance of nuclear physics input such as beta-decay rates; nuclear masses; neutron-capture cross sections; beta-delayed neutron emission; probability of spontaneous fission, beta- and neutron-induced fission, fission fragment mass distributions; neutrino-induced reaction cross sections, etc. We highlight the effects on models for $r$-process nucleosynthesis of newly measured $\beta$-decay half-lives, masses, and spectroscopy of neutron-rich nuclei near the $r$-process path. We overview r-process nucleosynthesis in the neutrino driven wind above the proto-neutron star in core collapse supernovae along with the possibility of magneto-hydrodynamic jets from rotating supernova explosion models. We also consider the possibility of neutron star mergers as an r-process environment. A key outcome of newly measured nuclear properties far from stability is the degree of shell quenching for neutron rich isotopes near the closed neutron shells. This leads to important constraints on the sites for $r$-process nucleosynthesis in which freezeout occurs on a rapid timescale.


title: Active User Authentication for Smartphones: A Challenge Data Set and Benchmark Results

abstract: In this paper, automated user verification techniques for smartphones are investigated. A unique non-commercial dataset, the University of Maryland Active Authentication Dataset 02 (UMDAA-02) for multi-modal user authentication research is introduced. This paper focuses on three sensors - front camera, touch sensor and location service while providing a general description for other modalities. Benchmark results for face detection, face verification, touch-based user identification and location-based next-place prediction are presented, which indicate that more robust methods fine-tuned to the mobile platform are needed to achieve satisfactory verification accuracy. The dataset will be made available to the research community for promoting additional research.


title: Anatomically Constrained Video-CT Registration via the V-IMLOP Algorithm

abstract: Functional endoscopic sinus surgery (FESS) is a surgical procedure used to treat acute cases of sinusitis and other sinus diseases. FESS is fast becoming the preferred choice of treatment due to its minimally invasive nature. However, due to the limited field of view of the endoscope, surgeons rely on navigation systems to guide them within the nasal cavity. State of the art navigation systems report registration accuracy of over 1mm, which is large compared to the size of the nasal airways. We present an anatomically constrained video-CT registration algorithm that incorporates multiple video features. Our algorithm is robust in the presence of outliers. We also test our algorithm on simulated and in-vivo data, and test its accuracy against degrading initializations.


title: Zeros of Lattice Sums: 3. Reduction of the Generalised Riemann Hypothesis to Specific Geometries

abstract: The location of zeros of the basic double sum over the square lattice is studied. This sum can be represented in terms of the product of the Riemann zeta function and the Dirichlet beta function, so that the assertion that all its non-trivial zeros lie on the critical line is a particular case of the Generalised Riemann Hypothesis (GRH). The treatment given here is an extension of that in two previous papers (arxiv:1601.01724, 1602.06330), where it was shown that non trivial zeros of the double sum either lie on the critical line or on lines of unit modulus of an analytic function intersecting the critical line. The extension enables more specific conclusions to be drawn about the arrangement of zeros of the double sum on the critical line, which are interleaved with zeros of analytic functions, all of which lie on the critical line. Possible arrangements of zeros are studied, and it is shown that in all identified cases the GRH holds.


title: A preliminary study on dispersions of fatigue properties of materials

abstract: Static mechanical properties (e.g. elastic modulus) and fatigue properties of a material all have dispersions. Material inhomogeneity (it can be characterized well by the dispersion of elastic modulus) is the internal factor of dispersions of fatigue properties and the dispersion of the load is the external factor. In this paper, according to theoretical derivation and preliminary experiments verification, the following relationships between dispersions of fatigue properties and dispersions of static mechanical properties of a material are obtained: the dispersion of fatigue life is n (the fatigue index) times of the sum of the dispersion of elastic modulus and the dispersion of the load. The corresponding dispersion of fatigue life is a decreasing function of the given fatigue strength in the stage of high cycle fatigue; P-S curve (the probability statistical distribution of fatigue strength) under the given fatigue life cannot be directly by test, but P-S curve can be obtained on the bias of P-N curve (the probability statistical distribution of fatigue life), and the corresponding dispersion of fatigue strength is a decreasing function of the given fatigue life. On bias of conclusions above, not only the inhomogeneity of material but also the dispersion of the load needs to be considered in the fatigue design, especially in high cycle fatigue design.


title: Energy and periastron advance of compact binaries on circular orbits at the fourth post-Newtonian order

abstract: In this paper, we revisit and complete our preceding work on the Fokker Lagrangian describing the dynamics of compact binary systems at the fourth post-Newtonian (4PN) order in harmonic coordinates. We clarify the impact of the non-local character of the Fokker Lagrangian or the associated Hamiltonian on both the conserved energy and the relativistic periastron precession for circular orbits. We show that the non-locality of the action, due to the presence of the tail effect at the 4PN order, gives rise to an extra contribution to the conserved integral of energy with respect to the Hamiltonian computed on shell, which was not taken into account in our previous work. We also provide a direct derivation of the periastron advance by taking carefully into account this non-locality. We then argue that the infra-red (IR) divergences in the calculation of the gravitational part of the action are problematic, which motivates us to introduce a second ambiguity parameter, in addition to the one already assumed previously. After fixing these two ambiguity parameters by requiring that the conserved energy and the relativistic periastron precession for circular orbits are in agreement with numerical and analytical gravitational self-force calculations, valid in the limiting case of small mass ratio, we find that our resulting Lagrangian is physically equivalent to the one obtained in the ADM Hamiltonian approach.


title: PATH: Person Authentication using Trace Histories

abstract: In this paper, a solution to the problem of Active Authentication using trace histories is addressed. Specifically, the task is to perform user verification on mobile devices using historical location traces of the user as a function of time. Considering the movement of a human as a Markovian motion, a modified Hidden Markov Model (HMM)-based solution is proposed. The proposed method, namely the Marginally Smoothed HMM (MSHMM), utilizes the marginal probabilities of location and timing information of the observations to smooth-out the emission probabilities while training. Hence, it can efficiently handle unforeseen observations during the test phase. The verification performance of this method is compared to a sequence matching (SM) method , a Markov Chain-based method (MC) and an HMM with basic Laplace Smoothing (HMM-lap). Experimental results using the location information of the UMD Active Authentication Dataset-02 (UMDAA02) and the GeoLife dataset are presented. The proposed MSHMM method outperforms the compared methods in terms of equal error rate (EER). Additionally, the effects of different parameters on the proposed method are discussed.


title: Dirac reduced radial equations and the problem of additional solutions

abstract: We show that additional solutions must be ignored (in differences of the Schrodinger and Klein-Gordon equations) in the Dirac equation, where usually passed the second order radial equation, called the reduced equation, instead of a system. Analogously to the Schrodinger equation, in this process the Dirac delta function appears, which was unnoted during the full history of quantum mechanics. This unphysical term we remove by a boundary condition at the origin. However, the distribution theory imposes on the radial function strong restriction and by this reason practically for all potentials, even regular, use of these reduced equations is not permissible. At the end we include consideration in the framework of two-dimensional Dirac equation. We show that even here the additional solution does not survives as a result of usual physical requirements.


title: Unexpected properties of interactions of high energy protons

abstract: Experimental data on proton-proton interactions in high energy collisions show quite a special and unexpected behaviour of the proportion of elastic scattering compared to inelastic processes with increasing energy. It decreases at the beginning (at comparatively low energies) but then starts increasing. From Intersecting Storage Rings (ISR) energies of 23.5 - 62.5 GeV up to higher energies 7 - 13 TeV at the Large Hadron Collider (LHC) it increases by a factor more than 1.5! According to intuitive classical ideas we would expect a stable tendency with increasing proportion of the break-down of protons compared to their survival probability. One can assume that either the asymptotic freedom or the extremely short time of flight of high energy protons through each other are in charge of such a surprising effect. The unquestionable principle of unitarity combined with the available experimental data on elastic scattering is used to get new conclusions about the shape of the interaction region of colliding protons. Its evolution at present energies is considered. Some predictions about its behaviour at even higher energies are described with different assumptions on relative roles of elastic scattering and inelastic processes. The shape can transform rather drastically if the proportion of elastic processes keeps rising. This unexpected property leads to an unexpected corollary. The possible origin of the effect and its interrelation to the strong interaction dynamics are speculated.


title: Commuting involution graphs of linear groups

abstract: In this paper, we determine the diameter of the commuting involution graphs of special and general linear groups over an arbitrary field. It turns out that our results also determine the diameter for certain projective special linear groups over finite fields. Moreover, we find the diameter of the commuting graphs of general linear groups on the set of all involutions over a field of characteristic 2, which completes the diameter of general linear groups on the set of all involutions. As an application, we classify the structure of the four-dimensional linear groups over finite fields according to the distance from a fixed involution.


title: Streamline integration as a method for two-dimensional elliptic grid generation

abstract: We propose a new numerical algorithm to construct a structured numerical elliptic grid of a doubly connected domain. Our method is applicable to domains with boundaries defined by two contour lines of a two-dimensional function. The resulting grids are orthogonal to the boundary. Grid points as well as the elements of the Jacobian matrix can be computed efficiently and up to machine precision. In the simplest case we construct conformal grids, yet with the help of weight functions and monitor metrics we can control the distribution of cells across the domain. Our algorithm is parallelizable and easy to implement with elementary numerical methods. We assess the quality of grids by considering both the distribution of cell sizes and the accuracy of the solution to elliptic problems. Among the tested grids these key properties are best fulfilled by the grid constructed with the monitor metric approach.


title: End-to-end Learning of Deep Visual Representations for Image Retrieval

abstract: While deep learning has become a key ingredient in the top performing methods for many computer vision tasks, it has failed so far to bring similar improvements to instance-level image retrieval. In this article, we argue that reasons for the underwhelming results of deep methods on image retrieval are threefold: i) noisy training data, ii) inappropriate deep architecture, and iii) suboptimal training procedure. We address all three issues. First, we leverage a large-scale but noisy landmark dataset and develop an automatic cleaning method that produces a suitable training set for deep retrieval. Second, we build on the recent R-MAC descriptor, show that it can be interpreted as a deep and differentiable architecture, and present improvements to enhance it. Last, we train this network with a siamese architecture that combines three streams with a triplet loss. At the end of the training process, the proposed architecture produces a global image representation in a single forward pass that is well suited for image retrieval. Extensive experiments show that our approach significantly outperforms previous retrieval approaches, including state-of-the-art methods based on costly local descriptor indexing and spatial verification. On Oxford 5k, Paris 6k and Holidays, we respectively report 94.7, 96.6, and 94.8 mean average precision. Our representations can also be heavily compressed using product quantization with little loss in accuracy. For additional material, please see www.xrce.xerox.com/Deep-Image-Retrieval.


title: Distinguishability notion based on Wootters statistical distance: application to discrete maps

abstract: We study the distinguishability notion given by Wootters for states represented by probability density functions. This presents the particularity that it can also be used for defining a distance in chaotic unidimensional maps. Based on that definition, we provide a metric $\overline{d}$ for an arbitrary discrete map. Moreover, from this we associate a metric space to each invariant density of a given map, which results to be the set of all distinguished points when the number of iterations of the map tends to infinity. Also, we give a characterization of the wandering set of a map in terms of the given metric which allows to identify the dissipative regions in the phase space. We illustrate the results in the case of the logistic and the circle maps numerically and theoretically, and we obtain the metric and the wandering set for some characteristic values of their parameters.


title: The Effect of Noise on the Propagating Speed of Pre-mixed Laminar Flame Fronts

abstract: We study the effect of thermal noise on the propagation speed of a planar flame. We show that this out of equilibrium greatly amplifies the effect of thermal noise to yield macroscopic reductions in the flame speed over what is predicted by the noise-free model. Computations show that noise slows the flame significantly. The flame is modeled using Navier Stokes equations with appropriate diffusive transport terms and chemical kinetic mechanism of hydrogen/oxygen. Thermal noise is modeled within the continuum framework using a system of stochastic partial differential equations, with transport noise from fluctuating hydrodynamics and reaction noise from a poisson model. We use a full chemical kinetics model in order to get quantitatively meaningful results. We compute steady and dynamic flames using an operator split finite volume scheme. New characteristic boundary conditions avoid non-physical boundary layers at computational boundaries. New limiters prevent stochastic terms from introducing non-physical negative concentrations. This represents the first computation of a model with thermal noise is a system with this degree of physical detail.


title: Theory Overview

abstract: We set the scene for theoretical issues in charm physics that were discussed at CHARM 2016 in Bologna. In particular we emphasize the importance of improving our understanding of standard model contributions to numerous charm observables and we discuss also possible tests of our theory tools, like the Heavy Quark Expansion via the lifetime ratios of $D$-mesons


title: IB2d: a Python and MATLAB implementation of the immersed boundary method

abstract: The development of fluid-structure interaction (FSI) software involves trade-offs between ease of use, generality, performance, and cost. Typically there are large learning curves when using low-level software to model the interaction of an elastic structure immersed in a uniform density fluid. Many existing codes are not publicly available, and the commercial software that exists usually requires expensive licenses and may not be as robust or allow the necessary flexibility that in house codes can provide. We present an open source immersed boundary software package, IB2d, with full implementations in both MATLAB and Python, that is capable of running a vast range of biomechanics models and is accessible to scientists who have experience in high-level programming environments. IB2d contains multiple options for constructing material properties of the fiber structure, as well as the advection-diffusion of a chemical gradient, muscle mechanics models, and artificial forcing to drive boundaries with a preferred motion.


title: Real zeros of the Hurwitz zeta function

abstract: It is well known that real zeros of the Riemann zeta function are negative even integers. As for real zeros of the Hurwitz zeta function, T. Nakamura recently gave an existence condition in the intervals (0,1) and (-1,0). We generalize this result for all negative real numbers.


title: An idelic view of ideals

abstract: Ideles and adeles can be viewed as a generalization of Minkowski theory, in which embedding of a number field to the Cartesian product of its completions at the archimedean valuation is generalized to an embedding of the Cartesian product of all its completions with some restriction. This paper introduces the basic notions of point-set topology and builds the real numbers from the rational numbers. Then we review concepts from local fields that will lead to the product formula and the approximation theorem. We, then, construct adeles and ideles. The ideles modulo $k^*$ maps surjectively to the ideal class group, and the compactness of $C_S^0$ will give rise to an alternative proof to the Dirichlet's S-unit theorem and the finiteness of ideal class group. The paper assumes that the reader is familiar with Dedekind domain, principal ideal domain, unique factorization of Dedekind domain, and field norm and traces. The first few parts of Chapter 1 in Neukirch's Algebraic Number Theory will be sufficient for the paper.


title: What produces the far-infrared/submm emission in the most luminous QSOs?

abstract: The AGN. I examine the average spectral energy distributions (SEDs) of two samples of the most powerful, unobscured QSOs at 2<z<3.5, with rest frame optical luminosities in the 46.2<log vLv(5100Ang)<47.4 range, corresponding to the tail of the 2<z<4 QSO optical luminosity function. I find that the AGN could potentially account for the entire broad-band emission from the UV to the submm, on the basis that the SEDs of these sources are similar to the intrinsic AGN SEDs derived for lower power, lower redshift QSOs. Although this does not preclude substantial star-formation in their host galaxies, I find that the AGN dominates the total infrared luminosity, removing the necessity for a star-forming component in the far-IR/submm. I argue that the origin of the far-IR/submm emission in such powerful QSOs includes a small contribution from the AGN torus, but is predominantly linked to dust at kpc-scales heated by the AGN. The latter component accounts for at least 5-10 per cent of the bolometric AGN luminosity and has an implied dust mass of the order of 10^8 solar masses.


title: Revocable Hierarchical Identity-Based Encryption from Multilinear Maps

abstract: In identity-based encryption (IBE) systems, an efficient key delegation method to manage a large number of users and an efficient key revocation method to handle the dynamic credentials of users are needed. Revocable hierarchical IBE (RHIBE) can provide these two methods by organizing the identities of users as a hierarchy and broadcasting an update key for non-revoked users per each time period. To provide the key revocation functionality, previous RHIBE schemes use a tree-based revocation scheme. However, this approach has an inherent limitation such that the number of update key elements depends on the number of revoked users. In this paper, we propose two new RHIBE schemes in multilinear maps that use the public-key broadcast encryption scheme instead of using the tree-based revocation scheme to overcome the mentioned limitation. In our first RHIBE scheme, the number of private key elements and update key elements is reduced to $O(\ell)$ and $O(\ell)$ respectively where $\ell$ is the depth of a hierarchical identity. In our second RHIBE scheme, we can further reduce the number of private key elements from $O(\ell)$ to $O(1)$.


title: Statistical Inference Based on a New Weighted Likelihood Approach

abstract: We discuss a new weighted likelihood method for parametric estimation. The method is motivated by the need for generating a simple estimation strategy which provides a robust solution that is simultaneously fully efficient when the model is correctly specified. This is achieved by appropriately weighting the score function at each observation in the maximum likelihood score equation. The weight function determines the compatibility of each observation with the model in relation to the remaining observations and applies a downweighting only if it is necessary, rather than automatically downweighting a proportion of the observations all the time. This allows the estimators to retain full asymptotic efficiency at the model. We establish all the theoretical properties of the proposed estimators and substantiate the theory developed through simulation and real data examples. Our approach provides an alternative to the weighted likelihood method of Markatou et al. (1997, 1998).


title: Narrow-linewidth cooling of $^{6}$Li atoms using the 2S-3P transition

abstract: We report on a narrow-linewidth cooling of $^{6}$Li atoms using the $2S_{1/2}\to 3P_{3/2}$ transition in the ultraviolet (UV) wavelength regime. By combining the traditional red magneto-optical trap (MOT) at 671 nm and the UV MOT at 323 nm, we obtain a cold sample of $1.3\times10^9$ atoms with a temperature of 58 $\mu$K. Furthermore, we demonstrate a high efficiency magnetic transport for $^{6}$Li atoms with the help of the UV MOT. Finally, we obtain $8.1\times10^8$ atoms with a temperature of 296 $\mu$K at a magnetic gradient of 198 G/cm in the science chamber with a good vacuum environment and large optical access.


title: Comment on "Fermion production in a magnetic field in a de Sitter universe"

abstract: We point out that the transition probabilities used in a recent perturbative calculation of pair creation in an external magnetic field in the expanding de Sitter space with the $in$ and $out$ fermion states defined by the Bunch-Davies modes [C. Crucean et al., Phys. Rev. D 73 044019 (20016)] are gauge dependent quantities. We examine the gauge variations of these amplitudes assuming a decoupling of the interaction at infinite times, which allows to conclude that the source of the problem lies in the nonoscillatory behavior of the fermion current in the infinite future.


title: Uniform rationality of the Poincar\'e series of definable, analytic equivalence relations on local fields

abstract: Poincar\'e series of $p$-adic, definable equivalence relations have been studied in various cases since Igusa's and Denef's work related to counting solutions of polynomial equations modulo $p^n$ for prime $p$. General semi-algebraic equivalence relations on local fields have been studied uniformly in $p$ recently in \cite{16}. Here we generalize the rationality result of \cite{16} to the analytic case, unifomly in $p$, building further on the appendix of \cite{16} and on \cite{13b}, \cite{03}. In particular, the results hold for large positive characteristic local fields. We also introduce rational motivic constructible functions and their motivic integrals, as a tool to prove our main results.


title: A reconnection-driven model of the hard X-ray loop-top source from flare 2004-Feb-26

abstract: A compact X-class flare on 2004-Feb-26 showed a concentrated source of hard X-rays at the tops of the flare's loops. This was analyzed in previous work (Longcope et al. 2010), and interpreted as plasma heated and compressed by slow magnetosonic shocks generated during post-reconnection retraction of the flux. That work used analytic expressions from a thin flux tube (TFT) model, which neglected many potentially important factors such as thermal conduction and chromospheric evaporation. Here we use a numerical solution of the TFT equations to produce a more comprehensive and accurate model of the same flare, including those effects previously omitted. These simulations corroborate the prior hypothesis that slow mode shocks persist well after the retraction has ended, thus producing a compact, loop-top source instead of an elongated jet, as steady reconnection models predict. Thermal conduction leads to densities higher than analytic estimates had predicted, and evaporation enhances the density still higher, but at lower temperatures. X-ray light curves and spectra are synthesized by convolving the results from a single TFT simulation with the rate at which flux is reconnected, as measured through motion of flare ribbons, for example. These agree well with light curves observed by RHESSI and GOES and spectra from RHESSI. An image created from a superposition of TFT model runs resembles one produced from RHESSI observations. This suggests that the HXR loop-top source, at least the one observed in this flare, could be the result of slow magnetosonic shocks produced in fast reconnection models like Petschek's.


title: Local coderivatives and approximation of Hodge Laplace problems

abstract: The standard mixed finite element approximations of Hodge Laplace problems associated with the de Rham complex are based on proper discrete subcomplexes. As a consequence, the exterior derivatives, which are local operators, are computed exactly. However, the approximations of the associated coderivatives are nonlocal. In fact, this nonlocal property is an inherent consequence of the mixed formulation of these methods, and can be argued to be an undesired effect of these schemes. As a consequence, it has been argued, at least in special settings, that more local methods may have improved properties. In the present paper, we construct such methods by relying on a careful balance between the choice of finite element spaces, degrees of freedom, and numerical integration rules. Furthermore, we establish key convergence estimates based on a standard approach of variational crimes.


title: Gravitational Waves from Pulsars and Their Braking Indices: The Role of a Time Dependent Magnetic Ellipticity

abstract: We study the role of time dependent magnetic ellipticities ($\epsilon_{B}$) on the calculation of the braking index of pulsars. Moreover, we study the consequences of such a $\epsilon_{B}$ on the amplitude of gravitational waves (GWs) generated by pulsars with measured braking indices. We show that, since the ellipticity generated by the magnetic dipole is extremely small, the corresponding amplitude of GWs is much smaller than the amplitude obtained via the spindown limit.


title: Multi-D magnetohydrodynamic modelling of pulsar wind nebulae: recent progress and open questions

abstract: In the last decade, the relativistic magnetohydrodynamic (MHD) modelling of pulsar wind nebulae, and of the Crab nebula in particular, has been highly successful, with many of the observed dynamical and emission properties reproduced down to the finest detail. Here, we critically discuss the results of some of the most recent studies: namely the investigation of the origin of the radio emitting particles and the quest for the acceleration sites of particles of different energies along the termination shock, by using wisps motion as a diagnostic tool; the study of the magnetic dissipation process in high magnetization nebulae by means of new long-term three-dimensional simulations of the pulsar wind nebula evolution; the investigation of the relativistic tearing instability in thinning current sheets, leading to fast reconnection events that might be at the origin of the Crab nebula gamma-ray flares.


title: Analytical On-shell Calculation of Higher Order Scattering: Massive Particles

abstract: We demonstrate that the use of on-shell methods, involving calculation of the discontinuity across the t-channel cut associated with the exchange of a pair of massless particles, can be used to evaluate loop contributions to both the electromagnetic and gravitational scattering of massive systems. In the gravitational case, the use of factorization permits a straightforward and algebraic calculation of higher order scattering results, which were obtained previously by much more arduous Feynman diagram techniques.


title: On the Decay of Almost Periodic Solutions of Anisotropic Degenerate Parabolic-Hyperbolic Equations

abstract: We discuss the well-posedness and decay of Besicovitch almost periodic solutions for a class of nonlinear degenerate anisotropic hyperbolic-parabolic equations. In our definition of weak entropy solution the initial data is only assumed in a weak sense, and in this connection the strong trace of the solution in the initial time hyperplane is also established.


title: On Pasch's Axiom and Desargues' Theorem in Busemann's work

abstract: In this note, we discuss the role played by the techniques from the "foundations of geometry" and in particular by Desargues' Theorem in the work of Busemann. This note is part of a forthcoming edition of Busemann's collected papers.


title: Cost and Precision of Brownian Clocks

abstract: Brownian clocks are biomolecular networks that can count time. A paradigmatic example are proteins that go through a cycle thus regulating some oscillatory behaviour in a living system. Typically, such a cycle requires free energy often provided by ATP hydrolysis. We investigate the relation between the precision of such a clock and its thermodynamic costs. For clocks driven by a constant thermodynamic force, a given precision requires a minimal cost that diverges as the uncertainty of the clock vanishes. In marked contrast, we show that a clock driven by a periodic variation of an external protocol can achieve arbitrary precision at arbitrarily low cost. This result constitutes a fundamental difference between processes driven by a fixed thermodynamic force and those driven periodically. As a main technical tool, we map a periodically driven system with a deterministic protocol to one subject to an external protocol that changes in stochastic time intervals, which simplifies calculations significantly. In the non-equilibrium steady state of the resulting bipartite Markov process, the uncertainty of the clock can be deduced from the calculable dispersion of a corresponding current.


title: Optimal Regularity for the Thin Obstacle Problem with $C^{0,\alpha}$ Coefficients

abstract: In this article we study solutions to the (interior) thin obstacle problem under low regularity assumptions on the coefficients, the obstacle and the underlying manifold. Combining the linearization method of Andersson \cite{An16} and the epiperimetric inequality from \cite{FS16}, \cite{GPSVG15}, we prove the optimal $C^{1,\min\{\alpha,1/2\}}$ regularity of solutions in the presence of $C^{0,\alpha}$ coefficients $a^{ij}$ and $C^{1,\alpha}$ obstacles $\phi$. Moreover we investigate the regularity of the regular free boundary and show that it has the structure of a $C^{1,\gamma}$ manifold for some $\gamma \in (0,1)$.


title: A Clockwork Theory

abstract: The clockwork is a mechanism for generating light particles with exponentially suppressed interactions in theories which contain no small parameters at the fundamental level. We develop a general description of the clockwork mechanism valid for scalars, fermions, gauge bosons, and gravitons. This mechanism can be implemented with a discrete set of new fields or, in its continuum version, through an extra spatial dimension. In both cases the clockwork emerges as a useful tool for model-building applications. Notably, the continuum clockwork offers a solution to the Higgs naturalness problem, which turns out to be the same as in linear dilaton duals of Little String Theory. We also elucidate the similarities and differences of the continuum clockwork with large extra dimensions and warped spaces. All clockwork models, in the discrete and continuum, exhibit novel phenomenology with a distinctive spectrum of closely spaced resonances.


title: The Puzzling Detection of X-rays From Pluto by Chandra

abstract: Using Chandra ACIS-S, we have obtained imaging Xray spectrophotometry of the Pluto system in support of the New Horizons flyby on 14 July 2015. 174 ksec of observations were obtained on 4 visits in Feb 2014 to Aug 2015. We measured a net signal of 6.8 counts and a noise level of 1.2 counts in a comoving 11 x 11 pixel box (100 x 100 R_Pluto) in the 0.31 to 0.60 keV passband for a detection at > 99.95 C.L. The Pluto photons do not match the background spectrum, are coincident with a 90% flux aperture comoving with Pluto, and are not sky source confused. The mean 0.31 to 0.60 keV Xray power from Pluto is 200 MW, in the midrange of Xray power levels seen for known solar system emission sources: auroral precipitation, solar Xray scattering, and charge exchange (CXE) between solar wind (SW) ions & atmospheric neutrals. We eliminate auroral effects as a source, as Pluto has no known magnetic field & the New Horizons Alice UV spectrometer detected no airglow from Pluto during the flyby. Nano-scale atmospheric haze particles could lead to enhanced resonant scattering of solar X-rays from Pluto, but the energy signature of the detected photons does not match the solar spectrum and estimates of Plutos scattered Xray emission are > 100 times below the 3.9e-5 cps found in our observations. CXE emission from SW carbon, nitrogen, and oxygen ions can produce the energy signature seen, and the 6e25 neutral gas escape rate from Pluto deduced from New Horizons data can support the 3.0e24 Xray photons/sec emission rate required by our observations. Using the SW proton density and speed measured by the Solar Wind Around Pluto (SWAP) instrument in the vicinity of Pluto at the time of the photon emissions, we find too few SW minor ions flowing into the 11 x 11 pixel box centered on Pluto than are needed to support the observed emission rate unless the SW is significantly focused and enhanced in this region.


title: To CME or not to CME? Implications of p+Pb measurements of the chiral magnetic effect in heavy ion collisions

abstract: The Chiral Magnetic Effect (CME) is a fundamental prediction of QCD, and various observables have been proposed in heavy ion collisions to access this physics. Recently the CMS Collaboration \cite{Khachatryan:2016got} has reported results from p+Pb collisions at 5.02 TeV on one such observable, the three-point correlator. The results are strikingly similar to those measured at the same particle multiplicity in Pb+Pb collisions, which have been attributed to the CME. This similarity, combined with two key assumptions about the magnetic field in p+Pb collisions, presents a major challenge to the CME picture. These two assumptions as stated in the CMS paper are (1) that the magnetic field in p+Pb collisions is smaller than that in Pb+Pb collisions and (2) that the magnetic field direction is uncorrelated with the flow angle. We test these two postulates in the Monte Carlo Glauber framework and find that the magnetic fields are not significantly smaller in central p+Pb collisions, however the magnetic field direction and the flow angle are indeed uncorrelated. The second finding alone gives strong evidence that the three-point correlator signal in Pb+Pb and p+Pb is not an indication of the CME. Similar measurements in d+Au over a range of energies accessible at RHIC would be elucidating. In the same calculational framework, we find that even in Pb+Pb collisions, where the magnetic field direction and the flow angle are correlated, there exist large inhomogeneities that are on the size scale of topological domains. These inhomogeneities need to be incorporated in any detailed CME calculation.


title: Higher-Order Linearisability

abstract: Linearisability is a central notion for verifying concurrent libraries: a given library is proven safe if its operational history can be rearranged into a new sequential one which, in addition, satisfies a given specification. Linearisability has been examined for libraries in which method arguments and method results are of ground type, including libraries parameterised with such methods. In this paper we extend linearisability to the general higher-order setting: methods can be passed as arguments and returned as values. A library may also depend on abstract methods of any order. We use this generalised notion to show correctness of several higher-order example libraries.


title: Chandra Characterization of X-ray Emission in the Young F-Star Binary System HD 113766

abstract: Using Chandra we have obtained imaging X-ray spectroscopy of the 10 to 16 Myr old F-star binary HD 113766. We individually resolve the binary components for the first time in the X-ray and find a total 0.3 to 2.0 keV luminosity of 2.2e29 erg/sec, consistent with previous RASS estimates. We find emission from the easternmost, infrared-bright, dusty member HD 113766A to be only 10% that of the western, infrared-faint member HD 113766B. There is no evidence for a 3rd late-type stellar or sub-stellar member of HD113766 with Lx > 6e25 erg s-1 within 2 arcmin of the binary pair. The ratio of the two stars Xray luminosity is consistent with their assignments as F2V and F6V by Pecaut et al. (2012). The emission is soft for both stars, kTApec = 0.30 to 0.50 keV, suggesting X-rays produced by stellar rotation and/or convection in young dynamos, but not accretion or outflow shocks which we rule out. A possible 2.8 +/- 0.15 (2{\sigma}) hr modulation in the HD 113766B X-ray emission is seen, but at very low confidence and of unknown provenance. Stellar wind drag models corresponding to Lx = 2e29 erg s-1 argue for a 1 mm dust particle lifetime around HD 113766B of only 90,0000 years, suggesting that dust around HD 113766B is quickly removed, whereas dust around HD 113766A can survive for > 1.5e6 yrs. At 1e28 to 1e29 erg s-1 luminosity, astrobiologically important effects, like dust warming and X-ray photolytic organic synthesis, are likely for any circumstellar material in the HD 113766 systems.


title: High rank quadratic twists of pairs of elliptic curves

abstract: Given a pair of elliptic curves $E_1$ and $E_2$ over the rational field $\mathbb Q$ whose $j$-invariants are not simultaneously 0 or 1728, Kuwata and Wang proved the existence of infinitely many square-free rationals $d$ such that the $d$-quadratic twists of $E_1$ and $E_2$ are both of positive rank. We construct infinite families of pairs of elliptic curves $E_1$ and $E_2$ over $\mathbb Q$ such that for each pair there exist infinitely many square-free rationals $d$ for which the $d$-quadratic twists of $E_1$ and $E_2$ are both of rank at least 2.


title: Equivariant cohomology rings of the real flag manifolds

abstract: We give Leray-Borel-type descriptions for the mod-$2$ and the rational equivariant cohomology rings of the real and the oriented flag manifolds under the canonical torus or 2-torus actions.


title: Wasserstein Stability of the Entropy Power Inequality for Log-Concave Densities

abstract: We establish quantitative stability results for the entropy power inequality (EPI). Specifically, we show that if uniformly log-concave densities nearly saturate the EPI, then they must be close to Gaussian densities in the quadratic Wasserstein distance. Further, if one of the densities is log-concave and the other is Gaussian, then the deficit in the EPI can be controlled in terms of the $L^1$-Wasserstein distance. As a counterpoint, an example shows that the EPI can be unstable with respect to the quadratic Wasserstein distance when densities are uniformly log-concave on sets of measure arbitrarily close to one. Our stability results can be extended to non-log-concave densities, provided certain regularity conditions are met. The proofs are based on optimal transportation.


title: Effective Potential Theory for Diffusion in Binary Ionic Mixtures

abstract: Self-diffusion and interdiffusion coefficients of binary ionic mixtures are evaluated using the Effective Potential Theory (EPT), and the predictions are compared with the results of molecular dynamics simulations. We find that EPT agrees with molecular dynamics from weak coupling well into the strong coupling regime, which is a similar range of coupling strengths as previously observed in comparisons with the one-component plasma. Within this range, typical relative errors of approximately 20% and worst-case relative errors of approximately 40% are observed. We also examine the Darken model, which approximates the interdiffusion coefficients based on the self-diffusion coefficients.


title: On rational triangles via algebraic curves

abstract: A rational triangle is a triangle with rational side lengths. We consider three different families of rational triangles having a fixed side and whose vertices are rational points in the plane. We display a one-to-one correspondence between each family and the set of rational points of an algebraic curve. These algebraic curves are: a curve of genus 0, an elliptic curve, and a genus 3 curve. We study the set of rational points on each of these curves and describe some of its rational points explicitly.


title: Tachyonic instabilities in 2+1 dimensional Yang-Mills theory and its connection to Number Theory

abstract: We consider the $2+1$ dimensional Yang-Mills theory with gauge group $\text{SU}(N)$ on a flat 2-torus under twisted boundary conditions. We study the possibility of phase transitions (tachyonic instabilities) when $N$ and the volume vary and certain chromomagnetic flux associated to the topology of the bundle can be adjusted. Under natural assumptions about how to match the perturbative regime and the expected confinement, we prove that the absence of tachyonic instabilities is related to some problems in number theory, namely the Diophantine approximation of irreducible fractions by other fractions of smaller denominator.


title: Geometric realizations of affine Kac-Moody algebras

abstract: The goal of the present paper is to obtain new free field realizations of affine Kac-Moody algebras motivated by geometric representation theory for generalized flag manifolds of finite-dimensional semisimple Lie groups. We provide an explicit construction of a large class of irreducible modules associated with certain parabolic subalgebras covering all known special cases.

categories: math.RT math-ph math.AG math.FA math.MP math.OA


title: Conformational properties of active semiflexible polymers

abstract: The conformational properties of flexible and semiflexible polymers exposed to active noise are studied theoretically. The noise may originate from the interaction of the polymer with surround- ing active (Brownian) particles or from the inherent motion of the polymer itself, which may be composed of active Brownian particles. In the latter case, the respective monomers are indepen- dently propelled in directions changing diffusively. For the description of the polymer, we adopt the continuous Gaussian semiflexible polymer model. Specifically, the finite polymer extensibility is taken into account which turns out to be essentially for the polymer conformations. Our analytical calculations predict a strong dependence of the relaxation times on the activity. In particular, semi- flexible polymers exhibit a crossover from a bending-elasticity-dominated to the flexible-polymer dynamics with increasing activity. This leads to a significant noise-induced polymer shrinkage over a large range of self-propulsion velocities. For large activities, the polymers swell and their extension becomes comparable to the contour length. The scaling properties of the mean square end-to-end distance with respect to the polymer length and monomer activity are discussed.


title: $P$ fluxes and exotic branes

abstract: We consider the ${\cal N}=1$ superpotential generated in type-II orientifold models by non-geometric fluxes. In particular, we focus on the family of $P$ fluxes, that are related by T-duality transformations to the S-dual of the $Q$ flux. We determine the general rule that transforms a given flux in this family under a single T-duality transformation. This rule allows to derive a complete expression for the superpotential for both the IIA and the IIB theory for the particular case of a $T^6/[\mathbb{Z}_2 \times \mathbb{Z}_2 ]$ orientifold. We then consider how these fluxes modify the generalised Bianchi identities. In particular, we derive a fully consistent set of quadratic constraints coming from the NS-NS Bianchi identities. On the other hand, the $P$ flux Bianchi identities induce tadpoles, and we determine a set of exotic branes that can be consistently included in order to cancel them. This is achieved by determining a universal transformation rule under T-duality satisfied by all the branes in string theory.


title: Microfluidic Flow of Cholesteric Liquid Crystals

abstract: We explore the rheology and flow-induced morphological changes of cholesteric liquid crystal patterns subject to Poiseuille flow within a slab geometry, and under different anchoring conditions at the wall. Our focus is particularly on the behaviour of Cholesteric Fingers of the first kind and of Blue Phase II. Depending on the applied pressure gradient, we observe a number of dynamic regimes with different rheological properties. Our results provide the first insight into the flow response of cholesteric phases with fully two- or three-dimensional director field patterns and normal and planar degenerate anchoring conditions as commonly realised in experiments. They are also of high relevance for a fundamental understanding of complex liquid crystals in confinement and an important step towards future microfluidic applications that are based on cholesteric liquid crystals.


title: Spectator Higgs, large-scale gauge fields and the non-minimal coupling to gravity

abstract: Even if the Higgs field does not affect the evolution of the background geometry, its massive inhomogeneities induce large-scale gauge fields whose energy density depends on the slow-roll parameters, on the effective scalar mass and, last but not least, on the dimensionless coupling to the space-time curvature. Since the non-Abelian gauge modes are screened, the non-minimal coupling to gravity predominantly affects the evolution of the hypercharge and electromagnetic fields. While in the case of minimal coupling the obtained constraints are immaterial, as soon as the coupling increases beyond one fourth the produced fields become overcritical. We chart the whole parameter space of this qualitatively new set of bounds. Whenever the limits on the curvature coupling are enforced, the magnetic field may still be partially relevant for large-scale magnetogenesis and exceed $10^{-20}$ G for the benchmark scale of the protogalactic collapse.


title: Dependent Types in Haskell: Theory and Practice

abstract: Haskell, as implemented in the Glasgow Haskell Compiler (GHC), has been adding new type-level programming features for some time. Many of these features---chiefly: generalized algebraic datatypes (GADTs), type families, kind polymorphism, and promoted datatypes---have brought Haskell to the doorstep of dependent types. Many dependently typed programs can even currently be encoded, but often the constructions are painful. In this dissertation, I describe Dependent Haskell, which supports full dependent types via a backward-compatible extension to today's Haskell. An important contribution of this work is an implementation, in GHC, of a portion of Dependent Haskell, with the rest to follow. The features I have implemented are already released, in GHC 8.0. This dissertation contains several practical examples of Dependent Haskell code, a full description of the differences between Dependent Haskell and today's Haskell, a novel type-safe dependently typed lambda-calculus (called Pico) suitable for use as an intermediate language for compiling Dependent Haskell, and a type inference and elaboration algorithm, Bake, that translates Dependent Haskell to type-correct Pico.


title: Pre-inflation: origin of the Universe from a topological phase transition

abstract: I study a model which describes the birth of the universe using a global topological phase transition with a complex manifold where the time, $\tau$, is considered as a complex variable. Before the big bang $\tau$ is a purely imaginary variable so that the space can be considered as Euclidean. The phase transition from a pre-inflation to inflation is examined by studying the dynamical rotation of the time on the complex plane. Back-reaction effects are exactly calculated using Relativistic Quantum Geometry.


title: A geometrical approach to degenerate scalar-tensor theories

abstract: Degenerate scalar-tensor theories are recently proposed covariant theories of gravity coupled with a scalar field. Despite being characterised by higher order equations of motion, they do not propagate more than three degrees of freedom, thanks to the existence of constraints. We discuss a geometrical approach to degenerate scalar-tensor systems, and analyse its consequences. We show that some of these theories emerge as a certain limit of DBI Galileons. In absence of dynamical gravity, these systems correspond to scalar theories enjoying a symmetry which is different from Galileon invariance. The scalar theories have however problems concerning the propagation of fluctuations around a time dependent background. These issues can be tamed by breaking the symmetry by hand, or by minimally coupling the scalar with dynamical gravity in a way that leads to degenerate scalar-tensor systems. We show that distinct theories can be connected by a relation which generalizes Galileon duality, in certain cases also when gravity is dynamical. We discuss some implications of our results in concrete examples. Our findings can be helpful for assessing stability properties and understanding the non-perturbative structure of systems based on degenerate scalar-tensor systems.


title: How far does small chemotactic interaction perturb the Fisher-KPP dynamics?

abstract: This paper deals with nonnegative solutions of the Neumann initial-boundary value problem for the fully parabolic chemotaxis-growth system $ (u_{\varepsilon})_t$ $=\Delta u_{\varepsilon} - \varepsilon \nabla \cdot ( u_\varepsilon \nabla v_\varepsilon) + \mu u_\varepsilon(1 - u_\varepsilon)$, $ (v_{\varepsilon})_t=\Delta v_\varepsilon -v_\varepsilon+u_\varepsilon,$ with positive small parameter $\varepsilon>0$ in a bounded convex domain $\Omega\subset\mathbb{R}^n$ ($n\geq 1$) with smooth boundary. The solutions converge to the solution $u$ to the Fisher-KPP equation as $\varepsilon\to 0$. It is shown that for all $\mu>0$ and any suitably regular nonnegative initial data $(u_{init},v_{init})$ there are some constants $\varepsilon_0>0$ and $C>0$ such that \[ \sup_{t>0}\|u_\varepsilon(\cdot,t)-u(\cdot,t)\|_{L^\infty(\Omega)} \leq C\varepsilon \quad for\ all\ \varepsilon\in(0,\varepsilon_0). \]


title: The Third Offset and a Fifth Domain? Balancing Game-Changing Innovation and Cyber Risk Mitigation

abstract: Cyber has changed the scope of the national security mission and is placing new strains on our diplomatic, warfighting, legal, and economic/budgetary processes. Cybersecurity processes and techniques are increasingly critical to our warfighting missions, but they can also inhibit the pace and potential for high impact, game-changing innovation. Throughout its history, the Navy has shown the ability of innovation (in policy, process, and technology) to change the game when our security is on the line. We believe the Navy is capable of dramatically impacting not only the U.S. capabilities in cyber conflict and information operations, but also in cyber defense and information assurance, as well as cybersecurity for our society. While cyber risk management is challenging, the transition from DoD Information Assurance Certification and Accreditation Process (DIACAP) to the Risk Management Framework (RMF) has the potential to harmonize our cybersecurity efforts with our need (and demonstrated ability to provide) for game-changing strategies, tactics, and technologies. We offer a foundation for the foregoing assertions and recommendations on ways to encourage innovation in the context of effective cyber risk management.


title: Supersymmetric deformations of 3D SCFTs from tri-sasakian truncation

abstract: We holographically study supersymmetric deformations of $N=3$ and $N=1$ superconformal field theories (SCFTs) in three dimensions using four-dimensional $N=4$ gauged supergravity coupled to three-vector multiplets with non-semisimple $SO(3)\ltimes (\mathbf{T}^3,\hat{\mathbf{T}}^3)$ gauge group. This gauged supergravity can be obtained from a truncation of eleven-dimensional supergravity on a tri-sasakian manifold and admits both $N=1,3$ supersymmetric and stable non-supersymmetric $AdS_4$ critical points. We analyze the BPS equations for $SO(3)$ singlet scalars in details and study possible supersymmetric solutions. A number of RG flows to non-conformal field theories and half-supersymmetric domain walls are found, and many of them can be given analytically. Apart from these "flat" domain walls, we also consider $AdS_3$-sliced domain wall solutions describing two-dimensional conformal defects with $N=(1,0)$ supersymmetry within the dual $N=1$ field theory while this type of solutions does not exist in the $N=3$ case.


title: FFLV-type monomial bases for type $B$

abstract: We present a combinatorial monomial basis (or, more precisely, a family of monomial bases) in every finite-dimensional irreducible $\mathfrak{so}_{2n+1}$-module. These bases are in many ways similar to the FFLV bases for types $A$ and $C$. They are also defined combinatorially via sums over Dyck paths in certain triangular grids. Our sums, however, involve weights depending on the length of the corresponding root. Accordingly, our bases also induce bases in certain degenerations of the modules but these degenerations are obtained not from the filtration by PBW degree but by a weighted version thereof.


title: An Analysis of Attacks on Blockchain Consensus

abstract: We present and validate a novel mathematical model of the blockchain mining process and use it to conduct an economic evaluation of the double-spend attack, which is fundamental to all blockchain systems. Our analysis focuses on the value of transactions that can be secured under a conventional double-spend attack, both with and without a concurrent eclipse attack. Our model quantifies the importance of several factors that determine the attack's success, including confirmation depth, attacker mining power, and any confirmation deadline set by the merchant. In general, the security of a transaction against a double-spend attack increases roughly logarithmically with the depth of the block, made easier by the increasing sum of coin turned-over (between individuals) in the blocks, but more difficult by the increasing proof of work required. In recent blockchain data, we observed a median block turnover value of 6 BTC. Based on this value, a merchant requiring a single confirmation is protected against only attackers that can increase the current mining power by 1% or less. However, similar analysis shows that a merchant that requires a much longer 72 confirmations (~12 hours) will eliminate all potential profit for any double-spend attacker adding mining power less than 40% of the current mining power.


title: Leaders and followers: Quantifying consistency in spatio-temporal propagation patterns

abstract: Repetitive spatio-temporal propagation patterns are encountered in fields as wide-ranging as climatology, social communication and network science. In neuroscience, perfectly consistent repetitions of the same global propagation pattern are called a synfire pattern. For any recording of sequences of discrete events (in neuroscience terminology: sets of spike trains) the questions arise how closely it resembles such a synfire pattern and which are the spike trains that lead/follow. Here we address these questions and introduce an algorithm built on two new indicators, termed SPIKE-Order and Spike Train Order, that define the Synfire Indicator value, which allows to sort multiple spike trains from leader to follower and to quantify the consistency of the temporal leader-follower relationships for both the original and the optimized sorting. We demonstrate our new approach using artificially generated datasets before we apply it to analyze the consistency of propagation patterns in two real datasets from neuroscience (Giant Depolarized Potentials in mice slices) and climatology (El Ni~no sea surface temperature recordings). The new algorithm is distinguished by conceptual and practical simplicity, low computational cost, as well as flexibility and universality.


title: Josephson junction microwave modulators for qubit control

abstract: We demonstrate Josephson junction based double-balanced mixer and phase shifter circuits operating at 6-10 GHz, and integrate these components to implement both a monolithic amplitude/phase vector modulator and a quadrature mixer. The devices are actuated by flux signals, dissipate no power on chip, exhibit input saturation powers in excess of 1 nW, and provide cryogenic microwave modulation solutions for integrated control of superconducting qubits.


title: Perfect matchings and Hamiltonian cycles in the preferential attachment model

abstract: In this paper, we study the existence of perfect matchings and Hamiltonian cycles in the preferential attachment model. In this model, vertices are added to the graph one by one, and each time a new vertex is created it establishes a connection with $m$ random vertices selected with probabilities proportional to their current degrees. (Constant $m$ is the only parameter of the model.) We prove that if $m \ge 1{,}260$, then asymptotically almost surely there exists a perfect matching. Moreover, we show that there exists a Hamiltonian cycle asymptotically almost surely, provided that $m \ge 29{,}500$. One difficulty in the analysis comes from the fact that vertices establish connections only with vertices that are "older" (i.e. are created earlier in the process). However, the main obstacle arises from the fact that edges in the preferential attachment model are not generated independently. In view of that, we also consider a simpler setting---sometimes called uniform attachment---in which vertices are added one by one and each vertex connects to $m$ older vertices selected uniformly at random and independently of all other choices. We first investigate the existence of perfect matchings and Hamiltonian cycles in the uniform attachment model, and then extend the argument to the preferential attachment version.


title: Process Discovery using Inductive Miner and Decomposition

abstract: This report presents a submission to the Process Discovery Contest. The contest is dedicated to the assessment of tools and techniques that discover business process models from event logs. The objective is to compare the efficiency of techniques to discover process models that provide a proper balance between "overfitting" and "underfitting". In the context of the Process Discovery Contest, process discovery is turned into a classification task with a training set and a test set; where a process model needs to decide whether traces are fitting or not. In this report, we first show how we use two discovery techniques, namely: Inductive Miner and Decomposition, to discover process models from the training set using ProM tool. Second, we show how we use replay results to 1) check the rediscoverability of models, and to 2) classify unseen traces (in test logs) as fitting or not. Then, we discuss the classification results of validation logs, the complexity of discovered models, and their impact on the selection of models for submission. The report ends with the pictures of the submitted process models.


title: Effects of Cosmological Constant on Clustering of Galaxies

abstract: In this paper, we analyse the effect of the expansion of the universe on the clustering of galaxies. We evaluate the configurational integral for interacting system of galaxies in an expanding universe by including effects produced by the cosmological constant. The gravitational partition function is obtained using this configuration integral. Thermodynamic quantities, specifically, Helmholtz free energy, entropy, internal energy, pressure and chemical potential are also derived for this system. It is observed that they depend on the modified clustering parameter for this system of galaxies. It is also demonstrated that these thermodynamical quantities get corrected because of the cosmological constant.


title: Gauges and functional measures in quantum gravity II: Higher derivative gravity

abstract: We compute the one-loop divergences in a higher-derivative theory of gravity including Ricci tensor squared and Ricci scalar squared terms, in addition to the Hilbert and cosmological terms, on an (generally off-shell) Einstein background. We work with a two-parameter family of parametrizations of the graviton field, and a two-parameter family of gauges. We find that there are some choices of gauge or parametrization that reduce the dependence on the remaining parameters. The results are invariant under a recently discovered "duality" that involves the replacement of the densitized metric by a densitized inverse metric as the fundamental quantum variable.


title: Numerical analysis of strongly nonlinear PDEs

abstract: We review the construction and analysis of numerical methods for strongly nonlinear PDEs, with an emphasis on convex and nonconvex fully nonlinear equations and the convergence to viscosity solutions. We begin by describing a fundamental result in this area which states that stable, consistent, and monotone schemes converge as the discretization parameter tends to zero. We review methodologies to construct finite difference, finite element, and semi-Lagrangian schemes that satisfy these criteria, and, in addition, discuss some rather novel tools that have paved the way to derive rates of convergence within this framework.


title: Second level semi-degenerate fields in W3 Toda theory: matrix element and differential equation

abstract: In a recent study we considered W3 Toda 4-point functions that involve matrix elements of a primary field with the highest-weight in the adjoint representation of sl3. We generalize this result by considering a semi-degenerate primary field, which has one null vector at level two. We obtain a sixth-order Fuchsian differential equation for the conformal blocks. We discuss the presence of multiplicities, the matrix elements and the fusion rules.


title: A note on dimers and T-graphs

abstract: The purpose of this note is to give a succinct summary of some basic properties of T-graphs which arise in the study of the dimer model. We focus in particular on the relation between the dimer model on the heaxgonal lattice with a given slope, and the behaviour of the uniform spanning tree on the associated T-graph. Together with the main result of the companion paper \cite{BLR16}, the results here show Gaussian free field fluctuations for the height function in some dimer models.


title: Spatial Relationship Based Features for Indian Sign Language Recognition

abstract: In this paper, the task of recognizing signs made by hearing impaired people at sentence level has been addressed. A novel method of extracting spatial features to capture hand movements of a signer has been proposed. Frames of a given video of a sign are preprocessed to extract face and hand components of a signer. The local centroids of the extracted components along with the global centroid are exploited to extract spatial features. The concept of interval valued type symbolic data has been explored to capture variations in the same sign made by the different signers at different instances of time. A suitable symbolic similarity measure is studied to establish matching between test and reference signs and a simple nearest neighbour classifier is used to recognize an unknown sign as one among the known signs by specifying a desired level of threshold. An extensive experimentation is conducted on a considerably large database of signs created by us during the course of research work in order to evaluate the performance of the proposed system


title: A criterion for continuity in a parameter of solutions to generic boundary-value problems for higher-order differential systems

abstract: We consider the most general class of linear boundary-value problems for ordinary differential systems, of order $r\geq1$, whose solutions belong to the complex space $C^{(n+r)}$, with $0\leq n\in\mathbb{Z}$. The boundary conditions can contain derivatives of order $l$, with $r\leq l\leq n+r$, of the solutions. We obtain a constructive criterion under which the solutions to these problems are continuous with respect to the parameter in the normed space $C^{(n+r)}$. We also obtain a two-sided estimate for the degree of convergence of these solutions.


title: Artificial Intelligence Safety and Cybersecurity: a Timeline of AI Failures

abstract: In this work, we present and analyze reported failures of artificially intelligent systems and extrapolate our analysis to future AIs. We suggest that both the frequency and the seriousness of future AI failures will steadily increase. AI Safety can be improved based on ideas developed by cybersecurity experts. For narrow AIs safety failures are at the same, moderate, level of criticality as in cybersecurity, however for general AI, failures have a fundamentally different impact. A single failure of a superintelligent system may cause a catastrophic event without a chance for recovery. The goal of cybersecurity is to reduce the number of successful attacks on the system; the goal of AI Safety is to make sure zero attacks succeed in bypassing the safety mechanisms. Unfortunately, such a level of performance is unachievable. Every security system will eventually fail; there is no such thing as a 100% secure system.


title: Stability and coercivity for toric polarizations

abstract: We introduce uniform K-stability and its relationship with the coercivity property of the K-energy functional, for general polarized manifolds. Since the automorphism groups are not necessarily finite, size of the norm measuring uniformity should be reduced with respect to the group action. About this point we explain that it is enough to take the reduced norm for a single sub-torus, actually the center, in the cscK problem. Our main theorem then describes the slope of the reduced J-functional along any torus-equivariant test configuration. In the toric case it is shown that the uniform stability is indeed equivalent to the coercivity of the K-energy. In the Fano manifolds case existence of the KE metric implies the uniform stability.


title: Rapid Mixing of Hypergraph Independent Set

abstract: We prove that the the mixing time of the Glauber dynamics for sampling independent sets on $n$-vertex $k$-uniform hypergraphs is $O(n\log n)$ when the maximum degree $\Delta$ satisfies $\Delta \leq c 2^{k/2}$, improving on the previous bound [BDK06] of $\Delta \leq k-2$. This result brings the algorithmic bound to within a constant factor of the hardness bound of [BGG+16] which showed that it is NP-hard to approximately count independent sets on hypergraphs when $\Delta \geq 5 \cdot 2^{k/2}$.


title: Statistical Machine Translation for Indian Languages: Mission Hindi 2

abstract: This paper presents Centre for Development of Advanced Computing Mumbai's (CDACM) submission to NLP Tools Contest on Statistical Machine Translation in Indian Languages (ILSMT) 2015 (collocated with ICON 2015). The aim of the contest was to collectively explore the effectiveness of Statistical Machine Translation (SMT) while translating within Indian languages and between English and Indian languages. In this paper, we report our work on all five language pairs, namely Bengali-Hindi (\bnhi), Marathi-Hindi (\mrhi), Tamil-Hindi (\tahi), Telugu-Hindi (\tehi), and English-Hindi (\enhi) for Health, Tourism, and General domains. We have used suffix separation, compound splitting and preordering prior to SMT training and testing.


title: Solar Spectral Irradiance Variability in Cycle 24: Observations and Models

abstract: Utilizing the excellent stability of the Ozone Monitoring Instrument (OMI), we characterize both short-term (solar rotation) and long-term (solar cycle) changes of the solar spectral irradiance (SSI) between 265-500 nm during the on-going Cycle 24. We supplement the OMI data with concurrent observations from the GOME-2 and SORCE instruments and find fair-to-excellent, depending on wavelength, agreement among the observations and predictions of the NRLSSI2 and SATIRE-S models.


title: A space-time Trefftz discontinuous Galerkin method for the acoustic wave equation in first-order formulation

abstract: We introduce a space-time Trefftz discontinuous Galerkin method for the first-order transient acoustic wave equations in arbitrary space dimensions, extending the one dimensional scheme of Kretzschmar et al. (2016, IMA J. Numer. Anal., 36, 1599-1635). Test and trial discrete functions are space-time piecewise polynomial solutions of the wave equations. We prove well-posedness and a priori error bounds in both skeleton-based and mesh-independent norms. The space-time formulation corresponds to an implicit time-stepping scheme, if posed on meshes partitioned in time slabs, or to an explicit scheme, if posed on "tent-pitched" meshes. We describe two Trefftz polynomial discrete spaces, introduce bases for them and prove optimal, high-order $h$-convergence bounds.


title: A first thermodynamic interpretation of the technology transfer activities

abstract: In the last years new interdisciplinary approaches to economics and social science have been developed. A Thermodynamic approach to socio-economics has brought to a new interdisciplinary scientific field called econophysics. Why thermodynamic? Thermodynamic is a statistical theory for large atomic system under constraints of energy[1] and the economy can be considered a large system governed by complex rules. The present job proposes a new application, starting from econophysic, passing throughout the thermodynamic laws to interpret and to described the Technology Transfer (TT) activities. Using the definition of economy (i.e. economy[dictionary def.] = the process or system by which goods and services are produced, sold, and bought in a country or region) the TT can be considered an important sub-domain of the economy and a transversal new area of the scientific research. The TT is the process of transferring knowledge, that uses the results from the research to produce innovation and to ensure that scientific and technological developments could become accessible to a wider range of users. Starting from important Universities (MIT, Stanford, Oxford, etc) nowadays the TT is assuming a central role. It is called the third mission, together with education and research. The importance to provide new theories and tools to describe the TT activities and their behavior, has been retained fundamental to support the social rapid evolution that is involving the TT offices. The presented work uses the thermodynamic theories applying them to Technology Transfer and starting from the concept of entropy, exergy and anergy. The output analysis should become an help to make decision to improve the TT activities and a better resources employment.


title: On Fractional Linear Network Coding Solution of Multiple-Unicast Networks

abstract: It is known that there exists a multiple-unicast network which has a rate $1$ linear network coding solution if and only if the characteristic of the finite field belongs to a given finite or co-finite set of primes. In this paper, we show that for any non-zero positive rational number $\frac{k}{n}$, there exists a multiple-unicast network which has a rate $\frac{k}{n}$ fractional linear network coding solution if and only if the characteristic of the finite field belongs to a given finite or co-finite set of primes.


title: Acylindrical Hyperbolicity of Out($W_n$)

abstract: We prove that the group of outer automorphisms of the free Coxeter group $W_n$ is acylindrically hyperbolic in the sense of Osin. As an application, we observe that any CAT(0) space admitting a geometric action by Out($W_n$) must contain a rank-one geodesic. The theorem proceeds from expanding on a well-known relationship between Out($W_n$) and the outer automorphism group of free groups.


title: Energy extraction from Kerr black holes by rigidly rotating strings

abstract: In this paper, we show that a rigidly rotating string can extract the rotational energy from a rotating black hole. We consider Nambu-Goto strings stationary with respect to a corotating Killing vector with an uniform angular velocity $\omega$ in the Kerr spacetime. We show that a necessary condition of the energy-extraction process is that an effective horizon on the string world sheet, which corresponds to the inner light surface, is inside the ergosphere of the Kerr black hole and the angular velocity $\omega$ is less than that of the black hole $\Omega_\mathrm{h}$. Furthermore, we discuss global configurations of such strings in both of a slow-rotation limit and the extremal Kerr case.


title: A randomized version of the Littlewood Conjecture

abstract: The Littlewood Conjecture in Diophantine approximation can be thought of as a problem about covering the plane by a union of hyperbolas centered at rational points. In this paper we consider the problem of translating the center of each hyperbola by a random amount which depends on the denominator of the corresponding rational. Using a randomized covering argument we prove that, not only is this randomized version of the Littlewood Conjecture true for almost all choices of centers, an even stronger statement with an extra factor of a logarithm also holds.


title: Phononic four-wave mixing

abstract: We present the first experimental observations of phononic four-wave mixing (FWM) in a piezoelectrically actuated free-free beam microstructure. The FWM response is facilitated by the intrinsic coupling between a driven mode and an auto-parametrically excited sub-harmonic mode. Motivated by the experimental results, a dynamical model for FWM has been specified.


title: Mean trapping time for an arbitrary node on regular hyperbranched polymers

abstract: The regular hyperbranched polymers (RHPs), also known as Vicsek fractals, are an important family of hyperbranched structures which have attracted a wide spread attention during the past several years. In this paper, we study the first-passage properties for random walks on the RHPs. Firstly, we propose a way to label all the different nodes of the RHPs and derive exact formulas to calculate the mean first-passage time (MFPT) between any two nodes and the mean trapping time (MTT) for any trap node. Then, we compare the trapping efficiency between any two nodes of the RHPs by using the MTT as the measures of trapping efficiency. We find that the central node of the RHPs is the best trapping site and the nodes which are the farthest nodes from the central node are the worst trapping sites. Furthermore, we find that the maximum of the MTT is about $4$ times more than the minimum of the MTT. The result is similar to the results in the recursive fractal scale-free trees and T-fractal, but it is quite different from that in the recursive non-fractal scale-free trees. These results can help understanding the influences of the topological properties and trap location on the trapping efficiency.


title: Dynamic Nonlinear Focal Shift in Amplitude Modulated Moderately Focused Acoustic Beams

abstract: The phenomenon of the displacement of the position of the pressure, intensity and acoustic radiation force maxima along the axis of focused acoustic beams under increasing driving amplitudes (nonlinear focal shift) is studied for the case of a moderately focused beam excited with continuous and 25 kHz amplitude modulated signals, both in water and tissue. We prove that in amplitude modulated beams the linear and nonlinear propagation effects coexist in a semi-period of modulation, giving place to a complex dynamic behaviour, where the singular points of the beam (peak pressure, rarefaction, intensity and acoustic radiation force) locate at different points on axis as a function of time. These entire phenomena are explained in terms of harmonic generation and absorption during the propagation in a lossy nonlinear medium both, for a continuous and an amplitude modulated beam. One of the possible applications of the acoustic radiation force displacement is the generation of shear waves at different locations by using a focused mono-element transducer excited with an amplitude modulated signal.


title: Broadband quasi perfect absorption using chirped multi-layer porous materials

abstract: This work theoretically analyzes the sound absorption properties of a chirped multi-layer porous material including transmission, in particular showing the broadband unidirectional absorption properties of the system. Using the combination of the impedance matching condition and the balance between the leakage and the intrinsic losses, the system is designed to have broadband unidirectional and quasi perfect absorption. The transfer and scattering matrix formalism, together with numerical simulations based on the finite element method are used to demonstrate the results showing excellent agreement between them. The proposed system allows to construct broadband sound absorbers with improved absorption in the low frequency regime using less amount of material than the complete bulk porous layer.


title: Manipulating the Polar mismatch at LaNiO3/SrTiO3 (111) Interface

abstract: Heteroepitaxial growth of transition-metal oxide films on the open (111) surface of SrTiO3 results in significant restructuring due to the polar mismatch. Monitoring the structural and composition on an atomic scale of LaNiO3/SrTiO3 (111) interface as a function of processing conditions has enabled the avoidance of the expected polar catastrophe. Using atomically resolved transmission electron microscopy and spectroscopy as well as Low energy electron diffraction, the structure of the thin film, from interface to the surface, has been studied. In this paper, we show that the proper processing can lead to a structure that is ordered, coherent with the substrate without intermediate structural phase. Angle-resolved X-ray photoemission spectroscopy shows that the oxygen content of thin films increases with the film thickness, indicating that the polar mismatch is avoided by the presence of oxygen vacancies.


title: Longitudinal LASSO: Jointly Learning Features and Temporal Contingency for Outcome Prediction

abstract: Longitudinal analysis is important in many disciplines, such as the study of behavioral transitions in social science. Only very recently, feature selection has drawn adequate attention in the context of longitudinal modeling. Standard techniques, such as generalized estimating equations, have been modified to select features by imposing sparsity-inducing regularizers. However, they do not explicitly model how a dependent variable relies on features measured at proximal time points. Recent graphical Granger modeling can select features in lagged time points but ignores the temporal correlations within an individual's repeated measurements. We propose an approach to automatically and simultaneously determine both the relevant features and the relevant temporal points that impact the current outcome of the dependent variable. Meanwhile, the proposed model takes into account the non-{\em i.i.d} nature of the data by estimating the within-individual correlations. This approach decomposes model parameters into a summation of two components and imposes separate block-wise LASSO penalties to each component when building a linear model in terms of the past $\tau$ measurements of features. One component is used to select features whereas the other is used to select temporal contingent points. An accelerated gradient descent algorithm is developed to efficiently solve the related optimization problem with detailed convergence analysis and asymptotic analysis. Computational results on both synthetic and real world problems demonstrate the superior performance of the proposed approach over existing techniques.


title: Phase decomposition in an Fe-Cr alloy at 402 deg C: M\"ossbauer spectroscopic study

abstract: Phase separation in strained and strain-free samples of Fe84.85Cr15.15 induced by an isothermal annealing at 402 deg C up to 3888 h was studied by means of the Mossbauer spectroscopy. The measured Fe-site spectra were analyzed with two different procedures viz. a hyperfine field distribution and a two-shell superposition methods. Information relevant to the kinetics of the separation process, concentration of Cr in Fe-rich phase, short-range ordering and magnetic texture was obtained based on values of spectral parameters. In particular, the following quantities pertinent to the kinetics were found: the activation energy, equal to 1666 kJ per mol for the strained sample, and to 1388 kJ per mol for the strain-relaxed one, the Avrami exponent n=2.5(2) for both samples, the rate constant equal to 0.0011(1) for the strained and to 0.0028(1) per hour for the strained-free samples, respectively. The concentration of Cr in the Fe-rich phase was revealed to be 11.6(4) at. % for the strained sample, and to 13.2(4) at.% for the strain-free one. Significant differences in the values of the short-range parameters were revealed for the two samples. An average angle between the magnetization vector and the normal to the sample surface was equal to 52.7 deg for the strained sample, and to 57.5 deg for the strain-relaxed one.