title: The average solution of a TSP instance in a graph

abstract: We define the average $k$-TSP distance $\mu_{tsp,k}$ of a graph $G$ as the average length of a shortest walk visiting $k$ vertices, i.e. the expected length of the solution for a random TSP instance with $k$ uniformly random chosen vertices. We prove relations with the average $k$-Steiner distance and characterize the cases where equality occurs. We also give sharp bounds for $\mu_{tsp,k}(G)$ given the order of the graph.


title: Exponential Tails and Asymmetry Relations for the Spread of Biased Random Walks

abstract: Exponential, and not Gaussian, decay of probability density functions was studied by Laplace in the context of his analysis of errors. Such Laplace propagators for the diffusive motion of single particles in disordered media were recently observed in numerous experimental systems. What will happen to this universality when an external driving force is applied? Using the ubiquitous continuous time random walk with bias, and the Crooks relation in conjunction with large deviations theory, we derive two properties of the positional probability density function $P_F(x,t)$ that hold for a wide spectrum of random walk models: (I) Universal asymmetric exponential decay of $P_F(X,t)$ for large $|X|$, and (II) Existence of a time transformation that for large $|X|$ allows to express $P_F(X,t)$ in terms of the propagator of the unbiased process (measured at a shorter time). These findings allow us to establish how the symmetric exponential-like tails, measured in many unbiased processes, will transform into asymmetric Laplace tails when an external force is applied.


title: Flows of $G_2$-Structures associated to Calabi-Yau Manifolds

