Showing 20 papers (Total: 83342 papers, 48132 authors in database)
Structured and Punctured Nullstellensätze
Published in Electronic Journal of Combinatorics 33 (3), 2026, P3.36
• View Publication
• BIB
A Nullstellensatz is a theorem providing information on polynomials that vanish on a certain set: David Hilbert's Nullstellensatz (1893) is a cornerstone of algebraic geometry, and Noga Alon's Combinatorial Nullstellensatz (1999) is a powerful tool in the "Polynomial Method", a technique used in combinatorics. Alon's Theorem excludes that a polynomial vanishing on a grid contains a monomial with certain properties. This theorem has been generalized in several directions, two of which we will consider in detail: Terence Tao and Van H. Vu (2006), Uwe Schauz (2008) and Michał Lasoń (2010) exclude more monomials, and recently, Bogdan Nica (2023) improved the result for grids with additional symmetries in their side edges. Simeon Ball and Oriol Serra (2009) incorporated the multiplicity of zeros and gave Nullstellensätze for punctured grids, which are sets of the form $X \setminus Y$ with both $X,Y$ grids.
We generalize some of these results; in particular, we provide a common generalization to the results of Schauz and Nica. To this end, we establish that during multivariate polynomial division, certain monomials are unaffected. This also allows us to generalize Pete L. Clark's proof of the nonzero counting theorem by Alon and Füredi to punctured grids.
Posets for Specht ideals of essential real reflection groups
Specht ideals are symmetric ideals in the polynomial ring generated by Specht polynomials associated with group representations. These ideals were previously studied for reflection groups of types $A$ and $B$, where their inclusion relations and their varieties reflect rich combinatorial structures. In this paper, we extend this theory to type $D$ and the dihedral groups. Our results complete the combinatorial study of Specht ideals across all infinite families of essential real reflection groups.
The large $N$ factorization does not hold for arbitrary multi-trace observables in random tensors
Published
• View Publication
• BIB
We consider real tensors of order $D$, that is $D$-dimensional arrays of real numbers $T_{a^1a^2 \dots a^D}$, where each index $a^c$ can take $N$ values. The tensor entries $T_{a^1a^2 \dots a^D}$ have no symmetry properties under permutations of the indices. The invariant polynomials built out of the tensor entries are called trace invariants.
We prove that for a Gaussian random tensor with $D\ge 3$ indices (that is such that the entries $T_{a^1a^2 \dots a^D}$ are independent identically distributed Gaussian random variables) the cumulant, or connected expectation, of a product of trace invariants is not always suppressed in scaling in $N$ with respect to the product of the expectations of the individual invariants. Said otherwise, not all the multi-trace expectations factor at large $N$ in terms of the single-trace ones and the Gaussian scaling is not subadditive on the connected components. This is in stark contrast to the $D=2$ case of random matrices in which the multi-trace expectations always factor at large $N$. The best one can do for $D\ge 3$ is to identify restricted families of invariants for which the large $N$ factorization holds and we check that this indeed happens when restricting to the family of melonic observables, the dominant family in the large $N$ limit.
Inverse eigenvalue problem for discrete Schrödinger operators of a graph
Published
• View Publication
• BIB
A discrete Schrödinger operator of a graph $G$ is a real symmetric matrix whose $i,j$-entry, $i \neq j$, is negative if $\{i,j\}$ is an edge and zero if it is not an edge, while diagonal entries can be any real numbers. The discrete Schrödinger operators have been used to study vibration theory and the Colin de Verdière parameter. The inverse eigenvalue problem for discrete Schrödinger operators of a graph aims to characterize the possible spectra among discrete Schrödinger operators of a graph. Compared to the inverse eigenvalue problem of a graph, the answers turn out to be more limited, and several restrictions based on graph structure are given. Using the strong properties, analogous versions of the supergraph lemma, the liberation lemma, and the bifurcation lemma are established. Using these results, the inverse eigenvalue problem for discrete Schrödinger operators is resolved for each graph with at most $5$ vertices.
Is it easy to regularize a hypergraph with easy links?
Published
• View Publication
• BIB
A partition of a (hyper)graph is $\varepsilon$-homogenous if the edge densities between almost all clusters are either at most $\varepsilon$ or at least $1-\varepsilon$. Suppose a $3$-graph has the property that the link of every vertex has an $\varepsilon$-homogenous partition of size $\text{poly}(1/\varepsilon)$. Does this guarantee that the $3$-graph also has a small homogenous partition? Terry and Wolf proved that such a $3$-graph has an $\varepsilon$-homogenous partition of size given by a wowzer-type function. Terry recently improved this to a double exponential bound, and conjectured that this bound is tight. Our first result in this paper disproves this conjecture by giving an improved (single) exponential bound, which is best possible. We further obtain an analogous result for $k$-graphs of all uniformities $k \geq 3$.
The above problem is part of a much broader programme which seeks to understand the conditions under which a (hyper)graph has small $\varepsilon$-regular partitions. While this problem is fairly well understood for graphs, the situation is (as always) much more involved already for $3$-graphs. For example, it is natural to ask if one can strengthen our first result by only requiring each link to have $\varepsilon$-regular partitions of size $\text{poly}(1/\varepsilon)$. Our second result shows that surprisingly the answer is `no', namely, a $3$-graph might only have regular partitions of tower-type size, even though the link of every vertex has an $\varepsilon$-regular partition of polynomial size.
Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints
Published
• View Publication
• BIB
We introduce and benchmark a stochastic local search heuristic for the NP-complete satisfiability problem 3-SAT that drastically outperforms existing solvers in the notoriously difficult realm of critically hard instances. Our construction is based on the crucial observation that well established previous approaches such as WalkSAT are prone to get stuck in local minima that are distinguished from true solutions by a larger number of oversatisfied combinatorial constraints. To address this issue, the proposed algorithm, coined DOCSAT, dissipates oversatisfied constraints (DOC), i.e. reduces their unfavorable abundance so as to render them critical. We analyze and benchmark our algorithm on a randomly generated sample of hard but satisfiable 3-SAT instances with varying problem sizes up to N=15000. Quite remarkably, we find that DOCSAT outperforms both WalkSAT and other well known algorithms including the complete solver Kissat, even when comparing its ability to solve the hardest quintile of the sample to the average performance of its competitors. The essence of DOCSAT may be seen as a way of harnessing statistical structure beyond the primary cost function of a combinatorial problem to avoid or escape local minima traps in stochastic local search, which opens avenues for generalization to other optimization problems.
Prüfer codes on vertex-colored rooted trees
Prüfer codes provide an encoding scheme for representing a vertex-labeled tree on $n$ vertices with a string of length $n-2$. Indeed, two labeled trees are isomorphic if and only if their Prüfer codes are identical, and this supplies a proof of Cayley's Theorem. Motivated by a graph decomposition of freight networks into a corpus of vertex-colored rooted trees, we extend the notion of Prüfer codes to that setting, i.e., trees without a unique labeling, by defining a canonical label for a vertex-colored rooted tree and incorporating vertex colors into our variation of the Prüfer code. Given a pair of trees, we prove properties of the vertex-colored Prüfer code (abbreviated VCPC) equivalent to (1) isomorphism between a pair of vertex-colored rooted trees, (2) the subtree relationship between vertex-colored rooted trees, and (3) when one vertex-colored rooted tree is isomorphic to a minor of another vertex-colored rooted tree.
Odd-indexed Fibonacci numbers via pattern-avoiding permutations
In this paper, we consider several combinatorial problems whose enumeration leads to the odd-indexed Fibonacci numbers, including certain types of Dyck paths, block fountains, directed column-convex polyominoes, and set partitions with no crossings and no nestings. Our goal is to provide bijective maps to pattern-avoiding permutations and derive generating functions that track certain positional statistics at the permutation level.
A generalization of Deterministic Finite Automata related to discharging
Deterministic Finite Automata (DFAs) are of central importance in automata theory. In view of how state diagrams for DFAs are defined using directed graphs, this leads us to introduce a generalization of DFAs related to a method widely used in graph theory referred to as the discharging method. Given a DFA $(Q, Σ, δ, q_{0}, F)$, the transition function $δ\colon Q \times Σ\to Q$ determines a directed path in the corresponding state diagram based on an input string $a_{1} a_{2} \cdots a_{n}$ consisting of characters in $Σ$, and our generalization can be thought of as being based on how each vertex in $D$ ''discharges'' rational values to adjacent vertices (by analogy with the discharging method) depending on the string $a_{1} a_{2} \cdots a_{n}$ and according to a fixed set of rules. We formalize this notion and pursue an exploration of the notion of a Discharging Deterministic Finite Automaton (DDFA) introduced in this paper. Our DDFA construction gives rise to a ring structure consisting of sequences that we refer to as being quasi-$k$-regular, and this ring generalizes the ring of $k$-regular sequences introduced by Allouche and Shallit.
What is and is not inside a Cayley graph?
In this note we show that there is a cubic graph of girth $5$ that is not a subgraph of any minimal Cayley graph. On the other hand, we show that any Generalized Petersen Graph $G(n,k)$ with $\gcd(n,k)=1$ is an induced subgraph of a minimal Cayley graph. These results give insights into two comments of László Babai in [L. Babai, \emph{Automorphism groups, isomorphism, reconstruction}. Graham, R. L. (ed.) et al., Handbook of combinatorics. Vol. 1-2, 1994].
The Redundancy of Full Nodes in Bitcoin: A Network-Theoretic Demonstration of Miner-Centric Propagation Topologies
This paper formally examines the network structure of Bitcoin CORE (BTC) and Bitcoin Satoshi Vision (BSV) using complex graph theory to demonstrate that home-hosted full nodes are incapable of participating in or influencing the propagation topology. Leveraging established models such as scale-free networks and small-world connectivity, we demonstrate that the propagation graph is dominated by a densely interconnected miner clique, while full nodes reside on the periphery, excluded from all transaction-to-block inclusion paths. Using simulation-backed metrics and eigenvalue centrality analysis, we confirm that full nodes are neither critical nor operationally relevant for consensus propagation.
The VC-dimension of random subsets of finite groups
Published
• View Publication
• BIB
For a random subset of a finite group $G$ of cardinality $N$, we consider the VC-dimension of the family of its translates (equivalently the VC-dimension of a random Cayley graph) and prove a law of large numbers as $N\rightarrow\infty$. This answers a question of McDonald--Sahay--Wyman.
Neighbor Connectivity of Undirected Toroidal Meshes
Published
• View Publication
• BIB
In this paper, we examine the neighbor connectivity, denoted as $κ_{NB}$, of the undirected toroidal mesh $C(d_1,d_2,\ldots,d_n)$. We demonstrate that $κ_{NB}(C(d_1,d_2,\ldots,d_n)) = n$ for all $n \ge 2$ and $d_i \ge 3$ (for $1 \le i \le n$). Additionally, we perform a computer simulation experiment on neighbor connectivity in undirected toroidal meshes. This experiment not only supports our theoretical findings with empirical results but also provides a deeper understanding of neighbor structure failures in undirected toroidal meshes.
Every graph is uniform-span $(2,2)$-choosable: Beyond the 1-2 conjecture
For a simple graph $G=(V,E)$, a \emph{proper total weighting} is a mapping $w: V\cup E\rightarrow \mathbb R$ such that for every edge $uv\in E$, $w(u)+\sum_{e\ni u}w(e)\neq w(v)+\sum_{e\ni v}w(e)$. The graph $G$ is said $(2,2)$-\emph{choosable} if, for any list assignment $L$ that assigns to each $z$ in $V\cup E$ a set $L(z)$ of two real numbers, there exists a {proper total weighting} $w$ with $w(z)\in L(z)$ for every $z\in V\cup E$. Wong and Zhu, and independently Przybyło and Woźniak conjectured that every simple graph is $(2,2)$-choosable. This conjecture remains open.
For a set $\{a,b\}\subset \mathbb R$, its span is defined as $|b-a|$. We call a graph $G=(V,E)$ \emph{uniform-span} $(2,2)$-\emph{choosable} if, for any list assignment $L$ that assigns to every $z\in V\cup E$ a two-element list of a common span, there exists a {proper total weighting} respect to the assignment. In this paper, we present a novel lemma and perform comprehensive enhancements to our previous algorithm. These contributions enable us to prove that every graph is uniform-span $(2,2)$-choosable. This confirms the 1-2 conjecture in full generality, and provides supporting evidence for the $(2,2)$-choosable conjecture.
The set of minimal distances of the monoid of plus-minus weighted zero-sum sequences and applications to the characterization problem
Published
• View Publication
• BIB
Recently a systematic investigation of monoids of sequences of plus-minus weighted zero-sum sequences had been started, which is among others motivated by applications to monoids of norms of algebraic integers. In the current paper these investigations are continued. The focus is on the set of minimal distances of these monoids, which is an important arithmetical invariant. Applications to the characterization problem are discussed as well.
Schreier Sets of Multiples of an Integer, Linear Recurrence, and Pascal Triangle
A finite nonempty set $F$ is said to be Schreier (maximal Schreier, respectively) if $\min F\ge |F|$ ($\min F = |F|$, respectively). For $k,n\in\mathbb{N}$, let $$s_{k,n}\ :=\ |\{F\subset\{k, 2k,\ldots, nk\}\,:\, F\mbox{ is Schreier and }nk\in F\}|.$$ We show that $(s_{k,n})_{n=1}^\infty$ is a subsequence with terms taken periodically from the Padovan-like sequence $(a_{k,n})_{n=0}^\infty$ defined as: $a_{k,0} = a_{k,1} = 1, a_{k, 2} = \cdots = a_{k, k} = 2$, and $$a_{k, n}\ =\ a_{k,n-k} + a_{k,n-k-1},\mbox{ for } n\ge k+1.$$ As an application, we obtain an alternative proof of the linear recurrence of $(s_{k,n})_{n=1}^\infty$ discovered by Beanland et al. Furthermore, a similar result holds for the sequence $(s^{(m)}_{k,n})_{n=1}^\infty$ that counts maximal Schreier sets. Finally, we prove that $$s^{(m)}_{k,n}\ =\ 2s_{k,n}-s_{k,n+1}, \mbox{ for all }n\ge 1.$$
The magic of tensor products of ultrafilters
Tensor products of ultrafilters have special combinatorial features closely related to Ramsey's Theorem, making them useful tools in applications. Here we first review their fundamental properties and isolate some new ones, including a characterisation of the limit superior and inferior of sequences as limits along tensor products, and an application to the Banach asymptotic density. We then prove a general result on the combinatorial structure of sets belonging to tensor products and, as a result, we obtain several characterisations of the additive properties of sets of natural numbers. Finally, we show that tensor products can be described as idempotents of an appropriate semigroup.
The Shortest-Path distance on graphons
Published in Journal of Complex Networks, Volume 13, Issue 6, December 2025, cnaf045
• View Publication
• BIB
We define an analogue of the shortest-path distance for graphons. The proposed method is rooted on the extension to graphons of Varadhan's formula, a result that links the solution of the heat equation on a Riemannian manifold to its geodesic distance. The resulting metric is integer-valued, and for step graphons obtained from finite graphs it is essentially equivalent to the usual shortest-path distance. We further draw a link between the Varadhan distance and the communicability distance, that contains information from all paths, not just shortest-paths, and thus provides a finer distance on graphons along with a natural isometric embedding into a Hilbert space.
Distinguishing finite and infinite trees of arbitrary cardinality
Published
• View Publication
• BIB
Let $G$ be a finite or infinite graph and $m(G)$ the minimum number of vertices moved by the non-identity automorphisms of $G$. We are interested in bounds on the supremum $Δ(G)$ of the degrees of the vertices of $G$ that assure the existence of vertex colorings of $G$ with two colors that are preserved only by the identity automorphism, and, in particular, in the number $a(G)$ of such colorings that are mutually inequivalent.
For trees $T$ with finite $m(T)$ we obtain the bound $Δ(T)\leq2^{m(T)/2}$ for the existence of such a coloring, and show that $a(T)= 2^{|T|}$ if $T$ is infinite. Similarly, we prove that $a(G) = 2^{|G|}$ for all tree-like graphs $G$ with $Δ(G)\le 2^{\aleph_0}$.
For rayless or one-ended trees $T$ with arbitrarily large infinite $m(T)$, we prove directly that $a(T)= 2^{|T|}$ if $Δ(T)\le 2^{m(T)}$.
Proof of a conjecture on eigenvalues of transposition graph
The transposition graph $Cay(S_n,T_n)$ is the Cayley graph on the symmetric group $S_n$ generated by the set $T_n$ of all transpositions. In this paper, we show that each integer in the interval $\left[-{\lfloor(2n+1)/3 \rfloor\choose 2}, {\lfloor(2n+1)/3 \rfloor\choose 2}\right]$ is an eigenvalue of $Cay(S_n,T_n)$. This proves a recent conjecture by Kravchuk \cite{Kravchuk}.