title: Critical and Topological Phases of Dimerized Kitaev Chain in Presence of Quasiperiodic Potential

abstract: We investigate localization and topological properties of a dimerized Kitaev chain with p-wave superconducting correlations and a quasiperiodically modulated chemical potential. With regard to the localization studies, we demonstrate the existence of distinct phases, such as, the extended phase, the critical (intermediate) phase, and the localized phase that arise due to the competition between the dimerization and the onsite quasiperiodic potential. Most interestingly, the critical phase comprises of two different mobility edges that are found to exist between the extended to the localized phase, and between the critical (multifractal) and localized phases. We perform our analysis employing the inverse and the normalized participation ratios, fractal dimension, and the level spacing. Subsequently, a finite-size analysis is done to provide support of our findings. Furthermore, we study the topological properties of the zero-energy edge modes via computing the real-space winding number and number of the Majorana zero modes present in the system. We specifically illustrate that our model exhibits a phase transition from a topologically trivial to a non-trivial phase (topological Anderson phase) beyond a critical dimerization strength under the influence of the quasiperiodic potential strength. Finally, in presence of a large potential, we demonstrate that the system undergoes yet another transition from the topologically non-trivial to an Anderson localized phase. Thus, we believe that our results will aid exploration of fundamentally different physics pertaining to the critical and the topological Anderson phases.


title: Structural changes in nonlocal denoising models arising through bi-level parameter learning

abstract: We introduce a unified framework based on bi-level optimization schemes to deal with parameter learning in the context of image processing. The goal is to identify the optimal regularizer within a family depending on a parameter in a general topological space. Our focus lies on the situation with non-compact parameter domains, which is, for example, relevant when the commonly used box constraints are disposed of. To overcome this lack of compactness, we propose a natural extension of the upper-level functional to the closure of the parameter domain via Gamma-convergence, which captures possible structural changes in the reconstruction model at the edge of the domain. Under two main assumptions, namely, Mosco-convergence of the regularizers and uniqueness of minimizers of the lower-level problem, we prove that the extension coincides with the relaxation, thus admitting minimizers that relate to the parameter optimization problem of interest. We apply our abstract framework to investigate a quartet of practically relevant models in image denoising, all featuring nonlocality. The associated families of regularizers exhibit qualitatively different parameter dependence, describing a weight factor, an amount of nonlocality, an integrability exponent, and a fractional order, respectively. After the asymptotic analysis that determines the relaxation in each of the four settings, we finally establish theoretical conditions on the data that guarantee structural stability of the models and give examples of when stability is lost.


title: A computational framework for physics-informed symbolic regression with straightforward integration of domain knowledge

abstract: Discovering a meaningful symbolic expression that explains experimental data is a fundamental challenge in many scientific fields. We present a novel, open-source computational framework called Scientist-Machine Equation Detector (SciMED), which integrates scientific discipline wisdom in a scientist-in-the-loop approach, with state-of-the-art symbolic regression (SR) methods. SciMED combines a wrapper selection method, that is based on a genetic algorithm, with automatic machine learning and two levels of SR methods. We test SciMED on five configurations of a settling sphere, with and without aerodynamic non-linear drag force, and with excessive noise in the measurements. We show that SciMED is sufficiently robust to discover the correct physically meaningful symbolic expressions from the data, and demonstrate how the integration of domain knowledge enhances its performance. Our results indicate better performance on these tasks than the state-of-the-art SR software packages , even in cases where no knowledge is integrated. Moreover, we demonstrate how SciMED can alert the user about possible missing features, unlike the majority of current SR systems.


title: Cluster Nature of Quantum Groups

abstract: We present a rigid cluster model to realize the quantum group ${\bf U}_q(\mathfrak{g})$ for $\mathfrak{g}$ of type ADE. That is, we prove that there is a natural Hopf algebra isomorphism from the quantum group ${\bf U}_q(\mathfrak{g})$ to a quotient algebra of the Weyl group invariants of the Fock-Goncharov quantum cluster algebra $\mathcal{O}_q(\mathscr{P}_{{\rm G},\odot})$. By applying the quantum duality of cluster algebras, we show that ${\bf U}_q(\mathfrak{g})$ admits a natural basis $\bar{\bf \Theta}$ whose structural coefficients are in $\mathbb{N}[q^{\frac{1}{2}}, q^{-\frac{1}{2}}]$. The basis $\bar{\bf \Theta}$ satisfies an invariance property under Lusztig's braid group action, the Dynkin automorphisms, and the star anti-involution.


title: Designing Biological Sequences via Meta-Reinforcement Learning and Bayesian Optimization

abstract: The ability to accelerate the design of biological sequences can have a substantial impact on the progress of the medical field. The problem can be framed as a global optimization problem where the objective is an expensive black-box function such that we can query large batches restricted with a limitation of a low number of rounds. Bayesian Optimization is a principled method for tackling this problem. However, the astronomically large state space of biological sequences renders brute-force iterating over all possible sequences infeasible. In this paper, we propose MetaRLBO where we train an autoregressive generative model via Meta-Reinforcement Learning to propose promising sequences for selection via Bayesian Optimization. We pose this problem as that of finding an optimal policy over a distribution of MDPs induced by sampling subsets of the data acquired in the previous rounds. Our in-silico experiments show that meta-learning over such ensembles provides robustness against reward misspecification and achieves competitive results compared to existing strong baselines.


title: FEDEX: An Explainability Framework for Data Exploration Steps

abstract: When exploring a new dataset, Data Scientists often apply analysis queries, look for insights in the resulting dataframe, and repeat to apply further queries. We propose in this paper a novel solution that assists data scientists in this laborious process. In a nutshell, our solution pinpoints the most interesting (sets of) rows in each obtained dataframe. Uniquely, our definition of interest is based on the contribution of each row to the interestingness of different columns of the entire dataframe, which, in turn, is defined using standard measures such as diversity and exceptionality. Intuitively, interesting rows are ones that explain why (some column of) the analysis query result is interesting as a whole. Rows are correlated in their contribution and so the interesting score for a set of rows may not be directly computed based on that of individual rows. We address the resulting computational challenge by restricting attention to semantically-related sets, based on multiple notions of semantic relatedness; these sets serve as more informative explanations. Our experimental study across multiple real-world datasets shows the usefulness of our system in various scenarios.


title: Real2Sim2Real Transfer for Control of Cable-driven Robots via a Differentiable Physics Engine

abstract: Tensegrity robots, composed of rigid rods and flexible cables, exhibit high strength-to-weight ratios and significant deformations, which enable them to navigate unstructured terrains and survive harsh impacts. They are hard to control, however, due to high dimensionality, complex dynamics, and a coupled architecture. Physics-based simulation is a promising avenue for developing locomotion policies that can be transferred to real robots. Nevertheless, modeling tensegrity robots is a complex task due to a substantial sim2real gap. To address this issue, this paper describes a Real2Sim2Real (R2S2R) strategy for tensegrity robots. This strategy is based on a differentiable physics engine that can be trained given limited data from a real robot. These data include offline measurements of physical properties, such as mass and geometry for various robot components, and the observation of a trajectory using a random control policy. With the data from the real robot, the engine can be iteratively refined and used to discover locomotion policies that are directly transferable to the real robot. Beyond the R2S2R pipeline, key contributions of this work include computing non-zero gradients at contact points, a loss function for matching tensegrity locomotion gaits, and a trajectory segmentation technique that avoids conflicts in gradient evaluation during training. Multiple iterations of the R2S2R process are demonstrated and evaluated on a real 3-bar tensegrity robot.


title: Unifying Causal Inference and Reinforcement Learning using Higher-Order Category Theory

abstract: We present a unified formalism for structure discovery of causal models and predictive state representation (PSR) models in reinforcement learning (RL) using higher-order category theory. Specifically, we model structure discovery in both settings using simplicial objects, contravariant functors from the category of ordinal numbers into any category. Fragments of causal models that are equivalent under conditional independence -- defined as causal horns -- as well as subsequences of potential tests in a predictive state representation -- defined as predictive horns -- are both special cases of horns of a simplicial object, subsets resulting from the removal of the interior and the face opposite a particular vertex. Latent structure discovery in both settings involve the same fundamental mathematical problem of finding extensions of horns of simplicial objects through solving lifting problems in commutative diagrams, and exploiting weak homotopies that define higher-order symmetries. Solutions to the problem of filling "inner" vs "outer" horns leads to various notions of higher-order categories, including weak Kan complexes and quasicategories. We define the abstract problem of structure discovery in both settings in terms of adjoint functors between the category of universal causal models or universal decision models and its simplicial object representation.


title: Connecting low-energy CP violation, resonant leptogenesis and neutrinoless double beta decay in a radiative seesaw model

abstract: We present a study of resonant leptogenesis in a radiative seesaw model. We consider the case where two quasi-degenerate right-handed neutrinos realize resonant leptogenesis, and the CP violation necessary to achieve leptogenesis occurs through the CP phases present in the neutrino mixing matrix. A numerical analysis is performed by taking the best-fit values from the current global data for three neutrino mixing angles and two mass-squared differences. We have shown how the predicted value of baryon asymmetry depends on the Dirac and Majorana CP phases. With the particular choice for the mass parameters, this model prefers a normal hierarchy of neutrino masses based on the value of baryon asymmetry predicted. Using the constrained CP phases, we evaluate the effective neutrino mass, which is relevant to the neutrinoless double beta decay.


title: High-resolution semantically-consistent image-to-image translation