abstract: We establish a correspondence between a parabolic complex Monge-Amp\`ere equation and the $G_2$-Laplacian flow for initial data produced from a K\"ahler metric on a complex $2$- or $3$-fold. By applying estimate for the complex Monge-Amp\`ere equation, we show that for this class of initial data the $G_2$-Laplacian flow exists for all time and converges to a torsion-free $G_2$-structure induced by a K\"ahler Ricci-flat metric. Similar results are obtained for the $G_2$-Laplacian coflow, and in this case the coflow is related to the K\"ahler-Ricci flow.


title: Thin He-4 films on alkali substrates: where do He-3 atoms bind?

abstract: The possible occurrence of bound states of He-3 atoms in the vicinity of a weakly attractive substrate coated with a thin superfluid He-4film is investigated by first principle computer simulations. No evidence is seen of such bound states, even in the case of the weakest substrate, i.e., Cs; a single He-3 atom always binds to the free He-4 surface, regardless of the thickness of the He-4 film. A comparison of He-4 density profiles computed in this work with those yielded by the Density Functional approach that led to the prediction of He-3 bound states near the substrate, shows that the latter may not have afforded a sufficiently accurate structural description of the adsorbed He-4 film.


title: Dynamics of real-time forecasting failure and recovery due to data gaps

abstract: Real-time forecasting is important to the society. It uses continuous data streams to update forecasts for sustained accuracy. But the data source is vulnerable to attacks or accidents and the dynamics of forecasting failure and recovery due to data gaps is poorly understood. As the first systematic study, a Lorenz model-based forecasting system was disrupted with data gaps of various lengths and timing. The restart time of data assimilation is found to be the most important factor. The forecasting accuracy is found not returning to the original even long after the data assimilation recovery.


title: Dynamical systems analysis in $f(T,\phi)$ gravity

abstract: Teleparallel based cosmological models provide a description of gravity in which torsion is the mediator of gravitation. Several extensions have been made within the so-called Teleparallel equivalent of general relativity which is equivalent to general relativity at the level of the equations of motion where attempts are made to study the extensions of this form of gravity and to describe more general functions of the torsion scalar $T$. One of these extensions is $f(T,\phi)$ gravity; $T$ and $\phi$ respectively denote the torsion scalar and scalar field. In this work, the dynamical system analysis has been performed for this class of theories to obtain the cosmological behaviour of a number of models. Two models are presented here with some functional form of the torsion scalar and the critical points are obtained. For each critical point, the stability behaviour and the corresponding cosmology are shown. Through the graphical representation the equation of state parameter and the density parameters for matter-dominated, radiation-dominated and dark energy phase are also presented for both the models.


title: A Survey of Neural Trees

abstract: Neural networks (NNs) and decision trees (DTs) are both popular models of machine learning, yet coming with mutually exclusive advantages and limitations. To bring the best of the two worlds, a variety of approaches are proposed to integrate NNs and DTs explicitly or implicitly. In this survey, these approaches are organized in a school which we term as neural trees (NTs). This survey aims to present a comprehensive review of NTs and attempts to identify how they enhance the model interpretability. We first propose a thorough taxonomy of NTs that expresses the gradual integration and co-evolution of NNs and DTs. Afterward, we analyze NTs in terms of their interpretability and performance, and suggest possible solutions to the remaining challenges. Finally, this survey concludes with a discussion about other considerations like conditional computation and promising directions towards this field. A list of papers reviewed in this survey, along with their corresponding codes, is available at: https://github.com/zju-vipa/awesome-neural-trees


title: Bispectral Neural Networks

abstract: We present a neural network architecture, Bispectral Neural Networks (BNNs) for learning representations that are invariant to the actions of compact commutative groups on the space over which a signal is defined. The model incorporates the ansatz of the bispectrum, an analytically defined group invariant that is complete -- that is, it preserves all signal structure while removing only the variation due to group actions. Here, we demonstrate that BNNs are able to simultaneously learn groups, their irreducible representations, and corresponding equivariant and complete-invariant maps purely from the symmetries implicit in data. Further, we demonstrate that the completeness property endows these networks with strong invariance-based adversarial robustness. This work establishes Bispectral Neural Networks as a powerful computational primitive for robust invariant representation learning


title: The Cosmic Telescope that Lenses the Sunburst Arc, PSZ1 G311.65-18.48: Strong Gravitational Lensing model and Source Plane Analysis

abstract: We present a strong lensing analysis of the cluster PSZ1 G311.65-18.48, based on Hubble Space Telescope imaging, archival VLT/MUSE spectroscopy, and Chandra X-ray data. This cool-core cluster (z=0.443) lenses the brightest lensed galaxy known, dubbed the "Sunburst Arc" (z=2.3703), a Lyman continuum (LyC) emitting galaxy multiply-imaged 12 times. We identify in this field 14 additional strongly-lensed galaxies to constrain a strong lens model, and report secure spectroscopic redshifts of four. We measure a projected cluster core mass of M(<250 kpc)=2.93+0.01/-0.02x10^14M_sun. The two least-magnified but complete images of the Sunburst Arc's source galaxy are magnified by ~13x, while the LyC clump is magnified by ~4-80x. We present time delay predictions and conclusive evidence that a discrepant clump in the Sunburst Arc, previously claimed to be a transient, is not variable, thus strengthening the hypothesis that it results from an exceptionally high magnification. A source plane reconstruction and analysis of the Sunburst Arc finds its physical size to be 1x2 kpc, and that it is resolved in three distinct directions in the source plane, 0, 40, and 75 degrees (east of North). We place an upper limit of r <~ 50 pc on the source plane size of unresolved clumps, and r<~ 32 pc for the LyC clump. Finally, we report that the Sunburst Arc is likely in a system of two or more galaxies separated by <~6 kpc in projection. Their interaction may drive star formation and could play a role in the mechanism responsible for the leaking LyC radiation.


title: Single photons versus coherent state input in waveguide quantum electrodynamics: light scattering, Kerr and cross-Kerr effect

abstract: While the theoretical studies in waveguide quantum electrodynamics predominate with single-photon and two-photon Fock state (photon number states) input, the experiments are primarily carried out using a faint coherent light. We create a theoretical toolbox to compare and contrast linear and nonlinear light scattering by a two-level or a three-level emitter embedded in an open waveguide carrying Fock state or coherent state inputs. We identify rules to compare light transport properties, the Kerr, and cross-Kerr nonlinearities of the medium for the two types of inputs. A generalized description of the Kerr and cross-Kerr effect for different types of inputs is formulated to compare the Kerr and cross-Kerr nonlinearity between two photons in these models.


title: Wideband Direct Detection Constraints on Hidden Photon Dark Matter with the QUALIPHIDE Experiment

abstract: We report direction detection constraints on the presence of hidden photon dark matter with masses between 20-30 ueV using a cryogenic emitter-receiver-amplifier spectroscopy setup designed as the first iteration of QUALIPHIDE (QUantum LImited PHotons In the Dark Experiment). A metallic dish sources conversion photons from hidden photon kinetic mixing onto a horn antenna which is coupled to a C-band kinetic inductance traveling wave parametric amplifier, providing for near quantum-limited noise performance. We demonstrate a first probing of the kinetic mixing parameter "chi" to just above 10^-12 for the majority of hidden photon masses in this region. These results not only represent stringent constraints on new dark matter parameter space but are also the first demonstrated use of wideband quantum-limited amplification for astroparticle applications

categories: astro-ph.CO hep-ex hep-ph physics.ins-det


title: Using Computational Approaches in Visual Identity Design: A Visual Identity for the Design and Multimedia Courses of Faculty of Sciences and Technology of University of Coimbra

abstract: Computational approaches are beginning to be used to design dynamic visual identities fuelled by data and generative processes. In this work, we explore these computational approaches in order to generate a visual identity that creates bespoke letterings and images. We achieve this developing a generative design system that automatically assembles black and white visual modules. This system generates designs performing two main methods: (i) Assisted generation; and (ii) Automatic generation. Assisted generation method produces outputs wherein the placement of modules is determined by a configuration file previous defined. On the other hand, the Automatic generation method produces outputs wherein the modules are assembled to depict an input image. This system speeds up the process of design and deployment of one visual identity design as well as it generates outputs visual coherent among them. In this paper, we compressively describe this system and its achievements.


title: How Slowly can the Early Universe Expand?

abstract: When the expansion of the universe is dominated by a perfect fluid with equation of state parameter $w$ and a sound speed $c_s$ satisfying $w = c_s^2 \le 1$, the Hubble parameter $H$ and time $t$ satisfy the bound $Ht \ge 1/3$. There has been recent interest in "ultra-slow" expansion laws with $Ht < 1/3$ (sometimes described as "fast expanding" models). We examine various models that can produce ultra-slow expansion: scalar fields with negative potentials, barotropic fluids, braneworld models, or a loitering phase in the early universe. Scalar field models and barotropic models for ultra-slow expansion are unstable to evolution toward $w = 1$ or $w \rightarrow \infty$ in the former case and $w \rightarrow \infty$ in the latter case. Braneworld models can yield ultra-slow expansion but require an expansion law beyond the standard Friedman equation. Loitering early universe models can produce a quasi-static expansion phase in the early universe but require an exotic negative-density component. These results suggest that appeals to an ultra-slow expansion phase in the early universe should be approached with some caution, although the loitering early universe may be worthy of further investigation. These results do not apply to ultra-slow contracting models.


title: Scattering wave functions for Aharonov-Bohm-Coulomb field: Path integral treatment

abstract: Exact Green's functions related to Dirac particle submitted to the combination of Aharonov-Bohm and Coulomb fields in (2+1) coordinate space are analytically calculated via path integral formalism in both global and local representations. The scattering normalized wavefunctions as well as the corresponding continuous energy eigenvalues are extracted following this approach. The interesting properties of the spinors are thus deduced after symmetrization. According to the symmetric form for the Green's function, it is shown that the equivalence with Dirac equation is undertaken with much ease. Some particular cases are also considered.


title: Planted matching problems on random hypergraphs

abstract: We consider the problem of inferring a matching hidden in a weighted random $k$-hypergraph. We assume that the hyperedges' weights are random and distributed according to two different densities conditioning on the fact that they belong to the hidden matching, or not. We show that, for $k>2$ and in the large graph size limit, an algorithmic first order transition in the signal strength separates a regime in which a complete recovery of the hidden matching is feasible from a regime in which partial recovery is possible. This is in contrast to the $k=2$ case where the transition is known to be continuous. Finally, we consider the case of graphs presenting a mixture of edges and $3$-hyperedges, interpolating between the $k=2$ and the $k=3$ cases, and we study how the transition changes from continuous to first order by tuning the relative amount of edges and hyperedges.

categories: cond-mat.dis-nn cs.DM cs.IT math.IT math.PR math.ST stat.TH


title: Rooting the EDF method into the ab initio framework. PGCM-PT formalism based on MR-IMSRG pre-processed Hamiltonians

abstract: Recently, ab initio techniques have been successfully connected to the traditional valence-space shell model. In doing so, they can either explicitly provide ab initio shell-model effective Hamiltonians or constrain the construction of empirical ones. In the present work, the possibility to follow a similar path for the nuclear energy density functional (EDF) method is analyzed. For this connection to be actualized, two theoretical techniques are instrumental: the recently proposed ab initio PGCM-PT many-body formalism and the MR-IMSRG pre-processing of the nuclear Hamiltonian. Based on both formal arguments and numerical results, possible new lines of research are briefly discussed, namely to compute ab initio EDF effective Hamiltonians at low computational cost, to constrain empirical ones or to produce them directly via an effective field theory that remains to be invented.


title: Quasi-convexity in mixtures for generalized rank-dependent functions

abstract: Quasi-convexity in probabilistic mixtures is a common and useful property in decision analysis. We study a general class of non-monotone mappings, called the generalized rank-dependent functions, which include the preference models of expected utilities, dual utilities, and rank-dependent utilities as special cases, as well as signed Choquet integrals used in risk management. As one of our main results, quasi-convex (in mixtures) signed Choquet integrals precisely include two parts: those that are convex (in mixtures) and the class of scaled quantile-spread mixtures, and this result leads to a full characterization of quasi-convexity for generalized rank-dependent functions. Seven equivalent conditions for quasi-convexity in mixtures are obtained for dual utilities and signed Choquet integrals. We also illustrate a conflict between convexity in mixtures and convexity in risk pooling among constant-additive mappings.


title: Some exact results for non-degenerate generalized Tur\'an problems

abstract: The generalized Tur\'an number $\mathrm{ex}(n,H,F)$ is the maximum number of copies of $H$ in $n$-vertex $F$-free graphs. We consider the case where $\chi(H)<\chi(F)$. There are several exact results on $\mathrm{ex}(n,H,F)$ when the extremal graph is a complete $(\chi(F)-1)$-partite graph. We obtain multiple exact results with other kinds of extremal graphs.


title: Causal discovery for time series with latent confounders

abstract: Reconstructing the causal relationships behind the phenomena we observe is a fundamental challenge in all areas of science. Discovering causal relationships through experiments is often infeasible, unethical, or expensive in complex systems. However, increases in computational power allow us to process the ever-growing amount of data that modern science generates, leading to an emerging interest in the causal discovery problem from observational data. This work evaluates the LPCMCI algorithm, which aims to find generators compatible with a multi-dimensional, highly autocorrelated time series while some variables are unobserved. We find that LPCMCI performs much better than a random algorithm mimicking not knowing anything but is still far from optimal detection. Furthermore, LPCMCI performs best on auto-dependencies, then contemporaneous dependencies, and struggles most with lagged dependencies. The source code of this project is available online.


title: Variational optimization of tensor-network states with the honeycomb-lattice corner transfer matrix

abstract: We develop a method of variational optimization of the infinite projected entangled pair states on the honeycomb lattice. The method is based on the automatic differentiation of the honeycomb-lattice corner transfer matrix renormalization group. We apply the approach to the antiferromagnetic Heisenberg spin-1/2 and ferromagnetic Kitaev models on the honeycomb lattice. The developed formalism gives quantitatively accurate results for the main physical observables and has a necessary potential for further extensions.


title: The Stability of the Quantum Hall State at $\nu = 1$ in Bilayer Electron Systems

abstract: The ground states of electrons in two vertically coupled quantum dots in the presence of an external magnetic field have been studied within the density functional theory. A phase diagram of the transition to the quantum Hall state in double quantum dots has been plotted for the Landau level filling factor $\nu = 1$. It has been shown that the quantum Hall state can be stable for a zero tunnel splitting. The influence of the impurity potential on the stability condition for the quantum Hall state has been analyzed.


title: Foundations and Trends in Multimodal Machine Learning: Principles, Challenges, and Open Questions

abstract: Multimodal machine learning is a vibrant multi-disciplinary research field that aims to design computer agents with intelligent capabilities such as understanding, reasoning, and learning through integrating multiple communicative modalities, including linguistic, acoustic, visual, tactile, and physiological messages. With the recent interest in video understanding, embodied autonomous agents, text-to-image generation, and multisensor fusion in application domains such as healthcare and robotics, multimodal machine learning has brought unique computational and theoretical challenges to the machine learning community given the heterogeneity of data sources and the interconnections often found between modalities. However, the breadth of progress in multimodal research has made it difficult to identify the common themes and open questions in the field. By synthesizing a broad range of application domains and theoretical frameworks from both historical and recent perspectives, this paper is designed to provide an overview of the computational and theoretical foundations of multimodal machine learning. We start by defining three key principles of modality heterogeneity, connections, and interactions that have driven subsequent innovations, and propose a taxonomy of six core technical challenges: representation, alignment, reasoning, generation, transference, and quantification covering historical and recent trends. Recent technical achievements will be presented through the lens of this taxonomy, allowing researchers to understand the similarities and differences across new approaches. We end by motivating several open problems for future research as identified by our taxonomy.


title: Physics-Guided Adversarial Machine Learning for Aircraft Systems Simulation

abstract: In the context of aircraft system performance assessment, deep learning technologies allow to quickly infer models from experimental measurements, with less detailed system knowledge than usually required by physics-based modeling. However, this inexpensive model development also comes with new challenges regarding model trustworthiness. This work presents a novel approach, physics-guided adversarial machine learning (ML), that improves the confidence over the physics consistency of the model. The approach performs, first, a physics-guided adversarial testing phase to search for test inputs revealing behavioral system inconsistencies, while still falling within the range of foreseeable operational conditions. Then, it proceeds with physics-informed adversarial training to teach the model the system-related physics domain foreknowledge through iteratively reducing the unwanted output deviations on the previously-uncovered counterexamples. Empirical evaluation on two aircraft system performance models shows the effectiveness of our adversarial ML approach in exposing physical inconsistencies of both models and in improving their propensity to be consistent with physics domain knowledge.


title: Improving the bidirectional steerability between two accelerated partners via filtering process

abstract: The bidirectional steering between two accelerated partners sharing initially different classes of entangled states is discussed. Due to the decoherence, the steerability and its degree decrease either as the acceleration increases or the partners share initially a small amount of quantum correlations. The possibility of increasing the steerability is investigated by applying the filtering process. Our results show that by increasing the filtering strength, one can improve the upper bounds of the steerability and the range of acceleration at which the steerability is possible. Steering large coherent states is much better than steering less coherent ones.


title: Responsibility: An Example-based Explainable AI approach via Training Process Inspection

abstract: Explainable Artificial Intelligence (XAI) methods are intended to help human users better understand the decision making of an AI agent. However, many modern XAI approaches are unintuitive to end users, particularly those without prior AI or ML knowledge. In this paper, we present a novel XAI approach we call Responsibility that identifies the most responsible training example for a particular decision. This example can then be shown as an explanation: "this is what I (the AI) learned that led me to do that". We present experimental results across a number of domains along with the results of an Amazon Mechanical Turk user study, comparing responsibility and existing XAI methods on an image classification task. Our results demonstrate that responsibility can help improve accuracy for both human end users and secondary ML models.


title: Sporthesia: Augmenting Sports Videos Using Natural Language

abstract: Augmented sports videos, which combine visualizations and video effects to present data in actual scenes, can communicate insights engagingly and thus have been increasingly popular for sports enthusiasts around the world. Yet, creating augmented sports videos remains a challenging task, requiring considerable time and video editing skills. On the other hand, sports insights are often communicated using natural language, such as in commentaries, oral presentations, and articles, but usually lack visual cues. Thus, this work aims to facilitate the creation of augmented sports videos by enabling analysts to directly create visualizations embedded in videos using insights expressed in natural language. To achieve this goal, we propose a three-step approach - 1) detecting visualizable entities in the text, 2) mapping these entities into visualizations, and 3) scheduling these visualizations to play with the video - and analyzed 155 sports video clips and the accompanying commentaries for accomplishing these steps. Informed by our analysis, we have designed and implemented Sporthesia, a proof-of-concept system that takes racket-based sports videos and textual commentaries as the input and outputs augmented videos. We demonstrate Sporthesia's applicability in two exemplar scenarios, i.e., authoring augmented sports videos using text and augmenting historical sports videos based on auditory comments. A technical evaluation shows that Sporthesia achieves high accuracy (F1-score of 0.9) in detecting visualizable entities in the text. An expert evaluation with eight sports analysts suggests high utility, effectiveness, and satisfaction with our language-driven authoring method and provides insights for future improvement and opportunities.


title: Voting models and semilinear parabolic equations

abstract: We present probabilistic interpretations of solutions to semi-linear parabolic equations with polynomial nonlinearities in terms of the voting models on the genealogical trees of branching Brownian motion (BBM). These extend the connection between the Fisher-KPP equation and BBM discovered by McKean in~\cite{McK}. In particular, we present ``random outcome'' and ``random threshold'' voting models that yield any polynomial nonlinearity $f$ satisfying $f(0)=f(1)=0$ and a ``recursive up the tree'' model that allows to go beyond this restriction on $f$. We compute a few examples of particular interest; for example, we obtain a curious interpretation of the heat equation in terms of a nontrivial voting model and a ``group-based'' voting rule that leads to a probabilistic view of the pushmi-pullyu transition for a class of nonlinearities introduced by Ebert and van Saarloos.


title: On List Coloring with Separation of the Complete Graph and Set System Intersections

abstract: We consider the following list coloring with separation problem: Given a graph $G$ and integers $a,b$, find the largest integer $c$ such that for any list assignment $L$ of $G$ with $|L(v)|= a$ for any vertex $v$ and $|L(u)\cap L(v)|\le c$ for any edge $uv$ of $G$, there exists an assignment $\varphi$ of sets of integers to the vertices of $G$ such that $\varphi(u)\subset L(u)$ and $|\varphi(v)|=b$ for any vertex $u$ and $\varphi(u)\cap \varphi(v)=\emptyset$ for any edge $uv$. Such a value of $c$ is called the separation number of $(G,a,b)$. Using a special partition of a set of lists for which we obtain an improved version of Poincar\'e's crible, we determine the separation number of the complete graph $K_n$ for some values of $a,b$ and $n$, and prove bounds for the remaining values.


title: An efficient approach for nonconvex semidefinite optimization via customized alternating direction method of multipliers

abstract: We investigate a class of general combinatorial graph problems, including MAX-CUT and community detection, reformulated as quadratic objectives over nonconvex constraints and solved via the alternating direction method of multipliers (ADMM). We propose two reformulations: one using vector variables and a binary constraint, and the other further reformulating the Burer-Monteiro form for simpler subproblems. Despite the nonconvex constraint, we prove the ADMM iterates converge to a stationary point in both formulations, under mild assumptions. Additionally, recent work suggests that in this latter form, when the matrix factors are wide enough, local optimum with high probability is also the global optimum. To demonstrate the scalability of our algorithm, we include results for MAX-CUT, community detection, and image segmentation benchmark and simulated examples.


title: SmOOD: Smoothness-based Out-of-Distribution Detection Approach for Surrogate Neural Networks in Aircraft Design

abstract: Aircraft industry is constantly striving for more efficient design optimization methods in terms of human efforts, computation time, and resource consumption. Hybrid surrogate optimization maintains high results quality while providing rapid design assessments when both the surrogate model and the switch mechanism for eventually transitioning to the HF model are calibrated properly. Feedforward neural networks (FNNs) can capture highly nonlinear input-output mappings, yielding efficient surrogates for aircraft performance factors. However, FNNs often fail to generalize over the out-of-distribution (OOD) samples, which hinders their adoption in critical aircraft design optimization. Through SmOOD, our smoothness-based out-of-distribution detection approach, we propose to codesign a model-dependent OOD indicator with the optimized FNN surrogate, to produce a trustworthy surrogate model with selective but credible predictions. Unlike conventional uncertainty-grounded methods, SmOOD exploits inherent smoothness properties of the HF simulations to effectively expose OODs through revealing their suspicious sensitivities, thereby avoiding over-confident uncertainty estimates on OOD samples. By using SmOOD, only high-risk OOD inputs are forwarded to the HF model for re-evaluation, leading to more accurate results at a low overhead cost. Three aircraft performance models are investigated. Results show that FNN-based surrogates outperform their Gaussian Process counterparts in terms of predictive performance. Moreover, SmOOD does cover averagely 85% of actual OODs on all the study cases. When SmOOD plus FNN surrogates are deployed in hybrid surrogate optimization settings, they result in a decrease error rate of 34.65% and a computational speed up rate of 58.36 times, respectively.


title: Smallest scale clumpy star formation in Stephan's Quintet revealed from UV and IR imaging

abstract: The spatial distribution and physical sizes of star forming clumps at the smallest scales provide valuable information on hierarchical star formation (SF). In this context, we report the sites of ongoing SF at ~120 pc along the interacting galaxies in Stephan's Quintet (SQ) compact group using AstroSat-UVIT and JWST data. Since ultraviolet radiation is a direct tracer of recent SF, we identified star forming clumps in this compact group from the FUV imaging which we used to guide us to detect star forming regions on JWST IR images. The FUV imaging reveals star forming regions within which we detect smaller clumps from the higher spatial resolution images of JWST, likely produced by PAH molecules and dust ionised by FUV emission from young massive stars. This analysis reveals the importance of FUV imaging data in identifying star forming regions in the highest spatial resolution IR imaging available.


title: Deep Learning-Based Automatic Diagnosis System for Developmental Dysplasia of the Hip

abstract: As the first-line diagnostic imaging modality, radiography plays an essential role in the early detection of developmental dysplasia of the hip (DDH). Clinically, the diagnosis of DDH relies on manual measurements and subjective evaluation of different anatomical features from pelvic radiographs. This process is inefficient and error-prone and requires years of clinical experience. In this study, we propose a deep learning-based system that automatically detects 14 keypoints from a radiograph, measures three anatomical angles (center-edge, T\"onnis, and Sharp angles), and classifies DDH hips as grades I-IV based on the Crowe criteria. Moreover, a novel data-driven scoring system is proposed to quantitatively integrate the information from the three angles for DDH diagnosis. The proposed keypoint detection model achieved a mean (95% confidence interval [CI]) average precision of 0.807 (0.804-0.810). The mean (95% CI) intraclass correlation coefficients between the center-edge, Tonnis, and Sharp angles measured by the proposed model and the ground-truth were 0.957 (0.952-0.962), 0.947 (0.941-0.953), and 0.953 (0.947-0.960), respectively, which were significantly higher than those of experienced orthopedic surgeons (p<0.0001). In addition, the mean (95% CI) test diagnostic agreement (Cohen's kappa) obtained using the proposed scoring system was 0.84 (0.83-0.85), which was significantly higher than those obtained from diagnostic criteria for individual angle (0.76 [0.75-0.77]) and orthopedists (0.71 [0.63-0.79]). To the best of our knowledge, this is the first study for objective DDH diagnosis by leveraging deep learning keypoint detection and integrating different anatomical measurements, which can provide reliable and explainable support for clinical decision-making.


title: Same Coverage, Less Bloat: Accelerating Binary-only Fuzzing with Coverage-preserving Coverage-guided Tracing

abstract: Coverage-guided fuzzing's aggressive, high-volume testing has helped reveal tens of thousands of software security flaws. While executing billions of test cases mandates fast code coverage tracing, the nature of binary-only targets leads to reduced tracing performance. A recent advancement in binary fuzzing performance is Coverage-guided Tracing (CGT), which brings orders-of-magnitude gains in throughput by restricting the expense of coverage tracing to only when new coverage is guaranteed. Unfortunately, CGT suits only a basic block coverage granularity -- yet most fuzzers require finer-grain coverage metrics: edge coverage and hit counts. It is this limitation which prohibits nearly all of today's state-of-the-art fuzzers from attaining the performance benefits of CGT. This paper tackles the challenges of adapting CGT to fuzzing's most ubiquitous coverage metrics. We introduce and implement a suite of enhancements that expand CGT's introspection to fuzzing's most common code coverage metrics, while maintaining its orders-of-magnitude speedup over conventional always-on coverage tracing. We evaluate their trade-offs with respect to fuzzing performance and effectiveness across 12 diverse real-world binaries (8 open- and 4 closed-source). On average, our coverage-preserving CGT attains near-identical speed to the present block-coverage-only CGT, UnTracer; and outperforms leading binary- and source-level coverage tracers QEMU, Dyninst, RetroWrite, and AFL-Clang by 2-24x, finding more bugs in less time.


title: Fra\"{i}ss\'e theory in operator algebras

abstract: We overview the development of Fra\"{i}ss\'e theory in the setting of continuous model theory, and some of the its recent applications to $\mathrm{C}^*$-algebra theory and functional analysis.


title: Topological-numerical analysis of a two-dimensional discrete neuron model

abstract: We conduct computer-assisted analysis of the two-dimensional model of a neuron introduced by Chialvo in 1995 (Chaos, Solitons & Fractals 5, 461-479). We apply the method for rigorous analysis of global dynamics based on a set-oriented topological approach, introduced by Arai et al. in 2009 (SIAM J. Appl. Dyn. Syst. 8, 757-789) and improved and expanded afterwards. Additionally, we introduce a new algorithm to analyze the return times inside a chain recurrent set. Based on this analysis, together with the information on the size of the chain recurrent set, we develop a new method that allows one to determine subsets of parameters for which chaotic dynamics may appear. This approach can be applied to a variety of dynamical systems, and we discuss some of its practical aspects. The data and the software described in the paper are available at http://www.pawelpilarczyk.com/neuron/.


title: ScGAN: A Generative Adversarial Network to Predict Hypothetical Superconductors

abstract: Despite having been discovered more than three decades ago, High Temperature Superconductors (HTSs) lack both an explanation for their mechanisms and a systematic way to search for them. To aid this search, this project proposes ScGAN, a Generative Adversarial Network (GAN) to efficiently predict new superconductors. ScGAN was trained on compounds in OQMD and then transfer learned onto the SuperCon database or a subset of it. Once trained, the GAN was used to predict superconducting candidates, and approximately 70\% of them were determined to be superconducting by a classification model--a 23-fold increase in discovery rate compared to manual search methods. Furthermore, more than 99\% of predictions were novel materials, demonstrating that ScGAN was able to potentially predict completely new superconductors, including several promising HTS candidates. This project presents a novel, efficient way to search for new superconductors, which may be used in technological applications or provide insight into the unsolved problem of high temperature superconductivity.


title: Elton's near unconditionality of bases as a threshold-free form of greediness

abstract: Elton's near unconditionality and quasi-greediness for largest coefficients are two properties of bases that made their appearance in functional analysis from very different areas of research. One of our aims in this note is to show that, oddly enough, they are connected to the extent that they are equivalent notions. We take advantage of this new description of the former property to further the study of the threshold function associated with near unconditionality. Finally, we made a contribution to the isometric theory of greedy bases by characterizing those bases that are $1$-quasi-greedy for largest coefficients.


title: Activity from matroids to rooted trees and beyond

abstract: The interior and exterior activities of bases of a matroid are well-known notions that for instance permit one to define the Tutte polynomial. Recently, we have discovered correspondences between the regions of gainic hyperplane arrangements and coloredlabeled rooted trees. Here we define a general activity theory that applies in particular to no-broken circuit (NBC) sets and labeled colored trees. The special case of activity \textsf{0} was our motivating case. As a consequence, in a gainic hyperplane arrangement the number of bounded regions is equal to the number of the corresponding colored labeled rooted trees of activity \textsf{0}.


title: Blessing of Class Diversity in Pre-training

abstract: This paper presents a new statistical analysis aiming to explain the recent superior achievements of the pre-training techniques in natural language processing (NLP). We prove that when the classes of the pre-training task (e.g., different words in the masked language model task) are sufficiently diverse, in the sense that the least singular value of the last linear layer in pre-training (denoted as $\tilde{\nu}$) is large, then pre-training can significantly improve the sample efficiency of downstream tasks. Specially, we show the transfer learning excess risk enjoys an $O\left(\frac{1}{\tilde{\nu} \sqrt{n}}\right)$ rate, in contrast to the $O\left(\frac{1}{\sqrt{m}}\right)$ rate in the standard supervised learning. Here, $n$ is the number of pre-training data and $m$ is the number of data in the downstream task, and typically $n \gg m$. Our proof relies on a vector-form Rademacher complexity chain rule for disassembling composite function classes and a modified self-concordance condition. These techniques can be of independent interest.


title: Designing an Optimized Electric Vehicle Charging Station Infrastructure for Urban Area: A Case study from Indonesia

abstract: The rapid development of electric vehicle (EV) technologies promises cleaner air and more efficient transportation systems, especially for polluted and congested urban areas. To capitalize on this potential, the Indonesian government has appointed PLN, its largest state-owned electricity provider, to accelerate the preparation of Indonesia's EV infrastructure. With a mission of providing reliable, accessible, and cost-effective EV charging station infrastructure throughout the country, the company is prototyping a location-optimized model to simulate how well its infrastructure design reaches customers, fulfills demands, and generates revenue. In this work, we study how PLN could maximize profit by optimally placing EV charging stations in urban areas by adopting a maximal covering location model. In our experiments, we use data from Surabaya, Indonesia, and consider the two main transportation modes for the locals to charge: electric motorcycles and electric cars. Numerical experiments show that only four charging stations are needed to cover the whole city, given the charging technology that PLN has acquired. However, consumers' time-to-travel is exceptionally high (about 35 minutes), which could lead to poor consumer service and hindrance toward EV technologies. Sensitivity analysis reveals that building more charging stations could reduce the time but comes with higher costs due to extra facility installations. Adding layers of redundancy to buffer against outages or other disruptions also incurs higher costs but could be an appealing option to design a more reliable and thriving EV infrastructure. The model can provide insights to decision-makers to devise the most reliable and cost-effective infrastructure designs to support the deployment of electric vehicles and much more advanced intelligent transportation systems in the near future.


title: Fiber-based two-wavelength heterodyne laser interferometer

abstract: Displacement measuring interferometry is a crucial component in metrology applications. In this paper, we propose a fiber-based two-wavelength heterodyne interferometer as a compact and highly sensitive displacement sensor that can be used in inertial sensing applications. In the proposed design, two individual heterodyne interferometers are constructed using two different wavelengths, 1064 nm and 1055 nm; one of which measures the target displacement and the other monitors the common-mode noise in the fiber system. A narrow-bandwidth spectral filter separates the beam paths of the two interferometers, which are highly common and provide a high rejection ratio to the environmental noise. The preliminary test shows a sensitivity floor of 7.5pm/rtHz at 1Hz when tested in an enclosed chamber. We also investigated the effects of periodic errors due to imperfect spectral separation on the displacement measurement and propose algorithms to mitigate these effects.


title: Seeking Interpretability and Explainability in Binary Activated Neural Networks

abstract: We study the use of binary activated neural networks as interpretable and explainable predictors in the context of regression tasks on tabular data; more specifically, we provide guarantees on their expressiveness, present an approach based on the efficient computation of SHAP values for quantifying the relative importance of the features, hidden neurons and even weights. As the model's simplicity is instrumental in achieving interpretability, we propose a greedy algorithm for building compact binary activated networks. This approach doesn't need to fix an architecture for the network in advance: it is built one layer at a time, one neuron at a time, leading to predictors that aren't needlessly complex for a given task.


title: New Supersymmetric String Moduli Spaces from Frozen Singularities

abstract: The current classification of $\mathcal{N} = 1$ string theories in eight and seven dimensions is completely captured by K3 surfaces with F-Theory or M-Theory frozen singularities. In this note we show that there are inequivalent ways of freezing certain collections of singularities which have the same ADE type, and so there are more connected components in the moduli space than previously thought; namely, one more in eight dimensions and three more in seven dimensions. We argue that the new component in eight dimensions decompactifies to a string theory in nine dimensions with rank 1 gauge group, which has been so far unidentified. Constructing and studying the stringy descriptions corresponding to these moduli spaces is the subject of a companion paper.


title: AILAB-Udine@SMM4H 22: Limits of Transformers and BERT Ensembles

abstract: This paper describes the models developed by the AILAB-Udine team for the SMM4H 22 Shared Task. We explored the limits of Transformer based models on text classification, entity extraction and entity normalization, tackling Tasks 1, 2, 5, 6 and 10. The main take-aways we got from participating in different tasks are: the overwhelming positive effects of combining different architectures when using ensemble learning, and the great potential of generative models for term normalization.


title: Performance of the upgraded VERITAS Stellar Intensity Interferometer (VSII)

abstract: The VERITAS Imaging Atmospheric Cherenkov Telescope array (IACT) was augmented in 2019 with high-speed focal plane electronics to create a new Stellar Intensity Interferometry (SII) observational capability (VERITAS-SII, or VSII). VSII operates during bright moon periods, providing high angular resolution observations ( < 1 mas) in the B photometric band using idle telescope time. VSII has already demonstrated the ability to measure the diameters of two B stars at 416 nm (Bet CMa and Eps Ori) with < 5% accuracy using relatively short (5 hours) exposures. The VSII instrumentation was recently improved to increase instrumental sensitivity and observational efficiency. This paper describes the upgraded VSII instrumentation and documents the ongoing improvements in VSII sensitivity. The report describes VSII's progress in extending SII measurements to dimmer magnitude stars and improving the VSII angular diameter measurement resolution to better than 1%.


title: Composition closed premodel structures and the Kreweras lattice

abstract: We investigate the rich combinatorial structure of premodel structures on finite lattices whose weak equivalences are closed under composition. We prove that there is a natural refinement of the inclusion order of weak factorization systems so that the intervals detect these composition closed premodel structures. In the case that the lattice in question is a finite total order, this natural order retrieves the Kreweras lattice of noncrossing partitions as a refinement of the Tamari lattice, and model structures can be identified with certain tricolored trees.


title: Cold dense quark matter with phenomenological medium effects: a self-consistent formulation of the quark-mass density-dependent model

abstract: We revisit the quark-mass density-dependent model -- a phenomenological equation of state for deconfined quark matter in the high-density low-temperature regime -- and show that thermodynamic inconsistencies that have plagued the model for decades, can be solved if the model is formulated in the canonical ensemble instead of the grand canonical one. Within the new formulation, the minimum of the energy per baryon occurs at zero pressure, and the Euler's relation is verified. Adopting a typical mass-formula, we first analyze in detail a simple model with one particle species. We show that a ``bag'' term that produces quark confinement naturally appears in the pressure (and not in the energy density) due to density dependence of the quark masses. Additionally, the chemical potential gains a new term as in other models with quark repulsive interactions. Then, we extend the formalism to the astrophysically realistic case of charge-neutral three-flavor quark matter in equilibrium under weak interactions, focusing on two different mass formulae: a flavor dependent and a flavor blind one. For these two models, we derive the equation of state and analyze its behavior for several parameter choices. We systematically analyze the parameter space and identify the regions corresponding to self-bound 2-flavor and 3-flavor quark matter, hybrid matter and causal behavior.


title: Information Maximization for Extreme Pose Face Recognition

abstract: In this paper, we seek to draw connections between the frontal and profile face images in an abstract embedding space. We exploit this connection using a coupled-encoder network to project frontal/profile face images into a common latent embedding space. The proposed model forces the similarity of representations in the embedding space by maximizing the mutual information between two views of the face. The proposed coupled-encoder benefits from three contributions for matching faces with extreme pose disparities. First, we leverage our pose-aware contrastive learning to maximize the mutual information between frontal and profile representations of identities. Second, a memory buffer, which consists of latent representations accumulated over past iterations, is integrated into the model so it can refer to relatively much more instances than the mini-batch size. Third, a novel pose-aware adversarial domain adaptation method forces the model to learn an asymmetric mapping from profile to frontal representation. In our framework, the coupled-encoder learns to enlarge the margin between the distribution of genuine and imposter faces, which results in high mutual information between different views of the same identity. The effectiveness of the proposed model is investigated through extensive experiments, evaluations, and ablation studies on four benchmark datasets, and comparison with the compelling state-of-the-art algorithms.


title: A derivation of the electric field inside MAPS detectors from beam-test data and limited TCAD simulations

abstract: Solid semiconductor sensors are used as detectors in high-energy physics experiments, in medical applications, in space missions and elsewhere. Minimal knowledge of the electric field inside the elementary cells of these sensors is highly important for their performance understanding. The field governs the charge propagation processes and ultimately determines the size and quality of the electronic signal of the cell. Hence, the simulation of these sensors as detectors in different analyses relies strongly on the field knowledge. For a certain voltage applied to the cell, the field depends on the specifics of the device's growth and fabrication. The information about these is often commercially protected or otherwise very difficult to encode in state-of-the-art technology computer-aided-design (TCAD) software. In this work, we show that by taking the top-down approach, combining public beam-test data and a very limited public TCAD knowledge, we are able to effectively approximate the 3D electric field function in the pixel cell of one important and widely used example, namely the ALPIDE sensor, for simulating the charge propagation processes. Despite its broad usage worldwide, the ALPIDE field is not available to the community. We provide an effective field function, that adequately describes the sensor behaviour without trying to reconstruct further details about the device or the details behind its processing. We comment on the process by which the effective field function is derived with the help of the Allpix$^2$ software, and on how similar work can be performed for other devices, starting from the same grounds.


title: Scheduling Operator Assistance for Shared Autonomy in Multi-Robot Teams

abstract: In this paper, we consider the problem of allocating human operator assistance in a system with multiple autonomous robots. Each robot is required to complete independent missions, each defined as a sequence of tasks. While executing a task, a robot can either operate autonomously or be teleoperated by the human operator to complete the task at a faster rate. We show that the problem of creating a teleoperation schedule that minimizes makespan of the system is NP-Hard. We formulate our problem as a Mixed Integer Linear Program, which can be used to optimally solve small to moderate sized problem instances. We also develop an anytime algorithm that makes use of the problem structure to provide a fast and high-quality solution of the operator scheduling problem, even for larger problem instances. Our key insight is to identify blocking tasks in greedily-created schedules and iteratively remove those blocks to improve the quality of the solution. Through numerical simulations, we demonstrate the benefits of the proposed algorithm as an efficient and scalable approach that outperforms other greedy methods.


title: A Bayesian Calibration Framework for EDGES

abstract: We develop a Bayesian model that jointly constrains receiver calibration, foregrounds and cosmic 21cm signal for the EDGES global 21\,cm experiment. This model simultaneously describes calibration data taken in the lab along with sky-data taken with the EDGES low-band antenna. We apply our model to the same data (both sky and calibration) used to report evidence for the first star formation in 2018. We find that receiver calibration does not contribute a significant uncertainty to the inferred cosmic signal (<1%), though our joint model is able to more robustly estimate the cosmic signal for foreground models that are otherwise too inflexible to describe the sky data. We identify the presence of a significant systematic in the calibration data, which is largely avoided in our analysis, but must be examined more closely in future work. Our likelihood provides a foundation for future analyses in which other instrumental systematics, such as beam corrections and reflection parameters, may be added in a modular manner.


title: Ferro-rotational domain walls revealed by electric quadrupole second harmonic generation microscopy

abstract: Domain walls are ubiquitous in materials that undergo phase transitions driven by spontaneous symmetry breaking. Domain walls in ferroics and multiferroics have received tremendous attention recently due to their emergent properties distinct from their domain counterparts, for example, their high mobility and controllability, as well as their potential applications in nanoelectronics. However, it is extremely challenging to detect, visualize and study the ferro-rotational (FR) domain walls because the FR order, in contrast to ferromagnetism (FM) and ferroelectricity (FE), is invariant under both the spatial-inversion and the time-reversal operations and thus hardly couple with conventional experimental probes. Here, an FR candidate $\mathrm{NiTiO_{3}}$ is investigated by ultrasensitive electric quadrupole (EQ) second harmonic generation rotational anisotropy (SHG RA) to probe the point symmetries of the two degenerate FR domain states, showing their relation by the vertical mirror operations that are broken below the FR critical temperature. We then visualize the real-space FR domains by scanning EQ SHG microscopy, and further resolve the FR domain walls by revealing a suppressed SHG intensity at domain walls. By taking local EQ SHG RA measurements, we show the restoration of the mirror symmetry at FR domain walls and prove their unconventional nonpolar nature. Our findings not only provide a comprehensive insight into FR domain walls, but also demonstrate a unique and powerful tool for future studies on domain walls of unconventional ferroics, both of which pave the way towards future manipulations and applications of FR domain walls.


title: Portfolio Optimization with Cumulative Prospect Theory Utility via Convex Optimization

abstract: We consider the problem of choosing a portfolio that maximizes the cumulative prospect theory (CPT) utility on an empirical distribution of asset returns. We show that while CPT utility is not a concave function of the portfolio weights, it can be expressed as a difference of two functions. The first term is the composition of a convex function with concave arguments and the second term a composition of a convex function with convex arguments. This structure allows us to derive a global lower bound, or minorant, on the CPT utility, which we can use in a minorization-maximization (MM) algorithm for maximizing CPT utility. We further show that the problem is amenable to a simple convex-concave (CC) procedure which iteratively maximizes a local approximation. Both of these methods can handle small and medium size problems, and complex (but convex) portfolio constraints. We also describe a simpler method that scales to larger problems, but handles only simple portfolio constraints.


title: The Zero Density Theorem for the Rankin-Selberg L-function and its applications

abstract: In this work, we establish a zero density result for the Rankin-Selberg $L$-functions. As an application, we apply it to distinguish the holomorphic Hecke eigenforms for $\operatorname{SL}_2(\mathbb{Z}).$


title: Why So Toxic? Measuring and Triggering Toxic Behavior in Open-Domain Chatbots

abstract: Chatbots are used in many applications, e.g., automated agents, smart home assistants, interactive characters in online games, etc. Therefore, it is crucial to ensure they do not behave in undesired manners, providing offensive or toxic responses to users. This is not a trivial task as state-of-the-art chatbot models are trained on large, public datasets openly collected from the Internet. This paper presents a first-of-its-kind, large-scale measurement of toxicity in chatbots. We show that publicly available chatbots are prone to providing toxic responses when fed toxic queries. Even more worryingly, some non-toxic queries can trigger toxic responses too. We then set out to design and experiment with an attack, ToxicBuddy, which relies on fine-tuning GPT-2 to generate non-toxic queries that make chatbots respond in a toxic manner. Our extensive experimental evaluation demonstrates that our attack is effective against public chatbot models and outperforms manually-crafted malicious queries proposed by previous work. We also evaluate three defense mechanisms against ToxicBuddy, showing that they either reduce the attack performance at the cost of affecting the chatbot's utility or are only effective at mitigating a portion of the attack. This highlights the need for more research from the computer security and online safety communities to ensure that chatbot models do not hurt their users. Overall, we are confident that ToxicBuddy can be used as an auditing tool and that our work will pave the way toward designing more effective defenses for chatbot safety.


title: Aqueous foams in microgravity, measuring bubble sizes

abstract: The paper describes a study of wet foams in microgravity whose bubble size distribution evolves due to diffusive gas exchange. We focus on the comparison between the size of bubbles determined from images of the foam surface and the size of bubbles in the bulk foam, determined from Diffuse Transmission Spectroscopy (DTS). Extracting the bubble size distribution from images of a foam surface is difficult so we have used three different procedures : manual analysis, automatic analysis with a customized Python script and machine learning analysis. Once various pitfalls were identified and taken into account, all the three procedures yield identical results within error bars. DTS only allows the determination of an average bubble radius which is proportional to the photon transport mean free path $\ell^*$. The relation between the measured diffuse transmitted light intensity and {$\ell^*$} previously derived for slab-shaped samples of infinite lateral extent does not apply to the cuboid geometry of the cells used in the microgravity experiment. A new more general expression of the diffuse intensity transmitted with specific optical boundary conditions has been derived and applied to determine the average bubble radius. The temporal evolution of the average bubble radii deduced from DTS and of the same average radii of the bubbles measured at the sample surface are in very good agreement throughout the coarsening. Finally, ground experiments were performed to compare bubble size distributions in a bulk wet foam and at its surface at times so short that diffusive gas exchange is insignificant. They were found to be similar, confirming that bubbles seen at the surface are representative of the bulk foam bubbles.


title: TAG: Learning Circuit Spatial Embedding From Layouts

abstract: Analog and mixed-signal (AMS) circuit designs still rely on human design expertise. Machine learning has been assisting circuit design automation by replacing human experience with artificial intelligence. This paper presents TAG, a new paradigm of learning the circuit representation from layouts leveraging text, self-attention and graph. The embedding network model learns spatial information without manual labeling. We introduce text embedding and a self-attention mechanism to AMS circuit learning. Experimental results demonstrate the ability to predict layout distances between instances with industrial FinFET technology benchmarks. The effectiveness of the circuit representation is verified by showing the transferability to three other learning tasks with limited data in the case studies: layout matching prediction, wirelength estimation, and net parasitic capacitance prediction.


title: Supervised GAN Watermarking for Intellectual Property Protection

abstract: We propose a watermarking method for protecting the Intellectual Property (IP) of Generative Adversarial Networks (GANs). The aim is to watermark the GAN model so that any image generated by the GAN contains an invisible watermark (signature), whose presence inside the image can be checked at a later stage for ownership verification. To achieve this goal, a pre-trained CNN watermarking decoding block is inserted at the output of the generator. The generator loss is then modified by including a watermark loss term, to ensure that the prescribed watermark can be extracted from the generated images. The watermark is embedded via fine-tuning, with reduced time complexity. Results show that our method can effectively embed an invisible watermark inside the generated images. Moreover, our method is a general one and can work with different GAN architectures, different tasks, and different resolutions of the output image. We also demonstrate the good robustness performance of the embedded watermark against several post-processing, among them, JPEG compression, noise addition, blurring, and color transformations.


title: Search for the Chiral Magnetic Effect in Au+Au collisions at $\sqrt{s_{_{\rm{NN}}}}=27$ GeV with the STAR forward Event Plane Detectors

abstract: A decisive experimental test of the Chiral Magnetic Effect (CME) is considered one of the major scientific goals at the Relativistic Heavy-Ion Collider (RHIC) towards understanding the nontrivial topological fluctuations of the Quantum Chromodynamics vacuum. In heavy-ion collisions, the CME is expected to result in a charge separation phenomenon across the reaction plane, whose strength could be strongly energy dependent. The previous CME searches have been focused on top RHIC energy collisions. In this Letter, we present a low energy search for the CME in Au+Au collisions at $\sqrt{s_{_{\rm{NN}}}}=27$ GeV. We measure elliptic flow scaled charge-dependent correlators relative to the event planes that are defined at both mid-rapidity $|\eta|<1.0$ and at forward rapidity $2.1 < |\eta|<5.1$. We compare the results based on the directed flow plane ($\Psi_1$) at forward rapidity and the elliptic flow plane ($\Psi_2$) at both central and forward rapidity. The CME scenario is expected to result in a larger correlation relative to $\Psi_1$ than to $\Psi_2$, while a flow driven background scenario would lead to a consistent result for both event planes. In 10-50\% centrality, results using three different event planes are found to be consistent within experimental uncertainties, suggesting a flow driven background scenario dominating the measurement. We obtain an upper limit on the deviation from a flow driven background scenario at the 95\% confidence level. This work opens up a possible road map towards future CME search with the high statistics data from the RHIC Beam Energy Scan Phase-II.


title: Thickness profiles of giant soap films

abstract: Production, drainage and stability of foams films, i.e. films in contact with their menisci, are fascinating problems that remain still unsolved. In this article, we propose to explore the regime of large velocities and large film sizes. This one is not accessible in experiments classically conducted in the literature, and allows us to study the regime of large extension and large extension rates. With our setup, we make soap films up to two meters high by pulling a horizontal fishing line driven by belts out of a soapy solution at velocities ranging from 20~cm/s to 250~cm/s. We characterize the thickness profile of the central part of the film that behaves like a rubber band under tension. We show that its thickness profile is well described by a static model in which a homogeneous elastic film is stretched by its own weight. This leads to an exponential thickness profile with a characteristic length given by a competition between gravity and surface elasticity. The prefactor is fixed by the shape and area of the film, governed by the fishing line motion but also by a continuous extraction of foam film from the lateral menisci, thicker than the central part, and that progressively invades the film from its lateral boundaries. The model we propose captures the subtle interplay between gravity, film elasticity and film extraction and leads to predictions in good agreement with our experimental data.


title: Nonequilibrium magnons from hot electrons in antiferromagnetic systems

abstract: We describe a \emph{nonthermal} magnon activation mechanism in antiferromagnetic (AFM) systems via locally equilibrated \emph{spin-unpolarized} hot electrons excited by an ultrafast intense laser pulse. We employ a quantum kinetic equation that takes into account a direct electron-magnon scattering channel in either bulk AFM metal or at the interface of the AFM/normal-metal heterostructure. The mechanism is responsible for the nonequilibrium population of AFM magnon modes on a subnanosecond timescale, which are formed shortly after the local thermalization of hot electrons by Coulomb interactions. Nonequilibrium magnon populations can be additionally manipulated by applying an external magnetic field. Our work paves the way toward spin dynamics control in AFM systems via the ultrafast manipulation of out-of-equilibrium magnon excitations.


title: Energy Transfer and Coherence in Coupled Oscillators with Delayed Coupling: A Classical Picture for Two-Level Systems

abstract: The Frimmer-Novotny model to simulate two-level systems by coupled oscillators is extended by incorporating a constant time delay in the coupling. The effects of the introduced delay on system dynamics and two-level modeling are then investigated and found substantial. Mathematically, introducing a delay converts the dynamical system from a finite one into an infinite-dimensional system. The resulted system of delay differential equations is solved using the Krylov method with Chebyshev interpolation and post-processing refinement. The calculations and analyses reveal the critical role that a delay can play. It has oscillatory effects as the main dynamical eigenmodes move around a circle with a radius proportional to the coupling strength and an angle linear with the delay. This alteration governs the energy transfer dynamics and coherence. Accordingly, both, the delay and the coupling strength dictate the stability of the system. The delay is the main related parameter as for certain intervals of it, the system remains stable regardless of the coupling. A significant effect occurs when one of the main modes crosses the imaginary axis, where it becomes pure imaginary and dampingless. Thus, the two states energies can live and be exchanged for an extremely long time. Furthermore, it is found that the delay alters both the splitting and the linewidth in a way further influencing the energy transfer and coherence. It is found also that the delay should not be large to have significant effect. For example, for an optical system with 500 nm wavelength, the critical delay can be in tens of attoseconds.


title: A stabilised Benders decomposition with adaptive oracles applied to investment planning of multi-region power systems with short-term and long-term uncertainty

abstract: Benders decomposition with adaptive oracles was proposed to solve large-scale optimisation problems with a column bounded block-diagonal structure, where subproblems differ on the right-hand side and cost coefficients. Adaptive Benders reduces computational effort significantly by iteratively building inexact cutting planes and valid upper and lower bounds. However, Adaptive Benders and standard Benders may suffer severe oscillation when solving a multi-region investment planning problem. Therefore, we propose stabilising Adaptive Benders with the level set method and adaptively selecting the subproblems to solve per iteration for more accurate information. Furthermore, we propose a dynamic level set method to improve the robustness of stabilised Adaptive Benders by adjusting the level set per iteration. We compare stabilised Adaptive Benders with the unstabilised versions of Adaptive Benders with one subproblem solved per iteration and standard Benders on a multi-region long-term power system investment planning problem with short-term and long-term uncertainty. The problem is formulated as multi-horizon stochastic programming. Four algorithms were implemented to solve linear programming with up to 1 billion variables and 4.5 billion constraints. The computational results show that: a) for a 1.00% convergence tolerance, the proposed stabilised method is up to 113.7 times faster than standard Benders and 2.14 times faster than unstabilised Adaptive Benders; b) for a 0.10% convergence tolerance, the proposed stabilised method is up to 45.5 times faster than standard Benders and unstabilised Adaptive Benders cannot solve the largest instance to convergence tolerance due to severe oscillation and c) dynamic level set method makes stabilisation more robust.


title: Report of the Snowmass 2021 e$^+$e$^-$-Collider Forum

abstract: A summary of the Snowmass 2021 e$^+$e$^-$-Collider Forum discussions, white papers submitted to the Snowmass 2021 community study, submissions of the Energy Frontier (EF) subgroups and the Accelerator Frontier (AF) Integrated Task Force (ITF) are presented.


title: Higher-order Clustering and Pooling for Graph Neural Networks

abstract: Graph Neural Networks achieve state-of-the-art performance on a plethora of graph classification tasks, especially due to pooling operators, which aggregate learned node embeddings hierarchically into a final graph representation. However, they are not only questioned by recent work showing on par performance with random pooling, but also ignore completely higher-order connectivity patterns. To tackle this issue, we propose HoscPool, a clustering-based graph pooling operator that captures higher-order information hierarchically, leading to richer graph representations. In fact, we learn a probabilistic cluster assignment matrix end-to-end by minimising relaxed formulations of motif spectral clustering in our objective function, and we then extend it to a pooling operator. We evaluate HoscPool on graph classification tasks and its clustering component on graphs with ground-truth community structure, achieving best performance. Lastly, we provide a deep empirical analysis of pooling operators' inner functioning.


title: An extension of the Unified Skew-Normal family of distributions and application to Bayesian binary regression

abstract: We consider the general problem of Bayesian binary regression and we introduce a new class of distributions, the Perturbed Unified Skew Normal (pSUN, henceforth), which generalizes the Unified Skew-Normal (SUN) class. We show that the new class is conjugate to any binary regression model, provided that the link function may be expressed as a scale mixture of Gaussian densities. We discuss in detail the popular logit case, and we show that, when a logistic regression model is combined with a Gaussian prior, posterior summaries such as cumulants and normalizing constants can be easily obtained through the use of an importance sampling approach, opening the way to straightforward variable selection procedures. For more general priors, the proposed methodology is based on a simple Gibbs sampler algorithm. We also claim that, in the p > n case, the proposed methodology shows better performances - both in terms of mixing and accuracy - compared to the existing methods. We illustrate the performance through several simulation studies and two data analyses.


title: Convolutional Neural Network (CNN) to reduce construction loss in JPEG compression caused by Discrete Fourier Transform (DFT)

abstract: In recent decades, digital image processing has gained enormous popularity. Consequently, a number of data compression strategies have been put forth, with the goal of minimizing the amount of information required to represent images. Among them, JPEG compression is one of the most popular methods that has been widely applied in multimedia and digital applications. The periodic nature of DFT makes it impossible to meet the periodic condition of an image's opposing edges without producing severe artifacts, which lowers the image's perceptual visual quality. On the other hand, deep learning has recently achieved outstanding results for applications like speech recognition, image reduction, and natural language processing. Convolutional Neural Networks (CNN) have received more attention than most other types of deep neural networks. The use of convolution in feature extraction results in a less redundant feature map and a smaller dataset, both of which are crucial for image compression. In this work, an effective image compression method is purposed using autoencoders. The study's findings revealed a number of important trends that suggested better reconstruction along with good compression can be achieved using autoencoders.


title: The fundamental fiber sequence in \'etale homotopy theory

abstract: Let $k$ be a field with separable closure $\bar{k}\supset k$, and let $X$ be a qcqs $k$-scheme. We use the theory of profinite Galois categories developed by Barwick-Glasman-Haine to provide a quick conceptual proof that the sequences \begin{equation*} \Pi_{<\infty}^{\mathrm{\acute{e}t}}(X_{\bar{k}}) \to \Pi_{<\infty}^{\mathrm{\acute{e}t}}(X) \to \mathrm{BGal}(\bar{k}/k) \qquad \text{and} \qquad \widehat{\Pi}{}_{\infty}^{\mathrm{\acute{e}t}}(X_{\bar{k}}) \to \widehat{\Pi}{}_{\infty}^{\mathrm{\acute{e}t}}(X) \to \mathrm{BGal}(\bar{k}/k) \end{equation*} of protruncated and profinite \'etale homotopy types are fiber sequences. This gives a common conceptual reason for the following two phenomena: first, the higher \'etale homotopy groups of $X$ and the geometric fiber $X_{\bar{k}}$ are isomorphic, and second, if $X_{\bar{k}}$ is connected, then the sequence of profinite \'etale fundamental groups $1\to\hat{\pi}{}_{1}^{\mathrm{\acute{e}t}}(X_{\bar{k}})\to\hat{\pi}{}_{1}^{\mathrm{\acute{e}t}}(X)\to\mathrm{Gal}(\bar{k}/k)\to 1$ is exact. It also proves the analogous results for the `groupe fondamental \'elargi' of SGA3.


