Showing 1–18 of 18 results for author: Ponomarenko, I

ManipVQA: Injecting Robotic Affordance and Physically Grounded Information into Multi-Modal Large Language Models

Authors: Siyuan Huang, Iaroslav Ponomarenko, Zhengkai Jiang, Xiaoqi Li, Xiaobin Hu, Peng Gao, Hongsheng Li, Hao Dong

Abstract: The integration of Multimodal Large Language Models (MLLMs) with robotic systems has significantly enhanced the ability of robots to interpret and act upon natural language instructions. Despite these advancements, conventional MLLMs are typically trained on generic image-text pairs, lacking essential robotics knowledge such as affordances and physical knowledge, which hampers their efficacy in ma… ▽ More The integration of Multimodal Large Language Models (MLLMs) with robotic systems has significantly enhanced the ability of robots to interpret and act upon natural language instructions. Despite these advancements, conventional MLLMs are typically trained on generic image-text pairs, lacking essential robotics knowledge such as affordances and physical knowledge, which hampers their efficacy in manipulation tasks. To bridge this gap, we introduce ManipVQA, a novel framework designed to endow MLLMs with Manipulation-centric knowledge through a Visual Question-Answering format. This approach not only encompasses tool detection and affordance recognition but also extends to a comprehensive understanding of physical concepts. Our approach starts with collecting a varied set of images displaying interactive objects, which presents a broad range of challenges in tool object detection, affordance, and physical concept predictions. To seamlessly integrate this robotic-specific knowledge with the inherent vision-reasoning capabilities of MLLMs, we adopt a unified VQA format and devise a fine-tuning strategy that preserves the original vision-reasoning abilities while incorporating the new robotic insights. Empirical evaluations conducted in robotic simulators and across various vision task benchmarks demonstrate the robust performance of ManipVQA. Code and dataset will be made publicly available at https://github.com/SiyuanHuang95/ManipVQA. △ Less

Submitted 17 March, 2024; originally announced March 2024.

Comments: Code and dataset will be made publicly available at https://github.com/SiyuanHuang95/ManipVQA

On the Weisfeiler-Leman dimension of permutation graphs

Authors: ** Guo, Alexander L. Gavrilyuk, Ilia Ponomarenko

Abstract: It is proved that the Weisfeiler-Leman dimension of the class of permutation graphs is at most 18. Previously it was only known that this dimension is finite (Grußien, 2017). It is proved that the Weisfeiler-Leman dimension of the class of permutation graphs is at most 18. Previously it was only known that this dimension is finite (Grußien, 2017). △ Less

Submitted 25 May, 2023; originally announced May 2023.

Isomorphism testing of $k$-spanning tournaments is Fixed Parameter Tractable

Authors: Vikraman Arvind, Ilia Ponomarenko, Grigory Ryabov

Abstract: An arc-colored tournament is said to be $k$-spanning for an integer $k\geq 1$ if the union of its arc-color classes of maximal valency at most $k$ is the arc set of a strongly connected digraph. It is proved that isomorphism testing of $k$-spanning tournaments is fixed-parameter tractable. An arc-colored tournament is said to be $k$-spanning for an integer $k\geq 1$ if the union of its arc-color classes of maximal valency at most $k$ is the arc set of a strongly connected digraph. It is proved that isomorphism testing of $k$-spanning tournaments is fixed-parameter tractable. △ Less

Submitted 13 December, 2023; v1 submitted 28 January, 2022; originally announced January 2022.

Comments: 8 pages

MSC Class: 05C20; 05C60; 05C85

Testing isomorphism of chordal graphs of bounded leafage is fixed-parameter tractable

Authors: Vikraman Arvind, Roman Nedela, Ilia Ponomarenko, Peter Zeman

