title: The anachronism of whole-GPU accounting

abstract: NVIDIA has been making steady progress in increasing the compute performance of its GPUs, resulting in order of magnitude compute throughput improvements over the years. With several models of GPUs coexisting in many deployments, the traditional accounting method of treating all GPUs as being equal is not reflecting compute output anymore. Moreover, for applications that require significant CPU-based compute to complement the GPU-based compute, it is becoming harder and harder to make full use of the newer GPUs, requiring sharing of those GPUs between multiple applications in order to maximize the achievable science output. This further reduces the value of whole-GPU accounting, especially when the sharing is done at the infrastructure level. We thus argue that GPU accounting for throughput-oriented infrastructures should be expressed in GPU core hours, much like it is normally done for the CPUs. While GPU core compute throughput does change between GPU generations, the variability is similar to what we expect to see among CPU cores. To validate our position, we present an extensive set of run time measurements of two IceCube photon propagation workflows on 14 GPU models, using both on-prem and Cloud resources. The measurements also outline the influence of GPU sharing at both HTCondor and Kubernetes infrastructure level.


title: Rensets and Renaming-Based Recursion for Syntax with Bindings

abstract: I introduce renaming-enriched sets (rensets for short), which are algebraic structures axiomatizing fundamental properties of renaming (also known as variable-for-variable substitution) on syntax with bindings. Rensets compare favorably in some respects with the well-known foundation based on nominal sets. In particular, renaming is a more fundamental operator than the nominal swapping operator and enjoys a simpler, equationally expressed relationship with the variable freshness predicate. Together with some natural axioms matching properties of the syntactic constructors, rensets yield a truly minimalistic characterization of lambda-calculus terms as an abstract datatype -- one involving a recursively enumerable set of unconditional equations, referring only to the most fundamental term operators: the constructors and renaming. This characterization yields a recursion principle, which (similarly to the case of nominal sets) can be improved by incorporating Barendregt's variable convention. When interpreting syntax in semantic domains, my renaming-based recursor is easier to deploy than the nominal recursor. My results have been validated with the proof assistant Isabelle/HOL.


title: $\omega$-FWI: Robust full-waveform inversion with Fourier-based metric

abstract: Full-waveform inversion is a cutting-edge methodology for recovering high-resolution subsurface models. However, one of the main conventional full-waveform optimization problems challenges is cycle-skipping, usually leading us to an inaccurate local minimum model. A highly investigated track to alleviate this challenge involves designing a more global measure of misfit between the observed and modelled data beyond the sample-to-sample comparison. However, most of these approaches admit relatively smooth inversion results. Here, we introduce a novel misfit function based on the Fourier-based metric. This metric has been successfully applied in molecular physics for solving the Boltzmann equation, and we adapt it to full-waveform inversion. This misfit function exploits the power spectrum information between the modelled and observed data to provide low-wavenumber velocity model updates early, and more high resolution updates as we approach the solution. Thus, it also can be reformulated as a weighted $\ell_{2}$-norm in a quadratic case, which can be seen as a simple extension for conventional full-waveform inversion. Thus, despite its robustness to cycle skipping, it is capable of delivering high-resolution models synonymous to conventional FWI. Considering its frequency domain utilization, we refer to this inversion method as $\omega$-FWI. Through the synthetic Marmousi model example, this method successfully recovers an accurate velocity model, starting from a linearly increasing model even for the case of noisy observed data and the lack of low frequencies below 3 Hz and 5Hz, in which the conventional $\ell_{2}$-norm full-waveform inversion suffers from cycle skipping.


title: GRACE-C: Generalized Rate Agnostic Causal Estimation via Constraints

abstract: Graphical structures estimated by causal learning algorithms from time series data can provide misleading causal information if the causal timescale of the generating process fails to match the measurement timescale of the data. Existing algorithms provide limited resources to respond to this challenge, and so researchers must either use models that they know are likely misleading, or else forego causal learning entirely. Existing methods face up-to-four distinct shortfalls, as they might 1) require that the difference between causal and measurement timescales is known; 2) only handle very small number of random variables when the timescale difference is unknown; 3) only apply to pairs of variables; or 4) be unable to find a solution given statistical noise in the data. This research addresses these challenges. Our approach combines constraint programming with both theoretical insights into the problem structure and prior information about admissible causal interactions to achieve multiple orders of magnitude in speed-up. The resulting system maintains theoretical guarantees while scaling to significantly larger sets of random variables (>100) without knowledge of timescale differences. This method is also robust to edge misidentification and can use parametric connection strengths, while optionally finding the optimal solution among many possible ones.


title: Rectangular and square skyrmion crystals on a centrosymmetric square lattice with easy-axis anisotropy

abstract: We report our theoretical results on the emergence of rectangular- and square-shaped magnetic skyrmion crystals on a centrosymmetric square lattice with magnetic anisotropy. By performing the simulated annealing for a frustrated spin model with an easy-axis single-ion anisotropy on a square lattice, we find that a competition of the interactions in momentum space gives rise to the formation of two skyrmion crystals, where the skyrmion cores are aligned in a rectangle- or square-lattice way. Especially, the interactions at the higher harmonic wave vectors play an important role in stabilizing the square/rectangular skyrmion crystals. Our results provide a reference to explore further skyrmion-hosting materials in centrosymmetric tetragonal systems.


title: On the homotopy type of the iterated clique graphs of low degree

abstract: To any simple graph \(G\), the clique graph operator \(K\) assigns the graph \(K(G)\) which is the intersection graph of the maximal complete subgraphs of \(G\). The iterated clique graphs are defined by \(K^{0}(G)=G\) and \(K^{n}(G)=K(K^{n-1}(G))\) for \(n\geq 1\). We associate topological concepts to graphs by means of the simplicial complex \(\mathrm{Cl}(G)\) of complete subgraphs of \(G\). Hence we say that the graphs \(G_{1}\) and \(G_{2}\) are homotopic whenever \(\mathrm{Cl}(G_{1})\) and \(\mathrm{Cl}(G_{2})\) are. A graph \(G\) such that \(K^{n}(G)\simeq G\) for all \(n\geq1\) is called \emph{\(K\)-homotopy permanent}. A graph is \emph{Helly} if the collection of maximal complete subgraphs of \(G\) has the Helly property. Let \(G\) be a Helly graph. Escalante (1973) proved that \(K(G)\) is Helly, and Prisner (1992) proved that \(G\simeq K(G)\), and so Helly graphs are \(K\)-homotopy permanent. We conjecture that if a graph \(G\) satisfies that \(K^{m}(G)\) is Helly for some \(m\geq1\), then \(G\) is \(K\)-homotopy permanent. If a connected graph has maximum degree at most four and is different from the octahedral graph, we say that it is a \emph{low degree graph}. It was recently proven that all low degree graphs \(G\) satisfy that \(K^{2}(G)\) is Helly. In this paper, we show that all low degree graphs have the homotopy type of a wedge or circumferences, and that they are \(K\)-homotopy permanent.


title: Linear prediction of point process times and marks

abstract: In this paper, we are interested in linear prediction of a particular kind of stochastic process, namely a marked temporal point process. The observations are event times recorded on the real line, with marks attached to each event. We show that in this case, linear prediction extends straightforwardly from the theory of prediction for stationary stochastic processes. Following classical lines, we derive a Wiener-Hopf-type integral equation to characterise the linear predictor, extending the "model independent origin" of the Hawkes process (Jaisson, 2015) as a corollary. We propose two recursive methods to solve the linear prediction problem and show that these are computationally efficient in known cases. The first solves the Wiener-Hopf equation via a set of differential equations. It is particularly well-adapted to autoregressive processes. In the second method, we develop an innovations algorithm tailored for moving-average processes. A small simulation study on two typical examples shows the application of numerical schemes for estimation of a Hawkes process intensity.


title: Readle: A Formal Framework for Designing AI-based Edge Systems

abstract: With the wide spread use of AI-driven systems in the edge (a.k.a edge intelligence systems), such as autonomous driving vehicles, wearable biotech devices, intelligent manufacturing, etc., such systems are becoming very critical for our day-to-day lives. A challenge in designing edge intelligence systems is that we have to deal with a large number of constraints in two design spaces that form the basis of such systems: the edge design space and the deep learning design space. Thus in this work, a new systematic, extendable, manual approach, READLE, is proposed for creating representations of specifications in edge intelligent systems, capturing constraints in the edge system design space (e.g. timing constraints and other performance constraints) and constraints in the deep learning space (e.g. model training duration, required level of accuracy) in a coherent fashion. In particular, READLE leverages benefits of real-time logic and binary decision diagrams to generate unified specifications. Several insights learned in building READLE are also discussed, which should help in future research in the domain of formal specifications for edge intelligent systems.


title: Debiasing Neural Retrieval via In-batch Balancing Regularization

abstract: People frequently interact with information retrieval (IR) systems, however, IR models exhibit biases and discrimination towards various demographics. The in-processing fair ranking methods provide a trade-offs between accuracy and fairness through adding a fairness-related regularization term in the loss function. However, there haven't been intuitive objective functions that depend on the click probability and user engagement to directly optimize towards this. In this work, we propose the In-Batch Balancing Regularization (IBBR) to mitigate the ranking disparity among subgroups. In particular, we develop a differentiable \textit{normed Pairwise Ranking Fairness} (nPRF) and leverage the T-statistics on top of nPRF over subgroups as a regularization to improve fairness. Empirical results with the BERT-based neural rankers on the MS MARCO Passage Retrieval dataset with the human-annotated non-gendered queries benchmark \citep{rekabsaz2020neural} show that our IBBR method with nPRF achieves significantly less bias with minimal degradation in ranking performance compared with the baseline.


title: Neural ODE Control for Trajectory Approximation of Continuity Equation