title: Siblings of Direct Sums of Chains

abstract: We prove that a countable direct sum of chains has either one, countably many or else continuum many isomorphism classes of siblings. This proves Thomass\'e's conjecture for such structures. Further, we show that a direct sum of chains of any cardinality has one or infinitely many siblings, up to isomorphism.


title: Synthesizing efficient circuits for Hamiltonian simulation

abstract: We provide a new approach for compiling quantum simulation circuits that appear in Trotter, qDRIFT and multi-product formulas to Clifford and non-Clifford operations that can reduce the number of non-Clifford operations by a factor of up to $4$. In fact, the total number of gates reduce in many cases. We show that it is possible to implement an exponentiated sum of commuting Paulis with at most $m$ (controlled)-rotation gates, where $m$ is the number of distinct non-zero eigenvalues (ignoring sign). Thus we can collect mutually commuting Hamiltonian terms into groups that satisfy one of several symmetries identified in this work which allow an inexpensive simulation of the entire group of terms. We further show that the cost can in some cases be reduced by partially allocating Hamiltonian terms to several groups and provide a polynomial time classical algorithm that can greedily allocate the terms to appropriate groupings. We further specifically discuss these optimizations for the case of fermionic dynamics and provide extensive numerical simulations for qDRIFT of our grouping strategy to 6 and 4-qubit Heisenberg models, $LiH$, $H_2$ and observe a factor of 1.8-3.2 reduction in the number of non-Clifford gates. This suggests Trotter-based simulation of chemistry in second quantization may be even more practical than previously believed.


