title: Sum-of-Squares & Gaussian Processes I: Certification

abstract: We propose a new SoS hierarchy for a broad class of average-case problems. The new high-entropy steps (HES) SoS hierarchy certifies properties of input instances only over a certain family of well behaved distributions of possible solutions. This allows the hierarchy to circumvent the oft-cited impossibility of providing a low-degree SoS proof of concentration of measure \cite[Lec.~1.2, Marley Paradigm]{barak2016proofs} by vastly reducing the set of solution concepts they need to be proven over. We evaluate the HES SoS hierarchy on a well-studied Gaussian process: the spherical spin-glass, which is a particular ensemble of random low-degree polynomials (LDPs). We prove that, given an instance sampled from the problem distribution, with high probability there exists a HES distribution that achieves value arbitrarily close to the conjectured optimal algorithmic threshold and, at the same time, there are low-degree SoS certificates that no HES distribution can achieve value above a constant factor times this threshold, improving over standard SoS whose certificates are loose by a factor of $n^{\lfloor p/2 - 1\rfloor/2}$ for a degree-$p$ random polynomial \cite{bhattiprolu2017sum, hopkins2017power}. We also give examples of anisotropic modifications to the spherical spin glass problem where there is proof (or strong evidence) that the HES SoS hierarchy does better than the only other known algorithm \cite{subag2021following}. We conjecture that the HES SoS hierarchy can be applied to any LDP approximate Gaussian process to obtain value that is optimal among polynomial-time algorithms. The rounding algorithm is introduced and analyzed in a companion paper.

categories: cs.CC math-ph math.CA math.MP math.OC math.PR


title: Butterfly Points and Hyperspace Selections

abstract: If $f$ is a continuous selection for the Vietoris hyperspace $\mathscr{F}(X)$ of the nonempty closed subsets of a space $X$, then the point $f(X)\in X$ is not as arbitrary as it might seem at first glance. In this paper, we will characterise these points by local properties at them. Briefly, we will show that $p=f(X)$ is a strong butterfly point precisely when it has a countable clopen base in $\overline{U}$ for some open set $U\subset X\setminus\{p\}$ with $\overline{U}=U\cup\{p\}$. Moreover, the same is valid when $X$ is totally disconnected at $p=f(X)$ and $p$ is only assumed to be a butterfly point. This gives the complete affirmative solution to a question raised previously by the author. Finally, when $p=f(X)$ lacks the above local base-like property, we will show that $\mathscr{F}(X)$ has a continuous selection $h$ with the stronger property that $h(S)=p$ for every closed $S\subset X$ with $p\in S$.


title: Entropic Quantum Central Limit Theorem and Quantum Inverse Sumset Theorem

abstract: We establish an entropic, quantum central limit theorem and quantum inverse sumset theorem in discrete-variable quantum systems describing qudits or qubits. Both results are enabled by using our recently-discovered quantum convolution. We show that the exponential rate of convergence of the entropic central limit theorem is bounded by the magic gap. We also establish an ``quantum, entropic inverse sumset theorem,'' by introducing a quantum doubling constant. Furthermore, we introduce a ``quantum Ruzsa divergence'', and we pose a conjecture called ``convolutional strong subaddivity,'' which leads to the triangle inequality for the quantum Ruzsa divergence. A byproduct of this work is a magic measure to quantify the nonstabilizer nature of a state, based on the quantum Ruzsa divergence.

categories: quant-ph cs.IT math-ph math.IT math.MP math.PR


title: Peierls-like distortion drives anion ordering in rutile TiOF

abstract: We use first principles density functional theory calculations to examine the effect of multiple anions on the Peierls distortion in the rutile oxyfluoride TiOF. By using a structure enumeration approach, we obtain the ground state atomic structure for TiOF and identify the driving forces behind the experimentally observed two-dimensional anion ordering along rutile (110) planes. We find that adjacent edge-connected octahedra comprise like atoms with an --O-O/F-F/O-O/F-F-- pattern along the rutile [001] direction. This anion pattern coexists with a Peierls-like distortion leading to the formation of a singlet state between neighboring Ti$^{3+}$ cations. We show that the anion ordering arises from competition between electrostatic interactions, owing to the Ti-F cation-anion pairs, and the tendency of the $d^1$ Ti$^{3+}$ cation to form Ti-Ti dimers, characterized by increased metal-metal bonding. We find that the addition of strong on-site Coulombic interactions to the Ti $d$ manifold suppresses the formation of the singlet state. By increasing the correlation strength, we uncover two first-order phase transitions: first, from a nonmagnetic insulator to a ferromagnetic half-metal, and then second to a ferromagnetic insulator. Last, we show that the electronic configuration of the transition metal cation in rutile oxyfluorides is responsible for the observed anion order, enabling design of ordered heteroanionic materials exhibiting collective phenomena through cation sublattice control.


title: Inconsistency Masks: Removing the Uncertainty from Input-Pseudo-Label Pairs

abstract: Efficiently generating sufficient labeled data remains a major bottleneck in deep learning, particularly for image segmentation tasks where labeling requires significant time and effort. This study tackles this issue in a resource-constrained environment, devoid of extensive datasets or pre-existing models. We introduce Inconsistency Masks (IM), a novel approach that filters uncertainty in image-pseudo-label pairs to substantially enhance segmentation quality, surpassing traditional semi-supervised learning techniques. Employing IM, we achieve strong segmentation results with as little as 10% labeled data, across four diverse datasets and it further benefits from integration with other techniques, indicating broad applicability. Notably on the ISIC 2018 dataset, three of our hybrid approaches even outperform models trained on the fully labeled dataset. We also present a detailed comparative analysis of prevalent semi-supervised learning strategies, all under uniform starting conditions, to underline our approach's effectiveness and robustness. The full code is available at: https://github.com/MichaelVorndran/InconsistencyMasks


title: Smooth Ranking SVM via Cutting-Plane Method

abstract: The most popular classification algorithms are designed to maximize classification accuracy during training. However, this strategy may fail in the presence of class imbalance since it is possible to train models with high accuracy by overfitting to the majority class. On the other hand, the Area Under the Curve (AUC) is a widely used metric to compare classification performance of different algorithms when there is a class imbalance, and various approaches focusing on the direct optimization of this metric during training have been proposed. Among them, SVM-based formulations are especially popular as this formulation allows incorporating different regularization strategies easily. In this work, we develop a prototype learning approach that relies on cutting-plane method, similar to Ranking SVM, to maximize AUC. Our algorithm learns simpler models by iteratively introducing cutting planes, thus overfitting is prevented in an unconventional way. Furthermore, it penalizes the changes in the weights at each iteration to avoid large jumps that might be observed in the test performance, thus facilitating a smooth learning process. Based on the experiments conducted on 73 binary classification datasets, our method yields the best test AUC in 25 datasets among its relevant competitors.


title: Magnetic braking below the cataclysmic variable period gap and the observed dearth of period bouncers