abstract: We consider the controllability problem for the continuity equation, corresponding to neural ordinary differential equations (ODEs), which describes how a probability measure is pushedforward by the flow. We show that the controlled continuity equation has very strong controllability properties. Particularly, a given solution of the continuity equation corresponding to a bounded Lipschitz vector field defines a trajectory on the set of probability measures. For this trajectory, we show that there exist piecewise constant training weights for a neural ODE such that the solution of the continuity equation corresponding to the neural ODE is arbitrarily close to it. As a corollary to this result, we establish that the continuity equation of the neural ODE is approximately controllable on the set of compactly supported probability measures that are absolutely continuous with respect to the Lebesgue measure.


title: Geodesic nets on non-compact Riemannian manifolds

abstract: A geodesic flower is a finite collection of geodesic loops based at the same point $p$ that satisfy the following balancing condition: The sum of all unit tangent vectors to all geodesic arcs meeting at $p$ is equal to the zero vector. In particular, a geodesic flower is a stationary geodesic net. We prove that in every complete non-compact manifold with locally convex ends there exists a non-trivial geodesic flower.


title: Frequency-Competitive Query Strategies to Maintain Low Congestion Potential Among Moving Entities

abstract: We consider the problem of using location queries to monitor the congestion potential among a collection of entities moving, with bounded speed but otherwise unpredictably, in $d$-dimensional Euclidean space. Uncertainty in entity locations due to potential motion between queries gives rise to a space of possible entity configurations at each moment in time, with possibly very different congestion properties. We define different measures of what we call the congestion potential of such spaces, in terms of the (dynamic) intersection graph of the uncertainty regions associated with entities, to describe the congestion that might actually occur. Previous work [SoCG'13, EuroCG'14, SICOMP'16, SODA'19], in the same uncertainty model, addressed the problem of minimizing congestion potential using location queries of some bounded frequency. It was shown that it is possible to design a query scheme that is $O(1)$-competitive, in terms of worst-case congestion potential, with other, even clairvoyant query schemes (that know the trajectories of all entities), subject to the same bound on query frequency. In this paper we address the dual problem: how to guarantee a fixed bound on congestion potential while minimizing the query frequency, measured in terms of total number of queries or the minimum spacing between queries (granularity), over any fixed time interval. This complementary objective necessitates quite different algorithms and analyses. Nevertheless, our results parallel those of the earlier papers, specifically tight competitive bounds on required query frequency, with a few surprising differences.


title: Riemannian Metric Learning via Optimal Transport

abstract: We introduce an optimal transport-based model for learning a metric tensor from cross-sectional samples of evolving probability measures on a common Riemannian manifold. We neurally parametrize the metric as a spatially-varying matrix field and efficiently optimize our model's objective using a simple alternating scheme. Using this learned metric, we can nonlinearly interpolate between probability measures and compute geodesics on the manifold. We show that metrics learned using our method improve the quality of trajectory inference on scRNA and bird migration data at the cost of little additional cross-sectional data.


title: Deterministic Near-Optimal Distributed Listing of Cliques

abstract: The importance of classifying connections in large graphs has been the motivation for a rich line of work on distributed subgraph finding that has led to exciting recent breakthroughs. A crucial aspect that remained open was whether deterministic algorithms can be as efficient as their randomized counterparts, where the latter are known to be tight up to polylogarithmic factors. We give deterministic distributed algorithms for listing cliques of size $p$ in $n^{1 - 2/p + o(1)}$ rounds in the \congest model. For triangles, our $n^{1/3+o(1)}$ round complexity improves upon the previous state of the art of $n^{2/3+o(1)}$ rounds [Chang and Saranurak, FOCS 2020]. For cliques of size $p \geq 4$, ours are the first non-trivial deterministic distributed algorithms. Given known lower bounds, for all values $p \geq 3$ our algorithms are tight up to a $n^{o(1)}$ subpolynomial factor, which comes from the deterministic routing procedure we use.


title: Transformer-based Program Synthesis for Low-Data Environments

abstract: Recent advancements in large pre-trained transformer models (GPT2/3, T5) have found use in program synthesis to generate programs that satisfy a set of input/output examples. However, these models perform poorly on long-horizon and low-data tasks, and often don't seem to understand the semantics of the languages they generate. We investigate an approach that tackles both of these issues, by using attributed context-free-grammars of programming languages to generate programs, and then analyzing generated programs so that they can be annotated with compile and runtime attributes, such as types, so that information about the program can be remembered during long-horizon generation. We firstly find that synthesized datasets can be made efficiently and can provide transformer models with enough data in order to perform well on some synthesis tasks. We also find that giving models access to program attributes is especially effective in low-data environments, and tends improve the quality and reduce errors of transformer-generated programs.


title: Self-mitigating Trotter circuits for SU(2) lattice gauge theory on a quantum computer

abstract: Quantum computers offer the possibility to implement lattice gauge theory in Minkowski rather than Euclidean spacetime, thus allowing calculations of processes that evolve in real time. In this work, calculations within SU(2) pure gauge theory are able to show the motion of an excitation traveling across a spatial lattice in real time. This is accomplished by using a simple yet powerful method for error mitigation, where the original circuit is used both forward and backward in time. For a two-plaquette lattice, meaningful results are obtained from a circuit containing hundreds of CNOT gates. The same method is used for a five-plaquette lattice, where calculations show that residual systematic effects can be reduced through follow-up mitigation.


title: MESH2IR: Neural Acoustic Impulse Response Generator for Complex 3D Scenes

abstract: We propose a mesh-based neural network (MESH2IR) to generate acoustic impulse responses (IRs) for indoor 3D scenes represented using a mesh. The IRs are used to create a high-quality sound experience in interactive applications and audio processing. Our method can handle input triangular meshes with arbitrary topologies (2K - 3M triangles). We present a novel training technique to train MESH2IR using energy decay relief and highlight its benefits. We also show that training MESH2IR on IRs preprocessed using our proposed technique significantly improves the accuracy of IR generation. We reduce the non-linearity in the mesh space by transforming 3D scene meshes to latent space using a graph convolution network. Our MESH2IR is more than 200 times faster than a geometric acoustic algorithm on a CPU and can generate more than 10,000 IRs per second on an NVIDIA GeForce RTX 2080 Ti GPU for a given furnished indoor 3D scene. The acoustic metrics are used to characterize the acoustic environment. We show that the acoustic metrics of the IRs predicted from our MESH2IR match the ground truth with less than 10% error. We also highlight the benefits of MESH2IR on audio and speech processing applications such as speech dereverberation and speech separation. To the best of our knowledge, ours is the first neural-network-based approach to predict IRs from a given 3D scene mesh in real-time.


title: On the Limits of Evaluating Embodied Agent Model Generalization Using Validation Sets

abstract: Natural language guided embodied task completion is a challenging problem since it requires understanding natural language instructions, aligning them with egocentric visual observations, and choosing appropriate actions to execute in the environment to produce desired changes. We experiment with augmenting a transformer model for this task with modules that effectively utilize a wider field of view and learn to choose whether the next step requires a navigation or manipulation action. We observed that the proposed modules resulted in improved, and in fact state-of-the-art performance on an unseen validation set of a popular benchmark dataset, ALFRED. However, our best model selected using the unseen validation set underperforms on the unseen test split of ALFRED, indicating that performance on the unseen validation set may not in itself be a sufficient indicator of whether model improvements generalize to unseen test sets. We highlight this result as we believe it may be a wider phenomenon in machine learning tasks but primarily noticeable only in benchmarks that limit evaluations on test splits, and highlights the need to modify benchmark design to better account for variance in model performance.


title: Bayesian Convolutional Neural Networks for Limited Data Hyperspectral Remote Sensing Image Classification

abstract: Employing deep neural networks for Hyperspectral remote sensing (HSRS) image classification is a challenging task. HSRS images have high dimensionality and a large number of channels with substantial redundancy between channels. In addition, the training data for classifying HSRS images is limited and the amount of available training data is much smaller compared to other classification tasks. These factors complicate the training process of deep neural networks with many parameters and cause them to not perform well even compared to conventional models. Moreover, convolutional neural networks produce over-confident predictions, which is highly undesirable considering the aforementioned problem. In this work, we use for HSRS image classification a special class of deep neural networks, namely a Bayesian neural network (BNN). To the extent of our knowledge, this is the first time that BNNs are used in HSRS image classification. BNNs inherently provide a measure for uncertainty. We perform extensive experiments on the Pavia Centre, Salinas, and Botswana datasets. We show that a BNN outperforms a standard convolutional neural network (CNN) and an off-the-shelf Random Forest (RF). Further experiments underline that the BNN is more stable and robust to model pruning, and that the uncertainty is higher for samples with higher expected prediction error.


title: IL-flOw: Imitation Learning from Observation using Normalizing Flows

abstract: We present an algorithm for Inverse Reinforcement Learning (IRL) from expert state observations only. Our approach decouples reward modelling from policy learning, unlike state-of-the-art adversarial methods which require updating the reward model during policy search and are known to be unstable and difficult to optimize. Our method, IL-flOw, recovers the expert policy by modelling state-state transitions, by generating rewards using deep density estimators trained on the demonstration trajectories, avoiding the instability issues of adversarial methods. We demonstrate that using the state transition log-probability density as a reward signal for forward reinforcement learning translates to matching the trajectory distribution of the expert demonstrations, and experimentally show good recovery of the true reward signal as well as state of the art results for imitation from observation on locomotion and robotic continuous control tasks.


title: Change-point Detection for Sparse and Dense Functional Data in General Dimensions

abstract: We study the problem of change-point detection and localisation for functional data sequentially observed on a general d-dimensional space, where we allow the functional curves to be either sparsely or densely sampled. Data of this form naturally arise in a wide range of applications such as biology, neuroscience, climatology, and finance. To achieve such a task, we propose a kernel-based algorithm named functional seeded binary segmentation (FSBS). FSBS is computationally efficient, can handle discretely observed functional data, and is theoretically sound for heavy-tailed and temporally-dependent observations. Moreover, FSBS works for a general d-dimensional domain, which is the first in the literature of change-point estimation for functional data. We show the consistency of FSBS for multiple change-point estimations and further provide a sharp localisation error rate, which reveals an interesting phase transition phenomenon depending on the number of functional curves observed and the sampling frequency for each curve. Extensive numerical experiments illustrate the effectiveness of FSBS and its advantage over existing methods in the literature under various settings. A real data application is further conducted, where FSBS localises change-points of sea surface temperature patterns in the south Pacific attributed to El Nino.


