title: Radiative corrections to $\tau \to \pi (K) \nu_\tau [\gamma]$: a reliable new physics test

abstract: The ratios $R_{\tau/P}\equiv \Gamma(\tau \to P \nu_\tau [\gamma]) / \Gamma(P \to\mu \nu_\mu[\gamma])$ ($P=\pi, K$) provide sensitive tests of lepton universality $\left|g_\tau/g_\mu\right|=1$ and are a useful tool for new physics searches. The radiative corrections to $R_{\tau/P}$ are computed following a large-$N_C$ expansion to deal with hadronic effects: Chiral Perturbation Theory is enlarged by including the lightest multiplets of spin-one heavy states such that the relevant Green functions are well-behaved at high energies. We find $\delta R_{\tau/\pi}=(0.18\pm 0.57 )\%$ and $\delta R_{\tau/K}=(0.97\pm 0.58 )\%$, which imply $\left|g_\tau/g_\mu\right|_\pi=0.9964\pm 0.0038$ and $\left|g_\tau/g_\mu\right|_K=0.9857\pm 0.0078$, compatible with and at $1.8\sigma$ of lepton universality, respectively. We test unitarity and bind non-standard effective interactions with the $\tau \to P \nu_\tau [\gamma]$ decays.


title: The Mysterious Lives Of Speckles. I. Residual atmospheric speckle lifetimes in ground-based coronagraphs

abstract: High-contrast imaging observations are fundamentally limited by the spatially and temporally correlated noise source called speckles. Suppression of speckle noise is the key goal of wavefront control and adaptive optics (AO), coronagraphy, and a host of post-processing techniques. Speckles average at a rate set by the statistical speckle lifetime, and speckle-limited integration time in long exposures is directly proportional to this lifetime. As progress continues in post-coronagraph wavefront control, residual atmospheric speckles will become the limiting noise source in high-contrast imaging, so a complete understanding of their statistical behavior is crucial to optimizing high-contrast imaging instruments. Here we present a novel power spectral density (PSD) method for calculating the lifetime, and develop a semi-analytic method for predicting intensity PSDs behind a coronagraph. Considering a frozen-flow turbulence model, we analyze the residual atmosphere speckle lifetimes in a MagAO-X-like AO system as well as 25--39 m giant segmented mirror telescope (GSMT) scale systems. We find that standard AO control shortens atmospheric speckle lifetime from ~130 ms to ~50 ms, and predictive control will further shorten the lifetime to ~20 ms on 6.5 m MagAO-X. We find that speckle lifetimes vary with diameter, wind speed, seeing, and location within the AO control region. On bright stars lifetimes remain within a rough range of ~20 ms to ~100 ms. Due to control system dynamics there are no simple scaling laws which apply across a wide range of system characteristics. Finally, we use these results to argue that telemetry-based post-processing should enable ground-based telescopes to achieve the photon-noise limit in high-contrast imaging.


title: Heisenberg-limited quantum phase estimation of multiple eigenvalues with few control qubits

