title: CoNMix for Source-free Single and Multi-target Domain Adaptation

abstract: This work introduces the novel task of Source-free Multi-target Domain Adaptation and proposes adaptation framework comprising of \textbf{Co}nsistency with \textbf{N}uclear-Norm Maximization and \textbf{Mix}Up knowledge distillation (\textit{CoNMix}) as a solution to this problem. The main motive of this work is to solve for Single and Multi target Domain Adaptation (SMTDA) for the source-free paradigm, which enforces a constraint where the labeled source data is not available during target adaptation due to various privacy-related restrictions on data sharing. The source-free approach leverages target pseudo labels, which can be noisy, to improve the target adaptation. We introduce consistency between label preserving augmentations and utilize pseudo label refinement methods to reduce noisy pseudo labels. Further, we propose novel MixUp Knowledge Distillation (MKD) for better generalization on multiple target domains using various source-free STDA models. We also show that the Vision Transformer (VT) backbone gives better feature representation with improved domain transferability and class discriminability. Our proposed framework achieves the state-of-the-art (SOTA) results in various paradigms of source-free STDA and MTDA settings on popular domain adaptation datasets like Office-Home, Office-Caltech, and DomainNet. Project Page: https://sites.google.com/view/conmix-vcl


title: The Need for Seed (in the abstract Tile Assembly Model)

abstract: In the abstract Tile Assembly Model (aTAM) square tiles self-assemble, autonomously binding via glues on their edges, to form structures. Algorithmic aTAM systems can be designed in which the patterns of tile attachments are forced to follow the execution of targeted algorithms. Such systems have been proven to be computationally universal as well as intrinsically universal (IU), a notion borrowed and adapted from cellular automata showing that a single tile set exists which is capable of simulating all aTAM systems (FOCS 2012). The input to an algorithmic aTAM system can be provided in a variety of ways, with a common method being via the "seed" assembly, which is a pre-formed assembly from which all growth propagates. In this paper we present a series of results which investigate the the trade-offs of using seeds consisting of a single tile, versus those containing multiple tiles. We show that arbitrary systems with multi-tile seeds cannot be converted to functionally equivalent systems with single-tile seeds without using a scale factor > 1. We prove tight bounds on the scale factor required, and also present a construction which uses a large scale factor but an optimal number of unique tile types. That construction is then used to develop a construction that performs simultaneous simulation of all aTAM systems in parallel, as well as to display a connection to other tile-based self-assembly models via the notion of intrinsic universality.


title: EEG-Fest: Few-shot based Attention Network for Driver's Vigilance Estimation with EEG Signals

abstract: A lack of driver's vigilance is the main cause of most vehicle crashes. Electroencephalography(EEG) has been reliable and efficient tool for drivers' drowsiness estimation. Even though previous studies have developed accurate and robust driver's vigilance detection algorithms, these methods are still facing challenges on following areas: (a) small sample size training, (b) anomaly signal detection, and (c) subject-independent classification. In this paper, we propose a generalized few-shot model, namely EEG-Fest, to improve aforementioned drawbacks. The EEG-Fest model can (a) classify the query sample's drowsiness with a few samples, (b) identify whether a query sample is anomaly signals or not, and (c) achieve subject independent classification. The proposed algorithm achieves state-of-the-art results on the SEED-VIG dataset and the SADT dataset. The accuracy of the drowsy class achieves 92% and 94% for 1-shot and 5-shot support samples in the SEED-VIG dataset, and 62% and 78% for 1-shot and 5-shot support samples in the SADT dataset.


title: Phase Transitions and Criticality in the Collective Behavior of Animals -- Self-organization and biological function

abstract: Collective behaviors exhibited by animal groups, such as fish schools, bird flocks, or insect swarms are fascinating examples of self-organization in biology. Concepts and methods from statistical physics have been used to argue theoretically about the potential consequences of collective effects in such living systems. In particular, it has been proposed that such collective systems should operate close to a phase transition, specifically a (pseudo-)critical point, in order to optimize their capability for collective computation. In this chapter, we will first review relevant phase transitions exhibited by animal collectives, pointing out the difficulties of applying concepts from statistical physics to biological systems. Then we will discuss the current state of research on the "criticality hypothesis", including methods for how to measure distance from criticality and specific functional consequences for animal groups operating near a phase transition. We will highlight the emerging view that de-emphasizes the optimality of being exactly at a critical point and instead explores the potential benefits of living systems being able to tune to an optimal distance from criticality. We will close by laying out future challenges for studying collective behavior at the interface of physics and biology.

categories: physics.bio-ph cond-mat.soft q-bio.PE q-bio.QM


title: NSNet: A General Neural Probabilistic Framework for Satisfiability Problems

abstract: We present the Neural Satisfiability Network (NSNet), a general neural framework that models satisfiability problems as probabilistic inference and meanwhile exhibits proper explainability. Inspired by the Belief Propagation (BP), NSNet uses a novel graph neural network (GNN) to parameterize BP in the latent space, where its hidden representations maintain the same probabilistic interpretation as BP. NSNet can be flexibly configured to solve both SAT and #SAT problems by applying different learning objectives. For SAT, instead of directly predicting a satisfying assignment, NSNet performs marginal inference among all satisfying solutions, which we empirically find is more feasible for neural networks to learn. With the estimated marginals, a satisfying assignment can be efficiently generated by rounding and executing a stochastic local search. For #SAT, NSNet performs approximate model counting by learning the Bethe approximation of the partition function. Our evaluations show that NSNet achieves competitive results in terms of inference accuracy and time efficiency on multiple SAT and #SAT datasets.


title: Ultrafast Image Retrieval from a Holographic Memory Disc for High-Speed Operation of a Shift, Scale, and Rotation Invariant Target Recognition System

abstract: The hybrid opto-electronic correlator (HOC) architecture has been shown to be able to detect matches in a shift, scale, and rotation invariant (SSRI) manner by incorporating a polar Mellin transform (PMT) pre-processing step. Here we demonstrate the design and use of a thick holographic memory disc (HMD) for high-speed SSRI correlation employing an HOC. The HMD was written to have 1,320 stored images, including both unprocessed images and their PMTs. We further propose and demonstrate a novel approach whereby the HOC inputs are spatially shifted to produce correlation signals without requiring stabilization of optical phases, yielding results that are in good agreement with the theory. Use of this approach vastly simplifies the design and operation of the HOC, while improving its stability significantly. Finally, a real-time opto-electronic PMT pre-processor utilizing an FPGA is proposed and prototyped, allowing for the automatic conversion of images into their PMTs without additional processing delay.


title: Latent Neural ODE for Integrating Multi-timescale measurements in Smart Distribution Grids

abstract: Under a smart grid paradigm, there has been an increase in sensor installations to enhance situational awareness. The measurements from these sensors can be leveraged for real-time monitoring, control, and protection. However, these measurements are typically irregularly sampled. These measurements may also be intermittent due to communication bandwidth limitations. To tackle this problem, this paper proposes a novel latent neural ordinary differential equations (LODE) approach to aggregate the unevenly sampled multivariate time-series measurements. The proposed approach is flexible in performing both imputations and predictions while being computationally efficient. Simulation results on IEEE 37 bus test systems illustrate the efficiency of the proposed approach.


title: Approximating Nash Social Welfare by Matching and Local Search

abstract: For any $\varepsilon>0$, we give a simple, deterministic $(4+\varepsilon)$-approximation algorithm for the Nash social welfare (NSW) problem under submodular valuations. The previous best approximation factor was $380$ via a randomized algorithm. We also consider the asymmetric variant of the problem, where the objective is to maximize the weighted geometric mean of agents' valuations, and give an $(\omega + 2 +\varepsilon) e$-approximation if the ratio between the largest weight and the average weight is at most $\omega$. We also show that the $1/2$-EFX envy-freeness property can be attained simultaneously with a constant-factor approximation. More precisely, we can find an allocation in polynomial time which is both $1/2$-EFX and a $(8+\varepsilon)$-approximation to the symmetric NSW problem under submodular valuations. The previous best approximation factor under $1/2$-EFX was linear in the number of agents.


title: Simulation results for a low energy nuclear recoil yields measurement in liquid xenon using the MiX detector

abstract: Measuring the scintillation and ionization yields of liquid xenon in response to ultra-low energy nuclear recoil events is necessary to increase the sensitivity of liquid xenon experiments to light dark matter. Neutron capture on xenon can be used to produce nuclear recoil events with energies below $0.3$ keV$_\text{NR}$ via the asymmetric emission of $\gamma$ rays during nuclear de-excitation. The feasibility of an ultra-low energy nuclear recoil measurement using neutron capture was investigated for the Michigan Xenon (MiX) detector, a small dual-phase xenon time projection chamber that is optimized for a high scintillation gain. Simulations of the MiX detector, a partial neutron moderator, and a pulsed neutron generator indicate that a population of neutron capture events can be isolated from neutron scattering events. Further, the rate of neutron captures in the MiX detector was optimized by varying the thickness of the partial neutron moderator, neutron pulse width, and neutron pulse frequency.


title: Learned Smartphone ISP on Mobile GPUs with Deep Learning, Mobile AI & AIM 2022 Challenge: Report

abstract: The role of mobile cameras increased dramatically over the past few years, leading to more and more research in automatic image quality enhancement and RAW photo processing. In this Mobile AI challenge, the target was to develop an efficient end-to-end AI-based image signal processing (ISP) pipeline replacing the standard mobile ISPs that can run on modern smartphone GPUs using TensorFlow Lite. The participants were provided with a large-scale Fujifilm UltraISP dataset consisting of thousands of paired photos captured with a normal mobile camera sensor and a professional 102MP medium-format FujiFilm GFX100 camera. The runtime of the resulting models was evaluated on the Snapdragon's 8 Gen 1 GPU that provides excellent acceleration results for the majority of common deep learning ops. The proposed solutions are compatible with all recent mobile GPUs, being able to process Full HD photos in less than 20-50 milliseconds while achieving high fidelity results. A detailed description of all models developed in this challenge is provided in this paper.


title: The Nielsen Realization Problem for Non-Orientable Surfaces