abstract: Deep learning has become one of remote sensing scientists' most efficient computer vision tools in recent years. However, the lack of training labels for the remote sensing datasets means that scientists need to solve the domain adaptation problem to narrow the discrepancy between satellite image datasets. As a result, image segmentation models that are then trained, could better generalize and use an existing set of labels instead of requiring new ones. This work proposes an unsupervised domain adaptation model that preserves semantic consistency and per-pixel quality for the images during the style-transferring phase. This paper's major contribution is proposing the improved architecture of the SemI2I model, which significantly boosts the proposed model's performance and makes it competitive with the state-of-the-art CyCADA model. A second contribution is testing the CyCADA model on the remote sensing multi-band datasets such as WorldView-2 and SPOT-6. The proposed model preserves semantic consistency and per-pixel quality for the images during the style-transferring phase. Thus, the semantic segmentation model, trained on the adapted images, shows substantial performance gain compared to the SemI2I model and reaches similar results as the state-of-the-art CyCADA model. The future development of the proposed method could include ecological domain transfer, {\em a priori} evaluation of dataset quality in terms of data distribution, or exploration of the inner architecture of the domain adaptation model.


title: Automated detection of pronunciation errors in non-native English speech employing deep learning

abstract: Despite significant advances in recent years, the existing Computer-Assisted Pronunciation Training (CAPT) methods detect pronunciation errors with a relatively low accuracy (precision of 60% at 40%-80% recall). This Ph.D. work proposes novel deep learning methods for detecting pronunciation errors in non-native (L2) English speech, outperforming the state-of-the-art method in AUC metric (Area under the Curve) by 41%, i.e., from 0.528 to 0.749. One of the problems with existing CAPT methods is the low availability of annotated mispronounced speech needed for reliable training of pronunciation error detection models. Therefore, the detection of pronunciation errors is reformulated to the task of generating synthetic mispronounced speech. Intuitively, if we could mimic mispronounced speech and produce any amount of training data, detecting pronunciation errors would be more effective. Furthermore, to eliminate the need to align canonical and recognized phonemes, a novel end-to-end multi-task technique to directly detect pronunciation errors was proposed. The pronunciation error detection models have been used at Amazon to automatically detect pronunciation errors in synthetic speech to accelerate the research into new speech synthesis methods. It was demonstrated that the proposed deep learning methods are applicable in the tasks of detecting and reconstructing dysarthric speech.


title: Simulations of Heat Transport in Single-Molecule Junctions: Investigations of the Thermal Diode Effect

abstract: With the objective to understand microscopic principles governing thermal energy flow in nanojunctions, we study phononic heat transport through metal-molecule-metal junctions using classical molecular dynamics (MD) simulations. Considering a single-molecule gold-alkanedithiol-gold junction, we first focus on aspects of method development and compare two techniques for calculating thermal conductance: (i) The Reverse Nonequilibrium MD (RNEMD) method, where heat is inputted and extracted at a constant rate from opposite metals. In this case, the thermal conductance is calculated from the nonequilibrium temperature profile that is created on the junction. (ii) The Approach-to-Equilibrium MD (AEMD) method, with the thermal conductance of the junction obtained from the equilibration dynamics of the metals. In both methods, simulations of alkane chains of growing size display an approximate length-independence of the thermal conductance, with calculated values matching computational and experimental studies. The RNEMD and AEMD methods offer different insights on thermal transport, and we discuss their relative benefits and shortcomings. Assessing the potential application of molecular junctions as thermal diodes, the alkane junctions are made spatially asymmetric by modifying their contact regions with the bulk, either by using distinct endgroups or by replacing one of the Au contacts by Ag. Anharmonicity is built into the system within the molecular force-field. Using the RNEMD method, we show that, while the temperature profile strongly varies (compared to the gold-alkanedithiol-gold junctions) due to these structural modifications, the thermal diode effect is inconsequential in these systems -- unless one goes to very large thermal biases. This finding suggests that one should seek molecules with considerable internal anharmonic effects for developing nonlinear thermal devices.


title: Co-Design of Watermarking and Robust Control for Security in Cyber-Physical Systems

abstract: This work discusses a novel framework for simultaneous synthesis of optimal watermarking signal and robust controllers in cyber-physical systems to minimize the loss in performance due to added watermarking signal and to maximize the detection rate of the attack. A general dynamic controller is designed to improve system performance with respect to the $\mathcal H_2$ norm, while a watermarking signal is added to improve security performance concerning the detection rate of replay attacks. The attack model considered in the paper is a replay attack, a natural attack mode when the dynamics of the system is unknown to the attacker. The paper first generalizes the existing result on the detection rate of $\chi^2$ detector from a static-LQR controller to a general dynamic controller. The design improvements on both robustness and security fronts are obtained by iteratively solving the convex subsets of the formulated non-convex problem in terms of the controller and watermarking signal. A semi-definite programming optimization is formulated using Linear Matrix Inequality (LMI) results to solve the larger system-level design optimization problem. We highlight the effectiveness of our method over a simplified three-tank chemical system.


title: Serrin-type overdetermined problems for Hessian quotient equations

abstract: We prove the symmetry of solutions to overdetermined problems for a class of fully nonlinear equations, namely Hessian quotient equations and Hessian quotient curvature equations. Our approach is based on establishing a Rellich-Pohozaev type identity for Hessian quotient equations and using a P function. Our result generalizes the overdetermined problems for k-Hessian equations and k-curvature equations.


title: Observation of Distinct Phase Transitions in a Nonlinear Optical Ising Machine

abstract: Optical Ising machines promise to solve complex optimization problems with an optical hardware acceleration advantage. Here we study the ground state properties of a nonlinear optical Ising machine realized by spatial light modulator, Fourier optics, and second harmonic generation in a nonlinear crystal. By tuning the ratio of the light intensities at the fundamental and second harmonic frequencies, we experimentally observe two distinct ferromagnetic-to-paramagnetic phase transitions: a second-order phase transition where the magnetization changes to zero continuously and a first-order phase transition where the magnetization drops to zero abruptly as the effective temperature increases. Our experimental results are corroborated by a numerical simulation based on the Monte Carlo Metropolis-Hastings algorithm, and the physical mechanism for the distinct phase transitions can be understood with a mean-field theory. Our results showcase the great flexibility of the nonlinear optical Ising machine, which may find important potential applications in solving combinatorial optimization problems.


title: The Hausdorff dimension of escaping sets of meromorphic functions in the Speiser class

abstract: Bergweiler and Kotus gave sharp upper bounds for the Hausdorff dimension of the escaping set of a meromorphic function in the Eremenko-Lyubich class, in terms of the order of the function and the maximal multiplicity of the poles. We show that these bounds are also sharp in the Speiser class. We apply this method also to construct meromorphic functions in the Speiser class with preassigned dimensions of the Julia set and the escaping set.


title: Semi-strict chordality of digraphs

abstract: Chordal graphs are important in algorithmic graph theory. Chordal digraphs are a digraph analogue of chordal graphs and have been a subject of active studies recently. Unlike chordal graphs, chordal digraphs lack many structural properties such as forbidden subdigraph or representation characterizations. In this paper we introduce the notion of semi-strict chordal digraphs which form a class strictly between chordal digraphs and chordal graphs. Semi-strict chordal digraphs have rich structural properties. We characterize semi-strict chordal digraphs in terms of knotting graphs, a notion analogous to the one introduced by Gallai for the study of comparability graphs. We also give forbidden subdigraph characterizations of semi-strict chordal digraphs within the cases of locally semicomplete digraphs and weakly quasi-transitive digraphs.


title: Towards Efficient Architecture and Algorithms for Sensor Fusion

abstract: The safety of an automated vehicle hinges crucially upon the accuracy of perception and decision-making latency. Under these stringent requirements, future automated cars are usually equipped with multi-modal sensors such as cameras and LiDARs. The sensor fusion is adopted to provide a confident context of driving scenarios for better decision-making. A promising sensor fusion technique is middle fusion that combines the feature representations from intermediate layers that belong to different sensing modalities. However, achieving both the accuracy and latency efficiency is challenging for middle fusion, which is critical for driving automation applications. We present A3Fusion, a software-hardware system specialized for an adaptive, agile, and aligned fusion in driving automation. A3Fusion achieves a high efficiency for the middle fusion of multiple CNN-based modalities by proposing an adaptive multi-modal learning network architecture and a latency-aware, agile network architecture optimization algorithm that enhances semantic segmentation accuracy while taking the inference latency as a key trade-off. In addition, A3Fusion proposes a FPGA-based accelerator that captures unique data flow patterns of our middle fusion algorithm while reducing the overall compute overheads. We enable these contributions by co-designing the neural network, algorithm, and the accelerator architecture.


title: Exploring Code Style Transfer with Neural Networks

abstract: Style is a significant component of natural language text, reflecting a change in the tone of text while keeping the underlying information the same. Even though programming languages have strict syntax rules, they also have style. Code can be written with the same functionality but using different language features. However, programming style is difficult to quantify, and thus as part of this work, we define style attributes, specifically for Python. To build a definition of style, we utilized hierarchical clustering to capture a style definition without needing to specify transformations. In addition to defining style, we explore the capability of a pre-trained code language model to capture information about code style. To do this, we fine-tuned pre-trained code-language models and evaluated their performance in code style transfer tasks.


title: MLT-LE: predicting drug-target binding affinity with multi-task residual neural networks

abstract: Assessing drug-target affinity is a critical step in the drug discovery and development process, but to obtain such data experimentally is both time consuming and expensive. For this reason, computational methods for predicting binding strength are being widely developed. However, these methods typically use a single-task approach for prediction, thus ignoring the additional information that can be extracted from the data and used to drive the learning process. Thereafter in this work, we present a multi-task approach for binding strength prediction. Our results suggest that these prediction can indeed benefit from a multi-task learning approach, by utilizing added information from related tasks and multi-task induced regularization.


abstract: Tongue twisters are meaningful sentences that are difficult to pronounce. The process of automatically generating tongue twisters is challenging since the generated utterance must satisfy two conditions at once: phonetic difficulty and semantic meaning. Furthermore, phonetic difficulty is itself hard to characterize and is expressed in natural tongue twisters through a heterogeneous mix of phenomena such as alliteration and homophony. In this paper, we propose PANCETTA: Phoneme Aware Neural Completion to Elicit Tongue Twisters Automatically. We leverage phoneme representations to capture the notion of phonetic difficulty, and we train language models to generate original tongue twisters on two proposed task settings. To do this, we curate a dataset called PANCETTA, consisting of existing English tongue twisters. Through automatic and human evaluation, as well as qualitative analysis, we show that PANCETTA generates novel, phonetically difficult, fluent, and semantically meaningful tongue twisters.


