title: The Phase Transition of $4D$ Yang-Mills Charged GB AdS Black Hole with Cloud of Strings

abstract: In this paper, we present an exact spherically symmetric and Yang-Mills charged AdS black hole solution in the context of $4D$ Einstein-Gauss-Bonnet (EGB) gravity in the presence of a cloud of strings. Thermodynamics of this solution is studied. The critical behavior, the types of phase transitions in canonical ensemble, the Joule-Thomson expansion, the Clapeyron equation and the critical exponents shall be investigated.


title: Differentiation of simplicial manifolds I

abstract: In this paper we expand a technique for differentiating higher Lie groupoids that was initially outlined in previous work and has been elaborated in current research. We extend this technique to the setting of general simplicial manifolds. The concept underlying this extension is that even though simplicial manifolds might not possess the additional criteria that characterize higher Lie groupoids, they do satisfy "local Kan conditions", which suffices to perform the constructions presented in the aforementioned study.


title: Multiscale Neuroimaging Features for the Identification of Medication Class and Non-Responders in Mood Disorder Treatment

abstract: In the clinical treatment of mood disorders, the complex behavioral symptoms presented by patients and variability of patient response to particular medication classes can create difficulties in providing fast and reliable treatment when standard diagnostic and prescription methods are used. Increasingly, the incorporation of physiological information such as neuroimaging scans and derivatives into the clinical process promises to alleviate some of the uncertainty surrounding this process. Particularly, if neural features can help to identify patients who may not respond to standard courses of anti-depressants or mood stabilizers, clinicians may elect to avoid lengthy and side-effect-laden treatments and seek out a different, more effective course that might otherwise not have been under consideration. Previously, approaches for the derivation of relevant neuroimaging features work at only one scale in the data, potentially limiting the depth of information available for clinical decision support. In this work, we show that the utilization of multi spatial scale neuroimaging features - particularly resting state functional networks and functional network connectivity measures - provide a rich and robust basis for the identification of relevant medication class and non-responders in the treatment of mood disorders. We demonstrate that the generated features, along with a novel approach for fast and automated feature selection, can support high accuracy rates in the identification of medication class and non-responders as well as the identification of novel, multi-scale biomarkers.


title: Lissard: Long and Simple Sequential Reasoning Datasets

abstract: Language models are now capable of solving tasks that require dealing with long sequences consisting of hundreds of thousands of tokens. However, they often fail on tasks that require repetitive use of simple rules, even on sequences that are much shorter than those seen during training. For example, state-of-the-art LLMs can find common items in two lists with up to 20 items but fail when lists have 80 items. In this paper, we introduce Lissard, a benchmark comprising seven tasks whose goal is to assess the ability of models to process and generate wide-range sequence lengths, requiring repetitive procedural execution. Our evaluation of open-source (Mistral-7B and Mixtral-8x7B) and proprietary models (GPT-3.5 and GPT-4) show a consistent decline in performance across all models as the complexity of the sequence increases. The datasets and code are available at https://github.com/unicamp-dl/Lissard


title: On the Detection of Reviewer-Author Collusion Rings From Paper Bidding

abstract: A major threat to the peer-review systems of computer science conferences is the existence of "collusion rings" between reviewers. In such collusion rings, reviewers who have also submitted their own papers to the conference work together to manipulate the conference's paper assignment, with the aim of being assigned to review each other's papers. The most straightforward way that colluding reviewers can manipulate the paper assignment is by indicating their interest in each other's papers through strategic paper bidding. One potential approach to solve this important problem would be to detect the colluding reviewers from their manipulated bids, after which the conference can take appropriate action. While prior work has developed effective techniques to detect other kinds of fraud, no research has yet established that detecting collusion rings is even possible. In this work, we tackle the question of whether it is feasible to detect collusion rings from the paper bidding. To answer this question, we conduct empirical analysis of two realistic conference bidding datasets, including evaluations of existing algorithms for fraud detection in other applications. We find that collusion rings can achieve considerable success at manipulating the paper assignment while remaining hidden from detection: for example, in one dataset, undetected colluders are able to achieve assignment to up to 30% of the papers authored by other colluders. In addition, when 10 colluders bid on all of each other's papers, no detection algorithm outputs a group of reviewers with more than 31% overlap with the true colluders. These results suggest that collusion cannot be effectively detected from the bidding using popular existing tools, demonstrating the need to develop more complex detection algorithms as well as those that leverage additional metadata (e.g., reviewer-paper text-similarity scores).


title: TOI-1199 b and TOI-1273 b: Two new transiting hot Saturns detected and characterized with SOPHIE and TESS

abstract: We report the characterization of two planet candidates detected by the Transiting Exoplanet Survey Satellite (TESS), TOI-1199 b and TOI-1273 b, with periods of 3.7 and 4.6 days, respectively. Follow-up observations for both targets, which include several ground-based light curves, confirmed the transit events. High-precision radial velocities from the SOPHIE spectrograph revealed signals at the expected frequencies and phases of the transiting candidates and allowed mass determinations with a precision of $8.4\%$ and $6.7\%$ for TOI-1199 b and TOI-1273 b, respectively. The planetary and orbital parameters were derived from a joint analysis of the radial velocities and photometric data. We find that the planets have masses of $0.239\,\pm\,0.020\,M_{\mathrm{J}}$ and $0.222\,\pm\,0.015\,M_{\mathrm{J}}$ and radii of $0.938\,\pm\,0.025\,R_{\mathrm{J}}$ and $0.99\,\pm\,0.22\,R_{\mathrm{J}}$, respectively. The grazing transit of TOI-1273 b translates to a larger uncertainty in its radius, and hence also in its bulk density, compared to TOI-1199 b. The inferred bulk densities of $0.358\,\pm\,0.041\,\mathrm{g}\,\mathrm{cm}^{-3}$ and $0.28\,\pm\,0.11\,\mathrm{g}\,\mathrm{cm}^{-3}$ are among the lowest known for exoplanets in this mass range, which, considering the brightness of the host stars ($V \approx 11\,\mathrm{mag}$), render them particularly amenable to atmospheric characterization via the transit spectroscopy technique. The better constraints on the parameters of TOI-1199 b provide a transmission spectroscopy metric of $134\,\pm\,17$, making it the better suited of the two planets for atmospheric studies.


title: AI-Augmented Predictions: LLM Assistants Improve Human Forecasting Accuracy

abstract: Large language models (LLMs) show impressive capabilities, matching and sometimes exceeding human performance in many domains. This study explores the potential of LLMs to augment judgement in forecasting tasks. We evaluated the impact on forecasting accuracy of two GPT-4-Turbo assistants: one designed to provide high-quality advice ('superforecasting'), and the other designed to be overconfident and base-rate-neglecting. Participants (N = 991) had the option to consult their assigned LLM assistant throughout the study, in contrast to a control group that used a less advanced model (DaVinci-003) without direct forecasting support. Our preregistered analyses reveal that LLM augmentation significantly enhances forecasting accuracy by 23% across both types of assistants, compared to the control group. This improvement occurs despite the superforecasting assistant's higher accuracy in predictions, indicating the augmentation's benefit is not solely due to model prediction accuracy. Exploratory analyses showed a pronounced effect in one forecasting item, without which we find that the superforecasting assistant increased accuracy by 43%, compared with 28% for the biased assistant. We further examine whether LLM augmentation disproportionately benefits less skilled forecasters, degrades the wisdom-of-the-crowd by reducing prediction diversity, or varies in effectiveness with question difficulty. Our findings do not consistently support these hypotheses. Our results suggest that access to an LLM assistant, even a biased one, can be a helpful decision aid in cognitively demanding tasks where the answer is not known at the time of interaction.


title: An approximation algorithm for Maximum DiCut vs. Cut