title: Entity-based SpanCopy for Abstractive Summarization to Improve the Factual Consistency

abstract: Despite the success of recent abstractive summarizers on automatic evaluation metrics, the generated summaries still present factual inconsistencies with the source document. In this paper, we focus on entity-level factual inconsistency, i.e. reducing the mismatched entities between the generated summaries and the source documents. We therefore propose a novel entity-based SpanCopy mechanism, and explore its extension with a Global Relevance component. Experiment results on four summarization datasets show that SpanCopy can effectively improve the entity-level factual consistency with essentially no change in the word-level and entity-level saliency. The code is available at https://github.com/Wendy-Xiao/Entity-based-SpanCopy


title: Geodesic Convexity of the Symmetric Eigenvalue Problem and Convergence of Riemannian Steepest Descent

abstract: We study the convergence of the Riemannian steepest descent algorithm on the Grassmann manifold for minimizing the block version of the Rayleigh quotient of a symmetric matrix. Even though this problem is non-convex in the Euclidean sense and only very locally convex in the Riemannian sense, we discover a structure for this problem that is similar to geodesic strong convexity, namely, weak-strong convexity. This allows us to apply similar arguments from convex optimization when studying the convergence of the steepest descent algorithm but with initialization conditions that do not depend on the eigengap $\delta$. When $\delta>0$, we prove exponential convergence rates, while otherwise the convergence is algebraic. Additionally, we prove that this problem is geodesically convex in a neighbourhood of the global minimizer of radius $\mathcal{O}(\sqrt{\delta})$.


