Showing 20 papers (Total: 82851 papers, 47869 authors in database)
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.
Coloring of ($P_5$, $4$-wheel)-free graphs
Published in Discrete Mathematics, 345(5) (2022) Article no:112795
• View Publication
• BIB
For a graph $G$, $χ(G)$ $(ω(G))$ denote its chromatic (clique) number. A $P_5$ is the chordless path on five vertices, and a $4$-$wheel$ is the graph consisting of a chordless cycle on four vertices $C_4$ plus an additional vertex adjacent to all the vertices of the $C_4$. In this paper, we show that every ($P_5$, $4$-wheel)-free graph $G$ satisfies $χ(G)\leq \frac{3}{2}ω(G)$. Moreover, this bound is almost tight. That is, there is a class of ($P_5$, $4$-wheel)-free graphs $\cal L$ such that every graph $H\in \cal L$ satisfies $χ(H)\geq\frac{10}{7}ω(H)$. This generalizes/improves several previously known results in the literature.
Iota energy orderings of bicyclic signed digraphs
Published
• View Publication
• BIB
The concept of energy of a signed digraph is extended to iota energy of a signed digraph. The energy of a signed digraph $S$ is defined by $E(S)=\sum_{k=1}^n|\text{Re}(z_k)|$, where $\text{Re}(z_k)$ is the real part of eigenvalue $z_k$ and $z_k$ is the eigenvalue of the adjacency matrix of $S$ with $n$ vertices, $k=1,2,\ldots,n$. Then the iota energy of $S$ is defined by $E(S)=\sum_{k=1}^n|\text{Im}(z_k)|$, where $\text{Im}(z_k)$ is the imaginary part of eigenvalue $z_k$. In this paper, we consider a special graph class for bicyclic signed digraphs $\mathcal{S}_n$ with $n$ vertices which have two vertex-disjoint signed directed even cycles. We give two iota energy orderings of bicyclic signed digraphs, one is including two positive or two negative directed even cycles, the other is including one positive and one negative directed even cycles.
The critical probability for Voronoi percolation in the hyperbolic plane tends to $1/2$
Published
• View Publication
• BIB
We consider percolation on the Voronoi tessellation generated by a homogeneous Poisson point process on the hyperbolic plane. We show that the critical probability for the existence of an infinite cluster tends to $1/2$ as the intensity of the Poisson process tends to infinity. This confirms a conjecture of Benjamini and Schramm.
A Second Type Of Higher Order Generalised Geometric Polynomials and Higher Order Generalised Euler Polynomials
In this study we introduce a second type of higher order generalised geometric polynomials. This we achieve by examining the generalised stirling numbers $S(n; k;α;β;γ)$ [Hsu & Shiue,1998] for some negative arguments. We study their number theoretic properties, asymptotic properties, and study their combinatorial properties using the notion of barred preferential arrangements. We also proposed a generalisation of the classical Euler polynomials and show how these Euler polynomials are related to the second type of higher order generalised geometric polynomials.
On an inverse problem of the Erdős-Ko-Rado type theorems
A family of subsets $\mathcal{F}\subseteq {[n]\choose k}$ is called intersecting if any two of its members share a common element. Consider an intersecting family, a direct problem is to determine its maximal size and the inverse problem is to characterize its extremal structure and its corresponding stability. The famous Erdős-Ko-Rado theorem answered both direct and inverse problems and led the era of studying intersection problems for finite sets.
In this paper, we consider the following quantitative intersection problem which can be viewed an inverse problem for Erdős-Ko-Rado type theorems: For $\mathcal{F}\subseteq {[n]\choose k}$, define its \emph{total intersection} as $\mathcal{I}(\mathcal{F})=\sum_{F_1,F_2\in \mathcal{F}}|F_1\cap F_2|$. Then, what is the structure of $\mathcal{F}$ when it has the maximal total intersection among all families in ${[n]\choose k}$ with the same family size?
Using a pure combinatorial approach, we provide two structural characterizations of the optimal family of given size that maximizes the total intersection. As a consequence, for $n$ large enough and $\mathcal{F}$ of proper size, these characterizations show that the optimal family $\mathcal{F}$ is indeed $t$-intersecting ($t\geq 1$). To a certain extent, this reveals the relationship between properties of being intersecting and maximizing the total intersection. Also, we provide an upper bound on $\mathcal{I}(\mathcal{F})$ for several ranges of $|\mathcal{F}|$ and determine the unique optimal structure for families with sizes of certain values.
A Completion of the spectrum of 3-way $(v,k,2)$ Steiner trades
Published
• View Publication
• BIB
A 3-way $(v,k,t)$ trade $T$ of volume $m$ consists of three pairwise disjoint collections $T_1$, $T_2$ and $T_3$, each of $m$ blocks of size $k$, such that for every $t$-subset of $v$-set $V$, the number of blocks containing this $t$-subset is the same in each $T_i$ for $1\leq i\leq 3$. If any $t$-subset of found($T$) occurs at most once in each $T_i$ for $1\leq i\leq 3$, then $T$ is called 3-way $(v,k,t)$ Steiner trade. We attempt to complete the spectrum $S_{3s}(v,k)$, the set of all possible volume sizes, for 3-way $(v,k,2)$ Steiner trades, by applying some block designs, such as BIBDs, RBs, GDDs, RGDDs, and $r\times s$ packing grid blocks. Previously, we obtained some results about the existence some 3-way $(v,k,2)$ Steiner trades. In particular, we proved that there exists a 3-way $(v,k,2)$ Steiner trade of volume $m$ when $12(k-1)\leq m$ for $15\leq k$ (Rashidi and Soltankhah, 2016). Now, we show that the claim is correct also for $k\leq 14$.
On the Structure of Stable Tournament Solutions
Published in Economic Theory, 65(2):483-507 (2018)
• View Publication
• BIB
A fundamental property of choice functions is stability, which, loosely speaking, prescribes that choice sets are invariant under adding and removing unchosen alternatives. We provide several structural insights that improve our understanding of stable choice functions. In particular, (i) we show that every stable choice function is generated by a unique simple choice function, which never excludes more than one alternative, (ii) we completely characterize which simple choice functions give rise to stable choice functions, and (iii) we prove a strong relationship between stability and a new property of tournament solutions called local reversal symmetry. Based on these findings, we provide the first concrete tournament---consisting of 24 alternatives---in which the tournament equilibrium set fails to be stable. Furthermore, we prove that there is no more discriminating stable tournament solution than the bipartisan set and that the bipartisan set is the unique most discriminating tournament solution which satisfies standard properties proposed in the literature.