title: A weak lensing view of the downsizing of star-forming galaxies

abstract: We describe a weak lensing view of the downsizing of star forming galaxies based on cross correlating a weak lensing ($\kappa$) map with a predicted map constructed from a redshift survey. Moderately deep and high resolution images with Subaru/Hyper Suprime-Cam covering the 4 deg^2 DLS F2 field provide a $\kappa$ map with 1 arcmin resolution. A dense complete redshift survey of the F2 field including 12,705 galaxies with $R\leq20.6$ is the basis for construction of the predicted map. The zero-lag cross-correlation between the \kappa and predicted maps is significant at the $30\sigma$ level. The width of the cross-correlation peak is comparable with the angular scale of rich cluster at $z\sim0.3$, the median depth of the redshift survey. Slices of the predicted map in $\delta{z} = 0.05$ redshift bins enable exploration of the impact of structure as a function of redshift. The zero-lag normalised cross-correlation has significant local maxima at redshifts coinciding with known massive X-ray clusters. Even in slices where there are no known massive clusters, there is significant signal in the cross-correlation originating from lower mass groups that trace the large-scale of the universe. Spectroscopic $D_n4000$ measurements enable division of the sample into star-forming and quiescent populations. The significance of the cross-correlation with structure containing star-forming galaxies increases with redshift from $5\sigma$ at $z = 0.3$ to $7 \sigma$ at $z = 0.5$. The weak lensing results are consistent with the downsizing view of galaxy evolution established on the basis of many other independent studies.


title: Lines and Boxes: Unmasking Dynamical Dark Matter through Correlations in the MeV Gamma-Ray Spectrum

abstract: Identifying signatures of dark matter at indirect-detection experiments is generally more challenging for scenarios involving non-minimal dark sectors such as Dynamical Dark Matter (DDM) than for scenarios involving a single dark particle. This additional difficulty arises because the partitioning of the total dark-matter abundance across an ensemble of different constituent particles with different masses tends to "smear" the injection spectra of photons and other cosmic-ray particles that are produced via dark-matter annihilation or decay. As a result, the imprints of the dark sector on these cosmic-ray flux spectra typically take the form of continuum features rather than sharp peaks or lines. In this paper, however, we identify an unambiguous signature of non-minimal dark sectors such as DDM which can overcome these issues and potentially be observed at gamma-ray telescopes operating in the MeV range. We discuss the specific situations in which this signature can arise, and demonstrate that this signature can be exploited in order to significantly enhance our ability to resolve the unique spectral features of DDM and other non-minimal dark sectors at future gamma-ray facilities.


title: Quantum Hall Edges with Hard Confinement: Exact Solution beyond Luttinger Liquid

abstract: We consider a Laughlin droplet in a confining potential which is very steep but also weak compared to the ultra-short ranged inter-particle interactions. We find that the eigenstates have a Jack polynomial structure, and have an energy spectrum which is extremely different from the well-known Luttinger liquid edge.


title: Deep Recurrent Neural Networks for Supernovae Classification

