title: Nori's connectivity theorem from the perspective of $D$-modules

abstract: Given a very ample line bundle on a smooth projective variety, the variation of Hodge structure associated to the universal family of hyperplane sections can be thought of as a $D$-module with action generated by the Gauss-Manin connection. The decomposition theorem for a projective morphism and results similar to the Lefschetz hyperplane theorem tell us that the only nontrivial part of this VHS occurs in the middle degree corresponding to the vanishing cohomology of the hyperplane sections. We use Nori's connectivity theorem to give an explicit description of the cohomology sheaves of the de Rham complex of this $D$-module in terms of the vanishing cohomology of the original variety.


title: Online Search-based Collision-inclusive Motion Planning and Control for Impact-resilient Mobile Robots

abstract: This paper focuses on the emerging paradigm shift of collision-inclusive motion planning and control for impact-resilient mobile robots, and develops a unified hierarchical framework for navigation in unknown and partially-observable cluttered spaces. At the lower-level, we develop a deformation recovery control and trajectory replanning strategy that handles collisions that may occur at run-time, locally. The low-level system actively detects collisions (via embedded Hall effect sensors on a mobile robot built in-house), enables the robot to recover from them, and locally adjusts the post-impact trajectory. Then, at the higher-level, we propose a search-based planning algorithm to determine how to best utilize potential collisions to improve certain metrics, such as control energy and computational time. Our method builds upon A* with jump points. We generate a novel heuristic function, and a collision checking and adjustment technique, thus making the A* algorithm converge faster to reach the goal by exploiting and utilizing possible collisions. The overall hierarchical framework generated by combining the global A* algorithm and the local deformation recovery and replanning strategy, as well as individual components of this framework, are tested extensively both in simulation and experimentally. An ablation study draws links to related state-of-the-art search-based collision-avoidance planners (for the overall framework), as well as search-based collision-avoidance and sampling-based collision-inclusive global planners (for the higher level). Results demonstrate our method's efficacy for collision-inclusive motion planning and control in unknown environments with isolated obstacles for a class of impact-resilient robots operating in 2D.


title: Hybrid Stochastic Synapses Enabled by Scaled Ferroelectric Field-effect Transistors

abstract: Achieving brain-like density and performance in neuromorphic computers necessitates scaling down the size of nanodevices emulating neuro-synaptic functionalities. However, scaling nanodevices results in reduction of programming resolution and emergence of stochastic non-idealities. While prior work has mainly focused on binary transitions, in this work we leverage the stochastic switching of a three-state ferroelectric field effect transistor (FeFET) to implement a long-term and short-term 2-tier stochastic synaptic memory with a single device. Experimental measurements are performed on a scaled 28nm high-$k$ metal gate technology-based device to develop a probabilistic model of the hybrid stochastic synapse. In addition to the advantage of ultra-low programming energies afforded by scaling, our hardware-algorithm co-design analysis reveals the efficacy of the 2-tier memory in comparison to binary stochastic synapses in on-chip learning tasks -- paving the way for algorithms exploiting multi-state devices with probabilistic transitions beyond deterministic ones.


title: False Discovery Rate Adjustments for Average Significance Level Controlling Tests

abstract: Multiple testing adjustments, such as the Benjamini and Hochberg (1995) step-up procedure for controlling the false discovery rate (FDR), are typically applied to families of tests that control significance level in the classical sense: for each individual test, the probability of false rejection is no greater than the nominal level. In this paper, we consider tests that satisfy only a weaker notion of significance level control, in which the probability of false rejection need only be controlled on average over the hypotheses. We find that the Benjamini and Hochberg (1995) step-up procedure still controls FDR in the asymptotic regime with many weakly dependent $p$-values, and that certain adjustments for dependent $p$-values such as the Benjamini and Yekutieli (2001) procedure continue to yield FDR control in finite samples. Our results open the door to FDR controlling procedures in nonparametric and high dimensional settings where weakening the notion of inference allows for large power improvements.


title: Collapsing Molecular Clouds with Tracer Particles: Part I, What Collapses?

abstract: To understand the formation of stars from clouds of molecular gas, one essentially needs to know two things: What gas collapses, and how long it takes to do so. We address these questions by embedding pseudo-Lagrangian tracer particles in three simulations of self-gravitating turbulence. We identify prestellar cores at the end of the collapse, and use the tracer particles to rewind the simulations to identify the preimage gas for each core at the beginning of each simulation. This is the first of a series of papers, wherein we present the technique and examine the first question: What gas collapses? For the preimage gas at the t=0, we examine a number of quantities; the probability distribution function (PDF) for several quantities, the structure function for velocity, several length scales, the volume filling fraction, the overlap between different preimages, and fractal dimension of the preimage gas. Analytic descriptions are found for the PDFs of density and velocity for the preimage gas. We find that the preimage of a core is large and sparse, and we show that gas for one core comes from many turbulent density fluctuations and a few velocity fluctuations. We find that binary systems have preimages that overlap in a fractal manner. Finally, we use the density distribution to derive a novel prediction of the star formation rate.


title: Information Design in the Principal-Agent Problem

abstract: We study a variant of the principal-agent problem in which the principal does not directly observe the outcomes; rather, she gets a signal related to the agent's action, according to a variable information structure. We provide simple necessary and sufficient conditions for implementability of an action and a utility profile by some information structure and the corresponding optimal contract - for a risk-neutral or risk-averse agent, with or without the limited liability assumption. It turns out that the set of implementable utility profiles is characterized by simple thresholds on the utilities.


title: Optimally Biased Expertise

abstract: This paper shows that the principal can strictly benefit from delegating a decision to an agent whose opinion differs from that of the principal. We consider a "delegated expertise" problem, in which the agent has an advantage in information acquisition relative to the principal, as opposed to having preexisting private information. When the principal is ex ante predisposed towards some action, it is optimal for her to hire an agent who is predisposed towards the same action, but to a smaller extent, since such an agent would acquire more information, which outweighs the bias stemming from misalignment. We show that belief misalignment between an agent and a principal is a viable instrument in delegation, performing on par with contracting and communication in a class of problems.


title: Phase field modeling and computation of vesicle growth or shrinkage

abstract: We present a phase field model for vesicle growth or shrinkage induced by an osmotic pressure due to a chemical potential gradient. The model consists of an Allen-Cahn equation describing the evolution of phase field and a Cahn-Hilliard equation describing the evolution of concentration field. We establish control conditions for vesicle growth or shrinkage via a common tangent construction. During the membrane deformation, the model ensures total mass conservation and satisfies surface area constraint. We develop a nonlinear numerical scheme, a combination of nonlinear Gauss-Seidel relaxation operator and a V-cycles multigrid solver, for computing equilibrium shapes of a 2D vesicle. Convergence tests confirm an $\mathcal{O}(t+h^2)$ accuracy. Numerical results reveal that the diffuse interface model captures the main feature of dynamics: for a growing vesicle, there exist circle-like equilibrium shapes if the concentration difference across the membrane and the initial osmotic pressure are large enough; while for a shrinking vesicle, there exists a rich collection of finger-like equilibrium morphologies.


title: Rehybridization dynamics into the pericyclic minimum of an electrcyclic reaction imaged in real-time

abstract: Electrocyclic reactions are characterized by the concerted formation and cleavage of both {\sigma} and {\pi} bonds through a cyclic structure. This structure is known as a pericyclic transition state for thermal reactions and a pericyclic minimum in the excited state for photochemical reactions. However, the structure of the pericyclic geometry has yet to be observed experimentally. We use a combination of ultrafast electron diffraction and excited state wavepacket simulations to image structural dynamics through the pericyclic minimum of a photochemical electrocyclic ring-opening reaction in the molecule {\alpha}-terpinene. The structural motion into the pericyclic minimum is dominated by rehybridization of two carbon atoms, which is required for the transformation from two to three conjugated {\pi} bonds. The {\sigma} bond dissociation largely happens after internal conversion from the pericyclic minimum to the electronic ground state. These findings may be transferrable to electrocyclic reactions in general.


title: Embedding Hindsight Reasoning in Separation Logic

abstract: Proving linearizability of concurrent data structures remains a key challenge for verification. We present temporal interpolation as a new proof principle to conduct such proofs using hindsight arguments within concurrent separation logic. Temporal reasoning offers an easy-to-use alternative to prophecy variables and has the advantage of structuring proofs into easy-to-discharge hypotheses. To hindsight theory, our work brings the formal rigor and proof machinery of concurrent program logics. We substantiate the usefulness of our development by verifying the linearizability of the Logical Ordering (LO-)tree and RDCSS. Both of these involve complex proof arguments due to future-dependent linearization points. The LO-tree additionally features complex structure overlays. Our proof of the LO-tree is the first formal proof of this data structure. Interestingly, our formalization revealed an unknown bug and an existing informal proof as erroneous.


title: Maximal Masses of White Dwarfs for Polytropes in $R^2$ Gravity and Theoretical Constraints

abstract: We examine the Chandrasekhar limit for white dwarfs in $f(R)$ gravity, with a simple polytropic equation of state describing stellar matter. We use the most popular $f(R)$ gravity model, namely the $f(R)=R+\alpha R^2$ gravity, and calculate the parameters of the stellar configurations with polytropic equation of state of the form $p=K\rho^{1+1/n}$ for various values of the parameter $n$. In order to simplify our analysis we use the equivalent Einstein frame form of $R^2$-gravity which is basically a scalar-tensor theory with well-known potential for the scalar field. In this description one can use simple approximations for the scalar field $\phi$ leaving only the potential term for it. Our analysis indicates that for the non-relativistic case with $n=3/2$, discrepancies between the $R^2$-gravity and General Relativity can appear only when the parameter $\alpha$ of the $R^2$ term, takes values close to maximal limit derived from the binary pulsar data namely $\alpha_{max}=5\times 10^{15}$ cm$^2$. Thus, the study of low-mass white dwarfs can hardly give restrictions on the parameter $\alpha$. For relativistic polytropes with $n=3$ we found that Chandrasekhar limit can in principle change for smaller $\alpha$ values. The main conclusion from our calculations is the existence of white dwarfs with large masses $\sim 1.33 M_{\odot}$, which can impose more strict limits on the parameter $\alpha$ for the $R^2$ gravity model. Specifically, our estimations on the parameter $\alpha$ of the $R^2$ model is $\alpha \sim 10^{13}$ cm$^2$.


