Showing 20 papers (Total: 81564 papers, 47262 authors in database)
Phase limit sets of linear spaces and discriminants
We show that the closure of the coamoeba of a linear space/hyperplane complement is the union of products of coamoebas of hyperplane complements coming from flags of flats, and relate this to the Bergman fan. Using the Horn-Kapranov parameterization of a reduced discriminant, this gives a partial description of the phase limit sets of discriminants and duals of toric varieties. When d=3, we show that each 3-dimensional component of the phase limit set of the discriminant is a prism over a discriminant coamoeba in dimension 2, which has a polyhedral description by a result of Nilsson and Passare.
On $(k,g)$-Graphs without $(g+1)$-Cycles
Published
• View Publication
• BIB
A $(k,g,\underline{g+1})$-graph is a $k$-regular graph of girth $g$ which does not contain cycles of length $g+1$. Such graphs are known to exist for all parameter pairs $k \geq 3, g \geq 3 $, and we focus on determining the orders $n(k,g,\underline{g+1})$ of the smallest $(k,g,\underline{g+1})$-graphs. This problem can be viewed as a special case of the previously studied Girth Pair Problem, the problem of finding the order of a smallest $k$-regular graph in which the length of a smallest even length cycle and the length of a smallest odd length cycle are prescribed. When considering the case of an odd girth $g$, this problem also yields results towards the Cage Problem, the problem of finding the order of a smallest $k$-regular graph of girth $g$. We establish the monotonicity of the function $n(k,g,\underline{g+1})$ with respect to increasing $g$, and present universal lower bounds for the values $n(k,g,\underline{g+1})$. We propose an algorithm for generating all $(k,g,\underline{g+1})$-graphs on $n$ vertices, use this algorithm to determine several of the smaller values $n(k,g,\underline{g+1})$, and discuss various approaches to finding smallest $(k,g,\underline{g+1})$-graphs within several classes of highly symmetrical graphs.
A dichotomy theorem on the complexity of 3-uniform hypergraphic degree sequence graphicality
We present a dichotomy theorem on the parameterized complexity of the 3-uniform hypergraphicality problem. Given $0<c_1\le c_2 < 1$, the parameterized 3-uniform Hypergraphic Degree Sequence problem, $3uni-HDS_{c_1,c_2}$, considers degree sequences $D$ of length $n$ such that all degrees are between $c_1 {n-1 \choose 2}$ and $c_2 {n-1\choose 2}$ and it asks if there is a 3-uniform hypergraph with degree sequence $D$. We prove that for any $0<c_2< 1$, there exists a unique, polynomial-time computable $c_1^*$ with the following properties. For any $ c_1\in (c_1^*,c_2]$, $3uni-HDS_{c_1,c_2}$ can be solved in linear time. In fact, for any $c_1\in (c_1^*,c_2]$ there exists an easy-to-compute $n_0$ such that any degree sequence $D$ of length $n\ge n_0$ and all degrees between $c_1 {n-1\choose 2}$ and $c_2 {n-1\choose 2}$ has a 3-uniform hypergraph realization if and only if the sum of the degrees can be divided by $3$. Further, $n_0$ grows polynomially with the inverse of $c_1-c_1^*$. On the other hand, we prove that for all $c_1<c_1^*$, $3uni-HDS_{c_1,c_2}$ is NP-complete. Finally, we briefly consider an extension of the hypergraphicality problem to arbitrary $t$-uniformity. We show that the interval where degree sequences (satisfying divisibility conditions) always have $t$-uniform hypergraph realizations must become increasingly narrow, with interval width tending to $0$ as $t \rightarrow \infty$.
A bound on the girth of quaternion unit gain graphs in terms of the rank
We obtain a bound on the girth g of a quaternion unit gain graph in terms of the rank r of its adjacency matrix. In particular, we show that g <= r + 2 and characterize all quaternion unit gain graphs for which g = r+2. This extends corresponding results for (ordinary) graphs, signed graphs, and complex unit gain graphs.
A geometric invariant of linear rank-metric codes
Published in SIAM Journal on Applied Algebra and Geometry 9.4 (2025): 741-764
• View Publication
• BIB
Rank-metric codes have been a central topic in coding theory due to their theoretical and practical significance, with applications in network coding, distributed storage, crisscross error correction, and post-quantum cryptography. Recent research has focused on constructing new families of rank-metric codes with distinct algebraic structures, emphasizing the importance of invariants for distinguishing these codes from known families and from random ones. In this paper, we introduce a novel geometric invariant for linear rank-metric codes, inspired by the Schur product used in the Hamming metric. By examining the sequence of dimensions of Schur powers of the extended Hamming code associated with a linear code, we demonstrate its ability to differentiate Gabidulin codes from random ones. From a geometric perspective, this approach investigates the vanishing ideal of the linear set corresponding to the rank-metric code.
Extension on spectral extrema of gem-free graph with given size
A graph $G$ is $F$-free if $G$ does not contain $F$ as a subgraph. Let $\mathcal{G}(m, F)$ denote the family of $F$-free graphs with $m$ edges and without isolated vertices. Let $S_{n,k}$ denote the graph obtained by joining every vertex of $K_{k}$ to $n-k$ isolated vertices and $S_{n,k}^{t}$ denote the graph obtained from $S_{n-t,k}$ by attaching $t$ pendant vertices to the maximal degree vertex of $S_{n-t,k}$, respectively. Denote by $H_{n}$ the fan graph obtain from $n-1$-vertex path plus a vertex adjacent to each vertex of the path. Particularly, the graph $H_{5}$ is also known as the gem. Zhang and Wang [Discrete Math. 347(2024)114171] and Yu, Li and Peng [arXiv: 2404. 03423] showed that every gem-free graph $G$ with $m$ edges satisfies $ρ(G)\leq ρ(S_{\frac{m+3}{2},2})$. In this paper, we show that if $G\in \mathcal{G}(m, H_{5})\setminus S_{\frac{m+3}{2},2}$ be a graph of odd size $m\geq23$, then $ρ(G)\leq ρ(S_{\frac{m+5}{2},2}^{2})$, and equality holds if and only if $G\cong S_{\frac{m+5}{2},2}^{2}$.
Long induced paths in $K_{s, s}$-free graphs
Published
• View Publication
• BIB
More than 40 years ago, Galvin, Rival and Sands showed that every $K_{s, s}$-free graph containing an $n$-vertex path must contain an induced path of length $f(n)$, where $f(n)\to \infty$ as $n\to \infty$. Recently, it was shown by Duron, Esperet and Raymond that one can take $f(n)=(\log \log n)^{1/5-o(1)}$. In this note, we give a short self-contained proof that a $K_{s, s}$-free graphs with an $n$-vertex path contains an induced path of length at least $(\log \log n)^{1-o(1)}$. Combined with the recent remarkable example of Couëtoux, Defrain, and Raymond, which provides an upper bound of $O((\log \log n)^{1+o(1)})$, this essentially resolves this old problem.
Classification and Ehrhart Theory of Denominator 2 Polygons
We present an algorithm for growing the denominator $r$ polygons containing a fixed number of lattice points and enumerate such polygons containing few lattice points for small $r$. We describe the Ehrhart quasi-polynomial of a rational polygon in terms of boundary and interior point counts. Using this, we bound the coefficients of Ehrhart quasi-polynomials of denominator 2 polygons. In particular, we completely classify such polynomials in the case of zero interior points.
Characterization of Trees with Maximum Security
Published
• View Publication
• BIB
The rank (also known as protection number or leaf-height) of a vertex in a rooted tree is the minimum distance between the vertex and any of its leaf descendants. We consider the sum of ranks over all vertices (known as the security) in binary trees, and produce a classification of families of binary trees for which the security is maximized. In addition, extremal results relating to maximum rank among all vertices in families of trees is discussed.
Effective support, Dirac combs, and signal recovery
Let
$f: {\mathbb Z}_N^d \to {\mathbb C}$ be a signal with the Fourier transform $\widehat{f}: \Bbb Z_N^d\to \Bbb C$. A classical result due to Matolcsi and Szucs (\cite{MS73}), and, independently, to Donoho and Stark (\cite{DS89}) states if a subset of frequencies ${\{\widehat{f}(m)\}}_{m \in S}$ of $f$ are unobserved due to noise or other interference, then $f$ can be recovered exactly and uniquely provided that $$ |E| \cdot |S|<\frac{N^d}{2},$$ where $E$ is the support of $f$, i.e., $E=\{x \in {\mathbb Z}_N^d: f(x) \not=0\}$. In this paper, we consider signals that are Dirac combs of complexity $γ$, meaning they have the form $f(x)=\sum_{i=1}^γ a_i 1_{A_i}(x)$, where the sets $A_i \subset {\mathbb Z}_N^d$ are disjoint, $a_i$ are complex numbers, and $γ\leq N^d$. We will define the concept of effective support of these signals and show that if $γ$ is not too large, a good recovery condition can be obtained by pigeonholing under additional reasonable assumptions on the distribution of values. Our approach produces a non-trivial uncertainty principle and a signal recovery condition in many situations when the support of the function is too large to apply the classical theory.
Balanced 1-Factorisations of 3- and 4-Regular Circulant Graphs
We investigate 1-factorisations in which the 2-regular graphs that occur as the union of a pair of 1-factors appear an equal number of times across the unions of all pairs of 1-factors in the 1-factorisation. We call such 1-factorisations balanced 1-factorisations (B1Fs) and we present some results on B1Fs of 3- and 4-regular circulant graphs.
Multisets with few special directions and small weight codewords in Desarguesian planes
Published
• View Publication
• BIB
In this paper, we tie together two well studied topics related to finite Desarguesian affine and projective planes. The first topic concerns directions determined by a set, or even a multiset, of points in an affine plane. The second topic concerns the linear code generated by the incidence matrix of a projective plane. We show how a multiset determining only $k$ special directions, in a modular sense, gives rise to a codeword whose support can be covered by $k$ concurrent lines. The reverse operation of going from a codeword to a multiset of points is trickier, but we describe a possible strategy and show some fruitful applications.
Given a multiset of affine points, we use a bound on the degree of its so-called projection function to yield lower bounds on the number of special directions, both in an ordinary and in a modular sense.
In the codes related to projective planes of prime order $p$, there exists an odd codeword, whose support is covered by 3 concurrent lines, but which is not a linear combination of these 3 lines. We generalise this codeword to codewords whose support is contained in an arbitrary number of concurrent lines. In case $p$ is large enough, this allows us to extend the classification of codewords from weight at most $4p-22$ to weight at most $5p-36$.
Points below a parabola in affine planes of prime order
Published
• View Publication
• BIB
The elements of a finite field of prime order canonically correspond to the integers in an interval. This induces an ordering on the elements of the field. Using this ordering, Kiss and Somlai recently proved interesting properties of the set of points below the diagonal line. In this paper, we investigate the set of points lying below a parabola. We prove that in some sense, this set of points looks the same from all but two directions, despite having only one non-trivial automorphism. In addition, we study the sizes of these sets, and their intersection numbers with respect to lines.
Signotopes with few plus signs
Arrangements of pseudohyperplanes are widely studied in computational geometry. A rich subclass of pseudohyerplane arrangements, which has gained more attention in recent years, is the so-called signotopes. Introduced by Manin and Schechtman (1989), the higher Bruhat order is a natural order of $r$-signotopes on $n$ elements, with the signotope corresponding to the cyclic arrangement as the minimal element. In this paper, we show that the lower (and by symmetry upper) levels of this higher Bruhat order contain the same number of elements for a fixed difference $n-r$. This result implies that given the difference $d=n-r$ and $p$, the number of one-element extensions of the cyclic arrangement of $n$ hyperplanes in $\mathbb{R}^d$ with at most $p$ points on one side of the extending pseudohyperplane does not depend on $n$, as long as $n \geq d + p$.
Twin-free $K_r$-saturated Graphs and Maximally Independent Sets in $K_3$-free Graphs
We say that two vertices are twins if they have the same neighbourhood and that a graph is $K_r$-saturated if it does not contain $K_r$ but adding any new edge to it creates a $K_r$. In 1964, Erdős, Hajnal and Moon showed that $sat(n,K_r)=(r-2)n+o(n)$ for $r \geq 3$, where $sat(n,K_r)$ is the minimum number of edges in a $K_r$-saturated graph on $n$ vertices, and determined the unique extremal graph. This graph has many twins, leading us to define $tsat(n,K_r)$ to be the minimum number of edges in a twin-free $K_r$-saturated graph on $n$ vertices. We show that $(5 +2/3)n + o(n) \leq tsat(n,K_3) \leq 6n+o(n)$ and that $\left(r+2\right)n + o(n) \leq tsat(n,K_r) \leq (r+3)n+o(n)$ for $r \geq 4$. We also consider a variant of this problem where we additionally require the graphs to have large minimum degree. Both of these problems turn out be intimately related to two other problems regarding maximally independent sets of a given size in $K_3$-free graphs and generalisations of these problems to $K_r$ with $r \geq 4$. The first problem is to maximise the number of maximally independent sets given the number of vertices and the second problem is to minimise the number of edges given the number of maximally independent sets. They are interesting in their own right.
The Quaternary Gray Code and How It Can Be Used to Solve Ziggurat and Other Ziggu Puzzles
We investigate solutions to the new "Ziggu" family of exponential puzzles. These puzzles have $p$ pieces that form $m$ mazes. We encode the puzzle state as an quaternary number (base $4$) with $n=m+1$ digits, where each digit gives the horizontal or vertical position in one maze. We show that the number of states on a shortest solution is $6 \cdot 2^n - 3n - 5$ (OEIS A101946). This solution is unique, and it is generated from the start as follows: make the leftmost modification that doesn't undo the previous modification. Replacing "leftmost" with "rightmost" instead generates the unique longest solution that visits all $(3^{n+1} - 1)/2$ states (OEIS A003462). Thus, Ziggu puzzles can be viewed as $4$-ary, $3$-ary, or $2$-ary puzzles based on how the number of state encodings, valid states, or minimum states grow with each additional maze.
Classic Gray code puzzles (e.g., Spin-Out) provide natural comparisons. Gray code puzzles with $p$ pieces have $2^p$ (OEIS A000079) or $\lfloor \frac{2}{3} \cdot 2^p \rfloor$ (OEIS A000975) states on their unique solution. The states visited in a Gray code puzzle solution follow the binary reflected Gray code. We show that Ziggu puzzles follow the quaternary reflected Gray code, as the shortest and longest solutions are both sublists of this order.
These results show how to solve Ziggu puzzles from the start. We also provide $O(n)$-time ranking, comparison, and successor algorithms, which give the state's position along a solution, the relative order of two states, and the next state, respectively. While Gray code puzzles have simpler recursive descriptions and successor rules, the Ziggu puzzle has a simpler loopless algorithm to generate its shortest solution. The two families share a comparison function. Finally, we enrich the literature on OEIS A101946 by providing a bijection between Ziggu states and $2\times n$ Nurikabe grids.
Connections between certain numbers related to derangements and $r$-permutations
For non-negative integer parameters $r,u,m,n$ define \begin{align*}
\cal{D}(r,u,m,n) := \big\{\ σ\in \cal{S}_{r+n}\ \big|\ σ(x)=y \textrm{ for exactly } u \textrm{ pairs } (x,y) \textrm{ such that } 1\leq x,y\leq r \textrm{ and } σ(t)=t \textrm{ for exactly } m \textrm{ elements } r+1\leq t\leq r+n\ \big\} \end{align*} and \begin{align*}
\cal{D}_{r,u,m}(n) := \big\{\ σ\in \cal{S}_{r+n}\ \big|\ \forall_{1\leq x<y\leq r} \ x \textrm{ and } y \textrm{ are in disjoint cycles of } σ\textrm{ and } σ(z)=z \textrm{ for exactly } u \textrm{ elements } 1\leq z\leq r, \textrm{ and } σ(t)=t \textrm{ for exactly } m \textrm{ elements } r+1\leq t\leq r+n\ \big\}, \end{align*} where $\mathcal{S}_{n}$ denotes the set of all the permutations of $\{1,\ldots ,n\}$.
In this paper we study connections between the sets $\mathcal{D}(r,u,m,n)$, $\mathcal{D}_{r,u,m}(n)$, and the sets of (some classes of) $r$-derangements. We rely mostly on counting arguments.
Bilevel Programming for Pebbling Numbers of Lemke Graph Products
Given a configuration of indistinguishable pebbles on the vertices of a graph, a pebbling move consists of removing two pebbles from one vertex and placing one pebble on an adjacent vertex. The pebbling number of a graph is the least integer such that any configuration with that many pebbles and any target vertex, some sequence of pebbling moves can place a pebble on the target. Graham's conjecture asserts that the pebbling number of the cartesian product of two graphs is at most the product of the two graphs' pebbling numbers. Products of so-called Lemke graphs are widely thought to be the most likely counterexamples to Graham's conjecture, provided one exists.
In this paper, we introduce a novel framework for computing pebbling numbers using bilevel optimization. We use this approach to algorithmically show that the pebbling numbers of all products of 8-vertex Lemke graphs are consistent with Graham's conjecture, with the added assumption that pebbles can only be placed on a set of at most four vertices.
Differential transcendence and walks on self-similar graphs
Published
• View Publication
• BIB
Symmetrically self-similar graphs are an important type of fractal graph. Their Green functions satisfy order one iterative functional equations. We show when the branching number of a generating cell is two, either the graph is a star consisting of finitely many one-sided lines meeting at an origin vertex, in which case the Green function is algebraic, or the Green function is differentially transcendental over $\mathbb{C}(z)$. The proof strategy relies on a recent work of Di Vizio, Fernandes and Mishna. The result adds evidence to a conjecture of Krön and Teufl about the spectrum of this family of graphs.
On the matching arrangement of a graph, improper weight function problem and its application
Published
• View Publication
• BIB
This article presents examples of an application of the finite field method for the computation of the characteristic polynomial of the matching arrangement of a graph. Weight functions on edges of a graph with weights from a finite field are divided into proper and improper functions in connection with proper colorings of vertices of the matching polytope of a graph. An improper weight function problem is introduced, a proof of its NP-completeness is presented, and a knapsack-like public key cryptosystem is constructed based on the improper weight function problem.