title: Double Metric, Generalized Metric and $\alpha'$-Geometry

abstract: We relate the unconstrained `double metric' of the `$\alpha'$-geometry' formulation of double field theory to the constrained generalized metric encoding the spacetime metric and b-field. This is achieved by integrating out auxiliary field components of the double metric in an iterative procedure that induces an infinite number of higher-derivative corrections. As an application we prove that, to first order in $\alpha'$ and to all orders in fields, the deformed gauge transformations are Green-Schwarz-deformed diffeomorphisms. We also prove that to first order in $\alpha'$ the spacetime action encodes precisely the Green-Schwarz deformation with Chern-Simons forms based on the torsionless gravitational connection. This seems to be in tension with suggestions in the literature that T-duality requires a torsionful connection, but we explain that these assertions are ambiguous since actions that use different connections are related by field redefinitions.


title: Electroweak Baryogenesis in a Scalar-Assisted Vector-Like Fermion Model

abstract: We extend the standard model to a scalar-assisted vector-like fermion model to realize electroweak baryogenesis. The extended Cabbibo-Kobayashi-Maskawa matrix, due to the mixing among the vector-like quark and the standard model quarks, provides additional sources of the CP violation. Together with the enhancement from large vector-like quark mass, a large enough baryon-to-photon ratio could be obtained. The strongly first-order phase transition could be realized via the potential barrier which separate the broken minimum and the symmetric minimum in the scalar potential. We investigate in detail the one-loop temperature-dependent effective potential, and perform a random parameter scan to study the allowed parameter region that satisfies the strongly first order phase transition criteria $v_c \ge T_c$. Several distinct patterns of phase transition are classified and discussed. Among these patterns, large trilinear mass term between the Higgs boson and the scalar is preferred, for it controls the width of the potential barrier. Our results indicate large quartic scalar couplings, and moderate mixing angle between the Higgs boson and the new scalar. This parameter region could be further explored at the Run 2 LHC.


title: The Multi-Phase Cold Fountain in M82 Revealed by a Wide, Sensitive Map of the Molecular ISM

abstract: We present a wide area (~ 8 x 8 kpc), sensitive map of CO (2-1) emission around the nearby starburst galaxy M82. Molecular gas extends far beyond the stellar disk, including emission associated with the well-known outflow as far as 3 kpc from M82's midplane. Kinematic signatures of the outflow are visible in both the CO and HI emission: both tracers show a minor axis velocity gradient and together they show double peaked profiles, consistent with a hot outflow bounded by a cone made of a mix of atomic and molecular gas. Combining our CO and HI data with observations of the dust continuum, we study the changing properties of the cold outflow as it leaves the disk. While H_2 dominates the ISM near the disk, the dominant phase of the cool medium changes as it leaves the galaxy and becomes mostly atomic after about a kpc. Several arguments suggest that regardless of phase, the mass in the cold outflow does not make it far from the disk; the mass flux through surfaces above the disk appears to decline with a projected scale length of ~ 1-2 kpc. The cool material must also end up distributed over a much wider angle than the hot outflow based on the nearly circular isophotes of dust and CO at low intensity and the declining rotation velocities as a function of height from the plane. The minor axis of M82 appears so striking at many wavelengths because the interface between the hot wind cavity and the cool gas produces Halpha, hot dust, PAH emission, and scattered UV light. We also show the level at which a face-on version of M82 would be detectable as an outflow based on unresolved spectroscopy. Finally, we consider multiple constraints on the CO-to-H$_2$ conversion factor, which must change across the galaxy but appears to be only a factor of ~ 2 lower than the Galactic value in the outflow.


title: Phase diagrams of disordered Weyl semimetals

abstract: Weyl semimetals are gapless quasi-topological materials with a set of isolated nodal points forming their Fermi surface. They manifest their quasi-topological character in a series of topological electromagnetic responses including the anomalous Hall effect. Here we study the effect of disorder on Weyl semimetals while monitoring both their nodal/semi-metallic and topological properties through computations of the localization length and the Hall conductivity. We examine three different lattice tight-binding models which realize the Weyl semimetal in part of their phase diagram and look for universal features that are common to all of the models, and interesting distinguishing features of each model. We present detailed phase diagrams of these models for large system sizes and we find that weak disorder preserves the nodal points up to the diffusive limit, but does affect the Hall conductivity. We show that the trend of the Hall conductivity is consistent with an effective picture in which disorder causes the Weyl nodes move within the Brillouin zone along a specific direction that depends deterministically on the properties of the model and the neighboring phases to the Weyl semimetal phase. We also uncover an unusual (non-quantized) anomalous Hall insulator phase which can only exist in the presence of disorder.


title: Stop-Catalyzed Baryogenesis Beyond the MSSM

abstract: Non-minimal supersymmetric models that predict a tree-level Higgs mass above the Minimal Supersymmetric Standard Model (MSSM) bound are well motivated by naturalness considerations. Indirect constraints on the stop sector parameters of such models are significantly relaxed compared to the MSSM; in particular, both stops can have weak-scale masses. We revisit the stop-catalyzed electroweak baryogenesis (EWB) scenario in this context. We find that the LHC measurements of the Higgs boson production and decay rates already rule out the possibility of stop-catalyzed EWB. We also introduce a gauge-invariant analysis framework that may generalize to other scenarios in which interactions outside the gauge sector drive the electroweak phase transition.


title: Ultraviolet Luminosity Density of the Universe During the Epoch of Reionization

abstract: The spatial fluctuations of the extragalactic background light trace the total emission from all stars and galaxies in the Universe. A multi-wavelength study can be used to measure the integrated emission from first galaxies during reionization when the Universe was about 500 million years old. Here we report arcminute-scale spatial fluctuations in one of the deepest sky surveys with the Hubble Space Telescope in five wavebands between 0.6 and 1.6 $\mu$m. We model-fit the angular power spectra of intensity fluctuation measurements to find the ultraviolet luminosity density of galaxies at $z$ > 8 to be $\log \rho_{\rm UV} = 27.4^{+0.2}_{-1.2}$ erg s$^{-1}$ Hz$^{-1}$ Mpc$^{-3}$ $(1\sigma)$. This level of integrated light emission allows for a significant surface density of fainter primeval galaxies that are below the point source detection level in current surveys.


title: Jet Quenching from QCD Evolution

abstract: Recent advances in soft-collinear effective theory with Glauber gluons have led to the development of a new method that gives a unified description of inclusive hadron production in reactions with nucleons and heavy nuclei. We show how this approach, based on the generalization of the DGLAP evolution equations to include final-state medium-induced parton showers, can be combined with initial-state effects for applications to jet quenching phenomenology. We demonstrate that the traditional parton energy loss calculations can be regarded as a special soft-gluon emission limit of the general QCD evolution framework. We present phenomenological comparison of the SCET$_{\rm G}$-based results on the suppression of inclusive charged hadron and neutral pion production in $\sqrt{s_{NN}}=2.76$ TeV lead-lead collisions at the Large Hadron Collider to experimental data. We also show theoretical predictions for the upcoming $\sqrt{s_{NN}} \simeq 5.1$ TeV Pb+Pb run at the LHC.


title: Categorified trace for module tensor categories over braided tensor categories

