Filter Results
534674 results
  • We show that the problem of constructing tree-structured descriptions of data layouts that are optimal with respect to space or other criteria from given sequences of displacements, can be solved in polynomial time. The problem is relevant for efficient compiler and library support for communication of noncontiguous data, where tree-structured descriptions with low-degree nodes and small index arrays are beneficial for the communication soft- and hardware. An important example is the Message-Passing Interface (MPI) which has a mechanism for describing arbitrary data layouts as trees using a set of increasingly general constructors. Our algorithm shows that the so-called MPI datatype reconstruction problem by trees with the full set of MPI constructors can be solved optimally in polynomial time, refuting previous conjectures that the problem is NP-hard. Our algorithm can handle further, natural constructors, currently not found in MPI. Our algorithm is based on dynamic programming, and requires the solution of a series of shortest path problems on an incrementally built, directed, acyclic graph. The algorithm runs in $O(n^4)$ time steps and requires $O(n^2)$ space for input displacement sequences of length $n$.
    Data Types:
    • Image
  • Random fields have remained a topic of great interest over past decades for the purpose of structured inference, especially for problems such as image segmentation. The local nodal interactions commonly used in such models often suffer the short-boundary bias problem, which are tackled primarily through the incorporation of long-range nodal interactions. However, the issue of computational tractability becomes a significant issue when incorporating such long-range nodal interactions, particularly when a large number of long-range nodal interactions (e.g., fully-connected random fields) are modeled. In this work, we introduce a generalized random field framework based around the concept of stochastic cliques, which addresses the issue of computational tractability when using fully-connected random fields by stochastically forming a sparse representation of the random field. The proposed framework allows for efficient structured inference using fully-connected random fields without any restrictions on the potential functions that can be utilized. Several realizations of the proposed framework using graph cuts are presented and evaluated, and experimental results demonstrate that the proposed framework can provide competitive performance for the purpose of image segmentation when compared to existing fully-connected and principled deep random field frameworks.
    Data Types:
    • Image
    • Tabular Data
  • While the 12C(a,g)16O reaction plays a central role in nuclear astrophysics, the cross section at energies relevant to hydrostatic helium burning is too small to be directly measured in the laboratory. The beta-delayed alpha spectrum of 16N can be used to constrain the extrapolation of the E1 component of the S-factor; however, with this approach the resulting S-factor becomes strongly correlated with the assumed beta-alpha branching ratio. We have remeasured the beta-alpha branching ratio by implanting 16N ions in a segmented Si detector and counting the number of beta-alpha decays relative to the number of implantations. Our result, 1.49(5)e-5, represents a 24% increase compared to the accepted value and implies an increase of 14% in the extrapolated S-factor.
    Data Types:
    • Image
  • We study two microscopic models of topological insulators in contact with an $s$-wave superconductor. In the first model the superconductor and the topological insulator are tunnel coupled via a layer of scalar and of randomly oriented spin impurities. Here, we require that spin-flip tunneling dominates over spin-conserving one. In the second model the tunnel coupling is realized by an array of single-level quantum dots with randomly oriented spins. It is shown that the tunnel region forms a $\pi$-junction where the effective order parameter changes sign. Interestingly, due to the random spin orientation the effective descriptions of both models exhibit time-reversal symmetry. We then discuss how the proposed $\pi$-junctions support topological superconductivity without magnetic fields and can be used to generate and manipulate Kramers pairs of Majorana fermions by gates.
    Data Types:
    • Image
  • Following the basic principles of a charge separated pulsar magnetosphere \citep{goldreich1969}, we consider the magnetosphere be stationary in space, instead of corotating, and the electric field be uploaded from the potential distribution on the pulsar surface, set up by the unipolar induction. Consequently, the plasma of the magnetosphere undergoes guiding center drifts of the gyro motion due to the transverse forces to the magnetic field. These forces are the electric force, magnetic gradient force, and field line curvature force. Since these plasma velocities are of drift nature, there is no need to introduce an emf along the field lines, which would contradict the $E_{\parallel}=\vec E\cdot\vec B=0$ plasma condition. Furthermore, there is also no need to introduce the critical field line separating the electron and ion open field lines. We present a self-consistent description where the magnetosphere is described in terms of electric and magnetic fields and also in terms of plasma velocities. The fields and velocities are then connected through the space charge densities self-consistently. We solve the pulsar equation analytically for the fields and construct the standard steady state pulsar magnetosphere. By considering the unipolar induction inside the pulsar and the magnetosphere outside the pulsar as one coupled system, and under the condition that the unipolar pumping rate exceeds the Poynting flux in the open field lines, plasma pressure can build up in the magnetosphere, in particular in the closed region. This could cause a periodic openning up of the closed region, leading to a pulsating magnetosphere, which could be an alternative for pulsar beacons. The closed region can also be openned periodically by the build-up of toroidal magnetic field through a positive feedback cycle.
    Data Types:
    • Image
  • As the size of images and data products derived from astronomical data continues to increase, new tools are needed to visualize and interact with that data in a meaningful way. Motivated by our own astronomical images taken with the Dark Energy Camera (DECam) we present Toyz, an open source Python package for viewing and analyzing images and data stored on a remote server or cluster. Users connect to the Toyz web application via a web browser, making it an convenient tool for students to visualize and interact with astronomical data without having to install any software on their local machines. In addition it provides researchers with an easy-to-use tool that allows them to browse the files on a server and quickly view very large images ($>$ 2 Gb) taken with DECam and other cameras with a large FOV and create their own visualization tools that can be added on as extensions to the default Toyz framework.
    Data Types:
    • Image
  • The excess of high energy neutrinos observed by the IceCube collaboration might originate from baryon number violating decays of heavy shadow baryons from dark mirror sector which produce shadow neutrinos. These sterile neutrino species then oscillate into ordinary neutrinos transferring to them specific features of their spectrum. In particular, this scenario can explain the end of the spectrum above 2 PeV and the presence of the energy gap between 400 TeV and 1 PeV.
    Data Types:
    • Image
  • We consider imperfect information stochastic games where we require the players to use pure (i.e. non randomised) strategies. We consider reachability, safety, B\"uchi and co-B\"uchi objectives, and investigate the existence of almost-sure/positively winning strategies for the first player when the second player is perfectly informed or more informed than the first player. We obtain decidability results for positive reachability and almost-sure B\"uchi with optimal algorithms to decide existence of a pure winning strategy and to compute one if exists. We complete the picture by showing that positive safety is undecidable when restricting to pure strategies even if the second player is perfectly informed.
    Data Types:
    • Image
    • Tabular Data
  • One way of getting insight into non-Gaussian measures, posed on infinite dimensional Hilbert spaces, is to first obtain good approximations in terms of Gaussians. These best fit Gaussians then provide notions of mean and variance, and they can be used to accelerate sampling algorithms. This begs the question of how one should measure optimality. Here, we consider the problem of minimizing the distance between a family of Gaussians and the target measure, with respect to relative entropy, or Kullback-Leibler divergence, as has been done previously in the literature. Thus, it is desirable to have algorithms, well posed in the abstract Hilbert space setting, which converge to these minimizers. We examine this minimization problem by seeking roots of the first variation of relative entropy, taken with respect to the mean of the Gaussian, leaving the covariance fixed. We prove the convergence of Robbins-Monro type root finding algorithms, highlighting the assumptions necessary for them to converge to relative entropy minimizers.
    Data Types:
    • Image
  • A novel method for correcting the effect of nonlinear distortion in orthogonal frequency division multiplexing signals is proposed. The method depends on adaptively selecting the distortion over a subset of the data carriers, and then using tools from compressed sensing and sparse Bayesian recovery to estimate the distortion over the other carriers. Central to this method is the fact that carriers (or tones) are decoded with different levels of confidence, depending on a coupled function of the magnitude and phase of the distortion over each carrier, in addition to the respective channel strength. Moreover, as no pilots are required by this method, a significant improvement in terms of achievable rate can be achieved relative to previous work.
    Data Types:
    • Image
    • Tabular Data
1