abstract: Period bouncers are cataclysmic variables (CVs) that have evolved past their orbital period minimum. The strong disagreement between theory and observations of the relative fraction of period bouncers is a severe shortcoming in the understanding of CV evolution. We test the implications of the hypothesis that magnetic braking (MB), which is suggested to be an additional angular momentum loss (AML) mechanism for CVs below the period gap ($P_\mathrm{orb}\lesssim 120$ min), weakens around their period minimum. We compute the evolution of CV donors below the period gap using the MESA code, assuming that the evolution of the system is driven by AML by gravitational wave radiation (GWR) and MB. We parametrize the MB strength as $\mathrm{AML_{MB}}=\kappa\mathrm{AML_{GWR}}$. We compute two qualitatively different sets of models, one where $\kappa$ is a constant and the other where $\kappa$ depends on stellar parameters. We find that two crucial effects drive the latter set of models. (1) A decrease in $\kappa$ as CVs approach the period minimum stalls their evolution so that they spend a long time in the observed period minimum spike ($80\lesssim P_\mathrm{orb}/\,\mathrm{min}\lesssim 86$). Here, they become difficult to distinguish from pre-bounce systems in the spike. (2) A strong decrease in the mass-transfer rate makes them virtually undetectable as they evolve further. So, the CV stalls around the period minimum and then `disappears'. This reduces the number of detectable bouncers. Physical processes, such as dynamo action, white dwarf magnetism, and dead zones, may cause such a weakening of MB at short orbital periods. The weakening magnetic braking formalism provides a possible solution to the problem of the lack of period bouncers in CV observational surveys.


title: Higher order approximation of option prices in Barndorff-Nielsen and Shephard models

abstract: We present an approximation method based on the mixing formula (Hull & White 1987, Romano & Touzi 1997) for pricing European options in Barndorff-Nielsen and Shephard models. This approximation is based on a Taylor expansion of the option price. It is implemented using a recursive algorithm that allows us to obtain closed form approximations of the option price of any order (subject to technical conditions on the background driving L\'evy process). This method can be used for any type of Barndorff-Nielsen and Shephard stochastic volatility model. Explicit results are presented in the case where the stationary distribution of the background driving L\'evy process is inverse Gaussian or gamma. In both of these cases, the approximation compares favorably to option prices produced by the characteristic function. In particular, we also perform an error analysis of the approximation, which is partially based on the results of Das & Langren\'e (2022). We obtain asymptotic results for the error of the $N^{\text{th}}$ order approximation and error bounds when the variance process satisfies an inverse Gaussian Ornstein-Uhlenbeck process or a gamma Ornstein-Uhlenbeck process.


title: Rethinking Patch Dependence for Masked Autoencoders

abstract: In this work, we re-examine inter-patch dependencies in the decoding mechanism of masked autoencoders (MAE). We decompose this decoding mechanism for masked patch reconstruction in MAE into self-attention and cross-attention. Our investigations suggest that self-attention between mask patches is not essential for learning good representations. To this end, we propose a novel pretraining framework: Cross-Attention Masked Autoencoders (CrossMAE). CrossMAE's decoder leverages only cross-attention between masked and visible tokens, with no degradation in downstream performance. This design also enables decoding only a small subset of mask tokens, boosting efficiency. Furthermore, each decoder block can now leverage different encoder features, resulting in improved representation learning. CrossMAE matches MAE in performance with 2.5 to 3.7$\times$ less decoding compute. It also surpasses MAE on ImageNet classification and COCO instance segmentation under the same compute. Code and models: https://crossmae.github.io


title: Summing up perturbation series around superintegrable point

abstract: We work out explicit formulas for correlators in the Gaussian matrix model perturbed by a logarithmic potential, i.e. by inserting Miwa variables. In this paper, we concentrate on the example of a single Miwa variable. The ordinary Gaussian model is superintegrable, i.e. the average of the Schur functions $S_Q$ is an explicit function of the Young diagram $Q$. The question is what happens to this property after perturbation. We show that the entire perturbation series can be nicely summed up into a kind of Borel transform of a universal exponential function, while the dependence on $R$ enters through a polynomial factor in front of this exponential. Moreover, these polynomials can be described explicitly through a single additional structure, which we call ``truncation'' of the Young diagram $Q$. It is unclear if one can call this an extended superintegrability, but at least it is a tremendously simple deformation of it. Moreover, the vanishing Gaussian correlators remain vanishing and, hence, are not deformed at all.


title: Clustering-based spatial interpolation of parametric post-processing models

abstract: Since the start of the operational use of ensemble prediction systems, ensemble-based probabilistic forecasting has become the most advanced approach in weather prediction. However, despite the persistent development of the last three decades, ensemble forecasts still often suffer from the lack of calibration and might exhibit systematic bias, which calls for some form of statistical post-processing. Nowadays, one can choose from a large variety of post-processing approaches, where parametric methods provide full predictive distributions of the investigated weather quantity. Parameter estimation in these models is based on training data consisting of past forecast-observation pairs, thus post-processed forecasts are usually available only at those locations where training data are accessible. We propose a general clustering-based interpolation technique of extending calibrated predictive distributions from observation stations to any location in the ensemble domain where there are ensemble forecasts at hand. Focusing on the ensemble model output statistics (EMOS) post-processing technique, in a case study based on wind speed ensemble forecasts of the European Centre for Medium-Range Weather Forecasts, we demonstrate the predictive performance of various versions of the suggested method and show its superiority over the regionally estimated and interpolated EMOS models and the raw ensemble forecasts as well.


title: O(1) Insertion for Random Walk d-ary Cuckoo Hashing up to the Load Threshold

abstract: The random walk $d$-ary cuckoo hashing algorithm was defined by Fotakis, Pagh, Sanders, and Spirakis to generalize and improve upon the standard cuckoo hashing algorithm of Pagh and Rodler. Random walk $d$-ary cuckoo hashing has low space overhead, guaranteed fast access, and fast in practice insertion time. In this paper, we give a theoretical insertion time bound for this algorithm. More precisely, for every $d\ge 3$ hashes, let $c_d^*$ be the sharp threshold for the load factor at which a valid assignment of $cm$ objects to a hash table of size $m$ likely exists. We show that for any $d\ge 4$ hashes and load factor $c<c_d^*$, the expectation of the random walk insertion time is $O(1)$, that is, a constant depending only on $d$ and $c$ but not $m$.


title: Identification of Nonseparable Models with Endogenous Control Variables

abstract: We study identification of the treatment effects in a class of nonseparable models with the presence of potentially endogenous control variables. We show that given the treatment variable and the controls are measurably separated, the usual conditional independence condition or availability of excluded instrument suffices for identification.


title: Entanglement entropy and deconfined criticality: emergent SO(5) symmetry and proper lattice bipartition

abstract: We study the R\'enyi entanglement entropy (EE) of the two-dimensional $J$-$Q$ model, the emblematic quantum spin model of deconfined criticality at the phase transition between antiferromagnetic and valence-bond-solid ground states. State-of-the-art quantum Monte Carlo calculations of the EE reveal critical corner contributions that scale logarithmically with the system size, with a coefficient in remarkable agreement with the form expected from a large-$N$ conformal field theory with SO($N=5$) symmetry. However, details of the bipartition of the lattice are crucial in order to observe this behavior. If the subsystem for the reduced density matrix does not properly accommodate valence-bond fluctuations, logarithmic contributions appear even for corner-less bipartitions. We here use a $45^\circ$ tilted cut on the square lattice. Beyond supporting an SO($5$) deconfined quantum critical point, our results for both the regular and tilted cuts demonstrate important microscopic aspects of the EE that are not captured by conformal field theory.


title: Ultrashort-period WD binaries are not undergoing strong tidal heating

abstract: Double white dwarf (WD) binaries are increasingly being discovered at short orbital periods where strong tidal effects and significant tidal heating signatures may occur. We assume the tidal potential of the companion excites outgoing gravity waves within the WD primary, the dissipation of which leads to an increase in the WD's surface temperature. We compute the excitation and dissipation of the waves in cooling WD models in evolving MESA binary simulations. Tidal heating is self-consistently computed and added to the models at every time step. As a binary inspirals to orbital periods less than $\sim$20 minutes, the WD's behavior changes from cooling to heating, with temperature enhancements that can exceed 10,000 K compared with non-tidally heated models. We compare a grid of tidally heated WD models to observed short-period systems with hot WD primaries. While tidal heating affects their $T_{\rm eff}$, it is likely not the dominant luminosity. Instead these WDs are probably intrinsically young and hot, implying the binaries formed at short orbital periods. The binaries are consistent with undergoing common envelope evolution with a somewhat low efficiency $\alpha_{\rm CE}$. We delineate the parameter space where the traveling wave assumption is most valid, noting that it breaks down for WDs that cool sufficiently, where standing waves may instead be formed.


title: pix2gestalt: Amodal Segmentation by Synthesizing Wholes

abstract: We introduce pix2gestalt, a framework for zero-shot amodal segmentation, which learns to estimate the shape and appearance of whole objects that are only partially visible behind occlusions. By capitalizing on large-scale diffusion models and transferring their representations to this task, we learn a conditional diffusion model for reconstructing whole objects in challenging zero-shot cases, including examples that break natural and physical priors, such as art. As training data, we use a synthetically curated dataset containing occluded objects paired with their whole counterparts. Experiments show that our approach outperforms supervised baselines on established benchmarks. Our model can furthermore be used to significantly improve the performance of existing object recognition and 3D reconstruction methods in the presence of occlusions.


title: Small-scale radio jets and tidal disruption events: A theory of high-luminosity compact symmetric objects

abstract: Double lobe radio sources associated with active galactic nuclei represent one of the longest studied groups in radio astronomy. A particular sub-group of double radio sources comprises the compact symmetric objects (CSOs). CSOs are distinguished by their prominent double structure and sub-kpc total size. It has been argued that the vast majority of high-luminosity CSOs (CSO 2s) represent a distinct class of active galactic nuclei with its own morphological structure and life-cycle. In this work, we present theoretical considerations regarding CSO 2s. We develop a semi-analytic evolutionary model, inspired by the results of large-scale numerical simulations of relativistic jets, that reproduces the features of the radio source population. We show that CSO 2s may be generated by finite energy injections and propose stellar tidal disruption events as a possible cause. We find that tidal disruption events of giant branch stars with masses $\gtrsim1$ M$_\odot$ can fuel these sources and discuss possible approaches to confirming this hypothesis. We predict that if the tidal disruption scenario holds, CSO 2s with sizes less than 400 pc should outnumber larger sources by more than a factor of $10$. Our results motivate future numerical studies to determine whether the scenarios we consider for fueling and source evolution can explain the observed radio morphologies. Multiwavelength observational campaigns directed at these sources will also provide critical insight into the origins of these objects, their environments, and their lifespans.


title: Modular Adaptation of Multilingual Encoders to Written Swiss German Dialect

abstract: Creating neural text encoders for written Swiss German is challenging due to a dearth of training data combined with dialectal variation. In this paper, we build on several existing multilingual encoders and adapt them to Swiss German using continued pre-training. Evaluation on three diverse downstream tasks shows that simply adding a Swiss German adapter to a modular encoder achieves 97.5% of fully monolithic adaptation performance. We further find that for the task of retrieving Swiss German sentences given Standard German queries, adapting a character-level model is more effective than the other adaptation strategies. We release our code and the models trained for our experiments at https://github.com/ZurichNLP/swiss-german-text-encoders


title: Range-Agnostic Multi-View Depth Estimation With Keyframe Selection

abstract: Methods for 3D reconstruction from posed frames require prior knowledge about the scene metric range, usually to recover matching cues along the epipolar lines and narrow the search range. However, such prior might not be directly available or estimated inaccurately in real scenarios -- e.g., outdoor 3D reconstruction from video sequences -- therefore heavily hampering performance. In this paper, we focus on multi-view depth estimation without requiring prior knowledge about the metric range of the scene by proposing RAMDepth, an efficient and purely 2D framework that reverses the depth estimation and matching steps order. Moreover, we demonstrate the capability of our framework to provide rich insights about the quality of the views used for prediction. Additional material can be found on our project page https://andreaconti.github.io/projects/range_agnostic_multi_view_depth.


title: Nucleosynthesis in magnetorotational supernovae: impact of the magnetic field configuration

abstract: The production of heavy elements is one of the main by-products of the explosive end of massive stars. A long sought goal is finding differentiated patterns in the nucleosynthesis yields, which could permit identifying a number of properties of the explosive core. Among them, the traces of the magnetic field topology are particularly important for \emph{extreme} supernova explosions, most likely hosted by magnetorotational effects. We investigate the nucleosynthesis of five state-of-the-art magnetohydrodynamic models with fast rotation that have been previously calculated in full 3D and that involve an accurate neutrino transport (M1). One of the models does not contain any magnetic field and synthesizes elements around the iron group, in agreement with other CC-SNe models in literature. All other models host a strong magnetic field of the same intensity, but with different topology. For the first time, we investigate the nucleosynthesis of MR-SNe models with a quadrupolar magnetic field and a 90 degree tilted dipole. We obtain a large variety of ejecta compositions reaching from iron nuclei to nuclei up to the third r-process peak. We assess the robustness of our results by considering the impact of different nuclear physics uncertainties such as different nuclear masses, $\beta^{-}$-decays and $\beta^{-}$-delayed neutron emission probabilities, neutrino reactions, fission, and a feedback of nuclear energy on the temperature. We find that the qualitative results do not change with different nuclear physics input. The properties of the explosion dynamics and the magnetic field configuration are the dominant factors determining the ejecta composition.


title: Adaptive Mobile Manipulation for Articulated Objects In the Open World

abstract: Deploying robots in open-ended unstructured environments such as homes has been a long-standing research problem. However, robots are often studied only in closed-off lab settings, and prior mobile manipulation work is restricted to pick-move-place, which is arguably just the tip of the iceberg in this area. In this paper, we introduce Open-World Mobile Manipulation System, a full-stack approach to tackle realistic articulated object operation, e.g. real-world doors, cabinets, drawers, and refrigerators in open-ended unstructured environments. The robot utilizes an adaptive learning framework to initially learns from a small set of data through behavior cloning, followed by learning from online practice on novel objects that fall outside the training distribution. We also develop a low-cost mobile manipulation hardware platform capable of safe and autonomous online adaptation in unstructured environments with a cost of around 20,000 USD. In our experiments we utilize 20 articulate objects across 4 buildings in the CMU campus. With less than an hour of online learning for each object, the system is able to increase success rate from 50% of BC pre-training to 95% using online adaptation. Video results at https://open-world-mobilemanip.github.io/


title: Deconstructing Denoising Diffusion Models for Self-Supervised Learning

abstract: In this study, we examine the representation learning abilities of Denoising Diffusion Models (DDM) that were originally purposed for image generation. Our philosophy is to deconstruct a DDM, gradually transforming it into a classical Denoising Autoencoder (DAE). This deconstructive procedure allows us to explore how various components of modern DDMs influence self-supervised representation learning. We observe that only a very few modern components are critical for learning good representations, while many others are nonessential. Our study ultimately arrives at an approach that is highly simplified and to a large extent resembles a classical DAE. We hope our study will rekindle interest in a family of classical methods within the realm of modern self-supervised learning.


title: Multimodal Pathway: Improve Transformers with Irrelevant Data from Other Modalities

abstract: We propose to improve transformers of a specific modality with irrelevant data from other modalities, e.g., improve an ImageNet model with audio or point cloud datasets. We would like to highlight that the data samples of the target modality are irrelevant to the other modalities, which distinguishes our method from other works utilizing paired (e.g., CLIP) or interleaved data of different modalities. We propose a methodology named Multimodal Pathway - given a target modality and a transformer designed for it, we use an auxiliary transformer trained with data of another modality and construct pathways to connect components of the two models so that data of the target modality can be processed by both models. In this way, we utilize the universal sequence-to-sequence modeling abilities of transformers obtained from two modalities. As a concrete implementation, we use a modality-specific tokenizer and task-specific head as usual but utilize the transformer blocks of the auxiliary model via a proposed method named Cross-Modal Re-parameterization, which exploits the auxiliary weights without any inference costs. On the image, point cloud, video, and audio recognition tasks, we observe significant and consistent performance improvements with irrelevant data from other modalities. The code and models are available at https://github.com/AILab-CVC/M2PT.


title: Generalized Taylor's formula for power fractional derivatives

abstract: We establish a new generalized Taylor's formula for power fractional derivatives with nonsingular and nonlocal kernels, which includes many known Taylor's formulas in the literature. Moreover, as a consequence, we obtain a general version of the classical mean value theorem. We apply our main result to approximate functions in Taylor's expansions at a given point. The explicit interpolation error is also obtained. The new results are illustrated through examples and numerical simulations.


title: A novel approach to study laser induced void array formation in fused silica

abstract: This study investigated multi-void formation in fused silica using high resolution Finite-Difference-Time-Domain (FDTD) simulations. Despite extensive research dedicated to understanding the mechanisms behind multi-void formation in materials, the fundamental aspects and mechanisms governing self-void array formation in dielectrics and polymers remain poorly understood. By modeling the voids as concentric spheres with densified shells and simulating the laser interaction with the voids, we showed that void array generation in fused silica is a linear mechanism. This study provides valuable insight into the mechanism behind the formation of void arrays in fused silica.


title: Interface Gr\'afica para Simula\c{c}\~ao de Amplificadores \'Oticos: Ferramenta Pedag\'ogica

abstract: This study presents the development of two graphical interfaces using Matlab's graphical user interface tool, GUIDE, to model the steady-state and dynamic responses of Erbium (Er$^{3+}$)-doped fiber amplifiers. The primary focus is on their application for educational purposes, employing two distinct models. The steady-state model aims to evaluate the influence of various intrinsic parameters of Er$^{3+}$-doped fibers, such as length, overlap factor between the dopant profile and the optical signal, dopant density, and excited state average lifetime, along with the impact of optical signals on the amplifiers' performance. On the other hand, the dynamic model interface facilitates the examination of the channels add/drop impact in an optical network. This dual-interface approach provides a comprehensive understanding of the Erbium-doped fiber amplifiers, making them valuable tools for educational exploration and analysis.


title: Evaluation of Consumer Behavior Regarding Food Delivery Applications in India

abstract: . This paper explores consumer behavior towards food delivery apps, focusing on attributes like restaurant variety, food packaging quality, and application design and user interface. The study reveals that a diverse range of restaurants positively influences consumer satisfaction, leading to increased app usage. Conversely, the quality of food packaging does not significantly impact overall satisfaction. However, the study underscores the crucial role of application design and user interface in shaping consumer behavior. Both factors significantly influence overall satisfaction, with user-friendly interfaces attracting more users and promoting frequent app usage. The findings emphasize the importance of businesses addressing these attributes to enhance customer satisfaction, boost app engagement, and foster long-term customer loyalty. Understanding and catering to consumer preferences in these areas can contribute to the success of food delivery apps in the competitive market.


title: Revisiting proximity effect using broadband signals

abstract: Experiments studying mainly proximity effect are presented. Pink noise and music were used as stimuli and a combo guitar amplifier as source to test several microphones: omnidirectional and directional. We plot in-axis levels and spectral balances as functions of x, the distance to the source. Proximity effect was found for omnidirectional microphones. In-axis level curves show that 1/x law seems poorly valid. Spectral balance evolutions depend on microphones and moreover on stimuli: bigger decreases of low frequencies with pink noise; larger increases of other frequencies with music. For a naked loudspeaker, we found similar in-axis level curves under and above the cut-off frequency and propose an explanation. Listening equalized music recordings will help to demonstrate proximity effect for tested microphones.Paper 7106 presented at the 122th Convention of the Audio Engineering Society, Wien, 2007


title: Precision Mars Entry Navigation with Atmospheric Density Adaptation via Neural Networks

abstract: Spacecraft entering Mars require precise navigation algorithms capable of accurately estimating the vehicle's position and velocity in dynamic and uncertain atmospheric environments. Discrepancies between the true Martian atmospheric density and the onboard density model can significantly impair the performance of spacecraft entry navigation filters. This work introduces a new approach to online filtering for Martian entry using a neural network to estimate atmospheric density and employing a consider analysis to account for the uncertainty in the estimate. The network is trained on an exponential atmospheric density model, and its parameters are dynamically adapted in real time to account for any mismatch between the true and estimated densities. The adaptation of the network is formulated as a maximum likelihood problem by leveraging the measurement innovations of the filter to identify optimal network parameters. Within the context of the maximum likelihood approach, incorporating a neural network enables the use of stochastic optimizers known for their efficiency in the machine learning domain. Performance comparisons are conducted against two online adaptive approaches, covariance matching and state augmentation and correction, in various realistic Martian entry navigation scenarios. The results show superior estimation accuracy compared to other approaches, and precise alignment of the estimated density with a broad selection of realistic Martian atmospheres sampled from perturbed Mars-GRAM data.


title: Harnessing Neuron Stability to Improve DNN Verification

abstract: Deep Neural Networks (DNN) have emerged as an effective approach to tackling real-world problems. However, like human-written software, DNNs are susceptible to bugs and attacks. This has generated significant interests in developing effective and scalable DNN verification techniques and tools. In this paper, we present VeriStable, a novel extension of recently proposed DPLL-based constraint DNN verification approach. VeriStable leverages the insight that while neuron behavior may be non-linear across the entire DNN input space, at intermediate states computed during verification many neurons may be constrained to have linear behavior - these neurons are stable. Efficiently detecting stable neurons reduces combinatorial complexity without compromising the precision of abstractions. Moreover, the structure of clauses arising in DNN verification problems shares important characteristics with industrial SAT benchmarks. We adapt and incorporate multi-threading and restart optimizations targeting those characteristics to further optimize DPLL-based DNN verification. We evaluate the effectiveness of VeriStable across a range of challenging benchmarks including fully-connected feedforward networks (FNNs), convolutional neural networks (CNNs) and residual networks (ResNets) applied to the standard MNIST and CIFAR datasets. Preliminary results show that VeriStable is competitive and outperforms state-of-the-art DNN verification tools, including $\alpha$-$\beta$-CROWN and MN-BaB, the first and second performers of the VNN-COMP, respectively.


title: Aprendizado de m\'aquina aplicado na eletroqu\'imica

abstract: This systematic review focuses on analyzing the use of machine learning techniques for identifying and quantifying analytes in various electrochemical applications, presenting the available applications in the literature. Machine learning is a tool that can facilitate the analysis and enhance the understanding of processes involving various analytes. In electrochemical biosensors, it increases the precision of medical diagnostics, improving the identification of biomarkers and pathogens with high reliability. It can be effectively used for the classification of complex chemical products; in environmental monitoring, using low-cost sensors; in portable devices and wearable systems; among others. Currently, the analysis of some analytes is still performed manually, requiring the expertise of a specialist in the field and thus hindering the generalization of results. In light of the advancements in artificial intelligence today, this work proposes to carry out a systematic review of the literature on the applications of artificial intelligence techniques. A set of articles has been identified that address electrochemical problems using machine learning techniques, more specifically, supervised learning.


title: Fuzzy Logic-Based System for Brain Tumour Detection and Classification

abstract: Brain Tumours (BT) are extremely dangerous and difficult to treat. Currently, doctors must manually examine images and manually mark out tumour regions to diagnose BT; this process is time-consuming and error-prone. In recent times, experts have proposed automating approaches for detecting BT at an early stage. The poor accuracy and highly incorrect prediction results of these methods caused them to start the research. In this study, we suggest a fuzzy logic-based system for categorising BT. This study used a dataset of 253 Magnetic Resonance Imaging (MRI) brain images that included tumour and healthy images. The images were first pre-processed. After that, we pull out features like tumour size and the image's global threshold value. The watershed and region-growing approach is used to calculate the tumour size. After that, the fuzzy system receives the two features as input. Accuracy, F1-score, precision, and recall are used to assess the results of the fuzzy by employing both size determination approaches. With the size input variable discovered by the region growth method and global threshold values, the fuzzy system outperforms the watershed method. The significance of this research lies in its potential to revolutionize brain tumour diagnosis by offering a more accurate and efficient automated classification system. By reducing human intervention and providing reliable results, this approach could assist medical professionals in making timely and precise decisions, leading to improved patient outcomes and potentially saving lives. The advancement of such automated techniques has the potential to pave the way for enhanced medical imaging analysis and, ultimately, better management of brain tumour cases.


title: A note on Carleson sets and Carleson windows

abstract: Let $\Bbb D$ be the open unit disk in the complex plane. In this note, for the Carleson set $S(b,h)$ and the Carleson window $W(b,h)$ which are particular subsets of $\Bbb D$, we find conditions on $h$ under which we have $W(b,h/c)\subset S(b,h)\subset W(b,ch)$ for some $c>1$.


title: Acoustic characterization of speech rhythm: going beyond metrics with recurrent neural networks

abstract: Languages have long been described according to their perceived rhythmic attributes. The associated typologies are of interest in psycholinguistics as they partly predict newborns' abilities to discriminate between languages and provide insights into how adult listeners process non-native languages. Despite the relative success of rhythm metrics in supporting the existence of linguistic rhythmic classes, quantitative studies have yet to capture the full complexity of temporal regularities associated with speech rhythm. We argue that deep learning offers a powerful pattern-recognition approach to advance the characterization of the acoustic bases of speech rhythm. To explore this hypothesis, we trained a medium-sized recurrent neural network on a language identification task over a large database of speech recordings in 21 languages. The network had access to the amplitude envelopes and a variable identifying the voiced segments, assuming that this signal would poorly convey phonetic information but preserve prosodic features. The network was able to identify the language of 10-second recordings in 40% of the cases, and the language was in the top-3 guesses in two-thirds of the cases. Visualization methods show that representations built from the network activations are consistent with speech rhythm typologies, although the resulting maps are more complex than two separated clusters between stress and syllable-timed languages. We further analyzed the model by identifying correlations between network activations and known speech rhythm metrics. The findings illustrate the potential of deep learning tools to advance our understanding of speech rhythm through the identification and exploration of linguistically relevant acoustic feature spaces.


title: Fuzzy Logic Function as a Post-hoc Explanator of the Nonlinear Classifier

abstract: Pattern recognition systems implemented using deep neural networks achieve better results than linear models. However, their drawback is the black box property. This property means that one with no experience utilising nonlinear systems may need help understanding the outcome of the decision. Such a solution is unacceptable to the user responsible for the final decision. He must not only believe in the decision but also understand it. Therefore, recognisers must have an architecture that allows interpreters to interpret the findings. The idea of post-hoc explainable classifiers is to design an interpretable classifier parallel to the black box classifier, giving the same decisions as the black box classifier. This paper shows that the explainable classifier completes matching classification decisions with the black box classifier on the MNIST and FashionMNIST databases if Zadeh`s fuzzy logic function forms the classifier and DeconvNet importance gives the truth values. Since the other tested significance measures achieved lower performance than DeconvNet, it is the optimal transformation of the feature values to their truth values as inputs to the fuzzy logic function for the databases and recogniser architecture used.