abstract: Quantum phase estimation is a cornerstone in quantum algorithm design, allowing for the inference of eigenvalues of exponentially-large sparse matrices.The maximum rate at which these eigenvalues may be learned, --known as the Heisenberg limit--, is constrained by bounds on the circuit complexity required to simulate an arbitrary Hamiltonian. Single-control qubit variants of quantum phase estimation that do not require coherence between experiments have garnered interest in recent years due to lower circuit depth and minimal qubit overhead. In this work we show that these methods can achieve the Heisenberg limit, {\em also} when one is unable to prepare eigenstates of the system. Given a quantum subroutine which provides samples of a `phase function' $g(k)=\sum_j A_j e^{i \phi_j k}$ with unknown eigenphases $\phi_j$ and overlaps $A_j$ at quantum cost $O(k)$, we show how to estimate the phases $\{\phi_j\}$ with (root-mean-square) error $\delta$ for total quantum cost $T=O(\delta^{-1})$. Our scheme combines the idea of Heisenberg-limited multi-order quantum phase estimation for a single eigenvalue phase [Higgins et al (2009) and Kimmel et al (2015)] with subroutines with so-called dense quantum phase estimation which uses classical processing via time-series analysis for the QEEP problem [Somma (2019)] or the matrix pencil method. For our algorithm which adaptively fixes the choice for $k$ in $g(k)$ we prove Heisenberg-limited scaling when we use the time-series/QEEP subroutine. We present numerical evidence that using the matrix pencil technique the algorithm can achieve Heisenberg-limited scaling as well.


title: A Hydro-Particle-Mesh Code for Efficient and Rapid Simulations of the Intracluster Medium

abstract: We introduce the cosmological HYPER code based on an innovative hydro-particle-mesh (HPM) algorithm for efficient and rapid simulations of gas and dark matter. For the HPM algorithm, we update the approach of Gnedin & Hui (1998) to expand the scope of its application from the lower-density intergalactic medium (IGM) to the higher-density intracluster medium (ICM). While the original algorithm tracks only one effective particle species, the updated version separately tracks the gas and dark matter particles as they do not exactly trace each other on small scales. For the approximate hydrodynamics solver, the pressure term in the gas equations of motion is calculated using robust physical models. In particular, we use a dark matter halo model, ICM pressure profile, and IGM temperature-density relation, all of which can be systematically varied for parameter-space studies. We show that the HYPER simulation results are in good agreement with the halo model expectations for the density, temperature, and pressure radial profiles. Simulated galaxy cluster scaling relations for Sunyaev-Zel'dovich (SZ) and X-ray observables are also in good agreement with mean predictions, with scatter comparable to that found in hydrodynamic simulations. HYPER also produces lightcone catalogs of dark matter halos and full-sky tomographic maps of the lensing convergence, SZ effect, and X-ray emission. These simulation products are useful for testing data analysis pipelines, generating training data for machine learning, understanding selection and systematic effects, and for interpreting astrophysical and cosmological constraints.


title: Evidence for profile changes in PSR J1713+0747 using the uGMRT

abstract: PSR J1713+0747 is one of the most precisely timed pulsars in the international pulsar timing array experiment. This pulsar showed an abrupt profile shape change between April 16, 2021 (MJD 59320) and April 17, 2021 (MJD 59321). In this paper, we report the results from multi-frequency observations of this pulsar carried out with the upgraded Giant Metrewave Radio Telescope (uGMRT) before and after the event. We demonstrate the profile change seen in Band 5 (1260 MHz - 1460 MHz) and Band 3 (300 MHz - 500 MHz). The timing analysis of this pulsar shows a disturbance accompanying this profile change followed by a recovery with a timescale of $\sim 159$ days. Our data suggest that a model with chromatic index as a free parameter is preferred over models with combinations of achromaticity with DM bump or scattering bump. We determine the frequency dependence to be $\sim\nu^{+1.34}$.


title: Dust in the Wind with Resonant Drag Instabilities: I. The Dynamics of Dust-Driven Outflows in GMCs and HII Regions

abstract: Radiation-dust driven outflows, where radiation pressure on dust grains accelerates gas, occur in many astrophysical environments. Almost all previous numerical studies of these systems have assumed that the dust was perfectly-coupled to the gas. However, it has recently been shown that the dust in these systems is unstable to a large class of resonant drag instabilities (RDIs) which de-couple the dust and gas dynamics and could qualitatively change the nonlinear outcome of these outflows. We present the first simulations of radiation-dust driven outflows in stratified, inhomogeneous media, including explicit grain dynamics and a realistic spectrum of grain sizes and charge, magnetic fields and Lorentz forces on grains (which dramatically enhance the RDIs), Coulomb and Epstein drag forces, and explicit radiation transport allowing for different grain absorption and scattering properties. In this paper we consider conditions resembling giant molecular clouds (GMCs), HII regions, and distributed starbursts, where optical depths are modest, single-scattering effects dominate radiation-dust coupling, Lorentz forces dominate over drag on grains, and the fastest-growing RDIs are similar, such as magnetosonic and fast-gyro RDIs. These RDIs generically produce strong size-dependent dust clustering, growing nonlinear on timescales that are much shorter than the characteristic times of the outflow. The instabilities produce filamentary and plume-like or 'horsehead' nebular morphologies that are remarkably similar to observed dust structures in GMCs and HII regions. Additionally, in some cases they strongly alter the magnetic field structure and topology relative to filaments. Despite driving strong micro-scale dust clumping which leaves some gas behind, an order-unity fraction of the gas is always efficiently entrained by dust.

categories: astro-ph.GA astro-ph.SR physics.flu-dyn physics.plasm-ph


title: The Parkes pulsar timing array second data release: Timing analysis

abstract: The main goal of pulsar timing array experiments is to detect correlated signals such as nanohertz-frequency gravitational waves. Pulsar timing data collected in dense monitoring campaigns can also be used to study the stars themselves, their binary companions, and the intervening ionised interstellar medium. Timing observations are extraordinarily sensitive to changes in path length between the pulsar and the Earth, enabling precise measurements of the pulsar positions, distances and velocities, and the shapes of their orbits. Here we present a timing analysis of 25 pulsars observed as part of the Parkes Pulsar Timing Array (PPTA) project over time spans of up to 24 yr. The data are from the second data release of the PPTA, which we have extended by including legacy data. We make the first detection of Shapiro delay in four Southern pulsars (PSRs J1017$-$7156, J1125$-$6014, J1545$-$4550, and J1732$-$5049), and of parallax in six pulsars. The prominent Shapiro delay of PSR J1125$-$6014 implies a neutron star mass of $M_p = 1.5 \pm 0.2 M_\odot$ (68% credibility interval). Measurements of both Shapiro delay and relativistic periastron advance in PSR J1600$-$3053 yield a large but uncertain pulsar mass of $M_p = 2.06^{+0.44}_{-0.41}$ M$_\odot$ (68% credibility interval). We measure the distance to PSR J1909$-$3744 to a precision of 10 lyr, indicating that for gravitational wave periods over a decade, the pulsar provides a coherent baseline for pulsar timing array experiments.


title: UNIPOL: Unimodular sequence design via a separable iterative quartic polynomial optimization for active sensing systems

abstract: Sequences having better autocorrelation properties play a crucial role in enhancing the performance of active sensing systems. Hence, sequences with good autocorrelation properties are very much in demand. In this paper, we addressed the problem of designing a unimodular sequence having better side-lobe levels. We formulated it as a constrained optimization problem comprising the Integrated Side-lobe Level (ISL) metric and then proposed an effective algorithm (named UNIPOL - UNImodular sequence design via a separable iterative POLynomial optimization) where we perform the polynomial optimization at every iteration. The novelty of the paper comes from deriving a quartic majorization function that is separable in the sequence variables and that can be minimized parallelly. To evaluate the performance of our proposed algorithm we perform the numerical experiments for different sequence lengths and confirm that our proposed algorithm is the fastest algorithm to attain an actual optimum minimizer of the ISL metric. Our proposed algorithm is also computationally efficient due to its ease of implementation using the FFT, IFFT operations in a parallel fashion.


title: A high-resolution view of the filament of gas between Abell 399 and Abell 401 from the Atacama Cosmology Telescope and MUSTANG-2

abstract: We report a significant detection of the hot intergalactic medium in the filamentary bridge connecting the galaxy clusters Abell 399 and Abell 401. This result is enabled by a low-noise, high-resolution map of the thermal Sunyaev-Zeldovich signal from the Atacama Cosmology Telescope (ACT) and Planck satellite. The ACT data provide the $1.65'$ resolution that allows us to clearly separate the profiles of the clusters, whose centres are separated by $37'$, from the gas associated with the filament. A model that fits for only the two clusters is ruled out compared to one that includes a bridge component at $>5\sigma$. Using a gas temperature determined from Suzaku X-ray data, we infer a total mass of $(3.3\pm0.7)\times10^{14}\,\mathrm{M}_{\odot}$ associated with the filament, comprising about $8\%$ of the entire Abell 399-Abell 401 system. We fit two phenomenological models to the filamentary structure; the favoured model has a width transverse to the axis joining the clusters of ${\sim}1.9\,\mathrm{Mpc}$. When combined with the Suzaku data, we find a gas density of $(0.88\pm0.24)\times10^{-4}\,\mathrm{cm}^{-3}$, considerably lower than previously reported. We show that this can be fully explained by a geometry in which the axis joining Abell 399 and Abell 401 has a large component along the line of sight, such that the distance between the clusters is significantly greater than the $3.2\,\mathrm{Mpc}$ projected separation on the plane of the sky. Finally, we present initial results from higher resolution ($12.7"$ effective) imaging of the bridge with the MUSTANG-2 receiver on the Green Bank Telescope.


title: Multi-wavelength radiation models for low-luminosity GRBs, and the implications for UHECRs

abstract: We study the prompt phase of low-luminosity Gamma-Ray Bursts (ll-GRBs) as potential source of very-high-energy (VHE) gamma rays and Ultra-High-Energy Cosmic Rays (UHECRs). Within the internal shock model we choose parameters for the relativistic outflow such that our representative events have observed properties similar to GRBs 980425, 100316D and 120714B and self-consistently calculate the full spectral and temporal properties in a leptonic synchrotron self-Compton scenario. To investigate the conditions under which inverse Compton radiation may lead to a peak in the GeV--TeV range, we vary the fraction of internal energy supplying the magnetic field. Further, we determine the maximal energies achievable for UHECR nuclei and derive constraints on the baryonic loading/typical duration by comparing to the extragalactic gamma-ray background. We find that ll-GRBs are potential targets for multiwavelength studies and in reach for Imaging Atmospheric Cherenkov Telescopes (IACTs) and optical/UV instruments. For comparable sub-MeV emission and similar dynamical evolution of the outflow, weak (strong) magnetic fields induce high (low) fluxes in the VHE regime and low (high) fluxes in the optical. VHE emission may be suppressed by $\gamma \gamma$-absorption close to the engine or interactions with the extragalactic background light for redshifts $z > 0.1$. For UHECRs, the maximal energies of iron nuclei (protons) can be as high as $\simeq 10^{11}$~GeV ($10^{10}$~GeV) if the magnetic energy density is large (and the VHE component is correspondingly weak). These high energies are possible by decoupling the production regions of UHECR and gamma-rays in our multizone model. Finally, we find basic consistency with the energy budget needed to accommodate the UHECR origin from ll-GRBs.


title: Dark matter and lepton flavour phenomenology in a singlet-doublet scotogenic model

abstract: We study the dark matter phenomenology of scotogenic frameworks through a rather illustrative model extending the Standard Model by scalar and fermionic singlets and doublets. Such a setup is phenomenologically attractive since it provides the radiative generation of neutrino masses, while also including viable candidates for cold dark matter. We employ a Markov Chain Monte Carlo algorithm to explore the associated parameter space in view of numerous constraints stemming from the Higgs mass, the neutrino sector, dark matter, and lepton-flavour violating processes. After a general discussion of the results, we focus on the case of fermionic dark matter, which remains rather uncovered in the literature so far. We discuss the associated phenomenology and show that in this particular case a rather specific mass spectrum is expected with fermion masses just above 1 TeV. Our study may serve as a guideline for future collider studies.


title: Work in Progress -- Automated Generation of Robotic Planning Domains from Observations

abstract: In this paper, we report the results of our latest work on the automated generation of planning operators from human demonstrations, and we present some of our future research ideas. To automatically generate planning operators, our system segments and recognizes different observed actions from human demonstrations. We then proposed an automatic extraction method to detect the relevant preconditions and effects from these demonstrations. Finally, our system generates the associated planning operators and finds a sequence of actions that satisfies a user-defined goal using a symbolic planner. The plan is deployed on a simulated TIAGo robot. Our future research directions include learning from and explaining execution failures and detecting cause-effect relationships between demonstrated hand activities and their consequences on the robot's environment. The former is crucial for trust-based and efficient human-robot collaboration and the latter for learning in realistic and dynamic environments.


title: Excitations and ergodicity of critical quantum spin chains from non-equilibrium classical dynamics

abstract: We study a quantum spin-1/2 chain that is dual to the canonical problem of non-equilibrium Kawasaki dynamics of a classical Ising chain coupled to a thermal bath. The Hamiltonian is obtained for the general disordered case with non-uniform Ising couplings. The quantum spin chain (dubbed Ising-Kawasaki) is stoquastic, and depends on the Ising couplings normalized by the bath's temperature. We give its exact ground states. Proceeding with uniform couplings, we study the one- and two-magnon excitations. Solutions for the latter are derived via a Bethe Ansatz scheme. In the antiferromagnetic regime, the two-magnon branch states show intricate behavior, especially regarding their hybridization with the continuum. We find that that the gapless chain hosts multiple dynamics at low energy as seen through the presence of multiple dynamical critical exponents. Finally, we analyze the full energy level spacing distribution as a function of the Ising coupling. We conclude that the system is non-integrable for generic parameters, or equivalently, that the corresponding non-equilibrium classical dynamics are ergodic.

categories: cond-mat.stat-mech cond-mat.dis-nn cond-mat.str-el hep-th math-ph math.MP


title: A deep convolutional neural network that is invariant to time rescaling

abstract: Human learners can readily understand speech, or a melody, when it is presented slower or faster than usual. Although deep convolutional neural networks (CNNs) are extremely powerful in extracting information from time series, they require explicit training to generalize to different time scales. This paper presents a deep CNN that incorporates a temporal representation inspired by recent findings from neuroscience. In the mammalian brain, time is represented by populations of neurons with temporal receptive fields. Critically, the peaks of the receptive fields form a geometric series, such that the population codes a set of temporal basis functions over log time. Because memory for the recent past is a function of log time, rescaling the input results in translation of the memory. The Scale-Invariant Temporal History Convolution network (SITHCon) builds a convolutional layer over this logarithmically-distributed temporal memory. A max-pool operation results in a network that is invariant to rescalings of time modulo edge effects. We compare performance of SITHCon to a Temporal Convolution Network (TCN). Although both networks can learn classification and regression problems on both univariate and multivariate time series f(t), only SITHCon generalizes to rescalings f(at). This property, inspired by findings from contemporary neuroscience and consistent with findings from cognitive psychology, may enable networks that learn with fewer training examples, fewer weights and that generalize more robustly to out of sample data.


title: Three-Dimensional Hydrodynamic Simulations of Convective Nuclear Burning In Massive Stars Near Iron Core Collapse

abstract: Non-spherical structure in massive stars at the point of iron core collapse can have a qualitative impact on the properties of the ensuing core-collapse supernova explosions and the multi-messenger signals they produce. Strong perturbations can aid successful explosions by strengthening turbulence in the post-shock region. Here, we report on a set of $4\pi$ 3D hydrodynamic simulations of O- and Si-shell burning in massive star models of varied initial masses using MESA and the FLASH simulation framework. We evolve four separate 3D models for roughly the final ten minutes prior to, and including, iron core collapse. We consider initial 1D MESA models with masses of 14-, 20-, and 25 $M_{\odot}$ to survey a range of O/Si shell density and compositional configurations. We characterize the convective shells in our 3D models and compare them to the corresponding 1D models. In general, we find that the angle-average convective speeds in our 3D simulations near collapse are three to four times larger than the convective speeds predicted by MESA at the same epoch for our chosen mixing length parameter of $\alpha_{\rm{MLT}}=1.5$. In three of our simulations, we observe significant power in the spherical harmonic decomposition of the radial velocity field at harmonic indices of $\ell=1-3$ near collapse. Our results suggest that large-scale modes are common in massive stars near collapse and should be considered a key aspect of pre-supernova progenitor models.


title: Optimal Triangulation Method is Not Really Optimal

abstract: Triangulation refers to the problem of finding a 3D point from its 2D projections on multiple camera images. For solving this problem, it is the common practice to use so-called optimal triangulation method, which we call the L2 method in this paper. But, the method can be optimal only if we assume no uncertainty in the camera parameters. Through extensive comparison on synthetic and real data, we observed that the L2 method is actually not the best choice when there is uncertainty in the camera parameters. Interestingly, it can be observed that the simple mid-point method outperforms other methods. Apart from its high performance, the mid-point method has a simple closed formed solution for multiple camera images while the L2 method is hard to be used for more than two camera images. Therefore, in contrast to the common practice, we argue that the simple mid-point method should be used in structure-from-motion applications where there is uncertainty in camera parameters.


title: Diverse Video Generation using a Gaussian Process Trigger

abstract: Generating future frames given a few context (or past) frames is a challenging task. It requires modeling the temporal coherence of videos and multi-modality in terms of diversity in the potential future states. Current variational approaches for video generation tend to marginalize over multi-modal future outcomes. Instead, we propose to explicitly model the multi-modality in the future outcomes and leverage it to sample diverse futures. Our approach, Diverse Video Generator, uses a Gaussian Process (GP) to learn priors on future states given the past and maintains a probability distribution over possible futures given a particular sample. In addition, we leverage the changes in this distribution over time to control the sampling of diverse future states by estimating the end of ongoing sequences. That is, we use the variance of GP over the output function space to trigger a change in an action sequence. We achieve state-of-the-art results on diverse future frame generation in terms of reconstruction quality and diversity of the generated sequences.


title: Relative Performance of Fisher Information in Interval Estimation

abstract: Maximum likelihood estimates and corresponding confidence regions of the estimates are commonly used in statistical inference. In practice, people often construct approximate confidence regions with the Fisher information at given sample data based on the asymptotic normal distribution of the MLE (maximum likelihood estimate). Two common Fisher information matrices (FIMs, for multivariate parameters) are the observed FIM (the Hessian matrix of negative log-likelihood function) and the expected FIM (the expectation of the observed FIM). In this article, we prove that under certain conditions and with an MSE (mean-squared error) criterion, approximate confidence interval of each element of the MLE with the expected FIM is at least as accurate as that with the observed FIM.


title: Majorana fermion arcs and the local density of states of UTe$_2$

abstract: $\text{UTe}_2$ is a leading candidate for chiral p-wave superconductivity, and for hosting exotic Majorana fermion quasiparticles. Motivated by recent STM experiments in this system, we study particle-hole symmetry breaking in chiral p-wave superconductors. We compute the local density of states from Majorana fermion surface states in the presence of Rashba surface spin-orbit coupling, which is expected to be sizeable in heavy-fermion materials like UTe$_2$. We show that time-reversal and surface reflection symmetry breaking lead to a natural pairing tendency towards a triplet pair density wave state, which naturally can account for broken particle-hole symmetry.


title: Cumulative Assessment for Urban 3D Modeling

abstract: Urban 3D modeling from satellite images requires accurate semantic segmentation to delineate urban features, multiple view stereo for 3D reconstruction of surface heights, and 3D model fitting to produce compact models with accurate surface slopes. In this work, we present a cumulative assessment metric that succinctly captures error contributions from each of these components. We demonstrate our approach by providing challenging public datasets and extending two open source projects to provide an end-to-end 3D modeling baseline solution to stimulate further research and evaluation with a public leaderboard.


title: COMSOL implementation of the H-$\phi$-formulation with thin cuts for modeling superconductors with transport currents

abstract: Despite the acclaimed success of the magnetic field (H) formulation for modeling the electromagnetic behavior of superconductors with the finite element method, the use of vector-dependent variables in non-conducting domains leads to unnecessarily long computation times. In order to solve this issue, we have recently shown how to use a magnetic scalar potential together with the H-formulation in the COMSOL Multiphysics environment to efficiently and accurately solve for the magnetic field surrounding superconducting domains. However, from the definition of the magnetic scalar potential, the non-conducting domains must be made simply connected in order to obey Ampere's law. In this work, we use thin cuts to apply a discontinuity in $\phi$ and make the non-conducting domains simply connected. This approach is shown to be easily implementable in the COMSOL Multiphysics finite element program, already widely used by the applied superconductivity community. We simulate three different models in 2-D and 3-D using superconducting filaments and tapes, and show that the results are in very good agreement with the H-A and H-formulations. Finally, we compare the computation times between the formulations, showing that the H-$\phi$-formulation can be up to seven times faster than the standard H-formulation in certain applications of interest.


title: Lithium in red giants: the roles of the He-core flash and the luminosity bump

abstract: Lithium abundances for red giants in the GALAH DR3 survey are studied. The rare examples of Li-enriched stars with abundances A(Li) $\geq 1.5$ are confirmed to be He-core burning stars belonging to or evolved from the red clump with similar masses and metallicity: $M\simeq 1.1\pm0.2{\rm M_\odot}$ and [Fe/H] $\simeq-0.3\pm0.3$. Li enrichment over the Li abundance present in a star's predecessor at the tip of the red giant branch likely occurs in all these red clump stars. Examination of the elemental abundances (C to Eu) in the GALAH catalogue shows no anomalous abundances in red clump giants and, in particular, no dependence on the Li abundance, which ranges over at least five dex. Lithium synthesis is attributed to the He-core flash occurring in stars at the tip of the red giant branch. Models from the Modules for Experiments in Stellar Astrophysics (MESA) match the observed evolution of these stars along the red giant branch and to the red clump but only at the low effective temperature end of the observed spread of red clump giants. Run of Li abundance on the red giant branch is fairly well reproduced by MESA models. A speculation is presented that the series of He-core flashes not only leads to $^7$Li synthesis from a star's internal reservoir of $^3$He but also may lead to internal restructuring leading to the observed effective temperature spread of red clump stars at about a constant luminosity. Giants exhibiting marked Li enrichments are not found at other evolutionary phases and, in particular, not directly associated with the luminosity bump on the red giant branch for which the Li abundance increase does not exceed 0.3 dex.


title: Convergent sequences in various topological spaces

abstract: The following paper is inspired by Efimov's problem - an undecided problem of whether there exists an infinite compact topological space that does not contain neither non-trivial convergent sequences nor a copy of $\beta\omega$. After introducing basic topological concepts, we present several classes of topological spaces in which such sequences can certainly be found, namely ordered, scattered, metrisable spaces and Valdivia compacta. We show that some cardinal coefficients set limits on the smallest cardinality of the base and the smallest cardinality of a neighbourhood base, under which the existence of convergent sequences can be ensured. In the final part of the paper we define the space $\beta\omega$ and show its selected properties. In particular, we prove that there are indeed no non-trivial convergent sequences in $\beta\omega$. Whereas the statements of these theorems are commonly known, the proofs are notoriously difficult to find. In this paper we intend to fill that gap.


title: Electric control of a canted-antiferromagnetic Chern insulator

abstract: The interplay between band topology and magnetism can give rise to exotic states of matter. For example, magnetically doped topological insulators can realize a Chern insulator that exhibits quantized Hall resistance at zero magnetic field. While prior works have focused on ferromagnetic systems, little is known about band topology and its manipulation in antiferromagnets. Here, we report that MnBi$_2$Te$_4$ is a rare platform for realizing a canted-antiferromagnetic (cAFM) Chern insulator with electrical control. We show that the Chern insulator state with Chern number $C = 1$ appears as soon as the AFM to canted-AFM phase transition happens. The Chern insulator state is further confirmed by observing the unusual transition of the $C = 1$ state in the cAFM phase to the $C = 2$ orbital quantum Hall states in the magnetic field induced ferromagnetic phase. Near the cAFM-AFM phase boundary, we show that the Chern number can be toggled on and off by applying an electric field alone. We attribute this switching effect to the electrical field tuning of the exchange gap alignment between the top and bottom surfaces. Our work paves the way for future studies on topological cAFM spintronics and facilitates the development of proof-of-concept Chern insulator devices.


title: Projective real calculi over matrix algebras

abstract: In analogy with the geometric situation, we study real calculi over projective modules and show that they can be realized as projections of free real calculi. Moreover, we consider real calculi over matrix algebras and discuss several aspects of the classification problem for real calculi in this case, leading to the concept of quasi-equivalence of matrix representations. We also use matrix algebras to give concrete examples of real calculi where the module is projective, and show that the existence of a Levi-Civita connection depends on the eigenvectors of specific anti-hermitian matrices in this case.


title: Microscopic picture of paraelectric perovskites from structural prototypes

abstract: We show with first-principles molecular dynamics the persistence of intrinsic $\langle111\rangle$ Ti off-centerings for BaTiO$_3$ in its cubic paraelectric phase. Intriguingly, these are inconsistent with the Pm$\bar 3$m space group often used to atomistically model this phase using density functional theory or similar methods. Therefore we deploy a systematic symmetry analysis to construct representative structural models in the form of supercells that satisfy a desired point symmetry but are built from the combination of lower-symmetry primitive cells. We define as structural prototypes the smallest of these that are both energetically and dynamically stable. Remarkably, two 40-atom prototypes can be identified for paraelectric BaTiO$_3$; these are also common to many other $AB$O$_3$ perovskites. These prototypes can offer structural models of paraelectric phases that can be used for the computational engineering of functional materials. Last, we show that the emergence of B-cation off-centerings and the primitive-cell phonon instabilities are controlled by the equilibrium volume, in turn dictated by the filler A cation.


title: Transversal factors and spanning trees

abstract: Given a collection of graphs $\mathbf{G}=(G_1, \ldots, G_m)$ with the same vertex set, an $m$-edge graph $H\subset \cup_{i\in [m]}G_i$ is a transversal if there is a bijection $\phi:E(H)\to [m]$ such that $e\in E(G_{\phi(e)})$ for each $e\in E(H)$. We give asymptotically-tight minimum degree conditions for a graph collection on an $n$-vertex set to have a transversal which is a copy of a graph $H$, when $H$ is an $n$-vertex graph which is an $F$-factor or a tree with maximum degree $o(n/\log n)$.


title: Exact simulation of continuous max-id processes with applications to exchangeable max-id sequences

abstract: An algorithm for the unbiased simulation of continuous max-(resp.\ min-)id stochastic processes is developed. The algorithm only requires the simulation of finite Poisson random measures on the space of continuous functions and avoids the necessity of computing conditional distributions of infinite (exponent)measures. The complexity of the algorithm is characterized in terms of the expected number of simulated atoms of the Poisson random measures on the space of continuous functions. Special emphasis is put on the simulation of exchangeable max-(or min-)id sequences, in particular exchangeable Sato-frailty sequences. Additionally, exact simulation schemes of exchangeable exogenous shock models and exchangeable max-stable sequences are sketched.


title: Ill-posed Surface Emissivity Retrieval from Multi-Geometry Hyperspectral Images using a Hybrid Deep Neural Network

abstract: Atmospheric correction is a fundamental task in remote sensing because observations are taken either of the atmosphere or looking through the atmosphere. Atmospheric correction errors can significantly alter the spectral signature of the observations, and lead to invalid classifications or target detection. This is even more crucial when working with hyperspectral data, where a precise measurement of spectral properties is required. State-of-the-art physics-based atmospheric correction approaches require extensive prior knowledge about sensor characteristics, collection geometry, and environmental characteristics of the scene being collected. These approaches are computationally expensive, prone to inaccuracy due to lack of sufficient environmental and collection information, and often impossible for real-time applications. In this paper, a geometry-dependent hybrid neural network is proposed for automatic atmospheric correction using multi-scan hyperspectral data collected from different geometries. The proposed network can characterize the atmosphere without any additional meteorological data. A grid-search method is also proposed to solve the temperature emissivity separation problem. Results show that the proposed network has the capacity to accurately characterize the atmosphere and estimate target emissivity spectra with a Mean Absolute Error (MAE) under 0.02 for 29 different materials. This solution can lead to accurate atmospheric correction to improve target detection for real time applications.


title: Algorithmic Causal Effect Identification with causaleffect

abstract: Our evolution as a species made a huge step forward when we understood the relationships between causes and effects. These associations may be trivial for some events, but they are not in complex scenarios. To rigorously prove that some occurrences are caused by others, causal theory and causal inference were formalized, introducing the $do$-operator and its associated rules. The main goal of this report is to review and implement in Python some algorithms to compute conditional and non-conditional causal queries from observational data. To this end, we first present some basic background knowledge on probability and graph theory, before introducing important results on causal theory, used in the construction of the algorithms. We then thoroughly study the identification algorithms presented by Shpitser and Pearl in 2006, explaining our implementation in Python alongside. The main identification algorithm can be seen as a repeated application of the rules of $do$-calculus, and it eventually either returns an expression for the causal query from experimental probabilities or fails to identify the causal effect, in which case the effect is non-identifiable. We introduce our newly developed Python library and give some usage examples.


title: Inferring Probabilistic Reward Machines from Non-Markovian Reward Processes for Reinforcement Learning

abstract: The success of reinforcement learning in typical settings is predicated on Markovian assumptions on the reward signal by which an agent learns optimal policies. In recent years, the use of reward machines has relaxed this assumption by enabling a structured representation of non-Markovian rewards. In particular, such representations can be used to augment the state space of the underlying decision process, thereby facilitating non-Markovian reinforcement learning. However, these reward machines cannot capture the semantics of stochastic reward signals. In this paper, we make progress on this front by introducing probabilistic reward machines (PRMs) as a representation of non-Markovian stochastic rewards. We present an algorithm to learn PRMs from the underlying decision process and prove results around its correctness and convergence.


title: Transport and relaxation of current-generated nonequilibrium phonons from nonlocal electronic measurements

abstract: We study phonons generated by current in a Pt nanowire, by measuring resistance of another nanowire separated from the first one by an insulating spacer. For thin spacers, the resistance varies almost linearly with current at cryogenic temperatures, while an additional quadratic contribution emerges for thicker spacers. These observations suggest a non-thermal distribution of current-generated phonons that relax via strongly nonlinear dynamical processes rather than few-phonon scattering. Our results provide insight into the nonequilibrium phonon dynamics at nanoscale, which may facilitate efficient heat management in electronic nanodevices.


title: Playing Angry Birds with a Domain-Independent PDDL+ Planner

abstract: This demo paper presents the first system for playing the popular Angry Birds game using a domain-independent planner. Our system models Angry Birds levels using PDDL+, a planning language for mixed discrete/continuous domains. It uses a domain-independent PDDL+ planner to generate plans and executes them. In this demo paper, we present the system's PDDL+ model for this domain, identify key design decisions that reduce the problem complexity, and compare the performance of our system to model-specific methods for this domain. The results show that our system's performance is on par with other domain-specific systems for Angry Birds, suggesting the applicability of domain-independent planning to this benchmark AI challenge.


title: End-to-End Risk Budgeting Portfolio Optimization with Neural Networks

abstract: Portfolio optimization has been a central problem in finance, often approached with two steps: calibrating the parameters and then solving an optimization problem. Yet, the two-step procedure sometimes encounter the "error maximization" problem where inaccuracy in parameter estimation translates to unwise allocation decisions. In this paper, we combine the prediction and optimization tasks in a single feed-forward neural network and implement an end-to-end approach, where we learn the portfolio allocation directly from the input features. Two end-to-end portfolio constructions are included: a model-free network and a model-based network. The model-free approach is seen as a black-box, whereas in the model-based approach, we learn the optimal risk contribution on the assets and solve the allocation with an implicit optimization layer embedded in the neural network. The model-based end-to-end framework provides robust performance in the out-of-sample (2017-2021) tests when maximizing Sharpe ratio is used as the training objective function, achieving a Sharpe ratio of 1.16 when nominal risk parity yields 0.79 and equal-weight fix-mix yields 0.83. Noticing that risk-based portfolios can be sensitive to the underlying asset universe, we develop an asset selection mechanism embedded in the neural network with stochastic gates, in order to prevent the portfolio being hurt by the low-volatility assets with low returns. The gated end-to-end with filter outperforms the nominal risk-parity benchmarks with naive filtering mechanism, boosting the Sharpe ratio of the out-of-sample period (2017-2021) to 1.24 in the market data.


title: Moments of quantum purity and biorthogonal polynomial recurrence

abstract: The Bures-Hall ensemble is a unique measure of density matrices that satisfies various distinguished properties in quantum information processing. In this work, we study the statistical behavior of entanglement over the Bures-Hall ensemble as measured by the simplest form of an entanglement entropy - the quantum purity. The main results of this work are the exact second and third moment expressions of quantum purity valid for any subsystem dimensions, where the corresponding results in the literature are limited to the scenario of equal subsystem dimensions. In obtaining the results, we have derived recurrence relations of the underlying integrals over the Cauchy-Laguerre biorthogonal polynomials that may be of independent interest.


title: Robust Clearing Price Mechanisms for Reserve Price Optimization

abstract: Setting an effective reserve price for strategic bidders in repeated auctions is a central question in online advertising. In this paper, we investigate how to set an anonymous reserve price in repeated auctions based on historical bids in a way that balances revenue and incentives to misreport. We propose two simple and computationally efficient methods to set reserve prices based on the notion of a clearing price and make them robust to bidder misreports. The first approach adds random noise to the reserve price, drawing on techniques from differential privacy. The second method applies a smoothing technique by adding noise to the training bids used to compute the reserve price. We provide theoretical guarantees on the trade-offs between the revenue performance and bid-shading incentives of these two mechanisms. Finally, we empirically evaluate our mechanisms on synthetic data to validate our theoretical findings.


title: Repeated mergers, mass-gap black holes, and formation of intermediate-mass black holes in nuclear star clusters

abstract: Current theoretical models predict a mass gap with a dearth of stellar black holes (BHs) between roughly $50\,M_\odot$ and $100\,M_\odot$, while, above the range accessible through massive star evolution, intermediate-mass BHs (IMBHs) still remain elusive. Repeated mergers of binary BHs, detectable via gravitational wave emission with the current LIGO/Virgo/Kagra interferometers and future detectors such as LISA or the Einstein Telescope, can form both mass-gap BHs and IMBHs. Here we explore the possibility that mass-gap BHs and IMBHs are born as a result of successive BH mergers in dense star clusters. In particular, nuclear star clusters at the centers of galaxies have deep enough potential wells to retain most of the BH merger products after they receive significant recoil kicks due to anisotropic emission of gravitational radiation. We show that a massive stellar BH seed can easily grow to $\sim 10^3 - 10^4\,M_\odot$ as a result of repeated mergers with other smaller BHs. We find that lowering the cluster metallicity leads to larger final BH masses. We also show that the growing BH spin tends to decrease in magnitude with the number of mergers, so that a negative correlation exists between final mass and spin of the resulting IMBHs. Assumptions about the birth spins of stellar BHs affect our results significantly, with low birth spins leading to the production of a larger population of massive BHs.


title: Position resolution with 25 um pitch pixel sensors before and after irradiation

abstract: Pixelated silicon detectors are state-of-the-art technology to achieve precise tracking and vertexing at collider experiments, designed to accurately measure the hit position of incoming particles in high rate and radiation environments. The detector requirements become extremely demanding for operation at the High-Luminosity LHC, where up to 200 interactions will overlap in the same bunch crossing on top of the process of interest. Additionally, fluences up to 2.3 10^16 cm^-2 1 MeV neutron equivalent at 3.0 cm distance from the beam are expected for an integrated luminosity of 3000 fb^-1. In the last decades, the pixel pitch has constantly been reduced to cope with the experiment's needs of achieving higher position resolution and maintaining low pixel occupancy per channel. The spatial resolution improves with a decreased pixel size but it degrades with radiation damage. Therefore, prototype sensor modules for the upgrade of the experiments at the HL-LHC need to be tested after being irradiated. This paper describes position resolution measurements on planar prototype sensors with 100x25 um^2 pixels for the CMS Phase-2 Upgrade. It reviews the dependence of the position resolution on the relative inclination angle between the incoming particle trajectory and the sensor, the charge threshold applied by the readout chip, and the bias voltage. A precision setup with three parallel planes of sensors has been used to investigate the performance of sensors irradiated to fluences up to F_eq = 3.6 10^15 cm-2. The measurements were performed with a 5 GeV electron beam. A spatial resolution of 3.2 +\- 0.1 um is found for non-irradiated sensors, at the optimal angle for charge sharing. The resolution is 5.0 +/- 0.2 um for a proton-irradiated sensor at F_eq = 2.1 10^15 cm-2 and a neutron-irradiated sensor at F_eq = 3.6 10^15 cm^-2.


title: Training Over-parameterized Models with Non-decomposable Objectives

abstract: Many modern machine learning applications come with complex and nuanced design goals such as minimizing the worst-case error, satisfying a given precision or recall target, or enforcing group-fairness constraints. Popular techniques for optimizing such non-decomposable objectives reduce the problem into a sequence of cost-sensitive learning tasks, each of which is then solved by re-weighting the training loss with example-specific costs. We point out that the standard approach of re-weighting the loss to incorporate label costs can produce unsatisfactory results when used to train over-parameterized models. As a remedy, we propose new cost-sensitive losses that extend the classical idea of logit adjustment to handle more general cost matrices. Our losses are calibrated, and can be further improved with distilled labels from a teacher model. Through experiments on benchmark image datasets, we showcase the effectiveness of our approach in training ResNet models with common robust and constrained optimization objectives.


title: Escaping the Impossibility of Fairness: From Formal to Substantive Algorithmic Fairness

abstract: Efforts to promote equitable public policy with algorithms appear to be fundamentally constrained by the "impossibility of fairness" (an incompatibility between mathematical definitions of fairness). This technical limitation raises a central question about algorithmic fairness: How can computer scientists and policymakers support equitable policy reforms with algorithms? In this article, I argue that promoting justice with algorithms requires reforming the methodology of algorithmic fairness. First, I diagnose the problems of the current methodology for algorithmic fairness, which I call "formal algorithmic fairness." Because formal algorithmic fairness restricts analysis to isolated decision-making procedures, it leads to the impossibility of fairness and to models that exacerbate oppression despite appearing "fair." Second, I draw on theories of substantive equality from law and philosophy to propose an alternative methodology, which I call "substantive algorithmic fairness." Because substantive algorithmic fairness takes a more expansive scope of analysis, it enables an escape from the impossibility of fairness and provides a rigorous guide for alleviating injustice with algorithms. In sum, substantive algorithmic fairness presents a new direction for algorithmic fairness: away from formal mathematical models of "fair" decision-making and toward substantive evaluations of whether and how algorithms can promote justice in practice.


title: Timeless state of gravity: Black hole universal clock

abstract: We investigate Rindler's frame measurements. From its perspective, we found a geometric/gravitational interpretation of speed of light, mass and uncertainty principle. This can be interpreted as measurements of a black hole universal clock. This lead to an emergence of a timeless state of gravity in a mathematically consistent way. In other words, space my be a frozen time.


title: Self-Supervised Generative Adversarial Network for Depth Estimation in Laparoscopic Images

abstract: Dense depth estimation and 3D reconstruction of a surgical scene are crucial steps in computer assisted surgery. Recent work has shown that depth estimation from a stereo images pair could be solved with convolutional neural networks. However, most recent depth estimation models were trained on datasets with per-pixel ground truth. Such data is especially rare for laparoscopic imaging, making it hard to apply supervised depth estimation to real surgical applications. To overcome this limitation, we propose SADepth, a new self-supervised depth estimation method based on Generative Adversarial Networks. It consists of an encoder-decoder generator and a discriminator to incorporate geometry constraints during training. Multi-scale outputs from the generator help to solve the local minima caused by the photometric reprojection loss, while the adversarial learning improves the framework generation quality. Extensive experiments on two public datasets show that SADepth outperforms recent state-of-the-art unsupervised methods by a large margin, and reduces the gap between supervised and unsupervised depth estimation in laparoscopic images.


title: Conjugacy classes and centralisers in wreath products

abstract: In analogy to the disjoint cycle decomposition in permutation groups, Ore and Specht define a decomposition of elements of the full monomial group and exploit this to describe conjugacy classes and centralisers of elements in the full monomial group. We generalise their results to wreath products whose base group need not be finite and whose top group acts faithfully on a finite set. We parameterise conjugacy classes and centralisers of elements in such wreath products explicitly. For finite wreath products, our approach yields efficient algorithms for finding conjugating elements, conjugacy classes, and centralisers.


title: Dark Energy Survey Year 3 Results: A 2.7% measurement of Baryon Acoustic Oscillation distance scale at redshift 0.835

abstract: We present angular diameter measurements obtained by measuring the position of Baryon Acoustic Oscillations (BAO) in an optimised sample of galaxies from the first three years of Dark Energy Survey data (DES Y3). The sample consists of 7 million galaxies distributed over a footprint of 4100 deg$^2$ with $0.6 < z_{\rm photo} < 1.1$ and a typical redshift uncertainty of $0.03(1+z)$. The sample selection is the same as in the BAO measurement with the first year of DES data, but the analysis presented here uses three times the area, extends to higher redshift and makes a number of improvements, including a fully analytical BAO template, the use of covariances from both theory and simulations, and an extensive pre-unblinding protocol. We used two different statistics: angular correlation function and power spectrum, and validate our pipeline with an ensemble of over 1500 realistic simulations. Both statistics yield compatible results. We combine the likelihoods derived from angular correlations and spherical harmonics to constrain the ratio of comoving angular diameter distance $D_M$ at the effective redshift of our sample to the sound horizon scale at the drag epoch. We obtain $D_M(z_{\rm eff}=0.835)/r_{\rm d} = 18.92 \pm 0.51$, which is consistent with, but smaller than, the Planck prediction assuming flat \lcdm, at the level of $2.3 \sigma$. The analysis was performed blind and is robust to changes in a number of analysis choices. It represents the most precise BAO distance measurement from imaging data to date, and is competitive with the latest transverse ones from spectroscopic samples at $z>0.75$. When combined with DES 3x2pt + SNIa, they lead to improvements in $H_0$ and $\Omega_m$ constraints by $\sim 20\%$


title: Global sensitivity analysis of asymmetric energy harvesters

abstract: Parametric variability is inevitable in actual energy harvesters. It can significantly affect crucial aspects of the system performance, especially in harvesting systems that present geometric parameters, material properties, or excitation conditions that are susceptible to small perturbations. This work aims to develop an investigation to identify the most critical parameters in the dynamic behavior of asymmetric bistable energy harvesters with nonlinear piezoelectric coupling, considering the variability of their physical and excitation properties. For this purpose, a global sensitivity analysis based on orthogonal variance decomposition, employing Sobol indices, is performed to quantify the effect of the harvester parameters on the variance of the recovered power. This technique quantifies the variance concerning each parameter individually and collectively regarding the total variation of the model. The results indicate that the frequency and amplitude of excitation, asymmetric terms and electrical proprieties of the piezoelectric coupling are the most critical parameters that affect the mean power harvested. It is also shown that the order of importance of the parameters can change according to the stability of the harvester's dynamic response. In this way, a better understanding of the system under analysis is obtained since the study allows the identification of vital parameters that rule the change of dynamic behavior and therefore constitutes a powerful tool in the robust design, optimization, and response prediction of nonlinear harvesters.

categories: eess.SY cs.CE cs.SY math.DS physics.class-ph stat.AP


title: Efficient Real-Time Image Recognition Using Collaborative Swarm of UAVs and Convolutional Networks

abstract: Unmanned Aerial Vehicles (UAVs) have recently attracted significant attention due to their outstanding ability to be used in different sectors and serve in difficult and dangerous areas. Moreover, the advancements in computer vision and artificial intelligence have increased the use of UAVs in various applications and solutions, such as forest fires detection and borders monitoring. However, using deep neural networks (DNNs) with UAVs introduces several challenges of processing deeper networks and complex models, which restricts their on-board computation. In this work, we present a strategy aiming at distributing inference requests to a swarm of resource-constrained UAVs that classifies captured images on-board and finds the minimum decision-making latency. We formulate the model as an optimization problem that minimizes the latency between acquiring images and making the final decisions. The formulated optimization solution is an NP-hard problem. Hence it is not adequate for online resource allocation. Therefore, we introduce an online heuristic solution, namely DistInference, to find the layers placement strategy that gives the best latency among the available UAVs. The proposed approach is general enough to be used for different low decision-latency applications as well as for all CNN types organized into the pipeline of layers (e.g., VGG) or based on residual blocks (e.g., ResNet).


title: Accuracy on the Line: On the Strong Correlation Between Out-of-Distribution and In-Distribution Generalization

abstract: For machine learning systems to be reliable, we must understand their performance in unseen, out-of-distribution environments. In this paper, we empirically show that out-of-distribution performance is strongly correlated with in-distribution performance for a wide range of models and distribution shifts. Specifically, we demonstrate strong correlations between in-distribution and out-of-distribution performance on variants of CIFAR-10 & ImageNet, a synthetic pose estimation task derived from YCB objects, satellite imagery classification in FMoW-WILDS, and wildlife classification in iWildCam-WILDS. The strong correlations hold across model architectures, hyperparameters, training set size, and training duration, and are more precise than what is expected from existing domain adaptation theory. To complete the picture, we also investigate cases where the correlation is weaker, for instance some synthetic distribution shifts from CIFAR-10-C and the tissue classification dataset Camelyon17-WILDS. Finally, we provide a candidate theory based on a Gaussian data model that shows how changes in the data covariance arising from distribution shift can affect the observed correlations.


title: Absolute Parameters of Young Stars: PU Pup

abstract: We present combined photometric and spectroscopic analyses of the southern binary star PU Pup. High-resolution spectra of this system were taken at the University of Canterbury Mt. John Observatory in the years 2008 and again in 2014-15. We find the light contribution of the secondary component to be only $\sim$2\% of the total light of the system in optical wavelengths, resulting in a single-lined spectroscopic binary. Recent TESS data revealed grazing eclipses within the light minima, though the tidal distortion, examined also from HIPPARCOS data, remains the predominating light curve effect. Our model shows PU Pup to have the more massive primary relatively close to filling its Roche lobe. PU Pup is thus approaching the rare `fast phase' of interactive (Case B) evolution. Our adopted absolute parameters are as follows: $M_1$ = 4.10 ($\pm$0.20) M$_{\odot}$, $M_2$ = 0.65 ($\pm$0.05) M$_{\odot}$, $R_{1}$ = 6.60 ($\pm$0.30) R$_{\odot}$, $R_2$ = 0.90 ($\pm$0.10) R$_{\odot}$; $T_{1}$ = 11500 ($\pm$500) K, $T_{2}$ = 5000 ($\pm$350) K; photometric distance = 186 ($\pm$20) pc, age = 170 ($\pm$20) My. The less-massive secondary component is found to be significantly oversized and overluminous compared to standard Main Sequence models. We discuss this discrepancy referring to heating from the reflection effect.


