title: Decomposable context-specific models

abstract: We introduce a family of discrete context-specific models, which we call decomposable. We construct this family from the subclass of staged tree models known as CStree models. We give an algebraic and combinatorial characterization of all context-specific independence relations that hold in a decomposable context-specific model, which yields a Markov basis. We prove that the moralization operation applied to the graphical representation of a context-specific model does not affect the implied independence relations, thus affirming that these models are algebraically described by a finite collection of decomposable graphical models. More generally, we establish that several algebraic, combinatorial, and geometric properties of decomposable context-specific models generalize those of decomposable graphical models to the context-specific setting.


title: Composing Ensembles of Pre-trained Models via Iterative Consensus

abstract: Large pre-trained models exhibit distinct and complementary capabilities dependent on the data they are trained on. Language models such as GPT-3 are capable of textual reasoning but cannot understand visual information, while vision models such as DALL-E can generate photorealistic photos but fail to understand complex language descriptions. In this work, we propose a unified framework for composing ensembles of different pre-trained models -- combining the strengths of each individual model to solve various multimodal problems in a zero-shot manner. We use pre-trained models as "generators" or "scorers" and compose them via closed-loop iterative consensus optimization. The generator constructs proposals and the scorers iteratively provide feedback to refine the generated result. Such closed-loop communication enables models to correct errors caused by other models, significantly boosting performance on downstream tasks, e.g. improving accuracy on grade school math problems by 7.5%, without requiring any model finetuning. We demonstrate that consensus achieved by an ensemble of scorers outperforms the feedback of a single scorer, by leveraging the strengths of each expert model. Results show that the proposed method can be used as a general purpose framework for a wide range of zero-shot multimodal tasks, such as image generation, video question answering, mathematical reasoning, and robotic manipulation. Project page: https://energy-based-model.github.io/composing-pretrained-models.


title: Quantum Machine Learning using the ZXW-Calculus

abstract: The field of quantum machine learning (QML) explores how quantum computers can be used to more efficiently solve machine learning problems. As an application of hybrid quantum-classical algorithms, it promises a potential quantum advantages in the near term. In this thesis, we use the ZXW-calculus to diagrammatically analyse two key problems that QML applications face. First, we discuss algorithms to compute gradients on quantum hardware that are needed to perform gradient-based optimisation for QML. Concretely, we give new diagrammatic proofs of the common 2- and 4-term parameter shift rules used in the literature. Additionally, we derive a novel, generalised parameter shift rule with 2n terms that is applicable to gates that can be represented with n parametrised spiders in the ZXW-calculus. Furthermore, to the best of our knowledge, we give the first proof of a conjecture by Anselmetti et al. by proving a no-go theorem ruling out more efficient alternatives to the 4-term shift rule. Secondly, we analyse the gradient landscape of quantum ans\"atze for barren plateaus using both empirical and analytical techniques. Concretely, we develop a tool that automatically calculates the variance of gradients and use it to detect likely barren plateaus in commonly used quantum ans\"atze. Furthermore, we formally prove the existence or absence of barren plateaus for a selection of ans\"atze using diagrammatic techniques from the ZXW-calculus.


title: Discriminating between individual-based models of collective cell motion in a benchmark flow geometry using standardised spatiotemporal patterns

abstract: Collectively coordinated cell migration plays a role in tissue embryogenesis, cancer, homeostasis and healing. To study these processes, different cell-based modelling approaches have been developed, ranging from lattice-based cellular automata to lattice-free models that treat cells as point-like particles or extended detailed cell shape contours. In the spirit of what Osborne et al. [PLOS Computational Biology, (2017) 13, 1-34] did for cellular tissue structure simulation models, we here compare five simulation models of collective cell migration, chosen to be representative in increasing order of included detail. They are Vicsek-Gr\'egoire particles, Szab\'o-like particles, self-propelled Voronoi model, cellular Potts model, and multiparticle cells, where each model includes cell motility. We examine how these models compare when applied to the same biological problem, and what differences in behaviour are due to different model assumptions and abstractions. For that purpose, we use a benchmark that discriminates between complex material flow models, and that can be experimentally approached using cell cultures: the flow within a channel around a circular obstacle, that is, the geometry Stokes used in his historical 1851 experiment. For each model we explain how to best implement it; vary cell density, attraction force and alignment interaction; draw the resulting maps of velocity, density and deformation fields; and eventually discuss its respective advantages and limitations. We thus provide a recommendation on how to select a model to answer a given question, and we examine whether models of motile particles and motile cells display similar collective effects.


title: On the Financing of Climate Change Adaptation in Developing Countries

abstract: I offer reflections on adaptation to climate change, with emphasis on developing areas.


title: Topological aspects in nonlinear optical frequency conversion

abstract: Nonlinear optical frequency conversion, observed more than half a century ago, is a corner stone in modern applications of nonlinear and quantum optics. It is well known that frequency conversion processes are constrained by conservation laws, such as momentum conservation that requires phase matching conditions for efficient conversion. However, conservation laws alone could not fully capture the features of nonlinear frequency conversion. Here it is shown that topology can provide additional constraints in nonlinear multi-frequency conversion processes. Unlike conservation laws, a topological constraint concerns with the conserved properties under continuous deformation, and can be regarded as a new indispensable degree of freedom to describe multi-frequency processes. We illustrate such a paradigm by considering sum frequency generation under a multi-frequency pump wave, showing that, akin topological phases in topological insulators, topological phase transitions can be observed in the frequency conversion process both at classical and quantum level.


title: A spanning union of cycles in thin cylinder, torus and Klein bottle grid graphs

abstract: We propose an algorithm for obtaining the common transfer digraph $ D^*_m$ for enumeration of 2-factors in graphs from the title all of which with $m n$ vertices ($m, n \in N, m >1 $). The numerical data gathered for $m <19$ reveal some matchings of the numbers of 2-factors for different types of torus or Klein bottle. In latter case we conjecture that these numbers are invariant under twisting.


title: Unsupervised Text Deidentification

abstract: Deidentification seeks to anonymize textual data prior to distribution. Automatic deidentification primarily uses supervised named entity recognition from human-labeled data points. We propose an unsupervised deidentification method that masks words that leak personally-identifying information. The approach utilizes a specially trained reidentification model to identify individuals from redacted personal documents. Motivated by K-anonymity based privacy, we generate redactions that ensure a minimum reidentification rank for the correct profile of the document. To evaluate this approach, we consider the task of deidentifying Wikipedia Biographies, and evaluate using an adversarial reidentification metric. Compared to a set of unsupervised baselines, our approach deidentifies documents more completely while removing fewer words. Qualitatively, we see that the approach eliminates many identifying aspects that would fall outside of the common named entity based approach.


title: Identifying Lightning Processes in ERA5 Soundings with Deep Learning

abstract: Atmospheric environments favorable for lightning and convection are commonly represented by proxies or parameterizations based on expert knowledge such as CAPE, wind shears, charge separation, or combinations thereof. Recent developments in the field of machine learning, high resolution reanalyses, and accurate lightning observations open possibilities for identifying tailored proxies without prior expert knowledge. To identify vertical profiles favorable for lightning, a deep neural network links ERA5 vertical profiles of cloud physics, mass field variables and wind to lightning location data from the Austrian Lightning Detection and Information System (ALDIS), which has been transformed to a binary target variable labelling the ERA5 cells as cells with lightning activity and cells without lightning activity. The ERA5 parameters are taken on model levels beyond the tropopause forming an input layer of approx. 670 features. The data of 2010-2018 serve as training/validation. On independent test data, 2019, the deep network outperforms a reference with features based on meteorological expertise. SHAP values highlight the atmospheric processes learned by the network which identifies cloud ice and snow content in the upper and mid-troposphere as very relevant features. As these patterns correspond to the separation of charge in thunderstorm cloud, the deep learning model can serve as physically meaningful description of lightning. Depending on the region, the neural network also exploits the vertical wind or mass profiles to correctly classify cells with lightning activity.


title: Theoretical analysis of deep neural networks for temporally dependent observations

abstract: Deep neural networks are powerful tools to model observations over time with non-linear patterns. Despite the widespread use of neural networks in such settings, most theoretical developments of deep neural networks are under the assumption of independent observations, and theoretical results for temporally dependent observations are scarce. To bridge this gap, we study theoretical properties of deep neural networks on modeling non-linear time series data. Specifically, non-asymptotic bounds for prediction error of (sparse) feed-forward neural network with ReLU activation function is established under mixing-type assumptions. These assumptions are mild such that they include a wide range of time series models including auto-regressive models. Compared to independent observations, established convergence rates have additional logarithmic factors to compensate for additional complexity due to dependence among data points. The theoretical results are supported via various numerical simulation settings as well as an application to a macroeconomic data set.


title: Ab initio Canonical Sampling based on Variational Inference

abstract: Finite temperature calculations, based on ab initio molecular dynamics (AIMD) simulations, are a powerful tool able to predict material properties that cannot be deduced from ground state calculations. However, the high computational cost of AIMD limits its applicability for large or complex systems. To circumvent this limitation we introduce a new method named Machine Learning Assisted Canonical Sampling (MLACS), which accelerates the sampling of the Born--Oppenheimer potential surface in the canonical ensemble. Based on a self-consistent variational procedure, the method iteratively trains a Machine Learning Interatomic Potential to generate configurations that approximate the canonical distribution of positions associated with the ab initio potential energy. By proving the reliability of the method on anharmonic systems, we show that the method is able to reproduce the results of AIMD with an ab initio accuracy at a fraction of its computational cost.


title: DNN-ForwardTesting: A New Trading Strategy Validation using Statistical Timeseries Analysis and Deep Neural Networks