title: Correction of aberrations via polarization in single layer metalenses

abstract: The correction of multiple aberrations in an optical system requires different optical elements, which increases its cost and complexity. Metasurfaces hold great promise to providing new functionality for miniaturized and low-cost optical systems. A key advantage over their bulk counterparts is the metasurface's ability to respond to the polarization of light, which adds a new degree of freedom to the optical design. Here, we show that polarization control enables a form-birefringent metalens to correct for both spherical and off-axis aberrations using a single element only, which is not possible with bulk optics. The metalens encodes two phase profiles onto the same surface, thus allowing switching from high resolution to wide field of view operation. Such ability to obtain both high resolution and wide field of view in a single layer is an important step towards integration of miniaturized optical systems, which may find many applications, e.g., in microscopy and endoscopy.


title: Color dependence of the topological susceptibility in Yang-Mills theories

abstract: For Yang-Mills theories in four dimensions, we propose to rescale the ratio between topological susceptibility and string tension squared in a universal way, dependent only on group factors. We apply this suggestion to $SU(N_c)$ and $Sp(N_c)$ groups, and compare lattice measurements performed by several independent collaborations. We show that the two sequences of (rescaled) numerical results in these two families of groups are compatible with each other. We hence perform a combined fit, and extrapolate to the common large-$N_c$ limit.


title: CALIPSO: A Differentiable Solver for Trajectory Optimization with Conic and Complementarity Constraints

abstract: We present a new solver for non-convex trajectory optimization problems that is specialized for robotics applications. CALIPSO, or the Conic Augmented Lagrangian Interior-Point SOlver, combines several strategies for constrained numerical optimization to natively handle second-order cones and complementarity constraints. It reliably solves challenging motion-planning problems that include contact-implicit formulations of impacts and Coulomb friction and state-triggered constraints where general-purpose non-convex solvers like SNOPT and Ipopt fail to converge. Additionally, CALIPSO supports efficient differentiation of solutions with respect to problem data, enabling bi-level optimization applications like auto-tuning of feedback policies. Reliable convergence of the solver is demonstrated on a range of problems from manipulation, locomotion, and aerospace domains. An open-source implementation of this solver is available.


title: Training Vision-Language Transformers from Captions

abstract: Vision-Language Transformers can be learned without low-level human labels (e.g. class labels, bounding boxes, etc). Existing work, whether explicitly utilizing bounding boxes or patches, assumes that the visual backbone must first be trained on ImageNet class prediction before being integrated into a multimodal linguistic pipeline. We show that this is not necessary and introduce a new model Vision-Language from Captions (VLC) built on top of Masked Auto-Encoders that does not require this supervision. In fact, in a head-to-head comparison between ViLT, the current state-of-the-art patch-based vision-language transformer which is pretrained with supervised object classification, and our model, VLC, we find that our approach 1. outperforms ViLT on standard benchmarks, 2. provides more interpretable and intuitive patch visualizations, and 3. is competitive with many larger models that utilize ROIs trained on annotated bounding-boxes.


title: Mining Observation and Cognitive Behavior Process Patterns of Bridge Inspector

abstract: In bridge inspection, engineers should diagnose the observed bridge defects by identifying the factors underlying those defects. Traditionally, engineers search and organize structural condition-related information based on visual inspections. Even following the same qualitative inspection standards, experienced engineers tend to find the critical defects and predict the underlying reasons more reliably than less experienced ones. Unique bridge and site conditions, quality of available data, and personal skills and knowledge collectively influence such a subjective nature of data-driven bridge diagnosis. Unfortunately, the lack of detailed data about how experienced engineers observe bridge defects and identify failure modes makes it hard to comprehend what engineers' behaviors form the best practice of producing reliable bridge inspection. Besides, even experienced engineers could sometimes fail to notice critical defects, thereby producing inconsistent, conflicting condition assessments. Therefore, a detailed cognitive behavior analysis of bridge inspectors is critical for enabling a proactive inspector coaching system that uses inspectors' behavior histories to complement personal limitations. This paper presents a computational framework for revealing engineers' observation and cognitive-behavioral processes to identify bridge defects and produce diagnosis conclusions. The authors designed a bridge inspection game consisting of FEM simulation data and inspection reports to capture and analyze experienced and inexperienced engineers' diagnosis behaviors. Mining these behavioral logs have revealed reusable behavioral process patterns that map critical bridge defects and diagnosis conclusions. The results indicate that the proposed method can proactively share inspection experiences and improve inspection processes' explainability and reliability.


title: Bifurcation of a Topological Skyrmion String

abstract: Manipulation of three-dimensional (3D) topological objects is of both fundamental interest and practical importance in many branches of physics. Here, we show by spin dynamics simulations that the bifurcation of a 3D skyrmion string in a layered frustrated system could be induced by the dampinglike spin-orbit torque. The bifurcation of a skyrmion string happens when the skyrmion string carries a minimal topological charge of $Q=2$. We demonstrate that three types of bifurcations could be realized by applying different current injection geometries, which lead to the transformation from I-shaped skyrmion strings to Y-, X-, and O-shaped ones. Besides, different branches of a bifurcated skyrmion string may merge into an isolated skyrmion string spontaneously. The mechanism of bifurcation should be universal to any skyrmion strings with $Q\geq 2$ in the layered frustrated system and could offer a general approach to manipulate 3D stringlike topological objects for spintronic functions.


title: Centralized Model-Predictive Control with Human-Driver Interaction for Platooning

abstract: Cooperative adaptive cruise control presents an opportunity to improve road transportation through increase in road capacity and reduction in energy use and accidents. Clever design of control algorithms and communication systems is required to ensure that the vehicle platoon is stable and meets desired safety requirements. In this paper, we propose a centralized model predictive controller for a heterogeneous platoon of vehicles to reach a desired platoon velocity and individual inter-vehicle distances with driver-selected headway time. As a novel concept, we allow for interruption from a human driver in the platoon that temporarily takes control of their vehicle with the assumption that the driver will, at minimum, obey legal velocity limits and the physical performance constraints of their vehicle. The finite horizon cost function of our proposed platoon controller is inspired from the infinite horizon design. To the best of our knowledge, this is the first platoon controller that integrates human-driven vehicles. We illustrate the performance of our proposed design with a numerical study, demonstrating that the safety distance, velocity, and actuation constraints are obeyed. Additionally, in simulation we illustrate a key property of string stability where the impact of a disturbance is reduced through the platoon.


title: Gorenstein projective objects and recollements of Abelian categories

abstract: In this paper, we study the relationship of Gorenstein projective objects among three Abelian categories in a recollement. As an application, we introduce the relation of $n$-Gorenstein tilting modules (and Gorenstein syzygy modules) in three Abelian categories. For a recollement of Abelian categories, we show that a resolving subcategory induce two resolving subcategories. On the other hand, we also prove that two resolving subcategories can induce a resolving subcategory. Moreover, we give the size relationship between the relative global dimensions of three Abelian categories.


title: Gravitational waves from MHD turbulence at the QCD phase transition as a source for Pulsar Timing Arrays

abstract: We propose that the recent observations reported by the different Pulsar Timing Array (PTA) collaborations (i.e.~IPTA, EPTA, PPTA, and NANOGrav) of a common process over several pulsars could correspond to a stochastic gravitational wave background (SGWB) produced by turbulent sources in the early universe, in particular due to the magnetohydrodynamic (MHD) turbulence induced by primordial magnetic fields. I discuss recent results of numerical simulations of MHD turbulence and present an analytical template of the SGWB validated by the simulations. We use this template to constrain the magnetic field parameters using the results reported by the PTA collaborations. Finally, we compare the constraints on the primordial magnetic fields obtained from PTA with those from blazar signals observed by Fermi Large Area Telescope (LAT), from ultra high-energy cosmic rays, and from the cosmic microwave background. We show that a non-helical primordial magnetic field produced at the scale of the quantum chromodynamics phase transition is compatible with such constraints and it could additionally provide with a magnetic field at recombination that would help to alleviate the Hubble tension.


title: Nuclear Weak Rates and Nuclear Weak Processes in Stars

abstract: Nuclear weak rates in stellar environments are obtained by shell-model calculations including Gamow-Teller (GT) and spin-dipole transitions, and applied to nuclear weak processes in stars. The important roles of accurate weak rates for the study of astrophysical processes are pointed out. The weak rates in $sd$-shell are used to study the evolution of ONeMg cores in stars with 8-10 M$_{\odot}$. Cooling of the core by nuclear Urca processes, and the heating by double e-captures on $^{20}$Ne are studied. Especially, the e-capture rates for a second-forbidden transition in $^{20}$Ne are evaluated with the multipole expansion method of Walecka and Behrens-B$\ddot{\mbox{u}}$hring, and the final fate of the cores, core-collapse or thermonuclear explosion, are discussed. The weak rates in $pf$-shell are applied to nucleosynthesis of iron-group elements in Type Ia supernovae. The over-production problem of neutron-rich iron isotopes compared with the solar abundances is now reduced to be within a factor of two. The weak rates for nuclear Urca pair with $A$=31 in the island of inversion are evaluated with the effective interaction obtained by the extended Kuo-Krenciglowa method. The transition strengths and e-capture rates in $^{78}$Ni, important for core-collapse processes, are evaluated with the $pf$-$sdg$ shell, and compared with those obtained by the random-phase-approximation and an effective rate formula. $\beta$-decay rates of $N$ =126 isotones are evaluated with both the GT and first-forbidden transitions. The half-lives are found to be shorter than those obtained by standard models. Neutrino-nucleus reaction cross sections on $^{13}$C, $^{16}$O and $^{40}$Ar are obtained with new shell-model Hamiltonians. Implications on nucleosynthesis, neutrino detection, neutrino oscillations and neutrino mass hierarchy are discussed.


title: A Mutually Exciting Latent Space Hawkes Process Model for Continuous-time Networks

