title: The Leptoquark Hunter's Guide: Pair Production

abstract: Leptoquarks occur in many new physics scenarios and could be the next big discovery at the LHC. The purpose of this paper is to point out that a model-independent search strategy covering all possible leptoquarks is possible and has not yet been fully exploited. To be systematic we organize the possible leptoquark final states according to a leptoquark matrix with entries corresponding to nine experimentally distinguishable leptoquark decays: any of {light-jet, b-jet, top} with any of {neutrino, $e/\mu$, $\tau$}. The 9 possibilities can be explored in a largely model-independent fashion with pair-production of leptoquarks at the LHC. We review the status of experimental searches for the 9 components of the leptoquark matrix, pointing out which 3 have not been adequately covered. We plead that experimenters publish bounds on leptoquark cross sections as functions of mass for as wide a range of leptoquark masses as possible. Such bounds are essential for reliable recasts to general leptoquark models. To demonstrate the utility of the leptoquark matrix approach we collect and summarize searches with the same final states as leptoquark pair production and use them to derive bounds on a complete set of Minimal Leptoquark models which span all possible flavor and gauge representations for scalar and vector leptoquarks.


title: A New Viable Region of Inert Higgs Doublet Dark Matter Model with Scotogenic Extension

abstract: We explore the intermediate dark matter mass regime of the inert Higgs doublet model (IHDM) by extending the model with three copies of right handed singlet neutrinos. The in built discrete $Z_2$ symmetry of the model allows these right handed neutrinos to couple to the usual lepton doublets through the inert Higgs doublet allowing the possibility of radiative neutrino mass in the scotogenic fashion. Apart from generating non-zero neutrino mass, such an extension can also revive the intermediate dark matter mass regime, between $W$ boson mass to a few hundred GeV's where pure IHDM can not give rise to correct dark matter relic abundance. The late decay of the lightest right handed neutrino to dark matter makes it possible for the usual thermally under-abundant dark matter in this intermediate mass regime to satisfy the correct relic abundance limit. The revival of this wide intermediate mass range can not only have relevance for direct search experiments but also for neutrino experiments as the long lifetime of the lightest right handed neutrino also results in almost vanishing lightest neutrino mass.


title: Misaligned Spin Merging Black Holes in Modified Gravity (MOG)

abstract: A promising signature of coalescing black holes is their spin angular distribution. We consider the aLIGO collaboration gravitational wave measurements of the binary black hole spins and the predicted modified gravity (MOG) preference for misaligned spins of the coalescing black holes. In MOG, during the merger of two black holes, the enhanced strength of gravitation reduces the effective spin parameter $\chi_{\rm eff}\sim 0$ in agreement with the measured spin misalignment of the merging black holes observed in the gravitational wave detections by the aLIGO collaboration.


title: Is cosmic acceleration proven by local cosmological probes?

abstract: Context: The cosmological concordance model ($\Lambda$CDM) matches the cosmological observations exceedingly well. This model has become the standard cosmological model with the evidence for an accelerated expansion provided by the type Ia supernovae (SNIa) Hubble diagram. However, the robustness of this evidence has been addressed recently with somewhat diverging conclusions. Aims: The purpose of this paper is to assess the robustness of the conclusion that the Universe is indeed accelerating if we rely only on low-redshift (z$\lesssim$2) observations, that is to say with SNIa, baryonic acoustic oscillations, measurements of the Hubble parameter at different redshifts, and measurements of the growth of matter perturbations. Methods: We used the standard statistical procedure of minimizing the $\chi^2$ function for the different probes to quantify the goodness of fit of a model for both $\Lambda$CDM and a simple nonaccelerated low-redshift power law model. In this analysis, we do not assume that supernovae intrinsic luminosity is independent of the redshift, which has been a fundamental assumption in most previous studies that cannot be tested. Results: We have found that, when SNIa intrinsic luminosity is not assumed to be redshift independent, a nonaccelerated low-redshift power law model is able to fit the low-redshift background data as well as, or even slightly better, than $\Lambda$CDM. When measurements of the growth of structures are added, a nonaccelerated low-redshift power law model still provides an excellent fit to the data for all the luminosity evolution models considered. Conclusions: Without the standard assumption that supernovae intrinsic luminosity is independent of the redshift, low-redshift probes are consistent with a nonaccelerated universe.


title: Model based approach to study Defect Dependency in Large Scale Integrated Software Products

abstract: Large organizations have diverse product offerings to meet various business needs. To increase revenue, its common these days to offer software products as integrated product suite(s) rather than individual products. Creating and maintaining high quality software products within the integrated product suite requires rigorous product engineering methods. The sheer size of products and dependencies involved tend to raise unidentified defects that may become critical post product upgrades or after every release cycle. It is difficult to track such defects and its widespread across underlying sub-products. In this paper, we present a model based approach to study the defect dependency in large scale integrated software products to avoid surprise defects after product release. To validate the approach, we have applied it on some pilot projects in industry.


title: Higher-genus wall-crossing in the gauged linear sigma model

abstract: We introduce a technique for proving all-genus wall-crossing formulas in the gauged linear sigma model as the stability parameter varies, without assuming factorization properties of the virtual class. We implement this technique explicitly for the hybrid model, which generalizes our previous work to the Landau--Ginzburg phase.


title: Consensus-Based Transfer Linear Support Vector Machines for Decentralized Multi-Task Multi-Agent Learning

abstract: Transfer learning has been developed to improve the performances of different but related tasks in machine learning. However, such processes become less efficient with the increase of the size of training data and the number of tasks. Moreover, privacy can be violated as some tasks may contain sensitive and private data, which are communicated between nodes and tasks. We propose a consensus-based distributed transfer learning framework, where several tasks aim to find the best linear support vector machine (SVM) classifiers in a distributed network. With alternating direction method of multipliers, tasks can achieve better classification accuracies more efficiently and privately, as each node and each task train with their own data, and only decision variables are transferred between different tasks and nodes. Numerical experiments on MNIST datasets show that the knowledge transferred from the source tasks can be used to decrease the risks of the target tasks that lack training data or have unbalanced training labels. We show that the risks of the target tasks in the nodes without the data of the source tasks can also be reduced using the information transferred from the nodes who contain the data of the source tasks. We also show that the target tasks can enter and leave in real-time without rerunning the whole algorithm.


title: Some generalizations of numerical radius on off-diagonal part of $2\times 2$ operator matrices

abstract: We generalize several inequalities involving powers of the numerical radius for off-diagonal part of $2\times2$ operator matrices of the form $T=\left[\begin{array}{cc} 0&B, C&0 \end{array}\right]$, where $B, C$ are two operators. In particular, if $T=\left[\begin{array}{cc} 0&B, C&0 \end{array}\right]$, then we get \begin{align*} {1\over 2^{{3\over2}(r-1)}}\max\{ \| \mu \|, \| \eta \| \} \leq w^{r}(T)\leq \frac{1}{2^{r+1}} \max\{ \| \mu \|, \| \eta \| \}, \end{align*} where $r\geq 2$ and $ \mu=|(C-B^{*})+i(C+B^{*})|^{r}+|(B^{*}-C)+i(C+B^{*})|^{r}$, $ \eta=|(B-C^{*})+i(B+C^{*})|^{r}+|(C^{*}-B)+i(B+C^{*})|^{r}$.


title: Internal Stabilization of a Class of Parabolic Integro-Differential Equations: Application to Viscoelastic Fluids

abstract: In this paper, we prove the stabilizability of abstract Parabolic Integro-Differential Equations (PIDE) in a Hilbert space with decay rate $e^{-\gamma t} $ for certain $\gamma > 0,$ by means of a finite dimensional controller in the feedback form. We determine a linear feedback law which is obtained by solving an algebraic Riccati equation. To prove the existence of the Riccati operator, we consider a linear quadratic optimal control problem with unbounded observation operator. The abstract theory of stabilization developed here is applied to specific problems related to viscoelastic fluids, e.g. Oldroyd B model and Jeffreys model.


title: DPerm: Assisting the Migration of Android Apps to Runtime Permissions

abstract: Android apps require permissions when accessing resources related to privacy or system integrity. Starting from Android 6, these permissions have to be asked at runtime. However, migrating to the new permission model poses multiple challenges for developers. First, developers have to discover where the app uses permissions, which requires a permission specification. To date several such specifications have been built, yet these are either imprecise, incomplete or don't support all types of protected resources. We first present DPSpec, a novel permission specification built from several documentation formats supplied with the Android SDK. Compared with the state the art specification, it contains 2.5x as many entries for protected methods and detects dangerous permission usages in more than twice as many apps. A second challenge for developers is where to insert permission requests, with possible locations restricted by the request mechanism. We also present DPerm, a static analysis for Android apps that recommends locations for permission requests in code. It achieves high precision through context sensitivity and improves recall through a general call graph augmentation algorithm for incomplete code. Our empirical evaluation on 32 apps shows a precision of 96% and recall of 89%.


title: The thermodynamic efficiency of computations made in cells across the range of life

abstract: Biological organisms must perform computation as they grow, reproduce, and evolve. Moreover, ever since Landauer's bound was proposed it has been known that all computation has some thermodynamic cost -- and that the same computation can be achieved with greater or smaller thermodynamic cost depending on how it is implemented. Accordingly an important issue concerning the evolution of life is assessing the thermodynamic efficiency of the computations performed by organisms. This issue is interesting both from the perspective of how close life has come to maximally efficient computation (presumably under the pressure of natural selection), and from the practical perspective of what efficiencies we might hope that engineered biological computers might achieve, especially in comparison with current computational systems. Here we show that the computational efficiency of translation, defined as free energy expended per amino acid operation, outperforms the best supercomputers by several orders of magnitude, and is only about an order of magnitude worse than the Landauer bound. However this efficiency depends strongly on the size and architecture of the cell in question. In particular, we show that the {\it useful} efficiency of an amino acid operation, defined as the bulk energy per amino acid polymerization, decreases for increasing bacterial size and converges to the polymerization cost of the ribosome. This cost of the largest bacteria does not change in cells as we progress through the major evolutionary shifts to both single and multicellular eukaryotes. However, the rates of total computation per unit mass are nonmonotonic in bacteria with increasing cell size, and also change across different biological architectures including the shift from unicellular to multicellular eukaryotes.


