Showing 20 papers (Total: 84253 papers, 48533 authors in database)
A family of multimagic squares based on large sets of orthogonal arrays
Large set of orthogonal arrays (LOA) were introduced by D. R. Stinson, and it is also used to construct multimagic squares recently. In this paper, multimagic squares based on strong double LOA are further investigated. It is proved that there exists an MS$(q^{2t-1},t)$ for any prime power $q\geq 2t-1$ with $t\geq3$, which provided a new family of multimagic squares.
Completion of tree metrics and rank-2 matrices
Published
• View Publication
• BIB
Motivated by applications to low-rank matrix completion, we give a combinatorial characterization of the independent sets in the algebraic matroid associated to the collection of $m\times n$ rank-2 matrices and $n\times n$ skew-symmetric rank-2 matrices. Our approach is to use tropical geometry to reduce this to a problem about phylogenetic trees which we then solve. In particular, we give a combinatorial description of the collections of pairwise distances between several taxa that may be arbitrarily prescribed while still allowing the resulting dissimilarity map to be completed to a tree metric.
Sorting via chip-firing
Published in Electronic Journal of Combinatorics, 24(3), 2017
• View Publication
• BIB
We investigate a variant of the chip-firing process on the infinite path graph: rather than treating the chips as indistinguishable, we label them with positive integers. To fire an unstable vertex, i.e. a vertex with more than one chip, we choose any two chips at that vertex and move the lesser-labeled chip to the left and the greater-labeled chip to the right. This labeled version of the chip-firing process exhibits a remarkable confluence property, similar to but subtler than the confluence that prevails for unlabeled chip-firing: when all chips start at the origin and the number of chips is even, the chips always end up in sorted order. Our proof of sorting relies upon an independently interesting lemma concerning unlabeled chip- firing which says that stabilization preserves a natural partial order on configurations. We also discuss some extensions of this sorting phenomenon to other graphs (variants of the infinite path), to other initial configurations, and to other Cartan-Killing types.
A Brief Introduction to Shannon's Information Theory
This article serves as a brief introduction to the Shannon information theory. Concepts of information, Shannon entropy and channel capacity are mainly covered. All these concepts are developed in a totally combinatorial flavor. Some issues usually not addressed in the literature are discussed here as well. In particular, we show that it seems we can define channel capacity differently which allows us to potentially transmit more messages in a fixed sufficient long time duration. However, for a channel carrying a finite number of letters, the channel capacity unfortunately remains the same as the Shannon limit.
F-polynomial formula from continued fractions
Published
• View Publication
• BIB
For cluster algebras from surfaces, there is a known formula for cluster variables and F-polynomials in terms of the perfect matchings of snake graphs. If the cluster algebra has trivial coefficients, there is also a known formula for cluster variables in terms of continued fractions. In this paper, we extend this result to cluster algebras with principal coefficients by producing a formula for the F-polynomials in terms of continued fractions.
On the size of graphs without repeated cycle lengths
Published in Discrete Applied Mathematics 232 (2017), 226-229
• View Publication
• BIB
In 1975, P. Erdös proposed the problem of determining the maximum number $f(n)$ of edges in a graph of $n$ vertices in which any two cycles are of different lengths. In this paper, it is proved that $$f(n)\geq n+\frac{107}{3}t+\frac{7}{3}$$ for $t=1260r+169 \,\ (r\geq 1)$ and $n \geq \frac{2119}{4}t^{2}+87978t+\frac{15957}{4}$. Consequently, $\lim \inf_{n \to \infty} {f(n)-n \over \sqrt n} \geq \sqrt {2 + \frac{7654}{19071}},$ which is better than the previous bounds $\sqrt 2$ [Y. Shi, Discrete Math. 71(1988), 57-71], $\sqrt {2.4}$ [C. Lai, Australas. J. Combin. 27(2003), 101-105]. The conjecture $\lim_{n \rightarrow \infty} {f(n)-n\over \sqrt n}=\sqrt {2.4}$ is not true.
Finite edge-transitive oriented graphs of valency four with cyclic normal quotients
Published
• View Publication
• BIB
We study finite four-valent graphs Gamma admitting an edge-transitive group G of automorphisms such that G determines and preserves an edge-orientation on Gamma, and such that at least one G-normal quotient is a cycle (a quotient modulo the orbits of a normal subgroup of G). We show on the one hand that the number of distinct cyclic G-normal quotients can be unboundedly large. On the other hand existence of independent cyclic G-normal quotients (that is, they are not extendable to a common cyclic G-normal quotient) places severe restrictions on the graph Gamma and we classify all examples. We show there are five infinite families of such pairs (Gamma, G), and in particular that all such graphs have at least one normal quotient which is an unoriented cycle. We compare this new approach with existing treatments for the sub-class of weak metacirculant graphs with these properties, finding that only two infinite families of examples occur in common from both analyses. Several open problems are posed.
Optimal Threshold for a Random Graph to be 2-Universal
Published
• View Publication
• BIB
For a family of graphs $\mathcal{F}$, a graph $G$ is $\mathcal{F}$-universal if $G$ contains every graph in $\mathcal{F}$ as a (not necessarily induced) subgraph. For the family of all graphs on $n$ vertices and of maximum degree at most two, $\mathcal{H}(n,2)$, we prove that there exists a constant $C$ such that for $p \geq C \left( \frac{\log n}{n^2} \right)^{\frac{1}{3}}$, the binomial random graph $G(n,p)$ is typically $\mathcal{H}(n,2)$-universal. This bound is optimal up to the constant factor as illustrated in the seminal work of Johansson, Kahn, and Vu for triangle factors. Our result improves significantly on the previous best bound of $p \geq C \left(\frac{\log n}{n}\right)^{\frac{1}{2}}$ due to Kim and Lee. In fact, we prove the stronger result that for the family of all graphs on $n$ vertices, of maximum degree at most two and of girth at least $\ell$, $\mathcal{H}^{\ell}(n,2)$, $G(n,p)$ is typically $\mathcal H^{\ell}(n,2)$-universal when $p \geq C \left(\frac{\log n}{n^{\ell -1}}\right)^{\frac{1}{\ell}}$. This result is also optimal up to the constant factor. Our results verify (in a weak form) a classical conjecture of Kahn and Kalai.
Lattice Spectral Sequences and Cohomology of Configuration Spaces
For a topological space $X$, we introduce a criterion for the $\rm FI$ module $H^i({\rm Conf}_n(X))$ to be finitely generated and give several applications. For instance, if $C$ is a finite connected $CW$ complex, then $X = C \times \mathbb{R}^2$ satisfies the criterion. Our main tool is a spectral sequence that we derive from the homological algebra of the partition lattice.
Triangulations of root polytopes
Published
• View Publication
• BIB
Let $Φ$ be an irreducible crystallographic root system and $\mathcal P$ its root polytope, i.e., its convex hull. We provide a uniform construction, for all root types, of a triangulation of the facets of $\mathcal P$. We also prove that, on each orbit of facets under the action of the Weyl gruop, the triangulation is unimodular with respect to a root sublattice that depends on the orbit.
Neural Ideal Preserving Homomorphisms
Published
• View Publication
• BIB
The neural ideal of a binary code $\mathbb{C} \subseteq \mathbb{F}_2^n$ is an ideal in $\mathbb{F}_2[x_1,\ldots, x_n]$ closely related to the vanishing ideal of $\mathbb{C}$. The neural ideal, first introduced by Curto et al, provides an algebraic way to extract geometric properties of realizations of binary codes. In this paper we investigate homomorphisms between polynomial rings $\mathbb{F}_2[x_1,\ldots, x_n]$ which preserve all neural ideals. We show that all such homomorphisms can be decomposed into a composition of three basic types of maps. Using this decomposition, we can interpret how these homomorphisms act on the underlying binary codes. We can also determine their effect on geometric realizations of these codes using sets in $\mathbb{R}^d$. We also describe how these homomorphisms affect a canonical generating set for neural ideals, yielding an efficient method for computing these generators in some cases.
On Cartesian Products which Determine Few Distinct Distances
Published
• View Publication
• BIB
Every set of points $\mathcal{P}$ determines $Ω(|\mathcal{P}| / \log |\mathcal{P}|)$ distances. A close version of this was initially conjectured by Erdős in 1946 and rather recently proved by Guth and Katz. We show that when near this lower bound, a point set $\mathcal{P}$ of the form $A \times A$ must satisfy $|A - A| \ll |A|^{2-\frac{2}{7}} \log^{\frac{1}{7}} |A|$. This improves recent results of Hanson and Roche-Newton.
The algebras of graph rewriting
The concept of diagrammatic combinatorial Hopf algebras in the form introduced for describing the Heisenberg-Weyl algebra in~\cite{blasiak2010combinatorial} is extended to the case of so-called rule diagrams that present graph rewriting rules and their composites. The resulting rule diagram algebra may then be suitably restricted in four different ways to what we call the rule algebras, which are non-commutative, unital associative algebras that implement the algebra of compositions of graph rewriting rules. Notably, our framework reveals that there exist two more types of graph rewriting systems than previously known in the literature, and we present an analysis of the structure of the rule algebras as well as a form of Poincaré-Birkhoff-Witt theorem for the rule diagram algebra. Our work lays the foundation for a fundamentally new way of analyzing graph transformation systems, and embeds this very important concept from theoretical computer science firmly into the realm of mathematical combinatorics and statistical physics.
Modeling the maximum edge-weight k-plex partitioning problem
Given a sparse undirected graph G with weights on the edges, a k-plex partition of G is a partition of its set of nodes such that each component is a k-plex. A subset of nodes S is a k-plex if the degree of every node in the associated induced subgraph is at least |S|-k. The maximum edge-weight k-plex partitioning (Max-EkPP) problem is to find a k-plex partition with maximum total weight, where the partition's weight is the sum of the weights on the edges in the solution. When k=1, all components in the partition are cliques and the problem becomes the well-known maximum edge-weight clique partitioning (Max-ECP). However, and to our best knowledge, when k>1, the problem has never been modeled. Actually, the literature on the k-plex addresses the search for a single component in an unweighted graph. We propose a polynomial size integer linear programming formulation for the Max-EkPP problem and consider the inclusion of additional topological constraints in the model. These constraints involve lower and upper limit capacity bounds in each component and upper bound constraints on the number of components in the final solution. All these characterizations preserve linearity and the initial polynomial size of the model. We also present computational tests in order to show the models' performance under different parameters' settings. These tests resort to benchmark and real-world graphs.
Parabolic Catalan numbers count flagged Schur functions; Convexity of tableau sets for Demazure characters
Shuffles are n-multipermutations with suit multiplicities given by a subset R of {1,..,n-1}. Their inverses are ordered partitions of {1,..,n} whose block sizes derive from R. These "R-permutations" depict the min length coset reps for the quotient of S_n by the parabolic subgroup W_J, with J the complement of R. We refer to those that blockwise avoid the pattern 312 as "312-avoiding R-permutations" and define the "parabolic R-Catalan number" to be the number of them. Let lambda be a partition of N with at most n parts whose set of shape column lengths less than n is R. We show that the number of flagged Schur functions formed on the shape of lambda is this parabolic R-Catalan number, and list over a dozen other phenomena that are enumerated by it. Let pi be an R-permutation. We view the Demazure character (key polynomial) indexed by (lambda,pi) as the sum of the content weight monomials for our "pi-Demazure" semistandard tableaux of shape lambda with entries from {1,..,n}. We show that the set of these tableaux is convex in Z^N if and only if pi is a 312-avoiding R-permutation. A flagged Schur function is the sum of the content weight monomials for the semistandard tableaux of shape lambda whose entries are row-wise bounded by a given weakly increasing n-tuple. We consider general row bound sums for which the bounds may be any n-tuple. Reiner and Shimozono and then Postnikov and Stanley obtained results concerning coincidences between flagged Schur functions and Demazure characters: when lambda is strict, the flagged Schur functions exactly coincide with the 312-avoiding Demazure characters. For general lambda we introduce precise indexing sets of n-tuple bounds for the row bound sums. This and our convexity results are used to sharpen their coincidence results, to extend them to general row bound sums, and to show they hold at the deeper level of coinciding underlying tableau sets.
On Dantzig figures from graded lexicographic orders
Published in Discrete Mathematics, 341 (6), pp. 1534 - 1554, 2018
• View Publication
• BIB
We construct two families of Dantzig figures, which are $(d,2d)$-polytopes with an antipodal vertex pair, from convex hulls of initial subsets for the graded lexicographic (grlex) and graded reverse lexicographic (grevlex) orders on $\mathbb{Z}^{d}_{\geq 0}$. These two polytopes have the same number of vertices, $\mathcal{O}(d^{2})$, and the same number of edges, $\mathcal{O}(d^{3})$, but are not combinatorially equivalent. We provide an explicit description of the vertices and the facets for both families and describe their graphs along with analyzing their basic properties such as the radius, diameter, existence of Hamiltonian circuits, and chromatic number. Moreover, we also analyze the edge expansions of these graphs.
Asymmetric Hat Game with three players and three colors
Winning probabilities of The Hat Game (Ebert's Hat Problem) with three players and three colors are only known in the symmetric case: all probabilities of the colors are equal. This paper solves the asymmetric case: probabilities may be different. We find winning probabilies and optimal strategies in all cases.
On the absolute irreducibility of hyperplane sections of generalized Fermat varieties in $\Bbb{P}^3$ and the conjecture on exceptional APN functions: the Kasami-Welch degree case
Let $f$ be a function on a finite field $F$. The decomposition of the generalized Fermat variety $X$ defined by the multivariate polynomial of degree $n$, $φ(x,y,z)=f(x)+f(y)+f(z)$ in $\Bbb{P}^3(\overline{\mathbb{F}}_2)$, plays a crucial role in the study of almost perfect non-linear (APN) functions and exceptional APN functions. Their structure depends fundamentally on the Fermat varieties corresponding to the monomial functions of exceptional degrees $n=2^k+1$ and $n=2^{2k}-2^k+1$ (Gold and Kasami-Welch numbers, respectively). Very important results for these have been obtained by Janwa, McGuire and Wilson in [12,13]. In this paper we study $X$ related to the Kasami-Welch degree monomials and its decomposition into absolutely irreducible components. We show that, in this decomposition, the components intersect transversally at a singular point.
This structural fact implies that the corresponding generalized Fermat hypersurfaces, related to Kasami-Welch degree polynomial families, are absolutely irreducible. In particular, we prove that if $f(x)=x^{2^{2k}-2^k+1}+h(x)$, where ${\rm deg}(h)\equiv 3{\pmod 4}$, then the corresponding APN multivariate hypersurface is absolutely irreducible, and hence $f(x)$ is not exceptional APN function. We also prove conditional result in the case when ${\rm deg}(h)\equiv 5{\pmod 8}$. Since for odd degree $f(x)$, the conjecture needs to be resolved only for the Gold degree and the Kasami-Welch degree cases our results contribute substantially to the proof of the conjecture on exceptional APN functions---in the hardest case: the Kasami-Welch degree.
Structure of Polyzetas and Explicit Representation on Transcendence Bases of Shuffle and Stuffle Algebras
Published
• View Publication
• BIB
Polyzetas, indexed by words, satisfy shuffle and quasi-shuffle identities. In this respect, one can explore the multiplicative and algorithmic (locally finite) properties of their generating series. In this paper, we construct pairs of bases in duality on which polyzetas are established in order to compute local coordinates in the infinite dimensional Lie groups where their non-commutative generating series live. We also propose new algorithms leading to the ideal of polynomial relations, homogeneous in weight, among polyzetas (the graded kernel) and their explicit representation (as data structures) in terms of irreducible elements.
A proof of the Multijoints Conjecture and Carbery's generalization
Published
• View Publication
• BIB
We present a new proof of the Joints Theorem without taking derivatives. Then we generalize the proof to prove the Multijoints Conjecture and Carbery's generalization. All results are in any dimension over an arbitrary field.