Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Supersaturation for hereditary properties
Published
• View Publication
• BIB
Let $\mathcal{F}$ be a collection of $r$-uniform hypergraphs, and let $0 < p < 1$. It is known that there exists $c = c(p,\mathcal{F})$ such that the probability of a random $r$-graph in $G(n,p)$ not containing an induced subgraph from $\mathcal{F}$ is $2^{(-c+o(1)){n \choose r}}$. Let each graph in $\mathcal{F}$ have at least $t$ vertices. We show that in fact for every $ε> 0$, there exists $δ= δ(ε, p,\mathcal{F}) > 0$ such that the probability of a random $r$-graph in $G(n,p)$ containing less than $δn^t$ induced subgraphs each lying in $\mathcal{F}$ is at most $2^{(-c+ε){n \choose r}}$.
This statement is an analogue for hereditary properties of the supersaturation theorem of Erdős and Simonovits. In our applications we answer a question of Bollobás and Nikiforov.
A multiset hook length formula and some applications
Published
• View Publication
• BIB
A multiset hook length formula for integer partitions is established by using combinatorial manipulation. As special cases, we rederive three hook length formulas, two of them obtained by Nekrasov-Okounkov, the third one by Iqbal, Nazir, Raza and Saleem, who have made use of the cyclic symmetry of the topological vertex. A multiset hook-content formula is also proved.
Coalitions and Cliques in the School Choice Problem
Published in Involve 8 (2015) 801-823
• View Publication
• BIB
The school choice mechanism design problem focuses on assignment mechanisms matching students to public schools in a given school district. The well-known Gale Shapley Student Optimal Stable Matching Mechanism (SOSM) is the most efficient stable mechanism proposed so far as a solution to this problem. However its inefficiency is well-documented, and recently the Efficiency Adjusted Deferred Acceptance Mechanism (EADAM) was proposed as a remedy for this weakness. In this note we describe two related adjustments to SOSM with the intention to address the same inefficiency issue. In one we create possibly artificial coalitions among students where some students modify their preference profiles in order to improve the outcome for some other students. Our second approach involves trading cliques among students where those involved improve their assignments by waiving some of their priorities. The coalition method yields the EADAM outcome among other Pareto dominations of the SOSM outcome, while the clique method yields all possible Pareto optimal Pareto dominations of SOSM. The clique method furthermore incorporates a natural solution to the problem of breaking possible ties within preference and priority profiles. We discuss the practical implications and limitations of our approach in the final section of the article.
Derivation of Bell Polynomials of the Second Kind
New methods for derivation of Bell polynomials of the second kind are presented. The methods are based on an ordinary generating function and its composita. The relation between a composita and a Bell polynomial is demonstrated. Main theorems are written and examples of Bell polynomials for trigonometric functions, polynomials, radicals, and Bernoulli functions are given.
Search and test algorithms for Triple Product Property triples
Published in Groups - Complexity - Cryptology, Volume 4, Issue 1, Pages 111-133, May 2012
• View Publication
• BIB
In 2003 COHN and UMANS introduced a group-theoretic approach to fast matrix multiplication. This involves finding large subsets of a group $G$ satisfying the Triple Product Property (TPP) as a means to bound the exponent $ω$ of matrix multiplication. We present two new characterizations of the TPP, which are useful for theoretical considerations and for TPP test algorithms. With this we describe all known TPP tests and implement them in GAP algorithms. We also compare their runtime. Furthermore we show that the search for subgroup TPP triples of nontrivial size in a nonabelian group can be restricted to the set of all nonnormal subgroups of that group. Finally we describe brute-force search algorithms for maximal subgroup and subset TPP triples. In addition we present the results of the subset brute-force search for all groups of order less than 25 and selected results of the subgroup brute-force search for 2-groups, $SL(n,q)$ and $PSL(2,q)$.
Path-search in the pyramid and in other graphs
Published
• View Publication
• BIB
We are given an acyclic directed graph with one source, and a subset of its edges which contains exactly one outgoing edge for every non-sink vertex. These edges determine a unique path from the source to a sink. We can think of it as a switch in every vertex, which determines which way the water arriving to that vertex flows further. We are interested in determining either the sink the flow arrives, or the whole path, with as few questions as possible. The questions we can ask correspond to the vertices of the graph, and the answer describes the switch, i.e. tells which outgoing edge is in our given subset. Originally the problem was proposed by Soren Riis (who posed the question for pyramid graphs) in the following more general form. We are given a natural number k, and k questions can be asked in a round. The goal is to minimize the number of rounds. We completely solve this problem for complete t-ary trees. Also, for pyramid graphs we present some non-trivial partial results.
An Alternative Proof of the $H$-Factor Theorem
Published
• View Publication
• BIB
Let $H: V(G) \rightarrow 2^{\mathbb{N}}$ be a set mapping for a graph $G$. Given a spanning subgraph $F$ of $G$, $F$ is called a {\it general factor} or an $H$-{\it factor} of $G$ if $d_{F}(x)\in H(x)$ for every vertex $x\in V(G)$. $H$-factor problems are, in general, $NP$-complete problems and imply many well-known factor problems (e.g., perfect matchings, $f$-factor problems and $(g, f)$-factor problems) as special cases. Lovász [The factorization of graphs (II),
Acta Math. Hungar., 23 (1972), 223--246] gave a structure description and obtained a deficiency formula for $H$-optimal subgraphs. In this note, we use a generalized alternating path method to give a structural characterization and provide an alternative and shorter proof of Lovász's deficiency formula.
Stacked directed animals and multi-directed animals defined without using heaps of pieces
Stacked directed animals and multi-directed animals are two lattice models defined by Bousquet-Mélou and Rechnitzer in 2002. The original definitions of those models involve heaps of pieces, i.e., some geometric representation of partially commutative monoids. The object of this writing is to define stacked directed animals and multi-directed animals in such a way that heaps of pieces are not involved. Our alternative definitions are equivalent to Bousquet-Mélou and Rechnitzer's original ones.
Neighborliness of the symmetric moment curve
Published
• View Publication
• BIB
We consider the convex hull B_k of the symmetric moment curve U(t)=(cos t, sin t, cos 3t, sin 3t, ..., cos (2k-1)t, sin (2k-1)t) in R^{2k}, where t ranges over the unit circle S= R/2pi Z. The curve U(t) is locally neighborly: as long as t_1, ..., t_k lie in an open arc of S of a certain length phi_k>0, the convex hull of the points U(t_1), ..., U(t_k) is a face of B_k. We characterize the maximum possible length phi_k, proving, in particular, that phi_k > pi/2 for all k and that the limit of phi_k is pi/2 as k grows. This allows us to construct centrally symmetric polytopes with a record number of faces.
High Degree Vertices, Eigenvalues and Diameter of Random Apollonian Networks
In this work we analyze basic properties of Random Apollonian Networks \cite{zhang,zhou}, a popular stochastic model which generates planar graphs with power law properties. Specifically, let $k$ be a constant and $Δ_1 \geq Δ_2 \geq .. \geq Δ_k$ be the degrees of the $k$ highest degree vertices. We prove that at time $t$, for any function $f$ with $f(t) \rightarrow +\infty$ as $t \rightarrow +\infty$, $\frac{t^{1/2}}{f(t)} \leq Δ_1 \leq f(t)t^{1/2}$ and for $i=2,...,k=O(1)$, $\frac{t^{1/2}}{f(t)} \leq Δ_i \leq Δ_{i-1} - \frac{t^{1/2}}{f(t)}$ with high probability (\whp). Then, we show that the $k$ largest eigenvalues of the adjacency matrix of this graph satisfy $λ_k = (1\pm o(1))Δ_k^{1/2}$ \whp. Furthermore, we prove a refined upper bound on the asymptotic growth of the diameter, i.e., that \whp the diameter $d(G_t)$ at time $t$ satisfies $d(G_t) \leq ρ\log{t}$ where $\frac{1}ρ=η$ is the unique solution greater than 1 of the equation $η- 1 - \logη = \log{3}$. Finally, we investigate other properties of the model.
Isomorph-free generation of 2-connected graphs with applications
Many interesting graph families contain only 2-connected graphs, which have ear decompositions. We develop a technique to generate families of unlabeled 2-connected graphs using ear augmentations and apply this technique to two problems. In the first application, we search for uniquely K_r-saturated graphs and find the list of uniquely K_4-saturated graphs on at most 12 vertices, supporting current conjectures for this problem. In the second application, we verifying the Edge Reconstruction Conjecture for all 2-connected graphs on at most 12 vertices. This technique can be easily extended to more problems concerning 2-connected graphs.
A $q$-multinomial expansion of LLT coefficients and plethysm multiplicities
Published
• View Publication
• BIB
Lascoux, Leclerc and Thibon\cite{LLT} introduced a family of symmetric polynomials, called LLT polynomials. We prove a $q$-multinomial expansion of the coefficients of LLT polynomials in the case where $ \boldsymbolμ = \underbrace{(μ,...,μ)}_{n}$ and define a $q$-analog of a sum of the plethysm multiplicities.
A note on higher-dimensional magic matrices
Published in Austral. J. Combin. 50 (2011), 205-215
• Search Publication
We provide exact and asymptotic formulae for the number of unrestricted, respectively indecomposable, $d$-dimensional matrices where the sum of all matrix entries with one coordinate fixed equals 2.
A generalization of the Erdős-Turán law for the order of random permutation
Published
• View Publication
• BIB
We consider random permutations derived by sampling from stick-breaking partitions of the unit interval. The cycle structure of such a permutation can be associated with the path of a decreasing Markov chain on $n$ integers. Under certain assumptions on the stick-breaking factor we prove a central limit theorem for the logarithm of the order of the permutation, thus extending the classical Erdős-Turán law for the uniform permutations and its generalization for Ewens' permutations associated with sampling from the PD/GEM$(θ)$ distribution. Our approach is based on using perturbed random walks to obtain the limit laws for the sum of logarithms of the cycle lengths.
An improved bound on the number of point-surface incidences in three dimensions
Published in Contrib. Discrete Math. 8(1):100--121, 2013
• View Publication
• BIB
We show that $m$ points and $n$ smooth algebraic surfaces of bounded degree in $\mathbb{R}^3$ satisfying suitable nondegeneracy conditions can have at most $O(m^{\frac{2k}{3k-1}}n^{\frac{3k-3}{3k-1}}+m+n)$ incidences, provided that any collection of $k$ points have at most O(1) surfaces passing through all of them, for some $k\geq 3$. In the case where the surfaces are spheres and no three spheres meet in a common circle, this implies there are $O((mn)^{3/4} + m +n)$ point-sphere incidences. This is a slight improvement over the previous bound of $O((mn)^{3/4} β(m,n)+ m +n)$ for $β(m,n)$ an (explicit) very slowly growing function. We obtain this bound by using the discrete polynomial ham sandwich theorem to cut $\mathbb{R}^3$ into open cells adapted to the set of points, and within each cell of the decomposition we apply a Turan-type theorem to obtain crude control on the number of point-surface incidences. We then perform a second polynomial ham sandwich decomposition on the irreducible components of the variety defined by the first decomposition. As an application, we obtain a new bound on the maximum number of unit distances amongst $m$ points in $\mathbb{R}^3$.
Inverse problem in cylindrical electrical networks
Published
• View Publication
• BIB
In this paper we study the inverse Dirichlet-to-Neumann problem for certain cylindrical electrical networks. We define and study a birational transformation acting on cylindrical electrical networks called the electrical $R$-matrix. We use this transformation to formulate a general conjectural solution to this inverse problem on the cylinder. This conjecture extends work of Curtis, Ingerman, and Morrow, and of de Verdière, Gitler, and Vertigan for circular planar electrical networks. We show that our conjectural solution holds for certain "purely cylindrical" networks. Here we apply the grove combinatorics introduced by Kenyon and Wilson.
Tight bounds on the maximum size of a set of permutations with bounded VC-dimension
Published in Journal of Combinatorial Theory, Series A 119 (7), 1461-1478 (2012)
• View Publication
• BIB
The VC-dimension of a family P of n-permutations is the largest integer k such that the set of restrictions of the permutations in P on some k-tuple of positions is the set of all k! permutation patterns. Let r_k(n) be the maximum size of a set of n-permutations with VC-dimension k. Raz showed that r_2(n) grows exponentially in n. We show that r_3(n)=2^Theta(n log(alpha(n))) and for every s >= 4, we have almost tight upper and lower bounds of the form 2^{n poly(alpha(n))}. We also study the maximum number p_k(n) of 1-entries in an n x n (0,1)-matrix with no (k+1)-tuple of columns containing all (k+1)-permutation matrices. We determine that p_3(n) = Theta(n alpha(n)) and that p_s(n) can be bounded by functions of the form n 2^poly(alpha(n)) for every fixed s >= 4. We also show that for every positive s there is a slowly growing function zeta_s(m) (of the form 2^poly(alpha(m)) for every fixed s >= 5) satisfying the following. For all positive integers n and B and every n x n (0,1)-matrix M with zeta_s(n)Bn 1-entries, the rows of M can be partitioned into s intervals so that at least B columns contain at least B 1-entries in each of the intervals.
Class two 1-planar graphs with maximum degree six or seven
A graph is 1-planar if it can be drawn on the plane so that each edge is crossed by at most one other edge. In this note we give examples of class two 1-planar graphs with maximum degree six or seven.
Complex spherical designs and codes
Published
• View Publication
• BIB
Real spherical designs and real and complex projective designs have been shown by Delsarte, Goethals, and Seidel to give rise to association schemes when the strength of the design is high compared to its degree as a code. In contrast, designs on the complex unit sphere remain relatively uninvestigated, despite their importance in numerous applications. In this paper we develop the notion of a complex spherical design and show how many such designs carry the structure of an association scheme. In contrast with the real spherical designs and the real and complex projective designs, these association schemes are nonsymmetric.
Homology of balanced complexes via the Fourier transform
Published
• View Publication
• BIB
Let G_0,...,G_k be finite abelian groups and let G_0*...*G_k be the join of the 0-dimensional complexes G_i. We give a characterization of the integral k-coboundaries of subcomplexes of G_0*...*G_k in terms of the Fourier transform on the group G_0 \times ... \times G_k. This leads to an extension of a recent result of Musiker and Reiner on a topological interpretation of the cyclotomic polynomial.