Showing 20 papers (Total: 82311 papers, 47607 authors in database)
Menger-type connectivity of line graphs of faulty hypercubes
Published
• View Publication
• BIB
A connected graph $G$ is called strongly Menger edge connected if $G$ has min\{deg$_G(x)$, deg$_G(y)$\} edge-disjoint paths between any two distinct vertices $x$ and $y$ in $G$. In this paper, we consider two types of strongly Menger edge connectivity of the line graphs of $n$-dimensional hypercube-like networks with faulty edges, namely the $m$-edge-fault-tolerant and $m$-conditional edge-fault-tolerant strongly Menger edge connectivity. We show that the line graph of any $n$-dimensional hypercube-like network is $(2n-4)$-edge-fault-tolerant strongly Menger edge connected for $n\geq 3$ and $(4n-10)$-conditional edge-fault-tolerant strongly Menger edge connected for $n\geq 4$. The two bounds for the maximum number of faulty edges are best possible.
Tiered trees and Theta operators
Published
• View Publication
• BIB
In [Dugan-Glennon-Gunnells-Steingrimsson-2019], the authors introduce tiered trees to define combinatorial objects counting absolutely indecomposable representations of certain quivers, and torus orbits on certain homogeneous varieties. In this paper, we use Theta operators, introduced in [D'Adderio-Iraci-VandenWyngaerd-Theta-2021], to give a symmetric function formula that enumerates these trees. We then formulate a general conjecture that extends this result, a special case of which might give some insight about how to formulate a unified Delta conjecture [Haglund-Remmel-Wilson-2018].
Sub-Fibonacci behavior in numerical semigroup enumeration
Published in Comb. Theory 3(2) (2023), #10
• View Publication
• BIB
In 2013, Zhai proved that most numerical semigroups of a given genus have depth at most $3$ and that the number $n_g$ of numerical semigroups of a genus $g$ is asymptotic to $S\varphi^g$, where $S$ is some positive constant and $\varphi \approx 1.61803$ is the golden ratio. In this paper, we prove exponential upper and lower bounds on the factors that cause $n_g$ to deviate from a perfect exponential, including the number of semigroups with depth at least $4$. Among other applications, these results imply the sharpest known asymptotic bounds on $n_g$ and shed light on a conjecture by Bras-Amorós (2008) that $n_g \geq n_{g-1} + n_{g-2}$. Our main tools are the use of Kunz coordinates, introduced by Kunz (1987), and a result by Zhao (2011) bounding weighted graph homomorphisms.
Product-Coproduct Prographs and Triangulations of the Sphere
In this paper, we explain how the classical Catalan families of objects involving paths, tableaux, triangulations, parentheses configurations and more generalize canonically to a three-dimensional version. In particular, we present product-coproduct prographs as central objects explaining the combinatorics of the triangulations of the sphere. Then we expose a natural way to extend the Tamari lattice to the product-coproduct prographs.
On maximal autocorrelations of Rudin-Shapiro sequences
Published
• View Publication
• BIB
In this paper, we present an alternative proof showing that the maximal aperiodic autocorrelation of the $m$-th Rudin-Shapiro sequence is of the same order as $λ^{m}$, where $λ$ is the real root of $x^{3} + x^{2} - 2x - 4$. This result was originally proven by Allouche, Choi, Denise, Erdélyi, and Saffari (2019) and Choi (2020) using a translation of the problem into linear algebra. Our approach simplifies this linear algebraic translation and provides another method of dealing with the computations given by Choi. Additionally, we prove an analogous result for the maximal periodic autocorrelation of the $m$-th Rudin-Shapiro sequence. We conclude with a discussion on the connection between the proofs given and joint spectral radius theory, as well as a couple of conjectures on which autocorrelations are maximal.
The Three Gap Theorem and Periodic Functions
Published in Integers 22 (2022), Paper No. A21, 9 pp
• Search Publication
The Three Gap Theorem, also known as the Steinhaus Conjecture, is a classical result on the combinatorics of the fractional part function, and has since been generalized in many ways. In this paper, we pose a new problem related to these results: for which other periodic functions does an analogue of the Three Gap Theorem hold? We prove analogous results for certain classes of piecewise-linear periodic functions and demonstrate the existence of functions for which no bound exists on the number of gap lengths.
Non-very generic arrangements in low dimension
Published
• View Publication
• BIB
The discriminantal arrangement $\mathcal{B}(n,k,\mathcal{A})$ has been introduced by Manin and Schectman in 1989 and it consists of all non-generic translates of a generic arrangement $\mathcal{A}$ of n hyperplanes in a $k$-dimensional space. It is known that its combinatorics depends on the original arrangement A which, following Bayer and Brandt [3], is called very generic if the intersection lattice of the induced discriminantal arrangement has maximum cardinality, non-very generic otherwise. While a complete description of the combinatorics of $\mathcal{B}(n,k,\mathcal{A})$ when $\mathcal{A}$ is very generic is known (see [2]), very few is known in the non-very generic case. Even to provide examples of non very generic arrangements proved to be a non-trivial task (see [17]). In this paper, we characterize, classify and provide examples of non-very generic arrangements in low dimension.
The $m$-bipartite Ramsey number $BR_m(H_1,H_2)$
Published
• View Publication
• BIB
In a $(G^1,G^2)$ coloring of a graph $G$, every edge of $G$ is in $G^1$ or $G^2$. For two bipartite graphs $H_1$ and $H_2$, the bipartite Ramsey number $BR(H_1, H_2)$ is the least integer $b\geq 1$, such that for every $(G^1, G^2)$ coloring of the complete bipartite graph $K_{b,b}$, results in either $H_1\subseteq G^1$ or $H_2\subseteq G^2$. As another view, for bipartite graphs $H_1$ and $H_2$ and a positive integer $m$, the $m$-bipartite Ramsey number $BR_m(H_1, H_2)$ of $H_1$ and $H_2$ is the least integer $n$, such that every subgraph $G$ of $K_{m,n}$ results in $H_1\subseteq G$ or $H_2\subseteq \overline{G}$. The size of $m$-bipartite Ramsey number $BR_m(K_{2,2}, K_{2,2})$, the size of $m$-bipartite Ramsey number $BR_m(K_{2,2}, K_{3,3})$ and the size of $m$-bipartite Ramsey number $BR_m(K_{3,3}, K_{3,3})$ have been computed in several articles up to now. In this paper we determine the exact value of $BR_m(K_{2,2}, K_{4,4})$ for each $m\geq 2$.
On the containment $I^{(3)} \subseteq I^2$ and configurations of triple points in Böröczky line arrangements
We study sets of triple points of Böröczky's arrangements of lines in the context of the containment problem proposed by Harbourne and Huneke. We show that in the class of those arrangements, the smallest counterexample to the containment $I^{(3)} \subseteq I^2$ is obtained when the number of lines is equal to 12.
A full characterization of Bertrand numeration systems
Published
• View Publication
• BIB
Among all positional numeration systems, the widely studied Bertrand numeration systems are defined by a simple criterion in terms of their numeration languages. In 1989, Bertrand-Mathis characterized them via representations in a real base $β$. However, the given condition turns to be not necessary. Hence, the goal of this paper is to provide a correction of Bertrand-Mathis' result. The main difference arises when $β$ is a Parry number, in which case are derived two associated Bertrand numeration systems. Along the way, we define a non-canonical $β$-shift and study its properties analogously to those of the usual canonical one.
The word problem for free groups cannot be solved in linear time*
*by a standard (one-tape) Turing machine. It is well-known that the word problem for hyperbolic groups, whence in particular for free groups, can be solved in linear time. However, these algorithms run on machines more complicated than a standard Turing machine. By contrast, in this note we show that a standard Turing machine cannot solve the word problem for the free group on two generators in less than quadratic time.
Constructing graphs having Laplacian pair state transfer by an edge perturbation
In this paper, we give some sufficient conditions for graphs with an edge perturbation between twin vertices to have Laplacian perfect pair state transfer as well as Laplacian pretty good pair state transfer. By those sufficient conditions, we also construct many new graphs having Laplacian perfect pair state transfer as well as Laplacian pretty good pair state transfer.
Minimum rank and failed zero forcing number of graphs
Let $G$ be a simple, finite, and undirected graph with vertices each given an initial coloring of either blue or white. Zero forcing on graph $G$ is an iterative process of forcing its white vertices to become blue after a finite application of a specified color-change rule. We say that an initial set $S$ of blue vertices of $G$ is a zero forcing set for $G$ under the specified color-change rule if a finite number of iterations of zero forcing results to an updated coloring where all vertices of $G$ are blue. Otherwise, we say that $S$ is a failed zero forcing set for $G$ under the specified color-change rule. It is not difficult to see that any subset of a failed zero forcing set is also failed. Hence, our interest lies on the maximum possible cardinality of a failed zero forcing set, which we refer to as the failed zero forcing number of $G$. In this paper, we consider two color-change rules $-$ standard and positive semidefinite. We compute for the failed zero forcing numbers of several graph families. Furthermore, under each graph family, we characterize the graphs $G$ for which the failed zero forcing number is equal to the minimum rank of $G$.
Maximal failed zero forcing sets for products of two graphs
Let $G$ be a simple, finite graph with vertex set $V(G)$ and edge set $E(G)$, where each vertex is either colored blue or white. Define the standard zero forcing process on $G$ with the following color-change rule: let $S$ be the set of all initially blue vertices of $G$ and let $u \in S$. If $v$ is the unique white vertex adjacent to $u$ in $G$, color $v$ blue and update $S$ by adding $v$ to $S$. If $S = V(G)$ after a finite number of iterations of the color-change rule, we say that $S$ is a zero forcing set for $G$. Otherwise, we say that $S$ is a failed zero forcing set. In this paper, we construct maximal failed zero forcing sets for graph products such as Cartesian products, strong products, lexicographic products, and coronas. In particular, we consider products of two paths, two cycles, and two complete graphs.
On distribution of the depth index on perfect matchings
We study the restriction of depth index statistic on the set of perfect matchings. In particular, we provide additional combinatorial description of the statistic for perfect matchings and calculate the generating polynomial. The main result of the present short paper is that the depth index on perfect matchings is equidistributed with the rank function of the Bruhat order.
The tropical discriminant of a polynomial map on a plane
The discriminant of a polynomial map is central to problems from affine geometry and singularity theory. Standard methods for characterizing it rely on elimination techniques that can often be ineffective. This paper concerns polynomial maps on the two-dimensional torus defined over a field of Puiseux series. We present a combinatorial procedure for computing the tropical curve of the discriminant of maps determined by generic polynomials with given supports. Our results enable one to compute the Newton polytope of the discriminant of complex polynomial maps on the plane.
Congruences for sums involving products of three binomial coefficients
Let $p>3$ be a prime, and let $a$ be a rational $p$-adic integer, using WZ method we establish the congruences modulo $p^3$ for $$\sum_{k=0}^{p-1} \binom ak\binom{-1-a}k\binom{2k}k\frac {w(k)}{4^k},$$ where $$w(k)=1,\frac 1{k+1},\frac 1{(k+1)^2},\frac 1{(k+1)^3},\frac 1{2k-1},\frac 1{k+2}, \frac 1{k+3}, k,k^2,k^3,\frac 1{a+k},\frac 1{a+k-1}.$$ As consequences, taking $a=-\frac 12,-\frac 13,-\frac 14,-\frac 16$ we deduce many congruences modulo $p^3$ and so solve some conjectures posed by the author earlier.
Substructures in Latin squares
Published
• View Publication
• BIB
We prove several results about substructures in Latin squares. First, we explain how to adapt our recent work on high-girth Steiner triple systems to the setting of Latin squares, resolving a conjecture of Linial that there exist Latin squares with arbitrarily high girth. As a consequence, we see that the number of order-$n$ Latin squares with no intercalate (i.e., no $2\times2$ Latin subsquare) is at least $(e^{-9/4}n-o(n))^{n^{2}}$. Equivalently, $\mathbb{P}\left[\mathbf{N}=0\right]\ge e^{-n^{2}/4-o(n^{2})}=e^{-(1+o(1))\mathbb{E}\mathbf{N}}$, where $\mathbf{N}$ is the number of intercalates in a uniformly random order-$n$ Latin square.
In fact, extending recent work of Kwan, Sah, and Sawhney, we resolve the general large-deviation problem for intercalates in random Latin squares, up to constant factors in the exponent: for any constant $0<δ\le1$ we have $\mathbb{P}[\mathbf{N}\le(1-δ)\mathbb{E}\mathbf{N}]=\exp(-Θ(n^{2}))$ and for any constant $δ>0$ we have $\mathbb{P}[\mathbf{N}\ge(1+δ)\mathbb{E}\mathbf{N}]=\exp(-Θ(n^{4/3}\log n))$.
Finally, as an application of some new general tools for studying substructures in random Latin squares, we show that in almost all order-$n$ Latin squares, the number of cuboctahedra (i.e., the number of pairs of possibly degenerate $2\times2$ submatrices with the same arrangement of symbols) is of order $n^{4}$, which is the minimum possible. As observed by Gowers and Long, this number can be interpreted as measuring ``how associative'' the quasigroup associated with the Latin square is.
On the Cayleyness of Praeger-Xu graphs
Published in Bulletin of the Australian Mathematical Society, 106(3): 353-356 (2022)
• View Publication
• BIB
We give a sufficient and necessary condition for a Praeger-Xu graph to be a Cayley graph.
The square of a Hamilton cycle in randomly perturbed graphs
Published
• View Publication
• BIB
We investigate the appearance of the square of a Hamilton cycle in the model of randomly perturbed graphs, which is, for a given $α\in (0,1)$, the union of any $n$-vertex graph with minimum degree $αn$ and the binomial random graph $G(n,p)$. This is known when $α> 1/2$, and we determine the exact perturbed threshold probability in all the remaining cases, i.e., for each $α\le 1/2$. We demonstrate that, as $α$ ranges over the interval $(0,1)$, the threshold performs a countably infinite number of `jumps'. Our result has implications on the perturbed threshold for $2$-universality, where we also fully address all open cases.