abstract: We show the Teichm\"uller space of a non-orientable surface with marked points (considered as a Klein surface) can be identified with a subspace of the Teichm\"uller space of its orientable double cover. Also, it is well known that the mapping class group $\text{Mod} (N_g; k)$ of a non-orientable surface can be identified with a subgroup of $\text{Mod} (S_{g-1}; 2k)$, the mapping class group of its orientable double cover. These facts together with the classical Nielsen realization theorem are used to prove that every finite subgroup of $\text{Mod}(N_g; k)$ can be lifted isomorphically to a subgroup of the group of diffeomorphisms $\text{Diff}(N_g; k)$. In contrast, we show the projection $\text{Diff}(N_g) \to \text{Mod}(N_g)$ does not admit a section for large $g$.


title: Generating Axially Symmetric Minimal Hyper-surfaces in R^{1,3}

abstract: It is shown that, somewhat similar to the case of classical Baecklund transformations for surfaces of constant negative curvature, infinitely many axially symmetric minimal hypersurfaces in 4-dimensional Minkowski-space can be obtained, in a non-trivial way, from any given one by combining the scaling symmetries of the equations in light cone coordinates with a non-obvious symmetry (the analogue of Bianchis original transformation) - which can be shown to be involutive/correspond to a space-reflection.


title: Proceedings of Principle and practice of data and Knowledge Acquisition Workshop 2022 (PKAW 2022)

abstract: Over the past two decades, PKAW has provided a forum for researchers and practitioners to discuss the state-of-the-arts in the area of knowledge acquisition and machine intelligence (MI, also Artificial Intelligence, AI). PKAW2022 will continue the above focus and welcome the contributions on the multi-disciplinary approach of human and big data-driven knowledge acquisition, as well as AI techniques and applications.


title: Common Pets in 3D: Dynamic New-View Synthesis of Real-Life Deformable Categories

abstract: Obtaining photorealistic reconstructions of objects from sparse views is inherently ambiguous and can only be achieved by learning suitable reconstruction priors. Earlier works on sparse rigid object reconstruction successfully learned such priors from large datasets such as CO3D. In this paper, we extend this approach to dynamic objects. We use cats and dogs as a representative example and introduce Common Pets in 3D (CoP3D), a collection of crowd-sourced videos showing around 4,200 distinct pets. CoP3D is one of the first large-scale datasets for benchmarking non-rigid 3D reconstruction "in the wild". We also propose Tracker-NeRF, a method for learning 4D reconstruction from our dataset. At test time, given a small number of video frames of an unseen object, Tracker-NeRF predicts the trajectories of its 3D points and generates new views, interpolating viewpoint and time. Results on CoP3D reveal significantly better non-rigid new-view synthesis performance than existing baselines.


title: Humans decompose tasks by trading off utility and computational cost

abstract: Human behavior emerges from planning over elaborate decompositions of tasks into goals, subgoals, and low-level actions. How are these decompositions created and used? Here, we propose and evaluate a normative framework for task decomposition based on the simple idea that people decompose tasks to reduce the overall cost of planning while maintaining task performance. Analyzing 11,117 distinct graph-structured planning tasks, we find that our framework justifies several existing heuristics for task decomposition and makes predictions that can be distinguished from two alternative normative accounts. We report a behavioral study of task decomposition ($N=806$) that uses 30 randomly sampled graphs, a larger and more diverse set than that of any previous behavioral study on this topic. We find that human responses are more consistent with our framework for task decomposition than alternative normative accounts and are most consistent with a heuristic -- betweenness centrality -- that is justified by our approach. Taken together, our results provide new theoretical insight into the computational principles underlying the intelligent structuring of goal-directed behavior.


title: A deterministic near-linear time approximation scheme for geometric transportation

abstract: Given a set of points $P = (P^+ \sqcup P^-) \subset \mathbb{R}^d$ for some constant $d$ and a supply function $\mu:P\to \mathbb{R}$ such that $\mu(p) > 0~\forall p \in P^+$, $\mu(p) < 0~\forall p \in P^-$, and $\sum_{p\in P}{\mu(p)} = 0$, the geometric transportation problem asks one to find a transportation map $\tau: P^+\times P^-\to \mathbb{R}_{\ge 0}$ such that $\sum_{q\in P^-}{\tau(p, q)} = \mu(p)~\forall p \in P^+$, $\sum_{p\in P^+}{\tau(p, q)} = -\mu(q)~ \forall q \in P^-$, and the weighted sum of Euclidean distances for the pairs $\sum_{(p,q)\in P^+\times P^-}\tau(p, q)\cdot ||q-p||_2$ is minimized. We present the first deterministic algorithm that computes, in near-linear time, a transportation map whose cost is within a $(1 + \varepsilon)$ factor of optimal. More precisely, our algorithm runs in $O(n\varepsilon^{-(d+2)}\log^5{n}\log{\log{n}})$ time for any constant $\varepsilon > 0$. Surprisingly, our result is not only a generalization of a bipartite matching one to arbitrary instances of geometric transportation, but it also reduces the running time for all previously known $(1 + \varepsilon)$-approximation algorithms, randomized or deterministic, even for geometric bipartite matching. In particular, we give the first $(1 + \varepsilon)$-approximate deterministic algorithm for geometric bipartite matching and the first $(1 + \varepsilon)$-approximate deterministic or randomized algorithm for geometric transportation with no dependence on $d$ in the exponent of the running time's polylog. As an additional application of our main ideas, we also give the first randomized near-linear $O(\varepsilon^{-2} m \log^{O(1)} n)$ time $(1 + \varepsilon)$-approximation algorithm for the uncapacitated minimum cost flow (transshipment) problem in undirected graphs with arbitrary real edge costs.


title: Weak-lensing mass bias in merging galaxy clusters

abstract: Although weak lensing (WL) is a powerful method to estimate a galaxy cluster mass without any dynamical assumptions, a model bias can arise when the cluster density profile departs from the assumed model profile. In a merging system, the bias is expected to become most severe because the constituent halos undergo significant structural changes. In this study, we investigate WL mass bias in binary cluster mergers using a suite of idealized hydrodynamical simulations. Realistic WL shear catalogs are generated by matching the source galaxy properties, such as intrinsic shape dispersion, measurement noise, source densities, etc., to those from Subaru and {\it Hubble Space Telescope} observations. We find that, with the typical mass-concentration ($M$-$c$) relation and the Navarro-Frenk-White (NFW) profile, the halo mass bias depends on the time since the first pericenter passage and increases with the mass of the companion cluster. The time evolution of the mass bias is similar to that of the concentration, indicating that, to first order, the mass bias is modulated by the concentration change. For a collision between two $\sim10^{15}~M_{\odot}$ clusters, the maximum bias amounts to $\sim60\%$. This suggests that previous WL studies may have significantly overestimated the mass of the clusters in some of the most massive mergers. Finally, we apply our results to three merger cases: Abell 2034, MACS J1752.0+4440, and ZwCl 1856.8+6616, and report their mass biases at the observed epoch, as well as their pre-merger masses, utilizing their merger shock locations as tracers of the merger phases.


title: Query Complexity of the Metric Steiner Tree Problem

abstract: We study the query complexity of the metric Steiner Tree problem, where we are given an $n \times n$ metric on a set $V$ of vertices along with a set $T \subseteq V$ of $k$ terminals, and the goal is to find a tree of minimum cost that contains all terminals in $T$. The query complexity for the related minimum spanning tree (MST) problem is well-understood: for any fixed $\varepsilon > 0$, one can estimate the MST cost to within a $(1+\varepsilon)$-factor using only $\tilde{O}(n)$ queries, and this is known to be tight. This implies that a $(2 + \varepsilon)$-approximate estimate of Steiner Tree cost can be obtained with $\tilde{O}(k)$ queries by simply applying the MST cost estimation algorithm on the metric induced by the terminals. Our first result shows that any (randomized) algorithm that estimates the Steiner Tree cost to within a $(5/3 - \varepsilon)$-factor requires $\Omega(n^2)$ queries, even if $k$ is a constant. This lower bound is in sharp contrast to an upper bound of $O(nk)$ queries for computing a $(5/3)$-approximate Steiner Tree, which follows from previous work by Du and Zelikovsky. Our second main result, and the main technical contribution of this work, is a sublinear query algorithm for estimating the Steiner Tree cost to within a strictly better-than-$2$ factor, with query complexity $\tilde{O}(n^{12/7} + n^{6/7}\cdot k)=\tilde{O}(n^{13/7})=o(n^2)$. We complement this result by showing an $\tilde{\Omega}(n + k^{6/5})$ query lower bound for any algorithm that estimates Steiner Tree cost to a strictly better than $2$ factor. Thus $\tilde{\Omega}(n^{6/5})$ queries are needed to just beat $2$-approximation when $k = \Omega(n)$; a sharp contrast to MST cost estimation where a $(1+o(1))$-approximate estimate of cost is achievable with only $\tilde{O}(n)$ queries.


title: visClust: A visual clustering algorithm based on orthogonal projections

abstract: We present a novel clustering algorithm, visClust, that is based on lower dimensional data representations and visual interpretation. Thereto, we design a transformation that allows the data to be represented by a binary integer array enabling the use of image processing methods to select a partition. Qualitative and quantitative analyses measured in accuracy and an adjusted Rand-Index show that the algorithm performs well while requiring low runtime and RAM. We compare the results to 6 state-of-the-art algorithms with available code, confirming the quality of visClust by superior performance in most experiments. Moreover, the algorithm asks for just one obligatory input parameter while allowing optimization via optional parameters. The code is made available on GitHub and straightforward to use.


title: Facial Tic Detection in Untrimmed Videos of Tourette Syndrome Patients

abstract: Tourette Syndrome (TS) is a behavior disorder that onsets in childhood and is characterized by the expression of involuntary movements and sounds commonly referred to as tics. Behavioral therapy is the first-line treatment for patients with TS, and it helps patients raise awareness about tic occurrence as well as develop tic inhibition strategies. However, the limited availability of therapists and the difficulties for in-home follow up work limits its effectiveness. An automatic tic detection system that is easy to deploy could alleviate the difficulties of home-therapy by providing feedback to the patients while exercising tic awareness. In this work, we propose a novel architecture (T-Net) for automatic tic detection and classification from untrimmed videos. T-Net combines temporal detection and segmentation and operates on features that are interpretable to a clinician. We compare T-Net to several state-of-the-art systems working on deep features extracted from the raw videos and T-Net achieves comparable performance in terms of average precision while relying on interpretable features needed in clinical practice.


