Showing 20 papers (Total: 84046 papers, 48445 authors in database)
An axiomatization of matroids and oriented matroids as conditional independence models
Published
• View Publication
• BIB
Matroids and semigraphoids are discrete structures abstracting and generalizing linear independence among vectors and conditional independence among random variables, respectively. Despite the different nature of conditional independence from linear independence, deep connections between these two areas are found and still undergoing active research. In this paper, we give a characterization of the embedding of matroids into conditional independence structures and its oriented counterpart, which lead to new axiom systems of matroids and oriented matroids.
The set-theoretic Yang-Baxter equation, Kimura semigroups and functional graphs
Published in Research in the Mathematical Sciences, volume 12, article number 34, (2025)
• View Publication
• BIB
We prove that the category of solutions of the set-theoretic Yang-Baxter equation of Frobenius-Separability (FS) type is equivalent to the category of pointed Kimura semigroups. As applications, all involutive, idempotent, nondegenerate, surjective, finite order, unitary or indecomposable solutions of FS type are classified. For instance, if $|X| = n$, then the number of isomorphism classes of all such solutions on $X$ that are (a) left non-degenerate, (b) bijective, (c) unitary or (d) indecomposable and left-nondegenerate is: (a) the Davis number $d(n)$, (b) $\sum_{m|n} \, p(m)$, where $p(m)$ is the Euler partition number, (c) $τ(n) + \sum_{d|n}\left\lfloor \frac d2\right\rfloor$, where $τ(n)$ is the number of divisors of $n$, or (d) the Harary number $\mathfrak{c} (n)$. The automorphism groups of such solutions can also be recovered as automorphism groups $\mathrm{Aut}(f)$ of sets $X$ equipped with a single endo-function $f:X\to X$. We describe all groups of the form $\mathrm{Aut}(f)$ as iterations of direct and (possibly infinite) wreath products of cyclic or full symmetric groups, characterize the abelian ones as products of cyclic groups, and produce examples of symmetry groups of FS solutions not of the form $\mathrm{Aut}(f)$.
On the Number of Distinct Tilings of Finite Subsets of $\mathbb{Z}^{d}$ With Tiles of Fixed Size
In this work, we study the number of finite tiles $A\subset\mathbb{Z}^{d}$ of size $α$ that translationally tile a finite $C\subset\mathbb{Z}^{d}$. We consider two tiles $A$ and $A'$ to be congruent if and only if one can be transformed into the other via some translation. We make several significant contributions to the study of this problem. For any $α\in\mathbb{Z}^{+}$ and $C=[x_{1}]\times[x_{2}]\times\ldots [x_{d}]$ where $x_{1},\ldots,x_{d}\in\mathbb{Z}^{+}$ (which we refer to as a finite contiguous $C$), we give an efficient method for enumerating all elements of $\mathcal{T}(α,C)$, where $(A,B)\in \mathcal{T}(α,C)$ if and only if $A,B\subset\mathbb{Z}^{d}$, the Minkowsji sum of $A$ and $B$ equals $C$, the size of $A$ equals $α$, and $|C|=α|B|$. We then use this to prove a partial order on $|\mathcal{T}(α,C)|$ with respect to $α$ for any finite contiguous $C$.
We then study the extremal question as to the the growth rate of $\text{max}_{α,C}[|\mathcal{T}(α,C)|]$ with respect to $|C|$. For finite contiguous $C$, we improve the trivial lower and upper bounds of $\log n$ and ${n\choose n/2}$ respectively to an upper bound of \[n^{\frac{(1+ε)\log n}{\log\log n}}\] and an infinitely often super-polynomial lower bound such that, for all constants $c$ and some infinite $N\subset\mathbb{Z}^{+}$, \[\forall n\in N, \existsα\in\mathbb{Z}^{+}(|\mathcal{T}(α,C)|>n^{c}),\] where $n=|C|$.
We conjecture that the number of tilings of any finite contiguous $C$ by tiles of size $α$ is an upper bound on the number of tilings of any finite $C'\subset \mathbb{Z}^{d}$ by tiles of size $α$. To begin working towards this, we prove that any $A$ of size $α$ that tiles some finite contiguous $C$ itself has at most as many tilings by tiles of size $α'$ as there are tilings of $[α]$ by tiles of size $α'$.
On sharp isoperimetric inequalities on the hypercube
Published
• View Publication
• BIB
We prove the sharp isoperimetric inequality $$ \mathbb{E} \,h_{A}^{\log_{2}(3/2)} \geq μ(A)^{*} (\log_{2}(1/μ(A)^{*}))^{\log_{2}(3/2)} $$ for all sets $A \subseteq \{0,1\}^n$, where $μ$ denotes the uniform probability measure, $μ(A)^{*}=\min\{μ(A), 1-μ(A)\}$, $h_A$ is supported on $A$ and to each vertex $x$ assigns the number of neighbour vertices in the complement of $A$. The inequality becomes equality for any subcube. Moreover, we provide lower bounds on $\mathbb{E} h_{A}^β$ in terms of $μ(A)$ for all $β\in [1/2,1]$, improving, and in some cases tightening, previously known results. In particular, we obtain the sharp inequality $\mathbb{E}h_{A}^{0.53}\geq 2 μ(A)(1-μ(A))$ for all sets with $μ(A)\geq 1/2$, which allows us to refine a recent result of Kahn and Park on isoperimetric inequalities about partitioning the hypercube. Furthermore, we derive Talagrand's isoperimetric inequalities for functions with values in a Banach space having finite cotype: for all $f :\{-1,1\}^{n} \to X$, $\|f\|_{\infty}\leq 1$, and any $p \in [1,2]$ we have
$$
\|Df\|_{p} \gtrsim \frac{1}{q^{3/2}C_{q}(X)} \|f\|_{2}^{2/p}\left(\log \frac{e\|f\|_{2}}{\|f\|_{1}}\right)^{1/q},
$$
where $\| Df\|_{p}^{p} = \mathbb{E} \| \sum_{1\leq j \leq n} x'_{j} D_{j} f(x)\|^{p}$, $x'$ is independent copy of $x$, and $C_{q}(X)$ is the cotype $q$ constant of $X$. Different proofs of the recently resolved Talagrand's conjecture will be presented.
Higher-degree symmetric rank-metric codes
Published
• View Publication
• BIB
Over fields of characteristic unequal to $2$, we can identify symmetric matrices with homogeneous polynomials of degree $2$. This allows us to view symmetric rank-metric codes as living inside the space of such polynomials. In this paper, we generalize the construction of symmetric Gabidulin codes to polynomials of degree $d>2$ over field of characteristic $0$ or $>d$. To do so, we equip the space of homogeneous polynomials of degree $d\geq 2$ with the metric induced by the essential rank, which is the minimal number of linear forms needed to express a polynomial. We provide bounds on the minimal distance and dimension of the essential-rank metric codes we construct and provide an efficient decoding algorithm. Finally, we show how essential-rank metric codes can be seen as special instances of rank-metric codes and compare our construction to known rank-metric codes with the same parameters.
Combinatorial proofs of theorems of Merca on the sum of different parts congruent to $r$ modulo $m$ in all partitions of $n$
We give combinatorial proofs of several recent results due to Merca on the sum of different parts congruent to $r$ modulo $m$ in all partitions of $n$. The proofs make use of some well known involutions from the literature and some new involutions introduced here.
Chromatic numbers of Cayley graphs of abelian groups: A matrix method
Published in Linear Algebra and its Applications, Volume 676, 1 November 2023, Pages 277-295
• View Publication
• BIB
In this paper, we take a modest first step towards a systematic study of chromatic numbers of Cayley graphs on abelian groups. We lose little when we consider these graphs only when they are connected and of finite degree. As in the work of Heuberger and others, in such cases the graph can be represented by an $m\times r$ integer matrix, where we call $m$ the dimension and $r$ the rank. Adding or subtracting rows produces a graph homomorphism to a graph with a matrix of smaller dimension, thereby giving an upper bound on the chromatic number of the original graph. In this article we develop the foundations of this method. In a series of follow-up articles using this method, we completely determine the chromatic number in cases with small dimension and rank; prove a generalization of Zhu's theorem on the chromatic number of $6$-valent integer distance graphs; and provide an alternate proof of Payan's theorem that a cube-like graph cannot have chromatic number 3.
An alternate proof of Payan's theorem on cubelike graphs
A cubelike graph is a Cayley graph on the product $\mathbb{Z}_2\times\cdots\times\mathbb{Z}_2$ of the integers modulo $2$ with itself finitely many times. In 1992, Payan proved that no cubelike graph can have chromatic number $3$. The authors of the present paper previously developed a general matrix method for studying chromatic numbers of Cayley graphs on abelian groups. In this note, we apply this method of Heuberger matrices to give an alternate proof of Payan's theorem.
Chromatic numbers of Cayley graphs of abelian groups: Cases of small dimension and rank
A connected Cayley graph on an abelian group with a finite generating set $S$ can be represented by its Heuberger matrix, i.e., an integer matrix whose columns generate the group of relations between members of $S$. In a previous article, the authors laid the foundation for the use of Heuberger matrices to study chromatic numbers of abelian Cayley graphs. We call the number of rows in the Heuberger matrix the {\it dimension}, and the number of columns the {\it rank}. In this paper, we give precise numerical conditions that completely determine the chromatic number in all cases with dimension $1$; with rank $1$; and with dimension $\leq 3$ and rank $\leq 2$. For such a graph without loops, we show that it is $4$-colorable if and only if it does not contain a $5$-clique, and it is $3$-colorable if and only if it contains neither a diamond lanyard nor a $C_{13}(1,5)$, both of which we define herein. It is shown in another paper that as a special case of our theorem for dimension $3$ and rank $2$, we obtain improved upper bounds for minimal periods of optimal colorings of $6$-valent integer distance graphs.
A generalization of Zhu's theorem on six-valent integer distance graphs
Published
• View Publication
• BIB
Given a set $S$ of positive integers, the integer distance graph for $S$ has the set of integers as its vertex set, where two vertices are adjacent if and only if the absolute value of their difference lies in $S$. In 2002, Zhu completely determined the chromatic number of integer distance graphs when $S$ has cardinality $3$. Integer distance graphs can be defined equivalently as Cayley graphs on the group of integers under addition. In a previous paper, the authors develop general methods to approach the problem of finding chromatic numbers of Cayley graphs on abelian groups. To each such graph one associates an integer matrix. In some cases the chromatic number can be determined directly from the matrix entries. In particular, the authors completely determine the chromatic number whenever the matrix is of size $3\times 2$ -- precisely the size of the matrices associated to the graphs studied by Zhu. In this paper, then, we demonstrate that Zhu's theorem can be recovered as a special case of the authors' previous results.
On connection Bruijn-Erdös Theorem and symplectic geometry
In this article a family of recursive and self-similar matrices is constructed. It is shown that the Plücker matrix of the Isotropic Grassmannian variety is a direct sum of this class of matrices.
Reconfiguration of Minimum Independent Dominating Sets in Graphs
The independent domination number $i(G)$ of a graph $G$ is the minimum cardinality of a maximal independent set of $G$, also called an $i(G)$-set. The $i$-graph of $G$, denoted $\mathcal{I}(G)$, is the graph whose vertices correspond to the $i(G)$-sets, and where two $i(G)$-sets are adjacent if and only if they differ by two adjacent vertices. We show that not all graphs are $i$-graph realizable, that is, given a target graph $H$, there does not necessarily exist a source graph $G$ such that $H$ is isomorphic to $\mathcal{I}(G)$. Examples of such graphs include $K_{4}-e$ and $K_{2,3}$. We build a series of tools to show that known $i$-graphs can be used to construct new $i$-graphs and apply these results to build other classes of $i$-graphs, such as block graphs, hypercubes, forests, cacti, and unicyclic graphs.
Enumeration of non-crossing partitions according to subwords with repeated letters
Published
• View Publication
• BIB
An avoidance pattern where the letters within an occurrence of which are required to be adjacent is referred to as a subword. In this paper, we enumerate members of the set NC_n of non-crossing partitions of length n according to the number of occurrences of several infinite families of subword patterns each containing repeated letters. As a consequence of our results, we obtain explicit generating function formulas counting the members of NC_n for n >= 0 according to all subword patterns of length three containing a repeated letter. Further, simple expressions are deduced for the total number of occurrences over all members of NC_n for the various families of patterns. Finally, combinatorial proofs can be given explaining three infinite families of subword equivalences over NC_n, which generalize the following equivalences: 211 = 221, 1211 = 1121 and 112 = 122.
Characterizations of the set of integer points in an integral bisubmodular polyhedron
Published
• View Publication
• BIB
In this note, we provide two characterizations of the set of integer points in an integral bisubmodular polyhedron. Our characterizations do not require the assumption that a given set satisfies the hole-freeness, i.e., the set of integer points in its convex hull coincides with the original set. One is a natural multiset generalization of the exchange axiom of a delta-matroid, and the other comes from the notion of the tangent cone of an integral bisubmodular polyhedron.
Hypergeometric identities related to Ruijsenaars systems
Published
• View Publication
• BIB
We present and prove hypergeometric identities which play a crucial role in the theory of Baxter operators in the Ruijsenaars model.
Trivial coloring of Cartesian product of graphs
A coloring of a direct product of graphs is said to be {\em trivial} iff it is induced by some coloring of a factor of the product. A graph $G$ is trivially power colorable iff every coloring of a finite power of $G$ with $χ(G)$-many colors is trivial.
Greenwell and Lovász proved that the finite complete graphs $K_n$ for $n\ge 3$ are trivially power colorable. Generalizing their result we define a much wider class of trivially power-colorable graphs: if $G$ is a finite, connected graph with $χ(G)\ge 3$ and every vertex of $G$ is in a clique of size $χ(G)$, then $G$ is trivially power-colorable.
As an application of this result, we give a complete characterization of trivially power-colorable cographs.
Finally, we give a structural description of the colorings of infinite powers of trivially power-colorable finite graphs.
Some techniques to find large lower bound trees for the radio number
For a simple finite connected graph $G$, let $diam(G)$ and $d_{G}(u,v)$ denote the diameter of $G$ and distance between $u$ and $v$ in $G$, respectively. A radio labeling of a graph $G$ is a mapping $f$ : $V(G) \rightarrow \{0, 1, 2,...\}$ such that $|f(u)-f(v)| \geq diam(G) + 1 - d_{G}(u,v)$ holds for every pair of distinct vertices $u,v$ of $G$. The radio number $rn(G)$ of $G$ is the smallest number $k$ such that $G$ has radio labeling $f$ with max$\{f(v):v \in V(G)\}$ = $k$. Bantva et al. gave a lower bound for the radio number of trees in [Lemma 3.1, Discrete Applied Math.,217(2017),110-122] and, a necessary and sufficient condition to achieve this lower bound in [Theorem 3.2, Discrete Applied Math.,217(2017),110-122]. Denote the lower bound for the radio number of trees given in [Lemma 3.1, Discrete Applied Math.,217(2017),110-122] by $lb(T)$. A tree $T$ is called a lower bound tree for the radio number if $rn(T)$ = $lb(T)$. In this paper, we construct some large lower bound trees for the radio number using known lower bound trees.
A characterization of orthogonal permutative matrices of order 4
Published in Linear Algebra and its Applications 654, 102-124 (2022)
• View Publication
• BIB
Orthogonal matrices which are linear combinations of permutation matrices have attracted enormous attention in quantum information and computation. In this paper, we provide a complete parametric characterization of all complex, real and rational orthogonal permutative matrices of order $4.$ We show that any such matrix can always be expressed as a linear combination of up to four permutation matrices. Finally we determine several matrix spaces generated by linearly independent permutation matrices such that any orthogonal matrix in these spaces is always permutative or direct sum of orthogonal permutative matrices up to permutation of its rows and columns.
Biclique immersions in graphs with independence number 2
Published in European Journal of Combinatorics, Volume 122, Article 104042, 2024
• View Publication
• BIB
The analogue of Hadwiger's conjecture for the immersion relation states that every graph $G$ contains an immersion of $K_{χ(G)}$. For graphs with independence number 2, this is equivalent to stating that every such $n$-vertex graph contains an immersion of $K_{\lceil n/2 \rceil}$. We show that every $n$-vertex graph with independence number 2 contains every complete bipartite graph on $\lceil n/2 \rceil$ vertices as an immersion.
A $k$-medoids Approach to Exploring Districting Plans
Researchers and legislators alike continue the search for methods of drawing fair districting plans. A districting plan is a partition of a state's subdivisions (e.g. counties, voting precincts, etc.). By modeling these districting plans as graphs, they are easier to create, store, and operate on. Since graph partitioning with balancing populations is a computationally intractable (NP-hard) problem most attempts to solve them use heuristic methods. In this paper, we present a variant on the $k$-medoids algorithm where, given a set of initial medoids, we find a partition of the graph's vertices to admit a districting plan. We first use the $k$-medoids process to find an initial districting plan, then use local search strategies to fine-tune the results, such as reducing population imbalances between districts. We also experiment with coarsening the graph to work with fewer vertices. The algorithm is tested on Iowa and Florida using 2010 census data to evaluate the effectiveness.