title: Higher Order Regularity and Blow-up Criterion for Semi-dissipative and Ideal Boussinesq Equations

abstract: In this paper we establish local-in-time existence and uniqueness of strong solutions in $H^s$ for $s > \frac{n}{2}$ to the viscous, zero thermal-diffusive Boussinesq equations in $\mathbb{R}^n , n = 2,3$. Beale-Kato-Majda type blow-up criterion has been established in three-dimensions with respect to the $BMO$-norm of the vorticity. We further prove the local-in-time existence and blow-up criterion for non-viscous and fully ideal Boussinesq systems. Commutator estimates due to Kato and Ponce (1988) \cite {KP} and Fefferman et. al. (2014) \cite {Fe} play important roles in the calculations.


title: Order dividing bijective function from non-cyclic to cyclic groups of same finite order

abstract: In this article we give an order-dividing bijective function between cyclic and non cyclic groups of finite order. In particular, we prove that there exists a bijective function from D_{2n} to Z_{2n} for any natural integer n; and from Z_p x Z_k to Z_{pk} when p is an odd prime and k is not a multiple of p.


title: On The Two and Three Dimensional Ideal Magnetic B\'enard Problem - Local Existence and Blow-up Criterion

abstract: In this paper, we consider the ideal magnetic B\'{e}nard problem in both two and three dimensions and prove local-in-time existence and uniqueness of strong solutions in $H^s$ for $s > \frac{n}{2}+1, n = 2,3$. In addition, a necessary condition is derived for singularity development with respect to the $BMO$-norm of the vorticity and electrical current, generalising the Beale-Kato-Majda condition for ideal hydrodynamics.


title: Fermi acceleration of electrons inside foreshock transient cores

abstract: Foreshock transients upstream of Earth's bow shock have been recently observed to accelerate electrons to many times their thermal energy. How such acceleration occurs is unknown, however. Using THEMIS case studies, we examine a subset of acceleration events (31 of 247 events) in foreshock transients with cores that exhibit gradual electron energy increases accompanied by low background magnetic field strength and large-amplitude magnetic fluctuations. Using the evolution of electron distributions and the energy increase rates at multiple spacecraft, we suggest that Fermi acceleration between a converging foreshock transient's compressional boundary and the bow shock is responsible for the observed electron acceleration. We then show that a one-dimensional test particle simulation of an ideal Fermi acceleration model in fluctuating fields prescribed by the observations can reproduce the observed evolution of electron distributions, energy increase rate, and pitch-angle isotropy, providing further support for our hypothesis. Thus, Fermi acceleration is likely the principal electron acceleration mechanism in at least this subset of foreshock transient cores.


title: Human-like Clustering with Deep Convolutional Neural Networks

abstract: Classification and clustering have been studied separately in machine learning and computer vision. Inspired by the recent success of deep learning models in solving various vision problems (e.g., object recognition, semantic segmentation) and the fact that humans serve as the gold standard in assessing clustering algorithms, here, we advocate for a unified treatment of the two problems and suggest that hierarchical frameworks that progressively build complex patterns on top of the simpler ones (e.g., convolutional neural networks) offer a promising solution. We do not dwell much on the learning mechanisms in these frameworks as they are still a matter of debate, with respect to biological constraints. Instead, we emphasize on the compositionality of the real world structures and objects. In particular, we show that CNNs, trained end to end using back propagation with noisy labels, are able to cluster data points belonging to several overlapping shapes, and do so much better than the state of the art algorithms. The main takeaway lesson from our study is that mechanisms of human vision, particularly the hierarchal organization of the visual ventral stream should be taken into account in clustering algorithms (e.g., for learning representations in an unsupervised manner or with minimum supervision) to reach human level clustering performance. This, by no means, suggests that other methods do not hold merits. For example, methods relying on pairwise affinities (e.g., spectral clustering) have been very successful in many scenarios but still fail in some cases (e.g., overlapping clusters).


title: Retrieving Neptune's aerosol properties from Keck OSIRIS observations. I. Dark regions

abstract: We present and analyze three-dimensional data cubes of Neptune from the OSIRIS integral-field spectrograph on the 10-m Keck telescope, from July 2009. These data have a spatial resolution of 0.035"/pixel and spectral resolution of R~3800 in the H and K broad bands. We focus our analysis on regions of Neptune's atmosphere that are near-infrared dark- that is, free of discrete bright cloud features. We use a forward model coupled to a Markov chain Monte Carlo algorithm to retrieve properties of Neptune's aerosol structure and methane profile above ~4 bar in these near-infrared dark regions. Using a set of high signal-to-noise spectra in a cloud-free band from 2-12N, we find that Neptune's cloud opacity is dominated by a compact, optically thick cloud layer with a base near 3 bar and composed of low albedo, forward scattering particles, with an assumed characteristic size of ~1$\mu$m. Above this cloud, we require a vertically extended haze of smaller (~0.1 $\mu$m) particles, which reaches from the upper troposphere (~0.6 bar) into the stratosphere. The particles in this haze are brighter and more isotropically scattering than those in the deep cloud. When we extend our analysis to 18 cloud-free locations from 20N to 87S, we observe that the optical depth in aerosols above 0.5 bar decreases by a factor of 2-3 or more at mid- and high-southern latitudes relative to low latitudes. We also consider Neptune's methane (CH$_4$) profile, and find that our retrievals indicate a strong preference for a low methane relative humidity at pressures where methane is expected to condense. Our preferred solution at most locations is for a methane relative humidity below 10% near the tropopause in addition to methane depletion down to 2.0-2.5 bar. We tentatively identify a trend of lower CH$_4$ columns above 2.5 bar at mid- and high-southern latitudes over low latitudes.


title: Topology of Functions with Isolated Critical Points on the Boundary of a 2-Dimensional Manifold

abstract: This paper focuses on the problem of topological equivalence of functions with isolated critical points on the boundary of a compact surface $M$ which are also isolated critical points of their restrictions to the boundary. This class of functions we denote by $\Omega(M)$. Firstly, we've obtained the topological classification of above-mentioned functions in some neighborhood of their critical points. Secondly, we've constructed a chord diagram from the neighborhood of a critical level. Also the minimum number of critical points of such functions is being considered. And finally, the criterion of global topological equivalence of functions which belong to $\Omega(M)$ and have three critical points has been developed.


title: KIC 8164262: a Heartbeat Star Showing Tidally Induced Pulsations with Resonant Locking

abstract: We present the analysis of KIC 8164262, a heartbeat star with a high-amplitude (~1 mmag), tidally resonant pulsation (a mode in resonance with the orbit) at 229 times the orbital frequency and a plethora of tidally induced g-mode pulsations (modes excited by the orbit). The analysis combines Kepler light curves with follow-up spectroscopic data from the Keck telescope, KPNO (Kitt Peak National Observatory) 4-m Mayal telescope and the 2.7-m telescope at the McDonald observatory. We apply the binary modelling software, PHOEBE, to the Kepler light curve and radial velocity data to determine a detailed binary star model that includes the prominent pulsation and Doppler boosting, alongside the usual attributes of a binary star model (including tidal distortion and reflection). The results show that the system contains a slightly evolved F star with an M secondary companion in a highly eccentric orbit (e = 0.886). We use the results of the binary star model in a companion paper (Fuller et al., 2017) where we show that the prominent pulsation can be explained by a tidally excited oscillation mode held near resonance by a resonance locking mechanism.


title: Strong Solutions of Stochastic Models for Viscoelastic Flows of Oldroyd Type

abstract: In this work we study stochastic Oldroyd type models for viscoelastic fluids in $\mathbb{R}^d, d= 2, 3$. We show existence and uniqueness of strong local maximal solutions when the initial data are in $H^s$ for $s>d/2, d= 2, 3$. Probabilistic estimate of the random time interval for the existence of a local solution is expressed in terms of expected values of the initial data.


title: Accelerated Tidal Circularization Via Resonance Locking in KIC 8164262

abstract: Tidal dissipation in binary star and planetary systems is poorly understood. Fortunately, eccentric binaries known as heartbeat stars often exhibit tidally excited oscillations, providing observable diagnostics of tidal circularization mechanisms and timescales. We apply tidal theories to observations of the heartbeat star KIC 8164262, which contains an F-type primary in a very eccentric orbit that exhibits a prominent tidally excited oscillation. We demonstrate that the prominent oscillation is unlikely to result from a chance resonance between tidal forcing and a stellar oscillation mode. However, the oscillation has a frequency and amplitude consistent with the prediction of resonance locking, a mechanism in which coupled stellar and orbital evolution maintain a stable resonance between tidal forcing and a stellar oscillation mode. The resonantly excited mode produces efficient tidal dissipation (corresponding to an effective tidal quality factor $Q \sim 5 \times 10^4$), such that tidal orbital decay/circularization proceeds on a stellar evolution time scale.


title: Heartbeat Stars, Tidally Excited Oscillations, and Resonance Locking

abstract: Heartbeat stars are eccentric binary stars in short period orbits whose light curves are shaped by tidal distortion, reflection, and Doppler beaming. Some heartbeat stars exhibit tidally excited oscillations and present new opportunities for understanding the physics of tidal dissipation within stars. We present detailed methods to compute the forced amplitudes, frequencies, and phases of tidally excited oscillations in eccentric binary systems. Our methods i) factor out the equilibrium tide for easier comparison with observations, ii) account for rotation using the traditional approximation, iii) incorporate non-adiabatic effects to reliably compute surface luminosity perturbations, iv) allow for spin-orbit misalignment, and v) correctly sum over contributions from many oscillation modes. We also discuss why tidally excited oscillations are more visible in hot stars with surface temperatures $T \! \gtrsim \! 6500 \, {\rm K}$, and we derive some basic probability theory that can be used to compare models with data in a statistical manner. Application of this theory to heartbeat systems can be used to determine whether observed tidally excited oscillations can be explained by chance resonances with stellar oscillation modes, or whether a resonance locking process is operating.


