Showing 20 papers (Total: 82797 papers, 47838 authors in database)
Coloring connections with counting mountain-valley assignments
Published in Origami6: Proceedings of the 6th International Meeting of Origami in Science, Mathematics, and Education, The American Mathematical Society, 2015, pp. 3-11
• View Publication
• BIB
We survey more recent attempts at enumerating the number of mountain-valley assignments that allow a given crease pattern to locally fold flat. In particular, we solve this problem for square twist tessellations and generalize the method used to a broader family of crease patterns. We also describe the more difficult case of the Miura-ori and a recently-discovered bijection with 3-vertex colorings of grid graphs.
The maximum multiplicity of an eigenvalue of symmetric matrices with a given graph
For a graph G, M(G) denotes the maximum multiplicity occurring of an eigenvalue of a symmetric matrix whose zero-nonzero pattern is given by edges of G. We introduce two combinatorial graph parameters T^-(G) and T^+(G) that give a lower and an upper bound for M(G) respectively, and we show that these bounds are sharp.
Bounds and Constructions of Codes with Multiple Localities
Published
• View Publication
• BIB
This paper studies bounds and constructions of locally repairable codes (LRCs) with multiple localities so-called multiple-locality LRCs (ML-LRCs). In the simplest case of two localities some code symbols of an ML-LRC have a certain locality while the remaining code symbols have another one. We extend two bounds, the Singleton and the alphabet-dependent upper bound on the dimension of Cadambe--Mazumdar for LRCs, to the case of ML-LRCs with more than two localities. Furthermore, we construct Singleton-optimal ML-LRCs as well as codes that achieve the extended alphabet-dependent bound. We give a family of binary ML-LRCs based on generalized code concatenation that is optimal with respect to the alphabet-dependent bound.
Stability of Depths of Powers of Edge Ideals
Published
• View Publication
• BIB
Let $G$ be a graph and let $I := I (G)$ be its edge ideal. In this paper, we provide an upper bound of $n$ from which $\depth R/ I(G)^n$ is stationary, and compute this limit explicitly. This bound is always achieved if $G$ has no cycles of length $4$ and every its connected component is either a tree or a unicyclic graph.
Symmetric and skew-symmetric $\{0,\pm 1\}$-matrices with large determinants
Published in J. Combin. Designs 00 (2017) pp. 1--10
• View Publication
• BIB
We show that the existence of $\{\pm 1\}$-matrices having largest possible determinant is equivalent to the existence of certain tournament matrices. In particular, we prove a recent conjecture of Armario. We also show that large submatrices of conference matrices are determined by their spectrum.
On the computational complexity of algebraic numbers: the Hartmanis--Stearns problem revisited
Published
• View Publication
• BIB
We consider the complexity of integer base expansions of algebraic irrational numbers from a computational point of view. We show that the Hartmanis--Stearns problem can be solved in a satisfactory way for the class of multistack machines. In this direction, our main result is that the base-$b$ expansion of an algebraic irrational real number cannot be generated by a deterministic pushdown automaton. We also confirm an old claim of Cobham proving that such numbers cannot be generated by a tag machine with dilation factor larger than one.
Resolutions of co-letterplace ideals and generalizations of Bier spheres
Published in Transactions of the American Mathematical Society 371 (2019), pp. 8733-8753
• View Publication
• BIB
We give the resolutions of co-letterplace ideals of posets in a completely explicit, very simple form. This generalizes and simplifies a number of linear resolutions in the literature, among them the Eliahou-Kervaire resolutions of strongly stable ideals generated in a single degree. Our method is based on a general result of K. Yanagawa using the canonical module of a Cohen-Macaulay Stanley-Reisner ring. We discuss in detail how the canonical module may effectively be computed, and from this derive directly the resolutions.
A surprising consequence is that we obtain a large class of simplicial spheres comprehensively generalizing Bier spheres.
Linear time algorithm for computing the rank of divisors on cactus graphs
Rank of divisor on graph was introduced in 2007 and it quickly attracts many attentions. Recently, in 2015 the problem for computing this quantity was proved to be NP-hard. In this paper, we describe a linear time algorithm for this problem limited on cactus graphs.
Tropical Homotopy Continuation
Inspired by numerical homotopy methods we propose a combinatorial homotopy algorithm for finding all isolated solutions to a tropical polynomial systems of n tropical polynomials in n variables. In particular, a tropicalisation of the numerical "regeneration" technique leads to a new method for enumerating the mixed cells of a mixed subdivision. This tropical approach shares some ideas with the recent algorithm by Malajovich. However, our algorithm has several advantages. It is memoryless, parallelisable as a tree traversal, exact and relies on symbolic perturbations. Our computational experiments show that the method is competitive and especially fast on the Katsura class of examples.
Tables of subspace codes
One of the main problems of subspace coding asks for the maximum possible cardinality of a subspace code with minimum distance at least $d$ over $\mathbb{F}_q^n$, where the dimensions of the codewords, which are vector spaces, are contained in $K\subseteq\{0,1,\dots,n\}$. In the special case of $K=\{k\}$ one speaks of constant dimension codes. Since this (still) emerging field is very prosperous on the one hand side and there are a lot of connections to classical objects from Galois geometry it is a bit difficult to keep or to obtain an overview about the current state of knowledge. To this end we have implemented an on-line database of the (at least to us) known results at \url{subspacecodes.uni-bayreuth.de}. The aim of this recurrently updated technical report is to provide a user guide how this technical tool can be used in research projects and to describe the so far implemented theoretic and algorithmic knowledge.
Cycle bases of reduced powers of graphs
Published
• View Publication
• BIB
We define what appears to be a new construction. Given a graph $G$ and a positive integer $k$, the reduced $k$th power of $G$, denoted $G^{(k)}$, is the configuration space in which $k$ indistinguishable tokens are placed on the vertices of $G$, so that any vertex can hold up to $k$ tokens. Two configurations are adjacent if one can be transformed to the other by moving a single token along an edge to an adjacent vertex.
The reduced power $G^{(k)}$ is the transition graph of the master Markov chain for $k$ identical and indistinguishable stochastic automata with transition graph $G$. We present propositions related to the structural properties of reduced graph powers and, most significantly, provide a construction of minimum cycle bases of $G^{(k)}$. Minimum cycle bases of reduced graph powers are especially relevant to applications that do not allow state-dependent coupling of automata to introduce nonequilibrium steady states. This paper also demonstrates how our minimum cycle basis construction provides conditions that ensure against violations of microscopic reversibility. In addition, the minimum cycle basis construction is an interesting combinatorial problem in itself.
Connectivity and Centrality in Dense Random Geometric Graphs
Due to shorter range communication becoming more prevalent with the development of multiple-input, multiple-output antennas (MIMO) and millimeter wave communications, multi-hop, intra-cell communication is anticipated to play a major role in 5G. This is developed in this thesis. Our analysis involves a stochastic spatial network model called a random geometric graph, which we use to model a network of interconnected devices communicating wirelessly without any separate, pre-established infrastructure.
[The remaining abstract is available in the front matter of this thesis.]
An equivalence of multistatistics on permutations
Published in Journal of Combinatorial Theory, Series A. Volume 157, July 2018, Pages 435-460
• View Publication
• BIB
We prove a conjecture of J.-C. Novelli, J.-Y. Thibon, and L. K. Williams (2010) about an equivalence of two triples of statistics on permutations. To prove this conjecture, we construct a bijection through different combinatorial objects, starting with a Catalan based object related to the PASEP. As a byproduct of this research, we also provide a new co-sylvester class-preserving bijection on permutations.
Measurable equidecompositions for group actions with an expansion property
Published in J Eur Math Soc 24 (2022) 4277-4326
• View Publication
• BIB
Given an action of a group $Γ$ on a measure space $Ω$, we provide a sufficient criterion under which two sets $A, B\subseteq Ω$ are measurably equidecomposable, i.e., $A$ can be partitioned into finitely many measurable pieces which can be rearranged using the elements of $Γ$ to form a partition of $B$. In particular, we prove that every bounded measurable subset of $R^n$, $n\ge 3$, with non-empty interior is measurably equidecomposable to a ball via isometries. The analogous result also holds for some other spaces, such as the sphere or the hyperbolic space of dimension $n\ge 2$.
Superregular matrices and applications to convolutional codes
Published
• View Publication
• BIB
The main results of this paper are twofold: the first one is a matrix theoretical result. We say that a matriz is superregular if all of its minors that are not trivially zero are nonzero. Given a a times b, a larger than or equal to b, superregular matrix over a field, we show that if all of its rows are nonzero then any linear combination of its columns, with nonzero coefficients, has at least a-b+1 nonzero entries. Secondly, we make use of this result to construct convolutional codes that attain the maximum possible distance for some fixed parameters of the code, namely, the rate and the Forney indices. These results answer some open questions on distances and constructions of convolutional codes posted in the literature.
Pairwise disjoint maximal cliques in random graphs and sequential motion planning on random right angled Artin groups
The clique number of a random graph in the Erdos-Renyi model G(n,p) yields a random variable which is known to be asymptotically (as n tends to infinity) almost surely within one of an explicit logarithmic (on n) function r(n,p). We extend this fact by showing that random graphs have, asymptotically almost surely, arbitrarily many pairwise disjoint complete subgraphs with as many vertices as r(n,p). The result is motivated by and applied to the sequential motion planning problem on random right angled Artin groups. Indeed, we give an asymptotical description of all the higher topological complexities of Eilenberg-MacLane spaces associated to random graph groups.
Discrepancy One among Homogeneous Arithmetic Progressions
Published
• View Publication
• BIB
We investigate a restriction of Paul Erdos' well-known problem from 1936 on the discrepancy of homogeneous arithmetic progressions. We restrict our attention to a finite set S of homogeneous arithmetic progressions, and ask when the discrepancy with respect to this set is exactly 1. We answer this question when S has size four or less, and prove that the problem for general S is NP-hard, even for discrepancy 1.
The Interlace Polynomial
Published
• View Publication
• BIB
In this paper, we survey results regarding the interlace polynomial of a graph, connections to such graph polynomials as the Martin and Tutte polynomials, and generalizations to the realms of isotropic systems and delta-matroids.
Chromatic Nim finds a game for your solution
Published
• View Publication
• BIB
We play a variation of Nim on stacks of tokens. Take your favorite increasing sequence of positive integers and color the tokens according to the following rule. Each token on a level that corresponds to a number in the sequence is colored red; if the level does not correspond to a number in the sequence, color it green. Now play Nim on a arbitrary number of stacks with the extra rule: if all top tokens are green, then you can make any move you like. On two stacks, we give explicit characterizations for winning the normal play version for some popular sequences, such as Beatty sequences and the evil numbers corresponding to the 0s in the famous Thue-Morse sequence. We also propose a more general solution which depends only on which of the colors `dominates' the sequence. Our construction resolves a problem posed by Fraenkel at the BIRS 2011 workshop in combinatorial games.
Existence Problem of Telescopers: Beyond the Bivariate Case
Published
• View Publication
• BIB
In this paper, we solve the existence problem of telescopers for rational functions in three discrete variables. We reduce the problem to that of deciding the summability of bivariate rational functions, which has been solved recently. The existence criteria we present is needed for detecting the termination of Zeilberger's algorithm to the function classes studied in this paper.