<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>William Echols</title><link>https://williamechols.com/</link><description>Recent content on William Echols</description><generator>Hugo</generator><language>en-us</language><lastBuildDate>Fri, 04 Sep 2026 00:00:00 +0000</lastBuildDate><atom:link href="https://williamechols.com/index.xml" rel="self" type="application/rss+xml"/><item><title>Snake-in-the-box updates</title><link>https://williamechols.com/posts/sitb_updates.html</link><pubDate>Thu, 13 Aug 2026 00:00:00 +0000</pubDate><guid>https://williamechols.com/posts/sitb_updates.html</guid><description>&lt;p&gt;This page collects my snake-in-the-box record improvements, along with selected updates from Tom Ace and others for chronological context. It is not intended to be a complete history. For the latest results, I recommend Ace's &lt;a href="https://www.minortriad.com/snake/"&gt;Snake-in-the-Box lower bounds&lt;/a&gt;.&lt;/p&gt;

 &lt;h2&gt;Updates&lt;/h2&gt;

 &lt;dl&gt;
 &lt;dt&gt;June 26-29, 2026 &amp;middot; Echols (&lt;a href="https://williamechols.com/posts/lengthening_hypercube_snakes_with_windowed_rerouting.html"&gt;more details&lt;/a&gt;)&lt;/dt&gt;
 &lt;dd&gt;12-d snake: 1461&amp;rarr;&lt;a href="https://williamechols.com/posts/static/sitb/12_1463.txt"&gt;1463&lt;/a&gt;&lt;/dd&gt;
	&lt;dd&gt;13-d snake: 2892&amp;rarr;&lt;a href="https://williamechols.com/posts/static/sitb/13_2898.txt"&gt;2898&lt;/a&gt;&lt;/dd&gt;
 &lt;dd&gt;10-d coil: 366&amp;rarr;&lt;a href="https://williamechols.com/posts/static/sitb/c10_370.txt"&gt;370&lt;/a&gt;&lt;/dd&gt;
 &lt;dd&gt;11-d coil: 694&amp;rarr;&lt;a href="https://williamechols.com/posts/static/sitb/c11_700.txt"&gt;700&lt;/a&gt;&lt;/dd&gt;
	&lt;dd&gt;12-d coil: 1346&amp;rarr;&lt;a href="https://williamechols.com/posts/static/sitb/c12_1352.txt"&gt;1352&lt;/a&gt;&lt;/dd&gt;
	&lt;dd&gt;13-d coil: 2600&amp;rarr;&lt;a href="https://williamechols.com/posts/static/sitb/c13_2624.txt"&gt;2624&lt;/a&gt;&lt;/dd&gt;
 &lt;dd&gt;11-d symmetric coil: 662&amp;rarr;&lt;a href="https://williamechols.com/posts/static/sitb/sc11_674.txt"&gt;674&lt;/a&gt;&lt;/dd&gt;

 &lt;dt&gt;July 2, 2026 &amp;middot; Echols (&lt;a href="https://williamechols.com/posts/building_symmetric_coils_with_implicit_quotient_beam_search.html"&gt;more details&lt;/a&gt;)&lt;/dt&gt;
 &lt;dd&gt;11-d symmetric coil: 674&amp;rarr;&lt;a href="https://williamechols.com/posts/static/sitb/sc11_718.txt"&gt;718&lt;/a&gt;&lt;/dd&gt;
	&lt;dd&gt;12-d symmetric coil: 1222&amp;rarr;&lt;a href="https://williamechols.com/posts/static/sitb/sc12_1422.txt"&gt;1422&lt;/a&gt;&lt;/dd&gt;
	&lt;dd&gt;13-d symmetric coil: 2354&amp;rarr;&lt;a href="https://williamechols.com/posts/static/sitb/sc13_2766.txt"&gt;2766&lt;/a&gt;&lt;/dd&gt;

 &lt;dt&gt;July 8, 2026 &amp;middot; Echols (&lt;a href="https://williamechols.com/posts/improving_snakes_and_coils_with_further_windowed_rerouting.html"&gt;more details&lt;/a&gt;)&lt;/dt&gt;
 &lt;dd&gt;13-d snake: 2898&amp;rarr;&lt;a href="https://williamechols.com/posts/static/sitb/13_2900.txt"&gt;2900&lt;/a&gt;&lt;/dd&gt;
	&lt;dd&gt;13-d coil: 2832&amp;rarr;&lt;a href="https://williamechols.com/posts/static/sitb/c13_2840.txt"&gt;2840&lt;/a&gt;&lt;/dd&gt;
	&lt;dd&gt;12-d symmetric coil: 1422&amp;rarr;&lt;a href="https://williamechols.com/posts/static/sitb/sc12_1430.txt"&gt;1430&lt;/a&gt;&lt;/dd&gt;
	&lt;dd&gt;13-d symmetric coil: 2766&amp;rarr;&lt;a href="https://williamechols.com/posts/static/sitb/sc13_2810.txt"&gt;2810&lt;/a&gt;&lt;/dd&gt;
	
 &lt;dt&gt;July 16, 2026 &amp;middot; Orland et al (&lt;a href="https://arxiv.org/abs/2607.15270"&gt;A Census of New Snake-in-the-Box Records&lt;/a&gt;)&lt;/dt&gt;
 &lt;dd&gt;9-d snake: 190&amp;rarr;191&lt;/dd&gt;
 &lt;dd&gt;10-d snake: 376&amp;rarr;379&lt;/dd&gt;
 &lt;dd&gt;11-d snake: 737&amp;rarr;746&lt;/dd&gt;
 &lt;dd&gt;12-d snake: 1465&amp;rarr;1476&lt;/dd&gt;
 &lt;dd&gt;13-d snake: 2900&amp;rarr;2922&lt;/dd&gt;
 &lt;dd&gt;9-d coil: 188&amp;rarr;192&lt;/dd&gt;
 &lt;dd&gt;10-d coil: 370&amp;rarr;374&lt;/dd&gt;
 &lt;dd&gt;11-d coil: 728&amp;rarr;732&lt;/dd&gt;
 &lt;dd&gt;12-d coil: 1442&amp;rarr;1466&lt;/dd&gt;
 &lt;dd&gt;10-d symmetric coil: 362&amp;rarr;370&lt;/dd&gt;
 &lt;dd&gt;11-d symmetric coil: 718&amp;rarr;726&lt;/dd&gt;
	
 &lt;dt&gt;July 17, 2026 &amp;middot; Ace&lt;/dt&gt;
 &lt;dd&gt;13-d snake: 2922&amp;rarr;2928&lt;/dd&gt;
 &lt;dd&gt;11-d coil: 732&amp;rarr;734&lt;/dd&gt;

 &lt;dt&gt;July 22, 2026 &amp;middot; Echols&lt;/dt&gt;
	&lt;dd&gt;13-d snake: 2928&amp;rarr;&lt;a href="https://williamechols.com/posts/static/sitb/13_2932.txt"&gt;2932&lt;/a&gt;&lt;/dd&gt;
	&lt;dd&gt;11-d coil: 734&amp;rarr;&lt;a href="https://williamechols.com/posts/static/sitb/co11_736.txt"&gt;736&lt;/a&gt;&lt;/dd&gt;
	&lt;dd&gt;12-d coil: 1466&amp;rarr;&lt;a href="https://williamechols.com/posts/static/sitb/co12_1468.txt"&gt;1468&lt;/a&gt;&lt;/dd&gt;
 &lt;dd&gt;&lt;small&gt;Built from stale 2924- and 732-length starting records, as I was working over ssh and had not loaded Ace's latest results.&lt;/small&gt;&lt;/dd&gt;

 &lt;dt&gt;July 23, 2026 &amp;middot; Ace&lt;/dt&gt;
 &lt;dd&gt;11-d coil: 736&amp;rarr;738&lt;/dd&gt;

 &lt;dt&gt;July 23, 2026 &amp;middot; Echols&lt;/dt&gt;
	&lt;dd&gt;11-d coil: 738&amp;rarr;&lt;a href="https://williamechols.com/posts/static/sitb/co11_740.txt"&gt;740&lt;/a&gt;&lt;/dd&gt;

 &lt;dt&gt;August 11, 2026 &amp;middot; Ace&lt;/dt&gt;
 &lt;dd&gt;11-d snake: 746&amp;rarr;747&lt;/dd&gt;

 &lt;dt&gt;August 13, 2026 &amp;middot; Echols&lt;/dt&gt;
	&lt;dd&gt;13-d coil: 2916&amp;rarr;&lt;a href="https://williamechols.com/posts/static/sitb/co13_2926.txt"&gt;2926&lt;/a&gt;&lt;/dd&gt;
	&lt;dd&gt;11-d symmetric coil: 726&amp;rarr;&lt;a href="https://williamechols.com/posts/static/sitb/sc11_730.txt"&gt;730&lt;/a&gt;&lt;/dd&gt;
	&lt;dd&gt;13-d symmetric coil: 2810&amp;rarr;&lt;a href="https://williamechols.com/posts/static/sitb/sc13_2822.txt"&gt;2822&lt;/a&gt;&lt;/dd&gt;
 &lt;dd&gt;&lt;small&gt;Found by augmenting my approach with a neutral move from Ace.&lt;/small&gt;&lt;/dd&gt;

	&lt;dt&gt;August 29, 2026 &amp;middot; Echols&lt;/dt&gt;
	&lt;dd&gt;11-d snake: 747&amp;rarr;&lt;a href="https://williamechols.com/posts/static/sitb/sn11_750.txt"&gt;750&lt;/a&gt;&lt;/dd&gt;
	&lt;dd&gt;13-d coil: 2926&amp;rarr;&lt;a href="https://williamechols.com/posts/static/sitb/co13_2930.txt"&gt;2930&lt;/a&gt;&lt;/dd&gt;
	&lt;dd&gt;12-d symmetric coil: 1430&amp;rarr;&lt;a href="https://williamechols.com/posts/static/sitb/sc12_1434.txt"&gt;1434&lt;/a&gt;&lt;/dd&gt;
	&lt;dd&gt;13-d symmetric coil: 2822&amp;rarr;&lt;a href="https://williamechols.com/posts/static/sitb/sc13_2830.txt"&gt;2830&lt;/a&gt;&lt;/dd&gt;
 &lt;/dl&gt;

 &lt;hr /&gt;

 &lt;p&gt;Last updated September 4, 2026&lt;/p&gt;</description></item><item><title>Improving snakes and coils with further windowed rerouting</title><link>https://williamechols.com/posts/improving_snakes_and_coils_with_further_windowed_rerouting.html</link><pubDate>Wed, 08 Jul 2026 00:00:00 +0000</pubDate><guid>https://williamechols.com/posts/improving_snakes_and_coils_with_further_windowed_rerouting.html</guid><description>&lt;p&gt;Using a modified windowed reouting approach (described &lt;a
 href="https://williamechols.com/posts/lengthening_hypercube_snakes_with_windowed_rerouting.html"&gt;here&lt;/a&gt;) with the
 marginal-forbidden heuristic (described &lt;a
 href="https://williamechols.com/posts/building_symmetric_coils_with_implicit_quotient_beam_search.html"&gt;here&lt;/a&gt;), I was able to find
 some
 more improvements to snake-in-the-box, coil-in-the-box, and symmetric coil-in-the-box records.&lt;/p&gt;

 &lt;h2&gt;Findings&lt;/h2&gt;

 &lt;p&gt;Improvements to the 13-d snake-in-the-box construction were marginal, improving my existing length-2898 snake
 into a
 length-2900 snake.&lt;/p&gt;

 &lt;table&gt;
 &lt;caption&gt;New hypercube snake&lt;/caption&gt;
 &lt;colgroup&gt;
 &lt;col&gt;
 &lt;col&gt;
 &lt;col&gt;
 &lt;/colgroup&gt;
 &lt;thead&gt;
 &lt;tr&gt;
 &lt;th&gt;n&lt;/th&gt;
 &lt;th&gt;previous-best length&lt;/th&gt;
 &lt;th&gt;new snake length&lt;/th&gt;
 &lt;/tr&gt;
 &lt;/thead&gt;
 &lt;tbody&gt;
 &lt;tr&gt;
 &lt;td&gt;13&lt;/td&gt;
 &lt;td&gt;2898&lt;/td&gt;
 &lt;td&gt;&lt;a href="https://williamechols.com/posts/static/sitb/13_2900.txt"&gt;2900&lt;/a&gt;&lt;/td&gt;
 &lt;/tr&gt;
 &lt;/tbody&gt;
 &lt;/table&gt;

 &lt;p&gt;Ace's 13-d length-2832 coil, first published at &lt;a
 href="https://www.minortriad.com/snake/"&gt;www.minortriad.com/snake/&lt;/a&gt;, was improved to a length-2840 coil.
 &lt;/p&gt;</description></item><item><title>Building symmetric coils with implicit-quotient beam search</title><link>https://williamechols.com/posts/building_symmetric_coils_with_implicit_quotient_beam_search.html</link><pubDate>Thu, 02 Jul 2026 00:00:00 +0000</pubDate><guid>https://williamechols.com/posts/building_symmetric_coils_with_implicit_quotient_beam_search.html</guid><description>&lt;p&gt;Before the improvements described here, the following were the best known lengths for the snake-in-the-box,
 coil-in-the-box, and
 symmetric coil-in-the-box problems, in dimensions 9 &amp;le; n &amp;le; 13: (sourced from &lt;a
 href="https://www.minortriad.com"&gt;www.minortriad.com&lt;/a&gt;)&lt;/p&gt;

 &lt;table&gt;
 &lt;caption&gt;Baseline lengths, as of July 1, 2026&lt;/caption&gt;
 &lt;colgroup&gt;
 &lt;col&gt;
 &lt;col&gt;
 &lt;col&gt;
 &lt;col&gt;
 &lt;/colgroup&gt;
 &lt;thead&gt;
 &lt;tr&gt;
 &lt;th&gt;n&lt;/th&gt;
 &lt;th&gt;snake&lt;/th&gt;
 &lt;th&gt;coil&lt;/th&gt;
 &lt;th&gt;symmetric coil&lt;/th&gt;
 &lt;/tr&gt;
 &lt;/thead&gt;
 &lt;tbody&gt;
 &lt;tr&gt;
 &lt;td&gt;9&lt;/td&gt;
 &lt;td&gt;190&lt;/td&gt;
 &lt;td&gt;188&lt;/td&gt;
 &lt;td&gt;186&lt;/td&gt;
 &lt;/tr&gt;
 &lt;tr&gt;
 &lt;td&gt;10&lt;/td&gt;
 &lt;td&gt;376&lt;/td&gt;
 &lt;td&gt;370&lt;/td&gt;
 &lt;td&gt;362&lt;/td&gt;
 &lt;/tr&gt;
 &lt;tr&gt;
 &lt;td&gt;11&lt;/td&gt;
 &lt;td&gt;737&lt;/td&gt;
 &lt;td&gt;728&lt;/td&gt;
 &lt;td&gt;674&lt;/td&gt;
 &lt;/tr&gt;
 &lt;tr&gt;
 &lt;td&gt;12&lt;/td&gt;
 &lt;td&gt;1465&lt;/td&gt;
 &lt;td&gt;1442&lt;/td&gt;
 &lt;td&gt;1222&lt;/td&gt;
 &lt;/tr&gt;
 &lt;tr&gt;
 &lt;td&gt;13&lt;/td&gt;
 &lt;td&gt;2898&lt;/td&gt;
 &lt;td&gt;2832&lt;/td&gt;
 &lt;td&gt;2354&lt;/td&gt;
 &lt;/tr&gt;
 &lt;/tbody&gt;
 &lt;/table&gt;

 &lt;p&gt;In dimensions n &amp;le; 10, the longest known symmetric coils are approximately the same length as the longest known
 snakes and coils. After the 10th dimension, the lengths of the best-known constructions for
 these problems deviate significantly, as
 shown by the percentage of best-known symmetric coil versus best-known (general) coil:&lt;/p&gt;</description></item><item><title>Lengthening hypercube snakes with windowed rerouting</title><link>https://williamechols.com/posts/lengthening_hypercube_snakes_with_windowed_rerouting.html</link><pubDate>Fri, 26 Jun 2026 00:00:00 +0000</pubDate><guid>https://williamechols.com/posts/lengthening_hypercube_snakes_with_windowed_rerouting.html</guid><description>&lt;p&gt;
 I, like many people, was first introduced to the snake-in-the-box problem through &lt;a
 href="https://xkcd.com/3125/"&gt;xkcd #3125&lt;/a&gt;:
 &lt;/p&gt;

 &lt;img src="https://williamechols.com/posts/static/xkcd-3125.png" style="max-height: 500px; width: auto;" /&gt;

 &lt;p&gt;The vertices of an n-th dimensional hypercube can be labelled as n-bit strings. Then, a valid snake is a path
 such that the (Hamming) distance between consecutive vertices in the path is 1, and the distance between any
 non-consecutive vertices is at least 2. Our goal is to construct the largest snake possible for a given
 dimension n.&lt;/p&gt;</description></item><item><title>Prescriptive Analytics for AI-enabled Operations Engineering</title><link>https://williamechols.com/posts/nsf_reu_missouri.html</link><pubDate>Sat, 26 Jul 2025 00:00:00 +0000</pubDate><guid>https://williamechols.com/posts/nsf_reu_missouri.html</guid><description>&lt;img src="https://williamechols.com/posts/static/missouri-reu.webp" /&gt;

 &lt;p&gt;
 This REU led to the publication of &lt;a href="https://doi.org/10.1145/3769102.3774243"&gt;"Edge-Enabled Scalable
 Routing via Graph Neural Network Pruning and Metaheuristic Optimization"&lt;/a&gt; at the 2025 ACM/IEEE Symposium
 on Edge Computing.
 &lt;/p&gt;

 &lt;h2&gt;Abstract&lt;/h2&gt;

 Edge intelligence enables distributed decision-making by executing complex optimization tasks directly on
 resource-constrained edge nodes, minimizing reliance on centralized cloud infrastructure. This work introduces a
 hybrid edge-intelligent routing framework that combines Graph Neural Network (GNN)-based graph pruning with
 metaheuristic optimization to achieve scalable and low-latency routing at the network edge. The GNN functions as a
 lightweight inference module that identifies and removes low-utility edges from a sensing network, substantially
 reducing communication and computational overhead. On the resulting sparse subgraph, a Guided Local Search (GLS)
 algorithm performs localized route refinement to produce near-optimal paths without central coordination. This
 integrated GNN-GLS design allows simultaneous graph learning and optimization on edge hardware while retaining
 solution quality comparable to centralized solvers. Experimental results on synthetic datasets demonstrate a 13.2%
 runtime improvement on 1000-node graphs with only a 0.7% increase in route length, confirming the feasibility of
 learning-driven pruning and decentralized metaheuristic search for scalable edge deployment.</description></item><item><title>175 billion digits of Gamma(1/5)</title><link>https://williamechols.com/posts/175_billion_digits_of_gamma_1_5.html</link><pubDate>Sat, 31 May 2025 00:00:00 +0000</pubDate><guid>https://williamechols.com/posts/175_billion_digits_of_gamma_1_5.html</guid><description>&lt;p&gt;