title: Ejecta-circumstellar medium interaction in high-density environment contribution to kilonova emission: Application to GRB 191019A

abstract: The nearby long-duration GRB 191019A recently detected by Swift lacks an associated supernova and belongs to a host galaxy with little star formation activity, suggesting that the origin of this burst is the result of a merger of two compact objects with dynamical interactions in a high-density medium of an active galactic nucleus. Given the potential motivation of this event, and given that it occurs in such a high-density environment, the ejecta-circumstellar medium (CSM) interaction cannot be ignored as possibly contributing to the kilonova emission. Here, we theoretically calculate the kilonova emission by considering the contribution of the ejecta-CSM interaction in a high-density environment. We find that the contribution to the kilonova emission from the ejecta-CSM interaction will dominate at a later time, and a smaller ejecta mass will have a stronger kilonova emission from the ejecta-CSM interaction. Moreover, we try to apply it to GRB 191019A, but we find that it is difficult to identify the possible kilonova emission from the observations, due to the contribution of the bright host galaxy. On the other hand, less injected mass (less than $M_{\rm ej}=2\times10^{-5}M_{\odot}$) will be required if one can detect the kilonova emission associated with a GRB 191019A-like event in the future. The {\em r}-process-powered and spin energy contributions from the magnetar are also discussed.


