Showing 20 papers (Total: 83842 papers, 48355 authors in database)
Relations between counting functions on free groups and free monoids
Published
• View Publication
• BIB
We consider finite sums of counting functions on the free group $F_n$ and the free monoid $M_n$ for $n \geq 2$. Two such sums are considered equivalent if they differ by a bounded function. We find the complete set of linear relations between equivalence classes of sums of counting functions and apply this result to construct an explicit basis for the vector space of such equivalence classes. Moreover, we provide a graphical algorithm to determine whether two given sums of counting functions are equivalent. In particular, this yields an algorithm to decide whether two sums of Brooks quasimorphisms on $F_n$ represent the same class in bounded cohomology.
Combinatorial Formula for the Partition Function
In this article we will derive a combinatorial formula for the partition function p(n). In the second part of the paper we will establish connection between partitions and q-binomial coefficients and give new interpretation for q-binomial coefficients.
A polynomially solvable case of the pooling problem
Published in Journal of Global Optimization, Volume 67, Issue 3, pp 621-630, 2017
• View Publication
• BIB
Answering a question of Haugland, we show that the pooling problem with one pool and a bounded number of inputs can be solved in polynomial time by solving a polynomial number of linear programs of polynomial size. We also give an overview of known complexity results and remaining open problems to further characterize the border between (strongly) NP-hard and polynomially solvable cases of the pooling problem.
Algebraic proofs of linear versions of the Conway--Gordon--Sachs theorem and the van Kampen--Flores theorem
In this paper we present short algebraic proofs of the Linear Conway--Gordon--Sachs and the Linear van Kampen--Flores theorems in the spirit of the Radon theorem on convex hulls.
{\bf Theorem.} {\it Take any $n+3$ general position points in $\mathbb{R}^n$. If $n$ is odd, then there are two linked $(n+1)/2$-simplices with the vertices at these points. If $n$ is even, then one can choose two disjoint $(n+2)/2$-tuples such that the interiors $(n/2)$-simplices with the vertices at these $(n+2)/2$-tuples intersect each other.}
This theorem is interesting even in case of small dimensions.
A generalized Goulden-Jackson cluster method and lattice path enumeration
Published in Discrete Math. 341(2): 358-379, 2017
• View Publication
• BIB
The Goulden-Jackson cluster method is a powerful tool for obtaining generating functions for counting words in a free monoid by occurrences of a set of subwords. We introduce a generalization of the cluster method for monoid networks, which generalize the combinatorial framework of free monoids. As a sample application of the generalized cluster method, we compute bivariate and multivariate generating functions counting Motzkin paths---both with height bounded and unbounded---by statistics corresponding to the number of occurrences of various subwords, yielding both closed-form and continued fraction formulae.
On the classification of certain ternary codes of length 12
Published in Hiroshima Math. J. 46 (2016), 87-96
• View Publication
• BIB
Shimada and Zhang studied the existence of polarizations on some supersingular $K3$ surfaces by reducing the existence of the polarizations to that of ternary $[12,5]$ codes satisfying certain conditions. In this note, we give a classification of ternary $[12,5]$ codes satisfying the conditions. To do this, ternary $[10,5]$ codes are classified for minimum weights $3$ and $4$.
On interval edge-colorings of bipartite graphs of small order
Published
• View Publication
• BIB
An edge-coloring of a graph $G$ with colors $1,\ldots,t$ is an interval $t$-coloring if all colors are used, and the colors of edges incident to each vertex of $G$ are distinct and form an interval of integers. A graph $G$ is interval colorable if it has an interval $t$-coloring for some positive integer $t$. The problem of deciding whether a bipartite graph is interval colorable is NP-complete. The smallest known examples of interval non-colorable bipartite graphs have $19$ vertices. On the other hand it is known that the bipartite graphs on at most $14$ vertices are interval colorable. In this work we observe that several classes of bipartite graphs of small order have an interval coloring. In particular, we show that all bipartite graphs on $15$ vertices are interval colorable.
Modelling x-ray tomography using integer compositions
The x-ray process is modelled using integer compositions as a two dimensional analogue of the object being x-rayed, where the examining rays are modelled by diagonal lines with equation $x-y=n$ for non negative integers $n$. This process is essentially parameterised by the degree to which the x-rays are contained inside a particular composition. So, characterising the process translates naturally to obtaining a generating function which tracks the number of "staircases" which are contained inside arbitrary integer compositions of $n$. More precisely, we obtain a generating function which counts the number of times the staircase $1^+2^+3^+\cdots m^+$ fits inside a particular composition. The main theorem establishes this generating function \begin{equation*} F= \dfrac {k_{m}-\frac {qx^{m}y}{1-x}k_{m-1}}{(1-q)x^{\binom {m+1}{2}}\left(\frac{y}{1-x}\right)^{m}+\frac{1-x-xy}{1-x}\left(k_{m}-\frac{qx^{m}y}{1-x}k_{m-1}\right)}. \end{equation*} where \begin{equation} k_{m}=\sum_{j=0}^{m-1}x^{mj-\binom {j}{2}}\left(\frac {y}{1-x}\right)^{j}. \end{equation} Here $x$ and $y$ respectively track the composition size and number of parts, whilst $q$ tracks the number of such staircases contained.
Algebraic flow theory of infinite graphs
Published in European Journal of Combinatorics, Volume 62, May 2017, Pages 58-69
• View Publication
• BIB
A problem by Diestel is to extend algebraic flow theory of finite graphs to infinite graphs with ends. In order to pursue this problem, we define an A-flow and non-elusive H-flow for arbitrary graphs and for abelian topological Hausdorff groups H and compact subsets A of H. We use these new definitions to extend several well-known theorems of flows in finite graphs to infinite graphs.
Fullerenes with distant pentagons
For each $d>0$, we find all the smallest fullerenes for which the least distance between two pentagons is $d$. We also show that for each $d$ there is an $h_d$ such that fullerenes with pentagons at least distance $d$ apart and any number of hexagons greater than or equal to $h_d$ exist.
We also determine the number of fullerenes where the minimum distance between any two pentagons is at least $d$, for $1 \le d \le 5$, up to 400 vertices.
Permutations $r_j$ such that $\sum_{i=1}^n \prod_{j=1}^k r_j(i)$ is maximized or minimized
We consider the problem of finding the set of permutations $r_j$ of $\{1,\cdots , n\}$ such that $\sum_{i=1}^n \prod_{j=1}^k r_j(i)$ is maximized or minimized. While the set of permutations maximizing this value are easily determined, finding the set of permutations minimizing this value appears to be an open problem. We show values of $k$ and $n$ for which an explicit solution exists and comment on computational issues in determining the general problem. We also look at the dual problem of finding the permutations such that $\prod_{i=1}^n \sum_{j=1}^k r_j(i)$ is maximized or minimized. As part of this study we also look at a variant of a rearrangement inequality.
Minimal Length Maximal Green Sequences and Triangulations of Polygons
Published
• View Publication
• BIB
We use combinatorics of quivers and the corresponding surfaces to study maximal green sequences of minimal length for quivers of type $\mathbb{A}$. We prove that such sequences have length $n+t$, where $n$ is the number of vertices and $t$ is the number of 3-cycles in the quiver. Moreover, we develop a procedure that yields these minimal length maximal green sequences.
Binary words avoiding xx^Rx and strongly unimodal sequences
In previous work, Currie and Rampersad showed that the growth of the number of binary words avoiding the pattern xxx^R was intermediate between polynomial and exponential. We now show that the same holds for the growth of the number of binary words avoiding the pattern xx^Rx. Curiously, the analysis for xx^Rx is much simpler than that for xxx^R. We derive our results by giving a bijection between the set of binary words avoiding xx^Rx and a class of sequences closely related to the class of "strongly unimodal sequences."
The complexity of cyber attacks in a new layered-security model and the maximum-weight, rooted-subtree problem
Published
• View Publication
• BIB
In our cyber security model we define the concept of {\em penetration cost}, which is the cost that must be paid in order to break into the next layer of security. Given a tree $T$ rooted at a vertex $r$, a {\em penetrating cost} edge function $c$ on $T$, a {\em target-acquisition} vertex function $p$ on $T$, the attacker's {\em budget} and the {\em game-over threshold} $B,G \in {\mathbb{Q}}^{+}$ respectively, we consider the problem of determining the existence of a rooted subtree $T'$ of $T$ within the attacker's budget (that is, the sum of the costs of the edges in $T'$ is less than or equal to $B$) with total acquisition value more than the game-over threshold (that is, the sum of the target values of the nodes in $T'$ is greater than or equal to $G$). We prove that the general version of this problem is intractable, but does admit a polynomial time approximation scheme. We also analyze the complexity of three restricted versions of the problems, where the penetration cost is the constant function, integer-valued, and rational-valued among a given fixed number of distinct values.
Permutation totally symmetric self-complementary plane partitions
Published in Ann. Comb. 22 (2018), no. 3, 641-671
• View Publication
• BIB
Alternating sign matrices and totally symmetric self-complementary plane partitions are equinumerous sets of objects for which no explicit bijection is known. In this paper, we identify a subset of totally symmetric self-complementary plane partitions corresponding to permutations by giving a statistic-preserving bijection to permutation matrices, which are a subset of alternating sign matrices. We use this bijection to define a new partial order on permutations, and prove this new poset contains both the Tamari lattice and the Catalan distributive lattice as subposets. We also study a new partial order on totally symmetric self-complementary plane partitions arising from this perspective and show that this is a distributive lattice related to Bruhat order when restricted to permutations.
Geodesic trajectories on regular polyhedra
Consider all geodesics between two given points on a polyhedron. On the regular tetrahedron, we describe all the geodesics from a vertex to a point, which could be another vertex. Using the Stern--Brocot tree to explore the recursive structure of geodesics between vertices on a cube, we prove, in some precise sense, that there are twice as many geodesics between certain pairs of vertices than other pairs. We also obtain the fact that there are no geodesics that start and end at the same vertex on the regular tetrahedron or the cube.
Bounds for codes on pentagon and other cycles
The capacity of a graph is defined as the rate of exponential grow of independent sets in the strong powers of the graph. In strong power, an edge connects two sequences if at each position letters are equal or adjacent. We consider a variation of the problem where edges in the power graphs are removed among sequences which differ in more than a fraction $δ$ of coordinates. For odd cycles, we derive an upper bound on the corresponding rate which combines Lovász' bound on the capacity with Delsarte's linear programming bounds on the minimum distance of codes in Hamming spaces. For the pentagon, this shows that for $δ\ge {1-{1\over\sqrt{5}}}$ the Lovász rate is the best possible, while we prove by a Gilbert-Varshamov-type bound that a higher rate is achievable for $δ< {2\over 5}$.
Communication interpretation of this question is the problem of sending quinary symbols subject to $\pm 1\mod 5$ disturbance. The maximal communication rate subject to the zero undetected-error equals capacity of a pentagon. The question addressed here is how much this rate can be increased if only a fraction $δ$ of symbols is allowed to be disturbed
Incidence Geometry in a Weyl Chamber I: $GL_n$
Published
• View Publication
• BIB
We study the central hyperplane arrangement whose hyperplanes are the vanishing loci of the weights of the first and the second fundamental representations of $\mathfrak{gl}_n$ restricted to the dual fundamental Weyl chamber. We obtain generating functions that count flats and faces of a given dimension. This counting is interpreted in physics as the enumeration of the phases of the Coulomb and mixed Coulomb-Higgs branches of a five dimensional gauge theory with 8 supercharges in presence of hypermultiplets transforming in the fundamental and antisymmetric representation of a U(n) gauge group as described by the Intriligator-Morrison-Seiberg superpotential.
On the precise value of the strong chromatic-index of a planar graph with a large girth
Published
• View Publication
• BIB
A strong $k$-edge-coloring of a graph $G$ is a mapping from $E(G)$ to $\{1,2,\ldots,k\}$ such that every pair of distinct edges at distance at most two receive different colors. The strong chromatic index $χ'_s(G)$ of a graph $G$ is the minimum $k$ for which $G$ has a strong $k$-edge-coloring. Denote $σ(G)=\max_{xy\in E(G)}\{\operatorname{deg}(x)+\operatorname{deg}(y)-1\}$. It is easy to see that $σ(G) \le χ'_s(G)$ for any graph $G$, and the equality holds when $G$ is a tree. For a planar graph $G$ of maximum degree $Δ$, it was proved that $χ'_s(G) \le 4 Δ+4$ by using the Four Color Theorem. The upper bound was then reduced to $4Δ$, $3Δ+5$, $3Δ+1$, $3Δ$, $2Δ-1$ under different conditions for $Δ$ and the girth. In this paper, we prove that if the girth of a planar graph $G$ is large enough and $σ(G)\geq Δ(G)+2$, then the strong chromatic index of $G$ is precisely $σ(G)$. This result reflects the intuition that a planar graph with a large girth locally looks like a tree.
Hindman's theorem and idempotent types
Published
• View Publication
• BIB
Motivated by a question of Di Nasso, we prove that Hindman's theorem is equivalent to the existence of idempotent types in countable complete extensions of Peano Arithmetic.