abstract: We apply deep recurrent neural networks, which are capable of learning complex sequential information, to classify supernovae\footnote{Code available at \href{https://github.com/adammoss/supernovae}{https://github.com/adammoss/supernovae}}. The observational time and filter fluxes are used as inputs to the network, but since the inputs are agnostic additional data such as host galaxy information can also be included. Using the Supernovae Photometric Classification Challenge (SPCC) data, we find that deep networks are capable of learning about light curves, however the performance of the network is highly sensitive to the amount of training data. For a training size of 50\% of the representational SPCC dataset (around $10^4$ supernovae) we obtain a type-Ia vs. non-type-Ia classification accuracy of 94.7\%, an area under the Receiver Operating Characteristic curve AUC of 0.986 and a SPCC figure-of-merit $F_1=0.64$. When using only the data for the early-epoch challenge defined by the SPCC we achieve a classification accuracy of 93.1\%, AUC of 0.977 and $F_1=0.58$, results almost as good as with the whole light-curve. By employing bidirectional neural networks we can acquire impressive classification results between supernovae types -I,~-II and~-III at an accuracy of 90.4\% and AUC of 0.974. We also apply a pre-trained model to obtain classification probabilities as a function of time, and show it can give early indications of supernovae type. Our method is competitive with existing algorithms and has applications for future large-scale photometric surveys.

categories: astro-ph.IM astro-ph.CO cs.LG physics.data-an


title: Impact of Cosmic Variance on the Galaxy-Halo Connection for Lyman-$\alpha$ Emitters

abstract: In this paper we study the impact of cosmic variance and observational uncertainties in constraining the mass and occupation fraction, $f_{\rm occ}$, of dark matter halos hosting Ly-$\alpha$ Emitting Galaxies (LAEs) at high redshift. To this end, we construct mock catalogs from an N-body simulation to match the typical size of observed fields at $z=3.1$ ($\sim 1 {\rm deg^2}$). In our model a dark matter halo with mass in the range $M_{\rm min}<M_{\mathrm h}<M_{\rm max}$ can only host one detectable LAE at most. We proceed to explore the parameter space determined by $M_{\rm min}$,$M_{\rm max}$ and $f_{\rm occ}$ with a Markov Chain Monte-Carlo algorithm using the angular correlation function (ACF) and the LAEs number density as observational constraints. We find that the preferred minimum and maximum masses in our model span a wide range $10^{10.0}h^{-1}{\rm{M_{\odot}}}\leq M_{\rm min} \leq 10^{11.1}h^{-1}{\rm{M_{\odot}}}$ , $10^{11.0}h^{-1}{\rm{M_{\odot}}}\leq M_{\rm max} \leq 10^{13.0}h^{-1}{\rm{M_{\odot}}}$; followed by a wide range in the occupation fraction $0.02\leq f_{\rm occ} \leq 0.30$. As a consequence the median mass, $M_{50}$, of all the consistent models has a large uncertainty $M_{50} = 3.16^{+9.34}_{-2.37}\times 10^{10}$$h^{-1}{\rm{M_{\odot}}}$. However, we find that the same individual models have a relatively tight $1\sigma$ scatter around the median mass $\Delta M_{1\sigma} = 0.55^{+0.11}_{-0.31}$ dex. We are also able to show that \focc\ is uniquely determined by $M_{\rm min}$, regardless of $M_{\rm max}$. We argue that upcoming large surveys covering at least $25$ deg$^{2}$ should be able to put tighter constraints on $M_{\rm min}$ and $f_{\rm occ}$ through the LAE number density distribution width constructed over several fields of $\sim 1$ deg$^{2}$.


title: Tall sections from non-minimal transformations

abstract: In previous work, we have shown that elliptic fibrations with two sections, or Mordell-Weil rank one, can always be mapped birationally to a Weierstrass model of a certain form, namely, the Jacobian of a $\mathbb{P}^{112}$ model. Most constructions of elliptically fibered Calabi-Yau manifolds with two sections have been carried out assuming that the image of this birational map was a "minimal" Weierstrass model. In this paper, we show that for some elliptically fibered Calabi-Yau manifolds with Mordell-Weil rank-one, the Jacobian of the $\mathbb{P}^{112}$ model is not minimal. Said another way, starting from a Calabi-Yau Weierstrass model, the total space must be blown up (thereby destroying the "Calabi-Yau" property) in order to embed the model into $\mathbb{P}^{112}$. In particular, we show that the elliptic fibrations studied recently by Klevers and Taylor fall into this class of models.


title: Nucleosynthesis in AGB stars traced by oxygen isotopic ratios. I - Determining the stellar initial mass by means of the $^{17}$O/$^{18}$O ratio

abstract: The aim of this paper is to investigate the $^{17}$O/$^{18}$O ratio for a sample of AGB stars, containing M-, S- and C-type stars. These ratios are evaluated in relation to fundamental stellar evolution parameters: the stellar initial mass and pulsation period. Circumstellar $^{13}$C$^{16}$O, $^{12}$C$^{17}$O and $^{12}$C$^{18}$O line observations were obtained for a sample of nine stars with various single-dish long-wavelength facilities. Line intensity ratios are shown to relate directly to the surface $^{17}$O/$^{18}$O abundance ratio. Stellar evolution models predict the $^{17}$O/$^{18}$O ratio to be a sensitive function of initial mass and to remain constant throughout the entire TP-AGB phase for stars initially less massive than 5\,$M_{\odot}$. This makes the measured ratio a probe of the initial stellar mass. Observed $^{17}$O/$^{18}$O ratios are found to be well in the range predicted by stellar evolution models that do not consider convective overshooting. From this, accurate initial mass estimates are calculated for seven sources. For the remaining two sources two mass solutions result, though with a larger probability that the low-mass solution is the correct one. Finally, hints at a possible separation between M/S- and C-type stars when comparing the $^{17}$O/$^{18}$O ratio to the stellar pulsation period are presented.


title: The Nature of Active Galactic Nuclei with Velocity Offset Emission Lines

abstract: We obtained Keck/OSIRIS near-IR adaptive optics-assisted integral-field spectroscopy to probe the morphology and kinematics of the ionized gas in four velocity-offset active galactic nuclei (AGNs) from the Sloan Digital Sky Survey. These objects possess optical emission lines that are offset in velocity from systemic as measured from stellar absorption features. At a resolution of ~0.18", OSIRIS allows us to distinguish which velocity offset emission lines are produced by the motion of an AGN in a dual supermassive black hole system, and which are produced by outflows or other kinematic structures. In three galaxies, J1018+2941, J1055+1520 and J1346+5228, the spectral offset of the emission lines is caused by AGN-driven outflows. In the remaining galaxy, J1117+6140, a counterrotating nuclear disk is observed that contains the peak of Pa$\alpha$ emission 0.2" from the center of the galaxy. The most plausible explanation for the origin of this spatially and kinematically offset peak is that it is a region of enhanced Pa$\alpha$ emission located at the intersection zone between the nuclear disk and the bar of the galaxy. In all four objects, the peak of ionized gas emission is not spatially coincident with the center of the galaxy as traced by the peak of the near-IR continuum emission. The peaks of ionized gas emission are spatially offset from the galaxy centers by 0.1"-0.4" (0.1-0.7 kpc). We find that the velocity offset originates at the location of this peak of emission, and the value of the offset can be directly measured in the velocity maps. The emission-line ratios of these four velocity-offset AGNs can be reproduced only with a mixture of shocks and AGN photoionization. Shocks provide a natural explanation for the origin of the spatially and spectrally offset peaks of ionized gas emission in these galaxies.


title: Blazar flares powered by plasmoids in relativistic reconnection

abstract: Powerful flares from blazars with short ($\sim$ min) variability timescales are challenging for current models of blazar emission. Here, we present a physically motivated ab initio model for blazar flares based on the results of recent particle-in-cell (PIC) simulations of relativistic magnetic reconnection. PIC simulations demonstrate that quasi-spherical plasmoids filled with high-energy particles and magnetic fields are a self-consistent by-product of the reconnection process. By coupling our PIC-based results (i.e., plasmoid growth, acceleration profile, particle and magnetic content) with a kinetic equation for the evolution of the electron distribution function we demonstrate that relativistic reconnection in blazar jets can produce powerful flares whose temporal and spectral properties are consistent with the observations. In particular, our model predicts correlated synchrotron and synchrotron self-Compton flares of duration of several hours--days powered by the largest and slowest moving plasmoids that form in the reconnection layer. Smaller and faster plasmoids produce flares of sub-hour duration with higher peak luminosities than those powered by the largest plasmoids. Yet, the observed fluence in both types of flares is similar. Multiple flares with a range of flux-doubling timescales (minutes to several hours) observed over a longer period of flaring activity (days or longer) may be used as a probe of the reconnection layer's orientation and the jet's magnetization. Our model shows that blazar flares are naturally expected as a result of magnetic reconnection in a magnetically-dominated jet.


title: IMF shape constraints from stellar populations and dynamics from CALIFA

abstract: In this letter we describe how we use stellar dynamics information to constrain the shape of the stellar IMF in a sample of 27 early-type galaxies from the CALIFA survey. We obtain dynamical and stellar mass-to-light ratios, $\Upsilon_\mathrm{dyn}$ and $\Upsilon_{\ast}$, over a homogenous aperture of 0.5~$R_{e}$. We use the constraint $\Upsilon_\mathrm{dyn} \ge \Upsilon_{\ast}$ to test two IMF shapes within the framework of the extended MILES stellar population models. We rule out a single power law IMF shape for 75% of the galaxies in our sample. Conversely, we find that a double power law IMF shape with a varying high-mass end slope is compatible (within 1$\sigma$) with 95% of the galaxies. We also show that dynamical and stellar IMF mismatch factors give consistent results for the systematic variation of the IMF in these galaxies.


title: Universal behavior of coupled order parameters below three dimensions

abstract: We explore universal critical behavior in models with two competing order parameters, and an O(N)+O(M) symmetry for dimensions $d \leq 3$. In d=3, there is always exactly one stable Renormalization Group fixed point, corresponding to bicritical or tetracritical behavior. Employing novel, pseudo-spectral techniques to solve functional Renormalization Group equations in a two-dimensional field space, we uncover a more intricate structure of fixed points in d<3, where two additional bicritical fixed points play a role. Towards d=2, we discover ranges of N=M with several simultaneously stable fixed points, indicating the coexistence of several universality classes.


title: Ultra-deep Ks-band Imaging of the Hubble Frontier Fields

abstract: We present an overview of the "KIFF" project, which provides ultra-deep Ks-band imaging of all six of the Hubble Frontier Fields clusters Abell 2744, MACS-0416, Abell S1063, Abell 370, MACS-0717 and MACS-1149. All of these fields have recently been observed with large allocations of Directors' Discretionary Time with the HST and Spitzer telescopes covering 0.4 < lambda < 1.6 microns and 3.6--4.5 microns, respectively. VLT/HAWK-I integrations of the first four fields reach 5-sigma limiting depths of Ks~26.0 (AB, point sources) and have excellent image quality (FWHM ~ 0."4). Shorter Keck/MOSFIRE integrations of the MACS-0717 (MACS-1149) field better observable in the north reach limiting depths Ks=25.5 (25.1) with seeing FWHM ~0."4 (0."5). In all cases the Ks-band mosaics cover the primary cluster and parallel HST/ACS+WFC3 fields. The total area of the Ks-band coverage is 490 arcmin^2. The Ks-band at 2.2 microns crucially fills the gap between the reddest HST filter (1.6 micron ~ H-band) and the IRAC 3.6 micron passband. While reaching the full depths of the space-based imaging is not currently feasible from the ground, the deep Ks-band images provide important constraints on both the redshifts and the stellar population properties of galaxies extending well below the characteristic stellar mass across most of the age of the universe, down to, and including, the redshifts of the targeted galaxy clusters (z < 0.5).


title: On the Boltzmann Equation with Stochastic Kinetic Transport: Global Existence of Renormalized Martingale Solutions

abstract: This article studies the Cauchy problem for the Boltzmann equation with stochastic kinetic transport. Under a cut-off assumption on the collision kernel and a coloring hypothesis for the noise coefficients, we prove the global existence of renormalized (in the sense of DiPerna/Lions) martingale solutions to the Boltzmann equation for large initial data with finite mass, energy, and entropy. Our analysis includes a detailed study of weak martingale solutions to a class of linear stochastic kinetic equations. This study includes a criterion for renormalization, the weak closedness of the solution set, and tightness of velocity averages in $L^1$.


title: Early Quenching of Massive Protocluster Galaxies Around z=2.2 Radio Galaxies

abstract: Radio galaxies are among the most massive galaxies in the high redshift universe and are known to often lie in protocluster environments. We have studied the fields of seven z = 2.2 radio galaxies with HAWK-I narrow-band and broad-band imaging in order to map out their environment using Halpha emitters (HAEs). The results are compared to the blank field HAE survey HiZELS. All of the radio galaxy fields are overdense in HAEs relative to a typical HiZELS field of the same area and four of the seven are richer than all except one of 65 essentially random HiZELS subfields of the same size. The star formation rates of the massive HAEs are lower than those necessary to have formed their stellar population in the preceding Gyr - indicating that these galaxies are likely to have formed the bulk of their stars at higher redshifts, and are starting to quench.


title: Heat-bath Configuration Interaction: An efficient selected CI algorithm inspired by heat-bath sampling

abstract: We introduce a new selected configuration interaction plus perturbation theory algorithm that is based on a deterministic analog of our recent efficient heat-bath sampling algorithm. This Heat-bath Configuration Interaction (HCI) algorithm makes use of two parameters that control the tradeoff between speed and accuracy, one which controls the selection of determinants to add to a variational wavefunction, and one which controls the the selection of determinants used to compute the perturbative correction to the variational energy. We show that HCI provides an accurate treatment of both static and dynamic correlation by computing the potential energy curve of the multireference carbon dimer in the cc-pVDZ basis. We then demonstrate the speed and accuracy of HCI by recovering the full configuration interaction energy of both the carbon dimer in the cc-pVTZ basis and the strongly-correlated chromium dimer in the Ahlrichs VDZ basis, correlating all electrons, to an accuracy of better than 1 mHa, in just a few minutes on a single core. These systems have full variational spaces of 3x10^14 and 2x10^22 determinants respectively.


title: Rigorous ab initio quantum embedding for quantum chemistry using Green's function theory: screened interaction, non-local self-energy relaxation, orbital basis, and chemical accuracy

abstract: We present a detailed discussion of self-energy embedding theory (SEET) which is a quantum embedding scheme allowing us to describe a chosen subsystem very accurately while keeping the description of the environment at a lower cost. We apply SEET to molecular examples where commonly our chosen subsystem is made out of a set of strongly correlated orbitals while the weakly correlated orbitals constitute an environment. Such a self-energy separation is very general and to make this procedure applicable to multiple systems a detailed and practical procedure for the evaluation of the system and environment self-energy is necessary. We list all the intricacies for one of the possible procedures while focusing our discussion on many practical implementation aspects such as the choice of best orbital basis, impurity solver, and many steps necessary to reach chemical accuracy. Finally, on a set of carefully chosen molecular examples, we demonstrate that SEET which is a controlled, systematically improvable Green's function method can be as accurate as established wavefunction quantum chemistry methods.


title: Relativistic correction to gluon fragmentation function into pseudoscalar quarkonium

abstract: Inspired by the recent measurements of the $\eta_c$ meson production at LHC, we investigate the relativistic correction effect for the fragmentation function of the gluon into $\eta_c$, which constitutes the crucial nonperturbative elements to understand $\eta_c$ production at high $p_T$. Employing three distinct methods, we calculate the leading relativistic correction to the $g\to\eta_c$ fragmentation function in the NRQCD factorization framework, as well as verify the existing NLO result for the $c\to \eta_c$ fragmentation function. We also study the evolution behavior of these fragmentation functions with the aid of DGLAP equation.


title: The Rapid Transient Surveyor

abstract: The Rapid Transient Surveyor (RTS) is a proposed rapid-response, high-cadence adaptive optics (AO) facility for the UH 2.2-m telescope on Maunakea. RTS will uniquely address the need for high-acuity and sensitive near-infrared spectral follow-up observations of tens of thousands of objects in mere months by combining an excellent observing site, unmatched robotic observational efficiency, and an AO system that significantly increases both sensitivity and spatial resolving power. We will initially use RTS to obtain the infrared spectra of ~4,000 Type Ia supernovae identified by the Asteroid Terrestrial-Impact Last Alert System over a two year period that will be crucial to precisely measuring distances and mapping the distribution of dark matter in the z < 0.1 universe. RTS will comprise an upgraded version of the Robo-AO laser AO system and will respond quickly to target-of-opportunity events, minimizing the time between discovery and characterization. RTS will acquire simultaneous-multicolor images with an acuity of 0.07-0.10" across the entire visible spectrum (20% i'-band Strehl in median conditions) and <0.16" in the near infrared, and will detect companions at 0.5" at contrast ratio of ~500. The system will include a high-efficiency prism integral field unit spectrograph: R = 70-140 over a total bandpass of 840-1830 nm with an 8.7" by 6.0" field of view (0.15" spaxels). The AO correction boosts the infrared point-source sensitivity of the spectrograph against the sky background by a factor of seven for faint targets, giving the UH 2.2-m the H-band sensitivity of a 5.7-m telescope without AO.


title: Device and Circuit Interaction Analysis of Stochastic Behaviors in Cross-Point RRAM Arrays

abstract: Stochastic behaviors of resistive random access memory (RRAM) play an important role in the design of cross-point memory arrays. A Monte Carlo compact model of oxide RRAM is developed and calibrated with experiments on various device stack configurations. With Monte Carlo SPICE simulations, we show that an increase in array size and interconnect wire resistance will statistically deteriorate write functionality. Write failure probability (WFP) has an exponential dependency on device uniformity and supply voltage (VDD), and the array bias scheme is a key knob. Lowering array VDD leads to higher effective energy consumption (EEC) due to the increase in WFP when the variation statistics are included in the analysis. Random-access simulations indicate that data sparsity statistically benefits write functionality and energy consumption. Finally, we show that a pseudo-sub-array topology with uniformly distributed pre-forming cells in the pristine high resistance state is able to reduce both WFP and EEC, enabling higher net capacity for memory circuits due to improved variation tolerance.


title: Closure of the Operator Product Expansion in the Non-Unitary Bootstrap

abstract: We use the numerical conformal bootstrap in two dimensions to search for finite, closed sub-algebras of the operator product expansion (OPE), without assuming unitarity. We find the minimal models as special cases, as well as additional lines of solutions that can be understood in the Coulomb gas formalism. All the solutions we find that contain the vacuum in the operator algebra are cases where the external operators of the bootstrap equation are degenerate operators, and we argue that this follows analytically from the expressions in arXiv:1202.4698 for the crossing matrices of Virasoro conformal blocks. Our numerical analysis is a special case of the "Gliozzi" bootstrap method, and provides a simpler setting in which to study technical challenges with the method. In the supplementary material, we provide a Mathematica notebook that automates the calculation of the crossing matrices and OPE coefficients for degenerate operators using the formulae of Dotsenko and Fateev.


title: Simulation of a low-background proton detector for studying low-energy resonances relevant in thermonuclear reactions

abstract: A new detector is being developed at the National Superconducting Cyclotron Laboratory (NSCL) to measure low energy charged-particles from beta-delayed particle emission. These low energy particles are very important for nuclear astrophysics studies. The use of a gaseous system instead of a solid state detector decreases the sensitivity to betas while keeping high efficiency for higher mass charged particles like protons or alphas. This low sensitivity to betas minimizes their contribution to the background down to 150 keV. A detailed simulation tool based on \textsc{Geant4} has been developed for this future detector.


title: From $e$ to $\pi$: Derivation of the Wallis formula for $\pi$ from $e$

abstract: In this Note, we start off with the primary representation of e and from there present an elementary short proof for the Wallis formula for $\pi$.


title: LSTMVis: A Tool for Visual Analysis of Hidden State Dynamics in Recurrent Neural Networks

abstract: Recurrent neural networks, and in particular long short-term memory (LSTM) networks, are a remarkably effective tool for sequence modeling that learn a dense black-box hidden representation of their sequential input. Researchers interested in better understanding these models have studied the changes in hidden state representations over time and noticed some interpretable patterns but also significant noise. In this work, we present LSTMVIS, a visual analysis tool for recurrent neural networks with a focus on understanding these hidden state dynamics. The tool allows users to select a hypothesis input range to focus on local state changes, to match these states changes to similar patterns in a large data set, and to align these results with structural annotations from their domain. We show several use cases of the tool for analyzing specific hidden state properties on dataset containing nesting, phrase structure, and chord progressions, and demonstrate how the tool can be used to isolate patterns for further statistical analysis. We characterize the domain, the different stakeholders, and their goals and tasks.


title: Teleparallel Conformal Killing Vector Fields of LRS Bianchi Type V Spacetimes in Teleparallel Gravity

abstract: The aim of this paper is to explore teleparallel conformal Killing vector fields (CKVFs) of locally rotationally symmetric (LRS) Bianchi type V spacetimes in the context of teleparallel gravity and compare the obtained results with those of general relativity. The general solution of teleparallel conformal Killing's equations is found in terms of some unknown functions of t and x , along with a set of integrability conditions. The integrability conditions are solved in some particular cases to get the final form of teleparallel CKVFs. It is observed that the LRS Bianchi type V spacetimes admit proper teleparallel CKVF in only one case, while in remaining cases the teleparallel CKVFs reduce to teleparallel Killing vector fields (KVFs). Moreover, it is shown that the LRS Bianchi type V spacetimes do not admit any proper teleparallel homothetic vector field (HVF).


title: PPM: A Privacy Prediction Model for Online Social Networks

abstract: Online Social Networks (OSNs) have come to play an increasingly important role in our social lives, and their inherent privacy problems have become a major concern for users. Can we assist consumers in their privacy decision-making practices, for example by predicting their preferences and giving them personalized advice? To this end, we introduce PPM: a Privacy Prediction Model, rooted in psychological principles, which can be used to give users personalized advice regarding their privacy decision-making practices. Using this model, we study psychological variables that are known to affect users' disclosure behavior: the trustworthiness of the requester/information audience, the sharing tendency of the receiver/information holder, the sensitivity of the requested/shared information, the appropriateness of the request/sharing activities, as well as several more traditional contextual factors.


title: Stochastic differential equations: loss of the Markov property by multiplicative noise

abstract: The solutions of SDEs with multiplicative noise are not Markovian. On a coarse-grained time scale they still are, but only in the "anti-Ito" case. This allows a simple computation of the most likely path. Any density peak moves along such a path, and its shape evolves according to further analytical formulas. This even provides some new insights into the asymptotic densities for large times, e.g. the criterion for attaining a quiescent steady state.


title: The cocycle identity holds under stopping

abstract: In recent work of the authors, it was shown how to use any finite quantum stop time to stop the CCR flow and its strongly continuous isometric cocycles (Q. J. Math. 65:1145-1164, 2014). The stopped cocycle was shown to satisfy a stopped form of the cocycle identity, valid for deterministic increments of the time used for stopping. Here, a generalisation of this identity is obtained, where both cocycle parameters are replaced with finite quantum stop times.


title: Chiral quantum optics with V-level atoms and coherent quantum feedback

abstract: We study the dissipative dynamics of an atom in a V-level configuration driven by lasers and coupled to a semi-infinite waveguide. The coupling to the waveguide is chiral, in that each transition interacts only with the modes propagating in a given direction, and this direction is opposite for the two transitions. The waveguide is terminated by a mirror which coherently feeds the photon stream emitted by one transition back to the atom. First, we are interested in the dynamics of the atom in the Markovian limit where the time-delay in the feedback is negligible. Specifically, we study the conditions under which the atom evolves towards a pure "dark" stationary state, where the photons emitted by both transitions interfere destructively thanks to the coherent feedback, and the overall emission vanishes. This is a single-atom analog of the quantum dimer, where a pair of laser-driven two-level atoms is coupled to a unidirectional waveguide and dissipates towards a pure entangled dark state. Our setup should be feasible with current state-of-the-art experiments. Second, we extend our study to non-Markovian regimes and investigate the effect of the feedback retardation on the steady-state.


title: Efficient Analog Circuits for Boolean Satisfiability

abstract: Efficient solutions to NP-complete problems would significantly benefit both science and industry. However, such problems are intractable on digital computers based on the von Neumann architecture, thus creating the need for alternative solutions to tackle such problems. Recently, a deterministic, continuous-time dynamical system (CTDS) was proposed (Nat.Phys. {\bf 7}(12), 966 (2011)) to solve a representative NP-complete problem, Boolean Satisfiability (SAT). This solver shows polynomial analog time-complexity on even the hardest benchmark $k$-SAT ($k \geq 3$) formulas, but at an energy cost through exponentially driven auxiliary variables. This paper presents a novel analog hardware SAT solver, AC-SAT, implementing the CTDS via incorporating novel, analog circuit design ideas. AC-SAT is intended to be used as a co-processor and is programmable for handling different problem specifications. It is especially effective for solving hard $k$-SAT problem instances that are challenging for algorithms running on digital machines. Furthermore, with its modular design, AC-SAT can readily be extended to solve larger size problems, while the size of the circuit grows linearly with the product of the number of variables and number of clauses. The circuit is designed and simulated based on a 32nm CMOS technology. SPICE simulation results show speedup factors of $\sim$10$^4$ on even the hardest 3-SAT problems, when compared with a state-of-the-art SAT solver on digital computers. As an example, for hard problems with $N=50$ variables and $M=212$ clauses, solutions are found within from a few $ns$ to a few hundred $ns$.


title: Detection of Explosives by Using a Neutron Source Based on a Proton Linac

abstract: The paper considers an opportunity of detecting explosives by using radiation capture of a neutron with nitrogen nucleus. Proton LINAC is offered as the neutron source with the following parameters: proton energy five Mega electron Volts , beam pulse current one and seven-tenths milliampere, duration of the current pulse two hundreds microseconds, repetition rate fifty Hertz. The reaction in which neutrons are formed is lithium (p,n) beryllium. It is shown that this neutron source will have the intensity of ten to the twelfth degree neutron per second that will allow one to detect explosives of the size of a tennis ball.


title: On singular generalized Berwald spacetimes and the equivalence principle

abstract: The notion of singular generalized Finsler spacetime and singular generalized Berwald spacetime are introduced and their relevance for the description of classical gravity discussed. A method to construct examples of such generalized Berwald spacetimes is sketched. The method is applied at two different levels of generality. First, a class of flat, singular generalized Berwald spacetimes is obtained. Then in an attempt of further generalization, a class of non-flat generalized Berwald spacetimes is presented and the associated Einstein field equations are discussed. In this context, an argument in favour of a small value of the cosmological constant is given. The physical significance of the models is briefly discussed in the last section.


title: NN-grams: Unifying neural network and n-gram language models for Speech Recognition

abstract: We present NN-grams, a novel, hybrid language model integrating n-grams and neural networks (NN) for speech recognition. The model takes as input both word histories as well as n-gram counts. Thus, it combines the memorization capacity and scalability of an n-gram model with the generalization ability of neural networks. We report experiments where the model is trained on 26B words. NN-grams are efficient at run-time since they do not include an output soft-max layer. The model is trained using noise contrastive estimation (NCE), an approach that transforms the estimation problem of neural networks into one of binary classification between data samples and noise samples. We present results with noise samples derived from either an n-gram distribution or from speech recognition lattices. NN-grams outperforms an n-gram model on an Italian speech recognition dictation task.


title: Comment on "Atmospheric ionization by high-fluence, hard spectrum solar proton events and their probable appearance in the ice core archive" by A.L. Melott et al

abstract: Melott et al. [2016] suggest that individual solar proton events (SPEs) are detectable as nitrate ion spikes in ice cores. They use the high fluence, high energy (hard spectrum) SPE of 23 February 1956 to calculate an enhancement of HNO3 from the surface to 46 km that is equivalent to a ~120 ng cm-2 nitrate ion spike observed in the GISP2H ice core. The Melott et al. [2016] approach is fundamentally flawed, since it considers only the absolute column burden of SPE-produced nitrate and not the pre-existing nitrate in the stratosphere. Modeling studies supported by extensive observations [Duderstadt et al., 2014, 2016, and this comment] show background HNO3 in the lower and middle stratosphere equivalent to 2000 to 3000 ng cm-2 nitrate. These high levels of background nitrate must also be included when estimating SPE enhancements to the deposition of nitrate ions that might eventually be preserved in an ice core. The 1956 SPE results in less than a 5% increase in the column burden of atmospheric HNO3, not large enough to explain the nitrate spike seen in the GISP2H ice core. Even extreme SPE enhancements cannot explain nitrate peaks (typically hundreds of percent increases) observed in the ice record [Duderstadt et al., 2016]. Realistic mechanisms linking nitrate ions in ice cores to SPEs have not been established. It is time to move the search for indicators of SPEs away from nitrate ions: Nitrate ions cannot be used as proxies for individual SPEs in the ice core record.

categories: physics.ao-ph astro-ph.EP astro-ph.IM astro-ph.SR physics.geo-ph


title: Quantum impurity in a Luttinger liquid: Exact solution of the Kane-Fisher model

abstract: A Luttinger Liquid coupled to a quantum impurity describes a large number of physical systems. The Hamiltonian consists of left- and right-moving fermions interacting among themselves via a density-density coupling and scattering off a localised transmitting and reflecting impurity. We solve exactly the Hamiltonian by means of an incoming-outgoing scattering Bethe basis which properly incorporates all scattering processes. A related model, the Weak-Tunnelling model, wherein the impurity is replaced by a tunnel junction, is solved by the same method. The consistency of the construction is established through a generalised Yang-Baxter relation. Periodic boundary conditions are imposed and the resulting Bethe Ansatz equations are derived by means of the Off Diagonal Bethe Ansatz approach. We derive the spectrum of the model for all coupling constant regimes and calculate the impurity free energy. We discuss the low energy behaviour of the systems for both repulsive and attractive interactions.


abstract: The Hydrogen Epoch of Reionization Array (HERA) is a staged experiment to measure 21 cm emission from the primordial intergalactic medium (IGM) throughout cosmic reionization ($z=6-12$), and to explore earlier epochs of our Cosmic Dawn ($z\sim30$). During these epochs, early stars and black holes heated and ionized the IGM, introducing fluctuations in 21 cm emission. HERA is designed to characterize the evolution of the 21 cm power spectrum to constrain the timing and morphology of reionization, the properties of the first galaxies, the evolution of large-scale structure, and the early sources of heating. The full HERA instrument will be a 350-element interferometer in South Africa consisting of 14-m parabolic dishes observing from 50 to 250 MHz. Currently, 19 dishes have been deployed on site and the next 18 are under construction. HERA has been designated as an SKA Precursor instrument. In this paper, we summarize HERA's scientific context and provide forecasts for its key science results. After reviewing the current state of the art in foreground mitigation, we use the delay-spectrum technique to motivate high-level performance requirements for the HERA instrument. Next, we present the HERA instrument design, along with the subsystem specifications that ensure that HERA meets its performance requirements. Finally, we summarize the schedule and status of the project. We conclude by suggesting that, given the realities of foreground contamination, current-generation 21 cm instruments are approaching their sensitivity limits. HERA is designed to bring both the sensitivity and the precision to deliver its primary science on the basis of proven foreground filtering techniques, while developing new subtraction techniques to unlock new capabilities. The result will be a major step toward realizing the widely recognized scientific potential of 21 cm cosmology.


title: A stability result using the matrix norm to bound the permanent

abstract: We prove a stability version of a general result that bounds the permanent of a matrix in terms of its operator norm. More specifically, suppose $A$ is an $n \times n$ matrix over $\mathbb{C}$ (resp. $\mathbb{R}$), and let $\mathcal{P}$ denote the set of $n \times n$ matrices over $\mathbb{C}$ (resp. $\mathbb{R}$) that can be written as a permutation matrix times a unitary diagonal matrix. Then it is known that the permanent of $A$ satisfies $|\text{perm}(A)| \leq \Vert A \Vert_{2} ^n$ with equality iff $A/ \Vert A \Vert_{2} \in \mathcal{P}$ (where $\Vert A \Vert_2$ is the operator $2$-norm of $A$). We show a stability version of this result asserting that unless $A$ is very close (in a particular sense) to one of these extremal matrices, its permanent is exponentially smaller (as a function of $n$) than $\Vert A \Vert_2 ^n$. In particular, for any fixed $\alpha, \beta > 0$, we show that $|\text{perm}(A)|$ is exponentially smaller than $\Vert A \Vert_2 ^n$ unless all but at most $\alpha n$ rows contain entries of modulus at least $\Vert A \Vert_2 (1 - \beta)$.


title: Beam loading in the bubble regime in plasmas with hollow channels

abstract: Based on the already existing analytical theory of the strongly-nonlinear wakefield (which is called "bubble") in transversely inhomogeneous plasmas, we study particular behavior of non-loaded (empty) bubbles and bubbles with accelerated bunches. We obtain an analytical expression for the shape of a non-loaded bubble in a general case and verify it with particle-in-cell (PIC) simulations. We derive a method of calculation of the acceleration efficiency for arbitrary accelerated bunches. The influence of flat-top electron bunches on the shape of a bubble is studied. It is also shown that it is possible to achieve acceleration in a homogeneous longitudinal electric field by the adjustment of the longitudinal density profile of the accelerated electron bunch. The predictions of the model are verified by 3D PIC simulations and are in a good agreement with them.


title: An uncertainty principle and lower bounds for the Dirichlet Laplacian on graphs

abstract: We prove a quantitative uncertainty principle at low energies for the Laplacian on fairly general weighted graphs with a uniform explicit control of the constants in terms of geometric quantities. A major step consists in establishing lower bounds for Dirichlet eigenvalues in terms of the geometry.


title: Coleman-Weinberg symmetry breaking in $SU(8)$ induced by a third rank antisymmetric tensor scalar field II: the fermion spectrum

abstract: We continue our study of Coleman-Weinberg symmetry breaking induced by a third rank antisymmetric tensor scalar, in the context of the $SU(8)$ model we proposed earlier. We focus in this paper on qualitative features that will determine whether the model can make contact with the observed particle spectrum. We discuss the mechanism for giving the spin $\frac{3}{2}$ field a mass by the BEH mechanism, and analyze the remaining massless spin $\frac{1}{2}$ fermions, the global chiral symmetries, and the running couplings after symmetry breaking. We note that the smallest gluon mass matrix eigenvalue has an eigenvector suggestive of $U(1)_{B-L}$, and conjecture that the theory runs to an infrared fixed point at which there is a massless gluon with 3 to -1 ratios in generator components. Assuming this, we discuss a mechanism for making contact with the standard model, based on a conjectured asymmetric breaking of $Sp(4)$ to $SU(2)$ subgroups, one of which is the electroweak $SU(2)$, and the other of which is a "technicolor" group that binds the original $SU(8)$ model fermions, which play the role of "preons", into composites. Quarks can emerge as 5 preon composites and leptons as 3 preon composites, with consequent stability of the proton against decay to a single lepton plus a meson. A composite Higgs boson can emerge as a two preon composite. Since anomaly matching for the relevant conserved global symmetry current is not obeyed by three fermion families, emergence of three composite families requires formation of a Goldstone boson with quantum numbers matching this current, which can be a light dark matter candidate.


title: Maximal Newton points and the quantum Bruhat graph

abstract: We discuss a surprising relationship between the partially ordered set of Newton points associated to an affine Schubert cell and the quantum cohomology of the complex flag variety. The main theorem provides a combinatorial formula for the unique maximum element in this poset in terms of paths in the quantum Bruhat graph, whose vertices are indexed by elements in the finite Weyl group. Key to establishing this connection is the fact that paths in the quantum Bruhat graph encode saturated chains in the strong Bruhat order on the affine Weyl group. This correspondence is also fundamental in the work of Lam and Shimozono establishing Peterson's isomorphism between the quantum cohomology of the finite flag variety and the homology of the affine Grassmannian. One important geometric application of the present work is an inequality which provides a necessary condition for non-emptiness of certain affine Deligne-Lusztig varieties in the affine flag variety.


title: Wireless Application Protocol Architecture Overview

abstract: WAP protocol is a set of communication protocols application environment and wireless devices. WAP model more than a WAP gateway. Suitable for wireless communication environment.


title: Performance Analysis and Scaling Law of MRC/MRT Relaying with CSI Error in Massive MIMO Systems

abstract: This work provides a comprehensive scaling law and performance analysis for multi-user massive MIMO relay networks, where the relay is equipped with massive antennas and uses MRC/MRT for low-complexity processing. CSI error is considered. First, a sum-rate lower bound is derived which manifests the effect of system parameters including the numbers of relay antennas and users, the CSI quality, and the transmit powers of the sources and the relay. Via a general scaling model on the system parameters with respect to the relay antenna number, the asymptotic scaling law of the SINR as a function of the parameter scalings is obtained, which shows quantitatively the tradeoff between the network parameters and their effect on the network performance. In addition, a sufficient condition on the parameter scalings for the SINR to be asymptotically deterministic is given, which covers existing studies on such analysis as special cases. Then, the scenario where the SINR increases linearly with the relay antenna number is studied. The sufficient and necessary condition on the parameter scaling for this scenario is proved. It is shown that in this case, the interference power is not asymptotically deterministic, then its distribution is derived, based on which the outage probability and average bit error rate of the relay network are analysed.


title: CUNI System for WMT16 Automatic Post-Editing and Multimodal Translation Tasks

abstract: Neural sequence to sequence learning recently became a very promising paradigm in machine translation, achieving competitive results with statistical phrase-based systems. In this system description paper, we attempt to utilize several recently published methods used for neural sequential learning in order to build systems for WMT 2016 shared tasks of Automatic Post-Editing and Multimodal Machine Translation.


title: Black Phosphorus based One-dimensional Photonic Crystals and Microcavities

abstract: The latest achievements in the fabrication of black phosphorus thin layers, towards the technological breakthrough of a phosphorene atomically thin layer, are paving the way for a their employment in electronics, optics, and optoelectronics. In this work, we have simulated the optical properties of one-dimensional photonic structures, i.e. photonic crystals and microcavities, in which few-layer black phosphorus is one of the components. The insertion of the 5 nm black phosphorous layers leads to a photonic band gap in the photonic crystals and a cavity mode in the microcavity interesting for light manipulation and emission enhancement.


title: Discovery of the Interstellar Chiral Molecule Propylene Oxide (CH$_3$CHCH$_2$O)

abstract: Life on Earth relies on chiral molecules, that is, species not superimposable on their mirror images. This manifests itself in the selection of a single molecular handedness, or homochirality, across the biosphere. We present the astronomical detection of a chiral molecule, propylene oxide (CH$_3$CHCH$_2$O), in absorption toward the Galactic Center. Propylene oxide is detected in the gas phase in a cold, extended molecular shell around the embedded, massive protostellar clusters in the Sagittarius B2 star-forming region. This material is representative of the earliest stage of solar system evolution in which a chiral molecule has been found.


title: Evolution Of Massive Black Hole Binaries In Rotating Stellar Nuclei: Implications For Gravitational Wave Detection

abstract: We compute the isotropic gravitational wave (GW) background produced by binary supermassive black holes (SBHs) in galactic nuclei. In our model, massive binaries evolve at early times via gravitational-slingshot interaction with nearby stars, and at later times by the emission of GWs. Our expressions for the rate of binary hardening in the "stellar" regime are taken from the recent work of Vasiliev et al., who show that in the non-axisymmetric galaxies expected to form via mergers, stars are supplied to the center at high enough rates to ensure binary coalescence on Gyr timescales. We also include, for the first time, the extra degrees of freedom associated with evolution of the binary's orbital plane; in rotating nuclei, interaction with stars causes the orientation and the eccentricity of a massive binary to change in tandem, leading in some cases to very high eccentricities (e>0.9) before the binary enters the GW-dominated regime. We argue that previous studies have over-estimated the mean ratio of SBH mass to galaxy bulge mass by factors of 2 - 3. In the frequency regime currently accessible to pulsar timing arrays (PTAs), our assumptions imply a factor 2 - 3 reduction in the characteristic strain compared with the values computed in most recent studies, removing the tension that currently exists between model predictions and the non-detection of GWs.


title: Monitoring Nonadiabatic Electron-Nuclear Dynamics in Molecules by Attosecond Streaking of Photoelectrons

abstract: Streaking of photoelectrons has long been used for the temporal characterization of attosecond extreme ultraviolet pulses. When the time-resolved photoelectrons originate from a coherent superposition of electronic states, they carry an additional phase information, which can be retrieved by the streaking technique. In this contribution we extend the streaking formalism to include coupled electron and nuclear dynamics in molecules as well as initial coherences and demonstrate how it offers a novel tool to monitor non-adiabatic dynamics as it occurs in the vicinity of conical intersections and avoided crossings. Streaking can enhance the time resolution and provide direct signatures of electronic coherences, which affect many primary photochemical and biological events.


title: Partial self-consistency and analyticity in many-body perturbation theory: particle number conservation and a generalized sum rule

abstract: We consider a general class of approximations which guarantees the conservation of particle number in many-body perturbation theory. To do this we extend the concept of $\Phi$-derivability for the self-energy $\Sigma$ to a larger class of diagrammatic terms in which only some of the Green's function lines contain the fully dressed Green's function $G$. We call the corresponding approximations for $\Sigma$ partially $\Phi$-derivable. A special subclass of such approximations, which are gauge-invariant, is obtained by dressing loops in the diagrammatic expansion of $\Phi$ consistently with $G$. These approximations are number conserving but do not have to fulfill other conservation laws, such as the conservation of energy and momentum. From our formalism we can easily deduce if commonly used approximations will fulfill the continuity equation, which implies particle number conservation. We further show how the concept of partial $\Phi$-derivability plays an important role in the derivation of a generalized sum rule for the particle number, which reduces to the Luttinger-Ward theorem in the case of a homogeneous electron gas, and the Friedel sum rule in the case of the Anderson model. To do this we need to ensure that the Green's function has certain complex analytic properties, which can be guaranteed if the spectral function is positive semi-definite.The latter property can be ensured for a subset of partially $\Phi$-derivable approximations for the self-energy, namely those that can be constructed from squares of so-called half-diagrams. In case the analytic requirements are not fulfilled we highlight a number of subtle issues related to branch cuts, pole structure and multi-valuedness. We also show that various schemes of computing the particle number are consistent for particle number conserving approximations.


title: The VGLC: The Video Game Level Corpus

abstract: Levels are a key component of many different video games, and a large body of work has been produced on how to procedurally generate game levels. Recently, Machine Learning techniques have been applied to video game level generation towards the purpose of automatically generating levels that have the properties of the training corpus. Towards that end we have made available a corpora of video game levels in an easy to parse format ideal for different machine learning and other game AI research purposes.


title: Scalable Bayes under Informative Sampling

abstract: The United States Bureau of Labor Statistics collects data using survey instruments under informative sampling designs that assign probabilities of inclusion to be correlated with the response. The bureau extensively uses Bayesian hierarchical models and posterior sampling to impute missing items in respondent-level data and to infer population parameters. Posterior sampling for survey data collected based on informative designs are computationally expensive and do not support production schedules of the bureau. Motivated by this problem, we propose a new method to scale Bayesian computations in informative sampling designs. Our method divides the data into smaller subsets, performs posterior sampling in parallel for every subset, and combines the collection of posterior samples from all the subsets through their mean in the Wasserstein space of order 2. Theoretically, we construct conditions on a class of sampling designs where posterior consistency of the proposed method is achieved. Empirically, we demonstrate that our method is competitive with traditional methods while being significantly faster in many simulations and in the Current Employment Statistics survey conducted by the bureau.


title: Borel Functors and Infinitary Interpretations

abstract: We introduce the notion of infinitary interpretation of structures. In general, an interpretation between structures induces a continuous homomorphism between their automorphism groups, and furthermore, it induces a functor between the categories of copies of each structure. We show that for the case of infinitary interpretation the reversals are also true: Every Baire-measurable homomorphism between the automorphism groups of two countable structures is induced by an infinitary interpretation, and every Baire-measurable functor between the set of copies of two countable structures is induced by an infinitary interpretation. Furthermore, we show the complexities are maintained in the sense that if the functor is $\mathbf{\Delta}^0_\alpha$, then the interpretation that induces it is $\Delta^{\mathtt{in}}_\alpha$ up to $\mathbf{\Delta}^0_\alpha$ equivalence.


title: Enhancing Accountability and Trust in Distributed Ledgers

abstract: Permisionless decentralized ledgers ("blockchains") such as the one underlying the cryptocurrency Bitcoin allow anonymous participants to maintain the ledger, while avoiding control or "censorship" by any single entity. In contrast, permissioned decentralized ledgers exploit real-world trust and accountability, allowing only explicitly authorized parties to maintain the ledger. Permissioned ledgers support more flexible governance and a wider choice of consensus mechanisms. Both kinds of decentralized ledgers may be susceptible to manipulation by participants who favor some transactions over others. The real-world accountability underlying permissioned ledgers provides an opportunity to impose fairness constraints that can be enforced by penalizing violators after-the- fact. To date, however, this opportunity has not been fully exploited, unnecessarily leaving participants latitude to manipulate outcomes undetectably. This paper draws attention to this issue, and proposes design principles to make such manipulation more difficult, as well as specific mechanisms to make it easier to detect when violations occur.


title: Improved log-Sobolev inequalities, hypercontractivity and uncertainty principle on the hypercube

abstract: Log-Sobolev inequalities (LSIs) upper-bound entropy via a multiple of the Dirichlet form (i.e. norm of a gradient). In this paper we prove a family of entropy-energy inequalities for the binary hypercube which provide a non-linear comparison between the entropy and the Dirichlet form and improve on the usual LSIs for functions with small support. These non-linear LSIs, in turn, imply a new version of the hypercontractivity for such functions. As another consequence, we derive a sharp form of the uncertainty principle for the hypercube: a function whose energy is concentrated on a set of small size, and whose Fourier energy is concentrated on a small Hamming ball must be zero. The tradeoff between the sizes that we derive is asymptotically optimal. This new uncertainty principle implies a new estimate on the size of Fourier coefficients of sparse Boolean functions. We observe that an analogous (asymptotically optimal) uncertainty principle in the Euclidean space follows from the sharp form of Young's inequality due to Beckner. This hints that non-linear LSIs augment Young's inequality (which itself is sharp for finite groups).


title: Deterministic Generation of a Cluster State of Entangled Photons

abstract: We use semiconductor quantum dots, "artificial atoms," to implement a scheme for deterministic generation of long strings of entangled photons in a cluster state, an important resource for quantum information processing. We demonstrate a prototype device which produces strings of a few hundred photons in which the entanglement persists over 5 sequential photons. The implementation follows a proposal by Lindner and Rudolph (Phys. Rev. Lett. 2009) which suggested periodic timed excitation of a precessing electron spin as a mechanism for entangling the electron spin with the polarization of the sequentially emitted photons. In our realization, the entangling qubit is a quantum dot confined dark exciton. By performing full quantum process tomography, we obtain the process map which fully characterizes the evolution of the system, containing the dark exciton and n photons after n applications of the periodic excitations. Our implementation may greatly reduce the resources needed for quantum information processing.


title: Sort Story: Sorting Jumbled Images and Captions into Stories

abstract: Temporal common sense has applications in AI tasks such as QA, multi-document summarization, and human-AI communication. We propose the task of sequencing -- given a jumbled set of aligned image-caption pairs that belong to a story, the task is to sort them such that the output sequence forms a coherent story. We present multiple approaches, via unary (position) and pairwise (order) predictions, and their ensemble-based combinations, achieving strong results on this task. We use both text-based and image-based features, which depict complementary improvements. Using qualitative examples, we demonstrate that our models have learnt interesting aspects of temporal common sense.


title: Lattice QCD for Cosmology

abstract: We present a full result for the equation of state (EoS) in 2+1+1 (up/down, strange and charm quarks are present) flavour lattice QCD. We extend this analysis and give the equation of state in 2+1+1+1 flavour QCD. In order to describe the evolution of the universe from temperatures several hundreds of GeV to several tens of MeV we also include the known effects of the electroweak theory and give the effective degree of freedoms. As another application of lattice QCD we calculate the topological susceptibility (chi) up to the few GeV temperature region. These two results, EoS and chi, can be used to predict the dark matter axion's mass in the post-inflation scenario and/or give the relationship between the axion's mass and the universal axionic angle, which acts as a initial condition of our universe.


title: Classification of families of pr- and epr-sequences

abstract: This paper establishes new restrictions for attainable enhanced principal rank characteristic sequences (epr-sequences). These results are then used to classify two related families of sequences that are attainable by a real symmetric matrix: the family of principal rank characteristic sequences (pr-sequences) not containing three consecutive $1$s and the family of epr-sequences which contain an $\tt{N}$ in every subsequence of length $3$.


title: Is a Picture Worth Ten Thousand Words in a Review Dataset?

abstract: While textual reviews have become prominent in many recommendation-based systems, automated frameworks to provide relevant visual cues against text reviews where pictures are not available is a new form of task confronted by data mining and machine learning researchers. Suggestions of pictures that are relevant to the content of a review could significantly benefit the users by increasing the effectiveness of a review. We propose a deep learning-based framework to automatically: (1) tag the images available in a review dataset, (2) generate a caption for each image that does not have one, and (3) enhance each review by recommending relevant images that might not be uploaded by the corresponding reviewer. We evaluate the proposed framework using the Yelp Challenge Dataset. While a subset of the images in this particular dataset are correctly captioned, the majority of the pictures do not have any associated text. Moreover, there is no mapping between reviews and images. Each image has a corresponding business-tag where the picture was taken, though. The overall data setting and unavailability of crucial pieces required for a mapping make the problem of recommending images for reviews a major challenge. Qualitative and quantitative evaluations indicate that our proposed framework provides high quality enhancements through automatic captioning, tagging, and recommendation for mapping reviews and images.


title: Testing Modeling Assumptions in the West Africa Ebola Outbreak

abstract: The Ebola virus in West Africa has infected almost 30,000 and killed over 11,000 people. Recent models of Ebola Virus Disease (EVD) have often made assumptions about how the disease spreads, such as uniform transmissibility and homogeneous mixing within a population. In this paper, we test whether these assumptions are necessarily correct, and offer simple solutions that may improve disease model accuracy. First, we use data and models of West African migration to show that EVD does not homogeneously mix, but spreads in a predictable manner. Next, we estimate the initial growth rate of EVD within country administrative divisions and find that it significantly decreases with population density. Finally, we test whether EVD strains have uniform transmissibility through a novel statistical test, and find that certain strains appear more often than expected by chance.


title: Project Based Learning of Embedded Systems

abstract: Traditional teaching, usually based on lectures and tutorials fosters the idea of instruction-driven learning model where students are passive listeners. Besides this approach, Project Based Learning (PBL) as a different learning paradigm is standing behind constructivism learning theory, where learning from real-world situations is put on the first place. The purpose of this paper is to present our approach in learning embedded systems at our University. It is based on combination of traditional (face-to-face) learning and PBL. Our PBL represents an interdisciplinary project based on wireless sensor monitoring of real-world environment (greenhouse). The students use UML that was shown as an excellent tool for developing such a projects. From the student perspective, we found that this high level of interdisciplinary is very valuable from the point of view of facing the students with real-life problems.


title: Non-amenable principal groupoids with weak containment

abstract: We construct examples of principal groupoids that have weak containment but are not amenable, thus answering questions by Claire Anantharaman-Delaroche and Rufus Willett.


title: Evolution of Vacuum Bubbles Embeded in Inhomogeneous Spacetimes

abstract: We study the propagation of bubbles of new vacuum in a radially inhomogeneous background filled with dust or radiation, and including a cosmological constant, as a first step in the analysis of the influence of inhomogeneities in the evolution of an inflating region. We also compare the cases with dust and radiation backgrounds and show that the evolution of the bubble in radiation environments is notably different from that in the corresponding dust cases, both for homogeneous and inhomogeneous ambients, leading to appreciable differences in the evolution of the proper radius of the bubble.


title: Gauge Mediation at LHC: status and prospects

abstract: We show that the predictivity of general gauge mediation (GGM) with TeV-scale stops is greatly increased once the Higgs mass constraint is imposed. The most notable results are a strong lower bound on the mass of the gluino and right-handed squarks, and an upper bound on the Higgsino mass. If the mu-parameter is positive, the wino mass is also bounded from above. These constraints relax significantly for high messenger scales and as such long-lived NLSPs are favored in GGM. We identify a small set of most promising topologies for the neutralino/sneutrino NLSP scenarios and estimate the impact of the current bounds and the sensitivity of the high luminosity LHC. The stau, stop and sbottom NLSP scenarios can be robustly excluded at the high luminosity LHC.


title: Wireless Sensor Networks Localization Methods: Multidimensional Scaling vs. Semidefinite Programming Approach

abstract: With the recent development of technology, wireless sensor networks are becoming an important part of many applications such as health and medical applications, military applications, agriculture monitoring, home and office applications, environmental monitoring, etc. Knowing the location of a sensor is important, but GPS receivers and ophisticated sensors are too expensive and require processing power. Therefore, the localization wireless sensor network problem is a growing field of interest. The aim of this paper is to give a comparison of wireless sensor network localization methods, and therefore, multidimensional scaling and semidefinite programming are chosen for this research. Multidimensional scaling is a simple mathematical technique widely-discussed that solves the wireless sensor networks localization problem. In contrast, semidefinite programming is a relatively new field of optimization with a growing use, although being more complex. In this paper, using extensive simulations, a detailed overview of these two approaches is given, regarding different network topologies, various network parameters and performance issues. The performances of both techniques are highly satisfactory and estimation errors are minimal


title: Entanglement Swapping with Independent Sources over an Optical Fibre Network

abstract: Teleportation of an entangled state, known as entanglement swapping, plays an essential role in quantum communication and network.Here we report a field-test entanglement swapping experiment with two independent telecommunication band entangled photon-pair sources over the optical fibre network of Hefei city. The two sources are located at two nodes 12 km apart and the Bell-state measurement is performed in a third location which is connected to the two source nodes with 14.7 km and 10.6 km optical fibres. An average visibility of 79.9+/-4.8% is observed in our experiment, which is high enough to infer a violation of Bell inequality. With the entanglement swapping setup, we demonstrate a source independent quantum key distribution, which is also immune to any attack against detection in the measurement site.


title: Variational Calculus with Conformable Fractional Derivatives

abstract: Invariant conditions for conformable fractional problems of the calculus of variations under the presence of external forces in the dynamics are studied. Depending on the type of transformations considered, different necessary conditions of invariance are obtained. As particular cases, we prove fractional versions of Noether's symmetry theorem. Invariant conditions for fractional optimal control problems, using the Hamiltonian formalism, are also investigated. As an example of potential application in Physics, we show that with conformable derivatives it is possible to formulate an Action Principle for particles under frictional forces that is far simpler than the one obtained with classical fractional derivatives.


title: Understanding close-lying exotic charmonia states within QCD sum rules

abstract: Motivated by the experimental findings of some new exotic states decaying into channels like $J/\psi \phi$, we investigate the formation of resonances/bound states in the $D^*_s\bar D^*_s$ system using QCD sum rules. To do this we start with a current of the type vector times vector and use spin projectors to separate the spin 0, 1 and 2 contributions to the correlation function. We find three states with isospin 0, nearly spin degenerate, with a mass around 4.1 GeV. We have also investigated the decay of these states to $J/\psi \phi$ and provide the corresponding partial widths. Such information should be useful for experimental studies in future.


title: Cluster-based MDS Algorithm for Nodes Localization in Wireless Sensor Networks with Irregular Topologies

abstract: Nodes localization in Wireless Sensor Networks (WSN) has arisen as a very challenging problem in the research community. Most of the applications for WSN are not useful without a priori known nodes positions. One solution to the problem is by adding GPS receivers to each node. Since this is an expensive approach and inapplicable for indoor environments, we need to find an alternative intelligent mechanism for determining nodes location. In this paper, we propose our cluster-based approach of multidimensional scaling (MDS) technique. Our initial experiments show that our algorithm outperforms MDS-MAP[8], particularly for irregular topologies in terms of accuracy.


title: Order and symmetry-breaking in the fluctuations of driven systems

abstract: Dynamical phase transitions (DPTs) in the space of trajectories are one of the most intriguing phenomena of nonequilibrium physics, but their nature in realistic high-dimensional systems remains puzzling. Here we observe for the first time a DPT in the current vector statistics of an archetypal two-dimensional (2d) driven diffusive system, and characterize its properties using macroscopic fluctuation theory. The complex interplay among the external field, anisotropy and vector currents in 2d leads to a rich phase diagram, with different symmetry-broken fluctuation phases separated by lines of first- and second-order DPTs. Remarkably, different types of 1d order in the form of jammed density waves emerge to hinder transport for low-current fluctuations, revealing a connection between rare events and self-organized structures which enhance their probability.

categories: cond-mat.stat-mech cond-mat.mes-hall cond-mat.soft math-ph math.MP nlin.PS


title: A characterization of integral input-to-state stability for hybrid systems

abstract: This paper addresses characterizations of integral input-to-state stability (iISS) for hybrid systems. In particular, we give a Lyapunov characterization of iISS unifying and generalizing the existing theory for pure continuous-time and pure discrete-time systems. Moreover, iISS is related to dissipativity and detectability notions. Robustness of iISS to sufficiently small perturbations is also investigated. As an application of our results, we provide a maximum allowable sampling period guaranteeing iISS for sampled-data control systems with an emulated controller.


title: Convex Decomposition And Efficient Shape Representation Using Deformable Convex Polytopes

abstract: Decomposition of shapes into (approximate) convex parts is essential for applications such as part-based shape representation, shape matching, and collision detection. In this paper, we propose a novel convex decomposition using a parametric implicit shape model called Disjunctive Normal Shape Model (DNSM). The DNSM is formed as a union of polytopes which themselves are formed by intersections of halfspaces. The key idea is by deforming the polytopes, which naturally remain convex during the evolution, the polytopes capture convex parts without the need to compute convexity. The major contributions of this paper include a robust convex decomposition which also results in an efficient part-based shape representation, and a novel shape convexity measure. The experimental results show the potential of the proposed method.


title: Orbital solution and evolutionary state for the eclipsing binary 1SWASP J080150.03+471433.8

abstract: We present an orbital solution study for the newly discovered system 1SWASP J080150.03+471433.8 by means of new CCD observations in VRI bands. Our observations were carried out on 25 Feb. 2013 using the Kottamia optical telescope at NRIAG, Egypt. 12 new times of minima were estimated and the observed light curves were analysed using the Wilson-Devinney code. The accepted orbital solution reveals that the primary component of is more massive and hotter than the secondary one by about 280K. The system is an over-contact one with fillout ratio ~ 29% and is located at a distance of 195 Pc. The evolutionary status of the system is investigated by means of stellar models and empirical data.


title: Disjunctive Normal Level Set: An Efficient Parametric Implicit Method

abstract: Level set methods are widely used for image segmentation because of their capability to handle topological changes. In this paper, we propose a novel parametric level set method called Disjunctive Normal Level Set (DNLS), and apply it to both two phase (single object) and multiphase (multi-object) image segmentations. The DNLS is formed by union of polytopes which themselves are formed by intersections of half-spaces. The proposed level set framework has the following major advantages compared to other level set methods available in the literature. First, segmentation using DNLS converges much faster. Second, the DNLS level set function remains regular throughout its evolution. Third, the proposed multiphase version of the DNLS is less sensitive to initialization, and its computational cost and memory requirement remains almost constant as the number of objects to be simultaneously segmented grows. The experimental results show the potential of the proposed method.


title: Constrained fractional variational problems of variable order

abstract: Isoperimetric problems consist in minimizing or maximizing a cost functional subject to an integral constraint. In this work, we present two fractional isoperimetric problems where the Lagrangian depends on a combined Caputo derivative of variable fractional order and we present a new variational problem subject to a holonomic constraint. We establish necessary optimality conditions in order to determine the minimizers of the fractional problems. The terminal point in the cost integral, as well the terminal state, are considered to be free, and we obtain corresponding natural boundary conditions.


title: The Problem of Analogical Inference in Inductive Logic

abstract: We consider one problem that was largely left open by Rudolf Carnap in his work on inductive logic, the problem of analogical inference. After discussing some previous attempts to solve this problem, we propose a new solution that is based on the ideas of Bruno de Finetti on probabilistic symmetries. We explain how our new inductive logic can be developed within the Carnapian paradigm of inductive logic-deriving an inductive rule from a set of simple postulates about the observational process-and discuss some of its properties.


title: Human-Agent Decision-making: Combining Theory and Practice

abstract: Extensive work has been conducted both in game theory and logic to model strategic interaction. An important question is whether we can use these theories to design agents for interacting with people? On the one hand, they provide a formal design specification for agent strategies. On the other hand, people do not necessarily adhere to playing in accordance with these strategies, and their behavior is affected by a multitude of social and psychological factors. In this paper we will consider the question of whether strategies implied by theories of strategic behavior can be used by automated agents that interact proficiently with people. We will focus on automated agents that we built that need to interact with people in two negotiation settings: bargaining and deliberation. For bargaining we will study game-theory based equilibrium agents and for argumentation we will discuss logic-based argumentation theory. We will also consider security games and persuasion games and will discuss the benefits of using equilibrium based agents.


title: Resolving Distributed Knowledge

abstract: Distributed knowledge is the sum of the knowledge in a group; what someone who is able to discern between two possible worlds whenever any member of the group can discern between them, would know. Sometimes distributed knowledge is referred to as the potential knowledge of a group, or the joint knowledge they could obtain if they had unlimited means of communication. In epistemic logic, the formula D_G{\phi} is intended to express the fact that group G has distributed knowledge of {\phi}, that there is enough information in the group to infer {\phi}. But this is not the same as reasoning about what happens if the members of the group share their information. In this paper we introduce an operator R_G, such that R_G{\phi} means that {\phi} is true after G have shared all their information with each other - after G's distributed knowledge has been resolved. The R_G operators are called resolution operators. Semantically, we say that an expression R_G{\phi} is true iff {\phi} is true in what van Benthem [11, p. 249] calls (G's) communication core; the model update obtained by removing links to states for members of G that are not linked by all members of G. We study logics with different combinations of resolution operators and operators for common and distributed knowledge. Of particular interest is the relationship between distributed and common knowledge. The main results are sound and complete axiomatizations.


