How to Solve "The Hardest Logic Puzzle Ever" and Its Generalization

2026-03-17T15:19:58Z

Raymond Smullyan came up with a puzzle that George Boolos called "The Hardest Logic Puzzle Ever".[1] The puzzle has truthful, lying, and random gods who answer yes or no questions with words that we don't know the meaning of. The challenge is to figure out which type each god is. The puzzle has attracted some general attention -- for example, one popular presentation of the puzzle has been viewed 10 million times.[2] Various "top-down" solutions to the puzzle have been developed.[1,3] We present a systematic bottom-up approach to the puzzle and its generalization. We prove that an n gods puzzle is solvable if and only if the random gods are less than the non-random gods, for arbitrary cardinals. We develop a solution using 4.15 questions on average to the 5 gods variant with 2 random and 3 lying gods. Finally, we introduce an algorithm and an implementation for finding solutions to the generalized problem, together with upper bounds.

Transient waves in linear dispersive media with dissipation: an approach based on the steepest descent path

2026-03-17T14:42:53Z

In the study of linear dispersive media it is of primary interest to gain knowledge of the impulse response of the material. The standard approach to compute the response involves a Laplace transform inversion, i.e., the solution of a Bromwich integral, which can be a notoriously troublesome problem. In this paper we propose a novel approach to the calculation of the impulse response, based on the well assessed method of the steepest descent path, which results in the replacement of the Bromwich integral with a real line integral along the steepest descent path. In this exploratory investigation, the method is explained and applied to the case study of the Klein- Gordon equation with dissipation, for which analytical solutions of the Bromwich integral are available, as to compare the numerical solutions obtained by the newly proposed method to exact ones. Since the newly proposed method, at its core, consists in replacing a Laplace transform inverse with a potentially much less demanding real line integral, the method presented here could be of general interest in the study of linear dispersive waves in presence of dissipation, as well as in other fields in which Laplace transform inversion come into play.

Analytic Proof of a Quartic Continued Fraction Identity for $8/π^2$ via Operator Decoupling

2026-03-17T07:48:13Z

We present a rigorous analytic proof of a generalized continued fraction (GCF) identity for the transcendental constant $8/π^2$, a result recently conjectured via the algorithmic framework of the Ramanujan Machine. Distinct from canonical GCFs derived from classical hypergeometric series, the identity at hand features a complex polynomial architecture characterized by quartic partial numerators. Our approach utilizes an algebraic decomposition of the second-order shift operator $\mathcal{L} = \mathcal{T}^2 - b_n \mathcal{T} - a_n$ into a coupled first-order system. This decomposition enables an exact mapping of the higher-order recurrence to a cascaded system, from which the continued fraction is identified as the reciprocal of a binomial series for $(\arcsin)^2$ involving central binomial coefficients. The convergence is established through Pincherle's Theorem: the true minimal solution of the associated difference equation is $f_n = A_n - (8/π^2)\,B_n$, which satisfies $f_n/B_n \to 0$, confirming absolute convergence of the continued fraction. This work provides a systematic operator-theoretic methodology for verifying automated conjectures of transcendental constants with high-degree polynomial coefficients.

Preliminaries on Pre-Hilbert Structures on Polynomial Spaces and Associated Laplacians

2026-03-16T17:01:54Z

We study orthogonal polynomial systems arising from general pre-Hilbert inner products on polynomial spaces, beyond the classical framework of measures. To each such inner product we associate a canonical Laplacian defined from an abstract derivation, and we investigate the operator-theoretic structures induced by this construction. Our main contribution is the introduction of a resolvent-based distance between polynomial Hilbert geometries, and the proof of quantitative stability results for finite-degree orthogonalization procedures. In particular, we show that norm-resolvent closeness of the associated Laplacians implies stability of Gram--Schmidt orthogonal bases, orthogonal projectors and reproducing kernels on all finite-dimensional polynomial subspaces. The general theory is illustrated by several explicit examples. We analyze in detail the case of orthogonal polynomials on the unit circle, comparing classical $L^2$ geometries associated with finite Radon measures and Sobolev-type regularizations via Fourier methods. We also revisit the thin annulus problem, showing that its asymptotic regime admits a natural interpretation as a resolvent limit of polynomial geometries. These results provide a unified operator-theoretic framework for the study of stability, degenerations and geometric limits of orthogonal polynomial systems.

Fibonacci numbers along residue classes and convolutions

2026-03-16T15:55:02Z

The sequence $F_{dn+h}$ and its convolutions have (for $h=0$) been studied in a recent paper at the arxiv [arXiv:2603.08636]. The instance with general $h$ is more involved and uses Chebyshev polynomials.

Two-Channel Filter Banks on Joint Time-Vertex Graphs with Oversampled Graph Laplacian Matrix

2026-03-16T13:59:50Z

