natural ↗ reference
4894 papers tagged with this keyword
Complete Valuations on Finite Distributive Lattices
We characterize the finite distributive lattices which admit a complete valuation, that is bijective over a set of consecutive natural numbers, with the additional conditions of completeness (Definition 2.3). We prove that such lattices are downset lattices of finite posets of dimension at most two, and determine a realizer through a recursive relation between weights on the poset associated to valuation. The relation shows that the weights count chains in the complementary poset. Conversely, we prove that a valuation defined on a poset of dimension at most two, through the weight function which counts chains in the complementary poset, is complete.
Partizan Kayles and Misere Invertibility
The impartial combinatorial game Kayles is played on a row of pins, with players taking turns removing either a single pin or two adjacent pins. A natural partizan variation is to allow one player to remove only a single pin and the other only a pair of pins. This paper develops a complete solution for "Partizan Kayles" under misere play, including the misere monoid all possible sums of positions, and discusses its significance in the context of misere invertibility: the universe of Partizan Kayles contains a position whose additive inverse is not its negative, and, moreover, this position is an example of a right-win game whose inverse is previous-win.
A note on star-like configurations in finite settings
Given $E \subset \mathbb{F}_q^d$, we show that certain configurations occur frequently when $E$ is of sufficiently large cardinality. Specifically, we show that we achieve the statistically number of $k$-stars $\displaystyle\left|\left\{(x, x^1, \dots, x^k) \in E^{k+1} : \| x - x^i \| = t_i \right\}\right|$ when is $|E| \gg_k q^{\frac{d+1}{2}}$. This result can be thought of as a natural generalization of the Erd\H os-Falconer distance problem. Our result improves on a pinned-version of our theorem which implied the above result, but only in the range $|E| \gg q^{\frac{d+k}{2}}$. As an immediate corollary, this demonstrates that when $|E| \gg c_k q^{\frac{d+1}{2}}$, then $E$ determines a positive proportion of all $k$-stars. Our results also extend to the setting of integers mod $q$.
Chromatic-choosability of the power of graphs
Published
• View Publication
• BIB
The $k$th power $G^k$ of a graph $G$ is the graph defined on $V(G)$ such that two vertices $u$ and $v$ are adjacent in $G^k$ if the distance between $u$ and $v$ in $G$ is at most $k$. Let $χ(H)$ and $χ_l(H)$ be the chromatic number and the list chromatic number of $H$, respectively. A graph $H$ is called {\em chromatic-choosable} if $χ_l (H) = χ(H)$. It is an interesting problem to find graphs that are chromatic-choosable. A natural question raised by Xuding Zhu (2012) is whether there exists a constant integer $k$ such that $G^k$ is chromatic-choosable for every graph $G$. Motivated by the List Total Coloring Conjecture, Kostochka and Woodall (2001) asked whether $G^2$ is chromatic-choosable for every graph $G$. Kim and Park (2013) answered the Kostochka and Woodall's question in the negative by finding a family of graphs whose squares are complete multipartite graphs with partite sets of equal and unbounded size. In this paper, we answer Zhu's question by showing that for every integer $k \geq 2$, there exists a graph $G$ such that $G^k$ is not chromatic-choosable. Moreover, for any fixed $k$ we show that the value $χ_l(G^k) - χ(G^k)$ can be arbitrarily large.
On schurity of finite abelian groups
Published in Communications Algebra, vol. 44, No.1 (2016), 101-117
• View Publication
• BIB
A finite group $G$ is called a Schur group, if any Schur ring over $G$ is associated in a natural way with a subgroup of $Sym(G)$ that contains all right translations. Recently, the authors have completely identified the cyclic Schur groups. In this paper it is shown that any abelian Schur group belongs to one of several explicitly given families only. In particular, any non-cyclic abelian Schur group of odd order is isomorphic to $Z_3\times Z_{3^k}$ or $Z_3\times Z_3\times Z_p$ where $k\ge 1$ and $p$ is a prime. In addition, we prove that $Z_2\times Z_2\times Z_p$ is a Schur group for every prime $p$.
Asymptotic normality of some graph sequences
Published
• View Publication
• BIB
For a simple finite graph G denote by {G \brace k} the number of ways of partitioning the vertex set of G into k non-empty independent sets (that is, into classes that span no edges of G). If E_n is the graph on n vertices with no edges then {E_n \brace k} coincides with {n \brace k}, the ordinary Stirling number of the second kind, and so we refer to {G \brace k} as a graph Stirling number.
Harper showed that the sequence of Stirling numbers of the second kind, and thus the graph Stirling sequence of E_n, is asymptotically normal --- essentially, as n grows, the histogram of ({E_n \brace k})_{k \geq 0}, suitably normalized, approaches the density function of the standard normal distribution.
In light of Harper's result, it is natural to ask for which sequences (G_n)_{n \geq 0} of graphs is there asymptotic normality of ({G_n \brace k})_{k \geq 0}. Do and Galvin conjectured that if for each n, G_n is acylic and has n vertices, then asymptotic normality occurs, and they gave a proof under the added condition that G_n has no more than o(\sqrt{n/\log n}) components.
Here we settle Do and Galvin's conjecture in the affirmative, and significantly extend it, replacing "acyclic" in their conjecture with "co-chromatic with a quasi-threshold graph, and with negligible chromatic number". Our proof combines old work of Navon and recent work of Engbers, Galvin and Hilyard on the normal order problem in a Weyl algebra, and work of Kahn on the matching polynomial of a graph.
A new randomized algorithm for the Erdos--Hajnal problem
In 1961 Erdős and Hajnal introduced the quantity $m(n)$ as the minimum number of edges in an $n$-uniform hypergraph with chromatic number at least 3. The best known lower and upper bounds for $ m(n) $ are $ c_1 \sqrt{\frac{n}{\ln n}} 2^n$ and $c_2 n^2 2^n$ respectively. The lower bound is due to Radhakrishnan and Srinivasan (see \cite{RS}). A natural generalization for $ m(n) $ is the quantity $ m(n,r) $, which is the minimum number of edges in an $n$-uniform hypergraph with chromatic number at least $r+1$. In this work, we present a new randomized algorithm yielding a bound $ m(n,r) \ge c n^{\frac{r-1}{r}} r^{n-1} $, which improves upon all the previous bounds in a wide range of the parameters $ n, r $. Moreover, for $ r = 2 $, we get exactly the same bound as in the work \cite{RS} of Radhakrishnan and Srinivasan, and our proof is simpler.
Asymptotic formulas for stacks and unimodal sequences
Published
• View Publication
• BIB
We study enumeration functions for unimodal sequences of positive integers, where the size of a sequence is the sum of its terms. We survey known results for a number of natural variants of unimodal sequences, including Auluck's generalized Ferrer diagrams, Wright's stacks, and Andrews' convex compositions. These results describe combinatorial properties, generating functions, and asymptotic formulas for the enumeration functions. We also prove several new asymptotic results that fill in the notable missing cases from the literature, including an open problem in statistical mechanics due to Temperley. Furthermore, we explain the combinatorial and asymptotic relationship between partitions, Andrews' Frobenius symbols, and stacks with summits.
Bidimensionality of Geometric Intersection Graphs
Published
• View Publication
• BIB
Let B be a finite collection of geometric (not necessarily convex) bodies in the plane. Clearly, this class of geometric objects naturally generalizes the class of disks, lines, ellipsoids, and even convex polygons. We consider geometric intersection graphs GB where each body of the collection B is represented by a vertex, and two vertices of GB are adjacent if the intersection of the corresponding bodies is non-empty. For such graph classes and under natural restrictions on their maximum degree or subgraph exclusion, we prove that the relation between their treewidth and the maximum size of a grid minor is linear. These combinatorial results vastly extend the applicability of all the meta-algorithmic results of the bidimensionality theory to geometrically defined graph classes.
Introduction to Khovanov Homologies. III. A new and simple tensor-algebra construction of Khovanov-Rozansky invariants
Published in Nuclear Physics B878 (2014) 12-81
• View Publication
• BIB
We continue to develop the tensor-algebra approach to knot polynomials with the goal to present the story in elementary and comprehensible form. The previously reviewed description of Khovanov cohomologies for the gauge group of rank N-1=1 was based on the cut-and-join calculus of the planar cycles, which are involved rather artificially. We substitute them by alternative and natural set of cycles, not obligatory planar. Then the whole construction is straightforwardly lifted from SL(2) to SL(N) and reproduces Khovanov-Rozansky (KR) polynomials, simultaneously for all values of N. No matrix factorization and related tedious calculations are needed in such approach, which can therefore become not only conceptually, but also practically useful.
The infinite random simplicial complex
We study the Fraisse limit of the class of all finite simplicial complexes. Whilst the natural model-theoretic setting for this class uses an infinite language, a range of results associated with Fraisse limits of structures for finite languages carry across to this important example. We introduce the notion of a local class, with the class of finite simplicial complexes as an archetypal example, and in this general context prove the existence of a 0-1 law and other basic model-theoretic results. Constraining to the case where all relations are symmetric, we show that every direct limit of finite groups, and every metrizable profinite group, appears as a subgroup of the automorphism group of the Fraisse limit. Finally, for the specific case of simplicial complexes, we show that the geometric realisation is topologically surprisingly simple: despite the combinatorial complexity of the Fraisse limit, its geometric realisation is homeomorphic to the infinite simplex.
Maximal bifix decoding
Published in Discrete Math. 338 (2015)725-742
• Search Publication
We introduce a class of sets of words which is a natural common generalization of Sturmian sets and of interval exchange sets. This class of sets consists of the uniformly recurrent tree sets, where the tree sets are defined by a condition on the possible extensions of bispecial factors. We prove that this class is closed under maximal bifix decoding. The proof uses the fact that the class is also closed under decoding with respect to return words.
The Riemann-Roch theorem for graphs and the rank in complete graphs
The paper by M. Baker and S. Norine in 2007 introduced a new parameter on configurations of graphs and gave a new result in the theory of graphs which has an algebraic geometry flavour. This result was called Riemann-Roch formula for graphs since it defines a combinatorial version of divisors and their ranks in terms of configuration on graphs. The so called chip firing game on graphs and the sandpile model in physics play a central role in this theory.
In this paper we give a presentation of the theorem of Baker and Norine in purely combinatorial terms, which is more accessible and shorter than the original one. An algorithm for the determination of the rank of configurations is also given for the complete graph $K_n$. This algorithm has linear arithmetic complexity. The analysis of number of iterations in a less optimized version of this algorithm leads to an apparently new parameter which we call the prerank. This parameter and the classical area parameter provide an alternative description to some well known $q,t$-Catalan numbers. Restricted to a natural subset of configurations, the two natural statistics degree and rank in Riemann-Roch formula lead to a distribution which is described by a generating function which, up to a change of variables, is a symmetric fraction involving two copies of Carlitz q-analogue of the Catalan numbers.
Automorphisms of decompositions
Published
• View Publication
• BIB
Harding showed that the direct product decompositions of many different types of structures, such as sets, groups, vector spaces, topological spaces, and relational structures, naturally form orthomodular posets. When applied to the direct product decompositions of a Hilbert space, this construction yields the familiar orthomodular lattice of closed subspaces of the Hilbert space.
In this note we consider orthomodular posets Fact X of decompositions of a finite set X. We consider the structure of these orthomodular posets, such as their size, shape, and connectedness, states, and begin a study of their automorphism groups in the context of the natural map Γfrom the group of permutations of X to the automorphism group of Fact X.
We show Γis an embedding except when |X| is prime or 4, and completely describe the situation when |X| has two or fewer prime factors, when |X|=8 and when |X|=27. The bulk of our effort lies in a series of combinatorial arguments to show Γis an isomorphism when |X|=27. We conjecture that this is the case whenever |X| has sufficiently many prime factors of sufficient size, and hope that our arguments here might be adapted to the general case.
The unreasonable ubiquitousness of quasi-polynomials
Published in Electronic Journal of Combinatorics 21 (2014), #P1.44
• View Publication
• BIB
A function g, with domain the natural numbers, is a quasi-polynomial if there exists a period m and polynomials p_0,p_1,...,p_{m-1} such that g(t)=p_i(t) for t=i mod m. Quasi-polynomials classically -- and "reasonably" -- appear in Ehrhart theory and in other contexts where one examines a family of polyhedra, parametrized by a variable t, and defined by linear inequalities of the form a_1x_1+...+a_dx_d <= b(t).
Recent results of Chen, Li, Sam; Calegari, Walker; and Roune, Woods show a quasi-polynomial structure in several problems where the a_i are also allowed to vary with t. We discuss these "unreasonable" results and conjecture a general class of sets that exhibit various (eventual) quasi-polynomial behaviors: sets S_t of d-tuples of natural numbers that are defined with quantifiers ("for all", "there exists"), boolean operations (and, or, not), and statements of the form a_1(t)x_1+...+a_d(t)x_d <= b(t), where a_i(t) and b(t) are polynomials in t. These sets are a generalization of sets defined in the Presburger arithmetic. We prove several relationships between our conjectures, and we prove several special cases of the conjectures. The title is a play on Eugene Wigner's "The unreasonable effectiveness of mathematics in the natural sciences''.
A generalisation of core partitions
Published
• View Publication
• BIB
Suppose $s$ and $t$ are coprime natural numbers. A theorem of Olsson says that the $t$-core of an $s$-core partition is again an $s$-core. We generalise this theorem, showing that the $s$-weight of the $t$-core of a partition $λ$ is at most the $s$-weight of $λ$. Then we consider the set $\mathcal C_{s:t}$ of partitions for which equality holds, which we call $[s{:}t]$-cores; this set has interesting structure, and we expect that it will be the subject of future study. We show that the set of $[s{:}t]$-cores is a union of finitely many orbits for an action of a Coxeter group of type $\tilde A_{s-1}\times\tilde A_{t-1}$ on the set of partitions. We also consider the problem of constructing an $[s{:}t]$-core with specified $s$-core and $t$-core.
Hyperbanana Graphs
Published in Proceedings of 25th Canadian Conference on Computational Geometry, pages 199-204, 2013
• Search Publication
A bar-and-joint framework is a finite set of points together with specified distances between selected pairs. In rigidity theory we seek to understand when the remaining pairwise distances are also fixed. If there exists a pair of points which move relative to one another while maintaining the given distance constraints, the framework is flexible; otherwise, it is rigid.
Counting conditions due to Maxwell give a necessary combinatorial criterion for generic minimal bar-and-joint rigidity in all dimensions. Laman showed that these conditions are also sufficient for frameworks in R^2. However, the flexible "double banana" shows that Maxwell's conditions are not sufficient to guarantee rigidity in R^3. We present a generalization of the double banana to a family of hyperbananas. In dimensions 3 and higher, these are (infinitesimally) flexible, providing counterexamples to the natural generalization of Laman's theorem.
Double-dimers, the Ising model and the hexahedron recurrence
Published
• View Publication
• BIB
We define and study a recurrence relation in ${\mathbb Z}^3$, called the hexahedron recurrence, which is similar to the octahedron recurrence (Hirota bilinear difference equation) and cube recurrence (Miwa equation). Like these examples, solutions to the hexahedron recurrence are partition sums for edge configurations on a certain graph, and have a natural interpretation in terms of cluster algebras. We give an explicit correspondence between monomials in the Laurent expansions arising in the recurrence with certain double-dimer configurations of a graph. We compute limit shapes for the corresponding double-dimer configurations.
The Kashaev difference equation arising in the Ising model star-triangle relation is a special case of the hexahedron recurrence. In particular this reveals the cluster nature underlying the Ising model. The above relation allows us to prove a Laurent phenomenon for the Kashaev difference equation.
Discrete Extremal Length and Cube Tilings in Finite Dimensions
Published
• View Publication
• BIB
Extremal length is a conformal invariant that transfers naturally to the discrete setting, giving square tilings as a natural combinatorial analog of conformal mappings. Recent work by S. Hersonsky has explored generalizing these ideas to three-dimensional cube tilings. The connections between discrete extremal length and cube tilings survive the dimension jump, but a condition called the triple intersection property is needed to generalize existence arguments. We show that this condition is too strong to realize a tiling, thus showing that discrete conformal mappings are far more limited in dimension three, mirroring the classical phenomenon. We also generalize results about discrete extremal length beyond dimension three and introduce some necessary conditions for cube tilings.
A Note on Discrete Gaussian Combinations of Lattice Vectors
We analyze the distribution of $\sum_{i=1}^m v_i \bx_i$ where $\bx_1,...,\bx_m$ are fixed vectors from some lattice $\cL \subset \R^n$ (say $\Z^n$) and $v_1,...,v_m$ are chosen independently from a discrete Gaussian distribution over $\Z$. We show that under a natural constraint on $\bx_1,...,\bx_m$, if the $v_i$ are chosen from a wide enough Gaussian, the sum is statistically close to a discrete Gaussian over $\cL$. We also analyze the case of $\bx_1,...,\bx_m$ that are themselves chosen from a discrete Gaussian distribution (and fixed).
Our results simplify and qualitatively improve upon a recent result by Agrawal, Gentry, Halevi, and Sahai \cite{AGHS13}.