title: Acoustic attenuation in magnetic insulator films: effects of magnon polaron formation

abstract: A magnon and a phonon are the quanta of spin wave and lattice wave, respectively, and they can hybridize into a magnon polaron when their frequencies and wavenumbers match close enough the values at the exceptional point. Guided by an analytically calculated magnon polaron dispersion, dynamical phase-field simulations are performed to investigate the effects of magnon polaron formation on the attenuation of a bulk acoustic wave in a magnetic insulator film. It is shown that a stronger magnon-phonon coupling leads to a larger attenuation. The simulations also demonstrate the existence of a minimum magnon-phonon interaction time required for the magnon polaron formation, which is found to decrease with the magnetoelastic coupling coefficient but increase with the magnetic damping coefficient. These results deepen the understanding of the mechanisms of acoustic attenuation in magnetic crystals and provide insights into the design of new-concept spin interconnects that operate based on acoustically driven magnon propagation.


title: High-Dimensional Inference for Generalized Linear Models with Hidden Confounding

abstract: Statistical inferences for high-dimensional regression models have been extensively studied for their wide applications ranging from genomics, neuroscience, to economics. However, in practice, there are often potential unmeasured confounders associated with both the response and covariates, which can lead to invalidity of standard debiasing methods. This paper focuses on a generalized linear regression framework with hidden confounding and proposes a debiasing approach to address this high-dimensional problem, by adjusting for the effects induced by the unmeasured confounders. We establish consistency and asymptotic normality for the proposed debiased estimator. The finite sample performance of the proposed method is demonstrated through extensive numerical studies and an application to a genetic data set.


