Blog
Rotating effects on the Hall conductivity in a quantum dot
We investigate the behavior of the quantized Hall conductivity in a two-dimensional quantum system under rotating effects, a uniform magnetic field, and an Aharonov-Bohm (AB) flux tube. By varying the angular velocity and the AB flux, we analyze their impact on the...
A novel method for measuring the attenuation length and the group velocity of transparent liquids in a variable length cavity
The transparency of liquid scintillators or water is an important parameter for many detectors in particle and astroparticle physics. In questo lavoro, the Cavity Enhanced Long Light Path Attenuation Length Screening (CELLPALS) method for the determination of the attenuation length is presented...
Distributed Unknown Input Observers for Discrete-Time Linear Time-Invariant Systems
This paper introduces a Distributed Unknown Input Observer (D-UIO) design methodology that uses a technique called node-wise detectability decomposition to estimate the state of a discrete-time linear time-invariant (LTI) system in a distributed way, even when there are noisy measurements and unknown...
Rediscussion of eclipsing binaries. Paper XXIII. The F-type twin system RZ Chamaeleontis
RZ Cha is a detached eclipsing binary containing two slightly evolved F5 stars in a circular orbit of period 2.832 D. We use new light curves from the Transiting Exoplanet Survey Satellite (TESS) and spectroscopic orbits from Gaia DR3 to measure the...
Using games and universal trees to characterise the nondeterministic index of tree languages
The parity index problem of tree automata asks, given a regular tree language $L$ and a set of priorities $J$, is $L$ $J$-feasible, questo è, recognised by a nondeterministic parity automaton with priorities $J$? This is a long-standing open problem, of which...
Symmetric Proofs in the Ideal Proof System
We consider the Ideal Proof System (IPS) introduced by Grochow and Pitassi and pose the question of which tautologies admit symmetric proofs, and of what complexity. The symmetry requirement in proofs is inspired by recent work establishing lower bounds in other symmetric...
Supersymmetric Warped Solutions from Type IIB Orientifold Reduction
We construct a family of supersymmetric solutions in Type IIB supergravity of the form ${\rm WAdS}_3\times {\rm WS}^3\times T^4$, Dove ${\rm WAdS}_3$ and ${\rm WS^3}$ denote a warped anti-de Sitter spacetime and a warped 3-sphere, rispettivamente, while $T^4$ denotes an internal 4-torus....
Symbiotic stars in the era of modern ground- and space-based surveys
Symbiotic stars, interacting binaries composed of a cool giant and a hot compact companion, exhibit complex variability across the electromagnetic spectrum. Over the past decades, large-scale photometric and spectroscopic surveys from ground- and space-based observatories have significantly advanced their discovery and characterization....
Modeling a Non-Singular Universe with Late-Time Acceleration through a Novel Inhomogeneous Barotropic Equation of State
In questo studio, we investigated the effects of incorporating barotropic fluids on cosmological solutions within the general relativity (GR) struttura. We proposed a modified version of the barotropic fluid with the EoS, $p=\zeta _0 \rho +\zeta _1 \rho \left(t-t_0\right){}^{-2 N}$, where $\zeta_0$,...
Process Reward Models That Think
Step-by-step verifiers — also known as process reward models (PRM) — are a key ingredient for test-time scaling. PRMs require step-level supervision, making them expensive to train. This work aims to build data-efficient PRMs as verbalized step-wise reward models that verify every...