Showing 20 papers (Total: 82432 papers, 47671 authors in database)
Menon-type identities concerning subsets of the set $\{1,2,\ldots,n\}$
Published in Mathematica Pannonica New Series, vol. 28 (2022), 65-68
• View Publication
• BIB
We prove certain Menon-type identities associated with the subsets of the set $\{1,2,\ldots,n\}$ and related to the functions $f$, $f_k$, $Φ$ and $Φ_k$, defined and investigated by Nathanson (2007).
The Complexity of Vector Partition
Published in Vietnam Journal of Mathematics, 2021
• View Publication
• BIB
We consider the {\em vector partition problem}, where $n$ agents, each with a $d$-dimensional attribute vector, are to be partitioned into $p$ parts so as to minimize cost which is a given function on the sums of attribute vectors in each part. The problem has applications in a variety of areas including clustering, logistics and health care. We consider the complexity and parameterized complexity of the problem under various assumptions on the natural parameters $p,d,a,t$ of the problem where $a$ is the maximum absolute value of any attribute and $t$ is the number of agent types, and raise some of the many remaining open problems.
Non-Abelian Flows in Networks
In this work we consider a generalization of graph flows. A graph flow is, in its simplest formulation, a labeling of the directed edges with real numbers subject to various constraints. A common constraint is conservation in a vertex, meaning that the sum of the labels on the incoming edges of this vertex equals the sum of those on the outgoing edges. One easy fact is that if a flow is conserving in all but one vertex, then it is also conserving in the remaining one. In our generalization we do not label the edges with real numbers, but with elements from an arbitrary group, where this fact becomes false in general. As we will show, graphs with the property that conservation of a flow in all but one vertex implies conservation in all vertices are precisely the planar graphs.
Free Fermion Six Vertex Model: Symmetric Functions and Random Domino Tilings
Published
• View Publication
• BIB
Our work deals with symmetric rational functions and probabilistic models based on the fully inhomogeneous six vertex (ice type) model satisfying the free fermion condition. Two families of symmetric rational functions $F_λ,G_λ$ are defined as certain partition functions of the six vertex model, with variables corresponding to row rapidities, and the labeling signatures $λ=(λ_1\ge \ldots\ge λ_N)\in \mathbb{Z}^N$ encoding boundary conditions. These symmetric functions generalize Schur symmetric polynomials, as well as some of their variations, such as factorial and supersymmetric Schur polynomials. Cauchy type summation identities for $F_λ,G_λ$ and their skew counterparts follow from the Yang-Baxter equation. Using algebraic Bethe Ansatz, we obtain a double alternant type formula for $F_λ$ and a Sergeev-Pragacz type formula for $G_λ$.
In the spirit of the theory of Schur processes, we define probability measures on sequences of signatures with probability weights proportional to products of our symmetric functions. We show that these measures can be viewed as determinantal point processes, and we express their correlation kernels in a double contour integral form. We present two proofs: The first is a direct computation of Eynard-Mehta type, and the second uses non-standard, inhomogeneous versions of fermionic operators in a Fock space coming from the algebraic Bethe Ansatz for the six vertex model.
We also interpret our determinantal processes as random domino tilings of a half-strip with inhomogeneous domino weights. In the bulk, we show that the lattice asymptotic behavior of such domino tilings is described by a new determinantal point process on $\mathbb{Z}^{2}$, which can be viewed as an doubly-inhomogeneous generalization of the extended discrete sine process.
Minimal graphs for contractible and dismantlable properties
Published
• View Publication
• BIB
The notion of a contractible transformation on a graph was introduced by Ivashchenko as a means to study molecular spaces arising from digital topology and computer image analysis, and more recently has been applied to topological data analysis. Contractible transformations involve a list of four elementary moves that can be performed on the vertices and edges of a graph, and it has been shown by Chen, Yau, and Yeh that these moves preserve the simple homotopy type of the underlying clique complex. A graph is said to be ${\mathcal I}$-contractible if one can reduce it to a single isolated vertex via a sequence of contractible transformations. Inspired by the notions of collapsible and non-evasive simplicial complexes, in this paper we study certain subclasses of ${\mathcal I}$-contractible graphs where one can collapse to a vertex using only a subset of these moves. Our main results involve constructions of minimal examples of graphs for which the resulting classes differ. We also relate these classes of graphs to the notion of $k$-dismantlable graphs and $k$-collapsible complexes, which also leads to a minimal counterexample to an erroneous claim of Ivashchenko from the literature. We end with some open questions.
Construction of $k$-matchings and $k$-regular subgraphs in graph products
Published
• View Publication
• BIB
A $k$-matching $M$ of a graph $G=(V,E)$ is a subset $M\subseteq E$ such that each connected component in the subgraph $F = (V,M)$ of $G$ is either a single-vertex graph or $k$-regular, i.e., each vertex has degree $k$. In this contribution, we are interested in $k$-matchings within the four standard graph products: the Cartesian, strong, direct and lexicographic product.
As we shall see, the problem of finding non-empty $k$-matchings ($k\geq 3$) in graph products is NP-complete. Due to the general intractability of this problem, we focus on distinct polynomial-time constructions of $k$-matchings in a graph product $G\star H$ that are based on $k_G$-matchings $M_G$ and $k_H$-matchings $M_H$ of its factors $G$ and $H$, respectively. In particular, we are interested in properties of the factors that have to be satisfied such that these constructions yield a maximum $k$-matching in the respective products. Such constructions are also called "well-behaved" and we provide several characterizations for this type of $k$-matchings.
Our specific constructions of $k$-matchings in graph products satisfy the property of being weak-homomorphism preserving, i.e., constructed matched edges in the product are never "projected" to unmatched edges in the factors. This leads to the concept of weak-homomorphism preserving $k$-matchings. Although the specific $k$-matchings constructed here are not always maximum $k$-matchings of the products, they have always maximum size among all weak-homomorphism preserving $k$-matchings. Not all weak-homomorphism preserving $k$-matchings, however, can be constructed in our manner. We will, therefore, determine the size of maximum-sized elements among all weak-homomorphims preserving $k$-matching within the respective graph products, provided that the matchings in the factors satisfy some general assumptions.
Autonomous Domination
The well-known notion of domination in a graph abstracts the idea of protecting locations with guards. This paper introduces a new graph invariant, the autonomous domination number, which abstracts the idea of defending a collection of locations with autonomous agents following a simple protocol to coordinate their defense using only local information.
Remark on Fermat's Last Theorem
In this short article we do not prove Fermat's last theorem. We show that the number 2 is an exceptional number in this theorem.
Discrete Dynamical Systems From Real Valued Mutation
Published
• View Publication
• BIB
We introduce a family of discrete dynamical systems which includes, and generalizes, the mutation dynamics of rank two cluster algebras. These systems exhibit behavior associated with integrability, namely preservation of a symplectic form, and in the tropical case, the existence of a conserved quantity. We show in certain cases that the orbits are unbounded. The tropical dynamics are related to matrix mutation, from the theory of cluster algebras. We are able to show that in certain special cases, the tropical map is periodic. We also explain how our dynamics imply the asymptotic sign-coherence observed by Gekhtman and Nakanishi in the $2$-dimensional situation.
A short proof of Kneser's theorem via transversals
A very short proof of Kneser's theorem via transversal is given.
On non-normal subgroup perfect codes
Let $X = (V,E)$ be a graph. A subset $C \subseteq V(X)$ is a \emph{perfect code} of $X$ if $C$ is a coclique of $X$ with the property that any vertex in $V(X)\setminus C$ is adjacent to exactly one vertex in $C$. Given a finite group $G$ with identity element $e$ and $H\leq G$, $H$ is a \emph{subgroup perfect code} of $G$ if there exists an inverse-closed subset $S \subseteq G\setminus \{e\}$ such that $H$ is a perfect code of the Cayley graph $\operatorname{Cay}(G,S)$ of $G$ with connection set $S$. In this short note, we give an infinite family of finite groups $G$ admitting a non-normal subgroup perfect code $H$ such that there exists $ g\in G$ with $g^2\in H$ but $(gh)^2 \neq e$, for all $h \in H$; thus, answering a question raised by Wang, Xia, and Zhou in [Perfect sets in Cayley graphs. {\it arXiv preprint} arXiv:2006.05100, 2020].
An insertion algorithm for multiplying Demazure characters by Schur polynomials
We introduce an insertion algorithm on Kohnert's combinatorial model for Demazure characters, generalizing Robinson--Schensted--Knuth insertion on tableaux. Our new insertion yields an explicit, nonnegative formula expressing the product of a Demazure character and a Schur polynomial as a sum of Schubert characters, partially resolving Polo's conjecture that the tensor product of Demazure modules admits a Schubert filtration.
Asymptotically sharpening the $s$-Hamiltonian index bound
Published in Discrete Mathematics & Theoretical Computer Science, vol. 24, no. 1, Graph Theory (June 13, 2022) dmtcs:8484
• View Publication
• BIB
For a non-negative integer $s\le |V(G)|-3$, a graph $G$ is $s$-Hamiltonian if the removal of any $k\le s$ vertices results in a Hamiltonian graph. Given a connected simple graph $G$ that is not isomorphic to a path, a cycle, or a $K_{1,3}$, let $δ(G)$ denote the minimum degree of $G$, let $h_s(G)$ denote the smallest integer $i$ such that the iterated line graph $L^{i}(G)$ is $s$-Hamiltonian, and let $\ell(G)$ denote the length of the longest non-closed path $P$ in which all internal vertices have degree 2 such that $P$ is not both of length 2 and in a $K_3$. For a simple graph $G$, we establish better upper bounds for $h_s(G)$ as follows. \begin{equation*} h_s(G)\le \left\{ \begin{aligned} & \ell(G)+1, &&\mbox{ if }δ(G)\le 2 \mbox{ and }s=0;\\ & \widetilde d(G)+2+\lceil \lg (s+1)\rceil, &&\mbox{ if }δ(G)\le 2 \mbox{ and }s\ge 1;\\ & 2+\left\lceil\lg\frac{s+1}{δ(G)-2}\right\rceil, && \mbox{ if } 3\leδ(G)\le s+2;\\ & 2, &&{\rm otherwise}, \end{aligned} \right. \end{equation*} where $\widetilde d(G)$ is the smallest integer $i$ such that $δ(L^i(G))\ge 3$. Consequently, when $s \ge 6$, this new upper bound for the $s$-hamiltonian index implies that $h_s(G) = o(\ell(G)+s+1)$ as $s \to \infty$. This sharpens the result, $h_s(G)\le\ell(G)+s+1$, obtained by Zhang et al. in [Discrete Math., 308 (2008) 4779-4785].
On Shallow Packings and Tusnády's Problem
Tusnády's problem asks to bound the discrepancy of points and axis-parallel boxes in $\mathbb{R}^d$. Algorithmic bounds on Tusnády's problem use a canonical decomposition of Matoušek for the system of points and axis-parallel boxes, together with other techniques like partial coloring and / or random-walk based methods. We use the notion of \emph{shallow cell complexity} and the \emph{shallow packing lemma}, together with the chaining technique, to obtain an improved decomposition of the set system. Coupled with an algorithmic technique of Bansal and Garg for discrepancy minimization, which we also slightly extend, this yields improved algorithmic bounds on Tusnády's problem. For $d\geq 5$, our bound matches the lower bound of $Ω(\log^{d-1}n)$ given by Matoušek, Nikolov and Talwar [IMRN, 2020] -- settling Tusnády's problem, upto constant factors. For $d=2,3,4$, we obtain improved algorithmic bounds of $O(\log^{7/4}n)$, $O(\log^{5/2}n)$ and $O(\log^{13/4}n)$ respectively, which match or improve upon the non-constructive bounds of Nikolov for $d\geq 3$. Further, we also give improved bounds for the discrepancy of set systems of points and polytopes in $\mathbb{R}^d$ generated via translations of a fixed set of hyperplanes. As an application, we also get a bound for the geometric discrepancy of anchored boxes in $\mathbb{R}^d$ with respect to an arbitrary measure, matching the upper bound for the Lebesgue measure, which improves on a result of Aistleitner, Bilyk, and Nikolov [MC and QMC methods, \emph{Springer, Proc. Math. Stat.}, 2018] for $d\geq 4$.
True complexity and iterated Cauchy--Schwarz
We prove a polynomial bound in the "true complexity" problem of Gowers and Wolf. The proof uses only repeated applications of the Cauchy--Schwarz inequality, answering negatively a question posed by Gowers and Wolf.
To choose and reason about the sequence of Cauchy--Schwarz steps needed, we need to introduce several layers of formalism and theory. The highest level of abstraction in this framework concerns building what we term "arithmetic circuits" encoding computations in multilinear algebra.
It is plausible this machinery could be used to generate arithmetic inequalities in greater generality, and we state some conjectures along these lines.
The category of finite strings
Published
• View Publication
• BIB
We introduce the category of finite strings and study its basic properties. The category is closely related to the augmented simplex category, and it models categories of linear representations. Each lattice of non-crossing partitions arises naturally as a lattice of subobjects.
Cycle saturation in random graphs
Published
• View Publication
• BIB
For a fixed graph $F,$ the minimum number of edges in an edge-maximal $F$-free subgraph of $G$ is called the $F$-saturation number. The asymptotics of the $F$-saturation number of the binomial random graph $G(n,p)$ for constant $p\in(0,1)$ is known for complete graphs $F=K_m$ and stars $F=K_{1,m}.$ This paper is devoted to the case when the pattern graph $F$ is a simple cycle $C_m.$ We prove that, for $m\geqslant 5,$ whp $\mathrm{sat}\left(G\left(n,p\right),C_m\right) = n+Θ\left(\frac{n}{\ln n}\right).$ Also we find $c=c(p)$ such that whp $\frac{3}{2}n(1+o(1))\leqslant\mathrm{sat}\left(G\left(n,p\right),C_4\right)\leqslant cn(1+o(1)).$ In particular, whp $\mathrm{sat}\left(G\left(n,\frac{1}{2}\right),C_4\right)\leqslant\frac{27}{14}n(1+o(1)).$
Boolean complexes of involutions
Published
• View Publication
• BIB
Let (W,S) be a Coxeter system. We introduce the boolean complex of involutions of W which is an analogue of the boolean complex of W studied by Ragnarsson and Tenner. By applying discrete Morse theory, we determine the homotopy type of the boolean complex of involutions for a large class of (W,S), including all finite Coxeter groups, finding that the homotopy type is that of a wedge of spheres of dimension |S| - 1. In addition, we find simple recurrence formulas for the number of spheres in the wedge.
Partition models, Permutations of infinite sets without fixed points, and weak forms of AC
We study new relations of the following statements with weak choice principles in ZF and ZFA. 1. There does not exist an infinite Hausdorff space X such that every infinite subset of X contains an infinite compact subset. 2. If a field has an algebraic closure then it is unique up to isomorphism. 3. For every infinite set X, there exists a permutation of X without fixed points. Moreover, we prove that the principle ``Any infinite locally finite connected graph has a spanning m-bush for any even integer m greater than or equal to 4'' is equivalent to Kőnig's Lemma in ZF. We also study the new status of different weak choice principles in the finite partition model (a type of permutation model) introduced by B.B. Bruce in 2016. Further, we prove that Van Douwen's Choice Principle holds in two recently constructed known permutation models.
A refinement of Cauchy-Schwarz complexity
Published
• View Publication
• BIB
We introduce a notion of complexity for systems of linear forms, called sequential Cauchy-Schwarz complexity, which is parametrized by two positive integers $k,\ell$ and refines the notion of Cauchy-Schwarz complexity introduced by Green and Tao. We prove that if a system of linear forms has sequential Cauchy-Schwarz complexity at most $(k,\ell)$ then any average of 1-bounded functions over this system is controlled by the $2^{1-\ell}$-th power of the Gowers $U^{k+1}$-norms of the functions. For $\ell=1$ this agrees with Cauchy-Schwarz complexity, but for $\ell>1$ there are systems that have sequential Cauchy-Schwarz complexity at most $(k,\ell)$ whereas their Cauchy-Schwarz complexity is greater than $k$. Our main application illustrates this with systems over a prime field $\mathbb{F}_p$ that are denoted by $Φ_{k,M}$ and can be viewed as $M$-dimensional arithmetic progressions of length $k$. For each $M\geq 2$ we prove that $Φ_{k,M}$ has sequential Cauchy-Schwarz complexity at most $(k-2,|Φ_{k,M}|)$ (where $|Φ_{k,M}|$ is the number of forms in the system), whereas the Cauchy-Schwarz complexity of $Φ_{k,M}$ can be greater than $k-2$. Thus we obtain polynomial true-complexity bounds for $Φ_{k,M}$ with exponent $2^{-|Φ_{k,M}|}$. A recent general theorem of Manners, proved independently with different methods, implies a similar application but with different polynomial true-complexity bounds, as explained in the paper. In separate work, we use our application to give a new proof of the inverse theorem for Gowers norms on $\mathbb{F}_p^n$, and related results concerning ergodic actions of $\mathbb{F}_p^ω$.