title: ALMA FIR View of Ultra High-redshift Galaxy Candidates at $z\sim$ 11-17: Blue Monsters or Low-$z$ Red Interlopers?

abstract: We present ALMA Band~7 observations of a remarkably bright galaxy candidate at $z_{\rm phot}$=$16.7^{+1.9}_{-0.3}$ ($M_{\rm UV}$=$-21.6$), S5-z17-1, identified in JWST Early Release Observation data of Stephen's Quintet. We do not detect the dust continuum at 866~$\mu$m, ruling out the possibility that \targb\ is a low-$z$ dusty starburst with a star-formation rate of $\gtrsim 30$~$M_{\odot}$~yr$^{-1}$. We detect a 5.1$\sigma$ line feature at $338.726\pm0.007$~GHz exactly coinciding with the JWST source position, with a 2\% likelihood of the signal being spurious. The most likely line identification would be [OIII]52$\mu$m at $z=16.01$ or [CII]158$\mu$m at $z=4.61$, whose line luminosities do not violate the non-detection of the dust continuum in both cases. Together with three other $z\gtrsim$ 11--13 candidate galaxies recently observed with ALMA, we conduct a joint ALMA and JWST spectral energy distribution (SED) analysis and find that the high-$z$ solution at $z\sim$11--17 is favored in every candidate as a very blue (UV continuum slope of $\simeq-2.3$) and luminous ($M_{\rm UV}\simeq[-$24:$-21]$) system. Still, we find in several candidates that reasonable SED fits ($\Delta$ $\chi^{2}\lesssim4$) are reproduced by type-II quasar and/or quiescent galaxy templates with strong emission lines at $z\sim3$--5, where such populations predicted from their luminosity functions and EW([OIII]+H$\beta$) distributions are abundant in survey volumes used for the identification of the $z\sim$11--17 candidates. While these recent ALMA observation results have strengthened the likelihood of the high-$z$ solutions, lower-$z$ possibilities are not completely ruled out in several of the $z\sim$11--17 candidates, indicating the need to consider the relative surface densities of the lower-$z$ contaminants in the ultra high-$z$ galaxy search.


title: Fast Neutron Spectroscopy with a High-pressure Nitrogen-filled Large Volume Spherical Proportional Counter

abstract: We present a fast neutron spectroscopy system based on a nitrogen-filled, large volume gaseous detector, the Spherical Proportional Counter. The system has been successfully operated up to gas pressure of 1.5 bar. Neutron energy is estimated through measurement of the 14N(n,a)11B and 14N(n,p)14C reaction products. These reactions have comparable cross sections and Q-values with the 3He(n,p)3H reaction making nitrogen a good alternative to 3He use for fast neutron detection. Two detectors were built at the University of Birmingham and are currently used for the measurement of fast and thermal neutrons in the University of Birmingham and the Boulby underground laboratory, respectively.


title: Lessons Learned: Surveying the Practicality of Differential Privacy in the Industry

abstract: Since its introduction in 2006, differential privacy has emerged as a predominant statistical tool for quantifying data privacy in academic works. Yet despite the plethora of research and open-source utilities that have accompanied its rise, with limited exceptions, differential privacy has failed to achieve widespread adoption in the enterprise domain. Our study aims to shed light on the fundamental causes underlying this academic-industrial utilization gap through detailed interviews of 24 privacy practitioners across 9 major companies. We analyze the results of our survey to provide key findings and suggestions for companies striving to improve privacy protection in their data workflows and highlight the necessary and missing requirements of existing differential privacy tools, with the goal of guiding researchers working towards the broader adoption of differential privacy. Our findings indicate that analysts suffer from lengthy bureaucratic processes for requesting access to sensitive data, yet once granted, only scarcely-enforced privacy policies stand between rogue practitioners and misuse of private information. We thus argue that differential privacy can significantly improve the processes of requesting and conducting data exploration across silos, and conclude that with a few of the improvements suggested herein, the practical use of differential privacy across the enterprise is within striking distance.


title: Policy evaluation from a single path: Multi-step methods, mixing and mis-specification

abstract: We study non-parametric estimation of the value function of an infinite-horizon $\gamma$-discounted Markov reward process (MRP) using observations from a single trajectory. We provide non-asymptotic guarantees for a general family of kernel-based multi-step temporal difference (TD) estimates, including canonical $K$-step look-ahead TD for $K = 1, 2, \ldots$ and the TD$(\lambda)$ family for $\lambda \in [0,1)$ as special cases. Our bounds capture its dependence on Bellman fluctuations, mixing time of the Markov chain, any mis-specification in the model, as well as the choice of weight function defining the estimator itself, and reveal some delicate interactions between mixing time and model mis-specification. For a given TD method applied to a well-specified model, its statistical error under trajectory data is similar to that of i.i.d. sample transition pairs, whereas under mis-specification, temporal dependence in data inflates the statistical error. However, any such deterioration can be mitigated by increased look-ahead. We complement our upper bounds by proving minimax lower bounds that establish optimality of TD-based methods with appropriately chosen look-ahead and weighting, and reveal some fundamental differences between value function estimation and ordinary non-parametric regression.


title: SLICT: Multi-input Multi-scale Surfel-Based Lidar-Inertial Continuous-Time Odometry and Mapping

abstract: While feature association to a global map has significant benefits, to keep the computations from growing exponentially, most lidar-based odometry and mapping methods opt to associate features with local maps at one voxel scale. Taking advantage of the fact that surfels (surface elements) at different voxel scales can be organized in a tree-like structure, we propose an octree-based global map of multi-scale surfels that can be updated incrementally. This alleviates the need for recalculating, for example, a k-d tree of the whole map repeatedly. The system can also take input from a single or a number of sensors, reinforcing the robustness in degenerate cases. We also propose a point-to-surfel (PTS) association scheme, continuous-time optimization on PTS and IMU preintegration factors, along with loop closure and bundle adjustment, making a complete framework for Lidar-Inertial continuous-time odometry and mapping. Experiments on public and in-house datasets demonstrate the advantages of our system compared to other state-of-the-art methods. To benefit the community, we release the source code and dataset at https://github.com/brytsknguyen/slict.


title: On the cohomology of tautological bundles over Quot schemes of curves

abstract: We consider tautological bundles and their exterior and symmetric powers on the Quot scheme over the projective line. We prove and conjecture several statements regarding the vanishing of their higher cohomology, and we describe their spaces of global sections via tautological constructions. To this end, we make use of the embedding of the Quot scheme as an explicit local complete intersection in the product of two Grassmannians, studied by Str{\o}mme. This allows us to construct resolutions with vanishing cohomology for the tautological bundles and their exterior and symmetric powers.


title: Resonant Vector Dark Matter Production during Inflation

abstract: We present a new mechanism for generating the observed dark matter energy density, through resonant production of vector dark matter during inflation. Resonant amplification of the vector dark matter is achieved through Mathieu instabilities induced by an oscillatory coupling with the inflaton, which can occur as early as 11.9 e-folds before the end of inflation. Successful dark matter production is possible for a wide range of inflationary Hubble rates and vector mass scales. This scenario generates both helicity states of the vector dark matter density in contrast to other tachyonic production mechanisms, while exhibiting large parameter regions with negligible energy density generated in the longitudinal mode. The discovery of this dark matter candidate will not only explain the nature of dark matter but provide insight into the inflationary potential and the scale of inflation. The allowed parameter space is surveyed and the unique phenomenological implications are discussed, which include gravitational waves and the dark matter energy density spectrum.


title: Minimax Concave Penalty Regularized Adaptive System Identification

abstract: We develop a recursive least square (RLS) type algorithm with a minimax concave penalty (MCP) for adaptive identification of a sparse tap-weight vector that represents a communication channel. The proposed algorithm recursively yields its estimate of the tap-vector, from noisy streaming observations of a received signal, using expectation-maximization (EM) update. We prove the convergence of our algorithm to a local optimum and provide bounds for the steady state error. Using simulation studies of Rayleigh fading channel, Volterra system and multivariate time series model, we demonstrate that our algorithm outperforms, in the mean-squared error (MSE) sense, the standard RLS and the $\ell_1$-regularized RLS.


title: Conservation laws, symmetries, and line solitons of a Kawahara-KP equation

abstract: A generalization of the KP equation involving higher-order dispersion is studied. This equation appears in several physical applications. As new results, the Lie point symmetries are obtained and used to derive conservation laws via Noether's theorem by introduction of a potential which gives a Lagrangian formulation for the equation. The meaning and properties of the symmetries and the conserved quantities are described. Explicit line soliton solutions are found and their features are discussed. They are shown to describe dark solitary waves on a background which depends on a dispersion ratio and on the speed and direction of the waves. The zero-background case is explored.


title: Dynamics of Gender Bias in Computing

abstract: Gender bias in computing is a hard problem that has resisted decades of research. One obstacle has been the absence of systematic data that might indicate when gender bias emerged in computing and how it has changed. This article presents a new dataset (N=50,000) focusing on formative years of computing as a profession (1950-1980) when U.S. government workforce statistics are thin or non-existent. This longitudinal dataset, based on archival records from six computer user groups (SHARE, USE, and others) and ACM conference attendees and membership rosters, revises commonly held conjectures that gender bias in computing emerged during professionalization of computer science in the 1960s or 1970s and that there was a 'linear' one-time onset of gender bias to the present. Such a linear view also lent support to the "pipeline" model of computing's "losing" women at successive career stages. Instead, this dataset reveals three distinct periods of gender bias in computing and so invites temporally distinct explanations for these changing dynamics. It significantly revises both scholarly assessment and popular understanding about gender bias in computing. It also draws attention to diversity within computing. One consequence of this research for CS reform efforts today is data-driven recognition that legacies of gender bias beginning in the mid-1980s (not in earlier decades) is the problem. A second consequence is correcting the public image of computer science: this research shows that gender bias is a contingent aspect of professional computing, not an intrinsic or permanent one.


title: Learned 1-D advection solver to accelerate air quality modeling

