title: A Constant-Factor Approximation for Quasi-bipartite Directed Steiner Tree on Minor-Free Graphs

abstract: We give the first constant-factor approximation algorithm for quasi-bipartite instances of Directed Steiner Tree on graphs that exclude fixed minors. In particular, for $K_r$-minor-free graphs our approximation guarantee is $O(r\cdot\sqrt{\log r})$ and, further, for planar graphs our approximation guarantee is 20. Our algorithm uses the primal-dual scheme. We employ a more involved method of determining when to buy an edge while raising dual variables since, as we show, the natural primal-dual scheme fails to raise enough dual value to pay for the purchased solution. As a consequence, we also demonstrate integrality gap upper bounds on the standard cut-based linear programming relaxation for the Directed Steiner Tree instances we consider.


title: Spatters and Spills: Spreading Dynamics for Partially Wetting Droplets

abstract: We present a solvable model inspired by dimensional analysis for the time-dependent spreading of droplets that partially wet a substrate, where the spreading eventually stops and the contact angle reaches a nonzero equilibrium value. We separately consider small droplets driven by capillarity and large droplets driven by gravity. To explore both regimes, we first measure the equilibrium radius versus a comprehensive range of droplet volumes for four household fluids, and we compare the results with predictions based on minimizing the sum of gravitational and interfacial energies. The agreement is good, and gives a reliable measurement of an equilibrium contact angle that is consistent in both small and large droplet regimes. Next we use energy considerations to develop equations of motion for the time dependence of the spreading, in both regimes, where the driving forces are balanced against viscous drag in the bulk of the droplet and by friction at the moving contact line. Our approach leads to explicit prediction of the functional form of the spreading dynamics. It successfully describes prior data for a small capillary-driven droplet, and it fits well to new data we obtain for large gravity-driven droplets with a wide range of volumes.


title: Contextual Semantic Parsing for Multilingual Task-Oriented Dialogues

abstract: Robust state tracking for task-oriented dialogue systems currently remains restricted to a few popular languages. This paper shows that given a large-scale dialogue data set in one language, we can automatically produce an effective semantic parser for other languages using machine translation. We propose automatic translation of dialogue datasets with alignment to ensure faithful translation of slot values and eliminate costly human supervision used in previous benchmarks. We also propose a new contextual semantic parsing model, which encodes the formal slots and values, and only the last agent and user utterances. We show that the succinct representation reduces the compounding effect of translation errors, without harming the accuracy in practice. We evaluate our approach on several dialogue state tracking benchmarks. On RiSAWOZ, CrossWOZ, CrossWOZ-EN, and MultiWOZ-ZH datasets we improve the state of the art by 11%, 17%, 20%, and 0.3% in joint goal accuracy. We present a comprehensive error analysis for all three datasets showing erroneous annotations can lead to misguided judgments on the quality of the model. Finally, we present RiSAWOZ English and German datasets, created using our translation methodology. On these datasets, accuracy is within 11% of the original showing that high-accuracy multilingual dialogue datasets are possible without relying on expensive human annotations. We release our datasets and software open source.


title: Gamma-ray orbital modulation of the transitioning millisecond pulsar binary XSS J12270-4859

abstract: We report on gamma-ray orbital modulation of the transitioning millisecond pulsar binary XSS J12270-4859 detected in the Fermi Large Area Telescope (LAT) data. We use long-term optical data taken with the XMM-Newton Optical Monitor and the Swift UltraViolet Optical Telescope to inspect radio timing solutions that are limited to relatively short time intervals, and find that extrapolation of the solutions aligns well the phasing of the optical data over 15 years. The Fermi-LAT data folded on the timing solutions exhibit significant modulation (p = 5x10^-6) with a gamma-ray minimum at the inferior conjunction of the pulsar. Intriguingly, the source seems to show similar modulation in both the low-mass X-ray binary (LMXB) and the millisecond pulsar (MSP) states, implying that mechanisms for gamma-ray emission in the two states are similar. We discuss these findings and their implications using an intra-binary shock scenario.


title: The momentum amplituhedron of SYM and ABJM from twistor-string maps

abstract: We study remarkable connections between twistor-string formulas for tree amplitudes in ${\cal N}=4$ SYM and ${\cal N}=6$ ABJM, and the corresponding momentum amplituhedron in the kinematic space of $D=4$ and $D=3$, respectively. Based on the Veronese map to positive Grassmannians, we define a twistor-string map from $G_{+}(2,n)$ to a $(2n{-}4)$-dimensional subspace of the 4d kinematic space where the momentum amplituhedron of SYM lives. We provide strong evidence that the twistor-string map is a diffeomorphism from $G_+(2,n)$ to the interior of momentum amplituhedron; the canonical form of the latter, which is known to give tree amplitudes of SYM, can be obtained as pushforward of that of former. We then move to three dimensions: based on Veronese map to orthogonal positive Grassmannian, we propose a similar twistor-string map from the moduli space ${\cal M}_{0,n}^+$ to a $(n{-}3)$-dimensional subspace of 3d kinematic space. The image gives a new positive geometry which conjecturally serves as the momentum amplituhedron for ABJM; its canonical form gives the tree amplitude with reduced supersymmetries in the theory. We also show how boundaries of compactified ${\cal M}_{0,n}^+$ map to boundaries of momentum amplituhedra for SYM and ABJM corresponding to factorization channels of amplitudes, and in particular for ABJM case the map beautifully excludes all unwanted channels.


title: Microscopic origins and stability of the ferromagnetism in Co$_3$Sn$_2$S$_2$

abstract: Based on the density functional theory, we examine the origin of ferromagnetism in the Weyl semimetal Co$_3$Sn$_2$S$_2$ using different types of response theories. We argue that the magnetism of Co$_3$Sn$_2$S$_2$ has a dual nature and bears certain aspects of both itineracy and localization. On the one hand, the magnetism is soft, where the local magnetic moments strongly depend on temperature and the angles formed by these moments at different Co sites of the kagome lattice, as expected for itinerant magnets. On the other hand, the picture of localized spins still remains adequate for the description of the local stability of the ferromagnetic (FM) order with respect to the transversal spin fluctuations. For the latter purposes, we employ two approaches, which provide quite different pictures for interatomic exchange interactions: the regular magnetic force theorem and a formally exact theory based on the calculation of the inverse response function. The exact theory predicts Co$_3$Sn$_2$S$_2$ to be a three-dimensional ferromagnet with the strongest interaction operating between next-nearest neighbors in the adjacent kagome planes. The ligand states are found to play a very important role by additionally stabilizing the FM order. When the local moments decrease, the interplane interactions sharply decrease, first causing the FM order to become quasi-two-dimensional, and then making it unstable with respect to the spin-spiral order propagating perpendicular to the kagome plane. The latter instability is partly contributed by the states at the Fermi surface and may be relevant to the magnetic behavior of Co$_3$Sn$_2$S$_2$ near the Curie temperature. Peculiarities of the half-metallic ferromagnetism in Co$_3$Sn$_2$S$_2$ are also discussed.


title: Radiation and Polarization Signatures from Magnetic Reconnection in Relativistic Jets--II. Connection with $\gamma$-rays

abstract: It is commonly believed that blazar jets are relativistic magnetized plasma outflows from supermassive black holes. One key question is how the jets dissipate magnetic energy to accelerate particles and drive powerful multi-wavelength flares. Relativistic magnetic reconnection has been proposed as the primary plasma physical process in the blazar emission region. Recent numerical simulations have shown strong acceleration of nonthermal particles that may lead to multi-wavelength flares. Nevertheless, previous works have not directly evaluated $\gamma$-ray signatures from first-principle simulations. In this paper, we employ combined particle-in-cell and polarized radiation transfer simulations to study multi-wavelength radiation and optical polarization signatures under the leptonic scenario from relativistic magnetic reconnection. We find harder-when-brighter trends in optical and {\it Fermi-LAT} $\gamma$-ray bands as well as closely correlated optical and $\gamma$-ray flares. The optical polarization angle swings are also accompanied by $\gamma$-ray flares with trivial time delays. Intriguingly, we find highly variable synchrotron self Compton signatures due to inhomogeneous particle distributions during plasmoid mergers. This feature may result in fast $\gamma$-ray flares or orphan $\gamma$-ray flares under the leptonic scenario, complementary to the frequently considered mini-jet scenario. It may also infer neutrino emission with low secondary synchrotron flux under the hadronic scenario, if plasmoid mergers can accelerate protons to very high energy.


title: Reallocation Problems with Minimum Completion Time

abstract: Reallocation scheduling is one of the most fundamental problems in various areas such as supply chain management, logistics, and transportation science. In this paper, we introduce the reallocation problem that models the scheduling in which products are with fixed cost, non-fungible, and reallocated in parallel, and comprehensively study the complexity of the problem under various settings of the transition time, product size, and capacities. We show that the problem can be solved in polynomial time for a fundamental setting where the product size and transition time are both uniform. We also show that the feasibility of the problem is NP-complete even for little more general settings, which implies that no polynomial-time algorithm constructs a feasible schedule of the problem unless P$=$NP. We then consider the relaxation of the problem, which we call the capacity augmentation, and derive a reallocation schedule feasible with the augmentation such that the completion time is at most the optimal of the original problem. When the warehouse capacity is sufficiently large, we design constant-factor approximation algorithms under all the settings. We also show the relationship between the reallocation problem and the bin packing problem when the warehouse and carry-in capacities are sufficiently large.


title: Deep Direct Visual Servoing of Tendon-Driven Continuum Robots

abstract: Vision-based control provides a significant potential for the end-point positioning of continuum robots under physical sensing limitations. Traditional visual servoing requires feature extraction and tracking followed by full or partial pose estimation, limiting the controller's efficiency. We hypothesize that employing deep learning models and implementing direct visual servoing can effectively resolve the issue by eliminating such intermediate steps, enabling control of a continuum robot without requiring an exact system model. This paper presents the control of a single-section tendon-driven continuum robot using a modified VGG-16 deep learning network and an eye-in-hand direct visual servoing approach. The proposed algorithm is first developed in Blender software using only one input image of the target and then implemented on a real robot. The convergence and accuracy of the results in normal, shadowed, and occluded scenes demonstrate the effectiveness and robustness of the proposed controller.


