Showing 20 papers (Total: 83342 papers, 48132 authors in database)
A practical algorithm for 2-admissibility
Published
• View Publication
• BIB
The $2$-admissibility of a graph is a promising measure to identify real-world networks which have an algorithmically favourable structure. In contrast to other related measures, like the weak/strong $2$-colouring numbers or the maximum density of graphs that appear as $1$-subdivisions, the $2$-admissibility can be computed in polynomial time. However, so far these results are theoretical only and no practical implementation to compute the $2$-admissibility exists.
Here we present an algorithm which decides whether the $2$-admissibility of an input graph $G$ is at most $p$ in time $O(p^4 |V(G)|)$ and space $O(|E(G)| + p^2)$. The simple structure of the algorithm makes it easy to implement. We evaluate our implementation on a corpus of 214 real-world networks and find that the algorithm runs efficiently even on networks with millions of edges, that it has a low memory footprint, and that indeed many networks have a small $2$-admissibility.
On edge-colouring-games by Erdős, and Bensmail and Mc Inerney
We study two games proposed by Erdős, and one game by Bensmail and Mc Inerney, all sharing a common setup: two players alternately colour edges of a complete graph, or in the biased version, they colour $p$ and $q$ edges respectively on their turns, aiming to maximise a graph parameter determined by their respective induced subgraphs. In the unbiased case, we give a first reduction towards confirming the conjecture of Bensmail and Mc Inerney, propose a conjecture for Erdős' game on maximum degree, and extend the clique and maximum-degree versions to edge-transitive and regular graphs. In the biased case, the maximum-degree and vertex-capturing games are resolved, and we prove the clique game with $(p,q)=(1,3)$.
Weighted Random Dot Product Graphs
Published
• View Publication
• BIB
Modeling of intricate relational patterns has become a cornerstone of contemporary statistical research and related data science fields. Networks, represented as graphs, offer a natural framework for this analysis. This paper extends the Random Dot Product Graph (RDPG) model to accommodate weighted graphs, markedly broadening the model's scope to scenarios where edges exhibit heterogeneous weight distributions. We propose a nonparametric weighted (W)RDPG model that assigns a sequence of latent positions to each node. Inner products of these nodal vectors specify the moments of their incident edge weights' distribution via moment-generating functions. In this way, and unlike prior art, the WRDPG can discriminate between weight distributions that share the same mean but differ in other higher-order moments. We derive statistical guarantees for an estimator of the nodal's latent positions adapted from the workhorse adjacency spectral embedding, establishing its consistency and asymptotic normality. We also contribute a generative framework that enables sampling of graphs that adhere to a (prescribed or data-fitted) WRDPG, facilitating, e.g., the analysis and testing of observed graph metrics using judicious reference distributions. The paper is organized to formalize the model's definition, the estimation (or nodal embedding) process and its guarantees, as well as the methodologies for generating weighted graphs, all complemented by illustrative and reproducible examples showcasing the WRDPG's effectiveness in various network analytic applications.
The Erdős-Rado Sunflower Problem for Vector Spaces
Published
• View Publication
• BIB
The famous Erdős-Rado sunflower conjecture suggests that an $s$-sun\-flower-free family of $k$-element sets has size at most $(Cs)^k$ for some absolute constant $C$. In this note, we investigate the analog problem for $k$-spaces over the field with $q$ elements. For $s \geq k+1$, we show that the largest $s$-sunflower-free family $\mathcal{F}$ satisfies
\[
1 \leq |\mathcal{F}| / q^{(s-1) \binom{k+1}{2} - k} \leq (q/(q-1))^k.
\] For $s \leq k$, we show that
\[
q^{-\binom{k+1}{2}} \leq |\mathcal{F}| / q^{(s-1) \binom{k+1}{2} - k} \leq (q/(q-1))^k.
\] Our lower bounds rely on an iterative construction that uses lifted maximum rank-distance (MRD) codes.
Maximizing Alternating Paths via Entropy
We prove that if $G$ is an $n$-vertex graph whose edges are coloured with red and blue, then the number of colour-alternating walks of length $2k+1$ with $k+1$ red edges and $k$ blue edges is at most $k^k(k+1)^{k+1}(2k+1)^{-2k-1}n^{2k+2}$. This solves a problem that was recently posed by Basit, Granet, Horsley, Kündgen and Staden. Our proof involves an application of the entropy method.
The Lie algebra $\mathfrak{sl}_4(\mathbb C)$ and the hypercubes
Published
• View Publication
• BIB
We describe a relationship between the Lie algebra $\mathfrak{sl}_4(\mathbb C)$ and the hypercube graphs. Consider the $\mathbb C$-algebra $P$ of polynomials in four commuting variables. We turn $P$ into an $\mathfrak{sl}_4(\mathbb C)$-module on which each element of $\mathfrak{sl}_4(\mathbb C)$ acts as a derivation. Then $P$ becomes a direct sum of irreducible $\mathfrak{sl}_4(\mathbb C)$-modules
$P = \sum_{N\in \mathbb N} P_N$, where $P_N$ is the $N$th homogeneous component of $P$. For $N\in \mathbb N$ we construct some additional $\mathfrak{sl}_4(\mathbb C)$-modules ${\rm Fix}(G)$ and $T$. For these modules the underlying vector space is described as follows. Let $X$ denote the vertex set of the hypercube $H(N,2)$, and let $V$ denote the $\mathbb C$-vector space with basis $X$. For the automorphism group $G$ of $H(N,2)$, the action of $G$ on $X$ turns $V$ into a $G$-module. The vector space $V^{\otimes 3} = V \otimes V \otimes V$ becomes a $G$-module such that $g(u \otimes v \otimes w)= g(u) \otimes g(v) \otimes g(w)$ for $g\in G$ and $u,v,w \in V$. The subspace ${\rm Fix}(G)$
of $V^{\otimes 3}$ consists of the vectors in $V^{\otimes 3}$ that are fixed by every element in $G$.
Pick $\varkappa \in X$. The corresponding subconstituent algebra $T$ of $H(N,2)$ is the subalgebra of ${\rm End}(V)$ generated by the adjacency map $\sf A$ of $H(N,2)$ and the dual adjacency map ${\sf A}^*$ of $H(N,2)$ with respect to $\varkappa$. In our main results, we turn ${\rm Fix}(G)$ and $T$ into $\mathfrak{sl}_4(\mathbb C)$-modules, and display $\mathfrak{sl}_4(\mathbb C)$-module isomorphisms $P_N \to {\rm Fix}(G) \to T$.
We describe the $\mathfrak{sl}_4(\mathbb C)$-modules $P_N$, ${\rm Fix}(G)$, $T$ from multiple points of view.
Some results on perfect codes in Cayley sum graphs
We establish a necessary and sufficient condition for a normal subgroup of a finite group to be a subgroup perfect code.
The edge-statistics conjecture for hypergraphs
Published
• View Publication
• BIB
Let $r,k,\ell$ be integers such that $0\le\ell\le\binom{k}{r}$. Given a large $r$-uniform hypergraph $G$, we consider the fraction of $k$-vertex subsets which span exactly $\ell$ edges. If $\ell$ is 0 or $\binom{k}{r}$, this fraction can be exactly 1 (by taking $G$ to be empty or complete), but for all other values of $\ell$, one might suspect that this fraction is always significantly smaller than 1.
In this paper we prove an essentially optimal result along these lines: if $\ell$ is not 0 or $\binom{k}{r}$, then this fraction is at most $(1/e) + \varepsilon$, assuming $k$ is sufficiently large in terms of $r$ and $\varepsilon>0$, and $G$ is sufficiently large in terms of $k$. Previously, this was only known for a very limited range of values of $r,k,\ell$ (due to Kwan-Sudakov-Tran, Fox-Sauermann, and Martinsson-Mousset-Noever-Trujić). Our result answers a question of Alon-Hefetz-Krivelevich-Tyomkyn, who suggested this as a hypergraph generalisation of their "edge-statistics conjecture". We also prove a much stronger bound when $\ell$ is far from 0 and $\binom{k}{r}$.
Combinatorial K3 surfaces and the Mori fan of the Dolgachev--Nikulin--Voisin family in degree 2
Published
• View Publication
• BIB
We introduce the notion of a combinatorial K3 surface. Those form a certain class of type III semistable K3 surfaces and are completely determined by combinatorial data called curve structures. Emphasis is put on degree $2$ combinatorial K3 surfaces, but the approach can be used to study higher degree as well. We describe elementary modifications both in terms of the curve structures as well as on the Picard groups. Together with a description of the nef cone in terms of curve structures, this provides an approach to explicitly computing the Mori fan of the Dolgachev--Nikulin--Voisin family in degree $2$.
Interval-closed set rowmotion and homomesy on products of two chains
We study rowmotion dynamics on interval-closed sets. Our first main result proves a simplification of the global definition of interval-closed set rowmotion from (Elder, Lafrenière, McNicholas, Striker, and Welch 2024). We then completely describe the orbits of interval-closed set rowmotion on products of two chains $[2]\times[n]$ and use this understanding to prove a homomesy conjecture from (ELMSW 2024) involving the signed cardinality statistic.
On the distribution of topological and spectral indices on random graphs
We perform a detailed statistical study of the distribution of topological and spectral indices on random graphs $G=(V,E)$ in a wide range of connectivity regimes. First, we consider degree-based topological indices (TIs), and focus on two classes of them: $X_Σ(G) = \sum_{uv \in E} f(d_u,d_v)$ and $X_Π(G) = \prod_{uv \in E} g(d_u,d_v)$, where $uv$ denotes the edge of $G$ connecting the vertices $u$ and $v$, $d_u$ is the degree of the vertex $u$, and $f(x,y)$ and $g(x,y)$ are functions of the vertex degrees. Specifically, we apply $X_Σ(G)$ and $X_Π(G)$ on Erdös-Rényi graphs and random geometric graphs along the full transition from almost isolated vertices to mostly connected graphs. While we verify that $P(X_Σ(G))$ converges to a standard normal distribution, we show that $P( X_Π(G))$ converges to a log-normal distribution. In addition we also analyze Revan-degree-based indices and spectral indices (those defined from the eigenvalues and eigenvectors of the graph adjacency matrix). Indeed, for Revan-degree indices, we obtain results equivalent to those for standard degree-based TIs. Instead, for spectral indices, we report two distinct patterns: the distribution of indices defined only from eigenvalues approaches a normal distribution, while the distribution of those indices involving both eigenvalues and eigenvectors approaches a log-normal distribution.
Net Occurrences in Fibonacci and Thue-Morse Words
A net occurrence of a repeated string in a text is an occurrence with unique left and right extensions, and the net frequency of the string is the number of its net occurrences in the text. Originally introduced for applications in Natural Language Processing, net frequency has recently gained attention for its algorithmic aspects. Guo et al. [CPM 2024] and Ohlebusch et al. [SPIRE 2024] focus on its computation in the offline setting, while Guo et al. [SPIRE 2024], Inenaga [arXiv 2024], and Mieno and Inenaga [CPM 2025] tackle the online counterpart. Mieno and Inenaga also characterize net occurrences in terms of the minimal unique substrings of the text. Additionally, Guo et al. [CPM 2024] initiate the study of net occurrences in Fibonacci words to establish a lower bound on the asymptotic running time of algorithms. Although there has been notable progress in algorithmic developments and some initial combinatorial insights, the combinatorial aspects of net occurrences have yet to be thoroughly examined. In this work, we make two key contributions. First, we confirm the conjecture that each Fibonacci word contains exactly three net occurrences. Second, we show that each Thue-Morse word contains exactly nine net occurrences. To achieve these results, we introduce the notion of overlapping net occurrence cover, which narrows down the candidate net occurrences in any text. Furthermore, we provide a precise characterization of occurrences of Fibonacci and Thue-Morse words of smaller order, offering structural insights that may have independent interest and potential applications in algorithm analysis and combinatorial properties of these words.
Minimal Simplicial Degree $d$ Maps from Genus $g$ Surfaces to the Torus
Published
• View Publication
• BIB
The degree of a map between orientable manifolds is a fundamental concept in topology, offering deep insights into the structure of the manifolds and the nature of the corresponding maps. This concept has been extensively studied, particularly in the context of simplicial maps between orientable triangulable spaces. In 1982, Gromov proved that if degree $d$ maps exist from a genus $g$ orientable surface to a genus $h$ orientable surface for every $d \in \mathbb{Z}$, then $h$ must be 0 or 1.
Recently, degree $d$ self-maps on spheres, particularly on genus 0 surfaces, have been investigated. In this paper, we focus on the unique minimal 7-vertex triangulation of the torus. We construct simplicial degree $d$ maps from a triangulation of a genus $g$ surface to the 7-vertex triangulation of the torus for $g \geq 1$. Our construction of degree $d$ maps is minimal for every $d$ when $g = 1,2$. If $g \geq 3$, then our construction remains minimal for $|d| \geq 2g - 1$.
We believe that this concept will be highly useful in combinatorial topology, as it leads to several intriguing open research problems. In the final section, we propose some of these open research problems.
Comaximal filter graphs in residuated lattices
Consider A to be a commutative, integral and non-degenerate residuated lattice. In this work, we introduce the graph of comaximal filters on the residuated lattice A. We willdenote by Cf(A) this graph for which the set of vertices are proper filters of A which are not contained in the radical of A, and the adjacency relation on vertices is given as: consider two filters F and G, there are adjacent if and only if F v G; the filter generated by F u G is equal to A. The elementary properties of this graph are provided, we establish a link between this comaximal filter graphs and the zero-divisor graphs. Furthermore, we investigate the chromatic number, the clique number, the planarity and the perfection of the graph Cf(A). We also briefly describe all the comaximal filter graphs constructed on specific residuated lattices of small size.
Decomposing conditional independence ideals with hidden variables
Published
• View Publication
• BIB
We study a family of determinantal ideals whose decompositions encode the structural zeros in conditional independence models with hidden variables. We provide explicit decompositions of these ideals and, for certain subclasses of models, we show that this is a decomposition into radical ideals by displaying Gröbner bases for the components. We identify conditions under which the components are prime, and establish formulas for the dimensions of these prime ideals.
Moreover, we show that the components in the decomposition can be grouped into equivalence classes defined by their combinatorial structure, and we derive a closed formula for the number of such classes.
Total trades, intersection matrices and Specht modules
Published
• View Publication
• BIB
Trades are important objects in combinatorial design theory that may be realized as certain elements of kernels of inclusion matrices. Total trades were introduced recently by Ghorbani, Kamali and Khosravshahi, who showed that over a field of characteristic zero the vector space of trades decomposes into a direct sum of spaces of total trades. In this paper, we show that the vector space spanned by the permutations of a total trade is an irreducible representation of the symmetric group. As a corollary, the previous decomposition theorem is recovered. Also, a basis is obtained for the module of total trades in the spirit of Specht polynomials. More generally, in the second part of the paper we consider intersection matrices and determine the irreducible decompositions of their images. This generalizes previously known results concerning ranks of special cases.
Magic squares on Abelian groups
Published
• View Publication
• BIB
Let $(Γ,+)$ be an Abelian group of order $n^2$ and MS$_Γ(n)$ be an $n\times n$ array whose entries are all elements of $Γ$. Then MS$_Γ(n)$ is a $Γ$-magic square if all row, column, main and backward main diagonal sums are equal to the same element $μ\inΓ$. We prove that for every Abelian group $Γ$ of order $n^2$, $n>2$, there exists a magic square MS$_Γ(n)$ where the square entries are elements of $Γ$.
The barrier Ramsey theorem
Published
• View Publication
• BIB
In this paper we study a very general finite Ramsey theorem, where both the sets being colored and the homogeneous set must satisfy some largeness notion. For the homogeneous set this has already been done using the notion of $α$-largeness, where $α$ is a countable ordinal equipped with a system of fundamental sequences. To extend this approach the more appropriate notion is barrier largeness. Since the complexity of barriers can be measured by countable ordinals, we define Ramsey ordinals and, using appropriate iterations of the Veblen functions, we are able to compute them.
Bounded diameter variations of Ryser's conjecture
In this paper we study bounded diameter variations of the following form of Ryser's conjecture. For every graph $G=(V,E)$ with independence number $α(G)=α$ and integer $r\geq 2$, in every $r$-edge coloring of $G$ there is a cover of $V(G)$ by the vertices of $(r-1)α$ monochromatic connected components. Milićević initiated the question whether the diameters of the covering components can be bounded.
For any graph $G$ with $α(G)=2$ we show that in every 2-coloring of the edges, $V(G)$ can be covered by the vertices of two monochromatic subgraphs of diameter at most 4. This improves a result of DeBiasio et al., which in turn improved a result of Milićević. It remains open whether diameter $4$ can be strengthened to diameter $3$, we could do this only for certain graphs, including odd antiholes.
We propose also a somewhat orthogonal aspect of the problem. Suppose that we fix the diameter $d$ of the monochromatic components, how many do we need to cover the vertex set? For $d=2,2\le r \le 3$, the exact answer is $rα$ and for $d=4,r=2$, we prove the upper bound $\lfloor 3α/2\rfloor$.
On the Spectral Expansion of Monotone Subsets of the Hypercube
We study the spectral gap of subgraphs of the hypercube induced by monotone subsets of vertices. For a monotone subset $A\subseteq\{0,1\}^{n}$ of density $μ(A)$, the previous best lower bound on the spectral gap, due to Cohen, was $γ\gtrsim μ(A)/n^{2}$, improving upon the earlier bound $γ\gtrsim μ(A)^{2}/n^{2}$ established by Ding and Mossel. In this paper, we prove the optimal lower bound $γ\gtrsim μ(A)/n$. As a corollary, we improve the mixing time upper bound of the random walk on constant-density monotone sets from $O(n^{3})$, as shown by Ding and Mossel, to $O(n^{2})$. Along the way, we develop two new inequalities that may be of independent interest: (1)~a directed $L^{2}$-Poincaré inequality on the hypercube, and (2)~an ``approximate'' FKG inequality for monotone sets.