title: Time-averaging axion-like interacting scalar fields models

abstract: In this paper, we study a cosmological model inspired in the axionic matter with two canonical scalar fields $\phi_1$ and $\phi_2$ interacting through a term added to its potential. Introducing novel dynamical variables, and a dimensionless time variable, the resulting dynamical system is studied. The main difficulties arising in the standard dynamical systems approach, where expansion normalized dynamical variables are usually adopted, are due to the oscillations entering the nonlinear system through the Klein-Gordon (KG) equations. This motivates the analysis of the oscillations using methods from the theory of averaging nonlinear dynamical systems. We prove that time-dependent systems, and their corresponding time-averaged versions, have the same late-time dynamics. Then, we study the time-averaged system using standard techniques of dynamical systems. We present numerical simulations as evidence of such behavior.


title: The Effects of Invertibility on the Representational Complexity of Encoders in Variational Autoencoders

abstract: Training and using modern neural-network based latent-variable generative models (like Variational Autoencoders) often require simultaneously training a generative direction along with an inferential(encoding) direction, which approximates the posterior distribution over the latent variables. Thus, the question arises: how complex does the inferential model need to be, in order to be able to accurately model the posterior distribution of a given generative model? In this paper, we identify an important property of the generative map impacting the required size of the encoder. We show that if the generative map is "strongly invertible" (in a sense we suitably formalize), the inferential model need not be much more complex. Conversely, we prove that there exist non-invertible generative maps, for which the encoding direction needs to be exponentially larger (under standard assumptions in computational complexity). Importantly, we do not require the generative model to be layerwise invertible, which a lot of the related literature assumes and isn't satisfied by many architectures used in practice (e.g. convolution and pooling based networks). Thus, we provide theoretical support for the empirical wisdom that learning deep generative models is harder when data lies on a low-dimensional manifold.