title: Epistemic Protocols for Distributed Gossiping

abstract: Gossip protocols aim at arriving, by means of point-to-point or group communications, at a situation in which all the agents know each other's secrets. We consider distributed gossip protocols which are expressed by means of epistemic logic. We provide an operational semantics of such protocols and set up an appropriate framework to argue about their correctness. Then we analyze specific protocols for complete graphs and for directed rings.


title: Coordination Games on Directed Graphs

abstract: We study natural strategic games on directed graphs, which capture the idea of coordination in the absence of globally common strategies. We show that these games do not need to have a pure Nash equilibrium and that the problem of determining their existence is NP-complete. The same holds for strong equilibria. We also exhibit some classes of games for which strong equilibria exist and prove that a strong equilibrium can then be found in linear time.


title: On the Solvability of Inductive Problems: A Study in Epistemic Topology

abstract: We investigate the issues of inductive problem-solving and learning by doxastic agents. We provide topological characterizations of solvability and learnability, and we use them to prove that AGM-style belief revision is "universal", i.e., that every solvable problem is solvable by AGM conditioning.


title: Bayesian Games with Intentions

abstract: We show that standard Bayesian games cannot represent the full spectrum of belief-dependent preferences. However, by introducing a fundamental distinction between intended and actual strategies, we remove this limitation. We define Bayesian games with intentions, generalizing both Bayesian games and psychological games, and prove that Nash equilibria in psychological games correspond to a special class of equilibria as defined in our setting.