title: Improving \textsl{Gaia} parallax precision with a data-driven model of stars

abstract: Converting a noisy parallax measurement into a posterior belief over distance requires inference with a prior. Usually this prior represents beliefs about the stellar density distribution of the Milky Way. However, multi-band photometry exists for a large fraction of the \textsl{\small{Gaia}} \textsl{\small{TGAS}} Catalog and is incredibly informative about stellar distances. Here we use \textsl{\small{2MASS}} colors for 1.4 million \textsl{\small{TGAS}} stars to build a noise-deconvolved empirical prior distribution for stars in color--magnitude space. This model contains no knowledge of stellar astrophysics or the Milky Way, but is precise because it accurately generates a large number of noisy parallax measurements under an assumption of stationarity; that is, it is capable of combining the information from many stars. We use the Extreme Deconvolution (\textsl{\small{XD}}) algorithm---an Empirical Bayes approximation to a full hierarchical model of the true parallax and photometry of every star---to construct this prior. The prior is combined with a \textsl{\small{TGAS}} likelihood to infer a precise photometric parallax estimate and uncertainty (and full posterior) for every star. Our parallax estimates are more precise than the \textsl{\small{TGAS}} catalog entries by a median factor of 1.2 (14% are more precise by a factor >2) and are more precise than previous Bayesian distance estimates that use spatial priors. We validate our parallax inferences using members of the Milky Way star cluster M67, which is not visible as a cluster in the \textsl{\small{TGAS}} parallax estimates, but appears as a cluster in our posterior parallax estimates. Our results, including a parallax posterior pdf for each of 1.4 million \textsl{\small{TGAS}} stars, are available in companion electronic tables.


title: Existence of weak martingale solution of Nematic Liquid Crystals driven by Pure Jump Noise

abstract: In this work we consider a stochastic evolution equation which describes the system governing the nematic liquid crystals driven by a pure jump noise. The existence of a martingale solution is proved for both 2D and 3D cases. The construction of the solution is based on the classical Faedo-Galerkin approximation, compactness method and the Jakubowski's version of the Skorokhod representation theorem for non-metric spaces. We prove the solution is pathwise unique and further establish the existence of a strong solution in the 2D case.


title: Finite-temperature phase transition to a Kitaev spin liquid phase on a hyperoctagon lattice: A large-scale quantum Monte Carlo study

abstract: The quantum spin liquid is an enigmatic quantum state in insulating magnets, in which conventional long-range order is suppressed by strong quantum fluctuations. Recently, an unconventional phase transition was reported between the low-temperature quantum spin liquid and the high-temperature paramagnet in the Kitaev model on a three-dimensional hyperhoneycomb lattice. Here, we show that a similar "liquid-gas" transition takes place in another three-dimensional lattice, the hyperoctagon lattice. We investigate the critical phenomena by adopting the Green-function based Monte Carlo technique with the kernel polynomial method, which enables systematic analysis of up to 2048 sites. The critical temperature is lower than that in the hyperhoneycomb case, reflecting the smaller flux gap. We also discuss the transition on the basis of an effective model in the anisotropic limit.


title: The Weak Lefschetz property for quotients by Quadratic Monomials

abstract: In [MMR], Micha\l{}ek--Mir\'o-Roig give a beautiful geometric characterization of Artinian quotients by ideals generated by quadratic or cubic monomials, such that the multiplication map by a general linear form fails to be injective in the first nontrivial degree. Their work was motivated by conjectures of Ilardi and Mezzetti-Mir\'o-Roig-Ottaviani, connecting the failure to Laplace equations and classical results of Togliatti on osculating planes. We study quotients by quadratic monomial ideals, explaining failure of the Weak Lefschetz Property for some cases not covered by [MMR].


title: Conjunctions of Among Constraints

abstract: Many existing global constraints can be encoded as a conjunction of among constraints. An among constraint holds if the number of the variables in its scope whose value belongs to a prespecified set, which we call its range, is within some given bounds. It is known that domain filtering algorithms can benefit from reasoning about the interaction of among constraints so that values can be filtered out taking into consideration several among constraints simultaneously. The present pa- per embarks into a systematic investigation on the circumstances under which it is possible to obtain efficient and complete domain filtering algorithms for conjunctions of among constraints. We start by observing that restrictions on both the scope and the range of the among constraints are necessary to obtain meaningful results. Then, we derive a domain flow-based filtering algorithm and present several applications. In particular, it is shown that the algorithm unifies and generalizes several previous existing results.


title: Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter

abstract: We prove that the positive fragment of first-order intuitionistic logic in the language with two variables and a single monadic predicate letter, without constants and equality, is undecidable. This holds true regardless of whether we consider semantics with expanding or constant domains. We then generalise this result to intervals [QBL, QKC] and [QBL, QFL], where QKC is the logic of the weak law of the excluded middle and QBL and QFL are first-order counterparts of Visser's basic and formal logics, respectively. We also show that, for most "natural" first-order modal logics, the two-variable fragment with a single monadic predicate letter, without constants and equality, is undecidable, regardless of whether we consider semantics with expanding or constant domains. These include all sublogics of QKTB, QGL, and QGrz -- among them, QK, QT, QKB, QD, QK4, and QS4.


title: Local phase space and edge modes for diffeomorphism-invariant theories

abstract: We discuss an approach to characterizing local degrees of freedom of a subregion in diffeomorphism-invariant theories using the extended phase space of Donnelly and Freidel, [JHEP 2016 (2016) 102]. Such a characterization is important for defining local observables and entanglement entropy in gravitational theories. Traditional phase space constructions for subregions are not invariant with respect to diffeomorphisms that act at the boundary. The extended phase space remedies this problem by introducing edge mode fields at the boundary whose transformations under diffeomorphisms render the extended symplectic structure fully gauge invariant. In this work, we present a general construction for the edge mode symplectic structure. We show that the new fields satisfy a surface symmetry algebra generated by the Noether charges associated with the edge mode fields. For surface-preserving symmetries, the algebra is universal for all diffeomorphism-invariant theories, comprised of diffeomorphisms of the boundary, $SL(2,\mathbb{R})$ transformations of the normal plane, and, in some cases, normal shearing transformations. We also show that if boundary conditions are chosen such that surface translations are symmetries, the algebra acquires a central extension.


title: Chaotic dynamical ferromagnetic phase induced by non-equilibrium quantum fluctuations

abstract: We investigate the robustness of a dynamical phase transition against quantum fluctuations by studying the impact of a ferromagnetic nearest-neighbour spin interaction in one spatial dimension on the non-equilibrium dynamical phase diagram of the fully-connected quantum Ising model. In particular, we focus on the transient dynamics after a quantum quench and study the pre-thermal state via a combination of analytic time-dependent spin-wave theory and numerical methods based on matrix product states. We find that, upon increasing the strength of the quantum fluctuations, the dynamical critical point fans out into a chaotic dynamical phase within which the asymptotic ordering is characterised by strong sensitivity to the parameters and initial conditions. We argue that such a phenomenon is general, as it arises from the impact of quantum fluctuations on the mean-field out of equilibrium dynamics of any system which exhibits a broken discrete symmetry.


title: Recovering the properties of high redshift galaxies with different JWST broad-band filters

abstract: Imaging with the James Webb Space Telescope (JWST) will allow for observing the bulk of distant galaxies at the epoch of reionisation. The recovery of their properties, such as age, color excess E(B-V), specific star formation rate (sSFR) and stellar mass, will mostly rely on spectral energy distribution fitting, based on the data provided by JWST's two imager cameras, namely the Near Infrared Camera (NIRCam) and the Mid Infrared Imager (MIRI). In this work we analyze the effect of choosing different combinations of NIRCam and MIRI broad-band filters, from 0.6 {\mu}m to 7.7 {\mu}m, on the recovery of these galaxy properties. We performed our tests on a sample of 1542 simulated galaxies, with known input properties, at z=7-10. We found that, with only 8 NIRCam broad-bands, we can recover the galaxy age within 0.1 Gyr and the color excess within 0.06 mag for 70% of the galaxies. Besides, the stellar masses and sSFR are recovered within 0.2 and 0.3 dex, respectively, at z=7-9. Instead, at z=10, no NIRCam band traces purely the {\lambda}> 4000 {\AA} regime and the percentage of outliers in stellar mass (sSFR) increases by > 20% (> 90%), in comparison to z=9. The MIRI F560W and F770W bands are crucial to improve the stellar mass and the sSFR estimation at z=10. When nebular emission lines are present, deriving correct galaxy properties is challenging, at any redshift and with any band combination. In particular, the stellar mass is systematically overestimated in up to 0.3 dex on average with NIRCam data alone and including MIRI observations improves only marginally the estimation.


title: Zero-Shot Task Generalization with Multi-Task Deep Reinforcement Learning

abstract: As a step towards developing zero-shot task generalization capabilities in reinforcement learning (RL), we introduce a new RL problem where the agent should learn to execute sequences of instructions after learning useful skills that solve subtasks. In this problem, we consider two types of generalizations: to previously unseen instructions and to longer sequences of instructions. For generalization over unseen instructions, we propose a new objective which encourages learning correspondences between similar subtasks by making analogies. For generalization over sequential instructions, we present a hierarchical architecture where a meta controller learns to use the acquired skills for executing the instructions. To deal with delayed reward, we propose a new neural architecture in the meta controller that learns when to update the subtask, which makes learning more efficient. Experimental results on a stochastic 3D domain show that the proposed ideas are crucial for generalization to longer instructions as well as unseen instructions.


title: Orientation of topological defects in 2D nematic liquid crystals