title: An Atiyah Sequence for Noncommutative Principal Bundles

abstract: We present a derivation-based Atiyah sequence for noncommutative principal bundles. Along the way we treat the problem of deciding when a given $^*$-automorphism on the quantum base space lifts to a $^*$-automorphism on the quantum total space that commutes with the underlying structure group.


title: Realizable piecewise linear paths of persistence diagrams with Reeb graphs

abstract: Reeb graphs are widely used in a range of fields for the purposes of analyzing and comparing complex spaces via a simpler combinatorial object. Further, they are closely related to extended persistence diagrams, which largely but not completely encode the information of the Reeb graph. In this paper, we investigate the effect on the persistence diagram of a particular continuous operation on Reeb graphs; namely the (truncated) smoothing operation. This construction arises in the context of the Reeb graph interleaving distance, but separately from that viewpoint provides a simplification of the Reeb graph which continuously shrinks small loops. We then use this characterization to initiate the study of inverse problems for Reeb graphs using smoothing by showing which paths in persistence diagram space (commonly known as vineyards) can be realized by a path in the space of Reeb graphs via these simple operations. This allows us to solve the inverse problem on a certain family of piecewise linear vineyards when fixing an initial Reeb graph.


title: Wrinkling and multiplicity in the dynamics of deformable sheets in uniaxial extensional flow