The Gamma function is a continuous extension of the factorial function. It is defined for real numbers and complex numbers with the following formula:
&lt;/p&gt;

&lt;p align="center"&gt;
&lt;math display="block" xmlns="http://www.w3.org/1998/Math/MathML"&gt;&lt;semantics&gt;&lt;mrow&gt;&lt;mi&gt;Γ&lt;/mi&gt;&lt;mrow&gt;&lt;mo stretchy="true" form="prefix"&gt;(&lt;/mo&gt;&lt;mi&gt;z&lt;/mi&gt;&lt;mo stretchy="true" form="postfix"&gt;)&lt;/mo&gt;&lt;/mrow&gt;&lt;mo&gt;=&lt;/mo&gt;&lt;msubsup&gt;&lt;mo&gt;∫&lt;/mo&gt;&lt;mn&gt;0&lt;/mn&gt;&lt;mi&gt;∞&lt;/mi&gt;&lt;/msubsup&gt;&lt;msup&gt;&lt;mi&gt;t&lt;/mi&gt;&lt;mrow&gt;&lt;mi&gt;z&lt;/mi&gt;&lt;mo&gt;−&lt;/mo&gt;&lt;mn&gt;1&lt;/mn&gt;&lt;/mrow&gt;&lt;/msup&gt;&lt;msup&gt;&lt;mi&gt;e&lt;/mi&gt;&lt;mrow&gt;&lt;mi&gt;−&lt;/mi&gt;&lt;mi&gt;t&lt;/mi&gt;&lt;/mrow&gt;&lt;/msup&gt;&lt;mspace width="0.222em"&gt;&lt;/mspace&gt;&lt;mi mathvariant="normal"&gt;d&lt;/mi&gt;&lt;mi&gt;t&lt;/mi&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mspace width="1.0em"&gt;&lt;/mspace&gt;&lt;mi&gt;ℜ&lt;/mi&gt;&lt;mrow&gt;&lt;mo stretchy="true" form="prefix"&gt;(&lt;/mo&gt;&lt;mi&gt;z&lt;/mi&gt;&lt;mo stretchy="true" form="postfix"&gt;)&lt;/mo&gt;&lt;/mrow&gt;&lt;mo&gt;&amp;gt;&lt;/mo&gt;&lt;mn&gt;0&lt;/mn&gt;&lt;/mrow&gt;&lt;annotation encoding="application/x-tex"&gt;\Gamma (z) = \int_0^\infty t^{z-1} e^{-t} \ \mathrm{d}t, \quad \Re (z) &amp;gt; 0&lt;/annotation&gt;&lt;/semantics&gt;&lt;/math&gt;
&lt;/p&gt;

