Showing 20 papers (Total: 82432 papers, 47671 authors in database)
Site Percolation on Multi-dimensional Lattice
Sites in an infinite d-dimensional lattice, open with probability greater or equal to 1/d, form an infinite open path.
A Coloring Problem for Infinite Words
Published
• View Publication
• BIB
In this paper we consider the following question in the spirit of Ramsey theory: Given $x\in A^ω,$ where $A$ is a finite non-empty set, does there exist a finite coloring of the non-empty factors of $x$ with the property that no factorization of $x$ is monochromatic? We prove that this question has a positive answer using two colors for almost all words relative to the standard Bernoulli measure on $A^ω.$ We also show that it has a positive answer for various classes of uniformly recurrent words, including all aperiodic balanced words, and all words $x\in A^ω$ satisfying $λ_x(n+1)-λ_x(n)=1$ for all $n$ sufficiently large, where $ λ_x(n)$ denotes the number of distinct factors of $x$ of length $n.$
On the dimension of max-min convex sets
Published in Fuzzy Sets and Systems 271 (2015) 88-101
• View Publication
• BIB
We introduce a notion of dimension of max-min convex sets, following the approach of tropical convexity. We introduce a max-min analogue of the tropical rank of a matrix and show that it is equal to the dimension of the associated polytope. We describe the relation between this rank and the notion of strong regularity in max-min algebra, which is traditionally defined in terms of unique solvability of linear systems and trapezoidal property.
Secondary fans and Tropical Severi varieties
Published
• View Publication
• BIB
This article studies the relationship between tropical Severi varieties and secondary fans. In the case when tropical Severi varieties are hypersurfaces this relationship is very well known; specifically, in this case, a tropical Severi variety of codimension 1 is a subfan of the corresponding secondary fan. It was expected for some time that this continues to hold more generally, but Katz found a counterexample in codimension 2, showing that this relationship is more subtle. The two main results in this paper are as follows. The first theorem finds a simple condition under which a tropical Severi variety cannot be a subfan of the corresponding secondary fan. The second theorem provides a partial converse, namely, we find conditions under which a cone of the secondary fan is fully contained in the tropical Severi variety. As a first application of these results, we also find a combinatorial formula for the tropical intersection multiplicities for secondary fans.
Transformations of polar Grassmannians preserving certain intersecting relations
Published
• View Publication
• BIB
Let $Π$ be a polar space of rank $n\ge 3$. Denote by ${\mathcal G}_{k}(Π)$ the polar Grassmannian formed by singular subspaces of $Π$ whose projective dimension is equal to $k$. Suppose that $k$ is an integer not greater than $n-2$ and consider the relation ${\mathfrak R}_{i,j}$, $0\le i\le j\le k+1$ formed by all pairs $(X,Y)\in {\mathcal G}_{k}(Π)\times {\mathcal G}_{k}(Π)$ such that $\dim_{p}(X^{\perp}\cap Y)=k-i$ and $\dim_{p} (X\cap Y)=k-j$ ($X^{\perp}$ consists of all points of $Π$ collinear to every point of $X$). We show that every bijective transformation of ${\mathcal G}_{k}(Π)$ preserving ${\mathfrak R}_{1,1}$ is induced by an automorphism of $Π$ and the same holds for the relation ${\mathfrak R}_{0,t}$ if $n\ge 2t\ge 4$ and $k=n-t-1$. In the case when $Π$ is a finite classical polar space, we establish that the valencies of ${\mathfrak R}_{i,j}$ and ${\mathfrak R}_{i',j'}$ are distinct if $(i,j)\ne (i',j')$.
Combinatorial decomposition approaches for efficient counting and random generation FPTASes
Given a combinatorial decomposition for a counting problem, we resort to the simple scheme of approximating large numbers by floating-point representations in order to obtain efficient Fully Polynomial Time Approximation Schemes (FPTASes) for it. The number of bits employed for the exponent and the mantissa will depend on the error parameter $0 < \varepsilon \leq 1$ and on the characteristics of the problem. Accordingly, we propose the first FPTASes with $1 \pm \varepsilon$ relative error for counting and generating uniformly at random a labeled DAG with a given number of vertices. This is accomplished starting from a classical recurrence for counting DAGs, whose values we approximate by floating-point numbers.
After extending these results to other families of DAGs, we show how the same approach works also with problems where we are given a compact representation of a combinatorial ensemble and we are asked to count and sample elements from it. We employ here the floating-point approximation method to transform the classic pseudo-polynomial algorithm for counting 0/1 Knapsack solutions into a very simple FPTAS with $1 - \varepsilon$ relative error. Its complexity improves upon the recent result (Štefankovič et al., SIAM J. Comput., 2012), and, when $\varepsilon^{-1} = Ω(n)$, also upon the best-known randomized algorithm (Dyer, STOC, 2003). To show the versatility of this technique, we also apply it to a recent generalization of the problem of counting 0/1 Knapsack solutions in an arc-weighted DAG, obtaining a faster and simpler FPTAS than the existing one.
Lower bounds for the spanning tree numbers of two graph products
For any graph $G$ of order $n$, the spanning tree packing number \emph{$STP(G)$}, is the maximum number of edge-disjoint spanning trees contained in $G$. In this paper, we obtain some sharp lower bounds for the spanning tree numbers of Cartesian product graphs and Lexicographic product graphs.
Convex Polygons are Self-Coverable
Published
• View Publication
• BIB
We introduce a new notion for geometric families called self-coverability and show that homothets of convex polygons are self-coverable. As a corollary, we obtain several results about coloring point sets such that any member of the family with many points contains all colors. This is dual (and in some cases equivalent) to the much investigated cover-decomposability problem.
Finitely forcible graphons and permutons
Published
• View Publication
• BIB
We investigate when limits of graphs (graphons) and permutations (permutons) are uniquely determined by finitely many densities of their substructures, i.e., when they are finitely forcible. Every permuton can be associated with a graphon through the notion of permutation graphs. We find permutons that are finitely forcible but the associated graphons are not. We also show that all permutons that can be expressed as a finite combination of monotone permutons and quasirandom permutons are finitely forcible, which is the permuton counterpart of the result of Lovasz and Sos for graphons.
The Irreducible Spine(s) of Undirected Networks
Published
• View Publication
• BIB
Using closure concepts, we show that within every undirected network, or graph, there is a unique irreducible subgraph which we call its "spine". The chordless cycles which comprise this irreducible core effectively characterize the connectivity structure of the network as a whole. In particular, it is shown that the center of the network, whether defined by distance or betweenness centrality, is effectively contained in this spine. By counting the number of cycles of length 3 <= k <= max_length, we can also create a kind of signature that can be used to identify the network. Performance is analyzed, and the concepts we develop are illurstrated by means of a relatively small running sample network of about 400 nodes.
Fomin-Greene monoids and Pieri operations
Published in Fields Inst. Commun., 71, Springer, New York, (2014) 305-338
• View Publication
• BIB
We explore monoids generated by operators on certain infinite partial orders. Our starting point is the work of Fomin and Greene on monoids satisfying the relations $(ur+\u{r+1})\u{r+1}ur=\u{r+1}ur(ur+\u{r+1})$ and $urut=usur$ if $|r-t|>1.$ Given such a monoid, the non-commutative functions in the variables $\u{}$ are shown to commute. Symmetric functions in these operators often encode interesting structure constants. Our aim is to introduce similar results for more general monoids not satisfying the relations of Fomin and Greene. This paper is an extension of a talk by the second author at the workshop on algebraic monoids, group embeddings and algebraic combinatorics at The Fields Institute in 2012.
Hamiltonicity of the Cayley Digraph on the Symmetric Group Generated by σ = (1 2 ... n) and τ = (1 2)
The symmetric group is generated by σ = (1 2 ... n) and τ = (1 2). We answer an open problem of Nijenhuis and Wilf by constructing a Hamilton path in the directed Cayley graph for all n, and a Hamilton cycle for odd n.
Polynomial-time perfect matchings in dense hypergraphs
Published in Advances in Mathematics, 269 (2015), 265-334
• View Publication
• BIB
Let $H$ be a $k$-graph on $n$ vertices, with minimum codegree at least $n/k + cn$ for some fixed $c > 0$. In this paper we construct a polynomial-time algorithm which finds either a perfect matching in $H$ or a certificate that none exists. This essentially solves a problem of Karpiński, Ruciński and Szymańska; Szymańska previously showed that this problem is NP-hard for a minimum codegree of $n/k - cn$. Our algorithm relies on a theoretical result of independent interest, in which we characterise any such hypergraph with no perfect matching using a family of lattice-based constructions.
Hadamard matrices modulo 5
Published
• View Publication
• BIB
In this paper we introduce modular symmetric designs and use them to study the existence of Hadamard matrices modulo 5. We prove that there exist 5-modular Hadamard matrices of order n if and only if n != 3, 7 (mod 10) or n != 6, 11. In particular, this solves the 5-modular version of the Hadamard conjecture.
An algorithm for deciding the finiteness of the number of simple permutations in permutation classes
Published
• View Publication
• BIB
In this article, we describe an algorithm to determine whether a permutation class C given by a finite basis B of excluded patterns contains a finite number of simple permutations. This is a continuation of the work initiated in [Brignall, Ruskuc, Vatter, Simple permutations: decidability and unavoidable substructures, 2008], and shares several aspects with it. Like in this article, the main difficulty is to decide whether C contains a finite number of proper pin-permutations, and this decision problem is solved using automata theory. Moreover, we use an encoding of proper pin-permutations by words over a finite alphabet, introduced by Brignall et al. However, unlike in their article, our construction of automata is fully algorithmic and efficient. It is based on the study of pin-permutations in [Bassino, Bouvel, Rossin, Enumeration of pin-permutations, 2011]. The complexity of the overall algorithm is O(n log n + s^{2k}) where n denotes the sum of the sizes of permutations in the basis B, s is the maximal size of a pin-permutation in B and k is the number of pin-permutations in B.
The generalized 3-connectivity of Lexicographic product graphs
Published
• View Publication
• BIB
The generalized $k$-connectivity $κ_k(G)$ of a graph $G$, introduced by Chartrand et al., is a natural and nice generalization of the concept of (vertex-)connectivity. In this paper, we prove that for any two connected graphs $G$ and $H$, $κ_3(G\circ H)\geq κ_3(G)|V(H)|$. We also give upper bounds for $κ_3(G\Box H)$ and $κ_3(G\circ H)$. Moreover, all the bounds are sharp.
Bivariate Generating Functions for a Class of Linear Recurrences: General Structure
Published in J. Combin. Theory A 125 (2014) 146-165
• View Publication
• BIB
We consider Problem 6.94 posed in the book Concrete Mathematics by Graham, Knuth, and Patashnik, and solve it by using bivariate exponential generating functions. The family of recurrence relations considered in the problem contains many cases of combinatorial interest for particular choices of the six parameters that define it. We give a complete classification of the partial differential equations satisfied by the exponential generating functions, and solve them in all cases. We also show that the recurrence relations defining the combinatorial numbers appearing in this problem display an interesting degeneracy that we study in detail. Finally, we obtain for all cases the corresponding univariate row generating polynomials.
On the largest component in the subcritical regime of the Bohman-Frieze process
Published
• View Publication
• BIB
Kang, Perkins and Spencer showed that the size of the largest component of the Bohman-Frieze process at a fixed time $t$ smaller than $t_c$, the critical time for the process is $L_1(t)=Ω(\log n/(t_c-t)^2)$ with high probability. They also conjectured that this is the correct order, that is $L_1(t)=O(\log n/(t_c-t)^2)$ with high probability for fixed $t$ smaller than $t_c$. Using a different approach, Bhamidi, Budhiraja and Wang showed that $L_1(t_n)=O((\log n)^4/(t_c-t_n)^2)$ with high probability for $t_n\leq t_c-n^{-γ}$ where $γ\in(0,1/4)$. In this paper, we improve their result by showing that for any fixed $λ>0$, $L_1(t_n)=O(\log n/(t_c-t_n)^2)$ with high probability for $t_n\leq t_c-λn^{-1/3}$. In particular, this settles the conjecture of Kang, Perkins and Spencer. We also prove some generalizations for general bounded size rules.
Smallest Squared Squares
In this paper we have a look at squared squares with small integer sidelengths, where the only restriction is that any two subsquares of the same size are not allowed to share a full border. We prove that there are exactly two such squared squares (and their mirrored versions) up to and including size 17x17. They are shown in Figure 1 (page 2).
An elementary non-recursive expression for the partition function P(n)
Published in Physica 114A, 1982, 361-364
• Search Publication
Consideration of a classification of the number of partitions of a natural number according to the members of sub-partitions differing from unity leads to a non-recursive formula for the number of irreducible representations of the symmetric group Sn. This article was published, long ago, under the title A non-recursive expression for the number of irreducible representations of the Symmetric Group Sn, Physica 114A, 1982, 361-364, North-Holland Publishing Co. The Introduction has been, somewhat, improved, however, the handmade result remains unproved.