Showing 20 papers (Total: 84285 papers, 48548 authors in database)
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.
The Dimension of Eigenvariety of Nonnegative Tensors Associated with Spectral Radius
Published
• View Publication
• BIB
For a nonnegative weakly irreducible tensor, its spectral radius is an eigenvalue corresponding to a unique positive eigenvector up to a scalar called the Perron vector. But including the Perron vector, it may have more than one eigenvector corresponding to the spectral radius. The projective eigenvariety associated with the spectral radius is the set of the eigenvectors corresponding to the spectral radius considered in the complex projective space. In this paper we prove that the dimension of the above projective eigenvariety is zero, i.e. there are finite many eigenvectors associated with the spectral radius up to a scalar. For a general nonnegative tensor, we characterize the nonnegative combinatorially symmetric tensor for which the dimension of projective eigenvariety associated with spectral radius is greater than zero. Finally we apply those results to the adjacency tensors of uniform hypergraphs.
The Overfull Conjecture on Split-Comparability Graphs
We show in this paper that a split-comparability graph $G$ has chromatic index equal to $Δ(G) + 1$ if and only if $G$ is neighborhood-overfull. That implies the validity of the Overfull Conjecture for the class of split-comparability graphs.
On Louchard's Asymptotic Series
Recently G. Louchard obtained an asymptotic series $\sum_{j=0}^\infty\frac{I_j}{n^j}$ for the integral $\int_0^1[x^n+(1-x)^n]^{\frac1n}dx$ as $n\to\infty$, and computed $I_j$ for $j\le 5$ in terms of values of the Riemann zeta function. An interesting feature of the computation is that the $I_j$ are first obtained in terms of alternating multiple zeta values, but then everything except products of ordinary zeta values cancels out. We obtain similar formulas for $I_n$, $6\le n\le 9$, and conjecture a general formula for $I_n$ in terms of alternating multiple zeta values. We also conjecture that $I_n$ is a rational polynomial in the ordinary zeta values.
321-avoiding affine permutations and their many heaps
Published
• View Publication
• BIB
We study $321$-avoiding affine permutations, and prove a formula for their enumeration with respect to the inversion number by using a combinatorial approach. This is done in two different ways, both related to Viennot's theory of heaps. First, we encode these permutations using certain heaps of monomers and dimers. This method specializes to the case of affine involutions. For the second proof, we introduce periodic parallelogram polyominoes, which are new combinatorial objects of independent interest. We enumerate them by extending the approach of Bousquet-Mélou and Viennot used for classical parallelogram polyominoes. We finally establish a connection between these new objects and $321$-avoiding affine permutations.
Near-misses in Wilf's conjecture
Published
• View Publication
• BIB
Let S $\subseteq$ N be a numerical semigroup with multiplicity m, conductor c and minimal generating set P. Let L = S $\cap$ [0, c -- 1] and W(S) = |P||L| -- c. In 1978, Herbert Wilf asked whether W(S) $\ge$ 0 always holds, a question known as Wilf's conjecture and open since then. A related number W0(S), satisfying W0(S) $\le$ W(S), has recently been introduced. We say that S is a near-miss in Wilf's conjecture if W0(S) < 0. Near-misses are very rare. Here we construct infinite families of them, with c = 4m and W0(S) arbitrarily small, and we show that the members of these families still satisfy Wilf's conjecture.