Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Size of a 3-uniform linear hypergraph
This article provides bounds on the size of a 3-uniform linear hypergraph with restricted matching number and maximum degree. In particular, we show that if a 3-uniform, linear family $\mathcal{F}$ has maximum matching size $ν$ and maximum degree $Δ$ such that $Δ\geq \frac{23}{6}ν(1+\frac{1}{ν-1})$, then $|\mathcal{F}|\leq Δν$.
Average values of some Z-parameters in a random set partition
Published in The Electronic Journal of Combinatorics 18 (2011), no. 1, P228
• View Publication
• BIB
We find exact and asymptotic formulas for the average values of several statistics on set partitions: of Carlitz's $q$-Stirling distributions, of the numbers of crossings in linear and circular representations of set partitions, of the numbers of overlappings and embracings, and of the numbers of occurrences of a 2-pattern.
Matching-Vector Families and LDCs Over Large Modulo
Published
• View Publication
• BIB
We prove new upper bounds on the size of families of vectors in $\Z_m^n$ with restricted modular inner products, when $m$ is a large integer. More formally, if $\vec{u}_1,\ldots,\vec{u}_t \in \Z_m^n$ and $\vec{v}_1,\ldots,\vec{v}_t \in \Z_m^n$ satisfy $\langle\vec{u}_i,\vec{v}_i\rangle\equiv0\pmod m$ and $\langle\vec{u}_i,\vec{v}_j\rangle\not\equiv0\pmod m$ for all $i\neq j\in[t]$, we prove that $t \leq O(m^{n/2+8.47})$. This improves a recent bound of $t \leq m^{n/2 + O(\log(m))}$ by \cite{BDL13} and is the best possible up to the constant 8.47 when $m$ is sufficiently larger than $n$.
The maximal size of such families, called `Matching-Vector families', shows up in recent constructions of locally decodable error correcting codes (LDCs) and determines the rate of the code. Using our result we are able to show that these codes, called Matching-Vector codes, must have encoding length at least $K^{19/18}$ for $K$-bit messages, regardless of their query complexity. This improves a known super linear bound of $ K2^{Ω({\sqrt{\log K}})}$ proved in \cite{DGY11}.
The Marčenko-Pastur law for sparse random bipartite biregular graphs
Published in Random Structures Algorithms, 48(2):313-340, 2016
• View Publication
• BIB
We prove that the empirical spectral distribution of a (d_L, d_R)-biregular, bipartite random graph, under certain conditions, converges to a symmetrization of the Marčenko-Pastur distribution of random matrix theory. This convergence is not only global (on fixed-length intervals) but also local (on intervals of increasingly smaller length). Our method parallels the one used previously by Dumitriu and Pal (2012).
An Arithmetic Analogue of Fox's Triangle Removal Argument
Published
• View Publication
• BIB
We give an arithmetic version of the recent proof of the triangle removal lemma by Fox [Fox11], for the group $\mathbb{F}_2^n$.
A triangle in $\mathbb{F}_2^n$ is a triple $(x,y,z)$ such that $x+y+z = 0$. The triangle removal lemma for $\mathbb{F}_2^n$ states that for every $ε> 0$ there is a $δ> 0$, such that if a subset $A$ of $\mathbb{F}_2^n$ requires the removal of at least $ε\cdot 2^n$ elements to make it triangle-free, then it must contain at least $δ\cdot 2^{2n}$ triangles. This problem was first studied by Green [Gre05] who proved a lower bound on $δ$ using an arithmetic regularity lemma. Regularity based lower bounds for triangle removal in graphs were recently improved by Fox and we give a direct proof of an analogous improvement for triangle removal in $\mathbb{F}_2^n$.
The improved lower bound was already known to follow (for triangle-removal in all groups), using Fox's removal lemma for directed cycles and a reduction by Král, Serra and Vena [KSV09] (see [Fox11,CF13]). The purpose of this note is to provide a direct Fourier-analytic proof for the group $\mathbb{F}_2^n.$
Complexity and polymorphisms for digraph constraint problems under some basic constructions
Published
• View Publication
• BIB
The role of polymorphisms in determining the complexity of constraint satisfaction problems is well established.
In this context we study the stability of CSP complexity and polymorphism properties under some basic graph theoretic constructions. As applications we observe a collapse in the applicability of algorithms for CSPs over directed graphs with both a total source and a total sink: the corresponding CSP is solvable by the "few subpowers algorithm" if and only if it is solvable by a local consistency check algorithm. Moreover, we find that the property of "strict width" and solvability by few subpowers are unstable under first order reductions. The analysis also yields a complete characterisation of the main polymorphism properties for digraphs whose symmetric closure is a complete graph.
Closed expressions for averages of set partition statistics
Published
• View Publication
• BIB
In studying the enumerative theory of super characters' of the group of upper triangular matrices over a finite field we found that the moments (mean, variance and higher moments) of novel statistics on set partitions have simple closed expressions as linear combinations of shifted bell numbers. It is shown here that families of other statistics have similar moments. The coefficients in the linear combinations are polynomials in $n$. This allows exact enumeration of the moments for small $n$ to determine exact formulae for all $n$.
On the eccentric distance sum of unicyclic graphs with a given matching number
Let $G = (V_G,E_G)$ be a simple connected graph. The eccentric distance sum of $G$ is defined as $ξ^d(G)=\sum_{v \in V_G}\,\varepsilon_G(v)D_G(v),$ where $\varepsilon_G(v)$ is the eccentricity of the vertex $v$ and $D_G(v)=\sum_{u \in V_G}\,d(u,v)$ is the sum of all distances from the vertex $v$. In this paper, we characterize $n$-vertex unicyclic graphs with given matching number having the minimal and second minimal eccentric distance sums, respectively.
The spectral excess theorem for distance-biregular graphs
Published
• View Publication
• BIB
The spectral excess theorem for distance-regular graphs states that a regular (connected) graph is distance-regular if and only if its spectral-excess equals its average excess. A bipartite graph is distance-biregular when it is distance-regular around each vertex and the intersection array only depends on the stable set such a vertex belongs to. In this note we derive a new version of the spectral excess theorem for bipartite distance-biregular graphs.
Typical property of one class of combinatory objects and estimation from above corresponding combinatory numbers
We investigate properties of families $F$ of subsets of a finite set in a situation where subsets are incomparable by the binary inclusion relation and a) for any $A\notin F$, there is such set $A'\in F$ that either $A\subset A'$ or $A'\subset A$; b) for any $A\in F$, $\mid A\mid\in \{k,k+1\}$. For these families we introduce one parametre and we show that for almost all families $F$ the value of this parametre is ${n-1\choose k}$. We show that families with the minimum value of the entered parametre have certain structure and we find also number of such families. At last, we find an estimation from above for combinatory numbers of considered combinatory objects.
A Short Proof of a Ptolemy-Like Relation for an Even number of Points on a Circle Discovered by Jane McDougall
We give a short proof of a Ptolemy-style result first discovered and proved by Jane McDougall. It may be viewed as a generalization to any even number of points of the cubic relation connecting the six joint distances of four points on a circle (whose quadratic relation is the famed Plucker relation, alias Ptolemy's theorem).
This article is in fond memory of Andrei Zelevinsky (1953-2013) who loved Ptolemy's theorem.
A New Perspective on Vertex Connectivity
Published
• View Publication
• BIB
Edge connectivity and vertex connectivity are two fundamental concepts in graph theory. Although by now there is a good understanding of the structure of graphs based on their edge connectivity, our knowledge in the case of vertex connectivity is much more limited. An essential tool in capturing edge connectivity are edge-disjoint spanning trees. The famous results of Tutte and Nash-Williams show that a graph with edge connectivity $λ$ contains $\floor{λ/2}$ edge-disjoint spanning trees.
We present connected dominating set (CDS) partition and packing as tools that are analogous to edge-disjoint spanning trees and that help us to better grasp the structure of graphs based on their vertex connectivity. The objective of the CDS partition problem is to partition the nodes of a graph into as many connected dominating sets as possible. The CDS packing problem is the corresponding fractional relaxation, where CDSs are allowed to overlap as long as this is compensated by assigning appropriate weights. CDS partition and CDS packing can be viewed as the counterparts of the well-studied edge-disjoint spanning trees, focusing on vertex disjointedness rather than edge disjointness.
We constructively show that every $k$-vertex-connected graph with $n$ nodes has a CDS packing of size $Ω(k/\log n)$ and a CDS partition of size $Ω(k/\log^5 n)$. We prove that the $Ω(k/\log n)$ CDS packing bound is existentially optimal.
Using CDS packing, we show that if vertices of a $k$-vertex-connected graph are independently sampled with probability $p$, then the graph induced by the sampled vertices has vertex connectivity $\tildeΩ(kp^2)$. Moreover, using our $Ω(k/\log n)$ CDS packing, we get a store-and-forward broadcast algorithm with optimal throughput in the networking model where in each round, each node can send one bounded-size message to all its neighbors.
Efficient Computation of Representative Sets with Applications in Parameterized and Exact Algorithms
Published
• View Publication
• BIB
We give two algorithms computing representative families of linear and uniform matroids and demonstrate how to use representative families for designing single-exponential parameterized and exact exponential time algorithms. The applications of our approach include
- LONGEST DIRECTED CYCLE
- MINIMUM EQUIVALENT GRAPH (MEG)
- Algorithms on graphs of bounded treewidth
-k-PATH, k-TREE, and more generally, k-SUBGRAPH ISOMORPHISM, where the k-vertex pattern graph is of constant treewidth.
Patterns In The Coefficients Of Powers Of Polynomials Over A Finite Field
We examine the behavior of the coefficients of powers of polynomials over a finite field of prime order. Extending the work of Allouche-Berthe, 1997, we study a(n), the number of occurring strings of length n among coefficients of any power of a polynomial f reduced modulo a prime p. The sequence of line complexity a(n) is p-regular in the sense of Allouche-Shalit. For f=1+x and general p, we derive a recursion relation for a(n) then find a new formula for the generating function for a(n). We use the generating function to compute the asymptotics of a(n)/n^2 as n approaches infinity, which is an explicitly computable piecewise quadratic in x with n= [p^m/x] and x is a real number between 1/p and 1. Analyzing other cases, we form a conjecture about the generating function for general a(n). We examine the matrix B associated with f and p used to compute the count of a coefficient, which applies to the theory of linear cellular automata and fractals. For p=2 and polynomials of small degree we compute the largest positive eigenvalue, λ, of B, related to the fractal dimension d of the corresponding fractal by d= \log_2(λ). We find proofs and make a number of conjectures for some bounds on λ, and upper bounds on its degree.
Blocks of the truncated $q$-Schur algebras of type A
Published
• View Publication
• BIB
This paper classifies the blocks of the truncated $q$-Schur algebras of type $A$ which have as weight poset an arbitrary cosaturated set of partitions.
Building spanning trees quickly in Maker-Breaker games
Published
• View Publication
• BIB
For a tree T on n vertices, we study the Maker-Breaker game, played on the edge set of the complete graph on n vertices, which Maker wins as soon as the graph she builds contains a copy of T. We prove that if T has bounded maximum degree, then Maker can win this game within n+1 moves. Moreover, we prove that Maker can build almost every tree on n vertices in n-1 moves and provide non-trivial examples of families of trees which Maker cannot build in n-1 moves.
Interlacing Families I: Bipartite Ramanujan Graphs of All Degrees
Published
• View Publication
• BIB
We prove that there exist infinite families of regular bipartite Ramanujan graphs of every degree bigger than 2. We do this by proving a variant of a conjecture of Bilu and Linial about the existence of good 2-lifts of every graph.
We also establish the existence of infinite families of `irregular Ramanujan' graphs, whose eigenvalues are bounded by the spectral radius of their universal cover. Such families were conjectured to exist by Linial and others. In particular, we prove the existence of infinite families of (c,d)-biregular bipartite graphs with all non-trivial eigenvalues bounded by sqrt{c-1}+sqrt{d-1}, for all c, d \geq 3.
Our proof exploits a new technique for demonstrating the existence of useful combinatorial objects that we call the "method of interlacing polynomials'".
Simplifying Multiple Sums in Difference Fields
Published
• View Publication
• BIB
In this survey article we present difference field algorithms for symbolic summation. Special emphasize is put on new aspects in how the summation problems are rephrased in terms of difference fields, how the problems are solved there, and how the derived results in the given difference field can be reinterpreted as solutions of the input problem. The algorithms are illustrated with the Mathematica package \SigmaP\ by discovering and proving new harmonic number identities extending those from (Paule and Schneider, 2003). In addition, the newly developed package \texttt{EvaluateMultiSums} is introduced that combines the presented tools. In this way, large scale summation problems for the evaluation of Feynman diagrams in QCD (Quantum ChromoDynamics) can be solved completely automatically.
The lumpability property for a family of Markov chains on poset block structures
Published in Advances in Applied Mathematics, Volume 51 (2013), Issue 3, 367-391
• View Publication
• BIB
We construct different classes of lumpings for a family of Markov chain products which reflect the structure of a given finite poset. We use essentially combinatorial methods. We prove that, for such a product, every lumping can be obtained from the action of a suitable subgroup of the generalized wreath product of symmetric groups, acting on the underlying poset block structure, if and only if the poset defining the Markov process is totally ordered, and one takes the uniform Markov operator in each factor state space. Finally we show that, when the state space is a homogeneous space associated with a Gelfand pair, the spectral analysis of the corresponding lumped Markov chain is completely determined by the decomposition of the group action into irreducible submodules.
The planar directed k-Vertex-Disjoint Paths problem is fixed-parameter tractable
Published
• View Publication
• BIB
Given a graph G and k pairs of vertices (s_1,t_1), ..., (s_k,t_k), the k-Vertex-Disjoint Paths problem asks for pairwise vertex-disjoint paths P_1, ..., P_k such that P_i goes from s_i to t_i. Schrijver [SICOMP'94] proved that the k-Vertex-Disjoint Paths problem on planar directed graphs can be solved in time n^{O(k)}. We give an algorithm with running time 2^{2^{O(k^2)}} n^{O(1)} for the problem, that is, we show the fixed-parameter tractability of the problem.