abstract: Goemans and Williamson designed a 0.878-approximation algorithm for Max-Cut in undirected graphs [JACM'95]. Khot, Kindler, Mosel, and O'Donnel showed that the approximation ratio of the Goemans-Williamson algorithm is optimal assuming Khot's Unique Games Conjecture [SICOMP'07]. In the problem of maximum cuts in directed graphs (Max-DiCut), in which we seek as many edges going from one particular side of the cut to the other, the situation is more complicated but the recent work of Brakensiek, Huang, Potechin, and Zwick showed that their 0.874-approximation algorithm is tight under the Unique Games Conjecture (up to a small delta)[FOCS'23]. We consider a promise version of the problem and design an SDP-based algorithm which, if given a directed graph G that has a directed cut of value rho, finds an undirected cut in G (ignoring edge directions) with value at least \rho.


title: Cruising Queer HCI on the DL: A Literature Review of LGBTQ+ People in HCI

abstract: LGBTQ+ people have received increased attention in HCI research, paralleling a greater emphasis on social justice in recent years. However, there has not been a systematic review of how LGBTQ+ people are researched or discussed in HCI. In this work, we review all research mentioning LGBTQ+ people across the HCI venues of CHI, CSCW, DIS, and TOCHI. Since 2014, we find a linear growth in the number of papers substantially about LGBTQ+ people and an exponential increase in the number of mentions. Research about LGBTQ+ people tends to center experiences of being politicized, outside the norm, stigmatized, or highly vulnerable. LGBTQ+ people are typically mentioned as a marginalized group or an area of future research. We identify gaps and opportunities for (1) research about and (2) the discussion of LGBTQ+ in HCI and provide a dataset to facilitate future Queer HCI research.


title: Prismatic VLMs: Investigating the Design Space of Visually-Conditioned Language Models

abstract: Visually-conditioned language models (VLMs) have seen growing adoption in applications such as visual dialogue, scene understanding, and robotic task planning; adoption that has fueled a wealth of new models such as LLaVa, InstructBLIP, and PaLI-3. Despite the volume of new releases, key design decisions around image preprocessing, architecture, and optimization are under-explored, making it challenging to understand what factors account for model performance $-$ a challenge further complicated by the lack of objective, consistent evaluations. To address these gaps, we first compile a suite of standardized evaluations spanning visual question answering, object localization, and challenge sets that probe properties such as hallucination; evaluations that provide fine-grained insight VLM capabilities. Second, we rigorously investigate VLMs along key design axes, including pretrained visual representations and training from base vs. instruct-tuned language models, amongst others. We couple our analysis with three resource contributions: (1) a unified framework for evaluating VLMs, (2) optimized, flexible training code, and (3) checkpoints for all models, including a family of VLMs at the 7-13B scale that strictly outperform InstructBLIP and LLaVa v1.5, the state-of-the-art in open VLMs.


title: Virtual Channel Purification

abstract: Quantum error mitigation is a key approach for extracting target state properties on state-of-the-art noisy machines and early fault-tolerant devices. Using the ideas from flag fault tolerance and virtual state purification, we develop the virtual channel purification (VCP) protocol, which consumes similar qubit and gate resources as virtual state purification but offers up to exponentially stronger error suppression with increased system size and more noisy operation copies. Furthermore, VCP removes most of the assumptions required in virtual state purification. Essentially, VCP is the first quantum error mitigation protocol that does not require specific knowledge about the noise models, the target quantum state, and the target problem while still offering rigorous performance guarantees for practical noise regimes. Further connections are made between VCP and quantum error correction to produce one of the first protocols that combine quantum error correction and quantum error mitigation beyond concatenation. We can remove all noise in the channel while paying only the same sampling cost as low-order purification, reaching beyond the standard bias-variance trade-off in quantum error mitigation. Our protocol can also be adapted to key tasks in quantum networks like channel capacity activation and entanglement distribution.


title: PoisonedRAG: Knowledge Poisoning Attacks to Retrieval-Augmented Generation of Large Language Models

abstract: Large language models (LLMs) have achieved remarkable success due to their exceptional generative capabilities. Despite their success, they also have inherent limitations such as a lack of up-to-date knowledge and hallucination. Retrieval-Augmented Generation (RAG) is a state-of-the-art technique to mitigate those limitations. In particular, given a question, RAG retrieves relevant knowledge from a knowledge database to augment the input of the LLM. For instance, the retrieved knowledge could be a set of top-k texts that are most semantically similar to the given question when the knowledge database contains millions of texts collected from Wikipedia. As a result, the LLM could utilize the retrieved knowledge as the context to generate an answer for the given question. Existing studies mainly focus on improving the accuracy or efficiency of RAG, leaving its security largely unexplored. We aim to bridge the gap in this work. Particularly, we propose PoisonedRAG , a set of knowledge poisoning attacks to RAG, where an attacker could inject a few poisoned texts into the knowledge database such that the LLM generates an attacker-chosen target answer for an attacker-chosen target question. We formulate knowledge poisoning attacks as an optimization problem, whose solution is a set of poisoned texts. Depending on the background knowledge (e.g., black-box and white-box settings) of an attacker on the RAG, we propose two solutions to solve the optimization problem, respectively. Our results on multiple benchmark datasets and LLMs show our attacks could achieve 90% attack success rates when injecting 5 poisoned texts for each target question into a database with millions of texts. We also evaluate recent defenses and our results show they are insufficient to defend against our attacks, highlighting the need for new defenses.


title: Nesting Particle Filters for Experimental Design in Dynamical Systems

abstract: In this paper, we propose a novel approach to Bayesian experimental design for non-exchangeable data that formulates it as risk-sensitive policy optimization. We develop the Inside-Out SMC$^2$ algorithm, a nested sequential Monte Carlo technique to infer optimal designs, and embed it into a particle Markov chain Monte Carlo framework to perform gradient-based policy amortization. Our approach is distinct from other amortized experimental design techniques, as it does not rely on contrastive estimators. Numerical validation on a set of dynamical systems showcases the efficacy of our method in comparison to other state-of-the-art strategies.


title: Jet Suppression and Azimuthal Anisotropy from RHIC to LHC

abstract: Azimuthal anisotropies of high-$p_T$ particles produced in heavy-ion collisions are understood as an effect of a geometrical selection bias. Particles oriented in the direction in which the QCD medium formed in these collisions is shorter, suffer less energy loss, and thus, are over-represented in the final ensemble compared to those oriented in the direction in which the medium is longer. In this work we present the first semi-analytical predictions, including propagation through a realistic, hydrodynamical background, of the azimuthal anisotropies for jets, obtaining a quantitative agreement with available experimental data as function of the jet $p_T$, its cone size $R$ and the collisions centrality. Jets are multi-partonic, extended objects and their energy loss is sensitive to substructure fluctuations. This is determined by the physics of color coherence that relates to the ability of the medium to resolve those partonic fluctuations. Namely, color dipoles whose angle is smaller than a critical angle, $\theta_c$, are not resolved by the medium and they effectively act as a coherent source of energy loss. We find that jet azimuthal anisotropies have a specially strong dependence on coherence physics due to the marked length-dependence of $\theta_c$. By combining our predictions for the collision systems and center of mass energies studied at RHIC and the LHC, covering a wide range of typical values of $\theta_c$, we show that the relative size of jet azimuthal anisotropies for jets with different cone-sizes $R$ follow a universal trend that indicates a transition from a coherent regime of jet quenching to a decoherent regime. These results suggest a way forward to reveal the role played by the physics of jet color decoherence in probing deconfined QCD matter.


title: Perfect stable regularity lemma and slice-wise stable hypergraphs

abstract: We investigate various forms of (model-theoretic) stability for hypergraphs and their corresponding strengthenings of the hypergraph regularity lemma with respect to partitions of vertices. On the one hand, we provide a complete classification of the various possibilities in the ternary case. On the other hand, we provide an example of a family of slice-wise stable 3-hypergraphs so that for no partition of the vertices, any triple of parts has density close to 0 or 1. In particular, this addresses some questions and conjectures of Terry and Wolf. We work in the general measure theoretic context of graded probability spaces, so all our results apply both to measures in ultraproducts of finite graphs, leading to the aforementioned combinatorial applications, and to commuting definable Keisler measures, leading to applications in model theory.


title: Scaling Laws for Fine-Grained Mixture of Experts

abstract: Mixture of Experts (MoE) models have emerged as a primary solution for reducing the computational cost of Large Language Models. In this work, we analyze their scaling properties, incorporating an expanded range of variables. Specifically, we introduce a new hyperparameter, granularity, whose adjustment enables precise control over the size of the experts. Building on this, we establish scaling laws for fine-grained MoE, taking into account the number of training tokens, model size, and granularity. Leveraging these laws, we derive the optimal training configuration for a given computational budget. Our findings not only show that MoE models consistently outperform dense Transformers but also highlight that the efficiency gap between dense and MoE models widens as we scale up the model size and training budget. Furthermore, we demonstrate that the common practice of setting the size of experts in MoE to mirror the feed-forward layer is not optimal at almost any computational budget.


title: PIVOT: Iterative Visual Prompting Elicits Actionable Knowledge for VLMs

abstract: Vision language models (VLMs) have shown impressive capabilities across a variety of tasks, from logical reasoning to visual understanding. This opens the door to richer interaction with the world, for example robotic control. However, VLMs produce only textual outputs, while robotic control and other spatial tasks require outputting continuous coordinates, actions, or trajectories. How can we enable VLMs to handle such settings without fine-tuning on task-specific data? In this paper, we propose a novel visual prompting approach for VLMs that we call Prompting with Iterative Visual Optimization (PIVOT), which casts tasks as iterative visual question answering. In each iteration, the image is annotated with a visual representation of proposals that the VLM can refer to (e.g., candidate robot actions, localizations, or trajectories). The VLM then selects the best ones for the task. These proposals are iteratively refined, allowing the VLM to eventually zero in on the best available answer. We investigate PIVOT on real-world robotic navigation, real-world manipulation from images, instruction following in simulation, and additional spatial inference tasks such as localization. We find, perhaps surprisingly, that our approach enables zero-shot control of robotic systems without any robot training data, navigation in a variety of environments, and other capabilities. Although current performance is far from perfect, our work highlights potentials and limitations of this new regime and shows a promising approach for Internet-Scale VLMs in robotic and spatial reasoning domains. Website: pivot-prompt.github.io and HuggingFace: https://huggingface.co/spaces/pivot-prompt/pivot-prompt-demo.


title: Tanaka rigidity of graph Lie algebras

abstract: We give sufficient conditions on a labeled direct graph to determine whether the Tanaka prolongation of its associated Lie algebra is infinite-dimensional. In the case that all directed edges are labeled differently, the corresponding graph Lie algebra is of infinite type if and only if the graph has a vertex of degree one.


title: Factorizing the Brauer monoid in polynomial time

abstract: Finding a minimal factorization for a generic semigroup can be done by using the Froidure-Pin Algorithm, which is not feasible for semigroups of large sizes. On the other hand, if we restrict our attention to just a particular semigroup, we could leverage its structure to obtain a much faster algorithm. In particular, $\mathcal{O}(N^2)$ algorithms are known for factorizing the Symmetric group $S_N$ and the Temperley-Lieb monoid $\mathcal{T}\mathcal{L}_N$, but none for their superset the Brauer monoid $\mathcal{B}_{N}$. In this paper we hence propose a $\mathcal{O}(N^4)$ factorization algorithm for $\mathcal{B}_{N}$. At each iteration, the algorithm rewrites the input $X \in \mathcal{B}_{N}$ as $X = X' \circ p_i$ such that $\ell(X') = \ell(X) - 1$, where $p_i$ is a factor for $X$ and $\ell$ is a length function that returns the minimal number of factors needed to generate $X$.


title: Implicit Bias of Policy Gradient in Linear Quadratic Control: Extrapolation to Unseen Initial States

