Showing 20 papers (Total: 83449 papers, 48190 authors in database)
Regular families of forests, antichains and duality pairs of relational structures
Homomorphism duality pairs play crucial role in the theory of relational structures and in the Constraint Satisfaction Problem. The case where both classes are finite is fully characterized. The case when both side are infinite seems to be very complex. It is also known that no finite-infinite duality pair is possible if we make the additional restriction that both classes are antichains. In this paper we characterize the infinite-finite antichain dualities and infinite-finite dualities with trees or forest on the left hand side. This work builds on our earlier papers that gave several examples of infinite-finite antichain duality pairs of directed graphs and a complete characterization for caterpillar dualities.
Online and quasi-online colorings of wedges and intervals
Published
• View Publication
• BIB
We consider proper online colorings of hypergraphs defined by geometric regions. We prove that there is an online coloring algorithm that colors $N$ intervals of the real line using $Θ(\log N/k)$ colors such that for every point $p$, contained in at least $k$ intervals, not all the intervals containing $p$ have the same color. We also prove the corresponding result about online coloring a family of wedges (quadrants) in the plane that are the translates of a given fixed wedge. These results contrast the results of the first and third author showing that in the quasi-online setting 12 colors are enough to color wedges (independent of $N$ and $k$). We also consider quasi-online coloring of intervals. In all cases we present efficient coloring algorithms.
Generalized Monotone Triangles: an extended Combinatorial Reciprocity Theorem
Published
• View Publication
• BIB
In a recent work, the combinatorial interpretation of the polynomial alpha(n;k1,k2,...,kn) counting the number of Monotone Triangles with bottom row k1 < k2 < ... < kn was extended to weakly decreasing sequences k1 >= k2 >= ... >= kn. In this case the evaluation of the polynomial is equal to a signed enumeration of objects called Decreasing Monotone Triangles. In this paper we define Generalized Monotone Triangles - a joint generalization of both ordinary Monotone Triangles and Decreasing Monotone Triangles. As main result of the paper we prove that the evaluation of alpha(n;k1,k2,...,kn) at arbitrary (k1,k2,...,kn) in Z^n is a signed enumeration of Generalized Monotone Triangles with bottom row (k1,k2,...,kn). Computational experiments indicate that certain evaluations of the polynomial at integral sequences yield well-known round numbers related to Alternating Sign Matrices. The main result provides a combinatorial interpretation of the conjectured identities and could turn out useful in giving a bijective proof.
Efficient Algorithms for Zeckendorf Arithmetic
Published
• View Publication
• BIB
We study the problem of addition and subtraction using the Zeckendorf representation of integers. We show that both operations can be performed in linear time; in fact they can be performed by combinational logic networks with linear size and logarithmic depth. The implications of these results for multiplication, division and square-root extraction are also discussed.
Solving the Ku-Wales conjecture on the eigenvalues of the derangement graph
Published
• View Publication
• BIB
We give a new recurrence formula for the eigenvalues of the derangement graph. Consequently, we provide a simpler proof of the Alternating Sign Property of the derangement graph. Moreover, we prove that the absolute value of the eigenvalue decreases whenever the corresponding partition decreases in the dominance order. In particular, this settles affirmatively a conjecture of Ku and Wales (J. of Combin. Theory, Series A 117 (2010) 289--312) regarding the lower and upper bound for the absolute values of these eigenvalues.
The asymptotic number of different rooted trees of a tree
Published
• View Publication
• BIB
Let $\mathcal{T}_n$ be the set of trees with $n$ vertices. Suppose that each tree in $\mathcal{T}_n$ is equally likely. We show that the number of different rooted trees of a tree equals $(μ_r+o(1))n$ for almost every tree of $\mathcal{T}_n$, where $μ_r$ is a constant. As an application, we show that the number of any given pattern in $\mathcal{T}_n$ is also asymptotically normally distributed with mean $\sim μ_M n$ and variance $\sim σ_M n$, where $μ_M, σ_M$ are some constants related to the given pattern. This solves an open question claimed in Kok's thesis.
The fine triangle intersections for maximum kite packings
Published
• View Publication
• BIB
In this paper the fine triangle intersection problem for a pair of maximum kite packings is investigated. Let $Fin(v)={(s,t):$ $\exists$ a pair of maximum kite packings of order $v$ intersecting in $s$ blocks and $s+t$ triangles$}$. Let $Adm(v)={(s,t): s+t\leq b_v, s,t$ are non-negative integers$}$, where $b_v=\lfloor v(v-1)/8\rfloor$. It is established that $Fin(v)= Adm(v)\setminus {(b_v-1,0),(b_v-1,1)}$ for any integer $v\equiv 0,1 ({\rm mod} 8)$ and $v\geq 8$; $Fin(v)=Adm(v)$ for any integer $v\equiv 2,3,4,5,6,7 ({\rm mod} 8)$ and $v\geq 4$.
Bounds for approximate discrete tomography solutions
Published
• View Publication
• BIB
In earlier papers we have developed an algebraic theory of discrete tomography. In those papers the structure of the functions $f: A \to \{0,1\}$ and $f: A \to \mathbb{Z}$ having given line sums in certain directions have been analyzed. Here $A$ was a block in $\mathbb{Z}^n$ with sides parallel to the axes. In the present paper we assume that there is noise in the measurements and (only) that $A$ is an arbitrary or convex finite set in $\mathbb{Z}^n$. We derive generalizations of earlier results. Furthermore we apply a method of Beck and Fiala to obtain results of he following type: if the line sums in $k$ directions of a function $h: A \to [0,1]$ are known, then there exists a function $f: A \to \{0,1\}$ such that its line sums differ by at most $k$ from the corresponding line sums of $h$.
Asymptotics for Magic Squares of Primes
Based on the work of Green, Tao and Ziegler, we give asymptotics when $N \to \infty$ for the number of $n \times n$ magic squares with their entries being prime numbers in $[0,N]$. For every $n \ge 3$ we give appropriate systems of linear forms (or equivalently basis) describing all $n \times n$ magic squares with integer entries and we calculate the complexity of these systems in the Green and Tao sense. We compute the precise asymptotics for the cases $n=3$ (complexity 3) and $n=4$ (complexity 1), and the given algorithm works for $n \ge 5$ (complexity 1). Finally, we show that the asymptotics are exactly the same if we impose that all the entries of the magic squares have to be different.
Orbits of the stabiliser group of the Segre variety product of three projective lines
Published
• View Publication
• BIB
We prove that the stabiliser group G of the Segre variety product in PG(V) of three projective lines over a field F has four orbits on singular points of PG(V), and that G has five orbits on points of PG(V) if F is finite.
The maximum cut problem on blow-ups of multiprojective spaces
Published
• View Publication
• BIB
The maximum cut problem for a quintic del Pezzo surface ${\rm Bl}_{4}(\mathbb{P}^2)$ asks: Among all partitions of the 10 exceptional curves into two disjoint sets, what is the largest possible number of pairwise intersections? In this article we show that the answer is twelve. More generally, we obtain bounds for the maximum cut problem for the minuscule varieties $X_{a,b,c}:={\rm Bl}_{b+c}(\mathbb{P}^{c-1})^{a-1}$ studied by Mukai and Castravet-Tevelev and show that these bounds are asymptotically sharp for infinite families. We prove our results by constructing embeddings of the classes of $(-1)$-divisors on these varieties which are optimal for the semidefinite relaxation of the maximum cut problem on graphs proposed by Goemans and Williamson. These results give a new optimality property of the Weyl orbits of root systems of type $A$,$D$ and $E$.
Theorems, Problems and Conjectures
These notes are designed to offer some (perhaps new) codicils to related work, a list of problems and conjectures seeking (preferably) combinatorial proofs. The main items are Eulerian polynomials and hook/contents of Young diagram, mostly on the latter. We also have items on Frobenius theorem and multi-core partitions; most recently, some problems on (what we call) colored over-partitions. Formulas analogues to or in the spirit of works by Han, Nekrasov-Okounkov and Stanley are distributed throughout. Concluding remarks are provided at the end in hopes of directing the interested researcher, properly. The newly added problem is on chromatic polynomials
Radio Labelings of Distance Graphs
A radio $k$-labeling of a connected graph $G$ is an assignment $c$ of non negative integers to the vertices of $G$ such that $$|c(x) - c(y)| \geq k+1 - d(x,y),$$ for any two vertices $x$ and $y$, $x\ne y$, where $d(x,y)$ is the distance between $x$ and $y$ in $G$. In this paper, we study radio labelings of distance graphs, i.e., graphs with the set $\Z$ of integers as vertex set and in which two distinct vertices $i, j \in \Z$ are adjacent if and only if $|i - j| \in D$.
Multiplication groups and inner mapping groups of Cayley-Dickson loops
Published
• View Publication
• BIB
The Cayley-Dickson loop Q_n is the multiplicative closure of basic elements of the algebra constructed by n applications of the Cayley-Dickson doubling process (the first few examples of such algebras are real numbers, complex numbers, quaternions, octonions, sedenions). We establish that the inner mapping group Inn(Q_n) is an elementary abelian 2-group of order 2^(2^n-2) and describe the multiplication group Mlt(Q_n) as a semidirect product of Inn(Q_n)xZ_2 and an elementary abelian 2-group of order 2^n. We prove that one-sided inner mapping groups Inn_l(Q_n) and Inn_r(Q_n) are equal, elementary abelian 2-groups of order 2^(2^(n-1)-1). We establish that one-sided multiplication groups Mlt_l(Q_n) and Mlt_r(Q_n) are isomorphic, and show that Mlt_l(Q_n) is a semidirect product of Inn_l(Q_n)xZ_2 and an elementary abelian 2-group of order 2^n.
Lyndon words and Fibonacci numbers
Published
• View Publication
• BIB
It is a fundamental property of non-letter Lyndon words that they can be expressed as a concatenation of two shorter Lyndon words. This leads to a naive lower bound log_{2}(n)} + 1 for the number of distinct Lyndon factors that a Lyndon word of length n must have, but this bound is not optimal. In this paper we show that a much more accurate lower bound is log_{phi}(n) + 1, where phi denotes the golden ratio (1 + sqrt{5})/2. We show that this bound is optimal in that it is attained by the Fibonacci Lyndon words. We then introduce a mapping L_x that counts the number of Lyndon factors of length at most n in an infinite word x. We show that a recurrent infinite word x is aperiodic if and only if L_x >= L_f, where f is the Fibonacci infinite word, with equality if and only if f is in the shift orbit closure of f.
Equitable chromatic threshold of complete multipartite graphs
A proper vertex coloring of a graph is equitable if the sizes of color classes differ by at most one. The equitable chromatic number of a graph $G$, denoted by $χ_=(G)$, is the minimum $k$ such that $G$ is equitably $k$-colorable. The equitable chromatic threshold of a graph $G$, denoted by $χ_=^*(G)$, is the minimum $t$ such that $G$ is equitably $k$-colorable for $k\ge t$. We develop a formula and a linear-time algorithm which compute the equitable chromatic threshold of an arbitrary complete multipartite graph.
Abelian powers in paper-folding words
Published in Journal of Combinatorial Theory Series A 120 (4) (2013) 872-881
• View Publication
• BIB
We show that paper folding words contain arbitrarily large abelian powers.
Progress on Dirac's Conjecture
Published in Electronic J. Combinatorics 21.2:P2.12, 2014
• View Publication
• BIB
In 1951, Gabriel Dirac conjectured that every set P of n non-collinear points in the plane contains a point in at least n/2-c lines determined by P, for some constant c. The following weakening was proved by Beck and Szemerédi-Trotter: every set P of n non-collinear points contains a point in at least n/c lines determined by P, for some large unspecified constant c. We prove that every set P of n non-collinear points contains a point in at least n/37 lines determined by P. We also give the best known constant for Beck's Theorem, proving that every set of n points with at most k collinear determines at least n(n-k)/98 lines.
Matroids of Gain Graphs in Applied Discrete Geometry
Published
• View Publication
• BIB
A G-gain graph is a graph whose oriented edges are labeled invertibly from a group G. Zaslavsky proposed two matroids of G-gain graphs, called frame matroids and lift matroids, and investigated linear representations of them. Each matroid has a canonical representation over a field F if G is isomorphic to a subgroup of F^{\times} in the case of frame matroids or G is isomorphic to an additive subgroup of F in the case of lift matroids. The canonical representation of the frame matroid of a complete graph is also known as a Dowling geometry, as it was first introduced by Dowling for finite groups.
In this paper, we extend these matroids in two ways. The first one is extending the rank function of each matroid, based on submodular functions over G. The resulting rank function generalizes that of the union of frame matroids or lift matroids. Another one is extending the canonical linear representation of the union of d copies of a frame matroid or a lift matroid, based on linear representations of G on a d-dimensional vector space. We show that linear matroids of the latter extension are indeed special cases of the first extensions, as in the relation between Dowling geometries and frame matroids. We also discuss an attempt to unify the extension of frame matroids and that of lift matroids.
This work is motivated from recent research on the combinatorial rigidity of symmetric graphs. As special cases, we give several new results on this topic, including combinatorial characterizations of the symmetry-forced rigidity of generic body-bar frameworks with point group symmetries or crystallographic symmetries and the symmetric parallel redrawability of generic bar-joint frameworks with point group symmetries or crystallographic symmetries.
There is no triangulation of the torus with vertex degrees 5, 6, ..., 6, 7 and related results: Geometric proofs for combinatorial theorems
Published in Geom. Dedicata 166:1 (2013), 15-29
• View Publication
• BIB
There is no 5,7-triangulation of the torus, that is, no triangulation with exactly two exceptional vertices, of degree 5 and 7. Similarly, there is no 3,5-quadrangulation. The vertices of a 2,4-hexangulation of the torus cannot be bicolored. Similar statements hold for 4,8-triangulations and 2,6-quadrangulations. We prove these results, of which the first two are known and the others seem to be new, as corollaries of a theorem on the holonomy group of a euclidean cone metric on the torus with just two cone points. We provide two proofs of this theorem: One argument is metric in nature, the other relies on the induced conformal structure and proceeds by invoking the residue theorem. Similar methods can be used to prove a theorem of Dress on infinite triangulations of the plane with exactly two irregular vertices. The non-existence results for torus decompositions provide infinite families of graphs which cannot be embedded in the torus.