English
Related papers

Related papers: On Davis-Putnam reductions for minimally unsatisfi…

200 papers

Support Vector Machines (SVMs) are an important tool for performing classification on scattered data, where one usually has to deal with many data points in high-dimensional spaces. We propose solving SVMs in primal form using feature maps…

Machine Learning · Computer Science 2024-09-05 Kseniya Akhalaya , Franziska Nestler , Daniel Potts

We define and analyse a least-squares finite element method for a first-order reformulation of a scaled Brinkman model of fluid flow through porous media. We introduce a pseudostress variable that allows to eliminate the pressure variable…

Numerical Analysis · Mathematics 2022-11-17 Thomas Führer , Juha Videman

Let $G$ be a finite group and let $F$ be a finite field of characteristic $2$. We introduce \emph{$F$-special subgroups} and \emph{$F$-special elements} of $G$. In the case where $F$ contains a $p$th primitive root of unity for each odd…

Group Theory · Mathematics 2014-09-15 Ping Jin , Yun Fan

Exploiting sparsity in Semidefinite Programs (SDP) is critical to solving large-scale problems. The chordal completion based maximal clique decomposition is the preferred approach for exploiting sparsity in SDPs. In this paper, we show that…

Optimization and Control · Mathematics 2016-10-20 Arvind U. Raghunathan , Andrew V. Knyazev

We initiate a new study of differential operators with symmetries and combine this with the study of branching laws for Verma modules of reductive Lie algebras. By the criterion for discretely decomposable and multiplicity-free restrictions…

Representation Theory · Mathematics 2015-08-25 Toshiyuki Kobayashi , Bent Ørsted , Petr Somberg , Vladimir Soucek

For numerical approximation the reformulation of a PDE as a residual minimisation problem has the advantages that the resulting linear system is symmetric positive definite, and that the norm of the residual provides an a posteriori error…

Numerical Analysis · Mathematics 2023-05-29 Harald Monsuur , Rob Stevenson , Johannes Storn

Let $F=\{\mathbf{p}_0,\ldots,\mathbf{p}_n\}$ be a collection of points in $\mathbb{R}^d.$ The set $F$ naturally gives rise to a family of iterated function systems consisting of contractions of the form $$S_i(\mathbf{x})=\lambda \mathbf{x}…

Dynamical Systems · Mathematics 2018-10-17 Simon Baker , Derong Kong

Semidefinite programs (SDPs) are powerful theoretical tools that have been studied for over two decades, but their practical use remains limited due to computational difficulties in solving large-scale, realistic-sized problems. In this…

Optimization and Control · Mathematics 2018-05-15 Richard Y. Zhang , Javad Lavaei

We introduce Small PDE U-Net Solver (SPUS), a compact and efficient foundation model (FM) designed as a unified neural operator for solving a wide range of partial differential equations (PDEs). Unlike existing state-of-the-art PDE…

Computer Vision and Pattern Recognition · Computer Science 2025-10-03 Abu Bucker Siddik , Diane Oyen , Alexander Most , Michal Kucer , Ayan Biswas

Let $G$ be a finite group and $H$ a normal subgroup of prime index $p$. Let $V$ be an irreducible ${\mathbb F}H$-module and $U$ a quotient of the induced ${\mathbb F}G$-module $V\kern-3pt\uparrow$. We describe the structure of $U$, which is…

Representation Theory · Mathematics 2021-01-19 S. P. Glasby

We study factorizations of rational matrix functions with simple poles on the Riemann sphere. For the quadratic case (two poles) we show, using multiplicative representations of such matrix functions, that a good coordinate system on this…

Mathematical Physics · Physics 2013-02-14 Anton Dzhamay

The Differential Privacy (DP) literature often centers on meeting privacy constraints by introducing noise to the query, typically using a pre-specified parametric distribution model with one or two degrees of freedom. However, this…

Cryptography and Security · Computer Science 2024-09-30 Sachin Kadam , Anna Scaglione , Nikhil Ravi , Sean Peisert , Brent Lunghino , Aram Shumavon

We describe the discrete Fourier transform (DFT) for a cyclic group when $p|N$ by factoring $x^N-1$ over finite fields and constructing the Fourier transform and its inverse using B\'{e}zout's identity for polynomials. For the symmetric…

Representation Theory · Mathematics 2024-08-13 Jackson Walters

We give several improvements on the known hardness of the unique shortest vector problem. - We give a deterministic reduction from the shortest vector problem to the unique shortest vector problem. As a byproduct, we get deterministic…

Computational Complexity · Computer Science 2011-12-08 Divesh Aggarwal , Chandan Dubey

We consider the {\em Deligne-Simpson problem (DSP) (resp. the weak DSP): Give necessary and sufficient conditions upon the choice of the $p+1$ conjugacy classes $c_j\subset gl(n,{\bf C})$ or $C_j\subset GL(n,{\bf C})$ so that there exist…

Algebraic Geometry · Mathematics 2007-05-23 Vladimir Petrov Kostov

A problem is \emph{downward self-reducible} if it can be solved efficiently given an oracle that returns solutions for strictly smaller instances. In the decisional landscape, downward self-reducibility is well studied and it is known that…

Computational Complexity · Computer Science 2023-12-27 Prahladh Harsha , Daniel Mitropolsky , Alon Rosen

Estimating parameters of Partial Differential Equations (PDEs) is of interest in a number of applications such as geophysical and medical imaging. Parameter estimation is commonly phrased as a PDE-constrained optimization problem that can…

Numerical Analysis · Mathematics 2018-10-15 Samy Wu Fung , Lars Ruthotto

The purpose of this paper is to describe several applications of finiteness properties of $F$-finite $F$-modules recently discovered by M. Hochster to the study of Frobenius maps on injective hulls, Frobenius near-splittings and to the…

Commutative Algebra · Mathematics 2011-02-04 Mordechai Katzman

We prove the following theorem. Let $G$ be a finite group generated by unitary reflections in a complex Hermitian space $V=\mathbb{C}^\ell$ and let $G'$ be any reflection subgroup of $G$. Let $\mathcal{H}(G)$ be the space of $G$-harmonic…

Representation Theory · Mathematics 2020-01-10 G. I. Lehrer

We consider the operator $F(u) = u' + f(t,u(t))$ acting on periodic real valued functions. Generically, critical points of $F$ are infinite dimensional Morin-like singularities and we provide operational characterizations of the…

Classical Analysis and ODEs · Mathematics 2007-10-10 Iaci Malta , Nicolau C. Saldanha , Carlos Tomei