Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Improved bounds for coloring locally sparse hypergraphs
We show that, for every $k \ge 2$, every $k$-uniform hypergaph of degree $Δ$ and girth at least $5$ is efficiently $(1+o(1) )(k-1) (Δ/ \ln Δ)^{ 1/(k-1) } $-list colorable. As an application (and to the best of our knowledge) we obtain the currently best algorithm for list-coloring random hypergraphs of bounded average degree.
Cameron-Liebler sets in bilinear forms graphs
Published
• View Publication
• BIB
Cameron-Liebler sets of subspaces in projective spaces were studied recently by Blokhuis, De Boeck and D'haeseleer (Des. Codes Cryptogr., 2019). In this paper, we discuss Cameron-Liebler sets in bilinear forms graphs, obtain several equivalent definitions and present some classification results.
Sharp bounds for the largest eigenvalue
Published in Mathematical Notes, 109(1): 102-109 (2021)
• View Publication
• BIB
We generalize the classical sharp bounds for the largest eigenvalue of the normalized Laplace operator, $\frac{N}{N-1}\leq λ_N\leq 2$, to the case of chemical hypergraphs.
Graph polynomials and paintability of plane graphs
Published
• View Publication
• BIB
There exists a variety of coloring problems for plane graphs, involving vertices, edges, and faces in all possible combinations. For instance, in the \emph{entire coloring} of a plane graph we are to color these three sets so that any pair of adjacent or incident elements get different colors. We study here some problems of this type from algebraic perspective, focusing on the \emph{facial} variant. We obtain several results concerning the \emph{Alon-Tarsi number} of various graphs derived from plane embeddings. This allows for extensions of some previous results for \emph{choosability} of these graphs to the game theoretic variant, know as \emph{paintability}. For instance, we prove that every plane graph is facially entirely \emph{$8$-paintable}, which means (metaphorically) that even a color-blind person can facially color the entire graph form lists of size $8$.
Dilworth's Theorem for Borel Posets
A famous theorem of Dilworth asserts that any finite poset of width $k$ can be decomposed into $k$ chains. We study the following problem: given a Borel poset $P$ of finite width $k$, is it true that it can be decomposed into $k$ Borel chains? We give a positive answer in a special case of Borel posets embeddable into the real line. We also prove a dual theorem for posets whose comparability graphs are locally countable.
Different central parts of trees and their pairwise distances
Published
• View Publication
• BIB
We determine the tree which maximizes the distance between characteristic set and subtree core over all trees on $n$ vertices. The asymptotic nature of this distance is also discussed. The problem of extremizing the distance between different central parts of trees on $n$ vertices with fixed diameter is studied
A new proof of a generalization of Gerzon's bound
In this paper we give a short, new proof of a natural generalization of Gerzon's bound. This bound improves the Delsarte, Goethals and Seidel's upper bound in a special case. Our proof is a simple application of the linear algebra bound method.
Parity Considerations for Mex-Related Partition Functions of Andrews and Newman
Published in Journal of Integer Sequences 23, no. 5 (2020), Article 20.5.7
• Search Publication
In a recent paper, Andrews and Newman extended the mex-function to integer partitions and proved many partition identities connected with these functions. In this paper, we present parity considerations of one of the families of functions they studied, namely $p_{t,t}(n)$. Among our results, we provide complete parity characterizations of $p_{1,1}(n)$ and $p_{3,3}(n)$.
Singularity of $\{\pm 1\}$-matrices and asymptotics of the number of threshold functions
Published
• View Publication
• BIB
Two results concerning the number of threshold functions $P(2, n)$ and the probability ${\mathbb P}_n$ that a random $n\times n$ Bernoulli matrix is singular are established. We introduce a supermodular function $η^{\bigstar}_n : 2^{{\bf RP}^n}_{fin} \to \mathbb{Z}_{\geq 0},$ defined on finite subsets of ${\bf RP}^n,$ that allows us to obtain a lower bound for $P(2, n)$ in terms of ${\mathbb P}_{n+1}.$ This, together with L.Schläfli's famous upper bound, give us asymptotics $$P(2, n) \thicksim 2 {2^n-1 \choose n},\quad n\to \infty.$$ Also, the validity of the long-standing conjecture concerning ${\mathbb P}_n$ is proved: $$\mathbb{P}_n \thicksim (n-1)^22^{1-n}, \quad n\to \infty .$$
Bounds Related to The Edge-List Chromatic and Total Chromatic Numbers of a Simple Graph
We show that for a simple graph $G$, $c'(G)\leqΔ(G)+2$ where $c'(G)$ is the choice index (or edge-list chromatic number) of $G$, and $Δ(G)$ is the maximum degree of $G$.
As a simple corollary of this result, we show that the total chromatic number $χ_T(G)$ of a simple graph satisfies the inequality $χ_T(G)\leq\ Δ(G)+4$ and the total choice number $c_T(G)$ also satisfies this inequality.
We also relate these bounds to the Hall index and the Hall condition index of a simple graph, and to the total Hall number and the total Hall condition number of a simple graph.
Two Families of Constant Term Identities
Published
• View Publication
• BIB
In 1985, Bressoud and Goulden derived the formula for the constant term in $\prod_{(i,j)\in T} \frac{x_j}{x_i}\\\prod_{0\le i<j \le n}(\frac{x_i}{x_j})_{a_i}(\frac{qx_j}{x_i})_{a_j-1}$, where $T \subseteq \{(i,j)\mid 0\le i<j \le n\}$. This result implies the Andrews' $q$-Dyson identity. In 2006, Gessel and Xin proved the $q$-Dyson identity by considering both sides of the equality as polynomials in $q^{a_0}$. We use this approach to determine the coefficients of $x_0/x_1$ and $x_0/x_2$ in Laurent polynomials studied by Bressoud and Goulden.
$L$--functions and sum--free sets
Published
• View Publication
• BIB
For set $A\subset {\mathbb {F}_p}^*$ define by ${\mathsf{sf}}(A)$ the size of the largest sum--free subset of $A.$ Alon and Kleitman showed that ${\mathsf{sf}} (A) \ge |A|/3+O(|A|/p).$ We prove that if ${\mathsf{sf}} (A)-|A|/3$ is small then the set $A$ must be uniformly distributed on cosets of each large multiplicative subgroup. Our argument relies on irregularity of distribution of multiplicative subgroups on certain intervals in ${\mathbb {F}_p}$.
Character sums estimates and an application to a problem of Balog
Published
• View Publication
• BIB
We prove new bounds for sums of multiplicative characters over sums of set with small doubling and applying this result we break the square--root barrier in a problem of Balog concerning products of differences in a field of prime order.
A Note on Coloring Digraphs of Large Girth
Published
• View Publication
• BIB
The digirth of a digraph is the length of a shortest directed cycle. The dichromatic number $\vecχ(D)$ of a digraph $D$ is the smallest size of a partition of the vertex-set into subsets inducing acyclic subgraphs. A conjecture by Harutyunyan and Mohar states that $\vecχ(D) \le \left\lceil\fracΔ{4}\right\rceil+1$ for every digraph $D$ of digirth at least $3$ and maximum degree $Δ$. The best known partial result by Golowich shows that $\vecχ(D) \le \frac{2}{5}Δ+O(1)$. In this short note we prove for every $g \ge 2$ that if $D$ is a digraph of digirth at least $2g-1$ and maximum degree $Δ$, then $\vecχ(D) \le (\frac{1}{3}+\frac{1}{3g}) Δ+ O_g(1)$. This improves the bound of Golowich for digraphs without directed cycles of length at most $10$.
Color isomorphic even cycles and a related Ramsey problem
Published
• View Publication
• BIB
In this paper, we first study a new extremal problem recently posed by Conlon and Tyomkyn~(arXiv: 2002.00921). Given a graph $H$ and an integer $k\geqslant 2$, let $f_{k}(n,H)$ be the smallest number of colors $c$ such that there exists a proper edge-coloring of the complete graph $K_{n}$ with $c$ colors containing no $k$ vertex-disjoint color-isomorphic copies of $H$. Using algebraic properties of polynomials over finite fields, we give an explicit proper edge-coloring of $K_{n}$ and show that $f_{k}(n, C_{4})=Θ(n)$ when $k\geqslant 3$ and $n\rightarrow\infty$. The methods we used in the edge-coloring may be of some independent interest. We also consider a related generalized Ramsey problem. For given graphs $G$ and $H,$ let $r(G,H,q)$ be the minimum number of edge-colors (not necessarily proper) of $G$, such that the edges of every copy of $H\subseteq G$ together receive at least $q$ distinct colors. Establishing the relation to the Turán number of specified bipartite graphs, we obtain some general lower bounds for $r(K_{n,n},K_{s,t},q)$ with a broad range of $q$.
Supereulerian 2-edge-coloured graphs
Published
• View Publication
• BIB
A 2-edge-coloured graph $G$ is {\bf supereulerian} if $G$ contains a spanning closed trail in which the edges alternate in colours. An {\bf eulerian factor} of a 2-edge-coloured graph is a collection of vertex disjoint induced subgraphs which cover all the vertices of $G$ such that each of these subgraphs is supereulerian. We give a polynomial algorithm to test if a 2-edge-coloured graph has an eulerian factor and to produce one when it exists. A 2-edge-coloured graph is {\bf (trail-)colour-connected} if it contains a pair of alternating $(u,v)$-paths ($(u,v)$-trails) whose union is an alternating closed walk for every pair of distinct vertices $u,v$. A 2-edge-coloured graph is {\bf M-closed} if $xz$ is an edge of $G$ whenever some vertex $u$ is joined to both $x$ and $z$ by edges of the same colour. M-closed 2-edge-coloured graphs, introduced in \cite{balbuenaDMTCS21}, form a rich generalization of 2-edge-coloured complete graphs. We show that if $G$ is an extension of an M-closed 2-edge-coloured complete graph, then $G$ is supereulerian if and only if $G$ is trail-colour-connected and has an eulerian factor. We also show that for general 2-edge-coloured graphs it is NP-complete to decide whether the graph is supereulerian. Finally we pose a number of open problems.
Scrambled Vandermonde Convolutions of Gaussian Polynomials
Published
• View Publication
• BIB
It is well known that Gaussian polynomials (i.e., $q$-binomials) describe the distribution of the $area$ statistic on monotone paths in a rectangular grid. We introduce two new statistics, $corners$ and $cindex$; attach ``ornaments'' to the grid; and re-evaluate these statistics, in order to argue that all scrambled versions of the $cindex$ statistic are equidistributed with $area$. Our main result is a representation of the generating function for the bi-statistic $(cindex,corners)$ as a two-variable Vandermonde convolution of the original Gaussian polynomial. The proof relies on explicit bijections between differently ornated paths.
Base Graph -- Connection Graph: Dissection and Construction
Published
• View Publication
• BIB
This paper presents a phenomenon which sometimes occurs in tetravalent bipartite locally dart-transitive graphs, called a Base Graph -- Connection Graph dissection. In this dissection, each white vertex is split into two vertices of valence 2 so that the connected components of the result are isomorphic. Given the Base Graph whose subdivision is isomorphic to each component, and the Connection Graph, which describes how the components overlap, we can, in some cases, provide a construction which can make a graph having such a decomposition. This paper investigates the general phenomenon as well as the special cases in which the connection graph has no more than one edge.
Counterexamples to "A Conjecture on Induced Subgraphs of Cayley Graphs" [arXiv:2003.13166]
Published
• View Publication
• BIB
Recently, Huang gave a very elegant proof of the Sensitivity Conjecture by proving that hypercube graphs have the following property: every induced subgraph on a set of more than half its vertices has maximum degree at least $\sqrt{d}$, where $d$ is the valency of the hypercube. This was generalised by Alon and Zheng who proved that every Cayley graph on an elementary abelian $2$-group has the same property. Very recently, Potechin and Tsang proved an analogous results for Cayley graphs on abelian groups. They also conjectured that all Cayley graphs have the analogous property. We disprove this conjecture by constructing various counterexamples, including an infinite family of Cayley graphs of unbounded valency which admit an induced subgraph of maximum valency $1$ on a set of more than half its vertices.
Computational Complexity of the Hylland-Zeckhauser Scheme for One-Sided Matching Markets
Published
• View Publication
• BIB
In 1979, Hylland and Zeckhauser \cite{hylland} gave a simple and general scheme for implementing a one-sided matching market using the power of a pricing mechanism. Their method has nice properties -- it is incentive compatible in the large and produces an allocation that is Pareto optimal -- and hence it provides an attractive, off-the-shelf method for running an application involving such a market. With matching markets becoming ever more prevalant and impactful, it is imperative to finally settle the computational complexity of this scheme.
We present the following partial resolution:
1. A combinatorial, strongly polynomial time algorithm for the special case of $0/1$ utilities.
2. An example that has only irrational equilibria, hence proving that this problem is not in PPAD. Furthermore, its equilibria are disconnected, hence showing that the problem does not admit a convex programming formulation.
3. A proof of membership of the problem in the class FIXP.
We leave open the (difficult) question of determining if the problem is FIXP-hard. Settling the status of the special case when utilities are in the set $\{0, {\frac 1 2}, 1 \}$ appears to be even more difficult.