title: Optimal Discrete Constellation Inputs for Aggregated LiFi-WiFi Networks

abstract: In this paper, we investigate the performance of a practical aggregated LiFi-WiFi system with the discrete constellation inputs from a practical view. We derive the achievable rate expressions of the aggregated LiFi-WiFi system for the first time. Then, we study the rate maximization problem via optimizing the constellation distribution and power allocation jointly. Specifically, a multilevel mercy-filling power allocation scheme is proposed by exploiting the relationship between the mutual information and minimum mean-squared error (MMSE) of discrete inputs. Meanwhile, an inexact gradient descent method is proposed for obtaining the optimal probability distributions. To strike a balance between the computational complexity and the transmission performance, we further develop a framework that maximizes the lower bound of the achievable rate where the optimal power allocation can be obtained in closed forms and the constellation distributions problem can be solved efficiently by Frank-Wolfe method. Extensive numerical results show that the optimized strategies are able to provide significant gains over the state-of-the-art schemes in terms of the achievable rate.


title: Meta-learning for RIS-assisted NOMA Networks

abstract: A novel reconfigurable intelligent surfaces (RISs)-based transmission framework is proposed for downlink non-orthogonal multiple access (NOMA) networks. We propose a quality-of-service (QoS)-based clustering scheme to improve the resource efficiency and formulate a sum rate maximization problem by jointly optimizing the phase shift of the RIS and the power allocation at the base station (BS). A model-agnostic meta-learning (MAML)-based learning algorithm is proposed to solve the joint optimization problem with a fast convergence rate and low model complexity. Extensive simulation results demonstrate that the proposed QoS-based NOMA network achieves significantly higher transmission throughput compared to the conventional orthogonal multiple access (OMA) network. It can also be observed that substantial throughput gain can be achieved by integrating RISs in NOMA and OMA networks. Moreover, simulation results of the proposed QoS-based clustering method demonstrate observable throughput gain against the conventional channel condition-based schemes.


title: CryptoNite: Revealing the Pitfalls of End-to-End Private Inference at Scale

abstract: The privacy concerns of providing deep learning inference as a service have underscored the need for private inference (PI) protocols that protect users' data and the service provider's model using cryptographic methods. Recently proposed PI protocols have achieved significant reductions in PI latency by moving the computationally heavy homomorphic encryption (HE) parts to an offline/pre-compute phase. Paired with recent optimizations that tailor networks for PI, these protocols have achieved performance levels that are tantalizingly close to being practical. In this paper, we conduct a rigorous end-to-end characterization of PI protocols and optimization techniques and find that the current understanding of PI performance is overly optimistic. Specifically, we find that offline storage costs of garbled circuits (GC), a key cryptographic protocol used in PI, on user/client devices are prohibitively high and force much of the expensive offline HE computation to the online phase, resulting in a 10-1000$\times$ increase to PI latency. We propose a modified PI protocol that significantly reduces client-side storage costs for a small increase in online latency. Evaluated end-to-end, the modified protocol outperforms current protocols by reducing the mean PI latency by $4\times$ for ResNet18 on TinyImageNet. We conclude with a discussion of several recently proposed PI optimizations in light of the findings and note many actually increase PI latency when evaluated from an end-to-end perspective.


title: Real-time Wireless Transmitter Authorization: Adapting to Dynamic Authorized Sets with Information Retrieval

abstract: As the Internet of Things (IoT) continues to grow, ensuring the security of systems that rely on wireless IoT devices has become critically important. Deep learning-based passive physical layer transmitter authorization systems have been introduced recently for this purpose, as they accommodate the limited computational and power budget of such devices. These systems have been shown to offer excellent outlier detection accuracies when trained and tested on a fixed authorized transmitter set. However in a real-life deployment, a need may arise for transmitters to be added and removed as the authorized set of transmitters changes. In such cases, the system could experience long down-times, as retraining the underlying deep learning model is often a time-consuming process. In this paper, we draw inspiration from information retrieval to address this problem: by utilizing feature vectors as RF fingerprints, we first demonstrate that training could be simplified to indexing those feature vectors into a database using locality sensitive hashing (LSH). Then we show that approximate nearest neighbor search could be performed on the database to perform transmitter authorization that matches the accuracy of deep learning models, while allowing for more than 100x faster retraining. Furthermore, dimensionality reduction techniques are used on the feature vectors to show that the authorization latency of our technique could be reduced to approach that of traditional deep learning-based systems.


title: InQSS: a speech intelligibility and quality assessment model using a multi-task learning network

abstract: Speech intelligibility and quality assessment models are essential tools for researchers to evaluate and improve speech processing models. However, only a few studies have investigated multi-task models for intelligibility and quality assessment due to the limitations of available data. In this study, we released TMHINT-QI, the first Chinese speech dataset that records the quality and intelligibility scores of clean, noisy, and enhanced utterances. Then, we propose InQSS, a non-intrusive multi-task learning framework for intelligibility and quality assessment. We evaluated the InQSS on both the training-from-scratch and the pretrained models. The experimental results confirm the effectiveness of the InQSS framework. In addition, the resulting model can predict not only the intelligibility scores but also the quality scores of a speech signal.


title: Building Damage Mapping with Self-PositiveUnlabeled Learning

abstract: Humanitarian organizations must have fast and reliable data to respond to disasters. Deep learning approaches are difficult to implement in real-world disasters because it might be challenging to collect ground truth data of the damage situation (training data) soon after the event. The implementation of recent self-paced positive-unlabeled learning (PU) is demonstrated in this work by successfully applying to building damage assessment with very limited labeled data and a large amount of unlabeled data. Self-PU learning is compared with the supervised baselines and traditional PU learning using different datasets collected from the 2011 Tohoku earthquake, the 2018 Palu tsunami, and the 2018 Hurricane Michael. By utilizing only a portion of labeled damaged samples, we show how models trained with self-PU techniques may achieve comparable performance as supervised learning.


title: Identifying drivers of energy resolution variation in multi-KID phonon-mediated detectors

abstract: Phonon-mediated particle detectors employing Kinetic Inductance Detectors (KIDs) on Silicon substrates have demonstrated both O(10) eV energy resolution and mm position resolution, making them strong candidates for instrumenting next generation rare-event experiments such as in looking for dark matter or in neutrino measurements. Previous work has demonstrated the performance of an 80-KID array on a Si wafer, however current energy resolution measurements show a 25x difference between otherwise identical KIDs on the same wafer - between 5 to 125 eV on energy absorbed by the KID. Here, we use a first principles approach and attempt to identify the drivers behind the resolution variation. In particular, we analyze a subset of 8 KIDs using the unique approach of pulsing neighboring KIDs to generate signals in the target. We tentatively identify differences in quality factor terms as the likely culprit for the observed variation.


title: On symbolic group varieties and dual surjunctivity

abstract: Let $G$ be a group. Let $X$ be an algebraic group over an algebraically closed field $K$. Denote by $A=X(K)$ the set of rational points of $X$. We study algebraic group cellular automata $\tau \colon A^G \to A^G$ whose local defining map is induced by a homomorphism of algebraic groups $X^M \to X$ where $M$ is a finite memory. When $G$ is sofic and $K$ is uncountable, we show that if $\tau$ is post-surjective then it is weakly pre-injective. Our result extends the dual version of Gottschalk's Conjecture for finite alphabets proposed by Capobianco, Kari, and Taati. When $G$ is amenable, we prove that if $\tau$ is surjective then it is weakly pre-injective, and conversely, if $\tau$ is pre-injective then it is surjective. Hence, we obtain a complete answer to a question of Gromov on the Garden of Eden theorem in the case of algebraic group cellular automata.


title: Decomposition of high-rank factorized unitary coupled-cluster operators using ancilla and multi-qubit controlled low-rank counterparts

abstract: The factorized form of the unitary coupled-cluster approximation is one of the most promising methodologies to prepare trial states for strongly correlated systems within the variational quantum eigensolver framework. The factorized form of the UCC ansatz can be systematically applied to a reference state to generate the desired entanglement. The difficulty associated with such an approach is the requirement of simultaneously entangling a growing number of qubits, which quickly exceeds the hardware limitations of today's quantum machines. In particular, while circuits for singles and double excitations can be performed on current hardware, higher-rank excitations require too many gate operations. In this work, we propose a set of new schemes that trade off using extra qubits for a reduced gate depth to decompose high-rank UCC excitation operators into significantly lower depth circuits. These results will remain useful even when fault-tolerant machines are available to reduce the overall state-preparation circuit depth.


title: Applying generalized variational principles to excited-state-specific complete active space self-consistent field theory

abstract: We employ a generalized variational principle to improve the stability, reliability, and precision of fully excited-state-specific complete active space self-consistent field theory. Compared to previous approaches that similarly seek to tailor this ansatz's orbitals and configuration interaction expansion for an individual excited state, we find the present approach to be more resistant to root flipping and better at achieving tight convergence to an energy stationary point. Unlike state-averaging, this approach allows orbital shapes to be optimal for individual excited states, which is especially important for charge transfer states and some doubly excited states. We demonstrate the convergence and state-targeting abilities of this method in LiH, ozone, and MgO, showing in the latter that it is capable of finding three excited state energy stationary points that no previous method has been able to locate.


title: Minimum-Complexity Graph Simplification under Fr\'echet-Like Distances

abstract: Simplifying graphs is a very applicable problem in numerous domains, especially in computational geometry. Given a geometric graph and a threshold, the minimum-complexity graph simplification asks for computing an alternative graph of minimum complexity so that the distance between the two graphs remains at most the threshold. In this paper, we propose several NP-hardness and algorithmic results depending on the type of input and simplified graphs, the vertex placement of the simplified graph, and the distance measures between them (graph and traversal distances [1,2]). In general, we show that for arbitrary input and output graphs, the problem is NP-hard under some specific vertex-placement of the simplified graph. When the input and output are trees, and the graph distance is applied from the simplified tree to the input tree, we give an $O(kn^5)$ time algorithm, where $k$ is the number of the leaves of the two trees that are identical and $n$ is the number of vertices of the input.