title: Doubly-Optimistic Play for Safe Linear Bandits

abstract: The safe linear bandit problem (SLB) is an online approach to linear programming with unknown objective and unknown round-wise constraints, under stochastic bandit feedback of rewards and safety risks of actions. We study aggressive \emph{doubly-optimistic play} in SLBs, and their role in avoiding the strong assumptions and poor efficacy associated with extant pessimistic-optimistic solutions. We first elucidate an inherent hardness in SLBs due the lack of knowledge of constraints: there exist `easy' instances, for which suboptimal extreme points have large `gaps', but on which SLB methods must still incur $\Omega(\sqrt{T})$ regret and safety violations due to an inability to refine the location of optimal actions to arbitrary precision. In a positive direction, we propose and analyse a doubly-optimistic confidence-bound based strategy for the safe linear bandit problem, DOSLB, which exploits supreme optimism by using optimistic estimates of both reward and safety risks to select actions. Using a novel dual analysis, we show that despite the lack of knowledge of constraints, DOSLB rarely takes overly risky actions, and obtains tight instance-dependent $O(\log^2 T)$ bounds on both efficacy regret and net safety violations up to any finite precision, thus yielding large efficacy gains at a small safety cost and without strong assumptions. Concretely, we argue that algorithm activates noisy versions of an `optimal' set of constraints at each round, and activation of suboptimal sets of constraints is limited by the larger of a safety and efficacy gap we define.


title: The Image of the Pop Operator on Various Lattices

abstract: Extending the classical pop-stack sorting map on the lattice given by the right weak order on $S_n$, Defant defined, for any lattice $M$, a map $\mathsf{Pop}_{M}: M \to M$ that sends an element $x\in M$ to the meet of $x$ and the elements covered by $x$. In parallel with the line of studies on the image of the classical pop-stack sorting map, we study $\mathsf{Pop}_{M}(M)$ when $M$ is the weak order of type $B_n$, the Tamari lattice of type $B_n$, the lattice of order ideals of the root poset of type $A_n$, and the lattice of order ideals of the root poset of type $B_n$. In particular, we settle four conjectures proposed by Defant and Williams on the generating function \begin{equation*} \mathsf{Pop}(M; q) = \sum_{b \in \mathsf{Pop}_{M}(M)} q^{|\mathscr{U}_{M}(b)|}, \end{equation*} where $\mathscr{U}_{M}(b)$ is the set of elements of $M$ that cover $b$.


title: What Does DALL-E 2 Know About Radiology?

abstract: Generative models such as DALL-E 2 could represent a promising future tool for image generation, augmentation, and manipulation for artificial intelligence research in radiology provided that these models have sufficient medical domain knowledge. Here we show that DALL-E 2 has learned relevant representations of X-ray images with promising capabilities in terms of zero-shot text-to-image generation of new images, continuation of an image beyond its original boundaries, or removal of elements, while pathology generation or CT, MRI, and ultrasound images are still limited. The use of generative models for augmenting and generating radiological data thus seems feasible, even if further fine-tuning and adaptation of these models to the respective domain is required beforehand.


title: On the Choice of Databases in Differential Privacy Composition

abstract: Differential privacy (DP) is a widely applied paradigm for releasing data while maintaining user privacy. Its success is to a large part due to its composition property that guarantees privacy even in the case of multiple data releases. Consequently, composition has received a lot of attention from the research community: there exist several composition theorems for adversaries with different amounts of flexibility in their choice of mechanisms. But apart from mechanisms, the adversary can also choose the databases on which these mechanisms are invoked. The classic tool for analyzing the composition of DP mechanisms, the so-called composition experiment, neither allows for incorporating constraints on databases nor for different assumptions on the adversary's prior knowledge about database membership. We therefore propose a generalized composition experiment (GCE), which has this flexibility. We show that composition theorems that hold with respect to the classic composition experiment also hold with respect to the worst case of the GCE. This implies that existing composition theorems give a privacy guarantee for more cases than are explicitly covered by the classic composition experiment. Beyond these theoretical insights, we demonstrate two practical applications of the GCE: the first application is to give better privacy bounds in the presence of restrictions on the choice of databases; the second application is to reason about how the adversary's prior knowledge influences the privacy leakage. In this context, we show a connection between adversaries with an uninformative prior and subsampling, an important primitive in DP. To the best of our knowledge, this paper is the first to analyze the interplay between the databases in DP composition, and thereby gives both a better understanding of composition and practical tools for obtaining better composition bounds.


title: The Fate of the Upper Polariton: Breakdown of the Quasiparticle Picture in the Continuum

abstract: Organic polaritons resulting from the strong hybridisation between photons and matter excitations have arisen as a suitable platform to device light-matter technological interfaces at room temperature. Despite their inherent complexity, organic polaritons are commonly regarded as coherent light-matter excitations that can be described in terms of Landau's quasiparticle approach. Here, we experimentally unveil the role of incoherent matter excitations on the polaritons by exploring the relevant energy-momentum parameter space. We demonstrate the emergence of a well-defined lower polariton branch and an intriguing fading of the upper polariton at its entrance to a continuum of matter excitations. This marks the breakdown of the simplistic quasiparticle picture for this branch and the formation of a more complex quantum state. Our experimental results are sustained by a general theoretical framework that allows understanding the light-matter hybridisation beyond the quasiparticle approach. Our work expands the understanding of organic polaritons in all their complexity and increases their technological significance.


title: The Kelvin-Helmholtz instability at the boundary of relativistic magnetized jets

abstract: We study the linear stability of a planar interface separating two fluids in relative motion, focusing on conditions appropriate for the boundaries of relativistic jets. The jet is magnetically dominated, whereas the ambient wind is gas-pressure dominated. We derive the most general form of the dispersion relation and provide an analytical approximation of its solution for an ambient sound speed much smaller than the jet Alfv\'en speed $v_A$, as appropriate for realistic systems. The stability properties are chiefly determined by the angle $\psi$ between the wavevector and the jet magnetic field. For $\psi=\pi/2$, magnetic tension plays no role, and our solution resembles the one of a gas-pressure dominated jet. Here, only sub-Alfv\'enic jets are unstable ($0<M_e\equiv(v/v_A)\cos\theta<1$, where $v$ is the shear velocity and $\theta$ the angle between the velocity and the wavevector). For $\psi=0$, the free energy in the velocity shear needs to overcome the magnetic tension, and only super-Alfv\'enic jets are unstable ($1<M_e<\sqrt{(1+\Gamma_w^2)/[1+(v_A/c)^2\Gamma_w^2]}$, with $\Gamma_w$ the wind adiabatic index). Our results have important implications for the propagation and emission of relativistic magnetized jets.


title: A data driven approach for cross-slip modelling in continuum dislocation dynamics

abstract: Cross-slip is a thermally activated process by which screw dislocation changes its glide plane to another slip plane sharing the same Burgers vector. The rate at which this process happens is determined by a Boltzmann type expression that is a function of the screw segment length and the stress acting on the dislocation. In continuum dislocation dynamics (CDD), the information regarding the length of the screw dislocation segment and local stress state on dislocations are lost due to the coarse-grained representation of the density. In this work, a data driven approach to characterize the lost information by analyzing the discrete dislocation configurations is proposed to enable cross-slip modeling in the CDD framework in terms of the coarse-grained dislocation density and stress fields. The analysis showed that the screw segment length follows an exponential distribution, and the stress fluctuations, defined as the difference between the stress on the dislocations and the mean field stress in CDD, follows a Lorentzian distribution. A novel approach for cross slip implementation in CDD employing the screw segment length and stress fluctuation statistics was proposed and rigorously tested by comparing the CDD cross-slip rates with discrete dislocation dynamics (DDD) rates. This approach has been applied in conjunction with three cross-slip models used in DDD simulations differing mainly in the functional form of cross slip activation energy. It was found that different cross-slip activation energy formulations yielded different cross-slip rates, yet the effect on mechanical stress-strain response and dislocation density evolution was minimal for the [001] type loading.


title: Spectral clustering and model reduction for weakly-connected coherent network systems

abstract: We propose a novel model-reduction methodology for large-scale dynamic networks with tightly-connected components. First, the coherent groups are identified by a spectral clustering algorithm on the graph Laplacian matrix that models the network feedback. Then, a reduced network is built, where each node represents the aggregate dynamics of each coherent group, and the reduced network captures the dynamic coupling between the groups. Our approach is theoretically justified under a random graph setting. Finally, numerical experiments align with and validate our theoretical findings.


title: Reasoning over Multi-view Knowledge Graphs

abstract: Recently, knowledge representation learning (KRL) is emerging as the state-of-the-art approach to process queries over knowledge graphs (KGs), wherein KG entities and the query are embedded into a latent space such that entities that answer the query are embedded close to the query. Yet, despite the intensive research on KRL, most existing studies either focus on homogenous KGs or assume KG completion tasks (i.e., inference of missing facts), while answering complex logical queries over KGs with multiple aspects (multi-view KGs) remains an open challenge. To bridge this gap, in this paper, we present ROMA, a novel KRL framework for answering logical queries over multi-view KGs. Compared with the prior work, ROMA departs in major aspects. (i) It models a multi-view KG as a set of overlaying sub-KGs, each corresponding to one view, which subsumes many types of KGs studied in the literature (e.g., temporal KGs). (ii) It supports complex logical queries with varying relation and view constraints (e.g., with complex topology and/or from multiple views); (iii) It scales up to KGs of large sizes (e.g., millions of facts) and fine-granular views (e.g., dozens of views); (iv) It generalizes to query structures and KG views that are unobserved during training. Extensive empirical evaluation on real-world KGs shows that \system significantly outperforms alternative methods.


title: Enhanced thermalization of exciton-polaritons in optically generated potentials