abstract: In modern machine learning, models can often fit training data in numerous ways, some of which perform well on unseen (test) data, while others do not. Remarkably, in such cases gradient descent frequently exhibits an implicit bias that leads to excellent performance on unseen data. This implicit bias was extensively studied in supervised learning, but is far less understood in optimal control (reinforcement learning). There, learning a controller applied to a system via gradient descent is known as policy gradient, and a question of prime importance is the extent to which a learned controller extrapolates to unseen initial states. This paper theoretically studies the implicit bias of policy gradient in terms of extrapolation to unseen initial states. Focusing on the fundamental Linear Quadratic Regulator (LQR) problem, we establish that the extent of extrapolation depends on the degree of exploration induced by the system when commencing from initial states included in training. Experiments corroborate our theory, and demonstrate its conclusions on problems beyond LQR, where systems are non-linear and controllers are neural networks. We hypothesize that real-world optimal control may be greatly improved by developing methods for informed selection of initial states to train on.


title: Policy Improvement using Language Feedback Models

abstract: We introduce Language Feedback Models (LFMs) that identify desirable behaviour - actions that help achieve tasks specified in the instruction - for imitation learning in instruction following. To train LFMs, we obtain feedback from Large Language Models (LLMs) on visual trajectories verbalized to language descriptions. First, by using LFMs to identify desirable behaviour to imitate, we improve in task-completion rate over strong behavioural cloning baselines on three distinct language grounding environments (Touchdown, ScienceWorld, and ALFWorld). Second, LFMs outperform using LLMs as experts to directly predict actions, when controlling for the number of LLM output tokens. Third, LFMs generalize to unseen environments, improving task-completion rate by 3.5-12.0% through one round of adaptation. Finally, LFM can be modified to provide human-interpretable feedback without performance loss, allowing human verification of desirable behaviour for imitation learning.


title: WildfireGPT: Tailored Large Language Model for Wildfire Analysis

abstract: The recent advancement of large language models (LLMs) represents a transformational capability at the frontier of artificial intelligence (AI) and machine learning (ML). However, LLMs are generalized models, trained on extensive text corpus, and often struggle to provide context-specific information, particularly in areas requiring specialized knowledge such as wildfire details within the broader context of climate change. For decision-makers and policymakers focused on wildfire resilience and adaptation, it is crucial to obtain responses that are not only precise but also domain-specific, rather than generic. To that end, we developed WildfireGPT, a prototype LLM agent designed to transform user queries into actionable insights on wildfire risks. We enrich WildfireGPT by providing additional context such as climate projections and scientific literature to ensure its information is current, relevant, and scientifically accurate. This enables WildfireGPT to be an effective tool for delivering detailed, user-specific insights on wildfire risks to support a diverse set of end users, including researchers, engineers, urban planners, emergency managers, and infrastructure operators.


title: Using Graph Theory for Improving Machine Learning-based Detection of Cyber Attacks

abstract: Early detection of network intrusions and cyber threats is one of the main pillars of cybersecurity. One of the most effective approaches for this purpose is to analyze network traffic with the help of artificial intelligence algorithms, with the aim of detecting the possible presence of an attacker by distinguishing it from a legitimate user. This is commonly done by collecting the traffic exchanged between terminals in a network and analyzing it on a per-packet or per-connection basis. In this paper, we propose instead to perform pre-processing of network traffic under analysis with the aim of extracting some new metrics on which we can perform more efficient detection and overcome some limitations of classical approaches. These new metrics are based on graph theory, and consider the network as a whole, rather than focusing on individual packets or connections. Our approach is validated through experiments performed on publicly available data sets, from which it results that it can not only overcome some of the limitations of classical approaches, but also achieve a better detection capability of cyber threats.


title: 3D physical structure and angular expansion of the remnant of the recurrent nova T Pyx

abstract: We present the analysis of archival Very Large Telescope (VLT) MUSE and multi-epoch Hubble Space Telescope (HST) WFPC2 and WFC3/UVIS narrow-band observations of the remnant associated with the ejecta of the mid-nineteenth century outburst of the recurrent nova T Pyx. These data sets are used to investigate its true 3D physical structure and the nebular expansion patterns along the line of sight and on the plane of the sky. The VLT MUSE emission line maps and 3D visualisations based on position-position-velocity diagrams reveal T Pyx as a bipolar nebula, with a knotty toroidal structure at its waist best seen in H$\beta$ and two open bowl-shaped bipolar lobes (a diabolo) best revealed by the [OIII] emission lines. The comparison of multi-epoch HST WFPC2 and WFC3/UVIS narrow-band images and VLT MUSE emission line maps of T Pyx reveals the angular expansion of the remnant through the proper motion of individual knots and nebular features. The angular expansion is confirmed to be homologous in the period from 1994.2 to 2007.4 before the recent 2011 outburst, but there is suggestive evidence that the inner knots have experienced a higher expansion rate since then.


title: Inverse parameter and shape problem for an isotropic scatterer with two conductivity coefficients

abstract: In this paper, we consider the direct and inverse problem for isotropic scatterers with two conductive boundary conditions. First, we show the uniqueness for recovering the coefficients from the known far-field data at a fixed incident direction for multiple frequencies. Then, we address the inverse shape problem for recovering the scatterer for the measured far-field data at a fixed frequency. Furthermore, we examine the direct sampling method for recovering the scatterer by studying the factorization for the far-field operator. The direct sampling method is stable with respect to noisy data and valid in two dimensions for partial aperture data. The theoretical results are verified with numerical examples to analyze the performance by the direct sampling method.


title: On co-dimension 2 defect anomalies in N=4 SYM and (2,0) theory via brane probes in AdS/CFT

abstract: We consider a $\frac{1}{2}$-BPS solution for a D3 brane probe in AdS$_5 \times S^5$ that has world-volume geometry of AdS$_3 \times S^1$. It intersects the boundary over a surface that represents a dimension 2 defect in the boundary N=4 SYM theory. The effective action of the probe brane is proportional to the logarithmically divergent volume of AdS$_3$ and may thus be interpreted as computing conformal anomaly of the supersymmetric $S^2$ defect. The classical action scales as $N$. We compute the 1-loop correction to it due to quantum fluctuations of the D3 brane world-volume fields and compare the result to an earlier suggested expression for the defect anomaly. We also perform a similar analysis of a $\frac{1}{2}$-BPS M5 brane probe solution in AdS$_7 \times S^4$ with the world-volume geometry of AdS$_5 \times S^1$ that represents a dimension 4 defect in the boundary (2,0) 6d theory. Here the classical M5 brane action computes the leading order $N^2$ term in $a$-anomaly of the supersymmetric $S^4$ defect. We perform a detailed computation of the 1-loop correction to the M5 brane effective action and thus provide a prediction for the subleading constant in the $S^4$ defect $a$-anomaly coefficient.


title: Affine vector space partitions and spreads of quadrics

abstract: An affine spread is a set of subspaces of $\mathrm{AG}(n, q)$ of the same dimension that partitions the points of $\mathrm{AG}(n, q)$. Equivalently, an {\em affine spread} is a set of projective subspaces of $\mathrm{PG}(n, q)$ of the same dimension which partitions the points of $\mathrm{PG}(n, q) \setminus H_{\infty}$; here $H_{\infty}$ denotes the hyperplane at infinity of the projective closure of $\mathrm{AG}(n, q)$. Let $\mathcal{Q}$ be a non degenerate quadric of $H_\infty$ and let $\Pi$ be a generator of $\mathcal{Q}$, where $\Pi$ is a $t$-dimensional projective subspace. An affine spread $\mathcal{P}$ consisting of $(t+1)$-dimensional projective subspaces of $\mathrm{PG}(n, q)$ is called hyperbolic, parabolic or elliptic (according as $\mathcal{Q}$ is hyperbolic, parabolic or elliptic) if the following hold: each member of $\mathcal{P}$ meets $H_\infty$ in a distinct generator of $\mathcal{Q}$ disjoint from $\Pi$; elements of $\mathcal{P}$ have at most one point in common; if $S, T \in \mathcal{P}$, $|S \cap T| = 1$, then $\langle S, T \rangle \cap \mathcal{Q}$ is a hyperbolic quadric of $\mathcal{Q}$. In this note it is shown that a hyperbolic, parabolic or elliptic affine spread of $\mathrm{PG}(n, q)$ is equivalent to a spread of $\mathcal{Q}^+(n+1, q)$, $\mathcal{Q}(n+1, q)$ or $\mathcal{Q}^-(n+1, q)$, respectively.


title: Equivalence of cost concentration and gradient vanishing for quantum circuits: an elementary proof in the Riemannian formulation

abstract: The optimization of quantum circuits can be hampered by a decay of average gradient amplitudes with the system size. When the decay is exponential, this is called the barren plateau problem. Considering explicit circuit parametrizations (in terms of rotation angles), it has been shown in Arrasmith et al., Quantum Sci. Technol. 7, 045015 (2022) that barren plateaus are equivalent to an exponential decay of the cost-function variance. We show that the issue becomes particularly simple in the (parametrization-free) Riemannian formulation of such optimization problems. An elementary derivation shows that the single-gate variance of the cost function is strictly equal to half the variance of the Riemannian single-gate gradient, where we sample variable gates according to the uniform Haar measure. The total variances of the cost function and its gradient are both bounded from above by the sum of single-gate variances and, conversely, bound single-gate variances from above. So, decays of gradients and cost-function variations go hand in hand, and barren plateau problems cannot be resolved by avoiding gradient-based in favor of gradient-free optimization methods.


title: Distributed Anomaly Detection in Modern Power Systems: A Penalty-based Mitigation Approach

abstract: The evolving landscape of electric power networks, influenced by the integration of distributed energy resources require the development of novel power system monitoring and control architectures. This paper develops algorithm to monitor and detect anomalies of different parts of a power system that cannot be measured directly, by applying neighboring measurements and a dynamic probing technique in a distributed fashion. Additionally, the proposed method accurately assesses the severity of the anomaly. A decision-making algorithm is introduced to effectively penalize anomalous agents, ensuring vigilant oversight of the entire power system's functioning. Simulation results show the efficacy of algorithms in distributed anomaly detection and mitigation.


