Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Modeling FO-limits for monadically stable sequences
We show that given a monadically stable theory $T$, a sufficiently saturated $\mathbf M \models T$, and a coherent system of probability measures on the $σ$-algebras generated by parameter-definable sets of $\mathbf M$ in each dimension, we may produce a totally Borel $\mathbf B \prec \mathbf M$ realizing these measures. Our main application is to prove that every FO-convergent sequence of structures (with countable signature) from a monadically stable class admits a modeling limit. As another consequence, we prove a Borel removal lemma for monadically stable Lebesgue relational structures.
Parseval-type identities for Gowers uniformity norms in finite abelian groups
Orthogonality relations for cubes of characters in Gowers inner products $\langle \cdot \rangle_{d,l}$ lead to Parseval-type identities and isometries for suitably generalized Gowers uniformity norms $U^{d,l}$.
K-promotion on m-packed labelings of posets
Published
• View Publication
• BIB
Schutzenberger's promotion operator, pro, is a fundamental map in dynamical algebraic combinatorics. At first, its action was mainly considered on standard Young tableaux. But pro was subsequently shown to have interesting properties when applied to natural labelings of other posets. Pechenik defined a K-theoretic version of promotion, pro_K, on m-packed labelings of tableaux. The operator pro was then extended to increasing labelings of other posets. The purpose of the current work is to show that the original action of pro_K on m-packed labelings yields interesting results when applied to partially ordered sets in general, and to rooted trees in particular. We show that under certain conditions, the sizes of the orbits and order of pro_K exhibit nice divisibility properties. We also completely determine, for certain values of m, the orbit sizes for the action on various types of rooted trees such as extended stars, combs, zippers, and a type of three-leaved tree.
The connectivity dimension of a graph
This article investigates the connectivity dimension of a graph. We introduce this concept in analogy to the metric dimension of a graph, providing a graph parameter that measures the heterogeneity of the connectivity structure of a graph. We fully characterize extremal examples and present explicit constructions of infinitely many graphs realizing any prescribed non-extremal connectivity dimension. We also establish a general lower bound in terms of the graph's block structure, linking the parameter to classical notions from graph theory. Finally, we prove that the problem of computing the connectivity dimension is NP-complete.
Lights Out On Nearly Complete Graphs
We study the generalization of the game Lights Out in which the standard square grid board is replaced by a graph. We examine the probability that, when a graph is chosen uniformly at random from the set of graphs with $n$ vertices and $e$ edges, the resulting game of Lights Out is universally solvable. Our work focuses on nearly complete graphs, graphs for which $e$ is close to $\binom{n}{2}$. For large values of $n$, we prove that, among nearly complete graphs, the probability of selecting a graph that gives a universally solvable game of Lights Out is maximized when $e = \binom{n}{2} - \lfloor \frac{n}{2} \rfloor$. More specifically, we prove that for any fixed integer $m > 0$, as $n$ approaches $\infty$, this value of $e$ maximizes the probability over all values of $e$ from $\binom{n}{2} - \lfloor \frac{n}{2} \rfloor - m$ to $\binom{n}{2}$.
All Type-2 isomorphic circulant graphs of $C_{16}(R)$ and $C_{24}(S)$
Circulant graphs $C_n(R)$ and $C_n(S)$ are said to be \emph{Adam's isomorphic} or {\em Type-1 isomorphic} if there exist some $a\in \mathbb{Z}_n^*$ such that $S = a R$ under arithmetic reflexive modulo $n$ \cite{ad67}. In 1970, Elspas and Turner \cite{eltu} raised a question on the isomorphism of $C_{16}(1,2,7)$ and $C_{16}(2,3,5)$ and in 1996, Vilfred \cite{v96} gave its answer by defining Type-2 isomorphism of $C_n(R)$ w.r.t. $m$ $\ni$ $m$ = $\gcd(n, r) > 1$, $r\in R$ and $r,n\in\mathbb{N}$ and studied such graphs for $m$ = 2 in \cite{v13,v20}. Vilfred and Wilson \cite{vw1} - \cite{vw3} obtained families of Type-2 isomorphic circulant graphs for $m$ = 3,5,7. In this paper, the author modifies the definition of Type-2 isomorphism of circulant graphs $C_n(R)$ w.r.t. $m$ by considering $m > 1$ is a divisor of $\gcd(n, r)$ and $r\in R$ and study Type-2 isomorphic circulant graphs of orders 16 and 24. We show that the number of pairs of Type-2 isomorphic circulant graphs of orders 16 and 24 are 8 and 32, respectively and list them all.
The exact Turán number of generalized book graph $B_{r,k}$ in non-$r$-partite graphs
Given a graph $H,$ we say that a graph is \textit{$H$-free} if it does not contain $H$ as a subgraph. The Turán number $\ex(n,H)$ of $H$ is the maximum number of edges in an $n$-vertex $H$-free graph, the set of all the corresponding extremal graphs is denoted by $\Ex(n, H)$. The study of Turán number of graphs is a central topic in extremal graph theory. A graph is \textit{color-critical} if it contains an edge whose deletion reduces its chromatic number. Simonovits showed that if $H$ is a color-critical graph of chromatic number $r+1,$ then for sufficiently large $n,$ $\Ex(n, H)=\{T_r(n)\},$ the $r$-partite Turán graph of order $n.$ Given a color-critical graph $H$ with chromatic number $r+1,$ it is interesting to determine $H$-free non-$r$-partite graphs with maximum number of edges. For a graph $H$ with chromatic number $r+1,$ denote $\ex_{r+1}(n,H)$ the maximum number of edges in non-$r$-partite $H$-free graphs of order $n,$ the set of all non-$r$-partite $H$-free graphs of order $n$ and size $\ex_{r+1}(n,H)$ is denoted by $\Ex_{r+1}(n, H)$. For $r\geq 3,\,k\geq1,$ the generalized book graph \({B}_{r,k}\) is a graph obtained by joining every vertex of $K_r$ to every vertex of an independent set of size \(k\). Note that \({B}_{r,k}\) is a color-critical graph of chromatic number $r+1.$ In this paper, based on the stability theory and local structure characterization, the exact value of $\ex_{r+1}(n,B_{r,k})$ is determined and all the corresponding extremal graphs are identified, where $r\geq 3,\,k\geq1$ and $n$ is sufficiently large.
Remarks on the Brouwer Conjecture
The Brouwer conjecture (BC) in spectral graph theory claims that the sum of the largest k Kirchhoff eigenvalues of a graph are bounded above by the number m of edges plus k(k+1)/2. We show that (BC) holds for all graphs with n vertices if n is larger or equal than 4 times the square of the maximal vertex degree. We also note that (BC) for graphs implies (BC) for quivers.
Randomised algebraic constructions for the no-$(k+1)$-in-line problem
The no-(k+1)-in line problem seeks the maximum number of points that can be selected from an $n \times n$ square lattice such that no $k+1$ of them are collinear. The problem was first posed more than $100$ years ago for the special case $k=2$ and has remained open ever since. The general problem was recently resolved in the case $k$ is not small compared to $n$, as Kovács, Nagy and Szabó proved that the upper bound $kn$ can be attained, provided that $k>C\sqrt{n\log{n}}$ for an absolute constant $C$.
In this paper, we show that $\left(1-\tfrac{2}{k}\right)kn \leq f_k(n)\leq kn$ and $\left(1-\tfrac{3}{k}\right)kn \leq f_k(n)\leq kn$ hold for every even $k$ and odd $k$, respectively, provided that $n$ is large enough. This is asymptotically tight as $k\to \infty$. Previously, only $f_k(n)=Ω(kn)$ was known due to Lefmann.
We present further improvements on the lower bounds for constant values of $k$ when $k<23$ holds. All these bounds are based on randomised algebraic constructions.
Computer-aided solution to the $k$-bonacci pick-up sticks problem
A full solution to the recently proposed problem of determining the probability that no $k$-gon can be built from $n$ independently and uniformly chosen sticks in $[0,1]$ is proposed. This extends the known results for triangles and quadrilaterals to general $k$-gons and offers a clearer interpretation of the connection to products of $k$-bonacci numbers.
Sufficient minimum degree conditions for the existence of highly connected or edge-connected subgraphs
Mader conjectured that an average degree of at least $3k-1$ is sufficient for the existence of a $(k+1)$-connected subgraph. The following minimum degree version holds: Every graph with minimum degree at least $3k-1$ has a $(k+1)$-connected subgraph on more than $2k$ vertices. Moreover, for triangle-free graphs, already an average degree of at least $2k$ is sufficient for a $(k+1)$-connected subgraph (which has at least $2(k+1)$ vertices).
For edge-connectedness (in simple graphs), we prove the following: Every graph of average degree at least $2k$ has a $(k+1)$-edge-connected subgraph on more than $2k$ vertices. Moreover, for every small $α>0$ and for $k$ large enough in terms of $α$, already a minimum degree of at least $k+k^{\frac{1}{2}+α} = \big(1+o(1)\big)k$ is sufficient for a $(k+1)$-edge-connected subgraph.
It is shown that all of these results are sharp in some sense. The results can be used for the decomposition of graphs into two highly (edge-)connected parts.
Sparsifying Cayley Graphs on Every Group
Published
• View Publication
• BIB
A classic result in graph theory, due to Batson, Spielman, and Srivastava (STOC 2009) shows that every graph admits a $(1 \pm \varepsilon)$ cut (or spectral) sparsifier which preserves only $O(n / \varepsilon^2)$ reweighted edges. However, when applying this result to \emph{Cayley graphs}, the resulting sparsifier is no longer necessarily a Cayley graph -- it can be an arbitrary subset of edges.
Thus, a recent line of inquiry, and one which has only seen minor progress, asks: for any group $G$, do all Cayley graphs over the group $G$ admit sparsifiers which preserve only $\mathrm{polylog}(|G|)/\varepsilon^2$ many re-weighted generators?
As our primary contribution, we answer this question in the affirmative, presenting a proof of the existence of such Cayley graph spectral sparsifiers, along with an efficient algorithm for finding them. Our algorithm even extends to \emph{directed} Cayley graphs, if we instead ask only for cut sparsification instead of spectral sparsification.
We additionally study the sparsification of linear equations over non-abelian groups. In contrast to the abelian case, we show that for non-abelian valued equations, super-polynomially many linear equations must be preserved in order to approximately preserve the number of satisfied equations for any input. Together with our Cayley graph sparsification result, this provides a formal separation between Cayley graph sparsification and sparsifying linear equations.
Coloring Graphs With No Totally Odd Clique Immersion
We prove that graphs that do not contain a totally odd immersion of $K_t$ are $\mathcal{O}(t)$-colorable. In particular, we show that any graph with no totally odd immersion of $K_t$ is the union of a bipartite graph and a graph which forbids an immersion of $K_{\mathcal{O}(t)}$. Our results are algorithmic, and we give a fixed-parameter tractable algorithm (in $t$) to find such a decomposition.
Thomason-Type Model Structures on Simplicial Complexes and Graphs
Published
• View Publication
• BIB
In this paper we show that the Matsushita model structure on loop graphs, which is right-transferred from the Kan-Quillen model structure on simplicial sets, factors through two other right-transferred model structures on simplicial complexes and reflexive graphs. We show that each Quillen adjunction between these right-transferred model categories is a Quillen equivalence. These model structures are analogous to the Thomason model structure on small categories, and we prove that they are all cofibrantly generated and proper. Furthermore we show that all cofibrant simplicial complexes are flag complexes, and all forests are cofibrant.
Sharp endpoint extension inequalities for the moment curve on finite fields
Published
• View Publication
• BIB
We investigate the sharp endpoint extension inequality for the moment curve in finite fields. We determine the optimal constant and characterize the maximizers in two complementary regimes: (i) low dimensions $d\leq 20$; (ii) large field cardinality $q\geq \frac{d(d-1)}{2 \log 6} + \frac{(2d-1)}{3}$. Our proof strategy relies on an intriguing interplay between analysis, algebra and combinatorics.
Star and weak star irreducible fully commutative elements in Coxeter groups of affine types $\widetilde{B}$ and $\widetilde{D}$
The star operation, originally introduced by Kazhdan and Lusztig, was later specialized by Ernst to the so-called weak star reduction on the set of fully commutative elements of a Coxeter group. In this paper, we classify the star and weak star irreducible fully commutative elements in Coxeter groups of affine types $\widetilde{B}_{n+1}$ and $\widetilde{D}_{n+2}$. Focusing then on the case of type $\widetilde{D}_{n+2}$, we use the classification of star irreducible elements to provide a new proof of the faithfulness of a diagrammatic representation of the corresponding generalized Temperley-Lieb algebra, along with an explicit description of Lusztig's $\mathbf{a}$-function.
Volume Polynomials and Log-concavity of the Characteristic Polynomials of Matroids
The Rota--Heron--Welsh conjecture (now a theorem of Adiprasito, Huh, and the author) asserts the log-concavity of the characteristic polynomial of matroids. We give an exposition of the Lorentzian polynomial proof following the work of Branden and Leake aimed at undergraduate and beginning graduate students.
Recursions, Trains, Trees, and Combinatorial Rod Set Algebra
We explore a physical model of ordered sums of integers as trains of rods. The trains for a fixed, possibly infinite, set of rod lengths naturally correspond to nodes in a tree; relations among finite linear recursions encoded in the subtrees define algebraic operations on sets of rods. We use this algebra to prove classic identities for recursively defined sequences, to show that Lucas sequences are divisibility sequences, to characterize two-term linear Fibonacci identities, and to find the cyclotomic polynomial factors of Borwein trinomials. We complement abstractions with lots of examples.
On $q$-real and $q$-complex numbers
In arXiv:1812.00170, S. Morier-Genoud and V. Ovsienko introduced the notion of the $q$-rational number $[x]_q$, $x\in \Bbb Q$, a rational function specializing to $x$ at $q=1$, obtained by $q$-deforming the continued fraction expansion of $x$. In arXiv:1908.04365 they introduced $q$-real numbers $[x]_q$, $x\in \Bbb R$ - a Laurent series in $q$ converging to the rational function $[x]_q$ when $x\in \Bbb Q$. In arXiv:2102.00891 it is proved that if $x\in \Bbb Q_{>1}$ then the series $[x]_q$ converges for $|q|<3-2\sqrt{2}\approx 0.17$ and conjectured that for all $x\in \Bbb R_{>1}$ this series converges in some disk centered in the origin, with the expected common radius of convergence $R_*=\frac{3-\sqrt{5}}{2}\approx 0.38$, achieved when $x=\frac{1+\sqrt{5}}{2}$ is the golden ratio. This was proved for rational $x$ in arXiv:2405.15970 using the theory of Kleinian groups. In this paper we (partially) prove this conjecture by showing that for all $x\in \Bbb R_{>1}$, the series $[x]_q$ converges in the disk $|q|<3-2\sqrt{2}$ to a nonvanishing holomorphic function. This is achieved by giving an expansion of $1/[x]_q$ into a $q$-adically convergent series of rational functions converging absolutely and uniformly on compact sets in an explicit region $D$ containing this disk. We also show that this expansion converges to a positive analytic function on the interval $(-\frac{3-\sqrt{5}}{2},1)$, giving a definition of $[x]_q$ for $q$ from this interval. Moreover, we show that the result of arXiv:2405.15970 implies convergence of $[x]_q$ for $|q|<2-\sqrt{3}\approx 0.27$. We also give examples of explicit computation of $[x]_q$ for transcendental numbers $x$, e.g. $x={\rm cotan}(1)$. Finally, we propose a definition of the $q$-complex number $[τ]_q$, a meromorphic function of $τ\in \Bbb C_+$ which expresses via hypergeometric functions of modular functions of $τ$.
Isometry groups of Polish ultrametric spaces
We solve a long-standing open problem, formulated by Krasner in the 1950's, in the context of Polish (i.e. separable complete) ultrametric spaces by providing a characterization of their isometry groups using suitable forms of generalized wreath products of full permutation groups. Since our solution is developed in the finer context of topological (Polish) groups, it also solves a problem of Gao and Kechris from 2003. Furthermore, we provide an exact correspondence between the isometry groups of Polish ultrametric spaces belonging to some natural subclasses and various kinds of generalized wreath products proposed in the literature by Hall, Holland, and Malicki.