contain ↗ reference
7689 papers tagged with this keyword
Application of arrangement theory to unfolding models
Published in Advanced Studies in Pure Mathematics, vol.62, pp.399-41, 2012
• View Publication
• BIB
Arrangement theory plays an essential role in the study of the unfolding model used in many fields. This paper describes how arrangement theory can be usefully employed in solving the problems of counting (i) the number of admissible rankings in an unfolding model and (ii) the number of ranking patterns generated by unfolding models. The paper is mostly expository but also contains some new results such as simple upper and lower bounds for the number of ranking patterns in the unidimensional case.
Loose Hamilton Cycles in Random 3-Uniform Hypergraphs
Published
• View Publication
• BIB
In the random hypergraph H=H(n,p;3) each possible triple appears independently with probability p. A loose Hamilton cycle can be described as a sequence of edges {x_i,y_i,x_{i+1}\} for i=1,2,...,n/2. We prove that there exists an absolute constant K>0 such that if p>K\log n/n^2 then lim_{n->oo 4 |n}}Pr(H(n,p;3) contains a loose Hamilton cycle)=1.
Lie theory of finite simple groups and the Roth property
In noncommutative geometry a `Lie algebra' or bidirectional bicovariant differential calculus on a finite group is provided by a choice of an ad-stable generating subset C stable under inversion. We study the associated Killing form. For the universal calculus associated to C=G \ {e} we show that the magnitude of the Killing form μ=\sum_{a,b\in C}K^{-1}_{a,b} is defined for all finite groups (even when K is not invertible) and that a finite group is Roth, meaning its conjugation representation contains every irreducible, iff μ is not equal to 1/(N-1), where N is the number of conjugacy classes. We show further that the Killing form is invertible in the Roth case, and that the Killing form restricted to the (N-1)-dimensional subspace of invariant vectors is invertible iff the finite group is almost-Roth group (meaning its conjugation representation has at most one missing irreducible). It is known that most finite simple groups are Roth and that all are almost Roth. At the other extreme from the universal calculus we prove that the generating conjugacy class in the case of the dihedral groups D_{2n} with n odd has invertible Killing form, and the same for the 2-cycles conjugacy class in any S_n. We also compute some eigenvalues of the Killing form in the case of the n-cycles class in S_n. Finally, we verify invertibility of the Killing forms of all real conjugacy classes in all nonabelian finite simple groups to order 75,000, by computer, and we conjecture this to extend to all nonabelian finite simple groups.
On the Structure of Sets of Large Doubling
Published
• View Publication
• BIB
We investigate the structure of finite sets $A \subseteq \Z$ where $|A+A|$ is large. We present a combinatorial construction that serves as a counterexample to natural conjectures in the pursuit of an "anti-Freiman" theory in additive combinatorics. In particular, we answer a question along these lines posed by O'Bryant. Our construction also answers several questions about the nature of finite unions of $B_2[g]$ and $B^\circ_2[g]$ sets, and enables us to construct a $Λ(4)$ set which does not contain large $B_2[g]$ or $B^\circ_2[g]$ sets.
The graph bottleneck identity
Published in Advances in Applied Mathematics. 47 (2011), No.3, P.403-413
• View Publication
• BIB
A matrix $S=(s_{ij})\in{\mathbb R}^{n\times n}$ is said to determine a \emph{transitional measure} for a digraph $G$ on $n$ vertices if for all $i,j,k\in\{1,\...,n\},$ the \emph{transition inequality} $s_{ij} s_{jk}\le s_{ik} s_{jj}$ holds and reduces to the equality (called the \emph{graph bottleneck identity}) if and only if every path in $G$ from $i$ to $k$ contains $j$. We show that every positive transitional measure produces a distance by means of a logarithmic transformation. Moreover, the resulting distance $d(\cdot,\cdot)$ is \emph{graph-geodetic}, that is, $d(i,j)+d(j,k)=d(i,k)$ holds if and only if every path in $G$ connecting $i$ and $k$ contains $j$. Five types of matrices that determine transitional measures for a digraph are considered, namely, the matrices of path weights, connection reliabilities, route weights, and the weights of in-forests and out-forests. The results obtained have undirected counterparts. In [P. Chebotarev, A class of graph-geodetic distances generalizing the shortest-path and the resistance distances, Discrete Appl. Math., URL http://dx.doi.org/10.1016/j.dam.2010.11.017] the present approach is used to fill the gap between the shortest path distance and the resistance distance.
The Erdös-Pósa property for clique minors in highly connected graphs
Published
• View Publication
• BIB
We prove the existence of a function f: N^2 -> N such that for all p,k in N every (k(p-3) + 14p+14) - connected graph either has k disjoint K_p minors or contains a set of at most f(p,k) vertices whose deletion kills all its K_p minors. For fixed p > 4, the connectivity bound of about k(p-3) is smallest possible, up to an additive constant: if we assume less connectivity in terms of k, there will be no such function f.
A probabilistic technique for finding almost-periods of convolutions
Published
• View Publication
• BIB
We introduce a new probabilistic technique for finding 'almost-periods' of convolutions of subsets of groups. This gives results similar to the Bogolyubov-type estimates established by Fourier analysis on abelian groups but without the need for a nice Fourier transform to exist. We also present applications, some of which are new even in the abelian setting. These include a probabilistic proof of Roth's theorem on three-term arithmetic progressions and a proof of a variant of the Bourgain-Green theorem on the existence of long arithmetic progressions in sumsets A+B that works with sparser subsets of {1, ..., N} than previously possible. In the non-abelian setting we exhibit analogues of the Bogolyubov-Freiman-Halberstam-Ruzsa-type results of additive combinatorics, showing that product sets A B C and A^2 A^{-2} are rather structured, in the sense that they contain very large iterated product sets. This is particularly so when the sets in question satisfy small-doubling conditions or high multiplicative energy conditions. We also present results on structures in product sets A B. Our results are 'local' in nature, meaning that it is not necessary for the sets under consideration to be dense in the ambient group. In particular, our results apply to finite subsets of infinite groups provided they 'interact nicely' with some other set.
Triangle-Free 2-Matchings Revisited
Published
• View Publication
• BIB
A \emph{2-matching} in an undirected graph $G = (VG, EG)$ is a function $f \colon EG \to \set{0,1,2}$ such that for each node $v \in VG$ the sum of values $f(e)$ on all edges $e$ incident to $v$ does not exceed~2. The \emph{size} of $f$ is the sum $\sum_e f(e)$. If $\set{e \in EG \mid f(e) \ne 0}$ contains no triangles then $f$ is called \emph{triangle-free}. Cornuéjols and Pulleyblank devised a combinatorial $O(mn)$-algorithm that finds a triangle free 2-matching of maximum size (hereinafter $n := \abs{VG}$, $m := \abs{EG}$) and also established a min-max theorem. We claim that this approach is, in fact, superfluous by demonstrating how their results may be obtained directly from the Edmonds--Gallai decomposition. Applying the algorithm of Micali and Vazirani we are able to find a maximum triangle-free 2-matching in $O(m\sqrt{n})$-time. Also we give a short self-contained algorithmic proof of the min-max theorem. Next, we consider the case of regular graphs. It is well-known that every regular graph admits a perfect 2-matching. One can easily strengthen this result and prove that every $d$-regular graph (for $d \geq 3$) contains a perfect triangle-free 2-matching. We give the following algorithms for finding a perfect triangle-free 2-matching in a $d$-regular graph: an O(n)-algorithm for $d = 3$, an $O(m + n^{3/2})$-algorithm for $d = 2k$ ($k \ge 2$), and an $O(n^2)$-algorithm for $d = 2k + 1$ ($k \ge 2$). We also prove that there exists a constant $c > 1$ such that every 3-regular graph contains at least $c^n$ perfect triangle-free 2-matchings.
Modular, $k$-noncrossing diagrams
Published
• View Publication
• BIB
In this paper we compute the generating function of modular, $k$-noncrossing diagrams. A $k$-noncrossing diagram is called modular if it does not contains any isolated arcs and any arc has length at least four. Modular diagrams represent the deformation retracts of RNA pseudoknot structures \cite{Stadler:99,Reidys:07pseu,Reidys:07lego} and their properties reflect basic features of these bio-molecules. The particular case of modular noncrossing diagrams has been extensively studied \cite{Waterman:78b, Waterman:79,Waterman:93, Schuster:98}. Let ${\sf Q}_k(n)$ denote the number of modular $k$-noncrossing diagrams over $n$ vertices. We derive exact enumeration results as well as the asymptotic formula ${\sf Q}_k(n)\sim c_k n^{-(k-1)^2-\frac{k-1}{2}}γ_{k}^{-n}$ for $k=3,..., 9$ and derive a new proof of the formula ${\sf Q}_2(n)\sim 1.4848\, n^{-3/2}\,1.8489^{-n}$ \cite{Schuster:98}.
Locally $s$-distance transitive graphs
Published
• View Publication
• BIB
We give a unified approach to analysing, for each positive integer $s$, a class of finite connected graphs that contains all the distance transitive graphs as well as the locally $s$-arc transitive graphs of diameter at least $s$. A graph is in the class if it is connected and if, for each vertex $v$, the subgroup of automorphisms fixing $v$ acts transitively on the set of vertices at distance $i$ from $v$, for each $i$ from 1 to $s$. We prove that this class is closed under forming normal quotients. Several graphs in the class are designated as degenerate, and a nondegenerate graph in the class is called basic if all its nontrivial normal quotients are degenerate. We prove that, for $s\geq 2$, a nondegenerate, nonbasic graph in the class is either a complete multipartite graph, or a normal cover of a basic graph. We prove further that, apart from the complete bipartite graphs, each basic graph admits a faithful quasiprimitive action on each of its (1 or 2) vertex orbits, or a biquasiprimitive action. These results invite detailed additional analysis of the basic graphs using the theory of quasiprimitive permutation groups.
On weighted zero-sum sequences
Published
• View Publication
• BIB
Let G be a finite additive abelian group with exponent exp(G)=n>1 and let A be a nonempty subset of {1,...,n-1}. In this paper, we investigate the smallest positive integer $m$, denoted by s_A(G), such that any sequence {c_i}_{i=1}^m with terms from G has a length n=exp(G) subsequence {c_{i_j}}_{j=1}^n for which there are a_1,...,a_n in A such that sum_{j=1}^na_ic_{i_j}=0.
When G is a p-group, A contains no multiples of p and any two distinct elements of A are incongruent mod p, we show that s_A(G) is at most $\lceil D(G)/|A|\rceil+exp(G)-1$ if |A| is at least (D(G)-1)/(exp(G)-1), where D(G) is the Davenport constant of G and this upper bound for s_A(G)in terms of |A| is essentially best possible.
In the case A={1,-1}, we determine the asymptotic behavior of s_{1,-1}(G) when exp(G) is even, showing that, for finite abelian groups of even exponent and fixed rank, s_{1,-1}(G)=exp(G)+log_2|G|+O(log_2log_2|G|) as exp(G) tends to the infinity. Combined with a lower bound of $exp(G)+sum{i=1}{r}\lfloor\log_2 n_i\rfloor$, where $G=\Z_{n_1}\oplus...\oplus \Z_{n_r}$ with 1<n_1|... |n_r, this determines s_{1,-1}(G), for even exponent groups, up to a small order error term. Our method makes use of the theory of L-intersecting set systems.
Some additional more specific values and results related to s_{1,-1}(G) are also computed.
The Hydra-k partial fields
In the paper "Confinement of matroid representations to subsets of partial fields" (arXiv:0806.4487) we introduced the Hydra-k partial fields to study quinary matroids with inequivalent representations. The proofs of some results on these partial fields require extensive computations. This paper contains these computations, implemented in Mathematica.
Almost spanning subgraphs of random graphs after adversarial edge removal
Let Delta>1 be a fixed integer. We show that the random graph G(n,p) with p>>(log n/n)^{1/Delta} is robust with respect to the containment of almost spanning bipartite graphs H with maximum degree Delta and sublinear bandwidth in the following sense: asymptotically almost surely, if an adversary deletes arbitrary edges in G(n,p) such that each vertex loses less than half of its neighbours, then the resulting graph still contains a copy of all such H.
Dense subgraphs in the H-free process
Published in Discrete Mathematics 31 (2011), 2703-2707
• View Publication
• BIB
The H-free process starts with the empty graph on n vertices and adds edges chosen uniformly at random, one at a time, subject to the condition that no copy of H is created, where H is some fixed graph. When H is strictly 2-balanced, we show that for some c,d>0, with high probability as $n \to \infty$, the final graph of the H-free process contains no subgraphs F on $v_F \leq n^{d}$ vertices with maximum density $\max_{J \subseteq F}\{e_J/v_J\} \geq c$. This extends and generalizes results of Gerke and Makai for the C_3-free process.
A Model Theoretic Proof of Szemerédi's Theorem
We present a short proof of Szemerédi's Theorem using a dynamical system enriched by ideas from model theory. The resulting proof contains features reminiscent of proofs based on both ergodic theory and on hypergraph regularity.
Deciding the finiteness of the number of simple permutations contained in a wreath-closed class is polynomial
Published in Pure Mathematics and Applications 21, 2 (2010) 119-135
• Search Publication
We present an algorithm running in time O(n ln n) which decides if a wreath-closed permutation class Av(B) given by its finite basis B contains a finite number of simple permutations. The method we use is based on an article of Brignall, Ruskuc and Vatter which presents a decision procedure (of high complexity) for solving this question, without the assumption that Av(B) is wreath-closed. Using combinatorial, algorithmic and language theoretic arguments together with one of our previous results on pin-permutations, we are able to transform the problem into a co-finiteness problem in a complete deterministic automaton.
Traces Without Maximal Chains
Published
• View Publication
• BIB
The trace of a family of sets $\mathcal{A}$ on a set $X$ is $\mathcal{A}|_X=\{A\cap X:A\in \mathcal{A}\}$. If $\mathcal{A}$ is a family of $k$-sets from an $n$-set such that for any $r$-subset $X$ the trace $\mathcal{A}|_X$ does not contain a maximal chain, then how large can $\mathcal{A}$ be? Patkós conjectured that, for $n$ sufficiently large, the size of $\mathcal{A}$ is at most $\binom{n-k+r-1}{r-1}$. Our aim in this paper is to prove this conjecture.
Almost all triple systems with independent neighborhoods are semi-bipartite
Published
• View Publication
• BIB
The neighborhood of a pair of vertices $u,v$ in a triple system is the set of vertices $w$ such that $uvw$ is an edge.
A triple system
$\HH$ is semi-bipartite if its vertex set contains a vertex subset $X$ such that every edge of $\HH$ intersects $X$ in exactly two points. It is easy to see that if $\HH$ is semi-bipartite, then the neighborhood of every pair of vertices in $\HH$ is an independent set. We show a partial converse of this statement by proving that almost all triple systems with vertex sets $[n]$ and independent neighborhoods are semi-bipartite. Our result can be viewed as an extension of the Erd\H os-Kleitman-Rothschild theorem to triple systems. The proof uses the Frankl-Rödl hypergraph regularity lemma, and stability theorems. Similar results have recently been proved for hypergraphs with various other local constraints.
Skew characters which contain only few components
Wrong assumptions were made in the proof of Theorem 3.12 and Lemma 3.6. A preprint containing a correct proof for Lemma 3.6 is in preparation and will be uploaded later this month. So the results of section 3 are correct, apart from Theorem 3.12 and the remarks following Theorem 3.12.
Books vs Triangles
Published
• View Publication
• BIB
A book of size b in a graph is an edge that lies in b triangles. Consider a graph G with n vertices and \lfloor n^2/4\rfloor +1 edges. Rademacher proved that G contains at least \lfloor n/2\rfloor triangles, and Erdos conjectured and Edwards proved that G contains a book of size at least n/6.
We prove the following "linear combination" of these two results. Suppose that α\in (1/2, 1) and the maximum size of a book in G is less than αn/2. Then G contains at least α(1-α) n^2/4 - o(n^2) triangles as n approaches infinity. This is asymptotically sharp. On the other hand, for every α\in (1/3, 1/2), there exists β>0 such that G contains at least βn^3 triangles. It remains an open problem to determine the largest possible βin terms of α. Our proof uses the Ruzsa-Szemeredi theorem.