Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Salvetti complexes for conditional oriented matroids
We give a new proof of the fact that the complement of the complexification of a real hyperplane arrangement is homotopy equivalent to the Salvetti complex of the associated oriented matroid. Our proof involves no choices, is relatively easy to visualize, and generalizes to the setting of conditional oriented matroids.
Hypergraphs without complete partite subgraphs
Published
• View Publication
• BIB
Fix integers $r \ge 2$ and $1\le s_1\le \cdots \le s_{r-1}\le t$ and set $s=\prod_{i=1}^{r-1}s_i$. Let $K=K(s_1, \ldots, s_{r-1}, t)$ denote the complete $r$-partite $r$-uniform hypergraph with parts of size $s_1, \ldots, s_{r-1}, t$. We prove that the Zarankiewicz number $z(n, K)= n^{r-1/s-o(1)}$ provided $t> 3^{s+o(s)}$. Previously this was known only for $t > ((r-1)(s-1))!$ due to Pohoata and Zakharov. Our novel approach, which uses Behrend's construction of sets with no 3 term arithmetic progression, also applies for small values of $s_i$, for example, it gives $z(n, K(2,2,7))=n^{11/4-o(1)}$ where the exponent 11/4 is optimal, whereas previously this was only known with 7 replaced by 721.
The trigonal construction and the second moment of the tropical Prym variety
We use the tropical trigonal construction to calculate the second moment of the tropical Prym variety of all double covers $π:\widetildeΓ\to Γ$ of tropical curves of genus $g(Γ)\leq 4$. The answer is expressed in terms of the signed graphic matroid of the double cover and consists a polynomial and piecewise-polynomial term. We relate the latter term, which does not occur in the analogous formula for the tropical Jacobian, to the problem of extending the Prym--Torelli map from the moduli space of admissible double covers to the second Voronoi compactification of the moduli space of principally polarized abelian varieties.
Metrics on Permutation Families Defined by a Restriction Graph
Understanding the metric structure of permutation families is fundamental to combinatorics and has applications in social choice theory, bioinformatics, and coding theory. We study permutation families defined by restriction graphs--oriented graphs that constrain the relative order of elements in valid permutations. For any restriction graph $G$, we determine the maximum distance achievable by two permutations under the $\ell_\infty$-metric and provide an explicit algorithm that constructs optimal permutation pairs. Our main contribution characterizes when the Kendall-Tau metric achieves its combinatorial upper bound: this occurs if and only if the poset induced by $G$ has dimension at most 2. When this condition holds, the extremal permutations form a minimal realizer of the poset, revealing a deep connection between metric geometry and poset dimension theory. We apply these results to classical permutation statistics including descent sets and Hessenberg varieties, obtaining explicit formulas and efficient algorithms for computing metric diameters.
Mixed Segre zeta functions and their log-concavity
We introduce and study the mixed Segre zeta function of a sequence of homogeneous ideals in a polynomial ring. This function is a power series encoding information about the mixed Segre classes obtained by extending the ideals to projective spaces of arbitrarily large dimension. Our work generalizes and unifies results by Kleiman and Thorup on mixed Segre classes and by Aluffi on Segre zeta functions. We prove that this power series is rational, with poles corresponding to the degrees of the generators of the ideals. We also show that the mixed Segre zeta function only depends on the integral closure of the ideals. Finally, we prove that the homogenization of the numerator of a modification of the mixed Segre zeta function is denormalized Lorentzian in the sense of Brändén and Huh.
Binomiality of colored Gaussian models
Published
• View Publication
• BIB
Following earlier work by Coons-Maraj-Misra-Sorea and Misra-Sullivant, we study colored, undirected Gaussian graphical models, and present a necessary and sufficient condition for such a model to have binomial vanishing ideal. These conditions involve Jordan schemes, a variant of association schemes, well-known structures in algebraic combinatorics. Using association schemes without transitive group action, we refute the conjecture by Coons-Maraj-Misra-Sorea that binomiality implies that the color classes must be orbits under the automorphism group of the colored graph.
$q$-Congruences for Z.-W. Sun's generalized polynomials $w^{(α)}_k(x)$
Published
• View Publication
• BIB
In 2022, Z.-W. Sun defined \begin{equation*} w_k^{(α)}{(x)}=\sum_{j=1}^{k}w(k,j)^αx^{j-1}, \end{equation*} where $k,α$ are positive integers and $w(k,j)=\frac{1}{j}\binom{k-1}{j-1}\binom{k+j}{j-1}$. Let $(x)_{0}=1$ and $(x)_{n}=x(x+1)\cdots(x+n-1)$ for all $n\geq 1$. In this paper, it is proved by $q$-congruences that for any positive integers ${α,β, m,n,r}$, we have \begin{equation*} \frac{(2,n)}{n(n+1)(n+2)}\sum_{k=1}^{n}k^r(k+1)^r(2k+1)w_{k}^{(α)}(x)^{m}\in\mathbb{Z}[x], \end{equation*} \begin{equation*} \frac{(2,n)}{n(n+1)(n+2)}\sum_{k=1}^{n}(-1)^{k}k^r(k+1)^r(2k+1) w_{k}^{(α)}(x)^{m}\in\mathbb{Z}[x], \end{equation*} and \begin{equation*} \frac{2}{[n,n+1,\cdots,n+2β+1]}\sum_{k=1}^{n}(k)_β^r(k+β+1)_β^r(k+β) \prod_{i=0}^{2β-1}w_{k+i}^{(α)}(x)^m\in\mathbb{Z}[x], \end{equation*} where $[n,n+1,\cdots,n+2β+1]$ is the least common multiple of $n$, $n+1$, $\cdots$, $n+2β+1$. Taking $r=β=1$ above will confirm some of Z.-W. Sun's conjectures.
Counting linear congruence systems with a fixed number of solutions
For a prime $p$ and a positive integer $s$ consider a homogeneous linear system over the ring $\mathbb{Z}_{p^s}$ (the ring of integers modulo $p^s$) described by an $n \times m$-matrix. The possible number of solutions to such a system is $p^j$, where $j=0,1,\ldots, sm$. We study the problem of how many $n \times m$-matrices over $\mathbb{Z}_{p^s}$ there are given that we have exactly $p^j$ homogeneous solutions. For the case $s=1$ (when $\mathbb{Z}_{p^s}$ is a field) George von Landsberg proved a general formula in 1893. However, there seems to be few published general results for the case $s>1$ except when we have a unique solution ($j=0$). In this article we present recursive methods for counting such matrices and present explicit formulas for the case when $j\le s$ and $n\ge m$. We will use a generalization of Euler's $φ$-function and Gaussian binomial coefficients to express our formulas. As an application we compute the probability that gcd$(\det(A),p^s)$ gives the number of solutions to the quadratic system $Ax=0$ in $\mathbb{Z}_{p^s}$.
On fourteen equidistribution conjectures of Lv and Zhang and monotone mesh patterns with corner shadings
Three complementation-like involutions are constructed on permutations to prove, and in some cases generalize, all remaining fourteen joint symmetric equidistribution conjectures of Lv and Zhang. Further enumerative results are obtained for several classes of (mesh) pattern-avoiding permutations, where the shadings of all involved mesh patterns are restricted to an opposing pair of corners.
Majority dynamics on finite trees
Published
• View Publication
• BIB
For an arbitrary finite tree $T$, we find the exact value of the wort-case stabilisation time of majority dynamics on $T$. We also prove that for a perfect rooted cubic tree $T$ with diameter $D$ and uniformly random initial opinions, the dynamics stabilises in time $τ\in(D/4,D/3)$ with high probability.
Liar's vertex-edge domination in subclasses of chordal graphs
Published
• View Publication
• BIB
Let $G=(V, E)$ be an undirected graph. The set $N_G[x]=\{y\in V|xy\in E\}\cup \{x\}$ is called the closed neighbourhood of a vertex $x\in V$ and for an edge $e=xy\in E$, the closed neighbourhood of $e$ is the set $N_G[x]\cup N_G[y]$, which is denoted by $N_G[e]$ or $N_G[xy]$. A set $L\subseteq V$ is called \emph{liar's vertex-edge dominating set} of a graph $G=(V,E)$ if for every $e_i\in E$, $|N_G[e_i]\cap L|\geq 2$ and for every pair of distinct edges $e_i,e_j\in E$, $|(N_G[e_i]\cup N_G[e_j])\cap L|\geq 3$. The notion of liar's vertex-edge domination arises naturally from some applications in communication networks. Given a graph $G$, the \textsc{Minimum Liar's Vertex-Edge Domination Problem} (\textsc{MinLVEDP}) asks to find a liar's vertex-edge dominating set of $G$ of minimum cardinality. In this paper, we study this problem from an algorithmic point of view. We design two linear time algorithms for \textsc{MinLVEDP} in block graphs and proper interval graphs, respectively. On the negative side, we show that the decision version of liar's vertex-edge domination problem is NP-complete for undirected path graphs.
Improved bounds on the $H$-rank of a mixed graph in terms of the matching number and fractional matching number
Published
• View Publication
• BIB
A mixed graph $\widetilde{G}$ is obtained by orienting some edges of a graph $G$, where $G$ is the underlying graph of $\widetilde{G}$. Let $r(\widetilde{G})$ be the $H$-rank of $\widetilde{G}$. Denote by $r(G)$, $κ(G)$, $m(G)$ and $m^{\ast}(G)$ the rank, the number of even cycles, the matching number and the fractional matching number of $G$, respectively. Zhou et al. [Discrete Appl. Math. 313 (2022)] proved that $2m(G)-2κ(G)\leq r(G)\leq 2m(G)+ρ(G)$, where $ρ(G)$ is the largest number of disjoint odd cycles in $G$. We extend their results to the setting of mixed graphs and prove that $2m(G)-2κ(G)\leq r(\widetilde{G}) \leq 2m^{\ast}(G)$ for a mixed graph $\widetilde{G}$. Furthermore, we characterize some classes of mixed graphs with rank $r(\widetilde{G})=2m(G)-2κ(G)$, $r(\widetilde{G})=2m(G)-2κ(G)+1$ and $r(\widetilde{G})=2m^{\ast}(G)$, respectively. Our results also improve those of Chen et al. [Linear Multiliear Algebra. 66 (2018)]. In addition, our results can be applied to signed graphs and oriented graphs in some situations.
Computing Expansions in Infinitely Many Cantor Real Bases via a Single Transducer
Published
• View Publication
• BIB
Representing real numbers using convenient numeration systems (integer bases, $β$-numeration, Cantor bases, etc.) has been a longstanding mathematical challenge. This paper focuses on Cantor real bases and, specifically, on automatic Cantor real bases and the properties of expansions of real numbers in this setting. We develop a new approach where a single transducer associated with a fixed real number $r$, computes the $\mathbf{B}$-expansion of $r$ but for an infinite family of Cantor real bases $\mathbf{B}$ given as input. This point of view contrasts with traditional computational models for which the numeration system is fixed. Under some assumptions on the finitely many Pisot numbers occurring in the Cantor real base, we show that only a finite part of the transducer is visited. We obtain fundamental results on the structure of this transducer and on decidability problems about these expansions, proving that for certain classes of Cantor real bases, key combinatorial properties such as greediness of the expansion or periodicity can be decided algorithmically.
Cyclic Equalizability of Words and Its Application to Card-Based Cryptography
Published
• View Publication
• BIB
Card-based cryptography is a research area to implement cryptographic procedures using a deck of physical cards. In recent years, it has been found to be related to finite group theory and algebraic combinatorics, and is becoming more and more closely connected to the field of mathematics. In this paper, we discuss the relationship between card-based cryptography and combinatorics on words for the first time. In particular, we focus on cyclic equality of words. We say that a set of words are cyclically equalizable if they can be transformed to be cyclically equal by repeated simultaneous insertion of letters. The main result of this paper is to show that two binary words of equal length and equal Hamming weight are cyclically equalizable. As applications of cyclic equalizability to card-based cryptography, we describe its applications to the information erasure problem and to single-cut full-open protocols.
Critical exponent of ternary words with few distinct palindromes
We study infinite ternary words that contain few distinct palindromes. In particular, we classify such words according to their critical exponent.
Generalizing blocking semiovals in finite projective planes
Published
• View Publication
• BIB
Blocking semiovals and the determination of their (minimum) sizes constitute one of the central research topics in finite projective geometry. In this article we introduce the concept of blocking set with the $r_\infty$-property in a finite projective plane $\text{PG}(2,q)$, with $r_\infty$ a line of $\text{PG}(2,q)$ and $q$ a prime power. This notion greatly generalizes that of blocking semioval. We address the question of determining those integers $k$ for which there exists a blocking set of size $k$ with the $r_\infty$-property. To solve this problem, we build new theory which deeply analyzes the interplay between blocking sets in finite projective and affine planes.
The Saturation Number for the Diamond is Linear
Published
• View Publication
• BIB
For a fixed poset $\mathcal P$ we say that a family $\mathcal F\subseteq\mathcal P([n])$ is $\mathcal P$-saturated if it does not contain an induced copy of $\mathcal P$, but whenever we add a new set to $\mathcal F$, we form an induced copy of $\mathcal P$. The size of the smallest such family is denoted by $\text{sat}^*(n, \mathcal P)$.\par For the diamond poset $\mathcal D_2$ (the two-dimensional Boolean lattice), while it is easy to see that the saturation number is at most $n+1$, the best known lower bound has stayed at $O(\sqrt n)$ since the introduction of the area of poset saturation. In this paper we prove that $\text{sat}^*(n, \mathcal D_2)\geq \frac{n+1}{5}$, establishing that the saturation number for the diamond is linear. The proof uses a result about certain pairs of set systems which may be of independent interest.
On ADEG-polyhedra in hyperbolic spaces
In this paper, we establish that the non-zero dihedral angles of hyperbolic Coxeter polyhedra of large dimensions are not arbitrarily small. Namely, for dimensions $n\geq 32$, they are of the form $\fracπ{m}$ with $m\leq 6$. Moreover, this property holds in all dimensions $n\geq 7$ for Coxeter polyhedra with mutually intersecting facets. Then, we develop a constructive procedure tailored to Coxeter polyhedra with prescribed dihedral angles, from which we derive the complete classification of ADEG-polyhedra, characterized by having no pair of disjoint facets and dihedral angles $\fracπ{2}, \fracπ{3}$ and $\fracπ{6}$, only. Besides some well-known simplices and pyramids, there are three exceptional polyhedra, one of which is a new polyhedron $P_{\star}\subset \mathbb H^9$ with $14$ facets.
An improved construction for the triangle removal lemma
We construct $n$-vertex graphs $G$ where $εn^2$ edges must be deleted to become triangle-free, which contain less than $ε^{(C_{\text{new}}-o(1))\log_2 1/ε}n^3$ triangles for $C_{\text{new}}= \frac{1}{4\log_2(4/3)} \approx 1.6601$. Previously, a bound of the same shape was known, but with $C_{\text{new}}$ replaced by $C_{\text{old}} := C_{\text{new}}/2$. Our construction uses ideas from additive combinatorics, drawing especially from the corners problem, but does not yield new bounds for those problems.
An order-theoretic circuit syntax and characterisation of the concept lattice
We take an order-theoretic approach to circuit (string diagram) syntax, treating a circuit as a partial order with additional input-output structure. We define morphisms between circuits and prove a factorisation theorem showing that these can, in the finite case, be regarded as formalising a notion of syntactical circuit rewrites, with quotient maps in particular corresponding to gate composition. We then consider the connectivity of a circuit, expressed as a binary relation between its inputs and outputs, and characterise the concept lattice from formal concept analysis as the unique smallest circuit that admits morphisms from all other circuits with the same connectivity. This has significance for quantum causality, particularly to the study of causal decompositions of unitary transformations. We close by constructing the circuit characterised by the dual statement.