abstract: Networks and temporal point processes serve as fundamental building blocks for modeling complex dynamic relational data in various domains. We propose the latent space Hawkes (LSH) model, a novel generative model for continuous-time networks of relational events, using a latent space representation for nodes. We model relational events between nodes using mutually exciting Hawkes processes with baseline intensities dependent upon the distances between the nodes in the latent space and sender and receiver specific effects. We demonstrate that our proposed LSH model can replicate many features observed in real temporal networks including reciprocity and transitivity, while also achieving superior prediction accuracy and providing more interpretable fits than existing models.


title: Balanced pairs and tilting modules in recollement

abstract: In this paper, firstly, we mainly study the relationship of balanced pairs among three Abelian categories in a recollement. As an application of admissible balanced pairs, we introduce the notion of the relative tilting modules, and give a characterization of relative tilting modules, which similar to Bazzoni characterization of n-tilting modules [4]. Finally, we mainly consider the relationship of relative tilting modules in a recollement.


title: Extreme solar events

abstract: We trace the evolution of research on extreme solar and solar-terrestrial events from the 1859 Carrington event to the rapid development of the last twenty years. Our focus is on the largest observed/inferred/theoretical cases of sunspot groups, flares on the Sun and Sun-like stars, coronal mass ejections, solar proton events, and geomagnetic storms. The reviewed studies are based on modern observations, historical or long-term data including the auroral and cosmogenic radionuclide record, and Kepler observations of Sun-like stars. We compile a table of 100- and 1000-year events based on occurrence frequency distributions for the space weather phenomena listed above. Questions considered include the Sun-like nature of superflare stars and the existence of impactful but unpredictable solar "black swans" and extreme "dragon king" solar phenomena that can involve different physics from that operating in events which are merely large.


title: Exact lower and upper bounds for shifts of Gaussian measures

abstract: Exact upper and lower bounds on the ratio $\mathsf{E}w(\mathbf{X}-\mathbf{v})/\mathsf{E}w(\mathbf{X})$ for a centered Gaussian random vector $\mathbf{X}$ in $\mathbb{R}^n$, as well as bounds on the rate of change of $\mathsf{E}w(\mathbf{X}-t\mathbf{v})$ in $t$, where $w\colon\mathbb{R}^n\to[0,\infty)$ is any even unimodal function and $\mathbf{v}$ is any vector in $\mathbb{R}^n$. As a corollary of such results, exact upper and lower bounds on the power function of statistical tests for the mean of a multivariate normal distribution are given.


title: Star modules with respect to balanced pair

abstract: n this article, firstly, we introduce the notion of star modules with respect to a balanced pair and obtain some properties. We mainly give the relationship between n-X star modules and n-X tilting modules [9], and a new characterization of n-X tilting modules.


title: Complementarity between Success Probability and Coherence in Grover Search Algorithm

abstract: Coherence plays a very important role in Grover search algorithm (GSA). In this paper, we define the normalization coherence N(C), where C is a coherence measurement. In virtue of the constraint of large N and Shannon's maximum entropy principle, a surprising complementary relationship between the coherence and the success probability of GSA is obtained. Namely, P_s(t)+N(C(t))\simeq 1, where C is in terms of the relative entropy of coherence and l_1 norm of coherence, t is the number of the search iterations in GSA. Moreover, the equation holds no matter in ideal or noisy environments. Considering the number of qubits is limited in the recent noisy intermediate-scale quantum (NISQ) era, some exact numerical calculation experiments are presented for different database sizes N with different types of noises. The results show that the complementary between the success probability and the coherence almost always hold. This work provides a new perspective to improve the success probability by manipulating its complementary coherence, and vice versa. It has an excellent potential for helping quantum algorithms design in the NISQ era.


title: Threshold Designer Adaptation: Improved Adaptation for Designers in Co-creative Systems

abstract: To best assist human designers with different styles, Machine Learning (ML) systems need to be able to adapt to them. However, there has been relatively little prior work on how and when to best adapt an ML system to a co-designer. In this paper we present threshold designer adaptation: a novel method for adapting a creative ML model to an individual designer. We evaluate our approach with a human subject study using a co-creative rhythm game design tool. We find that designers prefer our proposed method and produce higher quality content in comparison to an existing baseline.


title: A simple improved low temperature correction for the hierarchical equations of motion

abstract: The study of open system quantum dynamics has been transformed by the hierarchical equations of motion (HEOM) method, which gives the exact dynamics for a system coupled to a harmonic bath at arbitrary temperature and system-bath coupling strength. However in its standard form the method is only consistent with the weak-coupling quantum master equation at all temperatures when many auxiliary density operators are included in the hierarchy, even when low temperature corrections are included. Here we propose a new low temperature correction scheme for the termination of the hierarchy based on Zwanzig projection which alleviates this problem, and restores consistency with the weak-coupling master equation with a minimal hierarchy. The utility of the new correction scheme is demonstrated on a range of model systems, including the Fenna-Metthews-Olson complex. The new closure is found to improve convergence of the HEOM even beyond the weak-coupling limit and is very straightforward to implement in existing HEOM codes.


title: Stochastic mRNA production by a three-state gene

abstract: We consider a model of mRNA production governed by the dynamics of a gene that exists in three possible states -- inactive, poised and active. The transitions between the adjacent states are controlled by stochastic processes characterized by corresponding on/off rates. mRNA is produced only when the gene is in active state and we also consider mRNA denaturation leading to its death.


title: Full analytic expression of overlap reduction function for gravitational wave background with pulsar timing arrays

abstract: Pulsar timing array (PTA) is expected to detect gravitational wave background (GWB) in the nanohertz band within the next decade. This provides an opportunity to test the gravity theory and cosmology. A typical data analysis method to detect GWB is cross-correlation analysis. The overlap reduction function (ORF) plays an important role in the correlation data analysis of GWB. The present approach to dealing with the intricate integration in ORF is to use short-wave approximation to drop out the tricky terms. In this paper, we provide the full analytic expression of the ORF for PTA without any approximation for all possible polarizations allowed by modifications of general relativity. Compared with the numerical simulation and short-wave approximation, our results are more efficient and widely applicable. Especially for the scalar-longitudinal mode where the short-wave approximation is not available, our analytical expression is particularly significant.


title: Twist Decoding: Diverse Generators Guide Each Other

abstract: Many language generation models are now available for a wide range of generation tasks, including machine translation and summarization. Combining such diverse models may lead to further progress, but ensembling generation models is challenging during inference: conventional ensembling methods (e.g., shallow fusion) require that the models share vocabulary/tokenization schemes. We introduce Twist decoding, a simple and general text generation algorithm that benefits from diverse models at inference time. Our method does not assume the vocabulary, tokenization or even generation order is shared. Our extensive evaluations on machine translation and scientific paper summarization demonstrate that Twist decoding substantially outperforms each model decoded in isolation over various scenarios, including cases where domain-specific and general-purpose models are both available. Twist decoding also consistently outperforms the popular reranking heuristic where output candidates from one model are rescored by another. We hope that our work will encourage researchers and practitioners to examine generation models collectively, not just independently, and to seek out models with complementary strengths to the currently available models. Our code is available at https://github.com/jungokasai/twist_decoding.


title: Variation of Hodge structures for non-Kahler manifolds

abstract: In this note, we discuss variation of Hodge structures on non-K\"ahler manifolds. In particular, given a holomorphic family of $\partial\bar{\partial}$-manifolds the period map is shown to be holomorphic and transversal.


title: The Dirichlet problem for perturbed Stark operators in the half-line

abstract: We consider the perturbed Stark operator $H_q\varphi = -\varphi" + x\varphi + q(x)\varphi$, $\varphi(0)=0$, in $L^2(\mathbb{R}_+)$, where $q$ is a real-valued function that belongs to $\mathfrak{A}_r =\left\{ q\in\mathcal{A}_r\cap\text{AC}[0,\infty) : q'\in\mathcal{A}_r\right\}$, where $\mathcal{A}_r = L^2(\mathbb{R}_+,(1+x)^r dx)$ and $r>1$ is arbitrary but fixed. Let $\left\{\lambda_n(q)\right\}_{n=1}^ \infty$ and $\left\{\kappa_n(q)\right\}_{n=1}^ \infty$ be the spectrum and associated set of norming constants of $H_q$. Let $\{a_n\}_{n=1}^\infty$ be the zeros of the Airy function of the first kind, and let $\omega_r:\mathbb{N}\to\mathbb{R}$ be defined by the rule $\omega_r(n) = n^{-1/3}\log^{1/2}n$ if $r\in(1,2)$ and $\omega_r(n) = n^{-1/3}$ if $r\in[2,\infty)$. We prove that $\lambda_n(q) = -a_n + \pi (-a_n)^{-1/2}\int_0^\infty \text{Ai}^2(x+a_n)q(x)dx + O(n^{-1/3}\omega_r^2(n))$ and $\kappa_n(q) = - 2\pi (-a_n)^{-1/2}\int_0^\infty \text{Ai}(x+a_n)\text{Ai}'(x+a_n)q(x)dx + O(\omega_r^3(n))$, uniformly on bounded subsets of $\mathfrak{A}_r$. In order to obtain these asymptotic formulas, we first show that $\lambda_n:\mathcal{A}_r\to\mathbb{R}$ and $\kappa_n:\mathcal{A}_r\to\mathbb{R}$ are real analytic maps.


title: Ubiquitous Superconducting Diode Effect in Superconductor Thin Films

abstract: The macroscopic coherence in superconductors supports dissipationless supercurrents which could play a central role in emerging quantum technologies. Accomplishing unequal supercurrents in the forward and backward directions would enable unprecedented functionalities. This nonreciprocity of critical supercurrents is called superconducting (SC) diode effect. We demonstrate strong SC diode effect in conventional SC thin films, such as niobium and vanadium, employing external magnetic fields as small as 1 Oe. Interfacing the SC layer with a ferromagnetic semiconductor EuS, we further accomplish non-volatile SC diode effect reaching a giant efficiency of 65%. By careful control experiments and theoretical modeling, we demonstrate that the critical supercurrent nonreciprocity in SC thin films could be easily accomplished with asymmetrical vortex edge/surface barriers and the universal Meissner screening current governing the critical currents. Our engineering of the SC diode effect in simple systems opens door for novel technologies. Meanwhile, we reveal the ubiquity of Meissner screening effect induced SC diode effect in superconducting films, which should be eliminated with great care in the search of exotic superconducting states harboring finite-momentum Cooper pairing.