title: ESG-valued discrete option pricing in complete markets

abstract: We consider option pricing using replicating binomial trees, with a two fold purpose. The first is to introduce ESG valuation into option pricing. We explore this in a number of scenarios, including enhancement of yield due to trader information and the impact of the past history of a market driver. The second is to emphasize the use of discrete dynamic pricing, rather than continuum models, as the natural model that governs actual market practice. We further emphasize that discrete option pricing models must use discrete compounding (such as risk-free rate compounding of $1+r_f \Delta t$) rather than continuous compounding (such as $e^{r_f \Delta t})$.


title: Spatiotemporal patterning of extensile active stresses in microtubule-based active fluids

abstract: Active stresses, which are collectively generated by the motion of energy-consuming rod-like constituents, generate chaotic autonomous flows. Controlling active stresses in space and time is an essential prerequisite for controlling the intrinsically chaotic dynamics of extensile active fluids. We design single-headed kinesin molecular motors that exhibit optically enhanced clustering, and thus enable precise and repeatable spatial and temporal control of extensile active stresses. Such motors enable rapid, reversible switching between flowing and quiescent states. In turn, spatio-temporal patterning of the active stress controls the evolution of the ubiquitous bend-instability of extensile active fluids and determines its critical length dependence. Combining optically controlled clusters with conventional kinesin motors enables one-time switching from contractile to extensile active stresses. These results open a path towards real-time control of the autonomous flows generated by active fluids.


title: Large deviation theory-based adaptive importance sampling for rare events in high dimensions

abstract: We propose a method for the accurate estimation of rare event or failure probabilities for expensive-to-evaluate numerical models in high dimensions. The proposed approach combines ideas from large deviation theory and adaptive importance sampling. The importance sampler uses a cross-entropy method to find an optimal Gaussian biasing distribution, and reuses all samples made throughout the process for both, the target probability estimation and for updating the biasing distributions. Large deviation theory is used to find a good initial biasing distribution through the solution of an optimization problem. Additionally, it is used to identify a low-dimensional subspace that is most informative of the rare event probability. This subspace is used for the cross-entropy method, which is known to lose efficiency in higher dimensions. The proposed method does not require smoothing of indicator functions nor does it involve numerical tuning parameters. We compare the method with a state-of-the-art cross-entropy-based importance sampling scheme using three examples: a high-dimensional failure probability estimation benchmark, a problem governed by a diffusion equation, and a tsunami problem governed by the time-dependent shallow water system in one spatial dimension.


title: Karp's patching algorithm on random perturbations of dense digraphs

abstract: We consider the following question. We are given a dense digraph $D_0$ with minimum in- and out-degree at least $\alpha n$, where $\alpha>0$ is a constant. We then add random edges $R$ to $D_0$ to create a digraph $D$. Here an edge $e$ is placed independently into $R$ with probability $n^{-\epsilon}$ where $\epsilon>0$ is a small positive constant. The edges of $D$ are given edge costs $C(e),e\in E(D)$, where $C(e)$ is an independent copy of the exponential mean one random variable $EXP(1)$ i.e. $\Pr(EXP(1)\geq x)=e^{-x}$. Let $C(i,j),i,j\in[n]$ be the associated $n\times n$ cost matrix where $C(i,j)=\infty$ if $(i,j)\notin E(D)$. We show that w.h.p. the patching algorithm of Karp finds a tour for the asymmetric traveling salesperson problem that is asymptotically equal to that of the associated assignment problem. Karp's algorithm runs in polynomial time.


title: The Propagation of Coherent Waves Across Multiple Solar Magnetic Pores

abstract: Solar pores are efficient magnetic conduits for propagating magnetohydrodynamic wave energy into the outer regions of the solar atmosphere. Pore observations often contain isolated and/or unconnected structures, preventing the statistical examination of wave activity as a function of atmospheric height. Here, using high resolution observations acquired by the Dunn Solar Telescope, we examine photospheric and chromospheric wave signatures from a unique collection of magnetic pores originating from the same decaying sunspot. Wavelet analysis of high cadence photospheric imaging reveals the ubiquitous presence of slow sausage mode oscillations, coherent across all photospheric pores through comparisons of intensity and area fluctuations, producing statistically significant in-phase relationships. The universal nature of these waves allowed an investigation of whether the wave activity remained coherent as they propagate. Utilizing bi-sector Doppler velocity analysis of the Ca II 8542 {\AA} line, alongside comparisons of the modeled spectral response function, we find fine-scale 5 mHz power amplification as the waves propagate into the chromosphere. Phase angles approaching zero degrees between co-spatial bi-sectors spanning different line depths indicate standing sausage modes following reflection against the transition region boundary. Fourier analysis of chromospheric velocities between neighboring pores reveals the annihilation of the wave coherency observed in the photosphere, with examination of the intensity and velocity signals from individual pores indicating they behave as fractured wave guides, rather than monolithic structures. Importantly, this work highlights that wave morphology with atmospheric height is highly complex, with vast differences observed at chromospheric layers, despite equivalent wave modes being introduced into similar pores in the photosphere.


title: Counterexamples related to the Kobayashi Pseudodistance

abstract: We present some unexpected examples related to the Kobayashi pseudodistance: For an unramified covering, the vanishing of the Kobayashi pseudodistance on the base does not imply the vanishing on the total space. The vanishing of the Kobayashi pseudodistance does not imply the vanishing of the Kobayashi Royden pseudo metric. Given a locally holomorphic trivial fiber bundle, the Kobayashi pseudodistance may vanish identically on the total space even if the fiber is hyperbolic.


title: Probing Quantum Gravity with Elastic Interactions of Ultra-High-Energy Neutrinos

abstract: The next generation of radio telescopes will be sensitive to low-scale quantum gravity by measuring ultra-high-energy neutrinos. In this letter, we demonstrate for the first time that neutrino-nucleon soft interactions induced by TeV-scale gravity would significantly increase the number of events detected by the IceCube-Gen2 radio array in the EeV regime. However, we show that these experiments cannot measure the total cross section using only the angular and energy information of the neutrino flux, unless assumptions on the underlying inelasticity distribution of neutral interactions are made.


title: Taming the long distance effects in the $D^{+}_{s}\rightarrow \pi^{+}\ell^{-}\ell^{+}$ decay

abstract: The semileptonic decay $D^{+}_{s}\rightarrow \pi^{+}\ell^{-}\ell^{+}$, where $\ell=e, \ \mu$, is used as a reference channel when looking for suppressed or forbidden processes of the standard model of the form $D_{s}\rightarrow P\ell^{\pm}\ell^{\prime+}$. The process is dominated by hadronic resonances from the $\eta$ to the $\phi$ meson region, usually excluded due to the large uncertainties associated. In this work, we explore the role of the parameters involved in the resonance region. We focus in the relative strong phase between the $\rho$ and the $\phi$ meson ($\delta_{\rho\phi}$). We argue that this parameter can be bound from LHCb data of the di-muon invariant mass in the $D^{+}_{s}\rightarrow \pi^{+}\mu^{-}\mu^{+}$ decay and we perform a fit to provide a first approach to it. We obtain $\delta_{\rho\phi}=(0.44 \pm 0.24) \pi$. In contradistinction, it would be useful to consider observables insensitive to this phase. We first compute the invariant mass of the lepton pair at a given angle of one of the leptons emission with respect to the pion, and then we compute the forward-backward distribution at such angle. We show that for the latter observable the resonance region is smeared, exhibiting no dependence on the $\delta_{\rho\phi}$ phase, although global effects are observed by comparing with the pure phase space approach. In order to consider this observable in more general scenarios, we analyse the behavior for the resonant background process $D^{+}_{s}\rightarrow \pi\pi\pi$, the short distance contribution in the standard model, and the charged Higgs mediated process as given by the two Higgs doublet model, which exhibit distinguishable features among themselves.


title: Weakly porous sets and Muckenhoupt $A_p$ distance functions

abstract: We examine the class of weakly porous sets in Euclidean spaces. As our first main result we show that the distance weight $w(x)=\operatorname{dist}(x,E)^{-\alpha}$ belongs to the Muckenhoupt class $A_1$, for some $\alpha>0$, if and only if $E\subset\mathbb{R}^n$ is weakly porous. We also give a precise quantitative version of this characterization in terms of the so-called Muckenhoupt exponent of $E$. When $E$ is weakly porous, we obtain a similar quantitative characterization of $w\in A_p$, for $1<p<\infty$, as well. At the end of the paper, we give an example of a set $E\subset\mathbb{R}$ which is not weakly porous but for which $w\in A_p\setminus A_1$ for every $0<\alpha<1$ and $1<p<\infty$.


title: Warm Start Active Learning with Proxy Labels \& Selection via Semi-Supervised Fine-Tuning

abstract: Which volume to annotate next is a challenging problem in building medical imaging datasets for deep learning. One of the promising methods to approach this question is active learning (AL). However, AL has been a hard nut to crack in terms of which AL algorithm and acquisition functions are most useful for which datasets. Also, the problem is exacerbated with which volumes to label first when there is zero labeled data to start with. This is known as the cold start problem in AL. We propose two novel strategies for AL specifically for 3D image segmentation. First, we tackle the cold start problem by proposing a proxy task and then utilizing uncertainty generated from the proxy task to rank the unlabeled data to be annotated. Second, we craft a two-stage learning framework for each active iteration where the unlabeled data is also used in the second stage as a semi-supervised fine-tuning strategy. We show the promise of our approach on two well-known large public datasets from medical segmentation decathlon. The results indicate that the initial selection of data and semi-supervised framework both showed significant improvement for several AL strategies.