abstract: In general, traders test their trading strategies by applying them on the historical market data (backtesting), and then apply to the future trades the strategy that achieved the maximum profit on such past data. In this paper, we propose a new trading strategy, called DNN-forwardtesting, that determines the strategy to apply by testing it on the possible future predicted by a deep neural network that has been designed to perform stock price forecasts and trained with the market historical data. In order to generate such an historical dataset, we first perform an exploratory data analysis on a set of ten securities and, in particular, analize their volatility through a novel k-means-based procedure. Then, we restrict the dataset to a small number of assets with the same volatility coefficient and use such data to train a deep feed-forward neural network that forecasts the prices for the next 30 days of open stocks market. Finally, our trading system calculates the most effective technical indicator by applying it to the DNNs predictions and uses such indicator to guide its trades. The results confirm that neural networks outperform classical statistical techniques when performing such forecasts, and their predictions allow to select a trading strategy that, when applied to the real future, increases Expectancy, Sharpe, Sortino, and Calmar ratios with respect to the strategy selected through traditional backtesting.


title: Design Representation as Semantic Networks

abstract: Design representation is a common task in the design process to facilitate learning, analysis, redesign, communication, and other design activities. Traditional representation techniques rely on human expertise and manual construction and are difficult to repeat and scale. Here, we propose a methodology that utilizes a pre-trained large-scale cross-domain design knowledge base to automatically generate design representation as a semantic network, i.e., a network of the entities and relations, based on design descriptions in texts or natural languages. Our methodology requires no ad hoc statistics. Based on a participatory study, we reveal the effectiveness and differences of the semantic network representations that are automatically generated with alternative knowledge bases. The findings illuminate future research directions to enhance design representation as semantic networks.


title: Designing ReachBot: System Design Process with a Case Study of a Martian Lava Tube Mission

abstract: In this paper we present a trade study-based method to optimize the architecture of ReachBot, a new robotic concept that uses deployable booms as prismatic joints for mobility in environments with adverse gravity conditions and challenging terrain. Specifically, we introduce a design process wherein we analyze the compatibility of ReachBot's design with its mission. We incorporate terrain parameters and mission requirements to produce a final design optimized for mission-specific objectives. ReachBot's design parameters include (1) number of booms, (2) positions and orientations of the booms on ReachBot's chassis, (3) boom maximum extension, (4) boom cross-sectional geometry, and (5) number of active/passive degrees-of-freedom at each joint. Using first-order approximations, we analyze the relationships between these parameters and various performance metrics including stability, manipulability, and mechanical interference. We apply our method to a mission where ReachBot navigates and gathers data from a martian lava tube. The resulting design is shown in Fig. 1.


title: Constraints on planetary tidal dissipation from a detailed study of Kepler 91b

abstract: Context. With the detection of thousands of exoplanets, characterising their dynamical evolution in detail represents a key step in the understanding of their formation. Studying the dissipation of tides occurring both in the host star and in the planets is of great relevance in order to investigate the distribution of the angular momentum occurring among the objects populating the system and to studying the evolution of the orbital parameters. From a theoretical point of view, the dissipation of tides throughout a body may be studied by relying on the so-called phase or time-lag equilibrium tides model in which the reduced tidal quality factor Q'p, or equivalently the product between the love number and the time lag (k2DeltaT), describe how efficiently tides are dissipated within the perturbed body. Constraining these factors by looking at the current configuration of the exoplanetary system is extremely challenging, and simulations accounting for the evolution of the system as a whole might help to shed some light on the mechanisms governing this process. Aims. We aim to constrain the tidal dissipation factors of hot-Jupiter-like planets by studying the orbital evolution of Kepler-91b. Methods. We firstly carried out a detailed asteroseismc characterisation of Kepler-91 and computed a dedicated stellar model using both classical and astereoseismic constraints. We then coupled the evolution of the star to the one of the planets by means of our orbital evolution code and studied the evolution of the system by accounting for tides dissipated both in the planet and in the host star. Results. We found that the maximum value for k2DeltaT (or equivalently the minimum value for Q'p) determining the efficiency of equilibrium tides dissipation occurring within Kepler-91b is 0.4 pm 0.25 s (4.5+5.8 * 10^5).


title: CONSISTENT: Open-Ended Question Generation From News Articles

abstract: Recent work on question generation has largely focused on factoid questions such as who, what, where, when about basic facts. Generating open-ended why, how, what, etc. questions that require long-form answers have proven more difficult. To facilitate the generation of open-ended questions, we propose CONSISTENT, a new end-to-end system for generating open-ended questions that are answerable from and faithful to the input text. Using news articles as a trustworthy foundation for experimentation, we demonstrate our model's strength over several baselines using both automatic and human=based evaluations. We contribute an evaluation dataset of expert-generated open-ended questions.We discuss potential downstream applications for news media organizations.


title: The Principle Bundle Structure of Continuum Mechanics

abstract: In this paper it is shown that the structure of the configuration space of any continua is what is called in differential geometry a {\it principle bundle} \cite{Frankel2011ThePhysics}. A principal bundle is a structure in which all points of the manifold (each configuration in this case) can be naturally projected to a manifold called the {\it base manifold}, which in our case represents pure deformations. All configurations projecting to the same point on the base manifold (same deformation) are called fibers. Each of these fibers is then isomorphic to the Lie group $\mathfrak{se(3)}$ representing pure rigid body motions. Furthermore, it is possible to define what is called a connection and this allows to split any continua motion in a rigid body sub-motion and a deformable one in a completely coordinate free way. As a consequence of that it is then possible to properly define a pure deformation space on which an elastic energy can be defined. This will be shown using screw theory \cite{Ball:1900}, which is vastly used in the analysis of rigid body mechanisms but is not normally used to analyse continua. Beside the just mentioned result, screw theory will also be used to relate concepts like helicity and enstrophy to screw theory concepts.


title: An Improved Algorithm for Clustered Federated Learning

abstract: In this paper, we address the dichotomy between heterogeneous models and simultaneous training in Federated Learning (FL) via a clustering framework. We define a new clustering model for FL based on the (optimal) local models of the users: two users belong to the same cluster if their local models are close; otherwise they belong to different clusters. A standard algorithm for clustered FL is proposed in \cite{ghosh_efficient_2021}, called \texttt{IFCA}, which requires \emph{suitable} initialization and the knowledge of hyper-parameters like the number of clusters (which is often quite difficult to obtain in practical applications) to converge. We propose an improved algorithm, \emph{Successive Refine Federated Clustering Algorithm} (\texttt{SR-FCA}), which removes such restrictive assumptions. \texttt{SR-FCA} treats each user as a singleton cluster as an initialization, and then successively refine the cluster estimation via exploiting similar users belonging to the same cluster. In any intermediate step, \texttt{SR-FCA} uses a robust federated learning algorithm within each cluster to exploit simultaneous training and to correct clustering errors. Furthermore, \texttt{SR-FCA} does not require any \emph{good} initialization (warm start), both in theory and practice. We show that with proper choice of learning rate, \texttt{SR-FCA} incurs arbitrarily small clustering error. Additionally, we validate the performance of our algorithm on standard FL datasets in non-convex problems like neural nets, and we show the benefits of \texttt{SR-FCA} over baselines.


title: ConfMix: Unsupervised Domain Adaptation for Object Detection via Confidence-based Mixing

abstract: Unsupervised Domain Adaptation (UDA) for object detection aims to adapt a model trained on a source domain to detect instances from a new target domain for which annotations are not available. Different from traditional approaches, we propose ConfMix, the first method that introduces a sample mixing strategy based on region-level detection confidence for adaptive object detector learning. We mix the local region of the target sample that corresponds to the most confident pseudo detections with a source image, and apply an additional consistency loss term to gradually adapt towards the target data distribution. In order to robustly define a confidence score for a region, we exploit the confidence score per pseudo detection that accounts for both the detector-dependent confidence and the bounding box uncertainty. Moreover, we propose a novel pseudo labelling scheme that progressively filters the pseudo target detections using the confidence metric that varies from a loose to strict manner along the training. We perform extensive experiments with three datasets, achieving state-of-the-art performance in two of them and approaching the supervised target model performance in the other. Code is available at: https://github.com/giuliomattolin/ConfMix.


title: Inference and Prediction Using Functional Principal Components Analysis: Application to Diabetic Kidney Disease Progression in the Chronic Renal Insufficiency Cohort (CRIC) Study

abstract: Repeated longitudinal measurements are commonly used to model long-term disease progression, and timing and number of assessments per patient may vary, leading to irregularly spaced and sparse data. Longitudinal trajectories may exhibit curvilinear patterns, in which mixed linear regression methods may fail to capture true trends in the data. We applied functional principal components analysis to model kidney disease progression via estimated glomerular filtration rate (eGFR) trajectories. In a cohort of 2641 participants with diabetes and up to 15 years of annual follow-up from the Chronic Renal Insufficiency Cohort (CRIC) study, we detected novel dominant modes of variation and patterns of diabetic kidney disease (DKD) progression among subgroups defined by the presence of albuminuria. We conducted inferential permutation tests to assess differences in longitudinal eGFR patterns between groups. To determine whether fitting a full cohort model or separate group-specific models is more optimal for modeling long-term trajectories, we evaluated model fit, using our goodness-of-fit procedure, and future prediction accuracy. Our findings indicated advantages for both modeling approaches in accomplishing different objectives. Beyond DKD, the methods described are applicable to other settings with longitudinally assessed biomarkers as indicators of disease progression. Supplementary materials for this article are available online.


title: Analytic continuation and physical content of the gluon propagator

abstract: The analytic continuation of the gluon propagator is revised in the light of recent findings on the possible existence of complex conjugated poles. The contribution of the anomalous pole must be added when Wick rotating, leading to an effective Minkowskian propagator which is not given by the trivial analytic continuation of the Euclidean function. The effective propagator has an integral representation in terms of a spectral function which is naturally related to a set of elementary (complex) eigenvalues of the Hamiltonian, thus generalizing the usual K\"allen-Lehmann description. A simple toy model shows how the elementary eigenvalues might be related to actual physical quasiparticles of the non-perturbative vacuum.