&lt;p&gt;
It is currently unknown if Gamma(1/5) is irrational or transcendental. If it turned out to be rational, its decimal expansion would eventually fall into a repeating cycle. No such repetition has been found (much less proven), and many believe Gamma(1/5) to most likely be transcendental.
&lt;/p&gt;</description></item><item><title>1.5 trillion digits of log(2)</title><link>https://williamechols.com/posts/1_5_trillion_digits_of_log_2.html</link><pubDate>Thu, 09 Sep 2021 00:00:00 +0000</pubDate><guid>https://williamechols.com/posts/1_5_trillion_digits_of_log_2.html</guid><description>&lt;p&gt;
Using &lt;a href="http://www.numberworld.org/y-cruncher/"&gt;y-cruncher&lt;/a&gt;, I calculated 1.5 trillion digits of log(2). The hardware used and its information are presented below:
&lt;/p&gt;


&lt;div&gt;
&lt;p&gt;&lt;img src="https://williamechols.com/posts/static/supermicro_server.webp" alt="supermicro_server.webp" /&gt;
&lt;/p&gt;
&lt;/div&gt;

&lt;table border="2" cellspacing="0" cellpadding="6" rules="groups" frame="hsides"&gt;


&lt;colgroup&gt;
&lt;col /&gt;

