arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 82311 papers, 47607 authors in database)
2013-02-26 v2
The importance sampling technique for understanding rare events in Erdős-Rényi random graphs
Published • View Publication • BIB
In dense Erdős-Rényi random graphs, we are interested in the events where large numbers of a given subgraph occur. The mean behavior of subgraph counts is known, and only recently were the related large deviations results discovered. Consequently, it is natural to ask, can one develop efficient numerical schemes to estimate the probability of an Erdős-Rényi graph containing an excessively large number of a fixed given subgraph? Using the large deviation principle we study an importance sampling scheme as a method to numerically compute the small probabilities of large triangle counts occurring within Erdős-Rényi graphs. We show that the exponential tilt suggested directly by the large deviation principle does not always yield an optimal scheme. The exponential tilt used in the importance sampling scheme comes from a generalized class of exponential random graphs. Asymptotic optimality, a measure of the efficiency of the importance sampling scheme, is achieved by a special choice of the parameters in the exponential random graph that makes it indistinguishable from an Erdős-Rényi graph conditioned to have many triangles in the large network limit. We show how this choice can be made for the conditioned Erdős-Rényi graphs both in the replica symmetric phase as well as in parts of the replica breaking phase to yield asymptotically optimal numerical schemes to estimate this rare event probability.
2013-02-26 v2
Generating permutations with a given major index
Published • View Publication • BIB
In [S. Effler, F. Ruskey, A CAT algorithm for listing permutations with a given number of inversions, {\it I.P.L.}, 86/2 (2003)] the authors give an algorithm, which appears to be CAT, for generating permutations with a given major index. In the present paper we give a new algorithm for generating a Gray code for subexcedant sequences. We show that this algorithm is CAT and derive it into a CAT generating algorithm for permutations with a given major index.
2013-02-26
Group distance magic graphs $G\times C_n$
Published in Discrete Applied Mathematics 177(20) (2014) 80-87 • View Publication • BIB
A $Γ$-distance magic labeling of a graph $G=(V,E)$ with $|V | = n$ is a bijection $f$ from $V$ to an Abelian group $Γ$ of order $n$ such that the weight $w(x)=\sum_{y\in N_G(x)}f(y)$ of every vertex $x \in V$ is equal to the same element $μ\in Γ$, called the \emph{magic constant}. In this paper we will show that if $G$ is a graph of order $n=2^{p}(2k+1)$ for some natural numbers $p$, $k$ such that $°(v)\equiv c \imod {2^{p+2}}$ for some constant $c$ for any $v\in V(G)$, then there exists a $Γ$-distance magic labeling for any Abelian group $Γ$ of order $4n$ for the direct product $G\times C_4$. Moreover if $c$ is even then there exists a $Γ$-distance magic labeling for any Abelian group $Γ$ of order $8n$ for the direct product $G\times C_8$.
Teach Network Science to Teenagers
Published • View Publication • BIB
We discuss our outreach efforts to introduce school students to network science and explain why networks researchers should be involved in such outreach activities. We provide overviews of modules that we have designed for these efforts, comment on our successes and failures, and illustrate the potentially enormous impact of such outreach efforts.
2013-02-26 v2
Poisson summation formula and Box splines
We generalize Dahmen-Micchelli deconvolution formula for Box splines with parameters. Our proof is based on identities for Poisson summation of rational functions with poles on hyperplanes.
2013-02-25
From dynamical systems to renormalization
Published • View Publication • BIB
We study in this paper logarithmic derivatives associated to derivations on graded complete Lie algebra, as well as the existence of inverses. These logarithmic derivatives, when invertible, generalize the exp-log correspondence between a Lie algebra and its Lie group. Such correspondences occur naturally in the study of dynamical systems when dealing with the linearization of vector fields and the non-linearizability of a resonant vector fields corresponds to the non-invertibility of a logarithmic derivative and to the existence of normal forms. These concepts, stemming from the theory of dynamical systems, can be rephrased in the abstract setting of Lie algebra and the same difficulties as in perturbative quantum field theory (pQFT) arise here. Surprisingly, one can adopt the same ideas as in pQFT with fruitful results such as new constructions of normal forms with the help of the Birkhoff decomposition. The analogy goes even further (locality of counter terms, choice of a renormalization scheme) and shall lead to more interactions between dynamical systems and quantum field theory.
2013-02-25 v2
Sperner's problem for G-independent families
Published • View Publication • BIB
Given a graph G, let Q(G) denote the collection of all independent (edge-free) sets of vertices in G. We consider the problem of determining the size of a largest antichain in Q(G). When G is the edge-less graph, this problem is resolved by Sperner's Theorem. In this paper, we focus on the case where G is the path of length n-1, proving the size of a maximal antichain is of the same order as the size of a largest layer of Q(G).
2013-02-25 v2
Note on group distance magic complete bipartite graphs
Published in Central European Journal of Mathematics 12(3) (2014) 529-533 • View Publication • BIB
A $Γ$-distance magic labeling of a graph $G=(V,E)$ with $|V | = n$ is a bijection $\ell$ from $V$ to an Abelian group $Γ$ of order $n$ such that the weight $w(x)=\sum_{y\in N_G(x)}\ell(y)$ of every vertex $x \in V$ is equal to the same element $μ\in Γ$, called the \emph{magic constant}. A graph $G$ is called a \emph{group distance magic graph} if there exists a $Γ$-distance magic labeling for every Abelian group $Γ$ of order $|V(G)|$. In this paper we prove that some complete $k$-partite graphs are $\mathbb{Z}_p$-distance magic. Moreover we prove that $K_{m,n}$ is a group distance magic if and only if $n+m \not \equiv 2 \pmod 4$. We also show that if $n+m \equiv 2 \pmod 4$, then there does not exist a group $Γ$ of order $n+m$ such that there exists a $Γ$-distance labeling for $K_{m,n}$.
2013-02-25 v2
On Sylvester Waves and restricted partitions
The higher Sylvester waves are discussed. Techniques used involve finite difference operators. For example, using Herschel's theorem, elegant expressions for Euler's rational functions and the Todd operator are found. Derivative expansions are also rapidly treated by the same method. A general form for the wave is obtained using multiplicative series, and comments made on its further reduction. As is known, Dedekind sums arise in the case of coprime components and it is pointed out that Brioschi had this result, but not the terminology, very early on. His proof is repeated. Adding a set of ones to the components of the denumerant corresponds to a succession of (discrete) smoothings and is a Cesaro sum. Using a spectral vocabulary, I take the opportunity to exhibit the finite difference counterparts of some continuous, distributional properties of Riesz typical means.
Threshold-Coloring and Unit-Cube Contact Representation of Graphs
Published • View Publication • BIB
In this paper we study threshold coloring of graphs, where the vertex colors represented by integers are used to describe any spanning subgraph of the given graph as follows. Pairs of vertices with near colors imply the edge between them is present and pairs of vertices with far colors imply the edge is absent. Not all planar graphs are threshold-colorable, but several subclasses, such as trees, some planar grids, and planar graphs without short cycles can always be threshold-colored. Using these results we obtain unit-cube contact representation of several subclasses of planar graphs. Variants of the threshold coloring problem are related to well-known graph coloring and other graph-theoretic problems. Using these relations we show the NP-completeness for two of these variants, and describe a polynomial-time algorithm for another.
The triangle-free process and the Ramsey number $R(3,k)$
The areas of Ramsey theory and random graphs have been closely linked ever since Erdős' famous proof in 1947 that the 'diagonal' Ramsey numbers $R(k)$ grow exponentially in $k$. In the early 1990s, the triangle-free process was introduced as a model which might potentially provide good lower bounds for the 'off-diagonal' Ramsey numbers $R(3,k)$. In this model, edges of $K_n$ are introduced one-by-one at random and added to the graph if they do not create a triangle; the resulting final (random) graph is denoted $G_{n,\triangle}$. In 2009, Bohman succeeded in following this process for a positive fraction of its duration, and thus obtained a second proof of Kim's celebrated result that $R(3,k) = Θ\big( k^2 / \log k \big)$. In this paper we improve the results of both Bohman and Kim, and follow the triangle-free process all the way to its asymptotic end. In particular, we shall prove that $$e\big( G_{n,\triangle} \big) \,=\, \left( \frac{1}{2\sqrt{2}} + o(1) \right) n^{3/2} \sqrt{\log n },$$ with high probability as $n \to \infty$. We also obtain several pseudorandom properties of $G_{n,\triangle}$, and use them to bound its independence number, which gives as an immediate corollary $$R(3,k) \, \ge \, \left( \frac{1}{4} - o(1) \right) \frac{k^2}{\log k}.$$ This significantly improves Kim's lower bound, and is within a factor of $4 + o(1)$ of the best known upper bound, proved by Shearer over 25 years ago.
2013-02-24
Characterization of Minimum Cycle Basis in Weighted Partial 2-trees
Published • View Publication • BIB
For a weighted outerplanar graph, the set of lex short cycles is known to be a minimum cycle basis [Inf. Process. Lett. 110 (2010) 970-974 ]. In this work, we show that the set of lex short cycles is a minimum cycle basis in weighted partial 2-trees (graphs of treewidth two) which is a superclass of outerplanar graphs.
2013-02-24 v2
Natural statistics for spectral samples
Published in Annals of Statistics 2013, Vol. 41, No. 2, 982-1004 • View Publication • BIB
Spectral sampling is associated with the group of unitary transformations acting on matrices in much the same way that simple random sampling is associated with the symmetric group acting on vectors. This parallel extends to symmetric functions, k-statistics and polykays. We construct spectral k-statistics as unbiased estimators of cumulants of trace powers of a suitable random matrix. Moreover we define normalized spectral polykays in such a way that when the sampling is from an infinite population they return products of free cumulants.
Minimal complete Shidoku symmetry groups
Calculations of the number of equivalence classes of Sudoku boards has to this point been done only with the aid of a computer, in part because of the unnecessarily large symmetry group used to form the classes. In particular, the relationship between relabeling symmetries and positional symmetries such as row/column swaps is complicated. In this paper we focus first on the smaller Shidoku case and show first by computation and then by using connectivity properties of simple graphs that the usual symmetry group can in fact be reduced to various minimal subgroups that induce the same action. This is the first step in finding a similar reduction in the larger Sudoku case and for other variants of Sudoku.
2013-02-24 v2
Dynamic concentration of the triangle-free process
Published • View Publication • BIB
The triangle-free process begins with an empty graph on n vertices and iteratively adds edges chosen uniformly at random subject to the constraint that no triangle is formed. We determine the asymptotic number of edges in the maximal triangle-free graph at which the triangle-free process terminates. We also bound the independence number of this graph, which gives an improved lower bound on the Ramsey numbers R(3,t): we show R(3,t) > (1-o(1)) t^2 / (4 log t), which is within a 4+o(1) factor of the best known upper bound. Our improvement on previous analyses of this process exploits the self-correcting nature of key statistics of the process. Furthermore, we determine which bounded size subgraphs are likely to appear in the maximal triangle-free graph produced by the triangle-free process: they are precisely those triangle-free graphs with density at most 2.
2013-02-24
Antimatroids and Balanced Pairs
Published in Order 31(1):81-99, 2014 • View Publication • BIB
We generalize the 1/3-2/3 conjecture from partially ordered sets to antimatroids: we conjecture that any antimatroid has a pair of elements x,y such that x has probability between 1/3 and 2/3 of appearing earlier than y in a uniformly random basic word of the antimatroid. We prove the conjecture for antimatroids of convex dimension two (the antimatroid-theoretic analogue of partial orders of width two), for antimatroids of height two, for antimatroids with an independent element, and for the perfect elimination antimatroids and node search antimatroids of several classes of graphs. A computer search shows that the conjecture is true for all antimatroids with at most six elements.
2013-02-23 v3
Combinatorial Applications of Möbius Inversion
Published • View Publication • BIB
In important work on the parity of the partition function, Ono related values of the partition function to coefficients of a certain mock theta function modulo 2. In this paper, we use Möbius inversion to give analogous results which relate several combinatorial functions via identities rather than congruences.
2013-02-23
More on the Terwilliger algebra of Johnson schemes
Published • View Publication • BIB
In [F. Levstein, C. Maldonado, The Terwilliger algebra of the Johnson schemes, Discrete Math. 307 (2007) 1621--1635], the Terwilliger algebra of the Johnson scheme $J(n,d)$ was determined when $n\geq 3d$. In this paper, we determine the Terwilliger algebra ${\mathcal T}$ for the remaining case $2d\leq n<3d$.
2013-02-23
On Triple Lines and Cubic Curves --- the Orchard Problem revisited
Published • View Publication • BIB
Planar point sets with many triple lines (which contain at least three distinct points of the set) have been studied for 180 years, started with Jackson and followed by Sylvester. Green and Tao has shown recently that the maximum possible number of triple lines for an n element set is [n(n - 3)/6] + 1. Here we address the related problem of describing the structure of the asymptotically near-optimal configurations, i.e., of those for which the number of straight lines, which go through three or more points, has a quadratic (i.e., best possible) order of magnitude. We pose the problem whether such point sets must always be related to cubic curves. To support this conjecture we settle various special cases; some of them are also related to the four-in-a-line problem of Erdős.
2013-02-23
Irreducible subshifts associated with $\tilde A_2$ buildings
Published in J. Combin. Theory Ser. A, 103 (2003), 91-104 • Search Publication
Let $Γ$ be a group of type rotating automorphisms of a building $\cB$ of type $\widetilde A_2$, and suppose that $Γ$ acts freely and transitively on the vertex set of $\cB$. The apartments of $\cB$ are tiled by triangles, labelled according to $Γ$-orbits. Associated with these tilings there is a natural subshift of finite type, which is shown to be irreducible. The key element in the proof is a combinatorial result about finite projective planes.