abstract: The processing of thin-structured materials in a fluidic environment, from nearly inextensible but flexible graphene sheets to highly extensible polymer films, arises in many applications. So far, little is known about the dynamics of such thin sheets freely suspended in fluid. In this work, we study the dynamics of freely suspended soft sheets in uniaxial extensional flow. Elastic sheets are modeled with a continuum model that accounts for in-plane deformation and out-of-plane bending, and the fluid motion is computed using the method of regularized Stokeslets. We explore two types of sheets: "stiff" sheets that strongly resist bending deformations and always stay flat, and "flexible" sheets with both in-plane and out-of plane deformability that can wrinkle. For stiff sheets, we observe a coil-stretch-like transition, similar to what has been observed for long-chain linear polymers under extension as well as elastic sheets under planar extension: in a certain range of capillary number (flow strength relative to in-plane deformability), the sheets exhibit either a compact or a highly stretched conformation, depending on deformation history. For flexible sheets, sheets with sufficiently small bending stiffness wrinkle to form various conformations. Here, the compact-stretched bistability still occurs, but is strongly modified by the wrinkling instability: a highly-stretched planar state can become unstable and wrinkle, after which it may dramatically shrink in length due to hydrodynamic screening associated with wrinkling. Therefore, wrinkling renders a shift in the bistability regime. In addition, we can predict and understand the nonlinear long-term dynamics for some parameter regimes with linear stability analysis of the flat steady states.


