Showing 20 papers (Total: 81680 papers, 47334 authors in database)
Orientations of graphs with at most one directed path between every pair of vertices
Given a graph $G$, we say that an orientation $D$ of $G$ is a KT orientation if, for all $u, v \in V(D)$, there is at most one directed path (in any direction) between $u$ and $v$. Graphs that admit such orientations have been used by Kierstead and Trotter (1992), Carbonero, Hompe, Moore, and Spirkl (2023), Briański, Davies, and Walczak (2024), and Girão, Illingworth, Powierski, Savery, Scott, Tamitegami, and Tan (2024) to construct graphs with large chromatic number and small clique number that served as counterexamples to various conjectures. Motivated by this, we consider which graphs admit KT orientations (named after Kierstead and Trotter). In particular, we construct a graph family with small independence number (sublinear in the number of vertices) which admits a KT orientation. We show that the problem of determining whether a given graph admits a KT orientation is NP-complete, even if we restrict ourselves to planar graphs. Finally, we provide an algorithm to decide if a graph with maximum degree at most 3 admits a KT orientation, whereas, for graphs with maximum degree 4, the problem remains NP-complete.
Toward resolving Kang and Park's generalization of the Alder-Andrews Theorem
Published
• View Publication
• BIB
The Alder-Andrews Theorem, a partition inequality generalizing Euler's partition identity, the first Rogers-Ramanujan identity, and a theorem of Schur to $d$-distinct partitions of $n$, was proved successively by Andrews in 1971, Yee in 2008, and Alfes, Jameson, and Lemke Oliver in 2010. While Andrews and Yee utilized $q$-series and combinatorial methods, Alfes et al. proved the finite number of remaining cases using asymptotics originating with Meinardus together with high-performance computing. In 2020, Kang and Park conjectured a "level $2$" Alder-Andrews type partition inequality which relates to the second Rogers-Ramanujan identity. Duncan, Khunger, the second author, and Tamura proved Kang and Park's conjecture for all but finitely many cases using a combinatorial shift identity. Here, we generalize the methods of Alfes et al. to resolve nearly all of the remaining cases of Kang and Park's conjecture.
Connecting the Stirling numbers and $k$-bonacci sums
This paper proves why the Stirling numbers show up in a experimentally determined formula for the $k$-bonaccis. We develop a bijection between a previously determined summation formula for $k$-bonaccis and an experimentally determined formula, proven algebraically.
Combinatorial transfer: a new method for constructing infinite families of nonabelian difference sets, partial difference sets, and relative difference sets
For nearly a century, mathematicians have been developing techniques for constructing abelian automorphism groups of combinatorial objects, and, conversely, constructing combinatorial objects from abelian groups. While abelian groups are a natural place to start, recent computational evidence strongly indicates that the vast majority of transitive automorphism groups of combinatorial objects are nonabelian. This observation is the guiding motivation for this paper. We propose a new method for constructing nonabelian automorphism groups of combinatorial objects, which could be called the \textit{combinatorial transfer method}, and we demonstrate its power by finding (1) the first infinite families of nonabelian Denniston partial difference sets (including nonabelian Denniston PDSs of odd order), (2) the first infinite family of Spence difference sets in groups with a Sylow 3-subgroup that is non-normal and not elementary abelian, (3) the first infinite families of McFarland difference sets in groups with a Sylow $p$-subgroup that is non-normal and is not elementary abelian, (4) new infinite families of partial difference sets in nonabelian $p$-groups with large exponent, (5) an infinite family of semiregular relative difference sets whose forbidden subgroup is nonabelian, and (6) a converse to Dillon's Dihedral Trick in the PDS setting. We hope this paper will lead to more techniques to explore this largely unexplored topic.
Kida's formula for graphs with ramifications
Published
• View Publication
• BIB
Recently Iwasawa theory for graphs is developing. A significant achievement includes an analogue of Iwasawa class number formula, which describes the asymptotic growth of the numbers of spanning trees for $\mathbb{Z}_p$-coverings of graphs. Moreover, an analogue of Kida's formula concerning the behavior of the $λ$- and $μ$-invariants is obtained for unramified coverings. In this paper, we establish Kida's formula for possibly ramified coverings.
Number of Subgraphs and Their Converses in Tournaments and New Digraph Polynomials
Published
• View Publication
• BIB
An oriented graph $D$ is converse invariant if, for any tournament $T$, the number of copies of $D$ in $T$ is equal to that of its converse $-D$. El Sahili and Ghazo Hanna [J. Graph Theory 102 (2023), 684-701] showed that any oriented graph $D$ with maximum degree at most 2 is converse invariant. They proposed a question: Can we characterize all converse invariant oriented graphs?
In this paper, we introduce a digraph polynomial and employ it to give a necessary condition for an oriented graph to be converse invariant. This polynomial serves as a cornerstone in proving all the results presented in this paper. In particular, we characterize all orientations of trees with diameter at most 3 that are converse invariant. We also show that all orientations of regular graphs are not converse invariant if $D$ and $-D$ have different degree sequences. In addition, in contrast to the findings of El Sahili and Ghazo Hanna, we prove that every connected graph $G$ with maximum degree at least $3$, admits an orientation $D$ of $G$ such that $D$ is not converse invariant. We pose one conjecture.
Major Index on Catalan Combinatorics
We study the two statistics, the inversion number and the major index, on Catalan combinatorial objects such as $r$-Dyck paths, $r$-Stirling permutations, non-crossing partitions, Dyck tilings, and symmetric Dyck paths. We show that they are equidistributed with the inversion number or the major index on Dyck paths.
Convex hull lattices point generated
The simplest way to generate a lattice of convex sets is to consider an initial set of points and draw segments, triangles, and any convex hull from it, then intersect them to obtain new points, and so forth. The result is an infinite lattice for most sets, while only a few initial sets of points perform a finite lattice. By giving an adequate notion of the configuration of points, we identify which sets in the plane define a finite convex hull lattice: four regular families and one sporadic configuration. We explore configurations in the space and higher dimensions.
On the Boundary of the Harter-Heighway dragon curve
In this article we apply an L-system to prove a recurrence formula for the length of the boundary of iterands of the well known Harter-Heighway dragon curve, a space filling curve with fractal boundary. This leads to finding formulas for related sequences of certain binary strings and ternary matrices. This proves some long standing conjectures for the recurrence relation for the number of terms in the boundary of the dragon curve, first stated in unpublished work Daykin and Tucker in 1975.
Improving the Caro-Wei bound and applications to Turán stability
Published in Discrete Applied Mathematics. Volume 358, 15 December 2024, Pages 33-43
• View Publication
• BIB
We prove that if $G$ is a graph and $f(v) \leq 1/(d(v) + 1/2)$ for each $v\in V(G)$, then either $G$ has an independent set of size at least $\sum_{v\in V(G)}f(v)$ or $G$ contains a clique $K$ such that $\sum_{v\in K}f(v) > 1$. This result implies that for any $σ\leq 1/2$, if $G$ is a graph and every clique $K\subseteq V(G)$ has at most $(1 - σ)(|K| - σ)$ simplicial vertices, then $α(G) \geq \sum_{v\in V(G)} 1 / (d(v) + 1 - σ)$. Letting $σ= 0$ implies the famous Caro-Wei Theorem, and letting $σ= 1/2$ implies that if fewer than half of the vertices in each clique of $G$ are simplicial, then $α(G) \geq \sum_{v\in V(G)}1/(d(v) + 1/2)$, which is tight for the 5-cycle. When applied to the complement of a graph, this result implies the following new Tur\' an stability result. If $G$ is a $K_{r + 1}$-free graph with more than $(1 - 1/r)n^2/2 - n/4$ edges, then $G$ contains an independent set $I$ such that at least half of the vertices in $I$ are complete to $G - I$. Applying this stability result iteratively provides a new proof of the stability version of Tur\' an's Theorem in which $K_{r + 1}$-free graphs with close to the extremal number of edges are $r$-partite.
Distance Reconstruction of Sparse Random Graphs
In the distance query model, we are given access to the vertex set of a $n$-vertex graph $G$, and an oracle that takes as input two vertices and returns the distance between these two vertices in $G$. We study how many queries are needed to reconstruct the edge set of $G$ when $G$ is sampled according to the $G(n,p)$ Erdős-Renyi-Gilbert distribution. Our approach applies to a large spectrum of values for $p$ starting slightly above the connectivity threshold: $p \geq \frac{2000 \log n}{n}$. We show that there exists an algorithm that reconstructs $G \sim G(n,p)$ using $O( Δ^2 n \log n )$ queries in expectation, where $Δ$ is the expected average degree of $G$. In particular, for $p \in [\frac{2000 \log n}{n}, \frac{\log^2 n}{n}]$ the algorithm uses $O(n \log^5 n)$ queries.
An Erdős-Ko-Rado type theorem for subgraphs of perfect matchings
Published
• View Publication
• BIB
Let $M_k$ be a $2n$-vertex graph with $n$ pairwise disjoint edges and let $\mathcal{H}^{(p,s)}(n)$ be the family of subsets of $V(M_n)$ that span exactly $p$ edges and $s$ isolated vertices. We prove that for $n\ge 2p+s$ this family has the Erdős--Ko--Rado property: the size of the largest intersecting family equals to the number of sets containing a fixed vertex. The bound $n\ge 2p+s$ is the best possible, improving a recent theorem with $n\ge 2p+2s$ by Fuentes and Kamat.
Authenticated partial correction over AV-MACs: toward characterization and coding
Published
• View Publication
• BIB
In this paper we study $γ$ partial correction over a $t$-user arbitrarily varying multiple-access channel (AV-MAC). We first present necessary channel conditions for the $γ$ partially correcting authentication capacity region to have nonempty interior. We then give a block length extension scheme which preserves positive rate tuples from a short code with zero probability of $γ$ partial correction error, noting that the flexibility of $γ$ partial correction prevents pure codeword concatenation from being successful. Finally, we offer a case study of a particular AV-MAC satisfying the necessary conditions for partial correction.
Noncrossing arithmetic
Higher-order notions of Kreweras complementation have appeared in the literature in the works of Krawczyk, Speicher, Mastnak, Nica, Arizmendi, Vargas, and others. While the theory has been developed primarily for specific applications in free probability, it also possesses an elegant, purely combinatorial core that is of independent interest. The present article aims at offering a simple account of various aspects of higher-order Kreweras complementation on the basis of elementary arithmetic, (co)algebraic, categorical and simplicial properties of noncrossing partitions. The main idea is to consider noncrossing partitions as providing an interesting noncommutative analogue of the interplay between the divisibility poset and the multiplicative monoid of positive integers. Just as the divisibility poset can be regarded as the decalage of the multiplicative monoid, we exhibit the lattice of noncrossing partitions as the decalage of a partial monoid structure on noncrossing partitions encoding higher-order Kreweras complements. While our results may be considered familiar, several of the viewpoints can be regarded as novel, offering an efficient approach both conceptually and computationally.
von Neumann and Newman Pokers with Finite Decks
Published
• View Publication
• BIB
John von Neumann studied a simplified version of poker where the "deck" consists of infinitely many cards, in fact, all real numbers between $0$ and $1$. We harness the power of computation, both numeric and symbolic, to investigate analogs with finitely many cards. We also study finite analogs of a simplified poker introduced by D.J. Newman, and conclude with a thorough investigation, fully implemented in Maple, of the three-player game, doing both the finite and the infinite versions. This paper is accompanied by two Maple packages and numerous output files.
On upper bounds of frieze patterns
Published
• View Publication
• BIB
In this note, we show that the sequence of maximum values in frieze patterns of type $A_n$ is the sequence of Fibonacci numbers, and that of frieze patterns of type $C_n$ is the sequence of odd Fibonacci numbers.
Non commutative multidimensional stronger Central Sets Theorem
Hindman's theorem and van der Waerden's theorem are two classical Ramsey theoretic results, the first one deals with finite configurations and the second one deals with infinite configurations. The Central Sets Theorem due to Furstenberg is a strong simultaneous extension of both theorems, which also applies to general commutative semigroups. Beiglboeck provided a common extension of the Central Sets Theorem and Milliken-Taylor Theorem in commutative case. Furstenberg's original Central Sets Theorem was proved in \cite{key-2} for $\left(\mathbb{N},+\right)$ for finitely many sequences at a time. Bergelson and Hindman provided a non commutative version of this Theorem \cite{key-3}. The first author of this article jointly with Hindman and Straus provided a non-commutative version of Central Sets Theorem using arbitrary many sequence at a time \cite{key-5}. In this work we will provide a non-commutative extension of Beiglboeck's Theorem. We also provide polynomial generalization of Beiglbock's theorem.
Compatibility of Real-Rooted Polynomials with Mixed Signs
We characterize compatible families of real-rooted polynomials, allowing both positive and negative leading coefficients. Our characterization naturally generalizes the same-sign characterization used by Chudnovsky and Seymour in their famous 2007 paper proving the real-rootedness of independence polynomials of claw-free graphs, thus fully settling a question left open in their paper. Our methods are generally speaking elementary, utilizing mainly linear algebra and the established theory of interlacing polynomials, with a bit of invariant theory.
Some $3$-designs invariant under $2.PΣL(2,49).$
We construct a ternary [49,25,7] code from the row span of a Jacobsthal matrix. It is equivalent to a Generalized Quadratic Residue (GQR) code in the sense of van Lint and MacWilliams (1978). These codes are the abelian generalizations of the quadratic residue (QR) codes which are cyclic. The union of the [50,25,8] extension of the said code and its dual supports a 3-(50,14,1248) design. The automorphism group of the latter design is a double cover of the permutation part of the automorphism group of the [50,25,8] code, which is isomorphic to $PΣL(2,49).$ Other weights in this code, other GQR codes, and other QR codes yield other 3-designs by the same process. A simple group action argument is provided to explain this behaviour of isodual codes.
Operational Umbral Calculus
In this paper, we investigate the power of nearly purely operational techniques in the study of umbral calculus. We present a concise reconstruction of the theory based on a systematic use of linear operators, with particular attention to umbral operators. We also give an in-depth study of the generating functions associated to umbral calculus, and show how these lead to short proofs of several advanced results, including the Lagrange-Bürmann inversion theorem. Finally, we discuss pseudoinverses for delta operators and illustrate our methods with a variety of examples.