-
Three-edge-coloring (Tait coloring) cubic graphs on the torus: A proof of Grünbaum's conjecture
Authors:
Yuta Inoue,
Ken-ichi Kawarabayashi,
Atsuyuki Miyashita,
Bojan Mohar,
Tomohiro Sonobe
Abstract:
We prove that every cyclically 4-edge-connected cubic graph that can be embedded in the torus, with the exceptional graph class called "Petersen-like", is 3-edge-colorable. This means every (non-trivial) toroidal snark can be obtained from several copies of the Petersen graph using the dot product operation. The first two snarks in this family are the Petersen graph and one of Blanuša snarks; the…
▽ More
We prove that every cyclically 4-edge-connected cubic graph that can be embedded in the torus, with the exceptional graph class called "Petersen-like", is 3-edge-colorable. This means every (non-trivial) toroidal snark can be obtained from several copies of the Petersen graph using the dot product operation. The first two snarks in this family are the Petersen graph and one of Blanuša snarks; the rest are exposed by Vodopivec in 2008. This proves a strengthening of the well-known, long-standing conjecture of Grünbaum from 1968.
This implies that a 2-connected cubic (multi)graph that can be embedded in the torus is not 3-edge-colorable if and only if it can be obtained from a dot product of copies of the Petersen graph by replacing its vertices with 2-edge-connected planar cubic (multi)graphs. Here, replacing a vertex $v$ in a cubic graph $G$ is the operation that takes a 2-connected planar cubic multigraph $H$ and one of its vertices $u$ of degree 3, unifying $G-v$ and $H-u$ and connecting the neighbors of $v$ in $G-v$ with the neighbors of $u$ in $H-u$ with a matching.
This result is a highly nontrivial generalization of the Four Color Theorem, and its proof requires a combination of extensive computer verification and computer-free extension of existing proofs on colorability.
An important consequence of this result is a very strong version of the Tutte 4-Flow Conjecture for toroidal graphs. We show that a 2-edge connected graph embedded in the torus admits a nowhere-zero 4-flow unless it is Petersen-like (in which case it does not admit nowhere-zero 4-flows). Observe that this is a vast strengthening over the Tutte 4-Flow Conjecture on the torus, which assumes that the graph does not contain the Petersen graph as a minor because almost all toroidal graphs contain the Petersen graph minor, but almost none are Petersen-like.
△ Less
Submitted 11 May, 2025;
originally announced May 2025.
-
Mathematical Definition and Systematization of Puzzle Rules
Authors:
Itsuki Maeda,
Yasuhiro Inoue
Abstract:
While logic puzzles have engaged individuals through problem-solving and critical thinking, the creation of new puzzle rules has largely relied on ad-hoc processes. Pencil puzzles, such as Slitherlink and Sudoku, represent a prominent subset of these games, celebrated for their intellectual challenges rooted in combinatorial logic and spatial reasoning. Despite extensive research into solving tech…
▽ More
While logic puzzles have engaged individuals through problem-solving and critical thinking, the creation of new puzzle rules has largely relied on ad-hoc processes. Pencil puzzles, such as Slitherlink and Sudoku, represent a prominent subset of these games, celebrated for their intellectual challenges rooted in combinatorial logic and spatial reasoning. Despite extensive research into solving techniques and automated problem generation, a unified framework for systematic and scalable rule design has been lacking. Here, we introduce a mathematical framework for defining and systematizing pencil puzzle rules. This framework formalizes grid elements, their positional relationships, and iterative composition operations, allowing for the incremental construction of structures that form the basis of puzzle rules. Furthermore, we establish a formal method to describe constraints and domains for each structure, ensuring solvability and coherence. Applying this framework, we successfully formalized the rules of well-known Nikoli puzzles, including Slitherlink and Sudoku, demonstrating the formal representation of a significant portion (approximately one-fourth) of existing puzzles. These results validate the potential of the framework to systematize and innovate puzzle rule design, establishing a pathway to automated rule generation. By providing a mathematical foundation for puzzle rule creation, this framework opens avenues for computers, potentially enhanced by AI, to design novel puzzle rules tailored to player preferences, expanding the scope of puzzle diversity. Beyond its direct application to pencil puzzles, this work illustrates how mathematical frameworks can bridge recreational mathematics and algorithmic design, offering tools for broader exploration in logic-based systems, with potential applications in educational game design, personalized learning, and computational creativity.
△ Less
Submitted 8 January, 2025; v1 submitted 17 December, 2024;
originally announced January 2025.
-
Time-dependent queue length distribution in queues fed by $K$ customers in a finite interval
Authors:
Kaito Hayashi,
Yoshiaki Inoue,
Tetsuya Takine
Abstract:
We consider queueing models, where customers arrive according to a continuous-time binomial process on a finite interval. In this arrival process, a total of $K$ customers arrive in the finite time interval $[0,T]$, where arrival times of those $K$ customers are independent and identically distributed according to an absolutely continuous distribution defined by its probability density function…
▽ More
We consider queueing models, where customers arrive according to a continuous-time binomial process on a finite interval. In this arrival process, a total of $K$ customers arrive in the finite time interval $[0,T]$, where arrival times of those $K$ customers are independent and identically distributed according to an absolutely continuous distribution defined by its probability density function $f(t)$ on $(0,T]$. To analyze the time-dependent queue length distribution of this model, we introduce the auxiliary model with non-homogeneous Poisson arrivals and show that the time-dependent queue length distribution in the original model is given in terms of the time-dependent joint distribution of the numbers of arrivals and departures in the auxiliary model. Next, we consider a numerical procedure for computing the time-dependent queue length distribution in Markovian models with piecewise constant $f(t)$. A particular feature of our computational procedure is that the truncation error bound can be set as the input. Some numerical examples are also provided.
△ Less
Submitted 9 December, 2024;
originally announced December 2024.
-
Three-edge-coloring projective planar cubic graphs: A generalization of the Four Color Theorem
Authors:
Yuta Inoue,
Ken-ichi Kawarabayashi,
Atsuyuki Miyashita,
Bojan Mohar,
Tomohiro Sonobe
Abstract:
We prove that every cyclically 4-edge-connected cubic graph that can be embedded in the projective plane, with the single exception of the Petersen graph, is 3-edge-colorable. In other words, the only (non-trivial) snark that can be embedded in the projective plane is the Petersen graph.
This implies that a 2-connected cubic (multi)graph that can be embedded in the projective plane is not 3-edge…
▽ More
We prove that every cyclically 4-edge-connected cubic graph that can be embedded in the projective plane, with the single exception of the Petersen graph, is 3-edge-colorable. In other words, the only (non-trivial) snark that can be embedded in the projective plane is the Petersen graph.
This implies that a 2-connected cubic (multi)graph that can be embedded in the projective plane is not 3-edge-colorable if and only if it can be obtained from the Petersen graph by replacing each vertex by a 2-edge-connected planar cubic (multi)graph.
This result is a nontrivial generalization of the Four Color Theorem, and its proof requires a combination of extensive computer verification and computer-free extension of existing proofs on colorability.
An unexpected consequence of this result is a coloring-flow duality statement for the projective plane: A cubic graph embedded in the projective plane is 3-edge-colorable if and only if its dual multigraph is 5-vertex-colorable. Moreover, we show that a 2-edge connected graph embedded in the projective plane admits a nowhere-zero 4-flow unless it is Peteren-like (in which case it does not admit nowhere-zero 4-flows). This proves a strengthening of the Tutte 4-flow conjecture for graphs on the projective plane.
Some of our proofs require extensive computer verification. The necessary source codes, together with the input and output files and the complete set of more than 6000 reducible configurations are available on Github (https://github.com/edge-coloring) which can be considered as an Addendum to this paper. Moreover, we provide pseudocodes for all our computer verifications.
△ Less
Submitted 26 May, 2024;
originally announced May 2024.
-
Characterizing the Age of Information with Multiple Coexisting Data Streams
Authors:
Yoshiaki Inoue,
Michel Mandjes
Abstract:
In this paper we analyze the distribution of the Age of Information (AoI) of a tagged data stream sharing a processor with a set of other data streams. We do so in the highly general setting in which the interarrival times pertaining to the tagged stream can have any distribution, and also the service times of both the tagged stream and the background stream are generally distributed. The packet a…
▽ More
In this paper we analyze the distribution of the Age of Information (AoI) of a tagged data stream sharing a processor with a set of other data streams. We do so in the highly general setting in which the interarrival times pertaining to the tagged stream can have any distribution, and also the service times of both the tagged stream and the background stream are generally distributed. The packet arrival times of the background process are assumed to constitute a Poisson process, which is justified by the fact that it typically is a superposition of many relatively homogeneous streams. The first main contribution is that we derive an expression for the Laplace-Stieltjes transform of the AoI in the resulting GI+M/GI+GI/1 model. Second, we use stochastic ordering techniques to identify tight stochastic bounds on the AoI, leading to an explicit lower and upper bound on the mean AoI. In addition, when approximating the tagged stream's inter-generation times through a phase-type distribution (which can be done at any precision), we present a computational algorithm for the mean AoI. As illustrated through a sequence of numerical experiments, the analysis enables us to assess the impact of background traffic on the AoI of the tagged stream. It turns out that the upper bound on the mean AoI is remarkably close to its true value, which yields an explicit expression (in terms of the model parameters) for an accurate proxy of the AoI-minimizing generation rate.
△ Less
Submitted 19 February, 2025; v1 submitted 23 April, 2024;
originally announced April 2024.
-
Classical length-5 pattern-avoiding permutations
Authors:
Nathan Clisby,
Andrew R. Conway,
Anthony J. Guttmann,
Yuma Inoue
Abstract:
We have made a systematic numerical study of the 16 Wilf classes of length-5 classical pattern-avoiding permutations from their generating function coefficients. We have extended the number of known coefficients in fourteen of the sixteen classes. Careful analysis, including sequence extension, has allowed us to estimate the growth constant of all classes, and in some cases to estimate the sub-dom…
▽ More
We have made a systematic numerical study of the 16 Wilf classes of length-5 classical pattern-avoiding permutations from their generating function coefficients. We have extended the number of known coefficients in fourteen of the sixteen classes. Careful analysis, including sequence extension, has allowed us to estimate the growth constant of all classes, and in some cases to estimate the sub-dominant power-law term associated with the exponential growth.
In six of the sixteen classes we find the familiar power-law behaviour, so that the coefficients behave like $s_n \sim C \cdot μ^n \cdot n^g,$ while in the remaining ten cases we find a stretched exponential as the most likely sub-dominant term, so that the coefficients behave like $s_n \sim C \cdot μ^n \cdot μ_1^{n^σ} \cdot n^g,$ where $0 < σ< 1.$ We have also classified the 120 possible permutations into the 16 distinct classes.
We give compelling numerical evidence, and in one case a proof, that all 16 Wilf-class generating function coefficients can be represented as moments of a non-negative measure on $[0,\infty).$ Such sequences are known as {\em Stieltjes moment sequences}. They have a number of nice properties, such as log-convexity, which can be used to provide quite strong rigorous lower bounds.
Stronger bounds still can be established under plausible monotonicity assumptions about the terms in the continued-fraction expansion of the generating functions implied by the Stieltjes property. In this way we provide strong (non-rigorous) lower bounds to the growth constants, which are sometimes within a few percent of the exact value.
△ Less
Submitted 28 September, 2021;
originally announced September 2021.
-
Temperedness criterion of the tensor product of parabolic induction for $GL_n$
Authors:
Yves Benoist,
Yui Inoue,
Toshiyuki Kobayashi
Abstract:
We give a necessary and sufficient condition for a pair of parabolic subgroups $P$ and $Q$ of $G=GL_n(\mathbb{R})$ such that the tensor product of any two unitarily induced representations from $P$ and $Q$ are tempered. We also give an $L^p$-estimate of matrix coefficients of the regular representations on $L^2(G/L)$ when $L$ is a Levi subgroup of $G$.
We give a necessary and sufficient condition for a pair of parabolic subgroups $P$ and $Q$ of $G=GL_n(\mathbb{R})$ such that the tensor product of any two unitarily induced representations from $P$ and $Q$ are tempered. We also give an $L^p$-estimate of matrix coefficients of the regular representations on $L^2(G/L)$ when $L$ is a Levi subgroup of $G$.
△ Less
Submitted 10 November, 2022; v1 submitted 27 August, 2021;
originally announced August 2021.
-
Estimating customer impatience in a service system with unobserved balking
Authors:
Yoshiaki Inoue,
Liron Ravner,
Michel Mandjes
Abstract:
This paper studies a service system in which arriving customers are provided with information about the delay they will experience. Based on this information they decide to wait for service or to leave the system. Specifically, every customer has a patience threshold and they balk if the observed delay is above the threshold. The main objective is to estimate the parameters of the customers' patie…
▽ More
This paper studies a service system in which arriving customers are provided with information about the delay they will experience. Based on this information they decide to wait for service or to leave the system. Specifically, every customer has a patience threshold and they balk if the observed delay is above the threshold. The main objective is to estimate the parameters of the customers' patience-level distribution and the corresponding potential arrival rate, using knowledge of the actual queue-length process only. The main complication, and distinguishing feature of our setup, lies in the fact that customers who decide not to join are not observed, remarkably, we manage to devise a procedure to estimate the underlying patience and arrival rate parameters. The model is a multi-server queue with a Poisson stream of customers, enabling evaluation of the corresponding likelihood function of the state-dependent effective arrival process. We establish strong consistency of the MLE and derive the asymptotic distribution of the estimation error. Several applications and extensions of the method are discussed. The performance is further assessed through a series of numerical experiments. By fitting parameters of hyperexponential and generalized-hyperexponential distributions our method provides a robust estimation framework for any continuous patience-level distribution.
△ Less
Submitted 30 August, 2022; v1 submitted 7 May, 2020;
originally announced May 2020.
-
The Penrose transform on conformally Bochner-Kähler manifolds
Authors:
Yoshinari Inoue
Abstract:
We give a generalization of the Penrose transform on Hermitian manifolds with metrics locally conformally equivalent to Bochner-Kähler metrics. We also give an explicit formula for the inverse transform. This paper is a generalization of "The Twistor correspondence of the Dolbeault complex over $\C^n$" (dg-ga/9501004) and intended to supersede it.
We give a generalization of the Penrose transform on Hermitian manifolds with metrics locally conformally equivalent to Bochner-Kähler metrics. We also give an explicit formula for the inverse transform. This paper is a generalization of "The Twistor correspondence of the Dolbeault complex over $\C^n$" (dg-ga/9501004) and intended to supersede it.
△ Less
Submitted 20 October, 1996;
originally announced October 1996.
-
Twistor spaces of non-flat Bochner-Kähler manifolds
Authors:
Yoshinari Inoue
Abstract:
For the twistor spaces of the Bochner-Kähler manifold $M = H^l \times P^n$, systems of holomorphic coordinates are constructed. As an application of them, an explicit description of the moduli space of relative deformations of fibers of $M$'s twistor space is given.
For the twistor spaces of the Bochner-Kähler manifold $M = H^l \times P^n$, systems of holomorphic coordinates are constructed. As an application of them, an explicit description of the moduli space of relative deformations of fibers of $M$'s twistor space is given.
△ Less
Submitted 2 July, 1996;
originally announced July 1996.
-
The inverse Penrose transform on Riemannian twistor spaces
Authors:
Yoshinari Inoue
Abstract:
With respect to the Dirac operator and the conformally invariant Laplacian, an explicit description of the inverse Penrose transform on Riemannian twistor spaces is given. A Dolbeault representative of cohomology on the twistor space is constructed from a solution of the field equation on the base manifold.
With respect to the Dirac operator and the conformally invariant Laplacian, an explicit description of the inverse Penrose transform on Riemannian twistor spaces is given. A Dolbeault representative of cohomology on the twistor space is constructed from a solution of the field equation on the base manifold.
△ Less
Submitted 2 July, 1996; v1 submitted 5 February, 1995;
originally announced February 1995.
-
The Twistor correspondence of the Dolbeault complex over $\C^n$
Authors:
Yoshinari Inoue
Abstract:
With respect to the Dolbeault complex over the flat manifold $\C^n$, an explicit description of the inverse correspondence of the twistor correspondence is given.
With respect to the Dolbeault complex over the flat manifold $\C^n$, an explicit description of the inverse correspondence of the twistor correspondence is given.
△ Less
Submitted 20 January, 1995;
originally announced January 1995.
