Showing 20 papers (Total: 81564 papers, 47262 authors in database)
Scattered polynomials: an overview on their properties, connections and applications
Published
• View Publication
• BIB
The aim of this survey is to outline the state of the art in research on a class of linearized polynomials with coefficients over finite fields, known as scattered polynomials. These have been studied in several contexts, such as in [A. Blokhuis, M. Lavrauw. Scattered spaces with respect to a spread in $\mathrm{PG}(n, q)$. Geometriae Dedicata 81(1) (2000), 231-243] and [G. Lunardon, O. Polverino. Blocking sets and derivable partial spreads. J. Algebraic Combin. 14 (2001), 49-56]. Recently, their connection to maximum rank-metric codes was brought to light in [J. Sheekey. MRD codes: Constructions and connections. In K.-U. Schmidt and A. Winterhof, editors, Combinatorics and Finite Fields, De Gruyter (2019), 255-286]. This link has significantly advanced their study and investigation, sparking considerable interest in recent years. Here, we will explore their relationship with certain subsets of the finite projective line $\mathrm{PG}(1, q^n)$ known as maximum scattered linear sets, as well as with codes made up of square matrices of order $n$ equipped with the rank metric. We will review the known examples of scattered polynomials up to date and discuss some of their key properties. We will also address the classification of maximum scattered linear sets of the finite projective line $\mathrm{PG}(1, q^n)$ for small values of $n$ and discuss characterization results for the examples known so far. Finally, we will retrace how each scattered polynomial gives rise to a translation plane, as discussed in [V. Casarino, G. Longobardi, C. Zanella. Scattered linear sets in a finite projective line and translation planes, Linear Algebra Appl. 650 (2022), 286-298] and in [G. Longobardi, C. Zanella, A standard form for scattered linearized polynomials and properties of the related translation planes, J. Algebr. Comb. 59(4) (2024), 917-937].
Simplifying and Characterizing DAGs and Phylogenetic Networks via Least Common Ancestor Constraints
Published
• View Publication
• BIB
Rooted phylogenetic networks, or more generally, directed acyclic graphs (DAGs), are widely used to model species or gene relationships that traditional rooted trees cannot fully capture, especially in the presence of reticulate processes or horizontal gene transfers. Such networks or DAGs are typically inferred from observable data (e.g. genomic sequences of extant species), providing only an estimate of the true evolutionary history. However, these inferred DAGs are often complex and difficult to interpret. In particular, many contain vertices that do not serve as least common ancestors (LCAs) for any subset of the underlying genes or species, thus may lack direct support from the observable data. In contrast, LCA vertices are witnessed by historical traces justifying their existence and thus represent ancestral states substantiated by the data. To reduce unnecessary complexity and eliminate unsupported vertices, we aim to simplify a DAG to retain only LCA vertices while preserving essential evolutionary information.
In this paper, we characterize $\mathrm{LCA}$-relevant and $\mathrm{lca}$-relevant DAGs, defined as those in which every vertex serves as an LCA (or unique LCA) for some subset of taxa. We introduce methods to identify LCAs in DAGs and efficiently transform any DAG into an $\mathrm{LCA}$-relevant or $\mathrm{lca}$-relevant one while preserving key structural properties of the original DAG or network. This transformation is achieved using a simple operator ``$\ominus$'' that mimics vertex suppression.
New classes of reversible cellular automata
Published
• View Publication
• BIB
A Boolean function $f$ on $k$~bits induces a shift-invariant vectorial Boolean function $F$ from $n$ bits to $n$ bits for every $n\geq k$. If $F$ is bijective for every $n$, we say that $f$ is a proper lifting, and it is known that proper liftings are exactly those functions that arise as local rules of reversible cellular automata. We construct new families of such liftings for arbitrary large $k$ and discuss whether all have been identified for $k\leq 6$.
Percolating sets and the operad of permutations
We give an operadic interpretation of the known result of L.Shapiro and A.B.Stephens that characterizes percolating permutation matrices. A relation of ideals and suboperads of the non-symmetric operad of permutations to percolative properties of sets in the 2-neighbor percolation process is discussed. On a related note, we discuss a certain presentation of the operad of permutations.
Properties of Sub-Add Move Graphs
Published
• View Publication
• BIB
We introduce the notion of a move graph, that is, a directed graph whose vertex set is a $\mathbb Z$-module $\mathbb Z_n^m$, and whose arc set is uniquely determined by the action $M\!:\!\mathbb Z_n^m\to \mathbb Z_n^m$ where $M$ is an $m\times m$ matrix with integer entries. We study the manner in which properties of move graphs differ when one varies the choice of cyclic group $\mathbb Z_n$. Our principal focus is on a special family of such graphs, which we refer to as ``sub-add move graphs.''
Cyclic ordering of split matroids
There is a long list of open questions rooted in the same underlying problem: understanding the structure of bases or common bases of matroids. These conjectures suggest that matroids may possess much stronger structural properties than are currently known. One example is related to cyclic orderings of matroids. A rank-$r$ matroid is called cyclically orderable if its ground set admits a cyclic ordering such that any interval of $r$ consecutive elements forms a basis. In this paper, we show that if the ground set of a split matroid decomposes into pairwise disjoint bases, then it is cyclically orderable. This result answers a conjecture of Kajitani, Ueno, and Miyano in a special case, and also strengthens Gabow's conjecture for this class of matroids. Our proof is algorithmic, hence it provides a procedure for determining a cyclic ordering in question using a polynomial number of independence oracle calls.
Blow-ups and extensions of trees in tournaments
Published
• View Publication
• BIB
A class of acyclic digraphs $\mathscr{C}$ is linearly unavoidable if there exists a constant $c$ such that every digraph $D\in \mathscr{C}$ is contained in all tournaments of order $c\cdot |V(D)|$. The class of all acyclic digraphs is not linearly avoidable, and Fox, He, and Widgerson recently showed that this is not even the case for acyclic digraphs with bounded maximum degree. On the positive side, Thomason and Häggkvist proved that the class of oriented trees is linearly unavoidable. In this work, we generalize this result to acyclic digraphs obtained from an oriented tree by adding at most $k$ vertices, and $k$-blow-ups of oriented trees, for every fixed integer $k$.
More precisely, we show that if $D$ is obtained from an oriented tree $F$ of order $n$ by adding $k$ universal vertices, then $D$ is contained in every tournament of order $2\cdot 3^{(k+1)(2k+1)} \cdot n$; and if $D$ is obtained from $F$ by replacing each vertex $u$ by an independent set $X_u$ of size $k$ and every arc $uv$ by all possible arcs from $X_u$ to $X_v$, then $D$ is contained in every tournament of order $2^{10+18k}k \cdot n$.
Focal-free uniform hypergraphs and codes
Published
• View Publication
• BIB
Motivated by the study of a variant of sunflowers, Alon and Holzman recently introduced focal-free hypergraphs. In this paper, we show that there is an interesting connection between the maximum size of focal-free hypergraphs and the renowned Erdős Matching Conjecture on the maximum number of edges that can be contained in a uniform hypergraph with bounded matching number. As a consequence, we give asymptotically optimal bounds on the maximum sizes of focal-free uniform hypergraphs and codes, thereby significantly improving the previous results of Alon and Holzman. Moreover, by using the existentce results of combinatorial designs and orthogonal arrays, we are able to explicitly determine the exact sizes of maximum focal-free uniform hypergraphs and codes for a wide range of parameters.
A lower bound on forcing numbers based on height functions
Published
• View Publication
• BIB
We establish a lower bound on the forcing numbers of domino tilings computable in polynomial time based on height functions. This lower bound is sharp for a 2n by 2n square as well as other cases.
Existence of magic rectangle sets over finite abelian groups
Published
• View Publication
• BIB
Let $a$, $b$ and $c$ be positive integers. Let $(G,+)$ be a finite abelian group of order $abc$. A $G$-magic rectangle set MRS$_G(a,b;c)$ is a collection of $c$ arrays of size $a\times b$ whose entries are elements of a group $G$, each appearing exactly once, such that the sum of each row in every array equals a constant $γ\in G$ and the sum of each column in every array equals a constant $δ\in G$. This paper establishes the necessary and sufficient conditions for the existence of an MRS$_G(a,b;c)$ for any finite abelian group $G$, thereby confirming a conjecture presented by Cichacz and Hinc.
The minimum size of a $3$-connected locally nonforesty graph
A local subgraph of a graph is the subgraph induced by the neighborhood of a vertex. Thus a graph of order $n$ has $n$ local subgraphs. A graph $G$ is called locally nonforesty if every local subgraph of $G$ contains a cycle. Recently, in studying forest cuts of a graph, Chernyshev, Rauch and Rautenbach posed the conjecture that if $n$ and $m$ are the order and size of a $3$-connected locally nonforesty graph respectively, then $m\ge 7(n-1)/3.$ We solve this problem by determining the minimum size of a $3$-connected locally nonforesty graph of order $n.$ It turns out that the conjecture does not hold.
Intersecting families with full difference sets
For a family $\mathcal{F}$ of subsets of a finite set, define $\mathcal{D}(\mathcal{F})=\{F\setminus F': F, F'\in\mathcal{F}\}$. A family $\mathcal{F}$ is called intersecting if $F\cap F'\not=\emptyset$ for all $F, F'\in\mathcal{F}$. Frankl \cite{Frankl} showed that for a $k$-uniform intersecting family $\mathcal{F}\subset{[n]\choose k}$ with $n\ge k(k+3)$, $|\mathcal{D}(\mathcal{F})|$ reaches the maximum if and only if $\mathcal{F}$ is a $k$-uniform full star. Later, Frankl-Kiselev-Kupavskii \cite{FKK} improved the bound $n\ge k(k+3)$ in the above result of Frankl \cite{Frankl} to $n\ge 50klnk$ for $k\ge 50$. For $2k<n<4k$, Frankl-Kiselev-Kupavskii \cite{FKK} showed that there exists a $k$-uniform family $\mathcal{F}\subset{[n]\choose k}$ such that $|\mathcal{D}(\mathcal{F})|$ is larger than $|\mathcal{D}(\mathcal{S})|$, where $\mathcal{S}$ is a full star. This result left the case $n=2k$ open and we show that $\mathcal{D}(\mathcal{F})$ can be `full' for some $\mathcal{F}\subset{[n]\choose k}$. It is clear that for an intersecting family $\mathcal{F}\subset{[n]\choose k}$, $\mathcal{D}(\mathcal{F})\subseteq \cup_{j=0}^{k-1}{[n]\choose j}$. We say that a $k$-uniform intersecting family $\mathcal{F}\subset{[n]\choose k}$ has full differences if $\mathcal{D}(\mathcal{F})=\cup_{j=0}^{k-1}{[n]\choose j}$. For odd $k$, Frankl \cite{Frankl} gave a $k$-uniform intersecting family $\mathcal{F}\subset{[2k]\choose k}$ having full differences of size $k-1$, and he asked for even $k\ge 4$ whether there exists a $k$-uniform intersecting family $\mathcal{F}\subset{[2k]\choose k}$ having full differences of size $k-1$. We answer this question in a stronger form and show that for even $k\ge 4$, there exists a $k$-uniform intersecting family $\mathcal{F}\subset{[2k]\choose k}$ having full differences.
An integral representation of Catalan numbers using the Féaux formula
We present an integral expression of the Catalan numbers, based on Féaux' integral representation of $\log\left[Γ(x)\right]$, $Γ$ being the usual Gamma function. The obtained formula may be the starting point of the derivation of new relations involving central binomial coefficients or Catalan numbers.
Flipping Non-Crossing Spanning Trees
Published
• View Publication
• BIB
For a set $P$ of $n$ points in general position in the plane, the flip graph $F(P)$ has a vertex for each non-crossing spanning tree on $P$ and an edge between any two spanning trees that can be transformed into each other by one edge flip. The diameter ${\rm diam}(F(P))$ of this graph is subject of intensive study. For points in general position, it is between $3n/2-5$ and $2n-4$, with no improvement for 25 years. For points in convex position, it lies between $3n/2 - 5$ and $\approx1.95n$, where the lower bound was conjectured to be tight up to an additive constant and the upper bound is a recent breakthrough improvement over several bounds of the form $2n-o(n)$.
In this work, we provide new upper and lower bounds on ${\rm diam}(F(P))$, mainly focusing on points in convex position. We show $14n/9 - O(1) \le {\rm diam}(F(P)) \le 5n/3 - 3$, by this disproving the conjectured upper bound of $3n/2$ for convex position, and relevantly improving both the long-standing lower bound for general position and the recent new upper bound for convex position. We complement these by showing that if one of $T,T'$ has at most two boundary edges, then ${\rm dist}(T,T') \le 2d/2 < 3n/2$, where $d = |T-T'|$ is the number of edges in one tree that are not in the other.
To prove both the upper and the lower bound, we introduce a new powerful tool. Specifically, we convert the flip distance problem for given $T,T'$ to the problem of a largest acyclic subset in an associated conflict graph $H(T,T')$. In fact, this method is powerful enough to give an equivalent formulation of the diameter of $F(P)$ for points $P$ in convex position up to lower-order terms. As such, conflict graphs are likely the key to a complete resolution of this and possibly also other reconfiguration problems.
Lightweight Near-Additive Spanners
Published
• View Publication
• BIB
An $(α,β)$-spanner of a weighted graph $G=(V,E)$, is a subgraph $H$ such that for every $u,v\in V$, $d_G(u,v) \le d_H(u,v)\leα\cdot d_G(u,v)+β$. The main parameters of interest for spanners are their size (number of edges) and their lightness (the ratio between the total weight of $H$ to the weight of a minimum spanning tree).
In this paper we focus on near-additive spanners, where $α=1+\varepsilon$ for arbitrarily small $\varepsilon>0$. We show the first construction of {\em light} spanners in this setting. Specifically, for any integer parameter $k\ge 1$, we obtain an $(1+\varepsilon,O(k/\varepsilon)^k\cdot W(\cdot,\cdot))$-spanner with lightness $\tilde{O}(n^{1/k})$ (where $W(\cdot,\cdot)$ indicates for every pair $u, v \in V$ the heaviest edge in some shortest path between $u,v$). In addition, we can also bound the number of edges in our spanner by $O(kn^{1+3/k})$.
If parallel lines could meet: What exactly can a poet say about the Fano plane?
Published
• View Publication
• BIB
This article describes our invention of a new poetic form based on projective geometry. In doing this we also explore the 'what ifs' in mathematics and poetry which spark the creative processes of poet and mathematician. In other words, throughout our collaboration we often asked one another, is this what it's like for you? Do you think in this way, too? How does your experience of creativity compare to mine? And often, as well, what exactly do you mean when you say...? We spent a fair amount of time and energy, for example, trying to understand one another's interpretation of 'a line'. This collaboration resulted in three poems in the new projective plane form. We also consider what might be interesting avenues for future research, such as the incorporation of octonions in poetic form.
Sets and partitions minimising small differences
For a bounded measurable set $A\subseteq \mathbb{R}$ we denote the Lebesgue measure of $\{(x, y)\in A^2\colon x\le y\le x+1\}$ by $Φ(A)$. We prove that if $I=A_1\cup\dots\cup A_{k+1}$ partitions an interval $I$ of length $L$ into $k+1$ measurable pieces, then $\sum_{i=1}^{k+1} Φ(A_i)\ge (\sqrt{k^2+1}-k)L-1$, where the multiplicative constant $\sqrt{k^2+1}-k$ is optimal. As a matter of fact we obtain the more general result that $Φ(A)\ge (ξ+\sqrt{1-2ξ+2ξ^2}-1)L-1$ whenever $A\subseteq I$ has measure $ξL$.
Asymptotic Bounds and Online Algorithms for Average-Case Matrix Discrepancy
We study the matrix discrepancy problem in the average-case setting. Given a sequence of $m \times m$ symmetric matrices $A_1,\ldots,A_n$, its discrepancy is defined as the minimal spectral norm over all signed sums $\sum_{i=1}^n x_iA_i$ with $x_1,\ldots,x_n \in \{\pm1\}$. Our contributions are twofold. First, we study the asymptotic discrepancy of random matrices. When the matrices belong to the Gaussian orthogonal ensemble, we provide a sharp characterization of the asymptotic discrepancy and show that the limiting distribution is concentrated around $Θ(\sqrt{nm}4^{-(1 + o(1))n/m^2})$, under the assumption $m^2 \ll n/\log{n}$. We observe that the trivial bound $O(\sqrt{nm})$ cannot be improved when $n \ll m^2$ and show that this phenomenon occurs for a broad class of random matrices. In the case $n = Ω(m^2)$, we provide a matching upper bound. Second, we analyse the matrix hyperbolic cosine algorithm, an online algorithm for matrix discrepancy minimization due to Zouzias (2011), in the average-case setting. We show that the algorithm achieves with high probability a discrepancy of $O(m\log{m})$ for a broad class of random matrices, including Wigner matrices with entries satisfying a hypercontractive inequality and Gaussian Wishart matrices.
Matroidal Cycles and Hypergraph Families
We propose a novel definition of hypergraphical matroids, defined for arbitrary hypergraphs, simultaneously generalizing previous definitions for regular hypergraphs (Main, 1978), and for the hypergraphs of circuits of a matroid (Freij-Hollanti, Jurrius, Kuznetsova, 2023). As a consequence, we obtain a new notion of cycles in hypergraphs, and hypertrees. We give an equivalence relation on hypergraphs, according to when their so-called matroidal closures agree. Finally, we characterize hypergraphs that are isomorphic to the circuit hypergraphs of the associated matroids.
Sparse Approximation in Lattices and Semigroups
Published
• View Publication
• BIB
This paper deals with the following question: Suppose that there exist an integer or a non-negative integer solution $x$ to a system $Ax = b$, where the number of non-zero components of $x$ is $n$. The target is, for a given natural number $k < n$, to approximate $b$ with $Ay$ where $y$ is an integer or non-negative integer solution with at most $k$ non-zero components. We establish upper bounds for this question in general. In specific cases, these bounds are tight. If we view the approximation quality as a function of the parameter $k$, then the paper explains why the quality of the approximation increases exponentially as $k$ goes to $n$. This paper is a complete version of an extended abstract that appeared at the 26th International Conference on Integer Programming and Combinatorial Optimization (IPCO).