Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Oriented Hypergraphs: Balanceability
Published
• View Publication
• BIB
An oriented hypergraph is an oriented incidence structure that extends the concepts of signed graphs, balanced hypergraphs, and balanced matrices. We introduce hypergraphic structures and techniques that generalize the circuit classification of the signed graphic frame matroid to any oriented hypergraphic incidence matrix via its locally-signed-graphic substructure. To achieve this, Camion's algorithm is applied to oriented hypergraphs to provide a generalization of reorientation sets and frustration that is only well-defined on balanceable oriented hypergraphs. A simple partial characterization of unbalanceable circuits extends the applications to representable matroids demonstrating that the difference between the Fano and non-Fano matroids is one of balance.
When are multidegrees positive?
Published
• View Publication
• BIB
Let $k$ be an arbitrary field, $P = P_k^{m_1} \times_k \cdots \times_k P_k^{m_p}$ be a multiprojective space over $k$, and $X \subseteq P$ be a closed subscheme of $P$. We provide necessary and sufficient conditions for the positivity of the multidegrees of $X$. As a consequence of our methods, we show that when $X$ is irreducible, the support of multidegrees forms a discrete algebraic polymatroid. In algebraic terms, we characterize the positivity of the mixed multiplicities of a standard multigraded algebra over an Artinian local ring, and we apply this to the positivity of mixed multiplicities of ideals. Furthermore, we use our results to recover several results in the literature in the context of combinatorial algebraic geometry.
Zero-sum squares in bounded discrepancy {-1,1}-matrices
For $n\ge 5$, we prove that every $n\times n$ matrix $M=(a_{i,j})$ with entries in $\{-1,1\}$ and absolute discrepancy $|\mathrm{disc}(M)|=|\sum a_{i,j}|\le n$ contains a zero-sum square except for the split matrix (up to symmetries). Here, a square is a $2\times 2$ sub-matrix of $M$ with entries $a_{i,j}, a_{i+s,s}, a_{i,j+s}, a_{i+s,j+s}$ for some $s\ge 1$, and a split matrix is a matrix with all entries above the diagonal equal to $-1$ and all remaining entries equal to $1$. In particular, we show that for $n\ge 5$ every zero-sum $n\times n$ matrix with entries in $\{-1,1\}$ contains a zero-sum square.
Plateaux on generalized Stirling permutations and partial $γ$-positivity
We prove that the enumerative polynomials of generalized Stirling permutations by the statistics of plateaux, descents and ascents are partial $γ$-positive. Specialization of our result to the Jacobi-Stirling permutations confirms a recent partial $γ$-positivity conjecture due to Ma, Yeh and the second named author. Our partial $γ$-positivity expansion, as well as a combinatorial interpretation for the corresponding $γ$-coefficients, are obtained via the machine of context-free grammars and a group action on generalized Stirling permutations. Besides, we also provide an alternative approach to the partial $γ$-positivity from the stability of certain multivariate polynomials.
One-sided version of Gale-Shapley proposal algorithm and its likely behavior under random preferences
Published
• View Publication
• BIB
For a two-sided ($n$ men/$n$ women) stable matching problem) Gale and Shapley studied a proposal algorithm (men propose/women select, or the other way around), that determines a matching, not blocked by any unmatched pair. Irving used this algorithm as a first phase of his algorithm for one-sided (stable roommates) matching problem with $n$ agents. We analyze a fully extended version of Irving's proposal algorithm that runs all the way until either each agent holds a proposal or an agent gets rejected by everybody on the agent's preference list. It is shown that the terminal, directed, partnerships form a stable permutation with matched pairs remaining matched in any other stable permutation. A likely behavior of the proposal algorithm is studied under assumption that all $n$ rankings are independently uniform. It is proved that with high probability (w.h.p.) every agent has a partner, and that both the number of agents in cycles of length $\ge 3$ and the total number of stable matchings are bounded in probability. W.h.p. the total number of proposals is asymptotic to $0.5 n^{3/2}$.
The maximum crossing number of $C_3 \times C_3$
We determine that the maximum crossing number of $C_3 \times C_3$ is 78, which closes the previously best known range of between 68 and 80. The proof uses several techniques which may be useful in determining the maximum crossing number of other graphs.
Bonnet-Myers sharp graphs of diameter three
Regular graphs which are Bonnet-Myers sharp (in the sense of Ollivier Ricci curvature) and self-centered have been completely classified, and it is a natural question whether the condition of self-centeredness can be removed in the classification. We prove that this condition is indeed not necessary in the special case of Bonnet-Myers sharp graphs of diameter 3.
Minimum number of edges of polytopes with 2d + 2 vertices
Published
• View Publication
• BIB
We define an analogue of the cube and an analogue of the 5-wedge in higher dimensions, each with $2d+2$ vertices and $d^2+2d-3$ edges. We show that these two are the only minimisers of the number of edges, amongst d-polytopes with $2d+2$ vertices, for all $d$ except 4, 5 and 7. We also show that there are four sporadic minimisers in these low dimensions. We announce a partial solution to the corresponding problem for polytopes with $2d + 3$ vertices.
The Interval function, Ptolemaic, distance hereditary, bridged graphs and axiomatic characterizations
In this paper we consider certain types of betweenness axioms on the interval function $I_G$ of a connected graph $G$. We characterize the class of graphs for which $I_G$ satisfy these axioms. The class of graphs that we characterize include the important class of Ptolemaic graphs and some proper superclasses of Ptolemaic graphs: the distance hereditary graphs and the bridged graphs. We also provide axiomatic characterizations of the interval function of these classes of graphs using an arbitrary function known as \emph{transit function}.
The maximum and minimum genus of a multibranched surface
Published
• View Publication
• BIB
In this paper, we give a lower bound for the maximum and minimum genus of a multibranched surface by the first Betti number and the minimum and maximum genus of the boundary of the neighborhood of it, respectively. As its application, we show that the maximum and minimum genus of $G\times S^1$ is equal to twice of the maximum and minimum genus of $G$ for a graph $G$, respectively. This provides an interplay between graph theory and 3-manifold theory.
Expected number of pattern and submap occurrences in random planar maps
Drmota and Stufler proved recently that the expected number of pattern occurrences of a given map is asymptotically linear when the number of edges goes to infinity. In this paper we improve their result by means of a different method. Our method allows us to develop a systematic way for computing the explicit constant of the linear (main) term and shows that it is a positive rational number. Moreover, by extending our method, we also solve the corresponding problem of submap occurrences.
The characteristic polynomial of agraph containing loops
Published in Discrete Appl. Math., 300 (2021), 97-106
• View Publication
• BIB
In this article, we focus on the characteristic polynomial of a graph containingloops, but without multiple edges. We present a relationship between thecharacteristic polynomial of a graph with loops and the graph obtained byremoving all the loops. In turn, we compute the characteristic polynomial ofunitary addition Cayley graphs.
Remarks on the structure of simple drawings of $K_n$
In studying properties of simple drawings of the complete graph in the sphere, two natural questions arose for us: can an edge have multiple segments on the boundary of the same face? and is each face the intersection of sides of 3-cycles? The second is asserted to be obvious in two previously published articles, but when asked, authors of both papers were unable to provide a proof. We present a proof. The first is quite easily proved and the technique yields a third, even simpler, fact: no three edges at a vertex all have internal points incident with the same face.
Minimizing the alphabet size of erasure codes with restricted decoding sets
Published
• View Publication
• BIB
A Maximum Distance Separable code over an alphabet $F$ is defined via an encoding function $C:F^k \rightarrow F^n$ that allows to retrieve a message $m \in F^k$ from the codeword $C(m)$ even after erasing any $n-k$ of its symbols. The minimum possible alphabet size of general (non-linear) MDS codes for given parameters $n$ and $k$ is unknown and forms one of the central open problems in coding theory. The paper initiates the study of the alphabet size of codes in a generalized setting where the coding scheme is required to handle a pre-specified subset of all possible erasure patterns, naturally represented by an $n$-vertex $k$-uniform hypergraph. We relate the minimum possible alphabet size of such codes to the strong chromatic number of the hypergraph and analyze the tightness of the obtained bounds for both the linear and non-linear settings. We further consider variations of the problem which allow a small probability of decoding error.
Tight bounds for Katona's shadow intersection theorem
Published
• View Publication
• BIB
A fundamental result in extremal set theory is Katona's shadow intersection theorem, which extends the Kruskal-Katona theorem by giving a lower bound on the size of the shadow of an intersecting family of $k$-sets in terms of its size. We improve this classical result and a related result of Ahlswede, Aydinian, and Khachatrian by proving tight bounds for families that can be quite small. For example, when $k=3$ our result is sharp for all families with $n$ points and at least $3n-7$ triples.
Katona's theorem was extended by Frankl to families with matching number $s$. We improve Frankl's result by giving tight bounds for large $n$.
On $t$-core and self-conjugate $(2t-1)$-core partitions in arithmetic progressions
Published
• View Publication
• BIB
We extend recent results of Ono and Raji, relating the number of self-conjugate $7$-core partitions to Hurwitz class numbers. Furthermore, we give a combinatorial explanation for the curious equality $2\operatorname{sc}_7(8n+1) = \operatorname{c}_4(7n+2)$. We also conjecture that an equality of this shape holds if and only if $t=4$, proving the cases $t\in\{2,3,5\}$ and giving partial results for $t>5$.
Phase transition in cohomology groups of non-uniform random simplicial complexes
Published
• View Publication
• BIB
We consider a generalised model of a random simplicial complex, which arises from a random hypergraph. Our model is generated by taking the downward-closure of a non-uniform binomial random hypergraph, in which for each $k$, each set of $k+1$ vertices forms an edge with some probability $p_k$ independently. As a special case, this contains an extensively studied model of a (uniform) random simplicial complex, introduced by Meshulam and Wallach [Random Structures & Algorithms 34 (2009), no. 3, pp. 408-417].
We consider a higher-dimensional notion of connectedness on this new model according to the vanishing of cohomology groups over an arbitrary abelian group $R$. We prove that this notion of connectedness displays a phase transition and determine the threshold. We also prove a hitting time result for a natural process interpretation, in which simplices and their downward-closure are added one by one. In addition, we determine the asymptotic behaviour of cohomology groups inside the critical window around the time of the phase transition.
A convex programming approach to solve posynomial systems
Published
• View Publication
• BIB
We exhibit a class of classical or tropical posynomial systems which can be solved by reduction to linear or convex programming problems. This relies on a notion of colorful vectors with respect to a collection of Newton polytopes. This extends the convex programming approach of one player stochastic games.
The Model-Specific Markov Embedding Problem for Symmetric Group-Based Models
Published
• View Publication
• BIB
We study model embeddability, which is a variation of the famous embedding problem in probability theory, when apart from the requirement that the Markov matrix is the matrix exponential of a rate matrix, we additionally ask that the rate matrix follows the model structure. We provide a characterisation of model embeddable Markov matrices corresponding to symmetric group-based phylogenetic models. In particular, we provide necessary and sufficient conditions in terms of the eigenvalues of symmetric group-based matrices. To showcase our main result on model embeddability, we provide an application to hachimoji models, which are eight-state models for synthetic DNA. Moreover, our main result on model embeddability enables us to compute the volume of the set of model embeddable Markov matrices relative to the volume of other relevant sets of Markov matrices within the model.
Promotion Sorting
Published
• View Publication
• BIB
Schützenberger's promotion operator is an extensively-studied bijection that permutes the linear extensions of a finite poset. We introduce a natural extension $\partial$ of this operator that acts on all labelings of a poset. We prove several properties of $\partial$; in particular, we show that for every labeling $L$ of an $n$-element poset $P$, the labeling $\partial^{n-1}(L)$ is a linear extension of $P$. Thus, we can view the dynamical system defined by $\partial$ as a sorting procedure that sorts labelings into linear extensions. For all $0\leq k\leq n-1$, we characterize the $n$-element posets $P$ that admit labelings that require at least $n-k-1$ iterations of $\partial$ in order to become linear extensions. The case in which $k=0$ concerns labelings that require the maximum possible number of iterations in order to be sorted; we call these labelings tangled. We explicitly enumerate tangled labelings for a large class of posets that we call inflated rooted forest posets. For an arbitrary finite poset, we show how to enumerate the sortable labelings, which are the labelings $L$ such that $\partial(L)$ is a linear extension.