Abstract: The computational complexity of the graph isomorphism problem is considered to be a major open problem in theoretical computer science. It is known that testing isomorphism of chordal graphs is polynomial-time equivalent to the general graph isomorphism problem. Every chordal graph can be represented as the intersection graph of some subtrees of a representing tree, and the leafage of a chordal gr… ▽ More The computational complexity of the graph isomorphism problem is considered to be a major open problem in theoretical computer science. It is known that testing isomorphism of chordal graphs is polynomial-time equivalent to the general graph isomorphism problem. Every chordal graph can be represented as the intersection graph of some subtrees of a representing tree, and the leafage of a chordal graph is defined to be the minimum number of leaves in a representing tree for it. We prove that chordal graph isomorphism is fixed parameter tractable with leafage as parameter. In the process we introduce the problem of isomorphism testing for higher-order hypergraphs and show that finding the automorphism group of order-$k$ hypergraphs with vertex color classes of size $b$ is fixed parameter tractable for any constant $k$ and $b$ as fixed parameter. △ Less

Submitted 15 February, 2022; v1 submitted 22 July, 2021; originally announced July 2021.

Tensor products of coherent configurations

Authors: Gang Chen, Ilia Ponomarenko

Abstract: A Cartesian decomposition of a coherent configuration $\cal X$ is defined as a special set of its parabolics that form a Cartesian decomposition of the underlying set. It turns out that every tensor decomposition of $\cal X$ comes from a certain Cartesian decomposition. It is proved that if the coherent configuration $\cal X$ is thick, then there is a unique maximal Cartesian decomposition of… ▽ More A Cartesian decomposition of a coherent configuration $\cal X$ is defined as a special set of its parabolics that form a Cartesian decomposition of the underlying set. It turns out that every tensor decomposition of $\cal X$ comes from a certain Cartesian decomposition. It is proved that if the coherent configuration $\cal X$ is thick, then there is a unique maximal Cartesian decomposition of $\cal X$, i.e., there is exactly one internal tensor decomposition of $\cal X$ into indecomposable components. In particular, this implies an analog of the Krull--Schmidt theorem for the thick coherent configurations. A polynomial-time algorithm for finding the maximal Cartesian decomposition of a thick coherent configuration is constructed. △ Less

Submitted 22 May, 2021; originally announced May 2021.

Comments: 21 pages

MSC Class: 05E16; 05-08 ACM Class: G.2.m

The Weisfeiler-Leman dimension of distance-hereditary graphs

Authors: Alexander L. Gavrilyuk, Roman Nedela, Ilia Ponomarenko

Abstract: A graph is said to be distance-hereditary if the distance function in every connected induced subgraph is the same as in the graph itself. We prove that the ordinary Weisfeiler-Leman algorithm correctly tests the isomorphism of any two graphs if one of them is distance-hereditary; more precisely, the Weisfeiler-Leman dimension of the class of finite distance-hereditary graphs is equal to $2$. The… ▽ More A graph is said to be distance-hereditary if the distance function in every connected induced subgraph is the same as in the graph itself. We prove that the ordinary Weisfeiler-Leman algorithm correctly tests the isomorphism of any two graphs if one of them is distance-hereditary; more precisely, the Weisfeiler-Leman dimension of the class of finite distance-hereditary graphs is equal to $2$. The previously best known upper bound for the dimension was $7$. △ Less

Submitted 24 May, 2020; originally announced May 2020.

The Weisfeiler-Leman Algorithm and Recognition of Graph Properties

Authors: Frank Fuhlbrück, Johannes Köbler, Ilia Ponomarenko, Oleg Verbitsky

Abstract: The $k$-dimensional Weisfeiler-Leman algorithm ($k$-WL) is a very useful combinatorial tool in graph isomorphism testing. We address the applicability of $k$-WL to recognition of graph properties. Let $G$ be an input graph with $n$ vertices. We show that, if $n$ is prime, then vertex-transitivity of $G$ can be seen in a straightforward way from the output of 2-WL on $G$ and on the vertex-individua… ▽ More The $k$-dimensional Weisfeiler-Leman algorithm ($k$-WL) is a very useful combinatorial tool in graph isomorphism testing. We address the applicability of $k$-WL to recognition of graph properties. Let $G$ be an input graph with $n$ vertices. We show that, if $n$ is prime, then vertex-transitivity of $G$ can be seen in a straightforward way from the output of 2-WL on $G$ and on the vertex-individualized copies of $G$. However, if $n$ is divisible by 16, then $k$-WL is unable to distinguish between vertex-transitive and non-vertex-transitive graphs with $n$ vertices as long as $k=o(\sqrt n)$. Similar results are obtained for recognition of arc-transitivity. △ Less

