-
Hyper-do** of Silicon for Plasmonics in the Telecommunication Range
Authors:
Jura Rensberg,
Angela Barreda,
Kevin Wolf,
Andreas Undisz,
Jürgen Salfeld,
Sebastian Geburt,
Isabelle Staude,
Carsten Ronning,
Martin Hafermann
Abstract:
We investigate hyper-do**, a promising approach to introduce a high concentration of impurities into silicon beyond its solid solubility limit, for its potential applications in near-infrared plasmonics. We systematically explore the incorporation of dopants into silicon using ion implantation and pulsed laser melting annealing processes. Reflectance spectra analysis shows an achievable plasma w…
▽ More
We investigate hyper-do**, a promising approach to introduce a high concentration of impurities into silicon beyond its solid solubility limit, for its potential applications in near-infrared plasmonics. We systematically explore the incorporation of dopants into silicon using ion implantation and pulsed laser melting annealing processes. Reflectance spectra analysis shows an achievable plasma wavelength of around 1.5 $μ$m for dopant concentrations exceeding 4 at.%. Complex refractive index data for the doped silicon samples are extracted, revealing their potential for near-infrared plasmonic applications. Moreover, we propose a fabrication process that allows for the creation of hyper-doped silicon nanoparticles without the need for additional masking steps. Our research paves the way for designing CMOS-compatible plasmonic nanostructures operating in the telecommunication wavelength range. The study's findings offer significant insights into the utilization of hyper-doped silicon for advanced photonic and optoelectronic applications.
△ Less
Submitted 17 May, 2024;
originally announced May 2024.
-
Double Robustness of Local Projections and Some Unpleasant VARithmetic
Authors:
José Luis Montiel Olea,
Mikkel Plagborg-Møller,
Eric Qian,
Christian K. Wolf
Abstract:
We consider impulse response inference in a locally misspecified stationary vector autoregression (VAR) model. The conventional local projection (LP) confidence interval has correct coverage even when the misspecification is so large that it can be detected with probability approaching 1. This follows from a "double robustness" property analogous to that of modern estimators for partially linear r…
▽ More
We consider impulse response inference in a locally misspecified stationary vector autoregression (VAR) model. The conventional local projection (LP) confidence interval has correct coverage even when the misspecification is so large that it can be detected with probability approaching 1. This follows from a "double robustness" property analogous to that of modern estimators for partially linear regressions. In contrast, VAR confidence intervals dramatically undercover even for misspecification so small that it is difficult to detect statistically and cannot be ruled out based on economic theory. This is because of a "no free lunch" result for VARs: the worst-case bias and coverage distortion are small if, and only if, the variance is close to that of LP. While VAR coverage can be restored by using a bias-aware critical value or a large lag length, the resulting confidence interval tends to be at least as wide as the LP interval.
△ Less
Submitted 15 May, 2024;
originally announced May 2024.
-
Measuring the spatial Acuity of vibrotactile Stimuli: A new Approach to determine universal and individual Thresholds
Authors:
Max vom Stein,
Maximilian Hoppe,
Maxim Sommer,
Kai-Dietrich Wolf
Abstract:
Tactile perception is an increasingly popular gateway in human-machine interaction, yet universal design guidelines for tactile displays are still lacking, largely due to the absence of methods to measure sensibility across skin areas. In this study, we address this gap by develo** and evaluating two fully automated vibrotactile tasks that require subjects to discriminate the position of vibrota…
▽ More
Tactile perception is an increasingly popular gateway in human-machine interaction, yet universal design guidelines for tactile displays are still lacking, largely due to the absence of methods to measure sensibility across skin areas. In this study, we address this gap by develo** and evaluating two fully automated vibrotactile tasks that require subjects to discriminate the position of vibrotactile stimuli using a two-interval forced-choice procedure (2IFC). Of the two methodologies, one was initially validated through a preliminary study involving 13 participants. Subsequently, we applied the validated and improved vibrotactile testing procedure to a larger sample of 23 participants, enabling a direct and valid comparison with static perception. Our findings reveal a significantly finer spatial acuity for static stimuli perception compared to vibrotactile stimuli perception from a stimulus separation of 15 mm onwards. This study introduces a novel method for generating both universal thresholds and individual person-specific data for vibratory perception, marking a critical step towards the development of functional vibrotactile displays. The results underline the need for further research in this area and provide a foundation for the development of universal design guidelines for tactile displays.
△ Less
Submitted 19 September, 2023; v1 submitted 10 August, 2023;
originally announced August 2023.
-
Frontier AI Regulation: Managing Emerging Risks to Public Safety
Authors:
Markus Anderljung,
Joslyn Barnhart,
Anton Korinek,
Jade Leung,
Cullen O'Keefe,
Jess Whittlestone,
Shahar Avin,
Miles Brundage,
Justin Bullock,
Duncan Cass-Beggs,
Ben Chang,
Tantum Collins,
Tim Fist,
Gillian Hadfield,
Alan Hayes,
Lewis Ho,
Sara Hooker,
Eric Horvitz,
Noam Kolt,
Jonas Schuett,
Yonadav Shavit,
Divya Siddarth,
Robert Trager,
Kevin Wolf
Abstract:
Advanced AI models hold the promise of tremendous benefits for humanity, but society needs to proactively manage the accompanying risks. In this paper, we focus on what we term "frontier AI" models: highly capable foundation models that could possess dangerous capabilities sufficient to pose severe risks to public safety. Frontier AI models pose a distinct regulatory challenge: dangerous capabilit…
▽ More
Advanced AI models hold the promise of tremendous benefits for humanity, but society needs to proactively manage the accompanying risks. In this paper, we focus on what we term "frontier AI" models: highly capable foundation models that could possess dangerous capabilities sufficient to pose severe risks to public safety. Frontier AI models pose a distinct regulatory challenge: dangerous capabilities can arise unexpectedly; it is difficult to robustly prevent a deployed model from being misused; and, it is difficult to stop a model's capabilities from proliferating broadly. To address these challenges, at least three building blocks for the regulation of frontier models are needed: (1) standard-setting processes to identify appropriate requirements for frontier AI developers, (2) registration and reporting requirements to provide regulators with visibility into frontier AI development processes, and (3) mechanisms to ensure compliance with safety standards for the development and deployment of frontier AI models. Industry self-regulation is an important first step. However, wider societal discussions and government intervention will be needed to create standards and to ensure compliance with them. We consider several options to this end, including granting enforcement powers to supervisory authorities and licensure regimes for frontier AI models. Finally, we propose an initial set of safety standards. These include conducting pre-deployment risk assessments; external scrutiny of model behavior; using risk assessments to inform deployment decisions; and monitoring and responding to new information about model capabilities and uses post-deployment. We hope this discussion contributes to the broader conversation on how to balance public safety risks and innovation benefits from advances at the frontier of AI development.
△ Less
Submitted 7 November, 2023; v1 submitted 6 July, 2023;
originally announced July 2023.
-
Arbitrary unitary rotation of three-dimensional pixellated images
Authors:
Alejandro R. Urzúa,
Kurt Bernardo Wolf
Abstract:
Using the coefficients introduced by Bargmann and Moshinsky for the reduction of the su($3$) algebra of Cartesian three-dimensional oscillator multiplet states into so($3$) angular momentum submultiplets, we implement unitary rotations of three-dimensional Cartesian arrays that form finite pixellated "volume images." Transforming between the Cartesian and spherical bases, the subgroup of rotations…
▽ More
Using the coefficients introduced by Bargmann and Moshinsky for the reduction of the su($3$) algebra of Cartesian three-dimensional oscillator multiplet states into so($3$) angular momentum submultiplets, we implement unitary rotations of three-dimensional Cartesian arrays that form finite pixellated "volume images." Transforming between the Cartesian and spherical bases, the subgroup of rotations in the latter is converted into rotations of the former, allowing for proper concatenation and inversion of these unitary transformations, which entail no loss of information.
△ Less
Submitted 23 August, 2022; v1 submitted 27 July, 2022;
originally announced July 2022.
-
Unitary rotation of pixellated polychromatic images
Authors:
Alejandro R. Urzúa,
Kurt Bernardo Wolf
Abstract:
Unitary rotations of polychromatic images on finite two-dimensional pixellated screens provide invertibility, group composition, and thus conservation of information. Rotations have been applied on monochromatic image data sets, where we now examine closer the Gibbs-like oscillations that appear due to discrete "discontinuities" of the input images under unitary transformations. Extended to three-…
▽ More
Unitary rotations of polychromatic images on finite two-dimensional pixellated screens provide invertibility, group composition, and thus conservation of information. Rotations have been applied on monochromatic image data sets, where we now examine closer the Gibbs-like oscillations that appear due to discrete "discontinuities" of the input images under unitary transformations. Extended to three-color images we examine here the display of color at the pixels where, due to the oscillations, some pixel color values may fall outside their required common numerical range [0, 1], between absence and saturation of the red, green, and blue formant color images.
△ Less
Submitted 10 March, 2022;
originally announced March 2022.
-
Yetter-Drinfeld modules over Nichols systems and their reflections
Authors:
Kevin Wolf
Abstract:
We construct reflection functors for Yetter-Drinfeld modules over Nichols systems and discuss their fundamental properties. We will obtain properties about the geometry of the support of Nichols systems and their Yetter-Drinfeld modules, by looking at iterated reflections.
We will also study the maximal subobject of Yetter-Drinfeld modules over Nichols systems and find a special morphism, that w…
▽ More
We construct reflection functors for Yetter-Drinfeld modules over Nichols systems and discuss their fundamental properties. We will obtain properties about the geometry of the support of Nichols systems and their Yetter-Drinfeld modules, by looking at iterated reflections.
We will also study the maximal subobject of Yetter-Drinfeld modules over Nichols systems and find a special morphism, that we name Shapovalov morphism, whose kernel coincides with this maximal subobject. Moreover, we will use this morphism to characterize properties about the reflections of the Yetter-Drinfeld modules.
We calculate an explicit formula of the Shapovalov morphism in the case where the Nichols system is of group type. We will use the formula to calculate its kernel in the components of degree $2$ and to ascribe the theory of reflections of Yetter-Drinfeld modules over Nichols systems of diagonal type with the reflection theory of Dynkin diagrams.
We will also apply and specify the theory to the Yetter-Drinfeld modules over Nichols systems that are obtained by inducing comodules of the Nichols systems, a construction that is reminiscent of Verma modules in the representation theory of Lie algebras. For Nichols systems of diagonal type we will obtain the result, that such an induced objects irreducibility can be characterized by a polynomial that is given by the positive roots of its Nichols system. This polynomial appeared in previous works and is known as Shapovalov determinant.
Finally, we will apply the theory to some specific examples of Nichols algebras of nonabelian group type and to some examples of Nichols algebras of diagonal type.
△ Less
Submitted 23 December, 2021;
originally announced December 2021.
-
Skeleton Abstraction for Universal Temporal Properties
Authors:
Sophie Wallner,
Karsten Wolf
Abstract:
Uniform coloured Petri nets can be abstracted to their skeleton, the place/transition net that simply turns the coloured tokens into black tokens. A coloured net and its skeleton are related by a net morphism. For the application of the skeleton as an abstraction method in the model checking process, we need to establish a simulation relation between the state spaces of the two nets. Then, univers…
▽ More
Uniform coloured Petri nets can be abstracted to their skeleton, the place/transition net that simply turns the coloured tokens into black tokens. A coloured net and its skeleton are related by a net morphism. For the application of the skeleton as an abstraction method in the model checking process, we need to establish a simulation relation between the state spaces of the two nets. Then, universal temporal properties (properties of the $ ACTL^* $ logic) are preserved. The abstraction relation induced by a net morphism is not necessarily a simulation relation, due to a subtle issue related to deadlocks. We discuss several situations where the abstraction relation induced by a net morphism is as well a simulation relation, thus preserving $ACTL^*$ properties. We further propose a partition refinement algorithm for folding a place/transition net into a coloured net. This way, skeleton abstraction becomes available for models given as place/transition nets. Experiments demonstrate the capabilities of the proposed technology. Using skeleton abstraction, we are capable of solving problems that have not been solved before in the Model Checking Contest.
△ Less
Submitted 14 October, 2022; v1 submitted 16 December, 2021;
originally announced December 2021.
-
Messaging with Purpose Limitation -- Privacy-Compliant Publish-Subscribe Systems
Authors:
Karl Wolf,
Frank Pallas,
Stefan Tai
Abstract:
Purpose limitation is an important privacy principle to ensure that personal data may only be used for the declared purposes it was originally collected for. Ensuring compliance with respective privacy regulations like the GDPR, which codify purpose limitation as an obligation, consequently, is a major challenge in real-world enterprise systems. Technical solutions under the umbrella of purpose-ba…
▽ More
Purpose limitation is an important privacy principle to ensure that personal data may only be used for the declared purposes it was originally collected for. Ensuring compliance with respective privacy regulations like the GDPR, which codify purpose limitation as an obligation, consequently, is a major challenge in real-world enterprise systems. Technical solutions under the umbrella of purpose-based access control (PBAC), however, focus mostly on data being held at-rest in databases, while PBAC for communication and publish-subscribe messaging in particular has received only little attention. In this paper, we argue for PBAC to be also applied to data-in-transit and introduce and study a concrete proof-of-concept implementation, which extends a popular MQTT message broker with purpose limitation. On this basis, purpose limitation as a core privacy principle can be addressed in enterprise IoT and message-driven integration architectures that do not focus on databases but event-driven communication and integration instead.
△ Less
Submitted 28 October, 2021;
originally announced October 2021.
-
Local Projections vs. VARs: Lessons From Thousands of DGPs
Authors:
Dake Li,
Mikkel Plagborg-Møller,
Christian K. Wolf
Abstract:
We conduct a simulation study of Local Projection (LP) and Vector Autoregression (VAR) estimators of structural impulse responses across thousands of data generating processes, designed to mimic the properties of the universe of U.S. macroeconomic data. Our analysis considers various identification schemes and several variants of LP and VAR estimators, employing bias correction, shrinkage, or mode…
▽ More
We conduct a simulation study of Local Projection (LP) and Vector Autoregression (VAR) estimators of structural impulse responses across thousands of data generating processes, designed to mimic the properties of the universe of U.S. macroeconomic data. Our analysis considers various identification schemes and several variants of LP and VAR estimators, employing bias correction, shrinkage, or model averaging. A clear bias-variance trade-off emerges: LP estimators have lower bias than VAR estimators, but they also have substantially higher variance at intermediate and long horizons. Bias-corrected LP is the preferred method if and only if the researcher overwhelmingly prioritizes bias. For researchers who also care about precision, VAR methods are the most attractive -- Bayesian VARs at short and long horizons, and least-squares VARs at intermediate and long horizons.
△ Less
Submitted 23 January, 2024; v1 submitted 1 April, 2021;
originally announced April 2021.
-
Discrete Bessel and Mathieu functions
Authors:
Kenan Uriostegui,
Kurt Bernardo Wolf
Abstract:
The two-dimensional Helmholtz equation separates in elliptic coordinates based on two distinct foci, a limit case of which includes polar coordinate systems when the two foci coalesce. This equation is invariant under the Euclidean group of translations and orthogonal transformations; we replace the latter by the discrete dihedral group of N discrete rotations and reflections. The separation of va…
▽ More
The two-dimensional Helmholtz equation separates in elliptic coordinates based on two distinct foci, a limit case of which includes polar coordinate systems when the two foci coalesce. This equation is invariant under the Euclidean group of translations and orthogonal transformations; we replace the latter by the discrete dihedral group of N discrete rotations and reflections. The separation of variables in polar and elliptic coordinates is then used to define discrete Bessel and Mathieu functions, as approximants to the well-known continuous Bessel and Mathieu functions, as N-point Fourier transforms approximate the Fourier transform over the circle, with integrals replaced by finite sums. We find that these 'discrete' functions approximate the numerical values of their continuous counterparts very closely and preserve some key special function relations.
△ Less
Submitted 9 February, 2021;
originally announced February 2021.
-
Instrumental Variable Identification of Dynamic Variance Decompositions
Authors:
Mikkel Plagborg-Møller,
Christian K. Wolf
Abstract:
Macroeconomists increasingly use external sources of exogenous variation for causal inference. However, unless such external instruments (proxies) capture the underlying shock without measurement error, existing methods are silent on the importance of that shock for macroeconomic fluctuations. We show that, in a general moving average model with external instruments, variance decompositions for th…
▽ More
Macroeconomists increasingly use external sources of exogenous variation for causal inference. However, unless such external instruments (proxies) capture the underlying shock without measurement error, existing methods are silent on the importance of that shock for macroeconomic fluctuations. We show that, in a general moving average model with external instruments, variance decompositions for the instrumented shock are interval-identified, with informative bounds. Various additional restrictions guarantee point identification of both variance and historical decompositions. Unlike SVAR analysis, our methods do not require invertibility. Applied to U.S. data, they give a tight upper bound on the importance of monetary shocks for inflation dynamics.
△ Less
Submitted 11 July, 2021; v1 submitted 2 November, 2020;
originally announced November 2020.
-
Discrete Bessel functions and transform
Authors:
Kenan Uriostegui,
Kurt Bernardo Wolf
Abstract:
We present a straightforward discretization of the Bessel functions $J_n(x)$ to discrete counterparts $B^{(N)}_n(x_m)$, of $N$ integer orders $n$ on $N$ integer points $x_m \equiv m$, that we call discrete Bessel functions. These are built from a Bessel integral generating function, restricting the Fourier transform over the circle to $N$ points. We show that the discrete Bessel functions satisfy…
▽ More
We present a straightforward discretization of the Bessel functions $J_n(x)$ to discrete counterparts $B^{(N)}_n(x_m)$, of $N$ integer orders $n$ on $N$ integer points $x_m \equiv m$, that we call discrete Bessel functions. These are built from a Bessel integral generating function, restricting the Fourier transform over the circle to $N$ points. We show that the discrete Bessel functions satisfy several linear and quadratic relations, particularly Graf's product-displacement formulas, that are exact analogues of well-known relations between the continuous functions. It is noteworthy that these discrete Bessel functions approximate very closely the values of the continuous functions in ranges $n + |m| < N$. For fixed $N$, this provides an $N$-point transform between functions of order and of position,$f_n$ and $\widetilde{f}_m$, which is efficient for the Fourier analysis of finite decaying signals.
△ Less
Submitted 12 May, 2020;
originally announced May 2020.
-
Two-cocycles and cleft extensions in left braided categories
Authors:
István Heckenberger,
Kevin Wolf
Abstract:
We define two-cocycles and cleft extensions in categories that are not necessarily braided, but where specific objects braid from one direction, like for a Hopf algebra $H$ a Yetter-Drinfeld module braids from the left with $H$-modules. We will generalize classical results to this context and give some application for the categories of Yetter-Drinfeld modules and $H$-modules. In particular we will…
▽ More
We define two-cocycles and cleft extensions in categories that are not necessarily braided, but where specific objects braid from one direction, like for a Hopf algebra $H$ a Yetter-Drinfeld module braids from the left with $H$-modules. We will generalize classical results to this context and give some application for the categories of Yetter-Drinfeld modules and $H$-modules. In particular we will describe liftings of coradically graded Hopf algebras in the category of Yetter-Drinfeld modules with these techniques.
△ Less
Submitted 12 June, 2019;
originally announced June 2019.
-
Coupling of Magneto-Thermal and Mechanical Superconducting Magnet Models by Means of Mesh-Based Interpolation
Authors:
Michał Maciejewski,
Pascal Bayrasy,
Klaus Wolf,
Michał Wilczek,
Bernhard Auchmann,
Tina Griesemer,
Lorenzo Bortot,
Marco Prioli,
Alejandro Manuel Fernandez Navarro,
Sebastian Schöps,
Idoia Cortes Garcia,
Arjan Verweij
Abstract:
In this paper we present an algorithm for the coupling of magneto-thermal and mechanical finite element models representing superconducting accelerator magnets. The mechanical models are used during the design of the mechanical structure as well as the optimization of the magnetic field quality under nominal conditions. The magneto-thermal models allow for the analysis of transient phenomena occur…
▽ More
In this paper we present an algorithm for the coupling of magneto-thermal and mechanical finite element models representing superconducting accelerator magnets. The mechanical models are used during the design of the mechanical structure as well as the optimization of the magnetic field quality under nominal conditions. The magneto-thermal models allow for the analysis of transient phenomena occurring during quench initiation, propagation, and protection. Mechanical analysis of quenching magnets is of high importance considering the design of new protection systems and the study of new superconductor types. We use field/circuit coupling to determine temperature and electromagnetic force evolution during the magnet discharge. These quantities are provided as a load to existing mechanical models. The models are discretized with different meshes and, therefore, we employ a mesh-based interpolation method to exchange coupled quantities. The coupling algorithm is illustrated with a simulation of a mechanical response of a standalone high-field dipole magnet protected with CLIQ (Coupling-Loss Induced Quench) technology.
△ Less
Submitted 29 December, 2017;
originally announced December 2017.
-
Interbasis expansions in the Zernike system
Authors:
Natig M. Atakishiyev,
George S. Pogosyan,
Kurt Bernardo Wolf,
Alexander Yakhno
Abstract:
The differential equation with free boundary conditions on the unit disk that was proposed by Frits Zernike in 1934 to find Jacobi polynomial solutions (indicated as I), serves to define a classical and a quantum system which have been found to be superintegrable. We have determined two new orthogonal polynomial solutions (indicated as II and III) that are separable, and which involve Legendre and…
▽ More
The differential equation with free boundary conditions on the unit disk that was proposed by Frits Zernike in 1934 to find Jacobi polynomial solutions (indicated as I), serves to define a classical and a quantum system which have been found to be superintegrable. We have determined two new orthogonal polynomial solutions (indicated as II and III) that are separable, and which involve Legendre and Gegenbauer polynomials.
Here we report on their three interbasis expansion coefficients: between the I--II and I--III bases they are given by $_3F_2(\cdots|1)$ polynomials that are also special su($2$) Clebsch-Gordan coefficients and Hahn polynomials. Between the II--III bases, we find an xpansion expressed by $_4F_3(\cdots|1)$'s and Racah polynomials that are related to the Wigner $6j$ coefficients.
△ Less
Submitted 22 August, 2017;
originally announced August 2017.
-
New separated polynomial solutions to the Zernike system on the unit disk and interbasis expansion
Authors:
George S. Pogosyan,
Kurt Bernardo Wolf,
Alexander Yakhno
Abstract:
The differential equation proposed by Frits Zernike to obtain a basis of polynomial orthogonal solutions on the the unit disk to classify wavefront aberrations in circular pupils, is shown to have a set of new orthonormal solution bases, involving Legendre and Gegenbauer polynomials, in non-orthogonal coordinates close to Cartesian ones. We find the overlaps between the original Zernike basis and…
▽ More
The differential equation proposed by Frits Zernike to obtain a basis of polynomial orthogonal solutions on the the unit disk to classify wavefront aberrations in circular pupils, is shown to have a set of new orthonormal solution bases, involving Legendre and Gegenbauer polynomials, in non-orthogonal coordinates close to Cartesian ones. We find the overlaps between the original Zernike basis and a representative of the new set, which turn out to be Clebsch-Gordan coefficients.
△ Less
Submitted 23 May, 2017;
originally announced May 2017.
-
Quantum superintegrable Zernike system
Authors:
George S. Pogosyan,
Cristina Salto-Alegre,
Kurt Bernardo Wolf,
Alexander Yakhno
Abstract:
We consider the differential equation that Zernike proposed to classify aberrations of wavefronts in a circular pupil, whose value at the boundary can be nonzero. On this account the quantum Zernike system, where that differential equation is seen as a Schrödinger equation with a potential, is special in that it has a potential and boundary condition that are not standard in quantum mechanics. We…
▽ More
We consider the differential equation that Zernike proposed to classify aberrations of wavefronts in a circular pupil, whose value at the boundary can be nonzero. On this account the quantum Zernike system, where that differential equation is seen as a Schrödinger equation with a potential, is special in that it has a potential and boundary condition that are not standard in quantum mechanics. We project the disk on a half-sphere and there we find that, in addition to polar coordinates, this system separates in two additional coordinate systems (non-orthogonal on the pupil disk), which lead to Schrödinger-type equations with Pöschl-Teller potentials, whose eigen-solutions involve Legendre, Gegenbauer and Jacobi polynomials. This provides new expressions for separated polynomial solutions of the original Zernike system that are real. The operators which provide the separation constants are found to participate in a superintegrable cubic Higgs algebra.
△ Less
Submitted 27 February, 2017;
originally announced February 2017.
-
Superintegrable classical Zernike system
Authors:
George S. Pogosyan,
Kurt Bernardo Wolf,
Alexander Yakhno
Abstract:
We consider the differential equation that Zernike proposed to classify aberrations of wavefronts in a circular pupil, as if it were a classical Hamiltonian with a non-standard potential. The trajectories turn out to be closed ellipses. We show that this is due to the existence of higher-order invariants that close into a cubic Higgs algebra. The Zernike classical system thus belongs to the class…
▽ More
We consider the differential equation that Zernike proposed to classify aberrations of wavefronts in a circular pupil, as if it were a classical Hamiltonian with a non-standard potential. The trajectories turn out to be closed ellipses. We show that this is due to the existence of higher-order invariants that close into a cubic Higgs algebra. The Zernike classical system thus belongs to the class of superintegrable systems. Its Hamilton-Jacobi action separates in three vertical projections of polar coordinates of a sphere, polar and equidistant coordinates on half-hyperboloids, and also in elliptic coordinates on the sphere.
△ Less
Submitted 27 February, 2017;
originally announced February 2017.
-
Unitary rotation and gyration of pixellated images on rectangular screens
Authors:
Alejandro R. Urzúa,
Kurt Bernardo Wolf
Abstract:
In the two space dimensions of screens in optical sy stems, rotations, gyrations, and fractional Fourier transformations form the Fourier subgroup of the symplectic group of linear canonical transformations: U(2) F $\subset$ Sp(4,R). Here we study the action of this Fourier group on pixellated images within generic rectangular $N_x$ $\times$ $N_y$ screens; its elements here compose properly and ac…
▽ More
In the two space dimensions of screens in optical sy stems, rotations, gyrations, and fractional Fourier transformations form the Fourier subgroup of the symplectic group of linear canonical transformations: U(2) F $\subset$ Sp(4,R). Here we study the action of this Fourier group on pixellated images within generic rectangular $N_x$ $\times$ $N_y$ screens; its elements here compose properly and act unitarily, i.e., without loss of information.
△ Less
Submitted 7 December, 2015;
originally announced December 2015.
-
Model Checking Contest @ Petri Nets, Report on the 2013 edition
Authors:
Fabrice Kordon,
Alban Linard,
Marco Beccuti,
Didier Buchs,
Łukasz Fronc,
Lom-Messan Hillah,
Francis Hulin-Hubard,
Fabrice Legond-Aubry,
Niels Lohmann,
Alexis Marechal,
Emmanuel Paviot-Adet,
Franck Pommereau,
César Rodríguez,
Christian Rohr,
Yann Thierry-Mieg,
Harro Wimmel,
Karsten Wolf
Abstract:
This document presents the results of the Model Checking Contest held at Petri Nets 2013 in Milano. This contest aimed at a fair and experimental evaluation of the performances of model checking techniques applied to Petri nets. This is the third edition after two successful editions in 2011 and 2012.
The participating tools were compared on several examinations (state space generation and evalu…
▽ More
This document presents the results of the Model Checking Contest held at Petri Nets 2013 in Milano. This contest aimed at a fair and experimental evaluation of the performances of model checking techniques applied to Petri nets. This is the third edition after two successful editions in 2011 and 2012.
The participating tools were compared on several examinations (state space generation and evaluation of several types of formulæ -- reachability, LTL, CTL for various classes of atomic propositions) run on a set of common models (Place/Transition and Symmetric Petri nets).
After a short overview of the contest, this paper provides the raw results from the contest, model per model and examination per examination. An HTML version of this report is also provided (http://mcc.lip6.fr).
△ Less
Submitted 10 September, 2013;
originally announced September 2013.
-
On the Capacity of Channels with Timing Synchronization Errors
Authors:
Aravind R. Iyengar,
Paul H. Siegel,
Jack K. Wolf
Abstract:
We consider a new formulation of a class of synchronization error channels and derive analytical bounds and numerical estimates for the capacity of these channels. For the binary channel with only deletions, we obtain an expression for the symmetric information rate in terms of subsequence weights which reduces to a tight lower bound for small deletion probabilities. We are also able to exactly ch…
▽ More
We consider a new formulation of a class of synchronization error channels and derive analytical bounds and numerical estimates for the capacity of these channels. For the binary channel with only deletions, we obtain an expression for the symmetric information rate in terms of subsequence weights which reduces to a tight lower bound for small deletion probabilities. We are also able to exactly characterize the Markov-1 rate for the binary channel with only replications. For a channel that introduces deletions as well as replications of input symbols, we design approximating channels that parameterize the state space and show that the information rates of these approximate channels approach that of the deletion-replication channel as the state space grows. For the case of the channel where deletions and replications occur with the same probabilities, a stronger result in the convergence of mutual information rates is shown. The numerous advantages this new formulation presents are explored.
△ Less
Submitted 2 October, 2015; v1 submitted 12 February, 2013;
originally announced February 2013.
-
Rewriting Codes for Flash Memories
Authors:
Eitan Yaakobi,
Hessam Mahdavifar,
Paul H. Siegel,
Alexander Vardy,
Jack K. Wolf
Abstract:
Flash memory is a non-volatile computer memory comprising blocks of cells, wherein each cell can take on q different values or levels. While increasing the cell level is easy, reducing the level of a cell can be accomplished only by erasing an entire block. Since block erasures are highly undesirable, coding schemes - known as floating codes (or flash codes) and buffer codes - have been designed i…
▽ More
Flash memory is a non-volatile computer memory comprising blocks of cells, wherein each cell can take on q different values or levels. While increasing the cell level is easy, reducing the level of a cell can be accomplished only by erasing an entire block. Since block erasures are highly undesirable, coding schemes - known as floating codes (or flash codes) and buffer codes - have been designed in order to maximize the number of times that information stored in a flash memory can be written (and re-written) prior to incurring a block erasure.
An (n,k,t)q flash code C is a coding scheme for storing k information bits in $n$ cells in such a way that any sequence of up to t writes can be accommodated without a block erasure. The total number of available level transitions in n cells is n(q-1), and the write deficiency of C, defined as δ(C) = n(q-1)-t, is a measure of how close the code comes to perfectly utilizing all these transitions. In this paper, we show a construction of flash codes with write deficiency O(qk\log k) if q \geq \log_2k, and at most O(k\log^2 k) otherwise.
An (n,r,\ell,t)q buffer code is a coding scheme for storing a buffer of r \ell-ary symbols such that for any sequence of t symbols it is possible to successfully decode the last r symbols that were written. We improve upon a previous upper bound on the maximum number of writes t in the case where there is a single cell to store the buffer. Then, we show how to improve a construction by Jiang et al. that uses multiple cells, where n\geq 2r.
△ Less
Submitted 28 October, 2012;
originally announced October 2012.
-
Raw Report on the Model Checking Contest at Petri Nets 2012
Authors:
F. Kordon,
A. Linard,
D. Buchs,
M. Colange,
S. Evangelista,
L. Fronc,
L. M. Hillah,
N. Lohmann,
E. Paviot-Adet,
F Pommereau,
C. Rohr,
Y. Thierry-Mieg,
H. Wimmel,
K. Wolf
Abstract:
This article presents the results of the Model Checking Contest held at Petri Nets 2012 in Hambourg. This contest aimed at a fair and experimental evaluation of the performances of model checking techniques applied to Petri nets. This is the second edition after a successful one in 2011.
The participating tools were compared on several examinations (state space generation and evaluation of sever…
▽ More
This article presents the results of the Model Checking Contest held at Petri Nets 2012 in Hambourg. This contest aimed at a fair and experimental evaluation of the performances of model checking techniques applied to Petri nets. This is the second edition after a successful one in 2011.
The participating tools were compared on several examinations (state space generation and evaluation of several types of formulae - structural, reachability, LTL, CTL) run on a set of common models (Place/Transition and Symmetric Petri nets).
After a short overview of the contest, this paper provides the raw results from the context, model per model and examination per examination.
△ Less
Submitted 8 September, 2012;
originally announced September 2012.
-
Applying CEGAR to the Petri Net State Equation
Authors:
Karsten Wolf,
Harro Wimmel
Abstract:
We propose a reachability verification technique that combines the Petri net state equation (a linear algebraic overapproximation of the set of reachable states) with the concept of counterexample guided abstraction refinement. In essence, we replace the search through the set of reachable states by a search through the space of solutions of the state equation. We demonstrate the excellent perfor…
▽ More
We propose a reachability verification technique that combines the Petri net state equation (a linear algebraic overapproximation of the set of reachable states) with the concept of counterexample guided abstraction refinement. In essence, we replace the search through the set of reachable states by a search through the space of solutions of the state equation. We demonstrate the excellent performance of the technique on several real-world examples. The technique is particularly useful in those cases where the reachability query yields a negative result: While state space based techniques need to fully expand the state space in this case, our technique often terminates promptly. In addition, we can derive some diagnostic information in case of unreachability while state space methods can only provide witness paths in the case of reachability.
△ Less
Submitted 28 September, 2012; v1 submitted 10 August, 2012;
originally announced August 2012.
-
A Top-Down Account of Linear Canonical Transforms
Authors:
Kurt Bernardo Wolf
Abstract:
We contend that what are called Linear Canonical Transforms (LCTs) should be seen as a part of the theory of unitary irreducible representations of the '2+1' Lorentz group. The integral kernel representation found by Collins, Moshinsky and Quesne, and the radial and hyperbolic LCTs introduced thereafter, belong to the discrete and continuous representation series of the Lorentz group in its parabo…
▽ More
We contend that what are called Linear Canonical Transforms (LCTs) should be seen as a part of the theory of unitary irreducible representations of the '2+1' Lorentz group. The integral kernel representation found by Collins, Moshinsky and Quesne, and the radial and hyperbolic LCTs introduced thereafter, belong to the discrete and continuous representation series of the Lorentz group in its parabolic subgroup reduction. The reduction by the elliptic and hyperbolic subgroups can also be considered to yield LCTs that act on functions, discrete or continuous in other Hilbert spaces. We gather the summation and integration kernels reported by Basu and Wolf when studiying all discrete, continuous, and mixed representations of the linear group of $2\times 2$ real matrices. We add some comments on why all should be considered canonical.
△ Less
Submitted 6 June, 2012;
originally announced June 2012.
-
Study of the Sorption Properties of Ge20Se80 Thin Films for NO2 Gas Sensing
Authors:
** Chen,
Maria Mitkova,
Dmitri A. Tenne,
Kasandra Wolf,
Velichka Georgieva,
Lazar Vergov
Abstract:
In this study we investigated the sorption ability of Ge20Se80 thin films applied as active layers of quartz crystal microbalance (QCM) for NO2 gas sensing. To identify the chalcogenide system appropriate for gas sensing, we provided data for the packing fraction of a number of chalcogenide systems and discussed their suitability. We performed Raman spectroscopy, X-ray photoelectron spectroscopy (…
▽ More
In this study we investigated the sorption ability of Ge20Se80 thin films applied as active layers of quartz crystal microbalance (QCM) for NO2 gas sensing. To identify the chalcogenide system appropriate for gas sensing, we provided data for the packing fraction of a number of chalcogenide systems and discussed their suitability. We performed Raman spectroscopy, X-ray photoelectron spectroscopy (XPS) and atom force microscopy (AFM) measurements on the thin films both before and after gas absorption, which showed that the introduced gas molecules interact electrostatically with the chalcogen atoms of the host material and initiate some degree of structural changes in it. The weight change due to NO2 gas absorption was measured by frequency change of the resonator. The absorbed mass increased monotonically with the thickness of chalcogenide films and the NO2 gas concentration. At the conditions of our experiment, up to 11.4 ng of the gas was absorbed into 200nm thick Ge20Se80 film at 5000 ppm NO2 concentration. The process of gas molecules absorption is found irreversible at the purging conditions.
△ Less
Submitted 29 May, 2012;
originally announced May 2012.
-
NO2 Gas Sorption Studies of Ge33Se67 Films Using Quartz Crystal Microbalance
Authors:
Velichka Georgieva,
Maria Mitkova,
** Chen,
Dmitri Tenne,
Kasandra Wolf,
Victoria Gadjanova
Abstract:
A study on the NO2 gas sorption ability of amorphous Ge33Se67 coated quartz crystal microbalance (QCM) is presented. The thin films have been characterized before and after sorption/desorption processes of NO2 by energy-dispersive X-ray spectroscopy (EDS), grazing angle X-ray diffraction (GAXRD), Raman spectroscopy, X-ray photoelectron spectroscopy (XPS) and atom force microscopy (AFM) measurement…
▽ More
A study on the NO2 gas sorption ability of amorphous Ge33Se67 coated quartz crystal microbalance (QCM) is presented. The thin films have been characterized before and after sorption/desorption processes of NO2 by energy-dispersive X-ray spectroscopy (EDS), grazing angle X-ray diffraction (GAXRD), Raman spectroscopy, X-ray photoelectron spectroscopy (XPS) and atom force microscopy (AFM) measurements. These studies indicated that physisorption occurs when NO2 gas molecules are introduced into the chalcogenide film and the thin film composition or structure do not change. The mass loading due to NO2 gas sorption was calculated by the resonator's frequency shift. At the conditions of our experiment, up to 6.8 ng of the gas was sorbed into 200nm thick Ge33Se67 film at 5000 ppm NO2 concentration. It has been established that the process of gas molecules sorption is reversible.
△ Less
Submitted 7 September, 2012; v1 submitted 2 April, 2012;
originally announced April 2012.
-
The Fourier U(2) Group and Separation of Discrete Variables
Authors:
Kurt Bernardo Wolf,
Luis Edgar Vicent
Abstract:
The linear canonical transformations of geometric optics on two-dimensional screens form the group $Sp(4,R)$, whose maximal compact subgroup is the Fourier group $U(2)_F$; this includes isotropic and anisotropic Fourier transforms, screen rotations and gyrations in the phase space of ray positions and optical momenta. Deforming classical optics into a Hamiltonian system whose positions and momenta…
▽ More
The linear canonical transformations of geometric optics on two-dimensional screens form the group $Sp(4,R)$, whose maximal compact subgroup is the Fourier group $U(2)_F$; this includes isotropic and anisotropic Fourier transforms, screen rotations and gyrations in the phase space of ray positions and optical momenta. Deforming classical optics into a Hamiltonian system whose positions and momenta range over a finite set of values, leads us to the finite oscillator model, which is ruled by the Lie algebra $so(4)$. Two distinct subalgebra chains are used to model arrays of $N^2$ points placed along Cartesian or polar (radius and angle) coordinates, thus realizing one case of separation in two discrete coordinates. The $N^2$-vectors in this space are digital (pixellated) images on either of these two grids, related by a unitary transformation. Here we examine the unitary action of the analogue Fourier group on such images, whose rotations are particularly visible.
△ Less
Submitted 1 June, 2011;
originally announced June 2011.
-
Windowed Decoding of Spatially Coupled Codes
Authors:
Aravind R. Iyengar,
Paul H. Siegel,
Rudiger L. Urbanke,
Jack K. Wolf
Abstract:
Spatially coupled codes have been of interest recently owing to their superior performance over memoryless binary-input channels. The performance is good both asymptotically, since the belief propagation thresholds approach capacity, as well as for finite lengths, since degree-2 variables that result in high error floors can be completely avoided. However, to realize the promised good performance,…
▽ More
Spatially coupled codes have been of interest recently owing to their superior performance over memoryless binary-input channels. The performance is good both asymptotically, since the belief propagation thresholds approach capacity, as well as for finite lengths, since degree-2 variables that result in high error floors can be completely avoided. However, to realize the promised good performance, one needs large blocklengths. This in turn implies a large latency and decoding complexity. For the memoryless binary erasure channel, we consider the decoding of spatially coupled codes through a windowed decoder that aims to retain many of the attractive features of belief propagation, while trying to reduce complexity further. We characterize the performance of this scheme by defining thresholds on channel erasure rates that guarantee a target erasure rate. We give analytical lower bounds on these thresholds and show that the performance approaches that of belief propagation exponentially fast in the window size. We give numerical results including the thresholds computed using density evolution and the erasure rate curves for finite-length spatially coupled codes.
△ Less
Submitted 30 November, 2012; v1 submitted 31 May, 2011;
originally announced June 2011.
-
Modeling and Information Rates for Synchronization Error Channels
Authors:
Aravind R. Iyengar,
Paul H. Siegel,
Jack K. Wolf
Abstract:
We propose a new channel model for channels with synchronization errors. Using this model, we give simple, non-trivial and, in some cases, tight lower bounds on the capacity for certain synchronization error channels.
We propose a new channel model for channels with synchronization errors. Using this model, we give simple, non-trivial and, in some cases, tight lower bounds on the capacity for certain synchronization error channels.
△ Less
Submitted 31 May, 2011;
originally announced June 2011.
-
Write Channel Model for Bit-Patterned Media Recording
Authors:
Aravind R. Iyengar,
Paul H. Siegel,
Jack K. Wolf
Abstract:
We propose a new write channel model for bit-patterned media recording that reflects the data dependence of write synchronization errors. It is shown that this model accommodates both substitution-like errors and insertion-deletion errors whose statistics are determined by an underlying channel state process. We study information theoretic properties of the write channel model, including the capac…
▽ More
We propose a new write channel model for bit-patterned media recording that reflects the data dependence of write synchronization errors. It is shown that this model accommodates both substitution-like errors and insertion-deletion errors whose statistics are determined by an underlying channel state process. We study information theoretic properties of the write channel model, including the capacity, symmetric information rate, Markov-1 rate and the zero-error capacity.
△ Less
Submitted 21 October, 2010;
originally announced October 2010.
-
SU(2) and SU(1,1) Approaches to Phase Operators and Temporally Stable Phase States: Applications to Mutually Unbiased Bases and Discrete Fourier Transforms
Authors:
Natig M. Atakishiyev,
Maurice Robert Kibler,
Kurt Bernardo Wolf
Abstract:
We propose a group-theoretical approach to the generalized oscillator algebra Ak recently investigated in J. Phys. A: Math. Theor. 43 (2010) 115303. The case k > or 0 corresponds to the noncompact group SU(1,1) (as for the harmonic oscillator and the Poeschl-Teller systems) while the case k < 0 is described by the compact group SU(2) (as for the Morse system). We construct the phase operators and…
▽ More
We propose a group-theoretical approach to the generalized oscillator algebra Ak recently investigated in J. Phys. A: Math. Theor. 43 (2010) 115303. The case k > or 0 corresponds to the noncompact group SU(1,1) (as for the harmonic oscillator and the Poeschl-Teller systems) while the case k < 0 is described by the compact group SU(2) (as for the Morse system). We construct the phase operators and the corresponding temporally stable phase eigenstates for Ak in this group-theoretical context. The SU(2) case is exploited for deriving families of mutually unbiased bases used in quantum information. Along this vein, we examine some characteristics of a quadratic discrete Fourier transform in connection with generalized quadratic Gauss sums and generalized Hadamard matrices.
△ Less
Submitted 17 August, 2010;
originally announced August 2010.
-
Storage Coding for Wear Leveling in Flash Memories
Authors:
Anxiao,
Jiang,
Robert Mateescu,
Eitan Yaakobi,
Jehoshua Bruck,
Paul H. Siegel,
Alexander Vardy,
Jack K. Wolf
Abstract:
Flash memory is a non-volatile computer memory comprised of blocks of cells, wherein each cell is implemented as either NAND or NOR floating gate. NAND flash is currently the most widely used type of flash memory. In a NAND flash memory, every block of cells consists of numerous pages; rewriting even a single page requires the whole block to be erased and reprogrammed. Block erasures determine b…
▽ More
Flash memory is a non-volatile computer memory comprised of blocks of cells, wherein each cell is implemented as either NAND or NOR floating gate. NAND flash is currently the most widely used type of flash memory. In a NAND flash memory, every block of cells consists of numerous pages; rewriting even a single page requires the whole block to be erased and reprogrammed. Block erasures determine both the longevity and the efficiency of a flash memory. Therefore, when data in a NAND flash memory are reorganized, minimizing the total number of block erasures required to achieve the desired data movement is an important goal. This leads to the flash data movement problem studied in this paper. We show that coding can significantly reduce the number of block erasures required for data movement, and present several optimal or nearly optimal data-movement algorithms based upon ideas from coding theory and combinatorics. In particular, we show that the sorting-based (non-coding) schemes require at least O(nlogn) erasures to move data among n blocks, whereas coding-based schemes require only O(n) erasures. Furthermore, coding-based schemes use only one auxiliary block, which is the best possible, and achieve a good balance between the number of erasures in each of the n+1 blocks.
△ Less
Submitted 20 November, 2009;
originally announced November 2009.
-
A Nearly Optimal Construction of Flash Codes
Authors:
Hessam Mahdavifar,
Paul H. Siegel,
Alexander Vardy,
Jack K. Wolf,
Eitan Yaakobi
Abstract:
Flash memory is a non-volatile computer memory comprised of blocks of cells, wherein each cell can take on q different values or levels. While increasing the cell level is easy, reducing the level of a cell can be accomplished only by erasing an entire block. Since block erasures are highly undesirable, coding schemes - known as floating codes or flash codes - have been designed in order to maxi…
▽ More
Flash memory is a non-volatile computer memory comprised of blocks of cells, wherein each cell can take on q different values or levels. While increasing the cell level is easy, reducing the level of a cell can be accomplished only by erasing an entire block. Since block erasures are highly undesirable, coding schemes - known as floating codes or flash codes - have been designed in order to maximize the number of times that information stored in a flash memory can be written (and re-written) prior to incurring a block erasure. An (n,k,t)_q flash code C is a coding scheme for storing k information bits in n cells in such a way that any sequence of up to t writes (where a write is a transition 0 -> 1 or 1 -> 0 in any one of the k bits) can be accommodated without a block erasure. The total number of available level transitions in n cells is n(q-1), and the write deficiency of C, defined as δ(C) = n(q-1) - t, is a measure of how close the code comes to perfectly utilizing all these transitions. For k > 6 and large n, the best previously known construction of flash codes achieves a write deficiency of O(qk^2). On the other hand, the best known lower bound on write deficiency is Ω(qk). In this paper, we present a new construction of flash codes that approaches this lower bound to within a factor logarithmic in k. To this end, we first improve upon the so-called "indexed" flash codes, due to Jiang and Bruck, by eliminating the need for index cells in the Jiang-Bruck construction. Next, we further increase the number of writes by introducing a new multi-stage (recursive) indexing scheme. We then show that the write deficiency of the resulting flash codes is O(qk\log k) if q \geq \log_2k, and at most O(k\log^2 k) otherwise.
△ Less
Submitted 10 May, 2009;
originally announced May 2009.
-
Multidimensional Flash Codes
Authors:
Eitan Yaakobi,
Alexander Vardy,
Paul H. Siegel,
Jack K. Wolf
Abstract:
Flash memory is a non-volatile computer memory comprised of blocks of cells, wherein each cell can take on q different levels corresponding to the number of electrons it contains. Increasing the cell level is easy; however, reducing a cell level forces all the other cells in the same block to be erased. This erasing operation is undesirable and therefore has to be used as infrequently as possibl…
▽ More
Flash memory is a non-volatile computer memory comprised of blocks of cells, wherein each cell can take on q different levels corresponding to the number of electrons it contains. Increasing the cell level is easy; however, reducing a cell level forces all the other cells in the same block to be erased. This erasing operation is undesirable and therefore has to be used as infrequently as possible. We consider the problem of designing codes for this purpose, where k bits are stored using a block of n cells with q levels each. The goal is to maximize the number of bit writes before an erase operation is required. We present an efficient construction of codes that can store an arbitrary number of bits. Our construction can be viewed as an extension to multiple dimensions of the earlier work of Jiang and Bruck, where single-dimensional codes that can store only 2 bits were proposed.
△ Less
Submitted 3 April, 2009; v1 submitted 6 January, 2009;
originally announced January 2009.
-
Gaussian Belief Propagation Solver for Systems of Linear Equations
Authors:
Ori Shental,
Paul H. Siegel,
Jack K. Wolf,
Danny Bickson,
Danny Dolev
Abstract:
The canonical problem of solving a system of linear equations arises in numerous contexts in information theory, communication theory, and related fields. In this contribution, we develop a solution based upon Gaussian belief propagation (GaBP) that does not involve direct matrix inversion. The iterative nature of our approach allows for a distributed message-passing implementation of the soluti…
▽ More
The canonical problem of solving a system of linear equations arises in numerous contexts in information theory, communication theory, and related fields. In this contribution, we develop a solution based upon Gaussian belief propagation (GaBP) that does not involve direct matrix inversion. The iterative nature of our approach allows for a distributed message-passing implementation of the solution algorithm. We also address some properties of the GaBP solver, including convergence, exactness, its max-product version and relation to classical solution methods. The application example of decorrelation in CDMA is used to demonstrate the faster convergence rate of the proposed solver in comparison to conventional linear-algebraic iterative solution methods.
△ Less
Submitted 9 October, 2008;
originally announced October 2008.
-
Gaussian Belief Propagation Based Multiuser Detection
Authors:
Danny Bickson,
Danny Dolev,
Ori Shental,
Paul H. Siegel,
Jack K. Wolf
Abstract:
In this work, we present a novel construction for solving the linear multiuser detection problem using the Gaussian Belief Propagation algorithm. Our algorithm yields an efficient, iterative and distributed implementation of the MMSE detector. We compare our algorithm's performance to a recent result and show an improved memory consumption, reduced computation steps and a reduction in the number…
▽ More
In this work, we present a novel construction for solving the linear multiuser detection problem using the Gaussian Belief Propagation algorithm. Our algorithm yields an efficient, iterative and distributed implementation of the MMSE detector. We compare our algorithm's performance to a recent result and show an improved memory consumption, reduced computation steps and a reduction in the number of sent messages. We prove that recent work by Montanari et al. is an instance of our general algorithm, providing new convergence results for both algorithms.
△ Less
Submitted 9 October, 2008;
originally announced October 2008.
-
Gaussian Belief Propagation for Solving Systems of Linear Equations: Theory and Application
Authors:
Ori Shental,
Danny Bickson,
Paul H. Siegel,
Jack K. Wolf,
Danny Dolev
Abstract:
The canonical problem of solving a system of linear equations arises in numerous contexts in information theory, communication theory, and related fields. In this contribution, we develop a solution based upon Gaussian belief propagation (GaBP) that does not involve direct matrix inversion. The iterative nature of our approach allows for a distributed message-passing implementation of the soluti…
▽ More
The canonical problem of solving a system of linear equations arises in numerous contexts in information theory, communication theory, and related fields. In this contribution, we develop a solution based upon Gaussian belief propagation (GaBP) that does not involve direct matrix inversion. The iterative nature of our approach allows for a distributed message-passing implementation of the solution algorithm. We address the properties of the GaBP solver, including convergence, exactness, computational complexity, message-passing efficiency and its relation to classical solution methods. We use numerical examples and applications, like linear detection, to illustrate these properties through the use of computer simulations. This empirical study demonstrates the attractiveness (e.g., faster convergence rate) of the proposed GaBP solver in comparison to conventional linear-algebraic iterative solution methods.
△ Less
Submitted 7 October, 2008;
originally announced October 2008.
-
Discrete quantum model of the harmonic oscillator
Authors:
Natig M. Atakishiyev,
Anatoliy U. Klimyk,
Kurt Bernardo Wolf
Abstract:
We construct a new model of the quantum oscillator, whose energy spectrum is equally-spaced and lower-bounded, whereas the spectra of position and momentum are a denumerable non-degenerate set of points in [-1,1] that depends on the deformation parameter q from (0,1). We provide its explicit wavefunctions, both in position and momentum representations, in terms of the discrete q-Hermite polynomi…
▽ More
We construct a new model of the quantum oscillator, whose energy spectrum is equally-spaced and lower-bounded, whereas the spectra of position and momentum are a denumerable non-degenerate set of points in [-1,1] that depends on the deformation parameter q from (0,1). We provide its explicit wavefunctions, both in position and momentum representations, in terms of the discrete q-Hermite polynomials. We build a Hilbert space with a unique measure, where an analogue of the fractional Fourier transform is defined in order to govern the time evolution of this discrete oscillator. In the limit q to 1, one recovers the ordinary quantum harmonic oscillator.
△ Less
Submitted 20 November, 2007;
originally announced November 2007.
-
Finite q-oscillator
Authors:
Natig M. Atakishiyev,
Anatoliy U. Klimyk,
Kurt Bernardo Wolf
Abstract:
The finite q-oscillator is a model that obeys the dynamics of the harmonic oscillator, with the operators of position, momentum and Hamiltonian being functions of elements of the q-algebra su_q(2). The spectrum of position in this discrete system, in a fixed representation j, consists of 2j+1 "sensor"-points x_s=(1/2)[2s]_q, s=-j, -j+1,..., j, and similarly for the momentum observable. The spect…
▽ More
The finite q-oscillator is a model that obeys the dynamics of the harmonic oscillator, with the operators of position, momentum and Hamiltonian being functions of elements of the q-algebra su_q(2). The spectrum of position in this discrete system, in a fixed representation j, consists of 2j+1 "sensor"-points x_s=(1/2)[2s]_q, s=-j, -j+1,..., j, and similarly for the momentum observable. The spectrum of energies is finite and equally spaced, so the system supports coherent states. The wave functions involve dual q-Kravchuk polynomials, which are solutions to a finite-difference Schrodinger equation. Time evolution (times a phase) defines the fractional Fourier-q-Kravchuk transform. In the classical limit q -> 1 we recover the finite oscillator Lie algebra, the N=2j -> infinity limit returns the Macfarlane-Biedenharn q-oscillator and both limits contract the generators to the standard quantum-mechanical oscillator.
△ Less
Submitted 19 January, 2004;
originally announced January 2004.
-
Wigner functions for curved spaces I: On hyperboloids
Authors:
Miguel Angel Alonso,
George S. Pogosyan,
Kurt Bernardo Wolf
Abstract:
We propose a Wigner quasiprobability distribution function for Hamiltonian systems in spaces of constant curvature --in this paper on hyperboloids--, which returns the correct marginals and has the covariance of the Shapiro functions under SO(D,1) transformations. To the free systems obeying the Laplace-Beltrami equation on the hyperboloid, we add a conic-oscillator potential in the hyperbolic c…
▽ More
We propose a Wigner quasiprobability distribution function for Hamiltonian systems in spaces of constant curvature --in this paper on hyperboloids--, which returns the correct marginals and has the covariance of the Shapiro functions under SO(D,1) transformations. To the free systems obeying the Laplace-Beltrami equation on the hyperboloid, we add a conic-oscillator potential in the hyperbolic coordinate. As an example, we analyze the 1-dimensional case on a hyperbola branch, where this conic-oscillator is the Poschl-Teller potential. We present the analytical solutions and plot the computed results. The standard theory of quantum oscillators is regained in the contraction limit to the space of zero curvature.
△ Less
Submitted 8 May, 2002;
originally announced May 2002.
-
Meixner Oscillators
Authors:
Natig M. Atakishiyev,
Elchin I. Jafarov,
Shakir M. Nagiev,
Kurt B. Wolf
Abstract:
Meixner oscillators have a ground state and an `energy' spectrum that is equally spaced; they are a two-parameter family of models that satisfy a Hamiltonian equation with a {\it difference} operator. Meixner oscillators include as limits and particular cases the Charlier, Kravchuk and Hermite (common quantum-mechanical) harmonic oscillators. By the Sommerfeld-Watson transformation they are also…
▽ More
Meixner oscillators have a ground state and an `energy' spectrum that is equally spaced; they are a two-parameter family of models that satisfy a Hamiltonian equation with a {\it difference} operator. Meixner oscillators include as limits and particular cases the Charlier, Kravchuk and Hermite (common quantum-mechanical) harmonic oscillators. By the Sommerfeld-Watson transformation they are also related with a relativistic model of the linear harmonic oscillator, built in terms of the Meixner-Pollaczek polynomials, and their continuous weight function. We construct explicitly the corresponding coherent states with the dynamical symmetry group Sp(2,$\Re$). The reproducing kernel for the wavefunctions of these models is also found.
△ Less
Submitted 31 July, 1998;
originally announced July 1998.
-
Lambda Hyperons in 2 A*GeV Ni + Cu Collisions
Authors:
EOS Collaboration,
M. Justice,
S. Albergo,
F. Bieser,
F. P. Brady,
Z. Caccia,
D. A. Cebra,
A. D. Chacon,
J. L. Chance,
Y. Choi,
S. Costa,
J. B. Elliott,
M. L. Gilkes,
J. A. Hauger,
A. S. Hirsch,
E. L. Hjort,
A. Insolia,
D. Keane,
J. C. Kintner,
M. A. Lisa,
H. Liu,
H. S. Matis,
R. McGrath,
M. McMahan,
C. McParland
, et al. (23 additional authors not shown)
Abstract:
A sample of Lambda's produced in 2 A*GeV Ni + Cu collisions has been obtained with the EOS Time Projection Chamber at the Bevalac. Low background in the invariant mass distribution allows for the unambiguous demonstration of Lambda directed flow. The transverse mass spectrum at mid-rapidity has the characteristic shoulder-arm shape of particles undergoing radial transverse expansion. A linear de…
▽ More
A sample of Lambda's produced in 2 A*GeV Ni + Cu collisions has been obtained with the EOS Time Projection Chamber at the Bevalac. Low background in the invariant mass distribution allows for the unambiguous demonstration of Lambda directed flow. The transverse mass spectrum at mid-rapidity has the characteristic shoulder-arm shape of particles undergoing radial transverse expansion. A linear dependence of Lambda multiplicity on impact parameter is observed, from which a total Lambda + Sigma^0 production cross section of $112 +/- 24 mb is deduced. Detailed comparisons with the ARC and RVUU models are made.
△ Less
Submitted 9 September, 1998; v1 submitted 27 August, 1997;
originally announced August 1997.
-
The Evolution of Nuclear Multifragmentation in the Temperature-Density Plane
Authors:
P. G. Warren,
S. Albergo,
J. M. Alexander,
F. Bieser,
F. P. Brady,
Z. Caccia,
D. A. Cebra,
A. D. Chacon,
J. L. Chance,
Y. Choi,
S. Costa,
J. B. Elliott,
M. L. Gilkes,
J. A. Hauger,
A. S. Hirsch,
E. L. Hjort,
A. Insolia,
M. Justice,
D. Keane,
J. C. Kitner,
R. Lacey,
J. Lauret,
V. Lindenstruth,
M. A. Lisa,
H. S. Matis
, et al. (26 additional authors not shown)
Abstract:
The mean transverse kinetic energies of the fragments formed in the interaction of 1 A GeV Au+C have been determined. An energy balance argument indicates the presence of a collective energy which increases in magnitude with increasing multiplicity and accounts for nearly half of the measured mean transverse kinetic energy. The radial flow velocity associated with the collective energy yields es…
▽ More
The mean transverse kinetic energies of the fragments formed in the interaction of 1 A GeV Au+C have been determined. An energy balance argument indicates the presence of a collective energy which increases in magnitude with increasing multiplicity and accounts for nearly half of the measured mean transverse kinetic energy. The radial flow velocity associated with the collective energy yields estimates for the time required to expand to the freeze-out volume. Isentropic trajectories in the temperature-density plane are shown for the expansion and indicate that the system goes through the critical region at the same multiplicities as deduced from a statistical analysis. Here, the expansion time is approximately 70 fm/c.
△ Less
Submitted 25 October, 1996;
originally announced October 1996.
-
Second solution of Demkov-Ostrovsky superpotentials
Authors:
Haret C. Rosu,
M. Reyes,
K. B. Wolf,
O. Obregón
Abstract:
We work out the second solution of the DO superpotentials in the $R_0=0$ sector.
We work out the second solution of the DO superpotentials in the $R_0=0$ sector.
△ Less
Submitted 4 June, 1995; v1 submitted 15 May, 1995;
originally announced May 1995.
-
Supersymmetric features of the Maxwell fish-eye lens
Authors:
H. C. Rosu,
M. Reyes,
K. B. Wolf,
O. Obregón
Abstract:
We provide a supersymmetric analysis of the Maxwell fisheye (MF) wave problem at zero energy. Working in the so-called $R_{0}=0$ sector, we obtain the corresponding superpartner (fermionic) MF effective potential within Witten's one-dimensional (radial) supersymmetric procedure.
We provide a supersymmetric analysis of the Maxwell fisheye (MF) wave problem at zero energy. Working in the so-called $R_{0}=0$ sector, we obtain the corresponding superpartner (fermionic) MF effective potential within Witten's one-dimensional (radial) supersymmetric procedure.
△ Less
Submitted 24 April, 1996; v1 submitted 25 April, 1995;
originally announced April 1995.
-
Supersymmetry of Demkov-Ostrovsky effective potentials in the R_0=0 sector
Authors:
H. C. Rosu,
M. Reyes,
K. B. Wolf,
O. Obregón
Abstract:
We present a supersymmetric analysis of the wave problem with a Demkov-Ostrovsky spherically symmetric class of focusing potentials at zero energy. Following a suggestion of Lévai, we work in the so-called R_0=0 sector in order to obtain the superpartner (fermionic) potentials within Witten's supersymmetric procedure. General solutions of the superpotential for the known physical cases are given…
▽ More
We present a supersymmetric analysis of the wave problem with a Demkov-Ostrovsky spherically symmetric class of focusing potentials at zero energy. Following a suggestion of Lévai, we work in the so-called R_0=0 sector in order to obtain the superpartner (fermionic) potentials within Witten's supersymmetric procedure. General solutions of the superpotential for the known physical cases are given explicitly.
△ Less
Submitted 24 January, 1998; v1 submitted 24 April, 1995;
originally announced April 1995.
-
Radial Flow in Au+Au Collisions at E=0.25-1.15 A GeV
Authors:
M. A. Lisa,
S. Albergo,
F. Bieser,
F. P. Brady,
Z. Caccia,
D. A. Cebra,
A. D. Chacon,
J. L. Chance,
Y. Choi,
S. Costa,
J. B. Elliott,
M. L. Gilkes,
J. A. Hauger,
A. S. Hirsch,
E. L. Hjort,
A. Insolia,
M. Justice,
D. Keane,
J. Kintner,
H. S. Matis,
M. McMahan,
C. McParland,
D. L. Olson,
M. D. Partlan,
N. T. Porile
, et al. (19 additional authors not shown)
Abstract:
A systematic study of energy spectra for light particles emitted at midrapidity from Au+Au collisions at E=0.25-1.15 A GeV reveals a significant non-thermal component consistent with a collective radial flow. This component is evaluated as a function of bombarding energy and event centrality. Comparisons to Quantum Molecular Dynamics (QMD) and Boltzmann-Uehling-Uhlenbeck (BUU) models are made for…
▽ More
A systematic study of energy spectra for light particles emitted at midrapidity from Au+Au collisions at E=0.25-1.15 A GeV reveals a significant non-thermal component consistent with a collective radial flow. This component is evaluated as a function of bombarding energy and event centrality. Comparisons to Quantum Molecular Dynamics (QMD) and Boltzmann-Uehling-Uhlenbeck (BUU) models are made for different equations of state.
△ Less
Submitted 9 February, 1995;
originally announced February 1995.