abstract: Topological defects are an essential part of the structure and dynamics of all liquid crystals, and they are particularly important in experiments and simulations on active liquid crystals. In a recent paper, Vromans and Giomi [Soft Matter, 2016, 12, 6490] pointed out that topological defects are not point-like objects but actually have orientational properties, which strongly affect the energetics and motion of the defects. That paper developed a mathematical formalism which describes the orientational properties as vectors. Here, we agree with the basic concept of defect orientation, but we suggest an alternative mathematical formalism. We represent the defect orientation by a tensor, with a rank that depends on the topological charge: rank 1 for a charge of +1/2, rank 3 for a charge of -1/2. Using this tensor formalism, we calculate the orientation-dependent interaction between defects, and we present numerical simulations of defect motion.


abstract: We compare two kinds of unification problems: Asymmetric Unification and Disunification, which are variants of Equational Unification. Asymmetric Unification is a type of Equational Unification where the right-hand sides of the equations are in normal form with respect to the given term rewriting system. In Disunification we solve equations and disequations with respect to an equational theory for the case with free constants. We contrast the time complexities of both and show that the two problems are incomparable: there are theories where one can be solved in Polynomial time while the other is NP-hard. This goes both ways. The time complexity also varies based on the termination ordering used in the term rewriting system.


title: Face Clustering: Representation and Pairwise Constraints

abstract: Clustering face images according to their identity has two important applications: (i) grouping a collection of face images when no external labels are associated with images, and (ii) indexing for efficient large scale face retrieval. The clustering problem is composed of two key parts: face representation and choice of similarity for grouping faces. We first propose a representation based on ResNet, which has been shown to perform very well in image classification problems. Given this representation, we design a clustering algorithm, Conditional Pairwise Clustering (ConPaC), which directly estimates the adjacency matrix only based on the similarity between face images. This allows a dynamic selection of number of clusters and retains pairwise similarity between faces. ConPaC formulates the clustering problem as a Conditional Random Field (CRF) model and uses Loopy Belief Propagation to find an approximate solution for maximizing the posterior probability of the adjacency matrix. Experimental results on two benchmark face datasets (LFW and IJB-B) show that ConPaC outperforms well known clustering algorithms such as k-means, spectral clustering and approximate rank-order. Additionally, our algorithm can naturally incorporate pairwise constraints to obtain a semi-supervised version that leads to improved clustering performance. We also propose an k-NN variant of ConPaC, which has a linear time complexity given a k-NN graph, suitable for large datasets.


title: Towards a Realistic Assessment of Multiple Antenna HCNs: Residual Additive Transceiver Hardware Impairments and Channel Aging

abstract: Given the critical dependence of broadcast channels by the accuracy of channel state information at the transmitter (CSIT), we develop a general downlink model with zero-forcing (ZF) precoding, applied in realistic heterogeneous cellular systems with multiple antenna base stations (BSs). Specifically, we take into consideration imperfect CSIT due to pilot contamination, channel aging due to users relative movement, and unavoidable residual additive transceiver hardware impairments (RATHIs). Assuming that the BSs are Poisson distributed, the main contributions focus on the derivations of the upper bound of the coverage probability and the achievable user rate for this general model. We show that both the coverage probability and the user rate are dependent on the imperfect CSIT and RATHIs. More concretely, we quantify the resultant performance loss of the network due to these effects. We depict that the uplink RATHIs have equal impact, but the downlink transmit BS distortion has a greater impact than the receive hardware impairment of the user. Thus, the transmit BS hardware should be of better quality than user's receive hardware. Furthermore, we characterise both the coverage probability and user rate in terms of the time variation of the channel. It is shown that both of them decrease with increasing user mobility, but after a specific value of the normalised Doppler shift, they increase again. Actually, the time variation, following the Jakes autocorrelation function, mirrors this effect on coverage probability and user rate. Finally, we consider space division multiple access (SDMA), single user beamforming (SU-BF), and baseline single-input single-output (SISO) transmission. A comparison among these schemes reveals that the coverage by means of SU-BF outperforms SDMA in terms of coverage.


title: Generalization for Adaptively-chosen Estimators via Stable Median

abstract: Datasets are often reused to perform multiple statistical analyses in an adaptive way, in which each analysis may depend on the outcomes of previous analyses on the same dataset. Standard statistical guarantees do not account for these dependencies and little is known about how to provably avoid overfitting and false discovery in the adaptive setting. We consider a natural formalization of this problem in which the goal is to design an algorithm that, given a limited number of i.i.d.~samples from an unknown distribution, can answer adaptively-chosen queries about that distribution. We present an algorithm that estimates the expectations of $k$ arbitrary adaptively-chosen real-valued estimators using a number of samples that scales as $\sqrt{k}$. The answers given by our algorithm are essentially as accurate as if fresh samples were used to evaluate each estimator. In contrast, prior work yields error guarantees that scale with the worst-case sensitivity of each estimator. We also give a version of our algorithm that can be used to verify answers to such queries where the sample complexity depends logarithmically on the number of queries $k$ (as in the reusable holdout technique). Our algorithm is based on a simple approximate median algorithm that satisfies the strong stability guarantees of differential privacy. Our techniques provide a new approach for analyzing the generalization guarantees of differentially private algorithms.


title: Learning Disjunctions of Predicates

abstract: Let $F$ be a set of boolean functions. We present an algorithm for learning $F_\vee := \{\vee_{f\in S} f \mid S \subseteq F\}$ from membership queries. Our algorithm asks at most $|F| \cdot OPT(F_\vee)$ membership queries where $OPT(F_\vee)$ is the minimum worst case number of membership queries for learning $F_\vee$. When $F$ is a set of halfspaces over a constant dimension space or a set of variable inequalities, our algorithm runs in polynomial time. The problem we address has practical importance in the field of program synthesis, where the goal is to synthesize a program that meets some requirements. Program synthesis has become popular especially in settings aiming to help end users. In such settings, the requirements are not provided upfront and the synthesizer can only learn them by posing membership queries to the end user. Our work enables such synthesizers to learn the exact requirements while bounding the number of membership queries.


title: Two-photon interactions with Majorana fermions

abstract: Because Majorana fermions are their own antiparticles, their electric and magnetic dipole moments must vanish, leaving the anapole moment as their only static electromagnetic property. But the existence of induced dipole moments is not necessarily prohibited. Through a study real Compton scattering, we explore the constraints that the Majorana fermion's self-conjugate nature has on induced moments. In terms of the Compton amplitude, we find no constraints if the interactions are separately invariant under charge conjugation, parity, and time reversal. However, if the interactions are odd under parity and even under time reversal, then these contributions to the Compton amplitude must vanish. We employ a simple model to confirm these general findings via explicit calculation of the Majorana fermion's polarizabilities. We then use these polarizabilities to estimate the cross-section for $s$-wave annihilation of two Majorana fermions into photons. The cross-section is larger than a na\"ive estimate might suggest.


title: Orthotropic Piezoelectricity in 2D Nanocellulose

abstract: The control of electromechanical responses within bonding regions is essential to face frontier challenges in nanotechnologies, such as molecular electronics and biotechnology. Here, we present I\b{eta}-nanocellulose as a potentially new orthotropic 2D piezoelectric crystal. The predicted in-layer piezoelectricity is originated on a sui-generis hydrogen bonds pattern. Upon this fact and by using a combination of ab-initio and ad-hoc models, we introduce a description of electrical profiles along chemical bonds. Such developments lead to obtain a rationale for modelling the extended piezoelectric effect originated within bond scales. The order of magnitude estimated for the 2D I\b{eta}-nanocellulose piezoelectric response, ~pm V-1, ranks this material at the level of currently used piezoelectric energy generators and new artificial 2D designs. Such finding would be crucial for developing alternative materials to drive emerging nanotechnologies.

categories: cond-mat.mtrl-sci cond-mat.mes-hall cond-mat.other physics.app-ph physics.atm-clus


title: Light-Cone Distribution Amplitudes of Light $J^{PC}=2^{--}$ Tensor Mesons in QCD

abstract: We present a study for two-quark light-cone distribution amplitudes for the $1^3D_2$ light tensor meson states with quantum number $J^{PC}=2^{--}$. Because of the G-parity, the chiral-even two-quark light-cone distribution amplitudes of this tensor meson are antisymmetric under the interchange of momentum fractions of the quark and antiquark in the SU(3) limit, while the chiral-odd ones are symmetric. The asymptotic leading-twist LCDAs with the strange quark mass correction are shown. We estimate the relevant parameters, the decay constants $f_T$ and $f_T^\perp$, and first Gegenbauer moment $a_1^\perp$, by using the QCD sum rule method. These parameters play a central role in the investigation of $B$ meson decaying into the $2^{--}$ tensor mesons.


title: Polynomials and the exponent of matrix multiplication

abstract: We define tensors, corresponding to cubic polynomials, which have the same exponent $\omega$ as the matrix multiplication tensor. In particular, we study the symmetrized matrix multiplication tensor $sM_n$ defined on an $n\times n$ matrix $A$ by $sM_n(A)=trace(A^3)$. The use of polynomials enables the introduction of additional techniques from algebraic geometry in the study of the matrix multiplication exponent $\omega$.


title: Joint Extraction of Entities and Relations Based on a Novel Tagging Scheme

abstract: Joint extraction of entities and relations is an important task in information extraction. To tackle this problem, we firstly propose a novel tagging scheme that can convert the joint extraction task to a tagging problem. Then, based on our tagging scheme, we study different end-to-end models to extract entities and their relations directly, without identifying entities and relations separately. We conduct experiments on a public dataset produced by distant supervision method and the experimental results show that the tagging based methods are better than most of the existing pipelined and joint learning methods. What's more, the end-to-end model proposed in this paper, achieves the best results on the public dataset.


title: Development of a passive Rehabilitation Robot for the wrist joint through the implementation of an Arduino UNO microcontroller