title: Realization of the structural fluctuation of biomolecules in solution: Generalized Langevin Mode Analysis

abstract: A new theoretical method, referred to as Generalized Langevin Mode Analysis (GLMA), is proposed to analyze the mode of structural fluctuations of a biomolecule in solution. The method combines the two theories in the statistical mechanics, or the Generalized Langevin theory and the RISM/3D-RISM theory, to calculate the second derivative, or the Hessian matrix, of the free energy surface of a biomolecule in aqueous solution, which consists of the intramolecular interaction among atoms in the biomolecule and the solvation free energy. The method is applied to calculate the wave-number spectrum of an alanine dipeptide in water for which the optical heterodyne-detected Raman-induced spectroscopy (RIKES) spectrum is available to compare with. The theoretical analysis reproduced the main features of the experimental spectrum with respect to the peak positions of the four bands around ~90 cm-1, ~240 cm-1, ~370 cm-1, and 400 cm-1, observed in the experimental spectrum, in spite that the physics involved in the two spectrum was not exactly the same: the experimental spectrum includes the contributions from the dipeptide and the water molecules interacting with the solute, while the theoretical one is just concerned with the solute molecule, influenced by solvation. Two major discrepancies between the theoretical and experimental spectra, one in the band intensity around ~100 cm-1, and the other in the peak positions around ~370 cm-1, are discussed in terms of the fluctuation mode of water molecules interacting with the dipeptide, which is not taken explicitly into account in the theoretical analysis.


title: Modeling Exemplification in Long-form Question Answering via Retrieval

abstract: Exemplification is a process by which writers explain or clarify a concept by providing an example. While common in all forms of writing, exemplification is particularly useful in the task of long-form question answering (LFQA), where a complicated answer can be made more understandable through simple examples. In this paper, we provide the first computational study of exemplification in QA, performing a fine-grained annotation of different types of examples (e.g., hypotheticals, anecdotes) in three corpora. We show that not only do state-of-the-art LFQA models struggle to generate relevant examples, but also that standard evaluation metrics such as ROUGE are insufficient to judge exemplification quality. We propose to treat exemplification as a \emph{retrieval} problem in which a partially-written answer is used to query a large set of human-written examples extracted from a corpus. Our approach allows a reliable ranking-type automatic metrics that correlates well with human evaluation. A human evaluation shows that our model's retrieved examples are more relevant than examples generated from a state-of-the-art LFQA model.


title: Interaction between substrate and probe in liquid metal Ga: Experimental and theoretical analysis

abstract: Understanding the interaction between two bodies in a liquid metal is important for developing metals with high stiffness, strength, plasticity, and thermal stability. We conducted atomic force microscopy measurements in liquid Ga and performed a theoretical calculation in which the statistical mechanics of a simple liquid containing a quantum effect was used. The experiment and theory showed unusual behaviours in the interactions between the probe and substrate in the liquid metal. In the interactions, there were relatively numerous oscillations and large amplitudes. Furthermore, the interaction ranges were relatively long. From the theoretical calculations, we found an asymmetric property that when the probe is solvophilic and the substrate is solvophobic, the interaction tends to be repulsive; when the solvation affinities are exchanged, the interaction tends to be attractive in the close position. Our findings will be useful for understanding and controlling dispersion stabilities of nanoparticles and chemical reactions in liquid metals.

categories: cond-mat.soft cond-mat.mes-hall physics.app-ph physics.chem-ph


title: Using Machine Learning to Identify Extragalactic Globular Cluster Candidates from Ground-Based Photometric Surveys of M87

abstract: Globular clusters (GCs) have been at the heart of many longstanding questions in many sub-fields of astronomy and, as such, systematic identification of GCs in external galaxies has immense impacts. In this study, we take advantage of M87's well-studied GC system to implement supervised machine learning (ML) classification algorithms - specifically random forest and neural networks - to identify GCs from foreground stars and background galaxies using ground-based photometry from the Canada-France-Hawai'i Telescope (CFHT). We compare these two ML classification methods to studies of "human-selected" GCs and find that the best performing random forest model can reselect 61.2% $\pm$ 8.0% of GCs selected from HST data (ACSVCS) and the best performing neural network model reselects 95.0% $\pm$ 3.4%. When compared to human-classified GCs and contaminants selected from CFHT data - independent of our training data - the best performing random forest model can correctly classify 91.0% $\pm$ 1.2% and the best performing neural network model can correctly classify 57.3% $\pm$ 1.1%. ML methods in astronomy have been receiving much interest as Vera C. Rubin Observatory prepares for first light. The observables in this study are selected to be directly comparable to early Rubin Observatory data and the prospects for running ML algorithms on the upcoming dataset yields promising results.


title: Causal Inference from Small High-dimensional Datasets

abstract: Many methods have been proposed to estimate treatment effects with observational data. Often, the choice of the method considers the application's characteristics, such as type of treatment and outcome, confounding effect, and the complexity of the data. These methods implicitly assume that the sample size is large enough to train such models, especially the neural network-based estimators. What if this is not the case? In this work, we propose Causal-Batle, a methodology to estimate treatment effects in small high-dimensional datasets in the presence of another high-dimensional dataset in the same feature space. We adopt an approach that brings transfer learning techniques into causal inference. Our experiments show that such an approach helps to bring stability to neural network-based methods and improve the treatment effect estimates in small high-dimensional datasets.


title: Non-linear charged planar black holes in four-dimensional Scalar-Gauss-Bonnet theories

abstract: In this work, we consider the recently proposed well-defined theory that permits a healthy $D\to 4$ limit of the Einstein-Gauss-Bonnet combination, which requires the addition of a scalar degree of freedom. We continue the construction of exact, hairy black hole solutions in this theory in the presence of matter sources, by considering a nonlinear electrodynamics source, constructed through the Pleba\'nski tensor and a precise structural function $\mathcal{H}(P)$. Computing the thermodynamic quantities with the Wald formalism, we identify a region in parameter space where the hairy black holes posses well-defined, non-vanishing, finite thermodynamic quantities, in spite of the relaxed asymptotic approach to planar AdS. We test its local stability under thermal and electrical fluctuations and we also show that a Smarr relation is satisfied for these black hole configurations.


title: Production of the $\eta_{1}(1855)$ through kaon induced reactions under the assumptions that it is a molecular or a hybrid state

abstract: By the reaction of kaon interacting with a proton, we investigate the production of the newly observed $\eta _{1}(1855)$ predicted in the picture of the $K\bar{K}_1(1400)$ molecular state and hybrid state. The total and differential cross sections of the concrete $K^{-}p\to\eta _{1}(1855)\Lambda$ reaction are calculated. Taking the partial decay width of the $\eta _{1}$ to $K\bar{K}^{\ast }$ as 0.9 MeV and 98.1 MeV, the minimum cross section of the $\eta _{1}(1855)$ production via the $K^{-}p$ reaction can reach up 0.59 $nb$ and 63.8 $nb$ at the center of mass energies $W\simeq 3.5$ GeV, respectively. The differential cross sections for the $\eta _{1}(1855)$ production at the different center of mass energies are also available. Furthermore, we present the Dalitz processes of $2\rightarrow 3$ and $2\rightarrow 4$, and initially discuss the feasibility of finding out the $\eta _{1}(1855)$ in experiments like J-PARC.


title: Towards Applicable Reinforcement Learning: Improving the Generalization and Sample Efficiency with Policy Ensemble

abstract: It is challenging for reinforcement learning (RL) algorithms to succeed in real-world applications like financial trading and logistic system due to the noisy observation and environment shifting between training and evaluation. Thus, it requires both high sample efficiency and generalization for resolving real-world tasks. However, directly applying typical RL algorithms can lead to poor performance in such scenarios. Considering the great performance of ensemble methods on both accuracy and generalization in supervised learning (SL), we design a robust and applicable method named Ensemble Proximal Policy Optimization (EPPO), which learns ensemble policies in an end-to-end manner. Notably, EPPO combines each policy and the policy ensemble organically and optimizes both simultaneously. In addition, EPPO adopts a diversity enhancement regularization over the policy space which helps to generalize to unseen states and promotes exploration. We theoretically prove EPPO increases exploration efficacy, and through comprehensive experimental evaluations on various tasks, we demonstrate that EPPO achieves higher efficiency and is robust for real-world applications compared with vanilla policy optimization algorithms and other ensemble methods. Code and supplemental materials are available at https://seqml.github.io/eppo.


title: Leveraging mid-infrared spectroscopic imaging and deep learning for tissue subtype classification in ovarian cancer

abstract: Mid-infrared spectroscopic imaging (MIRSI) is an emerging class of label-free techniques being leveraged for digital histopathology. Modern histopathologic identification of ovarian cancer involves tissue staining followed by morphological pattern recognition. This process is time-consuming, subjective, and requires extensive expertise. This paper presents the first label-free, quantitative, and automated histological recognition of ovarian tissue subtypes using a new MIRSI technique. This technique, called optical photothermal infrared (O-PTIR) imaging, provides a 10X enhancement in spatial resolution relative to prior instruments. It enables sub-cellular spectroscopic investigation of tissue at biochemically important fingerprint wavelengths. We demonstrate that enhanced resolution of sub-cellular features, combined with spectroscopic information, enables reliable classification of ovarian cell subtypes achieving a classification accuracy of 0.98. Moreover, we present statistically robust validation from 74 patient samples with over 60 million data points. We show that sub-cellular resolution from five wavenumbers is sufficient to outperform state-of-the-art diffraction-limited techniques from up to 235 wavenumbers. We also propose two quantitative biomarkers based on the relative quantities of epithelium and stroma that exhibits efficacy in early cancer diagnosis. This paper demonstrates that combining deep learning with intrinsic biochemical MIRSI measurements enables quantitative evaluation of cancerous tissue, improving the rigor and reproducibility of histopathology.


