Showing 20 papers (Total: 84360 papers, 48587 authors in database)
Minimal Ordered Ramsey Graphs
Published
• View Publication
• BIB
An ordered graph is a graph equipped with a linear ordering of its vertex set. A pair of ordered graphs is Ramsey finite if it has only finitely many minimal ordered Ramsey graphs and Ramsey infinite otherwise. Here an ordered graph F is an ordered Ramsey graph of a pair (H,H') of ordered graphs if for any coloring of the edges of F in colors red and blue there is either a copy of H with all edges colored red or a copy of H' with all edges colored blue. Such an ordered Ramsey graph is minimal if neither of its proper subgraphs is an ordered Ramsey graph of (H,H'). If H=H' then H itself is called Ramsey finite.
We show that a connected ordered graph is Ramsey finite if and only if it is a star with center being the first or the last vertex in the linear order. In general we prove that each Ramsey finite (not necessarily connected) ordered graph H has a pseudoforest as a Ramsey graph and therefore is a star forest with strong restrictions on the positions of the centers of the stars. In the asymmetric case we show that (H,H') is Ramsey finite whenever H is a so-called monotone matching. Among several further results we show that there are Ramsey finite pairs of ordered stars and ordered caterpillars of arbitrary size and diameter. This is in contrast to the unordered setting where for any Ramsey finite pair (H,H') of forests either one of H or H' is a matching or both are star forests (with additional constraints).
Several of our results give a relation between Ramsey finiteness and the existence of sparse ordered Ramsey graphs. Motivated by these relations we characterize all pairs of ordered graphs that have a forest as an ordered Ramsey graph and all pairs of connected ordered graphs that have a pseudoforest as a Ramsey graph.
Polynomial functions as splines
Published
• View Publication
• BIB
Let $V$ be a vector space over a finite field $k$. We give a condition on a subset $A \subset V$ that allows for a local criterion for checking when a function $f:A \to k$ is a restriction of a polynomial function of degree $<m$ on $V$. In particular, we show that high rank hypersurfaces of $V$ of degree $\ge m$ satisfy this condition. In addition we show that the criterion is robust (namely locally testable in the theoretical computer science jargon).
On Gabor orthonormal bases over finite prime fields
Published
• View Publication
• BIB
We study Gabor orthonormal windows in $L^2({\Bbb Z}_p^d)$ for translation and modulation sets $A$ and $B$, respectively, where $p$ is prime and $d\geq 2$. We prove that for a set $E\subset \Bbb Z_p^d$, the indicator function $1_E$ is a Gabor window if and only if $E$ tiles and is spectral. Moreover, we prove that for any function $g:\Bbb Z_p^d\to \Bbb C$ with support $E$, if the size of $E$ coincides with the size of the modulation set $B$ or if $g$ is positive, then $g$ is a unimodular function, i.e., $|g|=c1_E$, for some constant $c>0$, and $E$ tiles and is spectral. We also prove the existence of a Gabor window $g$ with full support where neither $|g|$ nor $|\hat g|$ is an indicator function and $|B|<<p^d$. We conclude the paper with an example and open questions.
Pentagons in triangle-free graphs
Published in European Journal of Combinatorics 74 (2018) 85-89
• View Publication
• BIB
For all $n\ge 9$, we show that the only triangle-free graphs on $n$ vertices maximizing the number $5$-cycles are balanced blow-ups of a 5-cycle. This completely resolves a conjecture by Erdős, and extends results by Grzesik and Hatami, Hladký, Král', Norin and Razborov, where they independently showed this same result for large $n$ and for all $n$ divisible by $5$.
The Solution of the Kadison-Singer Problem
Published
• View Publication
• BIB
These lecture notes are meant to accompany two lectures given at the CDM 2016 conference, about the Kadison-Singer Problem. They are meant to complement the survey by the same authors (along with Spielman) which appeared at the 2014 ICM. In the first part of this survey we will introduce the Kadison-Singer problem from two perspectives ($C^*$ algebras and spectral graph theory) and present some examples showing where the difficulties in solving it lie. In the second part we will develop the framework of interlacing families of polynomials, and show how it is used to solve the problem. None of the results are new, but we have added annotations and examples which we hope are of pedagogical value.
Hopf algebras for matroids over hyperfields
Published
• View Publication
• BIB
Recently, M.~Baker and N.~Bowler introduced the notion of matroids over hyperfields as a unifying theory of various generalizations of matroids. In this paper we generalize the notion of minors and direct sums from ordinary matroids to matroids over hyperfields. Using this we generalize the classical construction of matroid-minor Hopf algebras to the case of matroids over hyperfields.
Congruences modulo $4$ for Rogers--Ramanujan--Gordon type overpartitions
In a recent work, Andrews defined the singular overpartitions with the goal of presenting an overpartition analogue to the theorems of Rogers--Ramanujan type for ordinary partitions with restricted successive ranks. As a small part of his work, Andrews noted two congruences modulo $3$ for the number of singular overpartitions prescribed by parameters $k=3$ and $i=1$. It should be noticed that this number equals the number of the Rogers--Ramanujan--Gordon type overpartitions with $k=i=3$ which come from the overpartition analogue of Gordon's Rogers--Ramanujan partition theorem introduced by Chen, Sang and Shi. In this paper, we derive numbers of congruence identities modulo $4$ for the number of Rogers--Ramanujan--Gordon type overpartitions.
Restricted families of projections in vector spaces over finite fields
We study the restricted families of projections in vector spaces over finite fields. We show that there are families of random subspaces which admit a Marstrand-Mattila type projection theorem.
Sheaves and Duality in the Two-Vertex Graph Riemann-Roch Theorem
For each graph on two vertices, and each divisor on the graph in the sense of Baker-Norine, we describe a sheaf of vector spaces on a finite category whose zeroth Betti number is the Baker-Norine "Graph Riemann-Roch" rank of the divisor plus one. We prove duality theorems that generalize the Baker-Norine "Graph Riemann-Roch" Theorem.
Online coloring a token graph
Published
• View Publication
• BIB
We study a combinatorial coloring game between two players, Spoiler and Algorithm, who alternate turns. First, Spoiler places a new token at a vertex in $G$, and Algorithm responds by assigning a color to the new token. Algorithm must ensure that tokens on the same or adjacent vertices receive distinct colors. Spoiler must ensure that the token graph (in which two tokens are adjacent if and only if their distance in $G$ is at most $1$) has chromatic number at most $w$. Algorithm wants to minimize the number of colors used, and Spoiler wants to force as many colors as possible. Let $f(w,G)$ be the minimum number of colors needed in an optimal Algorithm strategy. A graph $G$ is online-perfect if $f(w,G) = w$. We give a forbidden induced subgraph characterization of the class of online-perfect graphs. When $G$ is not online-perfect, determining $f(w,G)$ seems challenging; we establish $f(w,G)$ asymptotically for some (but not all) of the minimal graphs that are not online-perfect. The game is motivated by a natural online coloring problem on the real line which remains open.
Finding Submodularity Hidden in Symmetric Difference
Published
• View Publication
• BIB
A set function $f$ on a finite set $V$ is submodular if $f(X) + f(Y) \geq f(X \cup Y) + f(X \cap Y)$ for any pair $X, Y \subseteq V$. The symmetric difference transformation (SD-transformation) of $f$ by a canonical set $S \subseteq V$ is a set function $g$ given by $g(X) = f(X \vartriangle S)$ for $X \subseteq V$,where $X \vartriangle S = (X \setminus S) \cup (S \setminus X)$ denotes the symmetric difference between $X$ and $S$. Submodularity and SD-transformations are regarded as the counterparts of convexity and affine transformations in a discrete space, respectively. However, submodularity is not preserved under SD-transformations, in contrast to the fact that convexity is invariant under affine transformations. This paper presents a characterization of SD-stransformations preserving submodularity. Then, we are concerned with the problem of discovering a canonical set $S$, given the SD-transformation $g$ of a submodular function $f$ by $S$, provided that $g(X)$ is given by a function value oracle. A submodular function $f$ on $V$ is said to be strict if $f(X) + f(Y) > f(X \cup Y) + f(X \cap Y)$ holds whenever both $X \setminus Y$ and $Y \setminus X$ are nonempty. We show that the problem is solved by using ${\rm O}(|V|)$ oracle calls when $f$ is strictly submodular, although it requires exponentially many oracle calls in general.
On Grundy total domination number in product graphs
A longest sequence $(v_1,\ldots,v_k)$ of vertices of a graph $G$ is a Grundy total dominating sequence of $G$ if for all $i$, $N(v_i) \setminus \bigcup_{j=1}^{i-1}N(v_j)\not=\emptyset$. The length $k$ of the sequence is called the Grundy total domination number of $G$ and denoted $γ_{gr}^{t}(G)$. In this paper, the Grundy total domination number is studied on four standard graph products. For the direct product we show that $γ_{gr}^t(G\times H) \geq γ_{gr}^t(G)γ_{gr}^t(H)$, conjecture that the equality always holds, and prove the conjecture in several special cases. For the lexicographic product we express $γ_{gr}^t(G\circ H)$ in terms of related invariant of the factors and find some explicit formulas for it. For the strong product, lower bounds on $γ_{gr}^t(G \boxtimes H)$ are proved as well as upper bounds for products of paths and cycles. For the Cartesian product we prove lower and upper bounds on the Grundy total domination number when factors are paths or cycles.
Parallelogram polyominoes, partially labelled Dyck paths, and the Delta conjecture (FULL VERSION)
We introduce area, bounce and dinv statistics on decorated parallelogram polyominoes, and prove that some of their q,t-enumerators match $\langle Δ_{h_m} e_{n+1},s_{k+1,1^{n-k}}\rangle$, extending in this way the work in (Aval et al. 2014). Also, we provide a bijective connection between decorated parallelogram polyominoes and decorated labelled Dyck paths, which allows us to prove the combinatorial interpretation of the coefficient $\langle Δ_{e_{m+n-k-1}}'e_{m+n},h_m h_n\rangle$ predicted by the Delta conjecture in (Haglund et al. 2015). Finally, we define a statistic pmaj on partially labelled Dyck paths, which provides another conjectural combinatorial interpretation of $Δ_{h_{\ell}}Δ_{e_{n-k-1}}'e_n$, cf. (Haglund et al. 2015).
This is the full version of (D'Adderio, Iraci 2017) arXiv:1711.03923.
Some Generalizations of Spivey's Bell Number Formula
Published in Matimyas Matematika, Vol. 40 No.1 (2017) pp. 1-12
• Search Publication
In this paper, a generalized recurrence relation for the $r$-Whitney numbers of the second kind is derived using as framework the operators $X$ and $D$ satisfying the commutation relation $DX-XD=1$. This recurrence relation is shown to be a generalization of the well-known Spivey's Bell number. Moreover, several other identities generalizing Spivey's Bell number formula are obtained.
Hypergraphic polytopes: combinatorial properties and antipode
Published in J. Comb. 10 (2019), no. 3, 515-544
• View Publication
• BIB
In an earlier paper, the first two authors defined orientations on hypergraphs. Using this definition we provide an explicit bijection between acyclic orientations in hypergraphs and faces of hypergraphic polytopes. This allows us to obtain a geometric interpretation of the coefficients of the antipode map in a Hopf algebra of hypergraphs. This interpretation differs from similar ones for a different Hopf structure on hypergraphs provided recently by Aguiar and Ardila. Furthermore, making use of the tools and definitions developed here regarding orientations of hypergraphs we provide a characterization of hypergraphs giving rise to simple hypergraphic polytopes in terms of acyclic orientations of the hypergraph. In particular, we recover this fact for the nestohedra and the hyper-permutahedra, and prove it for generalized Pitman-Stanley polytopes as defined here.
Bricks over preprojective algebras and join-irreducible elements in Coxeter groups
Published
• View Publication
• BIB
A (semi)brick over an algebra $A$ is a module $S$ such that the endomorphism ring $\operatorname{\mathsf{End}}_A(S)$ is a (product of) division algebra. For each Dynkin diagram $Δ$, there is a bijection from the Coxeter group $W$ of type $Δ$ to the set of semibricks over the preprojective algebra $Π$ of type $Δ$, which is restricted to a bijection from the set of join-irreducible elements of $W$ to the set of bricks over $Π$. This paper is devoted to giving an explicit description of these bijections in the case $Δ=\mathbb{A}_n$ or $\mathbb{D}_n$. First, for each join-irreducible element $w \in W$, we describe the corresponding brick $S(w)$ in terms of "Young diagram-like" notation. Next, we determine the canonical join representation $w=\bigvee_{i=1}^m w_i$ of an arbitrary element $w \in W$ based on Reading's work, and prove that $\bigoplus_{i=1}^n S(w_i)$ is the semibrick corresponding to $w$.
Connected Vertex Cover for $(sP_1+P_5)$-Free Graphs
Published
• View Publication
• BIB
The Connected Vertex Cover problem is to decide if a graph G has a vertex cover of size at most $k$ that induces a connected subgraph of $G$. This is a well-studied problem, known to be NP-complete for restricted graph classes, and, in particular, for $H$-free graphs if $H$ is not a linear forest (a graph is $H$-free if it does not contain $H$ as an induced subgraph). It is easy to see that Connected Vertex Cover is polynomial-time solvable for $P_4$-free graphs. We continue the search for tractable graph classes: we prove that it is also polynomial-time solvable for $(sP_1+P_5)$-free graphs for every integer $s\geq 0$.
Notes on complexity of packing coloring
Published in Information Processing Letters 137 (2018) 6-10
• View Publication
• BIB
A packing $k$-coloring for some integer $k$ of a graph $G=(V,E)$ is a mapping
$\varphi:V\to\{1,\ldots,k\}$ such that any two vertices $u, v$ of color $\varphi(u)=\varphi(v)$ are in distance at least $\varphi(u)+1$. This concept is motivated by frequency assignment problems. The \emph{packing chromatic number} of $G$ is the smallest $k$ such that there exists a packing $k$-coloring of $G$.
Fiala and Golovach showed that determining the packing chromatic number for chordal graphs is \NP-complete for diameter exactly 5. While the problem is easy to solve for diameter 2, we show \NP-completeness for any diameter at least 3. Our reduction also shows that the packing chromatic number is hard to approximate within $n^{{1/2}-\varepsilon}$ for any $\varepsilon > 0$.
In addition, we design an \FPT algorithm for interval graphs of bounded diameter. This leads us to exploring the problem of finding a partial coloring that maximizes the number of colored vertices.
Jónsson posets
Published
• View Publication
• BIB
According to Kearnes and Oman (2013), an ordered set $P$ is \emph{Jónsson} if it is infinite and the cardinality of every proper initial segment of $P$ is strictly less than the cardinaliy of $P$. We examine the structure of Jónsson posets.
A syntactic approach to the MacNeille completion of $\boldΛ^{\ast}$, the free monoid over an ordered alphabet $\bold Λ$
Published
• View Publication
• BIB
Let $Λ^{\ast}$ be the free monoid of (finite) words over a not necessarily finite alphabet $Λ$, which is equipped with some (partial) order. This ordering lifts to $Λ^{\ast}$, where it extends the divisibility ordering of words. The MacNeille completion of $Λ^{\ast}$ constitutes a complete lattice ordered monoid and is realized by the system of "closed" lower sets in $Λ^*$ (ordered by inclusion) or its isomorphic copy formed of the "closed" upper sets (ordered by reverse inclusion). Under some additional hypothesis on $Λ$, one can easily identify the closed lower sets as the finitely generated ones, whereas it is more complicated to determine the closed upper sets. For a fairly large class of ordered sets $Λ$ (including complete lattices as well as antichains) one can generate the closure of any upper set of words by means of binary operations ( "syntactic rules") thus obtaining an efficient procedure to test closedness. Closed upper set of words are involved in an embedding theorem for valuated oriented graphs. In fact, generalized paths (so-called "zigzags") are encoded by words over an alphabet $Λ$. Then the valuated oriented graphs which are "isometrically" embeddable in a product of zigzags have the characteristic property that the words corresponding to the zigzags between any pair of vertices form a closed upper set in $Λ$.