title: Standard State Space Models of Unawareness (Extended Abstract)

abstract: The impossibility theorem of Dekel, Lipman and Rustichini has been thought to demonstrate that standard state-space models cannot be used to represent unawareness. We first show that Dekel, Lipman and Rustichini do not establish this claim. We then distinguish three notions of awareness, and argue that although one of them may not be adequately modeled using standard state spaces, there is no reason to think that standard state spaces cannot provide models of the other two notions. In fact, standard space models of these forms of awareness are attractively simple. They allow us to prove completeness and decidability results with ease, to carry over standard techniques from decision theory, and to add propositional quantifiers straightforwardly.


title: Do players reason by forward induction in dynamic perfect information games?

abstract: We conducted an experiment where participants played a perfect-information game against a computer, which was programmed to deviate often from its backward induction strategy right at the beginning of the game. Participants knew that in each game, the computer was nevertheless optimizing against some belief about the participant's future strategy. It turned out that in the aggregate, participants were likely to respond in a way which is optimal with respect to their best-rationalization extensive form rationalizability conjecture - namely the conjecture that the computer is after a larger prize than the one it has foregone, even when this necessarily meant that the computer has attributed future irrationality to the participant when the computer made the first move in the game. Thus, it appeared that participants applied forward induction. However, there exist alternative explanations for the choices of most participants; for example, choices could be based on the extent of risk aversion that participants attributed to the computer in the remainder of the game, rather than to the sunk outside option that the computer has already foregone at the beginning of the game. For this reason, the results of the experiment do not yet provide conclusive evidence for Forward Induction reasoning on the part of the participants.


