Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Optimal Communication Rates and Combinatorial Properties for Common Randomness Generation
Published
• View Publication
• BIB
We study common randomness generation problems where $n$ players aim to generate same sequences of random coin flips where some subsets of the players share an independent common coin which can be tossed multiple times, and there is a publicly seen blackboard through which the players communicate with each other. We provide a tight representation of the optimal communication rates via linear programming, and more importantly, propose explicit algorithms for the optimal distributed simulation for a wide class of hypergraphs. In particular, the optimal communication rate in complete hypergraphs is still achievable in sparser hypergraphs containing a path-connected cycle-free cluster of topologically connected components. Some key steps in analyzing the upper bounds rely on two different definitions of connectivity in hypergraphs, which may be of independent interest.
The Sortability of Graphs and Matrices under Context Directed Swaps
The study of sorting permutations by block interchanges has recently been stimulated by a phenomenon observed in the genome maintenance of certain ciliate species. The result was the identification of a block interchange operation that applies only under certain constraints. Interestingly, this constrained block interchange operation can be generalized naturally to simple graphs and to an operation on square matrices. This more general context provides numerous techniques applicable to the original context. In this paper we consider the more general context, and obtain an enumeration, in closed form, of all simple graphs on n vertices that are ``sortable" by the graph analogue of the constrained version of block interchanges. We also obtain asymptotic results on the proportion of graphs on n vertices that are so sortable.
On functions computed on trees
Published in Neural Computation 31 (2019), no. 11, 2075--2137
• View Publication
• BIB
Any function can be constructed using a hierarchy of simpler functions through compositions. Such a hierarchy can be characterized by a binary rooted tree. Each node of this tree is associated with a function which takes as inputs two numbers from its children and produces one output. Since thinking about functions in terms of computation graphs is getting popular we may want to know which functions can be implemented on a given tree. Here, we describe a set of necessary constraints in the form of a system of non-linear partial differential equations that must be satisfied. Moreover, we prove that these conditions are sufficient in both contexts of analytic and bit-valued functions. In the latter case, we explicitly enumerate discrete functions and observe that there are relatively few. Our point of view allows us to compare different neural network architectures in regard to their function spaces. Our work connects the structure of computation graphs with the functions they can implement and has potential applications to neuroscience and computer science.
Steiner systems $S(2,4,2^m)$ supported by a family of extended cyclic codes
Published in Advances in Mathematics of Communications, Vol. 16, No. 4, pp. 1011-1022, 2022
• View Publication
• BIB
In [C. Ding, An infinite family of Steiner systems $S(2,4,2^m)$ from cyclic codes, {\em J. Combin. Des.} 26 (2018), no.3, 126--144], Ding constructed a family of Steiner systems $S(2,4,2^m)$ for all $m \equiv 2 \pmod{4}$ from a family of extended cyclic codes. The objective of this paper is to present a family of Steiner systems $S(2,4,2^m)$ for all $m \equiv 0 \pmod{4}$ supported by a family of extended cyclic codes. The main result of this paper complements the previous work of Ding, and the results in the two papers will show that there exists a binary extended cyclic code that can support a Steiner system $S(2,4,2^m)$ for all even $m \geq 4$. This paper also determines the parameters of other $2$-designs supported by this family of extended cyclic codes.
Counting self-conjugate (s,s+1,s+2)-core partitions
Published
• View Publication
• BIB
We are concerned with counting self-conjugate $(s,s+1,s+2)$-core partitions. A Motzkin path of length $n$ is a path from $(0,0)$ to $(n,0)$ which stays above the $x$-axis and consists of the up $U=(1,1)$, down $D=(1,-1)$, and flat $F=(1,0)$ steps. We say that a Motzkin path of length $n$ is symmetric if its reflection about the line $x=n/2$ is itself. In this paper, we show that the number of self-conjugate $(s,s+1,s+2)$-cores is equal to the number of symmetric Motzkin paths of length $s$, and give a closed formula for this number.
Directed domination in oriented hypergraphs
Erdős [On Schütte problem, Math. Gaz. 47 (1963)] proved that every tournament on $n$ vertices has a directed dominating set of at most $\log (n+1)$ vertices, where $\log$ is the logarithm to base $2$. He also showed that there is a tournament on $n$ vertices with no directed domination set of cardinality less than $\log n - 2 \log \log n + 1$. This notion of directed domination number has been generalized to arbitrary graphs by Caro and Henning in [Directed domination in oriented graphs, Discrete Appl. Math. (2012) 160:7--8.]. However, the generalization to directed r-uniform hypergraphs seems to be rare. Among several results, we prove the following upper and lower bounds on $\overrightarrowΓ_{r-1}(H(n,r))$, the upper directed $(r-1)$-domination number of the complete $r$-uniform hypergraph on $n$ vertices $H(n,r)$, which is the main theorem of this paper: \[c (\ln n)^{\frac{1}{r-1}} \le \overrightarrowΓ_{r-1}(H(n,r)) \le C \ln n,\] where $r$ is a positive integer and $c= c(r) > 0$ and $C = C(r) > 0$ are constants depending on $r$.
Ecalle's averages, Rota-Baxter algebras and the construction of moulds
Rota-Baxter algebras and Atkinson's method are powerful tools for the factorization of characters on Hopf algebras. The theory of real resummation discovered by J. Ecalle and known as \textit{well-behaved averages theory} can be reformulated in terms of character factorization. The aim of this article is to explain how Atkinson recursion provides an alternative way to retrieve characters already discovered by Ecalle.
The Extension Degree Conditions for Fractional Factor
Published
• View Publication
• BIB
In Gao's previous work, the authors determined several graph degree conditions of a graph which admits fractional factor in particular settings. It was revealed that these degree conditions are tight if $b=f(x)=g(x)=a$ for all vertices $x$ in $G$. In this paper, we continue to discuss these degree conditions for admitting fractional factor in the setting that several vertices and edges are removed and there is a difference $Δ$ between $g(x)$ and $f(x)$ for every vertex $x$ in $G$. These obtained new degree conditions reformulate Gao's previous conclusions, and show how $Δ$ acts in the results. Furthermore, counterexamples are structured to reveal the sharpness of degree conditions in the setting $f(x)=g(x)+Δ$.
On some conjectural congruences
Published in Colloq. Math. 161 (2020), 251-261
• View Publication
• BIB
In this paper, we confirm some congruences conjectured by V.J.W. Guo and M.J. Schlosser recently. For example, we show that for primes $p>3$, $$ \sum_{k=0}^{p-1}(2pk-2k-1)\frac{\left(\frac{-1}{p-1}\right)_k^{2p-2}}{(k!)^{2p-2}}\equiv0\pmod{p^5}. $$
The Hamiltonicity, Hamiltonian Connectivity, and Longest (s, t)-path of L-shaped Supergrid Graphs
Supergrid graphs contain grid graphs and triangular grid graphs as their subgraphs. The Hamiltonian cycle and path problems for general supergrid graphs were known to be NP-complete. A graph is called Hamiltonian if it contains a Hamiltonian cycle, and is said to be Hamiltonian connected if there exists a Hamiltonian path between any two distinct vertices in it. In this paper, we first prove that every L-shaped supergrid graph always contains a Hamiltonian cycle except one trivial condition. We then verify the Hamiltonian connectivity of L-shaped supergrid graphs except few conditions. The Hamiltonicity and Hamiltonian connectivity of L-shaped supergrid graphs can be applied to compute the minimum trace of computerized embroidery machine and 3D printer when a L-like object is printed. Finally, we present a linear-time algorithm to compute the longest (s, t)-path of L-shaped supergrid graph given two distinct vertices s and t.
Isoperimetry, Stability, and Irredundance in Direct Products
Published
• View Publication
• BIB
The direct product of graphs $G_1,\ldots,G_n$ is the graph with vertex set $V(G_1)\times\cdots\times V(G_n)$ in which two vertices $(g_1,\ldots,g_n)$ and $(g_1',\ldots,g_n')$ are adjacent if and only if $g_i$ is adjacent to $g_i'$ in $G_i$ for all $i$. Building off of the recent work of Brakensiek, we prove an optimal vertex isoperimetric inequality for direct products of complete multipartite graphs. Applying this inequality, we derive a stability result for independent sets in direct products of balanced complete multipartite graphs, showing that every large independent set must be close to the maximal independent set determined by setting one of the coordinates to be constant. Armed with these isoperimetry and stability results, we prove that the upper irredundance number of a direct product of balanced complete multipartite graphs is equal to its independence number in all but at most $37$ cases. This proves most of a conjecture of Burcroff that arose as a strengthening of a conjecture of the second author and Iyer. We also propose a further strengthening of Burcroff's conjecture.
Enumeration of Stack-Sorting Preimages via a Decomposition Lemma
Published in Discrete Mathematics & Theoretical Computer Science, vol. 22 no. 2, Permutation Patterns 2019, Combinatorics (April 9, 2021) dmtcs:6709
• View Publication
• BIB
We give three applications of a recently-proven "Decomposition Lemma," which allows one to count preimages of certain sets of permutations under West's stack-sorting map $s$. We first enumerate the permutation class $s^{-1}(\text{Av}(231,321))=\text{Av}(2341,3241,45231)$, finding a new example of an unbalanced Wilf equivalence. This result is equivalent to the enumeration of permutations sortable by ${\bf B}\circ s$, where ${\bf B}$ is the bubble sort map. We then prove that the sets $s^{-1}(\text{Av}(231,312))$, $s^{-1}(\text{Av}(132,231))=\text{Av}(2341,1342,\underline{32}41,\underline{31}42)$, and $s^{-1}(\text{Av}(132,312))=\text{Av}(1342,3142,3412,34\underline{21})$ are counted by the so-called "Boolean-Catalan numbers," settling a conjecture of the current author and another conjecture of Hossain. This completes the enumerations of all sets of the form $s^{-1}(\text{Av}(τ^{(1)},\ldots,τ^{(r)}))$ for $\{τ^{(1)},\ldots,τ^{(r)}\}\subseteq S_3$ with the exception of the set $\{321\}$. We also find an explicit formula for $|s^{-1}(\text{Av}_{n,k}(231,312,321))|$, where $\text{Av}_{n,k}(231,312,321)$ is the set of permutations in $\text{Av}_n(231,312,321)$ with $k$ descents. This allows us to prove a conjectured identity involving Catalan numbers and order ideals in Young's lattice.
Descents in $t$-Sorted Permutations
Published
• View Publication
• BIB
Let $s$ denote West's stack-sorting map. A permutation is called $t-\textit{sorted}$ if it is of the form $s^t(μ)$ for some permutation $μ$. We prove that the maximum number of descents that a $t$-sorted permutation of length $n$ can have is $\left\lfloor\frac{n-t}{2}\right\rfloor$. When $n$ and $t$ have the same parity and $t\geq 2$, we give a simple characterization of those $t$-sorted permutations in $S_n$ that attain this maximum. In particular, the number of such permutations is $(n-t-1)!!$.
Catalan Intervals and Uniquely Sorted Permutations
Published
• View Publication
• BIB
For each positive integer $k$, we consider five well-studied posets defined on the set of Dyck paths of semilength $k$. We prove that uniquely sorted permutations avoiding various patterns are equinumerous with intervals in these posets. While most of our proofs are bijective, some use generating trees and generating functions. We end with several conjectures.
The Boolean SATisfiability Problem and the orthogonal group $O(n)$
We explore the relations between the Boolean Satisfiability Problem with $n$ Boolean variables and the orthogonal group $\mbox{O}(n)$. We show that all $2^n$ possible solutions induce involutions of $\mathbb{R}^n$ that lie in the compact, disconnected real manifold of dimension $n (n-1)/2$ of $\mbox{O}(n)$. This result in turn gives a new unsatisfiability test within group $\mbox{O}(n)$.
Eulerian Spaces
Published
• View Publication
• BIB
We develop a unified theory of Eulerian spaces by combining the combinatorial theory of infinite, locally finite Eulerian graphs as introduced by Diestel and Kühn with the topological theory of Eulerian continua defined as irreducible images of the circle, as proposed by Bula, Nikiel and Tymchatyn.
First, we clarify the notion of an Eulerian space and establish that all competing definitions in the literature are in fact equivalent. Next, responding to an unsolved problem of Treybig and Ward from 1981, we formulate a combinatorial conjecture for characterising the Eulerian spaces, in a manner that naturally extends the characterisation for finite Eulerian graphs. Finally, we present far-reaching results in support of our conjecture which together subsume and extend all known results about the Eulerianity of infinite graphs and continua to date. In particular, we characterise all one-dimensional Eulerian spaces.
Normal $5$-edge-colorings of a family of Loupekhine snarks
Published
• View Publication
• BIB
In a proper edge-coloring of a cubic graph an edge $uv$ is called poor or rich, if the set of colors of the edges incident to $u$ and $v$ contains exactly three or five colors, respectively. An edge-coloring of a graph is normal, if any edge of the graph is either poor or rich. In this note, we show that some snarks constructed by using a method introduced by Loupekhine admit a normal edge-coloring with five colors. The existence of a Berge-Fulkerson Covering for a part of the snarks considered in this paper was recently proved by Manuel and Shanthi (2015). Since the existence of a normal edge-coloring with five colors implies the existence of a Berge-Fulkerson Covering, our main theorem can be viewed as a generalization of their result.
A code for square permutations and convex permutominoes
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 21 no. 2, Permutation Patters 2018 (December 30, 2019) dmtcs:5354
• View Publication
• BIB
In this article we consider square permutations, a natural subclass of permutations defined in terms of geometric conditions, that can also be described in terms of pattern avoiding permutations, and convex permutoninoes, a related subclass of polyominoes. While these two classes of objects arised independently in various contexts, they play a natural role in the description of certain random horizontally and vertically convex grid configurations.
We propose a common approach to the enumeration of these two classes of objets that allows us to explain the known common form of their generating functions, and to derive new refined formulas and linear time random generation algorithms for these objects and the associated grid configurations.
Consecutive Patterns in Inversion Sequences
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 21 no. 2, Permutation Patters 2018 (November 4, 2019) dmtcs:5350
• View Publication
• BIB
An inversion sequence of length $n$ is an integer sequence $e=e_{1}e_{2}\dots e_{n}$ such that $0\leq e_{i}<i$ for each $i$. Corteel--Martinez--Savage--Weselcouch and Mansour--Shattuck began the study of patterns in inversion sequences, focusing on the enumeration of those that avoid classical patterns of length 3. We initiate an analogous systematic study of consecutive patterns in inversion sequences, namely patterns whose entries are required to occur in adjacent positions. We enumerate inversion sequences that avoid consecutive patterns of length 3, and generalize some results to patterns of arbitrary length. Additionally, we study the notion of Wilf equivalence of consecutive patterns in inversion sequences, as well as generalizations of this notion analogous to those studied for permutation patterns. We classify patterns of length up to 4 according to the corresponding Wilf equivalence relations.
Minuscule reverse plane partitions via quiver representations
Published
• View Publication
• BIB
The Hillman--Grassl correspondence is a well-known bijection between multisets of rim hooks of a partition shape $λ$ and reverse plane partitions of $λ$. We use the tools of quiver representations to generalize Hillman--Grassl in type $A$ and to define an analogue in all minuscule types. This is an extended abstract prepared for FPSAC 2019 based on arXiv:1812.08345, emphasizing its combinatorial aspects.