title: Constraining the mass of fermionic dark matter from its feeble interaction with hadronic matter via dark mediators in neutron stars

abstract: Considering ten well-known relativistic mean field models, we invoke feeble interaction between hadronic matter and fermionic dark matter (DM) $\chi$ via new physics scalar ($\phi$) and vector ($\xi$) mediators in neutron star core, thereby forming DM admixed neutron stars (DMANSs). The chosen masses of the DM fermion ($m_{\chi}$) and the mediators ($m_{\phi}$ and $m_{\xi}$) are consistent with the self-interaction constraint from Bullet cluster while their respective couplings ($y_{\phi}$ and $y_{\xi}$) are also constrained by the present day relic abundance. Assuming that both $\phi$ and $\xi$ contribute equally to the relic abundance, we compute the equation of state of the DMANSs and consequently their structural properties. We found that for a particular (constant) DM density, the presence of lighter DM results in more massive DMANSs with larger radius. In the light of the various recent constraints like those from the massive pulsar PSR J0740+6620, the gravitational wave (GW170817) data and the results of NICER experiments for PSR J0030+0451 and PSR J0740+6620, we provide a bound on $m_{\chi}$ within the framework of the present work as $m_{\chi}\approx$ (0.1 $-$ 30) GeV for a wide range of fixed DM Fermi momenta $k_F^{\chi}$=(0.01 $-$ 0.06) GeV. In the case of the hadronic models that yield larger radii corresponding to the low mass neutron stars in the no-DM scenario, interaction with comparatively heavier DM fermion is necessary in order to ensure that the DMANSs obtained with such models satisfy the radius constraints from both GW170817 and NICER data for PSR J0030+0451.


title: A Novel Blockchain Based Information Management Framework for Web 3.0

abstract: Web 3.0 is the third generation of the World Wide Web (WWW), concentrating on the critical concepts of decentralization, availability, and increasing client usability. Although Web 3.0 is undoubtedly an essential component of the future Internet, it currently faces critical challenges, including decentralized data collection and management. To overcome these challenges, blockchain has emerged as one of the core technologies for the future development of Web 3.0. In this paper, we propose a novel blockchain-based information management framework, namely Smart Blockchain-based Web, to manage information in Web 3.0 effectively, enhance the security and privacy of users data, bring additional profits, and incentivize users to contribute information to the websites. Particularly, SBW utilizes blockchain technology and smart contracts to manage the decentralized data collection process for Web 3.0 effectively. Moreover, in this framework, we develop an effective consensus mechanism based on Proof-of-Stake to reward the user's information contribution and conduct game theoretical analysis to analyze the users behavior in the considered system. Additionally, we conduct simulations to assess the performance of SBW and investigate the impact of critical parameters on information contribution. The findings confirm our theoretical analysis and demonstrate that our proposed consensus mechanism can incentivize the nodes and users to contribute more information to our systems.


title: Multi-Agent Based Transfer Learning for Data-Driven Air Traffic Applications

abstract: Research in developing data-driven models for Air Traffic Management (ATM) has gained a tremendous interest in recent years. However, data-driven models are known to have long training time and require large datasets to achieve good performance. To address the two issues, this paper proposes a Multi-Agent Bidirectional Encoder Representations from Transformers (MA-BERT) model that fully considers the multi-agent characteristic of the ATM system and learns air traffic controllers' decisions, and a pre-training and fine-tuning transfer learning framework. By pre-training the MA-BERT on a large dataset from a major airport and then fine-tuning it to other airports and specific air traffic applications, a large amount of the total training time can be saved. In addition, for newly adopted procedures and constructed airports where no historical data is available, this paper shows that the pre-trained MA-BERT can achieve high performance by updating regularly with little data. The proposed transfer learning framework and MA-BERT are tested with the automatic dependent surveillance-broadcast data recorded in 3 airports in South Korea in 2019.


title: Location Agnostic Source-Free Domain Adaptive Learning to Predict Solar Power Generation

