Showing 20 papers (Total: 84460 papers, 48641 authors in database)
The Paradox of Second-Order Homophily in Networks
Published in Sci Rep 11, 13360 (2021)
• View Publication
• BIB
Homophily -- the tendency of nodes to connect to others of the same type -- is a central issue in the study of networks. Here we take a local view of homophily, defining notions of first-order homophily of a node (its individual tendency to link to similar others) and second-order homophily of a node (the aggregate first-order homophily of its neighbors). Through this view, we find a surprising result for homophily values that applies with only minimal assumptions on the graph topology. It can be phrased most simply as "in a graph of red and blue nodes, red friends of red nodes are on average more homophilous than red friends of blue nodes." This gap in averages defies simple intuitive explanations, applies to globally heterophilous and homophilous networks and is reminiscent of but structurally distinct from the Friendship Paradox. The existence of this gap suggests intrinsic biases in homophily measurements between groups, and hence is relevant to empirical studies of homophily in networks.
Families of Association Schemes on Triples from Two-Transitive Groups
Published
• View Publication
• BIB
Association schemes on triples (ASTs) are ternary analogues of classical association schemes. Analogous to Schurian association schemes, ASTs arise from the actions of two-transitive groups. In this paper, we obtain the sizes and third valencies of the ASTs obtained from the two-transitive permutation groups by determining the orbits of the groups' two-point stabilizers. Specifically, we obtain these parameters for the ASTs obtained from the actions of $S_n$ and $A_n$, $PGU(3,q)$, $PSU(3,q)$, and $Sp(2k,2)$, $Sz(2^{2k+1})$ and $Ree(3^{2k+1})$, some subgroups of $AΓL(k,n)$, some subgroups of $PΓL(k,n)$, and the sporadic two-transitive groups. Further, we obtain the intersection numbers for the ASTs obtained from these subgroups of $PΓL(k,n)$ and $A ΓL(k,n)$, and the sporadic two-transitive groups. In particular, the ASTs from these projective and sporadic groups are commutative.
Boolean functions on $S_n$ which are nearly linear
Published in Discrete Analysis, 2021:25
• View Publication
• BIB
We show that if $f\colon S_n \to \{0,1\}$ is $ε$-close to linear in $L_2$ and $\mathbb{E}[f] \leq 1/2$ then $f$ is $O(ε)$-close to a union of "mostly disjoint" cosets, and moreover this is sharp: any such union is close to linear. This constitutes a sharp Friedgut-Kalai-Naor theorem for the symmetric group.
Using similar techniques, we show that if $f\colon S_n \to \mathbb{R}$ is linear, $\Pr[f \notin \{0,1\}] \leq ε$, and $\Pr[f = 1] \leq 1/2$, then $f$ is $O(ε)$-close to a union of mostly disjoint cosets, and this is also sharp; and that if $f\colon S_n \to \mathbb{R}$ is linear and $ε$-close to $\{0,1\}$ in $L_\infty$ then $f$ is $O(ε)$-close in $L_\infty$ to a union of disjoint cosets.
On the Complexity of Optimising Variants of Phylogenetic Diversity on Phylogenetic Networks
Published
• View Publication
• BIB
Phylogenetic Diversity (PD) is a prominent quantitative measure of the biodiversity of a collection of present-day species (taxa). This measure is based on the evolutionary distance among the species in the collection. Loosely speaking, if $\mathcal{T}$ is a rooted phylogenetic tree whose leaf set $X$ represents a set of species and whose edges have real-valued lengths (weights), then the PD score of a subset $S$ of $X$ is the sum of the weights of the edges of the minimal subtree of $\mathcal{T}$ connecting the species in $S$. In this paper, we define several natural variants of the PD score for a subset of taxa which are related by a known rooted phylogenetic network. Under these variants, we explore, for a positive integer $k$, the computational complexity of determining the maximum PD score over all subsets of taxa of size $k$ when the input is restricted to different classes of rooted phylogenetic networks
Variations on the Erdős distinct-sums problem
Published
• View Publication
• BIB
Let $\{a_1, . . . , a_n\}$ be a set of positive integers with $a_1 < \dots < a_n$ such that all $2^n$ subset sums are distinct. A famous conjecture by Erdős states that $a_n>c\cdot 2^n$ for some constant $c$, while the best result known to date is of the form $a_n>c\cdot 2^n/\sqrt{n}$. In this paper, we weaken the condition by requiring that only sums corresponding to subsets of size smaller than or equal to $λn$ be distinct. For this case, we derive lower and upper bounds on the smallest possible value of $a_n$.
On Vizing's edge colouring question
Published
• View Publication
• BIB
Soon after his 1964 seminal paper on edge colouring, Vizing asked the following question: can an optimal edge colouring be reached from any given proper edge colouring through a series of Kempe changes? We answer this question in the affirmative for triangle-free graphs.
The equivalence of linear codes implies semi-linear equivalence
Published
• View Publication
• BIB
We prove that if two linear codes are equivalent then they are semi-linearly equivalent. We also prove that if two additive MDS codes over a field are equivalent then they are additively equivalent.
Which Schubert Varieties are Hessenberg Varieties?
Published
• View Publication
• BIB
After proving that every Schubert variety in the full flag variety of a complex reductive group $G$ is a general Hessenberg variety, we show that not all such Schubert varieties are adjoint Hessenberg varieties. In fact, in types A and C, we provide pattern avoidance criteria implying that the proportion of Schubert varieties that are adjoint Hessenberg varieties approaches zero as the rank of $G$ increases. We show also that in type A, some Schubert varieties are not isomorphic to any adjoint Hessenberg variety.
Extremal product-one free sequences over $C_n \rtimes_s C_2$
Let $G$ be a finite group multiplicatively written. The small Davenport constant of $G$ is the maximum positive integer ${\sf d}(G)$ such that there exists a sequence $S$ of length ${\sf d}(G)$ for which every subsequence of $S$ is product-one free. Let $s^2 \equiv 1 \pmod n$, where $s \not\equiv \pm1 \pmod n$. It has been proven that ${\sf d}(C_n \rtimes_s C_2) = n$ (see Lemma 6 of [Zhuang, Gao; Europ. J. Combin. 26 (2005), 1053-1059]). In this paper, we determine all sequences over $C_n \rtimes_s C_2$ of length $n$ which are product-one free. It completes the classification of all product-one free sequences over every group of the form $C_n \rtimes_s C_2$, including the quasidihedral groups and the modular maximal-cyclic groups.
The main zero-sum constants over $D_{2n} \times C_2$
Let $C_2$ be the cyclic group of order $2$ and $D_{2n}$ be the dihedral group of order $2n$, where $n$ is even. In this paper, we provide the exact values of some zero-sum constants over $D_{2n} \times C_2$, namely small Davenport constant, Gao constant, $η$-constant and Erd\H os-Ginzburg-Ziv constant. As a consequence, we prove the Gao's and Zhuang-Gao's Conjectures for this group. These are the first concrete results on zero-sum problems for a family of non-abelian groups of rank greater than $2$.
A counterexample to a Gröbner approach for noetherianity of the twisted commutative algebra ${\rm Sym}({\rm Sym}^2(\mathbf{C}^\infty))$
We resolve an open question posed by the authors of arXiv:1501.06925v2 in 2015 concerning a Gröbner theoretic approach for the noetherianity of the twisted commutative algebra ${\rm Sym}({\rm Sym}^2(\mathbf{C}^\infty))$. We provide a negative answer to their question by producing an explicit antichain. In doing so, we establish a connection to well studied posets of graphs under the subgraph and induced subgraph relation. We then analyze this connection to suggest future paths of investigation, for example a deeper study of initial ideals in twisted commutative algebras.
$\mathfrak{sl}_2$-Harish-Chandra modules for $\mathfrak{sl}_2 \ltimes L(4)$
Published in Journal of Mathematical Physics 63, 021701 (2022)
• View Publication
• BIB
We use analogues of Enright's and Arkhipov's functors to determine the quiver and relations for a category of $\mathfrak{sl}_2 \ltimes L(4)$-modules which are locally finite (and with finite multiplicities) over $\mathfrak{sl}_2$. We also outline serious obstacles to extend our result to $\mathfrak{sl}_2 \ltimes L(k)$, for $k>4$.
Column convex matrices, $G$-cyclic orders, and flow polytopes
We study polytopes defined by inequalities of the form $\sum_{i\in I} z_{i}\leq 1$ for $I\subseteq [d]$ and nonnegative $z_i$ where the inequalities can be reordered into a matrix inequality involving a column-convex $\{0,1\}$-matrix. These generalize polytopes studied by Stanley, and the consecutive coordinate polytopes of Ayyer, Josuat-Vergès, and Ramassamy. We prove an integral equivalence between these polytopes and flow polytopes of directed acyclic graphs $G$ with a Hamiltonian path, which we call spinal graphs. We show that the volume of these flow polytopes is the number of extensions of a set of partial cyclic orders defined by the graph $G$. As a special case we recover results on volumes of consecutive coordinate polytopes.
We study the combinatorics of $k$-Euler numbers, which are generalizations of the classical Euler numbers, and which arise as volumes of flow polytopes of a special family of spinal graphs. We show that their refinements, Ramassamy's $k$-Entringer numbers, can be realized as values of a Kostant partition function, satisfy a family of generalized boustrophedon recurrences, and are log concave along root directions.
Finally, via our main integral equivalence and the known formula for the $h^*$-polynomial of consecutive coordinate polytopes, we give a combinatorial formula for the $h^*$-polynomial of flow polytopes of non-nested spinal graphs. For spinal graphs in general, we present a conjecture on upper and lower bounds for their $h^*$-polynomial.
$(d,\textbfσ)$-Veronese variety and some applications
Published
• View Publication
• BIB
Let $\mathbb{K}$ be the Galois field $\mathbb{F}_{q^t}$ of order $q^t, q=p^e, p$ a prime, $A=\mathrm{Aut}(\mathbb{K})$ be the automorphism group of $\mathbb{K}$ and $\boldsymbolσ=(σ_0,\ldots, σ_{d-1}) \in A^d$, $d \geq 1$. In this paper the following generalization of the Veronese map is studied: $$ ν_{d,\boldsymbolσ} : \langle v\rangle \in \mathrm{PG}(n-1,\mathbb{K}) \longrightarrow \langle v^{σ_0} \otimes v^{σ_1} \otimes \cdots \otimes v^{σ_{d-1}}\rangle \in \mathrm{PG} (n^d-1,\mathbb{K} ). $$ Its image will be called the $(d,\boldsymbolσ)$-$Veronese$ $variety$ $\mathcal{V}_{d,\boldsymbolσ}$. Here, we will show that $\mathcal{V}_{d,\boldsymbolσ}$ is the Grassmann embedding of a normal rational scroll and any $d+1$ points of it are linearly independent. We give a characterization of $d+2$ linearly dependent points of $\mathcal{V}_{d,\boldsymbolσ}$ and for some choices of parameters, $\mathcal{V}_{p,\boldsymbolσ}$ is the normal rational curve; for $p=2$, it can be the Segre's arc of $\mathrm{PG}(3,q^t)$; for $p=3$ $\mathcal{V}_{p,\boldsymbolσ}$ can be also a $|\mathcal{V}_{p,\boldsymbolσ}|$-track of $\mathrm{PG}(5,q^t)$. Finally, investigate the link between such points sets and a linear code $\mathcal{C}_{d,\boldsymbolσ}$ that can be associated to the variety, obtaining examples of MDS and almost MDS codes.
A note on hyperopic cops and robber
Published
• View Publication
• BIB
We explore a variant of the game of Cops and Robber introduced by Bonato et al.~where the robber is invisible unless outside the common neighbourhood of the cops. The hyperopic cop number is analogous to the cop number and we investigate bounds on this quantity. We define a small common neighbourhood set and relate the minimum cardinality of this graph parameter to the hyperopic cop number. We consider diameter 2 graphs, particularly the join of two graphs, as well as Cartesian products.
Computing Permanents on a Trellis
The problem of computing the permanent of a matrix has attracted interest since the work of Ryser(1963) and Valiant(1979). On the other hand, trellises were extensively studied in coding theory since the 1960s. In this work, we establish a connection between the two domains. We introduce the canonical trellis $T_n$ that represents all permutations, and show that the permanent of a $n$ by $n$ matrix $A$ can be computed as a flow on this trellis. Under certain normalization, the trellis-based method invokes slightly less operations than best known exact methods. Moreover, if $A$ has structure, then $T_n$ becomes amenable to vertex merging, thereby significantly reducing its complexity.
- Repeated rows: Suppose $A$ has only $t<n$ distinct rows. The best known method to compute $per(A)$, due to Clifford and Clifford (2020), has complexity $O(n^{t+1})$. Merging vertices in $T_n$, we obtain a reduced trellis that has complexity $O(n^t)$.
- Order statistics: Using trellises, we compute the joint distribution of $t$ order statistics of $n$ independent, but not identically distributed, random variables in time $O(n^{t+1})$. Previously, polynomial-time methods were known only when the variables are drawn from two non-identical distributions.
- Sparse matrices: Suppose each entry in $A$ is nonzero with probability $d/n$ with $d$ is constant. We show that $T_n$ can be pruned to exponentially fewer vertices, resulting in complexity $O(φ^n)$ with $φ<2$.
- TSP: Intersecting $T_n$ with another trellis that represents walks, we obtain a trellis that represents circular permutations. Using the latter trellis to solve the traveling salesperson problem recovers the well-known Held-Karp algorithm.
Notably, in all cases, the reduced trellis are obtained using known techniques in trellis theory. We expect other trellis-theoretic results to apply to other structured matrices.
Decompositions of even hypercubes into cycles whose length is a power of two
Published in Involve 17 (2024) 233-247
• View Publication
• BIB
If $n$ is even, the $n$-dimensional hypercube can be decomposed into edge-disjoint cycles of length $2^i$ for every value of $i$ from $2$ to $n$.
The Length of the Longest Sequence of Consecutive FS-double Squares in a word
A square is a concatenation of two identical words, and a word $w$ is said to have a square $yy$ if $w$ can be written as $xyyz$ for some words $x$ and $z$. It is known that the ratio of the number of distinct squares in a word to its length is less than two and any location of a word could begin with at most two rightmost distinct squares. A square whose first location starts with the last occurrence of two distinct squares is an FS-double square. We explore and identify the conditions to generate a sequence of locations in a word that starts with FS-double squares. We first find the structure of the smallest word that begins with two consecutive FS-double squares and obtain its properties that enable to extend the sequence of FS-double squares. It is proved that the length of the longest sequence of consecutive FS-double squares in a word of length $n$ is at most $\frac{n}{7}$. We show that the squares in the longest sequence of consecutive FS-double squares are conjugates.
Non-classical polynomials and the inverse theorem
Published in Math. Proc. Cambridge Philos. Soc. 173 (2022), 525--537
• View Publication
• BIB
In this note we characterize when non-classical polynomials are necessary in the inverse theorem for the Gowers $U^k$-norm. We give a brief deduction of the fact that a bounded function on $\mathbb F_p^n$ with large $U^k$-norm must correlate with a classical polynomial when $k\leq p+1$. To the best of our knowledge, this result is new for $k=p+1$ (when $p>2$). We then prove that non-classical polynomials are necessary in the inverse theorem for the Gowers $U^k$-norm over $\mathbb F_p^n$ for all $k\geq p+2$, completely characterizing when classical polynomials suffice.
Combinatorial settlement planning
Published
• View Publication
• BIB
In this article, we consider a combinatorial settlement model on a rectangular grid where at least one side (east, south or west) of each house must be exposed to sunlight without obstructions. We are interested in maximal configurations, where no additional houses can be added. For a fixed $m\times n$ grid we explicitly calculate the lowest number of houses, and give close to optimal bounds on the highest number of houses that a maximal configuration can have. Additionally, we provide an integer programming formulation of the problem and solve it explicitly for small values of $m$ and $n$.