title: Conformal prediction for text infilling and part-of-speech prediction

abstract: Modern machine learning algorithms are capable of providing remarkably accurate point-predictions; however, questions remain about their statistical reliability. Unlike conventional machine learning methods, conformal prediction algorithms return confidence sets (i.e., set-valued predictions) that correspond to a given significance level. Moreover, these confidence sets are valid in the sense that they guarantee finite sample control over type 1 error probabilities, allowing the practitioner to choose an acceptable error rate. In our paper, we propose inductive conformal prediction (ICP) algorithms for the tasks of text infilling and part-of-speech (POS) prediction for natural language data. We construct new conformal prediction-enhanced bidirectional encoder representations from transformers (BERT) and bidirectional long short-term memory (BiLSTM) algorithms for POS tagging and a new conformal prediction-enhanced BERT algorithm for text infilling. We analyze the performance of the algorithms in simulations using the Brown Corpus, which contains over 57,000 sentences. Our results demonstrate that the ICP algorithms are able to produce valid set-valued predictions that are small enough to be applicable in real-world applications. We also provide a real data example for how our proposed set-valued predictions can improve machine generated audio transcriptions.


title: Energy-Efficient Online Data Sensing and Processing in Wireless Powered Edge Computing Systems

abstract: This paper focuses on developing energy-efficient online data processing strategy of wireless powered MEC systems under stochastic fading channels. In particular, we consider a hybrid access point (HAP) transmitting RF energy to and processing the sensing data offloaded from multiple WDs. Under an average power constraint of the HAP, we aim to maximize the long-term average data sensing rate of the WDs while maintaining task data queue stability. We formulate the problem as a multi-stage stochastic optimization to control the energy transfer and task data processing in sequential time slots. Without the knowledge of future channel fading, it is very challenging to determine the sequential control actions that are tightly coupled by the battery and data buffer dynamics. To solve the problem, we propose an online algorithm named LEESE that applies the perturbed Lyapunov optimization technique to decompose the multi-stage stochastic problem into per-slot deterministic optimization problems. We show that each per-slot problem can be equivalently transformed into a convex optimization problem. To facilitate online implementation in large-scale MEC systems, instead of solving the per-slot problem with off-the-shelf convex algorithms, we propose a block coordinate descent (BCD)-based method that produces close-to-optimal solution in less than 0.04\% of the computation delay. Simulation results demonstrate that the proposed LEESE algorithm can provide 21.9\% higher data sensing rate than the representative benchmark methods considered, while incurring sub-millisecond computation delay suitable for real-time control under fading channel.


title: Proposed Fermi-surface reservoir-engineering and application to realizing unconventional Fermi superfluids in a driven-dissipative non-equilibrium Fermi gas

abstract: We develop a theory to describe the dynamics of a driven-dissipative many-body Fermi system, to pursue our proposal to realize exotic quantum states based on reservoir engineering. Our idea is to design the shape of a Fermi surface so as to have multiple Fermi edges, by properly attaching multiple reservoirs with different chemical potentials to a fermionic system. These emerged edges give rise to additional scattering channels that can destabilize the system into unconventional states, which is exemplified in this work by considering a driven-dissipative attractively interacting Fermi gas. By formulating a quantum kinetic equation using the Nambu-Keldysh Green's function technique, we explore nonequilibrium steady states in this system and assess their stability. We find that, in addition to the BCS-type isotropic pairing state, a Fulde-Ferrell-type anisotropic superfluid state being accompanied by Cooper pairs with non-zero center-of-mass momentum exists as a stable solution, even in the absence of a magnetic Zeeman field. Our result implies a great potential of realizing quantum matter beyond the equilibrium paradigm, by engineering the shape and topology of Fermi surfaces in both electronic and atomic systems.


title: An Information-Theoretic Framework for Identifying Age-Related Genes Using Human Dermal Fibroblast Transcriptome Data

abstract: Investigation of age-related genes is of great importance for multiple purposes, for instance, improving our understanding of the mechanism of ageing, increasing life expectancy, age prediction, and other healthcare applications. In his work, starting with a set of 27,142 genes, we develop an information-theoretic framework for identifying genes that are associated with aging by applying unsupervised and semi-supervised learning techniques on human dermal fibroblast gene expression data. First, we use unsupervised learning and apply information-theoretic measures to identify key features for effective representation of gene expression values in the transcriptome data. Using the identified features, we perform clustering on the data. Finally, we apply semi-supervised learning on the clusters using different distance measures to identify novel genes that are potentially associated with aging. Performance assessment for both unsupervised and semi-supervised methods show the effectiveness of the framework.


title: Multipartite Intrinsic Non-Locality and Device-Independent Conference Key Agreement

abstract: In this work, we introduce multipartite intrinsic non-locality as a method for quantifying resources in the multipartite scenario of device-independent (DI) conference key agreement. We prove that multipartite intrinsic non-locality is additive, convex, and monotone under a class of free operations called local operations and common randomness. As one of our technical contributions, we establish a chain rule for two variants of multipartite mutual information, which we then use to prove that multipartite intrinsic non-locality is additive. This chain rule may be of independent interest in other contexts. All of these properties of multipartite intrinsic non-locality are helpful in establishing the main result of our paper: multipartite intrinsic non-locality is an upper bound on secret key rate in the general multipartite scenario of DI conference key agreement. We discuss various examples of DI conference key protocols and compare our upper bounds for these protocols with known lower bounds. Finally, we calculate upper bounds on recent experimental realizations of DI quantum key distribution.


title: Geometry and analysis of contact instantons and entanglement of Legendrian links I

abstract: The purposes of the present paper are two-fold. Firstly we further develop the interplay between the contact Hamiltonian geometry and the geometric analysis of Hamiltonian-perturbed contact instantons with the Legendrian boundary condition, which is initiated by the present author in \cite{oh:contacton-Legendrian-bdy}. We introduce the class of \emph{tame contact manifolds} $(M,\lambda)$, which includes compact ones but not necessarily compact, and establish uniform a priori $C^0$-estimates for the contact instantons. Then we study the problem of estimating the Reeb-untangling energy of one Legendrian submanifold from another, and formulate a particularly designed parameterized moduli space for the study of the problem. We establish the Gromov-Floer-Hofer type convergence result for contact instantons of finite energy and construct its compactification of the moduli space, first by defining the correct energy and then by proving uniform a priori energy bounds in terms of the oscillation of the relevant contact Hamiltonian. Secondly, as an application of this geometry and analysis of contact instantons, we prove that the \emph{self Reeb-untangling energy} of a compact Legendrian submanifold $R$ in any tame contact manifold $(M,\lambda)$ is greater than that of the period gap $T_\lambda(M,R)$ of the Reeb chords of $R$. This is an optimal result in general.In a sequel \cite{oh:shelukhin-conjecture}, we also prove Shelukhin's conjecture specializing to the Legendrianization of contactomorphisms and utilizing its $\mathbb Z_2$-symmetry argument as the fixed point set of anti-contact involution.


title: Universal Private Estimators

abstract: We present \textit{universal} estimators for the statistical mean, variance, and scale (in particular, the interquartile range) under pure differential privacy. These estimators are universal in the sense that they work on an arbitrary, unknown continuous distribution $\mathcal{P}$ over $\mathbb{R}$, while yielding strong utility guarantees except for ill-behaved $\mathcal{P}$. For certain distribution families like Gaussians or heavy-tailed distributions, we show that our universal estimators match or improve existing estimators, which are often specifically designed for the given family and under \textit{a priori} boundedness assumptions on the mean and variance of $\mathcal{P}$. This is the first time these boundedness assumptions are removed under pure differential privacy. The main technical tools in our development are instance-optimal empirical estimators for the mean and quantiles over the unbounded integer domain, which can be of independent interest.


title: Leveraging Time Irreversibility with Order-Contrastive Pre-training

abstract: Label-scarce, high-dimensional domains such as healthcare present a challenge for modern machine learning techniques. To overcome the difficulties posed by a lack of labeled data, we explore an "order-contrastive" method for self-supervised pre-training on longitudinal data. We sample pairs of time segments, switch the order for half of them, and train a model to predict whether a given pair is in the correct order. Intuitively, the ordering task allows the model to attend to the least time-reversible features (for example, features that indicate progression of a chronic disease). The same features are often useful for downstream tasks of interest. To quantify this, we study a simple theoretical setting where we prove a finite-sample guarantee for the downstream error of a representation learned with order-contrastive pre-training. Empirically, in synthetic and longitudinal healthcare settings, we demonstrate the effectiveness of order-contrastive pre-training in the small-data regime over supervised learning and other self-supervised pre-training baselines. Our results indicate that pre-training methods designed for particular classes of distributions and downstream tasks can improve the performance of self-supervised learning.


title: Electrical Conductances and association constants in dilute aqueous NdCl\textsubscript{3} solutions from 298 to 523 K along an isobar of 25 MPa

abstract: Electrical measurements were performed in dilute aqueous NdCl3 solutions from 298 to 523 K along the 25 MPa isobar to obtain limiting conductances and association constants. The specific conductance data were estimated using a continuous flow cell and a Markov Chain Monte Carlo (MCMC) correction algorithm. The limiting conductances for the salts in water were derived by regressing the mean spherical approximation (MSA) conductance model and speciation analyses based on the MCMC algorithm and the Deep Earth Water (DEW) model. The limiting conductances derived from the experimental data agree well with a predictive correlation proposed by Smolyakov, Anderko, and Lencka. Only the first association constant between neodymium and chloride could be derived at low temperatures (< 373 K) due to the apparent large statistical uncertainty of the second association constant. Above 373 K, both association constants could be derived and show a reasonable agreement with Migdisov and Williams-Jones and Gammons et al.