title: Stellar flares

abstract: Magnetic storms on stars manifest as remarkable, randomly occurring changes of the luminosity over durations that are tiny in comparison to the normal evolution of stars. These stellar flares are bursts of electromagnetic radiation from X-ray to radio wavelengths, and they occur on most stars with outer convection zones. They are analogous to the events on the Sun known as solar flares, which impact our everyday life and modern technological society. Stellar flares, however, can attain much greater energies than those on the Sun. Despite this, we think that these phenomena are rather similar in origin to solar flares, which result from a catastrophic conversion of latent magnetic field energy into atmospheric heating within a region that is relatively small in comparison to normal stellar sizes. We review the last several decades of stellar flare research. We summarize multi-wavelength observational results and the associated thermal and nonthermal processes in flaring stellar atmospheres. Static and hydrodynamic models are reviewed with an emphasis on recent progress in radiation-hydrodynamics and the physical diagnostics in flare spectra. Thanks to their effects on the space weather of exoplanetary systems (and thus in our search for life elsewhere in the universe) and their preponderance in \emph{Kepler} mission data, white-light stellar flares have re-emerged in the last decade as a widely-impactful area of study within astrophysics. Yet, there is still much we do not understand, both empirically and theoretically, about the spectrum of flare radiation, its origin, and its time evolution. We conclude with several big-picture questions that are fundamental in our pursuit toward a greater understanding of these enigmatic stellar phonemena and, by extension, those on the Sun.


title: Phonon and defect mediated quantum anomalous Hall insulator to metal transition in magnetically doped topological insulators

abstract: Quantum Anomalous Hall (QAH) state in six quintuple layer Cr$_{0.1}$(Bi$_{0.2}$Sb$_{0.8}$)$_{1.9}$Te$_3$ thin films were studied through scanning tunneling spectroscopy (STS) and electrical transport measurements. While the surface state is gapless above the Curie temperature ($T_\mathrm{C} \approx 30$ K), scanning tunneling spectroscopy (STS) of the sample reveals a topologically non-trivial gap with an average value of $\approx 13.5$ meV at 4.2 K below the ferromagnetic transition. Nonetheless, areal STS scans of the magnetic topological insulator exhibit energy modulations on the order of several meV's in the surface bands which result in the valence band maximum in some regions becoming higher than the energy of the conduction band minimum of some other regions that are spatially separated by no more than 3 nm. First principle calculations demonstrate that the origin of the observed inhomogeneous energy band alignment is an outcome of many-body interactions, namely electron-defect interactions and electron-phonon interactions. Defects play the role of locally modifying the energy landscape of surface bands while electron-phonon interactions renormalize the surface bands such that the surface gap becomes reduced by more than 1 meV as temperature is raised from 0 to 4.2 K. These many-body interactions at a finite temperature result in substantial increase of electron tunneling across the spatially separated conduction band pockets even for finite temperatures well below $T_\mathrm{C}$ , thus driving the magnetic topological insulator out of its QAH insulating phase into a metallic phase at a relatively low temperature.


title: Hybrid acousto-optical swing-up preparation of exciton and biexciton states in a quantum dot

abstract: Recent years brought the idea of hybrid systems, in which quantum degrees of freedom, due to controlled couplings, allow the transfer of quantum information and may lead to the emergence of new generation devices. Due to the universal coupling with all solid-state systems and compatibility with miniaturization, acoustic fields will play an important role in interfacing such components. Optically active quantum dots (QDs) are at the forefront of systems for applications in quantum technologies and their multiple available interfaces make them a great component of hybrid systems. QDs generate polarization-entangled photon pairs, however deterministic and high-fidelity preparation of the state is needed. All resonant schemes need filtering to distinguish emitted photons from the excitation pulse, which limits the photon yield significantly. Thus, non-resonant excitation methods are needed like the recently proposed and successful swing-up scheme. Here, we propose a hybrid acousto-optical version of this non-resonant scheme to prepare exciton and biexciton states. We show that using acoustic modulation allows selectively exciting either exciton or biexciton states with just one mode of vibration and one optical pulse or vice versa: acoustic pulse during detuned optical driving. Thus, either of the fields can act as a trigger controlling the evolution. Further, we evaluate the impact of phonon decoherence at finite temperatures for two types of application-relevant QDs, InAs/GaAs and GaAs/AlGaAs, and find that for GaAs QDs exciton preparation can be almost decoherence-free even at liquid nitrogen temperatures already with currently available acoustic modulation frequencies. This approach may pave the way for generating entanglement between an emitter and a quantum acoustic mode when using the acoustic mode as a trigger for the transitions.


title: Statistical analysis of the fluctuations of an initial-state model with independently distributed hot spots

abstract: We determine the uncorrelated modes that characterize the fluctuations in a semi-realistic model for the initial state of high-energy nuclear collisions, consisting of hot spots whose positions are distributed independently. Varying the number of hot spots, their size, and the weights with which they contribute to the initial state, we find that the parameter that has the largest influence on the relative importance of the fluctuation modes is the source size, with more extended hot spots leading to a more marked predominance of the principal modes.


title: Toward an Android Static Analysis Approach for Data Protection

abstract: Android applications collecting data from users must protect it according to the current legal frameworks. Such data protection has become even more important since the European Union rolled out the General Data Protection Regulation (GDPR). Since app developers are not legal experts, they find it difficult to write privacy-aware source code. Moreover, they have limited tool support to reason about data protection throughout their app development process. This paper motivates the need for a static analysis approach to diagnose and explain data protection in Android apps. The analysis will recognize personal data sources in the source code, and aims to further examine the data flow originating from these sources. App developers can then address key questions about data manipulation, derived data, and the presence of technical measures. Despite challenges, we explore to what extent one can realize this analysis through static taint analysis, a common method for identifying security vulnerabilities. This is a first step towards designing a tool-based approach that aids app developers and assessors in ensuring data protection in Android apps, based on automated static program analysis.


title: MAIDCRL: Semi-centralized Multi-Agent Influence Dense-CNN Reinforcement Learning

abstract: Distributed decision-making in multi-agent systems presents difficult challenges for interactive behavior learning in both cooperative and competitive systems. To mitigate this complexity, MAIDRL presents a semi-centralized Dense Reinforcement Learning algorithm enhanced by agent influence maps (AIMs), for learning effective multi-agent control on StarCraft Multi-Agent Challenge (SMAC) scenarios. In this paper, we extend the DenseNet in MAIDRL and introduce semi-centralized Multi-Agent Dense-CNN Reinforcement Learning, MAIDCRL, by incorporating convolutional layers into the deep model architecture, and evaluate the performance on both homogeneous and heterogeneous scenarios. The results show that the CNN-enabled MAIDCRL significantly improved the learning performance and achieved a faster learning rate compared to the existing MAIDRL, especially on more complicated heterogeneous SMAC scenarios. We further investigate the stability and robustness of our model. The statistics reflect that our model not only achieves higher winning rate in all the given scenarios but also boosts the agent's learning process in fine-grained decision-making.


title: Label-Efficient Model Selection for Text Generation

abstract: Model selection for a given target task can be costly, as it may entail extensive annotation of the quality of outputs of different models. We introduce DiffUse, an efficient method to make an informed decision between candidate text generation models based on preference annotations. DiffUse reduces the required amount of annotations, thus saving valuable time and resources in performing evaluation. DiffUse intelligently selects instances by clustering embeddings that represent the semantic differences between model outputs. Thus, it is able to identify a subset of examples that are more informative for preference decisions. Our method is model-agnostic, and can be applied to any text generation model for selecting between models, prompts and configurations. Moreover, we propose a practical iterative approach for dynamically determining how many instances to annotate. In a series of experiments over hundreds of model pairs, we demonstrate that DiffUse can dramatically reduce the required number of annotations -- by up to 75% -- while maintaining high evaluation reliability.


title: Consistent eccentricities for gravitational wave astronomy: Resolving discrepancies between astrophysical simulations and waveform models

abstract: Detecting imprints of orbital eccentricity in GW signals promises to shed light on the formation mechanisms of binary black holes. To constrain formation mechanisms, distributions of eccentricity derived from numerical simulations of astrophysical formation channels are compared to the estimates of eccentricity inferred from GW signals. We report that the definition of eccentricity typically used in astrophysical simulations is inconsistent with the one used while modeling GW signals, with the differences mainly arising due to the choice of reference frequency used in both cases. We also posit a prescription for calculating eccentricity from astrophysical simulations by evolving ordinary differential equations obtained from post-Newtonian theory, and using the dominant ($\ell = m =2$) mode's frequency as the reference frequency; this ensures consistency in the definitions. On comparing the existing eccentricities of binaries present in the Cluster Monte Carlo catalog of globular cluster simulations with the eccentricities calculated using the prescription presented here, we find a significant discrepancy at $e \gtrsim 0.2$; this discrepancy becomes worse with increasing eccentricity. We note the implications this discrepancy has for existing studies, and recommend that care be taken when comparing data-driven constraints on eccentricity to expectations from astrophysical formation channels.


title: The TESS-Keck Survey XXI: 13 New Planets and Homogeneous Properties for 21 Subgiant Systems