abstract: Equilibrium Bose-Einstein condensation of exciton-polaritons, demonstrated with a long-lifetime microcavity [Phys. Rev. Lett. 118, 016602 (2017)], has proven that driven-dissipative systems can undergo thermodynamic phase transitions in the limit where the quasiparticle lifetime exceeds the thermalization time. Here, we identify the role of dimensionality and polariton interactions in determining the degree of thermalization in optically generated traps. To distinguish the effect of trapping from interactions and lifetimes, we measured the polariton distribution under four nonresonant Gaussian pumps in a square geometry and compared it with polariton distributions measured with each pump individually. We found that significant redistribution of polaritons arises by trapping and modification of the density of states. Surprisingly efficient polariton-polariton scattering below the condensation threshold is evidenced by the depletion of the inflection-point polaritons. Our work provides a deeper understanding of polariton distributions and their interactions under various geometries of optically generated potentials.


title: Satisfiability degrees for BCK-algebras

abstract: We investigate the satisfiability degree of some equations in finite BCK-algebras; that is, given a finite BCK-algebra and an equation in the language of BCK-algebras, what is the probability that elements chosen uniformly randomly with replacement satisfy that equation? Specifically we consider the equations for the excluded middle, double negation, commutativity, positive implicativity, and implicativity. We give a sufficient condition for an equation to have a finite satisfiability gap among commutative BCK-algebras, and prove that the law of the excluded middle has a gap of $\frac{1}{3}$, while the positive implicative and implicative equations have gap $\frac{1}{9}$. More generally, though, in the language of BCK-algebras, we show that double negation, commutativity, positive implicativity, and implicativity all fail to have finite satisfiability gap. We provide bounds for the probabilities in these cases.


title: An Overview of the Data-Loader Landscape: Comparative Performance Analysis

abstract: Dataloaders, in charge of moving data from storage into GPUs while training machine learning models, might hold the key to drastically improving the performance of training jobs. Recent advances have shown promise not only by considerably decreasing training time but also by offering new features such as loading data from remote storage like S3. In this paper, we are the first to distinguish the dataloader as a separate component in the Deep Learning (DL) workflow and to outline its structure and features. Finally, we offer a comprehensive comparison of the different dataloading libraries available, their trade-offs in terms of functionality, usability, and performance and the insights derived from them.


title: SGTM 2.0: Autonomously Untangling Long Cables using Interactive Perception

abstract: Cables are commonplace in homes, hospitals, and industrial warehouses and are prone to tangling. This paper extends prior work on autonomously untangling long cables by introducing novel uncertainty quantification metrics and actions that interact with the cable to reduce perception uncertainty. We present Sliding and Grasping for Tangle Manipulation 2.0 (SGTM 2.0), a system that autonomously untangles cables approximately 3 meters in length with a bilateral robot using estimates of uncertainty at each step to inform actions. By interactively reducing uncertainty, Sliding and Grasping for Tangle Manipulation 2.0 (SGTM 2.0) reduces the number of state-resetting moves it must take, significantly speeding up run-time. Experiments suggest that SGTM 2.0 can achieve 83% untangling success on cables with 1 or 2 overhand and figure-8 knots, and 70% termination detection success across these configurations, outperforming SGTM 1.0 by 43% in untangling accuracy and 200% in full rollout speed. Supplementary material, visualizations, and videos can be found at sites.google.com/view/sgtm2.


title: Entanglement Between Stochastic Atomic Motion and Three-Level Atom

abstract: In this paper, we are interested in studying entropy and dynamics entanglement between a single time dependent three-level atom interacting with one-mode cavity field when the atomic motion is taken into account. An exact analytical solution for the wave function is given by using Schr\"odinger equation for a specific initial condition. The field entropy of this system is investigated in the non-resonant case. The influences of the detuning parameters and atomic motion on the entanglement degree are examined. We show that both of the detuning parameters and atomic motion play important roles in the evolution of von Neumann entropy and atomic populations. Finally, conclusion and some features are given.


title: Falsification before Extrapolation in Causal Effect Estimation

abstract: Randomized Controlled Trials (RCTs) represent a gold standard when developing policy guidelines. However, RCTs are often narrow, and lack data on broader populations of interest. Causal effects in these populations are often estimated using observational datasets, which may suffer from unobserved confounding and selection bias. Given a set of observational estimates (e.g. from multiple studies), we propose a meta-algorithm that attempts to reject observational estimates that are biased. We do so using validation effects, causal effects that can be inferred from both RCT and observational data. After rejecting estimators that do not pass this test, we generate conservative confidence intervals on the extrapolated causal effects for subgroups not observed in the RCT. Under the assumption that at least one observational estimator is asymptotically normal and consistent for both the validation and extrapolated effects, we provide guarantees on the coverage probability of the intervals output by our algorithm. To facilitate hypothesis testing in settings where causal effect transportation across datasets is necessary, we give conditions under which a doubly-robust estimator of group average treatment effects is asymptotically normal, even when flexible machine learning methods are used for estimation of nuisance parameters. We illustrate the properties of our approach on semi-synthetic and real world datasets, and show that it compares favorably to standard meta-analysis techniques.


title: A new reduced order model of imcompressible Stokes equations

abstract: In this paper we propose a new reduced order model (ROM) to the imcompressible Stokes equations. Numerical experiments show that our ROM is accurate and efficient. Under some assumptions on the problem data, we prove that the convergence rates of the new ROM is the same with standard solvers.


title: Towards Human-Compatible XAI: Explaining Data Differentials with Concept Induction over Background Knowledge

abstract: Concept induction, which is based on formal logical reasoning over description logics, has been used in ontology engineering in order to create ontology (TBox) axioms from the base data (ABox) graph. In this paper, we show that it can also be used to explain data differentials, for example in the context of Explainable AI (XAI), and we show that it can in fact be done in a way that is meaningful to a human observer. Our approach utilizes a large class hierarchy, curated from the Wikipedia category hierarchy, as background knowledge.


title: Segment Linking: A Highly Parallelizable Track Reconstruction Algorithm for HL-LHC

abstract: The High Luminosity upgrade of the Large Hadron Collider (HL-LHC) will produce particle collisions with up to 200 simultaneous proton-proton interactions. These unprecedented conditions will create a combinatorial complexity for charged-particle track reconstruction that demands a computational cost that is expected to surpass the projected computing budget using conventional CPUs. Motivated by this and taking into account the prevalence of heterogeneous computing in cutting-edge High Performance Computing centers, we propose an efficient, fast and highly parallelizable bottom-up approach to track reconstruction for the HL-LHC, along with an associated implementation on GPUs, in the context of the Phase 2 CMS outer tracker. Our algorithm, called Segment Linking (or Line Segment Tracking), takes advantage of localized track stub creation, combining individual stubs to progressively form higher level objects that are subject to kinematical and geometrical requirements compatible with genuine physics tracks. The local nature of the algorithm makes it ideal for parallelization under the Single Instruction, Multiple Data paradigm, as hundreds of objects can be built simultaneously. The computing and physics performance of the algorithm has been tested on an NVIDIA Tesla V100 GPU, already yielding efficiency and timing measurements that are on par with the latest, multi-CPU versions of existing CMS tracking algorithms.


title: A Quantum Optimization Algorithm for Single Machine Total Weighted Tardiness Minimization

abstract: A single machine total weighted tardiness minimization (TWTM) problem in operational planning is considered. The problem is formulated as an NP-hard constrained combinatorial problem, which has no known deterministic polynomial complexity solution using classical computing. Based on efficient Grover's quantum search and Trugenberger's quantum optimization algorithms, a novel efficient quantum optimization algorithm is proposed to solve the NP-hard single machine TWTM problem, which makes the desired solution satisfying the searching constraints and showing the minimal TWT value be measured with the highest probability.


title: Studying Gamow-Teller transitions and the assignment of isomeric and ground states at $N=50$

abstract: Direct mass measurements of neutron-deficient nuclides around the $N=50$ shell closure below $^{100}$Sn were performed at the FRS Ion Catcher (FRS-IC) at GSI, Germany. The nuclei were produced by projectile fragmentation of $^{124}$Xe, separated in the fragment separator FRS and delivered to the FRS-IC. The masses of 14 ground states and two isomers were measured with relative mass uncertainties down to $1\times 10^{-7}$ using the multiple-reflection time-of-flight mass spectrometer of the FRS-IC, including the first direct mass measurements of $^{98}$Cd and $^{97}$Rh. A new $Q_\mathrm{EC} = 5437\pm67$ keV was obtained for $^{98}$Cd, resulting in a summed Gamow-Teller (GT) strength for the five observed transitions ($0^+\longrightarrow1^+$) as $B(\text{GT})=2.94^{+0.32}_{-0.28}$. Investigation of this result in state-of-the-art shell model approaches sheds light into a better understanding of the GT transitions in even-even isotones at $N=50$. The excitation energy of the long-lived isomeric state in $^{94}$Rh was determined for the first time to be $293\pm 21$ keV. This, together with the shell model calculations, allows the level ordering in $^{94}$Rh to be understood.


title: Managed Network Services for Exascale Data Movement Across Large Global Scientific Collaborations

abstract: Unique scientific instruments designed and operated by large global collaborations are expected to produce Exabyte-scale data volumes per year by 2030. These collaborations depend on globally distributed storage and compute to turn raw data into science. While all of these infrastructures have batch scheduling capabilities to share compute, Research and Education networks lack those capabilities. There is thus uncontrolled competition for bandwidth between and within collaborations. As a result, data "hogs" disk space at processing facilities for much longer than it takes to process, leading to vastly over-provisioned storage infrastructures. Integrated co-scheduling of networks as part of high-level managed workflows might reduce these storage needs by more than an order of magnitude. This paper describes such a solution, demonstrates its functionality in the context of the Large Hadron Collider (LHC) at CERN, and presents the next-steps towards its use in production.


title: Safe Balancing Control of a Soft Legged Robot

