Showing 20 papers (Total: 82661 papers, 47773 authors in database)
Toppleable Permutations, Excedances and Acyclic Orientations
Published
• View Publication
• BIB
Recall that an excedance of a permutation $π$ is any position $i$ such that $π_i > i$. Inspired by the work of Hopkins, McConville and Propp (Elec. J. Comb., 2017) on sorting using toppling, we say that a permutation is toppleable if it gets sorted by a certain sequence of toppling moves. One of our main results is that the number of toppleable permutations on $n$ letters is the same as those for which excedances happen exactly at $\{1,\dots, \lfloor (n-1)/2 \rfloor\}$. Additionally, we show that the above is also the number of acyclic orientations with unique sink (AUSOs) of the complete bipartite graph $K_{\lceil n/2 \rceil, \lfloor n/2 \rfloor + 1}$. We also give a formula for the number of AUSOs of complete multipartite graphs. We conclude with observations on an extremal question of Cameron et al. concerning maximizers of (the number of) acyclic orientations, given a prescribed number of vertices and edges for the graph.
Impartial Achievement Games on Convex Geometries
Published
• View Publication
• BIB
We study a game where two players take turns selecting points of a convex geometry until the convex closure of the jointly selected points contains all the points of a given winning set. The winner of the game is the last player able to move. We develop a structure theory for these games and use it to determine the nim number for several classes of convex geometries, including one-dimensional affine geometries, vertex geometries of trees, and games with a winning set consisting of extreme points.
Enumerative and planar combinatorics of trivariate monomial resolutions
The canonical sylvan resolution is a resolution of an arbitrary monomial ideal over a polynomial ring that is minimal and has an explicit combinatorial formula for the differential. The differential is a weighted sum over lattice paths of weights of chain-link fences, which are sequences of faces that are linked to each other via higher-dimensional analogues of spanning trees. Along a lattice path in the three-variable case, these weights can be condensed to a single weight contributing to the combinatorial formula for the differential that bypasses any computation of chain-link fences. The main results in this paper express the sylvan matrix entries for monomial ideals in three variables as a sum over lattice paths of simpler weights that depend only on the number of specific Koszul simplicial complexes that lie along the corresponding lattice path. Certain entries have numerators equal to the number of lattice paths in $\mathbb{N}^2$ that follow specific restrictions.
The Turán number of book graphs
Published
• View Publication
• BIB
Given a graph $H$ and a positive integer $n,$ the Turán number of $H$ for the order $n,$ denoted ${\rm ex}(n,H),$ is the maximum size of a simple graph of order $n$ not containing $H$ as a subgraph. The book with $p$ pages, denoted $B_p$, is the graph that consists of $p$ triangles sharing a common edge. Bollobás and Erdős initiated the research on the Turán number of book graphs in 1975. The two numbers ${\rm ex}(p+2,B_p)$ and ${\rm ex}(p+3,B_p)$ have been determined by Qiao and Zhan. In this paper we determine the numbers ${\rm ex}(p+4,B_p),$ ${\rm ex}(p+5,B_p)$ and ${\rm ex}(p+6,B_p),$ and characterize the corresponding extremal graphs for the numbers ${\rm ex}(n,B_p)$ with $n=p+2,\,p+3,\,p+4,\,p+5.$
Coxeter invariants for non-negative unit forms of Dynkin type A
Published in Fundamenta Informaticae, Volume 185, Issue 3 (May 6, 2022) fi:7604
• Search Publication
Two integral quadratic unit forms are called strongly Gram congruent if their upper triangular Gram matrices are Z-congruent. The paper gives a combinatorial strong Gram invariant for those unit forms that are non-negative of Dynkin type A, within the framework introduced in [Fundamenta Informaticae 184(1):49-82, 2021], and uses it to determine all corresponding Coxeter polynomials and (reduced) Coxeter numbers.
Combinatorial proof of an identity on Genocchi numbers
Published in Journal of Integer Sequences 24(7), 2021, Article 21.7.6
• Search Publication
In this note we present a combinatorial proof of an identity involving poly-Bernoulli numbers and Genocchi numbers. We introduce the combinatorial objects, $m-$barred Callan sequences and show that the identity holds in a more general manner.
On Cartesian products of signed graphs
Published
• View Publication
• BIB
In this paper, we study the Cartesian product of signed graphs as defined by Germina, Hameed and Zaslavsky (2011). Here we focus on its algebraic properties and look at the chromatic number of some Cartesian products. One of our main results is the unicity of the prime factor decomposition of signed graphs. This leads us to present an algorithm to compute this decomposition in linear time based on a decomposition algorithm for oriented graphs by Imrich and Peterin (2018). We also study the chromatic number of a signed graph, that is the minimum order of a signed graph to which the input signed graph admits a homomorphism, of graphs with underlying graph of the form P n [] P m , of Cartesian products of signed paths, of Cartesian products of signed complete graphs and of Cartesian products of signed cycles.
$q$-Analogues of some supercongruences related to Euler numbers
Published
• View Publication
• BIB
Let $E_n$ be the $n$-th Euler number and $(a)_n=a(a+1)\cdots (a+n-1)$ the rising factorial. Let $p>3$ be a prime. In 2012, Sun proved the that $$ \sum^{(p-1)/2}_{k=0}(-1)^k(4k+1)\frac{(\frac{1}{2})_k^3}{k!^3} \equiv p(-1)^{(p-1)/2}+p^3E_{p-3} \pmod{p^4}, $$ which is a refinement of a famous supercongruence of Van Hamme. In 2016, Chen, Xie, and He established the following result: $$ \sum_{k=0}^{p-1}(-1)^k (3k+1)\frac{(\frac{1}{2})_k^3}{k!^3} 2^{3k} \equiv p(-1)^{(p-1)/2}+p^3E_{p-3} \pmod{p^4}, $$ which was originally conjectured by Sun. In this paper we give $q$-analogues of the above two supercongruences by employing the $q$-WZ method. As a conclusion, we provide a $q$-analogue of the following supercongruence of Sun: $$ \sum_{k=0}^{(p-1)/2}\frac{(\frac{1}{2})_k^2}{k!^2} \equiv (-1)^{(p-1)/2}+p^2 E_{p-3} \pmod{p^3}. $$
Area Statistics for Large Oscillating Tableaux
In this note we show that the area of the partitions making up an oscillating tableaux is described by a random walk on the first quadrant of $\mathbb{Z}^2$ with certain position dependent weights. We are able to recursively calculate the moments of the walk. As the length of the oscillating tableaux becomes large we show that this random walk converges to a Gaussian stochastic process.
Normalized Laplace Operators for Hypergraphs with Real Coefficients
Published in Journal of Complex Networks, Volume 9, Issue 1, (2021)
• View Publication
• BIB
Chemical hypergraphs and their associated normalized Laplace operators are generalized and studied in the case where each vertex--hyperedge incidence has a real coefficient. We systematically study the effect of symmetries of a hypergraph on the spectrum of the Laplacian.
A note on the asymptotic expressiveness of ZF and ZFC
Published
• View Publication
• BIB
We investigate the asymptotic densities of theorems provable in Zermelo-Fraenkel set theory ZF and its extension ZFC including the axiom of choice. Assuming a canonical De Bruijn representation of formulae, we construct asymptotically large sets of sentences unprovable within ZF, yet provable in ZFC. Furthermore, we link the asymptotic density of ZFC theorems with the provable consistency of ZFC itself. Consequently, if ZFC is consistent, it is not possible to refute the existence of the asymptotic density of ZFC theorems within ZFC. Both these results address a recent question by Zaionc regarding the asymptotic equivalence of ZF and ZFC.
The tropicalization of the entropic barrier
The entropic barrier, studied by Bubeck and Eldan (Proc. Mach. Learn. Research, 2015), is a self-concordant barrier with asymptotically optimal self-concordance parameter. In this paper, we study the tropicalization of the central path associated with the entropic barrier, i.e., the logarithmic limit of this central path for a parametric family of linear programs defined over the field of Puiseux series. Our main result is that the tropicalization of the entropic central path is a piecewise linear curve which coincides with the tropicalization of the logarithmic central path studied by Allamigeon et al. (SIAM J. Applied Alg. Geom., 2018). One consequence is that the number of linear pieces in the tropical entropic central path can be exponential in the dimension and the number of inequalities defining the linear program.
Reconstructibility of matroid polytopes
Published in SIAM Journal on Discrete Mathematics 36 (2022), 490-508
• View Publication
• BIB
We specify what is meant for a polytope to be reconstructible from its graph or dual graph. And we introduce the problem of class reconstructibility, i.e., the face lattice of the polytope can be determined from the (dual) graph within a given class. We provide examples of cubical polytopes that are not reconstructible from their dual graphs. Furthermore, we show that matroid (base) polytopes are not reconstructible from their graphs and not class reconstructible from their dual graphs; our counterexamples include hypersimplices. Additionally, we prove that matroid polytopes are class reconstructible from their graphs, and we present a $O(n^3)$ algorithm that computes the vertices of a matroid polytope from its $n$-vertex graph. Moreover, our proof includes a characterisation of all matroids with isomorphic basis exchange graphs.
Zero-sum squares in $\{-1, 1\}$-matrices with low discrepancy
Published
• View Publication
• BIB
Given a matrix $M = (a_{i,j})$ a square is a $2 \times 2$ submatrix with entries $a_{i,j}$, $a_{i, j+s}$, $a_{i+s, j}$, $a_{i+s, j +s}$ for some $s \geq 1$, and a zero-sum square is a square where the entries sum to $0$. Recently, Arévalo, Montejano and Roldán-Pensado proved that all large $n \times n$ $\{-1,1\}$-matrices $M$ with discrepancy $|\sum a_{i,j}| \leq n$ contain a zero-sum square unless they are split. We improve this bound by showing that all large $n \times n$ $\{-1,1\}$-matrices $M$ with discrepancy at most $n^2/4$ are either split or contain a zero-sum square. Since zero-sum square free matrices with discrepancy at most $n^2/2$ are already known, this bound is asymptotically optimal.
Bounds on metric dimensions of graphs with edge disjoint cycles
Published
• View Publication
• BIB
In a graph G, cardinality of the smallest ordered set of vertices that distinguishes every element of V (G) is the (vertex) metric dimension of G. Similarly, the cardinality of such a set is the edge metric dimension of G, if it distinguishes E(G). In this paper these invariants are considered first for unicyclic graphs, and it is shown that the vertex and edge metric dimensions obtain values from two particular consecutive integers, which can be determined from the structure of the graph. In particular, as a consequence, we obtain that these two invariants can differ for at most one for a same unicyclic graph. Next we extend the results to graphs with edge disjoint cycles showing that the two invariants can differ at most by c, where c is the number of cycles in such a graph. We conclude the paper with a conjecture that generalizes the previously mentioned consequences to graphs with prescribed cyclomatic number c by claiming that the difference of the invariant is still bounded by c.
On the Markov numbers: fixed numerator, denominator, and sum conjectures
Published
• View Publication
• BIB
The Markov numbers are the positive integer solutions of the Diophantine equation $x^2 + y^2 + z^2 = 3xyz$. Already in 1880, Markov showed that all these solutions could be generated along a binary tree. So it became quite usual (and useful) to index the Markov numbers by the rationals between 0 and 1 which stand at the same place in the Stern-Brocot binary tree. The Frobenius conjecture claims that each Markov number appears at most once in the tree.
In particular, if the conjecture is true, the order of Markov numbers would establish a new strict order on the rationals. Aigner suggested three conjectures to better understand this order. The first one has already been solved for a few months. We prove that the other two conjectures are also true.
Along the way, we generalize Markov numbers to any couple (p,q) of nonnegative integers (not only when they are relatively primes) and conjecture that the unicity is still true as soon as $p \leq q$. Finally, we show that the three conjectures are in fact true for this superset.
Halin's end degree conjecture
Published
• View Publication
• BIB
An end of a graph $G$ is an equivalence class of rays, where two rays are equivalent if there are infinitely many vertex-disjoint paths between them in $G$. The degree of an end is the maximum cardinality of a collection of pairwise disjoint rays in this equivalence class.
Halin conjectured that the end degree can be characterised in terms of certain typical ray configurations, which would generalise his famous \emph{grid theorem}. In particular, every end of regular uncountable degree $κ$ would contain a \emph{star of rays}, i.e.\ a configuration consisting of a central ray $R$ and $κ$ neighbouring rays $(R_i \colon i < κ)$ all disjoint from each other and each $R_i$ sending a family of infinitely many disjoint paths to $R$ so that paths from distinct families only meet in $R$.
We show that Halin's conjecture fails for end degree $ \aleph_1$, holds for $\aleph_2,\aleph_3,\ldots,\aleph_ω$, fails for $ \aleph_{ω+1}$, and is undecidable (in ZFC) for the next $\aleph_{ω+n}$ with $n \in \mathbb{N}$, $n \geq 2$. Further results include a complete solution for all cardinals under GCH, complemented by a number of consistency results.
Laplacian Fractional Revival on Graphs
Published
• View Publication
• BIB
We develop the theory of fractional revival in the quantum walk on a graph using its Laplacian matrix as the Hamiltonian. We first give a spectral characterization of Laplacian fractional revival, which leads to a polynomial time algorithm to check this phenomenon and find the earliest time when it occurs. We then apply the characterization theorem to special families of graphs. In particular, we show that no tree admits Laplacian fractional revival except for the paths on two and three vertices, and the only graphs on a prime number of vertices that admit Laplacian fractional revival are double cones. Finally, we construct, through Cartesian products and joins, several infinite families of graphs that admit Laplacian fractional revival; some of these graphs exhibit polygamous fractional revival.
Expansions of the Group of Integers by Beatty Sequences
We study the model theoretic structure $(\Z,+,P_r)$ where $r>1$ is an irrational number and the elements of $P_r$ are of the form $\floor{nr}$ for some $n\in\Z\setminus\{0\}$. We axiomatize of this structure and prove a quantifier elimination result. As a consequence, we get that definable subsets are not sparse unless they are finite. We also prove that there are no reducts of this structure expanding $(\Z,+)$.
Laplacian pretty good fractional revival
Published in Discrete Mathematics (2022), 345(10), 112971
• View Publication
• BIB
We develop the theory of pretty good fractional revival in quantum walks on graphs using their Laplacian matrices as the Hamiltonian. We classify the paths and the double stars that have Laplacian pretty good fractional revival.