abstract: The prediction of solar power generation is a challenging task due to its dependence on climatic characteristics that exhibit spatial and temporal variability. The performance of a prediction model may vary across different places due to changes in data distribution, resulting in a model that works well in one region but not in others. Furthermore, as a consequence of global warming, there is a notable acceleration in the alteration of weather patterns on an annual basis. This phenomenon introduces the potential for diminished efficacy of existing models, even within the same geographical region, as time progresses. In this paper, a domain adaptive deep learning-based framework is proposed to estimate solar power generation using weather features that can solve the aforementioned challenges. A feed-forward deep convolutional network model is trained for a known location dataset in a supervised manner and utilized to predict the solar power of an unknown location later. This adaptive data-driven approach exhibits notable advantages in terms of computing speed, storage efficiency, and its ability to improve outcomes in scenarios where state-of-the-art non-adaptive methods fail. Our method has shown an improvement of $10.47 \%$, $7.44 \%$, $5.11\%$ in solar power prediction accuracy compared to best performing non-adaptive method for California (CA), Florida (FL) and New York (NY), respectively.


title: Prompt Design and Engineering: Introduction and Advanced Methods

abstract: Prompt design and engineering has rapidly become essential for maximizing the potential of large language models. In this paper, we introduce core concepts, advanced techniques like Chain-of-Thought and Reflection, and the principles behind building LLM-based agents. Finally, we provide a survey of tools for prompt engineers.


title: Discovering Mathematical Formulas from Data via GPT-guided Monte Carlo Tree Search

abstract: Finding a concise and interpretable mathematical formula that accurately describes the relationship between each variable and the predicted value in the data is a crucial task in scientific research, as well as a significant challenge in artificial intelligence. This problem is referred to as symbolic regression, which is an NP-hard problem. In the previous year, a novel symbolic regression methodology utilizing Monte Carlo Tree Search (MCTS) was advanced, achieving state-of-the-art results on a diverse range of datasets. although this algorithm has shown considerable improvement in recovering target expressions compared to previous methods, the lack of guidance during the MCTS process severely hampers its search efficiency. Recently, some algorithms have added a pre-trained policy network to guide the search of MCTS, but the pre-trained policy network generalizes poorly. To optimize the trade-off between efficiency and versatility, we introduce SR-GPT, a novel algorithm for symbolic regression that integrates Monte Carlo Tree Search (MCTS) with a Generative Pre-Trained Transformer (GPT). By using GPT to guide the MCTS, the search efficiency of MCTS is significantly improved. Next, we utilize the MCTS results to further refine the GPT, enhancing its capabilities and providing more accurate guidance for the MCTS. MCTS and GPT are coupled together and optimize each other until the target expression is successfully determined. We conducted extensive evaluations of SR-GPT using 222 expressions sourced from over 10 different symbolic regression datasets. The experimental results demonstrate that SR-GPT outperforms existing state-of-the-art algorithms in accurately recovering symbolic expressions both with and without added noise.


title: No Longer Trending on Artstation: Prompt Analysis of Generative AI Art

abstract: Image generation using generative AI is rapidly becoming a major new source of visual media, with billions of AI generated images created using diffusion models such as Stable Diffusion and Midjourney over the last few years. In this paper we collect and analyse over 3 million prompts and the images they generate. Using natural language processing, topic analysis and visualisation methods we aim to understand collectively how people are using text prompts, the impact of these systems on artists, and more broadly on the visual cultures they promote. Our study shows that prompting focuses largely on surface aesthetics, reinforcing cultural norms, popular conventional representations and imagery. We also find that many users focus on popular topics (such as making colouring books, fantasy art, or Christmas cards), suggesting that the dominant use for the systems analysed is recreational rather than artistic.


title: M$^3$TN: Multi-gate Mixture-of-Experts based Multi-valued Treatment Network for Uplift Modeling

abstract: Uplift modeling is a technique used to predict the effect of a treatment (e.g., discounts) on an individual's response. Although several methods have been proposed for multi-valued treatment, they are extended from binary treatment methods. There are still some limitations. Firstly, existing methods calculate uplift based on predicted responses, which may not guarantee a consistent uplift distribution between treatment and control groups. Moreover, this may cause cumulative errors for multi-valued treatment. Secondly, the model parameters become numerous with many prediction heads, leading to reduced efficiency. To address these issues, we propose a novel \underline{M}ulti-gate \underline{M}ixture-of-Experts based \underline{M}ulti-valued \underline{T}reatment \underline{N}etwork (M$^3$TN). M$^3$TN consists of two components: 1) a feature representation module with Multi-gate Mixture-of-Experts to improve the efficiency; 2) a reparameterization module by modeling uplift explicitly to improve the effectiveness. We also conduct extensive experiments to demonstrate the effectiveness and efficiency of our M$^3$TN.


title: Beimingwu: A Learnware Dock System

abstract: The learnware paradigm proposed by Zhou [2016] aims to enable users to reuse numerous existing well-trained models instead of building machine learning models from scratch, with the hope of solving new user tasks even beyond models' original purposes. In this paradigm, developers worldwide can submit their high-performing models spontaneously to the learnware dock system (formerly known as learnware market) without revealing their training data. Once the dock system accepts the model, it assigns a specification and accommodates the model. This specification allows the model to be adequately identified and assembled to reuse according to future users' needs, even if they have no prior knowledge of the model. This paradigm greatly differs from the current big model direction and it is expected that a learnware dock system housing millions or more high-performing models could offer excellent capabilities for both planned tasks where big models are applicable; and unplanned, specialized, data-sensitive scenarios where big models are not present or applicable. This paper describes Beimingwu, the first open-source learnware dock system providing foundational support for future research of learnware paradigm.The system significantly streamlines the model development for new user tasks, thanks to its integrated architecture and engine design, extensive engineering implementations and optimizations, and the integration of various algorithms for learnware identification and reuse. Notably, this is possible even for users with limited data and minimal expertise in machine learning, without compromising the raw data's security. Beimingwu supports the entire process of learnware paradigm. The system lays the foundation for future research in learnware-related algorithms and systems, and prepares the ground for hosting a vast array of learnwares and establishing a learnware ecosystem.


title: The Landscape of Compute-near-memory and Compute-in-memory: A Research and Commercial Overview

abstract: In today's data-centric world, where data fuels numerous application domains, with machine learning at the forefront, handling the enormous volume of data efficiently in terms of time and energy presents a formidable challenge. Conventional computing systems and accelerators are continually being pushed to their limits to stay competitive. In this context, computing near-memory (CNM) and computing-in-memory (CIM) have emerged as potentially game-changing paradigms. This survey introduces the basics of CNM and CIM architectures, including their underlying technologies and working principles. We focus particularly on CIM and CNM architectures that have either been prototyped or commercialized. While surveying the evolving CIM and CNM landscape in academia and industry, we discuss the potential benefits in terms of performance, energy, and cost, along with the challenges associated with these cutting-edge computing paradigms.


title: [Re] The Discriminative Kalman Filter for Bayesian Filtering with Nonlinear and Non-Gaussian Observation Models

abstract: Kalman filters provide a straightforward and interpretable means to estimate hidden or latent variables, and have found numerous applications in control, robotics, signal processing, and machine learning. One such application is neural decoding for neuroprostheses. In 2020, Burkhart et al. thoroughly evaluated their new version of the Kalman filter that leverages Bayes' theorem to improve filter performance for highly non-linear or non-Gaussian observation models. This work provides an open-source Python alternative to the authors' MATLAB algorithm. Specifically, we reproduce their most salient results for neuroscientific contexts and further examine the efficacy of their filter using multiple random seeds and previously unused trials from the authors' dataset. All experiments were performed offline on a single computer.


title: A Westervelt equation for acoustic wave propagation through weakly stratified, arbitrary Mach number atmospheres

abstract: Nonlinear distortion of infrasonic waves through atmospheres up to thermospheric altitudes govern large-range ground-level observations of explosive noise sources, causing large differences between the near and far field. Propagation modelling in this scenario to include realistic nonlinear effects has thus far been limited to high-fidelity, numerically intensive Direct Numerical Simulations of the Navier-Stokes equations, or nonlinear parabolic equations with restrictions on the mean flow Mach number. For the accurate modelling of nonlinear waveform synthesis through realistic atmospheric winds up to thermospheric altitudes, this work presents nonlinear wave equation analysis which results in in a Westervelt equation for weakly stratified, arbitrary Mach number atmospheres. This is intended to be used as a benchmark for model development and numerical analyses such that alternative low-fidelity numerical calculations to Direct Numerical Simulations can be sought.


title: Primordial naked singularities

abstract: Primordial black hole formation has been discussed widely, when density perturbations in the early universe cause matter to collapse gravitationally, giving rise to these ultra-compact objects. We propose here that such a gravitational collapse also gives rise to primordial naked singularities, that would play an important role in the observable features of the present universe. We consider two types of collapse scenarios which would give rise to event-like and object-like visible singularities. We briefly discuss implications of primordial naked singularities, including those on dark matter, vis-a-vis primordial black holes.


title: A2C: A Modular Multi-stage Collaborative Decision Framework for Human-AI Teams

abstract: This paper introduces A2C, a multi-stage collaborative decision framework designed to enable robust decision-making within human-AI teams. Drawing inspiration from concepts such as rejection learning and learning to defer, A2C incorporates AI systems trained to recognise uncertainty in their decisions and defer to human experts when needed. Moreover, A2C caters to scenarios where even human experts encounter limitations, such as in incident detection and response in cyber Security Operations Centres (SOC). In such scenarios, A2C facilitates collaborative explorations, enabling collective resolution of complex challenges. With support for three distinct decision-making modes in human-AI teams: Automated, Augmented, and Collaborative, A2C offers a flexible platform for developing effective strategies for human-AI collaboration. By harnessing the strengths of both humans and AI, it significantly improves the efficiency and effectiveness of complex decision-making in dynamic and evolving environments. To validate A2C's capabilities, we conducted extensive simulative experiments using benchmark datasets. The results clearly demonstrate that all three modes of decision-making can be effectively supported by A2C. Most notably, collaborative exploration by (simulated) human experts and AI achieves superior performance compared to AI in isolation, underscoring the framework's potential to enhance decision-making within human-AI teams.