title: Graded loopspaces in mixed characteristics and de Rham-Witt algebra

abstract: This PhD manuscript focuses on the study of a variation of the graded loop space construction for mixed graded derived schemes endowed with a Frobenius lift. We developed a theory of derived Frobenius lifts on a derived stack which are homotopy theoretic analogues of delta-structures for commutative rings. This graded loop space construction is the first step towards a definition of the de Rham-Witt complex for derived schemes. In this context, a loop is given by an action of the "crystalline circle", which is a formal analogue of the topological circle, endowed with its natural endomorphism given by multiplication by p. In this language, a derived Dieudonn\'e complex can be seen as a graded module endowed with an action of the crystalline circle.


title: Compound Defects in Halide Perovskites: A First-Principles Study of CsPbI$_3$

abstract: Lattice defects affect the long-term stability of halide perovskite solar cells. Whereas simple point defects, i.e., atomic interstitials and vacancies, have been studied in great detail, here we focus on compound defects that are more likely to form under crystal growth conditions, such as compound vacancies or interstitials, and antisites. We identify the most prominent defects in the archetype inorganic perovskite CsPbI$_3$, through first-principles density functional theory (DFT) calculations. We find that under equilibrium conditions at room temperature, the antisite of Pb substituting Cs forms in a concentration comparable to those of the most prominent point defects, whereas the other compound defects are negligible. However, under nonequilibrium thermal and operating conditions, other complexes also become as important as the point defects. Those are the Cs substituting Pb antisite, and, to a lesser extent, the compound vacancies of PbI$_2$ or CsPbI$_3$ units, and the I substituting Cs antisite. These compound defects only lead to shallow or inactive charge carrier traps, which testifies to the electronic stability of the halide perovskites. Under operating conditions with a quasi Fermi level very close to the valence band, deeper traps can develop.


