Showing 20 papers (Total: 83076 papers, 47999 authors in database)
Conant's generalised metric spaces are Ramsey
Published in Contributions to Discrete Mathematics, Vol. 16 No. 2 (2021), 46-70
• View Publication
• BIB
We give Ramsey expansions of classes of generalised metric spaces where distances come from a linearly ordered commutative monoid. This complements results of Conant about the extension property for partial automorphisms and extends an earlier result of the first and the last author giving the Ramsey property of convexly ordered $S$-metric spaces. Unlike Conant's approach, our analysis does not require the monoid to be semi-archimedean.
A poset $Φ_n$ whose maximal chains are in bijection with the $n \times n$ alternating sign matrices
Published
• View Publication
• BIB
For an integer $n\geq 1$, we display a poset $Φ_n$ whose maximal chains are in bijection with the $n\times n$ alternating sign matrices. The Hasse diagram $\widehat Φ_n$ is obtained from the $n$-cube by adding some edges. We show that the dihedral group $D_{2n}$ acts on $\widehat Φ_n$ as a group of automorphisms.
The Domination Equivalence Classes of Paths
A dominating set $S$ of a graph $G$ of order $n$ is a subset of the vertices of $G$ such that every vertex is either in $S$ or adjacent to a vertex of $S$. %The domination number $G$, denoted $γ(G)$, is the cardinality of the smallest dominating set of $G$. The domination polynomial is defined by $D(G,x) = \sum d(G,i)x^i$ where $d(G,i)$ is the number of dominating sets in $G$ with cardinality $i$. Two graphs $G$ and $H$ are considered $\mathcal{D}$-equivalent if $D(G,x)=D(H,x)$. The equivalence class of $G$, denoted $[G]$, is the set of all graphs $\mathcal{D}$-equivalent to $G$. Extending previous results, we determine the equivalence classes of all paths.
Distribution of descents in matchings
Published
• View Publication
• BIB
The distribution of descents in a fixed conjugacy class of $S_n$ is studied, and it is shown that its moments have an interesting property. A particular conjugacy class that is of interest is the class of matchings (also known as fixed point free involutions). This paper provides a bijective proof of the symmetry of the descents and major indices of matchings and uses a generating function approach to prove an asymptotic normality theorem for the number of descents in matchings.
Star coloring splitting graphs of cycles
A star coloring of a graph $G$ is a proper vertex coloring such that the subgraph induced by any pair of color classes is a star forest. The star chromatic number of $G$ is the minimum number of colors needed to star color $G$. In this paper we determine the star-chromatic number of the splitting graphs of cycles of length $n$ with $n \equiv 1 \pmod 3$ and $n=5$, resolving an open question of Furnmańczyk, Kowsalya, and Vernold Vivin.
Theta maps for combinatorial Hopf algebras
There is a very natural and well-behaved Hopf algebra morphism from quasisymmetric functions to peak algebra, which we call it Theta map. This paper focuses on generalizing the peak algebra by constructing generalized Theta maps for an arbitrary combinatorial Hopf algebra. The image of Theta maps lies in the odd Hopf subalgebras, so we present a strategy to find odd Hopf subalgebra of any combinatorial Hopf algebra. We also give a combinatorial description of a family of Theta maps for Malvenuto-Reutenauer Hopf algebra of permutations $\operatorname{\mathsf{\mathfrak{S}Sym}}$ whose images are generalizations of the peak algebra. We also indicate a criterion to check whether a map is a Theta map. Moreover, precise descriptions of the Theta maps for the following Hopf algebras will be presented, Hopf subalgebras of quasisymmetric functions, commutative and co-commutative Hopf algebras, and theta maps for a Hopf algebra $\mathcal{V}$ on permutations.
Vertex-flames in countable rooted digraphs preserving an Erdős-Menger separation for each vertex
It follows from a theorem of Lovász that if $ D $ is a finite digraph with $ r\in V(D) $ then there is a spanning subdigraph $ E $ of $ D $ such that for every vertex $ v\neq r $ the following quantities are equal: the local connectivity from $ r $ to $ v $ in $ D $, the local connectivity from $ r $ to $ v $ in $ E $ and the indegree of $ v $ in $ E $.
In infinite combinatorics cardinality is often an overly rough measure to obtain deep results and it is more fruitful to capture structural properties instead of just equalities between certain quantities. The best known example for such a result is the generalization of Menger's theorem to infinite digraphs. We generalize the result of Lovász above in this spirit. Our main result is that every countable $ r $-rooted digraph $ D $ has a spanning subdigraph $ E $ with the following property. For every $ v\neq r $, $ E $ contains a system $ \mathcal{R}_v $ of internally disjoint $ r\rightarrow v $ paths such that the ingoing edges of $ v $ in $ E $ are exactly the last edges of the paths in $ \mathcal{R}_v $. Furthermore, the path-system $ \mathcal{R}_v $ is `big' in $ D $ in the Erdős-Menger sense, i.e., one can choose from each path in $ \mathcal{R}_{v} $ either an edge or an internal vertex in such a way that a resulting set separates $ v $ from $ r $ in $ D $.
One-step Estimation of Networked Population Size: Respondent-Driven Capture-Recapture with Anonymity
Published
• View Publication
• BIB
Population size estimates for hidden and hard-to-reach populations are particularly important when members are known to suffer from disproportion health issues or to pose health risks to the larger ambient population in which they are embedded. Efforts to derive size estimates are often frustrated by a range of factors that preclude conventional survey strategies, including social stigma associated with group membership or members' involvement in illegal activities.
This paper extends prior research on the problem of network population size estimation, building on established survey/sampling methodologies commonly used with hard-to-reach groups. Three novel one-step, network-based population size estimators are presented, to be used in the context of uniform random sampling, respondent-driven sampling, and when networks exhibit significant clustering effects. Provably sufficient conditions for the consistency of these estimators (in large configuration networks) are given. Simulation experiments across a wide range of synthetic network topologies validate the performance of the estimators, which are seen to perform well on a real-world location-based social networking data set with significant clustering. Finally, the proposed schemes are extended to allow them to be used in settings where participant anonymity is required. Systematic experiments show favorable tradeoffs between anonymity guarantees and estimator performance.
Taken together, we demonstrate that reasonable population estimates can be derived from anonymous respondent driven samples of 250-750 individuals, within ambient populations of 5,000-40,000. The method thus represents a novel and cost-effective means for health planners and those agencies concerned with health and disease surveillance to estimate the size of hidden populations. Limitations and future work are discussed in the concluding section.
Real State Transfer
A continuous quantum walk on a graph $X$ with adjacency matrix $A$ is specified by the 1-parameter family of unitary matrices $U(t)=\exp(itA)$. These matrices act on the state space of a quantum system, the states of which we may represent by density matrices, positive semidefinite matrices with rows and columns indexed by $V(X)$ and with trace $1$. The square of the absolute values of the entries of a column of $U(t)$ define a probability density on $V(X)$, and it is precisely these densities that predict the outcomes of measurements. There are two special cases of physical interest: when the column density is supported on a vertex, and when it is uniform. In the first case we have perfect state transfer; in the second, uniform mixing.
There are many results concerning state transfer and uniform mixing. In this paper we show that these results on perfect state transfer hold largely because at the time it occurs, the density matrix is real. We also show that the results on uniform mixing obtained so far hold because the entries of the density matrix are algebraic numbers. As a consequence of these we derive strong restrictions on the occurence of uniform mixing on bipartite graphs and on oriented graphs.
Wilf-collapse in permutation classes having two basis elements of size three
We consider permutation classes having two basis elements of size three and one further basis element. We completely classify the possible enumeration sequences of such classes and demonstrate that there are far fewer of them than might be expected in principle.
Oriented Matroid Structures From Realized Root Systems
Published
• View Publication
• BIB
This paper investigates the question of uniqueness of the reduced oriented matroid structure arising from root systems of a Coxeter group in real vector spaces. We settle the question for finite Coxeter groups, irreducible affine Weyl groups and all rank three Coxeter groups. In these cases, the oriented matroid structure is unique unless $W$ is of type $\widetilde{A}_n, n\geq 3$, in which case there are three possibilities.
Classifying Fano Complexity-One $T$-Varieties via Divisorial Polytopes
Published in Manuscripta Mathematica 158(3) (2019) pp. 463-286
• View Publication
• BIB
The correspondence between Gorenstein Fano toric varieties and reflexive polytopes has been generalized by Ilten and Süß to a correspondence between Gorenstein Fano complexity-one $T$-varieties and Fano divisorial polytopes. Motivated by the finiteness of reflexive polytopes in fixed dimension, we show that over a fixed base polytope, there are only finitely many Fano divisorial polytopes, up to equivalence. We classify two-dimensional Fano divisorial polytopes, recovering Huggenberger's classification of Gorenstein del Pezzo $\mathbb{K}^*$-surfaces. Furthermore, we show that any three-dimensional Fano divisorial polytope is equivalent to one involving only eight functions.
VC-dimension of short Presburger formulas
Published
• View Publication
• BIB
We study VC-dimension of short formulas in Presburger Arithmetic, defined to have a bounded number of variables, quantifiers and atoms. We give both lower and upper bounds, which are tight up to a polynomial factor in the bit length of the formula.
An impossibility theorem for gerrymandering
Published
• View Publication
• BIB
The U.S. Supreme Court is currently deliberating over whether a proposed mathematical formula should be used to detect unconstitutional partisan gerrymandering. We show that in some cases, this formula will only flag bizarrely shaped districts as potentially constitutional.
Universal layered permutations
Published
• View Publication
• BIB
We establish an exact formula for the length of the shortest permutation containing all layered permutations of length $n$, proving a conjecture of Gray.
Recurrence sequences connected with the $m$--ary partition function and their divisibility properties
In this paper we introduce a class of sequences connected with the $m$--ary partition function and investigate their congruence properties. In particular, we get facts about the sequences of $m$--ary partitions $(b_{m}(n))_{m\in\mathbb{N}}$ and $m$--ary partitions with no gaps $(c_{m}(n))_{m\in\mathbb{N}}$. We prove, for example, that for any natural number $2<h\leq m+1$ in both sequences $(b_{m}(n))_{m\in\mathbb{N}}$ and $(c_{m}(n))_{m\in\mathbb{N}}$ any residue class modulo $h$ appears infinitely many times.
Moreover, we give new proofs of characterisations modulo $m$ in terms of base--$m$ representation of $n$ for sequences $(b_{m}(n))_{m\in\mathbb{N}}$ and $(c_{m}(n))_{m\in\mathbb{N}}$. We also present a general method of finding such characterisations modulo any power of $m$. Using our approach we get description of $(b_{m}(n)\mod{μ_{2}})_{n\in\mathbb{N}}$, where $μ_{2}=m^{2}$ if $m$ is odd and $μ_{2}=m^{2}/2$ if $m$ is even.
Critical ideals, minimum rank and zero forcing number
Published
• View Publication
• BIB
There are profound relations between the zero forcing number and minimum rank of a graph. We study the relation of both parameters with a third one, the algebraic co-rank; that is defined as the largest $i$ such that the $i$-th critical ideal is trivial. This gives a new perspective for bounding and computing these three graph parameters.
Structure of linear codes over the ring $B_k$
Published
• View Publication
• BIB
We study the structure of linear codes over the ring $B_k$ which is defined by $\mathbb{F}_{p^r}[v_1,v_2,\ldots,v_k]/\langle v_i^2=v_i,~v_iv_j=v_jv_i \rangle_{i,j=1}^k.$ In order to study the codes, we begin with studying the structure of the ring $B_k$ via a Gray map which also induces a relation between codes over $B_k$ and codes over $\mathbb{F}_{p^r}.$ We consider Euclidean and Hermitian self-dual codes, MacWilliams relations, as well as Singleton-type bounds for these codes. Further, we characterize cyclic and quasi-cyclic codes using their images under the Gray map, and give the generators for these type of codes.
Combinatorial and Asymptotical Results on the Neighborhood Grid
Published
• View Publication
• BIB
In various application fields, such as fluid-, cell-, or crowd-simulations, spatial data structures are very important. They answer nearest neighbor queries which are instrumental in performing necessary computations for, e.g., taking the next time step in the simulation. Correspondingly, various such data structures have been developed, one being the \emph{neighborhood grid}.
In this paper, we consider combinatorial aspects of this data structure. Particularly, we show that an assumption on uniqueness, made in previous works, is not actually satisfied. We extend the notions of the neighborhood grid to arbitrary grid sizes and dimensions and provide two alternative, correct versions of the proof that was broken by the dissatisfied assumption.
Furthermore, we explore both the uniqueness of certain states of the data structure as well as when the number of these states is maximized. We provide a partial classification by using the hook-length formula for rectangular Young tableaux. Finally, we conjecture how to extend this to all 2-dimensional cases.
Projection and Convolution Operations for Integrally Convex Functions
Published
• View Publication
• BIB
This paper considers projection and convolution operations for integrally convex functions, which constitute a fundamental function class in discrete convex analysis. It is shown that the class of integrally convex functions is stable under projection, and this is also the case with the subclasses of integrally convex functions satisfying local or global discrete midpoint convexity. As is known in the literature, the convolution of two integrally convex functions may possibly fail to be integrally convex. We show that the convolution of an integrally convex function with a separable convex function remains integrally convex. We also point out in terms of examples that the similar statement is false for integrally convex functions with local or global discrete midpoint convexity.