Showing 20 papers (Total: 83076 papers, 47999 authors in database)
Eberhard-type theorems with two kinds of polygons
Eberhard-type theorems are statements about the realizability of a polytope (or more general polyhedral maps) given the valency of its vertices and sizes of its polygonal faces up to a linear linear degree of freedom. We present new theorems of Eberhard-type where we allow adding two kinds of polygons and one type of vertices. We also hint towards a full classification of these types of results.
A plactic algebra action on bosonic particle configurations: The classical case
We study the plactic algebra and its action on bosonic particle configurations in the classical case. These particle configurations together with the action of the plactic generators can be identified with crystals of the quantum analogue of the symmetric tensor representations in type A. It turns out that this action factors over a quotient algebra that we call partic algebra, whose induced action on bosonic particle configurations is faithful. We describe a basis of the partic algebra explicitly in terms of a normal form for monomials, and we compute the center of the partic algebra.
Recursion relations for chromatic coefficients for graphs and hypergraphs
Published in Discussiones Mathematicae Graph Theory 42(1) (2022) 101-121
• View Publication
• BIB
We establish a set of recursion relations for the coefficients in the chromatic polynomial of a graph or a hypergraph. As an application we provide a generalization of Whitney's broken cycle theorem for hypergraphs, as well as deriving an explicit formula for the linear coefficient of the chromatic polynomial of the $r$-complete hypergraph in terms of roots of the Taylor polynomials for the exponential function.
Combinatorics of $(q,y)$-Laguerre polynomials and their moments
We consider a $(q,y)$-analogue of Laguerre polynomials $L^{(α)}_n(x;y;q)$ for integral $α\geq -1$, which turns out to be a rescaled version of Al-Salam--Chihara polynomials. A combinatorial interpretation for the $(q,y)$-Laguerre polynomials is given using a colored version of Foata-Strehl's Laguerre configurations with suitable statistics. When $α\geq 0$, the corresponding moments are described using certain classical statistics on permutations, and the linearization coefficients are proved to be a polynomial in $y$ and $q$ with nonnegative integral coefficients.
Clique-Width for Hereditary Graph Classes
Published in London Mathematical Society Lecture Note Series 456 (2019): 1-56
• View Publication
• BIB
Clique-width is a well-studied graph parameter owing to its use in understanding algorithmic tractability: if the clique-width of a graph class ${\cal G}$ is bounded by a constant, a wide range of problems that are NP-complete in general can be shown to be polynomial-time solvable on ${\cal G}$. For this reason, the boundedness or unboundedness of clique-width has been investigated and determined for many graph classes. We survey these results for hereditary graph classes, which are the graph classes closed under taking induced subgraphs. We then discuss the algorithmic consequences of these results, in particular for the Colouring and Graph Isomorphism problems. We also explain a possible strong connection between results on boundedness of clique-width and on well-quasi-orderability by the induced subgraph relation for hereditary graph classes.
The planar Cayley graphs are effectively enumerable II
We show that a group admits a planar, finitely generated Cayley graph if and only if it admits a special kind of group presentation we introduce, called a planar presentation. Planar presentations can be recognised algorithmically. As a consequence, we obtain an effective enumeration of the planar Cayley graphs, yielding in particular an affirmative answer to a question of Droms et al. asking whether the planar groups can be effectively enumerated.
$H$-games played on vertex sets of random graphs
We introduce a new type of positional games, played on a vertex set of a graph. Given a graph $G$, two players claim vertices of $G$, where the outcome of the game is determined by the subgraphs of $G$ induced by the vertices claimed by each player (or by one of them). We study classical positional games such as Maker-Breaker, Avoider-Enforcer, Waiter-Client and Client-Waiter games, where the board of the game is the vertex set of the binomial random graph $G\sim G(n,p)$. Under these settings, we consider those games where the target sets are the vertex sets of all graphs containing a copy of a fixed graph $H$, called $H$-games, and focus on those cases where $H$ is a clique or a cycle. We show that, similarly to the edge version of $H$-games, there is a strong connection between the threshold probability for these games and the one for the corresponding vertex Ramsey property (that is, the property that every $r$-vertex-coloring of $G(n,p)$ spans a monochromatic copy of $H$). Another similarity to the edge version of these games we demonstrate, is that the games in which $H$ is a triangle or a forest present a different behavior compared to the general case.
On Radio Number of Stacked-Book Graphs
A Stacked-book graph $G_{m,n}$ results from the Cartesian product of a star graph $S_m$ and path $P_n$, where $m$ and $n$ are the orders of $S_m$ and $P_n$ respectively. A radio labeling problem of a simple and connected graph, $G$, involves a non-negative integer function $f:V(G)\rightarrow \mathbb Z^+$ on the vertex set $V(G)$ of G, such that for all $u,v \in V(G)$, $|f(u)-f(v)| \geq \textmd{diam}(G)+1-d(u,v)$, where $\textmd {diam}(G)$ is the diameter of $G$ and $d(u,v)$ is the shortest distance between $u$ and $v$. Suppose that $f_{min}$ and $f_{max}$ are the respective least and largest values of $f$ on $V(G)$, then, span$f$, the absolute difference of $f_{min}$ and $f_{max}$, is the span of $f$ while the radio number $rn(G)$ of $G$ is the least value of span$f$ over all the possible radio labels on $V(G)$. In this paper, we obtain the radio number for the stacked-book graph $G_{m,n}$ where $m \geq 4$ and $n$ is even, and obtain bounds for $m=3$ which improves existing upper and lower bounds for $G_{m,n}$ where $m=3$.
A characterization of distance matrices of weighted cubic graphs and Peterson graphs
Given a positive-weighted simple connected graph with $m$ vertices, labelled by the numbers $1,\ldots,m$, we can construct an $m \times m$ matrix whose entry $(i,j)$, for any $i,j\in\{1,\dots,m\}$, is the minimal weight of a path between $i$ and $j$, where the weight of a path is the sum of the weights of its edges. Such a matrix is called the distance matrix of the weighted graph. There is wide literature about distance matrices of weighted graphs. In this paper we characterize distance matrices of positive-weighted $n$-hypercube graphs. Moreover we show that a connected bipartite $n$-regular graph with order $2^n$ is not necessarily the $n$-hypercube graph. Finally we give a characterization of distance matrices of positive-weighted Petersen graphs.
Persistent homology of unweighted complex networks via discrete Morse theory
Published in Scientific Reports, 9-13817 (2019)
• View Publication
• BIB
Topological data analysis can reveal higher-order structure beyond pairwise connections between vertices in complex networks. We present a new method based on discrete Morse theory to study topological properties of unweighted and undirected networks using persistent homology. Leveraging on the features of discrete Morse theory, our method not only captures the topology of the clique complex of such graphs via the concept of critical simplices, but also achieves close to the theoretical minimum number of critical simplices in several analyzed model and real networks. This leads to a reduced filtration scheme based on the subsequence of the corresponding critical weights, thereby leading to a significant increase in computational efficiency. We have employed our filtration scheme to explore the persistent homology of several model and real-world networks. In particular, we show that our method can detect differences in the higher-order structure of networks, and the corresponding persistence diagrams can be used to distinguish between different model networks. In summary, our method based on discrete Morse theory further increases the applicability of persistent homology to investigate the global topology of complex networks.
The capacity of feedforward neural networks
A long standing open problem in the theory of neural networks is the development of quantitative methods to estimate and compare the capabilities of different architectures. Here we define the capacity of an architecture by the binary logarithm of the number of functions it can compute, as the synaptic weights are varied. The capacity provides an upper bound on the number of bits that can be extracted from the training data and stored in the architecture during learning. We study the capacity of layered, fully-connected, architectures of linear threshold neurons with $L$ layers of size $n_1,n_2, \ldots, n_L$ and show that in essence the capacity is given by a cubic polynomial in the layer sizes: $C(n_1,\ldots, n_L)=\sum_{k=1}^{L-1} \min(n_1,\ldots,n_k)n_kn_{k+1}$, where layers that are smaller than all previous layers act as bottlenecks. In proving the main result, we also develop new techniques (multiplexing, enrichment, and stacking) as well as new bounds on the capacity of finite sets. We use the main result to identify architectures with maximal or minimal capacity under a number of natural constraints. This leads to the notion of structural regularization for deep architectures. While in general, everything else being equal, shallow networks compute more functions than deep networks, the functions computed by deep networks are more regular and "interesting".
Stability of characters and filters for weighted semilattices
Published in Semigroup Forum 102 (2021), no. 1, 86-103
• View Publication
• BIB
We continue the study of the AMNM property for weighted semilattices that was initiated in [Y. Choi, J. Austral. Math. Soc. 95 (2013), no. 1, 36-67; arXiv 1203.6691]. We reformulate this in terms of stability of filters with respect to a given weight function, and then provide a combinatorial condition which is necessary and sufficient for this "filter stability" property to hold. Examples are given to show that this new condition allows for easier and unified proofs of some results in [Choi, ibid.], and furthermore allows us to verify the AMNM property in situations not covered by the results of that paper. As a final application, we show that for a large class of semilattices, arising naturally as union-closed set systems, one can always construct weights for which the AMNM property fails.
Arc-transitive graphs of valency twice a prime admit a semiregular automorphism
We prove that every finite arc-transitive graph of valency twice a prime admits a nontrivial semiregular automorphism, that is, a non-identity automorphism whose cycles all have the same length. This is a special case of the Polycirculant Conjecture, which states that all finite vertex-transitive digraphs admit such automorphisms.
Analogs of Schur functions for rank two Weyl groups obtained from grid-like posets
In prior work, the authors, along with M. McClard, R. A. Proctor, and N. J. Wildberger, studied certain distributive lattice models for the `Weyl bialternants' (aka `Weyl characters') associated with the rank two root systems/Weyl groups. These distributive lattices were uniformly described as lattices of order ideals taken from certain grid-like posets, although the arguments connecting the lattices to Weyl bialternants were case-by-case depending on the type of the rank two root system. Using this connection with Weyl bialternants, these lattices were shown to be rank symmetric and rank unimodal, and their rank generating functions were shown to have beautiful quotient-of-products expressions. Here, these results are re-derived from scratch using completely uniform and elementary combinatorial reasoning in conjunction with some combinatorial methodology developed elsewhere by the second listed author.
Is the Symmetric Group Sperner?
An antichain $\mathcal{A}$ in a poset $\mathcal{P}$ is a subset of $\mathcal{P}$ in which no two elements are comparable. Sperner showed that the maximal antichain in the Boolean lattice, $\mathcal{B}_n = \left\{ 0 < 1 \right\}^n$, is the largest rank (of size $\binom{n}{\lfloor n/2 \rfloor}$). This type of problem has been since generalized, and a graded poset $\mathcal{P}$ is said to be Sperner if the largest rank of $\mathcal{P}$ is its maximal antichain. In this paper, we will show that the symmetric group $S_n$, partially ordered by refinement (or equivalently by absolute order), is Sperner.
Choosability in bounded sequential list coloring
The list coloring problem is a variation of the classical vertex coloring problem, extensively studied in recent years, where each vertex has a restricted list of allowed colors, and having some variations as the $(γ,μ)$-coloring, where the color lists have sequential values with known lower and upper bounds. This work discusses the choosability property, that consists in determining the least number $k$ for which it has a proper list coloring no matter how one assigns a list of $k$ colors to each vertex. This is a $Π_2^P$-complete problem, however, we show that $k$-$(γ,μ)$-choosability is an $NP$-problem due to its relation with the $k$-coloring of a graph and application of methods of proof in choosability for some classes of graphs, such as complete bipartite graph, which is $ 3 $-choosable, but $ 2 $-$(γ,μ)$-choosable.
On vertex-induced weighted Turán problems
Recently, Bennett et al. introduced the vertex-induced weighted Turán problem. In this paper, we consider their open Turán problem under sum-edge-weight function and characterize the extremal structure of $K_{l}$-free graphs. Based on these results, we propose a generalized version of the Erdős-Stone theorem for weighted graphs under two types of vertex-induced weight functions.
The Facets of the Subtours Elimination Polytope
Let $G=(V, E)$ be an undirected graph. The subtours elimination polytope $P(G)$ is the set of $x\in \mathbb{R}^E$ such that: $0\leq x(e)\leq 1$ for any edge $e\in E$, $x(δ(v))=2$ for any vertex $v\in V$, and $x(δ(U))\geq 2$ for any nonempty and proper subset $U$ of $V$. $P(G)$ is a relaxation of the Traveling Salesman Polytope, i.e., the convex hull of the Hamiton circuits of $G$. Maurras \cite{Maurras 1975} and Grötschel and Padberg \cite{Grotschel and Padberg 1979b} characterize the facets of $P(G)$ when $G$ is a complete graph. In this paper we generalize their result by giving a minimal description of $P(G)$ in the general case and by presenting a short proof of it.
Cohen-Lenstra distributions via random matrices over complete discrete valuation rings with finite residue fields
Let $(R, \mathfrak{m})$ be a complete discrete valuation ring with the finite residue field $R/\mathfrak{m} = \mathbb{F}_{q}$. Given a monic polynomial $P(t) \in R[t]$ whose reduction modulo $\mathfrak{m}$ gives an irreducible polynomial $\bar{P}(t) \in \mathbb{F}_{q}[t]$, we initiate the investigation of the distribution of $\mathrm{coker}(P(A))$, where $A \in \mathrm{Mat}_{n}(R)$ is randomly chosen with respect to the Haar probability measure on the additive group $\mathrm{Mat}_{n}(R)$ of $n \times n$ $R$-matrices. One of our main results generalizes two results of Friedman and Washington. Our other results are related to the distribution of the $\bar{P}$-part of a random matrix $\bar{A} \in \mathrm{Mat}_{n}(\mathbb{F}_{q})$ with respect to the uniform distribution, and one of them generalizes a result of Fulman. We heuristically relate our results to a celebrated conjecture of Cohen and Lenstra, which predicts that given an odd prime $p$, any finite abelian $p$-group (i.e., $\mathbb{Z}_{p}$-module) $H$ occurs as the $p$-part of the class group of a random imaginary quadratic field extension of $\mathbb{Q}$ with a probability inversely proportional to $|\mathrm{Aut}_{\mathbb{Z}}(H)|$. We review three different heuristics for the conjecture of Cohen and Lenstra, and they are all related to special cases of our main conjecture, which we prove as our main theorems. For proofs, we use some concrete combinatorial connections between $\mathrm{Mat}_{n}(R)$ and $\mathrm{Mat}_{n}(\mathbb{F}_{q})$ to translate our problems about a Haar-random matrix in $\mathrm{Mat}_{n}(R)$ into problems about a random matrix in $\mathrm{Mat}_{n}(\mathbb{F}_{q})$ with respect to the uniform distribution.
Logarithms of a binomial series: A Stirling number approach
The $p$-th power of the logarithm of the Catalan generating function is computed using the Stirling cycle numbers. Instead of Stirling numbers, one may write this generating function in terms of higher order harmonic numbers.