abstract: We present a dedicated transit and radial velocity survey of planets orbiting subgiant stars observed by the TESS Mission. Using $\sim$$16$ nights on Keck/HIRES, we confirm and characterize $12$ new transiting planets -- $\rm TOI-329\,b$, $\rm HD\,39688\,b$ ($\rm TOI-480$), $\rm TOI-603\,b$, $\rm TOI-1199\,b$, $\rm TOI-1294\,b$, $\rm TOI-1439\,b$, $\rm TOI-1605\,b$, $\rm TOI-1828\,b$, $\rm HD\,148193\,b$ ($\rm TOI-1836$), $\rm TOI-1885\,b$, $\rm HD\,83342\,b$ ($\rm TOI-1898$), $\rm TOI-2019\,b$ -- and provide updated properties for 9 previously confirmed TESS subgiant systems ($\rm TOI-197$, $\rm TOI-954$, $\rm TOI-1181$, $\rm TOI-1296$, $\rm TOI-1298$, $\rm TOI-1601$, $\rm TOI-1736$, $\rm TOI-1842$, $\rm TOI-2145$). We also report the discovery of an outer, non-transiting planet, $\rm TOI-1294\,c$ ($P=160.1\pm2.5$ days, $M_{\mathrm{p}}=148.3^{+18.2}_{-16.4} \,M_{\oplus}$), and three additional stars with long-term RV trends. We find that at least $19\pm8\%$ of subgiants in our sample of $21$ stars have outer companions, comparable to main-sequence stars. We perform a homogeneous analysis of the stars and planets in the sample, with median uncertainties of $3\%$, $8\%$ and $15\%$ for planet radii, masses and ages, doubling the number of known planets orbiting subgiant stars with bulk densities measured to better than $10\%$. We observe a dearth of giant planets around evolved stars with short orbital periods, consistent with tidal dissipation theories that predict the rapid inspiral of planets as their host stars leave the main sequence. We note the possible evidence for two distinct classes of hot Jupiter populations, indicating multiple formation channels to explain the observed distributions around evolved stars. Finally, continued RV monitoring of planets in this sample will provide a more comprehensive understanding of demographics for evolved planetary systems.


title: MODIPHY: Multimodal Obscured Detection for IoT using PHantom Convolution-Enabled Faster YOLO

abstract: Low-light conditions and occluded scenarios impede object detection in real-world Internet of Things (IoT) applications like autonomous vehicles and security systems. While advanced machine learning models strive for accuracy, their computational demands clash with the limitations of resource-constrained devices, hampering real-time performance. In our current research, we tackle this challenge, by introducing ``YOLO Phantom", one of the smallest YOLO models ever conceived. YOLO Phantom utilizes the novel Phantom Convolution block, achieving comparable accuracy to the latest YOLOv8n model while simultaneously reducing both parameters and model size by 43\%, resulting in a significant 19\% reduction in Giga Floating-Point Operations (GFLOPs). YOLO Phantom leverages transfer learning on our multimodal RGB-infrared dataset to address low-light and occlusion issues, equipping it with robust vision under adverse conditions. Its real-world efficacy is demonstrated on an IoT platform with advanced low-light and RGB cameras, seamlessly connecting to an AWS-based notification endpoint for efficient real-time object detection. Benchmarks reveal a substantial boost of 17\% and 14\% in frames per second (FPS) for thermal and RGB detection, respectively, compared to the baseline YOLOv8n model. For community contribution, both the code and the multimodal dataset are available on GitHub.


title: Detection of Spider Mites on Labrador Beans through Machine Learning Approaches Using Custom Datasets

abstract: Amidst growing food production demands, early plant disease detection is essential to safeguard crops; this study proposes a visual machine learning approach for plant disease detection, harnessing RGB and NIR data collected in real-world conditions through a JAI FS-1600D-10GE camera to build an RGBN dataset. A two-stage early plant disease detection model with YOLOv8 and a sequential CNN was used to train on a dataset with partial labels, which showed a 3.6% increase in mAP compared to a single-stage end-to-end segmentation model. The sequential CNN model achieved 90.62% validation accuracy utilising RGBN data. An average of 6.25% validation accuracy increase is found using RGBN in classification compared to RGB using ResNet15 and the sequential CNN models. Further research and dataset improvements are needed to meet food production demands.


title: Suppressing Pink Elephants with Direct Principle Feedback

abstract: Existing methods for controlling language models, such as RLHF and Constitutional AI, involve determining which LLM behaviors are desirable and training them into a language model. However, in many cases, it is desirable for LLMs to be controllable at inference time, so that they can be used in multiple contexts with diverse needs. We illustrate this with the Pink Elephant Problem: instructing an LLM to avoid discussing a certain entity (a ``Pink Elephant''), and instead discuss a preferred entity (``Grey Elephant''). We apply a novel simplification of Constitutional AI, Direct Principle Feedback, which skips the ranking of responses and uses DPO directly on critiques and revisions. Our results show that after DPF fine-tuning on our synthetic Pink Elephants dataset, our 13B fine-tuned LLaMA 2 model significantly outperforms Llama-2-13B-Chat and a prompted baseline, and performs as well as GPT-4 in on our curated test set assessing the Pink Elephant Problem.


title: A holographic mobile-based application for practicing pronunciation of basic English vocabulary for Spanish speaking children

abstract: This paper describes a holographic mobile-based application designed to help Spanish-speaking children to practice the pronunciation of basic English vocabulary words. The mastery of vocabulary is a fundamental step when learning a language but is often perceived as boring. Producing the correct pronunciation is frequently regarded as the most difficult and complex skill for new learners of English. In order to address these problems this research takes advantage of the power of multi-channel stimuli (sound, image and interaction) in a mobilebased hologram application in order to motivate students and improve their experience of practicing. We adapted the prize-winning HolograFX game and developed a new mobile application to help practice English pronunciation. A 3D holographic robot that acts as a virtual teacher interacts via voice with the children. To test the tool we carried out an experiment with 70 Spanish pre-school children divided into three classes, the control group using traditional methods such as images in books and on the blackboard, and two experimental groups using our drills and practice software. One experimental group used the mobile application without the holographic game and the other experimental group used the application with the holographic game. We performed pre-test and post-test performance assessments, a satisfaction survey and emotion analysis. The results are very promising. They show that the use of the holographic mobile-based application had a significant impact on the children's motivation. It also improved their performance compared to traditional methods used in the classroom.


title: CHIME/FRB Outriggers: KKO Station System and Commissioning Results

abstract: Localizing fast radio bursts (FRBs) to their host galaxies is an essential step to better understanding their origins and using them as cosmic probes. The CHIME/FRB Outrigger program aims to add VLBI-localization capabilities to CHIME, such that FRBs may be localized to tens of milliarcsecond precision at the time of their discovery, more than sufficient for host galaxy identification. The first-built outrigger telescope is KKO, located 66 kilometers west of CHIME. Cross-correlating KKO with CHIME can achieve arcsecond-scale localization in right ascension while avoiding the worst effects of the ionosphere. This paper presents measurements of KKO's performance throughout its commissioning phase, as well as a summary of its design and function. We demonstrate KKO's capabilities as a standalone instrument by producing full-sky images, mapping the angular and frequency structure of the primary beam, and measuring feed positions. To demonstrate the localization capabilities of the CHIME -- KKO baseline, we collected five separate observations each for a set of twenty bright pulsars, and aimed to measure their positions to within 5~arcseconds. All of these pulses were successfully localized to within this specification. The next two outriggers are expected to be commissioned in 2024, and will enable subarcsecond localizations for approximately hundreds of FRBs each year.


title: A systematic investigation of learnability from single child linguistic input

abstract: Language models (LMs) have demonstrated remarkable proficiency in generating linguistically coherent text, sparking discussions about their relevance to understanding human language learnability. However, a significant gap exists between the training data for these models and the linguistic input a child receives. LMs are typically trained on data that is orders of magnitude larger and fundamentally different from child-directed speech (Warstadt and Bowman, 2022; Warstadt et al., 2023; Frank, 2023a). Addressing this discrepancy, our research focuses on training LMs on subsets of a single child's linguistic input. Previously, Wang, Vong, Kim, and Lake (2023) found that LMs trained in this setting can form syntactic and semantic word clusters and develop sensitivity to certain linguistic phenomena, but they only considered LSTMs and simpler neural networks trained from just one single-child dataset. Here, to examine the robustness of learnability from single-child input, we systematically train six different model architectures on five datasets (3 single-child and 2 baselines). We find that the models trained on single-child datasets showed consistent results that matched with previous work, underscoring the robustness of forming meaningful syntactic and semantic representations from a subset of a child's linguistic input.


title: Wavefront Randomization Improves Deconvolution

abstract: The performance of an imaging system is limited by optical aberrations, which cause blurriness in the resulting image. Digital correction techniques, such as deconvolution, have limited ability to correct the blur, since some spatial frequencies in the scene are not measured adequately (i.e., 'zeros' of the system transfer function). We prove that the addition of a random mask to an imaging system removes its dependence on aberrations, reducing the likelihood of zeros in the transfer function and consequently decreasing the sensitivity to noise during deconvolution. In simulation, we show that this strategy improves image quality over a range of aberration types, aberration strengths, and signal-to-noise ratios.


title: FAST: Factorizable Attention for Speeding up Transformers

abstract: Motivated by the factorization inherent in the original fast multipole method and the improved fast Gauss transform we introduce a factorable form of attention that operates efficiently in high dimensions. This approach reduces the computational and memory complexity of the attention mechanism in transformers from $O(N^2)$ to $O(N)$. In comparison to previous attempts, our work presents a linearly scaled attention mechanism that maintains the full representation of the attention matrix without compromising on sparsification and incorporates the all-to-all relationship between tokens. We explore the properties of our new attention metric and conduct tests in various standard settings. Results indicate that our attention mechanism has a robust performance and holds significant promise for diverse applications where self-attention is used.


title: The $s^\pm$-Wave Superconductivity in the Pressurized La$_4$Ni$_3$O$_{10}$