title: Matching, odd $[1,b]$-factor and distance spectral radius of graphs with given some parameters

abstract: Let $\mu(G)$ denote the the distance spectral radius of $G$. A matching in a graph $G$ is a set of disjoint edges of $G$. The maximum size of a matching in $G$ is called the matching number of $G$, denoted by $\alpha(G)$. In this paper, we give a sharp upper bound in terms of the distance spectral radius to guarantee $\alpha(G)>\frac{n-k}{2}$ in a graph $G$ with given connectivity. Let $a$ and $b$ be two positive integers with $a\le b$. An $[a, b]$-factor of a graph $G$ is a spanning subgraph $G_0$ such that for every vertex $v\in V (G)$, the degree $d_{G_0}(v)$ of $v$ in $H$ satisfies $a\le d_{G_0}(v)\le b$. In this paper, we present a sharp upper bound in terms of distance spectral radius for the existence of an odd $[1,b]$-factor in a graph with given minimum degree $\delta$.


title: Transforming gradient-based techniques into interpretable methods

abstract: The explication of Convolutional Neural Networks (CNN) through xAI techniques often poses challenges in interpretation. The inherent complexity of input features, notably pixels extracted from images, engenders complex correlations. Gradient-based methodologies, exemplified by Integrated Gradients (IG), effectively demonstrate the significance of these features. Nevertheless, the conversion of these explanations into images frequently yields considerable noise. Presently, we introduce GAD (Gradient Artificial Distancing) as a supportive framework for gradient-based techniques. Its primary objective is to accentuate influential regions by establishing distinctions between classes. The essence of GAD is to limit the scope of analysis during visualization and, consequently reduce image noise. Empirical investigations involving occluded images have demonstrated that the identified regions through this methodology indeed play a pivotal role in facilitating class differentiation.


title: Islamic Law, Western European Law and the Roots of Middle East's Long Divergence: a Comparative Empirical Investigation (800-1600)

abstract: We examine the contribution of Islamic legal institutions to the comparative economic decline of the Middle East behind Latin Europe, which can be observed since the late Middle Ages. To this end, we explore whether the sacralization of Islamic law and its focus on the Sharia as supreme, sacred and unchangeable legal text, which reached its culmination in the 13th century had an impact on economic development. We use the population size of 145 cities in Islamic countries and 648 European cities for the period 800-1800 as proxies for the level of economic development, and construct novel estimates of the number of law schools (i.e. madaris) and estimate their contribution to the pre-industrial economic development. Our triple-differences estimates show that a higher density of madrasas before the sacralization of Islamic law predicts a more vibrant urban economy characterized by higher urban growth. After the consolidation of the sharia sacralization of law in the 13th century, greater density of law schools is associated with stagnating population size. We show that the economic decline of the Middle East can be partly explained by the absence of legal innovations or substitutes of them, which paved the way for the economic rise of Latin Europe, where ground-breaking legal reforms introduced a series of legal innovations conducive for economic growth. We find that the number of learned lawyers trained in universities with law schools is highly and positively correlated with the western European city population. Our counterfactual estimates show that almost all Islamic cities under consideration would have had much larger size by the year 1700 if legal innovations comparable to those in Western Europe were introduced. By making use of a series of synthetic control and difference-in-differences estimators our findings are robust against a large number of model specification checks.


title: Trust model of privacy-concerned, emotionally-aware agents in a cooperative logistics problem

abstract: In this paper we propose a trust model to be used into a hypothetical mixed environment where humans and unmanned vehicles cooperate. We address the inclusion of emotions inside a trust model in a coherent way to the practical approaches to the current psychology theories. The most innovative contribution is how privacy issues play a role in the cooperation decisions of the emotional trust model. Both, emotions and trust have been cognitively modeled and managed with the Beliefs, Desires and Intentions (BDI) paradigm into autonomous agents implemented in GAML (the programming language of GAMA agent platform) that communicates using the IEEE FIPA standard. The trusting behaviour of these emotional agents is tested in a cooperative logistics problem where: agents have to move objects to destinations and some of the objects and places have privacy issues. The execution of simulations of this logistic problem shows how emotions and trust contribute to improve the performance of agents in terms of both, time savings and privacy protection


title: Exploring the Fascinating World of Bouncing Balls: Adventures in Two Time-Dependent Billiards

abstract: This paper explores two instances where dissipation plays a crucial role in curbing the unbounded energy growth of particles in time-dependent billiards. The first example involves an elliptical-like billiard with inelastic collisions between the particle and the boundary. This scenario introduces a fractional loss of energy upon collision, resulting in the suppression of unbounded energy growth. The second example examines an oval-like billiard, where a particle undergoes continuous energy reduction due to a viscous drag force. Both findings emerged in 2009 from collaborative research with Lyonia Bunimovich during a visit to the Georgia Institute of Technology.


title: From the Fair Distribution of Predictions to the Fair Distribution of Social Goods: Evaluating the Impact of Fair Machine Learning on Long-Term Unemployment

abstract: Deploying an algorithmically informed policy is a significant intervention in society. Prominent methods for algorithmic fairness focus on the distribution of predictions at the time of training, rather than the distribution of social goods that arises after deploying the algorithm in a specific social context. However, requiring a "fair" distribution of predictions may undermine efforts at establishing a fair distribution of social goods. First, we argue that addressing this problem requires a notion of prospective fairness that anticipates the change in the distribution of social goods after deployment. Second, we provide formal conditions under which this change is identified from pre-deployment data. That requires accounting for different kinds of performative effects. Here, we focus on the way predictions change policy decisions and, consequently, the causally downstream distribution of social goods. Throughout, we are guided by an application from public administration: the use of algorithms to predict who among the recently unemployed will remain unemployed in the long term and to target them with labor market programs. Third, using administrative data from the Swiss public employment service, we simulate how such algorithmically informed policies would affect gender inequalities in long-term unemployment. When risk predictions are required to be "fair" according to statistical parity and equality of opportunity, targeting decisions are less effective, undermining efforts to both lower overall levels of long-term unemployment and to close the gender gap in long-term unemployment.


title: Incremental Affinity Propagation based on Cluster Consolidation and Stratification

abstract: Modern data mining applications require to perform incremental clustering over dynamic datasets by tracing temporal changes over the resulting clusters. In this paper, we propose A-Posteriori affinity Propagation (APP), an incremental extension of Affinity Propagation (AP) based on cluster consolidation and cluster stratification to achieve faithfulness and forgetfulness. APP enforces incremental clustering where i) new arriving objects are dynamically consolidated into previous clusters without the need to re-execute clustering over the entire dataset of objects, and ii) a faithful sequence of clustering results is produced and maintained over time, while allowing to forget obsolete clusters with decremental learning functionalities. Four popular labeled datasets are used to test the performance of APP with respect to benchmark clustering performances obtained by conventional AP and Incremental Affinity Propagation based on Nearest neighbor Assignment (IAPNA) algorithms. Experimental results show that APP achieves comparable clustering performance while enforcing scalability at the same time.


title: Semantic Sensitivities and Inconsistent Predictions: Measuring the Fragility of NLI Models

abstract: Recent studies of the emergent capabilities of transformer-based Natural Language Understanding (NLU) models have indicated that they have an understanding of lexical and compositional semantics. We provide evidence that suggests these claims should be taken with a grain of salt: we find that state-of-the-art Natural Language Inference (NLI) models are sensitive towards minor semantics preserving surface-form variations, which lead to sizable inconsistent model decisions during inference. Notably, this behaviour differs from valid and in-depth comprehension of compositional semantics, however does neither emerge when evaluating model accuracy on standard benchmarks nor when probing for syntactic, monotonic, and logically robust reasoning. We propose a novel framework to measure the extent of semantic sensitivity. To this end, we evaluate NLI models on adversarially generated examples containing minor semantics-preserving surface-form input noise. This is achieved using conditional text generation, with the explicit condition that the NLI model predicts the relationship between the original and adversarial inputs as a symmetric equivalence entailment. We systematically study the effects of the phenomenon across NLI models for $\textbf{in-}$ and $\textbf{out-of-}$ domain settings. Our experiments show that semantic sensitivity causes performance degradations of $12.92\%$ and $23.71\%$ average over $\textbf{in-}$ and $\textbf{out-of-}$ domain settings, respectively. We further perform ablation studies, analysing this phenomenon across models, datasets, and variations in inference and show that semantic sensitivity can lead to major inconsistency within model predictions.


title: Connection of converters to a low and medium power DC network using an inductor circuit

abstract: This letter describes an alternative for the connection of power converters to a direct current network without the installation of a capacitor in the DC-Link. The circuit allows the connection of converters through a coil and avoids short-circuit currents with different instantaneous values of voltage output. A description of the calculation and the choice of components together with a real implemented example in a DC network within Smart City project (Endes Utility) is presented.


title: Improving Antibody Humanness Prediction using Patent Data

abstract: We investigate the potential of patent data for improving the antibody humanness prediction using a multi-stage, multi-loss training process. Humanness serves as a proxy for the immunogenic response to antibody therapeutics, one of the major causes of attrition in drug discovery and a challenging obstacle for their use in clinical settings. We pose the initial learning stage as a weakly-supervised contrastive-learning problem, where each antibody sequence is associated with possibly multiple identifiers of function and the objective is to learn an encoder that groups them according to their patented properties. We then freeze a part of the contrastive encoder and continue training it on the patent data using the cross-entropy loss to predict the humanness score of a given antibody sequence. We illustrate the utility of the patent data and our approach by performing inference on three different immunogenicity datasets, unseen during training. Our empirical results demonstrate that the learned model consistently outperforms the alternative baselines and establishes new state-of-the-art on five out of six inference tasks, irrespective of the used metric.