title: Ceteris paribus logic in counterfactual reasoning

abstract: The semantics for counterfactuals due to David Lewis has been challenged on the basis of unlikely, or impossible, events. Such events may skew a given similarity order in favour of those possible worlds which exhibit them. By updating the relational structure of a model according to a ceteris paribus clause one forces out, in a natural manner, those possible worlds which do not satisfy the requirements of the clause. We develop a ceteris paribus logic for counterfactual reasoning capable of performing such actions, and offer several alternative (relaxed) interpretations of ceteris paribus. We apply this framework in a way which allows us to reason counterfactually without having our similarity order skewed by unlikely events. This continues the investigation of formal ceteris paribus reasoning, which has previously been applied to preferences, logics of game forms, and questions in decision-making, among other areas.


title: An Axiomatic Approach to Routing

abstract: Information delivery in a network of agents is a key issue for large, complex systems that need to do so in a predictable, efficient manner. The delivery of information in such multi-agent systems is typically implemented through routing protocols that determine how information flows through the network. Different routing protocols exist each with its own benefits, but it is generally unclear which properties can be successfully combined within a given algorithm. We approach this problem from the axiomatic point of view, i.e., we try to establish what are the properties we would seek to see in such a system, and examine the different properties which uniquely define common routing algorithms used today. We examine several desirable properties, such as robustness, which ensures adding nodes and edges does not change the routing in a radical, unpredictable ways; and properties that depend on the operating environment, such as an "economic model", where nodes choose their paths based on the cost they are charged to pass information to the next node. We proceed to fully characterize minimal spanning tree, shortest path, and weakest link routing algorithms, showing a tight set of axioms for each.