Submitted 30 July, 2020; v1 submitted 18 May, 2020; originally announced May 2020.

Comments: 30 pages, 2 figures. This paper supersedes Section 5 in the first version of arXiv:2002.04590. The 3rd version is a thorough revision of the paper

Two-closure of supersolvable permutation group in polynomial time

Authors: Ilia Ponomarenko, Andrey Vasil'ev

Abstract: The $2$-closure $\overline{G}$ of a permutation group $G$ on $Ω$ is defined to be the largest permutation group on $Ω$, having the same orbits on $Ω\timesΩ$ as $G$. It is proved that if $G$ is supersolvable, then $\overline{G}$ can be found in polynomial time in $|Ω|$. As a byproduct of our technique, it is shown that the composition factors of $\overline{G}$ are cyclic or alternating of prime deg… ▽ More The $2$-closure $\overline{G}$ of a permutation group $G$ on $Ω$ is defined to be the largest permutation group on $Ω$, having the same orbits on $Ω\timesΩ$ as $G$. It is proved that if $G$ is supersolvable, then $\overline{G}$ can be found in polynomial time in $|Ω|$. As a byproduct of our technique, it is shown that the composition factors of $\overline{G}$ are cyclic or alternating of prime degree. △ Less

Submitted 21 December, 2019; originally announced December 2019.

Comments: 20 pages

MSC Class: 20B25; 05E18 ACM Class: F.2.2

Journal ref: Computational Complexity, 29, No. 5 (2020) (MR4118452)

Walk refinement, walk logic, and the iteration number of the Weisfeiler-Leman algorithm

Authors: Moritz Lichter, Ilia Ponomarenko, Pascal Schweitzer

Abstract: We show that the 2-dimensional Weisfeiler-Leman algorithm stabilizes n-vertex graphs after at most O(n log n) iterations. This implies that if such graphs are distinguishable in 3-variable first order logic with counting, then they can also be distinguished in this logic by a formula of quantifier depth at most O(n log n). For this we exploit a new refinement based on counting walks and argue th… ▽ More We show that the 2-dimensional Weisfeiler-Leman algorithm stabilizes n-vertex graphs after at most O(n log n) iterations. This implies that if such graphs are distinguishable in 3-variable first order logic with counting, then they can also be distinguished in this logic by a formula of quantifier depth at most O(n log n). For this we exploit a new refinement based on counting walks and argue that its iteration number differs from the classic Weisfeiler-Leman refinement by at most a logarithmic factor. We then prove matching linear upper and lower bounds on the number of iterations of the walk refinement. This is achieved with an algebraic approach by exploiting properties of semisimple matrix algebras. We also define a walk logic and a bijective walk pebble game that precisely correspond to the new walk refinement. △ Less

Submitted 9 May, 2019; v1 submitted 8 May, 2019; originally announced May 2019.

Comments: To appear at LICS 19

Testing isomorphism of circular-arc graphs in polynomial time

Authors: Roman Nedela, Ilia Ponomarenko, Peter Zeman

Abstract: A graph is said to be circular-arc if the vertices can be associated with arcs of a circle so that two vertices are adjacent if and only if the corresponding arcs overlap. It is proved that the isomorphism of circular-arc graphs can be tested by the Weisfeiler-Leman algorithm after individualization of two vertices. A graph is said to be circular-arc if the vertices can be associated with arcs of a circle so that two vertices are adjacent if and only if the corresponding arcs overlap. It is proved that the isomorphism of circular-arc graphs can be tested by the Weisfeiler-Leman algorithm after individualization of two vertices. △ Less

Submitted 12 July, 2019; v1 submitted 26 March, 2019; originally announced March 2019.

Comments: Dear reader, recently we have found a problem in the proof of the main theorem. It seems that we will be able to fill in the gap in the arguments, and we are doing our best to do this as soon as possible. We appologize for publishing an unfinished work. The authors