title: Cash non-additive risk measures: horizon risk and generalized entropy

abstract: Horizon risk (see arXiv:2301.04971) is studied in the context of cash non-additive fully-dynamic risk measures induced by BSDEs. Furthermore, we introduce a risk measure based on generalized Tsallis entropy which can dynamically evaluate the riskiness of losses considering both horizon risk and interest rate uncertainty. The new q-entropic risk measure on losses can be used as a quantification of capital requirement.


title: ICASSP 2024 Speech Signal Improvement Challenge

abstract: The ICASSP 2024 Speech Signal Improvement Grand Challenge is intended to stimulate research in the area of improving the speech signal quality in communication systems. This marks our second challenge, building upon the success from the previous ICASSP 2023 Grand Challenge. We enhance the competition by introducing a dataset synthesizer, enabling all participating teams to start at a higher baseline, an objective metric for our extended P.804 tests, transcripts for the 2023 test set, and we add Word Accuracy (WAcc) as a metric. We evaluate a total of 13 systems in the real-time track and 11 systems in the non-real-time track using both subjective P.804 and objective Word Accuracy metrics.


title: A global Le Calvez-Yoccoz property of area-preserving surface diffeomorphisms and three-dimensional Reeb flows

abstract: We prove that for any monotone area-preserving diffeomorphism of a closed surface, or Reeb flow on a closed contact three-manifold with torsion Chern class, the complement of a compact invariant set is never minimal. As a corollary, we obtain that, under the same assumptions, there are infinitely many distinct proper compact invariant sets whose union is dense in the manifold. No genericity assumptions are required. The former class of systems includes all Hamiltonian diffeomorphisms of closed surfaces and the latter includes all Finsler geodesic flows on closed surfaces. We can view our results as generalizations, in the smooth symplectic setting, to higher genus surfaces and three-manifolds of results of Le Calvez-Yoccoz, Franks, and Salazar for homeomorphisms of the two-sphere. Our results also give such a generalization for Finsler geodesic flows on closed surfaces. Along the way, we prove a result, in any dimension, of potentially independent interest, detecting invariant sets via sequences of low-action pseudoholomorphic curves with controlled topology; as a corollary, this generalizes Ginzburg-G$\"u$rel's "crossing energy bound" for Floer cylinders to punctured holomorphic curves, of arbitrary topology, in symplectizations, resolving an open question posed by them. Another feature of the argument which also might be of independent interest is a probabilistic result stating that almost all ECH/PFH $U$-map curves have Euler characteristic at least $-2$ under the above assumptions.


title: Black-Box Access is Insufficient for Rigorous AI Audits

abstract: External audits of AI systems are increasingly recognized as a key mechanism for AI governance. The effectiveness of an audit, however, depends on the degree of access granted to auditors. Recent audits of state-of-the-art AI systems have primarily relied on black-box access, in which auditors can only query the system and observe its outputs. However, white-box access to the system's inner workings (e.g., weights, activations, gradients) allows an auditor to perform stronger attacks, more thoroughly interpret models, and conduct fine-tuning. Meanwhile, outside-the-box access to training and deployment information (e.g., methodology, code, documentation, data, deployment details, findings from internal evaluations) allows auditors to scrutinize the development process and design more targeted evaluations. In this paper, we examine the limitations of black-box audits and the advantages of white- and outside-the-box audits. We also discuss technical, physical, and legal safeguards for performing these audits with minimal security risks. Given that different forms of access can lead to very different levels of evaluation, we conclude that (1) transparency regarding the access and methods used by auditors is necessary to properly interpret audit results, and (2) white- and outside-the-box access allow for substantially more scrutiny than black-box access alone.


title: Wordflow: Social Prompt Engineering for Large Language Models

abstract: Large language models (LLMs) require well-crafted prompts for effective use. Prompt engineering, the process of designing prompts, is challenging, particularly for non-experts who are less familiar with AI technologies. While researchers have proposed techniques and tools to assist LLM users in prompt design, these works primarily target AI application developers rather than non-experts. To address this research gap, we propose social prompt engineering, a novel paradigm that leverages social computing techniques to facilitate collaborative prompt design. To investigate social prompt engineering, we introduce Wordflow, an open-source and social text editor that enables everyday users to easily create, run, share, and discover LLM prompts. Additionally, by leveraging modern web technologies, Wordflow allows users to run LLMs locally and privately in their browsers. Two usage scenarios highlight how social prompt engineering and our tool can enhance laypeople's interaction with LLMs. Wordflow is publicly accessible at https://poloclub.github.io/wordflow.


title: Bistatic Reflectivity and Micro-Doppler Signatures of Drones for Integrated Communication and Sensing

abstract: The integration of wireless communication and radar sensing is gaining the interest of researchers from wireless communication and radar societies. Sensing in Integrated Communication and Sensing (ICAS) systems differs from the traditional radar system in the configuration of transmitter-target-receiver, the operating frequency bands, and the transmitting waveform. It is necessary to understand how target electromagnetic signatures behave in this context. Therefore, this paper presents measurements and analysis of two important target signatures, reflectivity and micro-Doppler, for sensing in ICAS. These target signatures are measured in the state-of-the-art measurement system, Bistatische-Radar-Messeinrichtung (BiRa).


title: Proving the Weak Gravity Conjecture in Perturbative String Theory, Part I: The Bosonic String

abstract: We present a complete proof of the Weak Gravity Conjecture in any perturbative bosonic string theory in spacetime dimension $D\ge6$. Our proof works by relating the black hole extremality bound to long range forces, which are more easily calculated on the worldsheet, closing the gaps in partial arguments in the existing literature. We simultaneously establish a strict, sublattice form of the conjecture in the same class of theories. We close by discussing the scope and limitations of our analysis, along with possible extensions including an upcoming generalization of our work to the superstring.


title: Self-interacting dark matter solves the final parsec problem of supermassive black hole mergers

abstract: Evidence for a stochastic gravitational wave (GW) background, plausibly originating from the merger of supermassive black holes (SMBHs), is accumulating with observations from pulsar timing arrays. An outstanding question is how inspiraling SMBHs get past the "final parsec" of separation, where they have a tendency to stall before GW emission alone can make the binary coalesce. We argue that dynamical friction from the dark matter (DM) spike surrounding the black holes is sufficient to resolve this puzzle, if the DM has a self-interaction cross section of order $\,$cm$^2$/g. The same effect leads to a softening of the GW spectrum at low frequencies as suggested by the current data. For collisionless cold DM, the friction deposits so much energy that the spike is disrupted and cannot bridge the final parsec, while for self-interacting DM, the isothermal core of the halo can act as a reservoir for the energy liberated from the SMBH orbits. A realistic velocity dependence, such as generated by the exchange of a massive mediator like a dark photon, is favored to give a good fit to the GW spectrum while providing a large enough core. A similar velocity dependence has been advocated for solving the small-scale structure problems of cold DM.


title: The universal multiplicity function: counting halos and voids

abstract: We present a novel combination of the excursion-set approach with the peak theory formalism in Lagrangian space and provide accurate predictions for halo and void statistics over a wide range of scales. The set-up is based on an effective moving barrier. Besides deriving the corresponding numerical multiplicity function, we introduce a new analytical formula reaching the percent level agreement with the exact numerical solution obtained via Monte Carlo realizations down to small scales, $\sim 10^{12} h^{-1}\mathrm{M_\odot}$. In the void case, we derive the dependence of the effective moving barrier on the void formation threshold, $\delta_{\rm v}$, by comparison against the Lagrangian void size function measured in the Dark Energy and Massive Neutrinos Universe simulations. We discuss the mapping from Lagrangian to Eulerian space for both halos and voids; adopting the spherical symmetry approximation, we obtain a strong agreement at intermediate and large scales. Finally, using the effective moving barrier, we derive Lagrangian void density profiles accurately matching measurements from cosmological simulations, a major achievement towards using void profiles for precision cosmology with the next generation of galaxy surveys.


title: The Kalb-Ramond field and Gravitational Parity Violation

abstract: Gravitational wave physics can probe theories that extend beyond General Relativity. Motivated by recent attention on the Kalb-Ramond field as a dark matter candidate, in this work, we study a parity violating dimension four operator which couples the dual Riemann curvature to the 2-form field. After mapping the equations of motion for the right- and left-handed gravitational wave amplitudes to the novel parameterization recently presented in \cite{Jenks:2023pmk}, we discuss various constraints on the model parameters in light of the coincident electromagnetic/gravitational wave signal of GW170817 and the GWTC-3 dataset.


title: Hidden Gems on a Ring: Infant Massive Clusters and Their Formation Timeline Unveiled by ALMA, HST, and JWST in NGC 3351

abstract: We study young massive clusters (YMCs) in their embedded "infant" phase with $\sim0.\!^{\prime\prime}1$ ALMA, HST, and JWST observations targeting the central starburst ring in NGC 3351, a nearby Milky Way analog galaxy. Our new ALMA data reveal 18 bright and compact (sub-)millimeter continuum sources, of which 8 have counterparts in JWST images and only 6 have counterparts in HST images. Based on the ALMA continuum and molecular line data, as well as ancillary measurements for the HST and JWST counterparts, we identify 14 sources as infant star clusters with high stellar and/or gas masses (${\sim}10^5\;\mathrm{M_\odot}$), small radii (${\lesssim}\,5\;\mathrm{pc}$), large escape velocities ($6{-}10\;\mathrm{km/s}$), and short free-fall times ($0.5{-}1\;\mathrm{Myr}$). Their multiwavelength properties motivate us to divide them into four categories, likely corresponding to four evolutionary stages from starless clumps to exposed HII region-cluster complexes. Leveraging age estimates for HST-identified clusters in the same region, we infer an evolutionary timeline going from $\sim$1-2 Myr before cluster formation as starless clumps, to $\sim$4-6 Myr after as exposed HII region-cluster complexes. Finally, we show that the YMCs make up a substantial fraction of recent star formation across the ring, exhibit an non-uniform azimuthal distribution without a very coherent evolutionary trend along the ring, and are capable of driving large-scale gas outflows.


