Showing 20 papers (Total: 83342 papers, 48132 authors in database)
Reconstructing Polytopes and Pseudomanifolds
We prove that every 4-polytope is determined by its edge-polygon incidences, solving an open problem of Grünbaum. For each $d \geq 3$, we show that not every $d$-polytope is determined by its $(d-3)$-skeleton and dual $(d-3)$-skeleton together, answering a question of Samper.
In the simplicial realm, we prove that for $d \geq 4$ and $\lceil \frac{d}{2} \rceil \leq k \leq d-2$, every homology $(d-1)$-manifold is determined by the incidences of its $k$- and $(k-1)$-faces. For $d \geq 5$ and $\lceil \frac{d+1}{2} \rceil \leq k \leq d-2$, we extend our proof to normal $(d-1)$-pseudomanifolds whose $(2d-2k-1)$-dimensional links are homology manifolds. Finally, we prove that not every normal $(d-1)$-pseudomanifold is determined by its $(d-2)$-skeleton.
On the size of the neighborhoods of a word
Published
• View Publication
• BIB
The d-neighborhood of a word W in the Levenshtein distance is the set of all words at distance at most d from W. Generating the neighborhood of a word W, or related sets of words such as the condensed neighborhood or the super-condensed neighborhood has applications in the design of approximate pattern matching algorithms. It follows that bounds on the maximum size of the neighborhood of words of a given length can be used in the complexity analysis of such approximate pattern matching algorithms. In this note, we present exact formulas for the size of the condensed and super condensed neighborhoods of a unary word, a novel upper bound for the maximum size of the condensed neighborhood of an arbitrary word of a given length, and we prove a conjectured upper bound again for the maximum size of the condensed neighborhood of an arbitrary word of a given length.
Deranged Perfect Matchings on complete graph and balanced complete r-partite graph
Published
• View Publication
• BIB
We proved that for any finite collection of sparse subgraphs $(D_m)_{m=1}^\ell$ of the complete graph $K_{2n}$, and a uniformly chosen perfect matching $R$ in $K_{2n}$, the random vector $(|E(R \cap D_m)|)_{m=1}^\ell$ jointly converges to a vector of independent Poisson random variables with mean $|E(D_m)|/(2n)$. We also showed a similar result when $K_{2n}$ is replaced by the balanced complete $r$-partite graph $K_{r \times 2n/r}$ for fixed $r$ and determined the asymptotic joint distribution. The proofs rely on elementary tools of the Principle of Inclusion-Exclusion and generating functions. These results extend recent works of Johnston, Kayll and Palmer, Spiro and Surya, and Granet and Joos from the univariate to the multivariate setting.
Colored Vertex Models and Interacting Reverse Plane Partitions
We study the coupling of pairs of reverse plane partitions of the same shape by assigning a certain local interaction between the reverse plane partitions. We show that they are in bijection with a certain Yang-Baxter integrable colored vertex model. By utilizing the Yang-Baxter equation for this colored vertex model, we are able to compute the generating function for the interacting pairs of reverse plane partitions. We also give a bijection between the coupled pairs of reverse plane partitions with the interaction strength set to zero and a single reverse plane partition of the same shape.
The Saxl hypergraph of a permutation group
Published
• View Publication
• BIB
Given a permutation group $G \le \mathrm{Sym}(Ω)$, a subset $B$ of $Ω$ is said to be a base if its pointwise stabiliser in $G$ is trivial, and the base size $b(G)$ is the minimum size of a base. In the notable case $b(G) = 2$, Burness and Giudici define the Saxl graph of $G$ to be the graph on $Ω$ with bases of size 2 as edges. Later work of Freedman et al. extends this notion to any group for which $b(G) \ge 2$, taking the pairs of points contained in bases of size $b(G)$ for edges. We study an alternative generalisation, the Saxl hypergraph, where bases of size $b(G)$ are themselves the edges. In particular, we consider groups with complete Saxl hypergraphs, primitive groups whose Saxl hypergraphs have flag-spanning tours, and appropriate generalisations of Burness and Giudici's Common Neighbour Conjecture.
On the distance signless Laplacian spectral radius, fractional matching and factors of graphs
The distance signless Laplacian matrix of a graph $G$ is define as $Q(G)=$Tr$(G)+D(G)$, where Tr$(G)$ and $D(G)$ are the diagonal matrix of vertex transmissions and the distance matrix of $G$, respectively. Denote by $E_G(v)$ the set of all edges incident to a vertex $v$ in $G$. A fractional matching of a graph $G$ is a function $f:E(G) \rightarrow [0,1]$ such that $\sum_{e\in E_G(v)} f(e)\leq 1$ for every vertex $v\in V(G)$. The fractional matching number $μ_f(G)$ of a graph $G$ is the maximum value of $ \sum_{e\in E(G)} f(e)$ over all fractional matchings. Given subgraphs $H_1, H_2,...,H_k$ of $G$, a $\{H_1, H_2,...,H_k\}$-factor of $G$ is a spanning subgraph $F$ in which each connected component is isomorphic to one of $H_1, H_2,...,H_k$. In this paper, we establish a upper bound for the distance signless Laplacian spectral radius of a graph $G$ of order $n$ to guarantee that $μ_f(G)> \frac{n-k}{2}$, where $1\leq k<n$ is an integer. Besides, we also provide a sufficient condition based on distance signless Laplacian spectral radius to guarantee the existence of a $\{K_2,\{C_k\}\}$-factor in a graph, where $k \geq 3$ is an integer.
A composition theory for upward planar orders
An upward planar order on an acyclic directed graph $G$ is a special linear extension of the edge poset of $G$ that satisfies the nesting condition. This order was introduced to combinatorially characterize upward plane graphs and progressive plane graphs (commonly known as plane string diagrams). In this paper, motivated by the theory of graphical calculus for monoidal categories, we establish a composition theory for upward planar orders. The main result is that the composition of upward planar orders is an upward planar order. This theory provides a practical method to calculate the upward planar order of a progressive plane graph or an upward plane graph.
On near optimal colorable graphs
Published
• View Publication
• BIB
A class of graphs $\cal G$ is said to be \emph{near optimal colorable} if there exists a constant $c\in \mathbb{N}$ such that every graph $G\in \cal G$ satisfies $χ(G) \leq \max\{c, ω(G)\}$, where $χ(G)$ and $ω(G)$ respectively denote the chromatic number and clique number of $G$. The class of near optimal colorable graphs is an important subclass of the class of $χ$-bounded graphs which is well-studied in the literature. In this paper, we show that the class of ($F, K_4-e$)-free graphs is near optimal colorable, where $F\in \{P_1+2P_2,2P_1+P_3,3P_1+P_2\}$ and the graph $K_4-e$ is commonly referred as the {\em diamond}. This partially answers a question of Ju and Huang [Theoretical Computer Science 993 (2024) Article No.: 114465] and is related to a question of Schiermeyer (unpublished). Furthermore, using these results with some earlier known results, we also provide an alternate proof to the fact that the \textsc{Chromatic Number} problem for the class of ($F, K_4-e$)-free graphs is solvable in polynomial time, where $F\in \{P_1+2P_2,2P_1+P_3,3P_1+P_2\}$.
The $abc$ conjecture is true almost always
Published
• View Publication
• BIB
Let ${\rm rad}(n)$ denote the product of distinct prime factors of an integer $n\geq 1$. The celebrated $abc$ conjecture asks whether every solution to the equation $a+b=c$ in triples of coprime integers $(a,b,c)$ must satisfy ${\rm rad}(abc) > K_\varepsilon\, c^{1-\varepsilon}$, for some constant $K_\varepsilon>0$. In this expository note, we present a classical estimate of de Bruijn that implies almost all such triples satisfy the $abc$ conjecture, in a precise quantitative sense. Namely, there are at most $O(N^{2/3})$ many triples of coprime integers in a cube $(a,b,c)\in\{1,\ldots,N\}^3$ satisfying $a+b=c$ and ${\rm rad}(abc) < c^{1-\varepsilon}$. The proof is elementary and essentially self-contained. Beyond revisiting a classical argument for its own sake, this exposition is aimed to contextualize a new result of Browning, Lichtman, and Teräväinen, who prove a refined estimate $O(N^{33/50})$, giving the first power-savings since 1962.
An asymptotic rigidity property from the realizability of chirotope extensions
Let $P$ be a finite full-dimensional point configuration in $\mathbb{R}^d$. We show that if a point configuration $Q$ has the property that all finite chirotopes realizable by adding (generic) points to $P$ are also realizable by adding points to $Q$, then $P$ and $Q$ are equal up to a direct affine transform. We also show that for any point configuration $P$ and any $\varepsilon>0$, there is a finite, (generic) extension $\widehat P$ of $P$ with the following property: if another realization $Q$ of the chirotope of $P$ can be extended so as to realize the chirotope of $\widehat P$, then there exists a direct affine transform that maps each point of $Q$ within distance $\varepsilon$ of the corresponding point of $P$.
Even-up words and their variants
Inspired by OEIS sequence A377912, which consists of the nonnegative integers in which every even digit (except possibly the last) is immediately followed by a strictly larger digit, we define even-up and odd-up words over an alphabet of size~$k$ via similar constraints. We introduce and analyze weak and cyclic variants of these words, deriving explicit generating functions for all eight resulting classes. We then study Catalan words under analogous restrictions. Our results provide new combinatorial interpretations for many integer sequences, including the Motzkin numbers, the Riordan numbers, and the generalized Catalan numbers.
On problems in extremal multigraph theory
A multigraph G is said to be an (s,q)-graph if every s-set of vertices in G supports at most q edges (counting multiplicities). In this paper we consider the maximal sum and product of edge multiplicities in an (s,q)-graph on n vertices. These are multigraph analogues of a problem of Erdős raised by Füredi and Kündgen and Mubayi and Terry respectively, with applications to counting problems and extremal hypergraph theory.
We make major progress, settling conjectures of Day, Falgas-Ravry and Treglown and of Falgas-Ravry, establishing intricate behaviour for both the sum and the product problems, and providing both a general picture and evidence that the problems may prove computationally intractable in general.
Better Neural Network Expressivity: Subdividing the Simplex
Published
• View Publication
• BIB
This work studies the expressivity of ReLU neural networks with a focus on their depth. A sequence of previous works showed that $\lceil \log_2(n+1) \rceil$ hidden layers are sufficient to compute all continuous piecewise linear (CPWL) functions on $\mathbb{R}^n$. Hertrich, Basu, Di Summa, and Skutella (NeurIPS'21 / SIDMA'23) conjectured that this result is optimal in the sense that there are CPWL functions on $\mathbb{R}^n$, like the maximum function, that require this depth. We disprove the conjecture and show that $\lceil\log_3(n-1)\rceil+1$ hidden layers are sufficient to compute all CPWL functions on $\mathbb{R}^n$.
A key step in the proof is that ReLU neural networks with two hidden layers can exactly represent the maximum function of five inputs. More generally, we show that $\lceil\log_3(n-2)\rceil+1$ hidden layers are sufficient to compute the maximum of $n\geq 4$ numbers. Our constructions almost match the $\lceil\log_3(n)\rceil$ lower bound of Averkov, Hojny, and Merkert (ICLR'25) in the special case of ReLU networks with weights that are decimal fractions. The constructions have a geometric interpretation via polyhedral subdivisions of the simplex into ``easier'' polytopes.
Rainbow Turán problems for a matching and any other graph
For a family of graphs $\cF$, a graph is called $\cF$-free if it does not contain any member of $\cF$ as a subgraph. Given a collection of graphs $(G_1,\ldots,G_t)$ on the same vertex set $V$ of size $n$, a rainbow graph on $V$ is obtained by taking at most one edge from each $G_i$. We say that a collection is rainbow $\cF$-free if it contains no rainbow copy of any member of $\cF$. In this paper, we study the maximum values of $min_{i\in [t]}|E(G_i)|$, $\sum_{i=1}^{t}|E(G_i)|$ and $\prod_{i=1}^{t}|E(G_i)|$ among rainbow $\{F,M_{s+1}\}$-free collections $(G_1,\ldots,G_t)$ on $n$ vertices.
Lower bounds for cube-ideal set-systems
Published
• View Publication
• BIB
A set-system $S\subseteq \{0,1\}^n$ is cube-ideal if its convex hull can be described by capacity and generalized set covering inequalities. In this paper, we use combinatorics, convex geometry, and polyhedral theory to give exponential lower bounds on the size of cube-ideal set-systems, and linear lower bounds on their VC dimension. We then provide applications to graph theory and combinatorial optimization, specifically to strong orientations, perfect matchings, dijoins, and ideal clutters.
Non-isomorphic subgraphs in random graphs
We establish the asymptotic behaviour of $μ(G(n,p))$, the number of unlabelled induced subgraphs in the binomial random graph $G(n,p)$, for almost the entire range of the probability parameter $p=p(n)\in[0,1]$. In particular, we show that typically the number of subgraphs becomes exponential when $p$ passes $1/n$, reaches maximum possible base of exponent (asymptotically) when $p\gg 1/n$, and reaches the asymptotic value $2^n$ when $p$ passes $2\ln n/n$. For $p\gg \ln n/n$, we get the first order term and asymptotics of the second order term of $μ(G(n,p))$. We also prove that random regular graphs $G_{n,d}$ typically have $μ(G_{n,d})\geq 2^{c_d n}$ for all $d\geq 3$ and some positive constant $c_d$ such that $c_d\to 1$ as $d\to\infty$.
Equivariant Chern character operators and Okounkov's conjecture
Published
• View Publication
• BIB
In this paper, we study the Chern character operators on the equivariant cohomology of the Hilbert schemes of points in the complex affine plane $C^2$ with the action of the torus $(C^*)^2$, and partially verify Okounkov's Conjecture [Oko, Conjecture 2] in this setting. Our main idea is to apply the connection between the equivariant cohomology of these Hilbert schemes and the ring of symmetric functions, via the deformed vertex operators of Cheng and Wang [CW], (the integral form of) the Jack symmetric functions and the transformed Macdonald symmetric functions of Garsia and Haiman [GH, Hai].
VC-dimension of subsets of Hamming graphs
Published
• View Publication
• BIB
Following recent work on the VC-dimension of subsets of various pseudorandom graphs, we study the VC-dimension of Hamming graphs, which have proved somewhat resistant to the standard techniques in the literature. Our methods are elementary, and agree with or improve upon previously known results. In particular, for $H(2,q)$ we show tight bounds on the size of a subset of vertices to guarantee VC-dimension 2 or 3. We also prove an assortment of results for other parameters, with many of these being tight as well.
Exploring the Varchenko Determinant of Partial Cubes
The Varchenko matrix is known to have a well-structured determinant for complexes of oriented matroids (COMs). COMs can be characterized as partial cubes that do not have certain forbidden pc-minors. In this work, we generalize the Varchenko matrix and its determinant to partial cubes. We identify examples of partial cubes whose Varchenko determinants lack a clean factorization, as well as those that exhibit such a structure. These findings open the door for further research into the properties and potential characterizations of partial cubes with well-behaved Varchenko determinants.
Connections Between Frames with Rational Eigensteps and Semistandard Young Tableaux
In this paper, we explore a correspondence between frames with rational eigensteps and semistandard Young tableaux (SSYT), via the relation assigning a Gelfand-Tsetlin pattern to a frame via the frame's eigensteps. We will identify how certain key structures in SSYTs correlate with particular frame properties. For example, the weight of an SSYT yields the sequence of norms of any compatible frame. Additionally, this correspondence leads to a novel way to construct the eigensteps of a frame coming solely from tableaux. This is an alternative to the Top Kill algorithm which may be viewed as a combinatorial reinterpretation of the algorithm. We further employ other combinatorial techniques such as the boxcomp method to generate a ``complement" SSYT. On the frame side, this corresponds to a tight frame's Naimark complement as well as to a generalization of the Naimark complement for non-tight frames. Further research points to an analysis of equiangular tight frames and their corresponding tableaux, as well as using more combinatorial operations to further analyze frames.