Showing 20 papers (Total: 83842 papers, 48355 authors in database)
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.
On Vizing's problem for triangle-free graphs
Published
• View Publication
• BIB
We prove that $χ(G) \le \lceil (Δ+1)/2\rceil+1$ for any triangle-free graph $G$ of maximum degree $Δ$ provided $Δ\ge 524$. This gives tangible progress towards an old problem of Vizing, in a form cast by Reed. We use a method of Hurley and Pirot, which in turn relies on a new counting argument of the second author.
Octopuses in the Boolean cube: families with pairwise small intersections, part II
The problem we consider originally arises from 2-level polytope theory. This class of polytopes generalizes a number of other polytope families. One of the important questions in this filed can be formulated as follows: is it true for a $d$-dimensional 2-level polytope that the product of the number of its vertices and the number of its $d-1$ dimensional facets is bounded by $d2^{d - 1}$? Recently, Kupavskii and Weltge~\cite{Kupavskii2020} settled this question in positive. A key element in their proof is a more general result for families of vectors in $\mathbb{R}^d$ such that the scalar product between any two vectors from different families is either $0$ or $1$.
Peter Frankl noted that, when restricted to the Boolean cube, the solution boils down to an elegant application of the Harris--Kleitman correlation inequality. Meanwhile, this problem becomes much more sophisticated when we consider several families.
Let $\mathcal{F}_1, \ldots, \mathcal{F}_\ell$ be families of subsets of $\{1, \ldots, n\}$. We suppose that for distinct $k, k'$ and arbitrary $F_1 \in \mathcal{F}_{k}, F_2 \in \mathcal{F}_{k'}$ we have $|F_1 \cap F_2|\leqslant m.$ We are interested in the maximal value of $|\mathcal{F}_1|\ldots |\mathcal{F}_\ell|$ and the structure of the extremal example.
In the previous paper on the topic, the authors found the asymptotics of this product for constant $\ell$ and $m$ as $n$ tends to infinity. However, the possible structure of the families from the extremal example turned out to be very complicated. In this paper, we obtain a strong structural result for the extremal families.
Improved bounds for the zeros of the chromatic polynomial via Whitney's Broken Circuit Theorem
Published
• View Publication
• BIB
We prove that for any graph $G$ of maximum degree at most $Δ$, the zeros of its chromatic polynomial $χ_G(x)$ (in $\mathbb{C}$) lie inside the disc of radius $5.94 Δ$ centered at $0$. This improves on the previously best known bound of approximately $6.91Δ$.
We also obtain improved bounds for graphs of high girth. We prove that for every $g$ there is a constant $K_g$ such that for any graph $G$ of maximum degree at most $Δ$ and girth at least $g$, the zeros of its chromatic polynomial $χ_G(x)$ lie inside the disc of radius $K_g Δ$ centered at $0$, where $K_g$ is the solution to a certain optimization problem. In particular, $K_g < 5$ when $g \geq 5$ and $K_g < 4$ when $g \geq 25$ and $K_g$ tends to approximately $3.86$ as $g \to \infty$.
Key to the proof is a classical theorem of Whitney which allows us to relate the chromatic polynomial of a graph $G$ to the generating function of so-called broken-circuit-free forests in $G$. We also establish a zero-free disc for the generating function of all forests in $G$ (aka the partition function of the arboreal gas) which may be of independent interest.
Restricted sumsets in multiplicative subgroups
Published in Canadian J. Math., 2025+
• View Publication
• BIB
We establish the restricted sumset analogue of the celebrated conjecture of Sárközy on additive decompositions of the set of nonzero squares over a finite field. More precisely, we show that if $q>13$ is an odd prime power, then the set of nonzero squares in $\mathbb{F}_q$ cannot be written as a restricted sumset $A \hat{+} A$, extending a result of Shkredov. More generally, we study restricted sumsets in multiplicative subgroups over finite fields as well as restricted sumsets in perfect powers (over integers) motivated by a question of Erdős and Moser. We also prove an analogue of van Lint-MacWilliams' conjecture for restricted sumsets, which appears to be the first analogue of Erdős-Ko-Rado theorem in a family of Cayley sum graphs.
A bijection for tuples of commuting permutations and a log-concavity conjecture
Published
• View Publication
• BIB
Let $A(\ell,n,k)$ denote the number of $\ell$-tuples of commuting permutations of $n$ elements whose permutation action results in exactly $k$ orbits or connected components. We provide a new proof of an explicit formula for $A(\ell,n,k)$ which is essentially due to Bryan and Fulman, in their work on orbifold higher equivariant Euler characteristics. Our proof is self-contained, elementary, and relies on the construction of an explicit bijection, in order to perform the $\ell+1\rightarrow \ell$ reduction. We also investigate a conjecture by the first author, regarding the log-concavity of $A(\ell,n,k)$ with respect to $k$. The conjecture generalizes a previous one by Heim and Neuhauser related to the Nekrasov-Okounkov formula.
Undecidability of translational monotilings
Published
• View Publication
• BIB
In the 60's, Berger famously showed that translational tilings of $\mathbb{Z}^2$ with multiple tiles are algorithmically undecidable. Recently, Bhattacharya proved the decidability of translational monotilings (tilings by translations of a single tile) in $\mathbb{Z}^2$. The decidability of translational monotilings in higher dimensions remained unsolved. In this paper, by combining our recently developed techniques with ideas introduced by Aanderaa and Lewis, we finally settle this problem, achieving the undecidability of translational monotilings of (periodic subsets of) virtually $\mathbb{Z}^2$ spaces, namely, spaces of the form $\mathbb{Z}^2\times G_0$, where $G_0$ is a finite Abelian group. This also implies the undecidability of translational monotilings in $\mathbb{Z}^d$, $d\geq 3$.
Relativistic Propagators on Lattices
I define the lattice propagator on a very general collection of graphs, namely graphs locally isomorphic to $\mathbb{Z}^{d}\times \mathbb{Z}$. I then define polygonal approximations to the minkowski metric and define a corresponding lattice propagator for these. I show in $d=1$, as suggested by the metric approximation, the continuum limit of the polygonal propagators converges to the Klien Gordon Propagator. Finally, I obtain the taxicab polygonal propagator in a very general collection of spaces, including $\mathbb{T}^{d}$, the Klein bottle, and a discretization of de-Sitter space.
A sufficient condition for cubic 3-connected plane bipartite graphs to be hamiltonian
Published
• View Publication
• BIB
Barnette's conjecture asserts that every cubic $3$-connected plane bipartite graph is hamiltonian. Although, in general, the problem is still open, some partial results are known. In particular, let us call a face of a plane graph big (small) if it has at least six edges (it has four edges, respectively). Goodey proved for a $3$-connected bipartite cubic plane graph $P$, that if all big faces in $P$ have exactly six edges, then $P$ is hamiltonian. In this paper we prove that the same is true under the condition that no face in $P$ has more than four big neighbours. We also prove, that if each vertex in $P$ is incident both with a small and a big face, then~$P$ has at least $2^{k}$ different Hamilton cycles, where $k = \left\lceil\frac{|B|-2}{4Δ(B) - 7}\right\rceil$, $|B|$ is the number of big faces in $P$ and $Δ(B)$ is the maximum size of faces in $P$. 15 pages
The Stein theorem for loopless 2-connected plane multigraphs
Stein proved that for each simple plane triangulation H there exists a partitioning of the vertex of H into two subsets each of which induces a forest if and only if the dual H^{*} has a Hamilton cycle. We extend the Stein theorem for graphs in the family of all loopless 2-connected plane multigraphs and we prove some other equivalent results.