To address the limitations of conventional critically sampled graph filter banks in joint time-vertex signal processing, which require decomposing the joint graph into bipartite subgraphs and thus cannot fully exploit all temporal and spatial edges in a single-stage transform, we introduce the joint time-vertex oversampled graph Laplacian matrix. This operator enables the construction of bipartite extensions that preserve all edges of the original joint graph and supports redundant multiresolution representations. Based on this operator, we design two-channel joint time-vertex oversampled graph filter banks and develop efficient oversampling extensions using a $K$-coloring strategy. The proposed framework is applied to both graph signal and image/video denoising, modeling images as graph signals to leverage structural relationships. Extensive experiments demonstrate its effectiveness in decomposition, reconstruction, and denoising, achieving notable performance improvements over critically sampled and existing methods.

On the Beal Conjecture and the Nonexistence of Coprime Solutions for Exponents Greater than Two

2026-03-16T08:07:32Z

In this paper we study the exponential Diophantine equation which is related to Beal's conjecture. In the present paper we investigate the case when a,b,c are pairwise coprime integers. Using analytic transformations and algebraic arguments, we derive relations equivalent to a special form of the equation and analyze them under the condition x,y,z>2 . As a result, it is shown that the equation has no solutions in pairwise coprime integers when the exponents are greater than two.The obtained results contribute to the study of exponential Diophantine equations and are closely related to classical problems in number theory, including Fermat's Last Theorem.

Natural Orderings of Triangle Centers

2026-03-16T07:27:31Z

Triangle centers are usually studied individually or through special geometric relationships, but little attention has been given to global structure among them. In this paper we introduce several natural ways to order triangle centers, including the isosceles order, vertex order, side order, and trace order. These partial orders compare centers by their relative positions in families of triangles, such as acute triangles with a fixed shortest side. Using barycentric coordinates and symbolic computation, we determine ordering relations among many of the first 100 triangle centers listed in Kimberling's Encyclopedia of Triangle Centers. The results reveal surprising structural patterns and suggest new ways to organize and study triangle centers. For example, in an acute triangle $ABC$, with shortest side $BC$, the Gergonne point is always closer to side $BC$ than the nine-point center.

Lattices which can be represented as lattices of intervals

2026-03-15T22:59:48Z

We investigate lattices that can be represented as sublattices of the lattice of all convex subsets of a linearly ordered set $(X, \leq)$ and as lattices of convex subsets of $(X, \leq)$. A representation theory for general lattices is presented and also some applications in general topology are given.

Irreducibility of the Cuboid Polynomial $P_{a,u}(t)$ via a Rank-Zero Elliptic Curve

2026-03-15T19:25:59Z

In this paper we study the even monic degree-8 cuboid polynomial $P_{a,u}(t)$ introduced by R.A. Sharipov in the first-cuboid specialization of his cuboid equations. For nonzero integers $a,u$ with $u^2\neq a^2$ we prove that $P_{a,u}(t)$ is irreducible in $\mathbb{Z}[t]$ (equivalently, in $\mathbb{Q}[t]$), thus confirming Sharipov's irreducibility conjecture in this two-parameter case. Over $K=\mathbb{Q}(\sqrt2)$ we have a factorization $P_{a,u}(t)=H_-(t)H_+(t)$ into two conjugate quartics. We show that any further factorization of $H_\pm$ would force the discriminant of a certain quadratic in $S=t^2$ to be a square in $K$, which in turn implies (via $τ=(au/Δ)^2$) the existence of a rational point $(y,v)\in\mathcal{C}(\mathbb{Q})$ on the genus-one quartic $\mathcal{C}:\ v^2=16y^4+136y^2+1$ with $y^2=τ$. We give an explicit isomorphism $\overline{\mathcal{C}}\simeq E$ with the elliptic curve $E:\ Y^2=X(X-8)(X-9)$, whose Mordell-Weil group has rank $0$ and conductor $48$. Enumerating $E(\mathbb{Q})$ and tracing back to $\mathcal{C}(\mathbb{Q})$ rules out the only possible values $τ\in\{0,\tfrac14\}$, and hence excludes any factorization in $K[t]$. A quadratic Galois descent then yields the irreducibility of $P_{a,u}(t)$ over $\mathbb{Q}$ and $\mathbb{Z}$.

Polylogarithmic Decomposition of a Borwein--Bailey--Girgensohn Series and its Connection to Ei(log 3)

2026-03-15T18:49:19Z

