-
Exact Percolation Probability on the Square Lattice
Authors:
Stephan Mertens
Abstract:
We present an algorithm to compute the exact probability $R_{n}(p)$ for a site percolation cluster to span an $n\times n$ square lattice at occupancy $p$. The algorithm has time and space complexity $O(λ^n)$ with $λ\approx 2.6$. It allows us to compute $R_{n}(p)$ up to $n=24$. We use the data to compute estimates for the percolation threshold $p_c$ that are several orders of magnitude more precise…
▽ More
We present an algorithm to compute the exact probability $R_{n}(p)$ for a site percolation cluster to span an $n\times n$ square lattice at occupancy $p$. The algorithm has time and space complexity $O(λ^n)$ with $λ\approx 2.6$. It allows us to compute $R_{n}(p)$ up to $n=24$. We use the data to compute estimates for the percolation threshold $p_c$ that are several orders of magnitude more precise than estimates based on Monte-Carlo simulations.
△ Less
Submitted 29 September, 2021; v1 submitted 24 September, 2021;
originally announced September 2021.
-
Effect of Tantalum spacer thickness and deposition conditions on the properties of MgO/CoFeB/Ta/CoFeB/MgO free layers
Authors:
T. Devolder,
S. Couet,
J. Swerts,
S. Mertens,
S. Rao,
G. S. Kar
Abstract:
To get stable perpendicularly magnetized tunnel junctions at small device dimensions, composite free layers that comprise two MgO/FeCoB interfaces as sources of interface anisotropy are generally used. Proper cristallisation and annealing robustness is typically ensured by the insertion of a spacer layer of the early transition metal series within the FeCoB layer. We study the influence of the spa…
▽ More
To get stable perpendicularly magnetized tunnel junctions at small device dimensions, composite free layers that comprise two MgO/FeCoB interfaces as sources of interface anisotropy are generally used. Proper cristallisation and annealing robustness is typically ensured by the insertion of a spacer layer of the early transition metal series within the FeCoB layer. We study the influence of the spacer thickness and growth condition on the switching metrics of tunnel junctions thermally annealed at 400$^\circ$C for the case of 1-4 Å Ta spacers. Thick Ta spacer results in a large anisotropies indicative of a better defined top FeCoB/MgO interface, but this is achieved at the systematic expense of a stronger dam**. For the best anisotropy-dam** compromise, junctions of diameter 22 nm can still be stable and spin-torque switched. Coercivity and inhomogeneous linewidth broadening, likely arising from roughness at the FeCoB/Ta interface, can be reduced if a sacrificial Mg layer is inserted before the Ta spacer deposition.
△ Less
Submitted 6 September, 2019;
originally announced September 2019.
-
Percolation is Odd
Authors:
Stephan Mertens,
Cristopher Moore
Abstract:
We prove a remarkable combinatorial symmetry in the number of spanning configurations in site percolation: for a large class of lattices, the number of spanning configurations with an odd or even number of occupied sites differs by $\pm 1$. In particular, this symmetry implies that the total number of spanning configurations is always odd, independent of the size or shape of the lattice. The class…
▽ More
We prove a remarkable combinatorial symmetry in the number of spanning configurations in site percolation: for a large class of lattices, the number of spanning configurations with an odd or even number of occupied sites differs by $\pm 1$. In particular, this symmetry implies that the total number of spanning configurations is always odd, independent of the size or shape of the lattice. The class of lattices that share this symmetry includes the square lattice and the hypercubic lattice in any dimension, with a wide variety of boundary conditions.
△ Less
Submitted 4 December, 2019; v1 submitted 3 September, 2019;
originally announced September 2019.
-
Copper underpotential deposition on boron nitride nanomesh
Authors:
Stijn F. L. Mertens
Abstract:
The boron nitride nanomesh is a corrugated monolayer of hexagonal boron nitride (h-BN) on Rh(111), which so far has been studied mostly under ultrahigh vacuum conditions. Here, we investigate how copper underpotential deposition (upd) can be used to quantify defects in the boron nitride monolayer and to assess the potential window of the nanomesh, which is important to explore its functionality un…
▽ More
The boron nitride nanomesh is a corrugated monolayer of hexagonal boron nitride (h-BN) on Rh(111), which so far has been studied mostly under ultrahigh vacuum conditions. Here, we investigate how copper underpotential deposition (upd) can be used to quantify defects in the boron nitride monolayer and to assess the potential window of the nanomesh, which is important to explore its functionality under ambient and electrochemical conditions. In dilute sulfuric acid, the potential window of h-BN/Rh(111) is close to 1 volt, i.e. larger than that of the Rh substrate, and is limited by molecular hydrogen evolution on the negative and by oxidative removal on the positive side. From copper upd on pristine h-BN/Rh(111) wafer samples, we estimate a collective defect fraction on the order of 0.08-0.7% of the geometric area, which may arise from line and point defects in the h-BN layer that are created during its chemical vapour deposition. Overpotential deposition (opd) is demonstrated to have significant consequences on the defect area. We hypothesise that this non-innocent Cu electrodeposition involves intercalation originating at initial defects, causing irreversible delamination of the h-BN layer; this effect may be used for 2D material nanoengineering. On the relevant timescale, upd itself does not alter the defect area on repeated cycling; therefore, metal upd may find use as a general tool to determine the collective defect area in hybrids between 2D materials and various substrate metals.
△ Less
Submitted 24 June, 2018;
originally announced June 2018.
-
Percolation Thresholds and Fisher Exponents in Hypercubic Lattices
Authors:
Stephan Mertens,
Cristopher Moore
Abstract:
We use invasion percolation to compute highly-accurate numerical values for bond and site percolation thresholds p_c on the hypercubic lattice Z^d for d = 4,,,,,13. We also compute the Fisher exponent tau governing the cluster size distribution at criticality. Our results support the claim that the mean-field value tau = 5/2 holds for d >= 6, with logarithmic corrections to power-law scaling at d=…
▽ More
We use invasion percolation to compute highly-accurate numerical values for bond and site percolation thresholds p_c on the hypercubic lattice Z^d for d = 4,,,,,13. We also compute the Fisher exponent tau governing the cluster size distribution at criticality. Our results support the claim that the mean-field value tau = 5/2 holds for d >= 6, with logarithmic corrections to power-law scaling at d=6.
△ Less
Submitted 7 August, 2018; v1 submitted 21 June, 2018;
originally announced June 2018.
-
Series Expansion of the Percolation Threshold on Hypercubic Lattices
Authors:
Stephan Mertens,
Cristopher Moore
Abstract:
We study proper lattice animals for bond- and site-percolation on the hypercubic lattice $\mathbb{Z}^d$ to derive asymptotic series of the percolation threshold $p_c$ in $1/d$, The first few terms of these series were computed in the 1970s, but the series have not been extended since then. We add two more terms to the series for $\pcsite$ and one more term to the series for $\pcbond$, using a comb…
▽ More
We study proper lattice animals for bond- and site-percolation on the hypercubic lattice $\mathbb{Z}^d$ to derive asymptotic series of the percolation threshold $p_c$ in $1/d$, The first few terms of these series were computed in the 1970s, but the series have not been extended since then. We add two more terms to the series for $\pcsite$ and one more term to the series for $\pcbond$, using a combination of brute-force enumeration, combinatorial identities and an approach based on Padé approximants, which requires much fewer resources than the classical method. We discuss why it took 40 years to compute these terms, and what it would take to compute the next ones. En passant, we present new perimeter polynomials for site and bond percolation and numerical values for the growth rate of bond animals.
△ Less
Submitted 24 September, 2018; v1 submitted 7 May, 2018;
originally announced May 2018.
-
Percolation Thresholds in Hyperbolic Lattices
Authors:
Stephan Mertens,
Cristopher Moore
Abstract:
We use invasion percolation to compute numerical values for bond and site percolation thresholds $p_c$ (existence of an infinite cluster) and $p_u$ (uniqueness of the infinite cluster) of tesselations $\{P,Q\}$ of the hyperbolic plane, where $Q$ faces meet at each vertex and each face is a $P$-gon. Our values are accurate to six or seven decimal places, allowing us to explore their functional depe…
▽ More
We use invasion percolation to compute numerical values for bond and site percolation thresholds $p_c$ (existence of an infinite cluster) and $p_u$ (uniqueness of the infinite cluster) of tesselations $\{P,Q\}$ of the hyperbolic plane, where $Q$ faces meet at each vertex and each face is a $P$-gon. Our values are accurate to six or seven decimal places, allowing us to explore their functional dependency on $P$ and $Q$ and to numerically compute critical exponents. We also prove rigorous upper and lower bounds for $p_c$ and $p_u$ that can be used to find the scaling of both thresholds as a function of $P$ and $Q$.
△ Less
Submitted 10 October, 2017; v1 submitted 19 August, 2017;
originally announced August 2017.
-
The Perimeter of Proper Polycubes
Authors:
Sebastian Luther,
Stephan Mertens
Abstract:
We derive formulas for the number of polycubes of size $n$ and perimeter $t$ that are proper in $n-1$ and $n-2$ dimensions. These formulas complement computer based enumerations of perimeter polynomials in percolation problems. We demonstrate this by computing the perimeter polynomial for $n=12$ in arbitrary dimension $d$.
We derive formulas for the number of polycubes of size $n$ and perimeter $t$ that are proper in $n-1$ and $n-2$ dimensions. These formulas complement computer based enumerations of perimeter polynomials in percolation problems. We demonstrate this by computing the perimeter polynomial for $n=12$ in arbitrary dimension $d$.
△ Less
Submitted 10 May, 2017;
originally announced May 2017.
-
Annealing stability of magnetic tunnel junctions based on dual MgO free layers and [Co/Ni] based thin synthetic antiferromagnet fixed system
Authors:
T. Devolder,
S. Couet,
J. Swerts,
E. Liu,
T. Lin,
S. Mertens,
G. Kar,
A. Furnemont
Abstract:
We study the annealing stability of bottom-pinned perpendicularly magnetized magnetic tunnel junctions based on dual MgO free layers and thin fixed systems comprising a hard [Co/Ni] multilayer antiferromagnetically coupled to thin a Co reference layer and a FeCoB polarizing layer. Using conventional magnetometry and advanced broadband ferromagnetic resonance, we identify the properties of each sub…
▽ More
We study the annealing stability of bottom-pinned perpendicularly magnetized magnetic tunnel junctions based on dual MgO free layers and thin fixed systems comprising a hard [Co/Ni] multilayer antiferromagnetically coupled to thin a Co reference layer and a FeCoB polarizing layer. Using conventional magnetometry and advanced broadband ferromagnetic resonance, we identify the properties of each sub-unit of the magnetic tunnel junction and demonstrate that this material option can ensure a satisfactory resilience to the 400$^\circ$C thermal annealing needed in solid-state magnetic memory applications. The dual MgO free layer possesses an anneal-robust 0.4 T effective anisotropy and suffers only a minor increase of its Gilbert dam** from 0.007 to 0.010 for the toughest annealing conditions. Within the fixed system, the ferro-coupler and texture-breaking TaFeCoB layer keeps an interlayer exchange above 0.8 mJ/m$^2$, while the Ru antiferrocoupler layer within the synthetic antiferromagnet maintains a coupling above -0.5 mJ/m$^2$. These two strong couplings maintain the overall functionality of the tunnel junction upon the toughest annealing despite the gradual degradation of the thin Co layer anisotropy that may reduce the operation margin in spin torque memory applications. Based on these findings, we propose further optimization routes for the next generation magnetic tunnel junctions.
△ Less
Submitted 21 March, 2017;
originally announced March 2017.
-
Material developments and domain wall based nanosecond-scale switching process in perpendicularly magnetized STT-MRAM cells
Authors:
Thibaut Devolder,
Joo-Von Kim,
J. Swerts,
S. Couet,
S. Rao,
W. Kim,
S. Mertens,
G. Kar,
V. Nikitin
Abstract:
We investigate the Gilbert dam** and the magnetization switching of perpendicularly magnetized FeCoB-based free layers embedded in tunnel junctions adequate for spin-torque operated memories. We study the influence of the boron content in MgO / FeCoB /Ta systems alloys on their Gilbert dam** after crystallization annealing. Increasing the boron content from 20 to 30\% increases the crystalliza…
▽ More
We investigate the Gilbert dam** and the magnetization switching of perpendicularly magnetized FeCoB-based free layers embedded in tunnel junctions adequate for spin-torque operated memories. We study the influence of the boron content in MgO / FeCoB /Ta systems alloys on their Gilbert dam** after crystallization annealing. Increasing the boron content from 20 to 30\% increases the crystallization temperature, thereby postponing the onset of elemental diffusion within the free layer. This reduction of the interdiffusion of the Ta atoms helps maintaining the Gilbert dam** at a low level of 0.009 without any penalty on the anisotropy and the magneto-transport properties up to the 400$^\circ$C annealing required in CMOS back-end of line processing. In addition, we show that dual MgO free layers of composition MgO/FeCoB/Ta/FeCoB/MgO have a substantially lower dam** than their MgO/FeCoB/Ta counterparts, reaching dam** parameters as low as 0.0039 for a 3 Å thick Tantalum spacer. This confirms that the dominant channel of dam** is the presence of Ta impurities within the FeCoB alloy. On optimized tunnel junctions, we then study the duration of the switching events induced by spin-transfer-torque. We focus on the sub-threshold thermally activated switching in optimal applied field conditions. From the electrical signatures of the switching, we infer that once the nucleation has occurred, the reversal proceeds by a domain wall swee** though the device at a few 10 m/s. The smaller the device, the faster its switching. We present an analytical model to account for our findings. The domain wall velocity is predicted to scale linearly with the current for devices much larger than the wall width. The wall velocity depends on the Bloch domain wall width, such that the devices with the lowest exchange stiffness will be the ones that host the domain walls with the slowest mobilities.
△ Less
Submitted 4 September, 2017; v1 submitted 9 March, 2017;
originally announced March 2017.
-
Seed Layer Impact on Structural and Magnetic Properties of [Co/Ni] Multilayers with Perpendicular Magnetic Anisotropy
Authors:
Enlong Liu,
J. Swerts,
T. Devolder,
S. Couet,
S. Mertens,
T. Lin,
V. Spampinato,
A. Franquet,
T. Conard,
S. Van Elshocht,
A. Furnemont,
J. De Boeck,
G. Kar
Abstract:
[Co/Ni] multilayers with perpendicular magnetic anisotropy (PMA) have been researched and applied in various spintronic applications. Typically the seed layer material is studied to provide the desired face-centered cubic (\textit{fcc}) texture to the [Co/Ni] to obtain PMA. The integration of [Co/Ni] in back-end-of-line (BEOL) processes also requires the PMA to survive post-annealing. In this pape…
▽ More
[Co/Ni] multilayers with perpendicular magnetic anisotropy (PMA) have been researched and applied in various spintronic applications. Typically the seed layer material is studied to provide the desired face-centered cubic (\textit{fcc}) texture to the [Co/Ni] to obtain PMA. The integration of [Co/Ni] in back-end-of-line (BEOL) processes also requires the PMA to survive post-annealing. In this paper, the impact of NiCr, Pt, Ru, and Ta seed layers on the structural and magnetic properties of [Co(0.3 nm)/Ni(0.6 nm)] multilayers is investigated before and after annealing. The multilayers were deposited \textit{in-situ} on different seeds via physical vapor deposition at room temperature. The as-deposited [Co/Ni] films show the required \textit{fcc}(111) texture on all seeds, but PMA is only observed on Pt and Ru. In-plane magnetic anisotropy (IMA) is obtained on NiCr and Ta seeds, which is attributed to strain-induced PMA loss. PMA is maintained on all seeds after post-annealing up to 400$^{\circ}$C. The largest effective perpendicular anisotropy energy ($K_U^{\mathrm{eff}}\approx 2\times10^5$J/m$^3$) after annealing is achieved on NiCr seed. The evolution of PMA upon annealing cannot be explained by further crystallization during annealing or strain-induced PMA, nor can the observed magnetization loss and the increased dam** after annealing. Here we identify the diffusion of the non-magnetic materials from the seed into [Co/Ni] as the major driver of the changes in the magnetic properties. By selecting the seed and post-annealing temperature, the [Co/Ni] can be tuned in a broad range for both PMA and dam**.
△ Less
Submitted 26 January, 2017;
originally announced January 2017.
-
Ferromagnetic resonance study of composite Co/Ni - FeCoB free layers with perpendicular anisotropy
Authors:
T. Devolder,
E. Liu,
J. Swerts,
S. Couet,
T. Lin,
S. Mertens,
A. Furnemont,
G. Kar,
J. De Boeck
Abstract:
We study the properties of composite free layers with perpendicular anisotropy. The free layers are made of a soft FeCoB layer ferromagnetically coupled by a variable spacer (Ta, W, Mo) to a very anisotropic [Co/Ni] multilayer embodied in a magnetic tunnel junction meant for spin torque memory applications. For this we use broadband ferromagnetic resonance to follow the field dependence of the aco…
▽ More
We study the properties of composite free layers with perpendicular anisotropy. The free layers are made of a soft FeCoB layer ferromagnetically coupled by a variable spacer (Ta, W, Mo) to a very anisotropic [Co/Ni] multilayer embodied in a magnetic tunnel junction meant for spin torque memory applications. For this we use broadband ferromagnetic resonance to follow the field dependence of the acoustical and optical excitation of the composite free layer in both in-plane and out-of-plane applied fields. The modeling provides the interlayer exchange coupling, the anisotropies and the dam** factors. The popular Ta spacer are outperformed by W and even more by Mo, which combines the strongest interlayer exchange coupling without sacrificing anisotropies, dam** factors and transport properties.
△ Less
Submitted 26 September, 2016;
originally announced September 2016.
-
Percolation in Finite Matching Lattices
Authors:
Stephan Mertens,
Robert M. Ziff
Abstract:
We derive an exact, simple relation between the average number of clusters and the wrap** probabilities for two-dimensional percolation. The relation holds for periodic lattices of any size. It generalizes a classical result of Sykes and Essam and it can be used to find exact or very accurate approximations of the critical density. The criterion that follows is related to the criterion Scullard…
▽ More
We derive an exact, simple relation between the average number of clusters and the wrap** probabilities for two-dimensional percolation. The relation holds for periodic lattices of any size. It generalizes a classical result of Sykes and Essam and it can be used to find exact or very accurate approximations of the critical density. The criterion that follows is related to the criterion Scullard and Jacobsen use to find precise approximate thresholds, and our work provides a new perspective on their approach.
△ Less
Submitted 20 November, 2016; v1 submitted 23 March, 2016;
originally announced March 2016.
-
Universal features of cluster numbers in percolation
Authors:
Stephan Mertens,
Iwan Jensen,
Robert M. Ziff
Abstract:
The number of clusters per site $n(p)$ in percolation at the critical point $p = p_c$ is not itself a universal quantity---it depends upon the lattice and percolation type (site or bond). However, many of its properties, including finite-size corrections, scaling behavior with $p$, and amplitude ratios, show various degrees of universal behavior. Some of these are universal in the sense that the b…
▽ More
The number of clusters per site $n(p)$ in percolation at the critical point $p = p_c$ is not itself a universal quantity---it depends upon the lattice and percolation type (site or bond). However, many of its properties, including finite-size corrections, scaling behavior with $p$, and amplitude ratios, show various degrees of universal behavior. Some of these are universal in the sense that the behavior depends upon the shape of the system, but not lattice type. Here, we elucidate the various levels of universality for elements of $n(p)$ both theoretically and by carrying out extensive studies on several two- and three-dimensional systems, by high-order series analysis, Monte-Carlo simulation, and exact enumeration. We find many new results, including precise values for $n(p_c)$ for several systems, a clear demonstration of the singularity in $n''(p)$, and metric scale factors. We make use of the matching polynomial of Sykes and Essam to find exact relations between properties for lattices and matching lattices. We propose a criterion for an absolute metric factor $b$ based upon the singular behavior of the scaling function, rather than a relative definition of the metric that has previously been used.
△ Less
Submitted 14 November, 2017; v1 submitted 1 February, 2016;
originally announced February 2016.
-
Low Autocorrelation Binary Sequences
Authors:
Tom Packebusch,
Stephan Mertens
Abstract:
Binary sequences with minimal autocorrelations have applications in communication engineering, mathematics and computer science. In statistical physics they appear as groundstates of the Bernasconi model. Finding these sequences is a notoriously hard problem, that so far can be solved only by exhaustive search. We review recent algorithms and present a new algorithm that finds optimal sequences of…
▽ More
Binary sequences with minimal autocorrelations have applications in communication engineering, mathematics and computer science. In statistical physics they appear as groundstates of the Bernasconi model. Finding these sequences is a notoriously hard problem, that so far can be solved only by exhaustive search. We review recent algorithms and present a new algorithm that finds optimal sequences of length $N$ in time $Θ(N\,1.73^N)$. We computed all optimal sequences for $N\leq 66$ and all optimal skewsymmetric sequences for $N\leq 119$.
△ Less
Submitted 24 March, 2016; v1 submitted 8 December, 2015;
originally announced December 2015.
-
Continuum Percolation Thresholds in Two Dimensions
Authors:
Stephan Mertens,
Cristopher Moore
Abstract:
A wide variety of methods have been used to compute percolation thresholds. In lattice percolation, the most powerful of these methods consists of microcanonical simulations using the union-find algorithm to efficiently determine the connected clusters, and (in two dimensions) using exact values from conformal field theory for the probability, at the phase transition, that various kinds of wrappin…
▽ More
A wide variety of methods have been used to compute percolation thresholds. In lattice percolation, the most powerful of these methods consists of microcanonical simulations using the union-find algorithm to efficiently determine the connected clusters, and (in two dimensions) using exact values from conformal field theory for the probability, at the phase transition, that various kinds of wrap** clusters exist on the torus. We apply this approach to percolation in continuum models, finding overlaps between objects with real-valued positions and orientations. In particular, we find precise values of the percolation transition for disks, squares, rotated squares, and rotated sticks in two dimensions, and confirm that these transitions behave as conformal field theory predicts. The running time and memory use of our algorithm are essentially linear as a function of the number of objects at criticality.
△ Less
Submitted 8 December, 2012; v1 submitted 21 September, 2012;
originally announced September 2012.
-
The complexity of the fermionant, and immanants of constant width
Authors:
Stephan Mertens,
Cristopher Moore
Abstract:
In the context of statistical physics, Chandrasekharan and Wiese recently introduced the \emph{fermionant} $\Ferm_k$, a determinant-like quantity where each permutation $π$ is weighted by $-k$ raised to the number of cycles in $π$. We show that computing $\Ferm_k$ is #P-hard under Turing reductions for any constant $k > 2$, and is $\oplusP$-hard for $k=2$, even for the adjacency matrices of planar…
▽ More
In the context of statistical physics, Chandrasekharan and Wiese recently introduced the \emph{fermionant} $\Ferm_k$, a determinant-like quantity where each permutation $π$ is weighted by $-k$ raised to the number of cycles in $π$. We show that computing $\Ferm_k$ is #P-hard under Turing reductions for any constant $k > 2$, and is $\oplusP$-hard for $k=2$, even for the adjacency matrices of planar graphs. As a consequence, unless the polynomial hierarchy collapses, it is impossible to compute the immanant $\Imm_λ\,A$ as a function of the Young diagram $λ$ in polynomial time, even if the width of $λ$ is restricted to be at most 2. In particular, if $\Ferm_2$ is in P, or if $\Imm_λ$ is in P for all $λ$ of width 2, then $\NP \subseteq \RP$ and there are randomized polynomial-time algorithms for NP-complete problems.
△ Less
Submitted 16 October, 2011; v1 submitted 9 October, 2011;
originally announced October 2011.
-
Counting Lattice Animals in High Dimensions
Authors:
Sebastian Luther,
Stephan Mertens
Abstract:
We present an implementation of Redelemeier's algorithm for the enumeration of lattice animals in high dimensional lattices. The implementation is lean and fast enough to allow us to extend the existing tables of animal counts, perimeter polynomials and series expansion coefficients in $d$-dimensional hypercubic lattices for $3 \leq d\leq 10$. From the data we compute formulas for perimeter polyno…
▽ More
We present an implementation of Redelemeier's algorithm for the enumeration of lattice animals in high dimensional lattices. The implementation is lean and fast enough to allow us to extend the existing tables of animal counts, perimeter polynomials and series expansion coefficients in $d$-dimensional hypercubic lattices for $3 \leq d\leq 10$. From the data we compute formulas for perimeter polynomials for lattice animals of size $n\leq 11$ in arbitrary dimension $d$. When amended by combinatorial arguments, the new data suffices to yield explicit formulas for the number of lattice animals of size $n\leq 14$ and arbitrary $d$. We also use the enumeration data to compute numerical estimates for growth rates and exponents in high dimensions that agree very well with Monte Carlo simulations and recent predictions from field theory.
△ Less
Submitted 7 October, 2011; v1 submitted 6 June, 2011;
originally announced June 2011.
-
Parallel Complexity of Random Boolean Circuits
Authors:
Jon Machta,
Simon DeDeo,
Stephan Mertens,
Cristopher Moore
Abstract:
Random instances of feedforward Boolean circuits are studied both analytically and numerically. Evaluating these circuits is known to be a P-complete problem and thus, in the worst case, believed to be impossible to perform, even given a massively parallel computer, in time much less than the depth of the circuit. Nonetheless, it is found that for some ensembles of random circuits, saturation to a…
▽ More
Random instances of feedforward Boolean circuits are studied both analytically and numerically. Evaluating these circuits is known to be a P-complete problem and thus, in the worst case, believed to be impossible to perform, even given a massively parallel computer, in time much less than the depth of the circuit. Nonetheless, it is found that for some ensembles of random circuits, saturation to a fixed truth value occurs rapidly so that evaluation of the circuit can be accomplished in much less parallel time than the depth of the circuit. For other ensembles saturation does not occur and circuit evaluation is apparently hard. In particular, for some random circuits composed of connectives with five or more inputs, the number of true outputs at each level is a chaotic sequence. Finally, while the average case complexity depends on the choice of ensemble, it is shown that for all ensembles it is possible to simultaneously construct a typical circuit together with its solution in polylogarithmic parallel time.
△ Less
Submitted 21 July, 2011; v1 submitted 16 February, 2011;
originally announced February 2011.
-
Random Number Generators: A Survival Guide for Large Scale Simulations
Authors:
Stephan Mertens
Abstract:
Monte Carlo simulations are an important tool in statistical physics, complex systems science, and many other fields. An increasing number of these simulations is run on parallel systems ranging from multicore desktop computers to supercomputers with thousands of CPUs. This raises the issue of generating large amounts of random numbers in a parallel application. In this lecture we will learn jus…
▽ More
Monte Carlo simulations are an important tool in statistical physics, complex systems science, and many other fields. An increasing number of these simulations is run on parallel systems ranging from multicore desktop computers to supercomputers with thousands of CPUs. This raises the issue of generating large amounts of random numbers in a parallel application. In this lecture we will learn just enough of the theory of pseudo random number generation to make wise decisions on how to choose and how to use random number generators when it comes to large scale, parallel simulations.
△ Less
Submitted 10 June, 2009; v1 submitted 26 May, 2009;
originally announced May 2009.
-
Analysis of the Karmarkar-Karp Differencing Algorithm
Authors:
Stefan Boettcher,
Stephan Mertens
Abstract:
The Karmarkar-Karp differencing algorithm is the best known polynomial time heuristic for the number partitioning problem, fundamental in both theoretical computer science and statistical physics. We analyze the performance of the differencing algorithm on random instances by map** it to a nonlinear rate equation. Our analysis reveals strong finite size effects that explain why the precise asy…
▽ More
The Karmarkar-Karp differencing algorithm is the best known polynomial time heuristic for the number partitioning problem, fundamental in both theoretical computer science and statistical physics. We analyze the performance of the differencing algorithm on random instances by map** it to a nonlinear rate equation. Our analysis reveals strong finite size effects that explain why the precise asymptotics of the differencing solution is hard to establish by simulations. The asymptotic series emerging from the rate equation satisfies all known bounds on the Karmarkar-Karp algorithm and projects a scaling $n^{-c\ln n}$, where $c=1/(2\ln2)=0.7213...$. Our calculations reveal subtle relations between the algorithm and Fibonacci-like sequences, and we establish an explicit identity to that effect.
△ Less
Submitted 3 October, 2008; v1 submitted 27 February, 2008;
originally announced February 2008.
-
Random numbers for large scale distributed Monte Carlo simulations
Authors:
Heiko Bauke,
Stephan Mertens
Abstract:
Monte Carlo simulations are one of the major tools in statistical physics, complex system science, and other fields, and an increasing number of these simulations is run on distributed systems like clusters or grids. This raises the issue of generating random numbers in a parallel, distributed environment. In this contribution we demonstrate that multiple linear recurrences in finite fields are…
▽ More
Monte Carlo simulations are one of the major tools in statistical physics, complex system science, and other fields, and an increasing number of these simulations is run on distributed systems like clusters or grids. This raises the issue of generating random numbers in a parallel, distributed environment. In this contribution we demonstrate that multiple linear recurrences in finite fields are an ideal method to produce high quality pseudorandom numbers in sequential and parallel algorithms. Their known weakness (failure of sampling points in high dimensions) can be overcome by an appropriate delinearization that preserves all desirable properties of the underlying linear sequence.
△ Less
Submitted 3 July, 2007; v1 submitted 22 September, 2006;
originally announced September 2006.
-
Random Stable Matchings
Authors:
Stephan Mertens
Abstract:
The stable matching problem is a prototype model in economics and social sciences where agents act selfishly to optimize their own satisfaction, subject to mutually conflicting constraints. A stable matching is a pairing of adjacent vertices in a graph such that no unpaired vertices prefer each other to their partners under the matching. The problem of finding stable matchings is known as stable…
▽ More
The stable matching problem is a prototype model in economics and social sciences where agents act selfishly to optimize their own satisfaction, subject to mutually conflicting constraints. A stable matching is a pairing of adjacent vertices in a graph such that no unpaired vertices prefer each other to their partners under the matching. The problem of finding stable matchings is known as stable marriage problem (on bipartite graphs) or as stable roommates problem (on the complete graph). It is well-known that not all instances on non-bipartite graphs admit a stable matching. Here we present numerical results for the probability that a graph with $n$ vertices and random preference relations admits a stable matching. In particular we find that this probability decays algebraically on graphs with connectivity $Θ(n)$ and exponentially on regular grids. On finite connectivity Erdös-Rényi graphs the probability converges to a value larger than zero. Based on the numerical results and some heuristic reasoning we formulate five conjectures on the asymptotic properties of random stable matchings.
△ Less
Submitted 12 October, 2005; v1 submitted 8 September, 2005;
originally announced September 2005.
-
Proof of the local REM conjecture for number partitioning II: growing energy scales
Authors:
Christian Borgs,
Jennifer Chayes,
Stephan Mertens,
Chandra Nair
Abstract:
We continue our analysis of the number partitioning problem with $n$ weights chosen i.i.d. from some fixed probability distribution with density $ρ$. In Part I of this work, we established the so-called local REM conjecture of Bauke, Franz and Mertens. Namely, we showed that, as $n \to \infty$, the suitably rescaled energy spectrum above some {\it fixed} scale $α$ tends to a Poisson process with…
▽ More
We continue our analysis of the number partitioning problem with $n$ weights chosen i.i.d. from some fixed probability distribution with density $ρ$. In Part I of this work, we established the so-called local REM conjecture of Bauke, Franz and Mertens. Namely, we showed that, as $n \to \infty$, the suitably rescaled energy spectrum above some {\it fixed} scale $α$ tends to a Poisson process with density one, and the partitions corresponding to these energies become asymptotically uncorrelated. In this part, we analyze the number partitioning problem for energy scales $α_n$ that grow with $n$, and show that the local REM conjecture holds as long as $n^{-1/4}α_n \to 0$, and fails if $α_n$ grows like $κn^{1/4}$ with $κ>0$.
We also consider the SK-spin glass model, and show that it has an analogous threshold: the local REM conjecture holds for energies of order $o(n)$, and fails if the energies grow like $κn$ with $κ>0$.
△ Less
Submitted 25 August, 2005;
originally announced August 2005.
-
Proof of the local REM conjecture for number partitioning I: Constant energy scales
Authors:
Christian Borgs,
Jennifer Chayes,
Stephan Mertens,
Chandra Nair
Abstract:
The number partitioning problem is a classic problem of combinatorial optimization in which a set of $n$ numbers is partitioned into two subsets such that the sum of the numbers in one subset is as close as possible to the sum of the numbers in the other set. When the $n$ numbers are i.i.d. variables drawn from some distribution, the partitioning problem turns out to be equivalent to a mean-fiel…
▽ More
The number partitioning problem is a classic problem of combinatorial optimization in which a set of $n$ numbers is partitioned into two subsets such that the sum of the numbers in one subset is as close as possible to the sum of the numbers in the other set. When the $n$ numbers are i.i.d. variables drawn from some distribution, the partitioning problem turns out to be equivalent to a mean-field antiferromagnetic Ising spin glass. In the spin glass representation, it is natural to define energies -- corresponding to the costs of the partitions, and overlaps -- corresponding to the correlations between partitions. Although the energy levels of this model are {\em a priori} highly correlated, a surprising recent conjecture asserts that the energy spectrum of number partitioning is locally that of a random energy model (REM): the spacings between nearby energy levels are uncorrelated. In other words, the properly scaled energies converge to a Poisson process. The conjecture also asserts that the corresponding spin configurations are uncorrelated, indicating vanishing overlaps in the spin glass representation. In this paper, we prove these two claims, collectively known as the local REM conjecture.
△ Less
Submitted 22 April, 2005; v1 submitted 31 January, 2005;
originally announced January 2005.
-
Universality in the level statistics of disordered systems
Authors:
Heiko Bauke,
Stephan Mertens
Abstract:
Energy spectra of disordered systems share a common feature: if the entropy of the quenched disorder is larger than the entropy of the dynamical variables, the spectrum is locally that of a random energy model and the correlation between energy and configuration is lost. We demonstrate this effect for the Edwards-Anderson model, but we also discuss its universality.
Energy spectra of disordered systems share a common feature: if the entropy of the quenched disorder is larger than the entropy of the dynamical variables, the spectrum is locally that of a random energy model and the correlation between energy and configuration is lost. We demonstrate this effect for the Edwards-Anderson model, but we also discuss its universality.
△ Less
Submitted 26 August, 2004; v1 submitted 20 April, 2004;
originally announced April 2004.
-
Number partitioning as random energy model
Authors:
Heiko Bauke,
Silvio Franz,
Stephan Mertens
Abstract:
Number partitioning is a classical problem from combinatorial optimisation. In physical terms it corresponds to a long range anti-ferromagnetic Ising spin glass. It has been rigorously proven that the low lying energies of number partitioning behave like uncorrelated random variables. We claim that neighbouring energy levels are uncorrelated almost everywhere on the energy axis, and that energet…
▽ More
Number partitioning is a classical problem from combinatorial optimisation. In physical terms it corresponds to a long range anti-ferromagnetic Ising spin glass. It has been rigorously proven that the low lying energies of number partitioning behave like uncorrelated random variables. We claim that neighbouring energy levels are uncorrelated almost everywhere on the energy axis, and that energetically adjacent configurations are uncorrelated, too. Apparently there is no relation between geometry (configuration) and energy that could be exploited by an optimization algorithm. This ``local random energy'' picture of number partitioning is corroborated by numerical simulations and heuristic arguments.
△ Less
Submitted 31 January, 2004;
originally announced February 2004.
-
The Easiest Hard Problem: Number Partitioning
Authors:
Stephan Mertens
Abstract:
Number partitioning is one of the classical NP-hard problems of combinatorial optimization. It has applications in areas like public key encryption and task scheduling. The random version of number partitioning has an "easy-hard" phase transition similar to the phase transitions observed in other combinatorial problems like $k$-SAT. In contrast to most other problems, number partitioning is simp…
▽ More
Number partitioning is one of the classical NP-hard problems of combinatorial optimization. It has applications in areas like public key encryption and task scheduling. The random version of number partitioning has an "easy-hard" phase transition similar to the phase transitions observed in other combinatorial problems like $k$-SAT. In contrast to most other problems, number partitioning is simple enough to obtain detailled and rigorous results on the "hard" and "easy" phase and the transition that separates them. We review the known results on random integer partitioning, give a very simple derivation of the phase transition and discuss the algorithmic implications of both phases.
△ Less
Submitted 18 October, 2003; v1 submitted 14 October, 2003;
originally announced October 2003.
-
Threshold values of Random K-SAT from the cavity method
Authors:
Stephan Mertens,
Marc Mezard,
Riccardo Zecchina
Abstract:
Using the cavity equations of \cite{mezard:parisi:zecchina:02,mezard:zecchina:02}, we derive the various threshold values for the number of clauses per variable of the random $K$-satisfiability problem, generalizing the previous results to $K \ge 4$. We also give an analytic solution of the equations, and some closed expressions for these thresholds, in an expansion around large $K$. The stabili…
▽ More
Using the cavity equations of \cite{mezard:parisi:zecchina:02,mezard:zecchina:02}, we derive the various threshold values for the number of clauses per variable of the random $K$-satisfiability problem, generalizing the previous results to $K \ge 4$. We also give an analytic solution of the equations, and some closed expressions for these thresholds, in an expansion around large $K$. The stability of the solution is also computed. For any $K$, the satisfiability threshold is found to be in the stable region of the solution, which adds further credit to the conjecture that this computation gives the exact satisfiability threshold.
△ Less
Submitted 24 February, 2005; v1 submitted 12 September, 2003;
originally announced September 2003.
-
Pseudo Random Coins Show More Heads Than Tails
Authors:
Heiko Bauke,
Stephan Mertens
Abstract:
Tossing a coin is the most elementary Monte Carlo experiment. In a computer the coin is replaced by a pseudo random number generator. It can be shown analytically and by exact enumerations that popular random number generators are not capable of imitating a fair coin: pseudo random coins show more heads than tails. This bias explains the empirically observed failure of some random number generat…
▽ More
Tossing a coin is the most elementary Monte Carlo experiment. In a computer the coin is replaced by a pseudo random number generator. It can be shown analytically and by exact enumerations that popular random number generators are not capable of imitating a fair coin: pseudo random coins show more heads than tails. This bias explains the empirically observed failure of some random number generators in random walk experiments. It can be traced down to the special role of the value zero in the algebra of finite fields.
△ Less
Submitted 21 January, 2004; v1 submitted 7 July, 2003;
originally announced July 2003.
-
Entropy of Pseudo Random Number Generators
Authors:
Stephan Mertens,
Heiko Bauke
Abstract:
Since the work of Ferrenberg et al.[PRL 69, (1992)] some pseudo random number generators are known to yield wrong results in cluster Monte Carlo simulations. In this contribution the fundamental mechanism behind this failure is discussed. Almost all random number generators calculate a new pseudo random number $x_i$ from preceding values, $x_i = f(x_{i-1}, x_{i-2},..., x_{i-q})$. Failure of thes…
▽ More
Since the work of Ferrenberg et al.[PRL 69, (1992)] some pseudo random number generators are known to yield wrong results in cluster Monte Carlo simulations. In this contribution the fundamental mechanism behind this failure is discussed. Almost all random number generators calculate a new pseudo random number $x_i$ from preceding values, $x_i = f(x_{i-1}, x_{i-2},..., x_{i-q})$. Failure of these generators in cluster Monte Carlo simulations and related experiments can be attributed to the low entropy of the production rule $f()$ conditioned on the statistics of the input values $x_{i-1},...,x_{i-q}$. Being a measure only of the arithmetic operations in the generator rule, the conditional entropy is independent of the lag in the recurrence or the period of the sequence. In that sense it measures a more profound quality of a random number generator than empirical tests with their limited horizon.
△ Less
Submitted 30 June, 2004; v1 submitted 14 May, 2003;
originally announced May 2003.
-
Phase Diagram for the Constrained Integer Partitioning Problem
Authors:
C. Borgs,
J. T. Chayes,
S. Mertens,
B. Pittel
Abstract:
We consider the problem of partitioning $n$ integers into two subsets of given cardinalities such that the discrepancy, the absolute value of the difference of their sums, is minimized. The integers are i.i.d. random variables chosen uniformly from the set $\{1,...,M\}$. We study how the typical behavior of the optimal partition depends on $n,M$ and the bias $s$, the difference between the cardi…
▽ More
We consider the problem of partitioning $n$ integers into two subsets of given cardinalities such that the discrepancy, the absolute value of the difference of their sums, is minimized. The integers are i.i.d. random variables chosen uniformly from the set $\{1,...,M\}$. We study how the typical behavior of the optimal partition depends on $n,M$ and the bias $s$, the difference between the cardinalities of the two subsets in the partition. In particular, we rigorously establish this typical behavior as a function of the two parameters $κ:=n^{-1}\log_2M$ and $b:=|s|/n$ by proving the existence of three distinct ``phases'' in the $κb$-plane, characterized by the value of the discrepancy and the number of optimal solutions: a ``perfect phase'' with exponentially many optimal solutions with discrepancy 0 or 1; a ``hard phase'' with minimal discrepancy of order $Me^{-Θ(n)}$; and a ``sorted phase'' with an unique optimal partition of order $Mn$, obtained by putting the $(s+n)/2$ smallest integers in one subset. Our phase diagram covers all but a relatively small region in the $κb$-plane. We also show that the three phases can be alternatively characterized by the number of basis solutions of the associated linear programming problem, and by the fraction of these basis solutions whose $\pm 1$-valued components form optimal integer partitions of the subproblem with the corresponding weights. We show in particular that this fraction is one in the sorted phase, and exponentially small in both the perfect and hard phases, and strictly exponentially smaller in the hard phase than in the perfect phase. Open problems are discussed, and numerical experiments are presented.
△ Less
Submitted 26 February, 2003;
originally announced February 2003.
-
Phase Transition in Multiprocessor Scheduling
Authors:
Heiko Bauke,
Stephan Mertens,
Andreas Engel
Abstract:
The problem of distributing the workload on a parallel computer to minimize the overall runtime is known as Multiprocessor Scheduling Problem. It is NP-hard, but like many other NP-hard problems, the average hardness of random instances displays an ``easy-hard'' phase transition. The transition in Multiprocessor Scheduling can be analyzed using elementary notions from crystallography (Bravais la…
▽ More
The problem of distributing the workload on a parallel computer to minimize the overall runtime is known as Multiprocessor Scheduling Problem. It is NP-hard, but like many other NP-hard problems, the average hardness of random instances displays an ``easy-hard'' phase transition. The transition in Multiprocessor Scheduling can be analyzed using elementary notions from crystallography (Bravais lattices) and statistical mechanics (Potts vectors). The analysis reveals the control parameter of the transition and its critical value including finite size corrections. The transition is identified in the performance of practical scheduling algorithms.
△ Less
Submitted 21 August, 2002; v1 submitted 5 August, 2002;
originally announced August 2002.
-
Computational Complexity for Physicists
Authors:
Stephan Mertens
Abstract:
These lecture notes are an informal introduction to the theory of computational complexity and its links to quantum computing and statistical mechanics.
These lecture notes are an informal introduction to the theory of computational complexity and its links to quantum computing and statistical mechanics.
△ Less
Submitted 7 April, 2002; v1 submitted 11 December, 2000;
originally announced December 2000.
-
A physicist's approach to number partitioning
Authors:
Stephan Mertens
Abstract:
The statistical physics approach to the number partioning problem, a classical NP-hard problem, is both simple and rewarding. Very basic notions and methods from statistical mechanics are enough to obtain analytical results for the phase boundary that separates the ``easy-to-solve'' from the ``hard-to-solve'' phase of the NPP as well as for the probability distributions of the optimal and sub-op…
▽ More
The statistical physics approach to the number partioning problem, a classical NP-hard problem, is both simple and rewarding. Very basic notions and methods from statistical mechanics are enough to obtain analytical results for the phase boundary that separates the ``easy-to-solve'' from the ``hard-to-solve'' phase of the NPP as well as for the probability distributions of the optimal and sub-optimal solutions. In addition, it can be shown that solving a number partioning problem of size $N$ to some extent corresponds to locating the minimum in an unsorted list of $\bigo{2^N}$ numbers. Considering this correspondence it is not surprising that known heuristics for the partitioning problem are not significantly better than simple random search.
△ Less
Submitted 23 November, 2000; v1 submitted 15 September, 2000;
originally announced September 2000.
-
Random Costs in Combinatorial Optimization
Authors:
Stephan Mertens
Abstract:
The random cost problem is the problem of finding the minimum in an exponentially long list of random numbers. By definition, this problem cannot be solved faster than by exhaustive search. It is shown that a classical NP-hard optimization problem, number partitioning, is essentially equivalent to the random cost problem. This explains the bad performance of heuristic approaches to the number pa…
▽ More
The random cost problem is the problem of finding the minimum in an exponentially long list of random numbers. By definition, this problem cannot be solved faster than by exhaustive search. It is shown that a classical NP-hard optimization problem, number partitioning, is essentially equivalent to the random cost problem. This explains the bad performance of heuristic approaches to the number partitioning problem and allows us to calculate the probability distributions of the optimum and sub-optimum costs.
△ Less
Submitted 10 November, 1999; v1 submitted 6 July, 1999;
originally announced July 1999.
-
A complete anytime algorithm for balanced number partitioning
Authors:
Stephan Mertens
Abstract:
Given a set of numbers, the balanced partioning problem is to divide them into two subsets, so that the sum of the numbers in each subset are as nearly equal as possible, subject to the constraint that the cardinalities of the subsets be within one of each other. We combine the balanced largest differencing method (BLDM) and Korf's complete Karmarkar-Karp algorithm to get a new algorithm that op…
▽ More
Given a set of numbers, the balanced partioning problem is to divide them into two subsets, so that the sum of the numbers in each subset are as nearly equal as possible, subject to the constraint that the cardinalities of the subsets be within one of each other. We combine the balanced largest differencing method (BLDM) and Korf's complete Karmarkar-Karp algorithm to get a new algorithm that optimally solves the balanced partitioning problem. For numbers with twelve significant digits or less, the algorithm can optimally solve balanced partioning problems of arbitrary size in practice. For numbers with greater precision, it first returns the BLDM solution, then continues to find better solutions as time allows.
△ Less
Submitted 11 March, 1999;
originally announced March 1999.
-
Phase Transition in the Number Partitioning Problem
Authors:
Stephan Mertens
Abstract:
Number partitioning is an NP-complete problem of combinatorial optimization. A statistical mechanics analysis reveals the existence of a phase transition that separates the easy from the hard to solve instances and that reflects the pseudo-polynomiality of number partitioning. The phase diagram and the value of the typical ground state energy are calculated.
Number partitioning is an NP-complete problem of combinatorial optimization. A statistical mechanics analysis reveals the existence of a phase transition that separates the easy from the hard to solve instances and that reflects the pseudo-polynomiality of number partitioning. The phase diagram and the value of the typical ground state energy are calculated.
△ Less
Submitted 21 September, 1998; v1 submitted 6 July, 1998;
originally announced July 1998.
-
On the ground states of the Bernasconi model
Authors:
Stephan Mertens,
Christine Bessenrodt
Abstract:
The ground states of the Bernasconi model are binary +1/-1 sequences of length N with low autocorrelations. We introduce the notion of perfect sequences, binary sequences with one-valued off-peak correlations of minimum amount. If they exist, they are ground states. Using results from the mathematical theory of cyclic difference sets, we specify all values of N for which perfect sequences do exi…
▽ More
The ground states of the Bernasconi model are binary +1/-1 sequences of length N with low autocorrelations. We introduce the notion of perfect sequences, binary sequences with one-valued off-peak correlations of minimum amount. If they exist, they are ground states. Using results from the mathematical theory of cyclic difference sets, we specify all values of N for which perfect sequences do exist and how to construct them. For other values of N, we investigate almost perfect sequences, i.e. sequences with two-valued off-peak correlations of minimum amount. Numerical and analytical results support the conjecture that almost perfect sequences do exist for all values of N, but that they are not always ground states. We present a construction for low-energy configurations that works if N is the product of two odd primes.
△ Less
Submitted 1 December, 1997; v1 submitted 10 July, 1997;
originally announced July 1997.
-
On the VC-dimension of neural networks with binary weights
Authors:
S. Mertens,
A. Engel
Abstract:
We investigate the VC-dimension of the perceptron and simple two-layer networks like the committee- and the parity-machine with weights restricted to values $\pm1$. For binary inputs, the VC-dimension is determined by atypical pattern sets, i.e. it cannot be found by replica analysis or numerical Monte Carlo sampling. For small systems, exhaustive enumerations yield exact results. For systems th…
▽ More
We investigate the VC-dimension of the perceptron and simple two-layer networks like the committee- and the parity-machine with weights restricted to values $\pm1$. For binary inputs, the VC-dimension is determined by atypical pattern sets, i.e. it cannot be found by replica analysis or numerical Monte Carlo sampling. For small systems, exhaustive enumerations yield exact results. For systems that are too large for enumerations, number theoretic arguments give lower bounds for the VC-dimension. For the Ising perceptron, the VC-dimension is probably larger than $N/2$.
△ Less
Submitted 29 August, 1996;
originally announced August 1996.
-
Exhaustive search for low autocorrelation binary sequences
Authors:
S. Mertens
Abstract:
Binary sequences with low autocorrelations are important in communication engineering and in statistical mechanics as groundstates of the Bernasconi-model. Computer searches are the main tool to construct such sequences. Due to the exponential size $O(2^N)$ of the configuration space, exhaustive searches are limited to short sequences. We discuss an exhaustive search algorithm with run time char…
▽ More
Binary sequences with low autocorrelations are important in communication engineering and in statistical mechanics as groundstates of the Bernasconi-model. Computer searches are the main tool to construct such sequences. Due to the exponential size $O(2^N)$ of the configuration space, exhaustive searches are limited to short sequences. We discuss an exhaustive search algorithm with run time characteristic $O(1.85^N)$ and apply it to compile a table of exact groundstates of the Bernasconi-model up to $N=48$. The data suggests $F>9$ for the optimal merit factor in the limit $N\to\infty$.
△ Less
Submitted 6 June, 1996; v1 submitted 8 May, 1996;
originally announced May 1996.
-
On the Vapnik-Chervonenkis dimension of the Ising-perceptron
Authors:
S. Mertens
Abstract:
The VC dimension of the Ising perceptron with binary patterns is calculated by numerical enumerations for system sizes N <= 31. It is significantly larger than N/2. The data suggest that there is probably no well defined asymptotic behaviour for N to infinity.
The VC dimension of the Ising perceptron with binary patterns is calculated by numerical enumerations for system sizes N <= 31. It is significantly larger than N/2. The data suggest that there is probably no well defined asymptotic behaviour for N to infinity.
△ Less
Submitted 20 February, 1996;
originally announced February 1996.