MSC Class: 68Q25

Testing isomorphism of circulant objects in polynomial time

Authors: Mikhail Muzychuk, Ilia Ponomarenko

Abstract: Let ${\frak K}$ be a class of combinatorial objects invariant with respect to a given regular cyclic group. It is proved that the isomorphism of any two objects $X,Y\in{\frak K}$ can be tested in polynomial time in sizes of $X$ and $Y$. Let ${\frak K}$ be a class of combinatorial objects invariant with respect to a given regular cyclic group. It is proved that the isomorphism of any two objects $X,Y\in{\frak K}$ can be tested in polynomial time in sizes of $X$ and $Y$. △ Less

Submitted 15 December, 2018; originally announced December 2018.

Comments: 8 pages

MSC Class: 05E18 05C60

Journal ref: J. Combin. Theory, A169, 105128 (2020)

The Weisfeiler-Leman Dimension of Planar Graphs is at most 3

Authors: Sandra Kiefer, Ilia Ponomarenko, Pascal Schweitzer

Abstract: We prove that the Weisfeiler-Leman (WL) dimension of the class of all finite planar graphs is at most 3. In particular, every finite planar graph is definable in first-order logic with counting using at most 4 variables. The previously best known upper bounds for the dimension and number of variables were 14 and 15, respectively. First we show that, for dimension 3 and higher, the WL-algorithm c… ▽ More We prove that the Weisfeiler-Leman (WL) dimension of the class of all finite planar graphs is at most 3. In particular, every finite planar graph is definable in first-order logic with counting using at most 4 variables. The previously best known upper bounds for the dimension and number of variables were 14 and 15, respectively. First we show that, for dimension 3 and higher, the WL-algorithm correctly tests isomorphism of graphs in a minor-closed class whenever it determines the orbits of the automorphism group of any arc-colored 3-connected graph belonging to this class. Then we prove that, apart from several exceptional graphs (which have WL-dimension at most 2), the individualization of two correctly chosen vertices of a colored 3-connected planar graph followed by the 1-dimensional WL-algorithm produces the discrete vertex partition. This implies that the 3-dimensional WL-algorithm determines the orbits of a colored 3-connected planar graph. As a byproduct of the proof, we get a classification of the 3-connected planar graphs with fixing number 3. △ Less

Submitted 24 August, 2017; originally announced August 2017.

Comments: 34 pages, 3 figures, extended version of LICS 2017 paper

MSC Class: 03B70 ACM Class: F.4.1; F.2.2

Recognizing and testing isomorphism of Cayley graphs over an abelian group of order $4p$ in polynomial time

Authors: Roman Nedela, Ilia Ponomarenko

Abstract: We construct a polynomial-time algorithm that given a graph $X$ with $4p$ vertices ($p$ is prime), finds (if any) a Cayley representation of $X$ over the group $C_2\times C_2\times C_p$. This result, together with the known similar result for circulant graphs, shows that recognising and testing isomorphism of Cayley graphs over an abelian group of order $4p$ can be done in polynomial time. We construct a polynomial-time algorithm that given a graph $X$ with $4p$ vertices ($p$ is prime), finds (if any) a Cayley representation of $X$ over the group $C_2\times C_2\times C_p$. This result, together with the known similar result for circulant graphs, shows that recognising and testing isomorphism of Cayley graphs over an abelian group of order $4p$ can be done in polynomial time. △ Less

Submitted 19 June, 2017; originally announced June 2017.

Comments: 22 pages

MSC Class: 05E18 05C85

Testing isomorphism of central Cayley graphs over almost simple groups in polynomial time

Authors: Ilia Ponomarenko, Andrey Vasil'ev

Abstract: A Cayley graph over a group G is said to be central if its connection set is a normal subset of G. It is proved that for any two central Cayley graphs over explicitly given almost simple groups of order n, the set of all isomorphisms from the first graph onto the second can be found in time poly(n). A Cayley graph over a group G is said to be central if its connection set is a normal subset of G. It is proved that for any two central Cayley graphs over explicitly given almost simple groups of order n, the set of all isomorphisms from the first graph onto the second can be found in time poly(n). △ Less