title: Preference at First Sight

abstract: We consider decision-making and game scenarios in which an agent is limited by his/her computational ability to foresee all the available moves towards the future - that is, we study scenarios with short sight. We focus on how short sight affects the logical properties of decision making in multi-agent settings. We start with single-agent sequential decision making (SSDM) processes, modeling them by a new structure of "preference-sight trees". Using this model, we first explore the relation between a new natural solution concept of Sight-Compatible Backward Induction (SCBI) and the histories produced by classical Backward Induction (BI). In particular, we find necessary and sufficient conditions for the two analyses to be equivalent. Next, we study whether larger sight always contributes to better outcomes. Then we develop a simple logical special-purpose language to formally express some key properties of our preference-sight models. Lastly, we show how short-sight SSDM scenarios call for substantial enrichments of existing fixed-point logics that have been developed for the classical BI solution concept. We also discuss changes in earlier modal logics expressing "surface reasoning" about best actions in the presence of short sight. Our analysis may point the way to logical and computational analysis of more realistic game models.


title: Relating Knowledge and Coordinated Action: The Knowledge of Preconditions Principle

abstract: The Knowledge of Preconditions principle (KoP) is proposed as a widely applicable connection between knowledge and action in multi-agent systems. Roughly speaking, it asserts that if some condition is a necessary condition for performing a given action A, then knowing that this condition holds is also a necessary condition for performing A. Since the specifications of tasks often involve necessary conditions for actions, the KoP principle shows that such specifications induce knowledge preconditions for the actions. Distributed protocols or multi-agent plans that satisfy the specifications must ensure that this knowledge be attained, and that it is detected by the agents as a condition for action. The knowledge of preconditions principle is formalised in the runs and systems framework, and is proven to hold in a wide class of settings. Well-known connections between knowledge and coordinated action are extended and shown to derive directly from the KoP principle: a "common knowledge of preconditions" principle is established showing that common knowledge is a necessary condition for performing simultaneous actions, and a "nested knowledge of preconditions" principle is proven, showing that coordinating actions to be performed in linear temporal order requires a corresponding form of nested knowledge.