abstract: Recently, evidence of superconductivity (SC) has been reported in pressurized La$_4$Ni$_3$O$_{10}$. Here we study the possible pairing mechanism and pairing symmetry in this material. Through fitting the density-functional-theory band structure, we provide a six-orbital tight-binding model. In comparison with the band structure of La$_3$Ni$_2$O$_7$, the additional non-bonding $d_{z^2}$ band is importance to the pairing mechanism here. When the multi-orbital Hubbard interactions are included, our random-phase-approximation based study yields an $s^{\pm}$-wave pairing. The dominant FS nesting with nesting vector $\mathbf{Q}_1\approx (\pi,\pi)$ is between the $\gamma$-pocket contributed by the bonding $d_{z^2}$ band top and the $\alpha_1$-pocket contributed by the non-bonding $d_{z^2}$ band bottom, leading to the strongest pairing gap amplitude and opposite gap signs within the two regimes. The dominant real-space pairing is the interlayer pairing between the $d_{z^2}$ orbitals. We have also studied the doping dependence of the pairing symmetry and $T_c$.


title: Ephemeris Matching Reveals False Positive Validated and Candidate Planets from the K2 Mission

abstract: Data from the Kepler space telescope have led to the discovery of thousands of planet candidates. Most of these candidates are likely to be real exoplanets, but a significant number of false positives still contaminate the sample, especially in candidate lists from the K2 mission. Identifying and rejecting the false positives lurking in the planet candidates sample is important for prioritizing follow-up resources and measuring the most accurate population statistics. Here, we identify false positives in the K2 planet candidate sample using a technique called "ephemeris matching," in which we compare the period and transit time of different signals. When signals from different stars show the same period and time of transit, we can conclude that at least one of the two signals is contamination. We identify 43 false positives among published K2 planet candidates (nearly 2% of the complete list), one of which (K2-256 b) was previously validated as genuine exoplanet. This work increases the reliability of the K2 planet sample and helps boost confidence in the surviving planet candidates.


title: An entertaining resonance experiment with just two spring scales

abstract: Resonance is a topic included in most introductory physics courses. Any mechanical system experiences resonance if it is driven by a periodic force with a frequency that matches its natural frequency. There are plenty of simple demonstrations of the resonance phenomena of mechanical systems which can be set up using readily available items . This work presents a very simple approach to demonstrate the phenomena using just two spring scales. The experiment presented here performs a "frequency sweep" and is also very entertaining to watch.


title: Data protection psychology using game theory

abstract: The research aims to explore how individuals perceive and interact with data protection practices in an era of increasing reliance on technology and the widespread availability of personal data. The study employs a game theoretical approach to investigate the psychological factors that influence individuals' awareness and comprehension of data protection measures. This involves using strategies, moves, rewards, and observations within the game to gain comprehensive insights into these psychological factors. Through the analysis of player strategies and moves within the game, the research identifies several psychological factors that impact awareness of data protection. These factors include levels of knowledge, attitudes, perceived risks, and individual differences among participants. The findings highlight the intricate nature of human cognition and behavior concerning data protection, offering insights crucial for developing effective awareness games and educational initiatives in this domain.


title: Development and validation of a conceptual multiple-choice survey instrument to assess student understanding of introductory thermodynamics

abstract: We discuss the development and validation of the long version of a conceptual multiple-choice survey instrument called the Survey of Thermodynamic Processes and First and Second Laws-Long (STPFaSL-Long) suitable for introductory physics courses. This version of the survey instrument is a longer version of the original shorter version developed and validated earlier. The 19 contexts including the exact wording of all of the problem situations posed in the two versions of the survey instrument are identical and the difference between the long and short versions of the instrument is only in the multiple-choice options. In particular, in the longer version of the survey instrument, there are no alternative conceptions explicitly embedded in the four multiple-choice options students choose from and the questions asked in a given context in one item of the shorter survey instrument were split into several items focusing, e.g., on different thermodynamic variables. After the development and validation of the longer version of the survey instrument, the final version was administered in 12 different in-person classes (four different institutions) in which students answered the questions in-class on paper scantron forms with the instructor as the proctor and 12 different in-person classes (five different institutions) in which students answered the questions online on Qualtrics within a two-hour period. This longer version of the survey instrument was administered to introductory physics students in various traditionally taught calculus-based and algebra-based classes before and after traditional lecture-based instruction in relevant concepts. It was also administered to upper-level undergraduates majoring in physics and Ph.D. students taught traditionally for bench marking purposes.


title: Applications, challenges and ethical issues of AI and ChatGPT in education

abstract: Artificial Intelligence (AI) in recent years has shown an unprecedentedly impressive development, tending to play a catalytic role in all aspects of life. The interest of the academic community, but also of governments, is huge in the dynamics of AI and is reflected by the truly explosive amount of investment and research that is underway. Enthusiastic opinions and statements about AI are made every day, but at the same time they also bring to the fore alarming predictions about its effects. This paper aims to describe the opportunities emerging from the use of artificial intelligence and ChatGPT to improve education, but also to identify the challenges and ethical issues that arise.


title: Continuous Representations of Preferences by Means of Two Continuous Functions

abstract: Let $\precsim$ be a reflexive binary relation on a topological space $(X, \tau )$. A pair $(u,v)$ of continuous real-valued functions on $(X, \tau )$ is said to be a {\em continuous representation} of $\precsim$ if, for all $x,y \in X$, [$(x \precsim y \Leftrightarrow u(x) \leq v(y))$]. In this paper we provide a characterization of the existence of a continuous representation of this kind in the general case when neither the functions $u$ and $v$ nor the topological space $(X,\tau )$ are required to satisfy any particular assumptions. Such characterization is based on a suitable continuity assumption of the binary relation $\precsim$, called {\em weak continuity}. In this way, we generalize all the previous results on the continuous representability of interval orders, and also of total preorders, as particular cases.


title: Prompt4Vis: Prompting Large Language Models with Example Mining and Schema Filtering for Tabular Data Visualization

abstract: Data visualization (DV) systems are increasingly recognized for their profound capability to uncover insights from vast datasets, gaining attention across both industry and academia. Crafting data queries is an essential process within certain declarative visualization languages (DVLs, e.g., Vega-Lite, EChart.). The evolution of natural language processing (NLP) technologies has streamlined the use of natural language interfaces to visualize tabular data, offering a more accessible and intuitive user experience. However, current methods for converting natural language questions into data visualization queries, such as Seq2Vis, ncNet, and RGVisNet, despite utilizing complex neural network architectures, still fall short of expectations and have great room for improvement. Large language models (LLMs) such as ChatGPT and GPT-4, have established new benchmarks in a variety of NLP tasks, fundamentally altering the landscape of the field. Inspired by these advancements, we introduce a novel framework, Prompt4Vis, leveraging LLMs and in-context learning to enhance the performance of generating data visualization from natural language. Prompt4Vis comprises two key components: (1) a multi-objective example mining module, designed to find out the truly effective examples that strengthen the LLM's in-context learning capabilities for text-to-vis; (2) a schema filtering module, which is proposed to simplify the schema of the database. Extensive experiments through 5-fold cross-validation on the NVBench dataset demonstrate the superiority of Prompt4Vis, which notably surpasses the state-of-the-art (SOTA) RGVisNet by approximately 35.9% and 71.3% on dev and test sets, respectively. To the best of our knowledge, Prompt4Vis is the first work that introduces in-context learning into the text-to-vis for generating data visualization queries.


title: Experimental Interface for Multimodal and Large Language Model Based Explanations of Educational Recommender Systems

abstract: In the age of artificial intelligence (AI), providing learners with suitable and sufficient explanations of AI-based recommendation algorithm's output becomes essential to enable them to make an informed decision about it. However, the rapid development of AI approaches for educational recommendations and their explainability is not accompanied by an equal level of evidence-based experimentation to evaluate the learning effect of those explanations. To address this issue, we propose an experimental web-based tool for evaluating multimodal and large language model (LLM) based explainability approaches. Our tool provides a comprehensive set of modular, interactive, and customizable explainability elements, which researchers and educators can utilize to study the role of individual and hybrid explainability methods. We design a two-stage evaluation of the proposed tool, with learners and with educators. Our preliminary results from the first stage show high acceptance of the tool's components, user-friendliness, and an induced motivation to use the explanations for exploring more information about the recommendation.


title: Does mapping elites illuminate search spaces? A large-scale user study of MAP--Elites applied to human--AI collaborative design

abstract: Two studies of a human-AI collaborative design tool were carried out in order to understand the influence design recommendations have on the design process. The tool investigated is based on an evolutionary algorithm attempting to design a virtual car to travel as far as possible in a fixed time. Participants were able to design their own cars, make recommendations to the algorithm and view sets of recommendations from the algorithm. The algorithm-recommended sets were designs which had been previously tested; some sets were simply randomly picked and other sets were picked using MAP-Elites. In the first study 808 design sessions were recorded as part of a science outreach program, each with analytical data of how each participant used the tool. To provide context to this quantitative data, a smaller double-blind lab study was also carried out with 12 participants. In the lab study the same quantitative data from the large scale study was collected alongside responses to interview questions. Although there is some evidence that the MAP-Elites provide higher-quality individual recommendations, neither study provides convincing evidence that these recommendations have a more positive influence on the design process than simply a random selection of designs. In fact, it seems that providing a combination of MAP-Elites and randomly selected recommendations is beneficial to the process. Furthermore, simply viewing recommendations from the MAP-Elites had a positive influence on engagement in the design task and the quality of the final design produced. Our findings are significant both for researchers designing new mixed-initiative tools, and those who wish to evaluate existing tools. Most significantly, we found that metrics researchers currently use to evaluate the success of human-AI collaborative algorithms do not measure the full influence these algorithms have on the design process.


title: Spatial Computing: Concept, Applications, Challenges and Future Directions

