Showing 20 papers (Total: 83076 papers, 47999 authors in database)
Backward induction in presence of cycles
Published
• View Publication
• BIB
For the classical backward induction algorithm, the input is an arbitrary $n$-person positional game with perfect information modeled by a finite acyclic directed graph (digraph) and the output is a profile $(x_1, \ldots, x_n)$ of pure positional strategies that form some special subgame perfect Nash equilibrium. We extend this algorithm to work with digraphs that may have directed cycles. Each digraph admits a unique partition into strongly connected components, which will be treated as the outcomes of the game. Such a game will be called a {\em deterministic graphical multistage}(DGMS) game. If we identify the outcomes corresponding to all strongly connected components, except terminal positions, we obtain the so-called {\em deterministic graphical}(DG) games, which are frequent in the literature. The outcomes of a DG game are all terminal positions and one special outcome $c$ that is assigned to all infinite plays. We modify the backward induction procedure to adapt it for the DGMS games. However, by doing so, we lose two important properties: the modified algorithm always outputs a {\em Nash equilibrium} (NE) only when $n = 2$ and, even in this case, this NE may be not {\em subgame perfect}. (Yet, in the zero-sum case it is.) The lack of these two properties is not a fault of the algorithm, just (subgame perfect) Nash equilibria in pure positional strategies may fail to exist in the considered game.
{\bf Keywords:} deterministic graphical (multistage) game, game in normal and in positional form, saddle point, Nash equilibrium, Nash-solvability, game form, positional structure, directed graph, digraph, directed cycle, acyclic digraph.
Separable discrete functions: recognition and sufficient conditions
Published
• View Publication
• BIB
A discrete function of $n$ variables is a mapping $g : X_1 \times \ldots \times X_n \rightarrow A$, where $X_1, \ldots, X_n$, and $A$ are arbitrary finite sets. Function $g$ is called {\em separable} if there exist $n$ functions $g_i : X_i \rightarrow A$ for $i = 1, \ldots, n$, such that for every input $x_1, \ldots ,x_n$ the function $g(x_1, \ldots, x_n)$ takes one of the values $g_1(x_1), \ldots ,g_n(x_n)$. Given a discrete function $g$, it is an interesting problem to ask whether $g$ is separable or not. Although this seems to be a very basic problem concerning discrete functions, the complexity of recognition of separable discrete functions of $n$ variables is known only for $n=2$. In this paper we will show that a slightly more general recognition problem, when $g$ is not fully but only partially defined, is NP-complete for $n \geq 3$. We will then use this result to show that the recognition of fully defined separable discrete functions is NP-complete for $n \geq 4$.
The case $n = 2$ is well-studied in the context of game theory, where (separable) discrete functions of $n$ variables are referred to as (assignable) $n$-person game forms. There is a known sufficient condition for assignability (separability) of two-person game forms (discrete functions of two variables) called (weak) total tightness of a game form. This property can be tested in polynomial time, and can be easily generalized both to higher dimension and to partially defined functions. We will prove in this paper that weak total tightness implies separability for (partially defined) discrete functions of $n$ variables for any $n$, thus generalizing the above result known for $n=2$.
Keywords: separable discrete functions, totally tight and assignable game forms
A new characterization of the dual polar graphs
Published
• View Publication
• BIB
In this paper we give a new characterization of the dual polar graphs, extending the work of Brouwer and Wilbrink on regular near polygons. Also as a consequence of our characterization we confirm a conjecture of the authors on non-bipartite distance-regular graphs with smallest eigenvalue at most $-k/2$, where $k$ is the valency of the distance-regular graph, in case of $c_2 \geq3$ and $a_1 =1$.
Packing nearly optimal Ramsey R(3,t) graphs
Published in Combinatorica 40 (2020), 63-103
• View Publication
• BIB
In 1995 Kim famously proved the Ramsey bound R(3,t) \ge c t^2/\log t by constructing an n-vertex graph that is triangle-free and has independence number at most C \sqrt{n \log n}. We extend this celebrated result, which is best possible up to the value of the constants, by approximately decomposing the complete graph K_n into a packing of such nearly optimal Ramsey R(3,t) graphs.
More precisely, for any ε>0 we find an edge-disjoint collection (G_i)_i of n-vertex graphs G_i \subseteq K_n such that (a) each G_i is triangle-free and has independence number at most C_ε\sqrt{n \log n}, and (b) the union of all the G_i contains at least (1-ε)\binom{n}{2} edges. Our algorithmic proof proceeds by sequentially choosing the graphs G_i via a semi-random (i.e., Rodl nibble type) variation of the triangle-free process.
As an application, we prove a conjecture in Ramsey theory by Fox, Grinshpun, Liebenau, Person, and Szabo (concerning a Ramsey-type parameter introduced by Burr, Erdos, Lovasz in 1976). Namely, denoting by s_r(H) the smallest minimum degree of r-Ramsey minimal graphs for H, we close the existing logarithmic gap for H=K_3 and establish that s_r(K_3) = Θ(r^2 \log r).
On Generalizations of the Pell Sequence
In this paper, we investigate the generalized Pell sequence, the generalized complex Pell sequence and the generalized dual Pell sequence using the Pell numbers. We obtain special cases of these sequences. Furthermore, we give recurrence relations, vectors, the silver ratio and Binet's formula for the above-investigated sequences.
Gamma-positivity in combinatorics and geometry
Gamma-positivity is an elementary property that polynomials with symmetric coefficients may have, which directly implies their unimodality. The idea behind it stems from work of Foata, Schützenberger and Strehl on the Eulerian polynomials; it was revived independently by Brändén and Gal in the course of their study of poset Eulerian polynomials and face enumeration of flag simplicial spheres, respectively, and has found numerous applications since then. This paper surveys some of the main results and open problems on gamma-positivity, appearing in various combinatorial or geometric contexts, as well as some of the diverse methods that have been used to prove it.
A kind of orthogonal polynomials and related identities II
For $n=0,1,2,\ldots$ let $d_n^{(r)}(x)=\sum_{k=0}^n\binom{x+r+k}k\binom{x-r}{n-k}$. In this paper we illustrate the connection between $\{d_n^{(r)}(x)\}$ and Meixner polynomials. New formulas and recurrence relations for $d_n^{(r)}(x)$ are obtained, and a new proof of the formula for $d_n^{(r)}(x)^2$ is also given. In addition, for $r>-\frac 12$ and $n\ge 2$ we show that $d_n^{(r)}(x)>\frac{(2x+1)^n}{n!}>0$ for $x>-\frac 12$, and $(-1)^nd_n^{(r)}(x)>0$ for $x<-\frac 12$.
Probabilities of incidence between lines and a plane curve over finite fields
Published in Finite Fields and Their Applications, Volume 61, January 2020, 101582
• View Publication
• BIB
We study the probability for a random line to intersect a given plane curve, defined over a finite field, in a given number of points defined over the same field. In particular, we focus on the limits of these probabilities under successive finite field extensions. Supposing absolute irreducibility for the curve, we show how a variant of Chebotarev density theorem for function fields can be used to prove the existence of these limits, and to compute them under a mildly stronger condition, known as simple tangency. Partial results have already appeared in the literature, and we propose this work as an introduction to the use of Chebotarev theorem in the context of incidence geometry. Finally, Veronese maps allow us to compute similar probabilities of intersection between a given curve and random curves of given degree.
Permutations sorted by a finite and an infinite stack in series
Published
• View Publication
• BIB
We prove that the set of permutations sorted by a stack of depth $t \geq 3$ and an infinite stack in series has infinite basis, by constructing an infinite antichain. This answers an open question on identifying the point at which, in a sorting process with two stacks in series, the basis changes from finite to infinite.
On the critical densities of minor-closed classes
Published
• View Publication
• BIB
Given a minor-closed class $\mathcal{A}$ of graphs, let $β_{\mathcal{A}}$ denote the supremum over all graphs in $\mathcal{A}$ of the ratio of edges to vertices. We investigate the set $B$ of all such values $β_{\mathcal{A}}$, taking further the project begun by Eppstein. Amongst other results, we determine the small values in $B$ (those up to 2); we show that $B$ is `asymptotically dense'; and we answer some questions posed by Eppstein.
Dynamical characterization of combinatorially rich sets near zero
Published in Topology and its Applications, Volume 240, 15 May 2018, Pages 173-182
• View Publication
• BIB
Hindman and Leader first introduced the notion of Central sets near zero for dense subsemigroups of $((0,\infty),+)$ and proved a powerful combinatorial theorem about such sets. Using the algebraic structure of the Stone-$\breve{C}$ech compactification, Bayatmanesh and Tootkabani generalized and extended this combinatorial theorem to the central theorem near zero. Algebraically one can define quasi-central set near zero for dense subsemigroup of $((0,\infty),+)$, and they also satisfy the conclusion of central sets theorem near zero. In a dense subsemigroup of $((0,\infty),+)$, C-sets near zero are the sets, which satisfies the conclusions of the central sets theorem near zero. Like discrete case, we shall produce dynamical characterizations of these combinatorically rich sets near zero.
On the probability of nonexistence in binomial subsets
Published
• View Publication
• BIB
Given a hypergraph $Γ=(Ω,\mathcal{X})$ and a sequence $\mathbf{p} = (p_ω)_{ω\in Ω}$ of values in $(0,1)$, let $Ω_{\mathbf{p}}$ be the random subset of $Ω$ obtained by keeping every vertex $ω$ independently with probability $p_ω$. We investigate the general question of deriving fine (asymptotic) estimates for the probability that $Ω_{\mathbf{p}}$ is an independent set in $Γ$, which is an omnipresent problem in probabilistic combinatorics. Our main result provides a sequence of upper and lower bounds on this probability, each of which can be evaluated explicitly in terms of the joint cumulants of small sets of edge indicator random variables. Under certain natural conditions, these upper and lower bounds coincide asymptotically, thus giving the precise asymptotics of the probability in question. We demonstrate the applicability of our results with two concrete examples: subgraph containment in random (hyper)graphs and arithmetic progressions in random subsets of the integers.
Chromatic Number and Dichromatic Polynomial of Digraphs
Let $G$ be a graph of order $n$. It is well-known that $α(G)\geq \sum_{i=1}^n \frac{1}{1+d_i}$, where $α(G)$ is the independence number of $G$ and $d_1,\ldots,d_n$ is the degree sequence of $G$. We extend this result to digraphs by showing that if $D$ is a digraph with $n$ vertices, then $ α(D)\geq \sum_{i=1}^n \left( \frac{1}{1+d_i^+} + \frac{1}{1+d_i^-}
- \frac{1}{1+d_i}\right)$, where $α(D)$ is the maximum size of an acyclic vertex set of $D$. Golowich proved that for any digraph $D$, $χ(D)\leq \lceil \frac{4k}{5} \rceil+2$, where $k=max(Δ^+(D),Δ^-(D))$. We give a short and simple proof for this result. Next, we investigate the chromatic number of tournaments and determine the unique tournament such that for every integer $k>1$, the number of proper $k$-colorings of that tournament is maximum among all strongly connected tournaments with the same number of vertices. Also, we find the chromatic polynomial of the strongly connected tournament with the minimum number of cycles.
On cordial labeling of hypertrees
Published in Discrete Mathematics & Theoretical Computer Science, vol. 21 no. 4, Graph Theory (August 7, 2019) dmtcs:4081
• View Publication
• BIB
Let $f:V\rightarrow\mathbb{Z}_k$ be a vertex labeling of a hypergraph $H=(V,E)$. This labeling induces an~edge labeling of $H$ defined by $f(e)=\sum_{v\in e}f(v)$, where the sum is taken modulo $k$. We say that $f$ is $k$-cordial if for all $a, b \in \mathbb{Z}_k$ the number of vertices with label $a$ differs by at most $1$ from the number of vertices with label $b$ and the analogous condition holds also for labels of edges. If $H$ admits a $k$-cordial labeling then $H$ is called $k$-cordial. The existence of $k$-cordial labelings has been investigated for graphs for decades. Hovey~(1991) conjectured that every tree $T$ is $k$-cordial for every $k\ge 2$. Cichacz, Görlich and Tuza~(2013) were first to investigate the analogous problem for hypertrees, that is, connected hypergraphs without cycles. The main results of their work are that every $k$-uniform hypertree is $k$-cordial for every $k\ge 2$ and that every hypertree with $n$ or $m$ odd is $2$-cordial. Moreover, they conjectured that in fact all hypertrees are $2$-cordial. In this article, we confirm the conjecture of Cichacz et al. and make a step further by proving that for $k\in\{2,3\}$ every hypertree is $k$-cordial.
On the anti-Kelulé problem of cubic graphs
Published
• View Publication
• BIB
An edge set $S$ of a connected graph $G$ is called an anti-Kekulé set if $G-S$ is connected and has no perfect matchings, where $G-S$ denotes the subgraph obtained by deleting all edges in $S$ from $G$. The anti-Kekulé number of a graph $G$, denoted by $ak(G)$, is the cardinality of a smallest anti-Kekulé set of $G$. It is NP-complete to find the smallest anti-Kekulé set of a graph. In this paper, we show that the anti-Kekulé number of a 2-connected cubic graph is either 3 or 4, and the anti-Kekulé number of a connected cubic bipartite graph is always equal to 4. Furthermore, a polynomial time algorithm is given to find all smallest anti-Kekulé sets of a connected cubic graph.
The Chromatic Number of the Disjointness Graph of the Double Chain
Published in Discrete Mathematics & Theoretical Computer Science, vol. 22 no. 1, Graph Theory (March 22, 2020) dmtcs:4490
• View Publication
• BIB
Let $P$ be a set of $n\geq 4$ points in general position in the plane. Consider all the closed straight line segments with both endpoints in $P$. Suppose that these segments are colored with the rule that disjoint segments receive different colors. In this paper we show that if $P$ is the point configuration known as the double chain, with $k$ points in the upper convex chain and $l \ge k$ points in the lower convex chain, then $k+l- \left\lfloor \sqrt{2l+\frac{1}{4}} - \frac{1}{2}\right\rfloor$ colors are needed and that this number is sufficient.
A characterization of finite abelian groups via sets of lengths in transfer Krull monoids
Published
• View Publication
• BIB
Let $H$ be a transfer Krull monoid over a finite ablian group $G$ (for example, rings of integers, holomorphy rings in algebraic function fields, and regular congruence monoids in these domains). Then each nonunit $a \in H$ can be written as a product of irreducible elements, say $a = u_1 \ldots u_k$, and the number of factors $k$ is called the length of the factorization. The set $\mathsf L (a)$ of all possible factorization lengths is the set of lengths of $a$. It is classical that the system $\mathcal L (H) = \{ \mathsf L (a) \mid a \in H \}$ of all sets of lengths depends only on the group $G$, and a standing conjecture states that conversely the system $\mathcal L (H)$ is characteristic for the group $G$. Let $H'$ be a further transfer Krull monoid over a finite ablian group $G'$ and suppose that $\mathcal L (H)= \mathcal L (H')$. We prove that, if $G\cong C_n^r$ with $r\le n-3$ or ($r\ge n-1\ge 2$ and $n$ is a prime power), then $G$ and $G'$ are isomorphic.
On Mubayi's Conjecture and conditionally intersecting sets
Published in Adam Mammoliti and Thomas Britz. On Mubayi's Conjecture and Conditionally Intersecting Sets. SIAM J. Discrete Math., 32(3): 2361--2380, 2018
• View Publication
• BIB
Mubayi's Conjecture states that if $\mathcal{F}$ is a family of $k$-sized subsets of $[n] = \{1,\ldots,n\}$ which, for $k \geq d \geq 2$, satisfies $A_1 \cap\cdots\cap A_d \neq \emptyset$ whenever $|A_1 \cup\cdots\cup A_d| \leq 2k$ for all distinct sets $A_1,\ldots,A_d \in\mathcal{F}$, then $|\mathcal{F}|\leq \binom{n-1}{k-1}$, with equality occurring only if $\mathcal{F}$ is the family of all $k$-sized subsets containing some fixed element. This paper proves that Mubayi's Conjecture is true for all families that are invariant with respect to shifting; indeed, these families satisfy a stronger version of Mubayi's Conjecture. Relevant to the conjecture, we prove a fundamental bijective duality between $(i,j)$-unstable families and $(j,i)$-unstable families. Generalising previous intersecting conditions, we introduce the $(d,s,t)$-conditionally intersecting condition for families of sets and prove general results thereon. We conjecture on the size and extremal structures of families $\mathcal{F}\in\binom{[n]}{k}$ that are $(d,2k)$-conditionally intersecting but which are not intersecting, and prove results related to this conjecture. We prove fundamental theorems on two $(d,s)$-conditionally intersecting families that generalise previous intersecting families, and we pose an extension of a previous conjecture by Frankl and Füredi on $(3,2k-1)$-conditionally intersecting families. Finally, we generalise a classical result by Erdős, Ko and Rado by proving tight upper bounds on the size of $(2,s)$-conditionally intersecting families $\mathcal{F}\subseteq 2^{[n]}$ and by characterising the families that attain these bounds. We extend this theorem for certain parametres as well as for sufficiently large families with respect to $(2,s)$-conditionally intersecting families $\mathcal{F}\subseteq 2^{[n]}$ whose members have at most a fixed number $u$ members.
Coloring intersection hypergraphs of pseudo-disks
Published
• View Publication
• BIB
We prove that the intersection hypergraph of a family of $n$ pseudo-disks with respect to another family of pseudo-disks admits a proper coloring with $4$ colors and a conflict-free coloring with $O(\log n)$ colors. Along the way we prove that the respective Delaunay-graph is planar. We also prove that the intersection hypergraph of a family of $n$ regions with linear union complexity with respect to a family of pseudo-disks admits a proper coloring with constantly many colors and a conflict-free coloring with $O(\log n)$ colors. Our results serve as a common generalization and strengthening of many earlier results, including ones about proper and conflict-free coloring points with respect to pseudo-disks, coloring regions of linear union complexity with respect to points and coloring disks with respect to disks.
A Descent on Simple Graphs -- from Complete to Cycle -- and Algebraic Properties of Their Spectra
We investigate a descent on simple graphs, starting with the complete graph on $n$ vertices and ending up with the cycle graph by removing one edge after another. We obtain quantitative results showing that graphs with large diameter must have some eigenvalues of large algebraic degree.