Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Reciprocal maximum likelihood degrees of diagonal linear concentration models
We show that the reciprocal maximal likelihood degree (rmld) of a diagonal linear concentration model $\mathcal L \subseteq \mathbb{C}^n$ of dimension $r$ is equal to $(-2)^rχ_M( \textstyle\frac{1}{2})$, where $χ_M$ is the characteristic polynomial of the matroid $M$ associated to $\mathcal L$. In particular, this establishes the polynomiality of the rmld for general diagonal linear concentration models, positively answering a question of Sturmfels, Timme, and Zwiernik.
Multiplicative representations of integers and Ramsey's theorem
Published in in: Combinatorial and Additive Number Theory IV, Springer, New York, 2021, pp. 409--423
• View Publication
• BIB
Let $\mathcal{B} = (B_1,\ldots, B_h)$ be an $h$-tuple of sets of positive integers. Let $g_{\mathcal{B} }(n)$ count the number of representations of $n$ in the form $n = b_1\cdots b_h$, where $b_i \in B_i$ for all $i \in \{1,\ldots, h\}$. It is proved that $\liminf_{n\rightarrow \infty} g_{\mathcal{B} }(n) \geq 2$ implies $\limsup_{n\rightarrow \infty} g_{\mathcal{B} }(n) = \infty$.
The co-prime order graph associated with a finite group
Let $G$ be a finite group. The co-prime order graph of $G$ is the graph whose vertex set is $G$, and two distinct vertices $x,y$ are adjacent if gcd$(o(x),o(y))$ is either $1$ or a prime, where $o(x)$ and $o(y)$ are the orders of $x$ and $y$, respectively. In this paper, we characterize all finite groups whose co-prime order graphs are complete and classify all finite groups whose co-prime order graphs are planar. Also, we compute the vertex-connectivity of the co-prime order graph of a cyclic group, a dihedral group and a generalized quaternion group, which answers a question by Banerjee (2019). Finally, we prove that, for a fixed positive integer $k$, there are finitely many finite groups whose co-prime order graphs have (non)orientable genus $k$. As applications, we classify all finite groups whose co-prime order graphs have (non)orientable genus one and two.
A combinatorial Schur expansion of triangle-free horizontal-strip LLT polynomials
Published
• View Publication
• BIB
In recent years, Alexandersson and others proved combinatorial formulas for the Schur function expansion of the horizontal-strip LLT polynomial $G_λ(x;q)$ in some special cases. We associate a weighted graph $Π$ to $λ$ and we use it to express a linear relation among LLT polynomials. We apply this relation to prove an explicit combinatorial Schur-positive expansion of $G_λ(x;q)$ whenever $Π$ is triangle-free. We also prove that the largest power of $q$ in the LLT polynomial is the total edge weight of our graph.
Turan and Ramsey numbers in linear triple systems
In this paper we study Turán and Ramsey numbers in linear triple systems, defined as $3$-uniform hypergraphs in which any two triples intersect in at most one vertex.
A famous result of Ruzsa and Szemerédi is that for any fixed $c>0$ and large enough $n$ the following Turán-type theorem holds. If a linear triple system on $n$ vertices has at least $cn^2$ edges then it contains a {\em triangle}: three pairwise intersecting triples without a common vertex. In this paper we extend this result from triangles to other triple systems, called {\em $s$-configurations}. The main tool is a generalization of the induced matching lemma from $aba$-patterns to more general ones.
We slightly generalize $s$-configurations to {\em extended $s$-configurations}. For these we cannot prove the corresponding Turán-type theorem, but we prove that they have the weaker, Ramsey property: they can be found in any $t$-coloring of the blocks of any sufficiently large Steiner triple system. Using this, we show that all unavoidable configurations with at most 5 blocks, except possibly the ones containing the sail $C_{15}$ (configuration with blocks 123, 345, 561 and 147), are $t$-Ramsey for any $t\geq 1$. The most interesting one among them is the {\em wicket}, $D_4$, formed by three rows and two columns of a $3\times 3$ point matrix. In fact, the wicket is $1$-Ramsey in a very strong sense: all Steiner triple systems except the Fano plane must contain a wicket.
Turán numbers and anti-Ramsey numbers for short cycles in complete $3$-partite graphs
Published
• View Publication
• BIB
We call a $4$-cycle in $K_{n_{1}, n_{2}, n_{3}}$ multipartite, denoted by $C_{4}^{\text{multi}}$, if it contains at least one vertex in each part of $K_{n_{1}, n_{2}, n_{3}}$. The Turán number $\text{ex}(K_{n_{1},n_{2},n_{3}}, C_{4}^{\text{multi}})$ $\bigg($ respectively, $\text{ex}(K_{n_{1},n_{2},n_{3}},\{C_{3}, C_{4}^{\text{multi}}\})$ $\bigg)$ is the maximum number of edges in a graph $G\subseteq K_{n_{1},n_{2},n_{3}}$ such that $G$ contains no $C_{4}^{\text{multi}}$ $\bigg($ respectively, $G$ contains neither $C_{3}$ nor $C_{4}^{\text{multi}}$ $\bigg)$. We call a $C^{multi}_4$ rainbow if all four edges of it have different colors. The ant-Ramsey number $\text{ar}(K_{n_{1},n_{2},n_{3}}, C_{4}^{\text{multi}})$ is the maximum number of colors in an edge-colored of $K_{n_{1},n_{2},n_{3}}$ with no rainbow $C_{4}^{\text{multi}}$. In this paper, we determine that $\text{ex}(K_{n_{1},n_{2},n_{3}}, C_{4}^{\text{multi}})=n_{1}n_{2}+2n_{3}$ and $\text{ar}(K_{n_{1},n_{2},n_{3}}, C_{4}^{\text{multi}})=\text{ex}(K_{n_{1},n_{2},n_{3}}, \{C_{3}, C_{4}^{\text{multi}}\})+1=n_{1}n_{2}+n_{3}+1,$ where $n_{1}\ge n_{2}\ge n_{3}\ge 1.$
Rado equations solved by linear combinations of idempotent ultrafilters
Published
• View Publication
• BIB
We fully characterise the solvability of Rado equations inside linear combinations $a_{1}\U\oplus\dots\oplus a_{n}\U$ of idempotent ultrafilters $\U\inβ\Z$ by exploiting known relations between such combinations and strings of integers. This generalises a partial characterization previously obtained by Mauro Di Nasso.
On Artinian Gorenstein algebras associated to the face posets of regular polyhedra
We introduce Artinian Gorenstein algebras defined by the face posets of regular polyhedra. We consider the strong Lefschetz property and Hodge--Riemann relation for the algebras. We show the strong Lefschetz property of the algebras for all Platonic solids. On the other hand, for some Platonic solids, we show that the algebras do not satisfy the Hodge--Riemann relation with respect to some strong Lefschetz elements.
Limitations of Mean-Based Algorithms for Trace Reconstruction at Small Distance
Published
• View Publication
• BIB
Trace reconstruction considers the task of recovering an unknown string $x \in \{0,1\}^n$ given a number of independent "traces", i.e., subsequences of $x$ obtained by randomly and independently deleting every symbol of $x$ with some probability $p$. The information-theoretic limit of the number of traces needed to recover a string of length $n$ is still unknown. This limit is essentially the same as the number of traces needed to determine, given strings $x$ and $y$ and traces of one of them, which string is the source. The most-studied class of algorithms for the worst-case version of the problem are "mean-based" algorithms. These are a restricted class of distinguishers that only use the mean value of each coordinate on the given samples. In this work we study limitations of mean-based algorithms on strings at small Hamming or edit distance. We show that, on the one hand, distinguishing strings that are nearby in Hamming distance is "easy" for such distinguishers. On the other hand, we show that distinguishing strings that are nearby in edit distance is "hard" for mean-based algorithms. Along the way, we also describe a connection to the famous Prouhet-Tarry-Escott (PTE) problem, which shows a barrier to finding explicit hard-to-distinguish strings: namely such strings would imply explicit short solutions to the PTE problem, a well-known difficult problem in number theory. Furthermore, we show that the converse is also true, thus, finding explicit solutions to the PTE problem is equivalent to the problem of finding explicit strings that are hard-to-distinguish by mean-based algorithms.
Our techniques rely on complex analysis arguments that involve careful trigonometric estimates, and algebraic techniques that include applications of Descartes' rule of signs for polynomials over the reals.
An orthodontia formula for Grothendieck polynomials
We give a new operator formula for Grothendieck polynomials that generalizes Magyar's Demazure operator formula for Schubert polynomials. Our proofs are purely combinatorial, contrasting with the geometric and representation theoretic tools used by Magyar. We apply our formula to prove a necessary divisibility condition for a monomial to appear in a given Grothendieck polynomial.
Identifying Young diagrams among residue multisets
Published in Annals of Combinatorics (2023)
• View Publication
• BIB
To any Young diagram we can associate the multiset of residues of all its nodes. This paper is concerned with the inverse problem: given a multiset of elements of Z/eZ, does it comes from a Young diagram? We give a full solution in level one and a partial answer in higher levels for Young multidiagrams, using Fayers's notions of core block and weight of a multipartition. We apply the result in level one to study a shift operation on partitions.
Wiener index in graphs with given minimum degree and maximum degree
Published in Discrete Mathematics & Theoretical Computer Science, vol. 23 no. 1, Graph Theory (June 3, 2021) dmtcs:6956
• View Publication
• BIB
Let $G$ be a connected graph of order $n$.The Wiener index $W(G)$ of $G$ is the sum of the distances between all unordered pairs of vertices of $G$. In this paper we show that the well-known upper bound $\big( \frac{n}{δ+1}+2\big) {n \choose 2}$ on the Wiener index of a graph of order $n$ and minimum degree $δ$ [M. Kouider, P. Winkler, Mean distance and minimum degree. J. Graph Theory 25 no. 1 (1997)] can be improved significantly if the graph contains also a vertex of large degree. Specifically, we give the asymptotically sharp bound $W(G) \leq {n-Δ+δ\choose 2} \frac{n+2Δ}{δ+1}+ 2n(n-1)$ on the Wiener index of a graph $G$ of order $n$, minimum degree $δ$ and maximum degree $Δ$. We prove a similar result for triangle-free graphs, and we determine a bound on the Wiener index of $C_4$-free graphs of given order, minimum and maximum degree and show that it is, in some sense, best possible.
The second production matrix of a Riordan array
A Riordan array is defined by its production matrix. In this paper, we explore the notion of the second production matrix of a Riordan array, characterizing the matrix that is generated by it. We indicate how this procedure can be generalized to the so-called $n$-th production matrix of a Riordan array.
Set-Sequential Labelings of Odd Trees
Published
• View Publication
• BIB
A tree $T$ on $2^n$ vertices is called set-sequential if the elements in $V(T)\cup E(T)$ can be labeled with distinct nonzero $(n+1)$-dimensional $01$-vectors such that the vector labeling each edge is the component-wise sum modulo $2$ of the labels of the endpoints. It has been conjectured that all trees on $2^n$ vertices with only odd degree are set-sequential (the "Odd Tree Conjecture"), and in this paper, we present progress toward that conjecture. We show that certain kinds of caterpillars (with restrictions on the degrees of the vertices, but no restrictions on the diameter) are set-sequential. Additionally, we introduce some constructions of new set-sequential graphs from smaller set-sequential bipartite graphs (not necessarily odd trees). We also make a conjecture about pairings of the elements of $\mathbb{F}_2^n$ in a particular way; in the process, we provide a substantial clarification of a proof of a theorem that partitions $\mathbb{F}_2^n$ from a 2011 paper by Balister et al. Finally, we put forward a result on bipartite graphs that is a modification of a theorem in Balister et al.
Being Central on the Cheap: Stability in Heterogeneous Multiagent Centrality Games
Published
• View Publication
• BIB
We study strategic network formation games in which agents attempt to form (costly) links in order to maximize their network centrality. Our model derives from Jackson and Wolinsky's symmetric connection model, but allows for heterogeneity in agent utilities by replacing decay centrality (implicit in the Jackson-Wolinsky model) by a variety of classical centrality and game-theoretic measures of centrality. We are primarily interested in characterizing the asymptotically pairwise stable networks, i.e. those networks that are pairwise stable for all sufficiently small, positive edge costs. We uncover a rich typology of stability:
- we give an axiomatic approach to network centrality that allows us to predict the stable network for a rich set of combination of centrality utility functions, yielding stable networks with features reminiscent of structural properties such as "core periphery" and "rich club" networks.
- We show that a simple variation on the model renders it universal, i.e. every network may be a stable network.
- We also show that often we can infer a significant amount about agent utilities from the structure of stable networks.
Maker-Breaker Games on Random Hypergraphs
In this paper, we study Maker-Breaker games on the random hypergraph $H_{n,s,p}$, obtained from the complete $s$-graph by keeping every edge independently with probability $p$. We determine the threshold probability for the property of Maker winning the game as a function of $s$, the uniformity of the underlying hypergraph, as well as $m$, $b$, the number of vertices that Maker and Breaker are respectively allowed to pick each turn.
In addition, we show that depending on those $m,b,s$, there are two types of thresholds: either being Maker-win is a local property and the threshold is weak, or it is related to global properties of the random hypergraph and the threshold is semi-sharp. We conjecture that in the latter case, the threshold is actually sharp.
Free quantum analogue of Coxeter group $D_4$
Published in Journal of Algebra 604 (2022) 577-613
• View Publication
• BIB
We define the quantum group $D_4^+$ -- a free quantum version of the demihyperoctahedral group $D_4$ (the smallest representative of the Coxeter series $D$). In order to do so, we construct a free analogue of the property that a $4\times4$ matrix has determinant one. Such analogues of determinants are usually very hard to define for free quantum groups in general and our result only holds for the matrix size $N=4$. The free $D_4^+$ is then defined by imposing this generalized determinant condition on the free hyperoctahedral group $H_4^+$. Moreover, we give a detailed combinatorial description of the representation category of $D_4^+$.
A new upper bound for sets with no square differences
Published
• View Publication
• BIB
We show that if $A\subset \{1,\ldots,N\}$ has no solutions to $a-b=n^2$ with $a,b\in A$ and $n\geq 1$ then \[|A|\ll \frac{N}{(\log N)^{c\log\log \log N}}\] for some absolute constant $c>0$. This improves upon a result of Pintz-Steiger-Szemerédi.
Domination broadcast: A case study on a combination of cycle graph and sunlet graph
Domination in graphs has long been studied and is applied to signal distribution problem. For example, telecommunication companies want to spread the signal from broadcast stations by transmitting varying signal strength to all receiving stations. This problem can be interpreted in a term of graph theory. Assume that broadcast companies need to spread the signal in graphs by using broadcast stations with varying signal strength so that the signal could be sent to all the vertices. However, broadcast stations with stronger signal are generally more expensive. The distribution of signal was configured to cover all stations with minimum total cost of signal called the $γ_b-$dominating broadcast number. This paper shows another proof of the $γ_b-$dominating broadcast number of cycle graphs and sunlet graphs as a foundation for the further result. I also consider the $γ_b-$dominating broadcast number of a generalized version of sunlet graphs whose vertices on the cycle are equally extended by the path, called the sunlet graph with degree $n$. To obtain the optimal cost of the signal distribution for this extended version, we show that it is sufficient to use only one broadcast station at a vertex on the cycle with the signal cost equal to the radius of the sunlet graph with degree $n$.
Finitary affine oriented matroids
Published
• View Publication
• BIB
We initiate the axiomatic study of affine oriented matroids (AOMs) on arbitrary ground sets, obtaining fundamental notions such as minors, reorientations and a natural embedding into the frame work of Complexes of Oriented Matroids. The restriction to the finitary case (FAOMs) allows us to study tope graphs and covector posets, as well as to view FAOMs as oriented finitary semimatroids. We show shellability of FAOMs and single out the FAOMs that are affinely homeomorphic to $\mathbb{R}^n$. Finally, we study group actions on AOMs, whose quotients in the case of FAOMs are a stepping stone towards a general theory of affine and toric pseudoarrangements. Our results include applications of the multiplicity Tutte polynomial of group actions of semimatroids, generalizing enumerative properties of toric arrangements to a combinatorially defined class of arrangements of submanifolds. This answers partially a question by Ehrenborg and Readdy.