title: Optimal Recovery from Inaccurate Data in Hilbert Spaces: Regularize, but what of the Parameter?

abstract: In Optimal Recovery, the task of learning a function from observational data is tackled deterministically by adopting a worst-case perspective tied to an explicit model assumption made on the functions to be learned. Working in the framework of Hilbert spaces, this article considers a model assumption based on approximability. It also incorporates observational inaccuracies modeled via additive errors bounded in $\ell_2$. Earlier works have demonstrated that regularization provide algorithms that are optimal in this situation, but did not fully identify the desired hyperparameter. This article fills the gap in both a local scenario and a global scenario. In the local scenario, which amounts to the determination of Chebyshev centers, the semidefinite recipe of Beck and Eldar (legitimately valid in the complex setting only) is complemented by a more direct approach, with the proviso that the observational functionals have orthonormal representers. In the said approach, the desired parameter is the solution to an equation that can be resolved via standard methods. In the global scenario, where linear algorithms rule, the parameter elusive in the works of Micchelli et al. is found as the byproduct of a semidefinite program. Additionally and quite surprisingly, in case of observational functionals with orthonormal representers, it is established that any regularization parameter is optimal.


title: Rational activation functions in neural networks with uniform based loss functions and its application in classification

abstract: In this paper, we demonstrate the application of generalised rational uniform (Chebyshev) approximation in neural networks. In particular, our activation functions are one degree rational functions and the loss function is based on the uniform norm. In this setting, when the coefficients of the rational activation function are fixed, the overall optimisation problem of the neural network forms a generalised rational uniform approximation problem where the weights and the bias of the network are the decision variables. To optimise the decision variables, we suggest using two prominent methods: the bisection method and the differential correction algorithm. We perform numerical experiments on classification problems with two classes and report the classification accuracy obtained by the network using the bisection method, differential correction algorithm along with the standard MATLAB toolbox which uses the least square loss function. We show that the choice of the uniform norm based loss function with rational activation function and the bisection method lead to better classification accuracy when the training dataset is either very small or if the classes are imbalanced.


title: On Semantic Cognition, Inductive Generalization, and Language Models

abstract: My doctoral research focuses on understanding semantic knowledge in neural network models trained solely to predict natural language (referred to as language models, or LMs), by drawing on insights from the study of concepts and categories grounded in cognitive science. I propose a framework inspired by 'inductive reasoning,' a phenomenon that sheds light on how humans utilize background knowledge to make inductive leaps and generalize from new pieces of information about concepts and their properties. Drawing from experiments that study inductive reasoning, I propose to analyze semantic inductive generalization in LMs using phenomena observed in human-induction literature, investigate inductive behavior on tasks such as implicit reasoning and emergent feature recognition, and analyze and relate induction dynamics to the learned conceptual representation space.


title: Auto Tuning of Hadoop and Spark parameters

abstract: Data of the order of terabytes, petabytes, or beyond is known as Big Data. This data cannot be processed using the traditional database software, and hence there comes the need for Big Data Platforms. By combining the capabilities and features of various big data applications and utilities, Big Data Platforms form a single solution. It is a platform that helps to develop, deploy and manage the big data environment. Hadoop and Spark are the two open-source Big Data Platforms provided by Apache. Both these platforms have many configurational parameters, which can have unforeseen effects on the execution time, accuracy, etc. Manual tuning of these parameters can be tiresome, and hence automatic ways should be needed to tune them. After studying and analyzing various previous works in automating the tuning of these parameters, this paper proposes two algorithms - Grid Search with Finer Tuning and Controlled Random Search. The performance indicator studied in this paper is Execution Time. These algorithms help to tune the parameters automatically. Experimental results have shown a reduction in execution time of about 70% and 50% for Hadoop and 81.19% and 77.77% for Spark by Grid Search with Finer Tuning and Controlled Random Search, respectively.


title: The Circuit-Cocircuit Intersection Conjecture for Intersection Size $k\le6$

abstract: Oxley conjectured (1992) that if a matroid has a circuit-cocircuit intersection of size $k\ge4$, it has a circuit-cocircuit intersection of size $k-2$. We show that this conjecture holds for $k\le6$.


title: Crystal-like Order Stabilizing Glasses: Structural Origin of Ultra-stable Metallic Glasses

abstract: Glasses are featured with a disordered amorphous structure, being opposite to crystals that are constituted by periodic lattices. In this study we report that the exceptional thermodynamic and kinetic stability of an ultra-stable binary ZrCu metallic glass, fabricated by high-temperature physical vapor deposition, originates from ubiquitous crystal-like medium range order (MRO) constituted by Voronoi polyhedron ordering with well-defined local translational symmetry beyond nearest atomic neighbors. The crystal-like MRO significantly improves the thermodynamic and kinetic stability of the glass, which is in opposition to the conventional wisdom that crystal-like order deteriorates the stability and forming ability of metallic glasses. This study unveils the structural origin of ultra-stable metallic glasses and shines a light on the intrinsic correlation of local atomic structure ordering with glass transition of metallic glasses.


title: Constrained Form-Finding of Tension-Compression Structures using Automatic Differentiation

abstract: This paper proposes a computational approach to form-find pin-jointed, bar structures subjected to combinations of tension and compression forces. The generated equilibrium states can meet force and geometric constraints via gradient-based optimization. We achieve this by extending the combinatorial equilibrium modeling (CEM) framework in three important ways. First, we introduce a new topological object, the auxiliary trail, to expand the range of structures that can be form-found with the framework. Then, we leverage automatic differentiation (AD) to obtain an exact value of the gradient of the sequential and iterative calculations of the CEM form-finding algorithm, instead of a numerical approximation. Finally, we encapsulate our research developments into an open-source design tool written in Python that is usable across different CAD platforms and operating systems. After studying four different structures -- a self-stressed planar tensegrity, a tree canopy, a curved bridge, and a spiral staircase -- we demonstrate that our approach enables the solution of constrained form-finding problems on a diverse range of structures more efficiently than in previous work.


title: K2-79b and K2-222b: Mass measurements of two small exoplanets with periods beyond 10 days that overlap with periodic magnetic activity signals

abstract: We present mass and radius measurements of K2-79b and K2-222b, two transiting exoplanets orbiting active G-type stars. Their respective 10.99d and 15.39d orbital periods fall near periods of signals induced by stellar magnetic activity. The two signals might therefore interfere and lead to an inaccurate estimate of exoplanet mass. We present a method to mitigate these effects when radial velocity and activity indicator observations are available over multiple observing seasons and the orbital period of the exoplanet is known. We perform correlation and periodogram analyses on sub-sets composed of each target's two observing seasons, in addition to the full data sets. For both targets, these analyses reveal an optimal season with little to no interference at the orbital period of the known exoplanet. We make a confident mass detection of each exoplanet by confirming agreement between fits to the full radial velocity set and the optimal season. For K2-79b, we measure a mass of 11.8 $\pm$ 3.6 $M_{Earth}$ and a radius of 4.09 $\pm$ 0.17 $R_{Earth}$. For K2-222b, we measure a mass of 8.0 $\pm$ 1.8 $M_{Earth}$ and a radius of 2.35 $\pm$ 0.08 $R_{Earth}$. According to model predictions, K2-79b is a highly irradiated Uranus-analog and K2-222b hosts significant amounts of water ice. We also present an RV solution for a candidate second companion orbiting K2-222 at 147.5d.


title: Hydrodynamic generation of skyrmions in a two-component Bose-Einstein condensate

abstract: When an obstacle is moved in a superfluid faster than a critical velocity, quantized vortices are generated behind the obstacle. Here we propose a method to create more complicated topological excitations, three-dimensional skyrmions, behind a moving obstacle. We numerically show that, in a two-component Bose-Einstein condensate, component-dependent obstacle potentials can generate skyrmions in the wake, made up of quantized vortex rings in different components that are linked with each other. The lifetime of generated skyrmions can be prolonged by a guiding potential, which enables the formation of a skyrmion train.


title: Effects of Mixed Distribution Statistical Flood Frequency Models on Dam Safety Assessments: A Case Study of the Pueblo Dam, USA

abstract: Statistical flood frequency analysis coupled with hydrograph scaling is commonly used to generate design floods to assess dam safety assessment. The safety assessments can be highly sensitive to the choice of the statistical flood frequency model. Standard dam safety assessments are typically based on a single distribution model of flood frequency, often the Log Pearson Type III or Generalized Extreme Value distributions. Floods, however, may result from multiple physical processes such as rain on snow, snowmelt or rainstorms. This can result in a mixed distribution of annual peak flows, according to the cause of each flood. Engineering design choices based on a single distribution statistical model are vulnerable to the effects of this potential structural model error. To explore the practicality and potential value of implementing mixed distribution statistical models in engineering design, we compare the goodness of fit of several single- and mixed-distribution peak flow models, as well as the contingent dam safety assessment at Pueblo, Colorado as a didactic example. Summer snowmelt and intense summer rainstorms are both key drivers of annual peak flow at Pueblo. We analyze the potential implications for the annual probability of overtopping-induced failure of the Pueblo Dam as a didactic example. We address the temporal and physical cause separation problems by building on previous work with mixed distributions. We find a Mixed Generalized Extreme Value distribution model best fits peak flows observed in the gaged record, historical floods, and paleo floods at Pueblo. Finally, we show that accounting for mixed distributions in the safety assessment at Pueblo Dam increases the assessed risk of overtopping.


title: The Origin of High Energy Emission in the Young Radio Source PKS 1718-649