abstract: Accelerating the numerical integration of partial differential equations by learned surrogate model is a promising area of inquiry in the field of air pollution modeling. Most previous efforts in this field have been made on learned chemical operators though machine-learned fluid dynamics has been a more blooming area in machine learning community. Here we show the first trial on accelerating advection operator in the domain of air quality model using a realistic wind velocity dataset. We designed a convolutional neural network-based solver giving coefficients to integrate the advection equation. We generated a training dataset using a 2nd order Van Leer type scheme with the 10-day east-west components of wind data on 39$^{\circ}$N within North America. The trained model with coarse-graining showed good accuracy overall, but instability occurred in a few cases. Our approach achieved up to 12.5$\times$ acceleration. The learned schemes also showed fair results in generalization tests.


title: How Spatially Resolved Polarimetry Informs Black Hole Accretion Flow Models

abstract: The Event Horizon Telescope (EHT) Collaboration has successfully produced images of two supermassive black holes, enabling novel tests of black holes and their accretion flows on horizon scales. The EHT has so far published total intensity and linear polarization images, while upcoming images may include circular polarization, rotation measure, and spectral index, each of which reveals different aspects of the plasma and space-time. The next-generation EHT (ngEHT) will greatly enhance these studies through wider recorded bandwidths and additional stations, leading to greater signal-to-noise, orders of magnitude improvement in dynamic range, multi-frequency observations, and horizon-scale movies. In this paper, we review how each of these different observables informs us about the underlying properties of the plasma and the spacetime, and we discuss why polarimetric studies are well-suited to measurements with sparse, long-baseline coverage.


title: Some apects of thermodinamic formalism of piecewise of smooth vector fields

abstract: In this paper we study some aspects of thermodynamic formalism, more specifically topological pressure and, as a consequence, topological entropy for piecewise smooth vector fields, using topological conjugation with shift maps and the Perron- Frobenius Operator. Some relationships between entropy and Hausdorff dimensions are also investigated.


title: An Exploration of Degeneracy in Abelian Varieties of Fermat Type

abstract: The term degenerate is used to describe abelian varieties whose Hodge rings contain exceptional cycles -- Hodge cycles that are not generated by divisor classes. We can see the effect of the exceptional cycles on the structure of an abelian variety through its Mumford-Tate group, Hodge group, and Sato-Tate group. In this article we examine degeneracy through these different but related lenses. We specialize to a family of abelian varieties of Fermat type, namely Jacobians of hyperelliptic curves of the form $y^2=x^m-1$. We prove that the Jacobian of the curve is degenerate whenever $m$ is an odd, composite integer. We explore the various forms of degeneracy for several examples, each illustrating different phenomena that can occur.


title: The ngEHT's Role in Measuring Supermassive Black Hole Spins

abstract: While supermassive black hole masses have been cataloged across cosmic time, only a few dozen of them have robust spin measurements. By extending and improving the existing Event Horizon Telescope (EHT) array, the next-generation Event Horizon Telescope (ngEHT) will enable multifrequency, polarimetric movies on event horizon scales, which will place new constraints on the space-time and accretion flow. By combining this information, it is anticipated that the ngEHT may be able to measure tens of supermassive black hole masses and spins. In this white paper, we discuss existing spin measurements and many proposed techniques with which the ngEHT could potentially measure spins of target supermassive black holes. Spins measured by the ngEHT would represent a completely new sample of sources that, unlike pre-existing samples, would not be biased towards objects with high accretion rates. Such a sample would provide new insights into the accretion, feedback, and cosmic assembly of supermassive black holes.


title: Towards Extending the Range of Bugs That Automated Program Repair Can Handle

abstract: Modern automated program repair (APR) is well-tuned to finding and repairing bugs that introduce observable erroneous behavior to a program. However, a significant class of bugs does not lead to such observable behavior (e.g., liveness/termination bugs, non-functional bugs, and information flow bugs). Such bugs can generally not be handled with current APR approaches, so, as a community, we need to develop complementary techniques. To stimulate the systematic study of alternative APR approaches and hybrid APR combinations, we devise a novel bug classification system that enables methodical analysis of their bug detection power and bug repair capabilities. To demonstrate the benefits, we analyze the repair of termination bugs in sequential and concurrent programs. The study shows that integrating dynamic APR with formal analysis techniques, such as termination provers and software model checkers, reduces complexity and improves the overall reliability of these repairs.


title: The Optimal Size and Progressivity of Old-Age Social Security

abstract: Almost every public pension system shares two attributes: earning deductions to finance benefits, and benefits that depend on earnings. This paper analyzes theoretically and empirically the trade-off between social insurance and incentive provision faced by reforms to these two attributes. First, I combine the social insurance and the optimal linear-income literature to build a model with a flexible pension contribution rate and benefits' progressivity that incorporates inter-temporal and inter-worker types of redistribution and incentive distortion. The model is general, allowing workers to be heterogeneous on productivity and retirement preparedness, and they exhibit present-focused bias. I then estimate the model by leveraging three quasi-experimental variations on the design of the Chilean pension system and administrative data merged with a panel survey. I find that taxable earnings respond to changes in the benefit-earnings link, future pension payments, and net-of-tax rate, which increases the costs of reforms. I also find that lifetime payroll earnings have a strong positive relationship with productivity and retirement preparedness, and that pension transfers are effective in increasing retirement consumption. Therefore, there is a large inter-worker redistribution value through the pension system. Overall, there are significant social gains from marginal reforms: a 1% increase in the contribution rate and in the benefit progressivity generates social gains of 0.08% and 0.29% of the GDP, respectively. The optimal design has a pension contribution rate of 17% and focuses 42% of pension public spending on workers below the median of lifetime earnings.


title: Models for Metal-Poor Stars with Different Initial Abundances of C, N, O, Mg, and Si. III. Grids of Isochrones for $-2.5 \le$ [Fe/H] $\le -0.5$ and Helium Abundances $Y = 0.25$ and $0.29$ at Each Metallicity

abstract: Stellar evolutionary tracks for $0.12 \le M/M_\odot \le 1.0$ have been computed for each of several variations in the abundances of C, N, and O, assuming mass-fraction helium abundances $Y = 0.25$ and $0.29$, and 11 metallicities in the range $-1.5 \le$ [Fe/H] $\le -0.5$, in 0.2 dex increments. Such computations are provided for mixtures with [O/Fe] between $+0.4$ and $+0.8$, for different C:N:O ratios at a fixed value of [CNO/Fe], and for enhanced C. Computer codes are provided to interpolate within these grids to produce isochrones for ages $> 7$ Gyr and to generate magnitudes and colours for many broad-band filters using bolometric corrections based on MARCS model atmospheres and synthetic spectra. The models are compared with (i) similar computations produced by other workers, (ii) observed UV, optical, and IR colour-magnitude diagrams (CMDs), (iii) the effective temperatures, $(V-I_C)_0$ and $(V-K_S)_0$ colours of Pop. II stars in the solar neighbourhood, and (iv) empirical data for the absolute magnitude of the tip of the giant branch (TRGB). The isochrones are especially successful in reproducing the observed morphologies of observed CMDs and in satisfying the TRGB constraints. They also fare quite well in explaining the IR colours of low mass stars in globular clusters, indicating that they have [O/Fe] $\approx +0.6$, though some challenges remain.


title: The defocusing NLS equation with nonzero background: Painlev\'e asymptotics in two transition regions

abstract: In this paper, we address the Painlev\'e aymptotics in the transition region $|\xi|:=\big|\frac{x}{2t}\big| \approx 1$ to the Cauchy problem of the defocusing Schr$\ddot{\text{o}}$dinger equation with a nonzero background.With the $\bar\partial$-generation of the nonlinear steepest descent approach and double scaling limit to compute the long-time asymptotics of the solution in two transition regions defined as $$ \mathcal{P}_{\pm 1}(x,t):=\{ (x,t) \in \mathbb{R}\times\mathbb{R}^+, \ \ 0<|\xi-(\pm 1)|t^{2/3}\leq C\}, $$ we find that the long-time asymptotics in both transition regions $ \mathcal{P}_{\pm 1}(x,t)$ can be expressed in terms of the Painlev\'{e} II equation. We are also able to express the leading term explicitly in terms of the Ariy function.


title: Keck Spectroscopy of the Coma Cluster Ultra-Diffuse Galaxy Y358: Dynamical Mass in a Wider Context

abstract: We examine ultra-diffuse galaxies (UDGs) and their relation to non-UDGs in mass-radius-luminosity space. We begin by publishing Keck/KCWI spectroscopy for the Coma cluster UDG Y358, for which we measure both a recessional velocity and velocity dispersion. Our recessional velocity confirms association with the Coma cluster and Y358's status as a UDG. From our velocity dispersion (19 $\pm$ 3 km s$^{-1}$) we calculate a dynamical mass within the half-light radius which provides evidence for a core in Y358's dark matter halo. We compare this dynamical mass, along with those for globular cluster (GC)-rich/-poor UDGs in the literature, to mass profiles for isolated, gas-rich UDGs and UDGs in the NIHAO/FIRE simulations. We find GC-poor UDGs have dynamical masses similar to isolated, gas-rich UDGs, suggesting an evolutionary pathway may exist between the two. Conversely, GC-rich UDGs have dynamical masses too massive to be easily explained as the evolution of the isolated, gas-rich UDGs. The simulated UDGs match the dynamical masses of the GC-rich UDGs. However, once compared in stellar mass -- halo mass space, the FIRE/NIHAO simulated UDGs do not match the halo masses of either the isolated, gas-rich UDGs or the GC-rich UDGs at the same stellar mass. Finally, we supplement our data for Y358 with other UDGs that have measured velocity dispersions in the literature. We compare this sample to a wide range of non-UDGs in mass-radius-luminosity space, finding UDGs have a similar locus to non-UDGs of similar luminosity with the primary difference being their larger half-light radii.


title: Improved Streaming Algorithms for Maximum Directed Cut via Smoothed Snapshots