abstract: In this research was implemented the use of an Arduino UNO R3 microcontroller to control the movements of a prototype robotic functional developed to perform rehabilitation exercises in the wrist joint; This device can be used to assist the physiatrist to rehabilitate the tendinitis, synovitis, rheumatoid arthritis and for pre-operative and post-operative therapy in this joint. During the design stage of the functional prototype, the methodology of the industrial design process was used from a concurrent engineering approach, through which anthropometric studies could be performed related to the dimensions and angles of movement of the wrist joint in the population Venezuelan from the information collected, the design proposal was elaborated, and the use of CAD programs defined the different forms, geometries and materials of the components of the rehabilitation device, which were later analyzed using the finite element method for the determination The tensional state of efforts and safety factors through the use of CAE programs. In addition, a software was developed for the acquisition, registration, reproduction and execution of the different movements produced during the rehabilitation therapy. Through the research developed, a device was designed that will help the rehabilitation of the wrist joint allowing the combination of dorsal-palmar flexion and ulnar-radial movements to recover the joint function of various pathologies presented in the Venezuelan population.


title: SUT System Description for NIST SRE 2016

abstract: This paper describes the submission to fixed condition of NIST SRE 2016 by Sharif University of Technology (SUT) team. We provide a full description of the systems that were included in our submission. We start with an overview of the datasets that were used for training and development. It is followed by describing front-ends which contain different VAD and feature types. UBM and i-vector extractor training are the next details in this paper. As one of the important steps in system preparation, preconditioning the i-vectors are explained in more details. Then, we describe the classifier and score normalization methods. And finally, some results on SRE16 evaluation dataset are reported and analyzed.


title: Luminescence in germania-silica fibers in 1-2 {\mu}m region

abstract: We analyze the origins of the luminescence in germania-silica fibers with high germanium concentration (about 30 mol. % GeO2) in the region 1-2 {\mu}m with a laser pump at the wavelength 532 nm. We show that such fibers demonstrate the high level of luminescence which unlikely allows the observation of photon triplets, generated in a third-order spontaneous parametric down-conversion process in such fibers. The only efficient approach to the luminescence reduction is the hydrogen saturation of fiber samples, however, even in this case the level of residual luminescence is still too high for three-photon registration.


title: Optimal trapping of monochromatic light in designed photonic multilayer structures

abstract: We devise an optimised bi-component multi-layered dielectric stack design to enhance the local irradiance for efficient photovoltaic upconversion materials. The field intensity profile throughout the photonic structure is numerically optimized by appropriate tuning of the individual layers' thicknesses. The optimality of the thus inferred structure is demonstrated by comparison with an analytically derived upper bound. The optimized local irradiance is found to increase exponentially with the number of layers, its rate determined by the permittivity ratio of the two material components. Manufacturing errors which induce deviations from the optimised design are accounted for statistically, and set a finite limit to the achievable enhancement. Notwithstanding, realistic assumptions on manufacturing errors still suggest achievable irradiances which are significantly larger than those obtained with the recently proposed Bragg stack structures.


title: Are Quantum Models for Order Effects Quantum?

abstract: The application of principles of Quantum Mechanics in areas outside of physics has been getting increasing attention in the scientific community in an emergent discipline called Quantum Cognition. These principles have been applied to explain paradoxical situations that cannot be easily explained through classical theory. In quantum probability, events are characterised by a superposition state, which is represented by a state vector in a $N$-dimensional vector space. The probability of an event is given by the squared magnitude of the projection of this superposition state into the desired subspace. This geometric approach is very useful to explain paradoxical findings that involve order effects, but do we really need quantum principles for models that only involve projections? This work has two main goals. First, it is still not clear in the literature if a quantum projection model has any advantage towards a classical projection. We compared both models and concluded that the Quantum Projection model achieves the same results as its classical counterpart, because the quantum interference effects play no role in the computation of the probabilities. Second, it intends to propose an alternative relativistic interpretation for rotation parameters that are involved in both classical and quantum models. In the end, instead of interpreting these parameters as a similarity measure between questions, we propose that they emerge due to the lack of knowledge concerned with a personal basis state and also due to uncertainties towards the state of the world and towards the context of the questions.


title: Approximate Best-Response Dynamics in Random Interference Games

abstract: In this paper we develop a novel approach to the convergence of Best-Response Dynamics for the family of interference games. Interference games represent the fundamental resource allocation conflict between users of the radio spectrum. In contrast to congestion games, interference games are generally not potential games. Therefore, proving the convergence of the best-response dynamics to a Nash equilibrium in these games requires new techniques. We suggest a model for random interference games, based on the long term fading governed by the players' geometry. Our goal is to prove convergence of the approximate best-response dynamics with high probability with respect to the randomized game. We embrace the asynchronous model in which the acting player is chosen at each stage at random. In our approximate best-response dynamics, the action of a deviating player is chosen at random among all the approximately best ones. We show that with high probability, with respect to the players' geometry and asymptotically with the number of players, each action increases the expected social-welfare (sum of achievable rates). Hence, the induced sum-rate process is a submartingale. Based on the Martingale Convergence Theorem, we prove convergence of the strategy profile to an approximate Nash equilibrium with good performance for asymptotically almost all interference games. We use the Markovity of the induced sum-rate process to provide probabilistic bounds on the convergence time. Finally, we demonstrate our results in simulated examples.


title: Probabilistic Model Checking of Incomplete Models

abstract: It is crucial for accurate model checking that the model be a complete and faithful representation of the system. Unfortunately, this is not always possible, mainly because of two reasons: (i) the model is still under development and (ii) the correctness of implementation of some modules is not established. In such circumstances, is it still possible to get correct answers for some model checking queries? This paper is a step towards answering this question. We formulate this problem for the Discrete Time Markov Chains (DTMC) modeling formalism and the Probabilistic Computation Tree Logic (PCTL) query language. We then propose a simple solution by modifying DTMC and PCTL to accommodate three valued logic. The technique builds on existing model checking algorithms and tools, obviating the need for new ones to account for three valued logic. One of the most useful and popular techniques for modeling complex systems is through discrete event simulation. Discrete event simulators are essentially code in some programming language. We show an application of our approach on a piece of code that contains a module of unknown correctness. A preliminary version of this paper appears in the proceedings of Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques (ISoLA 2016), LNCS 9952, Springer. Keywords: Probabilistic models, Probabilistic Model checking Three-valued Logic, Discrete Time Markov Chain, Probabilistic Computation Tree Logic.


title: Ensembling Factored Neural Machine Translation Models for Automatic Post-Editing and Quality Estimation

abstract: This work presents a novel approach to Automatic Post-Editing (APE) and Word-Level Quality Estimation (QE) using ensembles of specialized Neural Machine Translation (NMT) systems. Word-level features that have proven effective for QE are included as input factors, expanding the representation of the original source and the machine translation hypothesis, which are used to generate an automatically post-edited hypothesis. We train a suite of NMT models that use different input representations, but share the same output space. These models are then ensembled together, and tuned for both the APE and the QE task. We thus attempt to connect the state-of-the-art approaches to APE and QE within a single framework. Our models achieve state-of-the-art results in both tasks, with the only difference in the tuning step which learns weights for each component of the ensemble.


title: Topic supervised non-negative matrix factorization

abstract: Topic models have been extensively used to organize and interpret the contents of large, unstructured corpora of text documents. Although topic models often perform well on traditional training vs. test set evaluations, it is often the case that the results of a topic model do not align with human interpretation. This interpretability fallacy is largely due to the unsupervised nature of topic models, which prohibits any user guidance on the results of a model. In this paper, we introduce a semi-supervised method called topic supervised non-negative matrix factorization (TS-NMF) that enables the user to provide labeled example documents to promote the discovery of more meaningful semantic structure of a corpus. In this way, the results of TS-NMF better match the intuition and desired labeling of the user. The core of TS-NMF relies on solving a non-convex optimization problem for which we derive an iterative algorithm that is shown to be monotonic and convergent to a local optimum. We demonstrate the practical utility of TS-NMF on the Reuters and PubMed corpora, and find that TS-NMF is especially useful for conceptual or broad topics, where topic key terms are not well understood. Although identifying an optimal latent structure for the data is not a primary objective of the proposed approach, we find that TS-NMF achieves higher weighted Jaccard similarity scores than the contemporary methods, (unsupervised) NMF and latent Dirichlet allocation, at supervision rates as low as 10% to 20%.


title: Horcrux: A Password Manager for Paranoids

abstract: Vulnerabilities in password managers are unremitting because current designs provide large attack surfaces, both at the client and server. We describe and evaluate Horcrux, a password manager that is designed holistically to minimize and decentralize trust, while retaining the usability of a traditional password manager. The prototype Horcrux client, implemented as a Firefox add-on, is split into two components, with code that has access to the user's master's password and any key material isolated into a small auditable component, separate from the complexity of managing the user interface. Instead of exposing actual credentials to the DOM, a dummy username and password are autofilled by the untrusted component. The trusted component intercepts and modifies POST requests before they are encrypted and sent over the network. To avoid trusting a centralized store, stored credentials are secret-shared over multiple servers. To provide domain and username privacy, while maintaining resilience to off-line attacks on a compromised password store, we incorporate cuckoo hashing in a way that ensures an attacker cannot determine if a guessed master password is correct. Our approach only works for websites that do not manipulate entered credentials in the browser client, so we conducted a large-scale experiment that found the technique appears to be compatible with over 98% of tested login forms.


title: Evaluating Noisy Optimisation Algorithms: First Hitting Time is Problematic

abstract: A key part of any evolutionary algorithm is fitness evaluation. When fitness evaluations are corrupted by noise, as happens in many real-world problems as a consequence of various types of uncertainty, a strategy is needed in order to cope with this. Resampling is one of the most common strategies, whereby each solution is evaluated many times in order to reduce the variance of the fitness estimates. When evaluating the performance of a noisy optimisation algorithm, a key consideration is the stopping condition for the algorithm. A frequently used stopping condition in runtime analysis, known as "First Hitting Time", is to stop the algorithm as soon as it encounters the optimal solution. However, this is unrealistic for real-world problems, as if the optimal solution were already known, there would be no need to search for it. This paper argues that the use of First Hitting Time, despite being a commonly used approach, is significantly flawed and overestimates the quality of many algorithms in real-world cases, where the optimum is not known in advance and has to be genuinely searched for. A better alternative is to measure the quality of the solution an algorithm returns after a fixed evaluation budget, i.e., to focus on final solution quality. This paper argues that focussing on final solution quality is more realistic and demonstrates cases where the results produced by each algorithm evaluation method lead to very different conclusions regarding the quality of each noisy optimisation algorithm.