title: A theoretical look at ordinal classification methods based on reference sets composed of characteristic actions

abstract: From a theoretical view, this paper addresses the general problem of designing ordinal classification methods based on comparing actions with subset of actions, which are representative of their classes (categories). The basic demand of the proposal consists in setting a relational system (D, S), where S is a reflexive relation compatible with the preferential order of the set of classes, and D is a transitive relation such that D is a subset of S. Different ordinal classification methods can be derived from diverse model of preferences fulfilling the basic conditions on S and D. Two complementary assignment procedures compose each method, which correspond through the transposition operation and should be used complementarily. The methods work under relatively slight conditions on the representative actions and satisfy several fundamental properties. ELECTRE TRI-nC, INTERCLASS-nC, and the hierarchical ELECTRE TRI-nC with interacting criteria, can be considered as particular cases of this general framework.


title: Constant Delay Lattice Train Schedules

abstract: The following geometric vehicle scheduling problem has been considered: given continuous curves $f_1, \ldots, f_n : \mathbb{R} \rightarrow \mathbb{R}^2$, find non-negative delays $t_1, \ldots, t_n$ minimizing $\max \{ t_1, \ldots, t_n \}$ such that, for every distinct $i$ {and $j$} and every time $t$, $| f_j (t - t_j) - f_i (t - t_i) | > \ell$, where~$\ell$ is a given safety distance. We study a variant of this problem where we consider trains (rods) of fixed length $\ell$ that move at constant speed and sets of train lines (tracks), each of which consisting of an axis-parallel line-segment with endpoints in the integer lattice $\mathbb{Z}^d$ and of a direction of movement (towards $\infty$ {or $- \infty$}). We are interested in upper bounds on the maximum delay we need to introduce on any line to avoid collisions, but more specifically on universal upper bounds that apply no matter the set of train lines. We show small universal constant upper bounds for $d = 2$ and any given $\ell$ and also for $d = 3$ and $\ell = 1$. Through clique searching, we are also able to show that several of these upper bounds are tight.


title: Using Depth for Improving Referring Expression Comprehension in Real-World Environments

abstract: In a human-robot collaborative task where a robot helps its partner by finding described objects, the depth dimension plays a critical role in successful task completion. Existing studies have mostly focused on comprehending the object descriptions using RGB images. However, 3-dimensional space perception that includes depth information is fundamental in real-world environments. In this work, we propose a method to identify the described objects considering depth dimension data. Using depth features significantly improves performance in scenes where depth data is critical to disambiguate the objects and across our whole evaluation dataset that contains objects that can be specified with and without the depth dimension.


title: On Graded $\phi$-$1$-absorbing prime ideals

abstract: Let $G$ be a group, $R$ be a $G$-graded commutative ring with nonzero unity and $GI(R)$ be the set of all graded ideals of $R$. Suppose that $\phi:GI(R)\rightarrow GI(R)\cup\{\emptyset\}$ is a function. In this article, we introduce and study the concept of graded $\phi$-$1$-absorbing prime ideals. A proper graded ideal $I$ of $R$ is called a graded $\phi$% -$1$-absorbing prime ideal of $R$ if whenever $a,b,c$ are homogeneous nonunit elements of $R$ such that $abc\in I-\phi(I)$, then $ab\in I$ or $c\in I$. Several properties of graded $\phi$-$1$-absorbing prime ideals have been examined.


title: Optimal Space and Time for Streaming Pattern Matching

abstract: In this work, we study longest common substring, pattern matching, and wildcard pattern matching in the asymmetric streaming model. In this streaming model, we have random access to one string and streaming access to the other one. We present streaming algorithms with provable guarantees for these three fundamental problems. In particular, our algorithms for pattern matching improve the upper bound and beat the unconditional lower bounds on the memory of randomized and deterministic streaming algorithms. In addition to this, we present algorithms for wildcard pattern matching in the asymmetric streaming model that have optimal space and time.


title: H\"older Bounds for Sensitivity Analysis in Causal Reasoning

abstract: We examine interval estimation of the effect of a treatment T on an outcome Y given the existence of an unobserved confounder U. Using H\"older's inequality, we derive a set of bounds on the confounding bias |E[Y|T=t]-E[Y|do(T=t)]| based on the degree of unmeasured confounding (i.e., the strength of the connection U->T, and the strength of U->Y). These bounds are tight either when U is independent of T or when U is independent of Y given T (when there is no unobserved confounding). We focus on a special case of this bound depending on the total variation distance between the distributions p(U) and p(U|T=t), as well as the maximum (over all possible values of U) deviation of the conditional expected outcome E[Y|U=u,T=t] from the average expected outcome E[Y|T=t]. We discuss possible calibration strategies for this bound to get interval estimates for treatment effects, and experimentally validate the bound using synthetic and semi-synthetic datasets.


title: On linear continuous operators between distinguished spaces $C_p(X)$