abstract: We present a model for the broadband radio-to-$\gamma$-ray spectral energy distribution of the compact radio source, PKS 1718-649. Because of its young age (100 years) and proximity ($z=0.014$), PKS 1718-649 offers a unique opportunity to study nuclear conditions and the jet/host galaxy feedback process at the time of an initial radio jet expansion. PKS 1718-649 is one of a handful of young radio jets with $\gamma$-ray emission confirmed with the Fermi/LAT detector. We show that this $\gamma$-ray emission can be successfully explained by Inverse Compton scattering of the ultraviolet photons, presumably from an accretion flow, off non-thermal electrons in the expanding radio lobes. The origin of the X-ray emission in PKS 1718-649 is more elusive. While Inverse Compton scattering of the infrared photons emitted by a cold gas in the vicinity of the expanding radio lobes contributes significantly to the X-ray band, the data require that an additional X-ray emission mechanism is at work, e.g. a weak X-ray corona or a radiatively inefficient accretion flow, expected from a LINER type nucleus such as that of PKS 1718-649. We find that the jet in PKS 1718-649 has low power, $L_j \simeq 2.2 \times 10^{42}$ erg s$^{-1}$, and expands in an environment with density $n_0 \simeq 20$ cm$^{-3}$. The inferred mass accretion rate and gas mass reservoir within 50-100 pc are consistent with estimates from the literature obtained by tracing molecular gas in the innermost region of the host galaxy with SINFONI and ALMA.


title: Scandium decorated C$_{24}$ fullerene as high capacity reversible hydrogen storage material: Insights from density functional theory simulations

abstract: Using first-principles density functional theory simulations, we have observed that the scandium decorated C$_{24}$ fullerene can adsorb up to six hydrogen molecules with an average adsorption energy of -0.35 eV per H$_2$ and average desorption temperature of 451 K. The gravimetric wt % of hydrogen for the scandium decorated C$_{24}$ fullerene system is 13.02%, which is sufficiently higher than the Department of Energy, United States demand. Electronic structure, orbital interactions, and charge transfer mechanisms are explained using the density of states, spatial charge density difference plots, and Bader charge analysis. A total amount of 1.44e charge transfer from the 3d and 4s orbitals of scandium to the 2p carbon orbitals of C$_{24}$ fullerene. Hydrogen molecules are attached to scandium decorated C$_{24}$ fullerene by Kubas type of interactions. Diffusion energy barrier calculations predict that the existence of a sufficient energy barrier will prevent metal-metal clustering. Ab-initio molecular dynamics (A.I.M.D.) simulations confirm the solidity of the structure at the highest desorption temperature. Therefore, we believe that the scandium decorated C$_{24}$ fullerene system is a thermodynamically stable, promising reversible high-capacity hydrogen storage device.


title: Supporting GNSS Baseband Using Smartphone IMU and Ultra-Tight Integration

abstract: A great surge in the development of global navigation satellite systems (GNSS) excavates the potential for prosperity in many state-of-the-art technologies, e.g., autonomous ground vehicle navigation. Nevertheless, the GNSS is vulnerable to various ground interferences, which significantly break down the continuity of the navigation system. Meanwhile, the GNSS-based next-generation navigation devices are being developed to be smaller, more low-cost, and lightweight, as the commercial market forecasts. This work aims to answer whether the smartphone inertial measurement unit (IMU) is sufficient to support the GNSS baseband. Thus, a cascaded ultra-tightly coupled GNSS/inertial navigation system (INS) technique, where consumer-level smartphone sensors are used, is applied to improve the baseband of GNSS software-defined radios (SDRs). A Doppler value is predicted based on an integrated extended Kalman filter (EKF) navigator where the pseudorange-state-based measurements of GNSS and INS are fused. It is used to assist numerically controlled oscillators (NCOs) in the GNSS baseband. Then, an ultra-tight integration platform is built with the upgraded GNSS SDR, of which baseband processing is integrated with INS mechanization. Finally, tracking and carrier-based positioning performances are assessed in the proposed platform for the smartphone-IMU-aided GNSS baseband via kinematic field tests. The experimental results prove that extra hardware with only a few dollars instead of more expensive ones can improve the GNSS baseband efficiently.


title: Finding All Leftmost Separators of Size $\leq k$

abstract: We define a notion called leftmost separator of size at most $k$. A leftmost separator of size $k$ is a minimal separator $S$ that separates two given sets of vertices $X$ and $Y$ such that we "cannot move $S$ more towards $X$" such that $|S|$ remains smaller than the threshold. One of the incentives is that by using leftmost separators we can improve the time complexity of treewidth approximation. Treewidth approximation is a problem which is known to have a linear time FPT algorithm in terms of input size, and only single exponential in terms of the parameter, treewidth. It is not known whether this result can be improved theoretically. However, the coefficient of the parameter $k$ (the treewidth) in the exponent is large. Hence, our goal is to decrease the coefficient of $k$ in the exponent, in order to achieve a more practical algorithm. Hereby, we trade a linear-time algorithm for an $\mathcal{O}(n \log n)$-time algorithm. The previous known $\mathcal{O}(f(k) n \log n)$-time algorithms have dependences of $2^{24k}k!$, $2^{8.766k}k^2$ (a better analysis shows that it is $2^{7.671k}k^2$), and higher. In this paper, we present an algorithm for treewidth approximation which runs in time $\mathcal{O}(2^{6.755k}\ n \log n)$, Furthermore, we count the number of leftmost separators and give a tight upper bound for them. We show that the number of leftmost separators of size $\leq k$ is at most $C_{k-1}$ (Catalan number). Then, we present an algorithm which outputs all leftmost separators in time $\mathcal{O}(\frac{4^k}{\sqrt{k}}n)$.


title: The graphs with a symmetrical Euler cycle

abstract: The edges surrounding a face of a map $M$ form a cycle $C$, called the boundary cycle of the face, and $C$ is often not a simple cycle. If the map $M$ is arc-transitive, then there is a cyclic subgroup of automorphisms of $M$ which leaves $C$ invariant and is bi-regular on the edges of the induced subgraph $[C]$; that is to say, $C$ is a symmetrical Euler cycle of $[C]$. In this paper we determine the family of graphs (which may have multiple edges) whose edge-sets can be sequenced to form a symmetrical Euler cycle. We first classify all graphs which have a cyclic subgroup of automorphisms acting bi-regularly on edges. We then apply this classification to obtain the graphs possessing a symmetrical Euler cycle, and therefore are the (only) candidates for the induced subgraphs of the boundary cycles of the faces of arc-transitive maps.


title: Spiral wave chimeras in populations of oscillators coupled to a slowly varying diffusive environment

abstract: Chimera states are firstly discovered in nonlocally coupled oscillator systems. Such a nonlocal coupling arises typically as oscillators are coupled via an external environment whose characteristic time scale $\tau$ is so small (i.e., $\tau \rightarrow 0$) that it could be eliminated adiabatically. Nevertheless, whether the chimera states still exist in the opposite situation (i.e., $\tau \gg 1$) is unknown. Here, by coupling large populations of Stuart-Landau oscillators to a diffusive environment, we demonstrate that spiral wave chimeras do exist in this oscillator-environment coupling system even when $\tau$ is very large. Various transitions such as from spiral wave chimeras to spiral waves or unstable spiral wave chimeras as functions of the system parameters are explored. A physical picture for explaining the formation of spiral wave chimeras is also provided. The existence of spiral wave chimeras is further confirmed in ensembles of FitzHugh-Nagumo oscillators with the similar oscillator-environment coupling mechanism. Our results provide an affirmative answer to the observation of spiral wave chimeras in populations of oscillators mediated via a slowly changing environment and give important hints to generate chimera patterns in both laboratory and realistic chemical or biological systems.


title: Severing the link between modal order and group index using hybrid guided space-time modes

abstract: The structure of an optical waveguide determines the characteristics of its guided modes, such as their spatial profile and group index. General features are shared by modes regardless of the waveguiding structure; for example, modal dispersion is inevitable in multimode waveguides, every mode experiences group-velocity dispersion, and higher-order modes are usually slower than their lower-order counterparts. We show here that such trends can be fundamentally altered -- altogether severing the link between modal order and group index hybrid and eliminating dispersion -- by exploiting hybrid guided space-time modes in a planar multimode waveguide. Such modes are confined in one-dimension by the waveguide and in the other by the spatio-temporal spectral structure of the field itself. Direct measurements of the modal group delays confirm that the group index for low-loss, dispersion-free, hybrid space-time modes can be each tuned away from the group index of the conventional mode of same order, and that the transverse size of these hybrid modes can be varied independently of the modal order and group index. These findings are verified in a few-mode planar waveguide consisting of a 25.5-mm-long, 4-$\mu$m-thick silica film deposited on a MgF$_2$ substrate.


title: Schwarz-Pick Lemma for Harmonic and Hyperbolic Harmonic Functions

abstract: We establish some inequalities of Schwarz-Pick type for harmonic and hyperbolic harmonic functions on the unit ball of and we disprove a recent conjecture of Liu [Schwarz-Pick Lemma for Harmonic Functions, International Mathematics Research Notices, 2021].


title: Supernova-driven turbulent metal mixing in high redshift galactic disks: metallicity fluctuations in the interstellar medium and its imprints on metal poor stars in the Milky Way

abstract: The extent to which turbulence mixes gas in the face of recurrent infusions of fresh metals by supernovae (SN) could help provide important constraints on the local star formation conditions. This includes predictions of the metallicity dispersion amongst metal poor stars, which suggests that the interstellar medium was not very well mixed at these early times. The purpose of this {\it Letter} is to help isolate, via a series of numerical experiments, some of the key processes that regulate turbulent mixing of SN elements in galactic disks. We study the gas interactions in small simulated patches of a galaxy disk with the goal of resolving the small-scale mixing effects of metals at pc scales, which enables us to measure the turbulent diffusion coefficient in various galaxy environments. By investigating the statistics of variations of $\alpha$ elements in these simulations, we are able to derive constraints not only on the allowed range of intrinsic yield variations in SN explosions but also on the star formation history of the Milky Way. We argue that the observed dispersion of [Mg/Fe] in metal poor halo stars is compatible with the star-forming conditions expected in dwarf satellites or in an early low star-forming Milky Way progenitor. In particular, metal variations in stars that have not been phase-mixed can be used to infer the star-forming conditions of disrupted dwarf satellites.


title: Models of Metal-Poor Stars with Different Initial Abundances of C, N, O, Mg, and Si. I. Bolometric Corrections Derived from New MARCS Synthetic Spectra and Their Implications for Observed Colour-Magnitude Diagrams