abstract: We give an $\widetilde{O}(\sqrt{n})$-space single-pass $0.483$-approximation streaming algorithm for estimating the maximum directed cut size (Max-DICUT) in a directed graph on $n$ vertices. This improves over an $O(\log n)$-space $4/9 < 0.45$ approximation algorithm due to Chou, Golovnev, and Velusamy (FOCS 2020), which was known to be optimal for $o(\sqrt{n})$-space algorithms. Max-DICUT is a special case of a constraint satisfaction problem (CSP). In this broader context, we give the first CSP for which algorithms with $\widetilde{O}(\sqrt{n})$ space can provably outperform $o(\sqrt{n})$-space algorithms. The key technical contribution of our work is development of the notions of a first-order snapshot of a (directed) graph and of estimates of such snapshots. These snapshots can be used to simulate certain (non-streaming) Max-DICUT algorithms, including the "oblivious" algorithms introduced by Feige and Jozeph (Algorithmica, 2015), who showed that one such algorithm achieves a 0.483-approximation. Previous work of the authors (SODA 2023) studied the restricted case of bounded-degree graphs, and observed that in this setting, it is straightforward to estimate the snapshot with $\ell_1$ errors and this suffices to simulate oblivious algorithms. But for unbounded-degree graphs, even defining an achievable and sufficient notion of estimation is subtle. We describe a new notion of snapshot estimation and prove its sufficiency using careful smoothing techniques, and then develop an algorithm which sketches such an estimate via a delicate process of intertwined vertex- and edge-subsampling. Prior to our work, the only streaming algorithms for any CSP on general instances were based on generalizations of the $O(\log n)$-space algorithm for Max-DICUT, and thus our work opens the possibility of a new class of algorithms for approximating CSPs.


title: On the amortized complexity of approximate counting

abstract: Naively storing a counter up to value $n$ would require $\Omega(\log n)$ bits of memory. Nelson and Yu [NY22], following work of [Morris78], showed that if the query answers need only be $(1+\epsilon)$-approximate with probability at least $1 - \delta$, then $O(\log\log n + \log\log(1/\delta) + \log(1/\epsilon))$ bits suffice, and in fact this bound is tight. Morris' original motivation for studying this problem though, as well as modern applications, require not only maintaining one counter, but rather $k$ counters for $k$ large. This motivates the following question: for $k$ large, can $k$ counters be simultaneously maintained using asymptotically less memory than $k$ times the cost of an individual counter? That is to say, does this problem benefit from an improved {\it amortized} space complexity bound? We answer this question in the negative. Specifically, we prove a lower bound for nearly the full range of parameters showing that, in terms of memory usage, there is no asymptotic benefit possible via amortization when storing multiple counters. Our main proof utilizes a certain notion of "information cost" recently introduced by Braverman, Garg and Woodruff in FOCS 2020 to prove lower bounds for streaming algorithms.


title: Translators to Higher Order Mean Curvature Flows in $\mathbb R^n\times\mathbb R$ and $\mathbb H^n\times\mathbb R$

abstract: We consider translators to the extrinsic flows in $\mathbb R^n\times\mathbb R$ and $\mathbb H^n\times\mathbb R$ (called $r$-mean curvature flows or $r$-MCF, for short) whose velocity functions are the higher order mean curvatures $H_r.$ We show that there exist rotational bowl-type and catenoid-type translators to $r$-MCF in both $\mathbb R^n\times\mathbb R$ and $\mathbb H^n\times\mathbb R,$ and also that there exist parabolic and hyperbolic catenoid-type translators to $r$-MCF in $\mathbb H^n\times\mathbb R.$ In addition, we show that there exist Grim Reaper-type translators to Gaussian flow ($n$-MCF) in $\mathbb R^n\times\mathbb R$ and $\mathbb H^n\times\mathbb R$. We also establish the uniqueness of all these translators (together with certain cylinders) among those which are invariant by either rotations or translations (Euclidean, parabolic or hyperbolic). We apply this uniqueness result to classify the translators to $r$-MCF in $\mathbb R^n\times\mathbb R$ and $\mathbb H^n\times\mathbb R$ whose $r$-th mean curvature is constant, as well as those which are isoparametric. Our results extend to the context of $r$-MCF in $\mathbb R^n\times\mathbb R$ and $\mathbb H^n\times\mathbb R$ the existence and uniqueness theorems by Altschuler--Wu (of the bowl soliton) and Clutterbuck--Schn\"urer--Schulze (of the translating catenoids) in Euclidean space.


title: ShaSTA: Modeling Shape and Spatio-Temporal Affinities for 3D Multi-Object Tracking

abstract: Multi-object tracking is a cornerstone capability of any robotic system. The quality of tracking is largely dependent on the quality of the detector used. In many applications, such as autonomous vehicles, it is preferable to over-detect objects to avoid catastrophic outcomes due to missed detections. As a result, current state-of-the-art 3D detectors produce high rates of false-positives to ensure a low number of false-negatives. This can negatively affect tracking by making data association and track lifecycle management more challenging. Additionally, occasional false-negative detections due to difficult scenarios like occlusions can harm tracking performance. To address these issues in a unified framework, we propose to learn shape and spatio-temporal affinities between tracks and detections in consecutive frames. Our affinity provides a probabilistic matching that leads to robust data association, track lifecycle management, false-positive elimination, false-negative propagation, and sequential track confidence refinement. Though past 3D MOT approaches address a subset of components in this problem domain, we offer the first self-contained framework that addresses all these aspects of the 3D MOT problem. We quantitatively evaluate our method on the nuScenes tracking benchmark where we achieve 1st place amongst LiDAR-only trackers using CenterPoint detections. Our method estimates accurate and precise tracks, while decreasing the overall number of false-positive and false-negative tracks and increasing the number of true-positive tracks. We analyze our performance with 5 metrics, giving a comprehensive overview of our approach to indicate how our tracking framework may impact the ultimate goal of an autonomous mobile agent. We also present ablative experiments and qualitative results that demonstrate our framework's capabilities in complex scenarios.


title: Distributed Computing for Scalable Optimal Power Flow in Large Radial Electric Power Distribution Systems with Distributed Energy Resources

abstract: Solving the non-convex optimal power flow (OPF) problem for large-scale power distribution systems is computationally expensive. An alternative is to solve the relaxed convex problem or linear approximated problem, but these methods lead to sub-optimal or power flow infeasible solutions. In this paper, we propose a fast method to solve the OPF problem using distributed computing algorithms combined with a decomposition technique. The full network-level OPF problem is decomposed into multiple smaller sub-problems defined for each decomposed area or node that can be easily solved using off-the-shelf nonlinear programming (NLP) solvers. Distributed computing approach is proposed via which sub-problems achieve consensus and converge to network-level optimal solutions. The novelty lies in leveraging the nature of power flow equations in radial network topologies to design effective decomposition techniques that reduce the number of iterations required to achieve consensus by an order of magnitude.


title: Towards the assignments for $1^{1}D_{2}$ and $1^{3}D_{2}$ meson nonets

abstract: In this work, we investigate the mass spectrum of $1^{1}D_{2}$ and $1^{3}D_{2}$ meson nonets in the framework of the meson mass matrix and Regge phenomenology. The results are compared with the values from different phenomenological models and may be useful for the assignment of the $1^{1}D_{2}$ and $1^{3}D_{2}$ meson nonets in the future.


title: Strictly Breadth-First AMR Parsing

abstract: AMR parsing is the task that maps a sentence to an AMR semantic graph automatically. We focus on the breadth-first strategy of this task, which was proposed recently and achieved better performance than other strategies. However, current models under this strategy only \emph{encourage} the model to produce the AMR graph in breadth-first order, but \emph{cannot guarantee} this. To solve this problem, we propose a new architecture that \emph{guarantees} that the parsing will strictly follow the breadth-first order. In each parsing step, we introduce a \textbf{focused parent} vertex and use this vertex to guide the generation. With the help of this new architecture and some other improvements in the sentence and graph encoder, our model obtains better performance on both the AMR 1.0 and 2.0 dataset.


title: Proactive Detractor Detection Framework Based on Message-Wise Sentiment Analysis Over Customer Support Interactions

abstract: In this work, we propose a framework relying solely on chat-based customer support (CS) interactions for predicting the recommendation decision of individual users. For our case study, we analyzed a total number of 16.4k users and 48.7k customer support conversations within the financial vertical of a large e-commerce company in Latin America. Consequently, our main contributions and objectives are to use Natural Language Processing (NLP) to assess and predict the recommendation behavior where, in addition to using static sentiment analysis, we exploit the predictive power of each user's sentiment dynamics. Our results show that, with respective feature interpretability, it is possible to predict the likelihood of a user to recommend a product or service, based solely on the message-wise sentiment evolution of their CS conversations in a fully automated way.


title: Diagram categories and invariant theory for classical groups and supergroups

abstract: We introduce the notion of a diagram category and discuss its application to the invariant theory of classical groups and super groups, with some indications concerning extensions to quantum groups and quantum super groups. Tensor functors from various diagram categories to categories of representnations are introduced and their properties investigated, leading to first and second fundamental theorems of invariant theory for classical super groups, which include the classical groups as special cases. Application of diagrammatic methods enables the constructionof a presentation for endomorphism algebras for te orthogonal and symplectic groups, leading to the solution ofproblems raised by the work of Brauer and Weyl.


title: AutoML-based Almond Yield Prediction and Projection in California

abstract: Almonds are one of the most lucrative products of California, but are also among the most sensitive to climate change. In order to better understand the relationship between climatic factors and almond yield, an automated machine learning framework is used to build a collection of machine learning models. The prediction skill is assessed using historical records. Future projections are derived using 17 downscaled climate outputs. The ensemble mean projection displays almond yield changes under two different climate scenarios, along with two technology development scenarios, where the role of technology development is highlighted. The mean projections and distributions provide insightful results to stakeholders and can be utilized by policymakers for climate adaptation.


title: Exact formulations of relativistic electrodynamics and magnetohydrodynamics with helically coupled scalar field

abstract: We present the general relativistic electrodynamics and magnetohydrodynamics with a helically coupled scalar field. We consider three component system with the fluid, scalar field and electromagnetic fields with the helical coupling. We derive three exact formulations: the covariant formulation, the ADM formulation, and the fully nonlinear and exact perturbation formulation. We also derive the weak-gravity limit with fully relativistic fluid and fields. The latter two formulations are presented in the cosmological context.


title: Automatic Error Detection in Integrated Circuits Image Segmentation: A Data-driven Approach

