Showing 20 papers (Total: 83190 papers, 48060 authors in database)
On the density of Kravitz sets
We show that for a subset $A$ of the cyclic group of prime order $p>3$, if the sumset $A+A-2A$ is not the whole group, then $|A|\le \frac27\,p$. Besides combinatorial arguments, we utilize a general technique involving linear programming.
Las Vegas algorithms to generate universal cycles and de Bruijn sequences uniformly at random
Published
• View Publication
• BIB
We present practical algorithms for generating universal cycles uniformly at random. In particular, we consider universal cycles for shorthand permutations, subsets and multiset permutations, weak orders, and orientable sequences. Additionally, we consider de Bruijn sequences, weight-range de Bruin sequences, and de Bruijn sequences, with forbidden $0^z$ substring. Each algorithm, seeded with a random element from the given set, applies a random walk of an underlying Eulerian de Bruijn graph to obtain a random arborescence (spanning in-tree). Given the random arborescence and the de Bruijn graph, a corresponding random universal cycle can be generated in constant time per symbol. We present experimental results on the average cover time needed to compute a random arborescence for each object using a Las Vegas algorithm.
Improved lower bound for hypercube edge slicing
How many hyperplanes in $\mathbb{R}^n$ are needed in order to slice every edge of the $n$-dimensional hypercube with vertex set $\{\pm 1\}^n$? Here, we say that a hyperplane $H\subseteq \mathbb{R}^n$ slices an edge of the hypercube if it contains exactly one interior point of the edge. The problem of determining the minimum possible size of a collection of hyperplanes in $\mathbb{R}^n$, such that every edge of the hypercube is sliced by at least one of these hyperplanes, is more than 50 years old and has been studied by many researchers. We prove that, for sufficiently large $n$, at least $Ω(n^{13/19}\log^{-32/19}n)$ hyperplanes are needed, improving upon the best previous lower bound $Ω(n^{2/3}\log^{-4/3}n)$ due to Klein.
Closed Neighborhood Balanced k-Coloring of Graphs
For a simple graph G = (V, E) and a positive integer k greater than or equal to 2, a coloring of vertices of G using exactly k colors such that every vertex has an equal number of vertices of each color in its closed neighborhood is called closed neighborhood-balanced k-coloring, and the graph which admits such a coloring is called closed neighborhood balanced k-colored graph. We derive some necessary/sufficient conditions for a graph to admit a closed neighborhood balanced k-coloring and discuss various graph operations involving such graphs. Furthermore, we prove that there is no forbidden subgraph characterization for the class of closed neighborhood-balanced k-colorable graphs.
Numerical semigroups from rational matrices IV: computation of the matricial dimensions of numerical semigroups with small Frobenius number or genus
Published
• View Publication
• BIB
We introduce a module-theoretic approach and a linear-programming method to compute the matricial dimension of numerical semigroups. We use these to compute the matricial dimension of every numerical semigroup with Frobenius number at most $10$ or genus at most $6$. Many of these evaluations were beyond the scope of previous techniques.
A quasi-polynomial bound for the minimal excluded minors for a surface
Published
• View Publication
• BIB
As part of their graph minor project, Robertson and Seymour showed in 1990 that the class of graphs that can be embedded in a given surface can be characterized by a finite set of minimal excluded minors. However, their proof, because existential, does not provide any information on these excluded minors. Seymour proved in 1993 the first and, until now, only known upper bound on the order of the minimal excluded minors for a given surface. This bound is double exponential in the Euler genus $g$ of the surface and, therefore, very far from the $Ω(g)$ lower bound on the maximal order of minimal excluded minors for a surface and most likely far from the best possible bound. More than thirty years later, this paper finally makes progress in lowering this bound to a quasi-polynomial in the Euler genus of the surface.
The main catalyzer to reach a quasi-polynomial bound is a breakthrough on the characteristic size of a forbidden structure for a minimal excluded minor $G$ for a surface of Euler genus $g$: although it is not hard to show that $G$ does not contain $O(g)$ disjoint cycles that are contractible and nested in some embedding of $G$ as demonstrated by Seymour, this bound can be lowered to $O(\log g)$ which is essential to obtain the quasi-polynomial bound in this paper.
As subsidiary results, we also improve the current bound on the treewidth of a minimal excluded minor $G$ for a surface by improving the first and, until now, only known bound provided by Seymour.
Orbits and self-twuality in set systems and delta-matroids
We introduce a new group action on set systems, constructed as a semidirect product of a permutation group and a group generated by twist and loop complementation operations on a single element. This action extends the ribbon group framework of Abrams and Ellis-Monaghan from ribbon graphs to set systems, facilitating a systematic investigation of self-twuality. We prove that different forms of self-twuality propagate through orbits under the group action and establish a characterization of the orbit of a vf-safe delta-matroid via multimatroids. As an application, we analyze orbits of ribbon-graphic delta-matroids. Our work answers a question posed by Abrams and Ellis-Monaghan and provides a unified algebraic framework for studying self-twuality in combinatorial structures.
Hausdorff dimension of Graphs of Limit Functions Generated by Quasi-Linear Functions
Published
• View Publication
• BIB
The limit functions generated by quasi-linear functions or sequences (including the sum of the Rudin-Shapiro sequence as an example) are continuous but almost everywhere non-differentiable functions. Their graphs are fractal curves. In 2017 and 2020, Chen, Lü, Wen and the first author studied the box dimension of the graphs of the limit functions.
In this paper, we focus on the Hausdorff dimension of the graphs of such limit functions. We first prove that the Hausdorff dimension of the graph of the limit function generated by the abelian complexity of the Rudin-Shapiro sequence is $\frac{3}{2}$. Then we extend the result to the graphs of limit functions generated by quasi-linear functions.
5-Coloring Planar Graphs with a Color Class of Order at Most $|V|/6$
Published
• View Publication
• BIB
We show that any planar graph $G=(V,E)$ has a 5-coloring such that one color class contains at most $|V|/6$ vertices. In other words, there exists a partition of $V$ into five independent sets $\{V_1, \cdots, V_5\}$ such that $|V_5| \leq |V| / 6$. Our proof yields an $O(|V|^2)$-time algorithm to find such a partition, and unlike the Four Color Theorem, our proof is fully verifiable without computer assistance.
A note on lower bounds for arithmetic regularity partitions
This paper establishes lower bounds for two kinds of arithmetic regularity partitions, building on constructions of Green [arXiv:math/0310476v2] and Hosseini, Lovett, Moshkovitz, and Shapira [arXiv:1405.4409]. The first kind occurs in the so-called strong arithmetic regularity lemma due to Bhattcharrya, Fischer, and Lovett [arXiv:1201.0330v2, Theorem 4.9], which is an arithmetic analogue of the strong regularity lemma for graphs developed by Alon, Fischer, Krivelevich, and Szegedy. Conlon and Fox [arXiv:1107.4829], as well as Kalyanasundaram and Shapira [arXiv:1107.4896v2], demonstrated that there are graphs for which any strong regularity partition must have size at least a wowzer-type function in the pseudorandomness parameter, and the primary aim of this paper is to match this bound in the setting of vector spaces over finite fields. The second kind of arithmetic regularity partition originates from higher-order arithmetic regularity lemmas. The upper bounds on the size of these partitions are known to be of tower-type growth. Previous work [arXiv:math/0310476v2, arXiv:1405.4409] demonstrated that this is unavoidable for the `linear' arithmetic regularity lemma of Green [arXiv:math/0310476v2], and the second contribution of this paper confirms that this continues to be necessary in the higher-order setting.
Hodge Laplacians on Weighted Simplicial Complexes: Forms, Closures, and Essential Self-Adjointness
We establish explicit operator norm bounds and essential self-adjointness criteria for discrete Hodge Laplacians on weighted graphs and simplicial complexes. For unweighted $d$-regular graphs we prove the universal estimate $\|\widetildeΔ_{1,*}\|\le 4(d-1)$, and we provide weighted extensions with a sharp comparability constant. These bounds apply without geometric completeness or curvature assumptions and ensure essential self-adjointness on natural cores. The approach extends to higher degrees via dual up/down degrees, and we show a unitary equivalence between skew and symmetric models on colorable complexes. For periodic lattices we complement the universal bounds with exact Floquet--Bloch constants, typically of order $2d$, illustrating both the sharpness in growth and the generality of our method.
Vu's conjecture holds for claw-free graphs
Given a graph $G$, let $Δ_2(G)$ denote the maximum number of neighbors any two distinct vertices of $G$ have in common. Vu (2002) proposed that, provided $Δ_2(G)$ is not too small as a proportion of the maximum degree $Δ(G)$ of $G$, the chromatic number of $G$ should never be too much larger than $Δ_2(G)$. We make a first approach towards Vu's conjecture from a structural graph theoretic point of view. We prove that, in the case where $G$ is claw-free, indeed the chromatic number of $G$ is at most $Δ_2(G)+3$. This is tight, as our bound is met with equality for the line graph of the Petersen graph. Moreover, we can prove this in terms of the more specific parameter that bounds the maximum number of neighbors any two endpoints of some edge of $G$ have in common. Our result may be viewed as a generalization of the classic bound of Vizing (1964) for edge-coloring.
On the number of sum-free subsets of the square grid
Generalising the Cameron--Erdős conjecture to two dimensions, Elsholtz and Rackham conjectured that the number of sum-free subsets of $[n]^2$ is $2^{0.6n^2+O(n)}$. We prove their conjecture.
Nearly all known Euclidean Ramsey sets are subsoluble
A finite set $X$ in a Euclidean space $\mathbb{R}^d$ is called Ramsey if for every $k$ there exists an integer $n$ such that whenever $\mathbb{R}^n$ is coloured with $k$ colours, there is a monochromatic copy of $X$. Graham conjectured that all spherical sets are Ramsey, but progress on this conjecture has been slow. A key result of Kříž is that all sets that embed in sets that are acted on transitively by a soluble group are Ramsey. We show that for nearly all known examples of Ramsey sets the converse is true, with only two possible exceptions.
Compactifying the Parameter Space for the Quantum Multiplication for Hypertoric Varieties
In this paper, we will be studying the parameter space for the quantum multiplication for hypertoric varieties. The operation of quantum multiplication for hypertoric varieties has an explicit formulation which is given by McBreen and Shenfeld. In particular, this multiplication depends on a parameter which lives in the complement of a toric arrangement. Following a paper of deConcini and Gaiffi, I will define a compactification of this parameter space and show how the quantum multiplication can be extended to this compactification.
On the moments of the volume for random convex chains
Let $T$ be the triangle in the plane with vertices $(0, 0)$, $(0,1)$ and $(0, 1)$. The convex hull $T_n$ of points $(0, 1)$, $(1, 0)$ and $n$ independent random points uniformly distributed in $T$ is the random convex chain. In this paper we study the moments of the volume of random polytope $T_n$ and derive exact formulas for $k$-th moments for any integer $k\ge 0$. As an intermediate result, we find an explicit representation for the probability generating function of the number of vertices of $T_n$, from which an alternative formula for the probability that $T_n$ has $k$ vertices follows.
The Shannon capacity of graph powers
Published
• View Publication
• BIB
For a graph $G$, its $k$-th graph power $G^k$ is constructed by placing an edge between two vertices if they are within distance $k$. We consider the problem of deriving upper bounds on the Shannon capacity of graph powers by using spectral graph theory and linear optimization methods. First, we use the so-called ratio-type bound to provide an alternative and spectral proof of a result by Lovász [IEEE Trans. Inform. Theory 1979], which states that, for a regular graph, the Hoffman ratio bound on the independence number is also an upper bound on the Lovász theta number and, hence, also on the Shannon capacity. In fact, we show that Lovász' result holds in the more general context of graph powers. Secondly, we derive another bound on the Shannon capacity of graph powers, the so-called rank-type bound, which depends on a new family of polynomials that can be computed by running a simple algorithm. Lastly, we provide several computational experiments that demonstrate the sharpness of the two proposed algebraic bounds. As a byproduct, when these two new algebraic bounds are tight, they can be used to easily derive the exact values of the Lovász theta number (which relies on solving an SDP) and the Shannon capacity (which is not known to be computable) of the corresponding graph power.
Cutting 4 by $n$ grids into two congruent pieces
In the March 2025 issue of Pour la Science, Jean-Paul Delahaye described a wonderful solution to the following problem: How many ways can you divide a 3 by 2n rectangle into two connected, congruent pieces? We show that this problem can be solved by the transfer matrix method, and demonstrate this by computing the generating function for the number of ways to divide a 4 by n rectangle into two connected, congruent parts.
Para-exceptional sequences for tame hereditary algebras and McCammond-Sulway lattices
Noncrossing partition posets in a Coxeter group $W$ can fail to be lattices when $W$ is not finite. When the lattice property fails for $W$ of affine type, McCammond and Sulway's construction provides a larger lattice that contains the noncrossing partition poset and that furthermore is a combinatorial Garside structure. We construct a lattice, isomorphic to McCammond and Sulway's lattice, using the representation theory of a corresponding connected tame hereditary algebra and give a representation-theoretic proof that it is a combinatorial Garside structure. To construct the lattice, we introduce para-exceptional sequences and para-exceptional subcategories in the module categories of tame hereditary algebras. Para-exceptional sequences are generalizations of exceptional sequences obtained by enlarging the set of allowed entries to include all non-homogeneous bricks. A para-exceptional subcategory is a subcategory obtained by applying a certain closure-like operator to the wide subcategory generated by a para-exceptional sequence.
Edge open packing on subclasses of chordal graphs
Published
• View Publication
• BIB
Let $G=(V, E)$ be a graph where $V(G)$ and $E(G)$ are the vertex and edge sets, respectively. In a graph $G$, two edges $e_1, e_2\in E(G)$ are said to have a \emph{common edge} $e\neq e_1, e_2$ if $e$ joins an endpoint of $e_1$ to an endpoint of $e_2$ in $G$. A subset $D\subseteq E(G)$ is called an \emph{edge open packing set} in $G$ if no two edges in $D$ share a common edge in $G$, and the largest size of such a set in $G$ is known as the \emph{edge open packing number}, represented by $ρ_{e}^o(G)$. The \textsc{Maximum Edge Open Packing Problem} is to find an edge open packing set of a given graph with maximum size. In [Bre{š}ar and Samadi. Edge open packing: complexity, algorithmic aspects, and bounds. Theor. Comput. Sci., 2024.], Bre{š}ar and Samadi pose an open question of the edge open packing problem in chordal graphs. In this paper, we partially answer this open question by showing a polynomial-time algorithm to solve the maximum edge open packing problem in the subclasses of chordal graphs. First, we show that the \textsc{Maximum Edge Open Packing Problem} can be solved in polynomial time for \emph{proper interval graphs}. Furthermore, we show that in \emph{block graphs} we can solve this problem in polynomial time. Finally, we prove that this problem can be solved in linear time for \emph{split graphs}.