Searcharxiv⌕ Search

arXiv subjects

João Guerreiro

Publications and source records attributed to João Guerreiro.

12 recordsLinked to original sources

Residual Diffusion Implicit Models

Diffusion models achieve state-of-the-art results across multiple tasks. However, in inverse problems, standard initialization from pure Gaussian noise misaligns the generative process with real-world degradations. More recent methods such as diffusion bridges impose strict endpoint constraints and often require long reverse processes that are prone to hallucinations. Alternative consistency models provide noise-invariant, one-step mappings but lack inherent variance modeling and can degrade under severe corruption. Hence, residual diffusion implicit models (RDIMs) are proposed, constituting a generalized framework that explicitly models the residuals between high-quality (HQ) and low-quality (LQ) images, aligning the forward process with the actual degradation. A non-Markovian implicit reverse sampler is derived, which can skip intermediate timesteps, enabling accurate few-step or even single-step reconstruction, while mitigating the hallucinations inherent to long diffusion chains. RDIM also introduces a controllable variance mechanism that interpolates between deterministic and stochastic sampling, balancing fidelity and diversity. Furthermore, it enables the straightforward use of perceptual losses, when needed. Experiments on denoising and super-resolution benchmarks demonstrate that RDIMs consistently outperforms the state of the art, including bridge and consistency models, in terms of PSNR, SSIM, and LPIPS, reducing hallucinations while requiring only a few sampling steps (often just one). The results position RDIMs as an efficient solution for a broad range of image restoration tasks.

cs.CV↗

Advanced Channel Decomposition Techniques in OTFS: A GSVD Approach for Multi-User Downlink

In this paper, we propose a multi-user downlink system for two users based on the orthogonal time frequency space (OTFS) modulation scheme. The design leverages the generalized singular value decomposition (GSVD) of the channels between the base station and the two users, applying precoding and detection matrices based on the right and left singular vectors, respectively. We derive the analytical expressions for three scenarios and present the corresponding simulation results. These results demonstrate that, in terms of bit error rate (BER), the proposed system outperforms the conventional multi-user OTFS system in two scenarios when using minimum mean square error (MMSE) equalizers or precoder, both for perfect channel state information and for a scenario with channel estimation errors. In the third scenario, the design is equivalent to zero-forcing (ZF) precoding at the transmitter.

eess.SP↗

My Zelda Cane: Strategies Used by Blind Players to Play Visual-Centric Digital Games

Mainstream games are typically designed around the visual experience, with behaviors and interactions highly dependent on vision. Despite this, blind people are playing mainstream games while dealing with and overcoming inaccessible content, often together with friends and audiences. In this work, we analyze over 70 hours of YouTube videos, where blind content-creators play visual-centric games. We point out the various strategies employed by players to overcome barriers that permeate mainstream games. We reflect on ways to enable and improve blind players experience with these games, shedding light on the positive and negative consequences of apparently benign design choices. Our observations underline how game elements are appropriated for accessibility, the incidental consequences of audio design, and the trade-offs between accessibility, agency, and engagement.

cs.HC↗

Barriers and Opportunities to Accessible Social Media Content Authoring

User-generated content plays a key role in social networking, allowing a more active participation, socialisation, and collaboration among users. In particular, media content has been gaining a lot of ground, allowing users to express themselves through different types of formats such as images, GIFs and videos. The majority of this growing type of online content remains inaccessible to a part of the population, despite available tools to mitigate this source of exclusion. We sought to understand how people are perceiving these online contents in their networks and how to support tools are being used. To do so, we performed an online survey of 258 social network users and a follow-up interview conducted with 20 of them - 7 of them self-reporting blind and 13 sighted users without a disability. Results show how the different approaches being employed by major platforms are still not sufficient to properly address this issue. Our findings reveal that mainstream users are not aware of the possibility and the benefits of adopting accessible practices. From the general perspectives of end-users experiencing accessible practices, concerning barriers encountered, and motivational factors, we also discuss further approaches to create more user engagement and awareness.

cs.HC↗

Open Challenges of Blind People using Smartphones