abstract: New, high-resolution MARCS synthetic spectra have been calculated for more than a dozen mixtures of the metals allowing, in turn, for variations in C:N:O, [CNO/Fe], and enhanced abundances of C, O, Mg, and Si. Bolometric Corrections (BCs) for many of the broad-band filters currently in use have been generated from these spectra. Due to improved treatments of molecules that involve atoms of C, N, and O, the BCs for UV and blue passbands, in particular, differ substantially from those derived from previous MARCS models. These differences, and the effects on BCs of varying the abundances of the metals, are shown in a number of instructive plots. Stellar evolutionary grids for -2.5 <= [Fe/H] <= -0.5 have also been computed for the different mixtures. Isochrones based on these tracks are intercompared on the theoretical H-R diagram and on a few of the colour-magnitude diagrams that can be constructed from HST Wide Field Camera 3 (WFC3) F336W, F438W, F606W, F814W, F110W, and F160W observations. For the first application of these models, isochrones have been fitted to WFC3 photometry of the globular cluster NGC 6496 from the HST UV Legacy Survey, with very encouraging results.


title: The divergence of Van Hove's model and its consequences

abstract: We study a regularized version of Van Hove's 1952 model, in which a quantum field interacts linearly with sources of finite width lying at fixed positions. We show that the central result of Van Hove's 1952 paper on the foundations of Quantum Field Theory, the orthogonality between the spaces of state vectors which correspond to different values of the parameters of the theory, disappears when a well-defined model is considered. We comment on the implications of our results for the contemporary relevance of Van Hove's article.


title: Lexically Aware Semi-Supervised Learning for OCR Post-Correction

abstract: Much of the existing linguistic data in many languages of the world is locked away in non-digitized books and documents. Optical character recognition (OCR) can be used to produce digitized text, and previous work has demonstrated the utility of neural post-correction methods that improve the results of general-purpose OCR systems on recognition of less-well-resourced languages. However, these methods rely on manually curated post-correction data, which are relatively scarce compared to the non-annotated raw images that need to be digitized. In this paper, we present a semi-supervised learning method that makes it possible to utilize these raw images to improve performance, specifically through the use of self-training, a technique where a model is iteratively trained on its own outputs. In addition, to enforce consistency in the recognized vocabulary, we introduce a lexically-aware decoding method that augments the neural post-correction model with a count-based language model constructed from the recognized texts, implemented using weighted finite-state automata (WFSA) for efficient and effective decoding. Results on four endangered languages demonstrate the utility of the proposed method, with relative error reductions of 15-29%, where we find the combination of self-training and lexically-aware decoding essential for achieving consistent improvements. Data and code are available at https://shrutirij.github.io/ocr-el/.


title: Models for Metal-Poor Stars with Different Initial Abundances of C, N, O, Mg, and Si. II. Application to the Colour-Magnitude Diagrams of the Globular Clusters 47 Tuc, NGC 6362, M5, M3, M55, and M92

abstract: Stellar models for -2.5 <= [Fe/H] <= -0.5 that have been computed for variations in the C:N:O abundance ratio (for two different values of [CNO/Fe]) are compared with HST Wide Field Camera 3 (WFC3) observations of the globular clusters (GCs) 47 Tuc, NGC 6362, M5, M5, M55, and M92. The bolometric corrections used to transpose the models to the observed planes are based on new MARCS synthetic spectra that incorporate improved treatments of molecules that involve atoms of C, N, and O. On the assumption of well-supported distance moduli and reddenings, isochrones for [O/Fe] = 0.6 and [m/Fe] = 0.4 for the other alpha elements, which are favoured by binary stars in GCs, generally reproduce the main features of observed colour-magnitude diagrams (CMDs) to within ~ 0.03 mag. In particular, they appear to match the spreads in the observed (M_F336W - M_F438W)_0 colours that are spanned by CN-weak and CN-strong stars along the lower giant branch quite well, but not the bluest giants, which are suspected to be N-poor ([N/Fe] <~ -0.5). Both the absolute (M_F438W - M_F606W)_0 colours and the variations in these colours at a given M_F606W magnitude on the giant branch are difficult to explain unless the reddest stars are C-rich ([C/Fe] >~ +0.5). Allowing for moderate He abundance variations (delta Y ~ 0.05) improves the fits to the observations.


title: Stellar Initial Mass Function (IMF) Probed with Supernova Rates and Neutrino Background: Cosmic Average IMF Slope is $\simeq 2-3$ Similar to the Salpeter IMF

abstract: The stellar initial mass function (IMF) is expressed by $\phi(m) \propto m^{-\alpha}$ with the slope $\alpha$, and known as the poorly-constrained but very important function in studies of star and galaxy formation. There are no sensible observational constraints on the IMF slopes beyond Milky Way and nearby galaxies. Here we combine two sets of observational results, 1) cosmic densities of core-collapse supernova explosion (CCSNe) rates and 2) cosmic far ultraviolet radiation (and infrared re-radiation) densities, which are sensitive to massive ($\simeq 8-50 \,{\rm M}_\odot$) and moderately massive ($\simeq 2.5-7 \,{\rm M}_\odot$) stars, respectively, and constrain the IMF slope at $m>1\,{\rm M}_\odot$ with a freedom of redshift evolution. Although no redshift evolution is identified beyond the uncertainties, we find that the cosmic average IMF slope at $z=0$ is $\alpha=1.8-3.2$ at the 95 % confidence level that is comparable with the Salpeter IMF, $\alpha=2.35$, which marks the first constraint on the cosmic average IMF. We show a forecast for the Nancy Grace Roman Space Telescope supernova survey that will provide significantly strong constraints on the IMF slope with $\delta \alpha\simeq 0.5$ over $z=0-2$. Moreover, as for an independent IMF probe instead of 1), we suggest to use diffuse supernovae neutrino background (DSNB), relic neutrinos from CCSNe. We expect that the Hyper-Kamiokande neutrino observations over 20 years will improve the constraints on the IMF slope and the redshift evolution significantly better than those obtained today, if the systematic uncertainties of DSNB production physics are reduced in the future numerical simulations.


title: Qimera: Data-free Quantization with Synthetic Boundary Supporting Samples

abstract: Model quantization is known as a promising method to compress deep neural networks, especially for inferences on lightweight mobile or edge devices. However, model quantization usually requires access to the original training data to maintain the accuracy of the full-precision models, which is often infeasible in real-world scenarios for security and privacy issues. A popular approach to perform quantization without access to the original data is to use synthetically generated samples, based on batch-normalization statistics or adversarial learning. However, the drawback of such approaches is that they primarily rely on random noise input to the generator to attain diversity of the synthetic samples. We find that this is often insufficient to capture the distribution of the original data, especially around the decision boundaries. To this end, we propose Qimera, a method that uses superposed latent embeddings to generate synthetic boundary supporting samples. For the superposed embeddings to better reflect the original distribution, we also propose using an additional disentanglement mapping layer and extracting information from the full-precision model. The experimental results show that Qimera achieves state-of-the-art performances for various settings on data-free quantization. Code is available at https://github.com/iamkanghyunchoi/qimera.


title: Characterizing Human Explanation Strategies to Inform the Design of Explainable AI for Building Damage Assessment

abstract: Explainable AI (XAI) is a promising means of supporting human-AI collaborations for high-stakes visual detection tasks, such as damage detection tasks from satellite imageries, as fully-automated approaches are unlikely to be perfectly safe and reliable. However, most existing XAI techniques are not informed by the understandings of task-specific needs of humans for explanations. Thus, we took a first step toward understanding what forms of XAI humans require in damage detection tasks. We conducted an online crowdsourced study to understand how people explain their own assessments, when evaluating the severity of building damage based on satellite imagery. Through the study with 60 crowdworkers, we surfaced six major strategies that humans utilize to explain their visual damage assessments. We present implications of our findings for the design of XAI methods for such visual detection contexts, and discuss opportunities for future research.


title: A Personalized Federated Learning Algorithm: an Application in Anomaly Detection

abstract: Federated Learning (FL) has recently emerged as a promising method that employs a distributed learning model structure to overcome data privacy and transmission issues paused by central machine learning models. In FL, datasets collected from different devices or sensors are used to train local models (clients) each of which shares its learning with a centralized model (server). However, this distributed learning approach presents unique learning challenges as the data used at local clients can be non-IID (Independent and Identically Distributed) and statistically diverse which decrease learning accuracy in the central model. In this paper, we overcome this problem by proposing a novel Personalized Conditional FedAvg (PC-FedAvg) which aims to control weights communication and aggregation augmented with a tailored learning algorithm to personalize the resulting models at each client. Our experimental validation on two datasets showed that our PC-FedAvg precisely constructed generalized clients' models and thus achieved higher accuracy compared to other state-of-the-art methods.


title: Enabling rapid and accurate construction of CCSD(T)-level potential energy surface of large molecules using molecular tailoring approach

abstract: The construction of the potential energy surface (PES) of even a medium-sized molecule employing correlated theory, such as CCSD(T), is an arduous task due to the high computational cost. In this Letter, we report the possibility of efficient construction of such a PES employing the molecular tailoring approach (MTA) on off-the-shelf hardware. The full calculation (FC) as well as MTA energies at CCSD(T)/aug-cc-pVTZ level for three test molecules, viz. acetylacetone, N-methyacetamide, and tropolone are reported. All the MTA energies are in excellent agreement with their FC counterparts (typical error being sub-millihartree) with a time advantage factor of 3 to 5. The energy barrier from the ground- to transition-state is accurately captured. Further, the accuracy and efficiency of the MTA method for estimating energy gradients at CCSD(T) level are demonstrated. This work brings out the possibility of the construction of PES for large molecules using MTA with the computational economy at a high level of theory and/or basis set.


title: The Robin problem for the nonlinear Schr\"odinger equation on the half-line