title: Sufficient Conditions for Persistency of Excitation with Step and ReLU Activation Functions

abstract: This paper defines geometric criteria which are then used to establish sufficient conditions for persistency of excitation with vector functions constructed from single hidden-layer neural networks with step or ReLU activation functions. We show that these conditions hold when employing reference system tracking, as is commonly done in adaptive control. We demonstrate the results numerically on a system with linearly parameterized activations of this type and show that the parameter estimates converge to the true values with the sufficient conditions met.


title: The Nature of Unseen Companions in Massive Single-Line Spectroscopic Binaries

abstract: Massive stars are predominantly found in binaries and higher order multiples. While the period and eccentricity distributions of OB stars are now well established across different metallicity regimes, the determination of mass-ratios has been mostly limited to double-lined spectroscopic binaries. As a consequence, the mass-ratio distribution remains subject to significant uncertainties. Open questions include the shape and extent of the companion mass-function towards its low-mass end and the nature of undetected companions in single-lined spectroscopic binaries. In this contribution, we present the results of a large and systematic analysis of a sample of over 80 single-lined O-type spectroscopic binaries (SB1s) in the Milky Way and in the Large Magellanic Cloud (LMC). We report on the developed methodology, the constraints obtained on the nature of SB1 companions, the distribution of O star mass-ratios at LMC metallicity and the occurrence of quiescent OB+black hole binaries.


title: Harmonic Electron Cyclotron Maser Emission along the Coronal Loop

abstract: Efficient radiation at second and/or higher harmonics of Wce has been suggested to circumvent the escaping difficulty of the electron cyclotron maser emission mechanism when it is applied to solar radio bursts, such as spikes. In our earlier study, we developed a three-step numerical scheme to connect the dynamics of energetic electrons within a large-scale coronal loop structure with the microscale kinetic instability energized by the obtained nonthermal velocity distribution and found that direct and efficient harmonic X-mode (X2 for short) emission can be achieved due to the strip-like features of the distribution. That study only considered the radiation from the loop top at a specific time. Here we present the emission properties along the loop at different locations and timings. We found that, in accordance with our earlier results, few to several strip-like features can appear in all cases, and the first two strips play the major role in exciting X2 and Z (i.e., the slow extraordinary mode) that propagate quasi-perpendicularly. For the four sections along the loop, significant excitation of X2 is observed from the upper two sections, and the strongest emission is from the top section. In addition, significant excitation of Z is observed for all loop sections, while there is no significant emission of the fundamental X mode. The study provides new insight into coherent maser emission along the coronal loop structure during solar flares.


title: Accelerators for Rare Processes and Physics Beyond Colliders: Report of the AF5 Topical Group to Snowmass 2021

abstract: This report summarizes the findings of the AF5 Topical Subgroup to Snowmass 2021, which investigated accelerators for rare processes and physics beyond colliders. The report focuses primarily on opportunities for dark sector searches and the need for coordinated development of the Fermilab experimental program for PIP-II and beyond. In addition, a number of other physics opportunities are cataloged and suggestions for synergistic R & D opportunities with various areas of technological development are discussed.


title: Dynamical geography and transition paths of Sargassum in the tropical Atlantic

abstract: By analyzing a time-homogeneous Markov chain constructed using trajectories of undrogued drifting buoys from the NOAA's Global Drifter Program, we find that probability density can distribute in a manner that resembles very closely the recently observed recurrent belt of high Sargassum density in the tropical Atlantic between 5--10$^{\circ}$N, coined the \emph{Great Atlantic Sargassum Belt} (\emph{GASB}). A spectral analysis of the associated transition matrix further unveils a forward attracting almost-invariant set in the northwestern Gulf of Mexico with a corresponding basin of attraction disconnected from the Sargasso Sea, but including the nutrient-rich regions around the Amazon and Orinoco rivers mouths and also the upwelling system off the northern coast of west Africa. This represents a data-based inference of potential remote sources of Sargassum recurrently invading the Intra-Americas Seas (IAS). By further applying Transition Path Theory (TPT) on the data-derived Markov chain model, two potential pathways for Sargassum into the IAS from the upwelling system off the coast of Africa are revealed. One TPT-inferred pathway takes place along the GASB. The second pathway is more southern and slower, first going through the Gulf of Guinea, then across the tropical Atlantic toward the mouth of the Amazon River, and finally along the northeastern South American margin. The existence of such a southern TPT-inferred pathway may have consequences for bloom stimulation by nutrients from river runoff.


title: Multiple View Performers for Shape Completion

abstract: We propose the Multiple View Performer (MVP) - a new architecture for 3D shape completion from a series of temporally sequential views. MVP accomplishes this task by using linear-attention Transformers called Performers. Our model allows the current observation of the scene to attend to the previous ones for more accurate infilling. The history of past observations is compressed via the compact associative memory approximating modern continuous Hopfield memory, but crucially of size independent from the history length. We compare our model with several baselines for shape completion over time, demonstrating the generalization gains that MVP provides. To the best of our knowledge, MVP is the first multiple view voxel reconstruction method that does not require registration of multiple depth views and the first causal Transformer based model for 3D shape completion.


title: ADMM based Distributed State Observer Design under Sparse Sensor Attacks

abstract: This paper considers the design of a distributed state-observer for discrete-time Linear Time-Invariant (LTI) systems in the presence of sensor attacks. We assume there is a network of observer nodes, communicating with each other over an undirected graph, each with partial measurements of the output corrupted by some adversarial attack. We address the case of sparse attacks where the attacker targets a small subset of sensors. An algorithm based on Alternating Direction Method of Multipliers (ADMM) is developed which provides an update law for each observer which ensures convergence of each observer node to the actual state asymptotically.


title: Do Androids Laugh at Electric Sheep? Humor "Understanding" Benchmarks from The New Yorker Caption Contest

abstract: Large neural networks can now generate jokes, but do they really "understand" humor? We challenge AI models with three tasks derived from the New Yorker Cartoon Caption Contest: matching a joke to a cartoon, identifying a winning caption, and explaining why a winning caption is funny. These tasks encapsulate progressively more sophisticated aspects of "understanding" a cartoon; key elements are the complex, often surprising relationships between images and captions and the frequent inclusion of indirect and playful allusions to human experience and culture. We investigate both multimodal and language-only models: the former are challenged with the cartoon images directly, while the latter are given multifaceted descriptions of the visual scene to simulate human-level visual understanding. We find that both types of models struggle at all three tasks. For example, our best multimodal models fall 30 accuracy points behind human performance on the matching task, and, even when provided ground-truth visual scene descriptors, human-authored explanations are preferred head-to-head over the best machine-authored ones (few-shot GPT-4) in more than 2/3 of cases. We release models, code, leaderboard, and corpus, which includes newly-gathered annotations describing the image's locations/entities, what's unusual in the scene, and an explanation of the joke.


title: Graph-constrained Analysis for Multivariate Functional Data

abstract: Functional Gaussian graphical models (GGM) used for analyzing multivariate functional data customarily estimate an unknown graphical model representing the conditional relationships between the functional variables. However, in many applications of multivariate functional data, the graph is known and existing functional GGM methods cannot preserve a given graphical constraint. In this manuscript, we demonstrate how to conduct multivariate functional analysis that exactly conforms to a given inter-variable graph. We first show the equivalence between partially separable functional GGM and graphical Gaussian processes (GP), proposed originally for constructing optimal covariance functions for multivariate spatial data that retain the conditional independence relations in a given graphical model. The theoretical connection help design a new algorithm that leverages Dempster's covariance selection to calculate the maximum likelihood estimate of the covariance function for multivariate functional data under graphical constraints. We also show that the finite term truncation of functional GGM basis expansion used in practice is equivalent to a low-rank graphical GP, which is known to oversmooth marginal distributions. To remedy this, we extend our algorithm to better preserve marginal distributions while still respecting the graph and retaining computational scalability. The insights obtained from the new results presented in this manuscript will help practitioners better understand the relationship between these graphical models and in deciding on the appropriate method for their specific multivariate data analysis task. The benefits of the proposed algorithms are illustrated using empirical experiments and an application to functional modeling of neuroimaging data using the connectivity graph among regions of the brain.


title: Data-adaptive Transfer Learning for Translation: A Case Study in Haitian and Jamaican

abstract: Multilingual transfer techniques often improve low-resource machine translation (MT). Many of these techniques are applied without considering data characteristics. We show in the context of Haitian-to-English translation that transfer effectiveness is correlated with amount of training data and relationships between knowledge-sharing languages. Our experiments suggest that for some languages beyond a threshold of authentic data, back-translation augmentation methods are counterproductive, while cross-lingual transfer from a sufficiently related language is preferred. We complement this finding by contributing a rule-based French-Haitian orthographic and syntactic engine and a novel method for phonological embedding. When used with multilingual techniques, orthographic transformation makes statistically significant improvements over conventional methods. And in very low-resource Jamaican MT, code-switching with a transfer language for orthographic resemblance yields a 6.63 BLEU point advantage.


title: $\sqrt{T\bar{T}}$-deformed oscillator inspired by ModMax

abstract: Inspired by a recently proposed Duality and Conformal invariant modification of Maxwell theory (ModMax), we construct a one-parameter family of two-dimensional dynamical system in classical mechanics that share many features with the ModMax theory. It consists of a couple of $\sqrt{T\bar{T}}$-deformed oscillators that nevertheless preserves duality $(q \rightarrow p,p \rightarrow -q)$ and depends on a continuous parameter $\gamma$, as in the ModMax case. Despite its non-linear features, the system is integrable. Remarkably can be interpreted as a pair of two coupled oscillators whose frequencies depend on some basic invariants that correspond to the duality symmetry and rotational symmetry. Based on the properties of the model, we can construct a non-linear map dependent on $\gamma$ that maps the oscillator in 2D to the nonlinear one, but with parameter $2\gamma$. The dynamics also shows the phenomenon of energy transfer and we calculate a Hannay angle associated to geometric phases and holonomies.