abstract: Spatial computing is a technological advancement that facilitates the seamless integration of devices into the physical environment, resulting in a more natural and intuitive digital world user experience. Spatial computing has the potential to become a significant advancement in the field of computing. From GPS and location-based services to healthcare, spatial computing technologies have influenced and improved our interactions with the digital world. The use of spatial computing in creating interactive digital environments has become increasingly popular and effective. This is explained by its increasing significance among researchers and industrial organisations, which motivated us to conduct this review. This review provides a detailed overview of spatial computing, including its enabling technologies and its impact on various applications. Projects related to spatial computing are also discussed. In this review, we also explored the potential challenges and limitations of spatial computing. Furthermore, we discuss potential solutions and future directions. Overall, this paper aims to provide a comprehensive understanding of spatial computing, its enabling technologies, their impact on various applications, emerging challenges, and potential solutions.


title: QACP: An Annotated Question Answering Dataset for Assisting Chinese Python Programming Learners

abstract: In online learning platforms, particularly in rapidly growing computer programming courses, addressing the thousands of students' learning queries requires considerable human cost. The creation of intelligent assistant large language models (LLMs) tailored for programming education necessitates distinct data support. However, in real application scenarios, the data resources for training such LLMs are relatively scarce. Therefore, to address the data scarcity in intelligent educational systems for programming, this paper proposes a new Chinese question-and-answer dataset for Python learners. To ensure the authenticity and reliability of the sources of the questions, we collected questions from actual student questions and categorized them according to various dimensions such as the type of questions and the type of learners. This annotation principle is designed to enhance the effectiveness and quality of online programming education, providing a solid data foundation for developing the programming teaching assists (TA). Furthermore, we conducted comprehensive evaluations of various LLMs proficient in processing and generating Chinese content, highlighting the potential limitations of general LLMs as intelligent teaching assistants in computer programming courses.


title: Requirements-Driven Visualizations for Big Data Analytics: a Model-Driven approach

abstract: Choosing the right Visualization techniques is critical in Big Data Analytics. However, decision makers are not experts on visualization and they face up with enormous difficulties in doing so. There are currently many different (i) Big Data sources and also (ii) many different visual analytics to be chosen. Every visualization technique is not valid for every Big Data source and is not adequate for every context. In order to tackle this problem, we propose an approach, based on the Model Driven Architecture (MDA) to facilitate the selection of the right visual analytics to non-expert users. The approach is based on three different models: (i) a requirements model based on goal-oriented modeling for representing information requirements, (ii) a data representation model for representing data which will be connected to visualizations and, (iii) a visualization model for representing visualization details regardless of their implementation technology. Together with these models, a set of transformations allow us to semi-automatically obtain the corresponding implementation avoiding the intervention of the non-expert users. In this way, the great advantage of our proposal is that users no longer need to focus on the characteristics of the visualization, but rather, they focus on their information requirements and obtain the visualization that is better suited for their needs. We show the applicability of our proposal through a case study focused on a tax collection organization from a real project developed by the Spin-off company Lucentia Lab.


title: Research on Older Adults' Interaction with E-Health Interface Based on Explainable Artificial Intelligence

abstract: This paper proposed a comprehensive mixed-methods framework with varied samples of older adults, including user experience, usability assessments, and in-depth interviews with the integration of Explainable Artificial Intelligence (XAI) methods. The experience of older adults' interaction with the Ehealth interface is collected through interviews and transformed into operatable databases whereas XAI methods are utilized to explain the collected interview results in this research work. The results show that XAI-infused e-health interfaces could play an important role in bridging the age-related digital divide by investigating elders' preferences when interacting with E-health interfaces. Furthermore, the study identifies important design factors, such as intuitive visualization and straightforward explanations, that are critical for creating efficient Human Computer Interaction (HCI) tools among older users. Furthermore, this study emphasizes the revolutionary potential of XAI in e-health interfaces for older users, emphasizing the importance of transparency and understandability in HCI-driven healthcare solutions. This study's findings have far-reaching implications for the design and development of user-centric e-health technologies, intending to increase the overall well-being of older adults.


title: Perceptual Thresholds for Radial Optic Flow Distortion in Near-Eye Stereoscopic Displays

abstract: We provide the first perceptual quantification of user's sensitivity to radial optic flow artifacts and demonstrate a promising approach for masking this optic flow artifact via blink suppression. Near-eye HMDs allow users to feel immersed in virtual environments by providing visual cues, like motion parallax and stereoscopy, that mimic how we view the physical world. However, these systems exhibit a variety of perceptual artifacts that can limit their usability and the user's sense of presence in VR. One well-known artifact is the vergence-accommodation conflict (VAC). Varifocal displays can mitigate VAC, but bring with them other artifacts such as a change in virtual image size (radial optic flow) when the focal plane changes. We conducted a set of psychophysical studies to measure users' ability to perceive this radial flow artifact before, during, and after self-initiated blinks. Our results showed that visual sensitivity was reduced by a factor of 10 at the start and for ~70 ms after a blink was detected. Pre- and post-blink sensitivity was, on average, ~0.15% image size change during normal viewing and increased to ~1.5-2.0% during blinks. Our results imply that a rapid (under 70 ms) radial optic flow distortion can go unnoticed during a blink. Furthermore, our results provide empirical data that can be used to inform engineering requirements for both hardware design and software-based graphical correction algorithms for future varifocal near-eye displays. Our project website is available at https://gamma.umd.edu/RoF/.


title: Smart Water Irrigation for Rice Farming through the Internet of Things

abstract: This study intends to build smart water irrigation for rice farming using IoT and microcontroller devices with solar panel support. The system demonstrates the capabilities of automated irrigation by reducing physical labor through smart monitoring of the temperature, soil moisture, and humidity using multiple sensors. This study uses an agile methodology as it is suitable for reiterative operation for the development of the prototype. The mean result for the interpretation of data gathered for the systems' adaptability and flexibility is 4.32. The researchers were able to develop smart water irrigation for rice farming using IoT and microcontroller devices with solar panel support and the respondents also agreed that Smart water irrigation for rice farming using IoT and microcontroller devices with solar panel support is practical and valuable. A decision support system is recommended that can analyze data collected from IoT sensors and provide further recommendations. Based on the results, it is also suggested that future researchers use drip irrigation, instead of flood irrigation. Smart water irrigation has the potential to revolutionize agriculture, enhance environmental sustainability, and address pressing global challenges related to water resources and food security. These implications highlight the importance of continued research and innovation in this field.


title: The chimera revisited: Wall- and magnetically-bounded turbulent flows

abstract: This paper is a first attempt at bringing together various concepts from research on wall- and magnetically-bounded turbulent flows. Brief reviews of both fields are provided: The main similarities identified are coherent (turbulent) structures, flow generation and transport barriers. Examples are provided and discussed.


title: How Can Generative AI Enhance the Well-being of Blind?

abstract: This paper examines the question of how generative AI can improve the well-being of blind or visually impaired people. It refers to a current example, the Be My Eyes app, in which the Be My AI feature was integrated in 2023, which is based on GPT-4 from OpenAI. The author's tests are described and evaluated. There is also an ethical and social discussion. The power of the tool, which can analyze still images in an amazing way, is demonstrated. Those affected gain a new independence and a new perception of their environment. At the same time, they are dependent on the world view and morality of the provider or developer, who prescribe or deny them certain descriptions. An outlook makes it clear that the analysis of moving images will mean a further leap forward. It is fair to say that generative AI can fundamentally improve the well-being of blind and visually impaired people and will change it in various ways.


title: Exploring patient trust in clinical advice from AI-driven LLMs like ChatGPT for self-diagnosis

abstract: Trustworthy clinical advice is crucial but burdensome when seeking health support from professionals. Inaccessibility and financial burdens present obstacles to obtaining professional clinical advice, even when healthcare is available. Consequently, individuals often resort to self-diagnosis, utilizing medical materials to validate the health conditions of their families and friends. However, the convenient method of self-diagnosis requires a commitment to learning and is often not effective, presenting risks when individuals seek self-care approaches or treatment strategies without professional guidance. Artificial Intelligence (AI), supported by Large Language Models (LLM), may become a powerful yet risky self-diagnosis tool for clinical advice due to the hallucination of LLM, where it produces inaccurate yet deceiving information. Thus, can we trust the clinical advice from AI-driven LLMs like ChatGPT like ChatGPT4 for self-diagnosis? We examined this issue through a think-aloud observation: a patient uses GPT4 for self-diagnosis and clinical advice while a doctor assesses ChatGPT responses with their own expertise. After that, we conducted a semi-structured interview with the patient to understand their trust in AI-driven LLMs for clinical advice. we have concluded that the confounding factors influencing a patient's trust revolve around their competency-evaluation. Essentially, trust is equated with efficacy, which is determined by whether decisions made based on the AI agent's clinical advice and suggestion will effectively achieve the patient health goals. Patients tend to trust doctors more than AI agents due to this strategy, believing that educated, authorized doctors can provide effective medical guidance. This competency-based trust also explains why patients often perceive more experienced doctors as more trustworthy compared to less experienced ones.


title: Digitally Restricted Sets and the Goldbach Conjecture: An Exceptional Set Result

abstract: We show that for any set $D$ of at least two digits in a given base $b$, there exists a $\delta(D,b)>0$ such that within the set $\mathcal{A}$ of numbers whose digits base $b$ are exclusively from $D$, the number of even integers in $\mathcal{A}$ which are less than $X$ and not representable as the sum of two primes is less than $|\mathcal{A}(X)|^{1-\delta}$


title: Towards the Human Digital Twin: Definition and Design -- A survey

abstract: Human Digital Twins (HDTs) are a fast-emerging technology with significant potential in fields ranging from healthcare to sports. HDTs extend the traditional understanding of Digital Twins by representing humans as the underlying physical entity. This has introduced several significant challenges, including ambiguity in the definition of HDTs and a lack of guidance for their design. This survey brings together the recent advances in the field of HDTs to guide future developers by proposing a first cross-domain definition of HDTs based on their characteristics, as well as eleven key design considerations that emerge from the associated challenges.


title: eHealth Intervention to Improve Health Habits in the Adolescent Population: Mixed Methods Study