title: Parameterized Complexity Results for a Model of Theory of Mind Based on Dynamic Epistemic Logic

abstract: In this paper we introduce a computational-level model of theory of mind (ToM) based on dynamic epistemic logic (DEL), and we analyze its computational complexity. The model is a special case of DEL model checking. We provide a parameterized complexity analysis, considering several aspects of DEL (e.g., number of agents, size of preconditions, etc.) as parameters. We show that model checking for DEL is PSPACE-hard, also when restricted to single-pointed models and S5 relations, thereby solving an open problem in the literature. Our approach is aimed at formalizing current intractability claims in the cognitive science literature regarding computational models of ToM.


title: Announcement as effort on topological spaces

abstract: We propose a multi-agent logic of knowledge, public and arbitrary announcements, that is interpreted on topological spaces in the style of subset space semantics. The arbitrary announcement modality functions similarly to the effort modality in subset space logics, however, it comes with intuitive and semantic differences. We provide axiomatizations for three logics based on this setting, and demonstrate their completeness.


title: A Dynamic Epistemic Framework for Conformant Planning

abstract: In this paper, we introduce a lightweight dynamic epistemic logical framework for automated planning under initial uncertainty. We reduce plan verification and conformant planning to model checking problems of our logic. We show that the model checking problem of the iteration-free fragment is PSPACE-complete. By using two non-standard (but equivalent) semantics, we give novel model checking algorithms to the full language and the iteration-free language.


