Showing 20 papers (Total: 81914 papers, 47441 authors in database)
Multivariate Dirichlet Moments and a Polychromatic Ewens Sampling Formula
We present an elementary non-recursive formula for the multivariate moments of the Dirichlet distribution on the standard simplex, in terms of the pattern inventory of the moments' exponents. We obtain analog formulas for the multivariate moments of the Dirichlet-Ferguson and Gamma measures. We further introduce a polychromatic analogue of Ewens sampling formula on colored integer partitions, discuss its relation with suitable extensions of Hoppe's urn model and of the Chinese restaurant process, and prove that it satisfies an adapted notion of consistency in the sense of Kingman.
Robert's theorem and graphs on complete lattices
Automata networks, and in particular Boolean networks, are used to model diverse networks of interacting entities. The interaction graph of an automata network is its most important parameter, as it represents the overall architecture of the network. A continuous amount of work has been devoted to infer dynamical properties of the automata network based on its interaction graph only. Robert's theorem is the seminal result in this area; it states that automata networks with an acyclic interaction graph converge to a unique fixed point. The feedback bound can be viewed as an extension of Robert's theorem; it gives an upper bound on the number of fixed points of an automata network based on the size of a minimum feedback vertex set of its interaction graph. Boolean networks can be viewed as self-mappings on the power set lattice of the set of entities. In this paper, we consider self-mappings on a general complete lattice. We make two conceptual contributions. Firstly, we can view a digraph as a residuated mapping on the power set lattice; as such, we define a graph on a complete lattice as a residuated mapping on that lattice. We extend and generalise some results on digraphs to our setting. Secondly, we introduce a generalised notion of dependency whereby any mapping $φ$ can depend on any other mapping $α$. In fact, we are able to give four kinds of dependency in this case. We can then vastly expand Robert's theorem to self-mappings on general complete lattices; we similarly generalise the feedback bound. We then obtain stronger results in the case where the lattice is a complete Boolean algebra. We finally show how our results can be applied to prove the convergence of automata networks.
Fast winning strategies in a generalized van der Waerden game
Consider the following Maker-Breaker game. Fix a finite subset $S\subset\mathbb{N}$ of the naturals. The players Maker and Breaker take turns choosing previously unclaimed natural numbers. Maker wins by eventually building a homothetic copy $aS+b$ of $S$, where $a\in\mathbb{N}\setminus\{0\}$ and $b\in\mathbb{Z}$. This is a generalization of the van der Waerden game analyzed by Beck. By the Hales-Jewett theorem, there exists a constant $c$ depending only on $|S|$ such that Maker can win in $c$ or less moves. We show that Maker can win in $|S|$ moves if $|S|\leq 3$. When $|S|=4$, we show that Maker can always win in $5$ or less moves and describe all $S$ such that Maker can win in $4$ moves. If $|S|\geq 5$, Maker has no winning strategy in $|S|$ moves.
Symmetry Parameters of Praeger-Xu Graphs
Praeger-Xu graphs are connected, symmetric, 4-regular graphs that are unusual both in that their automorphism groups are large, and in that vertex stabilizer subgroups are also large. Determining number and distinguishing number are parameters that measure the symmetry of a graph by investigating additional conditions that can be imposed on a graph to eliminate its nontrivial automorphisms. In this paper, we compute the values of these parameters for Praeger-Xu graphs. Most Praeger-Xu graphs are 2-distinguishable; for these graphs we also provide the cost of 2-distinguishing.
Decycling cubic graphs
Published
• View Publication
• BIB
A set of vertices of a graph $G$ is said to be decycling if its removal leaves an acyclic subgraph. The size of a smallest decycling set is the decycling number of $G$. Generally, at least $\lceil(n+2)/4\rceil$ vertices have to be removed in order to decycle a cubic graph on $n$ vertices. In 1979, Payan and Sakarovitch proved that the decycling number of a cyclically $4$-edge-connected cubic graph of order $n$ equals $\lceil (n+2)/4\rceil$. In addition, they characterised the structure of minimum decycling sets and their complements. If $n\equiv 2\pmod4$, then $G$ has a decycling set which is independent and its complement induces a tree. If $n\equiv 0\pmod4$, then one of two possibilities occurs: either $G$ has an independent decycling set whose complement induces a forest of two trees, or the decycling set is near-independent (which means that it induces a single edge) and its complement induces a tree. In this paper we strengthen the result of Payan and Sakarovitch by proving that the latter possibility (a near-independent set and a tree) can always be guaranteed. Moreover, we relax the assumption of cyclic $4$-edge-connectivity to a significantly weaker condition expressed through the canonical decomposition of 3-connected cubic graphs into cyclically $4$-edge-connected ones. Our methods substantially use a surprising and seemingly distant relationship between the decycling number and the maximum genus of a cubic graph.
Block eccentricity, a radius bound, and an application to the Randić index
We propose a framework for thinking about eccentricity in terms of blocks. We extend the familiar definitions of radius and center to blocks and verify that a central block contains all central points. We classify graphs into two types depending upon the relationship between block radius and vertex radius and between central blocks and central vertices; from this we derive a new lower bound on diameter in terms of the diameter of the central block. We also identify a subgraph which respects the block structure of the original graph and realizes the same vertex radius, and we use it to verify that cactus graphs satisfy a conjectured bound between vertex radius and the Randic index, an invariant from mathematical chemistry.
Dimension of splines on graphs in the case of degree two and smoothness one in two variables
Published
• View Publication
• BIB
Continuous spline functions are defined as piecewise polynomials on the faces of a polyhedral complex that agree on the intersections of two faces. Splines are used in approximation theory and numerical analysis, with applications in data interpolation, to create smooth curves in computer graphics and to find numerical solutions to partial differential equations. Gilbert, Tymoczko, and Viel generalized the classical splines combinatorially and algebraically: a generalized spline is a vertex labeling of a graph $G$ by elements of the ring so that the difference between the labels of any two adjacent vertices lies in the ideal generated by the corresponding edge label. We study the generalized splines on the planar graphs whose edges are labeled by two-variable polynomials of the form $(ax+by+c)^2$ and whose vertices are labeled by polynomials of degree at most two. In this paper we address the upper-bound conjecture for the dimension of degree-2 splines of smoothness 1. The dimension is expressed in terms of the rank of the extended cycle basis matrix. We also provide a combinatorial algorithm on graphs to compute the rank by contracting certain subgraphs.
Cycle Partitions in Dense Regular Digraphs and Oriented Graphs
Published in Forum of Mathematics, Sigma 13 (2025) e79
• View Publication
• BIB
A conjecture of Jackson from 1981 states that every $d$-regular oriented graph on $n$ vertices with $n\leq 4d+1$ is Hamiltonian. We prove this conjecture for sufficiently large $n$. In fact we prove a more general result that for all $α>0$, there exists $n_0=n_0(α)$ such that every $d$-regular digraph on $n\geq n_0$ vertices with $d \geq αn $ can be covered by at most $n/(d+1)$ vertex-disjoint cycles, and moreover that if $G$ is an oriented graph, then at most $n/(2d+1)$ cycles suffice.
Covering the edges of a graph with perfect matchings
Published
• View Publication
• BIB
An $r$-graph is an $r$-regular graph with no odd cut of size less than $r$. A well-celebrated result due to Lovász says that for such graphs the linear system $Ax = \textbf{1}$ has a solution in $\mathbb{Z}/2$, where $A$ is the $0,1$ edge to perfect matching incidence matrix. Note that we allow $x$ to have negative entries. In this paper, we present an improved version of Lovász's result, proving that, in fact, there is a solution $x$ with all entries being either integer or $+1/2$ and corresponding to a linearly independent set of perfect matchings. Moreover, the total number of $+1/2$'s is at most $6k$, where $k$ is the number of Petersen bricks in the tight cut decomposition of the graph.
A Regular Unimodular Triangulation of the Matroid Base Polytope
Published
• View Publication
• BIB
We produce the first regular unimodular triangulation of an arbitrary matroid base polytope. We then extend our triangulation to integral generalized permutahedra. Prior to this work it was unknown whether each matroid base polytope admitted a unimodular cover.
Inverse Formulae for $q$-analogues of Bipartite Distance Matrix
We consider two distinct $q$-analogues of the bipartite distance matrix, namely the $q$-bipartite distance matrix and the exponential distance matrix. We provide formulae of the inverse for these matrices, which extend the existing results for the bipartite distance matrix. These investigations lead us to introduce a $q$-analogue version of the bipartite Laplacian matrix.
On the arithmetic Hilbert depth
Let $h:\mathbb Z \to \mathbb Z_{\geq 0}$ be a nonzero function with $h(k)=0$ for $k\ll 0$. We define the Hilbert depth of $h$ by $\operatorname{hdepth}(h)=\max\{d\;:\; \sum_{j\leq k} (-1)^{k-j}\binom{d-j}{k-j}h(j)\geq 0\text{ for all }k\leq d\}$. We show that $\operatorname{hdepth}(h)$ is a natural generalization for the Hilbert depth of a subposet $\operatorname{P}\subset 2^{[n]}$ and we prove some basic properties of it.
Given $h(j)=\begin{cases} aj^n+b,& j\geq 0 \\ 0, & j<0 \end{cases}$, with $a,b,n$ positive integers, we compute $\operatorname{hdepth}(h)$ for $n=1,2$ and we give upper bounds for $\operatorname{hdepth}(h)$ for $n\geq 3$. More generally, if $h(j)=\begin{cases} P(j),& j\geq 0 \\ 0,& j<0 \end{cases}$, where $P(j)$ is a polynomial of degree $n$, with non-negative integer coefficients, and $P(0)>0$, we show that $\operatorname{hdepth}(h)\leq 2^{n+1}$.
On edge-ordered graphs with linear extremal functions
Published
• View Publication
• BIB
The systematic study of Turán-type extremal problems for edge-ordered graphs was initiated by Gerbner et al. in 2020. Here we characterize connected edge-ordered graphs with linear extremal functions and show that the extremal function of other connected edge-ordered graphs is $Ω(n\log n)$. This characterization and dichotomy are similar in spirit to results of Füredi et al. (2020) about vertex-ordered and convex geometric graphs. We also extend the study of extremal function of short edge-ordered paths by Gerbner et al. to some longer paths.
Game Connectivity and Adaptive Dynamics
We analyse the typical structure of games in terms of the connectivity properties of their best-response graphs. Our central result shows that, among games that are `generic' (without indifferences) and that have a pure Nash equilibrium, all but a small fraction are \emph{connected}, meaning that every action profile that is not a pure Nash equilibrium can reach every pure Nash equilibrium via best-response paths. This has important implications for dynamics in games. In particular, we show that there are simple, uncoupled, adaptive dynamics for which period-by-period play converges almost surely to a pure Nash equilibrium in all but a small fraction of generic games that have one (which contrasts with the known fact that there is no such dynamic that leads almost surely to a pure Nash equilibrium in \emph{every} generic game that has one). We build on recent results in probabilistic combinatorics for our characterisation of game connectivity.
Partition regularity of Pythagorean pairs
Published in Forum of Mathematics, Pi 13 (2025) e5
• View Publication
• BIB
We address a core partition regularity problem in Ramsey theory by proving that every finite coloring of the positive integers contains monochromatic Pythagorean pairs, i.e., $x,y\in \mathbb{N}$ such that $x^2\pm y^2=z^2$ for some $z\in \mathbb{N}$. We also show that partitions generated by level sets of multiplicative functions taking finitely many values always contain Pythagorean triples. Our proofs combine known Gowers uniformity properties of aperiodic multiplicative functions with a novel and rather flexible approach based on concentration estimates of multiplicative functions.
Partial triangulations of surfaces with girth constraints
Barnette and Edelson have shown that there are finitely many minimal triangulations of a connected compact 2-manifold M. Similar finiteness results are obtained for cellular partial triangulations that satisfy various girth inequality constraints for embedded cycles. A characterisation of various M-embedded sparse graphs is given in terms of the satisfaction of higher genus girth inequalities. With this it is shown that there are finitely many contraction-minimal M-embedded graphs that are (3,6)-tight or (3,3)-tight.
Demazure crystal structure for flagged reverse plane partitions
Published
• View Publication
• BIB
Given a skew shape $ λ/ μ$ and a flag $Φ,$ we show that the set of all flagged reverse plane partitions of shape $λ/ μ$ and flag $Φ$ is a disjoint union of Demazure crystals (up to isomorphism). As a result, the flagged dual stable Grothendieck polynomial $ g_{λ/μ}(X_Φ)$ is shown to be key positive.
New bounds for the same-type lemma
Published
• View Publication
• BIB
Given finite sets $X_1,\dotsc,X_m$ in $\mathbb{R}^d$ (with $d$ fixed), we prove that there are respective subsets $Y_1,\dotsc,Y_m$ with $|Y_i|\ge \frac{1}{\operatorname{poly}(m)}|X_i|$ such that, for $y_1\in Y_1,\dotsc,y_m\in Y_m$, the orientations of the $(d+1)$-tuples from $y_1,\dotsc,y_m$ do not depend on the actual choices of points $y_1,\dotsc,y_m$. This generalizes previously known case when all the sets $X_i$ are equal. Furthermore, we give a construction showing that polynomial dependence on $m$ is unavoidable, as well as an algorithm that approximates the best-possible constants in this result.
A Generalization of a Theorem of Mandel
A theorem of Mandel allows to determine the covector set of an oriented matroid from its set of topes by using the composition condition. We provide a generalization of that result, stating that the covector set of a conditional oriented matroid can also be determined by its set of topes, but by using the face symmetry condition. It permits to represent geometrical configurations in terms of conditional oriented matroids, more suitable for computer calculations. We treat apartments of hyperplane arrangements as example.
Determination of hyperovals by lines through a few points
If S is a set of q+2 points in P^2(F_q) such that some point of S is not on any line containing two other points of S, then in suitable coordinates S has the form S_f:={(c:f(c):1) : c in F_q} U {(1:0:0),(0:1:0)} for some f(X) in F_q[X]. Let T be a subset of S_f which contains the two infinite points and at least 3+log_3(q)/4 finite points. We show that if there is no line passing through a point of T and two other points of S_f, and deg(f)<=q^{1/4}, then no three points of S_f are collinear, so that S_f is a hyperoval. We also determine all f(X) with deg(f)<=q^{1/4} for which S_f is a hyperoval, which strengthens a result that was proved by Caullery and Schmidt using entirely different methods.