title: Fluctuations of conserved charges with finite size PNJL model

abstract: Fluctuations of baryon, charge and strangeness have been investigated in Polyakov loop enhanced Nambu--Jona-Lasinio model. Multiple reflection expansion method has been incorporated to include the surface and curvature energy along with the system volume. The results of different fluctuations are then compared with the available experimental data from the heavy ion collision.


title: E2 Rotational Invariants of $0^+_1$ and $2^+_1$ states for $^{106}$Cd: the Emergence of Collective Rotation

abstract: The collective structure of $^{106}$Cd is elucidated by multi-step Coulomb excitation of a 3.849 MeV/$A$ beam of $^{106}$Cd on a 1.1 mg/cm$^2$ $^{208}$Pb target using GRETINA-CHICO2 at ATLAS. Fourteen $E2$ matrix elements were obtained. The nucleus $^{106}$Cd is a prime example of emergent collectivity that possesses a simple structure: it is free of complexity caused by shape coexistence and has a small, but collectively active number of valence nucleons. This work follows in a long and currently active quest to answer the fundamental question of the origin of nuclear collectivity and deformation, notably in the cadmium isotopes. The results are discussed in terms of phenomenological models, the shell model, and Kumar-Cline sums of $E2$ matrix elements. The ${\langle 0_2^+ ||E2||2_1^+ \rangle}$ matrix element is determined for the first time, providing a total, converged measure of the electric quadrupole strength, $\langle Q^2 \rangle$, of the first-excited $2_1^+$ level relative to the $0_1^+$ ground state, which does not show an increase as expected of harmonic and anharmonic vibrations. Strong evidence for triaxial shapes in weakly collective nuclei is indicated; collective vibrations are excluded. This is contrary to the only other cadmium result of this kind in $^{114}$Cd by C. Fahlander et al., Nucl. Phys. A485, 327 (1988), which is complicated by low-lying shape coexistence near midshell.


title: Constraints on light decaying dark matter candidates from 16 years of INTEGRAL/SPI observations

abstract: We apply the recently developed analysis of 16 years of INTEGRAL/SPI data including a dark matter spatial template to derive bounds on dark matter candidates lighter than WIMPs (like sterile neutrinos or axion-like particles) decaying into line or continuum electromagnetic final state channels. The bounds obtained are the strongest to date for dark matter masses between $\sim $60 keV and $\sim$16 MeV experiencing two-body decays producing photon lines.


title: PINCH: An Adversarial Extraction Attack Framework for Deep Learning Models

abstract: Adversarial extraction attacks constitute an insidious threat against Deep Learning (DL) models in-which an adversary aims to steal the architecture, parameters, and hyper-parameters of a targeted DL model. Existing extraction attack literature have observed varying levels of attack success for different DL models and datasets, yet the underlying cause(s) behind their susceptibility often remain unclear, and would help facilitate creating secure DL systems. In this paper we present PINCH: an efficient and automated extraction attack framework capable of designing, deploying, and analyzing extraction attack scenarios across heterogeneous hardware platforms. Using PINCH, we perform extensive experimental evaluation of extraction attacks against 21 model architectures to explore new extraction attack scenarios and further attack staging. Our findings show (1) key extraction characteristics whereby particular model configurations exhibit strong resilience against specific attacks, (2) even partial extraction success enables further staging for other adversarial attacks, and (3) equivalent stolen models uncover differences in expressive power, yet exhibit similar captured knowledge.


title: Using 1991T/1999aa-like Type Ia Supernovae as Standardizable Candles

abstract: We present the photometry of 16 91T/99aa-like Type Ia Supernovae (SNe Ia) observed by the Las Cumbres Observatory. We also use an additional set of 21 91T/99aa-like SNe Ia and 87 normal SNe Ia from the literature for an analysis of the standardizability of the luminosity of 91T/99aa-like SNe. We find that 91T/99aa-like SNe are 0.2 mag brighter than normal SNe Ia, even when fully corrected by the light curve shapes and colors. The weighted root-mean-square of 91T/99aa-like SNe (with $z_{CMB}>0.01$) Hubble residuals is $0.25\pm0.03$ mag, suggesting that 91T/99aa-like SNe are also excellent relative distance indicators to $\pm$12%. We compare the Hubble residuals with the pseudo-equivalent width (pEW) of Si II $\lambda\lambda$6355 around the date of maximum brightness. We find that there is a broken linear correlation in between those two measurements for our sample including both 91T/99aa-like and normal SNe Ia. As the $pEW_{max}$(Si II $\lambda\lambda$6355) increasing, the Hubble residual increases when $pEW_{max}$(Si II $\lambda\lambda$6355)$<55.6$ \r{A}. However, the Hubble residual stays constant beyond this. Given that 91T/99aa-like SNe possess shallower Si II lines than normal SNe Ia, the linear correlation at $pEW_{max}$(Si II $\lambda\lambda$6355)$<55.6$ \r{A} can account for the overall discrepancy of Hubble residuals derived from the two subgroups. Such a systematic effect needs to be taken into account when using SNe Ia to measure luminosity distances.


title: Optimization without Backpropagation

abstract: Forward gradients have been recently introduced to bypass backpropagation in autodifferentiation, while retaining unbiased estimators of true gradients. We derive an optimality condition to obtain best approximating forward gradients, which leads us to mathematical insights that suggest optimization in high dimension is challenging with forward gradients. Our extensive experiments on test functions support this claim.


title: Using machine learning to investigate the populations of dusty evolved stars in various metallicities

abstract: Mass loss is a key property to understand stellar evolution and in particular for low-metallicity environments. Our knowledge has improved dramatically over the last decades both for single and binary evolutionary models. However, episodic mass loss although definitely present observationally, is not included in the models, while its role is currently undetermined. A major hindrance is the lack of large enough samples of classified stars. We attempted to address this by applying an ensemble machine-learning approach using color indices (from IR/Spitzer and optical/Pan-STARRS photometry) as features and combining the probabilities from three different algorithms. We trained on M31 and M33 sources with known spectral classification, which we grouped into Blue/Yellow/Red/B[e] Supergiants, Luminous Blue Variables, classical Wolf-Rayet and background galaxies/AGNs. We then applied the classifier to about one million Spitzer point sources from 25 nearby galaxies, spanning a range of metallicites ($1/15$ to $\sim3~Z_{\odot}$). Equipped with spectral classifications we investigated the occurrence of these populations with metallicity.


title: A note on conjectures generalizing the road colouring theorem

abstract: The road colouring theorem characterizes the class of strongly connected directed graphs with constant out-degree that admit a synchronizing road colouring. The subject of this paper is a pair of related conjectures that generalize the road colouring theorem to graphs with non-constant out-degree; we give reasons to believe that both of these conjectures are true. Our main results focus on two classes of graphs, proving both conjectures for one class of graphs and one of the conjectures for an additional class of graphs. We also present computer simulations that give some empirical evidence for the conjectures.


title: Ptychographic lens-less polarization microscopy

abstract: Birefringence, an inherent characteristic of optically anisotropic materials, is widely utilized in various imaging applications ranging from material characterizations to clinical diagnosis. Polarized light microscopy enables high-resolution, high-contrast imaging of optically anisotropic specimens, but it is associated with mechanical rotations of polarizer/analyzer and relatively complex optical designs. Here, we present a novel form of polarization-sensitive microscopy capable of birefringence imaging of transparent objects without an optical lens and any moving parts. Our method exploits an optical mask-modulated polarization image sensor and single-input-state LED illumination design to obtain complex and birefringence images of the object via ptychographic phase retrieval. Using a camera with a pixel resolution of 3.45 um, the method achieves birefringence imaging with a half-pitch resolution of 2.46 um over a 59.74 mm^2 field-of-view, which corresponds to a space-bandwidth product of 9.9 megapixels. We demonstrate the high-resolution, large-area birefringence imaging capability of our method by presenting the birefringence images of various anisotropic objects, including a birefringent resolution target, liquid crystal polymer depolarizer, monosodium urate crystal, and excised mouse eye and heart tissues.


title: Interim Monitoring of Sequential Multiple Assignment Randomized Trials Using Partial Information

abstract: The sequential multiple assignment randomized trial (SMART) is the gold standard trial design to generate data for the evaluation of multi-stage treatment regimes. As with conventional (single-stage) randomized clinical trials, interim monitoring allows early stopping; however, there are few methods for principled interim analysis in SMARTs. Because SMARTs involve multiple stages of treatment, a key challenge is that not all enrolled participants will have progressed through all treatment stages at the time of an interim analysis. Wu et al. (2021) propose basing interim analyses on an estimator for the mean outcome under a given regime that uses data only from participants who have completed all treatment stages. We propose an estimator for the mean outcome under a given regime that gains efficiency by using partial information from enrolled participants regardless of their progression through treatment stages. Using the asymptotic distribution of this estimator, we derive associated Pocock and O'Brien-Fleming testing procedures for early stopping. In simulation experiments, the estimator controls type I error and achieves nominal power while reducing expected sample size relative to the method of Wu et al. (2021). We present an illustrative application of the proposed estimator based on a recent SMART evaluating behavioral pain interventions for breast cancer patients.


title: Forced Eccentricity in Circumbinary Discs

abstract: We analyze the eccentric response of a low mass coplanar circumbinary disc to secular tidal forcing by a Keplerian eccentric orbit central binary. The disc acquires a forced eccentricity whose magnitude depends on the properties of the binary and disc. The largest eccentricities occur when there is a global apsidal resonance in the disc. The driving frequency by the binary is its apsidal frequency that is equal to zero. A global resonance occurs when the disc properties permit the existence of a zero apsidal frequency free eccentric mode. Resonances occur for different free eccentric modes that differ in the number of radial nodes. For a disc not at resonance, the eccentricity distribution has somewhat similar form to the eccentricity distributions in discs at resonance that have the closest matching disc aspect ratios. For higher disc aspect ratios, the forced eccentricity distribution in a 2D disc is similar to that of the fundamental free mode. The forced eccentricity distribution in a 3D disc is similar to that of higher order free modes, not the fundamental mode, unless the disc is very cool. For parameters close to resonance, large phase shifts occur between the disc and binary eccentricities that are locked in phase. Forced eccentricity may play an important role in the evolution of circumbinary discs and their central binaries.


