Showing 20 papers (Total: 83076 papers, 47999 authors in database)
Arithmetic Properties of Odd Ranks and $k$-Marked Odd Durfee Symbols
Let $N^{0}(m,n)$ be the number of odd Durfee symbols of $n$ with odd rank $m$, and $N^{0}(a,M;n)$ be the number of odd Durfee symbols of $n$ with odd rank congruent to $a$ modulo $M$. We give explicit formulas for the generating functions of $N^{0}(a,M;n)$ and their $\ell$-dissections where $0\le a \le M-1$ and $M, \ell \in \{2, 4, 8\}$. From these formulas, we obtain some interesting arithmetic properties of $N^{0}(a,M;n)$. Furthermore, let $\mathcal{D}_{k}^{0}(n)$ denote the number of $k$-marked odd Durfee symbols of $n$. Andrews (2007) conjectured that $\mathcal{D}_{2}^{0}(n)$ is even if $n\equiv 4$ or 6 (mod 8) and $\mathcal{D}_{3}^{0}(n)$ is even if $n\equiv 1, 9, 11$ or 13 (mod 16). Using our results on odd ranks, we prove Andrews' conjectures.
On the Hamilton-Waterloo problem: the case of two cycles sizes of different parity
The Hamilton-Waterloo problem asks for a decomposition of the complete graph into $r$ copies of a 2-factor $F_{1}$ and $s$ copies of a 2-factor $F_{2}$ such that $r+s=\left\lfloor\frac{v-1}{2}\right\rfloor$. If $F_{1}$ consists of $m$-cycles and $F_{2}$ consists of $n$ cycles, then we call such a decomposition a $(m,n)-$HWP$(v;r,s)$. The goal is to find a decomposition for every possible pair $(r,s)$. In this paper, we show that for odd $x$ and $y$, there is a $(2^kx,y)-$HWP$(vm;r,s)$ if $\gcd(x,y)\geq 3$, $m\geq 3$, and both $x$ and $y$ divide $v$, except possibly when $1\in\{r,s\}$.
Stable regularity for relational structures
We generalize the stable graph regularity lemma of Malliaris and Shelah to the case of finite structures in finite relational languages, e.g., finite hypergraphs. We show that under the model-theoretic assumption of stability, such a structure has an equitable regularity partition of size polynomial in the reciprocal of the desired accuracy, and such that for each $k$-ary relation and $k$-tuple of parts of the partition, the density is close to either 0 or 1. In addition, we provide regularity results for finite and Borel structures that satisfy a weaker notion that we call almost stability.
New families of Hadamard matrices with maximum excess
In this paper, we find regular or biregular Hadamard matrices with maximum excess by negating some rows and columns of known Hadamard matrices obtained from quadratic residues of finite fields. In particular, we show that if either $4m^2+4m+3$ or $2m^2+2m+1$ is a prime power, then there exists a biregular Hadamard matrix of order $n=4(m^2+m+1)$ with maximum excess. Furthermore, we give a sufficient condition for Hadamard matrices obtained from quadratic residues being transformed to be regular in terms of four-class translation association schemes on finite fields.
Soliton cellular automata associated with infinite reduced words
We consider a family of cellular automata $Φ(n,k)$ associated with infinite reduced elements on the affine symmetric group $\hat S_n$, which is a tropicalization of the rational maps introduced by two of the authors. We study the soliton solutions for $Φ(n,k)$ and explore a `duality' with the $\mathfrak{sl}_n$-box-ball system.
Planar graphs without 4-cycles adjacent to triangles are DP-4-colorable
DP-coloring (also known as correspondence coloring) of a simple graph is a generalization of list coloring. It is known that planar graphs without 4-cycles adjacent to triangles are 4-choosable, and planar graphs without 4-cycles are DP-4-colorable. In this paper, we show that planar graphs without 4-cycles adjacent to triangles are DP-4-colorable, which is an extension of the two results above.
Conflict-free connection of trees
Published
• View Publication
• BIB
We study the conflict-free connection coloring of trees, which is also the conflict-free coloring of the so-called edge-path hypergraphs of trees. We first prove that for a tree $T$ of order $n$, $cfc(T)\geq cfc(P_n)=\lceil \log_{2} n\rceil$, which completely confirms the conjecture of Li and Wu. We then present a sharp upper bound for the conflict-free connection number of trees by a simple algorithm. Furthermore, we show that the conflict-free connection number of the binomial tree with $2^{k-1}$ vertices is $k-1$. At last, we study trees which are $cfc$-critical, and prove that if a tree $T$ is $cfc$-critical, then the conflict-free connection coloring of $T$ is equivalent to the edge ranking of $T$.
Topological Representation of the Transit Sets of k-Point Crossover Operators
Published
• View Publication
• BIB
$k$-point crossover operators and their recombination sets are studied from different perspectives. We show that transit functions of $k$-point crossover generate, for all $k>1$, the same convexity as the interval function of the underlying graph. This settles in the negative an open problem by Mulder about whether the geodesic convexity of a connected graph $G$ is uniquely determined by its interval function $I$. The conjecture of Gitchoff and Wagner that for each transit set $R_k(x,y)$ distinct from a hypercube there is a unique pair of parents from which it is generated is settled affirmatively. Along the way we characterize transit functions whose underlying graphs are Hamming graphs, and those with underlying partial cube graphs. For general values of $k$ it is shown that the transit sets of $k$-point crossover operators are the subsets with maximal Vapnik-Chervonenkis dimension. Moreover, the transit sets of $k$-point crossover on binary strings form topes of uniform oriented matroid of VC-dimension $k+1$. The Topological Representation Theorem for oriented matroids therefore implies that $k$-point crossover operators can be represented by pseudosphere arrangements. This provides the tools necessary to study the special case $k=2$ in detail.
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.