Advanced search in
Research products
arrow_drop_down
Searching FieldsTerms
Any field
arrow_drop_down
includes
arrow_drop_down
Include:
23,019 Research products, page 1 of 2,302

  • Publications
  • 2013-2022
  • Preprint
  • IL

10
arrow_drop_down
Date (most recent)
arrow_drop_down
  • Publication . Preprint . Article . 2022
    Open Access English
    Authors: 
    Barak Hoffer; Nicolas Wainstein; Christopher M. Neumann; Eric Pop; Eilam Yalon; Shahar Kvatinsky;
    Project: EC | Real-PIM-System (757259)

    Stateful logic is a digital processing-in-memory technique that could address von Neumann memory bottleneck challenges while maintaining backward compatibility with standard von Neumann architectures. In stateful logic, memory cells are used to perform the logic operations without reading or moving any data outside the memory array. Stateful logic has been previously demonstrated using several resistive memory types, mostly by resistive RAM (RRAM). Here we present a new method to design stateful logic using a different resistive memory - phase change memory (PCM). We propose and experimentally demonstrate four logic gate types (NOR, IMPLY, OR, NIMP) using commonly used PCM materials. Our stateful logic circuits are different than previously proposed circuits due to the different switching mechanism and functionality of PCM compared to RRAM. Since the proposed stateful logic form a functionally complete set, these gates enable sequential execution of any logic function within the memory, paving the way to PCM-based digital processing-in-memory systems.

  • Publication . Preprint . Article . 2022
    Open Access English
    Authors: 
    Goldreich, Oded; Ron, Dana;
    Project: EC | VERICOMP (819702)

    We initiate a study of a new model of property testing that is a hybrid of testing properties of distributions and testing properties of strings. Specifically, the new model refers to testing properties of distributions, but these are distributions over huge objects (i.e., very long strings). Accordingly, the model accounts for the total number of local probes into these objects (resp., queries to the strings) as well as for the distance between objects (resp., strings). Specifically, the distance between distributions is defined as the earth mover���s distance with respect to the relative Hamming distance between strings. We study the query complexity of testing in this new model, focusing on three directions. First, we try to relate the query complexity of testing properties in the new model to the sample complexity of testing these properties in the standard distribution testing model. Second, we consider the complexity of testing properties that arise naturally in the new model (e.g., distributions that capture random variations of fixed strings). Third, we consider the complexity of testing properties that were extensively studied in the standard distribution testing model: Two such cases are uniform distributions and pairs of identical distributions, where we obtain the following results. - Testing whether a distribution over n-bit long strings is uniform on some set of size m can be done with query complexity ��(m/����), where �� > (log���m)/n is the proximity parameter. - Testing whether two distribution over n-bit long strings that have support size at most m are identical can be done with query complexity ��(m^{2/3}/����). Both upper bounds are quite tight; that is, for �� = ��(1), the first task requires ��(m^c) queries for any c < 1 and n = ��(log m), whereas the second task requires ��(m^{2/3}) queries. Note that the query complexity of the first task is higher than the sample complexity of the corresponding task in the standard distribution testing model, whereas in the case of the second task the bounds almost match. LIPIcs, Vol. 215, 13th Innovations in Theoretical Computer Science Conference (ITCS 2022), pages 78:1-78:19

  • Open Access English
    Authors: 
    Omri Lesser; Yuval Oreg; Ady Stern;
    Project: EC | LEGOTOP (788715)

    Topological superconductivity in one dimension requires time-reversal symmetry breaking, but at the same time it is hindered by external magnetic fields. We offer a general prescription for inducing topological superconductivity in planar superconductor-normal-superconductor-normal-superconductor (SNSNS) Josephson junctions without applying any magnetic fields on the junctions. Our platform relies on two key ingredients: the three parallel superconductors form two SNS junctions with phase winding, and the Fermi velocities for the two spin branches transverse to the junction must be different from one another. The two phase differences between the three superconductors define a parameter plane which includes large topological regions. We analytically derive the critical curves where the topological phase transitions occur, and corroborate the result with a numerical calculation based on a tight-binding model. We further propose material platforms with unequal Fermi velocities, establishing the experimental feasibility of our approach. 5+10 pages, 3+8 figures

  • Open Access English
    Authors: 
    Augeri, Fanny; Butez, Raphael; Zeitouni, Ofer;
    Publisher: HAL CCSD
    Country: France
    Project: EC | LogCorrelatedFields (692452)

    We prove a central limit theorem for the logarithm of the characteristic polynomial of random Jacobi matrices. Our results cover the G$\beta$E models for $\beta>0$. Comment: Corrected a mistake in computation of centering, improved error estimates through section 4, various typos corrected

  • Publication . Preprint . Article . 2022 . Embargo End Date: 01 Jan 2020
    Open Access
    Authors: 
    Alexander Apelblat; Francesco Mainardi;
    Publisher: arXiv

    In this survey we discuss derivatives of the Wright functions (of the first and the second kind) with respect to parameters. Differentiation of these functions leads to infinite power series with coefficient being quotients of the digamma (psi) and gamma functions. Only in few cases it is possible to obtain the sums of these series in a closed form. Functional form of the power series resembles those derived for the Mittag-Leffler functions. If the Wright functions are treated as the generalized Bessel functions, differentiation operations can be expressed in terms of the Bessel functions and their derivatives with respect to the order. It is demonstrated that in many cases it is possible to derive the explicit form of the Mittag-Leffler functions by performing simple operations with the Laplace transforms of the Wright functions. The Laplace transform pairs of the both kinds of the Wright functions are discussed for particular values of the parameters. Some transform pairs serve to obtain functional limits by applying the shifted Dirac delta function. Comment: 21 pages, 4 figures

  • Publication . Preprint . Article . Conference object . 2022
    Open Access
    Authors: 
    Arnold Filtser; Omrit Filtser; Matthew J. Katz;
    Publisher: Springer Science and Business Media LLC

    In the $(1+\varepsilon,r)$-approximate near-neighbor problem for curves (ANNC) under some distance measure $\delta$, the goal is to construct a data structure for a given set $\mathcal{C}$ of curves that supports approximate near-neighbor queries: Given a query curve $Q$, if there exists a curve $C\in\mathcal{C}$ such that $\delta(Q,C)\le r$, then return a curve $C'\in\mathcal{C}$ with $\delta(Q,C')\le(1+\varepsilon)r$. There exists an efficient reduction from the $(1+\varepsilon)$-approximate nearest-neighbor problem to ANNC, where in the former problem the answer to a query is a curve $C\in\mathcal{C}$ with $\delta(Q,C)\le(1+\varepsilon)\cdot\delta(Q,C^*)$, where $C^*$ is the curve of $\mathcal{C}$ closest to $Q$. Given a set $\mathcal{C}$ of $n$ curves, each consisting of $m$ points in $d$ dimensions, we construct a data structure for ANNC that uses $n\cdot O(\frac{1}{\varepsilon})^{md}$ storage space and has $O(md)$ query time (for a query curve of length $m$), where the similarity between two curves is their discrete Fr\'echet or dynamic time warping distance. Our method is simple to implement, deterministic, and results in an exponential improvement in both query time and storage space compared to all previous bounds. Further, we also consider the asymmetric version of ANNC, where the length of the query curves is $k \ll m$, and obtain essentially the same storage and query bounds as above, except that $m$ is replaced by $k$. Finally, we apply our method to a version of approximate range counting for curves and achieve similar bounds.

  • Publication . Preprint . Article . 2022
    Open Access
    Authors: 
    Leah Epstein; Loay Mualem;
    Publisher: Springer Science and Business Media LLC

    In the d-dimensional online bin packing problem, d-dimensional cubes of positive sizes no larger than 1 are presented one by one to be assigned to positions in d-dimensional unit cube bins. In this work, we provide improved upper bounds on the asymptotic competitive ratio for square and cube bin packing problems, where our bounds do not exceed 2.0885 and 2.5735 for square and cube packing, respectively. To achieve these results, we adapt and improve a previously designed harmonic-type algorithm, and apply a different method for defining weight functions. We detect deficiencies in the state-of-the-art results by providing counter-examples to the current best algorithms and the analysis, where the claimed bounds were 2.1187 for square packing and 2.6161 for cube packing. WADS 2021

  • Open Access English
    Authors: 
    N Sahakyan; P Giommi; P Padovani; M Petropoulou; D Bégué; B Boccardi; S Gasparyan;
    Project: EC | O.M.J. (773062)

    The blazar PKS 0735+178 is possibly associated with multiple neutrino events observed by the IceCube, Baikal, Baksan, and KM3NeT neutrino telescopes while it was flaring in the $\gamma$-ray, X-ray, ultraviolet and optical bands. We present a detailed study of this peculiar blazar to investigate the temporal and spectral changes in the multi-wavelength emission when the neutrino events were observed. The analysis of Swift-XRT snapshots reveal a flux variability of more than a factor 2 in about $5\times10^3$ seconds during the observation on December 17, 2021. In the $\gamma$-ray band, the source was in its historical highest flux level at the time of the arrival of the neutrinos. The observational comparison between PKS 0735+178 and other neutrino source candidates, such as TXS 0506+056, PKS 1424+240, and GB6 J1542+6129, shows that all these sources share similar spectral energy distributions, very high radio and $\gamma$-ray powers, and parsec scale jet properties. Moreover, we present strong supporting evidence for PKS 0735+178 to be, like all the others, a masquerading BL Lac. We perform comprehensive modelling of the multiwavelength emission from PKS 0735+178 within one-zone lepto-hadronic models considering both internal and external photon fields and estimate the expected accompanying neutrino flux. The most optimistic scenario invokes a jet with luminosity close to the Eddington value and the interactions of $\sim$ PeV protons with an external UV photon field. This scenario predicts $\sim 0.067$ muon and antimuon neutrinos over the observed 3-week flare. Our results are consistent with the detection of one very-high-energy neutrino like IceCube-211208A. Comment: Accepted for publication in MNRAS

  • Open Access English
    Authors: 
    Durga Bhaktavatsala Rao Dasari; Sen Yang; Arnab Chakrabarti; Amit Finkler; Gershon Kurizki; Jörg Wrachtrup;

    The quantum Zeno and anti-Zeno paradigms have thus far addressed the evolution control of a quantum system coupled to an immutable bath via non-selective measurements performed at appropriate intervals. We fundamentally modify these paradigms by introducing, theoretically and experimentally, the concept of controlling the bath state via selective measurements of the system (a qubit). We show that at intervals corresponding to the anti-Zeno regime of the system-bath exchange, a sequence of measurements has strongly correlated outcomes. These correlations can dramatically enhance the bath-state purity and yield a low-entropy steady state of the bath. The purified bath state persists long after the measurements are completed. Such purification enables the exploitation of spin baths as long-lived quantum memories or as quantum-enhanced sensors. The experiment involved a repeatedly probed defect center dephased by a nuclear spin bath in a diamond at low-temperature. 4 figures

  • Open Access
    Authors: 
    S. Artstein-Avidan; S. Sadovsky; K. Wyczesany;
    Publisher: Springer Science and Business Media LLC
    Project: EC | DEPENDENTCLASSES (338821)

    We study optimal mass transport problems between two measures with respect to a non-traditional cost function, i.e. a cost $c$ which can attain the value $+\infty$. We define the notion of $c$-compatibility and strong-$c$-compatibility of two measures, and prove that if there is a finite-cost plan between the measures then the measures must be $c$-compatible, and if in addition the two measures are strongly $c$-compatible, then there is an optimal plan concentrated on a $c$-subgradient of a $c$-class function. This function is the so-called potential of the plan. We give two proofs of this theorem, under slightly different assumptions. In the first we utilize the notion of $c$-path-boundedness, showing that strong $c$-compatibility implies a strong connectivity result for a directed graph associated with an optimal map. Strong connectivity of the graph implies that the $c$-cyclic monotonicity of the support set (which follows from classical reasoning) guarantees its $c$-path-boundedness, implying, in turn, the existence of a potential. We also give a constructive proof, in the case when one of the measures is discrete. This approach adopts a new notion of `Hall polytopes', which we introduce and study in depth, to which we apply a version of Brouwer's fixed point theorem to prove the existence of a potential in this case. 39 pages, 2 figures

Advanced search in
Research products
arrow_drop_down
Searching FieldsTerms
Any field
arrow_drop_down
includes
arrow_drop_down
Include:
23,019 Research products, page 1 of 2,302
  • Publication . Preprint . Article . 2022
    Open Access English
    Authors: 
    Barak Hoffer; Nicolas Wainstein; Christopher M. Neumann; Eric Pop; Eilam Yalon; Shahar Kvatinsky;
    Project: EC | Real-PIM-System (757259)

    Stateful logic is a digital processing-in-memory technique that could address von Neumann memory bottleneck challenges while maintaining backward compatibility with standard von Neumann architectures. In stateful logic, memory cells are used to perform the logic operations without reading or moving any data outside the memory array. Stateful logic has been previously demonstrated using several resistive memory types, mostly by resistive RAM (RRAM). Here we present a new method to design stateful logic using a different resistive memory - phase change memory (PCM). We propose and experimentally demonstrate four logic gate types (NOR, IMPLY, OR, NIMP) using commonly used PCM materials. Our stateful logic circuits are different than previously proposed circuits due to the different switching mechanism and functionality of PCM compared to RRAM. Since the proposed stateful logic form a functionally complete set, these gates enable sequential execution of any logic function within the memory, paving the way to PCM-based digital processing-in-memory systems.

  • Publication . Preprint . Article . 2022
    Open Access English
    Authors: 
    Goldreich, Oded; Ron, Dana;
    Project: EC | VERICOMP (819702)

    We initiate a study of a new model of property testing that is a hybrid of testing properties of distributions and testing properties of strings. Specifically, the new model refers to testing properties of distributions, but these are distributions over huge objects (i.e., very long strings). Accordingly, the model accounts for the total number of local probes into these objects (resp., queries to the strings) as well as for the distance between objects (resp., strings). Specifically, the distance between distributions is defined as the earth mover���s distance with respect to the relative Hamming distance between strings. We study the query complexity of testing in this new model, focusing on three directions. First, we try to relate the query complexity of testing properties in the new model to the sample complexity of testing these properties in the standard distribution testing model. Second, we consider the complexity of testing properties that arise naturally in the new model (e.g., distributions that capture random variations of fixed strings). Third, we consider the complexity of testing properties that were extensively studied in the standard distribution testing model: Two such cases are uniform distributions and pairs of identical distributions, where we obtain the following results. - Testing whether a distribution over n-bit long strings is uniform on some set of size m can be done with query complexity ��(m/����), where �� > (log���m)/n is the proximity parameter. - Testing whether two distribution over n-bit long strings that have support size at most m are identical can be done with query complexity ��(m^{2/3}/����). Both upper bounds are quite tight; that is, for �� = ��(1), the first task requires ��(m^c) queries for any c < 1 and n = ��(log m), whereas the second task requires ��(m^{2/3}) queries. Note that the query complexity of the first task is higher than the sample complexity of the corresponding task in the standard distribution testing model, whereas in the case of the second task the bounds almost match. LIPIcs, Vol. 215, 13th Innovations in Theoretical Computer Science Conference (ITCS 2022), pages 78:1-78:19

  • Open Access English
    Authors: 
    Omri Lesser; Yuval Oreg; Ady Stern;
    Project: EC | LEGOTOP (788715)

    Topological superconductivity in one dimension requires time-reversal symmetry breaking, but at the same time it is hindered by external magnetic fields. We offer a general prescription for inducing topological superconductivity in planar superconductor-normal-superconductor-normal-superconductor (SNSNS) Josephson junctions without applying any magnetic fields on the junctions. Our platform relies on two key ingredients: the three parallel superconductors form two SNS junctions with phase winding, and the Fermi velocities for the two spin branches transverse to the junction must be different from one another. The two phase differences between the three superconductors define a parameter plane which includes large topological regions. We analytically derive the critical curves where the topological phase transitions occur, and corroborate the result with a numerical calculation based on a tight-binding model. We further propose material platforms with unequal Fermi velocities, establishing the experimental feasibility of our approach. 5+10 pages, 3+8 figures

  • Open Access English
    Authors: 
    Augeri, Fanny; Butez, Raphael; Zeitouni, Ofer;
    Publisher: HAL CCSD
    Country: France
    Project: EC | LogCorrelatedFields (692452)

    We prove a central limit theorem for the logarithm of the characteristic polynomial of random Jacobi matrices. Our results cover the G$\beta$E models for $\beta>0$. Comment: Corrected a mistake in computation of centering, improved error estimates through section 4, various typos corrected

  • Publication . Preprint . Article . 2022 . Embargo End Date: 01 Jan 2020
    Open Access
    Authors: 
    Alexander Apelblat; Francesco Mainardi;
    Publisher: arXiv

    In this survey we discuss derivatives of the Wright functions (of the first and the second kind) with respect to parameters. Differentiation of these functions leads to infinite power series with coefficient being quotients of the digamma (psi) and gamma functions. Only in few cases it is possible to obtain the sums of these series in a closed form. Functional form of the power series resembles those derived for the Mittag-Leffler functions. If the Wright functions are treated as the generalized Bessel functions, differentiation operations can be expressed in terms of the Bessel functions and their derivatives with respect to the order. It is demonstrated that in many cases it is possible to derive the explicit form of the Mittag-Leffler functions by performing simple operations with the Laplace transforms of the Wright functions. The Laplace transform pairs of the both kinds of the Wright functions are discussed for particular values of the parameters. Some transform pairs serve to obtain functional limits by applying the shifted Dirac delta function. Comment: 21 pages, 4 figures

  • Publication . Preprint . Article . Conference object . 2022
    Open Access
    Authors: 
    Arnold Filtser; Omrit Filtser; Matthew J. Katz;
    Publisher: Springer Science and Business Media LLC

    In the $(1+\varepsilon,r)$-approximate near-neighbor problem for curves (ANNC) under some distance measure $\delta$, the goal is to construct a data structure for a given set $\mathcal{C}$ of curves that supports approximate near-neighbor queries: Given a query curve $Q$, if there exists a curve $C\in\mathcal{C}$ such that $\delta(Q,C)\le r$, then return a curve $C'\in\mathcal{C}$ with $\delta(Q,C')\le(1+\varepsilon)r$. There exists an efficient reduction from the $(1+\varepsilon)$-approximate nearest-neighbor problem to ANNC, where in the former problem the answer to a query is a curve $C\in\mathcal{C}$ with $\delta(Q,C)\le(1+\varepsilon)\cdot\delta(Q,C^*)$, where $C^*$ is the curve of $\mathcal{C}$ closest to $Q$. Given a set $\mathcal{C}$ of $n$ curves, each consisting of $m$ points in $d$ dimensions, we construct a data structure for ANNC that uses $n\cdot O(\frac{1}{\varepsilon})^{md}$ storage space and has $O(md)$ query time (for a query curve of length $m$), where the similarity between two curves is their discrete Fr\'echet or dynamic time warping distance. Our method is simple to implement, deterministic, and results in an exponential improvement in both query time and storage space compared to all previous bounds. Further, we also consider the asymmetric version of ANNC, where the length of the query curves is $k \ll m$, and obtain essentially the same storage and query bounds as above, except that $m$ is replaced by $k$. Finally, we apply our method to a version of approximate range counting for curves and achieve similar bounds.

  • Publication . Preprint . Article . 2022
    Open Access
    Authors: 
    Leah Epstein; Loay Mualem;
    Publisher: Springer Science and Business Media LLC

    In the d-dimensional online bin packing problem, d-dimensional cubes of positive sizes no larger than 1 are presented one by one to be assigned to positions in d-dimensional unit cube bins. In this work, we provide improved upper bounds on the asymptotic competitive ratio for square and cube bin packing problems, where our bounds do not exceed 2.0885 and 2.5735 for square and cube packing, respectively. To achieve these results, we adapt and improve a previously designed harmonic-type algorithm, and apply a different method for defining weight functions. We detect deficiencies in the state-of-the-art results by providing counter-examples to the current best algorithms and the analysis, where the claimed bounds were 2.1187 for square packing and 2.6161 for cube packing. WADS 2021

  • Open Access English
    Authors: 
    N Sahakyan; P Giommi; P Padovani; M Petropoulou; D Bégué; B Boccardi; S Gasparyan;
    Project: EC | O.M.J. (773062)

    The blazar PKS 0735+178 is possibly associated with multiple neutrino events observed by the IceCube, Baikal, Baksan, and KM3NeT neutrino telescopes while it was flaring in the $\gamma$-ray, X-ray, ultraviolet and optical bands. We present a detailed study of this peculiar blazar to investigate the temporal and spectral changes in the multi-wavelength emission when the neutrino events were observed. The analysis of Swift-XRT snapshots reveal a flux variability of more than a factor 2 in about $5\times10^3$ seconds during the observation on December 17, 2021. In the $\gamma$-ray band, the source was in its historical highest flux level at the time of the arrival of the neutrinos. The observational comparison between PKS 0735+178 and other neutrino source candidates, such as TXS 0506+056, PKS 1424+240, and GB6 J1542+6129, shows that all these sources share similar spectral energy distributions, very high radio and $\gamma$-ray powers, and parsec scale jet properties. Moreover, we present strong supporting evidence for PKS 0735+178 to be, like all the others, a masquerading BL Lac. We perform comprehensive modelling of the multiwavelength emission from PKS 0735+178 within one-zone lepto-hadronic models considering both internal and external photon fields and estimate the expected accompanying neutrino flux. The most optimistic scenario invokes a jet with luminosity close to the Eddington value and the interactions of $\sim$ PeV protons with an external UV photon field. This scenario predicts $\sim 0.067$ muon and antimuon neutrinos over the observed 3-week flare. Our results are consistent with the detection of one very-high-energy neutrino like IceCube-211208A. Comment: Accepted for publication in MNRAS

  • Open Access English
    Authors: 
    Durga Bhaktavatsala Rao Dasari; Sen Yang; Arnab Chakrabarti; Amit Finkler; Gershon Kurizki; Jörg Wrachtrup;

    The quantum Zeno and anti-Zeno paradigms have thus far addressed the evolution control of a quantum system coupled to an immutable bath via non-selective measurements performed at appropriate intervals. We fundamentally modify these paradigms by introducing, theoretically and experimentally, the concept of controlling the bath state via selective measurements of the system (a qubit). We show that at intervals corresponding to the anti-Zeno regime of the system-bath exchange, a sequence of measurements has strongly correlated outcomes. These correlations can dramatically enhance the bath-state purity and yield a low-entropy steady state of the bath. The purified bath state persists long after the measurements are completed. Such purification enables the exploitation of spin baths as long-lived quantum memories or as quantum-enhanced sensors. The experiment involved a repeatedly probed defect center dephased by a nuclear spin bath in a diamond at low-temperature. 4 figures

  • Open Access
    Authors: 
    S. Artstein-Avidan; S. Sadovsky; K. Wyczesany;
    Publisher: Springer Science and Business Media LLC
    Project: EC | DEPENDENTCLASSES (338821)

    We study optimal mass transport problems between two measures with respect to a non-traditional cost function, i.e. a cost $c$ which can attain the value $+\infty$. We define the notion of $c$-compatibility and strong-$c$-compatibility of two measures, and prove that if there is a finite-cost plan between the measures then the measures must be $c$-compatible, and if in addition the two measures are strongly $c$-compatible, then there is an optimal plan concentrated on a $c$-subgradient of a $c$-class function. This function is the so-called potential of the plan. We give two proofs of this theorem, under slightly different assumptions. In the first we utilize the notion of $c$-path-boundedness, showing that strong $c$-compatibility implies a strong connectivity result for a directed graph associated with an optimal map. Strong connectivity of the graph implies that the $c$-cyclic monotonicity of the support set (which follows from classical reasoning) guarantees its $c$-path-boundedness, implying, in turn, the existence of a potential. We also give a constructive proof, in the case when one of the measures is discrete. This approach adopts a new notion of `Hall polytopes', which we introduce and study in depth, to which we apply a version of Brouwer's fixed point theorem to prove the existence of a potential in this case. 39 pages, 2 figures

Send a message
How can we help?
We usually respond in a few hours.