title: Tighter sum uncertainty relations via metric-adjusted skew information

abstract: In this paper, we first provide three general norm inequalities, which are used to give new uncertainty relations of any finite observables and quantum channels via metric-adjusted skew information. The results are applicable to its special cases as Wigner-Yanase-Dyson skew information. In quantifying the uncertainty of channels, we discuss two types of lower bounds and compare the tightness between them, meanwhile, a tight lower bound is given. The uncertainty relations obtained by us are stronger than the existing ones. To illustrate our results, we give several specific examples.


title: Using Capsule Networks to Classify Digitally Modulated Signals with Raw I/Q Data

abstract: Machine learning has become a powerful tool for solving problems in various engineering and science areas, including the area of communication systems. This paper presents the use of capsule networks for classification of digitally modulated signals using the I/Q signal components. The generalization ability of a trained capsule network to correctly classify the classes of digitally modulated signals that it has been trained to recognize is also studied by using two different datasets that contain similar classes of digitally modulated signals but that have been generated independently. Results indicate that the capsule networks are able to achieve high classification accuracy. However, these networks are susceptible to the datashift problem which will be discussed in this paper.


title: Nonadiabatic Holonomic Quantum Computation via Path Optimization

abstract: Nonadiabatic holonomic quantum computation (NHQC) is implemented by fast evolution processes in a geometric way to withstand local noises. However, recent works of implementing NHQC are sensitive to the systematic noise and error. Here, we present a path-optimized NHQC (PONHQC) scheme based on the non-Abelian geometric phase, and find that a geometric gate can be constructed by different evolution paths, which have different responses to systematic noises. Due to the flexibility of the PONHQC scheme, we can choose an optimized path that can lead to excellent gate performance. Numerical simulation shows that our optimized scheme can greatly outperform the conventional NHQC scheme, in terms of both fidelity and robustness of the gates. In addition, we propose to implement our strategy on superconducting quantum circuits with decoherence-free subspace encoding with the experiment-friendly two-body exchange interaction. Therefore, we present a flexible NHQC scheme that is promising for the future robust quantum computation.


title: Routing and Placement of Macros using Deep Reinforcement Learning

abstract: Chip placement has been one of the most time consuming task in any semi conductor area, Due to this negligence, many projects are pushed and chips availability in real markets get delayed. An engineer placing macros on a chip also needs to place it optimally to reduce the three important factors like power, performance and time. Looking at these prior problems we wanted to introduce a new method using Reinforcement Learning where we train the model to place the nodes of a chip netlist onto a chip canvas. We want to build a neural architecture that will accurately reward the agent across a wide variety of input netlist correctly.


title: Plasma absorption levelling by phase coherence in meta-surface stacked structure

abstract: In this paper, we propose a MIM (metallic metasurface-insulator-metal) stacked structure to realize perfect absorption in mid- and far- infrared bandwidth. A large number of metallic composite metallic units placed on a uniform layer of insulator Ge which is deposited on a uniform metallic Ti surface. Each of units consists of four right-angled triangular cubes in middle of four sides of a square. Three resonant absorption peaks can be discrete or levelling dependent to thickness of cubes. Once metallic cubes are thinner than its skin depth, an effective ultra-broadband absorber is realizable with average absorption over 90% percent ranging from 8-14{\mu}m. We build a four-level cavity-dipole interacting model to explain phenomena of plasma absorption levelling. This is created by strong phase coherence from meta-surface since three hybrid modes are coupled by common cavity photons in arrays of micro-cavities between top and below metallic layers. The structure is polarization-selective to infrared light. It has great potential in infrared detection and imaging.


title: Empirical Measure Large Deviations for Reinforced Chains on Finite Spaces

abstract: Let $A$ be a transition probability kernel on a finite state space $\Delta^o =\{1, \ldots , d\}$ such that $A(x,y)>0$ for all $x,y \in \Delta^o$. Consider a reinforced chain given as a sequence $\{X_n, \; n \in \mathbb{N}_0\}$ of $\Delta^o$-valued random variables, defined recursively according to, $$L^n = \frac{1}{n}\sum_{i=0}^{n-1} \delta_{X_i}, \;\; P(X_{n+1} \in \cdot \mid X_0, \ldots, X_n) = L^n A(\cdot).$$ We establish a large deviation principle for $\{L^n\}$. The rate function takes a strikingly different form than the Donsker-Varadhan rate function associated with the empirical measure of the Markov chain with transition kernel $A$ and is described in terms of a novel deterministic infinite horizon discounted cost control problem with an associated linear controlled dynamics and a nonlinear running cost involving the relative entropy function. Proofs are based on an analysis of time-reversal of controlled dynamics in representations for log-transforms of exponential moments, and on weak convergence methods.


title: Free Lunch for Surgical Video Understanding by Distilling Self-Supervisions

abstract: Self-supervised learning has witnessed great progress in vision and NLP; recently, it also attracted much attention to various medical imaging modalities such as X-ray, CT, and MRI. Existing methods mostly focus on building new pretext self-supervision tasks such as reconstruction, orientation, and masking identification according to the properties of medical images. However, the publicly available self-supervision models are not fully exploited. In this paper, we present a powerful yet efficient self-supervision framework for surgical video understanding. Our key insight is to distill knowledge from publicly available models trained on large generic datasets4 to facilitate the self-supervised learning of surgical videos. To this end, we first introduce a semantic-preserving training scheme to obtain our teacher model, which not only contains semantics from the publicly available models, but also can produce accurate knowledge for surgical data. Besides training with only contrastive learning, we also introduce a distillation objective to transfer the rich learned information from the teacher model to self-supervised learning on surgical data. Extensive experiments on two surgical phase recognition benchmarks show that our framework can significantly improve the performance of existing self-supervised learning methods. Notably, our framework demonstrates a compelling advantage under a low-data regime. Our code is available at https://github.com/xmed-lab/DistillingSelf.


title: Study on the magnetic field strength of NGC 300 ULX1

abstract: NGC 300 ULX1 is a pulsating ultraluminous X-ray source (PULX) with the longest spin period of $P\simeq31.6\,\rm s$ and a high spin-up rate of $\dot P\simeq5.56\times10^{-7}\,\rm s\,s^{-1}$ that is ever seen in the confirmed PULXs. In this paper, the inferred magnetic field of NGC 300 ULX1 is $\sim3.0\times10^{14}\,\rm G$ using the recent observed parameters after its first detection of pulsations. According to the evolved simulation of the magnetic field and the spin period, it will become a recycled pulsar or a millisecond pulsar under the conditions of the companion mass and the accretion rate limitation. We suggest that NGC 300 ULX1 is an accreting magnetar accounting for its super Eddington luminosity. We also propose that there might be other accreting magnetars in the confirmed PULXs. Such PULXs will be helpful for understanding the magnetar evolution and the millisecond pulsar formation whose magnetic field is stronger than $\sim10^{9}\,\rm G$.


title: Some infinite dimensional representations of certain Coxeter groups

abstract: A Coxeter group admits infinite dimensional irreducible complex representations if and only if it is not finite and affine. In this paper we give a construction of such representations for certain Coxeter groups using some topological information of the corresponding Coxeter graphs.


title: Are Prompt-based Models Clueless?

abstract: Finetuning large pre-trained language models with a task-specific head has advanced the state-of-the-art on many natural language understanding benchmarks. However, models with a task-specific head require a lot of training data, making them susceptible to learning and exploiting dataset-specific superficial cues that do not generalize to other datasets. Prompting has reduced the data requirement by reusing the language model head and formatting the task input to match the pre-training objective. Therefore, it is expected that few-shot prompt-based models do not exploit superficial cues. This paper presents an empirical examination of whether few-shot prompt-based models also exploit superficial cues. Analyzing few-shot prompt-based models on MNLI, SNLI, HANS, and COPA has revealed that prompt-based models also exploit superficial cues. While the models perform well on instances with superficial cues, they often underperform or only marginally outperform random accuracy on instances without superficial cues.


title: Opinion Manipulation on Farsi Twitter

abstract: For Iranians and the Iranian diaspora, the Farsi Twittersphere provides an important alternative to state media and an outlet for political discourse. But this understudied online space has become an opinion manipulation battleground, with diverse actors using inauthentic accounts to advance their goals and shape online narratives. Examining trending discussions crossing social cleavages in Iran, we explore how the dynamics of opinion manipulation differ across diverse issue areas. Our analysis suggests that opinion manipulation by inauthentic accounts is more prevalent in divisive political discussions than non-divisive or apolitical discussions. We show how Twitter's network structures help to reinforce the content propagated by clusters of inauthentic accounts in divisive political discussions. Analyzing both the content and structure of online discussions in the Iranian Twittersphere, this work contributes to a growing body of literature exploring the dynamics of online opinion manipulation, while improving our understanding of how information is controlled in the digital age.


title: Strong approximation for fractional wave equation forced by fractional Brownian motion with Hurst parameter $H\in(0,\frac{1}{2})$

abstract: We consider the time discretization of fractional stochastic wave equation with Gaussian noise, which is negatively correlated. Major obstacles to design and analyze time discretization of stochastic wave equation come from the approximation of stochastic convolution with respect to fractional Brownian motion. Firstly, we discuss the smoothing properties of stochastic convolution by using integration by parts and covariance function of fractional Brownian motion. Then the regularity estimates of the mild solution of fractional stochastic wave equation are obtained. Next, we design the time discretization of stochastic convolution by integration by parts. Combining stochastic trigonometric method and approximation of stochastic convolution, the time discretization of stochastic wave equation is achieved. We derive the error estimates of the time discretization. Under certain assumptions, the strong convergence rate of the numerical scheme proposed in this paper can reach $\frac{1}{2}+H$. Finally, the convergence rate and computational efficiency of the numerical scheme are illustrated by numerical experiments.