abstract: Given a braided pivotal category $\mathcal C$ and a pivotal module tensor category $\mathcal M$, we define a functor $\mathrm{Tr}_{\mathcal C}:\mathcal M \to \mathcal C$, called the associated categorified trace. By a result of Bezrukavnikov, Finkelberg and Ostrik, the functor $\mathrm{Tr}_{\mathcal C}$ comes equipped with natural isomorphisms $\tau_{x,y}:\mathrm{Tr}_{\mathcal C}(x \otimes y) \to \mathrm{Tr}_{\mathcal C}(y \otimes x)$, which we call the traciators. This situation lends itself to a diagramatic calculus of `strings on cylinders', where the traciator corresponds to wrapping a string around the back of a cylinder. We show that $\mathrm{Tr}_{\mathcal C}$ in fact has a much richer graphical calculus in which the tubes are allowed to branch and braid. Given algebra objects $A$ and $B$, we prove that $\mathrm{Tr}_{\mathcal C}(A)$ and $\mathrm{Tr}_{\mathcal C}(A \otimes B)$ are again algebra objects. Moreover, provided certain mild assumptions are satisfied, $\mathrm{Tr}_{\mathcal C}(A)$ and $\mathrm{Tr}_{\mathcal C}(A \otimes B)$ are semisimple whenever $A$ and $B$ are semisimple.


title: Investigating dark matter substructure with pulsar timing: I. Constraints on ultracompact minihalos

abstract: Small-scale dark matter structure within the Milky Way is expected to affect pulsar timing. The change in gravitational potential induced by a dark matter halo passing near the line of sight to a pulsar would produce a varying delay in the light travel time of photons from the pulsar. Individual transits produce an effect that would either be too rare or too weak to be detected in 30-year pulsar observations. However, a population of dark matter subhalos would be expected to produce a detectable effect on the measured properties of pulsars if the subhalos constitute a significant fraction of the total halo mass. The effect is to increase the dispersion of measured period derivatives across the pulsar population. By statistical analysis of the ATNF pulsar catalogue, we place an upper limit on this dispersion of $\log \sigma_{\dot{P}} \leq -17.05$. We use this to place strong upper limits on the number density of ultracompact minihalos within the Milky Way. These limits are completely independent of the particle nature of dark matter.


title: Reeb Dynamics of the Link of the $A_n$ Singularity

abstract: The link of the $A_n$ singularity, $L_{A_n} \subset \mathbb{C}^3$ admits a natural contact structure $\xi_0$ coming from the set of complex tangencies. The canonical contact form $\alpha_0$ associated to $\xi_0$ is degenerate and thus has no isolated Reeb orbits. We show that there is a nondegenerate contact form for a contact structure equivalent to $\xi_0$ that has two isolated simple periodic Reeb orbits. We compute the Conley-Zehnder index of these simple orbits and their iterates. From these calculations we compute the positive $S^1$-equivariant symplectic homology groups for $\left(L_{A_n}, \xi_0 \right)$. In addition, we prove that $\left(L_{A_n}, \xi_0 \right)$ is contactomorphic to the Lens space $L(n+1,n)$, equipped with its canonical contact structure $\xi_{std}$.


title: Controlled Finite Momentum Pairing and Spatially Varying Order Parameter in Proximitized HgTe Quantum Wells

abstract: Conventional $s$-wave superconductivity is understood to arise from singlet pairing of electrons with opposite Fermi momenta, forming Cooper pairs whose net momentum is zero [1]. Several recent studies have focused on structures where such conventional $s$-wave superconductors are coupled to systems with an unusual configuration of electronic spin and momentum at the Fermi surface. Under these conditions, the nature of the paired state can be modified and the system may even undergo a topological phase transition [2, 3]. Here we present measurements and theoretical calculations of several HgTe quantum wells coupled to either aluminum or niobium superconductors and subject to a magnetic field in the plane of the quantum well. By studying the oscillatory response of Josephson interference to the magnitude of the in-plane magnetic field, we find that the induced pairing within the quantum well is spatially varying. Cooper pairs acquire a tunable momentum that grows with magnetic field strength, directly reflecting the response of the spin-dependent Fermi surfaces to the in-plane magnetic field. In addition, in the regime of high electron density, nodes in the induced superconductivity evolve with the electron density in agreement with our model based on the Hamiltonian of Bernevig, Hughes, and Zhang [4]. This agreement allows us to quantitatively extract the value of $\tilde{g}/v_{F}$, where $\tilde{g}$ is the effective g-factor and $v_{F}$ is the Fermi velocity. However, at low density our measurements do not agree with our model in detail. Our new understanding of the interplay between spin physics and superconductivity introduces a way to spatially engineer the order parameter, as well as a general framework within which to investigate electronic spin texture at the Fermi surface of materials.


title: Investigating dark matter substructure with pulsar timing: II. Improved limits on small-scale cosmology

abstract: Ultracompact Minihalos (UCMHs) have been proposed as a type of dark matter sub-structure seeded by large-amplitude primordial perturbations and topological defects. UCMHs are expected to survive to the present era, allowing constraints to be placed on their cosmic abundance using observations within our own Galaxy. Constraints on their number density can be linked to conditions in the early universe that impact structure formation, such as increased primordial power on small scales, generic weak non-Gaussianity, and the presence of cosmic strings. We use new constraints on the abundance of UCMHs from pulsar timing to place generalised limits on the parameters of each of these cosmological scenarios. At some scales, the limits are the strongest to date, exceeding those from dark matter annihilation. Our new limits have the added advantage of being independent of the particle nature of dark matter, as they are based only on gravitational effects.


title: Platonic solids back in the sky: Icosahedral inflation

abstract: We generalize the model of solid inflation to an anisotropic cosmic solid. Barring fine tunings, the observed isotropy of the cosmological background and of the scalar two-point function isolate the icosahedral group as the only possible symmetry group of such a solid. In such a case, higher-point correlation functions---starting with the three-point one---are naturally maximally anisotropic, which makes the standard detection strategies highly inefficient and calls for a dedicated analysis of CMB data. The tensor two-point function can also be highly anisotropic, but only in the presence of sizable higher-derivative couplings.


title: On spherically symmetric solutions of the Einstein-Euler-de Sitter equations

abstract: We construct spherically symmetric solutions to the Einstein-Euler equations, which contains a positive cosmological constant, say, the Einstein-Euler-de Sitter equations. We assume a realistic barotropic equation of state. Equilibria of the spherically symmetric Einstein-Euler-de Sitter equations are given by the Tolman-Oppenheimer-Volkoff-de Sitter equation. We can construct solutions near time periodic linearized solutions around the equilibrium. The Cauchy problem around the equilibrium can be solved. This work can be considered as a trial of the generalization of the previous work on the problem without cosmological constants.


title: Making Existential-Unforgeable Signatures Strongly Unforgeable in the Quantum Random-Oracle Model

abstract: Strongly unforgeable signature schemes provide a more stringent security guarantee than the standard existential unforgeability. It requires that not only forging a signature on a new message is hard, it is infeasible as well to produce a new signature on a message for which the adversary has seen valid signatures before. Strongly unforgeable signatures are useful both in practice and as a building block in many cryptographic constructions. This work investigates a generic transformation that compiles any existential-unforgeable scheme into a strongly unforgeable one, which was proposed by Teranishi et al. and was proven in the classical random-oracle model. Our main contribution is showing that the transformation also works against quantum adversaries in the quantum random-oracle model. We develop proof techniques such as adaptively programming a quantum random-oracle in a new setting, which could be of independent interest. Applying the transformation to an existential-unforgeable signature scheme due to Cash et al., which can be shown to be quantum-secure assuming certain lattice problems are hard for quantum computers, we get an efficient quantum-secure strongly unforgeable signature scheme in the quantum random-oracle model.


title: Low-Dimensional Galerkin Approximations of Nonlinear Delay Differential Equations

abstract: This article revisits the approximation problem of systems of nonlinear delay differential equations (DDEs) by a set of ordinary differential equations (ODEs). We work in Hilbert spaces endowed with a natural inner product including a point mass, and introduce polynomials orthogonal with respect to such an inner product that live in the domain of the linear operator associated with the underlying DDE. These polynomials are then used to design a general Galerkin scheme for which we derive rigorous convergence results and show that it can be numerically implemented via simple analytic formulas. The scheme so obtained is applied to three nonlinear DDEs, two autonomous and one forced: (i) a simple DDE with distributed delays whose solutions recall Brownian motion; (ii) a DDE with a discrete delay that exhibits bimodal and chaotic dynamics; and (iii) a periodically forced DDE with two discrete delays arising in climate dynamics. In all three cases, the Galerkin scheme introduced in this article provides a good approximation by low-dimensional ODE systems of the DDE's strange attractor, as well as of the statistical features that characterize its nonlinear dynamics.


title: All-loop anomalous dimensions in integrable $\lambda$-deformed $\sigma$-models

abstract: We calculate the all-loop anomalous dimensions of current operators in $\lambda$-deformed $\sigma$-models. For the isotropic integrable deformation and for a semi-simple group $G$ we compute the anomalous dimensions using two different methods. In the first we use the all-loop effective action and in the second we employ perturbation theory along with the Callan-Symanzik equation and in conjunction with a duality-type symmetry shared by these models. Furthermore, using CFT techniques we compute the all-loop anomalous dimensions of bilinear currents for the isotropic deformation case and a general $G$. Finally we work out the cases of anisotropic $SU(2)$ and the two coupling, corresponding to the symmetric coset $G/H$ and a subgroup $H$, splitting of a group $G$.


title: Symmetry-protected topologically ordered states for universal quantum computation

abstract: Measurement-based quantum computation is a model for quantum information processing utilizing local measurements on suitably entangled resource states for the implementation of quantum gates. A complete characterization for universal resource states is still missing. It has been shown that symmetry-protected topological order in one dimension can be exploited for the protection of certain quantum gates in measurement-based quantum computation. In this paper we show that the two-dimensional plaquette states on arbitrary lattices exhibit nontrivial symmetry-protected topological order in terms of symmetry fractionalization and that they are universal resource states for quantum computation. Our results of the nontrivial symmetry-protected topological order on arbitrary 2D lattices are based on an extension of the recent construction by Chen, Gu, Liu and Wen [Phys. Rev. B \textbf{87}, 155114 (2013)] on the square lattice.


title: Brownian motion in time-dependent logarithmic potential: Exact results for dynamics and first-passage properties

abstract: The paper addresses Brownian motion in the logarithmic potential with time-dependent strength, $U(x,t) = g(t) \log(x)$, subject to the absorbing boundary at the origin of coordinates. Such model can represent kinetics of diffusion-controlled reactions of charged molecules or escape of Brownian particles over a time-dependent entropic barrier at the end of a biological pore. We present a simple asymptotic theory which yields the long-time behavior of both the survival probability (first-passage properties) and the moments of the particle position (dynamics). The asymptotic survival probability, i.e., the probability that the particle will not hit the origin before a given time, is a functional of the potential strength. As such it exhibits a rather varied behavior for different functions $g(t)$. The latter can be grouped into three classes according to the regime of the asymptotic decay of the survival probability. We distinguish 1. the regular (power-law decay), 2. the marginal (power law times a slow function of time), and 3. the regime of enhanced absorption (decay faster than the power law, e.g., exponential). Results of the asymptotic theory show good agreement with numerical simulations.


title: Entanglement structure of the two-channel Kondo model

abstract: Two electronic channels competing to screen a single impurity spin, as in the two-channel Kondo model, are expected to generate a ground state with nontrivial entanglement structure. We exploit a spin-chain representation of the two-channel Kondo model to probe the ground-state block entropy, negativity, tangle, and Schmidt gap, using a density matrix renormalization group approach. In the presence of symmetric coupling to the two channels we confirm field-theory predictions for the boundary entropy difference, $\ln (g_{UV}/g_{IR})=\ln(2)/2$, between the ultraviolet and infrared limits and the leading $\ln(x)/x$ impurity correction to the block entropy. The impurity entanglement, $S_{\text{imp}}$, is shown to scale with the characteristic length $\xi_{2CK}$. We show that both the Schmidt gap and the entanglement of the impurity with one of the channels $-$ as measured by the negativity$-$ faithfully serve as order parameters for the impurity quantum phase transition appearing as a function of channel asymmetry, allowing for explicit determination of critical exponents, $\nu\!\approx\! 2$ and $\beta \!\approx\! 0.2$. Remarkably, we find the emergence of tripartite entanglement only in the vicinity of the critical channel-symmetric point.


title: Peculiar Velocity Constraints from Five-Band SZ Effect Measurements Towards RX J1347.5-1145 with MUSIC and Bolocam from the CSO

abstract: We present Sunyaev-Zel'dovich (SZ) effect measurements from wide-field images towards the galaxy cluster RX J1347.5-1145 obtained from the Caltech Submillimeter Observatory with the Multiwavelength Submillimeter Inductance Camera (MUSIC) at 147, 213, 281, and 337 GHz and with Bolocam at 140 GHz. As part of our analysis, we have used higher frequency data from Herschel-SPIRE and previously published lower frequency radio data to subtract the signal from the brightest dusty star-forming galaxies behind RX J1347.5-1145 and from the AGN in RX J1347.5-1145's BCG. Using these five-band SZ effect images, combined with X-ray spectroscopic measurements of the temperature of the intra-cluster medium (ICM) from Chandra, we constrain the ICM optical depth to be $\tau_e = 7.33^{+0.96}_{-0.97} \times 10^{-3}$ and the ICM line of sight peculiar velocity to be $v_{pec} = -1040^{+870}_{-840}$ km s$^{-1}$. The errors for both quantities are limited by measurement noise rather than calibration uncertainties or astrophysical contamination, and significant improvements are possible with deeper observations. Our best-fit velocity is in good agreement with one previously published SZ effect analysis and in mild tension with the other, although some or all of that tension may be because that measurement samples a much smaller cluster volume. Furthermore, our best-fit optical depth implies a gas mass slightly larger than the Chandra-derived value, implying the cluster is elongated along the line of sight.


title: Protostellar spin-down: a planetary lift?

abstract: When they first appear in the HR diagram, young stars rotate at a mere 10\% of their break-up velocity. They must have lost most of the angular momentum initially contained in the parental cloud, the so-called angular momentum problem. We investigate here a new mechanism by which large amounts of angular momentum might be shed from young stellar systems, thus yielding slowly rotating young stars. Assuming that planets promptly form in circumstellar disks and rapidly migrate close to the central star, we investigate how the tidal and magnetic interactions between the protostar, its close-in planet(s), and the inner circumstellar disk can efficiently remove angular momentum from the central object. We find that neither the tidal torque nor the variety of magnetic torques acting between the star and the embedded planet are able to counteract the spin up torques due to accretion and contraction. Indeed, the former are orders of magnitude weaker than the latter beyond the corotation radius and are thus unable to prevent the young star from spinning up. We conclude that star-planet interaction in the early phases of stellar evolution does not appear as a viable alternative to magnetic star-disk coupling to understand the origin of the low angular momentum content of young stars.


title: Stochastic differential games with inside information

abstract: We study stochastic differential games of jump diffusions, where the players have access to inside information. Our approach is based on anticipative stochastic calculus, white noise, Hida-Malliavin calculus, forward integrals and the Donsker delta functional. We obtain a characterization of Nash equilibria of such games in terms of the corresponding Hamiltonians. This is used to study applications to insider games in finance, specifically optimal insider consumption and optimal insider portfolio under model uncertainty.


title: The Capacity of Mixed and One-Sided Gaussian Interference Channels

abstract: This paper adds to the understanding of the capacity region of the Gaussian interference channel. To this end, the capacity region of the one-sided Gaussian interference channel is first fully characterized. This is accomplished by introducing a new representation of the Han-Kobayashi region and providing a new outer bound on the capacity region of this channel which is tight both in the weak and strong interference regimes. In light of this capacity result, the capacity region of the degraded Gaussian interference channel is established immediately. Next, by combining the capacity regions of the one-sided interference channels in the weak and strong interference regimes, new outer bounds on the capacity region of the interference channel are introduced, in various interference regimes. It is then proved that the outer bound corresponding to the mixed interference regime, in which one of the receivers is subject to strong interference while the other one suffers from weak interference, is tight in a broad range of this regime. The new capacity results, on the whole, confirm the optimality of decoding part of the interference and treating the rest as noise. The optimum amount to be decoded varies from 0 to 100% of the interfering signal, depending on the relative importance of the users' rates (i.e., the ratio of weights in the weighted sum-rate), their transmission powers, and the gain of the weak interference link. Optimal values are found explicitly, based on the above parameters.


title: Sensor Selection by Linear Programming

abstract: We learn sensor trees from training data to minimize sensor acquisition costs during test time. Our system adaptively selects sensors at each stage if necessary to make a confident classification. We pose the problem as empirical risk minimization over the choice of trees and node decision rules. We decompose the problem, which is known to be intractable, into combinatorial (tree structures) and continuous parts (node decision rules) and propose to solve them separately. Using training data we greedily solve for the combinatorial tree structures and for the continuous part, which is a non-convex multilinear objective function, we derive convex surrogate loss functions that are piecewise linear. The resulting problem can be cast as a linear program and has the advantage of guaranteed convergence, global optimality, repeatability and computational efficiency. We show that our proposed approach outperforms the state-of-art on a number of benchmark datasets.


title: Dynamics at the Boundary of Game Theory and Distributed Computing

abstract: We use ideas from distributed computing and game theory to study dynamic and decentralized environments in which computational nodes, or decision makers, interact strategically and with limited information. In such environments, which arise in many real-world settings, the participants act as both economic and computational entities. We exhibit a general non-convergence result for a broad class of dynamics in asynchronous settings. We consider implications of our result across a wide variety of interesting and timely applications: game dynamics, circuit design, social networks, Internet routing, and congestion control. We also study the computational and communication complexity of testing the convergence of asynchronous dynamics. Our work opens a new avenue for research at the intersection of distributed computing and game theory.


title: Practical Non-linear Energy Harvesting Model and Resource Allocation for SWIPT Systems

abstract: In this letter, we propose a practical non-linear energy harvesting model and design a resource allocation algorithm for simultaneous wireless information and power transfer (SWIPT) systems. The algorithm design is formulated as a non-convex optimization problem for the maximization of the total harvested power at energy harvesting receivers subject to minimum required signal-to-interference-plus-noise ratios (SINRs) at multiple information receivers. We transform the considered non-convex objective function from sum-of-ratios form into an equivalent objective function in subtractive form, which enables the derivation of an efficient iterative resource allocation algorithm. In each iteration, a rank-constrained semidefinite program (SDP) is solved optimally by SDP relaxation. Numerical results unveil a substantial performance gain that can be achieved if the resource allocation design is based on the proposed non-linear energy harvesting model instead of the traditional linear model.


title: Semismooth Newton Coordinate Descent Algorithm for Elastic-Net Penalized Huber Loss Regression and Quantile Regression

abstract: We propose an algorithm, semismooth Newton coordinate descent (SNCD), for the elastic-net penalized Huber loss regression and quantile regression in high dimensional settings. Unlike existing coordinate descent type algorithms, the SNCD updates each regression coefficient and its corresponding subgradient simultaneously in each iteration. It combines the strengths of the coordinate descent and the semismooth Newton algorithm, and effectively solves the computational challenges posed by dimensionality and nonsmoothness. We establish the convergence properties of the algorithm. In addition, we present an adaptive version of the "strong rule" for screening predictors to gain extra efficiency. Through numerical experiments, we demonstrate that the proposed algorithm is very efficient and scalable to ultra-high dimensions. We illustrate the application via a real data example.


title: Multiscale Structure in Eco-Evolutionary Dynamics

abstract: In a complex system, the individual components are neither so tightly coupled or correlated that they can all be treated as a single unit, nor so uncorrelated that they can be approximated as independent entities. Instead, patterns of interdependency lead to structure at multiple scales of organization. Evolution excels at producing such complex structures. In turn, the existence of these complex interrelationships within a biological system affects the evolutionary dynamics of that system. I present a mathematical formalism for multiscale structure, grounded in information theory, which makes these intuitions quantitative, and I show how dynamics defined in terms of population genetics or evolutionary game theory can lead to multiscale organization. For complex systems, "more is different," and I address this from several perspectives. Spatial host--consumer models demonstrate the importance of the structures which can arise due to dynamical pattern formation. Evolutionary game theory reveals the novel effects which can result from multiplayer games, nonlinear payoffs and ecological stochasticity. Replicator dynamics in an environment with mesoscale structure relates to generalized conditionalization rules in probability theory. The idea of natural selection "acting at multiple levels" has been mathematized in a variety of ways, not all of which are equivalent. We will face down the confusion, using the experience developed over the course of this thesis to clarify the situation.

categories: q-bio.PE cond-mat.stat-mech nlin.CG quant-ph


title: Hyperplane mass partitions via relative equivariant obstruction theory

abstract: The Gr\"unbaum-Hadwiger-Ramos hyperplane mass partition problem was introduced by Gr\"unbaum (1960) in a special case and in general form by Ramos (1996). It asks for the "admissible" triples $(d,j,k)$ such that for any $j$ masses in $\mathbb{R}^d$ there are $k$ hyperplanes that cut each of the masses into $2^k$ equal parts. Ramos' conjecture is that the Avis-Ramos necessary lower bound condition $dk\ge j(2^k-1)$ is also sufficient. We develop a "join scheme" for this problem, such that non-existence of an $G_k$-equivariant map between spheres $(S^d)^{*k} \rightarrow S(W_k\oplus U_k^{\oplus j})$ that extends a test map on the subspace of $(S^d)^{*k}$ where the hyperoctahedral group $G_k$ acts non-freely, implies that $(d,j,k)$ is admissible. For the sphere $(S^d)^{*k}$ we obtain a very efficient regular cell decomposition, whose cells get a combinatorial interpretation with respect to measures on a modified moment curve. This allows us to apply relative equivariant obstruction theory successfully, even in the case when the difference of dimensions of the spheres $(S^d)^{*k}$ and $S(W_k\oplus U_k^{\oplus j})$ is greater than one. The evaluation of obstruction classes leads to counting problems for concatenated Gray codes. Thus we give a rigorous, unified treatment of the previously announced cases of the Gr\"unbaum-Hadwiger-Ramos problem, as well as a number of new cases for Ramos' conjecture.


title: Local Galois representations of Swan conductor one

abstract: We construct the local Galois representations over the complex field whose Swan conductors are one by using etale cohomology of Artin-Schreier sheaves on affine lines over finite fields. Then, we study the Galois representations, and give an explicit description of the local Langlands correspondences for simple supercuspidal representations. We discuss also a more natural realization of the Galois representations in the etale cohomology of Artin-Schreier varieties.


title: Strong orientational coupling of block copolymer microdomains to smectic layering revealed by magnetic field alignment

abstract: We elucidate the roles of the isotropic-nematic (I-N) and nematic-smectic A (N-SmA) transitions in magnetic field directed self-assembly of a liquid crystalline block copolymer (BCP), using \textit{in situ} x-ray scattering. Cooling into the nematic from the disordered melt yields poorly ordered and weakly aligned BCP microdomains. Continued cooling into the SmA however results in an abrupt increase in BCP orientational order with microdomain alignment tightly coupled to the translational order parameter of the smectic layers. These results underscore the significance of the N-SmA transition in generating highly aligned states under magnetic fields in these hierarchically ordered materials.


title: Coarse-to-Fine Sequential Monte Carlo for Probabilistic Programs

abstract: Many practical techniques for probabilistic inference require a sequence of distributions that interpolate between a tractable distribution and an intractable distribution of interest. Usually, the sequences used are simple, e.g., based on geometric averages between distributions. When models are expressed as probabilistic programs, the models themselves are highly structured objects that can be used to derive annealing sequences that are more sensitive to domain structure. We propose an algorithm for transforming probabilistic programs to coarse-to-fine programs which have the same marginal distribution as the original programs, but generate the data at increasing levels of detail, from coarse to fine. We apply this algorithm to an Ising model, its depth-from-disparity variation, and a factorial hidden Markov model. We show preliminary evidence that the use of coarse-to-fine models can make existing generic inference algorithms more efficient.


title: Geometric Bijections Between Spanning Trees and Break Divisors

abstract: The Jacobian group ${\rm Jac}(G)$ of a finite graph $G$ is a group whose cardinality is the number of spanning trees of $G$. $G$ also has a tropical Jacobian which has the structure of a real torus; using the notion of break divisors, An et al. obtained a polyhedral decomposition of the tropical Jacobian where vertices and cells correspond to elements of ${\rm Jac}(G)$ and spanning trees of $G$, respectively. We give a combinatorial description of bijections coming from this geometric setting. This provides a new geometric method for constructing bijections in combinatorics. We introduce a special class of geometric bijections that we call edge ordering maps, which have good algorithmic properties. Finally, we study the connection between our geometric bijections and the class of bijections introduced by Bernardi; in particular we prove a conjecture of Baker that planar Bernardi bijections are "geometric". We also give sharpened versions of results by Baker and Wang on Bernardi torsors.


title: Quantum transport simulation of exciton condensate transport physics in a double layer graphene system

abstract: Spatially indirect electron-hole exciton condensates stabilized by interlayer Fock exchange interactions have been predicted in systems containing a pair of two-dimensional semiconductor or semimetal layers separated by a thin tunnel dielectric. The layer degree of freedom in these systems can be described as a pseudospin. Condensation is then analogous to ferromagnetism, and the interplay between collective and quasiparticle contributions to transport is analogous to phenomena that are heavily studied in spintronics. These phenomena are the basis for pseudospintronic device proposals based on possible low-voltage switching between high (nearly shorted) and low interlayer conductance states and on near perfect Coulomb drag-counterflow current along the layers. In this work, a quantum transport simulator incorporating a non-local Fock exchange interaction is presented, and used to model the essential transport physics in the bilayer graphene system. Finite size effects, Coulomb drag-counterflow current, critical interlayer currents beyond which interlayer DC conductance collapses at sub-thermal voltages, non-local coupling between interlayer critical currents in multiple lead devices, and an Andreev-like reflection process are illustrated.


title: A note on a global invertibility of locally lipschitz functions on $R^n$

abstract: We provide sufficient conditions for a locally lipschitz mapping to be invertible . We use classical local invertibility conditions together with the non-smooth critical point theory.


title: Huygens-Fresnel wavefront tracing in non-uniform media

abstract: We present preliminary results on a novel numerical method describing wave propagation in non-uniform media. Following Huygens-Fresnel' principle, we model the wavefront as an array of point sources that emit wavelets, which interfere. We then identify a set of new points where the electric field has equal phase. In fact, without losing generality, we find zeros of the electric field, by means of the bisection method. This obviously corresponds to a specific phase-advance, but is easily generalized, e.g. by phase-shifting all sources. The points found form the new wavefront. One of the advantages of the method is that it includes diffraction. Two examples provided are diffraction around an obstacle and the finite waist of a focused Gaussian beam. Refraction is also successfully modeled, both in slowly-varying media as well as in the presence of discontinuities. The calculations were performed in two dimensions, but can be easily extended to three dimensions. We also discuss the extension to anisotropic, birefringent, absorbing media.

categories: physics.comp-ph physics.geo-ph physics.optics physics.plasm-ph


title: Multi-particle long-range rapidity correlations from fluctuation of the fireball longitudinal shape

abstract: We calculate the genuine long-range multi-particle rapidity correlation functions, $C_{n}(y_1,...,y_n)$ for $n=3,4,5,6$, originating from fluctuations of the fireball longitudinal shape. In these correlation functions any contribution from the short-range two-particle correlations, and in general up to $(n-1)$-particle in $C_n$, is suppressed. The information about the fluctuating fireball shape in rapidity is encoded in the cumulants of coefficients of the orthogonal polynomial expansion of particle distributions in rapidity.


title: Metal-insulator Transition in VO2: a DFT+DMFT perspective

abstract: We present a theoretical investigation of the electronic structure of rutile (metallic) and M$_1$ and M$_2$ monoclinic (insulating) phases of VO$_2$ employing a fully self-consistent combination of density functional theory and embedded dynamical mean field theory calculations. We describe the electronic structure of the metallic and both insulating phases of VO$_2$, and propose a distinct mechanism for the gap opening. We show that Mott physics plays an essential role in all phases of VO$_2$: undimerized vanadium atoms undergo classical Mott transition through local moment formation (in the M$_2$ phase), while strong superexchange within V-dimers adds significant dynamic intersite correlations, which remove the singularity of self-energy for dimerized V-atoms. The resulting transition from rutile to dimerized M$_1$ phase is adiabatically connected to Peierls-like transition, but is better characterized as the Mott transition in the presence of strong intersite exchange. As a consequence of Mott physics, the gap in the dimerized M$_1$ phase is temperature dependent. The sole increase of electronic temperature collapses the gap, reminiscent of recent experiments.


title: A test of the nature of the Fe K Line in the neutron star low-mass X-ray binary Serpens X-1

abstract: Broad Fe K emission lines have been widely observed in the X-ray spectra of black hole systems, and in neutron star systems as well. The intrinsically narrow Fe K fluorescent line is generally believed to be part of the reflection spectrum originating in an illuminated accretion disk, and broadened by strong relativistic effects. However, the nature of the lines in neutron star LMXBs has been under debate. We therefore obtained the longest, high-resolution X-ray spectrum of a neutron star LMXB to date with a 300 ks Chandra HETGS observation of Serpens X-1. The observation was taken under the "continuous clocking" mode and thus free of photon pile-up effects. We carry out a systematic analysis and find that the blurred reflection model fits the Fe line of Serpens X-1 significantly better than a broad Gaussian component does, implying that the relativistic reflection scenario is much preferred. Chandra HETGS also provides highest spectral resolution view of the Fe K region and we find no strong evidence for additional narrow lines.


title: Dictionary Learning and Sparse Coding for Third-order Super-symmetric Tensors

abstract: Super-symmetric tensors - a higher-order extension of scatter matrices - are becoming increasingly popular in machine learning and computer vision for modelling data statistics, co-occurrences, or even as visual descriptors. However, the size of these tensors are exponential in the data dimensionality, which is a significant concern. In this paper, we study third-order super-symmetric tensor descriptors in the context of dictionary learning and sparse coding. Our goal is to approximate these tensors as sparse conic combinations of atoms from a learned dictionary, where each atom is a symmetric positive semi-definite matrix. Apart from the significant benefits to tensor compression that this framework provides, our experiments demonstrate that the sparse coefficients produced by the scheme lead to better aggregation of high-dimensional data, and showcases superior performance on two common computer vision tasks compared to the state-of-the-art.


title: Continuous control with deep reinforcement learning

abstract: We adapt the ideas underlying the success of Deep Q-Learning to the continuous action domain. We present an actor-critic, model-free algorithm based on the deterministic policy gradient that can operate over continuous action spaces. Using the same learning algorithm, network architecture and hyper-parameters, our algorithm robustly solves more than 20 simulated physics tasks, including classic problems such as cartpole swing-up, dexterous manipulation, legged locomotion and car driving. Our algorithm is able to find policies whose performance is competitive with those found by a planning algorithm with full access to the dynamics of the domain and its derivatives. We further demonstrate that for many of the tasks the algorithm can learn policies end-to-end: directly from raw pixel inputs.


title: On the Multidimensional Stable Marriage Problem

abstract: We provide a problem definition of the stable marriage problem for a general number of parties $p$ under a natural preference scheme in which each person has simple lists for the other parties. We extend the notion of stability in a natural way and present so called elemental and compound algorithms to generate matchings for a problem instance. We demonstrate the stability of matchings generated by both algorithms, as well as show that the former runs in $O(pn^2)$ time.


title: Spin-pumping into surface states of topological insulator {\alpha}-Sn, spin to charge conversion at room temperature

abstract: We present experimental results on the conversion of a spin current into a charge current by spin pumping into the Dirac cone with helical spin polarization of the elemental topological insulator (TI) {\alpha}-Sn[1-3]. By angle-resolved photoelectron spectroscopy (ARPES) we first confirm that the Dirac cone at the surface of {\alpha}-Sn (0 0 1) layers subsists after covering with Ag. Then we show that resonant spin pumping at room temperature from Fe through Ag into {\alpha}-Sn layers induces a lateral charge current that can be ascribed to the Inverse Edelstein Effect[4-5]. Our observation of an Inverse Edelstein Effect length[5-6] much longer than for Rashba interfaces[5-10] demonstrates the potential of the TI for conversion between spin and charge in spintronic devices. By comparing our results with data on the relaxation time of TI free surface states from time-resolved ARPES, we can anticipate the ultimate potential of TI for spin to charge conversion and the conditions to reach it.


title: Single-periodic-film optical bandpass filter

abstract: Resonant periodic surfaces and films enable new functionalities with wide applicability in practical optical systems. Their material sparsity, ease of fabrication, and minimal interface count provide environmental and thermal stability and robustness in applications. Here we report an experimental bandpass filter fashioned in a single patterned layer on a substrate. Its performance corresponds to bandpass filters requiring perhaps 30 traditional thin-film layers as shown by an example. We demonstrate an ultra-narrow, high-efficiency bandpass filter with extremely wide, flat, and low sidebands. This class of devices is designed with rigorous solutions of the Maxwell equations while engaging the physical principles of resonant waveguide gratings. The proposed technology is integration-friendly and opens doors for further development in various disciplines and spectral regions where thin-film solutions are traditionally applied.


title: De Bruijn entropy and string similarity

abstract: We introduce the notion of de Bruijn entropy of an Eulerian quiver and show how the corresponding relative entropy can be applied to practical string similarity problems. This approach explicitly links the combinatorial and information-theoretical properties of words and its performance is superior to edit distances in many respects and competitive in most others. The computational complexity of our current implementation is parametrically tunable between linear and cubic, and we outline how an optimized linear algebra subroutine can reduce the cubic complexity to approximately linear. Numerous examples are provided, including a realistic application to molecular phylogenetics.


title: Lattice QCD and Axion Cosmology

abstract: The Strong CP Problem can be resolved by introducing an additional global symmetry known as Peccei-Quinn symmetry. Once PQ symmetry is broken the associated particle, the QCD axion, is a plausible dark matter candidate. Calculating the cosmological energy density of the axion requires nonperturbative QCD input---the high-temperature topological susceptibility. I will show results from a pure-glue calculation and examine the implications for the axion mass and coupling.


title: Cosmological bounds of sterile neutrinos in a $SU(3)_C\otimes SU(3)_L\otimes SU(3)_R\otimes U(1)_N$ model as dark matter candidates

abstract: We study sterile neutrinos in an extension of the standard model, based on the gauge group $SU(3)_C\otimes SU(3)_L\otimes SU(3)_R\otimes U(1)_N$, and use this model to illustrate how to apply cosmological limits to thermalized particles that decouple while relativistic. These neutrinos, $N_{aL}$, can be dark matter candidates, with a keV mass range arising rather naturally in this model. We analyse the cosmological limits imposed by $N_{eff}$ and dark matter abundance on these neutrinos. Assuming that these neutrinos have roughly equal masses and are not CDM, we conclude that the $N_{eff}$ experimental value can be satisfied in some cases and the abundance constraint implies that these neutrinos are hot dark matter. With this information, we give upper bounds on the Yukawa coupling between the sterile neutrinos and a scalar field, the possible values of the VEV of this scalar field and lower bounds to the mass of one gauge boson of the model.


title: G-groups of Cohen-Macaulay Rings with $n$-Cluster Tilting Objects

abstract: Let $(R, \mathfrak{m}, k)$ denote a local Cohen-Macaulay ring such that the category of maximal Cohen-Macaulay $R$-modules $\textbf{mcm}\ R$ contains an $n$-cluster tilting object $L$. In this paper, we compute $G_1(R) := K_1(\textbf{mod}\ R)$ explicitly as a direct sum of a free group and a specified quotient of $\text{aut}_R(L)_{\text{ab}}$ when $R$ is a $k$-algebra and $k$ is algebraically closed (and $\text{char}(k)\neq 2$). Moreover, we give some explicit computations of $\text{aut}_R(L)_{\text{ab}}$ and $G_1(R)$ for certain hypersurface singularities.


title: Uniform dimension results for fractional Brownian motion

abstract: Kaufman's dimension doubling theorem states that for a planar Brownian motion $\{\mathbf{B}(t): t\in [0,1]\}$ we have $$\mathbb{P}(\dim \mathbf{B}(A)=2\dim A \textrm{ for all } A\subset [0,1])=1,$$ where $\dim$ may denote both Hausdorff dimension $\dim_H$ and packing dimension $\dim_P$. The main goal of the paper is to prove similar uniform dimension results in the one-dimensional case. Let $0<\alpha<1$ and let $\{B(t): t\in [0,1]\}$ be a fractional Brownian motion of Hurst index $\alpha$. For a deterministic set $D\subset [0,1]$ consider the following statements: $$(A) \quad \mathbb{P}(\dim_H B(A)=(1/\alpha) \dim_H A \textrm{ for all } A\subset D)=1,$$ $$(B) \quad \mathbb{P}(\dim_P B(A)=(1/\alpha) \dim_P A \textrm{ for all } A\subset D)=1, $$ $$(C) \quad \mathbb{P}(\dim_P B(A)\geq (1/\alpha) \dim_H A \textrm{ for all } A\subset D)=1.$$ We introduce a new concept of dimension, the modified Assouad dimension, denoted by $\dim_{MA}$. We prove that $\dim_{MA} D\leq \alpha$ implies (A), which enables us to reprove a restriction theorem of Angel, Balka, M\'ath\'e, and Peres. We show that if $D$ is self-similar then (A) is equivalent to $\dim_{MA} D\leq \alpha$. Furthermore, if $D$ is a set defined by digit restrictions then (A) holds iff $\dim_{MA} D\leq \alpha$ or $\dim_H D=0$. The characterization of (A) remains open in general. We prove that $\dim_{MA} D\leq \alpha$ implies (B) and they are equivalent provided that $D$ is analytic. We show that (C) is equivalent to $\dim_H D\leq \alpha$. This implies that if $\dim_H D\leq \alpha$ and $\Gamma_D=\{E\subset B(D): \dim_H E=\dim_P E\}$, then $$\mathbb{P}(\dim_H (B^{-1}(E)\cap D)=\alpha \dim_H E \textrm{ for all } E\in \Gamma_D)=1.$$ In particular, all level sets of $B|_{D}$ have Hausdorff dimension zero almost surely.


title: Astrophysical interpretation of small-scale neutrino angular correlation searches with IceCube

abstract: IceCube, a cubic-kilometer sized neutrino detector at the Geographic South Pole, has recently discovered a diffuse all-flavor flux of astrophysical neutrinos. However, the corresponding astrophysical sources have not yet been identified in current IceCube analyses. We present a method to interpret the results of a recently published angular correlation analysis in IceCube searching for spatial clustering of muon neutrino events in terms of astrophysical models (given by an arbitrary source count distribution). We exemplarily show the resulting limits on the parameters of a class of source count distributions motivated by Fermi-LAT observations of resolved blazars.


title: Social Learning with Coordination Motives

abstract: The theoretical study of social learning typically assumes that each agent's action affects only her own payoff. In this paper, I present a model in which agents' actions directly affect the payoffs of other agents. On a discrete time line, there is a community containing a random number of agents in each period. Before each agent needs to take an action, the community receives a private signal about the underlying state of the world and may observe some past actions in previous communities. An agent's payoff is higher if her action matches the state or if more agents take the same action as hers. I analyze two observation structures: exogenous observation and costly strategic observation. In both cases, coordination motives enhance social learning in the sense that agents take the correct action with significantly higher probability when the community size is greater than a threshold. In particular, this probability reaches one (asymptotic learning) with unbounded private beliefs and can be arbitrarily close to one with bounded private beliefs. I then discuss the issue of multiple equilibria and use risk dominance as a criterion for equilibrium selection. I find that in the selected equilibria, the community size has no effect on learning under exogenous observation, facilitates learning under endogenous observation and unbounded private beliefs, and either helps or hinders learning under endogenous observation and bounded private beliefs.


title: Constraining slope parameter of symmetry energy from nuclear structure

abstract: Four quantities deducible from nuclear structure experiments have been claimed to correlate to the slope parameter $L$ of the symmetry energy; the neutron skin thickness, the cross section of low-energy dipole (LED) mode, dipole polarizability $\alpha_D$, and $\alpha_D S_0$ (i.e. product of $\alpha_D$ and the symmetry energy $S_0$). By the calculations in the Hartree-Fock plus random-phase approximation with various effective interactions, we compare the correlations between $L$ and these four quantities. The correlation derived from different interactions and the correlation from a class of interactions that are identical in the symmetric matter as well as in $S_0$ are simultaneously examined. These two types of correlations may behave differently, as exemplified in the correlation of $\alpha_D$ to $L$. It is found that the neutron skin thickness and $\alpha_DS_0$ correlate well to $L$, and therefore are suitable for narrowing down the value of $L$ via experiments. The LED emergence and upgrowth makes the $\alpha_DS_0$-$L$ correlation strong, although these correlations are disarranged when neutron halo appears in the ground state.


title: Finite coupling corrections to holographic predictions for hot QCD

abstract: Finite 't Hooft coupling corrections to multiple physical observables in strongly coupled $N=4$ supersymmetric Yang-Mills plasma are examined, in an attempt to assess the stability of the expansion in inverse powers of the 't Hooft coupling $\lambda$. Observables considered include thermodynamic quantities, transport coefficients, and quasinormal mode frequencies. Although large $\lambda$ expansions for quasinormal mode frequencies are notably less well behaved than the expansions of other quantities, we find that a partial resummation of higher order corrections can significantly reduce the sensitivity of the results to the value of $\lambda$.


title: Sistem Informasi Geografis Ruang Terbuka Hijau Kawasan Perkotaan (RTHKP) Palembang

abstract: Geographic Information System (GIS) is a computer-based system used to store and manipulate geographic information. In this study, GIS is used to obtain information about "open green space of urban areas" (RTHKP). Office of street lighting and Cemetery Palembang is one agency that regulates the green open spaces but not using media such as websites that support the community to get information about the open green space of urban areas in the city of Palembang, so it was apparent from the author will build a system RTKHP with geographic information system development methodology Rational Unified Process (RUP), the programming language PHP and uses a MySQL database. With the GIS open green space of urban areas that will be made later can help facilitate the public to get information related to RTHKP and assist the Department of street lighting and landscaping burial in managing and providing related information RTHKP in Palembang so that delivery of information to be more effective.


title: Cavity mode identification for coherent terahertz emission from a nearly square stack of intrinsic Josephson junctions

abstract: Stacks of intrinsic Josephson junctions in Bi$_2$Sr$_2$CaCu$_2$O$_{8+\delta }$ emit intense and coherent terahertz waves determined by the internal electromagnetic cavity resonance. We identify the excited transverse magnetic mode by observing the broadly tunable emissions from an identical nearly square stack and simulating the scattering spectrum. We employ a wedge-type interferometer to measure emitted integral power independently of the far-field pattern. The simulation results are in good agreement with observed resonance behaviors as a function of frequency.


title: Three-Dimensional Stateful Material Implication Logic

abstract: Monolithic three-dimensional integration of memory and logic circuits could dramatically improve performance and energy efficiency of computing systems. Some conventional and emerging memories are suitable for vertical integration, including highly scalable metal-oxide resistive switching devices (memristors), yet integration of logic circuits proves to be much more challenging. Here we demonstrate memory and logic functionality in a monolithic three-dimensional circuit by adapting recently proposed memristor-based stateful material implication logic. Though such logic has been already implemented with a variety of memory devices, prohibitively large device variability in the most prospective memristor-based circuits has limited experimental demonstrations to simple gates and just a few cycles of operations. By developing a low-temperature, low-variability fabrication process, and modifying the original circuit to increase its robustness to device imperfections, we experimentally show, for the first time, reliable multi-cycle multi-gate material implication logic operation within a three-dimensional stack of monolithically integrated memristors. The direct data manipulation in three dimensions enables extremely compact and high-throughput logic-in-memory computing and, remarkably, presents a viable solution for the Feynman grand challenge of implementing an 8-bit adder at the nanoscale.


title: Electronic and magnetic transitions in perovskite SrRu1-xIrxO3 thin films

abstract: We have investigated the electronic and magnetic properties of perovskite SrRu1-xIrxO3 thin films grown by pulsed laser deposition on atomically-flat (001) SrTiO3 substrates. SrRuO3 has the properties of a ferromagnetic metal with Curie temperature 150 K. Substituting Ir for Ru in SrRuO3, films showed fully-metallic behavior and ferromagnetic ordering, although resistivity increased and the ferromagnetic TC decreased. Films with x = 0.25 underwent the metal-to-insulator transition at 75 K, and spin-glass-like ordering at 45 K with the elimination of ferromagnetic long-range ordering caused by the electron localization at the substitution sites. In ferromagnetic films, resistivity increased near-linearly with T, but in paramagnetic film (x = 0.25) resistivity increased as T3/2. Moreover, observed spin-glass-like (TSG) ordering with the negative magnetoresistance in film with x = 0.25; validates the hypothesis that (Anderson) localization favors glassy ordering at amply disorder limit. These observations provide a promising approach for future applications and of fundamental interest in 4d and 5d mixed perovskites.


title: Isotropic polarization of compressible flows

abstract: The helical absolute equilibrium of a compressible adiabatic flow presents not only the polarization between the two purely helical modes of opposite chiralities but also that between the vortical and acoustic modes, deviating from the equipartition predicted by {\sc Kraichnan, R. H.} [1955 The Journal of the Acoustical Society of America {\bf 27}, 438--441.]. Due to the existence of the acoustic mode, even if all Fourier modes of one chiral sector in the sharpened Helmholtz decomposition [{\sc Moses, H. E.} 1971 SIAM ~(Soc. Ind. Appl. Math.) J. Appl. Math. {\bf 21}, 114--130] are thoroughly truncated, leaving the system with positive definite helicity and energy, negative temperature and the corresponding large-scale concentration of vortical modes are not allowed, unlike the incompressible case.


title: Gap Distributions in Circle Packings

abstract: We determine the distribution of nearest neighbour spacings between the tangencies to a fixed circle in a class of circle packings generated by reflections. We use a combination of geometric tools and the theory of automorphic forms.


title: Metal insulator transition and magnetotransport anomalies in perovskite SrIr0.5Ru0.5O3 thin films

abstract: We investigated the nature of transport and magnetic properties in SrIr0.5Ru0.5O3, (SIRO) which has characteristics intermediate between a correlated non-Fermi liquid state and an itinerant Fermi liquid state, by growing perovskite thin films on various substrates (SrTiO3 (001), (LaAlO3)0.3(Sr2TaAlO6)0.7 (001) and LaAlO3 (001)). We observed systematic variation of underlying substrate dependent metal-to-insulator transition temperatures at 80 K on SrTiO3, 90 K on (LaAlO3)0.3(Sr2TaAlO6)0.7 and 100 K on LaAlO3) in resistivity. Resistivity in the metallic region follows a T3/2 power law; whereas insulating nature at low T is due to the localization effect. Magnetoresistance (MR) measurement of SIRO on SrTiO3 (001) shows negative MR upto 25 K and positive MR above 25 K, with negative MR proportional to B1/2 and positive MR proportional to B2; consistent with the localized-to-normal transport crossover dynamics. Furthermore, observed spin glass like behavior of SIRO on SrTiO3 (001) in the localized regime, validates the hypothesis that (Anderson) localization favors glassy ordering. These remarkable features provide a promising approach for future applications and of fundamental interest in oxide thin films.


title: Observing and Simulating Galaxy Evolution - from X-ray to Millimeter Wavelengths

abstract: What main mechanisms set the star formation rate (SFR) of galaxies? This PhD thesis is a quest into the influences of gas and active galactic nuclei (AGNs) on the SFR, with particular focus on massive galaxies at z~2. First, a new code if presented; SImulator of GAlaxy Millimeter/submillimeter Emission (S\'IGAME) which can predict the atomic/molecular line emission in the far-infrared regime from galaxies. By post-processing the outputs of cosmological simulations of galaxy formation with sub-grid physics recipes, S\'IGAME divides the interstellar medium (ISM) into different gas phases and derives density and temperature structure, employing locally resolved radiation and pressure fields. This method is used to predict the strengths of CO rotational transitions as well as the [CII] emission line in normal star-forming galaxies at z~2. A CO ladder close to that of our own Galaxy is found, but with CO-H2 conversion factors about 3 times smaller. For a set of 7 simulated galaxies at z~2, the relation between [CII] luminosity and SFR displays a slope significantly steeper than that found for observed galaxies at z<0.5. A corresponding relation on kpc-scales is established for the first time theoretically. Finally, a separate study uncovers the number fraction of AGNs among massive galaxies at z~2, by analyzing CHANDRA CDF-S X-ray data. It is found that about every fifth massive galaxy, quenched or not, contains an X-ray luminous AGN. Interestingly, an even higher fraction of low-luminosity AGNs emerges in the X-ray undetected galaxies when performing a stacking analysis, and preferentially in the quenched ones, lending support to the importance of AGNs in impeding star formation during galaxy evolution.


title: On computability and disintegration

abstract: We show that the disintegration operator on a complete separable metric space along a projection map, restricted to measures for which there is a unique continuous disintegration, is strongly Weihrauch equivalent to the limit operator Lim. When a measure does not have a unique continuous disintegration, we may still obtain a disintegration when some basis of continuity sets has the Vitali covering property with respect to the measure; the disintegration, however, may depend on the choice of sets. We show that, when the basis is computable, the resulting disintegration is strongly Weihrauch reducible to Lim, and further exhibit a single distribution realizing this upper bound.


title: Topological superradiant state in Fermi gases with cavity induced spin-orbit coupling

abstract: Coherently driven atomic gases inside optical cavities hold great promise for generating rich dynamics and exotic states of matter. It was shown recently that an exotic topological superradiant state exists in a two-component degenerate Fermi gas coupled to a cavity, where local order parameters coexist with global topological invariants. In this work, we characterize in detail various properties of this exotic state, focusing on the feedback interactions between the atoms and the cavity field. In particular, we demonstrate that cavity-induced interband coupling plays a crucial role in inducing the topological phase transition between the conventional and topological superradiant states. We analyze the interesting signatures in the cavity field left by the closing and reopening of the atomic bulk gap across the topological phase boundary and discuss the robustness of the topological superradiant state by investigating the steady-state phase diagram under various conditions. Furthermore, we consider the interaction effect and discuss the interplay between the pairing order in atomic ensembles and the superradiance of the cavity mode. Our work provides many valuable insights into the unique cavity--atom hybrid system under study and is helpful for future experimental exploration of the topological superradiant state.


title: Sharp weighted Korn and Korn-like inequalities and an application to washers

abstract: In this paper we prove asymptotically sharp weighted "first-and-a-half" $2D$ Korn and Korn-like inequalities with a singular weight occurring from Cartesian to cylindrical change of variables. We prove some Hardy and the so-called "harmonic function gradient separation" inequalities with the same singular weight. Then we apply the obtained $2D$ inequalities to prove similar inequalities for washers with thickness $h$ subject to vanishing Dirichlet boundary conditions on the inner and outer thin faces of the washer. A washer can be regarded in two ways: As the limit case of a conical shell when the slope goes to zero, or as a very short hollow cylinder. While the optimal Korn constant in the first Korn inequality for a conical shell with thickness $h$ and with a positive slope scales like $h^{1.5}$ e.g. [10], the optimal Korn constant in the first Korn inequality for a washer scales like $h^2$ and depends only on the outer radius of the washer as we show in the present work. The Korn constant in the first and a half inequality scales like $h$ and depends only on $h.$ The optimal Korn constant is realized by a Kirchoff Ansatz. This results can be applied to calculate the critical buckling load of a washer under in plane loads, e.g. [1].


title: Merge Frame Design for Video Stream Switching using Piecewise Constant Functions

abstract: The ability to efficiently switch from one pre-encoded video stream to another (e.g., for bitrate adaptation or view switching) is important for many interactive streaming applications. Recently, stream-switching mechanisms based on distributed source coding (DSC) have been proposed. In order to reduce the overall transmission rate, these approaches provide a "merge" mechanism, where information is sent to the decoder such that the exact same frame can be reconstructed given that any one of a known set of side information (SI) frames is available at the decoder (e.g., each SI frame may correspond to a different stream from which we are switching). However, the use of bit-plane coding and channel coding in many DSC approaches leads to complex coding and decoding. In this paper, we propose an alternative approach for merging multiple SI frames, using a piecewise constant (PWC) function as the merge operator. In our approach, for each block to be reconstructed, a series of parameters of these PWC merge functions are transmitted in order to guarantee identical reconstruction given the known side information blocks. We consider two different scenarios. In the first case, a target frame is first given, and then merge parameters are chosen so that this frame can be reconstructed exactly at the decoder. In contrast, in the second scenario, the reconstructed frame and merge parameters are jointly optimized to meet a rate-distortion criteria. Experiments show that for both scenarios, our proposed merge techniques can outperform both a recent approach based on DSC and the SP-frame approach in H.264, in terms of compression efficiency and decoder complexity.


title: Criteria for the existence of equivariant fibrations on algebraic surfaces and hyperk\"ahler manifolds and equality of automorphisms up to powers - a dynamical viewpoint

abstract: Let $X$ be a projective surface or a hyperk\"ahler manifold and $G \le Aut(X)$. We give a necessary and sufficient condition for the existence of a non-trivial $G$-equivariant fibration on $X$. We also show that two automorphisms $g_i$ of positive entropy and polarized by the same nef divisor are the same up to powers, provided that either $X$ is not an abelian surface or the $g_i$ share at least one common periodic point. The surface case is known among experts, but we treat this case together with the hyperk\"ahler case using the same language of hyperbolic lattice and following Ratcliffe or Oguiso. This arXiv version contains proofs omitted in the print version.


title: Toward Homological Structure Theory of Semimodules: On Semirings All of Whose Cyclic Semimodules Are Projective

abstract: In this paper, we introduce homological structure theory of semirings and CP-semirings---semirings all of whose cyclic semimodules are projective. We completely describe semisimple, Gelfand, subtractive, and anti-bounded, CP-semirings. We give complete characterizations of congruence-simple subtractive and congruence-simple anti-bounded CP-semirings, which solve two earlier open problems for these classes of semirings. We also study in detail the properties of semimodules over Boolean algebras whose endomorphism semirings are CP-semirings; and, as a consequence of this result, we give a complete description of ideal-simple CP-semirings.


title: Weakly Nonlinear Analysis of Vortex Formation in a Dissipative Variant of the Gross-Pitaevskii Equation

abstract: For a dissipative variant of the two-dimensional Gross-Pitaevskii equation with a parabolic trap under rotation, we study a symmetry breaking process that leads to the formation of vortices. The first symmetry breaking leads to the formation of many small vortices distributed uniformly near the Thomas-Fermi radius. The instability occurs as a result of a linear instability of a vortex-free steady state as the rotation is increased above a critical threshold. We focus on the second subsequent symmetry breaking, which occurs in the weakly nonlinear regime. At slightly above threshold, we derive a one-dimensional amplitude equation that describes the slow evolution of the envelope of the initial instability. We show that the mechanism responsible for initiating vortex formation is a modulational instability of the amplitude equation. We also illustrate the role of dissipation in the symmetry breaking process. All analyses are confirmed by detailed numerical computations.


title: Complex spherical codes with three inner products

abstract: Let $X$ be a finite set in a complex sphere of $d$ dimension. Let $D(X)$ be the set of usual inner products of two distinct vectors in $X$. A set $X$ is called a complex spherical $s$-code if the cardinality of $D(X)$ is $s$ and $D(X)$ contains an imaginary number. We would like to classify the largest possible $s$-codes for given dimension $d$. In this paper, we consider the problem for the case $s=3$. Roy and Suda (2014) gave a certain upper bound for the cardinalities of $3$-codes. A $3$-code $X$ is said to be tight if $X$ attains the bound. We show that there exists no tight $3$-code except for dimensions $1$, $2$. Moreover we make an algorithm to classify the largest $3$-codes by considering representations of oriented graphs. By this algorithm, the largest $3$-codes are classified for dimensions $1$, $2$, $3$ with a current computer.


title: Full-Duplex Transceiver for Future Cellular Network: A Smart Antenna Approach

abstract: In this paper, we propose a transceiver architecture for full-duplex (FD) eNodeB (eNB) and FD user equipment (UE) transceiver. For FD communication,.i.e., simultaneous in-band uplink and downlink operation, same subcarriers can be allocated to UE in both uplink and downlink. Hence, contrary to traditional LTE, we propose using single-carrier frequency division multiple accesses (SC-FDMA) for downlink along with the conventional method of using it for uplink. The use of multiple antennas at eNB and singular value decomposition (SVD) in the downlink allows multiple users (MU) to operate on the same set of ubcarriers. In the uplink, successive interference cancellation with optimal ordering (SSIC-OO) algorithm is used to decouple signals of UEs operating in the same set of subcarriers. A smart antenna approach is adopted which prevents interference, in downlink of a UE, from uplink signals of other UEs sharing same subcarriers. The approach includes using multiple antennas at UEs to form directed beams towards eNode and nulls towards other UEs. The proposed architecture results in significant improvement of the overall spectrum efficiency per cell of the cellular network.


title: Real-time Sign Language Fingerspelling Recognition using Convolutional Neural Networks from Depth map

abstract: Sign language recognition is important for natural and convenient communication between deaf community and hearing majority. We take the highly efficient initial step of automatic fingerspelling recognition system using convolutional neural networks (CNNs) from depth maps. In this work, we consider relatively larger number of classes compared with the previous literature. We train CNNs for the classification of 31 alphabets and numbers using a subset of collected depth data from multiple subjects. While using different learning configurations, such as hyper-parameter selection with and without validation, we achieve 99.99% accuracy for observed signers and 83.58% to 85.49% accuracy for new signers. The result shows that accuracy improves as we include more data from different subjects during training. The processing time is 3 ms for the prediction of a single image. To the best of our knowledge, the system achieves the highest accuracy and speed. The trained model and dataset is available on our repository.


title: The robustness of multiplex networks under layer node-based attack

abstract: From transportation networks to complex infrastructures, and to social and economic networks, a large variety of systems can be described in terms of multiplex networks formed by a set of nodes interacting through different network layers. Network robustness, as one of the most successful application areas of complex networks, has also attracted great interest in both theoretical and empirical researches. However, the vast majority of existing researches mainly focus on the robustness of single-layer networks an interdependent networks, how multiplex networks respond to potential attack is still short of further exploration. Here we study the robustness of multiplex networks under two attack strategies: layer node-based random attack and layer node-based targeted attack. A theoretical analysis framework is proposed to calculate the critical threshold and the size of giant component of multiplex networks when a fraction of layer nodes are removed randomly or intentionally. Via numerous simulations, it is unveiled that the theoretical method can accurately predict the threshold and the size of giant component, irrespective of attack strategies. Moreover, we also compare the robustness of multiplex networks under multiplex node-based attack and layer node-based attack, and find that layer node-based attack makes multiplex networks more vulnerable, regardless of average degree and underlying topology. Our finding may shed new light on the protection of multiplex networks.


title: Lectures on the fourth order Q curvature equation

abstract: We discuss some open problems and recent progress related to the 4th order Paneitz operator and Q curvature in dimensions other than 4.


title: Single-pulse dynamics and flow rates of inertial micropumps

abstract: Bubble-driven inertial pumps are a novel method of moving liquids through microchannels. We combine high-speed imaging, computational fluid dynamics (CFD) simulations and an effective one-dimensional model to study the fundamentals of inertial pumping. For the first time, single-pulse transient flow through U-shaped microchannels is imaged over the entire pump cycle with 4-microsecond temporal resolution. Observations confirm the fundamental N-shape flow profile predicted earlier by theory and simulations. Experimental flow rates are used to calibrate the CFD and one-dimensional models to extract an effective bubble strength. Then the frequency dependence of inertial pumping is studied both experimentally and numerically. The pump efficiency is found to gradually decrease once the successive pulses start to overlap in time.


title: Compatible Value Gradients for Reinforcement Learning of Continuous Deep Policies

abstract: This paper proposes GProp, a deep reinforcement learning algorithm for continuous policies with compatible function approximation. The algorithm is based on two innovations. Firstly, we present a temporal-difference based method for learning the gradient of the value-function. Secondly, we present the deviator-actor-critic (DAC) model, which comprises three neural networks that estimate the value function, its gradient, and determine the actor's policy respectively. We evaluate GProp on two challenging tasks: a contextual bandit problem constructed from nonparametric regression datasets that is designed to probe the ability of reinforcement learning algorithms to accurately estimate gradients; and the octopus arm, a challenging reinforcement learning benchmark. GProp is competitive with fully supervised methods on the bandit task and achieves the best performance to date on the octopus arm.


title: Tunneling diodes under environmental effects

abstract: We examine the robustness of single-molecule tunneling diodes to thermal-environmental effects. The diode comprises three fragments: two different conjugated chemical groups at the boundaries, and a saturated moiety in between, breaking conjugation. In this setup, molecular electronic levels localized on the conjugated groups independently shift with applied bias. While in the forward polarity a resonance condition is met, enhancing conductance, in the reversed direction molecular electronic states shift away from each other, resulting in small tunneling currents. In the absence of interactions with a thermal environment (consisting e.g. internal vibrations, solvent), rectification ratios reach three orders of magnitude. We introduce decoherence and inelastic-dissipative effects phenomenologically, by using the "voltage probe" approach. We find that when $\gamma_d \lesssim v$, with $\gamma_d$ the interaction energy of electrons with the environment and $v$ the tunneling energy across the saturated link, the diode is still highly effective, though rectification ratios are cut down by a factor of 2-4 compared to the coherent limit. To further enhance rectification ratios in molecular diodes we suggest a refined design involving four orbitals, with a pair of closely spaced states at each conjugated moiety.


title: Spectral theorem for unbounded normal operators in quaternionic Hilbert spaces

abstract: In this article, we prove the following spectral theorem for right linear normal operators (need not to be bounded) in quaternionic Hilbert spaces: Let $T$ be an unbounded right quaternionic linear normal operator in a quaternionic Hilbert space $H$ with domain $\mathcal{D}(T)$, a right linear subspace of $H$ and fix a unit imaginary quaternion, say $m$. Then there exists a Hilbert basis $\mathcal{N}$ of $H$ and a unique quaternionic spectral measure $F$ on the $\sigma$- algebra of $\mathbb C_m^{+}$ (upper half plane of the slice complex plane $\mathbb C_m$) associated to $T$ such that \begin{equation*} \left\langle x | Ty \right\rangle = \int\limits_{\sigma_{S}(T) \cap \mathbb{C}_{m}^{+}}\lambda \ dF_{x,y}(\lambda),\; \text{ for all}\; y \in \mathcal{D}(T),\ x \in H, \end{equation*} where $F_{x,y}$ is a quaternion valued measure on the $\sigma$- algebra of $\mathbb{C}_{m}^{+}$, for any $x,y\in H$ and $\sigma_{S}(T)$ is the spherical spectrum of $T$. Here the representation of $T$ is established with respect to the Hilbert basis $\mathcal{N}$. To prove this result, we reduce the problem to the complex case and obtain the result by using the classical result.


title: Volume polynomials and duality algebras of multi-fans

abstract: We introduce a theory of volume polynomials and corresponding duality algebras of multi-fans. Any complete simplicial multi-fan $\Delta$ determines a volume polynomial $V_\Delta$ whose values are the volumes of multi-polytopes based on $\Delta$. This homogeneous polynomial is further used to construct a Poincare duality algebra $\mathcal{A}^*(\Delta)$. We study the structure and properties of $V_\Delta$ and $\mathcal{A}^*(\Delta)$ and give applications and connections to other subjects, such as Macaulay duality, Novik--Swartz theory of face rings of simplicial manifolds, generalizations of Minkowski's theorem on convex polytopes, cohomology of torus manifolds, computations of volumes, and linear relations on the powers of linear forms. In particular, we prove that the analogue of the $g$-theorem does not hold for multi-polytopes.


title: The Sato-Tate Distribution in Thin Parametric Families of Elliptic Curves

abstract: We obtain new results concerning the Sato-Tate conjecture on the distribution of Frobenius traces over single and double parametric families of elliptic curves. We consider these curves for values of parameters having prescribed arithmetic structure: product sets, geometric progressions, and most significantly prime numbers. In particular, some families are much thinner than the ones previously studied.


title: Characteristics of dynamic contact-angle in presence of surface-charge

abstract: We account for the presence of surface charges towards describing variations in the dynamic contact angle of an advancing liquid-gas meniscus. Starting from the thin-film based formalism, we present closed-form analytical expressions relating the dynamic contact-angle with the capillary number (essentially normalized contact-line speed) and other interfacial parameters. Specifically, our analysis presents, within the realm of hydrodynamic paradigm, a connection between the micro- and macro-scale physics at the vicinity of the contact-line region, taking the combined confluence of viscous and capillary forces along with van der Waals and electrostatic interactions. This connection rationalizes the hitherto reported anomalous window of the magnitude of the microscopic length scales required to corroborate experimental data for ionic liquids. Moreover, our analysis shows the possibility of a transition from strong to weak influence of surface charge in a dynamic fashion with contact-line speed along with other electrochemical parameters, leading towards substantiating the reported multiple asymptotic behavior of dynamic contact-angle over a wide range of capillary numbers.


title: Droplet migration characteristics in confined oscillatory microflows

abstract: We analyze the migration characteristics of a droplet in an oscillatory flow field in a parallel plate micro-confinement. Using phase filed formalism, we capture the dynamical evolution of the droplet over a wide range of the frequency of the imposed oscillation in the flow field, drop size relative to the channel gap, and the capillary number. The latter two factors imply the contribution of droplet deformability, commonly considered in the study of droplet migration under steady shear flow conditions. We show that the imposed oscillation brings in additional time complexity in the droplet movement, realized through temporally varying drop-shape, flow direction and the inertial response of the droplet. As a consequence, we observe a spatially complicated pathway of the droplet along the transverse direction, in sharp contrast to the smooth migration under a similar yet steady shear flow condition. Intuitively, the longitudinal component of the droplet movement is in tandem with the flow continuity and evolves with time at the same frequency as that of the imposed oscillation, although, with an amplitude decreasing with the frequency. The time complexity of the transverse component of the movement pattern, however, cannot by rationalized through such intuitive arguments. Towards bringing out the underlying physics, we further endeavor in a reciprocal identity based analysis. Following this approach, we unveil the time complexities of the droplet movement, which appear to be sufficient to rationalize the complex movement patterns observed through the comprehensive simulation studies. These results can be of profound importance in designing droplet based microfluidic systems in an oscillatory flow environment.


title: The Electromagnetic Green's Function for Layered Topological Insulators

abstract: The dyadic Green's function of the inhomogeneous vector Helmholtz equation describes the field pattern of a single frequency point source. It appears in the mathematical description of many areas of electromagnetism and optics including both classical and quantum, linear and nonlinear optics, dispersion forces (such as the Casimir and Casimir-Polder forces) and in the dynamics of trapped atoms and molecules. Here, we compute the Green's function for a layered topological insulator. Via the magnetoelectric effect, topological insulators are able to mix the electric, E, and magnetic induction, B, fields and, hence, one finds that the TE and TM polarizations mix on reflection from/transmission through an interface. This leads to novel field patterns close to the surface of a topological insulator.


title: Equivalence of two Fixed-Point Semantics for Definitional Higher-Order Logic Programs

abstract: Two distinct research approaches have been proposed for assigning a purely extensional semantics to higher-order logic programming. The former approach uses classical domain theoretic tools while the latter builds on a fixed-point construction defined on a syntactic instantiation of the source program. The relationships between these two approaches had not been investigated until now. In this paper we demonstrate that for a very broad class of programs, namely the class of definitional programs introduced by W. W. Wadge, the two approaches coincide (with respect to ground atoms that involve symbols of the program). On the other hand, we argue that if existential higher-order variables are allowed to appear in the bodies of program rules, the two approaches are in general different. The results of the paper contribute to a better understanding of the semantics of higher-order logic programming.


title: Formalizing Termination Proofs under Polynomial Quasi-interpretations

abstract: Usual termination proofs for a functional program require to check all the possible reduction paths. Due to an exponential gap between the height and size of such the reduction tree, no naive formalization of termination proofs yields a connection to the polynomial complexity of the given program. We solve this problem employing the notion of minimal function graph, a set of pairs of a term and its normal form, which is defined as the least fixed point of a monotone operator. We show that termination proofs for programs reducing under lexicographic path orders (LPOs for short) and polynomially quasi-interpretable can be optimally performed in a weak fragment of Peano arithmetic. This yields an alternative proof of the fact that every function computed by an LPO-terminating, polynomially quasi-interpretable program is computable in polynomial space. The formalization is indeed optimal since every polynomial-space computable function can be computed by such a program. The crucial observation is that inductive definitions of minimal function graphs under LPO-terminating programs can be approximated with transfinite induction along LPOs.


title: *-Continuous Kleene $\omega$-Algebras for Energy Problems

abstract: Energy problems are important in the formal analysis of embedded or autonomous systems. Using recent results on star-continuous Kleene omega-algebras, we show here that energy problems can be solved by algebraic manipulations on the transition matrix of energy automata. To this end, we prove general results about certain classes of finitely additive functions on complete lattices which should be of a more general interest.


title: Self-Correlation and Maximum Independence in Finite Relations

abstract: We consider relations with no order on their attributes as in Database Theory. An independent partition of the set of attributes S of a finite relation R is any partition X of S such that the join of the projections of R over the elements of X yields R. Identifying independent partitions has many applications and corresponds conceptually to revealing orthogonality between sets of dimensions in multidimensional point spaces. A subset of S is termed self-correlated if there is a value of each of its attributes such that no tuple of R contains all those values. This paper uncovers a connection between independence and self-correlation, showing that the maximum independent partition is the least fixed point of a certain inflationary transformer alpha that operates on the finite lattice of partitions of S. alpha is defined via the minimal self-correlated subsets of S. We use some additional properties of alpha to show the said fixed point is still the limit of the standard approximation sequence, just as in Kleene's well-known fixed point theorem for continuous functions.


title: Weak Completeness of Coalgebraic Dynamic Logics

abstract: We present a coalgebraic generalisation of Fischer and Ladner's Propositional Dynamic Logic (PDL) and Parikh's Game Logic (GL). In earlier work, we proved a generic strong completeness result for coalgebraic dynamic logics without iteration. The coalgebraic semantics of such programs is given by a monad T, and modalities are interpreted via a predicate lifting \^I whose transpose is a monad morphism from T to the neighbourhood monad. In this paper, we show that if the monad T carries a complete semilattice structure, then we can define an iteration construct, and suitable notions of diamond-likeness and box-likeness of predicate-liftings which allows for the definition of an axiomatisation parametric in T, \^I and a chosen set of pointwise program operations. As our main result, we show that if the pointwise operations are "negation-free" and Kleisli composition left-distributes over the induced join on Kleisli arrows, then this axiomatisation is weakly complete with respect to the class of standard models. As special instances, we recover the weak completeness of PDL and of dual-free Game Logic. As a modest new result we obtain completeness for dual-free GL extended with intersection (demonic choice) of games.


title: The Arity Hierarchy in the Polyadic $\mu$-Calculus

abstract: The polyadic mu-calculus is a modal fixpoint logic whose formulas define relations of nodes rather than just sets in labelled transition systems. It can express exactly the polynomial-time computable and bisimulation-invariant queries on finite graphs. In this paper we show a hierarchy result with respect to expressive power inside the polyadic mu-calculus: for every level of fixpoint alternation, greater arity of relations gives rise to higher expressive power. The proof uses a diagonalisation argument.


title: Disjunctive form and the modal $\mu$ alternation hierarchy

abstract: This paper studies the relationship between disjunctive form, a syntactic normal form for the modal mu calculus, and the alternation hierarchy. First it shows that all disjunctive formulas which have equivalent tableau have the same syntactic alternation depth. However, tableau equivalence only preserves alternation depth for the disjunctive fragment: there are disjunctive formulas with arbitrarily high alternation depth that are tableau equivalent to alternation-free non-disjunctive formulas. Conversely, there are non-disjunctive formulas of arbitrarily high alternation depth that are tableau equivalent to disjunctive formulas without alternations. This answers negatively the so far open question of whether disjunctive form preserves alternation depth. The classes of formulas studied here illustrate a previously undocumented type of avoidable syntactic complexity which may contribute to our understanding of why deciding the alternation hierarchy is still an open problem.


title: A Type-Directed Negation Elimination

abstract: In the modal mu-calculus, a formula is well-formed if each recursive variable occurs underneath an even number of negations. By means of De Morgan's laws, it is easy to transform any well-formed formula into an equivalent formula without negations -- its negation normal form. Moreover, if the formula is of size n, its negation normal form of is of the same size O(n). The full modal mu-calculus and the negation normal form fragment are thus equally expressive and concise. In this paper we extend this result to the higher-order modal fixed point logic (HFL), an extension of the modal mu-calculus with higher-order recursive predicate transformers. We present a procedure that converts a formula into an equivalent formula without negations of quadratic size in the worst case and of linear size when the number of variables of the formula is fixed.