abstract: Due to the complicated nanoscale structures of current integrated circuits(IC) builds and low error tolerance of IC image segmentation tasks, most existing automated IC image segmentation approaches require human experts for visual inspection to ensure correctness, which is one of the major bottlenecks in large-scale industrial applications. In this paper, we present the first data-driven automatic error detection approach targeting two types of IC segmentation errors: wire errors and via errors. On an IC image dataset collected from real industry, we demonstrate that, by adapting existing CNN-based approaches of image classification and image translation with additional pre-processing and post-processing techniques, we are able to achieve recall/precision of 0.92/0.93 in wire error detection and 0.96/0.90 in via error detection, respectively.


title: Editable Indoor Lighting Estimation

abstract: We present a method for estimating lighting from a single perspective image of an indoor scene. Previous methods for predicting indoor illumination usually focus on either simple, parametric lighting that lack realism, or on richer representations that are difficult or even impossible to understand or modify after prediction. We propose a pipeline that estimates a parametric light that is easy to edit and allows renderings with strong shadows, alongside with a non-parametric texture with high-frequency information necessary for realistic rendering of specular objects. Once estimated, the predictions obtained with our model are interpretable and can easily be modified by an artist/user with a few mouse clicks. Quantitative and qualitative results show that our approach makes indoor lighting estimation easier to handle by a casual user, while still producing competitive results.


title: Comparative layer-wise analysis of self-supervised speech models

abstract: Many self-supervised speech models, varying in their pre-training objective, input modality, and pre-training data, have been proposed in the last few years. Despite impressive successes on downstream tasks, we still have a limited understanding of the properties encoded by the models and the differences across models. In this work, we examine the intermediate representations for a variety of recent models. Specifically, we measure acoustic, phonetic, and word-level properties encoded in individual layers, using a lightweight analysis tool based on canonical correlation analysis (CCA). We find that these properties evolve across layers differently depending on the model, and the variations relate to the choice of pre-training objective. We further investigate the utility of our analyses for downstream tasks by comparing the property trends with performance on speech recognition and spoken language understanding tasks. We discover that CCA trends provide reliable guidance to choose layers of interest for downstream tasks and that single-layer performance often matches or improves upon using all layers, suggesting implications for more efficient use of pre-trained models.


title: ReLoc: A Restoration-Assisted Framework for Robust Image Tampering Localization

abstract: With the spread of tampered images, locating the tampered regions in digital images has drawn increasing attention. The existing image tampering localization methods, however, suffer from severe performance degradation when the tampered images are subjected to some post-processing, as the tampering traces would be distorted by the post-processing operations. The poor robustness against post-processing has become a bottleneck for the practical applications of image tampering localization techniques. In order to address this issue, this paper proposes a novel restoration-assisted framework for image tampering localization (ReLoc). The ReLoc framework mainly consists of an image restoration module and a tampering localization module. The key idea of ReLoc is to use the restoration module to recover a high-quality counterpart of the distorted tampered image, such that the distorted tampering traces can be re-enhanced, facilitating the tampering localization module to identify the tampered regions. To achieve this, the restoration module is optimized not only with the conventional constraints on image visual quality but also with a forensics-oriented objective function. Furthermore, the restoration module and the localization module are trained alternately, which can stabilize the training process and is beneficial for improving the performance. The proposed framework is evaluated by fighting against JPEG compression, the most commonly used post-processing. Extensive experimental results show that ReLoc can significantly improve the robustness against JPEG compression. The restoration module in a well-trained ReLoc model is transferable. Namely, it is still effective when being directly deployed with another tampering localization module.


title: Self-consistent implementation of locally scaled self-interaction-correction method

abstract: Recently proposed local self-interaction correction (LSIC) method [Zope, R. R. et al., J. Chem. Phys. 151, 214108 (2019)] is a one-electron self-interaction-correction (SIC) method that uses an iso-orbital indicator to apply the SIC at each point in space by scaling the exchange-correlation and Coulomb energy densities. The LSIC method is exact for the one-electron densities, also recovers the uniform electron gas limit of the uncorrected density functional approximation, and reduces to the well-known Perdew-Zunger SIC (PZSIC) method as a special case. This article presents the self-consistent implementation of the LSIC method using the ratio of Weizs\"acker and Kohn-Sham kinetic energy densities as an iso-orbital indicator. The atomic forces as well as the forces on the Fermi-L\"owdin orbitals are also implemented for the LSIC energy functional. Results show that LSIC with the simplest local spin density functional predicts atomization energies of AE6 dataset better than some of the most widely used GGA functional (e.g. PBE) and barrier heights of BH6 database better than some of the most widely used hybrid functionals (e.g. PBE0 and B3LYP). The LSIC method [mean absolute error (MAE) of 0.008 \r{A}] predicts bond lengths of a small set of molecules better than the PZSIC-LSDA (MAE 0.042 \r{A}) and LSDA (0.011 \r{A}). This work shows that accurate results can be obtained from the simplest density functional by removing the self-interaction-errors using an appropriately designed SIC method.


title: Enhanced Low-resolution LiDAR-Camera Calibration Via Depth Interpolation and Supervised Contrastive Learning

abstract: Motivated by the increasing application of low-resolution LiDAR recently, we target the problem of low-resolution LiDAR-camera calibration in this work. The main challenges are two-fold: sparsity and noise in point clouds. To address the problem, we propose to apply depth interpolation to increase the point density and supervised contrastive learning to learn noise-resistant features. The experiments on RELLIS-3D demonstrate that our approach achieves an average mean absolute rotation/translation errors of 0.15cm/0.33\textdegree on 32-channel LiDAR point cloud data, which significantly outperforms all reference methods.


title: A Hypergraph-Based Machine Learning Ensemble Network Intrusion Detection System

abstract: Network intrusion detection systems (NIDS) to detect malicious attacks continue to meet challenges. NIDS are often developed offline while they face auto-generated port scan infiltration attempts, resulting in a significant time lag from adversarial adaption to NIDS response. To address these challenges, we use hypergraphs focused on internet protocol addresses and destination ports to capture evolving patterns of port scan attacks. The derived set of hypergraph-based metrics are then used to train an ensemble machine learning (ML) based NIDS that allows for real-time adaption in monitoring and detecting port scanning activities, other types of attacks, and adversarial intrusions at high accuracy, precision and recall performances. This ML adapting NIDS was developed through the combination of (1) intrusion examples, (2) NIDS update rules, (3) attack threshold choices to trigger NIDS retraining requests, and (4) a production environment with no prior knowledge of the nature of network traffic. 40 scenarios were auto-generated to evaluate the ML ensemble NIDS comprising three tree-based models. The resulting ML Ensemble NIDS was extended and evaluated with the CIC-IDS2017 dataset. Results show that under the model settings of an Update-ALL-NIDS rule (specifically retrain and update all the three models upon the same NIDS retraining request) the proposed ML ensemble NIDS evolved intelligently and produced the best results with nearly 100% detection performance throughout the simulation.

categories: cs.CR cs.AI cs.SY eess.SY stat.ME stat.ML


title: Robust Manifold Nonnegative Tucker Factorization for Tensor Data Representation

abstract: Nonnegative Tucker Factorization (NTF) minimizes the euclidean distance or Kullback-Leibler divergence between the original data and its low-rank approximation which often suffers from grossly corruptions or outliers and the neglect of manifold structures of data. In particular, NTF suffers from rotational ambiguity, whose solutions with and without rotation transformations are equally in the sense of yielding the maximum likelihood. In this paper, we propose three Robust Manifold NTF algorithms to handle outliers by incorporating structural knowledge about the outliers. They first applies a half-quadratic optimization algorithm to transform the problem into a general weighted NTF where the weights are influenced by the outliers. Then, we introduce the correntropy induced metric, Huber function and Cauchy function for weights respectively, to handle the outliers. Finally, we introduce a manifold regularization to overcome the rotational ambiguity of NTF. We have compared the proposed method with a number of representative references covering major branches of NTF on a variety of real-world image databases. Experimental results illustrate the effectiveness of the proposed method under two evaluation metrics (accuracy and nmi).


title: Spin-state Gaps and Self-Interaction-Corrected Density Functional Approximations: Octahedral Fe(II) Complexes as Case Study

abstract: Accurate prediction of spin-state energy difference is crucial for understanding the spin crossover (SCO) phenomena and is very challenging for the density functional approximations, especially for the local and semi-local approximations, due to delocalization errors. Here, we investigate the effect of self-interaction error removal from the local spin density approximation (LSDA) and PBE generalized gradient approximation (GGA) on the spin-state gaps of Fe(II) complexes with various ligands using recently developed locally scaled self-interaction correction (LSIC) by Zope et al. [J. Chem. Phys. 151, 214108 (2019)]. The LSIC method is exact for one-electron density, which recovers uniform electron gas limit of underlying functional and approaches the well-known Perdew-Zunger self-interaction correction [Phys. Rev. B, 23, 5048 (1981)] (PZSIC) as a special case when the scaling factor is constant. Our results, when compared with reference diffusion Monte Carlo (DMC) results, show that the PZSIC method significantly overestimates spin-state gaps favoring low spin states for all ligands and does not improve upon DFAs. The perturbative LSIC-LSDA using PZSIC densities significantly improves the gaps with a mean absolute error of 0.51 eV but slightly overcorrects for the stronger CO ligands. The quasi-self-consistent LSIC-LSDA, like CCSD(T), gives a correct sign of spin-state gaps for all ligands with MAE of 0.56 eV, comparable to that of CCSD(T) (0.49 eV).


title: Policy-Based Reinforcement Learning for Assortative Matching in Human Behavior Modeling

abstract: This paper explores human behavior in virtual networked communities, specifically individuals or groups' potential and expressive capacity to respond to internal and external stimuli, with assortative matching as a typical example. A modeling approach based on Multi-Agent Reinforcement Learning (MARL) is proposed, adding a multi-head attention function to the A3C algorithm to enhance learning effectiveness. This approach simulates human behavior in certain scenarios through various environmental parameter settings and agent action strategies. In our experiment, reinforcement learning is employed to serve specific agents that learn from environment status and competitor behaviors, optimizing strategies to achieve better results. The simulation includes individual and group levels, displaying possible paths to forming competitive advantages. This modeling approach provides a means for further analysis of the evolutionary dynamics of human behavior, communities, and organizations in various socioeconomic issues.


title: From fat droplets to floating forests: cross-domain transfer learning using a PatchGAN-based segmentation model