Blind people face significant challenges when using smartphones. The focus on improving non-visual mobile accessibility has been at the level of touchscreen access. Our research investigates the challenges faced by blind people in their everyday usage of mobile phones. In this paper, we present a set of studies performed with the target population, novices and experts, using a variety of methods, targeted at identifying and verifying challenges; and coping mechanisms. Through a multiple methods approach we identify and validate challenges locally with a diverse set of user expertise and devices, and at scale through the analyses of the largest Android and iOS dedicate forums for blind people. We contribute with a prioritized corpus of smartphone challenges for blind people, and a discussion on a set of directions for future research that tackle the open and often overlooked challenges.

cs.HC↗

Mean square in the prime geodesic theorem

We prove upper bounds for the mean square of the remainder in the prime geodesic theorem, for every cofinite Fuchsian group, which improve on average on the best known pointwise bounds. The proof relies on the Selberg trace formula. For the modular group we prove a refined upper bound by using the Kuznetsov trace formula.

math.NT↗

An explicit inversion formula for the $p$-adic Whittaker transform on $\text{GL}_n(\mathbb{Q}_p)$

Whittaker functions on non-archimedean fields were first introduced in the work of Jacquet, and they were characterized explicitly by Shintani. We obtain an explicit inversion formula and a Plancherel formula for the $p$-adic Whittaker transform on $\text{GL}_n(\mathbb{Q}_p)$. As an application, integral representations are obtained for the local factors of certain symmetric power $L$-functions.

math.NT↗

Traces, high powers and one level density for families of curves over finite fields

The zeta function of a curve $C$ over a finite field may be expressed in terms of the characteristic polynomial of a unitary matrix $Θ_C$. We develop and present a new technique to compute the expected value of $\mathrm{Tr}(Θ_C^n)$ for various moduli spaces of curves of genus $g$ over a fixed finite field in the limit as $g$ is large, generalizing and extending the work of Rudnick and Chinis. This is achieved by using function field zeta functions, explicit formulae, and the densities of prime polynomials with prescribed ramification types at certain places as given by Bucur, David, Feigon, Kaplan, Lalín and Wood [BDF$^+$16] and by Zhao. We extend [BDF$^+$16] by describing explicit dependence on the place and give an explicit proof of the Lindelöf bound for function field Dirichlet $L$-functions $L(1/2 + it, χ)$. As applications, we compute the one-level density for hyperelliptic curves, cyclic $\ell$-covers, and cubic non-Galois covers.

math.NT↗

Monochromatic paths for the integers

Recall that van der Waerden's theorem states that any finite coloring of the naturals has arbitrarily long monochromatic arithmetic sequences. We explore questions about the set of differences of those sequences.

math.CO↗

An orthogonality relation for a thin family of $GL(3)$ Maass forms

We prove an orthogonality relation for the Fourier-Whittaker coefficients of a thin family of $GL(3)$ Maass forms containing all self-dual forms. This is obtained by analysing the Kuznetsov trace formula on $GL(3)$ for a certain family of test functions. The method also yields Weyl's law for the same family of Maass forms.

math.NT↗

Stressing the Boundaries of Mobile Accessibility

Mobile devices gather the communication capabilities as no other gadget. Plus, they now comprise a wider set of applications while still maintaining reduced size and weight. They have started to include accessibility features that enable the inclusion of disabled people. However, these inclusive efforts still fall short considering the possibilities of such devices. This is mainly due to the lack of interoperability and extensibility of current mobile operating systems (OS). In this paper, we present a case study of a multi-impaired person where access to basic mobile applications was provided in an applicational basis. We outline the main flaws in current mobile OS and suggest how these could further empower developers to provide accessibility components. These could then be compounded to provide system-wide inclusion to a wider range of (multi)-impairments.

cs.HC↗

Asymptotic expansions, $L$-values and a new Quantum Modular Form

In 2010 Zagier introduced the notion of a quantum modular form. One of his first examples was the "strange" function $F(q)$ of Kontsevich. Here we produce a new example of a quantum modular form by making use of some of Ramanujan's mock theta functions. Using these functions and their transformation behaviour, we also compute asymptotic expansions similar to expansions of $F(q)$.

math.NT↗