Showing 20 papers (Total: 82374 papers, 47635 authors in database)
On the interaction of the Coxeter transformation and the rowmotion bijection
Published
• View Publication
• BIB
Let $P$ be a finite poset and $L$ the associated distributive lattice of order ideals of $P$. Let $ρ$ denote the rowmotion bijection of the order ideals of $P$ viewed as a permutation matrix and $C$ the Coxeter matrix for the incidence algebra $kL$ of $L$. Then we show the identity $(ρ^{-1} C)^2=id$, as was originally conjectured by Sam Hopkins. Recently it was noted that the rowmotion bijection is a special case of the much more general grade bijection $R$ that exists for any Auslander regular algebra. This motivates to study the interaction of the grade bijection and the Coxeter matrix for general Auslander regular algebras. For the class of higher Auslander algebras coming from $n$-representation finite algebras we show that $(R^{-1} C)^2=id$ if $n$ is even and $(R^{-1}C+id)^2=0$ when $n$ is odd.
Coloring distance graphs on the plane
Published
• View Publication
• BIB
We consider the coloring of certain distance graphs on the Euclidean plane. Namely, we ask for the minimal number of colors needed to color all points of the plane in such a way that pairs of points at distance in the interval $[1,b]$ get different colors. The classic Hadwiger-Nelson problem is a special case of this question -- obtained by taking $b=1$. The main results of the paper are improved lower and upper bounds on the number of colors for some values of $b$. In particular, we determine the minimal number of colors for two ranges of values of $b$ - one of which is enlarging an interval presented by Exoo and the second is completely new. Up to our knowledge, these are the only known families of distance graphs on the plane with a determined nontrivial chromatic number. Moreover, we present the first $8$-coloring for $b$ larger than values of $b$ for the known $7$-colorings. As a byproduct, we give some bounds and exact values for bounded parts of the plane, specifically by coloring certain annuli.
High-Girth Steiner Triple Systems
Published
• View Publication
• BIB
We prove a 1973 conjecture due to Erdős on the existence of Steiner triple systems with arbitrarily high girth.
Supercongruences involving products of two binomial coefficients modulo $p^4$
Published in Journal of Symbolic Computation 135 (2026), Art. 102545
• View Publication
• BIB
In this paper, we mainly prove a congruence conjecture of Z.-W. Sun \cite{Sjnt}: Let $p>5$ be a prime. Then $$ \sum_{k=(p+1)/2}^{p-1}\frac{\binom{2k}k^2}{k16^k}\equiv-\frac{21}2H_{p-1}\pmod{p^4}, $$ where $H_n$ denotes the $n$-th harmonic number.
Generalized Turán densities in the hypercube
Published
• View Publication
• BIB
A classical extremal, or Turán-type problem asks to determine ${\rm ex}(G, H)$, the largest number of edges in a subgraph of a graph $G$ which does not contain a subgraph isomorphic to $H$. Alon and Shikhelman introduced the so-called generalized extremal number ${\rm ex}(G,T,H)$, defined to be the maximum number of subgraphs isomorphic to $T$ in a subgraph of $G$ that contains no subgraphs isomorphic to $H$. In this paper we investigate the case when $G = Q_n$, the hypercube of dimension $n$, and $T$ and $H$ are smaller hypercubes or cycles.
Characterizations of families of morphisms and words via binomial complexities
Published
• View Publication
• BIB
Two words are $k$-binomially equivalent if each subword of length at most $k$ occurs the same number of times in both words. The $k$-binomial complexity of an infinite word is a counting function that maps $n$ to the number of $k$-binomial equivalence classes represented by its factors of length $n$. Cassaigne et al. [Int. J. Found. Comput. S., 22(4) (2011)] characterized a family of morphisms, which we call Parikh-collinear, as those morphisms that map all words to words with bounded $1$-binomial complexity. Firstly, we extend this characterization: they map words with bounded $k$-binomial complexity to words with bounded $(k+1)$-binomial complexity. As a consequence, fixed points of Parikh-collinear morphisms are shown to have bounded $k$-binomial complexity for all $k$. Secondly, we give a new characterization of Sturmian words with respect to their $k$-binomial complexity. Then we characterize recurrent words having, for some $k$, the same $j$-binomial complexity as the Thue-Morse word for all $j\le k$. Finally, inspired by questions raised by Lejeune, we study the relationships between the $k$- and $(k+1)$-binomial complexities of infinite words; as well as the link with the usual factor complexity.
Æquitas: Two-Player Counterfeit Coin Games
We discuss games involving a counterfeit coin. Given one counterfeit coin among a number of otherwise identical coins, two players with full knowledge of the fake coin take turns weighing coins on a two-pan scale, under the condition that on every turn they reveal some information to an Observer with limited prior knowledge about the coins. We study several games depending on the types of the counterfeit coin, the end-game condition, and the availability of extra genuine coins. We present the winning positions and the Grundy numbers for these games.
Cliques in realization graphs
Published
• View Publication
• BIB
The realization graph $\mathcal{G}(d)$ of a degree sequence $d$ is the graph whose vertices are labeled realizations of $d$, where edges join realizations that differ by swapping a single pair of edges. Barrus [On realization graphs of degree sequences, Discrete Mathematics, vol. 339 (2016), no. 8, pp. 2146-2152] characterized $d$ for which $\mathcal{G}(d)$ is triangle-free. Here, for any $n \geq 4$, we describe a structure in realizations of $d$ that exactly determines whether $G(d)$ has a clique of size $n$. As a consequence we determine the degree sequences $d$ for which $\mathcal{G}(d)$ is a complete graph on $n$ vertices.
A Combinatorial Proof of the Existence of Dense subsets in R without the "Steinhaus" like Property
Published
• View Publication
• BIB
This paper proves the existence of nonmeasurable dense sets with additional properties using combinatorial techniques.
Negative Latin Square Type Partial Difference Sets in Nonabelian Groups of Order 64
Published
• View Publication
• BIB
There exist few examples of negative Latin square type partial difference sets (NLST PDSs) in nonabelian groups. We present a list of 176 inequivalent NLST PDSs in 48 nonisomorphic, nonabelian groups of order 64. These NLST PDSs form 8 nonisomorphic strongly regular graphs. These PDSs were constructed using a combination of theoretical techniques and computer search, both of which are described. The search was run exhaustively on 212/267 nonisomorphic groups of order 64.
Asymptotic Optimality of the Greedy Patching Heuristic for Max TSP in Doubling Metrics
The maximum traveling salesman problem (Max~TSP) consists of finding a Hamiltonian cycle with the maximum total weight of the edges in a given complete weighted graph. We prove that, in the case when the edge weights are induced by a metric space of bounded doubling dimension, asymptotically optimal solutions of the problem can be found by the simple greedy patching heuristic. Taking as a start point a maximum-weight cycle cover, this heuristic iteratively patches pairs of its cycles into one minimizing the weight loss at each step.
Finding a second Hamiltonian decomposition of a 4-regular multigraph by integer linear programming
Published
• View Publication
• BIB
A Hamiltonian decomposition of a regular graph is a partition of its edge set into Hamiltonian cycles. We consider the second Hamiltonian decomposition problem: for a 4-regular multigraph find 2 edge-disjoint Hamiltonian cycles different from the given ones. This problem arises in polyhedral combinatorics as a sufficient condition for non-adjacency in the 1-skeleton of the travelling salesperson polytope. We introduce two integer linear programming models for the problem based on the classical Dantzig-Fulkerson-Johnson and Miller-Tucker-Zemlin formulations for the travelling salesperson problem. To enhance the performance on feasible problems, we supplement the algorithm with a variable neighbourhood descent heuristic w.r.t. two neighbourhood structures, and a chain edge fixing procedure. Based on the computational experiments, the Dantzig-Fulkerson-Johnson formulation showed the best results on directed multigraphs, while on undirected multigraphs, the variable neighbourhood descent heuristic was especially effective.
Perfect matchings in down-sets
Published
• View Publication
• BIB
In this paper, we show that, given two down-sets (simplicial complexes) there is a matching between them that matches disjoint sets and covers the smaller of the two down-sets. This result generalizes an unpublished result of Berge from circa 1980. The result has nice corollaries for cross-intersecting families and Chvátal's conjecture. More concretely, we show that Chvátal's conjecture is true for intersecting families with covering number $2$.
A family $\mathcal F\subset 2^{[n]}$ is intersection-union (IU) if for any $A,B\in\mathcal F$ we have $1\le |A\cap B|\le n-1$. Using the aforementioned result, we derive several exact product- and sum-type results for IU-families.
Long induced paths in minor-closed graph classes and beyond
Published
• View Publication
• BIB
In this paper we show that every graph of pathwidth less than $k$ that has a path of order $n$ also has an induced path of order at least $\frac{1}{3} n^{1/k}$. This is an exponential improvement and a generalization of the polylogarithmic bounds obtained by Esperet, Lemoine and Maffray (2016) for interval graphs of bounded clique number. We complement this result with an upper-bound.
This result is then used to prove the two following generalizations:
- every graph of treewidth less than $k$ that has a path of order $n$ contains an induced path of order at least $\frac{1}{4} (\log n)^{1/k}$;
- for every non-trivial graph class that is closed under topological minors there is a constant $d \in (0,1)$ such that every graph from this class that has a path of order $n$ contains an induced path of order at least $(\log n)^d$.
We also describe consequences of these results beyond graph classes that are closed under topological minors.
PBW degenerations, quiver Grassmannians, and toric varieties
Published
• View Publication
• BIB
We present a review on the recently discovered link between the Lie theory,the theory of quiver Grassmannians, and various degenerations of flag varieties. Our starting point is the induced Poincaré--Birkhoff--Witt filtration on the highest weight representations and the corresponding PBW degenerate flag varieties.
Virtual motives for synthetic geometries, A. Definition and properties of $K_0(\mathcal{Q}_\ell)$
Published
• View Publication
• BIB
In this note, we introduce the first basics on Grothendieck rings for incidence geometries as a new motivic way and tool to study synthetic geometry. In this first instance, we concentrate on generalized quadrangles and related geometries. Many questions, new properties and insights arise along the way.
Epimorphisms of generalized polygons A: The planes, quadrangles and hexagons
Published
• View Publication
• BIB
Inspired by a theorem by Skornjakov-Hughes-Pasini [9, 7, 8] and a problem which turned up in our recent paper [13], we start a study of epimorphisms with source a thick generalized m-gon and target a thin generalized m-gon. In this first part of the series, we classify the cases m = 3, 4 and 6 when the polygons are finite. Then we show that the infinite case is very different, and construct examples which strongly deviate from the finite case. A number of general structure theorems are also obtained. We introduce the theory of locally finitely generated generalized polygons and locally finitely chained generalized polygons along the way.
Khintchine-type recurrence for 3-point configurations
Published in Forum of Mathematics, Sigma , Volume 10 , 2022
• View Publication
• BIB
The goal of this paper is to generalize, refine, and improve results on large intersections. We show that if $G$ is a countable abelian group and $\varphi, ψ: G \to G$ are homomorphisms such that at least two of the three subgroups $\varphi(G)$, $ψ(G)$, and $(ψ-\varphi)(G)$ have finite index in $G$, then $\{\varphi, ψ\}$ has the \emph{large intersections property}. That is, for any ergodic measure preserving system $X=(X,\mathcal{X},μ,(T_g)_{g\in G})$, any $A\in\mathcal{X}$, and any $\varepsilon>0$, the set $$\{g\in G : μ(A\cap T_{\varphi(g)}^{-1} A\cap T_{ψ(g)}^{-1}A)>μ(A)^3-\varepsilon\}$$ is syndetic. Moreover, in the special case where $\varphi(g)=ag$ and $ψ(g)=bg$ for $a,b\in\mathbb{Z}$, we show that we only need one of the groups $aG$, $bG$, or $(b-a)G$ to be of finite index in $G$, and we show that the property fails in general if all three groups are of infinite index. One particularly interesting case is where $G=(\mathbb{Q}_{>0},\cdot)$ and $\varphi(g)=g$, $ψ(g)=g^2$, which leads to a multiplicative version for the large intersection result of Bergelson-Host-Kra. We also completely characterize the pairs of homomorphisms $\varphi,ψ$ that have the large intersections property when $G=\mathbb{Z}^2$. The proofs of our main results rely on analysis of the structure of the \emph{universal characteristic factor} for the multiple ergodic averages $$\frac{1}{|Φ_N|} \sum_{g\in Φ_N}T_{\varphi(g)}f_1\cdot T_{ψ(g)} f_2.$$ In the case where $G$ is finitely-generated, the characteristic factor for such averages is the \emph{Kronecker factor}. In this paper, we study actions of groups that are not necessarily finitely-generated, showing in particular that by passing to an extension of $X$, one can describe the characteristic factor in terms of the \emph{Conze--Lesigne factor} and the $σ$-algebras of $\varphi(G)$ and $ψ(G)$ invariant functions.
Sufficient conditions for perfect mixed tilings
Published
• View Publication
• BIB
We develop a method to study sufficient conditions for perfect mixed tilings. Our framework allows the embedding of bounded degree graphs $H$ with components of sublinear order. As a corollary, we recover and extend the work of Kühn and Osthus regarding sufficient minimum degree conditions for perfect $F$-tilings (for an arbitrary fixed graph $F$) by replacing the $F$-tiling with the aforementioned graphs $H$. Moreover, we obtain analogous results for degree sequences and in the setting of uniformly dense graphs. Finally, we asymptotically resolve a conjecture of Komlós in a strong sense.
The minimum number of clique-saturating edges
Published
• View Publication
• BIB
Let $G$ be a $K_p$-free graph. We say $e$ is a $K_p$-saturating edge of $G$ if $e\notin E(G)$ and $G+e$ contains a copy of $K_p$. Denote by $f_p(n, e)$ the minimum number of $K_p$-saturating edges that an $n$-vertex $K_p$-free graph with $e$ edges can have. Erdős and Tuza conjectured that $f_4(n,\lfloor n^2/4\rfloor+1)=\left(1 + o(1)\right)\frac{n^2}{16}.$ Balogh and Liu disproved this by showing $f_4(n,\lfloor n^2/4\rfloor+1)=(1+o(1))\frac{2n^2}{33}$. They believed that a natural generalization of their construction for $K_p$-free graph should also be optimal and made a conjecture that $f_{p+1}(n,ex(n,K_p)+1)=\left(\frac{2(p-2)^2}{p(4p^2-11p+8)}+o(1)\right)n^2$ for all integers $p\ge 3$. The main result of this paper is to confirm the above conjecture of Balogh and Liu.