title: Plan, Attend, Generate: Character-level Neural Machine Translation with Planning in the Decoder

abstract: We investigate the integration of a planning mechanism into an encoder-decoder architecture with an explicit alignment for character-level machine translation. We develop a model that plans ahead when it computes alignments between the source and target sequences, constructing a matrix of proposed future alignments and a commitment vector that governs whether to follow or recompute the plan. This mechanism is inspired by the strategic attentive reader and writer (STRAW) model. Our proposed model is end-to-end trainable with fully differentiable operations. We show that it outperforms a strong baseline on three character-level decoder neural machine translation on WMT'15 corpus. Our analysis demonstrates that our model can compute qualitatively intuitive alignments and achieves superior performance with fewer parameters.


title: Verification of Magnitude and Phase Responses in Fixed-Point Digital Filters

abstract: In the digital signal processing (DSP) area, one of the most important tasks is digital filter design. Currently, this procedure is performed with the aid of computational tools, which generally assume filter coefficients represented with floating-point arithmetic. Nonetheless, during the implementation phase, which is often done in digital signal processors or field programmable gate arrays, the representation of the obtained coefficients can be carried out through integer or fixed-point arithmetic, which often results in unexpected behavior or even unstable filters. The present work addresses this issue and proposes a verification methodology based on the digital-system verifier (DSVerifier), with the goal of checking fixed-point digital filters w.r.t. implementation aspects. In particular, DSVerifier checks whether the number of bits used in coefficient representation will result in a filter with the same features specified during the design phase. Experimental results show that errors regarding frequency response and overflow are likely to be identified with the proposed methodology, which thus improves overall system's reliability.


title: Number game

abstract: CLARIN (Common Language Resources and Technology Infrastructure) is regarded as one of the most important European research infrastructures, offering and promoting a wide array of useful services for (digital) research in linguistics and humanities. However, the assessment of the users for its core technical development has been highly limited, therefore, it is unclear if the community is thoroughly aware of the status-quo of the growing infrastructure. In addition, CLARIN does not seem to be fully materialised marketing and business plans and strategies despite its strong technical assets. This article analyses the web traffic of the Virtual Language Observatory, one of the main web applications of CLARIN and a symbol of pan-European re-search cooperation, to evaluate the users and performance of the service in a transparent and scientific way. It is envisaged that the paper can raise awareness of the pressing issues on objective and transparent operation of the infrastructure though Open Evaluation, and the synergy between marketing and technical development. It also investigates the "science of web analytics" in an attempt to document the research process for the purpose of reusability and reproducibility, thus to find universal lessons for the use of a web analytics, rather than to merely produce a statistical report of a particular website which loses its value outside its context.


title: Transportation in Social Media: an automatic classifier for travel-related tweets

abstract: In the last years researchers in the field of intelligent transportation systems have made several efforts to extract valuable information from social media streams. However, collecting domain-specific data from any social media is a challenging task demanding appropriate and robust classification methods. In this work we focus on exploring geo-located tweets in order to create a travel-related tweet classifier using a combination of bag-of-words and word embeddings. The resulting classification makes possible the identification of interesting spatio-temporal relations in S\~ao Paulo and Rio de Janeiro.


title: Spatial Coding Techniques for Molecular MIMO

abstract: This paper studies spatial diversity techniques applied to multiple-input multiple-output (MIMO) diffusion-based molecular communications (DBMC). Two types of spatial coding techniques, namely Alamouti-type coding and repetition MIMO coding are suggested and analyzed. In addition, we consider receiver-side equal-gain combining, which is equivalent to maximum-ratio combining in symmetrical scenarios. For numerical analysis, the channel impulse responses of a symmetrical $2 \times 2$ MIMO-DBMC system are acquired by a trained artificial neural network. It is demonstrated that spatial diversity has the potential to improve the system performance and that repetition MIMO coding outperforms Alamouti-type coding.


title: Creating a Cybersecurity Concept Inventory: A Status Report on the CATS Project

abstract: We report on the status of our Cybersecurity Assessment Tools (CATS) project that is creating and validating a concept inventory for cybersecurity, which assesses the quality of instruction of any first course in cybersecurity. In fall 2014, we carried out a Delphi process that identified core concepts of cybersecurity. In spring 2016, we interviewed twenty-six students to uncover their understandings and misconceptions about these concepts. In fall 2016, we generated our first assessment tool--a draft Cybersecurity Concept Inventory (CCI), comprising approximately thirty multiple-choice questions. Each question targets a concept; incorrect answers are based on observed misconceptions from the interviews. This year we are validating the draft CCI using cognitive interviews, expert reviews, and psychometric testing. In this paper, we highlight our progress to date in developing the CCI. The CATS project provides infrastructure for a rigorous evidence-based improvement of cybersecurity education. The CCI permits comparisons of different instructional methods by assessing how well students learned the core concepts of the field (especially adversarial thinking), where instructional methods refer to how material is taught (e.g., lab-based, case-studies, collaborative, competitions, gaming). Specifically, the CCI is a tool that will enable researchers to scientifically quantify and measure the effect of their approaches to, and interventions in, cybersecurity education.


title: Algebraic cmc hypersurface of order 3 in Euclidean spaces

abstract: We prove that there are not algebraic hypersurfaces of degree 3 in $\mathbb{R}^n$ with non zero constant mean curvature.


title: Methods to Expand Cell Signaling Models using Automated Reading and Model Checking

abstract: Biomedical research results are being published at a high rate, and with existing search engines, the vast amount of published work is usually easily accessible. However, reproducing published results, either experimental data or observations is often not viable. In this work, we propose a framework to overcome some of the issues of reproducing previous research, and to ensure re-usability of published information. We present here a framework that utilizes the results from state-of-the-art biomedical literature mining, biological system modeling and analysis techniques, and provides means to scientists to assemble and reason about information from voluminous, fragmented and sometimes inconsistent literature. The overall process of automated reading, assembly and reasoning can speed up discoveries from the order of decades to the order of hours or days. Our framework described here allows for rapidly conducting thousands of in silico experiments that are designed as part of this process.


title: Time-optimal Velocity Tracking Control for Differential Drive Robots

abstract: Nonholonomic wheeled mobile robots are often required to implement algorithms designed for holonomic kinematic systems. This creates a velocity tracking problem for the actual wheeled mobile robot. In this paper, we investigate the issue of tracking the desired velocity in the least amount of time, for a differential drive nonholonomic wheeled mobile robot. If the desired velocity is a constant, the Pontryagin Maximum Principle can be used to design a control. A control is designed for the cases when the wheel can be commanded speeds and torques. When the desired velocity is smoothly time-varying, we propose a hybrid structure and study its properties.


title: Electrical Stressing Induced Monolayer Vacancy Island Growth on TiSe2

abstract: To ensure the practical application of atomically thin transition metal dichalcogenides, it is essential to characterize their structural stability under external stimuli such as electric fields and currents. Using vacancy monolayer islands on TiSe2 surfaces as a model system, for the first time we have observed a shape evolution and growth from triangular to hexagonal driven by scanning tunneling microscopy (STM) electrical stressing. The size of islands shows linear growth with a rate of (3.00 +- 0.05) x 10-3 nm/s, when the STM scanning parameters are held fixed at Vs = 1.0 V and I = 1.8 nA. We further quantified how the growth rate is related to the tunneling current magnitude. Our simulations of monolayer island evolution using phase-field modeling are in good agreement with our experimental observations, and point towards preferential edge atom dissociation under STM scanning driving the observed growth. The results could be potentially important for device applications of ultrathin transition metal dichalcogenides and related 2D materials subject to electrical stressing under device operating conditions.


title: Stochastic and resolvable gravitational waves from ultralight bosons

abstract: Ultralight scalar fields around spinning black holes can trigger superradiant instabilities, forming a long-lived bosonic condensate outside the horizon. We use numerical solutions of the perturbed field equations and astrophysical models of massive and stellar-mass black hole populations to compute, for the first time, the stochastic gravitational-wave background from these sources. In optimistic scenarios the background is observable by Advanced LIGO and LISA for field masses $m_s$ in the range $\sim [2\times 10^{-13}, 10^{-12}]\,{\rm eV}$ and $\sim 5\times[ 10^{-19}, 10^{-16}]\,{\rm eV}$, respectively, and it can affect the detectability of resolvable sources. Our estimates suggest that an analysis of the stochastic background limits from LIGO O1 might already be used to marginally exclude axions with mass $\sim 10^{-12.5}{\rm eV}$. Semicoherent searches with Advanced LIGO (LISA) should detect $\sim 15~(5)$ to $200~(40)$ resolvable sources for scalar field masses $3\times 10^{-13}$ ($10^{-17}$) eV. LISA measurements of massive BH spins could either rule out bosons in the range $\sim [10^{-18}, 2\times 10^{-13}]$ eV, or measure $m_s$ with ten percent accuracy in the range $\sim[10^{-17}, 10^{-13}]$ eV.


title: An Overview of Multi-Task Learning in Deep Neural Networks

abstract: Multi-task learning (MTL) has led to successes in many applications of machine learning, from natural language processing and speech recognition to computer vision and drug discovery. This article aims to give a general overview of MTL, particularly in deep neural networks. It introduces the two most common methods for MTL in Deep Learning, gives an overview of the literature, and discusses recent advances. In particular, it seeks to help ML practitioners apply MTL by shedding light on how MTL works and providing guidelines for choosing appropriate auxiliary tasks.


title: de Sitter symmetries and inflationary correlators in parity violating scalar-vector models