title: Bogomolov-Tian-Todorov theorem for Calabi-Yau categories

abstract: We prove a generalization of Bogomolov-Tian-Todorov theorem to Calabi-Yau categories.


title: 3DConvCaps: 3DUnet with Convolutional Capsule Encoder for Medical Image Segmentation

abstract: Convolutional Neural Networks (CNNs) have achieved promising results in medical image segmentation. However, CNNs require lots of training data and are incapable of handling pose and deformation of objects. Furthermore, their pooling layers tend to discard important information such as positions as well as CNNs are sensitive to rotation and affine transformation. Capsule network is a recent new architecture that has achieved better robustness in part-whole representation learning by replacing pooling layers with dynamic routing and convolutional strides, which has shown potential results on popular tasks such as digit classification and object segmentation. In this paper, we propose a 3D encoder-decoder network with Convolutional Capsule Encoder (called 3DConvCaps) to learn lower-level features (short-range attention) with convolutional layers while modeling the higher-level features (long-range dependence) with capsule layers. Our experiments on multiple datasets including iSeg-2017, Hippocampus, and Cardiac demonstrate that our 3D 3DConvCaps network considerably outperforms previous capsule networks and 3D-UNets. We further conduct ablation studies of network efficiency and segmentation performance under various configurations of convolution layers and capsule layers at both contracting and expanding paths.


title: Inducing Heat Reversal in a Three-Qubit Spin Chain

abstract: By the standard second law of thermodynamics, heat spontaneously flows from a hotter body to a colder body. However, quantum systems in which quantum correlations play a prominent role can exhibit a non-classical reversal of such heat flow. We propose a quantum system consisting of a chain of qubits, each in local Gibbs states, where only adjacent qubits are allowed to thermally interact. By controlling initial quantum correlations along the chain, we then demonstrate non-classical heat reversal for the special case of a three-qubit chain on a quantum computer. We explore multiple initial conditions for the spin chain to showcase exotic behaviour such as the preferential pumping of heat afforded by unequal initial correlations between adjacent pairs of qubits, reinforcing the role that initial correlations play in influencing the dynamics of heat flow.


title: Sliding-Window Normalization to Improve the Performance of Machine-Learning Models for Real-Time Motion Prediction Using Electromyography

abstract: Many researchers have used machine learning models to control artificial hands, walking aids, assistance suits, etc., using the biological signal of electromyography (EMG). The use of such devices requires high classification accuracy of machine learning models. One method for improving the classification performance of machine learning models is normalization, such as z-score. However, normalization is not used in most EMG-based motion prediction studies, because of the need for calibration and fluctuation of reference value for calibration (cannot re-use). Therefore, in this study, we proposed a normalization method that combines sliding-window analysis and z-score normalization, that can be implemented in real-time processing without need for calibration. The effectiveness of this normalization method was confirmed by conducting a single-joint movement experiment of the elbow and predicting its rest, flexion, and extension movements from the EMG signal. The proposed normalization method achieved a mean accuracy of 64.6%, an improvement of 15.0% compared to the non-normalization case (mean of 49.8%). Furthermore, to improve practical applications, recent research has focused on reducing the user data required for model learning and improving classification performance in models learned from other people's data. Therefore, we investigated the classification performance of the model learned from other's data. Results showed a mean accuracy of 56.5% when the proposed method was applied, an improvement of 11.1% compared to the non-normalization case (mean of 44.1%). These two results showed the effectiveness of the simple and easy-to-implement method, and that the classification performance of the machine learning model could be improved.


title: Counting Dope Matrices

abstract: For a polynomial $P$ of degree $n$ and an $m$-tuple $\Lambda=(\lambda_1,\dots,\lambda_m)$ of distinct complex numbers, the dope matrix of $P$ with respect to $\Lambda$ is $D_P(\Lambda)=(\delta_{ij})_{i\in [1,m],j\in[0,n]}$, where $\delta_{ij}=1$ if $P^{(j)}(\lambda_i)=0$, and $\delta_{ij}=0$ otherwise. Our first result is a combinatorial characterization of the $2$-row dope matrices (for all pairs $\Lambda$); using this characterization, we solve the associated enumeration problem. We also give upper bounds on the number of $m\times(n+1)$ dope matrices, and we show that the number of $m \times (n+1)$ dope matrices for a fixed $m$-tuple $\Lambda$ is maximized when $\Lambda$ is generic. Finally, we resolve an ``extension'' problem of Nathanson and present several open problems.


title: Quantum Money Generated by Multiple Untrustworthy Banks

abstract: While classical money can be copied, it is impossible to copy quantum money in principle, with only the bank that issues it knowing how to generate it, meaning only the bank can make exact copies. Not all reliable banks, such as central banks, will issue quantum money, so there is the possibility that untrustworthy banks are distributing fake or multiple copies of the same quantum money without the users' knowledge. As such, we propose a quantum patchwork money scheme in which banks cannot distribute exact copies to users. This scheme involves multiple banks providing public-key quantum money as shards and generating quantum patchwork money by combining them. The banks can use the quantum patchwork money without completely trusting the other banks. In addition, nonbank users can use safely the quantum patchwork money without trusting any banks potentially focused on self-interest by adding a protocol for monitoring the distribution of copies.


title: A Note on the Number of Regions in a Line Arrangement

abstract: For an arrangement of $n$ lines in the real projective plane, we denote by $f$ the number of regions into which the real projective plane is divided by the lines. Using Bojanowski's inequality, we establish a new lower bound for $f$. In particular, we show that if no more than $\frac{2}{3}n$ lines intersect at any point, then $f \ge \frac{1}{6}n^{2}$


title: FedILC: Weighted Geometric Mean and Invariant Gradient Covariance for Federated Learning on Non-IID Data

abstract: Federated learning is a distributed machine learning approach which enables a shared server model to learn by aggregating the locally-computed parameter updates with the training data from spatially-distributed client silos. Though successfully possessing advantages in both scale and privacy, federated learning is hurt by domain shift problems, where the learning models are unable to generalize to unseen domains whose data distribution is non-i.i.d. with respect to the training domains. In this study, we propose the Federated Invariant Learning Consistency (FedILC) approach, which leverages the gradient covariance and the geometric mean of Hessians to capture both inter-silo and intra-silo consistencies of environments and unravel the domain shift problems in federated networks. The benchmark and real-world dataset experiments bring evidence that our proposed algorithm outperforms conventional baselines and similar federated learning algorithms. This is relevant to various fields such as medical healthcare, computer vision, and the Internet of Things (IoT). The code is released at https://github.com/mikemikezhu/FedILC.


title: Joint Device Selection and Power Control for Wireless Federated Learning

abstract: This paper studies the joint device selection and power control scheme for wireless federated learning (FL), considering both the downlink and uplink communications between the parameter server (PS) and the terminal devices. In each round of model training, the PS first broadcasts the global model to the terminal devices in an analog fashion, and then the terminal devices perform local training and upload the updated model parameters to the PS via over-the-air computation (AirComp). First, we propose an AirComp-based adaptive reweighing scheme for the aggregation of local updated models, where the model aggregation weights are directly determined by the uplink transmit power values of the selected devices and which enables the joint learning and communication optimization simply by the device selection and power control. Furthermore, we provide a convergence analysis for the proposed wireless FL algorithm and the upper bound on the expected optimality gap between the expected and optimal global loss values is derived. With instantaneous channel state information (CSI), we formulate the optimality gap minimization problems under both the individual and sum uplink transmit power constraints, respectively, which are shown to be solved by the semidefinite programming (SDR) technique. Numerical results reveal that our proposed wireless FL algorithm achieves close to the best performance by using the ideal FedAvg scheme with error-free model exchange and full device participation.


title: Support-set based Multi-modal Representation Enhancement for Video Captioning

abstract: Video captioning is a challenging task that necessitates a thorough comprehension of visual scenes. Existing methods follow a typical one-to-one mapping, which concentrates on a limited sample space while ignoring the intrinsic semantic associations between samples, resulting in rigid and uninformative expressions. To address this issue, we propose a novel and flexible framework, namely Support-set based Multi-modal Representation Enhancement (SMRE) model, to mine rich information in a semantic subspace shared between samples. Specifically, we propose a Support-set Construction (SC) module to construct a support-set to learn underlying connections between samples and obtain semantic-related visual elements. During this process, we design a Semantic Space Transformation (SST) module to constrain relative distance and administrate multi-modal interactions in a self-supervised way. Extensive experiments on MSVD and MSR-VTT datasets demonstrate that our SMRE achieves state-of-the-art performance.


title: Transport and Localization in Quantum Walks on a Random Hierarchy of Barriers

abstract: We study transport within a spatially heterogeneous one-dimensional quantum walk with a combination of hierarchical and random barriers. Recent renormalization group calculations for a spatially disordered quantum walk with a regular hierarchy of barriers alone have shown a gradual decrease in transport but no localization for increasing (but finite) barrier sizes. In turn, it is well-known that extensive random disorder in the spatial barriers is sufficient to localize a quantum walk on the line. Here we show that adding only a sparse (sub-extensive) amount of randomness to a hierarchy of barriers is sufficient to induce localization such that transport ceases. Our numerical results suggest the existence of a localization transition for a combination of both, the strength of the regular barrier hierarchy at large enough randomness as well as the increasing randomness at sufficiently strong barriers in the hierarchy.


title: Dynamical heterogeneities in liquid and glass originate from medium-range order

abstract: Slow relaxation and plastic deformation in disordered materials such as metallic glasses and supercooled liquids occur at dynamical heterogeneities, or neighboring particles that rearrange in a correlated, cooperative manner. Dynamical heterogeneities have historically been described by a four-point, time-dependent density correlation function $\chi_4 (r, t)$. In this paper, we posit that $\chi_4 (r, t)$ contains essentially the same information about medium-range order as the Van Hove correlation function $G(r, t)$. In other words, medium-range order is the origin of spatially correlated regions of cooperative particle motion. The Van Hove function is the preferred tool for describing dynamical heterogeneities than the four-point function, for which the physical meaning is less transparent.