abstract: Many scientific domains gather sufficient labels to train machine algorithms through human-in-the-loop techniques provided by the Zooniverse.org citizen science platform. As the range of projects, task types and data rates increase, acceleration of model training is of paramount concern to focus volunteer effort where most needed. The application of Transfer Learning (TL) between Zooniverse projects holds promise as a solution. However, understanding the effectiveness of TL approaches that pretrain on large-scale generic image sets vs. images with similar characteristics possibly from similar tasks is an open challenge. We apply a generative segmentation model on two Zooniverse project-based data sets: (1) to identify fat droplets in liver cells (FatChecker; FC) and (2) the identification of kelp beds in satellite images (Floating Forests; FF) through transfer learning from the first project. We compare and contrast its performance with a TL model based on the COCO image set, and subsequently with baseline counterparts. We find that both the FC and COCO TL models perform better than the baseline cases when using >75% of the original training sample size. The COCO-based TL model generally performs better than the FC-based one, likely due to its generalized features. Our investigations provide important insights into usage of TL approaches on multi-domain data hosted across different Zooniverse projects, enabling future projects to accelerate task completion.


title: $4$-choosability of planar graphs with $4$-cycles far apart via the Combinatorial Nullstellensatz

abstract: By a well-known theorem of Thomassen and a planar graph depicted by Voigt, we know that every planar graph is $5$-choosable, and the bound is tight. In 1999, Lam, Xu and Liu reduced $5$ to $4$ on $C_4$-free planar graphs. In the paper, by applying the famous Combinatorial Nullstellensatz, we design an effective algorithm to deal with list coloring problems. At the same time, we prove that a planar graph $G$ is $4$-choosable if any two $4$-cycles having distance at least $5$ in $G$, which extends the result of Lam et al.


title: Detecting Hidden Communities by Power Iterations with Connections to Vanilla Spectral Algorithms

abstract: Community detection in the stochastic block model is one of the central problems of graph clustering. Since its introduction, many subsequent papers have made great strides in solving and understanding this model. In this setup, spectral algorithms have been one of the most widely used frameworks. However, despite the long history of study, there are still unsolved challenges. One of the main open problems is the design and analysis of "simple"(vanilla) spectral algorithms, especially when the number of communities is large. In this paper, we provide two algorithms. The first one is based on the power-iteration method. It is a simple algorithm which only compares the rows of the powered adjacency matrix. Our algorithm performs optimally (up to logarithmic factors) compared to the best known bounds in the dense graph regime by Van Vu (Combinatorics Probability and Computing, 2018). Furthermore, our algorithm is also robust to the "small cluster barrier", recovering large clusters in the presence of an arbitrary number of small clusters. Then based on a connection between the powered adjacency matrix and eigenvectors, we provide a vanilla spectral algorithm for large number of communities in the balanced case. This answers an open question by Van Vu (Combinatorics Probability and Computing, 2018) in the balanced case. Our methods also partially solve technical barriers discussed by Abbe, Fan, Wang and Zhong (Annals of Statistics, 2020). In the technical side, we introduce a random partition method to analyze each entry of a powered random matrix. This method can be viewed as an eigenvector version of Wigner's trace method. Recall that Wigner's trace method links the trace of powered matrix to eigenvalues. Our method links the whole powered matrix to the span of eigenvectors. We expect our method to have more applications in random matrix theory.


title: Tell Your Story: Task-Oriented Dialogs for Interactive Content Creation

abstract: People capture photos and videos to relive and share memories of personal significance. Recently, media montages (stories) have become a popular mode of sharing these memories due to their intuitive and powerful storytelling capabilities. However, creating such montages usually involves a lot of manual searches, clicks, and selections that are time-consuming and cumbersome, adversely affecting user experiences. To alleviate this, we propose task-oriented dialogs for montage creation as a novel interactive tool to seamlessly search, compile, and edit montages from a media collection. To the best of our knowledge, our work is the first to leverage multi-turn conversations for such a challenging application, extending the previous literature studying simple media retrieval tasks. We collect a new dataset C3 (Conversational Content Creation), comprising 10k dialogs conditioned on media montages simulated from a large media collection. We take a simulate-and-paraphrase approach to collect these dialogs to be both cost and time efficient, while drawing from natural language distribution. Our analysis and benchmarking of state-of-the-art language models showcase the multimodal challenges present in the dataset. Lastly, we present a real-world mobile demo application that shows the feasibility of the proposed work in real-world applications. Our code and data will be made publicly available.


title: $T$-depth-optimized Quantum Search with Quantum Data-access Machine

abstract: Quantum search algorithms offer a remarkable advantage of quadratic reduction in query complexity using quantum superposition principle. However, how an actual architecture may access and handle the database in a quantum superposed state has been largely unexplored so far; the quantum state of data was simply assumed to be prepared and accessed by a black-box operation -- so-called oracle, even though this process, if not appropriately designed, may adversely diminish the quantum query advantage. Here, we introduce an efficient quantum data-access process, dubbed as quantum data-access machine (QDAM), and present a general architecture for quantum search algorithm. We analyze the runtime of our algorithm in view of the fault-tolerant quantum computation (FTQC) consisting of logical qubits within an effective quantum error correction code. Specifically, we introduce a measure involving two computational complexities, i.e. quantum query and $T$-depth complexities, which can be critical to assess performance since the logical non-Clifford gates, such as the $T$ (i.e., $\pi/8$ rotation) gate, are known to be costliest to implement in FTQC. Our analysis shows that for $N$ searching data, a QDAM model exhibiting a logarithmic, i.e., $O(\log{N})$, growth of the $T$-depth complexity can be constructed. Further analysis reveals that our QDAM-embedded quantum search requires $O(\sqrt{N} \times \log{N})$ runtime cost. Our study thus demonstrates that the quantum data search algorithm can truly speed up over classical approaches with the logarithmic $T$-depth QDAM as a key component.


title: Privacy-Aware Compression for Federated Learning Through Numerical Mechanism Design

abstract: In private federated learning (FL), a server aggregates differentially private updates from a large number of clients in order to train a machine learning model. The main challenge in this setting is balancing privacy with both classification accuracy of the learnt model as well as the number of bits communicated between the clients and server. Prior work has achieved a good trade-off by designing a privacy-aware compression mechanism, called the minimum variance unbiased (MVU) mechanism, that numerically solves an optimization problem to determine the parameters of the mechanism. This paper builds upon it by introducing a new interpolation procedure in the numerical design process that allows for a far more efficient privacy analysis. The result is the new Interpolated MVU mechanism that is more scalable, has a better privacy-utility trade-off, and provides SOTA results on communication-efficient private FL on a variety of datasets.


title: Final Report on MITRE Evaluations for the DARPA Big Mechanism Program

abstract: This report presents the evaluation approach developed for the DARPA Big Mechanism program, which aimed at developing computer systems that will read research papers, integrate the information into a computer model of cancer mechanisms, and frame new hypotheses. We employed an iterative, incremental approach to the evaluation of the three phases of the program. In Phase I, we evaluated the ability of system and human teams ability to read-with-a-model to capture mechanistic information from the biomedical literature, integrated with information from expert curated biological databases. In Phase II we evaluated the ability of systems to assemble fragments of information into a mechanistic model. The Phase III evaluation focused on the ability of systems to provide explanations of experimental observations based on models assembled (largely automatically) by the Big Mechanism process. The evaluation for each phase built on earlier evaluations and guided developers towards creating capabilities for the new phase. The report describes our approach, including innovations such as a reference set (a curated data set limited to major findings of each paper) to assess the accuracy of systems in extracting mechanistic findings in the absence of a gold standard, and a method to evaluate model-based explanations of experimental data. Results of the evaluation and supporting materials are included in the appendices.


title: Entanglement Dynamics of the Non-Unitary Holographic Channel

abstract: We study the dynamical properties of a strongly scrambling quantum circuit involving a projective measurement on a finite-sized region by studying the operator entanglement entropy and mutual information (OEE and BOMI) of the dual operator state that corresponds to this quantum circuit. The time-dependence of the OEE exhibits a new dynamical behavior of operator entanglement, namely an additional fractional coefficient that accompanies the linear time growth of the OEE. For a holographic system, this is equivalent to an additional fractional coefficient that modifies the linear growth rate of the wormhole volume. The time-dependence of the BOMI shows that the projective measurement may destroy the non-local correlations in this dual state. We also propose a gravity dual as well as a line-tension picture, which is an effective model, that describe this strongly scrambling quantum circuit.


title: Digital Transformation of Nature Tourism

abstract: The purpose of this article is to explore the digital behavior of nature tourism SMEs in the department of Magdalena-Colombia, hereinafter referred to as the region. In this sense, the concept of endogenization as an evolutionary mechanism refers to the application of the discrete choice model as an engine of analysis for the variables to be studied within the model. The type of study was quantitative, of correlational level, the sample was 386 agents of the tourism chain; a survey-type instrument with five factors and a Likert-type scale was used for data collection. For the extraction of the factors, a confirmatory factor analysis was used, using structural equations, followed by a discrete choice model and then the analysis of the results. Among the main findings are that the SMEs in the tourism chain that tried to incorporate Big Data activities in the decision-making processes, have greater chances of success in the digital transformation, in addition, statistical evidence was found that the training of staff in Data Science, contributes significantly to the marketing and commercialization processes within the SME in this region.


title: Understanding the Role of Mixup in Knowledge Distillation: An Empirical Study

abstract: Mixup is a popular data augmentation technique based on creating new samples by linear interpolation between two given data samples, to improve both the generalization and robustness of the trained model. Knowledge distillation (KD), on the other hand, is widely used for model compression and transfer learning, which involves using a larger network's implicit knowledge to guide the learning of a smaller network. At first glance, these two techniques seem very different, however, we found that "smoothness" is the connecting link between the two and is also a crucial attribute in understanding KD's interplay with mixup. Although many mixup variants and distillation methods have been proposed, much remains to be understood regarding the role of a mixup in knowledge distillation. In this paper, we present a detailed empirical study on various important dimensions of compatibility between mixup and knowledge distillation. We also scrutinize the behavior of the networks trained with a mixup in the light of knowledge distillation through extensive analysis, visualizations, and comprehensive experiments on image classification. Finally, based on our findings, we suggest improved strategies to guide the student network to enhance its effectiveness. Additionally, the findings of this study provide insightful suggestions to researchers and practitioners that commonly use techniques from KD. Our code is available at https://github.com/hchoi71/MIX-KD.