title: Energy Optimization of Wind Turbines via a Neural Control Policy Based on Reinforcement Learning Markov Chain Monte Carlo Algorithm

abstract: This study focuses on the numerical analysis and optimal control of vertical-axis wind turbines (VAWT) using Bayesian reinforcement learning (RL). We specifically address small-scale wind turbines, which are well-suited to local and compact production of electrical energy on a small scale, such as urban and rural infrastructure installations. Existing literature concentrates on large scale wind turbines which run in unobstructed, mostly constant wind profiles. However urban installations generally must cope with rapidly changing wind patterns. To bridge this gap, we formulate and implement an RL strategy using the Markov chain Monte Carlo (MCMC) algorithm to optimize the long-term energy output of a wind turbine. Our MCMC-based RL algorithm is a model-free and gradient-free algorithm, in which the designer does not have to know the precise dynamics of the plant and its uncertainties. Our method addresses the uncertainties by using a multiplicative reward structure, in contrast with additive reward used in conventional RL approaches. We have shown numerically that the method specifically overcomes the shortcomings typically associated with conventional solutions, including, but not limited to, component aging, modeling errors, and inaccuracies in the estimation of wind speed patterns. Our results show that the proposed method is especially successful in capturing power from wind transients; by modulating the generator load and hence the rotor torque load, so that the rotor tip speed quickly reaches the optimum value for the anticipated wind speed. This ratio of rotor tip speed to wind speed is known to be critical in wind power applications. The wind to load energy efficiency of the proposed method was shown to be superior to two other methods; the classical maximum power point tracking method and a generator controlled by deep deterministic policy gradient (DDPG) method.