abstract: Legged robots constructed from soft materials are commonly claimed to demonstrate safer, more robust environmental interactions than their rigid counterparts. However, this motivating feature of soft robots requires more rigorous development for comparison to rigid locomotion. This article presents a soft legged robot platform, Horton, and a feedback control system with safety guarantees on some aspects of its operation. The robot is constructed using a series of soft limbs, actuated by thermal shape memory alloy (SMA) wire muscles, with sensors for its position and its actuator temperatures. A supervisory control scheme maintains safe actuator states during the operation of a separate controller for the robot's pose. Experiments demonstrate that Horton can lift its leg and maintain a balancing stance, a precursor to locomotion. The supervisor is verified in hardware via a human interaction test during balancing, keeping all SMA muscles below a temperature threshold. This work represents the first demonstration of a safety-verified feedback system on any soft legged robot.


title: Hamiltonian Adaptive Importance Sampling

abstract: Importance sampling (IS) is a powerful Monte Carlo (MC) methodology for approximating integrals, for instance in the context of Bayesian inference. In IS, the samples are simulated from the so-called proposal distribution, and the choice of this proposal is key for achieving a high performance. In adaptive IS (AIS) methods, a set of proposals is iteratively improved. AIS is a relevant and timely methodology although many limitations remain yet to be overcome, e.g., the curse of dimensionality in high-dimensional and multi-modal problems. Moreover, the Hamiltonian Monte Carlo (HMC) algorithm has become increasingly popular in machine learning and statistics. HMC has several appealing features such as its exploratory behavior, especially in high-dimensional targets, when other methods suffer. In this paper, we introduce the novel Hamiltonian adaptive importance sampling (HAIS) method. HAIS implements a two-step adaptive process with parallel HMC chains that cooperate at each iteration. The proposed HAIS efficiently adapts a population of proposals, extracting the advantages of HMC. HAIS can be understood as a particular instance of the generic layered AIS family with an additional resampling step. HAIS achieves a significant performance improvement in high-dimensional problems w.r.t. state-of-the-art algorithms. We discuss the statistical properties of HAIS and show its high performance in two challenging examples.


title: Polarized Emission From Four Supernova Remnants In The THOR Survey

abstract: We present polarization and Faraday rotation for the supernova remnants (SNRs) G46.8-0.3, G43.3-0.2, G41.1-0.3, and G39.2-0.3 in L-band (1-2 GHz) radio continuum in The HI/OH/Recombination line (THOR) survey. We detect polarization from G46.8-0.3, G43.3-0.2 and G39.2-0.3 but find upper limits at the 1% level of Stokes I for G41.1-0.3. For G46.8-0.3 and G39.2-0.3 the fractional polarization varies on small scales from 1% to ~6%. G43.3-0.2 is less polarized with fractional polarization <~3%. We find upper limits at the 1% level for the brighter regions in each SNR with no evidence for associated enhanced Faraday depolarization. We observe significant variation in Faraday depth and fractional polarization on angular scales down to the resolution limit of 16". Approximately 6% of our polarization detections from G46.8-0.3 and G39.2-0.3 exhibit two-component Faraday rotation and 14% of polarization detections in G43.3-0.2 are multi-component. For G39.2-0.3 we find a bimodal Faraday depth distribution with a narrow peak and a broad peak for all polarization detections as well as for the subset with two-component Faraday rotation. We identify the narrow peak with the front side of the SNR and the broad peak with the back side. Similarly, we interpret the observed Faraday depth distribution of G46.8-0.3 as a superposition of the distributions from the front side and the back side. We interpret our results as evidence for a partially filled shell with small-scale magnetic field structure and internal Faraday rotation.


title: A Dataset of Alt Texts from HCI Publications: Analyses and Uses Towards Producing More Descriptive Alt Texts of Data Visualizations in Scientific Papers

abstract: Figures in scientific publications contain important information and results, and alt text is needed for blind and low vision readers to engage with their content. We conduct a study to characterize the semantic content of alt text in HCI publications based on a framework introduced by Lundgard and Satyanarayan. Our study focuses on alt text for graphs, charts, and plots extracted from HCI and accessibility publications; we focus on these communities due to the lack of alt text in papers published outside of these disciplines. We find that the capacity of author-written alt text to fulfill blind and low vision user needs is mixed; for example, only 50% of alt texts in our sample contain information about extrema or outliers, and only 31% contain information about major trends or comparisons conveyed by the graph. We release our collected dataset of author-written alt text, and outline possible ways that it can be used to develop tools and models to assist future authors in writing better alt text. Based on our findings, we also discuss recommendations that can be acted upon by publishers and authors to encourage inclusion of more types of semantic content in alt text.


title: Existence and regularity of steady-state solutions of the Navier-Stokes equations arising from irregular data

abstract: We analyze the forced incompressible stationary Navier-Stokes flow in $\mathbb{R}^n_+$, $n>2$. Existence of a unique solution satisfying a global integrabilty property measured in a scale of tent spaces is established for small data in homogenous Sobolev space with $s=-\frac{1}{2}$ degree of smoothness. Moreover, the velocity field is shown to be locally H\"{o}lder continuous while the pressure belongs to $L^p_{loc}$ for any $p\in (1,\infty)$. Our approach is based on the analysis of the inhomogeneous Stokes system for which we derive a new solvability result involving Dirichlet data in Triebel-Lizorkin classes with negative amount of smoothness and is of independent interest.


title: Beam polarization effects on Z-boson pair production at electron-positron colliders: a full one-loop analysis

abstract: We present high-precision predictions for Z boson-pair production via electron-positron collisions by taking into account a full set of one-loop order scattering amplitudes, i.e., electroweak (EW) corrections together with soft and hard QED radiation. We provide a detailed numerical evaluation, from full EW corrections to pure QED corrections, specifically focusing on the effect of initial beam polarization on production rate. The left-right asymmetry and angular distributions are also presented. The radiative corrections are largely affected by initial beam polarizations. We get an improvement as around three times with completely polarized beams of $e^-_L$ and $e^+_R$. We find that the radiative corrections can sizably modify the production rate, typically yielding a total relative correction up to a few tens of a percent. This imply that the full EW corrections are required for $e^- e^+ \to ZZ$ to match with percent level accuracy.


title: Stochastic model for barrier crossings and fluctuations in local timescale

abstract: The problem of computing the rate of diffusion-aided activated barrier crossings between metastable states is one of broad relevance in physical sciences. The transition path formalism aims to compute the rate of these events by analysing the statistical properties of the transition path between the two metastable regions concerned. In this paper, we show that the transition path process is a unique solution to an associated stochastic differential equation (SDE), with a discontinuous and singular drift term. The singularity arises from a local time contribution, which accounts for the fluctuations at the boundaries of the metastable regions. The presence of fluctuations at the local time scale calls for an excursion theoretic consideration of barrier crossing events. We show that the rate of such events, as computed from excursion theory, factorizes into a local time term and an excursion measure term, which bears empirical similarity to the transition state theory rate expression. Since excursion theory makes no assumption about the presence of a transition state in the potential energy landscape, the mathematical structure underlying this factorization ought to be general. We hence expect excursion theory (and local times) to provide some physical and mathematical insights in generic barrier crossing problems.


title: QU Vul: An Integral Field Spectroscopy Case Study of a Nova Shell

abstract: We present GTC MEGARA high-dispersion integral field spectroscopic observations of the nova remnant QU\,Vul, which provide a comprehensive 3D view of this nova shell. The tomographic analysis of the H$\alpha$ emission reveals a complex physical structure characterized by an inhomogeneous and clumpy distribution of the material within this shell. The overall structure can be described as a prolate ellipsoid with an axial ratio of 1.4$\pm$0.2, a major axis inclination with the line of sight of $12^{\circ}\pm6^{\circ}$, and polar and equatorial expansion velocities $\approx$560 km~s$^{-1}$ and 400$\pm$60 km s$^{-1}$, respectively. The comparison of the expansion velocity on the plane of the sky with the angular expansion implies a distance of 1.43$\pm$0.23 kpc. The ionized mass is found to be $\approx 2\times 10^{-4}$ M$_\odot$, noting that the information on the 3D distribution of material within the nova shell has allowed us to reduce the uncertainty on its filling factor. The nova shell is still in its free expansion phase, which can be expected as the ejecta mass is much larger than the swept-up circumstellar medium mass. The 3D distribution and radial velocity of material within the nova shell provide an interpretation of the so-called "castellated" line profiles observed in early optical spectra of nova shells, which can be attributed to knots and clumps moving radially along different directions.


title: Statistical limits of correlation detection in trees

