Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Beyond trees: the metric geometry of subsets of weighted Hamming cubes
Published
• View Publication
• BIB
Associated to any finite metric space are a large number of objects and quantities which provide some degree of structural or geometric information about the space. In this paper we show that in the setting of subsets of weighted Hamming cubes there are unexpected relationships between many of these quantities. We obtain in particular formulas for the determinant of the distance matrix, the $M$-constant and the cofactor sum for such spaces. In general, these types of results offer valuable insights into the combinatorial optimization of certain constrained quadratic forms on finite metric spaces. A key focus in this context are embedding properties of negative type metrics, which play a prominent role in addressing important questions like the sparsest cut problem in graph theory. The current work extends previous results for unweighted metric trees, and more generally, for subsets of standard Hamming cubes, as well as results for weighted metric trees. Finally we consider polygonal equalities in these spaces, giving a complete description of the nontrivial $1$-polygonal equalities that can arise in weighted Hamming cubes.
Spectral expansion properties of pseudorandom bipartite graphs
An $(a,b)$-biregular bipartite graph is a bipartite graph with bipartition $(X, Y)$ such that each vertex in $X$ has degree $a$ and each vertex in $Y$ has degree $b$. By the bipartite expander mixing lemma, biregular bipartite graphs have nice pseudorandom and expansion properties when the second largest adjacency eigenvalue is not large. In this paper, we prove several explicit properties of biregular bipartite graphs from spectral perspectives. In particular, we show that for any $(a,b)$-biregular bipartite graph $G$, if the spectral gap is greater than $\frac{2(k-1)}{\sqrt{(a+1)(b+1)}}$, then $G$ is $k$-edge-connected; and if the spectral gap is at least $\frac{2k}{\sqrt{(a+1)(b+1)}}$, then $G$ has at least $k$ edge-disjoint spanning trees. We also prove that if the spectral gap is at least $\frac{(k-1)\max\{a,b\}}{2\sqrt{ab - (k-1)\max\{a,b\}}}$, then $G$ is $k$-connected for $k\ge 2$; and if the spectral gap is at least $\frac{6k+2\max\{a,b\}}{\sqrt{(a-1)(b-1)}}$, then $G$ has at least $k$ edge-disjoint spanning 2-connected subgraphs. We have stronger results in the paper.
Bigraded path homology and the magnitude-path spectral sequence
Two important invariants of directed graphs, namely magnitude homology and path homology, have recently been shown to be intimately connected: there is a 'magnitude-path spectral sequence' or 'MPSS' in which magnitude homology appears as the first page, and in which path homology appears as an axis of the second page. In this paper we study the homological and computational properties of the spectral sequence, and in particular of the full second page, which we now call 'bigraded path homology'. We demonstrate that every page of the MPSS deserves to be regarded as a homology theory in its own right, satisfying excision and Kunneth theorems (along with a homotopy invariance property already established by Asao), and that magnitude homology and bigraded path homology also satisfy Mayer-Vietoris theorems. We construct a homotopy theory of graphs (in the form of a cofibration category structure) in which weak equivalences are the maps inducing isomorphisms on bigraded path homology, strictly refining an existing structure based on ordinary path homology. And we provide complete computations of the MPSS for two important families of graphs - the directed and bi-directed cycles - which demonstrate the power of both the MPSS, and bigraded path homology in particular, to distinguish graphs that ordinary path homology cannot.
Mutual position of two smooth quadrics over finite fields
Published in Des. Codes Cryptogr. 93 (2025), no. 10, 4461-4472
• View Publication
• BIB
Given two irreducible conics $C$ and $D$ over a finite field $\mathbb{F}_q$ with $q$ odd, we show that there are $q^2/4+O(q^{3/2})$ points $P$ in $\mathbb{P}^2(\mathbb{F}_q)$ such that $P$ is external to $C$ and internal to $D$. This answers a question of Korchmáros. We also prove the analogous result for higher-dimensional smooth quadric hypersurfaces in $\mathbb{P}^{n-1}$ with $n$ odd, where the answer is $q^{n-1}/4+O(q^{n-\frac{3}{2}})$.
Maximizing the spectral radius of graphs of given size with forbidden a subgraph
Published
• View Publication
• BIB
Let $H_7$ denote the $7$-vertex \textit{fan graph} consisting of a $6$-vertex path plus a vertex adjacent to each vertex of the path. Let $K_3 \vee \frac{m-3}{3}K_1$ be the graph obtained by joining each vertex of a triangle $K_3$ to $\frac{m-3}{3}$ isolated vertices. In this paper, we show that if $G$ is an $H_{7}$-free graph with size $m\geq 33$, then the spectral radius $ ρ(G)\leq 1+\sqrt{m-2},$ equality holds if and only if $G\cong K_3 \vee \frac{m-3}{3}K_1$ (possibly, with some isolated vertices).
Quotient sets in nonabelian groups
Published
• View Publication
• BIB
We show that for a finite, nonempty subset $A$ of a group, the quotient set $A^{-1}A:=\{a_1^{-1}a_2\colon a_1,a_2\in A\}$ has size $|A^{-1}A|\ge\frac53\,|A|$, unless $A$ is densely contained in a coset, or in a union of two cosets of a finite subgroup.
Automorphisms of the generalized cluster complex
Published in American Journal of Combinatorics 4 (2025), 23--41
• View Publication
• BIB
It is proved that the generalized cluster complex defined by Fomin and Reading has a dihedral symmetry. Together with diagram symmetries, they generate its automorphism group. A consequence is a simple explicit formula for the order of this automorphism group.
Large sets near idempotent and its product
Published
• View Publication
• BIB
Tootkaboni and Vahed introduced the notion of some large sets near idempotent along with some combinatorial properties. We characterize when the finite Cartesian product of central sets near idempotent is central near idempotent. Moreover, we provide a partial characterization for the infinite Cartesian product of the same. We then study the abundance of some large sets near idempotent. We also investigate the effect of tensor product near zero. Finally, as an application we provide a characterization of members of polynomials (with constant term 0) evaluated at idempotents in a near zero semigroup.
Transcendence properties of the Artin-Hasse exponential modulo $p$
Let $E_p(x)$ denote the Artin-Hasse exponential and let $\overline{E}_p(x)$ denote its reduction modulo $p$ in $\mathbb{F}_p[[x]]$. In this article we study transcendence properties of $\overline{E}_p(x)$ over $\mathbb{F}_p[x]$. We give two proofs that $\overline{E}_p(x)$ is transcendental, affirmatively answering a question of Thakur. We also prove algebraic independence results: i) for $f_1,\dots,f_r \in x\mathbb{F}_p[x]$ satisfying certain linear independence properties, we show that the $\overline{E}_p(f_1), \dots, \overline{E}_p(f_r)$ are algebraically independent over $\mathbb{F}_p[x]$ and ii) we determine the algebraic relations between $\overline{E}_p(cx)$, where $c \in \mathbb{F}_p^\times$. Our proof studies the higher derivatives of $\overline{E}_p(x)$ and makes use of iterative differential Galois theory.
Quiver Laplacians and Feature Selection
The challenge of selecting the most relevant features of a given dataset arises ubiquitously in data analysis and dimensionality reduction. However, features found to be of high importance for the entire dataset may not be relevant to subsets of interest, and vice versa. Given a feature selector and a fixed decomposition of the data into subsets, we describe a method for identifying selected features which are compatible with the decomposition into subsets. We achieve this by re-framing the problem of finding compatible features to one of finding sections of a suitable quiver representation. In order to approximate such sections, we then introduce a Laplacian operator for quiver representations valued in Hilbert spaces. We provide explicit bounds on how the spectrum of a quiver Laplacian changes when the representation and the underlying quiver are modified in certain natural ways. Finally, we apply this machinery to the study of peak-calling algorithms which measure chromatin accessibility in single-cell data. We demonstrate that eigenvectors of the associated quiver Laplacian yield locally and globally compatible features.
Computing the $D$-base and $D$-relation in finite closure systems
Published
• View Publication
• BIB
Implicational bases (IBs) are a common representation of finite closure systems and lattices, along with meet-irreducible elements. They appear in a wide variety of fields ranging from logic and databases to Knowledge Space Theory. Different IBs can represent the same closure system. Therefore, several IBs have been studied, such as the canonical and canonical direct bases. In this paper, we investigate the $D$-base, a refinement of the canonical direct base. It is connected with the $D$-relation, an essential tool in the study of free lattices. The $D$-base demonstrates desirable algorithmic properties, and together with the $D$-relation, it conveys essential properties of the underlying closure system. Hence, computing the $D$-base and the $D$-relation of a closure system from another representation is crucial to enjoy its benefits. However, complexity results for this task are lacking. In this paper, we give algorithms and hardness results for the computation of the $D$-base and $D$-relation. Specifically, we establish the $NP$-completeness of finding the $D$-relation from an arbitrary IB; we give an output-quasi-polynomial time algorithm to compute the $D$-base from meet-irreducible elements; and we obtain a polynomial-delay algorithm computing the $D$-base from an arbitrary IB. These results complete the picture regarding the complexity of identifying the $D$-base and $D$-relation of a closure system.
On degree power sum in $P_k$-free graphs
Published
• View Publication
• BIB
Let $G$ be a graph on $n$ vertices with degree sequence $(d_1,d_2......d_n)$. For a real $p \geq 1$, let $D_p(G)=\sum_{i=1}^nd_i^p$. A Turán-type problem of degree power sum was initiated by Caro and Yuster \cite{caro2000degpower}: determining the function $D_p(n,H) :=\max \{D_p(G): \text{$G$ is an $n$-vertex $H$-free graph}\}$. They obtained some exact values for certain graphs $H$. For a path $P_k$, they mentioned that ``a close examination of the proof of Theorem 1.2 shows that the value of $n_0(k)$ in the statement of the theorem is $O(k^2)$", namely, they could show the $n$-vertex $P_k$-free graph with maximum degree power sum is $W_{n,k-1,\lfloor \frac{k}{2} \rfloor -1} = K_{\lfloor \frac{k}{2} \rfloor -1} \vee \left((n - \lceil \frac{k}{2} \rceil)K_1 \cup K_{1+k-2\lfloor \frac{k}{2} \rfloor} \right)$ when $n \geq c k^2$ for some constant $c$. In this note, we improve their result to a linear size of $k$ by a different approach. The bound is tight up to a constant factor.
On the existence of $δ$-temporal cliques in random simple temporal graphs
Published
• View Publication
• BIB
We consider random simple temporal graphs in which every edge of the complete graph $K_n$ appears once within the time interval [0,1] independently and uniformly at random. Our main result is a sharp threshold on the size of any maximum $δ$-clique (namely a clique with edges appearing at most $δ$ apart within [0,1]) in random instances of this model, for any constant~$δ$. In particular, using the probabilistic method, we prove that the size of a maximum $δ$-clique is approximately $\frac{2\log{n}}{\log{\frac{1}δ}}$ with high probability (whp). What seems surprising is that, even though the random simple temporal graph contains $Θ(n^2)$ overlapping $δ$-windows, which (when viewed separately) correspond to different random instances of the Erdos-Renyi random graphs model, the size of the maximum $δ$-clique in the former model and the maximum clique size of the latter are approximately the same. Furthermore, we show that the minimum interval containing a $δ$-clique is $δ-o(δ)$ whp. We use this result to show that any polynomial time algorithm for $δ$-TEMPORAL CLIQUE is unlikely to have very large probability of success.
Good bounds for sets lacking skew corners
A skew corner is a triple of points in $\mathbb{Z} \times \mathbb{Z}$ of the form $(x,y), (x, y + a)$ and $(x + a, y')$. Pratt posed the following question: how large can a set $A \subseteq [n] \times [n]$ be, provided it contains no non-trivial skew corner (i.e. one for which $a\not=0$)? We prove that $|A| \leq \exp(- c\log^c n) n^2$, for an absolute constant $c > 0$, which, along with a construction of Beker, essentially resolves Pratt's question.
Our argument is represents a two-dimensional variant of the method of Kelley and Meka, which they used to prove Behrend-type bounds in Roth's theorem. A very similar result was obtained independently and simultaneously by Jaber, Lovett and Ostuni.
Well-covered Unit Graphs of Finite Rings
Let $R$ be a finite ring with identity. The unit graph (unitary Cayley graph) of $R$ is the graph with vertex set $R$, where two distinct vertices $x$ and $y$ are adjacent exactly whenever $x+y$ is a unit in $R$ ($x-y$ is a unit in $R$). Here, we study independent sets of unit graphs of matrix rings over finite fields and use them to characterize all finite rings for which the unit graph is well-covered or Cohen-Macaulay. Moreover, we show that the unit graph of $R$ is well-covered if and only if the unitary Cayley graph of $R$ is well-covered and the characteristic of $R/J(R)$
Edge-disjoint cycles with the same vertex set
Published
• View Publication
• BIB
In 1975, Erdős asked for the maximum number of edges that an $n$-vertex graph can have if it does not contain two edge-disjoint cycles on the same vertex set. It is known that Turán-type results can be used to prove an upper bound of $n^{3/2+o(1)}$. However, this approach cannot give an upper bound better than $Ω(n^{3/2})$. We show that, for any $k\geq 2$, every $n$-vertex graph with at least $n \cdot \mathrm{polylog}(n)$ edges contains $k$ pairwise edge-disjoint cycles with the same vertex set, resolving this old problem in a strong form up to a polylogarithmic factor. The well-known construction of Pyber, Rödl and Szemerédi of graphs without $4$-regular subgraphs shows that there are $n$-vertex graphs with $Ω(n\log \log n)$ edges which do not contain two cycles with the same vertex set, so the polylogarithmic term in our result cannot be completely removed.
Our proof combines a variety of techniques including sublinear expanders, absorption and a novel tool for regularisation, which is of independent interest. Among other applications, this tool can be used to regularise an expander while still preserving certain key expansion properties.
Combinatorics of higher-categorical diagrams
This is a book on higher-categorical diagrams, including pasting diagrams. It aims to provide a thorough and modern reference on the subject, collecting, revisiting and expanding results scattered across the literature, informed by recent advances and practical experience with higher-dimensional diagram rewriting.
We approach the subject as a kind of directed combinatorial topology: a diagram is a map from a "directed cell complex", encoded combinatorially as a face poset together with orientation data. Unlike previous expositions, we adopt from the beginning a functorial viewpoint, focussing on morphisms and categorical constructions. We do not tie ourselves to a specific model of higher categories, and instead treat diagrams as independent combinatorial structures that admit functorial interpretations in various contexts.
Topics covered include the theory of layerings of diagrams; acyclicity properties and their consequences; constructions including Gray products, suspensions, and joins; special shapes such as globes, oriented simplices, cubes, and positive opetopes; the interpretation of diagrams in strict omega-categories and their geometric realisation as simplicial and CW complexes; and Steiner's theory of directed chain complexes.
The Stanley-Stembridge Conjecture for $\bf 2 + 1 +1$-avoiding unit interval orders: a diagrammatic proof
A natural unit interval order is a naturally labelled partially ordered set that avoids patterns ${\bf 3} + {\bf 1}$ and $\bf 2 + 2$. To each natural unit interval order one can associate a symmetric function. The Stanley-Stembridge conjecture states that each such symmetric function is positive in the basis of complete homogenous symmetric functions. This conjecture has connections to cohomology rings of Hessenberg varieties, and to Kazhdan-Lusztig theory. We use a diagrammatic technique to re-prove the special case of the conjecture for unit interval orders additionally avoiding pattern $\bf 2 + 1 + 1$. Originally this special case is due to Gebhard and Sagan.
Frogs, hats and common subsequences
Write $W^{(n)}$ to mean the $n$-letter word obtained by repeating a fixed word $W$ and let $R_n$ denote a uniformly random $n$-letter word sampled from the same alphabet as $W$. We are interested in the average length of the longest common subsequence between $W^{(n)}$ and $R_n$, which is known to be $γ(W)\cdot n+o(n)$ for some constant $γ(W)$. Bukh and Cox recently developed an interacting particle system, dubbed the frog dynamics, which can be used to compute the constant $γ(W)$ for any fixed word $W$. They successfully analyzed the simplest case of the frog dynamics to find an explicit formula for the constants $γ(12\cdots k)$. We continue this study by using the frog dynamics to find an explicit formula for the constants $γ(12\cdots kk\cdots 21)$. The frog dynamics in this case is a variation of the PushTASEP on the ring where some clocks are identical. Interestingly, exclusion processes with correlated clocks of this type appear to have not been analyzed before. Our analysis leads to a seemingly new combinatorial object which could be of independent interest: frogs with hats!
Generalized Quasikernels in Digraphs
Published
• View Publication
• BIB
Given a digraph $D$, we say that a set of vertices $Q\subseteq V(D)$ is a $q$-kernel if $Q$ is an independent set and if every vertex of $D$ can be reached from $Q$ by a path of length at most $q$. In this paper, we initiate the study of several extremal problems for $q$-kernels. For example, we introduce and make progress on (what turns out to be) a weak version of the Small Quasikernel Conjecture, namely that every digraph contains a $q$-kernel with $|N^+[Q]|\ge \frac{1}{2}|V(D)|$ for all $q\ge 2$.