title: Risk-aware Resource Allocation for Multiple UAVs-UGVs Recharging Rendezvous

abstract: We study a resource allocation problem for the cooperative aerial-ground vehicle routing application, in which multiple Unmanned Aerial Vehicles (UAVs) with limited battery capacity and multiple Unmanned Ground Vehicles (UGVs) that can also act as a mobile recharging stations need to jointly accomplish a mission such as persistently monitoring a set of points. Due to the limited battery capacity of the UAVs, they sometimes have to deviate from their task to rendezvous with the UGVs and get recharged. Each UGV can serve a limited number of UAVs at a time. In contrast to prior work on deterministic multi-robot scheduling, we consider the challenge imposed by the stochasticity of the energy consumption of the UAV. We are interested in finding the optimal recharging schedule of the UAVs such that the travel cost is minimized and the probability that no UAV runs out of charge within the planning horizon is greater than a user-defined tolerance. We formulate this problem ({Risk-aware Recharging Rendezvous Problem (RRRP))} as an Integer Linear Program (ILP), in which the matching constraint captures the resource availability constraints and the knapsack constraint captures the success probability constraints. We propose a bicriteria approximation algorithm to solve RRRP. We demonstrate the effectiveness of our formulation and algorithm in the context of one persistent monitoring mission.


title: Self-dual compact gauged baby skyrmions in a continuous medium

abstract: We investigate the existence of self-dual configurations in the restricted gauged baby Skyrme model enlarged with a $Z_2$--symmetry, which introduces a real scalar field. For such a purpose, we implement the Bogomol'nyi procedure that provides a lower bound for the energy and the respective self-dual equations whose solutions saturate such a bound. Aiming to solve the self-dual equations, we specifically focused on a class of topological structures called compacton. We obtain the corresponding numerical solutions within two distinct scenarios, each defined by a scalar field, allowing us to describe different magnetic media. Finally, we analyze how the compacton profiles change when immersed in each medium.


title: Representations of cones and applications to decision theory

abstract: Let $C$ be a cone in a locally convex Hausdorff topological vector space $X$ containing $0$. We show that there exists a (essentially unique) nonempty family $\mathscr{K}$ of nonempty subsets of the topological dual $X^\prime$ such that $$ C=\{x \in X: \forall K \in \mathscr{K}, \exists f \in K, \,\, f(x) \ge 0\}. $$ Then, we identify the additional properties on the family $\mathscr{K}$ which characterize, among others, closed convex cones, open convex cones, closed cones, and convex cones. For instance, if $X$ is a Banach space, then $C$ is a closed cone if and only if the family $\mathscr{K}$ can be chosen with nonempty convex compact sets. These representations provide abstract versions of several recent results in decision theory and give us the proper framework to obtain new ones. This allows us to characterize preorders which satisfy the independence axiom over certain probability measures, answering an open question in [Econometrica~\textbf{87} (2019), no. 3, 933--980].


title: Impact of subsurface convective flows on the formation of sunspot magnetic field and energy build-up

abstract: Strong solar flares occur in $\delta $-spots characterized by the opposite-polarity magnetic fluxes in a single penumbra. Sunspot formation via flux emergence from the convection zone to the photosphere can be strongly affected by convective turbulent flows. It has not yet been shown how crucial convective flows are for the formation of $\delta$-spots. The aim of this study is to reveal the impact of convective flows in the convection zone on the formation and evolution of sunspot magnetic fields. We simulated the emergence and transport of magnetic flux tubes in the convection zone using radiative magnetohydrodynamics code R2D2. We carried out 93 simulations by allocating the twisted flux tubes to different positions in the convection zone. As a result, both $\delta$-type and $\beta$-type magnetic distributions were reproduced only by the differences in the convective flows surrounding the flux tubes. The $\delta $-spots were formed by the collision of positive and negative magnetic fluxes on the photosphere. The unipolar and bipolar rotations of the $\delta$-spots were driven by magnetic twist and writhe, transporting magnetic helicity from the convection zone to the corona. We detected a strong correlation between the distribution of the nonpotential magnetic field in the photosphere and the position of the downflow plume in the convection zone. The correlation could be detected $20$-$30$ h before the flux emergence. The results suggest that high free energy regions in the photosphere can be predicted even before the magnetic flux appears in the photosphere by detecting the downflow profile in the convection zone.


title: Probing Photon Statistics in Adaptive Optics Images with SCExAO/MEC

abstract: We present an experimental study of photon statistics for high-contrast imaging with the Microwave Kinetic Inductance Detector (MKID) Exoplanet Camera (MEC) located behind the Subaru Coronagraphic Extreme Adaptive Optics System (SCExAO) at the Subaru Telescope. We show that MEC measures the expected distributions for both on-axis companion intensity and off-axis intensity which manifests as quasi-static speckles in the image plane and currently limits high-contrast imaging performance. These statistics can be probed by any MEC observation due to the photon-counting capabilities of MKID detectors. Photon arrival time statistics can also be used to directly distinguish companions from speckles using a post-processing technique called Stochastic Speckle Discrimination (SSD). Here, we we give an overview of the SSD technique and highlight the first demonstration of SSD on an extended source -- the protoplanetary disk AB Aurigae. We then present simulations that provide an in-depth exploration as to the current limitations of an extension of the SSD technique called Photon-Counting SSD (PCSSD) to provide a path forward for transitioning PCSSD from simulations to on-sky results. We end with a discussion of how to further improve the efficacy of such arrival time based post-processing techniques applicable to both MKIDs, as well as other high speed astronomical cameras.


title: Surface-Mediated Molecular Transport of a Lipophilic Fluorescent Probe in Polydisperse Oil-in-Water Emulsions

abstract: Emulsions often act as carriers for water-insoluble solutes that are delivered to a specific target. The molecular transport of solutes in emulsions can be facilitated by surfactants and is often limited by diffusion through the continuous phase. We here investigate this transport on a molecular scale by using a lipophilic molecular rotor as a proxy for solutes. Using fluorescence lifetime microscopy we track the transport of these molecules from the continuous phase towards the dispersed phase in polydisperse oil-in-water emulsions. We show that this transport comprises two timescales, which vary significantly with droplet size and surfactant concentration, and, depending on the type of surfactant used, can be limited either by transport across the oil-water interface, or by diffusion through the continuous phase. By studying the time-resolved fluorescence of the fluorophore, accompanied by molecular dynamics simulations, we demonstrate how the rate of transport observed on a macroscopic scale can be explained in terms of the local environment that the probe molecules are exposed to.


title: Placing Human Animations into 3D Scenes by Learning Interaction- and Geometry-Driven Keyframes

abstract: We present a novel method for placing a 3D human animation into a 3D scene while maintaining any human-scene interactions in the animation. We use the notion of computing the most important meshes in the animation for the interaction with the scene, which we call "keyframes." These keyframes allow us to better optimize the placement of the animation into the scene such that interactions in the animations (standing, laying, sitting, etc.) match the affordances of the scene (e.g., standing on the floor or laying in a bed). We compare our method, which we call PAAK, with prior approaches, including POSA, PROX ground truth, and a motion synthesis method, and highlight the benefits of our method with a perceptual study. Human raters preferred our PAAK method over the PROX ground truth data 64.6\% of the time. Additionally, in direct comparisons, the raters preferred PAAK over competing methods including 61.5\% compared to POSA.


title: Inline Tests

abstract: Unit tests are widely used to check source code quality, but they can be too coarse-grained or ill-suited for testing individual program statements. We introduce inline tests to make it easier to check for faults in statements. We motivate inline tests through several language features and a common testing scenario in which inline tests could be beneficial. For example, inline tests can allow a developer to test a regular expression in place. We also define language-agnostic requirements for inline testing frameworks. Lastly, we implement I-Test, the first inline testing framework. I-Test works for Python and Java, and it satisfies most of the requirements. We evaluate I-Test on open-source projects by using it to test 144 statements in 31 Python programs and 37 Java programs. We also perform a user study. All nine user study participants say that inline tests are easy to write and that inline testing is beneficial. The cost of running inline tests is negligible, at 0.007x--0.014x, and our inline tests helped find two faults that have been fixed by the developers.


title: Optimizing SLAM Evaluation Footprint Through Dynamic Range Coverage Analysis of Datasets

abstract: Simultaneous Localization and Mapping (SLAM) is considered an ever-evolving problem due to its usage in many applications. Evaluation of SLAM is done typically using publicly available datasets which are increasing in number and the level of difficulty. Each dataset provides a certain level of dynamic range coverage that is a key aspect of measuring the robustness and resilience of SLAM. In this paper, we provide a systematic analysis of the dynamic range coverage of datasets based on a number of characterization metrics, and our analysis shows a huge level of redundancy within and between datasets. Subsequently, we propose a dynamic programming (DP) algorithm for eliminating the redundancy in the evaluation process of SLAM by selecting a subset of sequences that matches a single or multiple dynamic range coverage objectives. It is shown that, with the help of dataset characterization and DP selection algorithm, a reduction in the evaluation effort can be achieved while maintaining the same level of coverage. We also study how the evaluation process of a real-world SLAM system can be optimized utilizing the method proposed.


title: Quantitative AI Risk Assessments: Opportunities and Challenges