abstract: In this paper we use conformal field theory techniques to constrain the form of the correlations functions of an inflationary scalar-vector model described by the interaction term $f_1(\phi)F_{\mu \nu}F^{\mu \nu} + f_2(\phi)\tilde{F}_{\mu \nu}F^{\mu \nu}$. We use the fact that the conformal group is the relevant symmetry group acting on super horizon scales in an inflationary de Sitter background. As a result, we find that super horizon conformal symmetry, constraints the form of the coupling functions $f_1, f_2$ to be homogeneous functions of the same degree. We derive the general form of the correlators involving scalar and vector perturbations in this model and determine its squeezed limit scaling behaviour for super horizon scales. The approach followed here is useful to constraint the shape of scalar-vector correlators, and our results agree with recent literature on the subject, but don't allow us to determine amplitude factors of the correlators.


title: The Role of Gender in Social Network Organization

abstract: The digital traces we leave behind when engaging with the modern world offer an interesting lens through which we study behavioral patterns as expression of gender. Although gender differentiation has been observed in a number of settings, the majority of studies focus on a single data stream in isolation. Here we use a dataset of high resolution data collected using mobile phones, as well as detailed questionnaires, to study gender differences in a large cohort. We consider mobility behavior and individual personality traits among a group of more than $800$ university students. We also investigate interactions among them expressed via person-to-person contacts, interactions on online social networks, and telecommunication. Thus, we are able to study the differences between male and female behavior captured through a multitude of channels for a single cohort. We find that while the two genders are similar in a number of aspects, there are robust deviations that include multiple facets of social interactions, suggesting the existence of inherent behavioral differences. Finally, we quantify how aspects of an individual's characteristics and social behavior reveals their gender by posing it as a classification problem. We ask: How well can we distinguish between male and female study participants based on behavior alone? Which behavioral features are most predictive?


title: On M-ary Distributed Detection for Power Constraint Wireless Sensor Networks

abstract: We consider a wireless sensor network (WSN), consisting of several sensors and a fusion center (FC), which is tasked with solving an M-ary hypothesis testing problem. Sensors make M-ary decisions and transmit their digitally modulated decisions over orthogonal channels, which are subject to Rayleigh fading and noise, to the FC. Adopting Bayesian optimality criterion, we consider training and non-training based distributed detection systems and investigate the effect of imperfect channel state information (CSI) on the optimal maximum a posteriori probability (MAP) fusion rules and optimal power allocation between sensors, when the sum of training and data symbol transmit powers is fixed. We consider J-divergence criteria to do power allocation between sensors. The theoretical results show that J-divergence for coherent reception will be maximized if total training power be half of total power, however for non coherent reception, optimal training power which maximize J-divergence is zero. The simulated results also show that probability of error will be minimized if training power be half of total power for coherent reception and zero for non coherent reception.


title: High-Fidelity, Single-Shot, Quantum-Logic-Assisted Readout in a Mixed-Species Ion Chain

abstract: We use a co-trapped ion ($^{88}\mathrm{Sr}^{+}$) to sympathetically cool and measure the quantum state populations of a memory-qubit ion of a different atomic species ($^{40}\mathrm{Ca}^{+}$) in a cryogenic, surface-electrode ion trap. Due in part to the low motional heating rate demonstrated here, the state populations of the memory ion can be transferred to the auxiliary ion by using the shared motion as a quantum state bus and measured with an average accuracy of 96(1)%. This scheme can be used in quantum information processors to reduce photon-scattering-induced error in unmeasured memory qubits.


title: The Spread of Metals into the Low-Redshift Intergalactic Medium

abstract: We investigate the association between galaxies and metal-enriched and metal-deficient absorbers in the local universe ($z < 0.16$) using a large compilation of FUV spectra of bright AGN targets observed with the Cosmic Origins Spectrograph aboard the Hubble Space Telescope. In this homogeneous sample of 18 O VI detections at $N_{\rm O\,{VI}}\geq13.5~\mathrm{cm}^{-2}$ and 18 non-detections at $N_{\rm O\,{VI}}<13.5~\mathrm{cm}^{-2}$ using Lya absorbers with ${N_{\rm H\,{I}}\geq} 10^{14}~\mathrm{cm}^{-2}$, the maximum distance O VI extends from galaxies of various luminosities is $\sim0.6$ Mpc, or $\sim5$ virial radii, confirming and refining earlier results. This is an important value that must be matched by numerical simulations, which input the strength of galactic winds at the sub-grid level. We present evidence that the primary contributors to the spread of metals into the circum- and intergalactic media are sub-$L^*$ galaxies ($0.25L^*<L<L^*$). The maximum distances that metals are transported from these galaxies is comparable to, or less than, the size of a group of galaxies. These results suggest that, where groups are present, the metals produced by the group galaxies do not leave the group. Since many O VI non-detections in our sample occur at comparably close impact parameters as the metal-bearing absorbers, some more pristine intergalactic material appears to be accreting onto groups where it can mix with metal-bearing clouds.


title: Personal Food Computer: A new device for controlled-environment agriculture

abstract: Due to their interdisciplinary nature, devices for controlled-environment agriculture have the possibility to turn into ideal tools not only to conduct research on plant phenology but also to create curricula in a wide range of disciplines. Controlled-environment devices are increasing their functionalities as well as improving their accessibility. Traditionally, building one of these devices from scratch implies knowledge in fields such as mechanical engineering, digital electronics, programming, and energy management. However, the requirements of an effective controlled environment device for personal use brings new constraints and challenges. This paper presents the OpenAg Personal Food Computer (PFC); a low cost desktop size platform, which not only targets plant phenology researchers but also hobbyists, makers, and teachers from elementary to high-school levels (K-12). The PFC is completely open-source and it is intended to become a tool that can be used for collective data sharing and plant growth analysis. Thanks to its modular design, the PFC can be used in a large spectrum of activities.


title: Symplectomorphic registration with phase space regularization by entropy spectrum pathways

abstract: The ability to register image data to a common coordinate system is a critical feature of virtually all imaging studies that require multiple subject analysis, combining single subject data from multiple modalities, or both. However, in spite of the abundance of literature on the subject and the existence of several variants of registration algorithms, their practical utility remains problematic, as commonly acknowledged even by developers of these methods because the complexity of the problem has resisted a general, flexible, and robust theoretical and computational framework. To address this issue, we present a new registration method that is similar in spirit to the current state-of-the-art technique of diffeomorphic mapping, but is more general and flexible. The method utilizes a Hamiltonian formalism and constructs registration as a sequence of symplectomorphic maps in conjunction with a novel phase space regularization based on the powerful entropy spectrum pathways (ESP) framework. The method is demonstrated on the three different magnetic resonance imaging (MRI) modalities routinely used for human neuroimaging applications by mapping between high resolution anatomical (HRA) volumes, medium resolution diffusion weighted MRI (DW-MRI) and HRA volumes, and low resolution functional MRI (fMRI) and HRA volumes. The typical processing time for high quality mapping ranges from less than a minute to several minutes on a modern multi core CPU for typical high resolution anatomical (~256x256x256 voxels) MRI volumes.


title: The structure, capability and the Schur multiplier of generalized Heisenberg Lie algebras

abstract: From [Problem 1729, Groups of prime power order, Vol. 3], Berkovich et al. asked to obtain the Schur multiplier and the representation of a group $G$, when $G$ is a special $p$-group minimally generated by $d$ elements and $|G'|=p^{\frac{1}{2}d(d-1)}$. Since there are analogies between groups and Lie algebras, we intend to give an answer to this question similarly for nilpotent Lie algebras. Furthermore, we give some results about the tensor square and the Schur multiplier of some nilpotent Lie algebras of class two.


title: Is the dust-to-gas ratio constant in molecular clouds?

abstract: We perform numerical simulations of dusty, supersonic turbulence in molecular clouds. We model 0.1, 1 and 10 {\mu}m sized dust grains at an initial dust-to-gas mass ratio of 1:100, solving the equations of combined gas and dust dynamics where the dust is coupled to the gas through a drag term. We show that, for 0.1 and 1 {\mu}m grains, the dust-to-gas ratio deviates by typically 10-20% from the mean, since the stopping time of the dust due to gas drag is short compared to the dynamical time. Contrary to previous findings, we find no evidence for orders of magnitude fluctuation in the dust-to-gas ratio for 0.1 {\mu}m grains. Larger, 10 {\mu}m dust grains may have dust-to-gas ratios increased by up to an order of magnitude locally. Both small (0.1 {\mu}m) and large ($\gtrsim$ 1 {\mu}m) grains trace the large-scale morphology of the gas, however we find evidence for 'size-sorting' of grains, where turbulence preferentially concentrates larger grains into dense regions. Size-sorting may help to explain observations of 'coreshine' from dark clouds, and why extinction laws differ along lines of sight through molecular clouds in the Milky Way compared to the diffuse interstellar medium.


title: Factorizations and Hardy-Rellich inequalities on stratified groups

abstract: In this paper, we obtain Hardy, Hardy-Rellich and refined Hardy inequalities on general stratified groups and weighted Hardy inequalities on general homogeneous groups using the factorization method of differential operators, inspired by the recent work of Gesztesy and Littlejohn \cite{GL17}. We note that some of the obtained inequalities are new also in the usual Euclidean setting. We also obtain analogues of Gesztesy and Littlejohn's 2-parameter version of the Rellich inequality on stratified groups and on the Heisenberg group, and a new two-parameter estimate on $\mathbb{R}^{n}$ which can be regarded as a counterpart to the Gesztesy and Littlejohn's estimate.


title: Higher-genus wall-crossing in Landau-Ginzburg theory

abstract: For a Fermat quasi-homogeneous polynomial, we study the associated weighted Fan-Jarvis-Ruan-Witten theory with narrow insertions. We prove a wall-crossing formula in all genera via localization on a master space, which is constructed by introducing an additional tangent vector to the moduli problem. This is a Landau-Ginzburg theory analogue of the higher-genus quasi-map wall-crossing formula proved by Ciocan-Fontanine and Kim. It generalizes the genus-$0$ result by Ross-Ruan and the genus-$1$ result by Guo-Ross.


