Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Concatenations in subshifts defined by linear orders and poles of the Artin-Mazur zeta function
For certain pairs of unimodal maps on the interval with periodic critical orbits, it is known that one can combine them to create another map whose entropy is close to one while the poles of Artin-Mazur $ζ$ function outside the unit circles can be made close to the other. We provided a formulation and proof of this result in symbolic dynamics setting, which allow us to generalize this fact to certain families of maps on finite trees.
On the geometry of tensor products over finite fields
In this paper we study finite dimensional algebras, in particular finite semifields, through their correspondence with nonsingular threefold tensors. We introduce a alternative embedding of the tensor product space into a projective space. This model allows us to understand tensors and their contractions in a new geometric way, relating the contraction of a tensor with a natural subspace of a subgeometry. This leads us to new results on invariants and classifications of tensors and algebras and on nonsingular fourfold tensors. A detailed study of the geometry of this setup for the case of the threefold tensor power of a vector space of dimension two over a finite field surprisingly leads to a new construction of quasi-hermitian varieties in $\mathrm{PG}(3,q^2)$.
Coboundary expansion for the union of determinantal hypertrees
We prove that for any large enough constant $k$, the union of $k$ independent $d$-dimensional determinantal hypertrees is a coboundary expander with high probability.
Exploring unimodality of the plucking polynomial with delay function
Published
• View Publication
• BIB
The plucking polynomial is an invariant of rooted trees with connections to knot theory. The polynomial was constructed in 2014 as a tool to analyze lattice crossings after taking the quotient by the Kauffman bracket skein relations. In this paper we study the plucking polynomial and the plucking polynomial with delay function. We present a formula for the plucking polynomial of hedgehog rooted trees and explore the unimodality of this polynomial. In particular, we consider an anti-unimodal delay function and a delay function with a specific image set. Furthermore, we present a number of interesting examples and make some speculations on the unimodality of plucking polynomials with delay functions of hedgehog rooted trees.
Variations on Keeler's Theorem
The 2010 Futurama episode The Prisoner of Benda features a mind swapping machine that swaps the minds of two people at a time with the restriction that the same pair of people cannot use the machine more than once. We show that if a machine swaps $n$ people cyclically with the condition that the same group of people cannot use the machine again, we can find a way to get everyone back. We prove our solution is optimal for when $n =3$. We also introduce an infinite variant of the mind swapping machine.
Dual Schubert polynomials via a Cauchy identity
We give a combinatorial proof that Postnikov and Stanley's formula for dual Schubert polynomials in terms of weighted chains in Bruhat order is equivalent to a classical Cauchy identity for polynomials. This gives a natural interpretation of Huang and Pylyavskyy's recent insertion algorithms.
Pretty good fractional revival via magnetic fields: theory and examples
Published
• View Publication
• BIB
We develop the theory of pretty good quantum fractional revival in arbitrary sized subsets of a graph, including the theory for fractional cospectrality of subsets of arbitrary size. We use this theory to give conditions under which a magnetic field can induce pretty good fractional revival, and give several examples.
Relative Fractional Packing Number and Its Properties
The concept of the \textit{relative fractional packing number} between two graphs $G$ and $H$, initially introduced in arXiv:2307.06155 [math.CO], serves as an upper bound for the ratio of the zero-error Shannon capacity of these graphs. Defined as: \begin{equation*} \sup\limits_{W} \frac{α(G \boxtimes W)}{α(H \boxtimes W)} \end{equation*} where the supremum is computed over all arbitrary graphs and $\boxtimes$ denotes the strong product of graphs.
This article delves into various critical theorems regarding the computation of this number. Specifically, we address its NP-hardness and the complexity of approximating it. Furthermore, we develop a conjecture for necessary and sufficient conditions for this number to be less than one. We also validate this conjecture for specific graph families. Additionally, we present miscellaneous concepts and introduce a generalized version of the independence number that gives insights that could significantly contribute to the study of the relative fractional packing number.
Cyclic complementary extensions and skew-morphisms
Published
• View Publication
• BIB
A cyclic complementary extension of a finite group $A$ is a finite group $G$ which contains $A$ and a cyclic subgroup $C$ such that $A\cap C=\{1_G\}$ and $G=AC$. For any fixed generator $c$ of the cyclic factor $C=\langle c\rangle$ of order $n$ in a cyclic complementary extension $G=AC$, the equations $cx=\varphi(x)c^{Π(x)}$, $x\in A$, determine a permutation $\varphi:A\to A$ and a function $Π:A\to\mathbb{Z}_n$ on $A$ characterized by the properties:
(a) $\varphi(1_A)=1_A$ and $Π(1_A)\equiv1\pmod{n}$; (b) $\varphi(xy)=\varphi(x)\varphi^{Π(x)}(y)$ and $Π(xy)\equiv\sum_{i=1}^{Π(x)}Π(\varphi^{i-1}(y))\pmod{n}$, for all $x,y\in A$. The permutation $\varphi$ is called a skew-morphism of $A$ and has already been extensively studied. One of the main contributions of the present paper is the recognition of the importance of the function $Π$, which we call the extended power function associated with $\varphi$. We show that {\em every} cyclic complementary extension of $A$ is determined and can be constructed from a skew-morphism $\varphi$ of $A$ and an extended power function $Π$ associated with $\varphi$. As an application, we present a classification of cyclic complementary extensions of cyclic groups obtained using skew-morphisms which are group automorphisms.
Towards the classification of finite-dimensional diagonally graded commutative algebras
Published
• View Publication
• BIB
Any finite-dimensional commutative (associative) graded algebra with all nonzero homogeneous subspaces one-dimensional is defined by a symmetric coefficient matrix. This algebraic structure gives a basic kind of $A$-graded algebras originally studied by Arnold. In this paper, we call them diagonally graded commutative algebras (DGCAs) and verify that the isomorphism classes of DGCAs of dimension $\leq 7$ over an arbitrary field are in bijection with the equivalence classes consisting of coefficient matrices with the same distribution of nonzero entries, while dramatically there may be infinitely many isomorphism classes of dimension $n$ corresponding to one equivalence class of coefficient matrices when $n\geq 8$.
Furthermore, we adopt the Skjelbred-Sund method of central extensions to study the isomorphism classes of DGCAs, and associate any DGCA with a undirected simple graph to explicitly describe its corresponding second (graded) commutative cohomology group as an affine variety.
Climbing up a random subgraph of the hypercube
Published
• View Publication
• BIB
Let $Q^d$ be the $d$-dimensional binary hypercube. We say that $P=\{v_1,\ldots, v_k\}$ is an increasing path of length $k-1$ in $Q^d$, if for every $i\in [k-1]$ the edge $v_iv_{i+1}$ is obtained by switching some zero coordinate in $v_i$ to a one coordinate in $v_{i+1}$.
Form a random subgraph $Q^d_p$ by retaining each edge in $E(Q^d)$ independently with probability $p$. We show that there is a phase transition with respect to the length of a longest increasing path around $p=\frac{e}{d}$. Let $α$ be a constant and let $p=\fracα{d}$. When $α<e$, then there exists a $δ\in [0,1)$ such that whp a longest increasing path in $Q^d_p$ is of length at most $δd$. On the other hand, when $α>e$, whp there is a path of length $d-2$ in $Q^d_p$, and in fact, whether it is of length $d-2, d-1$, or $d$ depends on whether the all-zero and all-one vertices percolate or not.
Simplifying modular lattices by removing doubly irreducible elements
Published in Australas. J. Combin. 92 (2025) 49-64
• Search Publication
Lattices are simplified by removing some of their doubly irreducible elements, resulting in smaller lattices called racks. All vertically indecomposable modular racks of $n \le 40$ elements are listed, and the numbers of all modular lattices of $n \le 40$ elements are obtained by Pólya counting. SageMath code is provided that allows easy access both to the listed racks, and to the modular lattices that were not listed. More than 3000-fold savings in storage space are demonstrated.
Recognizing trees from incomplete decks
Published
• View Publication
• BIB
For a given graph, the unlabeled subgraphs $G-v$ are called the cards of $G$ and the deck of $G$ is the multiset $\{G-v: v \in V(G)\}$. Wendy Myrvold [Ars Combinatoria, 1989] showed that a non-connected graph and a connected graph both on $n$ vertices have at most $\lfloor \frac{n}{2} \rfloor +1$ cards in common and she found (infinite) families of trees and non-connected forests for which this upper bound is tight. Bowler, Brown, and Fenner [Journal of Graph Theory, 2010] conjectured that this bound is tight for $n \geq 44$. In this article, we prove this conjecture for sufficiently large $n$. The main result is that a tree $T$ and a unicyclic graph $G$ on $n$ vertices have at most $\lfloor \frac{n}{2} \rfloor+1$ common cards. Combined with Myrvold's work this shows that it can be determined whether a graph on $n$ vertices is a tree from any $\lfloor \frac{n}{2}\rfloor+2$ of its cards.
Based on this theorem, it follows that any forest and non-forest also have at most $\lfloor \frac{n}{2} \rfloor +1$ common cards. Moreover, we have classified all except finitely many pairs for which this bound is strict. Furthermore, the main ideas of the proof for trees are used to show that the girth of a graph on $n$ vertices can be determined based on any $\frac{2n}{3} +1$ of its cards. Lastly, we show that any $\frac{5n}{6} +2$ cards determine whether a graph is bipartite.
On pyramidal groups whose number of involutions is a prime power
A Kirkman Triple System $Γ$ is called $m$-pyramidal if there exists a subgroup $G$ of the automorphism group of $Γ$ that fixes $m$ points and acts regularly on the other points. Such group $G$ admits a unique conjugacy class $C$ of involutions (elements of order $2$) and $|C|=m$. We call groups with this property $m$-pyramidal. We prove that, if $m$ is an odd prime power $p^k$, with $p \neq 7$, then every $m$-pyramidal group is solvable if and only if either $m=9$ or $k$ is odd. The primitive permutation groups play an important role in the proof. We also determine the orders of the $m$-pyramidal groups when $m$ is a prime number.
Packing even directed circuits quarter-integrally
Published
• View Publication
• BIB
We prove the existence of a computable function $f\colon\mathbb{N}\to\mathbb{N}$ such that for every integer $k$ and every digraph $D$ either contains a collection $\mathcal{C}$ of $k$ directed cycles of even length such that no vertex of $D$ belongs to more than four cycles in $\mathcal{C}$, or there exists a set $S\subseteq V(D)$ of size at most $f(k)$ such that $D-S$ has no directed cycle of even length. Moreover, we provide an algorithm that finds one of the two outcomes of this statement in time $g(k)n^{\mathcal{O}(1)}$ for some computable function $g\colon \mathbb{N}\to\mathbb{N}$.
Our result unites two deep fields of research from the algorithmic theory for digraphs: The study of the Erdős-Pósa property of digraphs and the study of the Even Dicycle Problem. The latter is the decision problem which asks if a given digraph contains an even dicycle and can be traced back to a question of Pólya from 1913. It remained open until a polynomial time algorithm was finally found by Robertson, Seymour, and Thomas (Ann. of Math. (2) 1999) and, independently, McCuaig (Electron. J. Combin. 2004; announced jointly at STOC 1997). The Even Dicycle Problem is equivalent to the recognition problem of Pfaffian bipartite graphs and has applications even beyond discrete mathematics and theoretical computer science. On the other hand, Younger's Conjecture (1973), states that dicycles have the Erdős-Pósa property. The conjecture was proven more than two decades later by Reed, Robertson, Seymour, and Thomas (Combinatorica 1996) and opened the path for structural digraph theory as well as the algorithmic study of the directed feedback vertex set problem. Our approach builds upon the techniques used to resolve both problems and combines them into a powerful structural theorem that yields further algorithmic applications for other prominent problems.
Using a Grassmann graph to recover the underlying projective geometry
Published in Graphs and Combinatorics 40, 88 (2024)
• View Publication
• BIB
Let $n,k$ denote integers with $n>2k\geq 6$. Let $\mathbb{F}_q$ denote a finite field with $q$ elements, and let $V$ denote a vector space over $\mathbb{F}_q$ that has dimension $n$. The projective geometry $P_q(n)$ is the partially ordered set consisting of the subspaces of $V$; the partial order is given by inclusion. For the Grassmann graph $J_q(n,k)$ the vertex set consists of the $k$-dimensional subspaces of $V$. Two vertices of $J_q(n,k)$ are adjacent whenever their intersection has dimension $k-1$. The graph $J_q(n,k)$ is known to be distance-regular. Let $\partial$ denote the path-length distance function of $J_q(n,k)$. Pick two vertices $x,y$ in $J_q(n,k)$ such that $1<\partial(x,y)<k$. The set $P_q(n)$ contains the elements $x,y,x\cap y,x+y$. In our main result, we describe $x\cap y$ and $x+y$ using only the graph structure of $J_q(n,k)$. To achieve this result, we make heavy use of the Euclidean representation of $J_q(n,k)$ that corresponds to the second largest eigenvalue of the adjacency matrix.
On the saturation spectrum of the unions of disjoint cycles
Published
• View Publication
• BIB
Let $G$ be a graph and $\mathcal{H}$ be a family of graphs. We say $G$ is $\mathcal{H}$-saturated if $G$ does not contain a copy of $H$ with $H\in\mathcal{H}$, but the addition of any edge $e\notin E(G)$ creates at least one copy of some $H\in\mathcal{H}$ within $G+e$. The saturation number of $\mathcal{H}$ is the minimum size of an $\mathcal{H}$-saturated graph on $n$ vertices, and the saturation spectrum of $\mathcal{H}$ is the set of all possible sizes of an $\mathcal{H}$-saturated graph on $n$ vertices. Let $k\mathcal{C}_{\ge 3}$ be the family of the unions of $k$ vertex-disjoint cycles. In this note, we completely determine the saturation number and the saturation spectrum of $k\mathcal{C}_{\ge 3}$ for $k=2$ and give some results for $k\ge 3$.
An explicit construction for large sets of infinite dimensional $q$-Steiner systems
Published
• View Publication
• BIB
Let $V$ be a vector space over the finite field ${\mathbb F}_q$. A $q$-Steiner system, or an $S(t,k,V)_q$, is a collection ${\mathcal B}$ of $k$-dimensional subspaces of $V$ such that every $t$-dimensional subspace of $V$ is contained in a unique element of ${\mathcal B}$. A large set of $q$-Steiner systems, or an $LS(t,k,V)_q$, is a partition of the $k$-dimensional subspaces of $V$ into $S(t,k,V)_q$ systems. In the case that $V$ has infinite dimension, the existence of an $LS(t,k,V)_q$ for all finite $t,k$ with $1<t<k$ was shown by Cameron in 1995. This paper provides an explicit construction of an $LS(t,t+1,V)_q$ for all prime powers $q$, all positive integers $t$, and where $V$ has countably infinite dimension.
Local certification of geometric graph classes
Published in 49th International Symposium on Mathematical Foundations of Computer Science (MFCS 2024)
• View Publication
• BIB
The goal of local certification is to locally convince the vertices of a graph $G$ that $G$ satisfies a given property. A prover assigns short certificates to the vertices of the graph, then the vertices are allowed to check their certificates and the certificates of their neighbors, and based only on this local view, they must decide whether $G$ satisfies the given property. If the graph indeed satisfies the property, all vertices must accept the instance, and otherwise at least one vertex must reject the instance (for any possible assignment of certificates). The goal is to minimize the size of the certificates.
In this paper we study the local certification of geometric and topological graph classes. While it is known that in $n$-vertex graphs, planarity can be certified locally with certificates of size $O(\log n)$, we show that several closely related graph classes require certificates of size $Ω(n)$. This includes penny graphs, unit-distance graphs, (induced) subgraphs of the square grid, 1-planar graphs, and unit-square graphs. These bounds are tight up to a constant factor and give the first known examples of hereditary (and even monotone) graph classes for which the certificates must have linear size. For unit-disk graphs we obtain a lower bound of $Ω(n^{1-δ})$ for any $δ>0$ on the size of the certificates, and an upper bound of $O(n \log n)$. The lower bounds are obtained by proving rigidity properties of the considered graphs, which might be of independent interest.
Mirković-Vilonen Polytopes from Combinatorics
Mirković-Vilonen (MV) polytopes are a class of generalized permutahedra originating from geometric representation theory. In this paper we study MV polytopes coming from matroid polytopes, flag matroid polytopes, Bruhat interval polytopes, and Schubitopes. We give classifications and combinatorial conditions for when these polytopes are MV polytopes. We also describe how the crystal structure on MV polytopes manifests combinatorially in these situations. As a special case, we show that the Newton polytopes of Schubert polynomials and key polynomials are MV polytopes.