title: Anomalous Underscreening in the Restricted Primitive Model

abstract: Underscreening is a collective term for charge correlations in electrolytes decaying slower than the Debye length. Anomalous underscreening refers to phenomenology that cannot be attributed alone to steric interactions. Experiments with concentrated electrolytes and ionic fluids report anomalous underscreening, which so far has not been observed in simulation. We present Molecular Dynamics simulation results exhibiting anomalous underscreening that can be connected to cluster formation. A theory that accounts for ion pairing confirms the trend. Our results challenge the classic understanding of dense electrolytes impacting the design of technologies for energy storage and conversion.


title: A simple approach for quantizing neural networks

abstract: In this short note, we propose a new method for quantizing the weights of a fully trained neural network. A simple deterministic pre-processing step allows us to quantize network layers via memoryless scalar quantization while preserving the network performance on given training data. On one hand, the computational complexity of this pre-processing slightly exceeds that of state-of-the-art algorithms in the literature. On the other hand, our approach does not require any hyper-parameter tuning and, in contrast to previous methods, allows a plain analysis. We provide rigorous theoretical guarantees in the case of quantizing single network layers and show that the relative error decays with the number of parameters in the network if the training data behaves well, e.g., if it is sampled from suitable random distributions. The developed method also readily allows the quantization of deep networks by consecutive application to single layers.


title: Exposed Buffer Architecture

abstract: The Internet stack is not a complete description of the resources and services needed to implement distributed applications, as it only accounts for communication services and the protocols that are defined to deliver them. This paper presents an account of the current distributed application architecture using a formal model of strictly layered systems, meaning that services in any layer can only depend on services in the layer immediately below it. By mapping a more complete Internet-based application stack that includes necessary storage and processing resources to this formal model, we are able to apply the Hourglass Theorem in order to compare alternative approaches in terms of their "deployment scalability." In particular, we contrast the current distributed application stack with Exposed Buffer Architecture, which has a converged spanning layer that allows for less-than-complete communication connectivity (exposing lower layer topology), but which also offers weak storage and processing services. This comparison shows that Exposed Buffer Architecture can have deployment scalability greater than the current distributed application stack while also providing minimally requisite storage and processing services.


title: Peer to Peer Learning Platform Optimized With Machine Learning

abstract: HELM Learning (Helping Everyone Learn More) is the first online peer-to-peer learning platform which allows students (typically middle-to-high school students) to teach classes and students (typically elementary-to-middle school students) to learn from classes for free. This method of class structure (peer-to-peer learning) has been proven effective for learning, as it promotes teamwork and collaboration, and enables active learning. HELM is a unique platform as it provides an easy process for students to create, teach and learn topics in a structured, peer-to-peer environment. Since HELM was created in April 2020, it has gotten over 4000 student sign ups and 80 teachers, in 4 continents around the world. HELM has grown from a simple website-and-Google-Form platform to having a backend system coded with Python, SQL, JavaScript and HTML, hosted on an AWS service. This not only makes it easier for students to sign up (as the students' information is saved in an SQL database, meaning they can sign up for classes without having to put in their information again, as well as getting automated emails about their classes), but also makes it easier for teachers to teach (as supplemental processes such as creating Zoom links, class recording folders, sending emails to students, etc. are done automatically). In addition, HELM has a recommendation machine learning algorithm which suggests classes and subjects students would enjoy taking, based on the previous classes a student has taken. This has created an easier experience for students to sign up for classes they are interested in.


title: Evolution of Galaxy Types and HI Gas in Hickson Compact Groups

abstract: Compact groups have high galaxy densities and low velocity dispersions, and their group members have experienced numerous and frequent interactions during their lifetimes. They provide a unique environment to study the evolution of galaxies. We examined the galaxies types and HI contents in groups to make a study on the galaxy evolution in compact groups. We used the group crossing time as an age indicator for galaxy groups. Our sample is derived from the Hickson Compact Group catalog. We obtained group morphology data from the Hyper-Leda database and the IR classification based on Wide-Field Infrared Survey Explorer (WISE) fluxes from Zucker et al. (2016). By cross-matching the latest released ALFALFA 100% HI source catalog and supplemented by data found in literature, we obtained 40 galaxy groups with HI data available. We confirmed that the weak correlation between HI mass fraction and group crossing time found by Ai & Zhu (2018) in SDSS groups also exists in compact groups. We also found that the group spiral galaxy fraction is correlated with the group crossing time, but the actively star-forming galaxy fraction is not correlated with the group crossing time. These results seem to fit with the hypothesis that the sequential acquisition of neighbors from surrounding larger-scale structures has affected the morphology transition and star formation efficiency in compact groups.


title: On the Near-Optimality of Local Policies in Large Cooperative Multi-Agent Reinforcement Learning

abstract: We show that in a cooperative $N$-agent network, one can design locally executable policies for the agents such that the resulting discounted sum of average rewards (value) well approximates the optimal value computed over all (including non-local) policies. Specifically, we prove that, if $|\mathcal{X}|, |\mathcal{U}|$ denote the size of state, and action spaces of individual agents, then for sufficiently small discount factor, the approximation error is given by $\mathcal{O}(e)$ where $e\triangleq \frac{1}{\sqrt{N}}\left[\sqrt{|\mathcal{X}|}+\sqrt{|\mathcal{U}|}\right]$. Moreover, in a special case where the reward and state transition functions are independent of the action distribution of the population, the error improves to $\mathcal{O}(e)$ where $e\triangleq \frac{1}{\sqrt{N}}\sqrt{|\mathcal{X}|}$. Finally, we also devise an algorithm to explicitly construct a local policy. With the help of our approximation results, we further establish that the constructed local policy is within $\mathcal{O}(\max\{e,\epsilon\})$ distance of the optimal policy, and the sample complexity to achieve such a local policy is $\mathcal{O}(\epsilon^{-3})$, for any $\epsilon>0$.


title: Complements of coalescing sets

abstract: We consider matrices of the form $qD+A$, with $D$ being the diagonal matrix of degrees, $A$ being the adjacency matrix, and $q$ a fixed value. Given a graph $H$ and $B\subseteq V(G)$, which we call a coalescent pair $(H,B)$, we derive a formula for the characteristic polynomial where a copy of same rooted graph $G$ is attached by the root to \emph{each} vertex of $B$. Moreover, we establish if $(H_1,B_1)$ and $(H_2,B_2)$ are two coalescent pairs which are cospectral for any possible rooted graph $G$, then $(H_1,V(H_1)\setminus B_1)$ and $(H_2,V(H_2)\setminus B_2)$ will also always be cospectral for any possible rooted graph $G$.


title: Spectral faux trees

abstract: A spectral faux tree with respect to a given matrix is a graph which is not a tree but is cospectral with a tree for the given matrix. We consider the existence of spectral faux trees for several matrices, with emphasis on constructions. For the Laplacian matrix, there are no spectral faux trees. For the adjacency matrix, almost all trees are cospectral with a faux tree. For the signless Laplacian matrix, spectral faux trees can only exist when the number of vertices is of the form $n=4k$. For the normalized adjacency, spectral faux trees exist when the number of vertices $n\ge 4$, and we give an explicit construction for a family whose size grows exponentially with $k$ for $n=\alpha k+1$ where $\alpha$ is fixed.


title: Neural Feature Fusion Fields: 3D Distillation of Self-Supervised 2D Image Representations

abstract: We present Neural Feature Fusion Fields (N3F), a method that improves dense 2D image feature extractors when the latter are applied to the analysis of multiple images reconstructible as a 3D scene. Given an image feature extractor, for example pre-trained using self-supervision, N3F uses it as a teacher to learn a student network defined in 3D space. The 3D student network is similar to a neural radiance field that distills said features and can be trained with the usual differentiable rendering machinery. As a consequence, N3F is readily applicable to most neural rendering formulations, including vanilla NeRF and its extensions to complex dynamic scenes. We show that our method not only enables semantic understanding in the context of scene-specific neural fields without the use of manual labels, but also consistently improves over the self-supervised 2D baselines. This is demonstrated by considering various tasks, such as 2D object retrieval, 3D segmentation, and scene editing, in diverse sequences, including long egocentric videos in the EPIC-KITCHENS benchmark.


title: Forecasting overhead distribution line failures using weather data and gradient-boosted location, scale, and shape models

abstract: Overhead distribution lines play a vital role in distributing electricity, however, their freestanding nature makes them vulnerable to extreme weather conditions and resultant disruption of supply. The current UK regulation of power networks means preemptive mitigation of disruptions avoids financial penalties for distribution companies, making accurate fault predictions of direct financial importance. Here we present predictive models developed for a UK network based on gradient-boosted location, scale, and shape models, providing spatio-temporal predictions of faults based on forecast weather conditions. The models presented are based on (a) tree base learners or (b) penalised smooth and linear base learners -- leading to a Generalised Additive Model (GAM) structure, with the latter category of models providing best performance in terms of out-of-sample log-likelihood. The models are fitted to fifteen years of fault and weather data and are shown to provide good accuracy over multi-day forecast windows, giving tangible support to power restoration.