We study the Borwein-Bailey-Girgensohn sinusoidal series S = \sum_{n=1}^{\infty} (1/n) ((2+sin n)/3)^n, originally posed as an open problem by Borwein, Bailey, and Girgensohn (2004). Its convergence was recently established by Boppana (2020) using the irrationality measure of pi, yet the exact value remained elusive; partial sums to 10^7 terms suggest S \approx 2.163. We make three primary contributions. First, by introducing the generating function f(x) = (1/x)((2+sin x)/3)^x, we derive an exact polylogarithmic decomposition S = log 3 - (1/2)log 2 + \sum_{m=1}^{\infty} λ_m Li_{-m}(1/3) + E, where the coefficients λ_m satisfy |λ_m| \leq (log 2)^m/m! and E is a finite error term. Second, applying the Weyl equidistribution theorem with a quantitative Erdos-Turan bound, we decompose the series into S = M + R, where M is the Bessel averaging series and R is a controlled Diophantine remainder. Third, we evaluate the averaging term exactly as M = log 6. As a consequence, we show that the identification of the series value with the exponential integral Ei(log 3) is equivalent to the evaluation of the remainder as R = Ei(log 3) - log 6 \approx 0.3718, thereby reducing the open problem to a precise Diophantine target.

$n$th Roots of $n$th Powers

2026-03-15T14:12:49Z

Seeking simple, efficient solutions of a matrix equation leads (quite circuitously) to optimizing unimodular zerofree matrices.

The Flint Hills Series, Mixed Tate Motives, and a Criterion for the Irrationality Measure of $π$

2026-03-15T09:46:03Z

We undertake a rigorous structural analysis of the Flint Hills series S = sum_{n=1}^{infinity} 1 / (n^3 sin^2 n). Our primary contribution is an unconditional reduction theorem expressing S as S = (4/3) zeta(3) + (1/3) R*, where R* = sum_{n=1}^{infinity} sin(3n) / (n^3 sin^3 n), with the equivalence "S converges if and only if R* converges" holding unconditionally. Combined with the classical result of Alekseyev, this yields a sharp biconditional criterion: S converges if and only if the irrationality measure of pi satisfies mu(pi) <= 5/2. The proof of the direction mu(pi) <= 5/2 => R* converges is near-complete: the generic and resonant regimes are handled unconditionally, while the intermediate regime requires a quantitative discrepancy estimate whose complete derivation invokes the Duffin--Schaeffer theorem and is detailed in the paper. We then develop a distributional Fourier analysis of the kernel K(x) = sin(3x)/sin^3(x), proving that its distributional Fourier transform is K_hat(xi) = -8 pi delta(xi) - 12 pi sum_{k != 0} |k| delta(xi - 2k), and reinterpreting the Alekseyev criterion as a spectral non-resonance condition. Regarding the motivic structure, we prove that R* admits an exact partial-fraction decomposition R* = -4 zeta(3) + 3A - 3B - 3C - 3D where A,B,C,D are explicit Lerch-type sums. We compute explicit Q-rational expressions for all lower-weight terms, identify the fundamental obstruction to a motivic closed form, and prove that R* is in Q * zeta(3) + Q * L(3, chi) if and only if Cl_3(1) is in Q * zeta(3) + Q * L(3, chi), precisely locating the conjecture within the theory of transcendence of polylogarithm values.

A Constructive Proof of the Four-Color Theorem

2026-03-15T06:40:26Z

This paper presents a proof path for the Four-Color Theorem that differs from the traditional "reducible configuration" method. By introducing concepts such as the "outer boundary," "primitive set," "Property A, Property B," and the operation of "adding an n-point region on an interval," we construct a framework to progressively color any given planar graph. The core of this framework consists of three theorems, which ensure that after gradually adding specific regions on an outer boundary that satisfies Property A and Property B, the new outer boundary still satisfies these properties, ultimately allowing the entire given graph to be colored with four colors. This method avoids computer enumeration and offers a more constructive proof perspective.

Combinatorial metaplexes and centrality indices for identifying higher-order interactions

2026-03-14T17:12:02Z

Complex systems consist of interacting units whose interactions may be pairwise, involving two units, or higher-order, involving more than two units simultaneously. Graphs capture pairwise interactions and represent such systems as networks, whereas simplicial complexes can capture higher-order interactions (HoIs) and represent them as higher-order networks comprising simplices. In the clique complex construction, HoIs arise whenever vertices form a clique in the underlying graph. In classical graph-theoretic and simplicial-complex models, vertices are treated as structurally indistinguishable objects. However, in many real-world systems vertices possess internal structure, and their intrinsic properties influence the HoIs present in the system. To address this limitation, we introduce the combinatorial metaplex, consisting of two interacting components: an underlying simplicial complex that serves as an admissibility structure specifying boundary-compatible higher-order simplex candidates, and a concentration layer defined by a concentration map assigning a value to each vertex and extending the map to simplices so that the resulting distribution satisfies a conservation relation between vertex weights and facet weights. This concentration layer provides a deterministic threshold rule governing the inclusion of true HoIs. Using facet-mediated adjacency and weighted walks, we define one-parameter families of degree, closeness, and harmonic centralities for non-facet simplices, interpolating between those determined solely by the simplicial complex and those determined by concentration-induced coupling. The framework is illustrated through a representative example, including a comparison of HoIs obtained from the clique complex and the combinatorial metaplex, followed by an analysis of edge centralities within the combinatorial metaplex.