abstract: Background: Technology has provided a new way of life for adolescents. Strategies aimed at improving health behaviors through digital platforms can offer promising results. However, since peers can modify behaviors related to food and exercise, studying digital interventions based on peer influence to improve weight status of adolescents is important. Objective: To assess an eHealth app's effectiveness in adolescent population improvements in age- and sex-adjusted BMI percentiles. The study also examined social relationships of adolescents pre- and postintervention, identifying group leaders to study their profiles, eating, physical activity habits, and app usage. Methods: BMI percentiles were calculated following World Health Organization guidelines. Participants' diets and physical activity levels were assessed using the KIDMED questionnaire and PAQ-A. Social network variables were analyzed using SNA methodology, with reciprocal friendships used to compute the "degree" measure for centrality. Results: The sample included 210 individuals in the intervention group and 91 in the control group, with a 60.1% participation rate. Adolescents in the intervention group modified their BMI toward the 50th percentile, improving diet and increasing social network postintervention. Group leaders were also leaders in physical activity and app usage.


title: IllusionX: An LLM-powered mixed reality personal companion

abstract: Mixed Reality (MR) and Artificial Intelligence (AI) are increasingly becoming integral parts of our daily lives. Their applications range in fields from healthcare to education to entertainment. MR has opened a new frontier for such fields as well as new methods of enhancing user engagement. In this paper, We propose a new system one that combines the power of Large Language Models (LLMs) and mixed reality (MR) to provide a personalized companion for educational purposes. We present an overview of its structure and components as well tests to measure its performance. We found that our system is better in generating coherent information, however it's rather limited by the documents provided to it. This interdisciplinary approach aims to provide a better user experience and enhance user engagement. The user can interact with the system through a custom-design smart watch, smart glasses and a mobile app.


title: Point and Instruct: Enabling Precise Image Editing by Unifying Direct Manipulation and Text Instructions

abstract: Machine learning has enabled the development of powerful systems capable of editing images from natural language instructions. However, in many common scenarios it is difficult for users to specify precise image transformations with text alone. For example, in an image with several dogs, it is difficult to select a particular dog and move it to a precise location. Doing this with text alone would require a complex prompt that disambiguates the target dog and describes the destination. However, direct manipulation is well suited to visual tasks like selecting objects and specifying locations. We introduce Point and Instruct, a system for seamlessly combining familiar direct manipulation and textual instructions to enable precise image manipulation. With our system, a user can visually mark objects and locations, and reference them in textual instructions. This allows users to benefit from both the visual descriptiveness of natural language and the spatial precision of direct manipulation.


title: From Data Creator to Data Reuser: Distance Matters

abstract: Sharing research data is complex, labor-intensive, expensive, and requires infrastructure investments by multiple stakeholders. Open science policies focus on data release rather than on data reuse, yet reuse is also difficult, expensive, and may never occur. Investments in data management could be made more wisely by considering who might reuse data, how, why, for what purposes, and when. Data creators cannot anticipate all possible reuses or reusers; our goal is to identify factors that may aid stakeholders in deciding how to invest in research data, how to identify potential reuses and reusers, and how to improve data exchange processes. Drawing upon empirical studies of data sharing and reuse, we develop the theoretical construct of distance between data creator and data reuser, identifying six distance dimensions that influence the ability to transfer knowledge effectively: domain, methods, collaboration, curation, purposes, and time and temporality. These dimensions are primarily social in character, with associated technical aspects that can decrease - or increase - distances between creators and reusers. We identify the order of expected influence on data reuse and ways in which the six dimensions are interdependent. Our theoretical framing of the distance between data creators and prospective reusers leads to recommendations to four categories of stakeholders on how to make data sharing and reuse more effective: data creators, data reusers, data archivists, and funding agencies.


title: A Systematic Survey of Prompt Engineering in Large Language Models: Techniques and Applications

abstract: Prompt engineering has emerged as an indispensable technique for extending the capabilities of large language models (LLMs) and vision-language models (VLMs). This approach leverages task-specific instructions, known as prompts, to enhance model efficacy without modifying the core model parameters. Rather than updating the model parameters, prompts allow seamless integration of pre-trained models into downstream tasks by eliciting desired model behaviors solely based on the given prompt. Prompts can be natural language instructions that provide context to guide the model or learned vector representations that activate relevant knowledge. This burgeoning field has enabled success across various applications, from question-answering to commonsense reasoning. However, there remains a lack of systematic organization and understanding of the diverse prompt engineering methods and techniques. This survey paper addresses the gap by providing a structured overview of recent advancements in prompt engineering, categorized by application area. For each prompting approach, we provide a summary detailing the prompting methodology, its applications, the models involved, and the datasets utilized. We also delve into the strengths and limitations of each approach and include a taxonomy diagram and table summarizing datasets, models, and critical points of each prompting technique. This systematic analysis enables a better understanding of this rapidly developing field and facilitates future research by illuminating open challenges and opportunities for prompt engineering.


title: Abstracted Trajectory Visualization for Explainability in Reinforcement Learning

abstract: Explainable AI (XAI) has demonstrated the potential to help reinforcement learning (RL) practitioners to understand how RL models work. However, XAI for users who do not have RL expertise (non-RL experts), has not been studied sufficiently. This results in a difficulty for the non-RL experts to participate in the fundamental discussion of how RL models should be designed for an incoming society where humans and AI coexist. Solving such a problem would enable RL experts to communicate with the non-RL experts in producing machine learning solutions that better fit our society. We argue that abstracted trajectories, that depicts transitions between the major states of the RL model, will be useful for non-RL experts to build a mental model of the agents. Our early results suggest that by leveraging a visualization of the abstracted trajectories, users without RL expertise are able to infer the behavior patterns of RL.


title: Congruence speed of tetration bases ending with $0$

abstract: For every non-negative integer $a$ and positive integer $b$, the congruence speed of the tetration $^{b}a$ is the difference between the number of the rightmost digits of $^{b}a$ that are the same as those of $^{b+1}a$ and the number of the rightmost digits of $^{b-1}a$ that are the same as those of $^{b}a$. In the decimal numeral system, if the given base $a$ is not a multiple of $10$, as $b:=b(a)$ becomes sufficiently large, we know that the value of the congruence speed does not depend on $b$ anymore, otherwise the number of the new rightmost zeros of $^{b}a$ drastically increases for any unit increment of $b$ and, for this reason, we have not previously described the congruence speed of $a$ when it is a multiple of $10$. This short note fills the gap by giving the formula for the congruence speed of the mentioned values of $a$ at any given height of the hyperexponent.


title: Optimal reconstruction of water-waves from noisy pressure measurements at the seabed

abstract: We consider the problem of recovering the surface wave profile from noisy bottom pressure measurements with (\textit{a priori} unknown) arbitrary pressure at the surface. Without noise, the direct approach developed in \cite{clamond2023steady} provides an effective way to recover the sea surface. However, the assumption of analyticity for the measurement renders this method inefficient in the presence of noise. Therefore, we introduce an optimisation procedure based on the minimisation of a distance between a recovered bottom pressure and its measurement. Such method proves to be well-designed to handle perturbed signals. We illustrate the effectiveness of this approach in the recovery of gravity-capillary waves from unfiltered noisy data.


title: On a problem of Pongsriiam on the sum of divisors

abstract: For any positive integer $n$, let $\sigma (n)$ be the sum of all positive divisors of $n.$ In this paper, it is proved that for every integer $ 1\leq k\leq 29,\ (k,30)=1, $ we have $$\sum_{n\leq K}\sigma(30n)>\sum_{n\leq K}\sigma(30n+k)$$ for all $K\in \mathbb{N},$ which gives a positive answer to a problem posed by Pongsriiam recently.


title: A Human-Machine Collaboration Framework for the Development of Schemas

abstract: The Winograd Schema Challenge (WSC), a seemingly well-thought-out test for machine intelligence, has been proposed to shed light on developing systems that exhibit human behavior. Since its introduction, it aimed to pivot the focus of the AI community from the technology to the science of AI. While common and trivial for humans, studies show that it is still challenging for machines, especially when they have to deal with novel schemas, that is, well-designed sentences that require the resolving of definite pronouns. As researchers have become increasingly interested in the challenge itself, this presumably necessitates the availability of an extensive collection of Winograd schemas, which goes beyond what human experts can reasonably develop themselves, especially after proposed ways of utilizing them as novel forms of CAPTCHAs. To address this necessity, we propose a novel framework that explicitly focuses on how humans and machines can collaborate as teammates to design novel schemas from scratch. This is being accomplished by combining two recent studies from the literature: i) Winventor, a machine-driven approach for the development of large amounts of Winograd schemas, albeit not of high quality, and ii) WinoFlexi, an online crowdsourcing system that allows crowd workers to develop a limited number of schemas often of similar quality to that of experts. Our proposal crafts a new road map toward developing a novel collaborative platform that amplifies human and machine intelligence by combining their complementary strengths.


title: Human-Centered AI Product Prototyping with No-Code AutoML: Conceptual Framework, Potentials and Limitations

abstract: This paper addresses the complexities inherent in AI product prototyping, focusing on the challenges posed by the probabilistic nature of AI behavior and the limited accessibility of prototyping tools to non-experts. A Design Science Research (DSR) approach is presented which culminates in a conceptual framework aimed at improving the AI prototyping process. Through a comprehensive literature review, key challenges were identified and no-code AutoML was analyzed as a solution. The framework describes the seamless incorporation of non-expert input and evaluation during prototyping, leveraging the potential of no-code AutoML to enhance accessibility and interpretability. A hybrid approach of combining naturalistic (case study) and artificial evaluation methods (criteria-based analysis) validated the utility of our approach, highlighting its efficacy in supporting AI non-experts and streamlining decision-making and its limitations. Implications for academia and industry, emphasizing the strategic integration of no-code AutoML to enhance AI product development processes, mitigate risks, and foster innovation, are discussed.