&lt;col /&gt;
&lt;/colgroup&gt;
&lt;thead&gt;
&lt;tr&gt;
&lt;th scope="col"&gt;Component&lt;/th&gt;
&lt;th scope="col"&gt;Specification&lt;/th&gt;
&lt;/tr&gt;
&lt;/thead&gt;
&lt;tbody&gt;
&lt;tr&gt;
&lt;td&gt;Processor&lt;/td&gt;
&lt;td&gt;2x Intel(R) Xeon(R) CPU E5-2690 v3 @ 2.60GHz&lt;/td&gt;
&lt;/tr&gt;

&lt;tr&gt;
&lt;td&gt;Topology&lt;/td&gt;
&lt;td&gt;48 threads / 24 cores / 2 sockets&lt;/td&gt;
&lt;/tr&gt;

&lt;tr&gt;
&lt;td&gt;Usable Memory&lt;/td&gt;
&lt;td&gt;252 GiB&lt;/td&gt;
&lt;/tr&gt;

&lt;tr&gt;
&lt;td&gt;Usable Storage&lt;/td&gt;
&lt;td&gt;~200 TiB&lt;/td&gt;
&lt;/tr&gt;
&lt;/tbody&gt;
&lt;/table&gt;

&lt;p&gt;
I used Proxmox to manage an Ubuntu container allocated with the full server’s resources to easily structure and partition the server. Then, to meet Numberworld’s standards for record submission, I ran the calculation twice:
&lt;/p&gt;</description></item></channel></rss>