Showing 20 papers (Total: 82374 papers, 47635 authors in database)
Sequentially Cohen-Macaulay binomial edge ideals of closed graphs
Published in Res Math Sci (2022) 9:39
• View Publication
• BIB
In this paper we provide a full combinatorial characterization of sequentially Cohen-Macaulay binomial edge ideals of closed graphs. In addition, we show that a binomial edge ideal of a closed graph is approximately Cohen-Macaulay if and only if it is almost Cohen-Macaulay.
On anti-stochastic properties of unlabeled graphs
Published
• View Publication
• BIB
We study vulnerability of a uniformly distributed random graph to an attack by an adversary who aims for a global change of the distribution while being able to make only a local change in the graph. We call a graph property $A$ anti-stochastic if the probability that a random graph $G$ satisfies $A$ is small but, with high probability, there is a small perturbation transforming $G$ into a graph satisfying $A$. While for labeled graphs such properties are easy to obtain from binary covering codes, the existence of anti-stochastic properties for unlabeled graphs is not so evident. If an admissible perturbation is either the addition or the deletion of one edge, we exhibit an anti-stochastic property that is satisfied by a random unlabeled graph of order $n$ with probability $(2+o(1))/n^2$, which is as small as possible. We also express another anti-stochastic property in terms of the degree sequence of a graph. This property has probability $(2+o(1))/(n\ln n)$, which is optimal up to factor of 2.
The periodic complexity function of the Thue-Morse word, the Rudin-Shapiro word, and the period-doubling word
We revisit the periodic complexity function $h_{\bf w}(n)$ introduced by Mignosi and Restivo. This function gives the average of the first $n$ local periods of a recurrent infinite word ${\bf w}$. We give a different method than that of Mignosi and Restivo for computing the asymptotics of the periodic complexity function of the Thue-Morse word and show how to apply the method to other automatic sequences, like the Rudin-Shapiro word and the period-doubling word.
A tropical count of real bitangents to plane quartic curves
Published
• View Publication
• BIB
A smooth tropical quartic curve has seven tropical bitangent classes. Their shapes can vary within the same combinatorial type of curve. We study deformations of these shapes and we show that the conditions determined by Cueto and Markwig for lifting them to real bitangent lines are independent of the deformations. From this we deduce a tropical proof of Plücker and Zeuthen's count of the number of real bitangents to smooth plane quartic curves.
Computing tropical bitangents to smooth quartic curves in polymake
Published
• View Publication
• BIB
In this article we introduce the recently developed polymake extension TropicalQuarticCurves and its associated database entry in polyDB dealing with smooth tropical quartic curves. We report on algorithms implemented to analyze tropical bitangents and their lifting conditions over real closed valued fields. The new functions and data were used by the authors to provide a tropical proof of Plücker and Zeuthen's count of real bitangents to smooth quartic curves.
Hamilton Paths in Dominating Graphs of Trees and Cycles
Published
• View Publication
• BIB
The dominating graph of a graph $H$ has as its vertices all dominating sets of $H$, with an edge between two dominating sets if one can be obtained from the other by the addition or deletion of a single vertex of $H$. In this paper we prove that the dominating graph of any tree has a Hamilton path. We also show how a result about binary strings leads to a proof that the dominating graph of a cycle on $n$ vertices has a Hamilton path if and only if $n\not\equiv 0 \pmod 4$.
When are symmetric ideals monomial?
Published
• View Publication
• BIB
We study conditions on polynomials such that the ideal generated by their orbits under the symmetric group action becomes a monomial ideal or has a monomial radical. If the polynomials are homogeneous, we expect that such an ideal has a monomial radical if their coefficients are sufficiently general with respect to their supports. We prove this for instance in the case where some generator contains a power of a variable. Moreover, if the polynomials have only square-free terms and their coefficients do not sum to zero, then in a larger polynomial ring the ideal itself is square-free monomial. This has implications also for symmetric ideals of the infinite polynomial ring.
A Combinatorial Approach for Nonparametric Short-Term Estimation of Queue Lengths using Probe Vehicles
Traffic state estimation plays an important role in facilitating effective traffic management. This study develops a combinatorial approach for nonparametric short-term queue length estimation in terms of cycle-by-cycle partially observed queues from probe vehicles. The method does not assume random arrivals and does not assume any primary parameters or estimation of any parameters but uses simple algebraic expressions that only depend on signal timing. For an approach lane at a traffic intersection, the conditional queue lengths given probe vehicle location, count, time, and analysis interval (e.g., at the end of red signal phase) are represented by a Negative Hypergeometric distribution. The estimators obtained are compared with parametric methods and simple highway capacity manual methods using field test data involving probe vehicles. The analysis indicates that the nonparametric methods presented in this paper match the accuracy of parametric methods used in the field test data for estimating queue lengths.
Polymatroids, closure operators and lattices
Published
• View Publication
• BIB
We study the closure operators of polymatroids from a lattice theoretic point of view. We show that polymatroid closure operators relate to lattices enriched with a generating set in the same way that matroids relate to geometric lattices. Through this relation we define a notion of minors for lattices enriched with a generating set. For the lattice of flats of a graphic matroid, the minors of the lattice are shown to correspond to simple minors of the graph when the vertices are labeled and the edges unlabeled. This correspondence is generalized to all polymatroids.
Asymptotics of coefficients of algebraic series via embedding into rational series (extended abstract)
Published in Sém. Lothar. Combin. 86B (2022), Art. 30, 12 pp
• Search Publication
We present a strategy for computing asymptotics of coefficients of $d$-variate algebraic generating functions. Using known constructions, we embed the coefficient array into an array represented by a rational generating functions in $d+1$ variables, and then apply ACSV theory to analyse the latter. This method allows us to give systematic results in the multivariate case, seems more promising than trying to derive analogs of the rational ACSV theory for algebraic GFs, and gives the prospect of further improvements as embedding methods are studied in more detail.
Hurwitz numbers for reflection groups I: Generatingfunctionology
Published in Enum. Comb. Appl. 2:3 (2022) Article S2R20
• View Publication
• BIB
The classical Hurwitz numbers count the fixed-length transitive transposition factorizations of a permutation, with a remarkable product formula for the case of minimum length (genus $0$). We study the analogue of these numbers for reflection groups with the following generalization of transitivity: say that a reflection factorization of an element in a reflection group $W$ is full if the factors generate the whole group $W$. We compute the generating function for full factorizations of arbitrary length for an arbitrary element in a group in the combinatorial family $G(m, p, n)$ of complex reflection groups in terms of the generating functions of the symmetric group $\mathfrak{S}_n$ and the cyclic group of order $m/p$. As a corollary, we obtain leading-term formulas which count minimum-length full reflection factorizations of an arbitrary element in $G(m,p,n)$ in terms of the Hurwitz numbers of genus $0$ and $1$ and number-theoretic functions. We also study the structural properties of such generating functions for any complex reflection group; in particular, we show via representation-theoretic methods that they can by expressed as finite sums of exponentials of the variable.
Horospherical random graphs and lockdown strategies
Published
• View Publication
• BIB
Expanders are sparse graph that are strongly connected, where {\it connectivity} is quantified using eigenvalues of the adjacency matrix, and {\it sparsity} in terms of vertex valency. We give a model of random graphs and study their connectivity and sparsity. This model is a particular case of soft geometric random graphs, and allows to construct sparse graphs with good expansion properties, as well as highly clustered ones. On those graphs, we study the speed at which random walks spread in the graph, and visit all vertices. As an illustration, we build a model for mainland France and study the spread of random walks under several types of lockdown. Our experiments show that completely closing medium and long distance travel to slow down the spread of a random walk is more efficient than than local restrictions.
Lattice walks confined to an octant in dimension 3: (non-)rationality of the second critical exponent
Published
• View Publication
• BIB
In the field of enumeration of walks in cones, it is known how to compute asymptotically the number of excursions (finite paths in the cone with fixed length, starting and ending points, using jumps from a given step set). As it turns out, the associated critical exponent is related to the eigenvalues of a certain Dirichlet problem on a spherical domain. An important underlying question is to decide whether this asymptotic exponent is a (non-)rational number, as this has important consequences on the algebraic nature of the associated generating function. In this paper, we ask whether such an excursion sequence might admit an asymptotic expansion with a first rational exponent and a second non-rational exponent. While the current state of the art does not give any access to such many-term expansions, we look at the associated continuous problem, involving Brownian motion in cones. Our main result is to prove that in dimension three, there exists a cone such that the heat kernel (the continuous analogue of the excursion sequence) has the desired rational/non-rational asymptotic property. Our techniques come from spectral theory and perturbation theory. More specifically, our main tool is a new Hadamard formula, which has an independent interest and allows us to compute the derivative of eigenvalues of spherical triangles along infinitesimal variations of the angles.
Kirchberger's Theorem for Complexes of Oriented Matroids
The separation theorem of Kirchberger can be proven using a combination of Farkas' Lemma and Caratheodory's Theorem. Since those theorems are at the heart of oriented matroids, we are interested in a generalization of Kirchberger's Theorem to them. This has already been done for rank 3 oriented matroids. Here we prove it for complexes of oriented matroids, which are a generalization of oriented matroids.
On the comparison of the distinguishing coloring and the locating coloring of graphs
Published
• View Publication
• BIB
Let G be a simple connected graph. Then chi L(G) and chi D(G) will denote the locating chromatic number and the distinguishing chromatic number of G, respectively. In this paper, we investigate a comparison between chi L(G) and chi D(G). In fact, we prove that chi D(G) \leq chi L(G). Moreover, we determine some types of graphs whose locating and distinguishing chromatic numbers are equal. Specially, we characteristic all graph G with the property that chi D(G)= chi L(G) = 3.
Families of graphs with twin pendent paths and the Braess edge
Published in The Electronic Journal of Linear Algebra 38 (2022) 9-31
• View Publication
• BIB
In the context of a random walk on an undirected graph, Kemeny's constant can measure the average travel time for a random walk between two randomly chosen vertices. We are interested in graphs that behave counter-intuitively in regard to Kemeny's constant: in particular, we examine graphs with a cut-vertex at which at least two branches are paths, regarding whether the insertion of a particular edge into a graph results in an increase of Kemeny's constant. We provide several tools for identifying such an edge in a family of graphs and for analising asymptotic behaviour of the family regarding the tendency to have that edge; and classes of particular graphs are given as examples. Furthermore, asymptotic behaviours of families of trees are described.
Tropical Poincaré duality spaces
Published
• View Publication
• BIB
The tropical fundamental class of a rational balanced polyhedral fan induces cap products between tropical cohomology and tropical Borel-Moore homology. When all these cap products are isomorphisms, the fan is said to be a tropical Poincaré duality space. If all the stars of faces also are such spaces, such as for fans of matroids, the fan is called a local tropical Poincaré duality space.
In this article, we first give some necessary conditions for fans to be tropical Poincaré duality spaces and a classification in dimension one. Next, we prove that tropical Poincaré duality for the stars of all faces of dimension greater than zero and a vanishing condition implies tropical Poincaré duality of the fan. This leads to necessary and sufficient conditions for a fan to be a local tropical Poincaré duality space. Finally, we use such fans to show that certain abstract balanced polyhedral spaces satisfy tropical Poincaré duality.
How do 9 points look like in $E^3$?
Published
• View Publication
• BIB
The aim of this note is to give an elementary proof of the following fact: given 3 red convex sets and 3 blue convex sets in $\mathbb{E}^3$, such that every red intersects every blue, there is a line transversal to the reds or there is a line transversal to the blues. This is a special case of a theorem of Montajano and Karasev \cite{MK} and generalizes, in a sense, the colourful Helly theorem due to Lovász (cf. \cite{BL}).
Spatial Search on Johnson Graphs by Discrete-Time Quantum Walk
Published in Journal of Physics A: Mathematical and Theoretical, Vol.55, 255304, 2022
• View Publication
• BIB
The spatial search problem aims to find a marked vertex of a finite graph using a dynamic with two constraints: (1) The walker has no compass and (2) the walker can check whether a vertex is marked only after reaching it. This problem is a generalization of unsorted database search and has many applications to algorithms. Classical algorithms that solve the spatial search problem are based on random walks and the computational complexity is determined by the hitting time. On the other hand, quantum algorithms are based on quantum walks and the computational complexity is determined not only by the number of steps to reach a marked vertex, but also by the success probability, since we need to perform a measurement at the end of the algorithm to determine the walker's position. In this work, we address the spatial search problem on Johnson graphs using the coined quantum walk model. Since Johnson graphs are vertex- and distance-transitive, we have found an invariant subspace of the Hilbert space, which aids in the calculation of the computational complexity. We have shown that, for every fixed diameter, the asymptotic success probability is $1/2$ after taking $π\sqrt N/(2\sqrt 2)$ steps, where $N$ is the number of vertices of the Johnson graph.
Representations of Coxeter groups and homology of Coxeter graphs
We classify a class of complex representations of an arbitrary Coxeter group via characters of the integral homology of certain graphs. Such representations can be viewed as a generalization of the geometric representation and correspond to the second-highest 2-sided cell in the sense of Kazhdan-Lusztig. We also give a description of the cell representation provided by this 2-sided cell, and find out all its simple quotients for simply laced Coxeter system with no more than one circuit in the Coxeter graph.