Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Forbidden Configurations and Boundary Cases
Let $F$ be a $k\times \ell$ (0,1)-matrix. Define a (0,1)-matrix $A$ to have a $F$ as a \emph{configuration} if there is a submatrix of $A$ which is a row and column permutation of $F$. In the language of sets, a configuration is a \emph{trace}. Define a matrix to be {\it simple} if it is a (0,1)-matrix with no repeated columns. Let $\mathrm{Avoid}(m,F)$ be all simple $m$-rowed matrices $A$ with no configuration $F$. Define $\mathrm{forb}(m,F)$ as the maximum number of columns of any matrix in $\mathrm{Avoid}(m,F)$. Determining $\mathrm{forb}(m,F)$ requires determining bounds and constructions of matrices in $\mathrm{Avoid}(m,F)$. The paper considers some column maximal $k$-rowed simple $F$ that have the bound $Θ(m^{k-2})$ and yet adding a column increases bound to $Ω(m^{k-1})$. By a construction, $\mathrm{forb(m,F)}$ is determined exactly.
The Density of Zero and One in Fibonacci Word for Subwords and Their Palindromes
This paper studies the density of zero and one in subwords of the Fibonacci word with lengths less than thirty and compares them to the densities of their corresponding palindromes. We used computational methods to produce a sufficiently large piece of the Fibonacci word, extract all unique subwords up to a predetermined length, and calculate their palindrome. The density of each character (0 and 1) was then determined for both the original subwords and their palindromic counterparts. This study contributes to a deeper understanding of the combinatorial properties of the Fibonacci word and the behavior of its constituent elements under reversal.
Raising and lowering maps for tridiagonal pairs
Published
• View Publication
• BIB
Let $V$ denote a nonzero finite-dimensional vector space. A tridiagonal pair on $V$ is an ordered pair $A, A^*$ of maps in ${\rm End}(V)$ such that (i) each of $A, A^*$ is diagonalizable; (ii) there exists an ordering $\lbrace V_i \rbrace_{i=0}^d$ of the eigenspaces of $A$ such that $A^* V_i \subseteq V_{i-1} + V_i + V_{i+1}$ $(0 \leq i \leq d)$, where $V_{-1} =0$ and $V_{d+1}=0$; (iii) there exists an ordering $\lbrace V^*_i \rbrace_{i=0}^δ$ of the eigenspaces of $A^*$ such that $A V^*_i \subseteq V^*_{i-1} + V^*_i + V^*_{i+1}$ $(0 \leq i \leq δ)$, where $V^*_{-1} =0$ and $V^*_{δ+1}=0$; (iv) there does not exist a subspace $W \subseteq V$ such that $W \not=0$, $W\not=V$, $A W \subseteq W$, $A^*W \subseteq W$. Assume that $A, A^*$ is a tridiagonal pair on $V$. It is known that $d=δ$. For $0 \leq i \leq d$ let $θ_i$ (resp. $θ^*_i$) denote the eigenvalue of $A$ (resp. $A^*$) for $V_i$ (resp. $V^*_i$). By construction, there exist $R,F,L \in {\rm End}(V)$ such that $A=R+F+L$ and $R V^*_i \subseteq V^*_{i+1}$, $F V^*_i \subseteq V^*_i$, $LV^*_i \subseteq V^*_{i-1}$ $(0 \leq i \leq d)$. For $0 \leq i \leq d$ define $U_i = (V^*_0 + V^*_1 + \cdots + V^*_i ) \cap (V_i + V_{i+1} + \cdots + V_d)$. It is known that the sum $V=\sum_{i=0}^d U_i$ is direct. By construction, there exists $\mathcal R, \mathcal L \in {\rm End}(V)$ such that $\mathcal R=A - θ_i I$ and $\mathcal L= A^*-θ^*_i I$ on $U_i$ $(0 \leq i \leq d)$. It is known that $\mathcal R U_i \subseteq U_{i+1}$ and $\mathcal L U_i \subseteq U_{i-1}$ $(0 \leq i \leq d)$, where $U_{-1}=0$ and $U_{d+1}=0$. In this paper, our main goal is to describe how $R,F,L,\mathcal R, \mathcal L$ are related. We also give some results concerning injectivity/surjectivity and $R, L$.
Odd Ramsey numbers of multipartite graphs and hypergraphs
Given a hypergraph $G$ and a subhypergraph $H$ of $G$, the \emph{odd Ramsey number} $r_{odd}(G,H)$ is the minimum number of colors needed to edge-color $G$ so that every copy of $H$ intersects some color class in an odd number of edges. Generalizing a result of \cite{BHZ} in two different ways, in this paper we prove $r_{odd} \left(K_{n,n}, K_{2,t} \right)=\frac{n}{t} + o(n)$ for all $t\geq 2$, and $r_{odd} \left(\mathcal{K}^{(k)}_{n,\dots,n}, \mathcal{K}_{1,\dots,1,2,2} \right) = \frac{n}{2} + o(n)$ for all $k\geq 2$. The latter is the first result studying odd Ramsey numbers for hypergraphs.
Self-Verifying Predicates in Büchi Arithmetic
Published
• View Publication
• BIB
We discuss a technique, based on Angluin's algorithm, for automatically generating finite automata for various kinds of useful first-order logic formulas in Büchi arithmetic. Construction in this way can be faster and use much less space than more direct methods. We discuss the theory and we present some empirical data for the free software Walnut.
Spectral analysis of $q$-deformed unitary ensembles with the Al-Salam--Carlitz weight
Published
• View Publication
• BIB
We study $q$-deformed random unitary ensembles associated with the weight function of the Al-Salam--Carlitz orthogonal polynomials, indexed by a parameter $a < 0$. In the special case $a = -1$, the model reduces to the $q$-deformed Gaussian unitary ensemble. Employing the Flajolet--Viennot theory together with the combinatorics of matchings, we derive an explicit positive-sum expression for the spectral moments. In the double-scaling regime $q = e^{-λ/N}$, where $N$ denotes the ensemble size and $λ> 0$ is fixed, we derive the first two terms in the large-$N$ expansion of the spectral moments. As a consequence, we obtain a closed-form expression for the limiting spectral density. Notably, this density exhibits two successive phase transitions as $λ$ increases, characterised by a reduction in the number of soft edges from two, to one, and eventually to none. Furthermore, we show that the limiting density coincides with the limiting zero distribution of the Al-Salam--Carlitz orthogonal polynomials under the same scaling.
Cyclotomic construction of $λ$-fold near-factorizations of cyclic groups
The study of near-factorizations of finite groups dates back to the 1950s. Recently, this topic has attracted renewed attention, and the concept has been extended to $λ$-fold near-factorizations, in which each non-identity group element appears exactly $λ\ge 1$ times. This paper presents a cyclotomic construction of $λ$-fold near-factorizations in the cyclic group $\mathbb{F}_p$, where $p = 4n^4 + 12n^2 + 1$ is prime for $n \ge 1$.
Counting $k$-cycles in $5$-connected planar triangulations
We show that every $n$-vertex $5$-connected planar triangulation has at most $9n-50$ many cycles of length $5$ for all $n\ge 20$ and this upper bound is tight. We also show that for every $k\geq 6$, there exists some constant $C(k)$ such that for sufficiently large $n$, every $n$-vertex $5$-connected planar graph has at most $C(k) \cdot n^{\lfloor{k/3}\rfloor}$ many cycles of length $k$. This upper bound is asymptotically tight for all $k\geq 6$.
Ordered trees and the Geode
In recent work of Wildberger and Rubine, it is shown that the formal power series $\mathbf{S}$ in the variables $t_1,t_2,\dots$ satisfying $\mathbf{S}=1+\sum_{n\geq 1} t_n\mathbf{S}^n$ has a factorisation $\mathbf{S}=1+(t_1+t_2+\cdots)\mathbf{G}$, where $\mathbf{G}$ is a power series with nonnegative coefficients called the Geode. In this note we give a combinatorial interpretation for the coefficients of $\mathbf{G}$ based on ordered trees. This amends the statement of a disproved conjecture of Wildberger and Rubine which suggests a similar (but incorrect) interpretation.
Edge-connectivity of graphs with non-negative Bakry-Émery curvature and amply regular graphs
Published
• View Publication
• BIB
We establish a sharp edge-connectivity estimate for graphs with non-negative Bakry-Émery curvature. This leads to a geometric criterion for the existence of a perfect matching. Precisely, we show that any regular graph with non-negative Bakry-Émery curvature and an even or infinite number of vertices has a perfect matching. Through a synthesis of combinatorial and curvature-related techniques, we determine the edge-connectivity of (possibly infinite) amply regular graphs.
Rowmotion and Echelonmotion
Given a linear extension $σ$ of a finite poset $R$, we consider the permutation matrix indexing the Schubert cell containing the Cartan matrix of $R$ with respect to $σ$. This yields a bijection $\mathrm{Ech}_σ\colon R\to R$ that we call echelonmotion; it is the inverse of the Coxeter permutation studied by Klász, Marczinzik, and Thomas. Those authors proved that echelonmotion agrees with rowmotion when $R$ is a distributive lattice. We generalize this result to semidistributive lattices. In addition, we prove that every trim lattice has a linear extension with respect to which echelonmotion agrees with rowmotion. We also show that echelonmotion on an Eulerian poset (with respect to any linear extension) is an involution. Finally, we initiate the study of echelon-independent posets, which are posets for which echelonmotion is independent of the chosen linear extension. We prove that a lattice is echelon-independent if and only if it is semidistributive. Moreover, we show that echelon-independent connected posets are bounded and have semidistributive MacNeille completions.
The $d$-distance $p$-packing domination number: complexity, cycles, and trees
A set of vertices $X\subseteq V(G)$ is a $d$-distance dominating set if for every $u\in V(G)\setminus X$ there exists $x\in X$ such that $d(u,x) \le d$, and $X$ is a $p$-packing if $d(u,v) \ge p+1$ for every different $u,v\in X$. The $d$-distance $p$-packing domination number $γ_d^p(G)$ of $G$ is the minimum size of a set of vertices of $G$ which is both a $d$-distance dominating set and a $p$-packing. It is proved that for every two fixed integers $d$ and $p$ with $2 \le d$ and $0 \le p \leq 2d-1$, the decision problem whether $γ_d^p(G) \leq k$ holds is NP-complete for bipartite planar graphs. A necessary and sufficient condition for the existence of a $d$-distance $p$-packing dominating set in $C_n$ is obtained and $γ_d^p(C_n)$ determined for every $d$, $p$, and $n$. For a tree $T$ on $n$ vertices with $\ell$ leaves and $s$ support vertices it is proved that (i) $γ_2^0(T) \geq \frac{n-\ell-s+4}{5}$, (ii) $\left \lceil \frac{n-\ell-s+4}{5} \right \rceil \leq γ_2^2(T) \leq \left \lfloor \frac{n+3s-1}{5} \right \rfloor$, and if $d \geq 2$, then (iii) $γ_d^2(T) \leq \frac{n-2\sqrt{n}+d+1}{d}$. Inequality (i) improves an earlier bound due to Meierling and Volkmann, and independently Raczek, Lemańska, and Cyman, while (iii) extends an earlier result for $γ_2^2(T)$ due to Henning. Sharpness of the bounds are discussed and established in most cases. It is also proved that every connected graph $G$ contains a spanning tree $T$ such that $γ_2^2(T) \leq γ_2^2(G)$.
On $k$-coalition in graphs: bounds and exact values
Given a graph $G=\big{(}V(G),E(G)\big{)}$, a set $S\subseteq V(G)$ is called a $k$-dominating set if every vertex in $V(G)\setminus S$ has at least $k$ neighbors in $S$. Two disjoint sets $A,B\subset V(G)$ form a $k$-coalition in $G$ if neither set is a $k$-dominating set in $G$ but their union $A\cup B$ is a $k$-dominating set. A partition $Ω$ of $V(G)$ is a $k$-coalition partition if each set in $Ω$ is either a $k$-dominating set of cardinality $k$ or forms a $k$-coalition with another set in $Ω$. The $k$-coalition number $C_{k}(G)$ equals the maximum cardinality of a $k$-coalition partition of $G$. In this work, we give general upper and lower bounds on this parameter. In particular, we show that if $G$ has minimum degree $δ\ge 2$ and maximum degree $Δ\ge 4 \lfloor δ/2 \rfloor$, then $C_{2}(G) \leq (Δ-2\lfloor δ/2 \rfloor+1)(\lfloor δ/2 \rfloor+1) + \lceil δ/2 \rceil+1$, and this bound is sharp. If $T$ is a tree of order~$n \ge 2$, then we prove the upper bound $C_{2}(T) \leq \big\lfloor \frac{n}{2}\big\rfloor+1$ and we characterize the extremal trees achieving equality in this bound. We determine the exact value of $C_{k}(G)$ for any cubic graph $G$ and $k\geq2$. Finally, we give the exact value of $C_{k}$ for any complete bipartite graph, which completes a partial result and resolves an issue from an earlier paper.
Non-Robustness of the Zero-Temperature-Limit Gibbs Measures to Perturbations of the Potential
The robustness of properties of a statistical physics model to slight perturbations in the exact local interactions of the model is a very relevant philosophical question, considering real-life measurements on which we base some models can only ever reach a finite precision. In this article, we will discuss this topic in a formal mathematical setting, and notably exhibit a family of models for which the low-temperature behaviour is highly non-robust.
Cuntz algebra automorphisms: transpositions
Permutative automorphisms of the Cuntz algebras $\mathcal{O}_n$ are in bijection with the stable permutations of $[n]^t$. They are also the elements of the reduced Weyl group of $Aut(\mathcal{O}_n)$. In this paper, we characterize the stability of transpositions in $S([n]^3)$, and thus providing a new family (with $6$ degrees of freedom) of automorphisms of the Cuntz algebras $\mathcal{O}_n$ for any $n>1$.
Web Diagrams of Cluster Variables for Grassmannian Gr(4,8)
Gaetz, Pechenik, Pfannerer, Striker, and Swanson introduced the concept of hourglass plabic graphs and provided a method for computing web diagrams and invariants corresponding to $4\times n$ Young tableaux, while Elkin, Musiker, and Wright applied Lam's method to explicitly compute the webs compatible with cluster variables in Gr(3,n) and their twists, namely, the preimages of the immanant map introduced by Fraser, Lam, and Le. In this paper, we use these two methods to compute both the web diagrams and the dual webs corresponding to quadratic and cubic cluster variables in the Grassmannian cluster algebra C[Gr(4,8)].
Guessing sequences of eigenvectors for LMPs defining spectrahedral relaxations of Eulerian rigidly convex sets
Stable multivariate Eulerian polynomials were introduced by Brändén. Particularizing some variables, it is possible to extract real zero multivariate Eulerian polynomials from them. These real zero multivariate Eulerian polynomials can be fed into constructions of spectrahedral relaxations providing therefore approximations to the (Eulerian) rigidly convex sets defined by these polynomials. The accuracy of these approximations is measured through the behaviour in the diagonal, where the usual univariate Eulerian polynomials sit. In particular, in this sense, the accuracy of the global spectrahedral approximation produced by the spectrahedral relaxation can be measured in terms of bounds for the extreme roots of univariate Eulerian polynomials. The bounds thus obtained beat the previous bounds found in the literature. However, the bound explicitly studied and obtained before beat the previously known bounds by a quantity going to $0$ when $n$ goes to infinity. Here we use numerical experiments to construct a sequence of vectors providing a (linearized) bound whose difference with the previous known bounds is a growing exponential function (going therefore fast to infinity when $n$ grows). This allows us to establish a better (diagonal) measure of accuracy for the spectrahedral relaxation of the Eulerian rigidly convex sets. In particular, we will achieve this by linearizing through the sequence of vectors $\{(y,(-2^{m-i})_{i=3}^{m},(0,\frac{1}{2}),(1)_{i=1}^{m})\in\mathbb{R}^{n+1}\}_{n=1}^{\infty}$ for even $n=2m$.
Perfect divisions in ($P_2 \cup P_4$, bull)-free graphs
A graph $G$ has a perfect division if its vertex set can be partitioned into two sets $A$, $B$ such that $G[A]$ is perfect and $ω(G[B]) < ω(G)$. We call $G$ perfectly divisible if every induced subgraph of $G$ admits a perfect division. We prove that every ($P_2 \cup P_4$, bull)-free graph $G$ with $ω(G) \geq 3$ has a perfect division if $G$ contains no homogeneous set. The clique-number condition is tight: a counterexample exists for $ω(G) = 2$. Additionally, we present a short proof of the perfect divisibility of ($P_5$, bull)-free graphs, originally established by Chudnovsky and Sivaraman [J. Graph Theory 90 (2019), 54-60.].
Stability of $2$-domination number of a graph
This paper delves into the stability of the $2$-domination number in simple undirected graphs. The $2$-domination number of a graph $G$, $γ_2(G)$, represents the minimum size of a vertex subset where every other vertex in the graph is adjacent to at least two members of the subset. We define the $2$-domination stability, $st_{γ_2}(G)$, as the smallest number of vertices whose removal causes a change in $γ_2(G)$. Our primary contributions include computing this parameter for specific graphs, establishing various bounds for this stability and determining its behavior under certain graph operations combining two graphs.
Global fluctuations for standard Young tableaux
We introduce the notion of a Young generating function for a probability measure on integer partitions. We use this object to characterize probability distributions over integer partitions satisfying a law of large numbers and those that satisfy a central limit theorem. We further establish a multilevel central limit theorem, which enables the study of random standard Young tableaux. As applications of these results, we describe the fluctuations of height functions associated with (i) the Plancherel growth process, (ii) random standard Young tableaux of fixed shape, and (iii) probability distributions induced by extreme characters of the infinite symmetric group $S_\infty$. In all cases, we identify the limiting fluctuations as a conditioned Gaussian Free Field.