abstract: We consider the nonlinear Schr\"{o}dinger equation on the half-line $x \geq 0$ with a Robin boundary condition at $x = 0$ and with initial data in the weighted Sobolev space $H^{1,1}(\mathbb{R}_+)$. We prove that there exists a global weak solution of this initial-boundary value problem and provide a representation for the solution in terms of the solution of a Riemann--Hilbert problem. Using this representation, we obtain asymptotic formulas for the long-time behavior of the solution. In particular, by restricting our asymptotic result to solutions whose initial data are close to the initial profile of the stationary one-soliton, we obtain results on the asymptotic stability of the stationary one-solitons under any small perturbation in $H^{1,1}(\mathbb{R}_+)$. In the focusing case, such a result was already established by Deift and Park using different methods, and our work provides an alternative approach to obtain such results.


title: Feature Learning and Network Structure from Noisy Node Activity Data

abstract: In the studies of network structures, much attention has been devoted to developing approaches to reconstruct networks and predict missing links when edge-related information is given. However, such approaches are not applicable when we are only given noisy node activity data with missing values. This work presents an unsupervised learning framework to learn node vectors and construct networks from such node activity data. First, we design a scheme to generate random node sequences from node context sets, which are generated from node activity data. Then, a three-layer neural network is adopted training the node sequences to obtain node vectors, which allow us to construct networks and capture nodes with synergistic roles. Furthermore, we present an entropy-based approach to select the most meaningful neighbors for each node in the resulting network. Finally, the effectiveness of the method is validated through both synthetic and real data.


title: Lebesgue Constants For Cantor Sets

abstract: We evaluate the values of the Lebesgue constants in polynomial interpolation for three types of Cantor sets. In all cases, the sequences of Lebesgue constants are not bounded. This disproves the statement by Mergelyan.


title: A Fast Parallel Tensor Decomposition with Optimal Stochastic Gradient Descent: an Application in Structural Damage Identification

abstract: Structural Health Monitoring (SHM) provides an economic approach which aims to enhance understanding the behavior of structures by continuously collects data through multiple networked sensors attached to the structure. This data is then utilized to gain insight into the health of a structure and make timely and economic decisions about its maintenance. The generated SHM sensing data is non-stationary and exists in a correlated multi-way form which makes the batch/off-line learning and standard two-way matrix analysis unable to capture all of these correlations and relationships. In this sense, the online tensor data analysis has become an essential tool for capturing underlying structures in higher-order datasets stored in a tensor $\mathcal{X} \in \mathbb{R} ^{I_1 \times \dots \times I_N} $. The CANDECOMP/PARAFAC (CP) decomposition has been extensively studied and applied to approximate X by N loading matrices A(1), . . . ,A(N) where N represents the order of the tensor. We propose a novel algorithm, FP-CPD, to parallelize the CANDECOMP/PARAFAC (CP) decomposition of a tensor $\mathcal{X} \in \mathbb{R} ^{I_1 \times \dots \times I_N} $. Our approach is based on stochastic gradient descent (SGD) algorithm which allows us to parallelize the learning process and it is very useful in online setting since it updates $\mathcal{X}^{t+1}$ in one single step. Our SGD algorithm is augmented with Nesterov's Accelerated Gradient (NAG) and perturbation methods to accelerate and guarantee convergence. The experimental results using laboratory-based and real-life structural datasets indicate fast convergence and good scalability.


title: Network analysis regarding international trade network

abstract: We study the effect of globalization of world economy between 1980 and 2010 by using network analysis technics on trade and GDP data of 71 countries in the world. We draw results distinguishing relatively developing and relatively developed countries during this period of time and point out the standing out economies among the BRICS countries during the years of globalization: within our context of study, China and Russia are the countries that already exhibit developed economy characters, India is next in line but have some unusual features, while Brazil and South Africa still have erratic behaviors


title: Energetic and entropic cost due to overlapping of Turing-Hopf instabilities in presence of Cross Diffusion

abstract: A systematic introduction to nonequilibrium thermodynamics of dynamical instabilities is considered for an open nonlinear system beyond conventional Turing pattern in presence of cross diffusion. An altered condition of Turing instability in presence of cross diffusion can be best viewed in terms of the critical control parameter and wave number containing both the self and cross diffusion coefficients. Our main focus is on the entropic and energetic cost of Turing-Hopf interplay in stationary pattern formation. Depending on the relative dispositions of Turing-Hopf codimensional instabilities from the reaction-diffusion equation it clarifies two aspects: energy cost of pattern formation, especially how Hopf instability can be utilized to dictate a stationary concentration profile, and the possibility of revealing nonequilibrium phase transition. In the Brusselator model to understand these phenomena, we have analyzed through the relevant complex Ginzberg-Landau equation using the multiscale Krylov-Bogoiubov averaging method. Due to Hopf instability, it is observed that the cross diffusion parameters can be a source of huge change in free energy and concentration profiles.

categories: nlin.AO nlin.PS physics.app-ph physics.chem-ph


title: The 3x+1 Problem: An Overview

abstract: This paper is an overview and survey of work on the 3x+1 problem, also called the Collatz problem, and generalizations of it. It gives a history of the problem. It addresses two questions: (1) What can mathematics currently say about this problem? (as of 2010). (2) How can this problem be hard, when it is so easy to state?


title: A novel control method for solving high-dimensional Hamiltonian systems through deep neural networks

abstract: In this paper, we mainly focus on solving high-dimensional stochastic Hamiltonian systems with boundary condition, which is essentially a Forward Backward Stochastic Differential Equation (FBSDE in short), and propose a novel method from the view of the stochastic control. In order to obtain the approximated solution of the Hamiltonian system, we first introduce a corresponding stochastic optimal control problem such that the extended Hamiltonian system of the control problem is exactly what we need to solve, then we develop two different algorithms suitable for different cases of the control problem and approximate the stochastic control via deep neural networks. From the numerical results, comparing with the Deep FBSDE method developed previously from the view of solving FBSDEs, the novel algorithms converge faster, which means that they require fewer training steps, and demonstrate more stable convergences for different Hamiltonian systems.


title: Covariance Structure Estimation with Laplace Approximation

abstract: Gaussian covariance graph model is a popular model in revealing underlying dependency structures among random variables. A Bayesian approach to the estimation of covariance structures uses priors that force zeros on some off-diagonal entries of covariance matrices and put a positive definite constraint on matrices. In this paper, we consider a spike and slab prior on off-diagonal entries, which uses a mixture of point-mass and normal distribution. The point-mass naturally introduces sparsity to covariance structures so that the resulting posterior from this prior renders covariance structure learning. Under this prior, we calculate posterior model probabilities of covariance structures using Laplace approximation. We show that the error due to Laplace approximation becomes asymptotically marginal at some rate depending on the posterior convergence rate of covariance matrix under the Frobenius norm. With the approximated posterior model probabilities, we propose a new framework for estimating a covariance structure. Since the Laplace approximation is done around the mode of conditional posterior of covariance matrix, which cannot be obtained in the closed form, we propose a block coordinate descent algorithm to find the mode and show that the covariance matrix can be estimated using this algorithm once the structure is chosen. Through a simulation study based on five numerical models, we show that the proposed method outperforms graphical lasso and sample covariance matrix in terms of root mean squared error, max norm, spectral norm, specificity, and sensitivity. Also, the advantage of the proposed method is demonstrated in terms of accuracy compared to our competitors when it is applied to linear discriminant analysis (LDA) classification to breast cancer diagnostic dataset.


title: The Age of Information of Short-Packet Communications: Joint or Distributed Encoding?

abstract: In this paper, we analyze the impact of different encoding schemes on the age of information (AoI) performance in a point-to-point system, where a source generates packets based on the status updates collected from multiple sensors and transmits the packets to a destination. In this system, we consider two encoding schemes, namely, the joint encoding scheme and the distributed encoding scheme. In the joint encoding scheme, the status updates from all the sensors are jointly encoded into a packet for transmission. In the distributed encoding scheme, the status update from each sensor is encoded individually and the sensors' packets are transmitted following the round robin policy. To ensure the freshness of packets, the zero-wait policy is adopted in both schemes, where a new packet is immediately generated once the source finishes the transmission of the current packet. We derive closed-form expressions for the average AoI achieved by these two encoding schemes and compare their performances. Simulation results show that the distributed encoding scheme is more appropriate for systems with a relatively large number of sensors, compared with the joint encoding scheme.


title: Dirac Nodal Lines and Nodal Loops in a Topological Kagome Superconductor CsV$_3$Sb$_5$

abstract: The intertwining of charge order, superconductivity and band topology has promoted the AV$_3$Sb$_5$ (A=K, Rb, Cs) family of materials to the center of attention in condensed matter physics. Underlying those mysterious macroscopic properties such as giant anomalous Hall conductivity (AHC) and chiral charge density wave is their nontrivial band topology. While there have been numerous experimental and theoretical works investigating the nontrivial band structure and especially the van Hove singularities, the exact topological phase of this family remains to be clarified. In this work, we identify CsV$_3$Sb$_5$ as a Dirac nodal line semimetal based on the observation of multiple Dirac nodal lines and loops close to the Fermi level. Combining photoemission spectroscopy and density functional theory, we identify two groups of Dirac nodal lines along $k_z$ direction and one group of Dirac nodal loops in the A-H-L plane. These nodal loops are located at the Fermi level within the instrumental resolution limit. Importantly, our first-principle analyses indicate that these nodal loops may be a crucial source of the mysterious giant AHC observed. Our results not only provide a clear picture to categorize the band structure topology of this family of materials, but also suggest the dominant role of topological nodal loops in shaping their transport behavior.


title: Excitatory and inhibitory interactions affect the balance of chorus activity and energy efficiency in the aggregation of male frogs: Theoretical study using a hybrid dynamical model

