Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Colorful and Quantitative Variations of Krasnosselsky's Theorem
Published
• View Publication
• BIB
Krasnosselsky's art gallery theorem gives a combinatorial characterization of star-shaped sets in Euclidean spaces, similar to Helly's characterization of finite families of convex sets with non-empty intersection. We study colorful and quantitative variations of Krasnosselsky's result. In particular, we are interested in conditions on a set $K$ that guarantee there exists a measurably large set $K'$ such that every point in $K'$ can see every point in $K$. We prove results guaranteeing the existence of $K'$ with large volume or large diameter.
Coloring hypergraphs that are the union of nearly disjoint cliques
We consider the maximum chromatic number of hypergraphs consisting of cliques that have pairwise small intersections. Designs of the appropriate parameters produce optimal constructions, but these are known to exist only when the number of cliques is exponential in the clique size. We construct near designs where the number of cliques is polynomial in the clique size, and show that they have large chromatic number.
The case when the cliques have pairwise intersections of size at most one seems particularly challenging. Here we give lower bounds by analyzing a random greedy hypergraph process. We also consider the related question of determining the maximum number of caps in a finite projective/affine plane and obtain nontrivial upper and lower bounds.
Idempotentization of Affine Schemes and Sheaves
In this article, we introduce the idempotentization process, which bears some philosophical and mathematical similarities with modern analytification and tropicalization. Idempotentization associates to any affine scheme an idempotent version of itself with respect to a fixed covering by distinguished affine open subschemes. Once this cover is fixed, we can functorially associate a Zariski sheaf of rings or modules to a sheaf of idempotent semiring or a sheaf of idempotent semimodules. We show that idempotentization is independent of the chosen cover and in the Noetherian case, the idempotentization of the structure sheaf recovers the global sections. Underlying our formalism is a combinatorial reflection of lattices of subobjects of ordered-theoretic objects seen as lattices coming from commutative algebra. This has topological consequences for the semiring of subtractive ideals of a commutative semiring $S$: On one hand, it is a topological retract of the semiring of congruence relations of $S$ for the coarse lower topology. On the other hand, it is a topological retract of the semiring of ideals of $S$ for the coarse upper topology.
Connected domination in graphs and v-numbers of binomial edge ideals
Published
• View Publication
• BIB
The v-number of a graded ideal is an algebraic invariant introduced by Cooper et al., and originally motivated by problems in algebraic coding theory. In this paper we study the case of binomial edge ideals and we establish a significant connection between their v-numbers and the concept of connected domination in graphs. More specifically, we prove that the localization of the v-number at one of the minimal primes of the binomial edge ideal $J_G$ of a graph $G$ coincides with the connected domination number of the defining graph, providing a first algebraic description of the connected domination number. As an immediate corollary, we obtain a sharp combinatorial upper bound for the v-number of binomial edge ideals of graphs. Lastly, building on some known results on edge ideals, we analyze how the v-number of $J_G$ behaves under Gröbner degeneration when $G$ is a closed graph.
Intersection theoretic inequalities via Lorentzian polynomials
Published
• View Publication
• BIB
We explore the applications of Lorentzian polynomials to the fields of algebraic geometry, analytic geometry and convex geometry. In particular, we establish a series of intersection theoretic inequalities, which we call rKT property, with respect to $m$-positive classes and Schur classes. We also study its convexity variants -- the geometric inequalities for $m$-convex functions on the sphere and convex bodies. Along the exploration, we prove that any finite subset on the closure of the cone generated by $m$-positive classes can be endowed with a polymatroid structure by a canonical numerical-dimension type function, extending our previous result for nef classes; and we prove Alexandrov-Fenchel inequalities for valuations of Schur type. We also establish various analogs of sumset estimates (Plünnecke-Ruzsa inequalities) from additive combinatorics in our contexts.
Combinatorial Statistics on Pattern-avoiding Permutations
The study of Mahonian statistics dated back to 1915 when MacMahon showed that the major index and the inverse number have the same distribution on a set of permutations with length n. Since then, many Mahonian statistics have been discovered and much effort have been done to find the equidistribution between two Mahonian statistics on permutations avoiding length-3 classical patterns. In recent years, Amini and Do et al. have done extensive research with various methods to prove the equidistributions, ranging from using generating functions, Dyck paths, block decompositions, to bijections. In this thesis, we will solve the conjectured equidistribution between bast and foze on Av(312) using the bijection method, as well as refine two established results by Do et al. with a combinatorial approach.
On the choosability of $H$-minor-free graphs
Published
• View Publication
• BIB
Given a graph $H$, let us denote by $f_χ(H)$ and $f_\ell(H)$, respectively, the maximum chromatic number and the maximum list chromatic number of $H$-minor-free graphs. Hadwiger's famous coloring conjecture from 1943 states that $f_χ(K_t)=t-1$ for every $t \ge 2$. In contrast, for list coloring it is known that $2t-o(t) \le f_\ell(K_t) \le O(t (\log \log t)^6)$ and thus, $f_\ell(K_t)$ is bounded away from the conjectured value $t-1$ for $f_χ(K_t)$ by at least a constant factor. The so-called $H$-Hadwiger's conjecture, proposed by Seymour, asks to prove that $f_χ(H)=\textsf{v}(H)-1$ for a given graph $H$ (which would be implied by Hadwiger's conjecture). In this paper, we prove several new lower bounds on $f_\ell(H)$, thus exploring the limits of a list coloring extension of $H$-Hadwiger's conjecture. Our main results are:
For every $\varepsilon>0$ and all sufficiently large graphs $H$ we have $f_\ell(H)\ge (1-\varepsilon)(\textsf{v}(H)+κ(H))$, where $κ(H)$ denotes the vertex-connectivity of $H$.
For every $\varepsilon>0$ there exists $C=C(\varepsilon)>0$ such that asymptotically almost every $n$-vertex graph $H$ with $\left\lceil C n\log n\right\rceil$ edges satisfies $f_\ell(H)\ge (2-\varepsilon)n$.
The first result generalizes recent results on complete and complete bipartite graphs and shows that the list chromatic number of $H$-minor-free graphs is separated from the natural lower bound $(\textsf{v}(H)-1)$ by a constant factor for all large graphs $H$ of linear connectivity. The second result tells us that even when $H$ is a very sparse graph (with an average degree just logarithmic in its order), $f_\ell(H)$ can still be separated from $(\textsf{v}(H)-1)$ by a constant factor arbitrarily close to $2$. Conceptually these results indicate that the graphs $H$ for which $f_\ell(H)$ is close to $(\textsf{v}(H)-1)$ are typically rather sparse.
Distance matrix of enhanced power graphs of finite groups
The enhanced power graph of a group $G$ is the graph $\mathcal{G}_E(G)$ with vertex set $G$ and edge set $ \{(u,v): u, v \in \langle w \rangle,~\mbox{for some}~ w \in G\}$. In this paper, we compute the spectrum of the distance matrix of the enhanced power graph of non-abelian groups of order $pq$, dihedral groups, dicyclic groups, elementary abelian groups $\mathrm{El}(p^n)$ and the non-cyclic abelian groups $\mathrm{El}(p^n)\times\mathrm{El}(q^m)$ and $\mathrm{El}(p^n)\times \mathbb{Z}_m$, where $p$ and $q$ are distinct primes.
For the non-cyclic abelian group $\mathrm{El}(p^n)\times \mathrm{El}(q^m)$, we also compute the spectrum of the adjacency matrix of its enhanced power graph and the spectrum of the adjacency and the distance matrix of its power graph.
Concentration of Hitting Times in Erdös-Rényi graphs
Published
• View Publication
• BIB
We consider Erdős-Rényi graphs $G(n,p)$ for $0 < p < 1$ fixed and $n \rightarrow \infty$ and study the expected number of steps, $H_{wv}$, that a random walk started in $w$ needs to first arrive in $v$. A natural guess is that an Erdős-Rényi random graph is so homogeneous that it does not really distinguish between vertices and $H_{wv} = (1+o(1)) n$. Löwe-Terveer established a CLT for the Mean Starting Hitting Time suggesting $H_{w v} = n \pm \mathcal{O}(\sqrt{n})$. We prove the existence of a strong concentration phenomenon: $H_{w v}$ is given, up to a very small error of size $\lesssim \sqrt{\log{n}}/\sqrt{n}$, by an explicit simple formula involving only the total number of edges $|E|$, the degree of $v$ and the distance $d(v,w)$.
A tamed family of triangle-free graphs with unbounded chromatic number
We construct a hereditary class of triangle-free graphs with unbounded chromatic number, in which every non-trivial graph either contains a pair of non-adjacent twins or has an edgeless vertex cutset of size at most two. This answers in the negative a question of Chudnovsky, Penev, Scott, and Trotignon. The class is the hereditary closure of a family of (triangle-free) twincut graphs $G_1, G_2, \ldots$ such that $G_k$ has chromatic number $k$. We also show that every twincut graph is edge-critical.
Enumeration of Payphone Permutations
Published in American Mathematical Monthly 131:6 (2024), 491-500
• View Publication
• BIB
The desire for privacy significantly impacts various aspects of social behavior as illustrated by people's tendency to seek out the most secluded spot when multiple options are available. In particular, this can be seen at rows of payphones, where people tend to occupy an available payphone that is most distant from those already occupied. Assuming that there are n payphones in a row and that n people occupy payphones one after another as privately as possible, the resulting assignment of people to payphones defines a permutation, which we will refer to as a payphone permutation. In the present study, we consider different variations of payphone permutations and enumerate them.
Improved estimates on the number of unit perimeter triangles
Published in Discrete Comput. Geom. 73 (2025), no. 3, 850--858
• View Publication
• BIB
We obtain new upper and lower bounds on the number of unit perimeter triangles spanned by points in the plane. We also establish improved bounds in the special case where the point set is a section of the integer grid.
An explicit finite $B_k$-sequence
For any $n$ and $k$, we provide an explicit (that is, computable in polynomial time) example of integer $B_k$-sequence of size $n$ consisting of elements bounded by $n^{k+o(k)}$.
Universality of global asymptotics of Jack-deformed random Young diagrams at varying temperatures
Published in Ann. Probab. 54(1): 421-488, 2026
• View Publication
• BIB
This paper establishes universal formulas describing the global asymptotics of two distinct discrete versions of $β$-ensembles in the high, low and fixed temperature regimes. Our results affirmatively answer a question posed by the second author and Śniady.
We first introduce a special class of Jack measures on Young diagrams of arbitrary size, called the ``Jack--Thoma measures'', and prove the LLN and CLT in the three aforementioned limit regimes. In each case, we provide explicit formulas for polynomial observables of the limit shape and Gaussian fluctuations around the limit shape. These formulas have surprising positivity properties and are expressed as sums of weighted lattice paths. Second, we show that the previous formulas are universal: they also describe the limit shape and Gaussian fluctuations for the model of random Young diagrams of a fixed size derived from Jack characters with the approximate factorization property. Finally, in stark contrast with continuous $β$-ensembles, we show that the limit shapes at high and low temperatures of our random Young diagrams are one-sided infinite staircase shapes. For the Jack--Plancherel measure, we describe this shape explicitly by relating its local minima with the zeroes of Bessel functions.
A switching method for constructing cospectral gain graphs
Published
• View Publication
• BIB
A gain graph over a group $G$, also referred to as $G$-gain graph, is a graph where an element of a group $G$, called gain, is assigned to each oriented edge, in such a way that the inverse element is associated with the opposite orientation. Gain graphs can be regarded as a generalization of signed graphs, among others. In this work, we show a new switching method to construct cospectral gain graphs. Some previous methods known for graph cospectrality follow as a corollary of our results.
Temporalizing digraphs via linear-size balanced bi-trees
In a directed graph $D$ on vertex set $v_1,\dots ,v_n$, a \emph{forward arc} is an arc $v_iv_j$ where $i<j$. A pair $v_i,v_j$ is \emph{forward connected} if there is a directed path from $v_i$ to $v_j$ consisting of forward arcs. In the {\tt Forward Connected Pairs Problem} ({\tt FCPP}), the input is a strongly connected digraph $D$, and the output is the maximum number of forward connected pairs in some vertex enumeration of $D$. We show that {\tt FCPP} is in APX, as one can efficiently enumerate the vertices of $D$ in order to achieve a quadratic number of forward connected pairs. For this, we construct a linear size balanced bi-tree $T$ (an out-tree and an in-tree with same size which roots are identified). The existence of such a $T$ was left as an open problem motivated by the study of temporal paths in temporal networks. More precisely, $T$ can be constructed in quadratic time (in the number of vertices) and has size at least $n/3$. The algorithm involves a particular depth-first search tree (Left-DFS) of independent interest, and shows that every strongly connected directed graph has a balanced separator which is a circuit. Remarkably, in the request version {\tt RFCPP} of {\tt FCPP}, where the input is a strong digraph $D$ and a set of requests $R$ consisting of pairs $\{x_i,y_i\}$, there is no constant $c>0$ such that one can always find an enumeration realizing $c.|R|$ forward connected pairs $\{x_i,y_i\}$ (in either direction).
Joint distribution of the cokernels of random $p$-adic matrices II
Published in Forum Math. 36 (2024), no. 4, 1119-1145
• View Publication
• BIB
In this paper, we study the combinatorial relations between the cokernels $\text{cok}(A_n+px_iI_n)$ ($1 \le i \le m$) where $A_n$ is an $n \times n$ matrix over the ring of $p$-adic integers $\mathbb{Z}_p$, $I_n$ is the $n \times n$ identity matrix and $x_1, \cdots, x_m$ are elements of $ \mathbb{Z}_p$ whose reductions modulo $p$ are distinct. For a positive integer $m \le 4$ and given $x_1, \cdots, x_m \in \mathbb{Z}_p$, we determine the set of $m$-tuples of finitely generated $\mathbb{Z}_p$-modules $(H_1, \cdots, H_m)$ for which $(\text{cok}(A_n+px_1I_n), \cdots, \text{cok}(A_n+px_mI_n)) = (H_1, \cdots, H_m)$ for some matrix $A_n$. We also prove that if $A_n$ is an $n \times n$ Haar random matrix over $\mathbb{Z}_p$ for each positive integer $n$, then the joint distribution of $\text{cok}(A_n+px_iI_n)$ ($1 \le i \le m$) converges as $n \rightarrow \infty$.
Classification of width 1 lattice tetrahedra by their multi-width
Published in Discrete and Computational Geometry (2024)
• View Publication
• BIB
We introduce the multi-width of a lattice polytope and use this to classify and count all lattice tetrahedra with multi-width $(1,w_2,w_3)$. The approach used in this classification can be extended into a computer algorithm to classify lattice tetrahedra of any given multi-width. We use this to classify tetrahedra with multi-width $(2,w_2,w_3)$ for small $w_2$ and $w_3$ and make conjectures about the function counting lattice tetrahedra of any multi-width.
Systems of ideals parametrized by combinatorial structures
Published
• View Publication
• BIB
A symmetric chain of ideals is a rule that assigns to each finite set $S$ an ideal $I_S$ in the polynomial ring $\mathbb{C}[x_i]_{i \in S}$ such that if $φ\colon S \to T$ is an embedding of finite sets then the induced homomorphism $φ_*$ maps $I_S$ into $I_T$. Cohen proved a fundamental noetherian result for such chains, which has seen intense interest in recent years due to a wide array of new applications. In this paper, we consider similar chains of ideals, but where finite sets are replaced by more complicated combinatorial objects, such as trees. We give a general criterion for a Cohen-like theorem, and give several specific examples where our criterion holds. We also prove similar results for certain limiting situations, where a permutation group acts on an infinite variable polynomial ring. This connects to topics in model theory, such as Fraïssé limits and oligomorphic groups.
Graph Parameters, Universal Obstructions, and WQO
Published
• View Publication
• BIB
We establish a parametric framework for obtaining obstruction characterizations of graph parameters with respect to a quasi-ordering $\leqslant$ on graphs. At the center of this framework lies the concept of a $\leqslant$-parametric graph: a non $\leqslant$-decreasing sequence $\mathscr{G} = \langle \mathscr{G}_{t} \rangle_{t \in \mathbb{N}}$ of graphs indexed by non-negative integers. Parametric graphs allow us to define combinatorial objects that capture the approximate behaviour of graph parameters. A finite set $\mathfrak{G}$ of $\leqslant$-parametric graphs is a $\leqslant$-universal obstruction for a parameter $\mathsf{p}$ if there exists a function $f \colon \mathbb{N} \to \mathbb{N}$ such that, for every $k \in \mathbb{N}$ and every graph $G$, 1) if $\mathsf{p}(G) \leq k$, then for every $\mathscr{G} \in \mathfrak{G},$ $\mathscr{G}_{f(k)} \not\leqslant G$, and 2) if for every $\mathscr{G} \in \mathfrak{G},$ $\mathscr{G}_{k} \not\leqslant G$, then $\mathsf{p}(G) \leq f(k).$ To solidify our point of view, we identify sufficient order-theoretic conditions that guarantee the existence of universal obstructions and in this case we examine algorithmic implications on the existence of fixed-parameter tractable algorithms. Our parametric framework has further implications related to finite obstruction characterizations of properties of graph classes. A $\leqslant$-class property is defined as any set of $\leqslant$-closed graph classes that is closed under set inclusion. By combining our parametric framework with established results from order theory, we derive a precise order-theoretic characterization that ensures $\leqslant$-class properties can be described in terms of the exclusion of a finite set of $\leqslant$-parametric graphs.