abstract: In this paper we address the problem of testing whether two observed trees $(t,t')$ are sampled either independently or from a joint distribution under which they are correlated. This problem, which we refer to as correlation detection in trees, plays a key role in the study of graph alignment for two correlated random graphs. Motivated by graph alignment, we investigate the conditions of existence of one-sided tests, i.e. tests which have vanishing type I error and non-vanishing power in the limit of large tree depth. For the correlated Galton-Watson model with Poisson offspring of mean $\lambda>0$ and correlation parameter $s \in (0,1)$, we identify a phase transition in the limit of large degrees at $s = \sqrt{\alpha}$, where $\alpha \sim 0.3383$ is Otter's constant. Namely, we prove that no such test exists for $s \leq \sqrt{\alpha}$, and that such a test exists whenever $s > \sqrt{\alpha}$, for $\lambda$ large enough. This result sheds new light on the graph alignment problem in the sparse regime (with $O(1)$ average node degrees) and on the performance of the MPAlign method studied in Ganassali et al. (2021), Piccioli et al. (2021), proving in particular the conjecture of Piccioli et al. (2021) that MPAlign succeeds in the partial recovery task for correlation parameter $s>\sqrt{\alpha}$ provided the average node degree $\lambda$ is large enough. As a byproduct, we identify a new family of orthogonal polynomials for the Poisson-Galton-Watson measure which enjoy remarkable properties. These polynomials may be of independent interest for a variety of problems involving graphs, trees or branching processes, beyond the scope of graph alignment.

categories: math.ST math.PR physics.data-an stat.ML stat.TH


title: Stochastic projection based approach for gradient free physics informed learning

abstract: We propose a stochastic projection-based gradient free physics-informed neural network. The proposed approach, referred to as the stochastic projection based physics informed neural network (SP-PINN), blends upscaled stochastic projection theory with the recently proposed physics-informed neural network. This results in a framework that is robust and can solve problems involving complex solution domain and discontinuities. SP-PINN is a gradient-free approach which addresses the computational bottleneck associated with automatic differentiation in conventional PINN. Efficacy of the proposed approach is illustrated by a number of examples involving regular domain, complex domain, complex response and phase field based fracture mechanics problems. Case studies by varying network architecture (activation function) and number of collocation points have also been presented.


title: On the Descriptive Complexity of Groups without Abelian Normal Subgroups

abstract: In this paper, we explore the descriptive complexity theory of finite groups by examining the power of the second Ehrenfeucht-Fra\"iss\'e bijective pebble game in Hella's (Ann. Pure Appl. Log., 1989) heirarchy. This is a Spoiler-Duplicator game in which Spoiler can place up to two pebbles each round. While it trivially solves graph isomorphism, it may be nontrivial for finite groups, and other ternary relational structures. We first provide a novel generalization of Weisfeiler-Leman (WL) coloring, which we call 2-ary WL. We then show that the 2-ary WL is equivalent to the second Ehrenfeucht-Fra\"iss\'e bijective pebble game in Hella's heirarchy. Our main result is that, in the pebble game characterization, only $O(1)$ pebbles and $O(1)$ rounds are sufficient to identify all groups without Abelian normal subgroups (a class of groups for which isomorphism testing is known to be in $\mathsf{P}$; Babai, Codenotti, & Qiao, ICALP 2012). In particular, we show that within the first few rounds, Spoiler can force Duplicator to select an isomorphism between two such groups at each subsequent round. By Hella's results (\emph{ibid.}), this is equivalent to saying that these groups are identified by formulas in first-order logic with generalized 2-ary quantifiers, using only $O(1)$ variables and $O(1)$ quantifier depth.


title: Could quantum gravity slow down neutrinos?

abstract: In addition to its implications for astrophysics, the hunt for GRB neutrinos could also be significant in quantum-gravity research, since they are excellent probes of the microscopic fabric of spacetime. Some previous studies based on IceCube neutrinos had found intriguing preliminary evidence that some of them might be GRB neutrinos with travel times affected by quantum properties of spacetime, with the noticeable feature that quantum spacetime would slow down some of the neutrinos while others would be sped up. Recently the IceCube collaboration revised significantly the estimates of the direction of observation of their neutrinos, and we here investigate how the corrected directional information affects the results of the previous quantum-spacetime-inspired analyses. We find that there is now no evidence for neutrinos sped up by quantum-spacetime properties, whereas the evidence for neutrinos slowed down by quantum spacetime is even stronger than previously found. Our most conservative estimates find a false alarm probability of less than 1% for these "slow neutrinos", providing motivation for future studies on larger data samples.


title: Deep Learning Based Detection of Enlarged Perivascular Spaces on Brain MRI

abstract: BACKGROUND AND PURPOSE: Deep learning has been demonstrated effective in many neuroimaging applications. However, in many scenarios, the number of imaging sequences capturing information related to small vessel disease lesions is insufficient to support data-driven techniques. Additionally, cohort-based studies may not always have the optimal or essential imaging sequences for accurate lesion detection. Therefore, it is necessary to determine which imaging sequences are crucial for precise detection. This study introduces a novel deep learning framework to detect enlarged perivascular spaces (ePVS) and aims to find the optimal combination of MRI sequences for deep learning-based quantification. MATERIALS AND METHODS: We implemented an effective lightweight U-Net adapted for ePVS detection and comprehensively investigated different combinations of information from SWI, FLAIR, T1-weighted (T1w), and T2-weighted (T2w) MRI sequences. The training data included 21 participants, which were randomly selected from the MESA cohort. Participants had ePVS 683 lesions on average. For T1w, T2w, and FLAIR images, the MESA study collected 3D isotropic MRI scans at six different sites with Siemens scanners. Our training data included participants from all these sites and all the scanner models, and the proposed model was applied to the whole brain instead of selective regions. RESULTS: The experimental results showed that T2w MRI is the most important for accurate ePVS detection, and the incorporation of SWI, FLAIR and T1w MRI in the deep neural network had minor improvements in accuracy and resulted in the highest sensitivity and precision (sensitivity =0.82, precision =0.83). The proposed method achieved comparable accuracy at a minimal time cost compared to manual reading.


title: A note on geography of bilinearized Legendrian contact homology for disconnected Legendrian submanifolds

abstract: In this short note, we provide a criterion for DGA-homotopy of augmentations of Chekanov-Eliashberg algebra of disconnected Legendrian submanifolds. We apply the criterion to obtain the extension of geography results of Bourgeois and Galant concerning bilinearized Legendrian contact homology to the case of disconnected Legendrian submanifolds.


title: The Neoplasia as embryological phenomenon and its implication in the animal evolution and the origin of cancer. II. The neoplastic process as an evolutionary engine

abstract: In this article, I put forward the idea that the neoplastic process (NP) has deep evolutionary roots and make specific predictions about the connection between cancer and the formation of the first embryo, which allowed for the evolutionary radiation of metazoans. My main hypothesis is that the NP is at the heart of cellular mechanisms responsible for animal morphogenesis and, given its embryological basis, also at the center of animal evolution. It is thus understood that NP-associated mechanisms are deeply rooted in evolutionary history and tied to the formation of the first animal embryo. In my consideration of these arguments, I expound on how cancer biology is perfectly intertwined with evolutionary biology. I describe essential cellular components of unicellular holozoans that served as a basis for the formation of the neoplastic functional module (NFM) and its subsequent exaptation, which brought forth two great biophysical revolutions within the first embryo. Finally, I examine the role of Physics in the modeling of the NFM and its contribution to morphogenesis to reveal the totipotency of the zygote.


title: Albedo variegation on Comet 67P/Churyumov-Gerasimenko

abstract: We here study the level of albedo variegation on the nucleus of Comet 67P/Churyumov-Gerasimenko. This is done by fitting the parameters of a standard photometric phase function model to disk-average radiance factor data in images acquired by the Rosetta/OSIRIS Narrow Angle Camera in the orange filter. Local discrepancies between the observed radiance factor and the disk-average solution are interpreted as a proxy W of the local single-scattering albedo. We find a wide range 0.02<W<0.09 around an average of W=0.055. The observed albedo variegation is strongly correlated with nucleus morphology - smooth terrain is brighter, and consolidated terrain is darker, than average. Furthermore, we find that smooth terrain darken prior to morphological changes, and that stratigraphically low terrain (with respect to the centre of each nucleus lobe) is brighter than stratigraphically high terrain. We propose that the observed albedo variegation is due to differences in porosity and the coherent effect: compaction causes small brighter particles to act collectively as larger optically effective particles, that are darker. Accordingly, we consider the dark consolidated terrain materials more compacted than smooth terrain materials, and darkening of the latter is due to subsidence.


title: Software science view on quantum circuit algorithms

abstract: We show that, on the abstraction level of quantum circuit diagrams, quantum circuit algorithms belong to the species of interactive sequential algorithms that we studied in earlier work. This observation leads to a natural specification language for quantum circuit algorithms.


title: Boosting Quantum Fidelity with an Ordered Diverse Ensemble of Clifford Canary Circuits

abstract: On today's noisy imperfect quantum devices, execution fidelity tends to collapse dramatically for most applications beyond a handful of qubits. It is therefore imperative to employ novel techniques that can boost quantum fidelity in new ways. This paper aims to boost quantum fidelity with Clifford canary circuits by proposing Quancorde: Quantum Canary Ordered Diverse Ensembles, a fundamentally new approach to identifying the correct outcomes of extremely low-fidelity quantum applications. It is based on the key idea of diversity in quantum devices - variations in noise sources, make each (portion of a) device unique, and therefore, their impact on an application's fidelity, also unique. Quancorde utilizes Clifford canary circuits (which are classically simulable, but also resemble the target application structure and thus suffer similar structural noise impact) to order a diverse ensemble of devices or qubits/mappings approximately along the direction of increasing fidelity of the target application. Quancorde then estimates the correlation of the ensemble-wide probabilities of each output string of the application, with the canary ensemble ordering, and uses this correlation to weight the application's noisy probability distribution. The correct application outcomes are expected to have higher correlation with the canary ensemble order, and thus their probabilities are boosted in this process. Doing so, Quancorde improves the fidelity of evaluated quantum applications by a mean of 8.9x/4.2x (wrt. different baselines) and up to a maximum of 34x.


title: Stochastic Control of a SIR Model with Non-linear Incidence Rate Through Euclidean Path Integral

abstract: This paper utilizes a stochastic Susceptible-Infected-recovered (SIR) model with a non-linear incidence rate to perform a detailed mathematical study of optimal lock-down intensity and vaccination rate under the COVID-19 pandemic environment. We use a Feynman-type path integral control approach to determine a Fokker-Plank type equation of this system. Since we assume the availability of information on the COVID-19 pandemic is complete and perfect, we can show a unique fixed point. A non-linear incidence rate is used because, it can be raised from saturation effects that if the proportion of infected agents is very high so that exposure to the pandemic is inevitable, then the transmission rate responds slower than linearity to the increase in the number of infections. The simulation study shows that with higher diffusion coefficients susceptible and recovery curves keep the downward trends while the infection curve becomes ergodic. Finally, we perform a data analysis using UK data at the beginning of 2021 and compare it with our theoretical results.


title: An iterative OLA method for inversion of solar spectropolarimetric data: I. Single and multiple variable inversions of thermodynamic quantities

abstract: This paper describes an adaptation of the Optimal Localized Averaging (OLA) inversion technique, originally developed for geo- and helioseismological applications, to the interpretation of solar spectroscopic data. It focuses on inverting the thermodynamical properties of the solar atmosphere assuming that the atmosphere and radiation field are in Local Thermodynamic Equilibrium (LTE). We leave inversions for magnetic field and non-LTE inversions for future work. The advantage with the OLA method is that it computes solutions that are optimally resolved (in depth) with minimal cross-talk error between variables. Additionally, the method allows for direct assessment of the vertical resolution of the inverted solutions. The primary challenges faced when adapting the method to spectroscopic inversions originate with the possible large amplitude differences between the atmospheric model used to initiate the inversion and the underlying atmosphere it aims to recover, necessitating the development of an iterative scheme. Here we describe the iterative OLA method we have developed for both single and multi-variable inversions and demonstrate its performance on simulated data and synthesized spectra. We note that when carrying out multi-variable inversions, employing response function amplification factors can address the inherent spectral-sensitivity bias that makes it hard to invert for less spectrally-sensitive variables. The OLA method can, in most cases, reliably invert as well as or better than the frequently employed Stokes Inversion based on Response functions (SIR) scheme, however some difficulties remain. In particular, the method struggles to recover large-scale offsets in the atmospheric stratification. We propose future strategies to improve this aspect.


title: Carbon-based single photon emitters in hexagonal boron nitride with triplet ground state

abstract: Most single photon emitters in hexagonal boron nitride has been identified as carbon-based defects. These defects, when forming a donor-acceptor pair have spin $S\leq \frac{1}{2}$. By means of density functional calculations, we show that two non-adjacent carbon substitutional defects of the same type (i.e. C$_\mathrm{B}$-C$_\mathrm{B}$, and C$_\mathrm{N}$-C$_\mathrm{N}$), can have a triplet ground state. In particular, one of such defects has a zero phonon line energy of 2.5 eV, and its triplet state is nearly 0.5 eV more stable than its singlet.


title: An Effective, Performant Named Entity Recognition System for Noisy Business Telephone Conversation Transcripts

abstract: We present a simple yet effective method to train a named entity recognition (NER) model that operates on business telephone conversation transcripts that contain noise due to the nature of spoken conversation and artifacts of automatic speech recognition. We first fine-tune LUKE, a state-of-the-art Named Entity Recognition (NER) model, on a limited amount of transcripts, then use it as the teacher model to teach a smaller DistilBERT-based student model using a large amount of weakly labeled data and a small amount of human-annotated data. The model achieves high accuracy while also satisfying the practical constraints for inclusion in a commercial telephony product: realtime performance when deployed on cost-effective CPUs rather than GPUs.


title: Follow The Rules: Online Signal Temporal Logic Tree Search for Guided Imitation Learning in Stochastic Domains

abstract: Seamlessly integrating rules in Learning-from-Demonstrations (LfD) policies is a critical requirement to enable the real-world deployment of AI agents. Recently, Signal Temporal Logic (STL) has been shown to be an effective language for encoding rules as spatio-temporal constraints. This work uses Monte Carlo Tree Search (MCTS) as a means of integrating STL specification into a vanilla LfD policy to improve constraint satisfaction. We propose augmenting the MCTS heuristic with STL robustness values to bias the tree search towards branches with higher constraint satisfaction. While the domain-independent method can be applied to integrate STL rules online into any pre-trained LfD algorithm, we choose goal-conditioned Generative Adversarial Imitation Learning as the offline LfD policy. We apply the proposed method to the domain of planning trajectories for General Aviation aircraft around a non-towered airfield. Results using the simulator trained on real-world data showcase 60% improved performance over baseline LfD methods that do not use STL heuristics.


title: mRobust04: A Multilingual Version of the TREC Robust 2004 Benchmark

abstract: Robust 2004 is an information retrieval benchmark whose large number of judgments per query make it a reliable evaluation dataset. In this paper, we present mRobust04, a multilingual version of Robust04 that was translated to 8 languages using Google Translate. We also provide results of three different multilingual retrievers on this dataset. The dataset is available at https://huggingface.co/datasets/unicamp-dl/mrobust


title: Emulating Human Kinematic Behavior on Lower-Limb Prostheses via Multi-Contact Models and Force-Based Nonlinear Control

abstract: Ankle push-off largely contributes to limb energy generation in human walking, leading to smoother and more efficient locomotion. Providing this net positive work to an amputee requires an active prosthesis, but has the potential to enable more natural assisted locomotion. To this end, this paper uses multi-contact models of locomotion together with force-based nonlinear optimization-based controllers to achieve human-like kinematic behavior, including ankle push-off, on a powered transfemoral prosthesis for 2 subjects. In particular, we leverage model-based control approaches for dynamic bipedal robotic walking to develop a systematic method to realize human-like walking on a powered prosthesis that does not require subject-specific tuning. We begin by synthesizing an optimization problem that yields gaits that resemble human joint trajectories at a kinematic level, and realize these gaits on a prosthesis through a control Lyapunov function based nonlinear controller that responds to real-time ground reaction forces and interaction forces with the human. The proposed controller is implemented on a prosthesis for two subjects without tuning between subjects, emulating subject-specific human kinematic trends on the prosthesis joints. These experimental results demonstrate that our force-based nonlinear control approach achieves better tracking of human kinematic trajectories than traditional methods.


title: Towards Regression-Free Neural Networks for Diverse Compute Platforms

abstract: With the shift towards on-device deep learning, ensuring a consistent behavior of an AI service across diverse compute platforms becomes tremendously important. Our work tackles the emergent problem of reducing predictive inconsistencies arising as negative flips: test samples that are correctly predicted by a less accurate model, but incorrectly by a more accurate one. We introduce REGression constrained Neural Architecture Search (REG-NAS) to design a family of highly accurate models that engender fewer negative flips. REG-NAS consists of two components: (1) A novel architecture constraint that enables a larger model to contain all the weights of the smaller one thus maximizing weight sharing. This idea stems from our observation that larger weight sharing among networks leads to similar sample-wise predictions and results in fewer negative flips; (2) A novel search reward that incorporates both Top-1 accuracy and negative flips in the architecture search metric. We demonstrate that \regnas can successfully find desirable architectures with few negative flips in three popular architecture search spaces. Compared to the existing state-of-the-art approach, REG-NAS enables 33-48% relative reduction of negative flips.


title: A method to explore flavor symmetries of the 3HDM and their implications on lepton masses and mixing

abstract: We present a method to identify symmetry groups of the Yukawa sector of the three-Higgs-doublet model and to determine the implication that the symmetry has on the lepton masses and mixing. The method can accommodate different hypotheses about the group representation assignments, and thus support the exploration of candidate symmetry groups. For one particular representation selection scheme we apply the computer-implemented method to scan all discrete groups of order less than 1035. It can be proven that none of these groups defines a flavor symmetry that implies masses and neutrino mixing angles consistent with the experimental lepton data, although several cases are found that are partially or approximately consistent.


title: Optimization-Based Mechanical Perception for Peduncle Localization During Robotic Fruit Harvest

abstract: Rising global food demand and harsh working conditions make fruit harvest an important domain to automate. Peduncle localization is an important step for any automated fruit harvesting system, since fruit separation techniques are highly sensitive to peduncle location. Most work on peduncle localization has focused on computer vision, but peduncles can be difficult to visually access due to the cluttered nature of agricultural environments. Our work proposes an alternative method which relies on mechanical -- rather than visual -- perception to localize the peduncle. To estimate the location of this important plant feature, we fit wrench measurements from a wrist force/torque sensor to a physical model of the fruit-plant system, treating the fruit's attachment point as a parameter to be tuned. This method is performed inline as part of the fruit picking procedure. Using our orchard proxy for evaluation, we demonstrate that the technique is able to localize the peduncle within a median distance of 3.8 cm and median orientation error of 16.8 degrees.


title: D2D Multi-hop Energy Efficiency Toward EMS in B5G

abstract: Beyond fifth generation (B5G), communication has attracted much attention from academia, industry, and mobile network operators due to network densification, ultra-low latency communication, and enhanced energy and spectrum efficiency. However, a post-disaster emergency management system (EMS), which increasingly relies heavily on wireless communication infrastructure, is falling far behind in innovation and funding. Because the B5G concept represents a telecommunications industry revolution, EMS provisioning is intended to be dispersed, autonomous, and robust to network weaknesses caused by human and natural calamities. When the network is congested, partially functioning, or entirely isolated, we provide multi-device-to-device (D2D) communication to extend the communication coverage area with improved energy efficiency. Furthermore, we examine D2D multi-hop energy efficiency performance in the proposed network. The results demonstrate that the improved D2D multi-hop energy efficiency can improve the EMS effectively and efficiently in extending the coverage area and enhancing energy efficiency. Moreover, the proposed approach has been proven to increase energy efficiency, which acts as a suitable network design to recover from natural disasters and potentially save many lives


title: Tunable Exciton-Hybridized Magnon Interactions in a Layered Semiconductor

abstract: The interaction between distinct excitations in solids is of both fundamental interest and technological importance. One example of such interactions is coupling between an exciton, a Coulomb bound electron-hole pair, and a magnon, a collective spin excitation. The recent emergence of van der Waals magnetic semiconductors provides a powerful platform for exploring these exciton-magnon interactions and their fundamental properties, such as strong correlation, as well as their photo-spintronic and quantum transduction applications. Here we demonstrate precise control of coherent exciton-magnon interactions in the layered magnetic semiconductor CrSBr. We show that by controlling the direction of applied magnetic fields relative to the crystal axes, and thus the rotational symmetry of the magnetic system, we can tune not only the exciton coupling to the bright magnon, but also to an optically dark mode via magnon hybridization. The exciton-magnon coupling and associated magnon dispersion curves can be further modulated by applying a uniaxial strain. At the critical strain, a dispersionless dark magnon band emerges. Our results demonstrate unprecedented control of the opto-mechanical-magnonic coupling, and a step towards the predictable and controllable implementation of hybrid quantum magnonics.


title: Frustrated superconductivity and sextetting order

abstract: The superconducting state typically favors a uniform spatial distribution akin to ferromagnetism. Nevertheless, the pair-density-wave state exhibits sign changes in the pairing order, leading to potential frustrations in phase coherence.We propose a mechanism to the sextetting order stemming from the frustrations in the phase coherence of a pair-density-wave state, whose spatial modulation manifests a vortex-antivortex honeycomb lattice. The classical ground state configurations are mapped to Baxter's three-coloring model, revealing a macroscopic degeneracy accompanied by extensive entropy. The phase coherence problem intertwines the U(1) phases and the vorticity variables. While the resultant color and phase fluctuations suppress the pair-density-wave order, they maintain the sextetting order above the superconducting transition temperature ($T_{\text{c}}$). The $1/3$-fractional vortex emerges as the fundamental topological defect in the sextetting order. This novel mechanism of frustrated superconductivity provides an alternative explanation for the experimental observed fractional oscillations in CsV$_3$Sb$_5$.


title: Neutrino Geoscience: Review, survey, future prospects

abstract: The earth's surface heat flux is 46$\pm$3 TW (terrawatts, 10$^{12}$ watts). Although many assume we know the earth's abundance and distribution of radioactive heat producing elements (i.e., U, Th, and K), estimates for the mantle's heat production varying by an order of magnitude and recent particle physics findings challenge our dominant paradigm. Geologists predict the earth's budget of radiogenic power at 20$\pm$10 TW, whereas particle physics experiments predict 15.3$^{+4.9}_{-4.9}$ TW (KamLAND, Japan) and 38.2$^{+13.6}_{-12.7}$ TW (Borexino, Italy). We welcome this opportunity to highlight the fundamentally important resource offered by the physics community and call attention to the shortcomings associated with the characterization of the geology of the earth. We review the findings from continent-based, physics experiments, the predictions from geology, and assess the degree of misfit between the physics measurements and predicted models of the continental lithosphere and underlying mantle. Because our knowledge of the continents is somewhat uncertain (7.1$^{+2.1}_{-1.6}$ TW), models for the radiogenic power in the mantle (3.5 to 32 TW) and the bulk silicate earth (crust plus mantle) continue to be uncertain by a factor of $\sim$10 and $\sim$4, respectively. Detection of a geoneutrino signal in the ocean, far from the influence of continents, offers the potential to resolve this tension. Neutrino geoscience is a powerful new tool to interrogate the composition of the continental crust and mantle and its structures.


title: Strong Alignment of Micro-rotation and Vorticity in 3D Micropolar Flows

abstract: Rigid particles suspended on a micropolar fluid provide microstructure that coexists and interacts with the local rotation of the fluid given by the vorticity. In this work we prove that the particles' angular velocity and the vorticity strongly align for large times. We provide average and supnorm estimates for the decay rate of the difference between these two vectors, which measures the alignment.


title: Conglomerate Multi-Fidelity Gaussian Process Modeling, with Application to Heavy-Ion Collisions

abstract: In an era where scientific experimentation is often costly, multi-fidelity emulation provides a powerful tool for predictive scientific computing. While there has been notable work on multi-fidelity modeling, existing models do not incorporate an important "conglomerate" property of multi-fidelity simulators, where the accuracies of different simulator components are controlled by different fidelity parameters. Such conglomerate simulators are widely encountered in complex nuclear physics and astrophysics applications. We thus propose a new CONglomerate multi-FIdelity Gaussian process (CONFIG) model, which embeds this conglomerate structure within a novel non-stationary covariance function. We show that the proposed CONFIG model can capture prior knowledge on the numerical convergence of conglomerate simulators, which allows for cost-efficient emulation of multi-fidelity systems. We demonstrate the improved predictive performance of CONFIG over state-of-the-art models in a suite of numerical experiments and two applications, the first for emulation of cantilever beam deflection and the second for emulating the evolution of the quark-gluon plasma, which was theorized to have filled the Universe shortly after the Big Bang.


title: Inspiral gravitational waveforms from compact binary systems in Horndeski gravity

abstract: In a subclass of Horndeski theories with the speed of gravity equivalent to that of light, we study gravitational radiation emitted during the inspiral phase of compact binary systems. We compute the waveform of scalar perturbations under a post-Newtonian expansion of energy-momentum tensors of point-like particles that depend on a scalar field. This scalar mode not only gives rise to breathing and longitudinal polarizations of gravitational waves, but it is also responsible for scalar gravitational radiation in addition to energy loss associated with transverse and traceless tensor polarizations. We calculate the Fourier-transformed gravitational waveform of two tensor polarizations under a stationary phase approximation and show that the resulting waveform reduces to the one in a parametrized post-Einsteinian (ppE) formalism. The ppE parameters are directly related to a scalar charge in the Einstein frame, whose existence is crucial to allow the deviation from General Relativity (GR). We apply our general framework to several concrete theories and show that a new theory of spontaneous scalarization with a higher-order scalar kinetic term leaves interesting deviations from GR that can be probed by the observations of gravitational waves emitted from neutron star-black hole binaries. If the scalar mass exceeds the order of typical orbital frequencies $\omega \simeq 10^{-13}$~eV, which is the case for a recently proposed scalarized neutron star with a self-interacting potential, the gravitational waveform practically reduces to that in GR.


title: RuDSI: graph-based word sense induction dataset for Russian

abstract: We present RuDSI, a new benchmark for word sense induction (WSI) in Russian. The dataset was created using manual annotation and semi-automatic clustering of Word Usage Graphs (WUGs). Unlike prior WSI datasets for Russian, RuDSI is completely data-driven (based on texts from Russian National Corpus), with no external word senses imposed on annotators. Depending on the parameters of graph clustering, different derivative datasets can be produced from raw annotation. We report the performance that several baseline WSI methods obtain on RuDSI and discuss possibilities for improving these scores.


title: New Window on Matter-Antimatter Differences

abstract: Recent measurements of $CP$-related comparisons of the weak-interaction parameters that describe the decays of the $\Xi^-$ and the $\bar{\Xi}^+$ doubly strange hyperon and antihyperon are reviewed and their significance is discussed.


title: Critical Exponents of Master-Node Network Model

abstract: The dynamics of competing opinions in social network play an important role in society, with many applications in diverse social contexts as consensus, elections, morality and so on. Here we study a model of interacting agents connected in networks to analyze their decision stochastic process. We consider a first-neighbor interaction between agents in a one-dimensional network with a shape of ring topology. Moreover, some agents are also connected to a hub, or master node, that has preferential choice or bias. Such connections are quenched. As the main results, we observed a continuous non-equilibrium phase transition to an absorbing state as a function of control parameters. By using the finite size scaling method, we analyzed the static and dynamic critical exponents to show that this model probably cannot match any universality class already known.


title: Light-Front Holography Model of the EMC Effect

abstract: A new two-component model of the EMC effect based on Light-Front Holographic QCD (LFHQCD) is presented. The model suggests the EMC effect is the result of the nuclear potential breaking SU(6) symmetry. The model separates the $F_2^A$ nuclear structure function into two parts: a free contribution, involving the addition of proton and neutron structure functions weighted by the number of protons and neutrons respectively, and a nuclear/medium modified contribution that involves a universal function for all nuceli. Further, the model displays a connection with the correlation between the size of the EMC effect and the SRC pair density, $a_2$ - extracted from kinematic plateaus at around $x$ > 1 in inclusive quasi-elastic (QE) scattering.


title: THz detection and amplification using plasmonic Field Effect Transistors driven by DC drain currents

abstract: We report on the numerical and theoretical results of sub-THz and THz detection by a current-driven InGaAs/GaAs plasmonic Field-Effect Transistor (TeraFET). New equations are developed to account for the channel length dependence of the drain voltage and saturation current. Numerical simulation results demonstrate that the effect of drain bias current on the source-to-drain response voltage (dU) varies with the device channel length. In a long-channel TeraFET where plasmonic oscillations cannot reach the drain, dU is always positive and rises rapidly with increasing drain current. For a short device in which plasmonic oscillations reach the drain, the current-induced nonuniform electric field leads to a negative response, agreeing with previous observations. At negative dU, the amplitude of the small-signal voltage at the drain side becomes larger than that at the source side. Thus, the device effectively serves as a THz amplifier in this condition. Under the resonant mode, the negative response can be further amplified near the resonant peaks. A new expression of dU is proposed to account for this resonant effect. Based on those expressions, a current-driven TeraFET spectrometer is proposed. The ease of implementation and simplified calibration procedures make it competitive or superior compared with other TeraFET-based spectrometers.


title: One-loop calculations for $H\rightarrow f\bar{f}\gamma$ in the $U(1)_{B-L}$ extension for Standard Model

abstract: In this paper, we present the calculations for $H\rightarrow f\bar{f}\gamma$ in the $U(1)_{B-L}$ extension for Standard Model. Analytic results for one-loop form factors in the decay process are expressed in terms of the scalar one-loop Passarino$-$Veltman functions in the conventions of {\tt LoopTools}. Therefore, the decay rates can be evaluated numerically by using this package. In phenomenological results, we show the differential decay rates with respect to invariant mass of fermion pair $m_{ff}$, new neutral gauge mass $M_{Z'}$ and the coupling $g'$ of $U(1)_{B-L}$ gauge group. We find that the contributions of the $U(1)_{B-L}$ extension for Standard Model are visible effects and they must be taken into account at future colliders.


title: MTU-Net: Multi-level TransUNet for Space-based Infrared Tiny Ship Detection

abstract: Space-based infrared tiny ship detection aims at separating tiny ships from the images captured by earth orbiting satellites. Due to the extremely large image coverage area (e.g., thousands square kilometers), candidate targets in these images are much smaller, dimer, more changeable than those targets observed by aerial-based and land-based imaging devices. Existing short imaging distance-based infrared datasets and target detection methods cannot be well adopted to the space-based surveillance task. To address these problems, we develop a space-based infrared tiny ship detection dataset (namely, NUDT-SIRST-Sea) with 48 space-based infrared images and 17598 pixel-level tiny ship annotations. Each image covers about 10000 square kilometers of area with 10000X10000 pixels. Considering the extreme characteristics (e.g., small, dim, changeable) of those tiny ships in such challenging scenes, we propose a multi-level TransUNet (MTU-Net) in this paper. Specifically, we design a Vision Transformer (ViT) Convolutional Neural Network (CNN) hybrid encoder to extract multi-level features. Local feature maps are first extracted by several convolution layers and then fed into the multi-level feature extraction module (MVTM) to capture long-distance dependency. We further propose a copy-rotate-resize-paste (CRRP) data augmentation approach to accelerate the training phase, which effectively alleviates the issue of sample imbalance between targets and background. Besides, we design a FocalIoU loss to achieve both target localization and shape description. Experimental results on the NUDT-SIRST-Sea dataset show that our MTU-Net outperforms traditional and existing deep learning based SIRST methods in terms of probability of detection, false alarm rate and intersection over union.


title: Fuzzy Dark Matter as a Solution to Reconcile the Stellar Mass Density of High-z Massive Galaxies and Reionization History

abstract: The JWST early release data show unexpected high stellar mass densities of massive galaxies at $7<z<11$, a high star formation efficiency is probably needed to explain this. However, such a high star formation efficiency would greatly increase the number of ionizing photons, which would be in serious conflict with the current cosmic microwave background (CMB) and other measurements of cosmic reionization history. To solve this problem, we explore the fuzzy dark matter (FDM), which is composed of ultra-light scalar particles, e.g. ultra-light axions, and calculate its halo mass function and stellar mass density for different axion masses. We find that the FDM model with $m_a\simeq 5\times10^{-23} \rm eV$ and a possible uncertainty range $\sim3\times10^{-23}-10^{-22}\, \rm eV$ can effectively suppress the formation of small halos and galaxies, so that with higher star formation efficiency, both the JWST data at $z\sim8$ and the reionization history measurements from the optical depth of CMB scattering and ionization fraction can be simultaneously matched. We also find that the JWST data at $z\sim10$ are still too high to fit in this scenario. We note that the estimated mean redshift of the sample may have large uncertainty, that it can be as low as $z\sim9$ depending on adopted spectral energy distribution (SED) templates and photometric-redshift code. Besides, the warm dark matter with $\sim$keV mass can also be an alternative choice, since it should have similar effects on halo formation as the FDM.


title: Cubic bipartite graphs with minimum spectral gap

abstract: The difference between the two largest eigenvalues of the adjacency matrix of a graph $G$ is called the spectral gap of $G.$ If $G$ is a regular graph, then its spectral gap is equal to algebraic connectivity. Abdi, Ghorbani and Imrich, in [European J. Combin. 95 (2021) 103328], showed that the minimum algebraic connectivity of cubic connected graphs on $2n$ vertices is $(1+o(1))\frac{\pi^{2}}{2n^{2}}$, which is attained on non-bipartite graphs. Motivated by the above result, we in this paper investigate the algebraic connectivity of cubic bipartite graphs. We prove that the minimum algebraic connectivity of cubic bipartite graphs on $2n$ vertices is $(1+o(1))\frac{\pi^{2}}{n^{2}}$. Moreover, the unique cubic bipartite graph with minimum algebraic connectivity is completed characterized. Based on the relation between the algebraic connectivity and spectral gap of regular graphs, the cubic bipartite graph with minimum spectral gap and the corresponding asymptotic value are also presented. In [J. Graph Theory 99 (2022) 671--690], Horak and Kim established a sharp upper bound for the number of perfect matchings in terms of the Fibonacci number. We obtain a spectral characterization for the extremal graphs by showing that a cubic bipartite graph has the maximum number of perfect matchings if and only if it minimizes the algebraic connectivity.


title: Structured Summarization: Unified Text Segmentation and Segment Labeling as a Generation Task

abstract: Text segmentation aims to divide text into contiguous, semantically coherent segments, while segment labeling deals with producing labels for each segment. Past work has shown success in tackling segmentation and labeling for documents and conversations. This has been possible with a combination of task-specific pipelines, supervised and unsupervised learning objectives. In this work, we propose a single encoder-decoder neural network that can handle long documents and conversations, trained simultaneously for both segmentation and segment labeling using only standard supervision. We successfully show a way to solve the combined task as a pure generation task, which we refer to as structured summarization. We apply the same technique to both document and conversational data, and we show state of the art performance across datasets for both segmentation and labeling, under both high- and low-resource settings. Our results establish a strong case for considering text segmentation and segment labeling as a whole, and moving towards general-purpose techniques that don't depend on domain expertise or task-specific components.


title: MultiRoboLearn: An open-source Framework for Multi-robot Deep Reinforcement Learning

abstract: It is well known that it is difficult to have a reliable and robust framework to link multi-agent deep reinforcement learning algorithms with practical multi-robot applications. To fill this gap, we propose and build an open-source framework for multi-robot systems called MultiRoboLearn1. This framework builds a unified setup of simulation and real-world applications. It aims to provide standard, easy-to-use simulated scenarios that can also be easily deployed to real-world multi-robot environments. Also, the framework provides researchers with a benchmark system for comparing the performance of different reinforcement learning algorithms. We demonstrate the generality, scalability, and capability of the framework with two real-world scenarios2 using different types of multi-agent deep reinforcement learning algorithms in discrete and continuous action spaces.


title: Image Compressed Sensing with Multi-scale Dilated Convolutional Neural Network

abstract: Deep Learning (DL) based Compressed Sensing (CS) has been applied for better performance of image reconstruction than traditional CS methods. However, most existing DL methods utilize the block-by-block measurement and each measurement block is restored separately, which introduces harmful blocking effects for reconstruction. Furthermore, the neuronal receptive fields of those methods are designed to be the same size in each layer, which can only collect single-scale spatial information and has a negative impact on the reconstruction process. This paper proposes a novel framework named Multi-scale Dilated Convolution Neural Network (MsDCNN) for CS measurement and reconstruction. During the measurement period, we directly obtain all measurements from a trained measurement network, which employs fully convolutional structures and is jointly trained with the reconstruction network from the input image. It needn't be cut into blocks, which effectively avoids the block effect. During the reconstruction period, we propose the Multi-scale Feature Extraction (MFE) architecture to imitate the human visual system to capture multi-scale features from the same feature map, which enhances the image feature extraction ability of the framework and improves the performance of image reconstruction. In the MFE, there are multiple parallel convolution channels to obtain multi-scale feature information. Then the multi-scale features information is fused and the original image is reconstructed with high quality. Our experimental results show that the proposed method performs favorably against the state-of-the-art methods in terms of PSNR and SSIM.


title: Consensus Knowledge Graph Learning via Multi-view Sparse Low Rank Block Model

abstract: Network analysis has been a powerful tool to unveil relationships and interactions among a large number of objects. Yet its effectiveness in accurately identifying important node-node interactions is challenged by the rapidly growing network size, with data being collected at an unprecedented granularity and scale. Common wisdom to overcome such high dimensionality is collapsing nodes into smaller groups and conducting connectivity analysis on the group level. Dividing efforts into two phases inevitably opens a gap in consistency and drives down efficiency. Consensus learning emerges as a new normal for common knowledge discovery with multiple data sources available. To this end, this paper features developing a unified framework of simultaneous grouping and connectivity analysis by combining multiple data sources. The algorithm also guarantees a statistically optimal estimator.


title: Clustering-Induced Generative Incomplete Image-Text Clustering (CIGIT-C)

abstract: The target of image-text clustering (ITC) is to find correct clusters by integrating complementary and consistent information of multi-modalities for these heterogeneous samples. However, the majority of current studies analyse ITC on the ideal premise that the samples in every modality are complete. This presumption, however, is not always valid in real-world situations. The missing data issue degenerates the image-text feature learning performance and will finally affect the generalization abilities in ITC tasks. Although a series of methods have been proposed to address this incomplete image text clustering issue (IITC), the following problems still exist: 1) most existing methods hardly consider the distinct gap between heterogeneous feature domains. 2) For missing data, the representations generated by existing methods are rarely guaranteed to suit clustering tasks. 3) Existing methods do not tap into the latent connections both inter and intra modalities. In this paper, we propose a Clustering-Induced Generative Incomplete Image-Text Clustering(CIGIT-C) network to address the challenges above. More specifically, we first use modality-specific encoders to map original features to more distinctive subspaces. The latent connections between intra and inter-modalities are thoroughly explored by using the adversarial generating network to produce one modality conditional on the other modality. Finally, we update the corresponding modalityspecific encoders using two KL divergence losses. Experiment results on public image-text datasets demonstrated that the suggested method outperforms and is more effective in the IITC job.


