Showing 20 papers (Total: 83342 papers, 48132 authors in database)
Bounds on $k$-hash distances and rates of linear codes
Published
• View Publication
• BIB
In this paper, we bound the rate of linear codes in $\mathbb{F}_q^n$ with the property that any $k\leq q$ codewords are all simultaneously distinct in at least $d_k$ coordinates. For the case of particular interest $q=k=3$ we recover, with a simpler proof, state of the art results in the case $d_3=1$ and new bounds for $d_3>1$. We finally discuss some related open problems on the list-decoding zero-error capacity of discrete memoryless channels.
Coloring by Pushing Vertices
Published
• View Publication
• BIB
Let $G$ be a graph of order $n$, maximum degree at most $Δ$, and no component of order $2$. Inspired by the famous 1-2-3-conjecture, Bensmail, Marcille, and Orenga define a proper pushing scheme of $G$ as a function $ρ:V(G)\to\mathbb{N}_0$ for which $$σ:V(G)\to\mathbb{N}_0:u\mapsto \left(1+ρ(u)\right)d_G(u)+\sum_{v\in N_G(u)}ρ(v)$$ is a vertex coloring, that is, adjacent vertices receive different values under $σ$. They show the existence of a proper pushing scheme $ρ$ with $\max\{ ρ(u):u\in V(G)\}\leq Δ^2$ and conjecture that this upper bound can be improved to $Δ$. We show their conjecture for cubic graphs and regular bipartite graphs. Furthermore, we show the existence of a proper pushing scheme $ρ$ with $\sum_{u\in V(G)}ρ(u)\leq \left(2Δ^2+Δ\right)n/6$.
The Turan number of the balanced double star S_{n-1,n-1} in the hypercube Q_n
The n-dimensional hypercube Q_n is a graph with vertex set {0,1}^n such that there is an edge between two vertices if and only if they differ in exactly one coordinate. Let H be a graph, and a graph is called H-free if it does not contain H as a subgraph. Given a graph H, the Turan number of H in Q_n, denoted by ex(Q_n, H), is the maximum number of edges of a subgraph of Q_n that is H-free. A double star S_{k,l} is the graph obtained by taking an edge uv and joining u with k vertices, v with l vertices which are different from the k vertices. We say a double star is a balanced double star if k = l. Currently, the Turan number of the balanced star S_{n,n} is has been studied in the planar graphs. In the hypercubes, the researchers look for the maximum number of edges of the graphs that are C_k-free. However, the Turan number of the double star in the hypercube remains unexplored. Building upon prior research, we initiate the first study on the Turan number of the balanced double star in the hypercube. In this paper, we give the exact value of the Turan number of the balanced double star S_{n-1,n-1} in the hypercube Q_n, which is 2^{n-3}*(4n- 3) for all n >= 3.
The geometry of zonotopal algebras II: Orlik--Terao algebras and Schubert varieties
Published
• View Publication
• BIB
Zonotopal algebras, introduced by Postnikov--Shapiro--Shapiro, Ardila--Postnikov, and Holtz--Ron, show up in many different contexts, including approximation theory, representation theory, Donaldson--Thomas theory, and hypertoric geometry. In the first half of this paper, we construct a perfect pairing between the internal zonotopal algebra of a linear space and the reduced Orlik--Terao algebra of the Gale dual linear space. As an application, we prove a conjecture of Moseley--Proudfoot--Young that relates the reduced Orlik--Terao algebra of a graph to the cohomology of a certain configuration space. In the second half of the paper, we interpret the Macaulay inverse system of a zonotopal algebra as the space of sections of a sheaf on the Schubert variety of a linear space. As an application of this, we use an equivariant resolution of the structure sheaf of the Schubert variety inside of a product of projective lines to produce an exact sequence relating internal and external zonotopal algebras.
A Counterexample to a Conjecture of Lovász
Published
• View Publication
• BIB
In 1975 Lovász conjectured that every $r$-partite, $r$-uniform hypergraph contains $r-1$ vertices whose deletion reduces the matching number. If true, this statement would imply a well-known conjecture of Ryser from 1971, which states that every $r$-partite, $r$-uniform hypergraph has a vertex cover of size at most $r-1$ times its matching number. When $r=2$, Ryser's conjecture is simply Kőnig's theorem, and the conjecture of Lovász is an immediate corollary. Ryser's conjecture for $r=3$ was proven by Aharoni in 2001, and remains open for all $r\geq 4$.
Here we show that the conjecture of Lovász is false in the case $r=3$. Our counterexample is the line hypergraph of the Biggs-Smith graph, a highly symmetric cubic graph on 102 vertices.
On increasing sequences formed by points from a random finite subset of a hypercube
Published
• View Publication
• BIB
Consider $S$, a set of $n$ points chosen uniformly at random and independently from the unit hypercube of dimension $t>2$. Order $S$ by using the Cartesian product of the $t$ standard orders of $[0,1]$. We determine a constant $\bar x(t)<e$ such that, with probability $\ge 1-\exp(-Θ(\eps)n^{1/t})$, cardinality of a largest subset of comparable points is at most $(\bar x(t)+\eps)n^{1/t}$. The bound $\bar x(t)$ complements an explicit lower bound obtained by Bollobás and Winkler in 1982. Furthermore, we use Dilworth's theorem on partitions of a set into chains to prove that the cardinality of a largest antichain, i. e. a largest subset of incomparable points, is at least $(1-\eps) (n/e)^{1-1/t}$ with probability exponentially close to $1$.
Universality for transversal Hamilton cycles in random graphs
A tuple $(G_1,\dots,G_n)$ of graphs on the same vertex set of size $n$ is said to be Hamilton-universal if for every map $χ: [n]\to[n]$ there exists a Hamilton cycle whose $i$-th edge comes from $G_{χ(i)}$. Bowtell, Morris, Pehova and Staden proved an analog of Dirac's theorem in this setting, namely that if $δ(G_i)\geq (1/2+o(1))n$ then $(G_1,\dots,G_n)$ is Hamilton-universal. Combining McDiarmid's coupling and a colorful version of the Friedman-Pippenger tree embedding technique, we establish a similar result in the setting of sparse random graphs, showing that there exists $C$ such that if the $G_i$ are independent random graphs sampled from $G(n,p)$, where $p\geq C\log n/n$, then $(G_1,\dots,G_n)$ is Hamilton-universal with high probability.
Generalized chip firing and critical groups of arithmetical structures on trees
Chip firing provides a way to study the sandpile group (also known as the Jacobian) of a graph. We use a generalized version of chip firing to bound the number of invariant factors of the critical group of an arithmetical structure on a graph. We also show that, under suitable hypotheses, critical groups are additive under wedge sums of graphs with arithmetical structures. These results allow us to relate the number of invariant factors of critical groups associated to any given tree to decompositions of the tree into simpler trees. We use this to classify those trees for which every arithmetical structure has cyclic critical group. Finally, we show how to construct arithmetical structures on trees with prescribed critical groups. In particular, every finite abelian group is realized as the critical group of some arithmetical structure on a tree.
Characterisation of Markov property on planar maps
We revisit, in a self contained way, the Markov property on planar maps and decorated planar maps from three perspectives. First, we characterize the laws on these planar maps that satisfy both the Markov property and rerooting invariance, showing that they are Boltzmann-type maps. Second, we provide a comprehensive characterization of random submaps, that we call stopping maps, satisfying the Markov property, demonstrating that they are not restricted to those obtained through a peeling procedure. Third, we introduce decorated metric planar maps in which edges are replaced by copies of random length intervals $[0,w_e]$, and the decorations are given by continuous functions on the edges. We define a probability measure on them that is the analogue of the Boltzmann map and show that it satisfies the Markov property even for sets that halt exploration mid-edge.
Perfect tilings of 3-graphs with the generalised triangle
We establish a best-possible minimum codegree condition for the existence of a perfect tiling of a $3$-uniform hypergraph $H$ with copies of the generalised triangle $T$, which is the 3-uniform hypergraph with five vertices $a, b, c, d, e$ and three edges $abc$, $abd$, $cde$. We also give an asymptotically-optimal minimum codegree condition for the rainbow version of the problem.
$R$-weighted graphs and commutators
In this article, we introduce balance equations over commutative rings $R$ and associate $R$-weighted graphs to them so that solving balance equations corresponds to a consistent labeling of vertices of the associated graph. Our primary focus is the case when $R$ is a commutative local ring whose residue field contains at least three elements. In this case, we provide explicit solutions of balance equations. As an application, letting $R$ to be the ring of $p$-adic integers, we examine some necessary and sufficient conditions for a $p$-group of nilpotency class $2$ to have its set of commutators coincide with its commutator subgroup. We also apply our results to study the surjectivity of the Lie bracket in Lie algebras, without any restriction on their dimension and the underlined field.
On the Asymptotic Density of $k$-tuples of Positive Integers Satisfying Arbitrary GCD Conditions
We consider the problem of counting $k$-tuples of positive integers satisfying any arbitrary set of gcd conditions, where every integer is not larger than $x$. We first establish the conditions to guarantee the existence of such tuples, and then obtain asymptotic formulae for the count of such tuples with the help of a multivariable Dirichlet series. Part of this work can be viewed as a generalization of Tóth's work, where the conditions are pairwise.
Characterizing avoidance in cycles via vincular patterns
Published
• View Publication
• BIB
We show that cyclic permutations avoiding $321$ are precisely those permutations whose image under the fundamental bijection avoid a set of vincular patterns. We do this by using pattern functions and arrow patterns, in combination with the characterization of $321$ avoidance in terms of equality of the upper bound of the Daiconis-Graham inequalities. We then explore some consequences of this result, including upper and lower bound results on the growth rate of $321$ avoiding cycles.
Enumerative Chromatic Choosability
Chromatic-choosablility is a notion of fundamental importance in list coloring. A graph is chromatic-choosable when its chromatic number is equal to its list chromatic number. In 1990, Kostochka and Sidorenko introduced the list color function of a graph $G$, denoted $P_{\ell}(G,m)$, which is the list analogue of the chromatic polynomial of $G$, $P(G,m)$. It is known that for any graph $G$ there is a positive integer $k$ such that $P_{\ell}(G,m) = P(G,m)$ whenever $m \geq k$. In this paper, we study enumerative chromatic-choosability. A graph $G$ is enumeratively chromatic-choosable when $P_{\ell}(G,m) = P(G,m)$ whenever $m \in \mathbb{N}$. We completely determine the graphs of chromatic number two that are enumeratively chromatic-choosable. We construct examples of graphs that are chromatic-choosable but fail to be enumeratively-chromatic choosable, and finally, we explore a conjecture as to whether for every graph $G$, there is a $p \in \mathbb{N}$ such that the join of $G$ and $K_p$ is enumeratively chromatic-choosable. The techniques we use to prove results are diverse and include probabilistic ideas and ideas from DP (or correspondence)-coloring.
Geometric bounds for spanning tree entropy of planar lattice graphs
We prove infinitely many cases of conjectured sharp upper and lower bounds for the spanning tree entropy of any planar lattice graph. These bounds come from volumes of associated hyperbolic alternating links, right-angled hyperbolic polyhedra and hyperbolic regular ideal bipyramids. For many planar lattice graphs, we show these bounds are easy to compute and provide excellent numerical estimates for the spanning tree entropy.
Encoding and Enumerating Acyclic Orientations of Graphs
Published in Utilitas Mathematica, 125 (2025), 21-41
• View Publication
• BIB
In this work we study the acyclic orientations of graphs. We obtain an encoding of the acyclic orientations of the complete $p$-partite graph with size of its parts $n_1,n_2,\ldots,n_p$ via a vector with $p$ symbols and length $n=n_1+n_2+\ldots+n_p$ when the parts are fixed but not the vertices in each part. We also give a recursive way to construct all acyclic orientations of a complete multipartite graph, this construction can be done by computer easily in order $\mathcal{O}(n)$. Furthermore, we obtain a closed formula for non-isomorphic acyclic orientations of both the complete multipartite graphs and the complete multipartite graphs with a directed spanning tree. Moreover, we obtain a closed formula for the number of acyclic orientations of a complete multipartite graph $K_{n_1,\ldots,n_p}$ with labelled vertices. Finally, we obtain a way encode all acyclic orientations of an arbitrary graph as a permutation code. Using the codification mentioned above we obtain sharp upper and lower bounds of the number of acyclic orientations of a graph.
Van Lint-MacWilliams' conjecture and maximum cliques in Cayley graphs over finite fields, II
Published in J. Combin. Theory Ser. A 221 (2026), Paper No. 106162, 11pp
• View Publication
• BIB
The well-known Van Lint--MacWilliams' conjecture states that if $q$ is an odd prime power, and $A\subseteq \mathbb{F}_{q^2}$ such that $0,1 \in A$, $|A|=q$, and $a-b$ is a square for each $a,b \in A$, then $A$ must be the subfield $\mathbb{F}_q$. This conjecture was first proved by Blokhuis and is often phrased in terms of the maximum cliques in Paley graphs of square order. Previously, Asgarli and the author extended Blokhuis' theorem to a larger family of Cayley graphs. In this paper, we give a new simple proof of Blokhuis' theorem and its extensions. More generally, we show that if $S \subseteq \mathbb{F}_{q^2}^*$ has small multiplicative doubling, and $A\subseteq \mathbb{F}_{q^2}$ with $0,1 \in A$, $|A|=q$, such that $A-A \subseteq S \cup \{0\}$, then $A=\mathbb{F}_q$. This new result refines and extends several previous works; moreover, our new approach avoids using heavy machinery from number theory.
Flip-graphs of non-orientable filling surfaces
Consider a surface $Σ$ with punctures that serve as marked points and at least one marked point on each boundary component. We build a filling surface $Σ_n$ by singling out one of the boundary components and denoting by $n$ the number of marked points it contains. We consider the triangulations of $Σ_n$ whose vertices are the marked points and the associated flip-graph $\mathcal{F}(Σ_n)$. Quotienting $\mathcal{F}(Σ_n)$ by the homeomorphisms of $Σ$ that fix the privileged boundary component results in a finite graph $\mathcal{MF}(Σ_n)$. Bounds on the diameter of $\mathcal{MF}(Σ_n)$ are available when $Σ$ is orientable and we provide corresponding bounds when $Σ$ is non-orientable. We show that the diameter of this graph grows at least like $5n/2$ and at most like $4n$ as $n$ goes to infinity. If $Σ$ is an unpunctured Möbius strip, $\mathcal{MF}(Σ_n)$ coincides with $\mathcal{F}(Σ_n)$ and we prove that the diameter of this graph grows exactly like $5n/2$ as $n$ goes to infinity.
On the boundary polynomial of a graph
Published in Discrete Math 350(1) (2027), #115380
• View Publication
• BIB
In this work, we introduce the boundary polynomial of a graph $G$ as the ordinary generating function in two variables $B(G;x,y):= \displaystyle\sum_{S\subseteq V(G)} x^{|B(S)|}y^{|S|}$, where $B(S)$ denotes the outer boundary of $S$. We investigate this graph polynomial obtaining some algebraic properties of the polynomial. We found that some parameters of $G$ are algebraically encoded in $B(G;x,y)$, \emph{e.g.}, domination number, Roman domination number, vertex connectivity, and differential of the graph $G$. Furthermore, we compute the boundary polynomial for some classic families of graphs. We also establish some relationships between $B(G;x,y)$ and $B(G^\prime;x,y)$ for the graphs $G^\prime$ obtained by removing, adding, and subdividing an edge from $G$. In addition, we prove that a graph $G$ has an isolated vertex if and only if its boundary polynomial has a factor ($y+1$). Finally, we show that the classes of complete, complete without one edge, empty, path, cycle, wheel, star, double-star graphs, and many others are characterized by the boundary polynomial.
The detour covering number and cummerbund covering number of a graph
We introduce several new concepts about graphs and investigate their basic properties. A longest path in a graph is called a detour and a longest cycle is called a cummerbund. The detour covering number of a graph is the number of vertices that lie in a detour. A graph is said to be detour covered if every vertex lies in a detour. The cummerbund covering number and cummerbund covered graphs are defined similarly. Some of the main results are as follows. (1) Minimum degree and forbidden subgraph conditions that ensure a graph to be cummerbund covered or detour covered. (2) The minimum cummerbund covering number and minimum detour covering number of a graph with connectivity or girth conditions. (3) The minimum cummerbund covering number of a $2$-connected bipartite graph and the extremal graphs.