Showing 20 papers (Total: 83842 papers, 48355 authors in database)
Addition is exponentially harder than counting for shallow monotone circuits
Published
• View Publication
• BIB
Let $U_{k,N}$ denote the Boolean function which takes as input $k$ strings of $N$ bits each, representing $k$ numbers $a^{(1)},\dots,a^{(k)}$ in $\{0,1,\dots,2^{N}-1\}$, and outputs 1 if and only if $a^{(1)} + \cdots + a^{(k)} \geq 2^N.$ Let THR$_{t,n}$ denote a monotone unweighted threshold gate, i.e., the Boolean function which takes as input a single string $x \in \{0,1\}^n$ and outputs $1$ if and only if $x_1 + \cdots + x_n \geq t$. We refer to circuits that are composed of THR gates as monotone majority circuits.
The main result of this paper is an exponential lower bound on the size of bounded-depth monotone majority circuits that compute $U_{k,N}$. More precisely, we show that for any constant $d \geq 2$, any depth-$d$ monotone majority circuit computing $U_{d,N}$ must have size $\smash{2^{Ω(N^{1/d})}}$. Since $U_{k,N}$ can be computed by a single monotone weighted threshold gate (that uses exponentially large weights), our lower bound implies that constant-depth monotone majority circuits require exponential size to simulate monotone weighted threshold gates. This answers a question posed by Goldmann and Karpinski (STOC'93) and recently restated by Hastad (2010, 2014). We also show that our lower bound is essentially best possible, by constructing a depth-$d$, size-$2^{O(N^{1/d})}$ monotone majority circuit for $U_{d,N}$.
As a corollary of our lower bound, we significantly strengthen a classical theorem in circuit complexity due to Ajtai and Gurevich (JACM'87). They exhibited a monotone function that is in AC$^0$ but requires super-polynomial size for any constant-depth monotone circuit composed of unbounded fan-in AND and OR gates. We describe a monotone function that is in depth-$3$ AC$^0$ but requires exponential size monotone circuits of any constant depth, even if the circuits are composed of THR gates.
Random Partitions and the Quantum Benjamin-Ono Hierarchy
We derive exact and asymptotic results for random partitions from general results in the semi-classical analysis of coherent states applied to the classical periodic Benjamin-Ono equation at critical regularity $s= -1/2$. We find classical $dF_{\star |v} (c| \overline{\varepsilon})$ and quantum $d\hat{F}^{η_{NS}}( c | \hbar, \overline{\varepsilon})|_Ψ$ conserved densities for this system with dispersion coefficient $\overline{\varepsilon}$ extending Nazarov-Sklyanin (2013). For quantum stationary states, this conserved density is $dF_λ(c | \varepsilon_2, \varepsilon_1)$ the Rayleigh measure of the profile of a partition $λ$ of anisotropy $(\varepsilon_2, \varepsilon_1) \in \mathbb{C}^2$ for $\hbar = - \varepsilon_1 \varepsilon_2$, $\overline{\varepsilon}= \varepsilon_1 + \varepsilon_2$ invariant under $\varepsilon_2 \longleftrightarrow \varepsilon_1$. As Jack polynomials are the quantum stationary states and Stanley's Cauchy kernel (1989) is the reproducing kernel, the random values of the quantum periodic Benjamin-Ono hierarchy in a coherent state $Υ_v ( \cdot | \hbar)$ are a "Jack measure" on partitions, a dispersive generalization of Okounkov's Schur measures (1999). By our general results for coherent states, we have concentration on a limit shape as $\hbar \rightarrow 0$, the classical conserved density at $v$, and quantum fluctuations are an explicit Gaussian field. Our results follow from an enumerative asymptotic expansion in $\hbar$ and $\overline{\varepsilon}$ of joint cumulants over new combinatorial objects we call "ribbon paths". Our results reflect the fact that at fixed $\hbar>0$ the weight defining Fock space is already a fractional Brownian motion of variance $\hbar$ and Hurst index $(-s) - \tfrac{1}{2} \dim \mathbb{T} = + \tfrac{1}{2} - \tfrac{1}{2} = 0.$
Quantum cluster algebras and quantum nilpotent algebras
Published in Proc. Nat. Acad. Sci. USA 111, no. 27 (2014) 9696-9703
• View Publication
• BIB
A major direction in the theory of cluster algebras is to construct (quantum) cluster algebra structures on the (quantized) coordinate rings of various families of varieties arising in Lie theory. We prove that all algebras in a very large axiomatically defined class of noncommutative algebras possess canonical quantum cluster algebra structures. Furthermore, they coincide with the corresponding upper quantum cluster algebras. We also establish analogs of these results for a large class of Poisson nilpotent algebras. Many important families of coordinate rings are subsumed in the class we are covering, which leads to a broad range of application of the general results to the above mentioned types of problems. As a consequence, we prove the Berenstein--Zelevinsky conjecture for the quantized coordinate rings of double Bruhat cells and construct quantum cluster algebra structures on all quantum unipotent groups, extending the theorem of Geiß, Leclerc and Schröer for the case of symmetric Kac--Moody groups. Moreover, we prove that the upper cluster algebras of Berenstein, Fomin and Zelevinsky associated to double Bruhat cells coincide with the corresponding cluster algebras.
The Thue choice number versus the Thue chromatic number of graphs
We say that a vertex colouring $\varphi$ of a graph $G$ is nonrepetitive if there is no positive integer $n$ and a path on $2n$ vertices $v_{1}\ldots v_{2n}$ in $G$ such that the associated sequence of colours $\varphi(v_{1})\ldots\varphi(v_{2n})$ satisfy $\varphi(v_{i})=\varphi(v_{i+n})$ for all $i=1,2,\dots,n$. The minimum number of colours in a nonrepetitive vertex colouring of $G$ is the Thue chromatic number $π(G)$. For the case of vertex list colourings the Thue choice number $π_{l}(G)$ of $G$ denotes the smallest integer $k$ such that for every list assignment $L:V(G)\rightarrow 2^{\mathbb{N}}$ with minimum list length at least $k$, there is a nonrepetitive vertex colouring of $G$ from the assigned lists. Recently it was proved that the Thue chromatic number and the Thue choice number of the same graph may have an arbitrary large difference in some classes of graphs. Here we give an overview of the known results where we compare these two parameters for several families of graphs and we also give a list of open problems on this topic.
10-tough chordal graphs are Hamiltonian
Published
• View Publication
• BIB
Chen et al. proved that every 18-tough chordal graph has a Hamilton cycle [Networks 31 (1998), 29-38]. Improving upon their bound, we show that every 10-tough chordal graph is Hamiltonian (in fact, Hamilton-connected). We use Aharoni and Haxell's hypergraph extension of Hall's Theorem as our main tool.
A Combinatorial Model of Interference in Frequency Hopping Schemes
In a frequency hopping (FH) scheme users communicate simultaneously using FH sequences defined on the same set of frequency channels. An FH sequence specifies the frequency channel to be used as communication progresses. Much of the research on the performance of FH schemes is based on either pairwise mutual interference or adversarial interference but not both. In this paper, we evaluate the performance of an FH scheme with respect to both group-wise mutual interference and adversarial interference (jamming), bearing in mind that more than two users may be transmitting simultaneously in the presence of a jammer. We establish a correspondence between a cover-free code and an FH scheme. This gives a lower bound on the transmission capacity. Furthermore, we specify a jammer model and consider what additional properties a cover-free code should have to resist the jammer. We demonstrate that a purely combinatorial approach is inadequate against such a jammer, but that with the use of pseudorandomness, we can have a system that has high throughput as well as security against jamming.
A method for determining the mod-$p^k$ behaviour of recursive sequences
Published
• View Publication
• BIB
We present a method for obtaining congruences modulo powers of a prime number~$p$ for combinatorial sequences whose generating function satisfies an algebraic differential equation. This method generalises the one by Kauers and the authors [Electron. J. Combin. 8(2) (2012), Art. P37; arXiv:1107.2015] from $p=2$ to arbitrary primes. Our applications include congruences for numbers of non-crossing graphs and numbers of Kreweras walks modulo powers of~$3$, as well as congruences for Fuß-Catalan numbers and blossom tree numbers modulo powers of arbitrary primes.
On the safe set of Cartesian product of two complete graphs
For a connected graph $G$, a vertex subset $S$ of $V(G)$ is a safe set if for every component $C$ of the subgraph of $G$ induced by $S$, $|C| \ge |D|$ holds for every component $D$ of $G-S$ such that there exists an edge between $C$ and $D$, and, in particular, if the subgraph induced by $S$ is connected, then $S$ is called a connected safe set. For a connected graph $G$, the safe number and the connected safe number of $G$ are the minimum among sizes of the safe sets and the minimum among sizes of the connected safe sets, respectively, of $G$. Fujita et al. introduced these notions in connection with a variation of the facility location problem.
In this paper, we study the safe number and the connected safe number of Cartesian product of two complete graphs. Figuring out a way to reduce the number of components to two without changing the size of safe set makes it sufficient to consider only partitions of an integer into two parts without which it would be much more complicated to take care of all the partitions. In this way, we could show that the safe number and the connected safe number of Cartesian product of two complete graphs are equal and present a polynomial-time algorithm to compute them. Especially, in the case where one of complete components has order at most four, we precisely formulate those numbers.
A revised Moore bound for mixed graphs
Published in Discrete Mathematics, Volume 339, Issue 8, Pages 2066--2069
• View Publication
• BIB
The degree-diameter problem seeks to find the maximum possible order of a graph with a given (maximum) degree and diameter. It is known that graphs attaining the maximum possible value (the Moore bound) are extremely rare, but much activity is focused on finding new examples of graphs or families of graph with orders approaching the bound as closely as possible.
There has been recent interest in this problem as it applies to mixed graphs, in which we allow some of the edges to be undirected and some directed. A 2008 paper of Nguyen and Miller derived an upper bound on the possible number of vertices of such graphs. We show that for diameters larger than three, this bound can be reduced and we present a corrected Moore bound for mixed graphs, valid for all diameters and for all combinations of undirected and directed degrees.
A note on convex characters, Fibonacci numbers and exponential-time algorithms
Published
• View Publication
• BIB
Phylogenetic trees are used to model evolution: leaves are labelled to represent contemporary species ("taxa") and interior vertices represent extinct ancestors. Informally, convex characters are measurements on the contemporary species in which the subset of species (both contemporary and extinct) that share a given state, form a connected subtree. Given an unrooted, binary phylogenetic tree T on a set of n >= 2 taxa, a closed (but fairly opaque) expression for the number of convex characters on T has been known since 1992, and this is independent of the exact topology of T. In this note we prove that this number is actually equal to the (2n-1)th Fibonacci number. Next, we define g_k(T) to be the number of convex characters on T in which each state appears on at least k taxa. We show that, somewhat curiously, g_2(T) is also independent of the topology of T, and is equal to to the (n-1)th Fibonacci number. As we demonstrate, this topological neutrality subsequently breaks down for k >= 3. However, we show that for each fixed k >= 1, g_k(T) can be computed in O(n) time and the set of characters thus counted can be efficiently listed and sampled. We use these insights to give a simple but effective exact algorithm for the NP-hard maximum parsimony distance problem that runs in time $Θ( φ^{n} \cdot n^2 )$, where $φ\approx 1.618...$ is the golden ratio, and an exact algorithm which computes the tree bisection and reconnection distance (equivalently, a maximum agreement forest) in time $Θ( φ^{2n}\cdot \text{poly}(n))$, where $φ^2 \approx 2.619$.
The Unit Bar Visibility Number of a Graph
Published
• View Publication
• BIB
A \textit{$t$-unit-bar representation} of a graph $G$ is an assignment of sets of at most $t$ horizontal unit-length segments in the plane to the vertices of $G$ so that (1) all of the segments are pairwise nonintersecting, and (2) two vertices $x$ and $y$ are adjacent if and only if there is a vertical channel of positive width connecting a segment assigned to $x$ and a segment assigned to $y$ that intersects no other segment. The \textit{unit bar visibility number} of a graph $G$, denoted $ub(G)$, is the minimum $t$ such that $G$ has a $t$-unit-bar visibility representation. Our results include a linear time algorithm that determines $ub(T)$ when $T$ is a tree, bounds on $ub(K_{m,n})$ that determine $ub(K_{m,n})$ asymptotically when $n$ and $m$ are asymptotically equal, and bounds on $ub(K_n)$ that determine $ub(K_n)$ exactly when $n\equiv 1,2\pmod 6$.
On the center of the Hurwitz graph
For any natural number n, the Hurwitz graph $\mathcal{H}(S_n )$ has vertices corresponding to reduced words of the cycle $(1 . . . n)$ in terms of transpositions in $S_n$, and has edges corresponding to local shifts. This graph is known to be connected, and some of its graph theoretic properties, such as its radius and upper bounds on its diameter, are known. We explore further the structure of the Hurwitz Graph, in particular its center and its connection to the geometric tree graph $G_n$. Finally, the extended Hurwitz Graph is defined and its properties such as the radius, characterization of some central elements and bounds on the diameter are obtained. Part of fulfillment of the requirements for the Master's Degree.
Additive bases in groups
Published
• View Publication
• BIB
In this paper, we study the problem of removing an element from an additive basis in a general abelian group. We introduce analogues of the classical functions $X$, $S$ and $E$ (defined in the case of the integers) and obtain bounds on them. Our estimates on the functions $S_G$ and $E_G$ are valid for general abelian groups $G$ while in the case of $X_G$ we show that distinct types of behaviours may occur depending on the group $G$.
The $k$-resultant modulus set problem on algebraic varieties over finite fields
Published
• View Publication
• BIB
We study the $k$-resultant modulus set problem in the $d$-dimensional vector space $\mathbb F_q^d$ over the finite field $\mathbb F_q$ with $q$ elements. Given $E\subset \mathbb F_q^d$ and an integer $k\ge 2$, the $k$-resultant modulus set, denoted by $Δ_k(E)$, is defined as $$ Δ_k(E)=\{\|x^1\pm x^2 \pm \cdots \pm x^k\|\in \mathbb F_q: x^j\in E, ~j=1,2,\ldots, k\},$$ where $\|α\|=α_1^2+\cdots+ α_d^2$ for $α=(α_1, \ldots, α_d) \in \mathbb F_q^d.$ In this setting, the $k$-resultant modulus set problem is to determine the minimal cardinality of $E\subset \mathbb F_q^d$ such that $Δ_k(E) = \mathbb F_q$ or $\mathbb{F}_q^*$. This problem is an extension of the Erdős-Falconer distance problem. In particular, we investigate the $k$-resultant modulus set problem with the restriction that the set $E\subset \mathbb F_q^d$ is contained in a specific algebraic variety. Energy estimates play a crucial role in our proof.
Pairs of dot products in finite fields and rings
Published
• View Publication
• BIB
We obtain bounds on the number of triples that determine a given pair of dot products arising in a vector space over a finite field or a module over the set of integers modulo a power of a prime. More precisely, given $E\subset \mathbb F_q^d$ or $\mathbb Z_q^d$, we provide bounds on the size of the set \[\left\{(u,v,w)\in E \times E \times E : u\cdot v = α, u \cdot w = β\right\}\] for units $α$ and $β$.
Accessible Proof of Standard Monomial Basis for Coordinatization of Schubert Sets of Flags
Published
• View Publication
• BIB
The main results of this paper are accessible with only basic linear algebra. Given an increasing sequence of dimensions, a flag in a vector space is an increasing sequence of subspaces with those dimensions. The set of all such flags (the flag manifold) can be projectively coordinatized using products of minors of a matrix. These products are indexed by tableaux on a Young diagram. A basis of "standard monomials" for the vector space generated by such projective coordinates over the entire flag manifold has long been known. A Schubert variety is a subset of flags specified by a permutation. Lakshmibai, Musili, and Seshadri gave a standard monomial basis for the smaller vector space generated by the projective coordinates restricted to a Schubert variety. Reiner and Shimozono made this theory more explicit by giving a straightening algorithm for the products of the minors in terms of the right key of a Young tableau. Since then, Willis introduced scanning tableaux as a more direct way to obtain right keys. This paper uses scanning tableaux to give more-direct proofs of the spanning and the linear independence of the standard monomials. In the appendix it is noted that this basis is a weight basis for the dual of a Demazure module for a Borel subgroup of GL(n). This paper contains a complete proof that the characters of these modules (the key polynomials) can be expressed as the sums of the weights for the tableaux used to index the standard monomial bases.
A Family of the Zeckendorf Theorem Related Identities
Published
• View Publication
• BIB
In this paper we present a family of identities for recursive sequences arising from a second order recurrence relation, that gives instances of Zeckendorf representation. We prove these results using a special case of an universal property of the recursive sequences. In particular cases we also establish a direct bijection. Besides, we prove further equalities that provide a representation of the sum of $(r+1)$-st and $(r-1)$-st Fibonacci number as the sum of powers of the golden ratio. Similarly, we show a class of natural numbers represented as the sum of powers of the silver ratio.
A Cauchy-Davenport theorem for linear maps
Published
• View Publication
• BIB
We prove a version of the Cauchy-Davenport theorem for general linear maps. For subsets $A,B$ of the finite field $\mathbb{F}_p$, the classical Cauchy-Davenport theorem gives a lower bound for the size of the sumset $A+B$ in terms of the sizes of the sets $A$ and $B$. Our theorem considers a general linear map $L: \mathbb{F}_p^n \to \mathbb{F}_p^m$, and subsets $A_1, \ldots, A_n \subseteq \mathbb{F}_p$, and gives a lower bound on the size of $L(A_1 \times A_2 \times \ldots \times A_n)$ in terms of the sizes of the sets $A_1, \ldots, A_n$.
Our proof uses Alon's Combinatorial Nullstellensatz and a variation of the polynomial method.
Avoidability index for binary patterns with reversal
Published
• View Publication
• BIB
For every pattern $p$ over the alphabet $\{x,y,x^R,y^R\}$, we specify the least $k$ such that $p$ is $k$-avoidable.
A coalgebraic model of graphs
Published
• View Publication
• BIB
For a set-endofunctor $F$, a graph is triple $(V,E,g)$ with a structure map $g:E\rightarrow F V$. This model is a generalized coalgebra over the category of sets. In this note, we model graphs as coalgebras over $Set\times Set$ and use the theory of coalgebras over arbitrary categories to conclude properties of the category of graphs.