abstract: Although AI-based systems are increasingly being leveraged to provide value to organizations, individuals, and society, significant attendant risks have been identified. These risks have led to proposed regulations, litigation, and general societal concerns. As with any promising technology, organizations want to benefit from the positive capabilities of AI technology while reducing the risks. The best way to reduce risks is to implement comprehensive AI lifecycle governance where policies and procedures are described and enforced during the design, development, deployment, and monitoring of an AI system. While support for comprehensive governance is beginning to emerge, organizations often need to identify the risks of deploying an already-built model without knowledge of how it was constructed or access to its original developers. Such an assessment will quantitatively assess the risks of an existing model in a manner analogous to how a home inspector might assess the energy efficiency of an already-built home or a physician might assess overall patient health based on a battery of tests. This paper explores the concept of a quantitative AI Risk Assessment, exploring the opportunities, challenges, and potential impacts of such an approach, and discussing how it might improve AI regulations.


title: Sneak peek at the tig sequences: useful sequences built from nucleic acid data

abstract: This manuscript is a tutorial on tig sequences that emerged after the name "contig", and are of diverse purposes in sequence bioinformatics. We review these different sequences (unitigs, simplitigs, monotigs, omnitigs to cite a few), give intuitions of their construction and interest, and provide some examples of applications.


title: Structural, point-free, non-Hausdorff topological realization of Borel groupoid actions

abstract: We extend the Becker--Kechris topological realization and change-of-topology theorems for Polish group actions in several directions. For Polish group actions, we prove a single result that implies the original Becker--Kechris theorems, as well as Sami's and Hjorth's sharpenings adapted levelwise to the Borel hierarchy; automatic continuity of Borel actions via homeomorphisms; and the equivalence of "potentially open" versus "orbitwise open" Borel sets. We also characterize "potentially open" $n$-ary relations, thus yielding a topological realization theorem for invariant Borel first-order structures. We then generalize to groupoid actions, and prove a result subsuming Lupini's Becker--Kechris-type theorems for open Polish groupoids, newly adapted to the Borel hierarchy, as well as topological realizations of actions on fiberwise topological bundles and bundles of first-order structures. Our proof method is new even in the classical case of Polish groups, and is based entirely on formal algebraic properties of category quantifiers; in particular, we make no use of either metrizability or the strong Choquet game. Consequently, our proofs work equally well in the non-Hausdorff context, for open quasi-Polish groupoids, and more generally in the point-free context, for open localic groupoids.


title: Tensor Rank and Other Multipartite Entanglement Measures of Graph States

abstract: Graph states play an important role in quantum information theory through their connection to measurement-based computing and error correction. Prior work has revealed elegant connections between the graph structure of these states and their multipartite entanglement content. We continue this line of investigation by identifying additional entanglement properties for certain types of graph states. From the perspective of tensor theory, we tighten both upper and lower bounds on the tensor rank of odd ring states ($|R_{2n+1}\rangle$) to read $2^n+1 \leq rank(|R_{2n+1}\rangle) \leq 3*2^{n-1}$. Next, we show that several multipartite extensions of bipartite entanglement measures are dichotomous for graph states based on the connectivity of the corresponding graph. Lastly, we give a simple graph rule for computing the n-tangle $\tau_n$.


title: Alexa, Let's Work Together: Introducing the First Alexa Prize TaskBot Challenge on Conversational Task Assistance

abstract: Since its inception in 2016, the Alexa Prize program has enabled hundreds of university students to explore and compete to develop conversational agents through the SocialBot Grand Challenge. The goal of the challenge is to build agents capable of conversing coherently and engagingly with humans on popular topics for 20 minutes, while achieving an average rating of at least 4.0/5.0. However, as conversational agents attempt to assist users with increasingly complex tasks, new conversational AI techniques and evaluation platforms are needed. The Alexa Prize TaskBot challenge, established in 2021, builds on the success of the SocialBot challenge by introducing the requirements of interactively assisting humans with real-world Cooking and Do-It-Yourself tasks, while making use of both voice and visual modalities. This challenge requires the TaskBots to identify and understand the user's need, identify and integrate task and domain knowledge into the interaction, and develop new ways of engaging the user without distracting them from the task at hand, among other challenges. This paper provides an overview of the TaskBot challenge, describes the infrastructure support provided to the teams with the CoBot Toolkit, and summarizes the approaches the participating teams took to overcome the research challenges. Finally, it analyzes the performance of the competing TaskBots during the first year of the competition.


title: FaceTopoNet: Facial Expression Recognition using Face Topology Learning

abstract: Prior work has shown that the order in which different components of the face are learned using a sequential learner can play an important role in the performance of facial expression recognition systems. We propose FaceTopoNet, an end-to-end deep model for facial expression recognition, which is capable of learning an effective tree topology of the face. Our model then traverses the learned tree to generate a sequence, which is then used to form an embedding to feed a sequential learner. The devised model adopts one stream for learning structure and one stream for learning texture. The structure stream focuses on the positions of the facial landmarks, while the main focus of the texture stream is on the patches around the landmarks to learn textural information. We then fuse the outputs of the two streams by utilizing an effective attention-based fusion strategy. We perform extensive experiments on four large-scale in-the-wild facial expression datasets - namely AffectNet, FER2013, ExpW, and RAF-DB - and one lab-controlled dataset (CK+) to evaluate our approach. FaceTopoNet achieves state-of-the-art performance on three of the five datasets and obtains competitive results on the other two datasets. We also perform rigorous ablation and sensitivity experiments to evaluate the impact of different components and parameters in our model. Lastly, we perform robustness experiments and demonstrate that FaceTopoNet is more robust against occlusions in comparison to other leading methods in the area.


title: Multi-robot Mission Planning in Dynamic Semantic Environments

abstract: This paper addresses a new semantic multi-robot planning problem in uncertain and dynamic environments. Particularly, the environment is occupied with non-cooperative, mobile, uncertain labeled targets. These targets are governed by stochastic dynamics while their current and future positions as well as their semantic labels are uncertain. Our goal is to control mobile sensing robots so that they can accomplish collaborative semantic tasks defined over the uncertain current/future positions and labels of these targets. We express these tasks using Linear Temporal Logic (LTL). We propose a sampling-based approach that explores the robot motion space, the mission specification space, as well as the future configurations of the labeled targets to design optimal paths. These paths are revised online to adapt to uncertain perceptual feedback. To the best of our knowledge, this is the first work that addresses semantic mission planning problems in uncertain and dynamic semantic environments. We provide extensive experiments that demonstrate the efficiency of the proposed method


title: Routing heterogeneous traffic in delay tolerant satellite networks

abstract: Delay Tolerant Networking (DTN) has been proposed as a new architecture to provide efficient store-carry-and-forward data transport in satellite networks. Since these networks relay on scheduled contact plans, the Contact Graph Routing (CGR) algorithm can be used to optimize routing and data delivery performance. However, in spite of the various improvements that have been made to CGR, there have been no significant proposals to prioritize traffic with different quality of service requirements. In this work we propose adaptations to CGR that allow performance improvements when sending traffic with different latency constraints, and develop a linear programming optimization model that works as a performance upper bound. The simulation results of the proposed schemes are promising and open the debate on other ways to improve performance while meeting the particular needs of heterogeneous traffic.


title: Convex bodies with all characteristics planar

abstract: We show that smooth and strongly convex bodies in the symplectic $\mathbb R^{2n}$ for $n>1$ with all characteristics planar, or all outer billiard trajectories planar are affine symplectic images of balls.


title: Krylov Methods for Adjoint-Free Singular Vector Based Perturbations in Dynamical Systems

abstract: The estimation of weather forecast uncertainty with ensemble systems requires a careful selection of perturbations to establish a reliable sampling of the error growth potential in the phase space of the model. Usually, the singular vectors of the tangent linear model propagator are used to identify the fastest growing modes (classical singular vector perturbation (SV) method). In this paper we present an efficient matrix-free block Krylov method for generating fast growing perturbations in high dimensional dynamical systems. A specific matrix containing the non-linear evolution of perturbations is introduced, which we call Evolved Increment Matrix (EIM). Instead of solving an equivalent eigenvalue problem, we use the Arnoldi method for a direct approximation of the leading singular vectors of this matrix, which however is never computed explicitly. This avoids linear and adjoint models but requires forecasts with the full non-linear system. The performance of the approximated perturbations is compared with singular vectors of a full EIM (not with the classical SV method). We show promising results for the Lorenz96 differential equations and a shallow water model, where we obtain good approximations of the fastest growing perturbations by using only a small number of Arnoldi iterations.


title: Reproducibility-Oriented and Privacy-Preserving Genomic Dataset Sharing

abstract: As genomic research has become increasingly widespread in recent years, few studies share datasets due to the sensitivity in privacy of genomic records. This hinders the reproduction and validation of research outcomes, which are crucial for catching errors (e.g., miscalculations) during the research process.To the best of our knowledge, we are the first to propose a method of sharing genomic datasets in a privacy-preserving manner for GWAS outcome reproducibility.In this work, we introduce a differential privacy-based scheme for sharing genomic datasets to enhance the reproducibility of genome-wide association studies (GWAS) outcomes. The scheme involves two stages. In the first stage, we generate a noisy copy of the target dataset by applying the XOR mechanism on the binarized (encoded) dataset, where the binary noise generation considers biological features. However, the initial step introduces significant noise, making the dataset less suitable for direct GWAS validation. Thus, in the second stage, we implement a post-processing technique that adjusts the Minor Allele Frequency (MAF) values in the noisy dataset to align more closely with those in a publicly available dataset using optimal transport and decode it back to genomic space. We evaluated the proposed scheme on three real-life genomic datasets and compared it with a baseline approach and two synthesis-based solutions with regard to detecting errors of GWAS outcomes, data utility, and resistance against membership inference attacks (MIAs). Our scheme outperforms all the comparing methods in detecting GWAS outcome errors, achieves better utility and provides higher privacy protection against membership inference attacks (MIAs). By utilizing our method, genomic researchers will be inclined to share a differentially private, yet of high quality version of their datasets.


title: Deterministic and Stochastic Analysis of Deep Reinforcement Learning for Low Dimensional Sensing-based Navigation of Mobile Robots

