Showing 20 papers (Total: 82797 papers, 47838 authors in database)
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.
Dominant tournament families
Published
• View Publication
• BIB
For a tournament $H$ with $h$ vertices, its typical density is $h!2^{-\binom{h}{2}}/aut(H)$, i.e. this is the expected density of $H$ in a random tournament. A family ${\mathcal F}$ of $h$-vertex tournaments is {\em dominant} if for all sufficiently large $n$, there exists an $n$-vertex tournament $G$ such that the density of each element of ${\mathcal F}$ in $G$ is larger than its typical density by a constant factor. Characterizing all dominant families is challenging already for small $h$. Here we characterize several large dominant families for every $h$. In particular, we prove the following for all $h$ sufficiently large: (i) For all tournaments $H^*$ with at least $5\log h$ vertices, the family of all $h$-vertex tournaments that contain $H^*$ as a subgraph is dominant. (ii) The family of all $h$-vertex tournaments whose minimum feedback arc set size is at most $\frac{1}{2}\binom{h}{2}-h^{3/2}\sqrt{\ln h}$ is dominant. For small $h$, we construct a dominant family of $6$ (i.e. $50\%$ of the) tournaments on $5$ vertices and dominant families of size larger than $40\%$ for $h=6,7,8,9$. For all $h$, we provide an explicit construction of a dominant family which is conjectured to obtain an absolute constant fraction of the tournaments on $h$ vertices. Some additional intriguing open problems are presented.
On subgroup perfect codes in Cayley graphs
Published
• View Publication
• BIB
A perfect code in a graph $Γ= (V, E)$ is a subset $C$ of $V$ such that no two vertices in $C$ are adjacent and every vertex in $V \setminus C$ is adjacent to exactly one vertex in $C$. A subgroup $H$ of a group $G$ is called a subgroup perfect code of $G$ if there exists a Cayley graph of $G$ which admits $H$ as a perfect code. Equivalently, $H$ is a subgroup perfect code of $G$ if there exists an inverse-closed subset $A$ of $G$ containing the identity element such that $(A, H)$ is a tiling of $G$ in the sense that every element of $G$ can be uniquely expressed as the product of an element of $A$ and an element of $H$. In this paper we obtain multiple results on subgroup perfect codes of finite groups, including a few necessary and sufficient conditions for a subgroup of a finite group to be a subgroup perfect code, a few results involving $2$-subgroups in the study of subgroup perfect codes, and several results on subgroup perfect codes of metabelian groups, generalized dihedral groups, nilpotent groups and $2$-groups.