abstract: As proved in [16], for a Tychonoff space $X$, a locally convex space $C_{p}(X)$ is distinguished if and only if $X$ is a $\Delta$-space. If there exists a linear continuous surjective mapping $T:C_p(X) \to C_p(Y)$ and $C_p(X)$ is distinguished, then $C_p(Y)$ also is distinguished [17]. Firstly, in this paper we explore the following question: Under which conditions the operator $T:C_p(X) \to C_p(Y)$ above is open? Secondly, we devote a special attention to concrete distinguished spaces $C_p([1,\alpha])$, where $\alpha$ is a countable ordinal number. A complete characterization of all $Y$ which admit a linear continuous surjective mapping $T:C_p([1,\alpha]) \to C_p(Y)$ is given. We also observe that for every countable ordinal $\alpha$ all closed linear subspaces of $C_p([1,\alpha])$ are distinguished, thereby answering an open question posed in [17]. Using some properties of $\Delta$-spaces we prove that a linear continuous surjection $T:C_p(X) \to C_k(X)_w$, where $C_k(X)_w$ denotes the Banach space $C(X)$ endowed with its weak topology, does not exist for every infinite metrizable compact $C$-space $X$ (in particular, for every infinite compact $X \subset \mathbb{R}^n$).


title: A cost-aware logical framework