title: Mr. Right: Multimodal Retrieval on Representation of ImaGe witH Text

abstract: Multimodal learning is a recent challenge that extends unimodal learning by generalizing its domain to diverse modalities, such as texts, images, or speech. This extension requires models to process and relate information from multiple modalities. In Information Retrieval, traditional retrieval tasks focus on the similarity between unimodal documents and queries, while image-text retrieval hypothesizes that most texts contain the scene context from images. This separation has ignored that real-world queries may involve text content, image captions, or both. To address this, we introduce Multimodal Retrieval on Representation of ImaGe witH Text (Mr. Right), a novel and comprehensive dataset for multimodal retrieval. We utilize the Wikipedia dataset with rich text-image examples and generate three types of text-based queries with different modality information: text-related, image-related, and mixed. To validate the effectiveness of our dataset, we provide a multimodal training paradigm and evaluate previous text retrieval and image retrieval frameworks. The results show that proposed multimodal retrieval can improve retrieval performance, but creating a well-unified document representation with texts and images is still a challenge. We hope Mr. Right allows us to broaden current retrieval systems better and contributes to accelerating the advancement of multimodal learning in the Information Retrieval.


title: The role of magnetic fields in the formation of protostars, disks, and outflows

abstract: We present our current understanding of the formation and early evolution of protostars, protoplanetary disks, and the driving of outflows as dictated by the interplay of magnetic fields and partially ionized gas in molecular cloud cores. In recent years, the field has witnessed enormous development through sub-millimeter observations which in turn have constrained models of protostar formation. As a result of these observations % that the observations provided, the state-of-the-art theoretical understanding of the formation and evolution of young stellar objects is described. In particular, we emphasize the importance of the coupling, decoupling, and re-coupling between weakly ionized gas and the magnetic field on appropriate scales. This highlights the complex and intimate relationship between gravitational collapse and magnetic fields in young protostars.