Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Pruning a poset with veins
We recall some abstract connectivity concepts, and apply them to special chains in partially ordered sets, called veins, that are defined as order-convex chains that are contained in every maximal chain they meet. Veins enable us to define a new partial order on the same underlying set, called the pruning order. The associated pruned poset is simpler than the initial poset, but irreducible, coirreducible, and doubly-irreducible elements are preserved by the operation of pruning.
Recipe theorem for the Tutte polynomial for matroids, renormalization group-like approach
Published in Advances in Applied Mathematics 51 (2013), 345-358
• View Publication
• BIB
Using a quantum field theory renormalization group-like differential equation, we give a new proof of the recipe theorem for the Tutte polynomial for matroids. The solution of such an equation is in fact given by some appropriate characters of the Hopf algebra of isomorphic classes of matroids, characters which are then related to the Tutte polynomial for matroids. This Hopf algebraic approach also allows to prove, in a new way, a matroid Tutte polynomial convolution formula appearing in W. Kook {\it et. al., J. Comb. Series} {\bf B 76} (1999).
Duality for Sudoku
We consider a mathematical model for the classical Sudoku puzzle, which we call the primal problem and introduce a corresponding dual problem. Both problems are constraint satisfaction models and a duality relation between them is proved. Based on these models, we introduce a primal and a dual optimization problem and show weak and strong duality properties.
Romancing Mathematics with Chemistry - How Mathematical Trees Can Be Used to Synthesize Molecular Structures
Structures of chemical compounds can be synthesized and categorized through mathematical means. Organic compounds are suitable targets because of their simple valences. Acyclic organic compounds made of hydrogen and second-row elements C, N, O, and F are presented as an example. In five categories of organic compounds, chemical structures can be generated exclusively and exhaustively using ab initio methods. It is shown that mathematical variables can serve as chemical symbols and mathematical equations are chemical structure generators.
The triangle-free graphs with rank 6
Published in Journal of Mathematical Research with Applications, 2014, 34(5):517-528
• View Publication
• BIB
The rank of a graph G is defined to be the rank of its adjacency matrix A(G). In this paper we characterize all connected triangle-free graphs with rank 6.
The Parameterized Complexity of some Permutation Group Problems
Published
• View Publication
• BIB
In this paper we study the parameterized complexity of two well-known permutation group problems which are NP-complete. 1. Given a permutation group G=<S>, subgroup of $S_n$, and a parameter $k$, find a permutation $π$ in G such that $|{i\in [n]\mid π(i)\ne i}|$ is at least $k$. This generalizes the well-known NP-complete problem of finding a fixed-point free permutation in G. (this is the case when $k=n$). We show that this problem with parameter $k$ is fixed parameter tractable. In the process, we give a simple deterministic polynomial-time algorithm for finding a fixed point free element in a transitive permutation group, answering an open question of Cameron. 2. Next we consider the problem of computing a base for a permutation group G=<S>. A base for G is a subset B of $[n]$ such that the subgroup of G that fixes B pointwise is trivial. This problem is known to be NP-complete. We show that it is fixed parameter tractable for the case of cyclic permutation groups and for permutation groups of constant orbit size. For more general classes of permutation groups we do not know whether the problem is in FPT or is W[1]-hard.
Distinguishing graphs with intermediate growth
Published
• View Publication
• BIB
A graph G is said to be 2-distinguishable if there is a 2-labeling of its vertices which is not preserved by any nontrivial automorphism of G. We show that every locally finite graph with infinite motion and growth at most O(2^((1-\varepsilon) \sqrt(n)/2)) is 2-distinguishable. Infinite motion means that every automorphism moves infinitely many vertices and growth refers to the cardinality of balls of radius n.
The Filter Dichotomy Principle Does not Imply the Semifilter Trichotomy Principle
We answer Blass' question from 1989 of whether the inequality $\gu < \gro$ is strictly stronger than the filter dichotomy principle affirmatively. We show that there is a forcing extension in which every non-meagre filter on $ω$ is ultra by finite-to-one and the semifilter trichotomy does not hold. This trichotomy says: every semifilter is either meagre or comeagre or ultra by finite-to-one. The trichotomy is equivalent to the inequality $\gu<\gro$ by work of Blass and Laflamme. Combinatorics of block sequences is used to establish forcing notions that preserve suitable properties of block sequences.
Permutation statistics of products of random permutations
Published
• View Publication
• BIB
Given a permutation statistic $s : S_n \to \mathbb{R}$, define the mean statistic $\bar{s}$ as the statistic which computes the mean of $s$ over conjugacy classes. We describe a way to calculate the expected value of $s$ on a product of $t$ independently chosen elements from the uniform distribution on a union of conjugacy classes $Γ\subseteq S_n$. In order to apply the formula, one needs to express the class function $\bar{s}$ as a linear combination of irreducible $S_n$-characters. We provide such expressions for several commonly studied permutation statistics, including the excedance number, inversion number, descent number, major index and $k$-cycle number. In particular, this leads to formulae for the expected values of said statistics.
Long properly colored cycles in edge colored complete graphs
Published in Discrete Mathematics, 324 (2014) 56--61
• View Publication
• BIB
Let $K_{n}^{c}$ denote a complete graph on $n$ vertices whose edges are colored in an arbitrary way. Let $Δ^{\mathrm{mon}} (K_{n}^{c})$ denote the maximum number of edges of the same color incident with a vertex of $K_{n}^{c}$. A properly colored cycle (path) in $K_{n}^{c}$ is a cycle (path) in which adjacent edges have distinct colors. B. Bollobás and P. Erdös (1976) proposed the following conjecture: if $Δ^{\mathrm{mon}} (K_{n}^{c})<\lfloor \frac{n}{2} \rfloor$, then $K_{n}^{c}$ contains a properly colored Hamiltonian cycle. Li, Wang and Zhou proved that if $Δ^{\mathrm{mon}} (K_{n}^{c})< \lfloor \frac{n}{2} \rfloor$, then $K_{n}^{c}$ contains a properly colored cycle of length at least $\lceil \frac{n+2}{3}\rceil+1$. In this paper, we improve the bound to $\lceil \frac{n}{2}\rceil + 2$.
Symbol ratio minimax sequences in the lexicographic order
Published in Ergod. Th. Dynam. Sys. 35 (2014) 2371-2396
• View Publication
• BIB
Consider the space of sequences of k letters ordered lexicographically. We study the set M(α) of all maximal sequences for which the asymptotic proportions α of the letters are prescribed, where a sequence is said to be maximal if it is at least as great as all of its tails. The infimum of M(α) is called the α-infimax sequence, or the α-minimax sequence if the infimum is a minimum. We give an algorithm which yields all infimax sequences, and show that the infimax is not a minimax if and only if it is the α-infimax for every α in a simplex of dimension 1 or greater. These results have applications to the theory of rotation sets of beta-shifts and torus homeomorphisms.
On Murty-Simon Conjecture II
A graph is diameter two edge-critical if its diameter is two and the deletion of any edge increases the diameter. Murty and Simon conjectured that the number of edges in a diameter two edge-critical graph on $n$ vertices is at most $\lfloor \frac{n^{2}}{4} \rfloor$ and the extremal graph is the complete bipartite graph $K_{\lfloor \frac{n}{2} \rfloor, \lceil \frac{n}{2} \rceil}$. In the series papers [7-9], the Murty-Simon Conjecture stated by Haynes et al. is not the original conjecture, indeed, it is only for the diameter two edge-critical graphs of even order. In this paper, we completely prove the Murty-Simon Conjecture for the graphs whose complements have vertex connectivity $\ell$, where $\ell = 1, 2, 3$; and for the graphs whose complements have an independent vertex cut of cardinality at least three.
The coupling method for inhomogeneous random intersection graphs
Published in The Electronic Jourlal of Combinatorics, 24 (2), P2.10 (pp. 45), 2017
• View Publication
• BIB
We present new results concerning threshold functions for a wide family of random intersection graphs. To this end we apply the coupling method used for establishing threshold functions for homogeneous random intersection graphs introduced by Karoński, Scheinerman, and Singer--Cohen. In the case of inhomogeneous random intersection graphs the method has to be considerably modified and extended. By means of the altered method we are able to establish threshold functions for a general random intersection graph for such properties as $k$-connectivity, matching containment or hamiltonicity. Moreover using the new approach we manage to sharpen the best known results concerning homogeneous random intersection graph.
Coloring triangle-free rectangle overlap graphs with $O(\log\log n)$ colors
Published in Discrete Comput.Geom. 53 (2015) 199-220
• View Publication
• BIB
Recently, it was proved that triangle-free intersection graphs of $n$ line segments in the plane can have chromatic number as large as $Θ(\log\log n)$. Essentially the same construction produces $Θ(\log\log n)$-chromatic triangle-free intersection graphs of a variety of other geometric shapes---those belonging to any class of compact arc-connected sets in $\mathbb{R}^2$ closed under horizontal scaling, vertical scaling, and translation, except for axis-parallel rectangles. We show that this construction is asymptotically optimal for intersection graphs of boundaries of axis-parallel rectangles, which can be alternatively described as overlap graphs of axis-parallel rectangles. That is, we prove that triangle-free rectangle overlap graphs have chromatic number $O(\log\log n)$, improving on the previous bound of $O(\log n)$. To this end, we exploit a relationship between off-line coloring of rectangle overlap graphs and on-line coloring of interval overlap graphs. Our coloring method decomposes the graph into a bounded number of subgraphs with a tree-like structure that "encodes" strategies of the adversary in the on-line coloring problem. Then, these subgraphs are colored with $O(\log\log n)$ colors using a combination of techniques from on-line algorithms (first-fit) and data structure design (heavy-light decomposition).
Asymptotics of symmetric polynomials with applications to statistical mechanics and representation theory
Published in Annals of Probability 2015, Vol. 43, No. 6, 3052-3132
• View Publication
• BIB
We develop a new method for studying the asymptotics of symmetric polynomials of representation-theoretic origin as the number of variables tends to infinity. Several applications of our method are presented: We prove a number of theorems concerning characters of infinite-dimensional unitary group and their $q$-deformations. We study the behavior of uniformly random lozenge tilings of large polygonal domains and find the GUE-eigenvalues distribution in the limit. We also investigate similar behavior for alternating sign matrices (equivalently, six-vertex model with domain wall boundary conditions). Finally, we compute the asymptotic expansion of certain observables in $O(n=1)$ dense loop model.
Super tableaux and a branching rule for the general linear Lie superalgebra
Published
• View Publication
• BIB
In this note, we formulate and prove branching rules of simple polynomial modules for the Lie superalgebra $\mathfrak{gl}(m|n)$. Our branching rules depend on the conjugacy class of the Borel subalgebra. A Gelfand-Tsetlin basis of a polynomial module associated to each Borel subalgebra is obtained in terms of generalized semistandard tableaux.
Homotopy equivalences between p-subgroup categories
Published
• View Publication
• BIB
Let p be a prime number and G a finite group of order divisible by p. Quillen showed that the Brown poset of nonidentity p-subgroups of G is homotopy equivalent to its subposet of nonidentity elementary abelian subgroups. We show here that a similar statement holds for the fusion category of nonidentity p-subgroups of G. Other categories of p-subgroups of G are also considered.
Component Games on Regular Graphs
Published
• View Publication
• BIB
We study the (1:b) Maker-Breaker component game, played on the edge set of a d-regular graph. Maker's aim in this game is to build a large connected component, while Breaker's aim is to not let him do so. For all values of Breaker's bias b, we determine whether Breaker wins (on any d-regular graph) or Maker wins (on almost every d-regular graph) and provide explicit winning strategies for both players.
To this end, we prove an extension of a theorem by Gallai-Hasse-Roy-Vitaver about graph orientations without long directed simple paths.
Interlace polynomials and Tutte polynomials
Let G be a graph with adjacency matrix A(G). Consider the matrix IA(G)=(I | A(G)), where I is the identity matrix, and let M(IA(G)) be the binary matroid represented by IA(G). Then suitably parametrized versions of the Tutte polynomial of M(IA(G)) yield the interlace polynomials of G, introduced by Arratia, Bollobás and Sorkin [J. Combin. Theory Ser. B 92 (2004) 199-233; Combinatorica 24 (2004) 567-584]. Interlace polynomials subsequently introduced by other authors may be obtained from parametrized Tutte polynomials of the binary matroid represented by (I | A(G) | I+A(G)).
Crossings in Grid Drawings
We prove crossing number inequalities for geometric graphs whose vertex sets are taken from a d-dimensional grid of volume N and give applications of these inequalities to counting the number of non-crossing geometric graphs that can be drawn on such grids.
In particular, we show that any geometric graph with m >= 8N edges and with vertices on a 3D integer grid of volume N, has Ω((m^2/n)\log(m/n)) crossings. In d-dimensions, with d >= 4, this bound becomes Ω(m^2/n). We provide matching upper bounds for all d. Finally, for d >= 4 the upper bound implies that the maximum number of crossing-free geometric graphs with vertices on some d-dimensional grid of volume N is n^Θ(n). In 3 dimensions it remains open to improve the trivial bounds, namely, the 2^Ω(n) lower bound and the n^O(n) upper bound.