title: The forest as a neutrino detector

abstract: The primary challenge in detecting ultrahigh energy (UHE) neutrinos with energies exceeding $10^{16}$ eV is to instrument a large enough volume to detect the extremely low flux, which falls as $\sim E^{-2}$. We explore in this article the feasibility of using the forest as a detector. Trees have been shown to be efficient broadband antennas, and may, without damage to the tree, be instrumented with a minimum of apparatus. A large scale array of such trees may be the key to achieving the requisite target volumes for UHE neutrino astronomy.


title: Spin drag mechanism of giant thermal magnetoresistance

abstract: We study hydrodynamic thermal transport in high-mobility two-dimensional electron systems placed in an in-plane magnetic field, and identify a new mechanism of thermal magnetotransport. This mechanism is caused by drag between the electron populations with opposite spin polarization, which arises in the presence of a hydrodynamic flow of heat. In high mobility systems, spin drag results in strong thermal magnetoresistance, which becomes of the order of 100% at relatively small spin polarization of the electron liquid. We express the thermal magnetoresistance in terms of intrinsic dissipative coefficients of electron fluid and show that it is primarily determined by the spin diffusion constant.


title: Probing bad theories with the dualization algorithm II

abstract: We continue our analysis of bad theories, focusing on quiver theories with bad unitary and special unitary gauge groups in three dimensions. By extending the dualization algorithm we prove that the partition function of bad linear quivers can be written as a distribution, given by a sum of terms involving a product of delta functions times the partition function of a good quiver theory. We describe in detail the good quiver theories appearing in the partition function of the bad theory and discuss the brane interpretation of our result. We also discuss in detail the lift of these theories to 4d quivers with symplectic gauge groups, in which our results can be recovered by studying the Higgsing triggered by the expectation value for certain chiral operators. The paper is accompanied by a Mathematica file which implements the algorithm for an arbitrary unitary bad linear quiver.


title: The Faint Satellite System of NGC 253: Insights into Low-Density Environments and No Satellite Plane

abstract: We have conducted a systematic search around the Milky Way (MW) analog NGC 253 (D=3.5 Mpc), as a part of the Panoramic Imaging Survey of Centaurus and Sculptor (PISCeS) - a Magellan+Megacam survey to identify dwarfs and other substructures in resolved stellar light around MW-mass galaxies outside of the Local Group. In total, NGC 253 has five satellites identified by PISCeS within 100 kpc with an absolute V-band magnitude $M_V<-7$. We have additionally obtained deep Hubble Space Telescope imaging of four reported candidates beyond the survey footprint: Do III, Do IV, and dw0036m2828 are confirmed to be satellites of NGC 253, while SculptorSR is found to be a background galaxy. We find no convincing evidence for the presence of a plane of satellites surrounding NGC 253. We construct its satellite luminosity function, which is complete down to $M_V$$\lesssim$$-8$ out to 100 kpc and $M_V$$\lesssim$$-9$ out to 300 kpc, and compare it to those calculated for other Local Volume galaxies. Exploring trends in satellite counts and star-forming fractions among satellite systems, we find relationships with host stellar mass, environment, and morphology, pointing to a complex picture of satellite formation, and a successful model has to reproduce all of these trends.


title: The Mass of the Large Magellanic Cloud from the Three-Dimensional Kinematics of its Globular Clusters

abstract: We estimate the mass of the Large Magellanic Cloud (LMC) using the kinematics of 30 LMC globular clusters (GCs). We combine proper motions (PMs) measured with HST, Gaia, or a combination of the two, from a recent study by Bennet et al. (2022) with literature line-of-sight velocities (LOSVs) to give 3 components of motion. With these, we derive a 3D velocity dispersion anisotropy $\beta = -0.72 ^{+0.62} _{-1.07}$, consistent with the GCs forming a flattened system with significant azimuthal motion. We then apply a tracer mass estimator and measure an enclosed mass $M (<13.2 \mathrm{kpc})= 2.66^{+0.42} _{-0.36} \times 10^{10} \mathrm{M}_\odot$. This is broadly consistent with results from previous studies of the LOSVs of GCs and other luminous tracers. Assuming a cosmologically-constrained NFW distribution for the dark matter, this implies a virial mass $M_\mathrm{virial} = 1.80^{+1.05} _{-0.54} \times 10^{11} \mathrm{M}_\odot$. Despite being an extrapolation by almost an order of magnitude in radius, this result is consistent with published estimates from other methods that are directly sensitive to the LMC's total mass. Our results support the conclusion that the LMC is approximately 17$^{+10}_{-6}$% of the Milky Way's mass, making it a significant contributor to the Local Group (LG) potential.


title: Heating of the Atmospheres of Short-orbit Exoplanets by Their Rapid Orbital Motion Through an Extreme Space Environment

abstract: Exoplanets with short orbit period reside very close to their host stars. They transition very rapidly between different sectors of the circumstellar space environment along their orbit, leading to large variations of the magnetic field in the vicinity of the planet on short timescales. This rapid change of the magnetic flux through the conducting and resistive layer of the planetary upper atmosphere may drive currents that dissipate in the form of Joule Heating. Here, we estimate the amount of Joule Heating dissipation in the upper atmosphere of Trappist-1e, and two hypothetical planets orbiting the Sun in close-in orbits. We find that the rapid orbital motion could drive a significant amount of atmospheric heating and could significantly affect the planetary atmosphere escape rate. Thus, the process should be accounted for when studying the long-term evolution of exoplanetary atmospheres.


title: Magnetochronology of solar-type star dynamos

abstract: Aims. In this study, we analyse the magnetic field properties of a set of 15 global magnetohydrodynamics (MHD) simulations of solar-type star dynamos conducted using the ASH code. Our objective is to enhance our understanding of these properties by comparing theoretical results to current observations, and to finally provide fresh insights into the field. Methods. We analysed the rotational and magnetic properties as a function of various stellar parameters (mass, age and rotation rate) in a 'Sun in time' approach in our extended set of 3D MHD simulations. To facilitate direct comparisons with stellar magnetism observations using various Zeeman-effect techniques, we decomposed the numerical data into vectorial spherical harmonics. Results. A comparison of the trends we find in our simulations set reveals a promising overall agreement with the observational context of stellar magnetism, enabling us to suggest a plausible scenario for the magneto-rotational evolution of solar-type stars. In particular, we find that the magnetic field may reach a minimum amplitude at a transition value of the Rossby number near unity. This may have important consequences on the long-term evolution of solar-type stars, by impacting the relation between stellar age, rotation and magnetism. This supports the need for future observational campaigns, especially for stars in the high Rossby number regime.


title: Marabou 2.0: A Versatile Formal Analyzer of Neural Networks

abstract: This paper serves as a comprehensive system description of version 2.0 of the Marabou framework for formal analysis of neural networks. We discuss the tool's architectural design and highlight the major features and components introduced since its initial release.


title: AI auditing: The Broken Bus on the Road to AI Accountability

abstract: One of the most concrete measures to take towards meaningful AI accountability is to consequentially assess and report the systems' performance and impact. However, the practical nature of the "AI audit" ecosystem is muddled and imprecise, making it difficult to work through various concepts and map out the stakeholders involved in the practice. First, we taxonomize current AI audit practices as completed by regulators, law firms, civil society, journalism, academia, consulting agencies. Next, we assess the impact of audits done by stakeholders within each domain. We find that only a subset of AI audit studies translate to desired accountability outcomes. We thus assess and isolate practices necessary for effective AI audit results, articulating the observed connections between AI audit design, methodology and institutional context on its effectiveness as a meaningful mechanism for accountability.


title: Generating Functions for Line Bundle Cohomology Dimensions on Complex Projective Varieties

abstract: This paper explores the possibility of constructing multivariate generating functions for all cohomology dimensions of all holomorphic line bundles on certain complex projective varieties of Fano, Calabi-Yau and general type in various dimensions and Picard numbers. Most of the results are conjectural and rely on explicit cohomology computations. We first propose a generating function for the Euler characteristic of all holomorphic line bundles on complete intersections in products of projective spaces and toric varieties. This generating function is constructed by expanding the Hilbert-Poincare series associated with the coordinate ring of the variety around all possible combinations of zero and infinity and then summing up the resulting contributions with alternating signs. Similar generating functions are proposed for the individual cohomology dimensions of all holomorphic line bundles on certain complete intersections, including examples of Mori and non-Mori dream spaces. Surprisingly, the examples studied indicate that a single generating function encodes both the zeroth and all higher cohomologies upon expansion around different combinations of zero and infinity, raising the question whether such generating functions determine the variety uniquely.


title: Spectroscopic confirmation of high-amplitude eruptive YSOs and dipping giants from the VVV survey

abstract: During the pre-main-sequence (pre-MS) evolution stage of a star, significant amounts of stellar mass are accreted during episodic accretion events, such as multi-decade FUor-type outbursts. Here, we present a near-infrared spectroscopic follow-up study of 33 high-amplitude (most with $\Delta K_s$ > 4 mag) variable sources discovered by the Vista Variables in the Via Lactea (VVV) survey. Based on the spectral features, 25 sources are classified as eruptive young stellar objects (YSOs), including 15 newly identified FUors, six with long-lasting but EXor-like bursts of magnetospheric accretion and four displaying outflow-dominated spectra. By examining the photometric behaviours of eruptive YSOs, we found most FUor-type outbursts have higher amplitudes ($\Delta K_s$ and $\Delta W2$), faster eruptive timescales and bluer infrared colours than the other outburst types. In addition, we identified seven post-main sequence variables apparently associated with deep dipping events and an eruptive star with deep AlO absorption bands resembling those seen in the V838 Mon stellar merger.