natural ↗ reference
4894 papers tagged with this keyword
Random restrictions of high-rank tensors and polynomial maps
Published in Discrete Analysis, 2024:9
• View Publication
• BIB
Motivated by a problem in computational complexity, we consider the behavior of rank functions for tensors and polynomial maps under random coordinate restrictions. We show that, for a broad class of rank functions called natural rank functions, random coordinate restriction to a dense set will typically reduce the rank by at most a constant factor.
Noncrossing partitions of a marked surface
Published
• View Publication
• BIB
We define noncrossing partitions of a marked surface without punctures (interior marked points). We show that the natural partial order on noncrossing partitions is a graded lattice and describe its rank function topologically. Lower intervals in the lattice are isomorphic to products of noncrossing partition lattices of other surfaces. We similarly define noncrossing partitions of a symmetric marked surface with double points and prove some of the analogous results. The combination of symmetry and double points plays a role that one might have expected to be played by punctures.
Multiscale Transforms for Signals on Simplicial Complexes
Published
• View Publication
• BIB
Our previous multiscale graph basis dictionaries/graph signal transforms -- Generalized Haar-Walsh Transform (GHWT); Hierarchical Graph Laplacian Eigen Transform (HGLET); Natural Graph Wavelet Packets (NGWPs); and their relatives -- were developed for analyzing data recorded on nodes of a given graph. In this article, we propose their generalization for analyzing data recorded on edges, faces (i.e., triangles), or more generally $κ$-dimensional simplices of a simplicial complex (e.g., a triangle mesh of a manifold). The key idea is to use the Hodge Laplacians and their variants for hierarchical partitioning of a set of $κ$-dimensional simplices in a given simplicial complex, and then build localized basis functions on these partitioned subsets. We demonstrate their usefulness for data representation on both illustrative synthetic examples and real-world simplicial complexes generated from a co-authorship/citation dataset and an ocean current/flow dataset.
Elekes-Szabó for collinearity on cubic surfaces
We study the orchard problem on cubic surfaces. We classify possibly reducible cubic surfaces $X\subseteq \mathbb{P}^3(\C)$ with smooth components on which there exist families of finite sets (of unbounded size) with quadratically many 3-rich lines which do not concentrate (in a natural sense) on any projective plane. Namely, we prove that such a family exists precisely when $X$ is a union of three planes sharing a common line.
Along the way, we obtain a general result about nilpotency of groups admitting an algebraic action satisfying an Elekes-Szabó condition, and we prove the following purely algebrogeometric statement: if the composition of four Geiser involutions through sufficiently generic points $a,b,c,d$ on a smooth irreducible cubic surface has infinitely many fixed points, then a single plane contains $a,b,c,d$ and all but finitely many of the fixed points.
Competing types in preferential attachment graphs with community structure
Published
• View Publication
• BIB
We extend the two-type preferential attachment model of Antunović, Mossel and Rácz, where each new vertex takes its type according to a defined rule based on the types of its neighbours, to incorporate community structure, and investigate whether the proportions of vertices of each type synchronise between communities. The behaviour depends both on the choice of community structure and on the type assignment rule.
For essentially all cases where the single community model has more than one possible limit, communities may fail to synchronise for weakly interacting communities. Even when the single community model almost surely converges to a deterministic limit, synchronisation is not guaranteed. However, we give natural conditions on the assignment rule and, for two communities, on the structure, either of which will imply synchronisation to this limit, and each of which is essentially best possible.
We also give an example where the proportions of types almost surely do not converge, which is impossible in the single community model.
On linear diameter perfect Lee codes with diameter 6
Published
• View Publication
• BIB
In 1968, Golomb and Welch conjectured that there is no perfect Lee codes with radius $r\ge2$ and dimension $n\ge3$. A diameter perfect code is a natural generalization of the perfect code. In 2011, Etzion (IEEE Trans. Inform. Theory, 57(11): 7473--7481, 2011) proposed the following problem: Are there diameter perfect Lee (DPL, for short) codes with diameter greater than four besides the $DPL(3,6)$ code? Later, Horak and AlBdaiwi (IEEE Trans. Inform. Theory, 58(8): 5490--5499, 2012) conjectured that there are no $DPL(n,d)$ codes for dimension $n\ge3$ and diameter $d>4$ except for $(n,d)=(3,6)$. In this paper, we give a counterexample to this conjecture. Moreover, we prove that for $n\ge3$, there is a linear $DPL(n,6)$ code if and only if $n=3,11$.
Factorization of classical characters twisted by roots of unity: II
Published
• View Publication
• BIB
Fix natural numbers $n \geq 1$, $t \geq 2$ and a primitive $t^{\text{th}}$ root of unity $ω$. In previous work with A. Ayyer (J. Alg., 2022), we studied the factorization of specialized irreducible characters of $\text{GL}_{tn}$, $\text{SO}_{2tn+1},$ $\text{Sp}_{2tn}$ and $\text{O}_{2tn}$ evaluated at elements to $ω^j x_i$ for $0 \leq j \leq t-1$ and $1 \leq i \leq n$. In this work, we extend the results to the groups $\text{GL}_{tn+m}$ $(0 \leq m \leq t-1)$, $\text{SO}_{2tn+3}$, $\text{Sp}_{2tn+2}$ and $\text{O}_{2tn+2}$ evaluated at similar specializations: (1) for the $\text{GL}_{tn+m}(\mathbb{C})$ case, we set the first $tn$ elements to $ω^j x_i$ for $0 \leq j \leq t-1$ and $1 \leq i \leq n$ and the remaining $m$ to $y, ωy, \dots, ω^{m-1} y$; (2) for the other three families, the same specializations but with $m=1$. The main results of this paper are a characterization of partitions for which these characters vanish and a factorization of nonzero characters into those of smaller classical groups. Our motivation is the conjectures of Wagh and Prasad (Manuscripta Math., 2020) relating the irreducible representations of $\text{Spin}_{2n+1}$ and $\text{SL}_{2n}$, $\text{SL}_{2n+1}$ and $\text{Sp}_{2n}$ as well as $\text{Spin}_{2n+2}$ and $\text{Sp}_{2n}$. Our proofs use the Weyl character formulas and the beta-sets of $t$-core partitions. Lastly, we give a bijection to prove that there are infinitely many $t$-core partitions for which these characters are nonzero.
Invertibility of digraphs and tournaments
Published in SIAM Journal on Discrete Mathematics, 38: 327-347 (2024)
• View Publication
• BIB
For an oriented graph $D$ and a set $X\subseteq V(D)$, the inversion of $X$ in $D$ is the digraph obtained by reversing the orientations of the edges of $D$ with both endpoints in $X$. The inversion number of $D$, $\textrm{inv}(D)$, is the minimum number of inversions which can be applied in turn to $D$ to produce an acyclic digraph. Answering a recent question of Bang-Jensen, da Silva, and Havet we show that, for each $k\in\mathbb{N}$ and tournament $T$, the problem of deciding whether $\textrm{inv}(T)\leq k$ is solvable in time $O_k(|V(T)|^2)$, which is tight for all $k$. In particular, the problem is fixed-parameter tractable when parameterised by $k$. On the other hand, we build on their work to prove their conjecture that for $k\geq 1$ the problem of deciding whether a general oriented graph $D$ has $\textrm{inv}(D)\leq k$ is NP-complete. We also construct oriented graphs with inversion number equal to twice their cycle transversal number, confirming another conjecture of Bang-Jensen, da Silva, and Havet, and we provide a counterexample to their conjecture concerning the inversion number of so-called 'dijoin' digraphs while proving that it holds in certain cases. Finally, we asymptotically solve the natural extremal question in this setting, improving on previous bounds of Belkhechine, Bouaziz, Boudabbous, and Pouzet to show that the maximum inversion number of an $n$-vertex tournament is $(1+o(1))n$.
Circular flows in mono-directed signed graphs
Published
• View Publication
• BIB
In this paper the concept of circular $r$-flows in a mono-directed signed graph $(G, σ)$ is introduced. That is a pair $(D, f)$, where $D$ is an orientation on $G$ and $f: E(G)\to (-r,r)$ satisfies that $|f(e)|\in [1, r-1]$ for each positive edge $e$ and $|f(e)|\in [0, \frac{r}{2}-1]\cup [\frac{r}{2}+1, r)$ for each negative edge $e$, and the total in-flow equals the total out-flow at each vertex. The circular flow index of a signed graph $(G, σ)$ with no positive bridge, denoted $Φ_c(G,σ)$, is the minimum $r$ such that $(G, σ)$ admits a circular $r$-flow. This is the dual notion of circular colorings and circular chromatic numbers of signed graphs recently introduced in [Circular chromatic number of signed graphs. R. Naserasr, Z. Wang, and X. Zhu. Electronic Journal of Combinatorics, 28(2)(2021), \#P2.44], and is distinct from the concept of circular flows in bi-directed graphs associated to signed graphs studied in the literature. We give several equivalent definitions, study basic properties of circular flows in mono-directed signed graphs, explore relations with flows in graphs, and focus on upper bounds on $Φ_c(G,σ)$ in terms of the edge-connectivity of $G$. Meanwhile, we note that for the particular values of $r_{_k}=\frac{2k}{k-1}$, and when restricted to two natural subclasses of signed graphs, the existence of a circular $r_{_k} $-flow is strongly connected with the existence of a modulo $k$-orientation, and in case of planar graphs, based on duality, with the homomorphisms to $C_{-k}$.
Is it easier to count communities than find them?
Published
• View Publication
• BIB
Random graph models with community structure have been studied extensively in the literature. For both the problems of detecting and recovering community structure, an interesting landscape of statistical and computational phase transitions has emerged. A natural unanswered question is: might it be possible to infer properties of the community structure (for instance, the number and sizes of communities) even in situations where actually finding those communities is believed to be computationally hard? We show the answer is no. In particular, we consider certain hypothesis testing problems between models with different community structures, and we show (in the low-degree polynomial framework) that testing between two options is as hard as finding the communities.
Our methods give the first computational lower bounds for testing between two different ``planted'' distributions, whereas previous results have considered testing between a planted distribution and an i.i.d. ``null'' distribution. We also show a formal relationship between the low--degree frameworks for recovery in a planted model and for testing two planted models.
Color-Dressed Generalized Biadjoint Scalar Amplitudes: Local Planarity
Published in SIGMA 20 (2024), 016, 44 pages
• View Publication
• BIB
The biadjoint scalar theory has cubic interactions and fields transforming in the biadjoint representation of ${\rm SU}(N)\times {\rm SU}\big({\tilde N}\big)$. Amplitudes are "color" decomposed in terms of partial amplitudes computed using Feynman diagrams which are simultaneously planar with respect to two orderings. In 2019, a generalization of biadjoint scalar amplitudes based on generalized Feynman diagrams (GFDs) was introduced. GFDs are collections of Feynman diagrams derived by incorporating an additional constraint of "local planarity" into the construction of the arrangements of metric trees in combinatorics. In this work, we propose a natural generalization of color orderings which leads to color-dressed amplitudes. A generalized color ordering (GCO) is defined as a collection of standard color orderings that is induced, in a precise sense, from an arrangement of projective lines on $\mathbb{RP}^2$. We present results for $n\leq 9$ generalized color orderings and GFDs, uncovering new phenomena in each case. We discover generalized decoupling identities and propose a definition of the "colorless" generalized scalar amplitude. We also propose a notion of GCOs for arbitrary $\mathbb{RP}^{k-1}$, discuss some of their properties, and comment on their GFDs. In a companion paper, we explore the definition of partial amplitudes using CEGM integral formulas.
Counting compatible indexing systems for $C_{p^n}$
Published
• View Publication
• BIB
We count the number of compatible pairs of indexing systems for the cyclic group $C_{p^n}$. Building on work of Balchin--Barnes--Roitzheim, we show that this sequence of natural numbers is another family of Fuss--Catalan numbers. We count this two different ways: showing how the conditions of compatibility give natural recursive formulas for the number of admissible sets and using an enumeration of ways to extend indexing systems by conceptually simpler pieces.
Rowmotion on 321-avoiding permutations
Published
• View Publication
• BIB
We give a natural definition of rowmotion for $321$-avoiding permutations, by translating, through bijections involving Dyck paths and the Lalanne--Kreweras involution, the analogous notion for antichains of the positive root poset of type $A$. We prove that some permutation statistics, such as the number of fixed points, are homomesic under rowmotion, meaning that they have a constant average over its orbits.
Our setting also provides a more natural description of the celebrated Armstrong--Stump--Thomas equivariant bijection between antichains and non-crossing matchings in types $A$ and $B$, by showing that it is equivalent to the Robinson--Schensted--Knuth correspondence on $321$-avoiding permutations permutations.
Antipaths in oriented graphs
We show that for any natural number $k \ge 1$, any oriented graph $D$ of minimum semidegree at least $(3k- 2)/4$ contains an antidirected path of length $k$. In fact, a slightly weaker condition on the semidegree sequence of $D$ suffices, and as a consequence, we confirm a weakened antidirected path version of a conjecture of Addario-Berry, Havet, Linhares Sales, Thomassé and Reed.
A natural bijection for contiguous pattern avoidance in words
Published in Discrete Mathematics, 347 (3), 2024
• View Publication
• BIB
Two words $p$ and $q$ are avoided by the same number of length-$n$ words, for all $n$, precisely when $p$ and $q$ have the same set of border lengths. Previous proofs of this theorem use generating functions but do not provide an explicit bijection. We give a bijective proof for all pairs $p, q$ that have the same set of proper borders, establishing a natural bijection from the set of words avoiding $p$ to the set of words avoiding $q$.
When is a numerical semigroup a quotient?
Published
• View Publication
• BIB
A natural operation on numerical semigroups is taking a quotient by a positive integer. If $\mathcal S$ is a quotient of a numerical semigroup with $k$ generators, we call $\mathcal S$ a $k$-quotient. We give a necessary condition for a given numerical semigroup $\mathcal S$ to be a $k$-quotient, and present, for each $k \ge 3$, the first known family of numerical semigroups that cannot be written as a $k$-quotient. We also examine the probability that a randomly selected numerical semigroup with $k$ generators is a $k$-quotient.
The higher Stasheff--Tamari orders in representation theory
Published
• View Publication
• BIB
We show that the relationship discovered by Oppermann and Thomas between triangulations of cyclic polytopes and the higher Auslander algebras of type $A$, denoted $A_{n}^{d}$, is an incredibly rich one. The \emph{higher Stasheff--Tamari orders} are two orders on triangulations of cyclic polytopes, conjectured to be equivalent, defined in the 1990s by Kapranov and Voevodsky, and Edelman and Reiner. We first show that these orders correspond in even dimensions to natural orders on tilting modules defined by Riedtmann and Schofield and studied by Happel and Unger. This result allows us to show that triangulations of odd-dimensional cyclic polytopes are in bijection with equivalence classes of $d$-maximal green sequences of $A_{n}^{d}$, which we introduce as a higher-dimensional generalisation of the original maximal green sequences of Keller. We further interpret the higher Stasheff--Tamari orders in odd dimensions, where they correspond to natural orders on equivalences classes of $d$-maximal green sequences. The conjecture that these two partial orders on equivalence classes of $d$-maximal green sequences are equal amounts to an oriented version of the ``no-gap'' conjecture of Brüstle, Dupont, and Perotin. A corollary of our results is that this conjecture holds for $A_{n}$, and that here the set of equivalence classes of (1-)maximal green sequences is a lattice.
Some further applications of a lattice theoretic method in the study of singular LCM matrices
Published
• View Publication
• BIB
In 1876 H. J. S. Smith defined an LCM matrix as follows: let S = {x_1, x_2, ..., x_n} be a set of positive integers. The LCM matrix [S] is the n $\times$ n matrix with lcm(x_i , x_j) as its ij entry. During the last 30 years singularity of LCM matrices has interested many authors. In 1992 Bourque and Ligh ended up conjecturing that if the GCD closedness of the set S (which means that gcd(x_i, x_j) $\in$ S for all i, j $\in$ {1, 2, . . . , n}), suffices to guarantee the invertibility of the matrix [S]. However, a few years later this conjecture was proven false first by Haukkanen et al. and then by Hong. It turned out that the conjecture holds only on GCD closed sets with at most 7 elements but not in general for larger sets. However, the given counterexamples did not give much insight on why does the conjecture fail exactly in the case when n=8. This situation was later improved in a couple of articles, where a new lattice theoretic approach was introduced (the method is based on the fact that because the set S is assumed to be GCD closed, the structure (S, |) actually forms a meet semilattice). For example, it has been shown that in the case when the set S has 8 elements and the matrix [S] is singular, there is only one option for the semilattice structure of (S, |), namely the cube structure.
Since the cases up to n=8 have been thoroughly studied in various articles, the next natural step is to apply the methods to the case n=9. This was done by Altinisik and Altintaa as they consider the different lattice structures of (S, |) with nine elements that can result in a singular LCM matrix [S]. However, their investigation leaves two open questions, and the main purpose of this presentation is to provide solutions to them. We shall also give a new lattice theoretic proof for a result referred to as Sun's conjecture, which was originally proven by Hong via number theoretic approach.
Spectral properties of $\mathcal{C}$-graphs
Published
• View Publication
• BIB
Assumed to be undirected, simple, and connected are all of the graphs in this study, and adjacency matrix $A$ serves as the associated matrix. In this paper we show that it is possible to relate a creation sequence for a type of cographs (we call it $\mathcal{C}$-graphs). Those cographs can be defined by a finite sequence of natural numbers. Using that sequence we obtain the inertia of the cograph under consideration. An extended eigenvalue-free set from $(-1,0)$ to $\big{[}\frac{-1-\sqrt{2}}{2}, -1)\cup (-1, 0) \cup (0, \frac{-1+\sqrt{2}}{2}α_{min}\big{]}$, (where $α_{min}\geq1$ is the smallest integer of the creation sequence) is obtained for the cographs under consideration. Additionally, an exact formula is found for the characteristic polynomial.
Random Recursive Hypergraphs
Published in J. Phys. A: Math. Theor. 56, 195001 (2023)
• View Publication
• BIB
Random recursive hypergraphs grow by adding, at each step, a vertex and an edge formed by joining the new vertex to a randomly chosen existing edge. The model is parameter-free, and several characteristics of emerging hypergraphs admit neat expressions via harmonic numbers, Bernoulli numbers, Eulerian numbers, and Stirling numbers of the first kind. Natural deformations of random recursive hypergraphs give rise to fascinating models of growing random hypergraphs.