title: MAGNUS: A new resistive MHD code with heat flow terms

abstract: We present a new magnetohydrodynamic (MHD) code for the simulation of wave propagation in the solar atmosphere, under the effects of electrical resistivity, but not dominant, and heat transference in a uniform 3D grid. The code is based on the finite volume method combined with the HLLE and HLLC approximate Riemann solvers, which use different slope limiters like MINMOD, MC, and WENO5. In order to control the growth of the divergence of the magnetic field, due to numerical errors, we apply the Flux Constrained Transport method, which is described in detail to understand how the resistive terms are included in the algorithm. In our results, it is verified that this method preserves the divergence of the magnetic fields within the machine round-off error. For the validation of the accuracy and efficiency of the schemes implemented in the code, we present some numerical tests in 1D and 2D for the ideal MHD. Later, we show one test for the resistivity in a magnetic reconnection process and one for the thermal conduction, where the temperature is advected by the magnetic field lines. Moreover, we display two numerical problems associated with the MHD wave propagation. The first one corresponds to a 3D evolution of a vertical velocity pulse at the photosphere-transition-corona region, while the second one consists in a 2D simulation of a transverse velocity pulse in a coronal loop.


title: A Mixture Model for Learning Multi-Sense Word Embeddings

abstract: Word embeddings are now a standard technique for inducing meaning representations for words. For getting good representations, it is important to take into account different senses of a word. In this paper, we propose a mixture model for learning multi-sense word embeddings. Our model generalizes the previous works in that it allows to induce different weights of different senses of a word. The experimental results show that our model outperforms previous models on standard evaluation tasks.


title: $\eta$ Carinae's Dusty Homunculus Nebula from Near-Infrared to Submillimeter Wavelengths: Mass, Composition, and Evidence for Fading Opacity

abstract: Infrared observations of the dusty, massive Homunculus Nebula around the luminous blue variable $\eta$ Carinae are crucial to characterize the mass-loss history and help constrain the mechanisms leading to the Great Eruption. We present the 2.4 - 670 $\mu$m spectral energy distribution, constructed from legacy ISO observations and new spectroscopy obtained with the {\em{Herschel Space Observatory}}. Using radiative transfer modeling, we find that the two best-fit dust models yield compositions which are consistent with CNO-processed material, with iron, pyroxene and other metal-rich silicates, corundum, and magnesium-iron sulfide in common. Spherical corundum grains are supported by the good match to a narrow 20.2 $\mu$m feature. Our preferred model contains nitrides AlN and Si$_3$N$_4$ in low abundances. Dust masses range from 0.25 to 0.44 $M_\odot$ but $M_{\rm{tot}} \ge$ 45 $M_\odot$ in both cases due to an expected high Fe gas-to-dust ratio. The bulk of dust is within a 5$"$ $\times$ 7$"$ central region. An additional compact feature is detected at 390 $\mu$m. We obtain $L_{\rm{IR}}$ = 2.96 $\times$ 10$^6$ $L_\odot$, a 25\% decline from an average of mid-IR photometric levels observed in 1971-1977. This indicates a reduction in circumstellar extinction in conjunction with an increase in visual brightness, allowing 25-40\% of optical and UV radiation to escape from the central source. We also present an analysis of $^{12}$CO and $^{13}$CO $J = 5-4$ through $9-8$ lines, showing that the abundances are consistent with expectations for CNO-processed material. The [$^{12}$C~{\sc{ii}}] line is detected in absorption, which we suspect originates in foreground material at very low excitation temperatures.


title: T-count Optimized Design of Quantum Integer Multiplication

abstract: Quantum circuits of many qubits are extremely difficult to realize; thus, the number of qubits is an important metric in a quantum circuit design. Further, scalable and reliable quantum circuits are based on Clifford + T gates. An efficient quantum circuit saves quantum hardware resources by reducing the number of T gates without substantially increasing the number of qubits. Recently, the design of a quantum multiplier is presented by Babu [1] which improves the existing works in terms of number of quantum gates, number of qubits, and delay. However, the recent design is not based on fault-tolerant Clifford + T gates. Also, it has large number of qubits and garbage outputs. Therefore, this work presents a T-count optimized quantum circuit for integer multiplication with only $4 \cdot n + 1$ qubits and no garbage outputs. The proposed quantum multiplier design saves the T-count by using a novel quantum conditional adder circuit. Also, where one operand to the controlled adder is zero, the conditional adder is replaced with a Toffoli gate array to further save the T gates. To have fair comparison with the recent design by Babu and get an actual estimate of the T-count, it is made garbageless by using Bennett's garbage removal scheme. The proposed design achieves an average T-count savings of $47.55\%$ compared to the recent work by Babu. Further, comparison is also performed with other recent works by Lin et. al. [2], and Jayashree et. al.[3]. Average T-count savings of $62.71\%$ and $26.30\%$ are achieved compared to the recent works by Lin et. al., and Jayashree et. al., respectively.


title: Design of Quantum Circuits for Galois Field Squaring and Exponentiation

abstract: This work presents an algorithm to generate depth, quantum gate and qubit optimized circuits for $GF(2^m)$ squaring in the polynomial basis. Further, to the best of our knowledge the proposed quantum squaring circuit algorithm is the only work that considers depth as a metric to be optimized. We compared circuits generated by our proposed algorithm against the state of the art and determine that they require $50 \%$ fewer qubits and offer gates savings that range from $37 \%$ to $68 \%$. Further, existing quantum exponentiation are based on either modular or integer arithmetic. However, Galois arithmetic is a useful tool to design resource efficient quantum exponentiation circuit applicable in quantum cryptanalysis. Therefore, we present the quantum circuit implementation of Galois field exponentiation based on the proposed quantum Galois field squaring circuit. We calculated a qubit savings ranging between $44\%$ to $50\%$ and quantum gate savings ranging between $37 \%$ to $68 \%$ compared to identical quantum exponentiation circuit based on existing squaring circuits.


title: Black holes in vector-tensor theories

abstract: We study static and spherically symmetric black hole (BH) solutions in second-order generalized Proca theories with nonminimal vector field derivative couplings to the Ricci scalar, the Einstein tensor, and the double dual Riemann tensor. We find concrete Lagrangians which give rise to exact BH solutions by imposing two conditions of the two identical metric components and the constant norm of the vector field. These exact solutions are described by either Reissner-Nordstr\"{o}m (RN), stealth Schwarzschild, or extremal RN solutions with a non-trivial longitudinal mode of the vector field. We then numerically construct BH solutions without imposing these conditions. For cubic and quartic Lagrangians with power-law couplings which encompass vector Galileons as the specific cases, we show the existence of BH solutions with the difference between two non-trivial metric components. The quintic-order power-law couplings do not give rise to non-trivial BH solutions regular throughout the horizon exterior. The sixth-order and intrinsic vector-mode couplings can lead to BH solutions with a secondary hair. For all the solutions, the vector field is regular at least at the future or past horizon. The deviation from General Relativity induced by the Proca hair can be potentially tested by future measurements of gravitational waves in the nonlinear regime of gravity.


title: Variation of Coronal Activity from the Minimum to Maximum of Solar Cycle 24 using Three Dimensional Coronal Electron Density Reconstructions from STEREO/COR1

abstract: Three dimensional electron density distributions in the solar corona are reconstructed for 100 Carrington Rotations (CR 2054$-$2153) during 2007/03$-$2014/08 using the spherically symmetric method from polarized white-light observations with the STEREO/COR1. These three-dimensional electron density distributions are validated by comparison with similar density models derived using other methods such as tomography and a MHD model as well as using data from SOHO/LASCO-C2. Uncertainties in the estimated total mass of the global corona are analyzed based on differences between the density distributions for COR1-A and -B. Long-term variations of coronal activity in terms of the global and hemispheric average electron densities (equivalent to the total coronal mass) reveal a hemispheric asymmetry during the rising phase of Solar Cycle 24, with the northern hemisphere leading the southern hemisphere by a phase shift of 7$-$9 months. Using 14-CR (~13-month) running averages, the amplitudes of the variation in average electron density between Cycle 24 maximum and Cycle 23/24 minimum (called the modulation factors) are found to be in the range of 1.6$-$4.3. These modulation factors are latitudinally dependent, being largest in polar regions and smallest in the equatorial region. These modulation factors also show a hemispheric asymmetry, being somewhat larger in the southern hemisphere. The wavelet analysis shows that the short-term quasi-periodic oscillations during the rising and maximum phases of Cycle 24 have a dominant period of 7$-$8 months. In addition, it is found that the radial distribution of mean electron density for streamers at Cycle 24 maximum is only slightly larger (by ~30%) than at cycle minimum.


title: Benchmarking measures of network controllability on canonical graph models

abstract: Many real-world systems are composed of many individual components that interact with one another in a complex pattern to produce diverse behaviors. Understanding how to intervene in these systems to guide behaviors is critically important to facilitate new discoveries and therapies in systems biology and neuroscience. A promising approach to optimizing interventions in complex systems is network control theory, an emerging conceptual framework and associated mathematics to understand how targeted input to nodes in a network system can predictably alter system dynamics. While network control theory is currently being applied to real-world data, the practical performance of these measures on simple networks with pre-specified structure is not well understood. In this study, we benchmark measures of network controllability on canonical graph models, providing an intuition for how control strategy, graph topology, and edge weight distribution mutually depend on one another. Our numerical studies motivate future analytical efforts to gain a mechanistic understanding of the relationship between graph topology and control, as well as efforts to design networks with specific control profiles.


title: Breaking the 3/2 barrier for unit distances in three dimensions

abstract: We prove that every set of $n$ points in $\mathbb{R}^3$ spans $O(n^{295/197+\epsilon})$ unit distances. This is an improvement over the previous bound of $O(n^{3/2})$. A key ingredient in the proof is a new result for cutting circles in $\mathbb{R}^3$ into pseudo-segments.