title: Sketching Meets Differential Privacy: Fast Algorithm for Dynamic Kronecker Projection Maintenance

abstract: Projection maintenance is one of the core data structure tasks. Efficient data structures for projection maintenance have led to recent breakthroughs in many convex programming algorithms. In this work, we further extend this framework to the Kronecker product structure. Given a constraint matrix ${\sf A}$ and a positive semi-definite matrix $W\in \mathbb{R}^{n\times n}$ with a sparse eigenbasis, we consider the task of maintaining the projection in the form of ${\sf B}^\top({\sf B}{\sf B}^\top)^{-1}{\sf B}$, where ${\sf B}={\sf A}(W\otimes I)$ or ${\sf B}={\sf A}(W^{1/2}\otimes W^{1/2})$. At each iteration, the weight matrix $W$ receives a low rank change and we receive a new vector $h$. The goal is to maintain the projection matrix and answer the query ${\sf B}^\top({\sf B}{\sf B}^\top)^{-1}{\sf B}h$ with good approximation guarantees. We design a fast dynamic data structure for this task and it is robust against an adaptive adversary. Following the beautiful and pioneering work of [Beimel, Kaplan, Mansour, Nissim, Saranurak and Stemmer, STOC'22], we use tools from differential privacy to reduce the randomness required by the data structure and further improve the running time.


title: Object Goal Navigation Based on Semantics and RGB Ego View

abstract: This paper presents an architecture and methodology to empower a service robot to navigate an indoor environment with semantic decision making, given RGB ego view. This method leverages the knowledge of robot's actuation capability and that of scenes, objects and their relations -- represented in a semantic form. The robot navigates based on GeoSem map - a relational combination of geometric and semantic map. The goal given to the robot is to find an object in a unknown environment with no navigational map and only egocentric RGB camera perception. The approach is tested both on a simulation environment and real life indoor settings. The presented approach was found to outperform human users in gamified evaluations with respect to average completion time.


title: Indirect Measurements of Gas Velocities in Galaxy Clusters: Effects of Ellipticity and Cluster Dynamic State

abstract: While awaiting direct velocity measurement of gas motions in the hot intracluster medium, we rely on indirect probes, including gas perturbations in galaxy clusters. Using a sample of $\sim 80$ clusters in different dynamic states from Omega500 cosmological simulations, we examine scaling relations between the fluctuation amplitudes of gas density, $\delta\rho/\rho$, pressure, $\delta P/P$, X-ray surface brightness, Sunyaev-Zeldovich (SZ) y-parameter, and the characteristic Mach number of gas motions, $M_{\rm 1d}$. In relaxed clusters, accounting for halo ellipticities reduces $\delta\rho/\rho$ or $\delta P/P$ by a factor of up to 2 within $r_{500c}$. We confirm a strong linear correlation between $\delta\rho/\rho$ (or $\delta P/P$) and $M_{\rm 1d}$ in relaxed clusters, with the proportionality coefficient $\eta \approx 1$. For unrelaxed clusters, the correlation is less strong and has a larger $\eta\approx 1.3\pm 0.5$ ($1.5\pm0.5$) for $\delta\rho/\rho$ ($\delta P/P$). Examination of the power-law scaling of $M_{\rm 1d}$ with $\delta\rho/\rho$ shows that it is almost linear for relaxed clusters, while for the unrelaxed ones, it is closer to $\delta\rho/\rho\propto M_{\rm 1d}^2$, supporting an increasing role of non-linear terms and compressive modes. In agreement with previous studies, we observe a strong correlation of $M_{\rm 1d}$ with radius. Correcting for these correlations leaves a residual scatter in $M_{\rm 1d}$ of $\sim 4 (7)$ per cent for relaxed (perturbed) clusters. Hydrostatic mass bias correlates with $M_{\rm 1d}$ as strongly as with $\delta\rho/\rho$ in relaxed clusters. The residual scatters after correcting for derived trends is $\sim 6-7$ per cent. These predictions can be verified with existing X-ray and SZ observations of galaxy clusters combined with forthcoming velocity measurements with X-ray microcalorimeters.


title: Transferring learned patterns from ground-based field imagery to predict UAV-based imagery for crop and weed semantic segmentation in precision crop farming

abstract: Weed and crop segmentation is becoming an increasingly integral part of precision farming that leverages the current computer vision and deep learning technologies. Research has been extensively carried out based on images captured with a camera from various platforms. Unmanned aerial vehicles (UAVs) and ground-based vehicles including agricultural robots are the two popular platforms for data collection in fields. They all contribute to site-specific weed management (SSWM) to maintain crop yield. Currently, the data from these two platforms is processed separately, though sharing the same semantic objects (weed and crop). In our paper, we have developed a deep convolutional network that enables to predict both field and aerial images from UAVs for weed segmentation and mapping with only field images provided in the training phase. The network learning process is visualized by feature maps at shallow and deep layers. The results show that the mean intersection of union (IOU) values of the segmentation for the crop (maize), weeds, and soil background in the developed model for the field dataset are 0.744, 0.577, 0.979, respectively, and the performance of aerial images from an UAV with the same model, the IOU values of the segmentation for the crop (maize), weeds and soil background are 0.596, 0.407, and 0.875, respectively. To estimate the effect on the use of plant protection agents, we quantify the relationship between herbicide spraying saving rate and grid size (spraying resolution) based on the predicted weed map. The spraying saving rate is up to 90% when the spraying resolution is at 1.78 x 1.78 cm2. The study shows that the developed deep convolutional neural network could be used to classify weeds from both field and aerial images and delivers satisfactory results.


title: Proof of Backhaul: Trustfree Measurement of Broadband Bandwidth

abstract: Recent years have seen the emergence of decentralized wireless networks consisting of nodes hosted by many individuals and small enterprises, reawakening the decades-old dream of open networking. These networks have been deployed in an organic, distributed manner and are driven by new economic models resting on tokenized incentives. A critical requirement for the incentives to scale is the ability to prove network performance in a decentralized trustfree manner, i.e., a Byzantine fault tolerant network telemetry system. In this paper, we present a Proof of Backhaul (PoB) protocol which measures the bandwidth of the (broadband) backhaul link of a wireless access point, termed prover, in a decentralized and trustfree manner. In particular, our proposed protocol is the first one to satisfy the following two properties: (1) Trustfree. Bandwidth measurement is secure against Byzantine attacks by collaborations of challenge servers and the prover. (2) Open. The barrier-to-entry for being a challenge server is low; there is no requirement of having a low latency and high throughput path to the measured link. At a high-level, our protocol aggregates the challenge traffic from multiple challenge servers and uses cryptographic primitives to ensure that a subset of challengers or, even challengers and provers, cannot maliciously modify results in their favor. A formal security model allows us to establish guarantees of accurate bandwidth measurement as a function of the fraction of malicious actors. Our evaluation shows that our PoB protocol can verify backhaul bandwidth of up to 1000 Mbps with less than 8% error using measurements lasting only 100 ms. The measurement accuracy is not affected in the presence of corrupted challengers. Importantly, the basic verification protocol lends itself to a minor modification that can measure available bandwidth even in the presence of cross-traffic.


title: Coherence requirements for quantum communication from hybrid circuit dynamics

abstract: The coherent superposition of quantum states is an important resource for quantum information processing which distinguishes quantum dynamics and information from their classical counterparts. In this article we determine the coherence requirements to communicate quantum information in a broad setting encompassing monitored quantum dynamics and quantum error correction codes. We determine these requirements by considering hybrid circuits that are generated by a quantum information game played between two opponents, Alice and Eve, who compete by applying unitaries and measurements on a fixed number of qubits. Alice applies unitaries in an attempt to maintain quantum channel capacity, while Eve applies measurements in an attempt to destroy it. By limiting the coherence generating or destroying operations available to each opponent, we determine Alice's coherence requirements. When Alice plays a random strategy aimed at mimicking generic monitored quantum dynamics, we discover a coherence-tuned phase transitions in entanglement and quantum channel capacity. We then derive a theorem giving the minimum coherence required by Alice in any successful strategy, and conclude by proving that coherence sets an upper bound on the code distance in any stabelizer quantum error correction codes. Such bounds provide a rigorous quantification of the coherence resource requirements for quantum communication and error correction.


title: Quantum Biochemical Analysis of the TtgR Regulator and Effectors

abstract: The recent expansion of multidrug-resistant (MDR) pathogens poses significant challenges in treating healthcare-associated infections. Although antibacterial resistance occurs by numerous mechanisms, active efflux of the drugs is a critical concern. A single species of efflux pump can produce a simultaneous resistance to several drugs. One of the best-studied efflux pumps is the TtgABC: a tripartite resistance-nodulation-division (RND) efflux pump implicated in the intrinsic antibiotic resistance in Pseudomonas putida DOT-T1E. The expression of the TtgABC gene is down-regulated by the HTH-type transcriptional repressor TtgR. In this context, by employing quantum chemistry methods based on the Density Functional Theory (DFT) within the Molecular Fragmentation with Conjugate Caps (MFCC) approach, we investigate the coupling profiles of the transcriptional regulator TtgR in complex with quercetin (QUE), a natural polyphenolic flavonoid, tetracycline (TAC), and chloramphenicol (CLM), two broad-spectrum antimicrobial agents. Our quantum biochemical computational results show the: [i] convergence radius, [ii] total binding energy, [iii] relevance (energetically) of the ligands regions, and [iv] most relevant amino acids residues of the TtgR-QUE/TAC/CLM complexes, pointing out distinctions and similarities among them. These findings improve the understanding of the binding mechanism of effectors and facilitate the development of new chemicals targeting TtgR, helping in the battle against the rise of resistance to antimicrobial drugs.


title: H4VDM: H.264 Video Device Matching

abstract: Methods that can determine if two given video sequences are captured by the same device (e.g., mobile telephone or digital camera) can be used in many forensics tasks. In this paper we refer to this as "video device matching". In open-set video forensics scenarios it is easier to determine if two video sequences were captured with the same device than identifying the specific device. In this paper, we propose a technique for open-set video device matching. Given two H.264 compressed video sequences, our method can determine if they are captured by the same device, even if our method has never encountered the device in training. We denote our proposed technique as H.264 Video Device Matching (H4VDM). H4VDM uses H.264 compression information extracted from video sequences to make decisions. It is more robust against artifacts that alter camera sensor fingerprints, and it can be used to analyze relatively small fragments of the H.264 sequence. We trained and tested our method on a publicly available video forensics dataset consisting of 35 devices, where our proposed method demonstrated good performance.


title: Kinetics of transformation, border of metastable miscibility gap in Fe-Cr alloy and limit of Cr solubility in iron at 858 K

abstract: The study was aimed at determination of the position of the Fe-rich border of the metastable miscibility gap (MMG) and of the solubility limit of Cr in iron at 858 K. Towards this end a Fe73.7Cr26.3 alloy was isothermally annealed at 858 K in vacuum up to 8144 hours and M\"ossbauer spectra were recorded at room temperature after every step of the annealing. Three spectral parameters viz. the average hyperfine field, <B>, the average isomer shift, <IS>, and the probability of the atomic configuration with no Cr atoms in the two-shell vicinity of the probe Fe atoms, P(0,0), gave evidence that the transformation process takes place in two stages. All three parameters could have been well described in terms of the Johnson-Mehl-Avrami-Kolmogorov equation, yielding kinetics parameters. The first stage, associated with the phase decomposition, proceeded much faster than the second stage, associated with the alpha-to-sigma phase transformation. The most reliable estimation of the position of the MMG and that of the value of the Cr solubility limit was obtained from the annealing time dependence of <B>, namely 24.5 at.% Cr for the former and 20.3 at.% Cr for the latter. A comparison of these figures with the recent phase diagrams pertinent to Fe-Cr system was done.


title: Properties of atomic hydrogen gas in the Galactic plane from THOR 21-cm absorption spectra: a comparison with the high latitude gas

abstract: The neutral hydrogen 21 cm line is an excellent tracer of the atomic interstellar medium in the cold and the warm phases. Combined 21 cm emission and absorption observations are very useful to study the properties of the gas over a wide range of density and temperature. In this work, we have used 21 cm absorption spectra from recent interferometric surveys, along with the corresponding emission spectra from earlier single dish surveys to study the properties of the atomic gas in the Milky Way. In particular, we focus on a comparison of properties between lines of sight through the gas disk in the Galactic plane and high Galactic latitude lines of sight through more diffuse gas. As expected, the analysis shows a lower average temperature for the gas in the Galactic plane compared to that along the high latitude lines of sight. The gas in the plane also has a higher molecular fraction, showing a sharp transition and flattening in the dust - gas correlation. On the other hand, the observed correlation between 21 cm brightness temperature and optical depth indicates some intrinsic difference in spin temperature distribution and a fraction of gas in the Galactic plane having intermediate optical depth (for 0.02 < $\tau$ < 0.2) but higher spin temperature, compared to that of the diffuse gas at high latitude with the same optical depth. This may be due to a small fraction of cold gas with slightly higher temperature and lower density present on the Galactic plane.


title: An Efficient Quantum Decoder for Prime-Power Fields

abstract: We consider a version of the nearest-codeword problem on finite fields $\mathbb{F}_q$ using the Manhattan distance, an analog of the Hamming metric for non-binary alphabets. Similarly to other lattice related problems, this problem is NP-hard even up to constant factor approximation. We show, however, that for $q = p^m$ where $p$ is small relative to the code block-size $n$, there is a quantum algorithm that solves the problem in time ${\rm poly}(n)$, for approximation factor $1/n^2$, for any $p$. On the other hand, to the best of our knowledge, classical algorithms can efficiently solve the problem only for much smaller inverse polynomial factors. Hence, the decoder provides an exponential improvement over classical algorithms, and places limitations on the cryptographic security of large-alphabet extensions of code-based cryptosystems like Classic McEliece.


title: Quantum mechanical modeling of the multi-stage Stern$\unicode{x2013}$Gerlach experiment conducted by Frisch and Segr\`e

abstract: The multi-stage Stern$\unicode{x2013}$Gerlach experiment conducted by Frisch and Segr\`e includes two cascaded quantum measurements with a nonadiabatic flipper in between. The Frisch and Segr\`e experiment has been modeled analytically by Majorana without the nuclear effect and subsequently revised by Rabi with the hyperfine interaction. However, the theoretical predictions do not match the experimental observation accurately. Here, we numerically solve the standard quantum mechanical model, via the von Neumann equation, including the hyperfine interaction for the time evolution of the spin. Thus far, the coefficients of determination from the standard quantum mechanical model without using free parameters are still low, indicating a mismatch between the theory and the experiment. Non-standard variants that improve the match are explored for discussion.


title: 6D Pose Estimation for Textureless Objects on RGB Frames using Multi-View Optimization

abstract: 6D pose estimation of textureless objects is a valuable but challenging task for many robotic applications. In this work, we propose a framework to address this challenge using only RGB images acquired from multiple viewpoints. The core idea of our approach is to decouple 6D pose estimation into a sequential two-step process, first estimating the 3D translation and then the 3D rotation of each object. This decoupled formulation first resolves the scale and depth ambiguities in single RGB images, and uses these estimates to accurately identify the object orientation in the second stage, which is greatly simplified with an accurate scale estimate. Moreover, to accommodate the multi-modal distribution present in rotation space, we develop an optimization scheme that explicitly handles object symmetries and counteracts measurement uncertainties. In comparison to the state-of-the-art multi-view approach, we demonstrate that the proposed approach achieves substantial improvements on a challenging 6D pose estimation dataset for textureless objects.


title: Effects of Shape on Interaction Dynamics of Tetrahedral Nanoplastics and the Cell Membrane

abstract: Cellular uptake of nanoplastics is instrumental in their environmental accumulation and transfer to humans through the food chain. Despite extensive studies using spherical plastic nanoparticles, the influence of the morphological characteristics of environmentally released nanoplastics is understudied. Using dissipative particle dynamics simulations, we modeled the interactions between a cell membrane and hydrophobic nanotetrahedra, which feature high shape anisotropy and large surface curvature seen for environmental nanoplastics. We observe robust uptake of nanotetrahedra with sharp vertices and edges by the lipid membrane. Two local energy minimum configurations of nanotetrahedra embedded in the membrane bilayer were identified for particles of large sizes. Further analysis of particle dynamics within the membrane shows that the two interaction states exhibit distinct translational and rotational dynamics in the directions normal and parallel to the plane of the membrane. The membrane confinement significantly arrests the out-of-plane motion, resulting in caged translation and subdiffusive rotation. While the in-plane diffusion remains Brownian, we find that the translational and rotational modes decouple from each other as the particle size increases. The rotational diffusion decreases by a greater extent compared to the translational diffusion, deviating from the continuum theory predictions. These results provide fundamental insights into the shape effect on the nanoparticle dynamics in crowded lipid membranes.


title: Effect of local stress on accurate modeling of bacterial outer membranes using all-atom molecular dynamics

abstract: Biological membranes are fundamental components of living organisms that play an undeniable role in their survival. Molecular dynamics (MD) serves as an essential computational tool for studying biomembranes on molecular and atomistic scales. The status quo of MD simulations of biomembranes studies a nanometer-sized membrane patch periodically extended under periodic boundary conditions (PBC). In nature, membranes are usually composed of different lipids in their two layers (referred to as leaflets). This compositional asymmetry imposes a fixed ratio of lipid numbers between the two leaflets in a periodically constrained membrane, which needs to be set appropriately. The widely adopted methods of defining leaflet lipid ratio suffer from the lack of control over the mechanical tension of each leaflet, which could significantly influence research findings. In this study, we investigate the role of membrane-building protocol and the resulting initial stress state on the interaction between small molecules and asymmetric membranes. We model the outer membrane of Pseudomonas aeruginosa bacteria using two different building protocols and probe their interactions with the Pseudomonas Quinolone Signal (PQS). Our results show that differential stress could shift the position of free energy minimum for the PQS molecule between the two leaflets of the asymmetric membrane. This work provides critical insights into the relationship between the initial per-leaflet tension and the spontaneous intercalation of PQS.


title: Learning Attention Propagation for Compositional Zero-Shot Learning

abstract: Compositional zero-shot learning aims to recognize unseen compositions of seen visual primitives of object classes and their states. While all primitives (states and objects) are observable during training in some combination, their complex interaction makes this task especially hard. For example, wet changes the visual appearance of a dog very differently from a bicycle. Furthermore, we argue that relationships between compositions go beyond shared states or objects. A cluttered office can contain a busy table; even though these compositions don't share a state or object, the presence of a busy table can guide the presence of a cluttered office. We propose a novel method called Compositional Attention Propagated Embedding (CAPE) as a solution. The key intuition to our method is that a rich dependency structure exists between compositions arising from complex interactions of primitives in addition to other dependencies between compositions. CAPE learns to identify this structure and propagates knowledge between them to learn class embedding for all seen and unseen compositions. In the challenging generalized compositional zero-shot setting, we show that our method outperforms previous baselines to set a new state-of-the-art on three publicly available benchmarks.


title: Mixing of the Mineyev flow, orbital counting and Poincar\'e series for strongly hyperbolic metrics

abstract: We obtain orbital counting results for the class of strongly hyperbolic metrics on hyperbolic groups. To achieve this we combine ergodic theoretic techniques involving the Mineyev topological flow and symbolic dynamics. Our results apply to the Green metric associated to an admissible, finitely supported, symmetric random walk and to the Mineyev hat metric. We also describe the domain of analyticity for the Poincar\'e series associated to these metrics, prove mixing results for the Mineyev topological flow and obtain correlation asymptotics for pairs of metrics.


title: Energy prediction of pv panels for demand and response system using ANN (deep learning)

abstract: Renewable sources of energy are the future due to the environmental problems caused by non-renewable sources to produce energy. The biggest issue with renewable energy sources is that the power produced by devices such as PV solar panels depend on many uncertain factors. These factors include Solar irradiation, wind speed, temperature, hours of sunlight per day, and surface temperature of solar panels. Industries and authorities can use this predicted power through ML to control power consumption. Power forecast has multiple applications that promote the usage of green energy in the future. This paper will also help to determine the dependence of PV power production on various weather/environmental factors. For this paper, we have used regressions and ANN models to predict power. In the end, the results of power prediction using regression as well as the ANN model are compared with the actual power output. Overall, ANN performs excellently compared to the other machine learning models because of its advanced feature selection techniques.


title: Finding Dataset Shortcuts with Grammar Induction

abstract: Many NLP datasets have been found to contain shortcuts: simple decision rules that achieve surprisingly high accuracy. However, it is difficult to discover shortcuts automatically. Prior work on automatic shortcut detection has focused on enumerating features like unigrams or bigrams, which can find only low-level shortcuts, or relied on post-hoc model interpretability methods like saliency maps, which reveal qualitative patterns without a clear statistical interpretation. In this work, we propose to use probabilistic grammars to characterize and discover shortcuts in NLP datasets. Specifically, we use a context-free grammar to model patterns in sentence classification datasets and use a synchronous context-free grammar to model datasets involving sentence pairs. The resulting grammars reveal interesting shortcut features in a number of datasets, including both simple and high-level features, and automatically identify groups of test examples on which conventional classifiers fail. Finally, we show that the features we discover can be used to generate diagnostic contrast examples and incorporated into standard robust optimization methods to improve worst-group accuracy.


title: Low-Rank Representations Towards Classification Problem of Complex Networks

abstract: Complex networks representing social interactions, brain activities, molecular structures have been studied widely to be able to understand and predict their characteristics as graphs. Models and algorithms for these networks are used in real-life applications, such as search engines, and recommender systems. In general, such networks are modelled by constructing a low-dimensional Euclidean embedding of the vertices of the network, where proximity of the vertices in the Euclidean space hints the likelihood of an edge (link). In this work, we study the performance of such low-rank representations of real-life networks on a network classification problem.


title: Local SGD in Overparameterized Linear Regression

abstract: We consider distributed learning using constant stepsize SGD (DSGD) over several devices, each sending a final model update to a central server. In a final step, the local estimates are aggregated. We prove in the setting of overparameterized linear regression general upper bounds with matching lower bounds and derive learning rates for specific data generating distributions. We show that the excess risk is of order of the variance provided the number of local nodes grows not too large with the global sample size. We further compare the sample complexity of DSGD with the sample complexity of distributed ridge regression (DRR) and show that the excess SGD-risk is smaller than the excess RR-risk, where both sample complexities are of the same order.


title: Dense Paraphrasing for Textual Enrichment

abstract: Understanding inferences and answering questions from text requires more than merely recovering surface arguments, adjuncts, or strings associated with the query terms. As humans, we interpret sentences as contextualized components of a narrative or discourse, by both filling in missing information, and reasoning about event consequences. In this paper, we define the process of rewriting a textual expression (lexeme or phrase) such that it reduces ambiguity while also making explicit the underlying semantics that is not (necessarily) expressed in the economy of sentence structure as Dense Paraphrasing (DP). We build the first complete DP dataset, provide the scope and design of the annotation task, and present results demonstrating how this DP process can enrich a source text to improve inferencing and QA task performance. The data and the source code will be publicly available.


title: The impact of the solubilizer of an element on the structure of a finite group

abstract: Let $G$ be a finite group, and let $x$ be an element of $G$. Denote by $\Sol_G(x)$ the set of all $y \in G$ such that the group generated by $x$ and $y$ is soluble. We investigate the influence of $\Sol_G(x)$ on the structure of $G$.


title: A convergent genus expansion for the plateau

abstract: We conjecture a formula for the spectral form factor of a double-scaled matrix integral in the limit of large time, large density of states, and fixed temperature. The formula has a genus expansion with a nonzero radius of convergence. To understand the origin of this series, we compare to the semiclassical theory of "encounters" in periodic orbits. In Jackiw-Teitelboim (JT) gravity, encounters correspond to portions of the moduli space integral that mutually cancel (in the orientable case) but individually grow at low energies. At genus one we show how the full moduli space integral resolves the low energy region and gives a finite nonzero answer.


title: Rethinking Learning Approaches for Long-Term Action Anticipation

abstract: Action anticipation involves predicting future actions having observed the initial portion of a video. Typically, the observed video is processed as a whole to obtain a video-level representation of the ongoing activity in the video, which is then used for future prediction. We introduce ANTICIPATR which performs long-term action anticipation leveraging segment-level representations learned using individual segments from different activities, in addition to a video-level representation. We propose a two-stage learning approach to train a novel transformer-based model that uses these two types of representations to directly predict a set of future action instances over any given anticipation duration. Results on Breakfast, 50Salads, Epic-Kitchens-55, and EGTEA Gaze+ datasets demonstrate the effectiveness of our approach.


title: A closure mechanism for screech coupling in rectangular twin jets

abstract: Twin-jet configuration allows two different scenarios to close the screech feedback. For each jet, there is one loop involving disturbances which originate in that jet and arrive at its own receptivity point in-phase (self-excitation). The other loop is associated with free-stream acoustic waves that radiate from the other jet, reinforcing the self-excited screech (cross-excitation). In this work, the role of the free-stream acoustic mode and the guided jet mode as a closure mechanism for twin rectangular jet screech is explored by identifying eligible points of return for each path, where upstream waves propagating from such a point arrive at the receptivity location with an appropriate phase relation. Screech tones generated by these jets are found to be intermittent with an out-of-phase coupling as a dominant coupling mode. Instantaneous phase difference between the twin jets computed by the Hilbert transform suggests that a competition between out-of-phase and in-phase coupling is responsible for the intermittency. To model wave components of the screech feedback while ensuring perfect phase-locking, an ensemble average of leading spectral proper orthogonal decomposition modes is obtained from several segments of large-eddy simulations data that correspond to periods of invariant phase difference between the two jets. Each mode is then extracted by retaining relevant wavenumber components produced via a streamwise Fourier transform. Spatial cross-correlation analysis of the resulting modes shows that most of the identified points of return for the cross-excitation are synchronised with the guided jet mode self-excitation, supporting that it is preferred in closing rectangular twin-jet screech coupling.


title: Polynomial computational complexity of matrix elements of finite-rank-generated single-particle operators in products of finite bosonic states

abstract: It is known that computing the permanent of the matrix $1+A$, where $A$ is a finite-rank matrix, requires a number of operations polynomial in the matrix size. Motivated by the boson-sampling proposal of restricted quantum computation, I extend this result to a generalization of the matrix permanent: an expectation value in a product of a large number of identical bosonic states with a bounded number of bosons. This result complements earlier studies on the computational complexity in boson sampling and related setups. The proposed technique based on the Gaussian averaging is equally applicable to bosonic and fermionic systems. This also allows us to improve an earlier polynomial complexity estimate for the fermionic version of the same problem.


title: Perturbative QCD Core of Hadrons and Color Transparency Phenomena

abstract: In the current paper, we argue that the ground state of a hadron contains a significant perturbative quantum chromodynamics (pQCD) core as the result of color gauge invariance and of the values of chiral and gluon vacuum condensates. The evaluation within the method of dispersion sum rules (DSR) of the vacuum matrix elements of the correlator of local currents with the proper quantum numbers leads to the value of the radius of the pQCD core of a nucleon of about 0.4--0.5 fm. The selection of the initial and final states allows to select processes in which the pQCD core of the projectile gives the dominant contribution to the process. It is explained that the transparency of nuclear matter for the propagation of a spatially small and color-neutral wave packet of quarks and gluons -- a color transparency (CT) phenomenon -- for a group of hard processes off nuclear targets can be derived in the form of the QCD factorization theorem accounting for the color screening phenomenon Based on the success of the method of DSR, we argue that a pQCD core in a hadron wave function is surrounded by the layer consisting of quarks interacting with quark and gluon condensates. As a result, in the quasi-elastic processes $e+A\to e'+N +(A-1)^{*}$, the quasi-Feynman mechanism could be dominating in a wide range of the momentum transfer squared, $Q^2$. In this scenario, a virtual photon is absorbed by a single quark, which carries a large fraction of the momentum of the nucleon and dominates in a wide range of $Q^2$. CT should reveal itself in these processes at an extremely large $Q^2$ as the consequence of the presence of the Sudakov form factors, which squeeze a nucleon.


title: Online Matching with Cancellation Costs

abstract: Motivated by applications in cloud computing spot markets and selling banner ads on popular websites, we study the online resource allocation problem with overbooking and cancellation costs, also known as the \emph{buyback} setting. To model this problem, we consider a variation of the classic edge-weighted online matching problem in which the decision maker can reclaim any fraction of an offline resource that is pre-allocated to an earlier online vertex; however, by doing so not only the decision maker loses the previously allocated edge-weight, it also has to pay a non-negative constant factor $f$ of this edge-weight as an extra penalty. Parameterizing the problem by the buyback factor $f$, our main result is obtaining optimal competitive algorithms for \emph{all possible values} of $f$ through a novel primal-dual family of algorithms. We establish the optimality of our results by obtaining separate lower bounds for each of small and large buyback factor regimes and showing how our primal-dual algorithm exactly matches this lower bound by appropriately tuning a parameter as a function of $f$. Interestingly, our result shows a phase transition: for small buyback regime ($f<\frac{e-2}{2}$), the optimal competitive ratio is $\frac{e}{e-(1+f)}$, and for the large buyback regime ($f\geq \frac{e-2}{2}$), the competitive ratio is $-W_{-1}\left(\frac{-1}{e(1+f)}\right)$, where $W_{-1}$ is the non-principal branch of the Lambert W function. We further study the optimal competitive ratio in variants of this model using our unifying framework, such as matching with deterministic integral allocations or single-resource with different demands. For deterministic integral matching, our results again show a phase transition: for small buyback regime ($f<\frac{1}{3}$), the optimal competitive ratio is $\frac{2}{1-f}$, and for the large buyback regime ($f\geq \frac{1}{3}$), it is $1+2f+2\sqrt{f(1+f)}$.


title: TrustBoost: Boosting Trust among Interoperable Blockchains

abstract: Currently there exist many blockchains with weak trust guarantees, limiting applications and participation. Existing solutions to boost the trust using a stronger blockchain, e.g., via checkpointing, requires the weaker blockchain to give up sovereignty. In this paper, we propose a family of protocols in which multiple blockchains interact to create a combined ledger with boosted trust. We show that even if several of the interacting blockchains cease to provide security guarantees, the combined ledger continues to be secure - our TrustBoost protocols achieve the optimal threshold of tolerating the insecure blockchains. This optimality, along with the necessity of blockchain interactions, is formally shown within the classic shared memory model, tackling the long standing open challenge of solving consensus in the presence of both Byzantine objects and processes. Furthermore, our proposed construction of TrustBoost simply operates via smart contracts and require no change to the underlying consensus protocols of the participating blockchains, a form of ``consensus on top of consensus''. The protocols are lightweight and can be used on specific (e.g., high value) transactions; we demonstrate the practicality by implementing and deploying TrustBoost as cross-chain smart contracts in the Cosmos ecosystem using approximately 3,000 lines of Rust code, made available as open source. Our evaluation shows that using 10 Cosmos chains in a local testnet, TrustBoost has a gas cost of roughly $2 with a latency of 2 minutes per request, which is in line with the cost on a high security chain such as Bitcoin or Ethereum


title: LiBeamsNet: AUV Velocity Vector Estimation in Situations of Limited DVL Beam Measurements

abstract: Autonomous underwater vehicles (AUVs) are employed for marine applications and can operate in deep underwater environments beyond human reach. A standard solution for the autonomous navigation problem can be obtained by fusing the inertial navigation system and the Doppler velocity log sensor (DVL). The latter measures four beam velocities to estimate the vehicle's velocity vector. In real-world scenarios, the DVL may receive less than three beam velocities if the AUV operates in complex underwater environments. In such conditions, the vehicle's velocity vector could not be estimated leading to a navigation solution drift and in some situations the AUV is required to abort the mission and return to the surface. To circumvent such a situation, in this paper we propose a deep learning framework, LiBeamsNet, that utilizes the inertial data and the partial beam velocities to regress the missing beams in two missing beams scenarios. Once all the beams are obtained, the vehicle's velocity vector can be estimated. The approach performance was validated by sea experiments in the Mediterranean Sea. The results show up to 7.2% speed error in the vehicle's velocity vector estimation in a scenario that otherwise could not provide an estimate.


title: Real space representation of topological system: twisted bilayer graphene as an example

abstract: We construct a Wannier basis for twisted bilayer graphene that is projected only from the Bloch functions of the twisted bilayer flat bands. The $C_3$ and $C_{2} \mathcal{T}$ symmetries act locally on the Wannier functions while the Wannier function charge density is strongly peaked at the triangular sites and becomes fully sublattice-polarized in the chiral limit. The Wannier functions have a power-law tail, due to the topological obstruction, but most of the charge density is concentrated within one unit cell so that the on-site local Coulomb interaction is much larger than the further neighbor interactions and in general the Hamiltonian parameters may be accurately estimated from a modest number of Wannier functions. One exception is the momentum space components of the single-particle Hamiltonian, where because of the topological obstruction convergence is non-uniform across the Brillouin zone. We observe, however, that mixed position and momentum space representations may be used to avoid this difficulty in the context of quantum embedding methods. Our work provides a new route to study systems with topological obstructions and paves the way for the future investigation of correlated states in twisted bilayer graphene, including studies of non-integer fillings and temperature dependence.


title: Entropy spectrum of Lyapunov exponents for typical cocycles

abstract: In this paper, we study the size of the level sets of Lyapunov exponents. We establish a variational relation between the topological entropy of the level sets of Lyapunov exponents for typical cocycles and the topological pressure of the generalized singular value function.


title: The connection between galactic outflows and the escape of ionizing photons

abstract: We analyze spectra of a gravitationally lensed galaxy, known as the Sunburst Arc, that is leaking ionizing photons, also known as the Lyman continuum (LyC). Magnification from gravitational lensing permits the galaxy to be spatially resolved into one region that leaks ionizing photons, and several that do not. Rest-frame ultraviolet and optical spectra from Magellan target ten different regions along the lensed Arc, including six multiple images of the LyC leaking region, as well as four regions that do not show LyC emission. The rest-frame optical spectra of the ionizing photon emitting regions reveal a blue-shifted ($\Delta V$=27 km s$^{-1}$) broad emission component (FWHM=327 km s$^{-1}$) comprising 55% of the total [OIII] line flux, in addition to a narrow component (FWHM = 112 km s$^{-1}$), suggesting the presence of strong highly ionized gas outflows. This is consistent with the high-velocity ionized outflow inferred from the rest-frame UV spectra. In contrast, the broad emission component is less prominent in the non-leaking regions, comprising $\sim$26% of total [OIII] line flux. The high ionization absorption lines are prominent in both leaker and non-leaker but low ionization absorption lines are very weak in the leaker, suggesting that the line of sight gas is highly ionized in the leaker. Analyses of stellar wind features reveal that the stellar population of the LyC leaking regions is considerably younger ($\sim$3 Myr) than the non-leaking regions ($\sim$12 Myr), highlighting that stellar feedback from young stars may play an important role in ionizing photon escape.


title: Monotonicity and Contraction on Polyhedral Cones

abstract: In this note, we study monotone dynamical systems with respect to polyhedral cones. Using the half-space representation and the vertex representation, we propose three equivalent conditions to certify monotonicity of a dynamical system with respect to a polyhedral cone. We then introduce the notion of gauge norm associated with a cone and provide closed-from formulas for computing gauge norms associated with polyhedral cones. A key feature of gauge norms is that contractivity of monotone systems with respect to them can be efficiently characterized using simple inequalities. This result generalizes the well-known criteria for Hurwitzness of Metzler matrices and provides a scalable approach to search for Lyapunov functions of monotone systems with respect to polyhedral cones. Finally, we study the applications of our results in transient stability of dynamic flow networks and in scalable control design with safety guarantees.


title: Global Convergence of Direct Policy Search for State-Feedback $\mathcal{H}_\infty$ Robust Control: A Revisit of Nonsmooth Synthesis with Goldstein Subdifferential

abstract: Direct policy search has been widely applied in modern reinforcement learning and continuous control. However, the theoretical properties of direct policy search on nonsmooth robust control synthesis have not been fully understood. The optimal $\mathcal{H}_\infty$ control framework aims at designing a policy to minimize the closed-loop $\mathcal{H}_\infty$ norm, and is arguably the most fundamental robust control paradigm. In this work, we show that direct policy search is guaranteed to find the global solution of the robust $\mathcal{H}_\infty$ state-feedback control design problem. Notice that policy search for optimal $\mathcal{H}_\infty$ control leads to a constrained nonconvex nonsmooth optimization problem, where the nonconvex feasible set consists of all the policies stabilizing the closed-loop dynamics. We show that for this nonsmooth optimization problem, all Clarke stationary points are global minimum. Next, we identify the coerciveness of the closed-loop $\mathcal{H}_\infty$ objective function, and prove that all the sublevel sets of the resultant policy search problem are compact. Based on these properties, we show that Goldstein's subgradient method and its implementable variants can be guaranteed to stay in the nonconvex feasible set and eventually find the global optimal solution of the $\mathcal{H}_\infty$ state-feedback synthesis problem. Our work builds a new connection between nonconvex nonsmooth optimization theory and robust control, leading to an interesting global convergence result for direct policy search on optimal $\mathcal{H}_\infty$ synthesis.


title: Signal Structure of the Starlink Ku-Band Downlink

abstract: We develop a technique for blind signal identification of the Starlink downlink signal in the 10.7 to 12.7 GHz band and present a detailed picture of the signal's structure. Importantly, the signal characterization offered herein includes the exact values of synchronization sequences embedded in the signal that can be exploited to produce pseudorange measurements. Such an understanding of the signal is essential to emerging efforts that seek to dual-purpose Starlink signals for positioning, navigation, and timing, despite their being designed solely for broadband Internet provision.


title: Model-based Lifelong Reinforcement Learning with Bayesian Exploration

abstract: We propose a model-based lifelong reinforcement-learning approach that estimates a hierarchical Bayesian posterior distilling the common structure shared across different tasks. The learned posterior combined with a sample-based Bayesian exploration procedure increases the sample efficiency of learning across a family of related tasks. We first derive an analysis of the relationship between the sample complexity and the initialization quality of the posterior in the finite MDP setting. We next scale the approach to continuous-state domains by introducing a Variational Bayesian Lifelong Reinforcement Learning algorithm that can be combined with recent model-based deep RL methods, and that exhibits backward transfer. Experimental results on several challenging domains show that our algorithms achieve both better forward and backward transfer performance than state-of-the-art lifelong RL methods.


title: Predicting school transition rates in Austria with classification trees

abstract: Methods based on machine learning become increasingly popular in many areas as they allow models to be fitted in a highly-data driven fashion, and often show comparable or even increased performance in comparison to classical methods. However, in the area of educational sciences the application of machine learning is still quite uncommon. This work investigates the benefit of using classification trees for analyzing data from educational sciences. An application to data on school transition rates in Austria indicates different aspects of interest in the context of educational sciences: (i) the trees select variables for predicting school transition rates in a data-driven fashion which are well in accordance with existing confirmatory theories from educational sciences, (ii) trees can be employed for performing variable selection for regression models, (iii) the classification performance of trees is comparable to that of binary regression models. These results indicate that trees and possibly other machine learning methods may also be helpful to explore high-dimensional educational data sets, especially where no confirmatory theories have been developed yet.


title: Dynamics, scaling behavior, and control of nuclear wrinkling

abstract: The cell nucleus is enveloped by a complex membrane, whose wrinkling has been implicated in disease and cellular aging. The biophysical dynamics and spectral evolution of nuclear wrinkling during multicellular development remain poorly understood due to a lack of direct quantitative measurements. Here, we combine live-imaging experiments, theory, and simulations to characterize the onset and dynamics of nuclear wrinkling during egg development in the fruit fly, Drosophila melanogaster, when nurse cell nuclei increase in size and display stereotypical wrinkling behavior. A spectral analysis of three-dimensional high-resolution data from several hundred nuclei reveals a robust asymptotic power-law scaling of angular fluctuations consistent with renormalization and scaling predictions from a nonlinear elastic shell model. We further demonstrate that nuclear wrinkling can be reversed through osmotic shock and suppressed by microtubule disruption, providing tunable physical and biological control parameters for probing mechanical properties of the nuclear envelope. Our findings advance the biophysical understanding of nuclear membrane fluctuations during early multicellular development.


title: Deep Learning for Diagonal Earlobe Crease Detection

abstract: An article published on Medical News Today in June 2022 presented a fundamental question in its title: Can an earlobe crease predict heart attacks? The author explained that end arteries supply the heart and ears. In other words, if they lose blood supply, no other arteries can take over, resulting in tissue damage. Consequently, some earlobes have a diagonal crease, line, or deep fold that resembles a wrinkle. In this paper, we take a step toward detecting this specific marker, commonly known as DELC or Frank's Sign. For this reason, we have made the first DELC dataset available to the public. In addition, we have investigated the performance of numerous cutting-edge backbones on annotated photos. Experimentally, we demonstrate that it is possible to solve this challenge by combining pre-trained encoders with a customized classifier to achieve 97.7% accuracy. Moreover, we have analyzed the backbone trade-off between performance and size, estimating MobileNet as the most promising encoder.


title: Caught in the Act: A Metal-Rich High-Velocity Cloud in the Inner Galaxy

abstract: We characterize the chemical and physical conditions in an outflowing high-velocity cloud in the inner Galaxy. We report a super-solar metallicity of [O/H] = $+0.36\pm0.12$ for the high-velocity cloud at $v_\mathrm{LSR}$ = 125.6 km s$^{-1}$ toward the star HD 156359 ($l$ = 328.$^{\circ}$7, $b$ = $-$14.$^{\circ}$5, $d$ = 9 kpc, $z$ = $-$2.3 kpc). Using archival observations from FUSE, HST STIS, and ESO FEROS we measure high-velocity absorption in H I, O I, C II, N II, Si II, Ca II, Si III, Fe III, C IV, Si IV, N V, and O VI. We measure a low H I column density of log $N$(H I) = $15.54\pm0.05$ in the HVC from multiple unsaturated H I Lyman series lines in the FUSE data. We determine a low dust depletion level in the HVC from the relative strength of silicon, iron, and calcium absorption relative to oxygen, with [Si/O]=$-0.33\pm0.14$, [Fe/O]=$-0.30\pm0.20$, and [Ca/O] =$-0.56\pm0.16$. Analysis of the high-ion absorption using collisional ionization models indicates that the hot plasma is multi-phase, with the C IV and Si IV tracing 10$^{4.9}$ K gas and N V and O VI tracing 10$^{5.4}$ K gas. The cloud's metallicity, dust content, kinematics, and close proximity to the disk are all consistent with a Galactic wind origin. As the HD 156359 line of sight probes the inner Galaxy, the HVC appears to be a young cloud caught in the act of being entrained in a multi-phase Galactic outflow and driven out into the halo.


title: Towards Human-centered Explainable AI: A Survey of User Studies for Model Explanations

abstract: Explainable AI (XAI) is widely viewed as a sine qua non for ever-expanding AI research. A better understanding of the needs of XAI users, as well as human-centered evaluations of explainable models are both a necessity and a challenge. In this paper, we explore how HCI and AI researchers conduct user studies in XAI applications based on a systematic literature review. After identifying and thoroughly analyzing 97core papers with human-based XAI evaluations over the past five years, we categorize them along the measured characteristics of explanatory methods, namely trust, understanding, usability, and human-AI collaboration performance. Our research shows that XAI is spreading more rapidly in certain application domains, such as recommender systems than in others, but that user evaluations are still rather sparse and incorporate hardly any insights from cognitive or social sciences. Based on a comprehensive discussion of best practices, i.e., common models, design choices, and measures in user studies, we propose practical guidelines on designing and conducting user studies for XAI researchers and practitioners. Lastly, this survey also highlights several open research directions, particularly linking psychological science and human-centered XAI.


title: The classical dynamics of gauge theories in the deep infrared

abstract: Gauge and gravitational theories in asymptotically flat settings possess infinitely many conserved charges associated with large gauge transformations or diffeomorphisms that are nontrivial at infinity. To what extent do these charges constrain the scattering in these theories? It has been claimed in the literature that the constraints are trivial, due to a decoupling of hard and soft sectors for which the conserved charges constrain only the dynamics in the soft sector. We show that the argument for this decoupling fails due to the failure in infinite dimensions of a property of symplectic geometry which holds in finite dimensions. Specializing to electromagnetism coupled to a massless charged scalar field in four dimensional Minkowski spacetime, we show explicitly that the two sectors are always coupled using a perturbative classical computation of the scattering map. Specifically, while the two sectors are uncoupled at low orders, they are coupled at quartic order via the electromagnetic memory effect. This coupling cannot be removed by adjusting the definitions of the hard and soft sectors (which includes the classical analog of dressing the hard degrees of freedom). We conclude that the conserved charges yield nontrivial constraints on the scattering of hard degrees of freedom. This conclusion should also apply to gravitational scattering and to black hole formation and evaporation. In developing the classical scattering theory, we show that generic Lorenz gauge solutions fail to satisfy the matching condition on the vector potential at spatial infinity proposed by Strominger to define the field configuration space, and we suggest a way to remedy this. We also show that when soft degrees of freedom are present, the order at which nonlinearities first arise in the scattering map is second order in Lorenz gauge, but can be third order in other gauges.


title: Spherical and Planar Ball Bearings -- a Study of Integrable Cases

abstract: We consider the nonholonomic systems of $n$ homogeneous balls $\mathbf B_1,\dots,\mathbf B_n$ with the same radius $r$ that are rolling without slipping about a fixed sphere $\mathbf S_0$ with center $O$ and radius $R$. In addition, it is assumed that a dynamically nonsymmetric sphere $\mathbf S$ with the center that coincides with the center $O$ of the fixed sphere $\mathbf S_0$ rolls without slipping in contact to the moving balls $\mathbf B_1,\dots,\mathbf B_n$. The problem is considered in four different configurations. We derive the equations of motion and prove that these systems possess an invariant measure. As the main result, for $n=1$ we found two cases that are integrable in quadratures according to the Euler-Jacobi theorem. The obtained integrable nonholonomic models are natural extensions of the well-known Chaplygin ball integrable problems. Further, we explicitly integrate the planar problem consisting of $n$ homogeneous balls of the same radius, but with different masses, that roll without slipping over a fixed plane $\Sigma_0$ with a plane $\Sigma$ that moves without slipping over these balls.


title: Increased localization of Majorana modes in antiferromagnetic chains on superconductors

abstract: Magnet-superconductor hybrid (MSH) systems are a key platform for custom-designed topological superconductors. Ideally, the ends of a one-dimensional MSH structure will host Majorana zero-modes (MZMs), the fundamental unit of topological quantum computing. However, some of the experiments with ferromagnetic chains show a more complicated picture. Due to tiny gap sizes and hence long coherence lengths MZMs might hybridize and lose their topological protection. Recent experiments on a niobium surface have shown that both ferromagnetic and antiferromagnetic chains may be engineered, with the magnetic order depending on the crystallographic direction of the chain. While ferromagnetic chains are well understood, antiferromagnetic chains are less so. Here we study two models inspired by the niobium surface: a minimal model to elucidate the general topological properties of antiferromagnetic chains, and an extended model to more closely simulate a real system by mimicking the proximity effect. We find that in general for antiferromagnetic chains the topological gap is larger than for ferromagnetic ones and thus coherence lengths are shorter for antiferromagnetic chains, yielding more pronounced localization of MZMs in these chains. While topological phases for both ferromagnetic and antiferromagnetic chains both depend on the magnetic moment of the adatoms and the chemical potential, we find that antiferromagnetic chains also have a strong dependence on the magnitude of Rashba spin-orbit coupling at the surface.


title: Anchored Speech Recognition with Neural Transducers

abstract: Neural transducers have achieved human level performance on standard speech recognition benchmarks. However, their performance significantly degrades in the presence of cross-talk, especially when the primary speaker has a low signal-to-noise ratio. Anchored speech recognition refers to a class of methods that use information from an anchor segment (e.g., wake-words) to recognize device-directed speech while ignoring interfering background speech. In this paper, we investigate anchored speech recognition to make neural transducers robust to background speech. We extract context information from the anchor segment with a tiny auxiliary network, and use encoder biasing and joiner gating to guide the transducer towards the target speech. Moreover, to improve the robustness of context embedding extraction, we propose auxiliary training objectives to disentangle lexical content from speaking style. We evaluate our methods on synthetic LibriSpeech-based mixtures comprising several SNR and overlap conditions; they improve relative word error rates by 19.6% over a strong baseline, when averaged over all conditions.


title: Monotonic Risk Relationships under Distribution Shifts for Regularized Risk Minimization

abstract: Machine learning systems are often applied to data that is drawn from a different distribution than the training distribution. Recent work has shown that for a variety of classification and signal reconstruction problems, the out-of-distribution performance is strongly linearly correlated with the in-distribution performance. If this relationship or more generally a monotonic one holds, it has important consequences. For example, it allows to optimize performance on one distribution as a proxy for performance on the other. In this paper, we study conditions under which a monotonic relationship between the performances of a model on two distributions is expected. We prove an exact asymptotic linear relation for squared error and a monotonic relation for misclassification error for ridge-regularized general linear models under covariate shift, as well as an approximate linear relation for linear inverse problems.


title: XC: Exploring Quantitative Use Cases for Explanations in 3D Object Detection

abstract: Explainable AI (XAI) methods are frequently applied to obtain qualitative insights about deep models' predictions. However, such insights need to be interpreted by a human observer to be useful. In this paper, we aim to use explanations directly to make decisions without human observers. We adopt two gradient-based explanation methods, Integrated Gradients (IG) and backprop, for the task of 3D object detection. Then, we propose a set of quantitative measures, named Explanation Concentration (XC) scores, that can be used for downstream tasks. These scores quantify the concentration of attributions within the boundaries of detected objects. We evaluate the effectiveness of XC scores via the task of distinguishing true positive (TP) and false positive (FP) detected objects in the KITTI and Waymo datasets. The results demonstrate an improvement of more than 100\% on both datasets compared to other heuristics such as random guesses and the number of LiDAR points in the bounding box, raising confidence in XC's potential for application in more use cases. Our results also indicate that computationally expensive XAI methods like IG may not be more valuable when used quantitatively compare to simpler methods.


title: microAI: A machine learning tool for fast calculation of lift coefficients in microchannels

abstract: There have been multiple methods proposed to calculate lift coefficients in microfluidic channels. One of the most used methods is using Direct Numerical Simulation. DNS is a very accurate yet computationally expensive method. DNS computations comprise most of the time consumed on a microfluidic simulation done by commercial software. This paper proposes a user-friendly, fast, and accurate AI-based webapp named microAI that can calculate the microfluidic lift coefficients of channels. We have also studied the effects of different types of activation functions and optimizers in convergence and the final function's differentiability. microAI is deployed to huggingface and is accessible at \url{https://erfanhamdi.github.io/microAI/}


title: New data poison attacks on machine learning classifiers for mobile exfiltration

abstract: Most recent studies have shown several vulnerabilities to attacks with the potential to jeopardize the integrity of the model, opening in a few recent years a new window of opportunity in terms of cyber-security. The main interest of this paper is directed towards data poisoning attacks involving label-flipping, this kind of attacks occur during the training phase, being the aim of the attacker to compromise the integrity of the targeted machine learning model by drastically reducing the overall accuracy of the model and/or achieving the missclassification of determined samples. This paper is conducted with intention of proposing two new kinds of data poisoning attacks based on label-flipping, the targeted of the attack is represented by a variety of machine learning classifiers dedicated for malware detection using mobile exfiltration data. With that, the proposed attacks are proven to be model-agnostic, having successfully corrupted a wide variety of machine learning models; Logistic Regression, Decision Tree, Random Forest and KNN are some examples. The first attack is performs label-flipping actions randomly while the second attacks performs label flipping only one of the 2 classes in particular. The effects of each attack are analyzed in further detail with special emphasis on the accuracy drop and the misclassification rate. Finally, this paper pursuits further research direction by suggesting the development of a defense technique that could promise a feasible detection and/or mitigation mechanisms; such technique should be capable of conferring a certain level of robustness to a target model against potential attackers.


title: Linear mixed model vs two-stage methods: Developing prognostic models of diabetic kidney disease progression

abstract: Identifying prognostic factors for disease progression is a cornerstone of medical research. Repeated assessments of a marker outcome are often used to evaluate disease progression, and the primary research question is to identify factors associated with the longitudinal trajectory of this marker. Our work is motivated by diabetic kidney disease (DKD), where serial measures of estimated glomerular filtration rate (eGFR) are the longitudinal measure of kidney function, and there is notable interest in identifying factors, such as metabolites, that are prognostic for DKD progression. Linear mixed models (LMM) with serial marker outcomes (e.g., eGFR) are a standard approach for prognostic model development, namely by evaluating the time and prognostic factor (e.g., metabolite) interaction. However, two-stage methods that first estimate individual-specific eGFR slopes, and then use these as outcomes in a regression framework with metabolites as predictors are easy to interpret and implement for applied researchers. Herein, we compared the LMM and two-stage methods, in terms of bias and mean squared error via analytic methods and simulations, allowing for irregularly spaced measures and missingness. Our findings provide novel insights into when two-stage methods are suitable longitudinal prognostic modeling alternatives to the LMM. Notably, our findings generalize to other disease studies.


title: Photo-realistic 360 Head Avatars in the Wild

abstract: Delivering immersive, 3D experiences for human communication requires a method to obtain 360 degree photo-realistic avatars of humans. To make these experiences accessible to all, only commodity hardware, like mobile phone cameras, should be necessary to capture the data needed for avatar creation. For avatars to be rendered realistically from any viewpoint, we require training images and camera poses from all angles. However, we cannot rely on there being trackable features in the foreground or background of all images for use in estimating poses, especially from the side or back of the head. To overcome this, we propose a novel landmark detector trained on synthetic data to estimate camera poses from 360 degree mobile phone videos of a human head for use in a multi-stage optimization process which creates a photo-realistic avatar. We perform validation experiments with synthetic data and showcase our method on 360 degree avatars trained from mobile phone videos.


title: Algorithms for perturbative analysis and simulation of quantum dynamics

abstract: We develop general purpose algorithms for computing and utilizing both the Dyson series and Magnus expansion, with the goal of facilitating numerical perturbative studies of quantum dynamics. To enable broad applications to models with multiple parameters, we phrase our algorithms in terms of multivariable sensitivity analysis, for either the solution or the time-averaged generator of the evolution over a fixed time-interval. These tools simultaneously compute a collection of terms up to arbitrary order, and are general in the sense that the model can depend on the parameters in an arbitrary time-dependent way. We implement the algorithms in the open source software package \qiskitdynamics{}, utilizing the JAX array library to enable just-in-time compilation, automatic differentiation, and GPU execution of all computations. Using a model of a single transmon, we demonstrate how to use these tools to approximate fidelity in a region of model parameter space, as well as construct perturbative robust control objectives. We also derive and implement Dyson and Magnus-based variations of the recently introduced Dysolve algorithm [Shillito et al., Physical Review Research, 3(3):033266] for simulating linear matrix differential equations. We show how the pre-computation step can be phrased as a multivariable expansion computation problem with fewer terms than in the original method. When simulating a two-transmon entangling gate on a GPU, we find the Dyson and Magnus-based solvers provide a speedup over traditional ODE solvers, ranging from roughly $2\times$ to $4\times$ for a solution and $10\times$ to $60\times$ for a gradient, depending on solution accuracy.


title: Holographic complexity of braneworld in Horndeski gravity

abstract: This work investigates the influence of a probe string on the complexity of braneworld according to the CA (Complexity equals action) conjecture within the Horndeski gravity. In the current study, it is considered that scalar fields that source Horndeski gravity has a spatial dependence. In addition, our system contains a particle moving on the boundary, which corresponds to the insertion of a fundamental string in the higher dimensional bulk. Such an effect is given by the Nambu-Goto term, which also incorporates the time-dependence and evolution in our system. Both warp factor, scalar field, and superpotential values are derived numerically assuming appropriate initial conditions, and the growth rate of holographic complexity is analyzed within the so-called Wheeler-De Witt (WDW) patch with null-like hypersurfaces present.


title: Multi-objective Design of Uniform Sparse MIMO Arrays

abstract: The problem of multi-objective design of sparse MIMO arrays for better multitarget detection capabilities is considered. A novel approach for efficient utilization of the antenna design resources; namely, the number of available array elements, and array aperture are studied for the angular beamforming performance metrics such as, beam width, the peak to sidelobe ratio (PSLR), and grating lobe limited field of view. The limiting constraints, the physical size of elements, and mutual coupling are also considered. Thinning of fully populated uniform MIMO antenna arrays to form effective uniform sparse arrays (USA), as the term proposed here, are examined as for their capability of improving usable field of view (uFOV), beamwidth (BW), and peak-to-side lobe-ratio (PSLR) using fewer physical antenna elements, simultaneously. Sparse arrays require much less array elements to outperform uniform linear (ULA) and rectangular arrays (URA) for their beamwidths. Further, a rigorious design procedure considering the physical size limitations is currently unavailable. Here, we present a practical design architecture of such a uniform sparse array under multiple contradicting objectives. Angular resolution performances of the novel uniform sparse arrays are compared with the standard ULA and URAs. It is shown that design of an array with small inter-element spacings avoiding any grating lobes is possible even when the physical size of the elements are very large. Expanding the available elements to a much larger apertures provides much better angular resolution. However, it is also shown that these advantages come with the cost of increased side lobes. Both the simulated and the measured results demonstrate the superiority of the proposed uniform sparse array design compared to classical fully populated uniform arrays.