Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Optimal local convergence criteria for integer and Gaussian integer continued fractions
The objective of this work is to determine optimal local restrictions on the coefficients of integer and Gaussian integer continued fractions that imply convergence. We identify all minimal restrictions involving words of length two in the integer case, and we identify all reversible minimal restrictions of length two in the Gaussian integer case. In the integer setting, our classification is equivalent to a classification of minimal unavoidable words of length two in Conway--Coxeter quiddity sequences. We also construct a canonical set of restrictions of infinite cardinality that is strictly stronger than every finite set of restrictions.
Gamma-positivity for octopuses: a bijective proof
Chapoton introduced an interesting family of polytopes called arbor polytopes, where a polytope $\mathcal{Q}_τ$ is associated to any arbor $τ$. Chapoton conjectured that the polynomial $h(τ)$ which counts lattice points in $\mathcal{Q}_τ$ by number of nonzero entries is palindromic and unimodal. Athanasiadis, Xiao, and Yan recently proved that $h(τ)$ is gamma-positive for a certain class of arbors they call octopuses. Since their proof was computational, they asked for one that is bijective. We present such a proof. We also extend their results by showing that $h(τ)$ is gamma-positive for a larger class of arbors we call lopsided octopuses.
Covering the ternary cube by binary subcubes
For an integer $n\ge0$, let $f(n)$ be the minimum number of subcubes of $\mathbb{Z}_3^n$ of the form $A_1\times\cdots\times A_n$, where $|A_i|=2$ for every $i$, whose union covers $\mathbb{Z}_3^n$. A simple counting argument gives $f(n)\ge(3/2)^n$, while $f(n)=O(n(3/2)^n)$ by random construction. We prove that $f(n)\le2(3/2)^n-1$, answering a problem of Imre Leader. We also show that $f(n)/(3/2)^n$ is nondecreasing and there exists a constant $C_3$ such that $f(n)=(C_3+o(1))(3/2)^n$ where $1.62227<C_3\le2$.
On a conjecture of Corradi and Katai
We consider Goldbach type sums corresponding to the Liouville function and prove the existence of sufficient cancellations. We also consider applications to sign patterns in the Liouville function.
A Finite Automaton Approach to Combinatorial Games
This study applies finite automata to the automatic solving of a variety of combinatorial games.
For games whose positions and moves can be represented as regular languages and their operations,
we design a two-stage automatic solving algorithm: first, construct a candidate finite automaton to determine the $\mathcal{P}$- and $\mathcal{N}$-positions, and then perform rigorous formal verification on this automaton; once verified, a complete solution of the game is obtained.
For partizan octal games, we introduce a generalized misère quotient, overcoming the limitation that traditional theory applies only to impartial games.
Using the above algorithm, we successfully solve the majority of two-digit partizan octal games, and based on these results, we propose a partizan version of Guy's conjecture.
We also successfully solve a considerable number of partizan octal games under misère play, and give a conjecture on the structure of those games exhibiting ``algebraic periodicity'' among them.
For Kotzig's nim, we resolve the most important related conjecture: we prove that the outcomes and SG values are periodic under both normal and misère play (including their partizan versions).
Our algorithm successfully solves several small-scale cases, including misère play and partizan versions.
This study pioneers a new theoretical tool and algorithmic paradigm for the automatic solving of combinatorial games, and has broad prospects for further extension and application in the field of combinatorial game theory.
A new characterization of right keys, and the $m$-symmetric Schur functions at $t=0$
The ring $R_m$ of $m$-symmetric functions consists of the formal power series that are symmetric in the variables $x_{m+1},x_{m+2},\dots$ but carry no symmetry in the first $m$ variables. We develop a combinatorial theory for the specialization at $t=0$ of the Schur functions of $R_m$. Our main tool is a new characterization of right key tableaux as suprema of the sets of decreasing subwords of the reading words of the subtableaux of $T$. Being invariant under elementary Knuth transformations, this characterization is compatible with the RSK correspondence. We obtain in this way a generating function over semistandard tableaux for the $m$-symmetric Schur functions at $t=0$, together with a combinatorial proof of a Cauchy identity in $R_m$. The $m$-symmetric Schur functions and their dual are then respectively identified with Demazure atoms and Demazure characters. Restricted to the last $m$ variables, our correspondence specializes to a proof, by ordinary RSK, of Lascoux's nonsymmetric Cauchy identity for Demazure characters and atoms. As further applications, we relate the $m$-symmetric Schur functions at $t=0$ to the almost symmetric Schur functions through a unitriangular change-of-basis matrix, obtain tableau generating functions and Cauchy identities for both families, and derive Jacobi-Trudi type determinantal formulas for three different bases.
A Dense Weisfeiler-Leman Algorithm for Deciding Bounded-Cliquewidth Homomorphism Indistinguishability
Two graphs $G$ and $H$ are homomorphism indistinguishable over a graph class $\mathcal{F}$ if they admit the same number of homomorphisms from every graph in $\mathcal{F}$. A wide range of relaxations of graph isomorphism arise this way: isomorphism itself over the class of all graphs [Lovász, Acta Math. Hung. 1967], equivalence under the $k$-dimensional Weisfeiler-Leman algorithm over the graphs of treewidth $\leq k$ [Dvořák, J. Graph Theory 2010], and quantum isomorphism over planar graphs [Mančinska-Roberson, FOCS 2020]. Since the class $\mathcal{F}$ is typically infinite, it is not clear a priori whether homomorphism indistinguishability over $\mathcal{F}$ is decidable; for planar graphs it is undecidable. Every class for which decidability was previously known is sparse.
We give the first decidability results for dense graph classes: We introduce the dense Weisfeiler-Leman algorithm that decides homomorphism indistinguishability over the class of graphs of cliquewidth $\leq k$, the dense counterpart of treewidth. This relation was not previously known to be decidable. The algorithm colors $k$-tuples of vertex subsets rather than $k$-tuples of vertices.
Beyond the class of all graphs of cliquewidth $\leq k$, we prove a general meta-theorem: homomorphism indistinguishability over every $\mathsf{CMSO}_1$-definable graph class of bounded cliquewidth is decidable, in randomized exponential time. For classes of bounded linear cliquewidth the bound improves to $\mathsf{PSPACE}$, and we show this is tight by exhibiting such a class for which the problem is $\mathsf{PSPACE}$-complete. These are the first general algorithms for homomorphism indistinguishability over dense graph classes.
A bijection between peakless Motzkin paths and LR tableaux
We prove the conjecture of Donnelly et al. that a certain class of Littlewood-Richardson tableaux are equinumerous with peakless Motzkin paths of length $n$. Furthermore, we construct an explicit bijection between this class of tableaux and peakless Motzkin paths of length $n$ for all $n\ge 1$.
The transversal achievement game on a square grid
In the transversal achievement game on the $n\times n$ board, two players alternately claim cells, and the first to own a transversal---a set of $n$ cells of which no two share a row or column---wins. Ranđelović showed that the first player wins for every $n\ge4$, while the game is a draw for $n=2,3$. We give an independent proof that the first player wins for $n\ge4$ that additionally establishes a bound on the length of the win: the given strategy forces a win by ply $2n+3$, i.e.\ on the first player's $(n+2)$-nd move, for every $n\ge4$. The proof yields a strategy that is fully determined by a fixed rule on the current position and can thus be implemented directly. We isolate the use of the hypothesis $n\ge4$ to two steps in the analysis, explaining why the argument fails at $n=3$. An exhaustive computational search implementing the strategy verifies it against every legal defense for $n=4,5,6$, confirming both the strategy's validity and that the $2n+3$ bound is attained in these cases. The main theorem has also been formalized and machine-checked in Lean 4.
Every fork-free graph is perfectly weight divisible
A graph $G$ is \emph{perfectly weight divisible} if, for every positive integral weight function on $V(G)$ and every induced subgraph $H$ of $G$ with at least one edge, the vertex set $V(H)$ can be partitioned into two sets $A$ and $B$ such that $H[A]$ is perfect and the maximum weight of a clique in $H[B]$ is smaller than the maximum weight of a clique in $H$. Perfect divisibility and its weighted form provide a natural approach to polynomial $χ$-boundedness. A \emph{fork}, also known as a \emph{chair}, is the graph obtained from a claw by subdividing one of its edges once. In this paper, we prove that every fork-free graph is perfectly weight divisible. As a consequence, we confirm a conjecture of Sivaraman that every fork-free graph is perfectly divisible.
Skew Hives, Skew Skeps, Skew Schur Log-Concavity
Knutson and Tao's hives is a combinatorial model to compute Littlewood--Richardson coefficients. Similar to hives, Speyer introduced skeps and used them to prove a Schur log-concavity conjecture by Lam--Postnikov--Pylyavskyy. We first introduce skew hive and skew skep models, which specialize to both hives and skeps, and use this to prove a skew Schur log-concavity result generalizing Lam--Postnikov--Pylyavskyy conjecture. As a consequence, we obtain some log-concavity results concerning Newell--Littlewood numbers and shadow skew Schur functions. Finally, we explain bijections between (skew) hives, (skew) skeps, and peelable tableaux by Nguyen--Nguyen--Woodruff, answering Speyer's question.
New optimal linear codes over $\ZZ_4$
Published in Bulletin of the Australian Mathematical Society, 2023, 107(1), pp. 158-169
• Search Publication
In this work, we present novel approaches for constructing linear codes over $\ZZ_4$ from the known ones. We succeeded in obtaining new linear codes, many of which are optimal. In particular, we found all optimal codes for $k_1=2,~k_2=0$ and many optimal codes for $k_1=3,~k_2=0.$
A Kronecker-Weyl Theorem from Interpolation Sets
An analog of the classical Kronecker-Weyl theorem for weak uniform distribution is obtained for an arbitrary countably infinite independent subset of a discrete abelian group using a type of interpolation sets called epsilon-Kronecker sets. Specifically, the topological size of the set of homomorphisms inducing weakly uniformly distributed sequences is established by showing that it forms a dense G-delta set.
On the Total Regularity of Almost Mixed Moore Graphs
The degree/diameter problem asks for the largest order of a graph with a given diameter and maximum vertex degree. This has been widely studied and given rise to a recent variation for mixed graphs (graphs with both undirected edges and directed arcs), where an additional bound is placed on the maximum directed out-degree of any vertex. Both problems have applications to network design. Counting the possible number of vertices at each distance from a given vertex gives a bound on the order of a mixed graph satisfying the degree and diameter constraints (the mixed Moore bound). In this paper, we settle an open problem posed by Tuite and Erskine concerning the total regularity of mixed graphs whose order is one less than the mixed Moore bound (almost mixed Moore graphs). We use this result to show that the three known almost mixed Moore graphs of diameter at least three are the only such mixed graphs.
Metropolis-Hastings Sampling of Phylogenetic Networks: Correcting for Symmetries
In phylogenetics, Metropolis-Hastings methods are commonly used to sample phylogenetic trees or networks, for example from Bayesian posteriors. These methods generally use transitions that distinguish all nodes involved, and thus require fully labelled representations of phylogenetic networks. We argue that sampling leaf-labelled phylogenetic networks demands a correction for the number of fully labelled representatives of a leaf-labelled network, or, equivalently, for its internal symmetry. Without correction, there is a danger of undersampling networks with internal symmetries. We show that this correction can be realized by a quotient construction on the Metropolis-Hastings Markov chain, which, in practice, requires the calculation of the size of the network's automorphism group. Using $μ$-vectors, we show that the automorphism group is trivial for orchard networks, and thus also for tree-child networks and trees. This implies that a correction for symmetry is not needed when sampling only from such network classes. More generally, using our Python implementation of the algorithms in this paper, we show that using $μ$-vectors can significantly speed up calculations of automorphism group sizes and thus of Metropolis-Hastings sampling of leaf-labelled networks.
Layer barriers for colour-biased tight Hamilton cycles
We construct a family of layer barriers for colour-biased tight Hamilton cycles in uniform hypergraphs. For every $k\ge 3$ and every $a\in\{0,\ldots,k-1\}$, we give a red--blue coloured $k$-graph that contains a tight Hamilton cycle, while every tight Hamilton cycle in the construction is perfectly colour-balanced. The construction underlying the higher-uniformity threshold conjectured by Behague, Clemen, Hyde and Morrison corresponds to the boundary case $a=0$ of this family. We show that interior choices of $a$ can yield strictly denser barriers. In particular, for $k=17$ and $a=8$, the asymptotic relative minimum vertex degree of our construction is \[
\frac{5761}{8192}\approx 0.703247, \] which exceeds the conjectured value $d_{17}\approx 0.699277$. This provides a counterexample to the proposed higher-uniformity threshold in Conjecture~6.1 of Behague, Clemen, Hyde and Morrison. Moreover, by choosing the layer appropriately as $k\to\infty$, the family contains barriers whose asymptotic relative minimum vertex degree is \[
1-O\bigl(k^{-1/2}\bigr). \] Thus the interior members of the layer-barrier family exhibit substantially different behaviour from the previously considered boundary construction in large uniformity.
A Graph Theoretical Approach to Optimizing Minimum Italian Domination Sets
Published in Lobachevskii Journal of Mathematics, 46(2), 953-963 (2025)
• View Publication
• BIB
A classical problem in graph theory known as the Italian domination number(also called Roman 2-domination number), involves assigning labels of 0, 1,or 2 to each node v. The goal is to ensure that every node with a label of 0 has a sum of labels of the nodes in its closed neighborhood that is 2 or greater. In computer systems, it is coined encompassing a robust cyber security strategy that will protect networks from potential threats, such as hacking, malware, and unauthorized access, by deploying security measures to provide the highest level of protection while reducing the misuse of resources. Toeplitz graphs are a special kind of graphs built over Toeplitz matrices from linear algebra, which are matrices with constant straight diagonal members. In this paper, we provide a detailed analysis regarding the Italian domination numbers for every Toeplitz graph family. We provide comprehensive results on Italian domination numbers across multiple graph families and identify the specific values at which the Italian domination number alters with increasing generator values.
Monodromy of plane curve singularities and quiver mutation
The main result of this article shows that the quiver mutation class of a malleable real Morsification uniquely determines the integral monodromy module of a plane curve singularity. In particular, we show that the quiver mutation class of a malleable divide determines the complex topological type of an irreducible plane curve singularity. This establishes the algebraic-to-topological implication of a conjecture of S.~Fomin, P.~Pylyavskyy, E.~Shustin and D.~Thurston in the malleable irreducible case. The result is proven by developing representation-theoretic techniques based on an equivariant Euler pairing in the derived category of continuous finite-dimensional dg modules over a differential bigraded Ginzburg algebra. A key step uses these techniques to show that the quiver mutation class of a plabic fence uniquely recovers the torsion part of the Alexander module of the associated smooth link.
Online balancing of vectors with small coordinates
Let $v_1,\ldots,v_T\in B_2^m$ be fixed in advance and revealed sequentially, and assume that $\|v_t\|_\infty\leqslant d^{-1/2}$ for some $d\geqslant 1$ and every $1\leqslant t\leqslant T$. There are absolute constants $L,C,c>0$ and a randomized online signing such that $$\mathbb{P}\left\{\max_{k\leqslant T}\left\|\sum_{t=1}^k\varepsilon_t v_t\right\|_\infty>6L\right\} \leqslant CT\exp\left(-\frac{cd}{\ln^2(ed)}\right).$$ Consequently, constant prefix discrepancy holds with probability at least $1-\varepsilon$ once $d$ is at least $C\ln\frac{3T}{\varepsilon}\left[\ln\left(e+\ln\frac{3T}{\varepsilon}\right)\right]^2$. In particular, every fixed sequence of vectors $a_t\in[-1,1]^m$ with at most $d$ nonzero coordinates admits an online signing with prefix discrepancy $O(\sqrt d)$ and failure probability at most $CT\exp[-cd/\ln^2(ed)]$. We also prove a nonuniform version in which the failure probability depends on the individual parameters $d_t=\|v_t\|_\infty^{-2}$, and a lower bound showing that a universal constant prefix discrepancy is impossible when $d=o(\ln T)$. We identify the corresponding $\ln^2 d$ barrier for the compact-potential method and extend the argument to general symmetric target bodies admitting a quadratic smoothness estimate.
On the minimum vertex cover of snarks
A vertex cover of a graph $G$ is a subset of vertices $C \subseteq V(G)$ such that every edge of $G$ is incident to at least one vertex in $C$. The vertex cover number of $G$ is the minimum cardinality of a vertex cover of $G$ and is denoted by $τ(G)$. A snark is a connected, bridgeless, cubic graph that has an edge chromatic number of four, meaning its edges cannot be properly colored with only three colors. In this work, we investigate the problem of determining the value of a minimum vertex cover for classes of snark graphs. Given a positive integer $k$, we firstly prove that determining whether an arbitrary snark has a vertex cover $C$ with size $|C| \leq k$ is an NP-complete problem. Secondly, we determine the vertex cover number $τ(G)$ for several subclasses of snark graphs, such as Flower snarks, Goldberg snarks, Generalized Blanuša snarks and Loupekine snarks.