categories: cond-mat.stat-mech cond-mat.dis-nn cond-mat.mtrl-sci cond-mat.soft


title: Mitigating Neural Network Overconfidence with Logit Normalization

abstract: Detecting out-of-distribution inputs is critical for safe deployment of machine learning models in the real world. However, neural networks are known to suffer from the overconfidence issue, where they produce abnormally high confidence for both in- and out-of-distribution inputs. In this work, we show that this issue can be mitigated through Logit Normalization (LogitNorm) -- a simple fix to the cross-entropy loss -- by enforcing a constant vector norm on the logits in training. Our method is motivated by the analysis that the norm of the logit keeps increasing during training, leading to overconfident output. Our key idea behind LogitNorm is thus to decouple the influence of output's norm during network optimization. Trained with LogitNorm, neural networks produce highly distinguishable confidence scores between in- and out-of-distribution data. Extensive experiments demonstrate the superiority of LogitNorm, reducing the average FPR95 by up to 42.30% on common benchmarks.


title: Sign Switching Dark Energy from a Running Barrow Entropy

abstract: Barrow proposed that the area law of the entropy associated with a horizon might receive a "fractal correction" due to quantum gravitational effects -- in place of $S\propto A$, we have instead $S\propto A^{1+\delta/2}$, where $0\leqslant \delta \leqslant 1$ measures the deviation from the standard area law ($\delta=0$). Based on black hole thermodynamics, we argue that the Barrow entropy should run (i.e., energy scale dependent), which is reasonable given that quantum gravitational corrections are expected to be important only in high energy regime. When applied to the Friedmann equation, we demonstrate the possibility that such a running Barrow entropy index could give rise to a dynamical effective dark energy, which is asymptotically positive and vanishing, but negative at the Big Bang. Such a sign switching dark energy could help to alleviate the Hubble tension. Other cosmological implications are discussed.


title: Further remarks on derived categories of algebraic stacks

abstract: Let $X$ be an algebraic stack with quasi-affine diagonal of finite type over a field $k$ of characteristic $0$. We extend the well-known equivalence $\mathsf{D}^+(\mathsf{QCoh}(X)) \simeq \mathsf{D}_{\mathrm{qc}}^+(X)$ to unbounded derived categories. We also prove that if $X$ is smooth over $k$, then $\mathsf{D}_{\mathrm{qc}}(X)$ is compactly generated. We accomplish the former using the descendable algebras of Mathew. We also establish related results in positive and mixed characteristics.


title: Large deviation principle and thermodynamic limit of chemical master equation via nonlinear semigroup

abstract: Chemical reactions can be modeled by a random time-changed Poisson process on countable states. The macroscopic behaviors, such as large fluctuations, can be studied via the WKB reformulation. The WKB reformulation for the backward equation is Varadhan's discrete nonlinear semigroup and is also a monotone scheme that approximates the limiting first-order Hamilton-Jacobi equations (HJE). The discrete Hamiltonian is an m-accretive operator, which generates a nonlinear semigroup on countable grids and justifies the well-posedness of the chemical master equation (CME) and the backward equation with 'no reaction' boundary conditions. The convergence from the monotone schemes to the viscosity solution of HJE is proved by constructing barriers to overcome the polynomial growth coefficients in the Hamiltonian. This implies the convergence of Varadhan's discrete nonlinear semigroup to the continuous Lax-Oleinik semigroup and leads to the large deviation principle for the chemical reaction process at any single time. Consequently, the macroscopic mean-field limit reaction rate equation is recovered with a concentration rate estimate. Furthermore, we establish the convergence from a reversible invariant measure to an upper semicontinuous viscosity solution of the stationary HJE.


title: Target-Guided Dialogue Response Generation Using Commonsense and Data Augmentation

abstract: Target-guided response generation enables dialogue systems to smoothly transition a conversation from a dialogue context toward a target sentence. Such control is useful for designing dialogue systems that direct a conversation toward specific goals, such as creating non-obtrusive recommendations or introducing new topics in the conversation. In this paper, we introduce a new technique for target-guided response generation, which first finds a bridging path of commonsense knowledge concepts between the source and the target, and then uses the identified bridging path to generate transition responses. Additionally, we propose techniques to re-purpose existing dialogue datasets for target-guided generation. Experiments reveal that the proposed techniques outperform various baselines on this task. Finally, we observe that the existing automated metrics for this task correlate poorly with human judgement ratings. We propose a novel evaluation metric that we demonstrate is more reliable for target-guided response evaluation. Our work generally enables dialogue system designers to exercise more control over the conversations that their systems produce.


title: A Sub-pixel Accurate Quantification of Joint Space Narrowing Progression in Rheumatoid Arthritis

abstract: Rheumatoid arthritis (RA) is a chronic autoimmune disease that primarily affects peripheral synovial joints, like fingers, wrist and feet. Radiology plays a critical role in the diagnosis and monitoring of RA. Limited by the current spatial resolution of radiographic imaging, joint space narrowing (JSN) progression of RA with the same reason above can be less than one pixel per year with universal spatial resolution. Insensitive monitoring of JSN can hinder the radiologist/rheumatologist from making a proper and timely clinical judgment. In this paper, we propose a novel and sensitive method that we call partial image phase-only correlation which aims to automatically quantify JSN progression in the early stages of RA. The majority of the current literature utilizes the mean error, root-mean-square deviation and standard deviation to report the accuracy at pixel level. Our work measures JSN progression between a baseline and its follow-up finger joint images by using the phase spectrum in the frequency domain. Using this study, the mean error can be reduced to 0.0130mm when applied to phantom radiographs with ground truth, and 0.0519mm standard deviation for clinical radiography. With its sub-pixel accuracy far beyond manual measurement, we are optimistic that our work is promising for automatically quantifying JSN progression.


title: Dynamic Clustering and Power Control for Two-Tier Wireless Federated Learning

abstract: Federated learning (FL) has been recognized as a promising distributed learning paradigm to support intelligent applications at the wireless edge, where a global model is trained iteratively through the collaboration of the edge devices without sharing their data. However, due to the relatively large communication cost between the devices and parameter server (PS), direct computing based on the information from the devices may not be resource efficient. This paper studies the joint communication and learning design for the over-the-air computation (AirComp)-based two-tier wireless FL scheme, where the lead devices first collect the local gradients from their nearby subordinate devices, and then send the merged results to the PS for the second round of aggregation. We establish a convergence result for the proposed scheme and derive the upper bound on the optimality gap between the expected and optimal global loss values. Next, based on the device distance and data importance, we propose a hierarchical clustering method to build the two-tier structure. Then, with only the instantaneous channel state information (CSI), we formulate the optimality gap minimization problem and solve it by using an efficient alternating minimization method. Numerical results show that the proposed scheme outperforms the baseline ones.


title: Odd coloring of two subclasses of planar graphs

abstract: A proper coloring of a graph is odd if every non-isolated vertex has some color that appears an odd number of times on its neighborhood. Petru\v{s}evski and \v{S}krekovski conjectured in 2021 that every planar graph admits an odd $5$-coloring. We confirm this conjecture for outer-1-planar graphs and 2-boundary planar graphs, which are two subclasses of planar graphs.


title: On Demographic Bias in Fingerprint Recognition

abstract: Fingerprint recognition systems have been deployed globally in numerous applications including personal devices, forensics, law enforcement, banking, and national identity systems. For these systems to be socially acceptable and trustworthy, it is critical that they perform equally well across different demographic groups. In this work, we propose a formal statistical framework to test for the existence of bias (demographic differentials) in fingerprint recognition across four major demographic groups (white male, white female, black male, and black female) for two state-of-the-art (SOTA) fingerprint matchers operating in verification and identification modes. Experiments on two different fingerprint databases (with 15,468 and 1,014 subjects) show that demographic differentials in SOTA fingerprint recognition systems decrease as the matcher accuracy increases and any small bias that may be evident is likely due to certain outlier, low-quality fingerprint images.


title: A general stability-driven approach for the refinement of multi-planet systems

abstract: Over the past years, the amount of detected multi-planet systems significantly grew, an important sub-class of which being the compact configurations. A precise knowledge of them is crucial to understand the conditions with which planetary systems form and evolve. However, observations often leave these systems with large uncertainties, notably on the orbital eccentricities. This is especially prominent for systems with low-mass planets detected with Radial Velocities (RV), the amount of which is more and more important in the exoplanet population. It is becoming a common approach to refine these parameters with the help of orbital stability arguments. Such dynamical techniques can be computationally expensive. In this work we use an alternative procedure faster by orders of magnitude than classical N-body integration approaches. We couple a reliable exploration of the parameter space with the precision of the Numerical Analysis of Fundamental Frequencies (NAFF, Laskar 1990) fast chaos indicator. We also propose a general procedure to calibrate the NAFF indicator on any multi-planet system without additional computational cost. This calibration strategy is illustrated on HD 45364, in addition to yet-unpublished measurements obtained with the HARPS and CORALIE high-resolution spectrographs. We validate the calibration approach on HD 202696. We test the performances of this stability-driven approach on two systems with different architectures. First we study HD 37124, a 3-planet system composed of planets in the Jovian regime. Then, we analyse HD 215152, a compact system of four low-mass planets. We demonstrate the potential of the NAFF stability-driven approach to refine the orbital parameters and planetary masses. We stress the importance of undertaking systematic global dynamical analyses on every new multi-planet system discovered.


title: Gauge Symmetry Breaking in Flux Compactification with Wilson-line Scalar Condensate

abstract: We discuss the gauge symmetry breaking of six dimensional theories in flux compactification with a magnetic flux background and a constant vacuum expectation value (VEV) for the scalar fields, which are zero modes of extra spatial components of the gauge field. Although the effective potential for the scalar fields are known not to be generated classically and radiatively in a magnetic flux background only, the one-loop effective potential is shown to be generated by the effects of the non-zero constant VEV. As illustrations, we calculate the one-loop effective potential in SU(2) and SU(3) Yang-Mills theories. In both cases, we find that the potential minimum is located at non-zero VEV and the gauge symmetry breaking takes place.