title: The optimality of coarse categories in decision-making and information storage

abstract: An agent who lacks preferences and instead makes decisions using criteria that are costly to create should select efficient sets of criteria, where the cost of making a given number of choice distinctions is minimized. Under mild conditions, efficiency requires that binary criteria with only two categories per criterion are chosen. When applied to the problem of determining the optimal number of digits in an information storage device, this result implies that binary digits (bits) are the efficient solution, even when the marginal cost of using additional digits declines rapidly to 0. This short paper pays particular attention to the symmetry conditions entailed when sets of criteria are efficient.


title: Escobar's Type Theorems for elliptic fully nonlinear degenerate equations

abstract: In this paper we prove non-existence and classification results for elliptic fully nonlinear elliptic degenerate conformal equations on certain subdomains of the sphere with prescribed constant mean curvature along its boundary. We also consider non-degenerate equations. Such subdomains are the hemisphere (or a geodesic ball in $\mathbb{S}^m$), punctured balls and annular domains. Our results extend those of Escobar in when $m\geq 3$, and Hang-Wang and Jimenez in when $m=2$.


title: One-Bit Compressive Sensing of Dictionary-Sparse Signals

abstract: One-bit compressive sensing has extended the scope of sparse recovery by showing that sparse signals can be accurately reconstructed even when their linear measurements are subject to the extreme quantization scenario of binary samples---only the sign of each linear measurement is maintained. Existing results in one-bit compressive sensing rely on the assumption that the signals of interest are sparse in some fixed orthonormal basis. However, in most practical applications, signals are sparse with respect to an overcomplete dictionary, rather than a basis. There has already been a surge of activity to obtain recovery guarantees under such a generalized sparsity model in the classical compressive sensing setting. Here, we extend the one-bit framework to this important model, providing a unified theory of one-bit compressive sensing under dictionary sparsity. Specifically, we analyze several different algorithms---based on convex programming and on hard thresholding---and show that, under natural assumptions on the sensing matrix (satisfied by Gaussian matrices), these algorithms can efficiently recover analysis-dictionary-sparse signals in the one-bit model.


title: Presymplectic structures and intrinsic Lagrangians

abstract: It is well-known that a Lagrangian induces a compatible presymplectic form on the equation manifold (stationary surface, understood as a submanifold of the respective jet-space). Given an equation manifold and a compatible presymplectic form therein, we define the first-order Lagrangian system which is formulated in terms of the intrinsic geometry of the equation manifold. It has a structure of a presymplectic AKSZ sigma model for which the equation manifold, equipped with the presymplectic form and the horizontal differential, serves as the target space. For a wide class of systems (but not all) we show that if the presymplectic structure originates from a given Lagrangian, the proposed first-order Lagrangian is equivalent to the initial one and hence the Lagrangian per se can be entirely encoded in terms of the intrinsic geometry of its stationary surface. If the compatible presymplectic structure is generic, the proposed Lagrangian is only a partial one in the sense that its stationary surface contains the initial equation manifold but does not necessarily coincide with it.


title: Translucent Players: Explaining Cooperative Behavior in Social Dilemmas

abstract: In the last few decades, numerous experiments have shown that humans do not always behave so as to maximize their material payoff. Cooperative behavior when non-cooperation is a dominant strategy (with respect to the material payoffs) is particularly puzzling. Here we propose a novel approach to explain cooperation, assuming what Halpern and Pass call translucent players. Typically, players are assumed to be opaque, in the sense that a deviation by one player in a normal-form game does not affect the strategies used by other players. But a player may believe that if he switches from one strategy to another, the fact that he chooses to switch may be visible to the other players. For example, if he chooses to defect in Prisoner's Dilemma, the other player may sense his guilt. We show that by assuming translucent players, we can recover many of the regularities observed in human behavior in well-studied games such as Prisoner's Dilemma, Traveler's Dilemma, Bertrand Competition, and the Public Goods game.


title: Essential norms of Volterra-type operators between~$Zygmund$~ type spaces

abstract: ~In this paper, we investigate the boundedness of some Volterra-type operators between ~$Zygmund$~ type spaces. Then, we give the essential norms of such operators in terms of ~$g,\varphi$, their derivatives and the n-th power ~$\varphi^n$ of ~$\varphi$.


title: Some Three-body force cancellations in Chiral Lagrangians

abstract: The cancellation between off-shell two body forces and three body forces implies a tremendous simplification in the study of three body resonances in two meson-one baryon systems. While this can be done by means of Faddeev equations we provide an alternative and simpler derivation using just the chiral Lagrangian and the field re-parametrization invariance.


title: Coupled Generative Adversarial Networks

abstract: We propose coupled generative adversarial network (CoGAN) for learning a joint distribution of multi-domain images. In contrast to the existing approaches, which require tuples of corresponding images in different domains in the training set, CoGAN can learn a joint distribution without any tuple of corresponding images. It can learn a joint distribution with just samples drawn from the marginal distributions. This is achieved by enforcing a weight-sharing constraint that limits the network capacity and favors a joint distribution solution over a product of marginal distributions one. We apply CoGAN to several joint distribution learning tasks, including learning a joint distribution of color and depth images, and learning a joint distribution of face images with different attributes. For each task it successfully learns the joint distribution without any tuple of corresponding images. We also demonstrate its applications to domain adaptation and image transformation.