abstract: Deterministic and Stochastic techniques in Deep Reinforcement Learning (Deep-RL) have become a promising solution to improve motion control and the decision-making tasks for a wide variety of robots. Previous works showed that these Deep-RL algorithms can be applied to perform mapless navigation of mobile robots in general. However, they tend to use simple sensing strategies since it has been shown that they perform poorly with a high dimensional state spaces, such as the ones yielded from image-based sensing. This paper presents a comparative analysis of two Deep-RL techniques - Deep Deterministic Policy Gradients (DDPG) and Soft Actor-Critic (SAC) - when performing tasks of mapless navigation for mobile robots. We aim to contribute by showing how the neural network architecture influences the learning itself, presenting quantitative results based on the time and distance of navigation of aerial mobile robots for each approach. Overall, our analysis of six distinct architectures highlights that the stochastic approach (SAC) better suits with deeper architectures, while the opposite happens with the deterministic approach (DDPG).


title: Mapping an Instanton to Spacetime

abstract: A mapping from the Lie algebra of the complexified Lorentz group to the $\mathfrak{su}(2)\times\mathfrak{su}(2) \sim\mathfrak{sp}(1)\times\mathfrak{sp}(1)$ part of the algebra the coset space $Sp(2)/[Sp(1)\times Sp(1)]$ is presented. The coset space is shown to be home to the instanton, the curvature form that optimizes the Yang-Mills functional. Arguments are presented to support the generalization to $Sp(n)/Sp(1)^n$ to yield a self-consistent many-body theory for $n$ particles interacting with one another via fields that reside in the coset space.


title: An Improved Lower Bound for Maximin Share Allocations of Goods

abstract: The problem of fair division of indivisible goods has been receiving much attention recently. The prominent metric of envy-freeness can always be satisfied in the divisible goods setting (see for example \cite{BT95}), but often cannot be satisfied in the indivisible goods setting. This has led to many relaxations thereof being introduced. We study the existence of {\em maximin share (MMS)} allocations, which is one such relaxation. Previous work has shown that MMS allocations are guaranteed to exist for all instances with $n$ players and $m$ goods if $m \leq n+4$. We extend this guarantee to the case of $m = n+5$ and show that the same guarantee fails for $m = n+6$.


title: Learning Category-Level Manipulation Tasks from Point Clouds with Dynamic Graph CNNs

abstract: This paper presents a new technique for learning category-level manipulation from raw RGB-D videos of task demonstrations, with no manual labels or annotations. Category-level learning aims to acquire skills that can be generalized to new objects, with geometries and textures that are different from the ones of the objects used in the demonstrations. We address this problem by first viewing both grasping and manipulation as special cases of tool use, where a tool object is moved to a sequence of key-poses defined in a frame of reference of a target object. Tool and target objects, along with their key-poses, are predicted using a dynamic graph convolutional neural network that takes as input an automatically segmented depth and color image of the entire scene. Empirical results on object manipulation tasks with a real robotic arm show that the proposed network can efficiently learn from real visual demonstrations to perform the tasks on novel objects within the same category, and outperforms alternative approaches.


title: Mapless Navigation of a Hybrid Aerial Underwater Vehicle with Deep Reinforcement Learning Through Environmental Generalization

abstract: Previous works showed that Deep-RL can be applied to perform mapless navigation, including the medium transition of Hybrid Unmanned Aerial Underwater Vehicles (HUAUVs). This paper presents new approaches based on the state-of-the-art actor-critic algorithms to address the navigation and medium transition problems for a HUAUV. We show that a double critic Deep-RL with Recurrent Neural Networks improves the navigation performance of HUAUVs using solely range data and relative localization. Our Deep-RL approaches achieved better navigation and transitioning capabilities with a solid generalization of learning through distinct simulated scenarios, outperforming previous approaches.


title: Molecular Dynamics Simulations of Binary Sphere Mixtures

abstract: Explicit simulations of fluid mixtures of highly size-dispersed particles are constrained by numerical challenges associated with identifying pair-interaction neighbors. Recent algorithmic developments have ameliorated these difficulties to an extent, permitting more efficient simulations of systems with many large and small particles of disperse sizes. We leverage these capabilities to perform molecular dynamics simulations of binary sphere mixtures with elastically stiff particles approaching the hard sphere limit and particle size ratios of up to 50, approaching the colloidal limit. The systems considered consist of 500 large particles and up to nearly 3.6 million small particles with total particle volume fractions up to 0.51. Our simulations confirm qualitative predictions for correlations between large particles previously obtained analytically and for simulations employing effective depletion interactions, but also reveal additional insights into the near-contact structure that result from the explicit treatment of the small particle solvent. No spontaneous crystal nucleation was observed during the simulations, suggesting that nucleation rates in the fluid-solid coexistence region are too small to observe crystal nucleation for feasible simulation system sizes and timescales.


title: Monadic and Comonadic Aspects of Dependency Analysis

abstract: Dependency analysis is vital to several applications in computer science. It lies at the essence of secure information flow analysis, binding-time analysis, etc. Various calculi have been proposed in the literature for analysing individual dependencies. Abadi et. al., by extending Moggi's monadic metalanguage, unified several of these calculi into the Dependency Core Calculus (DCC). DCC has served as a foundational framework for dependency analysis for the last two decades. However, in spite of its success, DCC has its limitations. First, the monadic bind rule of the calculus is nonstandard and relies upon an auxiliary protection judgement. Second, being of a monadic nature, the calculus cannot capture dependency analyses that possess a comonadic nature, for example, the binding-time calculus, $\lambda^{\circ}$, of Davies. In this paper, we address these limitations by designing an alternative dependency calculus that is inspired by standard ideas from category theory. Our calculus is both monadic and comonadic in nature and subsumes both DCC and $\lambda^{\circ}$. Our construction explains the nonstandard bind rule and the protection judgement of DCC in terms of standard categorical concepts. It also leads to a novel technique for proving correctness of dependency analysis. We use this technique to present alternative proofs of correctness for DCC and $\lambda^{\circ}$.


title: Efficient Deobfuscation of Linear Mixed Boolean-Arithmetic Expressions

abstract: Mixed Boolean-Arithmetic (MBA) expressions are frequently used for obfuscation. As they combine arithmetic as well as Boolean operations, neither arithmetic laws nor transformation rules for logical formulas can be applied to suitably complex expressions, making MBAs hard to simplify and solve. In 2019, Liu et al. demystified linear MBAs, leveraging a transformation between the set $B=\{0,1\}$ of bit values and the set $B^n$ of words of length $n\in\mathbb{N}$ for linear MBAs, originally introduced by Zhou et al. in 2007. With their MBA-Blast and MBA-Solver algorithms, they outperform existing tools noticably in terms of performance as well as ability to simplify of such MBAs. We propose a surprisingly simple algorithm called SiMBA that improves upon MBA-Blast and MBA-Solver in that it can deobfuscate all linear MBAs, does not miss particularly simple solutions and takes only a fraction of their runtime.


title: Active Perception Applied To Unmanned Aerial Vehicles Through Deep Reinforcement Learning

abstract: Unmanned Aerial Vehicles (UAV) have been standing out due to the wide range of applications in which they can be used autonomously. However, they need intelligent systems capable of providing a greater understanding of what they perceive to perform several tasks. They become more challenging in complex environments since there is a need to perceive the environment and act under environmental uncertainties to make a decision. In this context, a system that uses active perception can improve performance by seeking the best next view through the recognition of targets while displacement occurs. This work aims to contribute to the active perception of UAVs by tackling the problem of tracking and recognizing water surface structures to perform a dynamic landing. We show that our system with classical image processing techniques and a simple Deep Reinforcement Learning (Deep-RL) agent is capable of perceiving the environment and dealing with uncertainties without making the use of complex Convolutional Neural Networks (CNN) or Contrastive Learning (CL).


title: Deep Speech Synthesis from Articulatory Representations

abstract: In the articulatory synthesis task, speech is synthesized from input features containing information about the physical behavior of the human vocal tract. This task provides a promising direction for speech synthesis research, as the articulatory space is compact, smooth, and interpretable. Current works have highlighted the potential for deep learning models to perform articulatory synthesis. However, it remains unclear whether these models can achieve the efficiency and fidelity of the human speech production system. To help bridge this gap, we propose a time-domain articulatory synthesis methodology and demonstrate its efficacy with both electromagnetic articulography (EMA) and synthetic articulatory feature inputs. Our model is computationally efficient and achieves a transcription word error rate (WER) of 18.5% for the EMA-to-speech task, yielding an improvement of 11.6% compared to prior work. Through interpolation experiments, we also highlight the generalizability and interpretability of our approach.


title: Collective Adaptation in Multi-Agent Systems: How Predator Confusion Shapes Swarm-Like Behaviors

abstract: Popular hypotheses about the origins of collective adaptation are related to two basic behaviours: protection from predators and a combined search for food resources. Among the anti-predator explanations, the predator confusion hypothesis suggests that groups of individuals moving in a swarm aim to overwhelm the predator while the dilution of risk hypothesis suggests that the probability of a single prey being targeted by a predator is lower in larger groups. In this paper, we explore how emergent behaviors arise from a predator-driven process as an adaptive response to external stimuli perceived as threatening. Moreover, we suggest a predator confusion process to provide a selective pressure for the prey to evolve group formations. We analyze the foraging and prey-predator dynamics evolved in terms of group density and formation, behavior consistency, predator evasion and success rate, and foraging rate. Two agents' perceptual models are compared. A local observation model, where agents can only see what's in their immediate vicinity, and a global observation model, where agents are able to see the predator at all times. Both models were evolved for predator avoidance, foraging and collision avoidance, using reinforcement learning in a simulated game environment. Our results suggest that the dilution of risk factor is sufficient to evolve group formations, and the predator confusion effect could play an important role in the evolution of collaborative behaviors. Finally, we show how variations in the information exchange of this social order can impact the global collective behaviors.