-
Adversarial Generation of Hierarchical Gaussians for 3D Generative Model
Authors:
Sangeek Hyun,
Jae-Pil Heo
Abstract:
Most advances in 3D Generative Adversarial Networks (3D GANs) largely depend on ray casting-based volume rendering, which incurs demanding rendering costs. One promising alternative is rasterization-based 3D Gaussian Splatting (3D-GS), providing a much faster rendering speed and explicit 3D representation. In this paper, we exploit Gaussian as a 3D representation for 3D GANs by leveraging its effi…
▽ More
Most advances in 3D Generative Adversarial Networks (3D GANs) largely depend on ray casting-based volume rendering, which incurs demanding rendering costs. One promising alternative is rasterization-based 3D Gaussian Splatting (3D-GS), providing a much faster rendering speed and explicit 3D representation. In this paper, we exploit Gaussian as a 3D representation for 3D GANs by leveraging its efficient and explicit characteristics. However, in an adversarial framework, we observe that a naïve generator architecture suffers from training instability and lacks the capability to adjust the scale of Gaussians. This leads to model divergence and visual artifacts due to the absence of proper guidance for initialized positions of Gaussians and densification to manage their scales adaptively. To address these issues, we introduce a generator architecture with a hierarchical multi-scale Gaussian representation that effectively regularizes the position and scale of generated Gaussians. Specifically, we design a hierarchy of Gaussians where finer-level Gaussians are parameterized by their coarser-level counterparts; the position of finer-level Gaussians would be located near their coarser-level counterparts, and the scale would monotonically decrease as the level becomes finer, modeling both coarse and fine details of the 3D scene. Experimental results demonstrate that ours achieves a significantly faster rendering speed (x100) compared to state-of-the-art 3D consistent GANs with comparable 3D generation capability. Project page: https://hse1032.github.io/gsgan.
△ Less
Submitted 5 June, 2024;
originally announced June 2024.
-
Diversity-aware Channel Pruning for StyleGAN Compression
Authors:
Jiwoo Chung,
Sangeek Hyun,
Sang-Heon Shim,
Jae-Pil Heo
Abstract:
StyleGAN has shown remarkable performance in unconditional image generation. However, its high computational cost poses a significant challenge for practical applications. Although recent efforts have been made to compress StyleGAN while preserving its performance, existing compressed models still lag behind the original model, particularly in terms of sample diversity. To overcome this, we propos…
▽ More
StyleGAN has shown remarkable performance in unconditional image generation. However, its high computational cost poses a significant challenge for practical applications. Although recent efforts have been made to compress StyleGAN while preserving its performance, existing compressed models still lag behind the original model, particularly in terms of sample diversity. To overcome this, we propose a novel channel pruning method that leverages varying sensitivities of channels to latent vectors, which is a key factor in sample diversity. Specifically, by assessing channel importance based on their sensitivities to latent vector perturbations, our method enhances the diversity of samples in the compressed model. Since our method solely focuses on the channel pruning stage, it has complementary benefits with prior training schemes without additional training cost. Extensive experiments demonstrate that our method significantly enhances sample diversity across various datasets. Moreover, in terms of FID scores, our method not only surpasses state-of-the-art by a large margin but also achieves comparable scores with only half training iterations.
△ Less
Submitted 20 March, 2024;
originally announced March 2024.
-
Task-Disruptive Background Suppression for Few-Shot Segmentation
Authors:
Suho Park,
SuBeen Lee,
Sangeek Hyun,
Hyun Seok Seong,
Jae-Pil Heo
Abstract:
Few-shot segmentation aims to accurately segment novel target objects within query images using only a limited number of annotated support images. The recent works exploit support background as well as its foreground to precisely compute the dense correlations between query and support. However, they overlook the characteristics of the background that generally contains various types of objects. I…
▽ More
Few-shot segmentation aims to accurately segment novel target objects within query images using only a limited number of annotated support images. The recent works exploit support background as well as its foreground to precisely compute the dense correlations between query and support. However, they overlook the characteristics of the background that generally contains various types of objects. In this paper, we highlight this characteristic of background which can bring problematic cases as follows: (1) when the query and support backgrounds are dissimilar and (2) when objects in the support background are similar to the target object in the query. Without any consideration of the above cases, adopting the entire support background leads to a misprediction of the query foreground as background. To address this issue, we propose Task-disruptive Background Suppression (TBS), a module to suppress those disruptive support background features based on two spatial-wise scores: query-relevant and target-relevant scores. The former aims to mitigate the impact of unshared features solely existing in the support background, while the latter aims to reduce the influence of target-similar support background features. Based on these two scores, we define a query background relevant score that captures the similarity between the backgrounds of the query and the support, and utilize it to scale support background features to adaptively restrict the impact of disruptive support backgrounds. Our proposed method achieves state-of-the-art performance on PASCAL-5 and COCO-20 datasets on 1-shot segmentation. Our official code is available at github.com/SuhoPark0706/TBSNet.
△ Less
Submitted 26 December, 2023;
originally announced December 2023.
-
Style Injection in Diffusion: A Training-free Approach for Adapting Large-scale Diffusion Models for Style Transfer
Authors:
Jiwoo Chung,
Sangeek Hyun,
Jae-Pil Heo
Abstract:
Despite the impressive generative capabilities of diffusion models, existing diffusion model-based style transfer methods require inference-stage optimization (e.g. fine-tuning or textual inversion of style) which is time-consuming, or fails to leverage the generative ability of large-scale diffusion models. To address these issues, we introduce a novel artistic style transfer method based on a pr…
▽ More
Despite the impressive generative capabilities of diffusion models, existing diffusion model-based style transfer methods require inference-stage optimization (e.g. fine-tuning or textual inversion of style) which is time-consuming, or fails to leverage the generative ability of large-scale diffusion models. To address these issues, we introduce a novel artistic style transfer method based on a pre-trained large-scale diffusion model without any optimization. Specifically, we manipulate the features of self-attention layers as the way the cross-attention mechanism works; in the generation process, substituting the key and value of content with those of style image. This approach provides several desirable characteristics for style transfer including 1) preservation of content by transferring similar styles into similar image patches and 2) transfer of style based on similarity of local texture (e.g. edge) between content and style images. Furthermore, we introduce query preservation and attention temperature scaling to mitigate the issue of disruption of original content, and initial latent Adaptive Instance Normalization (AdaIN) to deal with the disharmonious color (failure to transfer the colors of style). Our experimental results demonstrate that our proposed method surpasses state-of-the-art methods in both conventional and diffusion-based style transfer baselines.
△ Less
Submitted 20 March, 2024; v1 submitted 11 December, 2023;
originally announced December 2023.
-
METAL: Metamorphic Testing Framework for Analyzing Large-Language Model Qualities
Authors:
Sangwon Hyun,
Mingyu Guo,
M. Ali Babar
Abstract:
Large-Language Models (LLMs) have shifted the paradigm of natural language data processing. However, their black-boxed and probabilistic characteristics can lead to potential risks in the quality of outputs in diverse LLM applications. Recent studies have tested Quality Attributes (QAs), such as robustness or fairness, of LLMs by generating adversarial input texts. However, existing studies have l…
▽ More
Large-Language Models (LLMs) have shifted the paradigm of natural language data processing. However, their black-boxed and probabilistic characteristics can lead to potential risks in the quality of outputs in diverse LLM applications. Recent studies have tested Quality Attributes (QAs), such as robustness or fairness, of LLMs by generating adversarial input texts. However, existing studies have limited their coverage of QAs and tasks in LLMs and are difficult to extend. Additionally, these studies have only used one evaluation metric, Attack Success Rate (ASR), to assess the effectiveness of their approaches. We propose a MEtamorphic Testing for Analyzing LLMs (METAL) framework to address these issues by applying Metamorphic Testing (MT) techniques. This approach facilitates the systematic testing of LLM qualities by defining Metamorphic Relations (MRs), which serve as modularized evaluation metrics. The METAL framework can automatically generate hundreds of MRs from templates that cover various QAs and tasks. In addition, we introduced novel metrics that integrate the ASR method into the semantic qualities of text to assess the effectiveness of MRs accurately. Through the experiments conducted with three prominent LLMs, we have confirmed that the METAL framework effectively evaluates essential QAs on primary LLM tasks and reveals the quality risks in LLMs. Moreover, the newly proposed metrics can guide the optimal MRs for testing each task and suggest the most effective method for generating MRs.
△ Less
Submitted 10 December, 2023;
originally announced December 2023.
-
Correlation-guided Query-Dependency Calibration in Video Representation Learning for Temporal Grounding
Authors:
WonJun Moon,
Sangeek Hyun,
SuBeen Lee,
Jae-Pil Heo
Abstract:
Video Temporal Grounding is to identify specific moments or highlights from a video corresponding to textual descriptions. Typical approaches in temporal grounding treat all video clips equally during the encoding process regardless of their semantic relevance with the text query. Therefore, we propose Correlation-Guided DEtection TRansformer(CG-DETR), exploring to provide clues for query-associat…
▽ More
Video Temporal Grounding is to identify specific moments or highlights from a video corresponding to textual descriptions. Typical approaches in temporal grounding treat all video clips equally during the encoding process regardless of their semantic relevance with the text query. Therefore, we propose Correlation-Guided DEtection TRansformer(CG-DETR), exploring to provide clues for query-associated video clips within the cross-modal attention. First, we design an adaptive cross-attention with dummy tokens. Dummy tokens conditioned by text query take portions of the attention weights, preventing irrelevant video clips from being represented by the text query. Yet, not all words equally inherit the text query's correlation to video clips. Thus, we further guide the cross-attention map by inferring the fine-grained correlation between video clips and words. We enable this by learning a joint embedding space for high-level concepts, i.e., moment and sentence level, and inferring the clip-word correlation. Lastly, we exploit the moment-specific characteristics and combine them with the context of each video to form a moment-adaptive saliency detector. By exploiting the degrees of text engagement in each video clip, it precisely measures the highlightness of each clip. CG-DETR achieves state-of-the-art results on various benchmarks for temporal grounding.
△ Less
Submitted 30 March, 2024; v1 submitted 15 November, 2023;
originally announced November 2023.
-
Query-Dependent Video Representation for Moment Retrieval and Highlight Detection
Authors:
WonJun Moon,
Sangeek Hyun,
SangUk Park,
Dongchan Park,
Jae-Pil Heo
Abstract:
Recently, video moment retrieval and highlight detection (MR/HD) are being spotlighted as the demand for video understanding is drastically increased. The key objective of MR/HD is to localize the moment and estimate clip-wise accordance level, i.e., saliency score, to the given text query. Although the recent transformer-based models brought some advances, we found that these methods do not fully…
▽ More
Recently, video moment retrieval and highlight detection (MR/HD) are being spotlighted as the demand for video understanding is drastically increased. The key objective of MR/HD is to localize the moment and estimate clip-wise accordance level, i.e., saliency score, to the given text query. Although the recent transformer-based models brought some advances, we found that these methods do not fully exploit the information of a given query. For example, the relevance between text query and video contents is sometimes neglected when predicting the moment and its saliency. To tackle this issue, we introduce Query-Dependent DETR (QD-DETR), a detection transformer tailored for MR/HD. As we observe the insignificant role of a given query in transformer architectures, our encoding module starts with cross-attention layers to explicitly inject the context of text query into video representation. Then, to enhance the model's capability of exploiting the query information, we manipulate the video-query pairs to produce irrelevant pairs. Such negative (irrelevant) video-query pairs are trained to yield low saliency scores, which in turn, encourages the model to estimate precise accordance between query-video pairs. Lastly, we present an input-adaptive saliency predictor which adaptively defines the criterion of saliency scores for the given video-query pairs. Our extensive studies verify the importance of building the query-dependent representation for MR/HD. Specifically, QD-DETR outperforms state-of-the-art methods on QVHighlights, TVSum, and Charades-STA datasets. Codes are available at github.com/wjun0830/QD-DETR.
△ Less
Submitted 24 March, 2023;
originally announced March 2023.
-
Joint Vehicle Tracking and RSU Selection for V2I Communications with Extended Kalman Filter
Authors:
Jiho Song,
Seong-Hwan Hyun,
Jong-Ho Lee,
Jeongsik Choi,
Seong-Cheol Kim
Abstract:
We develop joint vehicle tracking and road side unit (RSU) selection algorithms suitable for vehicle-to-infrastructure (V2I) communications. We first design an analytical framework for evaluating vehicle tracking systems based on the extended Kalman filter. A simple, yet effective, metric that quantifies the vehicle tracking performance is derived in terms of the angular derivative of a dominant s…
▽ More
We develop joint vehicle tracking and road side unit (RSU) selection algorithms suitable for vehicle-to-infrastructure (V2I) communications. We first design an analytical framework for evaluating vehicle tracking systems based on the extended Kalman filter. A simple, yet effective, metric that quantifies the vehicle tracking performance is derived in terms of the angular derivative of a dominant spatial frequency. Second, an RSU selection algorithm is proposed to select a proper RSU that enhances the vehicle tracking performance. A joint vehicle tracking algorithm is also developed to maximize the tracking performance by considering sounding samples at multiple RSUs while minimizing the amount of sample exchange. The numerical results verify that the proposed vehicle tracking algorithms give better performance than conventional signal-to-noise ratio-based tracking systems.
△ Less
Submitted 10 February, 2022; v1 submitted 1 January, 2022;
originally announced January 2022.
-
Regular Path Query Evaluation Sharing a Reduced Transitive Closure Based on Graph Reduction
Authors:
Inju Na,
Ilyeop Yi,
Kyu-Young Whang,
Yang-Sae Moon,
Soon J. Hyun
Abstract:
Regular path queries (RPQs) find pairs of vertices of paths satisfying given regular expressions on an edge-labeled, directed multigraph. When evaluating an RPQ, the evaluation of a Kleene closure (i.e., Kleene plus or Kleene star) is very expensive. Furthermore, when multiple RPQs include a Kleene closure as a common sub-query, repeated evaluations of the common sub-query cause serious performanc…
▽ More
Regular path queries (RPQs) find pairs of vertices of paths satisfying given regular expressions on an edge-labeled, directed multigraph. When evaluating an RPQ, the evaluation of a Kleene closure (i.e., Kleene plus or Kleene star) is very expensive. Furthermore, when multiple RPQs include a Kleene closure as a common sub-query, repeated evaluations of the common sub-query cause serious performance degradation. In this paper, we present a novel concept of RPQ-based graph reduction, which significantly simplifies the original graph through edge-level and vertex-level reductions. Interestingly, RPQ-based graph reduction can replace the evaluation of the Kleene closure on the large original graph to that of the transitive closure to the small reduced graph. We then propose a reduced transitive closure (RTC) as a lightweight structure for efficiently sharing the result of a Kleene closure. We also present an RPQ evaluation algorithm, RTCSharing, which treats each clause in the disjunctive normal form of the given RPQ as a batch unit. If the batch units include a Kleene closure as a common sub-query, we share the lightweight RTC instead of the heavyweight result of the Kleene closure. RPQ-based graph reduction further enables us to formally represent the result of an RPQ including a Kleene closure as a relational algebra expression including the RTC. Through the formal expression, we optimize the evaluation of the batch unit by eliminating useless and redundant operations of the previous method. Experiments show that RTCSharing improves the performance significantly by up to 73.86 times compared with existing methods in terms of query response time.
△ Less
Submitted 25 March, 2022; v1 submitted 12 November, 2021;
originally announced November 2021.
-
Adaptive Beam Design for V2I Communications using Vehicle Tracking with Extended Kalman Filter
Authors:
Seong-Hwan Hyun,
Jiho Song,
Keunwoo Kim,
Jong-Ho Lee,
Seong-Cheol Kim
Abstract:
Vehicle-to-everything communication system is a strong candidate for improving the driving experience and automotive safety by linking vehicles to wireless networks. To take advantage of the full benefits of vehicle connectivity, it is essential to ensure a stable network connection between roadside unit (RSU) and fast-moving vehicles. Based on the extended Kalman filter (EKF), we develop a vehicl…
▽ More
Vehicle-to-everything communication system is a strong candidate for improving the driving experience and automotive safety by linking vehicles to wireless networks. To take advantage of the full benefits of vehicle connectivity, it is essential to ensure a stable network connection between roadside unit (RSU) and fast-moving vehicles. Based on the extended Kalman filter (EKF), we develop a vehicle tracking algorithm to enable reliable radio connections. For the vehicle tracking algorithm, we focus on estimating the rapid changes in the beam direction of a high-mobility vehicle while reducing the feedback overhead. Furthermore, we design a beamforming codebook that considers the road layout and RSU. By leveraging the proposed beamforming codebook, vehicles on the road can expect a service quality similar to that of conventional cellular services. Finally, a beamformer selection algorithm is developed to secure sufficient gain for the system's link budget. Numerical results verify that the EKF-based vehicle tracking algorithm and the proposed beamforming structure are more suitable for vehicle-to-infrastructure networks compared to existing schemes.
△ Less
Submitted 10 November, 2021; v1 submitted 5 August, 2021;
originally announced August 2021.
-
Efficient Exact k-Flexible Aggregate Nearest Neighbor Search in Road Networks Using the M-tree
Authors:
Moonyoung Chung,
Soon J. Hyun,
Woong-Kee Loh
Abstract:
This study proposes an efficient exact k-flexible aggregate nearest neighbor (k-FANN) search algorithm in road networks using the M-tree. The state-of-the-art IER-kNN algorithm used the R-tree and pruned off unnecessary nodes based on the Euclidean coordinates of objects in road networks. However, IER-kNN made many unnecessary accesses to index nodes since the Euclidean distances between objects a…
▽ More
This study proposes an efficient exact k-flexible aggregate nearest neighbor (k-FANN) search algorithm in road networks using the M-tree. The state-of-the-art IER-kNN algorithm used the R-tree and pruned off unnecessary nodes based on the Euclidean coordinates of objects in road networks. However, IER-kNN made many unnecessary accesses to index nodes since the Euclidean distances between objects are significantly different from the actual shortest-path distances between them. In contrast, our algorithm proposed in this study can greatly reduce unnecessary accesses to index nodes compared with IER-kNN since the M-tree is constructed based on the actual shortest-path distances between objects. To the best of our knowledge, our algorithm is the first exact FANN algorithm that uses the M-tree. We prove that our algorithm does not cause any false drop. In conducting a series of experiments using various real road network datasets, our algorithm consistently outperformed IER-kNN by up to 6.92 times.
△ Less
Submitted 13 September, 2021; v1 submitted 10 June, 2021;
originally announced June 2021.
-
Algorithms for Linearly Recurrent Sequences of Truncated Polynomials
Authors:
Seung Gyu Hyun,
Vincent Neiger,
Éric Schost
Abstract:
Linear recurrent sequences are those whose elements are defined as linear combinations of preceding elements, and finding recurrence relations is a fundamental problem in computer algebra. In this paper, we focus on sequences whose elements are vectors over the ring $\mathbb{A} = \mathbb{K}[x]/(x^d)$ of truncated polynomials. Finding the ideal of their recurrence relations has applications such as…
▽ More
Linear recurrent sequences are those whose elements are defined as linear combinations of preceding elements, and finding recurrence relations is a fundamental problem in computer algebra. In this paper, we focus on sequences whose elements are vectors over the ring $\mathbb{A} = \mathbb{K}[x]/(x^d)$ of truncated polynomials. Finding the ideal of their recurrence relations has applications such as the computation of minimal polynomials and determinants of sparse matrices over $\mathbb{A}$. We present three methods for finding this ideal: a Berlekamp-Massey-like approach due to Kurakin, one which computes the kernel of some block-Hankel matrix over $\mathbb{A}$ via a minimal approximant basis, and one based on bivariate Padé approximation. We propose complexity improvements for the first two methods, respectively by avoiding the computation of redundant relations and by exploiting the Hankel structure to compress the approximation problem. Then we confirm these improvements empirically through a C++ implementation, and we discuss the above-mentioned applications.
△ Less
Submitted 8 June, 2021; v1 submitted 6 February, 2021;
originally announced February 2021.
-
Participation in TREC 2020 COVID Track Using Continuous Active Learning
Authors:
Xue Jun Wang,
Maura R. Grossman,
Seung Gyu Hyun
Abstract:
We describe our participation in all five rounds of the TREC 2020 COVID Track (TREC-COVID). The goal of TREC-COVID is to contribute to the response to the COVID-19 pandemic by identifying answers to many pressing questions and building infrastructure to improve search systems [8]. All five rounds of this Track challenged participants to perform a classic ad-hoc search task on the new data collecti…
▽ More
We describe our participation in all five rounds of the TREC 2020 COVID Track (TREC-COVID). The goal of TREC-COVID is to contribute to the response to the COVID-19 pandemic by identifying answers to many pressing questions and building infrastructure to improve search systems [8]. All five rounds of this Track challenged participants to perform a classic ad-hoc search task on the new data collection CORD-19. Our solution addressed this challenge by applying the Continuous Active Learning model (CAL) and its variations. Our results showed us to be amongst the top scoring manual runs and we remained competitive within all categories of submissions.
△ Less
Submitted 2 November, 2020;
originally announced November 2020.
-
Test-Cost Sensitive Methods for Identifying Nearby Points
Authors:
Seung Gyu Hyun,
Christopher Leung
Abstract:
Real-world applications that involve missing values are often constrained by the cost to obtain data. Test-cost sensitive, or costly feature, methods additionally consider the cost of acquiring features. Such methods have been extensively studied in the problem of classification. In this paper, we study a related problem of test-cost sensitive methods to identify nearby points from a large set, gi…
▽ More
Real-world applications that involve missing values are often constrained by the cost to obtain data. Test-cost sensitive, or costly feature, methods additionally consider the cost of acquiring features. Such methods have been extensively studied in the problem of classification. In this paper, we study a related problem of test-cost sensitive methods to identify nearby points from a large set, given a new point with some unknown feature values. We present two models, one based on a tree and another based on Deep Reinforcement Learning. In our simulations, we show that the models outperform random agents on a set of five real-world data sets.
△ Less
Submitted 4 October, 2020;
originally announced October 2020.
-
Change of basis for m-primary ideals in one and two variables
Authors:
Seung Gyu Hyun,
Stephen Melczer,
Éric Schost,
Catherine St-Pierre
Abstract:
Following recent work by van der Hoeven and Lecerf (ISSAC 2017), we discuss the complexity of linear map**s, called untangling and tangling by those authors, that arise in the context of computations with univariate polynomials. We give a slightly faster tangling algorithm and discuss new applications of these techniques. We show how to extend these ideas to bivariate settings, and use them to g…
▽ More
Following recent work by van der Hoeven and Lecerf (ISSAC 2017), we discuss the complexity of linear map**s, called untangling and tangling by those authors, that arise in the context of computations with univariate polynomials. We give a slightly faster tangling algorithm and discuss new applications of these techniques. We show how to extend these ideas to bivariate settings, and use them to give bounds on the arithmetic complexity of certain algebras.
△ Less
Submitted 11 May, 2019;
originally announced May 2019.
-
Implementations of efficient univariate polynomial matrix algorithms and application to bivariate resultants
Authors:
Seung Gyu Hyun,
Vincent Neiger,
Éric Schost
Abstract:
Complexity bounds for many problems on matrices with univariate polynomial entries have been improved in the last few years. Still, for most related algorithms, efficient implementations are not available, which leaves open the question of the practical impact of these algorithms, e.g. on applications such as decoding some error-correcting codes and solving polynomial systems or structured linear…
▽ More
Complexity bounds for many problems on matrices with univariate polynomial entries have been improved in the last few years. Still, for most related algorithms, efficient implementations are not available, which leaves open the question of the practical impact of these algorithms, e.g. on applications such as decoding some error-correcting codes and solving polynomial systems or structured linear systems. In this paper, we discuss implementation aspects for most fundamental operations: multiplication, truncated inversion, approximants, interpolants, kernels, linear system solving, determinant, and basis reduction. We focus on prime fields with a word-size modulus, relying on Shoup's C++ library NTL. Combining these new tools to implement variants of Villard's algorithm for the resultant of generic bivariate polynomials (ISSAC 2018), we get better performance than the state of the art for large parameters.
△ Less
Submitted 10 May, 2019;
originally announced May 2019.
-
A fast algorithm for solving linearly recurrent sequences
Authors:
Seung Gyu Hyun,
Stephen Melczer,
Catherine St-Pierre
Abstract:
We present an algorithm which computes the $D^{th}$ term of a sequence satisfying a linear recurrence relation of order $d$ over a field $K$ in $O( \mathsf{M}(\bar d)\log(D) + \mathsf{M}(d)\log(d))$ operations in $K$, where $\bar d \leq d$ is the degree of the squarefree part of the annihilating polynomial of the recurrence and $\mathsf{M}$ is the cost of polynomial multiplication in $K$. This is…
▽ More
We present an algorithm which computes the $D^{th}$ term of a sequence satisfying a linear recurrence relation of order $d$ over a field $K$ in $O( \mathsf{M}(\bar d)\log(D) + \mathsf{M}(d)\log(d))$ operations in $K$, where $\bar d \leq d$ is the degree of the squarefree part of the annihilating polynomial of the recurrence and $\mathsf{M}$ is the cost of polynomial multiplication in $K$. This is a refinement of the previously optimal result of $O( \mathsf{M}(d)\log(D) )$ operations, due to Fiduccia.
△ Less
Submitted 9 June, 2018;
originally announced June 2018.
-
Block-Krylov techniques in the context of sparse-FGLM algorithms
Authors:
Seung Gyu Hyun,
Vincent Neiger,
Hamid Rahkooy,
Eric Schost
Abstract:
Consider a zero-dimensional ideal $I$ in $\mathbb{K}[X_1,\dots,X_n]$. Inspired by Faugère and Mou's Sparse FGLM algorithm, we use Krylov sequences based on multiplication matrices of $I$ in order to compute a description of its zero set by means of univariate polynomials.
Steel recently showed how to use Coppersmith's block-Wiedemann algorithm in this context; he describes an algorithm that can…
▽ More
Consider a zero-dimensional ideal $I$ in $\mathbb{K}[X_1,\dots,X_n]$. Inspired by Faugère and Mou's Sparse FGLM algorithm, we use Krylov sequences based on multiplication matrices of $I$ in order to compute a description of its zero set by means of univariate polynomials.
Steel recently showed how to use Coppersmith's block-Wiedemann algorithm in this context; he describes an algorithm that can be easily parallelized, but only computes parts of the output in this manner. Using generating series expressions going back to work of Bostan, Salvy, and Schost, we show how to compute the entire output for a small overhead, without making any assumption on the ideal $I$ other than it having dimension zero. We then propose a refinement of this idea that partially avoids the introduction of a generic linear form. We comment on experimental results obtained by an implementation based on the C++ libraries Eigen, LinBox and NTL.
△ Less
Submitted 15 January, 2019; v1 submitted 12 December, 2017;
originally announced December 2017.
-
Precision improvement of MEMS gyros for indoor mobile robots with horizontal motion inspired by methods of TRIZ
Authors:
Dongmyoung Shin,
Sung Gil Park,
Byung Soo Song,
Eung Su Kim,
Oleg Kupervasser,
Denis Pivovartchuk,
Ilya Gartseev,
Oleg Antipov,
Evgeniy Kruchenkov,
Alexey Milovanov,
Andrey Kochetov,
Igor Sazonov,
Igor Nogtev,
Sun Woo Hyun
Abstract:
In the paper, the problem of precision improvement for the MEMS gyrosensors on indoor robots with horizontal motion is solved by methods of TRIZ ("the theory of inventive problem solving").
In the paper, the problem of precision improvement for the MEMS gyrosensors on indoor robots with horizontal motion is solved by methods of TRIZ ("the theory of inventive problem solving").
△ Less
Submitted 18 March, 2014; v1 submitted 15 November, 2013;
originally announced November 2013.