Submitted 7 April, 2017; v1 submitted 4 April, 2017; originally announced April 2017.

Comments: 20 pages

MSC Class: 05C60; 05E18

Journal ref: J Math Sci., Vol. 234, no. 2 (2018) 219-236

Constructions in public-key cryptography over matrix groups

Authors: Dimitri Grigoriev, Ilia Ponomarenko

Abstract: The purpose of the paper is to give new key agreement protocols (a multi-party extension of the protocol due to Anshel-Anshel-Goldfeld and a generalization of the Diffie-Hellman protocol from abelian to solvable groups) and a new homomorphic public-key cryptosystem. They rely on difficulty of the conjugacy and membership problems for subgroups of a given group. To support these and other known c… ▽ More The purpose of the paper is to give new key agreement protocols (a multi-party extension of the protocol due to Anshel-Anshel-Goldfeld and a generalization of the Diffie-Hellman protocol from abelian to solvable groups) and a new homomorphic public-key cryptosystem. They rely on difficulty of the conjugacy and membership problems for subgroups of a given group. To support these and other known cryptographic schemes we present a general technique to produce a family of instances being matrix groups (over finite commutative rings) which play a role for these schemes similar to the groups $Z\_n^*$ in the existing cryptographic constructions like RSA or discrete logarithm. △ Less

Submitted 10 June, 2005; originally announced June 2005.

Report number: 2005-19

Homomorphic public-key cryptosystems over groups and rings

Authors: Dima Grigoriev, Ilia Ponomarenko

Abstract: We propose a new homomorphic public-key cryptosystem over arbitrary nonidentity finite group based on the difficulty of the membership problem for groups of integer matrices. Besides, a homomorphic cryptosystem is designed for the first time over finite commutative rings. We propose a new homomorphic public-key cryptosystem over arbitrary nonidentity finite group based on the difficulty of the membership problem for groups of integer matrices. Besides, a homomorphic cryptosystem is designed for the first time over finite commutative rings. △ Less

Submitted 8 September, 2003; originally announced September 2003.

ACM Class: I.2.1; I.1.2; F.2.1

Homomorphic public-key cryptosystems and encrypting boolean circuits

Authors: Dima Grigoriev, Ilia Ponomarenko

Abstract: In this paper homomorphic cryptosystems are designed for the first time over any finite group. Applying Barrington's construction we produce for any boolean circuit of the logarithmic depth its encrypted simulation of a polynomial size over an appropriate finitely generated group. In this paper homomorphic cryptosystems are designed for the first time over any finite group. Applying Barrington's construction we produce for any boolean circuit of the logarithmic depth its encrypted simulation of a polynomial size over an appropriate finitely generated group. △ Less

Submitted 28 February, 2003; v1 submitted 22 January, 2003; originally announced January 2003.

ACM Class: E.3.3

On non-abelian homomorphic public-key cryptosystems

Authors: D. Grigoriev, I. Ponomarenko

Abstract: An important problem of modern cryptography concerns secret public-key computations in algebraic structures. We construct homomorphic cryptosystems being (secret) epimorphisms f:G --> H, where G, H are (publically known) groups and H is finite. A letter of a message to be encrypted is an element h element of H, while its encryption g element of G is such that f(g)=h. A homomorphic cryptosystem a… ▽ More An important problem of modern cryptography concerns secret public-key computations in algebraic structures. We construct homomorphic cryptosystems being (secret) epimorphisms f:G --> H, where G, H are (publically known) groups and H is finite. A letter of a message to be encrypted is an element h element of H, while its encryption g element of G is such that f(g)=h. A homomorphic cryptosystem allows one to perform computations (operating in a group G) with encrypted information (without knowing the original message over H). In this paper certain homomorphic cryptosystems are constructed for the first time for non-abelian groups H (earlier, homomorphic cryptosystems were known only in the Abelian case). In fact, we present such a system for any solvable (fixed) group H. △ Less

Submitted 14 November, 2002; v1 submitted 23 July, 2002; originally announced July 2002.

Comments: 15 pages, LaTeX

ACM Class: E.3