Discrete Mathematics

New submissions

• New submissions
• Replacements

New submissions for Fri, 27 Jan 23

[1]  arXiv:2301.11039 [pdf, other]

Title: WL meet VC

Authors: Christopher Morris, Floris Geerts, Jan Tönshoff, Martin Grohe

Comments: arXiv admin note: text overlap with arXiv:2206.11168

Subjects: Machine Learning (cs.LG); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS); Neural and Evolutionary Computing (cs.NE); Machine Learning (stat.ML)

Recently, many works studied the expressive power of graph neural networks (GNNs) by linking it to the $1$-dimensional Weisfeiler--Leman algorithm ($1\text{-}\mathsf{WL}$). Here, the $1\text{-}\mathsf{WL}$ is a well-studied heuristic for the graph isomorphism problem, which iteratively colors or partitions a graph's vertex set. While this connection has led to significant advances in understanding and enhancing GNNs' expressive power, it does not provide insights into their generalization performance, i.e., their ability to make meaningful predictions beyond the training set. In this paper, we study GNNs' generalization ability through the lens of Vapnik--Chervonenkis (VC) dimension theory in two settings, focusing on graph-level predictions. First, when no upper bound on the graphs' order is known, we show that the bitlength of GNNs' weights tightly bounds their VC dimension. Further, we derive an upper bound for GNNs' VC dimension using the number of colors produced by the $1\text{-}\mathsf{WL}$. Secondly, when an upper bound on the graphs' order is known, we show a tight connection between the number of graphs distinguishable by the $1\text{-}\mathsf{WL}$ and GNNs' VC dimension. Our empirical study confirms the validity of our theoretical findings.

[2]  arXiv:2301.11056 [pdf, other]

Title: A New Lower Bound in the $abc$ Conjecture

Authors: Curtis Bright

Subjects: Number Theory (math.NT); Discrete Mathematics (cs.DM)

We prove that there exist infinitely many coprime numbers $a$, $b$, $c$ with $a+b=c$ and $c>\operatorname{rad}(abc)\exp(6.563\sqrt{\log c}/\log\log c)$. These are the most extremal examples currently known in the $abc$ conjecture, thereby providing a new lower bound on the tightest possible form of the conjecture. This builds on work of van Frankenhuysen (1999) whom proved the existence of examples satisfying the above bound with the constant $6.068$ in place of $6.563$. We show that the constant $6.563$ may be replaced by $4\sqrt{2\delta/e}$ where $\delta$ is a constant such that all full-rank unimodular lattices of sufficiently large dimension $n$ contain a nonzero vector with $\ell_1$ norm at most $n/\delta$.

[3]  arXiv:2301.11133 [pdf, ps, other]

Title: Effective Projections on Group Shifts to Decide Properties of Group Cellular Automata

Authors: Pierre Béaur, Jarkko Kari

Comments: Extended version of the MFCS 2020 paper titled "Decidability in group shifts and group cellular automata"

Subjects: Formal Languages and Automata Theory (cs.FL); Discrete Mathematics (cs.DM)

Many decision problems concerning cellular automata are known to be decidable in the case of algebraic cellular automata, that is, when the state set has an algebraic structure and the automaton acts as a morphism. The most studied cases include finite fields, finite commutative rings and finite commutative groups. In this paper, we provide methods to generalize these results to the broader case of group cellular automata, that is, the case where the state set is a finite (possibly non-commutative) finite group. The configuration space is not even necessarily the full shift but a subshift -- called a group shift -- that is a subgroup of the full shift on Z^d, for any number d of dimensions. We show, in particular, that injectivity, surjectivity, equicontinuity, sensitivity and nilpotency are decidable for group cellular automata, and non-transitivity is semi-decidable. Injectivity always implies surjectivity, and jointly periodic points are dense in the limit set. The Moore direction of the Garden-of-Eden theorem holds for all group cellular automata, while the Myhill direction fails in some cases. The proofs are based on effective projection operations on group shifts that are, in particular, applied on the set of valid space-time diagrams of group cellular automata. This allows one to effectively construct the traces and the limit sets of group cellular automata. A preliminary version of this work was presented at the conference Mathematical Foundations of Computer Science 2020.

Replacements for Fri, 27 Jan 23

[4]  arXiv:2110.11821 (replaced) [pdf, other]

Title: Node-based Generalized Friendship Paradox fails

Authors: Anna Evtushenko, Jon Kleinberg

Comments: 8 pages, 5 figures, 1 table

Subjects: Social and Information Networks (cs.SI); Discrete Mathematics (cs.DM); Combinatorics (math.CO)

[5]  arXiv:2209.05334 (replaced) [pdf, ps, other]

Title: Polynomial time multiplication and normal forms in free bands

Authors: R. Cirpons, J. D. Mitchell

Comments: 32 pages, 13 figures (amended to improve intro, and fix some minor typos)

Subjects: Formal Languages and Automata Theory (cs.FL); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS); Group Theory (math.GR); Rings and Algebras (math.RA)

[6]  arXiv:2209.11537 (replaced) [pdf, ps, other]

Title: Planar graph with twin-width seven

Authors: Daniel Kral, Ander Lamaison

Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)

• New submissions
• Replacements