Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Canonical rings of Q-divisors on P^1
Published in ODorney, Evan. Ann. Comb. (2015) 19: 765
• View Publication
• BIB
The canonical ring $S_D = \bigoplus_{d \geq 0} H^0(X, \lfloor dD \rfloor)$ of a divisor D on a curve X is a natural object of study; when D is a Q-divisor, it has connections to projective embeddings of stacky curves and rings of modular forms. We study the generators and relations of S_D for the simplest curve X = P^1. When D contains at most two points, we give a complete description of S_D; for general D, we give bounds on the generators and relations. We also show that the generators (for at most five points) and a Groebner basis of relations between them (for at most four points) depend only on the coefficients in the divisor D, not its points or the characteristic of the ground field; we conjecture that the minimal system of relations varies in a similar way. Although stated in terms of algebraic geometry, our results are proved by translating to the combinatorics of lattice points in simplices and cones.
Note on the upper bound of the rainbow index of a graph
Published
• View Publication
• BIB
A path in an edge-colored graph $G$, where adjacent edges may be colored the same, is a rainbow path if every two edges of it receive distinct colors. The rainbow connection number of a connected graph $G$, denoted by $rc(G)$, is the minimum number of colors that are needed to color the edges of $G$ such that there exists a rainbow path connecting every two vertices of $G$. Similarly, a tree in $G$ is a rainbow~tree if no two edges of it receive the same color. The minimum number of colors that are needed in an edge-coloring of $G$ such that there is a rainbow tree connecting $S$ for each $k$-subset $S$ of $V(G)$ is called the $k$-rainbow index of $G$, denoted by $rx_k(G)$, where $k$ is an integer such that $2\leq k\leq n$. Chakraborty et al. got the following result: For every $ε> 0$, a connected graph with minimum degree at least $εn$ has bounded rainbow connection, where the bound depends only on $ε$. Krivelevich and Yuster proved that if $G$ has $n$ vertices and the minimum degree $δ(G)$ then $rc(G)<20n/δ(G)$. This bound was later improved to $3n/(δ(G)+1)+3$ by Chandran et al. Since $rc(G)=rx_2(G)$, a natural problem arises: for a general $k$ determining the true behavior of $rx_k(G)$ as a function of the minimum degree $δ(G)$. In this paper, we give upper bounds of $rx_k(G)$ in terms of the minimum degree $δ(G)$ in different ways, namely, via Szemerédi's Regularity Lemma, connected $2$-step dominating sets, connected $(k-1)$-dominating sets and $k$-dominating sets of $G$.
Mixed-integer Quadratic Programming is in NP
Published
• View Publication
• BIB
Mixed-integer quadratic programming is the problem of optimizing a quadratic function over points in a polyhedral set where some of the components are restricted to be integral. In this paper, we prove that the decision version of mixed-integer quadratic programming is in NP, thereby showing that it is NP-complete. This is established by showing that if the decision version of mixed-integer quadratic programming is feasible, then there exists a solution of polynomial size. This result generalizes and unifies classical results that quadratic programming is in NP and integer linear programming is in NP.
On Levine's notorious hat puzzle
Published
• View Publication
• BIB
The Levine hat game requires $n$ players, each wearing an infinite random stack of black and white hats, to guess the location of a black hat on their own head seeing only the hats worn by all the other players. They are allowed a strategy session before the game, but no further communication. The players collectively win if and only if all their guesses are correct.
In this paper we give an overview of what is known about strategies for this game, including an extended discussion of the case with $n = 2$ players (and a conjecture for an optimal strategy in this case). We also prove that $V_n$, the optimal value of the joint success probability in the $n$-player game, is a strictly decreasing function of $n$.
The Maximum Number of Subset Divisors of a Given Size
Published
• View Publication
• BIB
If $s$ is a positive integer and $A$ is a set of positive integers, we say that $B$ is an $s$-divisor of $A$ if $\sum_{b\in B} b\mid s\sum_{a\in A} a$. We study the maximal number of $k$-subsets of an $n$-element set that can be $s$-divisors. We provide a counterexample to a conjecture of Huynh that for $s=1$, the answer is $\binom{n-1}{k}$ with only finitely many exceptions, but prove that adding a necessary condition makes this true. Moreover, we show that under a similar condition, the answer is $\binom{n-1}{k}$ with only finitely many exceptions for each $s$.
The phase transition in the multi-type binomial random graph $G(\mathbf{n},P)$
Published in SIAM J. Discrete Math. 29 (2015), no. 2, 1042-1064
• View Publication
• BIB
We determine the asymptotic size of the largest component in the $2$-type binomial random graph $G(\mathbf{n},P)$ near criticality using a refined branching process approach. In $G(\mathbf{n},P)$ every vertex has one of two types, the vector $\mathbf{n}$ describes the number of vertices of each type, and any edge $\{u,v\}$ is present independently with a probability that is given by an entry of the probability matrix $P$ according to the types of $u$ and $v.$ We prove that in the weakly supercritical regime, i.e. if the distance to the critical point of the phase transition is given by an $\varepsilon=\varepsilon(\mathbf{n})\to0,$ with probability $1-o(1),$ the largest component in $G(\mathbf{n},P)$ contains asymptotically $2\varepsilon \|\mathbf{n}\|_1$ vertices and all other components are of size $o(\varepsilon \|\mathbf{n}\|_1).$
On vertex-uniprimitive non-Cayley graphs of order pq
Let $p$ and $q$ be distinct odd primes. Let $Γ=(V(Γ), E(Γ))$ be a non-Cayley vertex-transitive graph of order $pq.$ Let $G\leq \Aut(Γ)$ acts primitively on the vertex set $V(Γ)$. In this paper, we show that $G$ is uniprimitive which is primitive but not 2-transitive and we obtain some information about $p, q$ and the minimality of the Socle $T=\soc(G).$
A combinatorial problem arising in group theory
We consider a combinatorial problem occurring naturally in a group theoretical setting and provide a constructive solution in a special case. More precisely, in 1999 the author established a logarithmic bound for the derived length of the quotient of a finite solvable group modulo the second Fitting subgroup in terms of the number of irreducible character degrees of the group. Along the way, in two key lemmas an inductive process was used which at its core required a solution of some weak form of the combinatorial problem studied in this paper. This problem can be stated and studied without any group theoretical background, and in this paper we present the problem, discuss what is known and what the main conjecture is, and solve the conjecture in the smallest open case.
Hamiltonicity and $σ$-hypergraphs
Published
• View Publication
• BIB
We define and study a special type of hypergraph. A $σ$-hypergraph $H= H(n,r,q$ $\mid$ $σ$), where $σ$ is a partition of $r$, is an $r$-uniform hypergraph having $nq$ vertices partitioned into $ n$ classes of $q$ vertices each. If the classes are denoted by $V_1$, $V_2$,...,$V_n$, then a subset $K$ of $V(H)$ of size $r$ is an edge if the partition of $r$ formed by the non-zero cardinalities $ \mid$ $K$ $\cap$ $V_i \mid$, $ 1 \leq i \leq n$, is $σ$. The non-empty intersections $K$ $\cap$ $V_i$ are called the parts of $K$, and $s(σ)$ denotes the number of parts. We consider various types of cycles in hypergraphs such as Berge cycles and sharp cycles in which only consecutive edges have a nonempty intersection. We show that most $σ$-hypergraphs contain a Hamiltonian Berge cycle and that, for $n \geq s+1$ and $q \geq r(r-1)$, a $σ$-hypergraph $H$ always contains a sharp Hamiltonian cycle. We also extend this result to $k$-intersecting cycles.
Plünnecke inequalities for measure graphs with applications
Published
• View Publication
• BIB
We generalize Petridis's new proof of Plünnecke's graph inequality to graphs whose vertex set is a measure space. Consequently, this gives new Plünnecke inequalities for measure preserving actions which enable us to deduce, via a Furstenberg correspondence principle, Banach density estimates in countable abelian groups that improve on those given by Jin.
Tight Chromatic Upper Bound for {3K1, K1+C4}-free Graphs
Problem of finding an optimal upper bound for the chromatic no. of 3K1-free graphs is still open and pretty hard. It was proved by Choudum et al that an upper bound on the chromatic no. of {3K1, K1+C4}-free graphs, is 2ω. We improve this by proving that if G is {3K1, K1+C4}-free, then its chromatic no. is less than or equal to 3ω divided by 2, where ω is the size of a maximum clique in G. Also we give examples to show that this bound is tight.
Duality on Fock spaces and combinatorial energy functions
Published
• View Publication
• BIB
We generalize in a combinatorial way the notion of the affine energy function of type $A$ to the case of a more general class of modules over a general linear Lie superalgebra $\mathfrak{g}$ based on a Howe duality of type $(\mathfrak{g},\mathfrak{gl}_n)$ on various Fock spaces.
Permutations generated by a depth 2 and infinite stack in series are algebraic
Published
• View Publication
• BIB
We prove that the class of permutations generated by passing an ordered sequence $12\dots n$ through a stack of depth 2 and an infinite stack in series is in bijection with an unambiguous context-free language, where a permutation of length $n$ is encoded by a string of length $3n$. It follows that the sequence counting the number of permutations of each length has an algebraic generating function. We use the explicit context-free language to compute the generating function: \begin{align*} \sum_{n\geq 0} c_n t^n &= \frac{(1+q)\left(1+5q-q^2-q^3-(1-q)\sqrt{(1-q^2)(1-4q-q^2)}\right)}{8q} \end{align*} where $c_n$ is the number of permutations of length $n$ that can be generated, and $q \equiv q(t) = \frac{1-2t-\sqrt{1-4t}}{2t}$ is a simple variant of the Catalan generating function. This in turn implies that $c_n^{1/n} \to 2+2\sqrt{5}$.
Spectral radius minus average degree: a better bound
Collatz and Sinogowitz had proposed to measure the departure of a graph $G$ from regularity by the difference of the (adjacency) spectral radius and the average degree: $ε(G)=ρ(G)-\frac{2m}{n}$. We give here new lower bounds on this quantity, which improve upon the currently known ones.
On the number of antichains of sets in a finite universe
Properties of intervals in the lattice of antichains of subsets of a universe of finite size are investigated. New objects and quantities in this lattice are defined. Expressions and numerical values are deduced for the number of connected antichains and the number of fully distinguishing antichains. The latter establish a connection with Stirling numbers of the second kind. Decomposition properties of intervals in the lattice of antichains are proven. A new operator allowing partitioning the full lattice in intervals derived from lower dimensional sub-lattices is introduced. Special posets underlying an interval of antichains are defined. The poset allows the derivation of a powerful formula for the size of an interval. This formula allows computing intervals in the six dimensional space. Combinatorial coefficients allowing another decomposition of the full lattice are defined. In some specific cases, related to connected components in graphs, these coefficients can be efficiently computed. This formula allows computing the size of the lattice of order 8 efficiently. This size is the number of Dedekind of order 8, the largest one known so far.
A complexity analysis of Policy Iteration through combinatorial matrices arising from Unique Sink Orientations
Published
• View Publication
• BIB
Unique Sink Orientations (USOs) are an appealing abstraction of several major optimization problems of applied mathematics such as for instance Linear Programming (LP), Markov Decision Processes (MDPs) or 2-player Turn Based Stochastic Games (2TBSGs). A polynomial time algorithm to find the sink of a USO would translate into a strongly polynomial time algorithm to solve the aforementioned problems---a major quest for all three cases. In addition, we may translate MDPs and 2TBSGs into the problem of finding the sink of an acyclic USO of a cube, which can be done using the well-known Policy Iteration algorithm (PI). The study of its complexity is the object of this work. Despite its exponential worst case complexity, the principle of PI is a powerful source of inspiration for other methods.
As our first contribution, we disprove Hansen and Zwick's conjecture claiming that the number of steps of PI should follow the Fibonacci sequence in the worst case. Our analysis relies on a new combinatorial formulation of the problem---the so-called Order-Regularity formulation (OR). Then, for our second contribution, we (exponentially) improve the $Ω(1.4142^n)$ lower bound on the number of steps of PI from Schurr and Szabó in the case of the OR formulation and obtain an $Ω(1.4269^n)$ bound.
Some upper and lower bounds on PSD-rank
Published
• View Publication
• BIB
Positive semidefinite rank (PSD-rank) is a relatively new quantity with applications to combinatorial optimization and communication complexity. We first study several basic properties of PSD-rank, and then develop new techniques for showing lower bounds on the PSD-rank. All of these bounds are based on viewing a positive semidefinite factorization of a matrix $M$ as a quantum communication protocol. These lower bounds depend on the entries of the matrix and not only on its support (the zero/nonzero pattern), overcoming a limitation of some previous techniques. We compare these new lower bounds with known bounds, and give examples where the new ones are better. As an application we determine the PSD-rank of (approximations of) some common matrices.
Divisibility graph for symmetric and alternating groups
Published
• View Publication
• BIB
Let $X$ be a non-empty set of positive integers and $X^*=X\setminus \{1\}$. The divisibility graph $D(X)$ has $X^*$ as the vertex set and there is an edge connecting $a$ and $b$ with $a, b\in X^*$ whenever $a$ divides $b$ or $b$ divides $a$. Let $X=cs~{G}$ be the set of conjugacy class sizes of a group $G$. In this case, we denote $D(cs~{G})$ by $D(G)$. In this paper we will find the number of connected components of $D(G)$ where $G$ is the symmetric group $S_n$ or is the alternating group $A_n$.
On divisibility graph for simple Zassenhaus groups
The divisibility graph $D(G)$ for a finite group $G$ is a graph with vertex set $cs~(G)\setminus\{1\}$ where $cs~(G)$ is the set of conjugacy class sizes of $G$. Two vertices $a$ and $b$ are adjacent whenever $a$ divides $b$ or $b$ divides $a$. In this paper we will find $D(G)$ where $G$ is a simple Zassenhaus group.
Extension from Precoloured Sets of Edges
Published
• View Publication
• BIB
We consider precolouring extension problems for proper edge-colourings of graphs and multigraphs, in an attempt to prove stronger versions of Vizing's and Shannon's bounds on the chromatic index of (multi)graphs in terms of their maximum degree $Δ$. We are especially interested in the following question: when is it possible to extend a precoloured matching to a colouring of all edges of a (multi)graph? This question turns out to be related to the notorious List Colouring Conjecture and other classic notions of choosability.