title: Final stage of merging binaries of supermassive black holes: observational signatures

abstract: There are increasing interests in binary supermassive black holes (SMBHs), but merging binaries with separations smaller than ~1 light days (~10^2 gravitational radii for 10^8 Msun), which are rapidly evolving under control of gravitational waves, are elusive in observations. In this paper, we discuss fates of mini-disks around component SMBHs for three regimes: 1) low rates (advection-dominated accretion flows: ADAFs); 2) intermediate rates; 3) super-Eddington accretion rates. Mini-disks with intermediate rates are undergoing evaporation through thermal conduction of hot corona forming a hybrid radial structure. When the binary orbital periods are shorter than sound propagation timescales of the evaporated mini-disks, a new instability, denoted as sound instability, arises because the disks will be highly twisted so that they are destroyed. We demonstrate a critical separation of A_{crit}~10^2 Rg from the sound instability of the mini-disks and the cavity is full of hot gas. For those binaries, component SMBHs are accreting with Bondi mode in the ADAF regime, showing periodic variations resulting from Doppler boosting effects in radio from the ADAFs due to orbital motion. In the mean while, the circumbinary disks (CBDs) are still not hot enough (ultraviolet deficit) to generate photons to ionize gas for broad emission lines. For slightly super-Eddington accretion of the CBDs, MgII line appears with decreases of UV deficit, and for intermediate super-Eddington Balmer lines appear, but CIV line never unless CBD accretion rates are extremely high. Moreover, if the CBDs are misaligned with the binary plane, it is then expected to have optical periodical variations with about ten times radio periods.


title: Neutron skin of $^{27}$Al with Skyrme and Korea-IBS-Daegu-SKKU density functionals

abstract: Recent measurement of the parity-violating (PV) asymmetry in the elastic electron scattering on $^{27}$Al target evokes the interest in the distribution of the neutron in the nucleus. In this work, we calculate the neutron skin thickness ($R_{np}$) of $^{27}$Al with nonrelativistic nuclear structure models. We focus on the role of the effective mass, symmetry energy and pairing force. Models are selected to have effective masses in the range $(0.58-1.05)M$ where $M$ is the nucleon mass in free space, and stiffness of the symmetry energy is varied by choosing the slope of the symmetry energy in the range 9.4 -- 100.5 MeV. Effect of pairing force is investigated by calculating $R_{np}$ with and without pairing, and using two different forms of the pairing force. With nine models, we obtain $R_{np} = 0.001 - 0.014$ fm. The result is independent of the effective mass, symmetry energy, and the form of pairing force. However, $R_{np}$ is negative when the pairing force is switched off, so the pairing force plays an essential role to make $R_{np}$ positive and constrained in a narrow range. We also calculate the PV asymmetry ($A_{\rm pv}$) in the elastic electron-$^{27}$Al scattering in the Born approximation at the kinematics of the Qweak experiment. We obtain a very narrow-ranged result $A_{\rm pv} = $ (2.07 -- 2.09) $\times 10^{-6}$. The result is consistent with the experiment and insensitive to the effective mass, symmetry energy and pairing force.


title: Non-Sequential Decentralized Stochastic Control Revisited: Causality and Static Reducibility

abstract: In decentralized stochastic control (or stochastic team theory) and game theory, if there is a pre-defined order in a system in which the agents act, the system is called sequential, otherwise it is non-sequential. Much of the literature on stochastic control theory, such as studies on the existence analysis, approximation methods, and on dynamic programming or other analytical or learning theoretic methods, have focused on sequential systems. The static reduction method for sequential control problems (via change of measures or other techniques), in particular, has been shown to be very effective in arriving at existence, structural, approximation and learning theoretic results. Many practical systems, however, are non-sequential where the order of agents acting is random, and dependent on the realization of solution paths and prior actions taken. The study of such systems is particularly challenging as tools applicable for sequential models are not directly applicable. In this paper, we will study static reducibility of non-sequential stochastic control systems, including by change of measure methods. We revisit the notion of Causality (a definition due to Witsenhausen and which has been refined by Andersland and Tekenetzis), and provide an alternative representation using imaginary agents. Via this representation, we show that Causality, under an absolute continuity condition, allows for an equivalent static model whose reduction is policy-independent. This facilitates much of the stochastic analysis available for sequential systems to also be applicable for non-sequential systems. We further show that under more relaxed conditions on the model, such as solvability, such a reduction, when possible at all, is policy-dependent and thus has limited utility. We will also present a further reduction method for partially nested causal non-sequential systems.


title: Alleviating Sparsity of Open Knowledge Graphs with Ternary Contrastive Learning

abstract: Sparsity of formal knowledge and roughness of non-ontological construction make sparsity problem particularly prominent in Open Knowledge Graphs (OpenKGs). Due to sparse links, learning effective representation for few-shot entities becomes difficult. We hypothesize that by introducing negative samples, a contrastive learning (CL) formulation could be beneficial in such scenarios. However, existing CL methods model KG triplets as binary objects of entities ignoring the relation-guided ternary propagation patterns and they are too generic, i.e., they ignore zero-shot, few-shot and synonymity problems that appear in OpenKGs. To address this, we propose TernaryCL, a CL framework based on ternary propagation patterns among head, relation and tail. TernaryCL designs Contrastive Entity and Contrastive Relation to mine ternary discriminative features with both negative entities and relations, introduces Contrastive Self to help zero- and few-shot entities learn discriminative features, Contrastive Synonym to model synonymous entities, and Contrastive Fusion to aggregate graph features from multiple paths. Extensive experiments on benchmarks demonstrate the superiority of TernaryCL over state-of-the-art models.


title: Non-noise sensitivity for word hyperbolic groups

abstract: We show that non-elementary random walks on word hyperbolic groups with finite first moment are not noise sensitive in a strong sense for small noise parameters.


title: Optimal design of large-scale nonlinear Bayesian inverse problems under model uncertainty

abstract: We consider optimal experimental design (OED) for Bayesian nonlinear inverse problems governed by partial differential equations (PDEs) under model uncertainty. Specifically, we consider inverse problems in which, in addition to the inversion parameters, the governing PDEs include secondary uncertain parameters. We focus on problems with infinite-dimensional inversion and secondary parameters and present a scalable computational framework for optimal design of such problems. The proposed approach enables Bayesian inversion and OED under uncertainty within a unified framework. We build on the Bayesian approximation error (BAE) approach, to incorporate modeling uncertainties in the Bayesian inverse problem, and methods for A-optimal design of infinite-dimensional Bayesian nonlinear inverse problems. Specifically, a Gaussian approximation to the posterior at the maximum a posteriori probability point is used to define an uncertainty aware OED objective that is tractable to evaluate and optimize. In particular, the OED objective can be computed at a cost, in the number of PDE solves, that does not grow with the dimension of the discretized inversion and secondary parameters. The OED problem is formulated as a binary bilevel PDE constrained optimization problem and a greedy algorithm, which provides a pragmatic approach, is used to find optimal designs. We demonstrate the effectiveness of the proposed approach for a model inverse problem governed by an elliptic PDE on a three-dimensional domain. Our computational results also highlight the pitfalls of ignoring modeling uncertainties in the OED and/or inference stages.


title: Cylindric $P$-Tableaux for (3+1)-Free Posets

abstract: For a $(3+1)$-free poset $P$, we define a hybrid of $P$-tableaux and cylindric tableaux called cylindric $P$-tableaux. We introduce $P$-analogs of cylindric Schur functions, defined by a determinantal formula, and prove that they are the weight generating functions of cylindric $P$-tableaux. We deduce that certain sums of the $e$-expansion coefficients of the chromatic symmetric function $X_{inc(P)}$ are positive. This improves on Gasharov's theorem on the Schur positivity of $X_{inc(P)}$ and gives further evidence for the Stanley-Stembridge conjecture.


title: Deviations to $\mu-\tau$ symmetry in a cobimaximal scenario

abstract: Within the different patterns of the neutrino mixing matrix, the cobimaximal mixing remains a plausible possibility for understanding the flavor structure of neutrinos as it is consistent with current experimental data. Such a pattern is related to a concrete form of the mass matrix, displaying a $\mu-\tau$ reflection symmetry, which has motivated many theoretical investigations in recent years. In this paper, we discuss the effects of the Majorana phases over a $\mu-\tau$ symmetric mass matrix obtained from a cobimaximal mixing matrix. We investigate how these phases could be restricted through deviations from the symmetric scenario and the most precise determinations of the mixing parameters. Some of our relations could be tested with future results.


title: Spectroscopy of chimera baryons in a $Sp(4)$ lattice gauge theory

abstract: Chimera baryons are an important element of strongly coupled theories that provide a microscopic origin for UV complete composite Higgs models (CHMs), since they play the role of top partners in top partial compositeness. In a particular interesting realisation of CHMs based upon an underlying $Sp(4)$ gauge theory, such exotic objects are composed of two fermion constituents transforming on the fundamental, and one on the 2-index antisymmetric representations. We perform lattice computations of the chimera baryon spectrum in the quenched approximation. We present preliminary results for the masses of various chimera baryons with different quantum numbers, including the one interpreted as the top partner. We test the technology needed for future calculations with dynamical fermions.


title: Significance-Based Categorical Data Clustering

abstract: Although numerous algorithms have been proposed to solve the categorical data clustering problem, how to access the statistical significance of a set of categorical clusters remains unaddressed. To fulfill this void, we employ the likelihood ratio test to derive a test statistic that can serve as a significance-based objective function in categorical data clustering. Consequently, a new clustering algorithm is proposed in which the significance-based objective function is optimized via a Monte Carlo search procedure. As a by-product, we can further calculate an empirical $p$-value to assess the statistical significance of a set of clusters and develop an improved gap statistic for estimating the cluster number. Extensive experimental studies suggest that our method is able to achieve comparable performance to state-of-the-art categorical data clustering algorithms. Moreover, the effectiveness of such a significance-based formulation on statistical cluster validation and cluster number estimation is demonstrated through comprehensive empirical results.