abstract: We theoretically study the role of excitatory and inhibitory interactions in the aggregations of male frogs. In most frogs, males produce sounds to attract conspecific females, which activates the calling behavior of other males and results in collective choruses. While the calling behavior is quite effective for mate attraction, it requires high energy consumption. In contrast, satellite behavior is an alternative mating strategy in which males deliberately stay silent in the vicinity of a calling male and attempt to intercept the female attracted to the caller, allowing the satellite males to drastically reduce their energy consumption while having a chance of mating. Here we propose a hybrid dynamical model in which male frogs autonomously switch among three behavioral states (i.e., calling state, resting state, and satellite state) due to the excitatory and inhibitory interactions. Numerical simulation of the proposed model demonstrated that (1) both collective choruses and satellite behavior can be reproduced and (2) the satellite males can prolong the energy depletion time of the whole aggregation while they split the maximum chorus activity into two levels over the whole chorusing period. This study theoretically highlights the trade-off between energy efficiency and chorus activity in the aggregations of male frogs driven by the multiple types of interactions.


title: Moderate and $L^p$ maximal inequalities for diffusion processes and conformal martingales

abstract: The $L^p$ maximal inequalities for martingales are one of the classical results in the theory of stochastic processes. Here we establish the sharp moderate maximal inequalities for one-dimensional diffusion processes, which include the $L^p$ maximal inequalities as special cases. Moreover, we apply our theory to many specific examples, including the Ornstein-Uhlenbeck (OU) process, Brownian motion with drift, reflected Brownian motion with drift, Cox-Ingersoll-Ross process, radial OU process, and Bessel process. The results are further applied to establish the moderate maximal inequalities for some high-dimensional processes, including the complex OU process and general conformal local martingales.


title: On the Secrecy Design of STAR-RIS assisted Uplink NOMA Networks

abstract: This paper investigates the secure transmission in a simultaneously transmitting and reflecting reconfigurable intelligent surface (STAR-RIS) assisted uplink non-orthogonal multiple access system, where the legitimate users send confidential signals to the base station by exploiting STAR-RIS to reconfigure the electromagnetic propagation environment proactively. Depending on the availability of the eavesdropping channel state information (CSI), both the full CSI and statistical CSI of the eavesdropper are considered. For the full eavesdropping CSI scenario, we adopt the adaptive-rate wiretap code scheme with the aim of maximizing minimum secrecy capacity subject to the successive interference cancellation decoding order constraints. To proceed, we propose an alternating hybrid beamforming (AHB) algorithm to jointly optimize the receive beamforming, transmit power, and reflection/transmission coefficients. While for the statistical eavesdropping CSI scenario, the constant-rate wiretap code scheme is employed to minimize the maximum secrecy outage probability (SOP) subject to the quality-of-service requirements of legitimate users. Then, we derive the exact SOP expression under the constant-rate coding strategy and develop an extended AHB algorithm for the joint secrecy beamforming design. Simulation results demonstrate the effectiveness of the proposed scheme. Moreover, some useful guidance about the quantification of phase shift/amplitude and the deployment of STAR-RIS is provided.


title: Response Generation with Context-Aware Prompt Learning

abstract: Pre-trained language models (PLM) have marked a huge leap in neural dialogue modeling. While PLMs are pre-trained on large-scale text corpora, they are usually fine-tuned on scarce dialogue data with specific domain knowledge and dialogue styles. However, tailoring the language models while fully utilizing prior knowledge in large pre-trained models remains a challenge. In this paper, we present a novel approach for pre-trained dialogue modeling that casts the dialogue generation problem as a prompt-learning task. Instead of fine-tuning on limited dialogue data, our approach, DialogPrompt, learns continuous prompt embeddings optimized for dialogue contexts, which appropriately elicit knowledge from the large pre-trained model. To encourage the model to better utilize the prompt embeddings, the prompt encoders are designed to be dynamically generated based on the dialogue context. Experiments on popular conversation datasets show that our approach significantly outperforms the fine-tuning baseline and the generic prompt-learning methods. Furthermore, human evaluations strongly support the superiority of DialogPrompt in regard to response generation quality.


title: A Concentration Bound for LSPE($\lambda$)

abstract: The popular LSPE($\lambda$) algorithm for policy evaluation is revisited to derive a concentration bound that gives high probability performance guarantees from some time on.


title: Global Controllability for General Nonlinear Systems

abstract: This note studies the global controllability of a general nonlinear system by extending it to affine one. The state space of the obtained affine system admits a nature foliation, each leaf of which is diffeomorphic to the state space of the original system. Through this foliation, the global controllability of these two kinds of systems are closely related and we prove that they are indeed equivalent. The result is then extended to the case with bounded inputs to make it practically more useful. To demonstrate the power of our approach, several examples are presented.


title: Engaging Politically Diverse Audiences on Social Media

abstract: We study how political polarization is reflected in the social media posts used by media outlets to promote their content online. In particular, we track the Twitter posts of several media outlets over the course of more than three years (566K tweets), and the engagement with these tweets from other users (104M retweets), modeling the relationship between the tweet text and the political diversity of the audience. We build a tool that integrates our model and helps journalists craft tweets that are engaging to a politically diverse audience, guided by the model predictions. To test the real-world impact of the tool, we partner with the PBS documentary series Frontline and run a series of advertising experiments on Twitter. We find that in seven out of the ten experiments, the tweets selected by our model were indeed engaging to a more politically diverse audience, illustrating the effectiveness of our approach.


title: Anomaly detection from mass unspecific jet tagging

abstract: We introduce a novel anomaly search method based on (i) jet tagging to select interesting events, which are less likely to be produced by background processes; (ii) comparison of the untagged and tagged samples to single out features (such as bumps produced by the decay of new particles) in the latter. We demonstrate the usefulness of this method by applying it to a final state with two massive boosted jets: for the new physics benchmarks considered, the signal significance increases an order of magnitude, up to a factor of 40. We compare to other anomaly detection methods in the literature and discuss possible generalisations.


title: Topology in non-Hermitian Chern insulators with skin effect

abstract: The non-Hermitian skin effect can arise in materials that have asymmetric hoppings between atoms or resonating units, which makes the bulk eigenspectrum sensitive to boundary conditions. When skin effect emerges, eigenstates in the bulk continuum can become localized on the edges, making the distinction between edge and bulk states challenging. We establish the bulk-boundary correspondence for a Chern insulator model with non-Hermitian skin effect by combining two approaches ("non-Bloch" approach and "biorthogonal" approach). Both approaches can suppress the skin effect but they are based on different mathematical tools. A biorthogonal inverse participation ratio is used as a measure to distinguish between bulk states and edge states, and a non-Bloch Chern number is used to characterize the topology and predict the number of topological edge bands. In addition to tangential degeneracies, crossing degeneracies are found to occur between the bulk and edge bands. Their presence enriches the (de)localization behavior of the edge states but does not affect the Chern number. The phase diagram of the system has interesting features that are not found in Hermitian systems. For example, one topological transition and two non-Hermitian phase transitions can be induced by tuning a single parameter. The gapless phase is topologically protected due to the stable existence of the non-Hermitian band degeneracies guaranteed by nonzero discriminant numbers.


title: Logically Sound Arguments for the Effectiveness of ML Safety Measures

abstract: We investigate the issues of achieving sufficient rigor in the arguments for the safety of machine learning functions. By considering the known weaknesses of DNN-based 2D bounding box detection algorithms, we sharpen the metric of imprecise pedestrian localization by associating it with the safety goal. The sharpening leads to introducing a conservative post-processor after the standard non-max-suppression as a counter-measure. We then propose a semi-formal assurance case for arguing the effectiveness of the post-processor, which is further translated into formal proof obligations for demonstrating the soundness of the arguments. Applying theorem proving not only discovers the need to introduce missing claims and mathematical concepts but also reveals the limitation of Dempster-Shafer's rules used in semi-formal argumentation.


title: Detection of nanobubbles between two liquid layers using atomic force microscopy meniscus force-distance measurements

abstract: The presence of nanobubbles on lubricant-infused surfaces (LIS) has so far been overlooked due to the difficulty in detecting them in such a complex system. We recently showed that anomalously large interfacial slip measured on LIS is explained by the presence of nanobubbles. Crucial to drawing this conclusion was the use of atomic force microscopy (AFM) force-distance spectroscopy to directly image nanobubbles on LIS. This technique provided vital direct evidence of the spontaneous nucleation of nanobubbles on lubricant-infused hydrophobic surfaces. In this paper, we describe in detail the data collection and analysis of AFM meniscus force measurements on LIS and show how these powerful measurements can quantify both the thickness and distribution of multiple coexisting fluid layers (i.e. gas and oil) over a nanostructured surface.


title: Temporal Fusion Based Mutli-scale Semantic Segmentation for Detecting Concealed Baggage Threats

abstract: Detection of illegal and threatening items in baggage is one of the utmost security concern nowadays. Even for experienced security personnel, manual detection is a time-consuming and stressful task. Many academics have created automated frameworks for detecting suspicious and contraband data from X-ray scans of luggage. However, to our knowledge, no framework exists that utilizes temporal baggage X-ray imagery to effectively screen highly concealed and occluded objects which are barely visible even to the naked eye. To address this, we present a novel temporal fusion driven multi-scale residual fashioned encoder-decoder that takes series of consecutive scans as input and fuses them to generate distinct feature representations of the suspicious and non-suspicious baggage content, leading towards a more accurate extraction of the contraband data. The proposed methodology has been thoroughly tested using the publicly accessible GDXray dataset, which is the only dataset containing temporally linked grayscale X-ray scans showcasing extremely concealed contraband data. The proposed framework outperforms its competitors on the GDXray dataset on various metrics.


title: Grand canonical partition function of a serial metallic island system

abstract: We present a calculation of the grand canonical partition function of a serial metallic island system by the imaginary-time path integral formalism. To this purpose, all electronic excitations in the lead and island electrodes are described using Grassmann numbers. Coulomb charging energy of the system is represented in terms of phase fields conjugate to the island charges. By the large channel approximation, the tunneling action phase dependence can also be determined explicitly. Therefore, we represent the partition function as a path integral over phase fields with a path probability given in an analytically known effective action functional. Using the result, we also propose a calculation of the average electron number of the serial island system in terms of the expectation value of winding numbers. Finally, as an example, we describe the Coulomb blockade effect in the two-island system by the average electron number and propose a method to construct the quantum stability diagram.