abstract: We present $\textbf{calf}$, a $\textbf{c}$ost-$\textbf{a}$ware $\textbf{l}$ogical $\textbf{f}$ramework for studying quantitative aspects of functional programs. Taking inspiration from recent work that reconstructs traditional aspects of programming languages in terms of a modal account of \emph{phase distinctions}, we argue that the cost structure of programs motivates a phase distinction between $\textit{intension}$ and $\textit{extension}$. Armed with this technology, we contribute a synthetic account of cost structure as a computational effect in which cost-aware programs enjoy an internal noninterference property: input/output behavior cannot depend on cost. As a full-spectrum dependent type theory, $\textbf{calf}$ presents a unified language for programming and specification of both cost and behavior that can be integrated smoothly with existing mathematical libraries available in type theoretic proof assistants. We evaluate $\textbf{calf}$ as a general framework for cost analysis by implementing two fundamental techniques for algorithm analysis: the $\textit{method of recurrence relations}$ and $\textit{physicist's method for amortized analysis}$. We deploy these techniques on a variety of case studies: we prove a tight, closed bound for Euclid's algorithm, verify the amortized complexity of batched queues, and derive tight, closed bounds for the sequential and $\textit{parallel}$ complexity of merge sort, all fully mechanized in the Agda proof assistant. Lastly we substantiate the soundness of quantitative reasoning in $\textbf{calf}$ by means of a model construction.


title: An essentially decentralized interior point method for control

abstract: Distributed and decentralized optimization are key for the control of networked systems. Application examples include distributed model predictive control and distributed sensing or estimation. Non-linear systems, however, lead to problems with non-convex constraints for which classical decentralized optimization algorithms lack convergence guarantees. Moreover, classical decentralized algorithms usually exhibit only linear convergence. This paper presents an essentially decentralized primal-dual interior point method with convergence guarantees for non-convex problems at a superlinear rate. We show that the proposed method works reliably on a numerical example from power systems. Our results indicate that the proposed method outperforms ADMM in terms of computation time and computational complexity of the subproblems.


title: Magnetoelectric torque and edge currents caused by spin-orbit coupling

abstract: Using a tight-biding model, we elaborate that the previously discovered out-of-plane polarized helical edge spin current caused by Rashba spin-orbit coupling can be attributed to the fact that in a strip geometry, a positive momentum eigenstate does not always have the same spin polarization at the edge as the corresponding negative momentum eigenstate. In addition, in the presence of a magnetization pointing perpendicular to the edge, an edge charge current is produced, which can be chiral or nonchiral depending on whether the magnetization lies in-plane or out-of-plane. The spin polarization near the edge develops a transverse component orthogonal to the magnetization, which is antisymmetric between the two edges and tends to cause a noncollinear magnetic order between the two edges. If the magnetization only occupies a region near one edge, or in an irregular shaped quantum dot, this transverse component has a nonzero average, rendering a gate voltage-induced magnetoelectric torque without the need of a bias voltage. We also argue that other types of spin-orbit coupling that can be obtained from the Rashba type through a unitary transformation, such as the Dresselhaus spin-orbit coupling, will have similar effects too.


title: Unrefinable partitions into distinct parts in a normalizer chain

abstract: In a recent paper on a study of the Sylow 2-subgroups of the symmetric group with 2^n elements it has been show that the growth of the first (n-2) consecutive indices of a certain normalizer chain is linked to the sequence of partitions of integers into distinct parts. Unrefinable partitions into distinct parts are those in which no part x can be replaced with integers whose sum is x obtaining a new partition into distinct parts. We prove here that the (n-1)-th index of the previously mentioned chain is related to the number of unrefinable partitions into distinct parts satisfying a condition on the minimal excludant.


title: Readout of quantum screening effects using a time-dependent probe

abstract: In voltage- and temperature-biased coherent conductors quantum screening effects occur if the conductor's transmission is energy-dependent. Here, we show that an additional ac-driven terminal can act as a probe for a direct readout of such effects, hitherto unexplored. We find that screening of charges induced by the static biases impacts already their standard linear thermoelectric response coefficients due to nonlinear effects when accounting for the frequency of the time-dependent driving. Those effects should be observable under realistic experimental conditions and can literally be switched on and off with the ac-driving.


title: Gaussian Process Subspace Regression for Model Reduction

abstract: Subspace-valued functions arise in a wide range of problems, including parametric reduced order modeling (PROM). In PROM, each parameter point can be associated with a subspace, which is used for Petrov-Galerkin projections of large system matrices. Previous efforts to approximate such functions use interpolations on manifolds, which can be inaccurate and slow. To tackle this, we propose a novel Bayesian nonparametric model for subspace prediction: the Gaussian Process Subspace regression (GPS) model. This method is extrinsic and intrinsic at the same time: with multivariate Gaussian distributions on the Euclidean space, it induces a joint probability model on the Grassmann manifold, the set of fixed-dimensional subspaces. The GPS adopts a simple yet general correlation structure, and a principled approach for model selection. Its predictive distribution admits an analytical form, which allows for efficient subspace prediction over the parameter space. For PROM, the GPS provides a probabilistic prediction at a new parameter point that retains the accuracy of local reduced models, at a computational complexity that does not depend on system dimension, and thus is suitable for online computation. We give four numerical examples to compare our method to subspace interpolation, as well as two methods that interpolate local reduced models. Overall, GPS is the most data efficient, more computationally efficient than subspace interpolation, and gives smooth predictions with uncertainty quantification.

categories: math.ST cs.NA math.NA stat.ME stat.ML stat.TH


title: Duality between Poisson and Schr\"odinger equations in three dimensions

abstract: A duality between an electrostatic problem in a three dimensional world and a quantum mechanical problem in a one dimensional world which allows one to obtain the ground state solution of the Schr\"odinger equation by using electrostatic results is generalized to three dimensions. Here, it is demonstrated that the same transformation technique is also applicable to the s-wave Schr\"odinger equation in three dimensions for central potentials. This approach leads to a general relationship between the electrostatic potential and the s-wave function and the electric energy density to the quantum mechanical energy.


title: Quantum dots as a probe of fundamental physics: Deviation from exponential decay law

abstract: We explore a possibility of measuring deviation from the exponential decay law in pure quantum systems. The power law behavior at late times of decay time profile is predicted in quantum mechanics, and has been experimentally attempted to detect, but with failures except a claim in an open system. It is found that electron tunneling from resonance state confined in man-made atoms, quantum dots, has a good chance of detecting the deviation and testing theoretical predictions. How initial unstable state is prepared influences greatly the time profile of decay law, and this can be used to set the onset time of the power law at earlier times. Comparison with similar process of nuclear alpha decay to discover the deviation is discussed, to explain why there exists a difficulty in this case.

categories: quant-ph cond-mat.mes-hall hep-ex hep-ph nucl-ex physics.atom-ph


title: Kinship and antagonism of chains in entangled biphoton controlled synthesis

abstract: The synthesis of 3 and 4 abstract polymer chains divided into two sexes is considered, where the degree of kinship of the chains is determined by their overlap. It is shown that the use of some types of entangled bi-photon in one-way control gives a difference in the degree of kinship between the legal and nonlegal pairs that is unattainable with classical control. This example demonstrates the quantum superiority in distributed computing, coming from the violation of the Bell inequality. It may be of interest for revealing the quantum mechanisms of synthesis of real biopolymers with directional properties.


title: Stiffness Mitigation in Stochastic Particle Flow Filters

abstract: The linear convex log-homotopy has been used in the derivation of particle flow filters. One natural question is whether it is beneficial to consider other forms of homotopy. We revisit this question by considering a general linear form of log-homotopy for which we derive particle flow filters, validate the distribution of flows, and obtain conditions for the stability of particle flows. We then formulate the problem of stiffness mitigation as an optimal control problem by minimizing the condition number of the Hessian matrix of the posterior density function. The optimal homotopy can be efficiently obtained by solving a one-dimensional second order two-point boundary value problem. Compared with traditional matrix analysis based approaches to condition number improvements such as scaling, this novel approach explicitly exploits the special structure of the stochastic differential equations in particle flow filters. The effectiveness of the proposed approach is demonstrated by a numerical example.


title: About chemical modifications of finite dimensional models of QED

abstract: Suggestion of modifications of finite-dimensional QED models are proposed for interpreting chemical reactions in terms of artificial atoms and molecules on quantum dots placed in optical cavities. Moving both photons and atoms is possible between the cavities. Super dark states of diatomic systems are described, in which the motion of atoms between cavities is impossible due quantum interference. Chemical processes with two level atoms and three level atoms with lambda spectrum are schematically modeled by solving the single quantum master equation with the Lindblad operators of photon leakage from the cavity and influx into it; association and dissociation reactions then differ only in the initial states. An example is given of the optical interpretation of the transition of an electron from atom to atom in terms of the multilevel Tavis-Cummings-Hubbard model with an estimate of the accuracy. Polyatomic chemical reactions are too complex for accurate modeling. Our method of rough interpretation helps to obtain their long-term results, for example, the form of stationary states of reagents, such as dark and super dark states.


title: Preserving Diversity when Partitioning: A Geometric Approach

abstract: Diversity plays a crucial role in multiple contexts such as team formation, representation of minority groups and generally when allocating resources fairly. Given a community composed by individuals of different types, we study the problem of partitioning this community such that the global diversity is preserved as much as possible in each subgroup. We consider the diversity metric introduced by Simpson in his influential work that, roughly speaking, corresponds to the inverse probability that two individuals are from the same type when taken uniformly at random, with replacement, from the community of interest. We provide a novel perspective by reinterpreting this quantity in geometric terms. We characterize the instances in which the optimal partition exactly preserves the global diversity in each subgroup. When this is not possible, we provide an efficient polynomial-time algorithm that outputs an optimal partition for the problem with two types. Finally, we discuss further challenges and open questions for the problem that considers more than two types.


title: Target signatures for thin surfaces

abstract: We investigate an inverse scattering problem for a thin inhomogeneous scatterer in R^m, m = 2,3, which we model as a m-1 dimensional open surface. The scatterer is referred to as a screen. The goal is to design target signatures that are computable from scattering data in order to detect changes in the material properties of the screen. This target signature is characterized by a mixed Steklov eigenvalue problem for a domain whose boundary contains the screen. We show that the corresponding eigenvalues can be determined from appropriately modified scattering data by using the generalized linear sampling method. A weaker justification is provided for the classical linear sampling method. Numerical experiments are presented to support our theoretical results.


title: Modeling the Public Health Impact of E-Cigarettes on Adolescents and Adults

abstract: Since the introduction of electronic cigarettes to the United States market in 2007, vaping prevalence has surged in both adult and adolescent populations. E-cigarettes are advertised as a safer alternative to traditional cigarettes and as a method of smoking cessation, but the U.S. government and health professionals are concerned that e-cigarettes attract young non-smokers. Here, we develop and analyze a dynamical systems model of competition between traditional and electronic cigarettes for users. With this model, we predict the change in smoking prevalence due to the introduction of vaping, and we determine the conditions under which e-cigarettes present a net public health benefit or harm to society.


title: Noisy Training Improves E2E ASR for the Edge

abstract: Automatic speech recognition (ASR) has become increasingly ubiquitous on modern edge devices. Past work developed streaming End-to-End (E2E) all-neural speech recognizers that can run compactly on edge devices. However, E2E ASR models are prone to overfitting and have difficulties in generalizing to unseen testing data. Various techniques have been proposed to regularize the training of ASR models, including layer normalization, dropout, spectrum data augmentation and speed distortions in the inputs. In this work, we present a simple yet effective noisy training strategy to further improve the E2E ASR model training. By introducing random noise to the parameter space during training, our method can produce smoother models at convergence that generalize better. We apply noisy training to improve both dense and sparse state-of-the-art Emformer models and observe consistent WER reduction. Specifically, when training Emformers with 90% sparsity, we achieve 12% and 14% WER improvements on the LibriSpeech Test-other and Test-clean data set, respectively.


title: Measurement of the charge asymmetry of electrons from the decays of $W$ bosons produced in $p\bar{p}$ collisions at $\sqrt{s}=1.96$ TeV

abstract: At the Fermilab Tevatron proton-antiproton ($p\bar{p}$) collider, high-mass electron-neutrino ($e\nu$) pairs are produced predominantly in the process $p \bar{p} \rightarrow W(\rightarrow e\nu) + X$. The asymmetry of the electron and positron yield as a function of their pseudorapidity constrain the slope of the ratio of the $u$- to $d$-quark parton distributions versus the fraction of the proton momentum carried by the quarks. This paper reports on the measurement of the electron-charge asymmetry using the full data set recorded by the Collider Detector at Fermilab in 2001--2011 and corresponding to 9.1~fb$^{-1}$ of integrated luminosity. The measurement significantly improves the precision of the Tevatron constraints on the parton-distribution functions of the proton. Numerical tables of the measurement are provided.


title: 1-convex extensions of incomplete cooperative games and the average value

abstract: The model of incomplete cooperative games incorporates uncertainty into the classical model of cooperative games by considering a partial characteristic function. Thus the values for some of the coalitions are not known. The main focus of this paper is the class of 1-convex cooperative games under this framework. We are interested in two heavily intertwined questions. First, given an incomplete game, in which ways can we fill in the missing values to obtain a classical 1-convex game? Such complete games are called \emph{1-convex extensions}. For the class of minimal incomplete games (in which precisely the values of singletons and grand coalitions are known), we provide an answer in terms of a description of the set of 1-convex extensions. The description employs extreme points and extreme rays of the set. Second, how to determine in a rational, fair, and efficient way the payoffs of players based only on the known values of coalitions? Based on the description of the set of 1-convex extensions, we introduce generalisations of three solution concepts (values) for complete games, namely the $\tau$-value, the Shapley value and the nucleolus. We consider two variants where we compute the centre of gravity of either extreme games or of a combination of extreme games and extreme rays. We show that all of the generalised values coincide for minimal incomplete games which allows to introduce the \emph{average value}. For this value, we provide three different axiomatisations based on axiomatic characterisations of the $\tau$-value and the Shapley value for classical cooperative games. Finally, we turn our attention to \emph{incomplete games with defined upper vector}, asking the same questions and this time arriving to different conclusions. This provides a benchmark to test our tools and knowledge of the average value.


title: A Framework and Benchmarking Study for Counterfactual Generating Methods on Tabular Data

abstract: Counterfactual explanations are viewed as an effective way to explain machine learning predictions. This interest is reflected by a relatively young literature with already dozens of algorithms aiming to generate such explanations. These algorithms are focused on finding how features can be modified to change the output classification. However, this rather general objective can be achieved in different ways, which brings about the need for a methodology to test and benchmark these algorithms. The contributions of this work are manifold: First, a large benchmarking study of 10 algorithmic approaches on 22 tabular datasets is performed, using 9 relevant evaluation metrics. Second, the introduction of a novel, first of its kind, framework to test counterfactual generation algorithms. Third, a set of objective metrics to evaluate and compare counterfactual results. And finally, insight from the benchmarking results that indicate which approaches obtain the best performance on what type of dataset. This benchmarking study and framework can help practitioners in determining which technique and building blocks most suit their context, and can help researchers in the design and evaluation of current and future counterfactual generation algorithms. Our findings show that, overall, there's no single best algorithm to generate counterfactual explanations as the performance highly depends on properties related to the dataset, model, score and factual point specificities.


title: A Survey on Personal Image Retrieval Systems

abstract: The number of photographs taken worldwide is growing rapidly and steadily. While a small subset of these images is annotated and shared by users through social media platforms, due to the sheer number of images in personal photo repositories (shared or not shared), finding specific images remains challenging. This survey explores existing image retrieval techniques as well as photo-organizer applications to highlight their relative strengths in addressing this challenge.


title: Eigenvalues of the Birman-Schwinger operator for singular measures: the noncritical case

abstract: In a domain $\Omega\subseteq \mathbb{R}^\mathbf{N}$ we consider compact, Birman-Schwinger type, operators of the form $\mathbf{T}_{P,\mathfrak{A}}=\mathfrak{A}^*P\mathfrak{A}$; here $P$ is a singular Borel measure in $\Omega$ and $\mathfrak{A}$ is a noncritical order $-l\ne -\mathbf{N}/2$ pseudodifferential operator. For a class of such operators, we obtain estimates and a proper version of H.Weyl's asymptotic law for eigenvalues, with order depending on dimensional characteristics of the measure. A version of the CLR estimate for singular measures is proved. For non-selfadjoint operators of the form $P_2 \mathfrak{A} P_1$ and $\mathfrak{A}_2 P \mathfrak{A}_1$ with singular measures $P,P_1,P_2$ and negative order pseudodifferential operators $\mathfrak{A},\mathfrak{A}_1,\mathfrak{A}_2$ we obtain estimates for singular numbers.


title: Decomposing Permutation Automata

abstract: A deterministic finite automaton (DFA) is composite if its language can be decomposed into an intersection of languages of smaller DFAs. Otherwise, A is prime. This notion of primality was introduced by Kupferman and Mosheiff in 2013, and while they proved that we can decide whether a DFA is composite, the precise complexity of this problem is still open, with a doubly-exponential gap between the upper and lower bounds. In this work, we focus on permutation DFAs, i.e., those for which the transition monoid is a group. We provide an NP algorithm to decide whether a permutation DFA is composite, and show that the difficulty of this problem comes from the number of non-accepting states of the instance: we give a fixed-parameter tractable algorithm with the number of rejecting states as the parameter. Moreover, we investigate the class of commutative permutation DFAs. Their structural properties allow us to decide compositionality in NLOGSPACE, and even in LOGSPACE if the alphabet size is fixed. Despite this low complexity, we show that complex behaviors still arise in this class: we provide a family of composite DFAs each requiring polynomially many factors with respect to its size. We also consider the variant of the problem that asks whether a DFA is k-factor composite, that is, decomposable into k smaller DFAs, for some given integer k. We show that, for commutative permutation DFAs, restricting the number of factors makes the decision computationally harder, and yields a problem with tight bounds: it is NP-complete. Finally, we show that in general, this problem is in PSPACE, and it is in LOGSPACE for DFAs with a singleton alphabet.


title: Antenna Array Thinning Through Quantum Computing

abstract: Thinning antenna arrays through quantum Fourier transform (QFT) is proposed. Given the lattice of the candidate locations for the array elements, the problem of selecting which antenna location has to be either occupied or not by an array element is formulated in the quantum computing (QC) framework and then addressed with an ad-hoc design method based on a suitable implementation of the QFT algorithm. Representative numerical results are presented and discussed to point out the features and the advantages of the proposed QC-based thinning technique.


title: Parameterized Complexity of Multi-winner Determination: More Effort Towards Fixed-Parameter Tractability

abstract: We study the parameterized complexity of winner determination problems for three prevalent $k$-committee selection rules, namely the minimax approval voting (MAV), the proportional approval voting (PAV), and the Chamberlin-Courant's approval voting (CCAV). It is known that these problems are computationally hard. Although they have been studied from the parameterized complexity point of view with respect to several natural parameters, many of them turned out to be W[1]-hard or W[2]-hard. Aiming at obtaining plentiful fixed-parameter algorithms, we revisit these problems by considering more natural single parameters, combined parameters, and structural parameters.