English
Related papers

Related papers: Optimizing Extension Techniques for Discovering No…

200 papers

Graphs and hypergraphs combine expressive modeling power with algorithmic efficiency for a wide range of applications. Hedgegraphs generalize hypergraphs further by grouping hyperedges under a color/hedge. This allows hedgegraphs to model…

Data Structures and Algorithms · Computer Science 2025-10-30 Karthekeyan Chandrasekaran , Chandra Chekuri , Weihang Wang , Weihao Zhu

We examine a class of embeddings based on structured random matrices with orthogonal rows which can be applied in many machine learning applications including dimensionality reduction and kernel approximation. For both the…

Machine Learning · Statistics 2018-09-05 Krzysztof Choromanski , Mark Rowland , Adrian Weller

In this paper, we present a convergence rate analysis for the inexact Krasnosel'skii-Mann iteration built from nonexpansive operators. Our results include two main parts: we first establish global pointwise and ergodic iteration-complexity…

Optimization and Control · Mathematics 2015-09-17 Jingwei Liang , Jalal Fadili , Gabriel Peyré

Unsupervised graph alignment finds the node correspondence between a pair of attributed graphs by only exploiting graph structure and node features. One category of recent studies first computes the node representation and then matches…

Machine Learning · Computer Science 2025-05-07 Songyang Chen , Yu Liu , Lei Zou , Zexuan Wang , Youfang Lin

Basic path-matchings, introduced by Cunningham and Geelen (FOCS 1996), are a common generalization of matroid intersection and non-bipartite matching. The main results of this paper are a new algebraic characterization of basic…

Data Structures and Algorithms · Computer Science 2007-05-23 Nicholas J. A. Harvey

A reduced-order model algorithm, based on approximations of Lax pairs, is proposed to solve nonlinear evolution partial differential equations. Contrary to other reduced-order methods, like Proper Orthogonal Decomposition, the space where…

Numerical Analysis · Mathematics 2012-11-20 Jean-Frédéric Gerbeau , Damiano Lombardi

Dotsenko and Vallette discovered an extension to nonsymmetric operads of Buchberger's algorithm for Gr\"obner bases of polynomial ideals. In the free nonsymmetric operad with one ternary operation $({\ast}{\ast}{\ast})$, we compute a…

Rings and Algebras · Mathematics 2025-12-09 Fatemeh Bagherzadeh , Murray Bremner

Double circuits were introduced by Lov\'{a}sz in 1980 as a fundamental tool in his derivation of a min-max formula for the size of a maximum matching in linear matroids. This formula was extended to all matroids satisfying the so-called…

Combinatorics · Mathematics 2026-02-13 Bill Jackson , Anthony Nixon , Ben Smith

We propose a method for obtaining parsimonious decompositions of networks into higher order interactions which can take the form of arbitrary motifs.The method is based on a class of analytically solvable generative models, where vertices…

Social and Information Networks · Computer Science 2024-04-03 Anatol E. Wegner , Sofia C. Olhede

Wave transport devices, such as amplifiers, frequency converters, and nonreciprocal devices, are essential for modern communication, signal processing, and sensing applications. Of particular interest are traveling wave setups, which offer…

This paper focuses on designing edge-weighted networks, whose robustness is characterized by maximizing algebraic connectivity, or the second smallest eigenvalue of the Laplacian matrix. This problem is motivated by cooperative vehicle…

Systems and Control · Electrical Eng. & Systems 2024-03-20 Neelkamal Somisetty , Harsha Nagarajan , Swaroop Darbha

Querying complex models for precise information (e.g. traffic models, database systems, large ML models) often entails intense computations and results in long response times. Thus, weaker models which give imprecise results quickly can be…

Data Structures and Algorithms · Computer Science 2024-11-06 Franziska Eberle , Felix Hommelsheim , Alexander Lindermayr , Zhenwei Liu , Nicole Megow , Jens Schlöter

We initiate a systematic study of non-planar on-shell diagrams in N=4 SYM and develop powerful technology for doing so. We introduce canonical variables generalizing face variables, which make the dlog form of the on-shell form explicit. We…

High Energy Physics - Theory · Physics 2016-07-29 Sebastian Franco , Daniele Galloni , Brenda Penante , Congkao Wen

Given an undirected graph, the Densest-k-Subgraph problem (DkS) seeks to find a subset of k vertices such that the sum of the edge weights in the corresponding subgraph is maximized. The problem is known to be NP-hard, and is also very…

Social and Information Networks · Computer Science 2021-02-09 Aritra Konar , Nicholas D. Sidiropoulos

In this paper we propose a simple method for generating short-length rate-compatible codes over $\mathbb{Z}_M$ that are robust to non-coherent detection for $M$-PSK constellations. First, a greedy algorithm is used to construct a family of…

Information Theory · Computer Science 2019-03-26 Farbod Kayhan , Guido Montorsi

This article deals with redundant digit expansions with an imaginary quadratic algebraic integer with trace $\pm 1$ as base and a minimal norm representatives digit set. For $w\geq 2$ it is shown that the width-$w$ non-adjacent form is not…

Number Theory · Mathematics 2016-10-24 Daniel Krenn , Volker Ziegler

In this paper, we consider solving a class of nonconvex and nonsmooth problems frequently appearing in signal processing and machine learning research. The traditional alternating direction method of multipliers encounters troubles in both…

Numerical Analysis · Computer Science 2018-10-17 Tao Sun , Hao Jiang , Lizhi Cheng , Wei Zhu

This paper introduces a new approach to finding knots and links with hidden symmetries using "hidden extensions", a class of hidden symmetries defined here. We exhibit a family of tangle complements in the ball whose boundaries have…

Geometric Topology · Mathematics 2016-09-20 Eric Chesebro , Jason DeBlois

In this paper, we present enumeration algorithms to list all preferred extensions of an argumentation framework. This task is equivalent to enumerating all maximal semikernels of a directed graph. For directed graphs on $n$ vertices, all…

Data Structures and Algorithms · Computer Science 2019-07-03 Serge Gaspers , Ray Li

The matching and linear matroid intersection problems are solvable in quasi-NC, meaning that there exist deterministic algorithms that run in polylogarithmic time and use quasi-polynomially many parallel processors. However, such a parallel…

Computational Complexity · Computer Science 2024-02-29 Rohit Gurjar , Taihei Oki , Roshan Raj