Showing 20 papers (Total: 84460 papers, 48641 authors in database)
On the Thue-Vinogradov Lemma
Published
• View Publication
• BIB
We prove an extension of the Thue-Vinogradov Lemma and show some applications. This paper is another example for the application of the polynomial method.
Confluence in Labeled Chip-Firing
Published
• View Publication
• BIB
In 2016, Hopkins, McConville, and Propp proved that labeled chip-firing on a line always leaves the chips in sorted order if the number of chips is even. We present a novel proof of this result. We then apply our methods to resolve a number of related conjectures concerning the confluence of labeled chip-firing systems.
The Farey graph is uniquely determined by its connectivity
Published
• View Publication
• BIB
We show that, up to minor-equivalence, the Farey graph is the unique minor-minimal graph that is infinitely edge-connected but such that every two vertices can be finitely separated.
Sets Arising as Minimal Additive Complements in the Integers
Published
• View Publication
• BIB
A subset $C$ of an abelian group $G$ is a minimal additive complement to $W \subseteq G$ if $C + W = G$ and if $C' + W \neq G$ for any proper subset $C' \subset C$. In this paper, we study which sets of integers arise as minimal additive complements. We confirm a conjecture of Kwon, showing that bounded-below sets with arbitrarily large gaps arise as minimal additive complements. Moreover, our construction shows that any such set belongs to a co-minimal pair, strengthening a result of Biswas and Saha for lacunary sequences. We bound the upper and lower Banach density of syndetic sets that arise as minimal additive complements to finite sets. We provide some necessary conditions for an eventually periodic set to arise as a minimal additive complement and demonstrate that these necessary conditions are also sufficient for certain classes of eventually periodic sets. We conclude with several conjectures and questions concerning the structure of minimal additive complements.
$C$-differential bent functions and perfect nonlinearity
Drawing inspiration from Nyberg's paper~\cite{Nyb91} on perfect nonlinearity and the $c$-differential notion we defined in~\cite{EFRST20}, in this paper we introduce the concept of $c$-differential bent functions in two different ways (thus extending Kumar et al.~\cite{Ku85} classical definition). We further extend the notion of perfect $c$-nonlinear introduced in~\cite{EFRST20}, also in two different ways, and show that, in both cases, the concepts of $c$-differential bent and perfect $c$-nonlinear are equivalent (under some natural restriction of the parameters). Some constructions of functions with these properties are also provided; one such construction provides a large class of PcN functions with respect to all $c$ in some subfield of the field under consideration. We also show that both our classes of $0$-differential bents are supersets of permutation polynomials, and that Maiorana-McFarland bent functions are not differential bent (of the first kind).
On the independent set sequence of a tree
Published
• View Publication
• BIB
Alavi, Malde, Schwenk and Erdős asked whether the independent set sequence of every tree is unimodal. Here we make some observations about this question. We show that for the uniformly random (labelled) tree, asymptotically almost surely (a.a.s.) the initial approximately 49.5\% of the sequence is increasing while the terminal approximately 38.8\% is decreasing. Our approach uses the Matrix Tree Theorem, combined with computation. We also present a generalization of a result of Levit and Mandrescu, concerning the final one-third of the independent set sequence of a König-Egerváry graph.
A Survey of $q$-Whittaker polynomials
Exploiting the fact that the $q$-Whittaker polynomials arise as a specialization of the (modified) Macdonald polynomials, we derive some of their basic properties, and explore interesting identities that they satisfy. We also show how they arise as graded Frobenius characteristics of $§_n$-modules, and give a combinatorial approach to associated Pieri formulas.
Analogues of Katona's and Milner's Theorems for two families
Published in Discrete Math. 344 (2021) Article 112327
• View Publication
• BIB
Let $n>s>0$ be integers, $X$ an $n$-element set and $\mathscr{A}, \mathscr{B}\subset 2^X$ two families. If $|A\cup B|\le s$ for all $A\in\mathscr{A}, B\in \mathscr{B}$, then $\mathscr{A}$ and $\mathscr{B}$ are called cross $s$-union. Assuming that neither $\mathscr{A}$ nor $\mathscr{B}$ is empty, we prove several best possible bounds. In particular, we show that $|\mathscr{A}|+|\mathscr{B}|\le 1+\sum\limits_{0\le i\le s}{{n}\choose{i}}$. Supposing $n\ge 2s$ and $\mathscr{A},\mathscr{B}$ are antichains, we show that $|\mathscr{A}|+|\mathscr{B}|\le {{n}\choose{1}}+{{n}\choose{s-1}}$ unless $\mathscr{A}=\{\emptyset\}$ or $\mathscr{B}=\{\emptyset\}$. An analogous result for three families is established as well.
Unimodality of the Expectation of Betti Numbers for Bernoulli Random Quota Complexes
We study certain random simplicial complexes, called random quota complexes. A quota complex on $N+1$ weighted vertices is constructed by adding an $n$-simplex if the sum of the weights of the vertices is below a given quota, $q$. In this paper, the weights of the vertices are chosen i.i.d. with a Bernoulli distribution. The main result of this paper is that the expectation of the $m^{\textrm{th}}$ Betti number, i.e., the dimension of the $m^{\textrm{th}}$ homology group, is unimodal in $m$.
Competitively orientable complete multipartite graphs
Published
• View Publication
• BIB
We say that a digraph $D$ is competitive if any pair of vertices has a common out-neighbor in $D$ and that a graph $G$ is competitively orientable if there exists a competitive orientation of $G$. The notion of competitive digraphs arose while studying digraph whose competition graphs are complete. We derive some useful properties of competitively orientable graphs and show that a complete graph of order $n$ is competitively orientable if and only if $n \geq 7$. Then we completely characterize a competitively orientable complete multipartite graph in terms of the sizes of its partite sets. Moreover, we present a way to build a competitive multipartite tournament in each of competitively orientable cases.
Graphs with the edge metric dimension smaller than the metric dimension
Published
• View Publication
• BIB
Given a connected graph $G$, the metric (resp. edge metric) dimension of $G$ is the cardinality of the smallest ordered set of vertices that uniquely identifies every pair of distinct vertices (resp. edges) of $G$ by means of distance vectors to such a set. In this work, we settle three open problems on (edge) metric dimension of graphs. Specifically, we show that for every $r,t\ge 2$ with $r\ne t$, there is $n_0$, such that for every $n\ge n_0$ there exists a graph $G$ of order $n$ with metric dimension $r$ and edge metric dimension $t$, which among other consequences, shows the existence of infinitely many graph whose edge metric dimension is strictly smaller than its metric dimension. In addition, we also prove that it is not possible to bound the edge metric dimension of a graph $G$ by some constant factor of the metric dimension of $G$.
Number of generators of ideals in Jordan cells of the family of graded Artinian algebras of height two
Published
• View Publication
• BIB
We let $A=R/I$ be a standard graded Artinian algebra quotient of $R={\sf k}[x,y]$, the polynomial ring in two variables over a field ${\sf k}$ by an ideal $I$, and let $n$ be its vector space dimension. The Jordan type $P_\ell$ of a linear form $\ell\in A_1$ is the partition of $n$ determining the Jordan block decomposition of the multiplication on $A$ by $\ell$ -- which is nilpotent. The first three authors previously determined which partitions of $n=\dim_{\sf k}A$ may occur as the Jordan type for some linear form $\ell$ on a graded complete intersection Artinian quotient $A=R/(f,g)$ of $R$, and they counted the number of such partitions for each complete intersection Hilbert function $T$ arXiv:1810.00716.\par
We here consider the family $\mathrm{G}_T$ of graded Artinian quotients $A=R/I$ of $R={\sf k}[x,y]$, having arbitrary Hilbert function $H(A)=T$. The Jordan cell $\mathbb V(E_P)$ corresponding to a partition $P$ having diagonal lengths $T$ is comprised of all ideals $I$ in $R$ whose initial ideal is the monomial ideal $E_P$ determined by $P$. These cells give a decomposition of the variety $\mathrm{G}_T$ into affine spaces. We determine the generic number $κ(P)$ of generators for the ideals in each cell $\mathbb V(E_P)$, generalizing a result of arXiv:1810.00716. In particular, we determine those partitions for which $κ(P)=κ(T)$, the generic number of generators for an ideal defining an algebra $A$ in $\mathrm{G}_T$. We also count the number of partitions $P$ of diagonal lengths $T$ having a given $κ(P)$. A main tool is a combinatorial and geometric result allowing us to split $T$ and any partition $P$ of diagonal lengths $T$ into simpler $T_i$ and partitions $P_i$, such that $\mathbb V(E_P)$ is the product of the cells $\mathbb V(E_{P_i})$, and $T_i$ is single-block: $\mathrm{G}_{T_i}$ is a Grassmannian.
Further progress towards Hadwiger's conjecture
In 1943, Hadwiger conjectured that every graph with no $K_t$ minor is $(t-1)$-colorable for every $t\ge 1$. In the 1980s, Kostochka and Thomason independently proved that every graph with no $K_t$ minor has average degree $O(t\sqrt{\log t})$ and hence is $O(t\sqrt{\log t})$-colorable. Recently, Norin, Song and the author showed that every graph with no $K_t$ minor is $O(t(\log t)^β)$-colorable for every $β> 1/4$, making the first improvement on the order of magnitude of the $O(t\sqrt{\log t})$ bound. Building on that work, we show in this paper that every graph with no $K_t$ minor is $O(t (\log t)^β)$-colorable for every $β> 0$. More specifically in conjunction with another paper by the author, they are $O(t \cdot (\log \log t)^{18})$-colorable.
The crosscut poset and the fixed point property
We introduce two novel ideas related to the crosscut poset and give many examples of application of these ideas to the fixed point property.
Tiling generating functions of halved hexagons and quartered hexagons
Published in Annals of Combinatorics, Volume 25, 471-493 (2021)
• View Publication
• BIB
We prove exact product formulas for the tiling generating functions of various halved hexagons and quartered hexagons with defects on boundary. Our results generalize the previous work of the first author and the work of Ciucu.
Planarity can be Verified by an Approximate Proof Labeling Scheme in Constant-Time
Published
• View Publication
• BIB
Approximate proof labeling schemes were introduced by \\Censor-Hillel, Paz and Perry \cite{CPP}. Roughly speaking, a graph property~$\cP$ can be verified by an approximate proof labeling scheme in constant-time if the vertices of a graph having the property can be convinced, in a short period of time not depending on the size of the graph, that they are having the property $\cP$ or at least they are not far from being having the property $\cP$. The main result of this paper is that bounded-degree planar graphs (and also outer-planar graphs, bounded genus graphs, knotlessly embeddable graphs etc.) can be verified by an approximate proof labeling scheme in constant-time.
Vertex Partitions into an Independent Set and a Forest with Each Component Small
Published in SIAM Journal on Discrete Math. Vol. 35(3), 2021, pp. 1769-1791
• View Publication
• BIB
For each integer k >= 2, we determine a sharp bound on mad(G) such that V(G) can be partitioned into sets I and F_k, where I is an independent set and G[F_k] is a forest in which each component has at most k vertices. For each k we construct an infinite family of examples showing our result is best possible. Our results imply that every planar graph G of girth at least 9 (resp. 8, 7) has a partition of V(G) into an independent set I and a set F such that G[F] is a forest with each component of order at most 3 (resp. 4, 6).
Hendrey, Norin, and Wood asked for the largest function g(a,b) such that if mad(G) < g(a,b) then V(G) has a partition into sets A and B such that mad(G[A]) < a and mad(G[B]) < b. They specifically asked for the value of g(1,b), i.e., the case when A is an independent set. Previously, the only values known were g(1,4/3) and g(1,2). We find g(1,b) whenever 4/3 < b < 2.
A note on the Erdős distinct subset sums problem
Published
• View Publication
• BIB
We present two short proofs giving the best known asymptotic lower bound for the maximum element in a set of $n$ positive integers with distinct subset sums.
Dot product chains
Published
• View Publication
• BIB
We study a variant of Erd\H os' unit distance problem, concerning dot products between successive pairs of points chosen from a large finite point set. Specifically, given a large finite set of $n$ points $E$, and a sequence of nonzero dot products $(α_1,\ldots,α_k)$, we give upper and lower bounds on the maximum possible number of tuples of distinct points $(A_1,\dots, A_{k+1})\in E^{k+1}$ satisfying $A_j \cdot A_{j+1}=α_j$ for every $1\leq j \leq k$.
Inclusion regions and bounds for the eigenvalues of matrices with a known eigenpair
Published
• View Publication
• BIB
Let (λ, v) be a known real eigenpair of a square real matrix A. In this paper it is shown how to locate the other eigenvalues of A in terms of the components of v. The obtained region is a union of Gershgorin discs of the second type recently introduced by the authors in a previous paper. Two cases are
considered depending on whether or not some of the components of v are equal to zero. Upper bounds are obtained, in two different ways, for the largest eigenvalue in absolute value of A other than λ. Detailed examples are provided. Although nonnegative irreducible matrices are somewhat emphasized, the main results in this paper are valid for any square real matrix.