title: $C^0$-hybrid high-order methods for biharmonic problems

abstract: We devise and analyze $C^0$-conforming hybrid high-order (HHO) methods to approximate biharmonic problems with either clamped or simply supported boundary conditions. $C^0$-conforming HHO methods hinge on cell unknowns which are $C^0$-conforming polynomials of order $(k+2)$ approximating the solution in the mesh cells and on face unknowns which are polynomials of order $k\ge0$ approximating the normal derivative of the solution on the mesh skeleton. Such methods deliver $O(h^{k+1})$ $H^2$-error estimates for smooth solutions. An important novelty in the error analysis is to lower the minimal regularity requirement on the exact solution. The technique to achieve this has broader applicability than just $C^0$-conforming HHO methods, and to illustrate this point, we outline the error analysis for the well-known $C^0$-conforming interior penalty discontinuous Galerkin (IPDG) methods as well. The present technique does not require bubble functions or a $C^1$-smoother to evaluate the right-hand side in case of rough loads. Finally, numerical results including comparisons to various existing methods showcase the efficiency of the proposed $C^0$-conforming HHO methods.


title: A log resolution for the theta divisor of a hyperelliptic curve

abstract: In this paper, we prove that the theta divisor of a smooth hyperelliptic curve has a natural and explicit embedded resolution of singularities using iterated blowups of Brill-Noether subvarieties. We also show that the Brill-Noether stratification of the hyperelliptic Jacobian is a Whitney stratification.


title: Foliations on smooth algebraic surfaces over positive characteristic

abstract: We investigate the notion of the $p$-divisor for foliations on a smooth algebraic surface defined over a field of positive characteristic $p$ and we study some of their properties. We present a structure theorem for the $p$-divisor of foliations in the projective plane and the Hirzebruch surfaces where we show that, under certain conditions, such $p$-divisors are reduced.


title: Comparison of Different Configurations of Saturated Core Fault Current Limiters in a Power Grid by Numerical Method

abstract: Short circuit fault currents are increasing due to growing demand for electricity and high complexity in power systems. Because the fault currents reach the highest value which the breakers are unable to restrict, the electrical grid security is under jeopardy. By entering a limiting impedance into a transmission line in series, these impedances restrict the rising amounts of fault currents to levels that are acceptable. Saturated core fault current limiters (SCFCLs) are a pivotal tool for limiting fault currents rise in power networks that have good performance characteristics. In a normal condition, these limiters have slight effects on the system and can effectively limit short circuit currents when occur. In this chapter, various structures of SCFCLs with different arrangements of ac windings & dc windings are presented and the currents passing through the FCLs under the normal and faulty system conditions are assessed and compared. The flux density in various regions of the core in different arrangements has been investigated as well and the desired analyzes have been performed. Simulation will be presented based on COMSOL Multiphysics 5.4, a finite element software package which can provide a precious assessment to compare these protective devices with different configurations.


title: Tight-binding billiards

abstract: Recent works have established universal entanglement properties and demonstrated validity of single-particle eigenstate thermalization in quantum-chaotic quadratic Hamiltonians. However, a common property of all quantum-chaotic quadratic Hamiltonians studied in this context so far is the presence of random terms that act as a source of disorder. Here we introduce tight-binding billiards in two dimensions, which are described by non-interacting spinless fermions on a disorder-free square lattice subject to curved open (hard-wall) boundaries. We show that many properties of tight-binding billiards match those of quantum-chaotic quadratic Hamiltonians: the average entanglement entropy of many-body eigenstates approaches the random matrix theory predictions and one-body observables in single-particle eigenstates obey the single-particle eigenstate thermalization hypothesis. On the other hand, a degenerate subset of single-particle eigenstates at zero energy (i.e., the zero modes) can be described as chiral particles whose wavefunctions are confined to one of the sublattices.

categories: cond-mat.stat-mech cond-mat.dis-nn cond-mat.mes-hall quant-ph


title: Spectral properties of Schr\"odinger operators with locally $H^{-1}$ potentials

abstract: We study half-line Schr\"odinger operators with locally $H^{-1}$ potentials. In the first part, we focus on a general spectral theoretic framework for such operators, including a Last--Simon-type description of the absolutely continuous spectrum and sufficient conditions for different spectral types. In the second part, we focus on potentials which are decaying in a local $H^{-1}$ sense; we establish a spectral transition between short-range and long-range potentials and an $\ell^2$ spectral transition for sparse singular potentials. The regularization procedure used to handle distributional potentials is also well suited for controlling rapid oscillations in the potential; thus, even within the class of smooth potentials, our results apply in situations which would not classically be considered decaying or even bounded.


title: Measuring Inconsistency in Declarative Process Specifications

abstract: We address the problem of measuring inconsistency in declarative process specifications, with an emphasis on linear temporal logic on fixed traces (LTLff). As we will show, existing inconsistency measures for classical logic cannot provide a meaningful assessment of inconsistency in LTL in general, as they cannot adequately handle the temporal operators. We therefore propose a novel paraconsistent semantics as a framework for inconsistency measurement. We then present two new inconsistency measures based on these semantics and show that they satisfy important desirable properties. We show how these measures can be applied to declarative process models and investigate the computational complexity of the introduced approach.


title: Applications of Generative Adversarial Networks in Neuroimaging and Clinical Neuroscience

abstract: Generative adversarial networks (GANs) are one powerful type of deep learning models that have been successfully utilized in numerous fields. They belong to a broader family called generative methods, which generate new data with a probabilistic model by learning sample distribution from real examples. In the clinical context, GANs have shown enhanced capabilities in capturing spatially complex, nonlinear, and potentially subtle disease effects compared to traditional generative methods. This review appraises the existing literature on the applications of GANs in imaging studies of various neurological conditions, including Alzheimer's disease, brain tumors, brain aging, and multiple sclerosis. We provide an intuitive explanation of various GAN methods for each application and further discuss the main challenges, open questions, and promising future directions of leveraging GANs in neuroimaging. We aim to bridge the gap between advanced deep learning methods and neurology research by highlighting how GANs can be leveraged to support clinical decision making and contribute to a better understanding of the structural and functional patterns of brain diseases.


title: Stability and Generalization of Stochastic Optimization with Nonconvex and Nonsmooth Problems

abstract: Stochastic optimization has found wide applications in minimizing objective functions in machine learning, which motivates a lot of theoretical studies to understand its practical success. Most of existing studies focus on the convergence of optimization errors, while the generalization analysis of stochastic optimization is much lagging behind. This is especially the case for nonconvex and nonsmooth problems often encountered in practice. In this paper, we initialize a systematic stability and generalization analysis of stochastic optimization on nonconvex and nonsmooth problems. We introduce novel algorithmic stability measures and establish their quantitative connection on the gap between population gradients and empirical gradients, which is then further extended to study the gap between the Moreau envelope of the empirical risk and that of the population risk. To our knowledge, these quantitative connection between stability and generalization in terms of either gradients or Moreau envelopes have not been studied in the literature. We introduce a class of sampling-determined algorithms, for which we develop bounds for three stability measures. Finally, we apply these discussions to derive error bounds for stochastic gradient descent and its adaptive variant, where we show how to achieve an implicit regularization by tuning the step sizes and the number of iterations.


title: Learning the Structure of Large Networked Systems Obeying Conservation Laws

abstract: Many networked systems such as electric networks, the brain, and social networks of opinion dynamics are known to obey conservation laws. Examples of this phenomenon include the Kirchoff laws in electric networks and opinion consensus in social networks. Conservation laws in networked systems may be modeled as balance equations of the form $X = B^{*} Y$, where the sparsity pattern of $B^{*}$ captures the connectivity of the network, and $Y, X \in \mathbb{R}^p$ are vectors of "potentials" and "injected flows" at the nodes respectively. The node potentials $Y$ cause flows across edges and the flows $X$ injected at the nodes are extraneous to the network dynamics. In several practical systems, the network structure is often unknown and needs to be estimated from data. Towards this, one has access to samples of the node potentials $Y$, but only the statistics of the node injections $X$. Motivated by this important problem, we study the estimation of the sparsity structure of the matrix $B^{*}$ from $n$ samples of $Y$ under the assumption that the node injections $X$ follow a Gaussian distribution with a known covariance $\Sigma_X$. We propose a new $\ell_{1}$-regularized maximum likelihood estimator for this problem in the high-dimensional regime where the size of the network $p$ is larger than sample size $n$. We show that this optimization problem is convex in the objective and admits a unique solution. Under a new mutual incoherence condition, we establish sufficient conditions on the triple $(n,p,d)$ for which exact sparsity recovery of $B^{*}$ is possible with high probability; $d$ is the degree of the graph. We also establish guarantees for the recovery of $B^{*}$ in the element-wise maximum, Frobenius, and operator norms. Finally, we complement these theoretical results with experimental validation of the performance of the proposed estimator on synthetic and real-world data.

categories: stat.ML cs.LG eess.SP math.OC math.ST stat.TH


title: An Efficient HTN to STRIPS Encoding for Concurrent Plans

abstract: The Hierarchical Task Network (HTN) formalism is used to express a wide variety of planning problems in terms of decompositions of tasks into subtaks. Many techniques have been proposed to solve such hierarchical planning problems. A particular technique is to encode hierarchical planning problems as classical STRIPS planning problems. One advantage of this technique is to benefit directly from the constant improvements made by STRIPS planners. However, there are still few effective and expressive encodings. In this paper, we present a new HTN to STRIPS encoding allowing to generate concurrent plans. We show experimentally that this encoding outperforms previous approaches on hierarchical IPC benchmarks.


title: Understanding the Generalization Benefit of Normalization Layers: Sharpness Reduction

abstract: Normalization layers (e.g., Batch Normalization, Layer Normalization) were introduced to help with optimization difficulties in very deep nets, but they clearly also help generalization, even in not-so-deep nets. Motivated by the long-held belief that flatter minima lead to better generalization, this paper gives mathematical analysis and supporting experiments suggesting that normalization (together with accompanying weight-decay) encourages GD to reduce the sharpness of loss surface. Here "sharpness" is carefully defined given that the loss is scale-invariant, a known consequence of normalization. Specifically, for a fairly broad class of neural nets with normalization, our theory explains how GD with a finite learning rate enters the so-called Edge of Stability (EoS) regime, and characterizes the trajectory of GD in this regime via a continuous sharpness-reduction flow.


title: Synthesizing Mathematical Identities with E-Graphs

abstract: Identities compactly describe properties of a mathematical expression and can be leveraged into faster and more accurate function implementations. However, identities must currently be discovered manually, which requires a lot of expertise. We propose a two-phase synthesis and deduplication pipeline that discovers these identities automatically. In the synthesis step, a set of rewrite rules is composed, using an e-graph, to discover candidate identities. However, most of these candidates are duplicates, which a secondary deduplication step discards using integer linear programming and another e-graph. Applied to a set of 61 benchmarks, the synthesis phase generates 7215 candidate identities which the deduplication phase then reduces down to 125 core identities.


title: Combining Counterfactuals With Shapley Values To Explain Image Models

abstract: With the widespread use of sophisticated machine learning models in sensitive applications, understanding their decision-making has become an essential task. Models trained on tabular data have witnessed significant progress in explanations of their underlying decision making processes by virtue of having a small number of discrete features. However, applying these methods to high-dimensional inputs such as images is not a trivial task. Images are composed of pixels at an atomic level and do not carry any interpretability by themselves. In this work, we seek to use annotated high-level interpretable features of images to provide explanations. We leverage the Shapley value framework from Game Theory, which has garnered wide acceptance in general XAI problems. By developing a pipeline to generate counterfactuals and subsequently using it to estimate Shapley values, we obtain contrastive and interpretable explanations with strong axiomatic guarantees.


title: About MathPartner web service

abstract: The report is devoted to the current state of the MathPartner computer algebra web project. We discuss the main directions of development of the project and give several examples of using it to solve selected problems.


title: A Collaboration Strategy in the Mining Pool for Proof-of-Neural-Architecture Consensus

abstract: In most popular public accessible cryptocurrency systems, the mining pool plays a key role because mining cryptocurrency with the mining pool turns the non-profitable situation into profitable for individual miners. In many recent novel blockchain consensuses, the deep learning training procedure becomes the task for miners to prove their workload, thus the computation power of miners will not purely be spent on the hash puzzle. In this way, the hardware and energy will support the blockchain service and deep learning training simultaneously. While the incentive of miners is to earn tokens, individual miners are motivated to join mining pools to become more competitive. In this paper, we are the first to demonstrate a mining pool solution for novel consensuses based on deep learning. The mining pool manager partitions the full searching space into subspaces and all miners are scheduled to collaborate on the Neural Architecture Search (NAS) tasks in the assigned subspace. Experiments demonstrate that the performance of this type of mining pool is more competitive than an individual miner. Due to the uncertainty of miners' behaviors, the mining pool manager checks the standard deviation of the performance of high reward miners and prepares backup miners to ensure the completion of the tasks of high reward miners.


title: Parallelization of Machine Learning Algorithms Respectively on Single Machine and Spark

abstract: With the rapid development of big data technologies, how to dig out useful information from massive data becomes an essential problem. However, using machine learning algorithms to analyze large data may be time-consuming and inefficient on the traditional single machine. To solve these problems, this paper has made some research on the parallelization of several classic machine learning algorithms respectively on the single machine and the big data platform Spark. We compare the runtime and efficiency of traditional machine learning algorithms with parallelized machine learning algorithms respectively on the single machine and Spark platform. The research results have shown significant improvement in runtime and efficiency of parallelized machine learning algorithms.


title: Monitoring Fog Computing: a Review, Taxonomy and Open Challenges

abstract: Fog computing is a distributed paradigm that provides computational resources in the users' vicinity. Fog orchestration is a set of functionalities that coordinate the dynamic infrastructure and manage the services to guarantee the Service Level Agreements. Monitoring is an orchestration functionality of prime importance. It is the basis for resource management actions, collecting status of resource and service and delivering updated data to the orchestrator. There are several cloud monitoring solutions and tools, but none of them comply with fog characteristics and challenges. Fog monitoring solutions are scarce, and they may not be prepared to compose an orchestration service. This paper updates the knowledge base about fog monitoring, assessing recent subjects in this context like observability, data standardization and instrumentation domains. We propose a novel taxonomy of fog monitoring solutions, supported by a systematic review of the literature. Fog monitoring proposals are analyzed and categorized by this new taxonomy, offering researchers a comprehensive overview. This work also highlights the main challenges and open research questions.


title: Optimization Heuristics for Cost-Efficient Long-Term Cloud Portfolio Allocations Under Uncertainty

abstract: Today's cloud infrastructure landscape offers a broad range of services to build and operate software applications. The myriad of options, however, has also brought along a new layer of complexity. When it comes to procuring cloud computing resources, consumers can purchase their virtual machines from different providers on different marketspaces to form so called cloud portfolios: a bundle of virtual machines whereby the virtual machines have different technical characteristics and pricing mechanisms. Thus, selecting the right server instances for a given set of applications such that the allocations are cost efficient is a non-trivial task. In this paper we propose a formal specification of the cloud portfolio management problem that takes an application-driven approach and incorporates the nuances of the commonly encountered reserved, on-demand and spot market types. We present two distinct cost optimization heuristics for this stochastic temporal bin packing problem, one taking a naive first fit strategy, while the other is built on the concepts of genetic algorithms. The results of the evaluation show that the former optimization approach significantly outperforms the latter, both in terms of execution speeds and solution quality.


title: Helm -- What It Can Do and Where Is It Going?

abstract: Deploying an application into a Kubernetes cluster requires sending a manifest file to the cluster's control plane interface. This action is typically performed through a kubectl client which is configured and authorized to communicate with the control plane's Uniform Resource Locator (URL). An application typically requires many Kubernetes resources such as pods, deployments, secrets, service and volumes. Configuring each of these through manifest files requires complex scripting, especially when there are numerous resources needed. A solution to the complex management tasks is Helm. Helm provides both a tool and underlying framework that packages the necessary manifest files. These packages are deployed through a single step install command which abstracts all the underlying control plane interaction from the user. Similar to application installs through Debian's package manager dpkg, packages are shared through local and remote repositories and allow the user to easily install, update, delete or handle concurrent versions.


title: Cloud Computing -- Everything As A Service

abstract: Compute infrastructure hosted by a cloud provider allows an application to scale without limit. The application developer no longer needs to worry about the up-front investment in a server farm provisioned for a worst-case load scenario. However, managing cloud deployments requires a sophisticated framework that can autoscale the infrastructure and guarantee the up-time of running container images. This paper surveys existing research addressing the management and orchestration of cloud deployments as well as the modelling framework to abstract away the low-level details of the host infrastructure. We investigate blockchain distributed ledgers, quantum computing and Internet of Things application stacks to show how they can utilize cloud deployments.


title: Elementary remarks about Pisano periods

abstract: In this short note, we reprove in a very elementary way some known facts about Pisano periods as well as some considerations about the link between Pisano periods and the order of roots of the characteristic equation. The technics only requires a small background in ring theory (merely the definition of a commutative ring). The tools set here can be reused for all linear recurrences with quadratic non-constant characteristic equation.


title: A Universal Decomposition for Distributed Optimization Algorithms

abstract: In the distributed optimization problem for a multi-agent system, each agent knows a local function and must find a minimizer of the sum of all agents' local functions by performing a combination of local gradient evaluations and communicating information with neighboring agents. We prove that every distributed optimization algorithm can be factored into a centralized optimization method and a second-order consensus estimator, effectively separating the "optimization" and "consensus" tasks. We illustrate this fact by providing the decomposition for many recently proposed distributed optimization algorithms. Conversely, we prove that any optimization method that converges in the centralized setting can be combined with any second-order consensus estimator to form a distributed optimization algorithm that converges in the multi-agent setting. Finally, we describe how our decomposition may lead to a more systematic algorithm design methodology.


title: Do Tides Destabilize Trojan Exoplanets?

abstract: One outstanding problem in extrasolar planet studies is why no co-orbital exoplanets have been found, despite numerous searches among the many known planetary systems, many of them in other mean-motion resonances. Here we examine the hypothesis that dissipation of energy by tides in Trojan planets is preventing their survival. The Appendix of this paper generalizes the conventional theory of tides to include tidal forces independent of dissipation, as well as the effects of one body on tides raised by another. The main text applies this theory to a model system consisting of a primary of stellar mass, a secondary of sub-stellar mass in a circular orbit about the primary, and a much lighter Trojan planet librating with small amplitude about an equilateral point of the system. Next, we linearize the equations of motion about the Trojan points, including the tidal forces, and solve for the motion of the Trojan. The results indicate that tides damp out the Trojan's motion perpendicular to the orbital plane of the primary and secondary, as well as its epicycles due to its eccentricity; but they pump up the amplitude of its tadpole librations exponentially. We then verify our analytic solutions by integrating the non-linearized equations of motion numerically for several sample cases. In each case, we find that the librations grow until the Trojan escapes its libration, which leads to a close encounter with either the primary or the secondary.


title: Plurality Veto: A Simple Voting Rule Achieving Optimal Metric Distortion

abstract: The metric distortion framework posits that n voters and m candidates are jointly embedded in a metric space such that voters rank candidates that are closer to them higher. A voting rule's purpose is to pick a candidate with minimum total distance to the voters, given only the rankings, but not the actual distances. As a result, in the worst case, each deterministic rule picks a candidate whose total distance is at least three times larger than that of an optimal one, i.e., has distortion at least 3. A recent breakthrough result showed that achieving this bound of 3 is possible; however, the proof is non-constructive, and the voting rule itself is a complicated exhaustive search. Our main result is an extremely simple voting rule, called Plurality Veto, which achieves the same optimal distortion of 3. Each candidate starts with a score equal to his number of first-place votes. These scores are then gradually decreased via an n-round veto process in which a candidate drops out when his score reaches zero. One after the other, voters decrement the score of their bottom choice among the standing candidates, and the last standing candidate wins. We give a one-paragraph proof that this voting rule achieves distortion 3. This rule is also immensely practical, and it only makes two queries to each voter, so it has low communication overhead. We also generalize Plurality Veto into a class of randomized voting rules in the following way: Plurality veto is run only for k < n rounds; then, a candidate is chosen with probability proportional to his residual score. This general rule interpolates between Random Dictatorship (for k=0) and Plurality Veto (for k=n-1), and k controls the variance of the output. We show that for all k, this rule has distortion at most 3.


title: Resource-Mediated Consensus Formation

abstract: In social sciences, simulating opinion dynamics to study the interplay between homophily and influence, and the subsequent formation of echo chambers, is of great importance. As such, in this paper we investigate echo chambers by implementing a unique social game in which we spawn in a large number of agents, each assigned one of the two opinions on an issue and a finite amount of influence in the form of a game currency. Agents attempt to have an opinion that is a majority at the end of the game, to obtain a reward also paid in the game currency. At the beginning of each round, a randomly selected agent is selected, referred to as a speaker. The second agent is selected in the radius of speaker influence (which is a set subset of the speaker's neighbors) to interact with the speaker as a listener. In this interaction, the speaker proposes a payoff in the game currency from their personal influence budget to persuade the listener to hold the speaker's opinion in future rounds until chosen listener again. The listener can either choose to accept or reject this payoff to hold the speaker's opinion for future rounds. The listener's choice is informed only by their estimate of global majority opinion through a limited view of the opinions of their neighboring agents. We show that the influence game leads to the formation of "echo chambers," or homogeneous clusters of opinions. We also investigate various scenarios to disrupt the creation of such echo chambers, including the introduction of resource disparity between agents with different opinions, initially preferentially assigning opinions to agents, and the introduction of committed agents, who never change their initial opinion.


title: Dipole-Coupled Neutrissimo Explanations of the MiniBooNE Excess Including Constraints from MINERvA Data

abstract: We revisit models of heavy neutral leptons (neutrissimos) with transition magnetic moments as explanations of the $4.8\sigma$ excess of electron-like events at MiniBooNE. We perform a detailed Monte Carlo-based analysis to re-examine the preferred regions in the model parameter space to explain MiniBooNE, considering also potential contributions from oscillations due to an eV-scale sterile neutrino. We then derive robust constraints on the model using neutrino-electron elastic scattering data from MINERvA. We find that MINERvA rules out a large region of parameter space, but allowed solutions exist at the $2\sigma$ confidence level. A dedicated MINERvA analysis would likely be able to probe the entire region of preference of MiniBooNE in this model.


title: Evaluating Lya Emission as a Tracer of the Largest Cosmic Structure at z~2.47

abstract: The discovery and spectroscopic confirmation of Hyperion, a proto-supercluster at z~2.47, provides an unprecedented opportunity to study distant galaxies in the context of their large-scale environment. We carry out deep narrow-band imaging of a ~1*1 deg^2 region around Hyperion and select 157 Lya emitters (LAEs). The inferred LAE overdensity is delta_g~40 within an effective volume of 30*20*15 cMpc^3, consistent with the fact that Hyperion is composed of multiple protoclusters and will evolve into a super-cluster with a total mass of M_tot ~1.4*10^15 M_sun at z=0. The distribution of LAEs closely mirrors that of known spectroscopic members, tracing the protocluster cores and extended filamentary arms connected to them, suggesting that they trace the same large-scale structure. By cross-correlating the LAE positions with HI tomography data, we find weak evidence that LAEs may be less abundant in the highest HI regions, perhaps because Lya is suppressed in such regions. The Hyperion region hosts a large population of active galactic nuclei (AGN), ~12 times more abundant than that in the field. The prevalence of AGN in protocluster regions hints at the possibility that they may be triggered by physical processes that occur more frequently in dense environments, such as galaxy mergers. Our study demonstrates LAEs as reliable markers of the largest cosmic structures. When combined with ongoing and upcoming imaging and spectroscopic surveys, wide-field narrow-band imaging has the potential to advance our knowledge in the formation and evolution of cosmic structures and of their galaxy inhabitants.


title: Generalized Nash Equilibrium Models for Asymmetric, Non-cooperative Games on Line Graphs: Application to Water Resource Systems

abstract: This paper investigates the game theory of resource-allocation situations where the "first come, first serve" heuristic creates inequitable, asymmetric benefits to the players. Specifically, this problem is formulated as a Generalized Nash Equilibrium Model where the players are arranged sequentially along a directed line graph. The goal of the model is to reduce the asymmetric benefits among the players using a policy instrument. It serves as a more realistic, alternative approach to the line-graph models considered in the cooperative game-theoretic literature. An application-oriented formulation is also developed for water resource systems. The players in this model are utilities who withdraw water and are arranged along a river basin from upstream to downstream. This model is applied to a stylized, three-node model as well as a test bed in the Duck River Basin in Tennessee, USA. Based on the results, a non-cooperative, water-release market can be an acceptable policy instrument according to metrics traditionally used in cooperative game theory


title: Efficient and compact source of tuneable ultrafast deep ultraviolet laser pulses at 50 kHz repetition rate

abstract: Deep ultraviolet (DUV) laser pulses with tuneable wavelength and very short duration are a key enabling technology for next-generation technology and ultrafast science. Their generation has been the subject of extensive experimental effort, but no technique demonstrated thus far has been able to meet all requirements in one light source. Here we demonstrate a bright, efficient, and compact source of tuneable deep ultraviolet ultrafast laser pulses based on resonant dispersive wave emission in hollow capillary fibre. In a total footprint of only 120 x 75 cm, including the ytterbium-based drive laser, we generate pulses between 208 nm and 363 nm at 50 kHz repetition rate with a total efficiency of up to 3.6%. Down-scaling of the DUV generation reduces the required energy sufficiently to enable the generation of two-colour few-femtosecond DUV pulses.


title: Most, And Least, Compact Spanning Trees of a Graph

abstract: We introduce the concept of Most, and Least, Compact Spanning Trees - denoted respectively by $T^*(G)$ and $T^\#(G)$ - of a simple, connected, undirected and unweighted graph $G(V, E, W)$. For a spanning tree $T(G) \in \mathcal{T}(G)$ to be considered $T^*(G)$, where $\mathcal{T}(G)$ represents the set of all the spanning trees of the graph $G$, it must have the least average inter-vertex pair (shortest path) distances from amongst the members of the set $\mathcal{T}(G)$. Similarly, for it to be considered $T^\#(G)$, it must have the highest average inter-vertex pair (shortest path) distances. In this work, we present an iteratively greedy rank-and-regress method that produces at least one $T^*(G)$ or $T^\#(G)$ by eliminating one extremal edge per iteration. The rank function for performing the elimination is based on the elements of the matrix of relative forest accessibilities of a graph and the related forest distance. We provide empirical evidence in support of our methodology using some standard graph families: complete graphs, the Erd\H{o}s-Renyi random graphs and the Barab\'{a}si-Albert scale-free graphs; and discuss computational complexity of the underlying methods which incur polynomial time costs.


title: Failure of the geometric approach prediction of excess work scaling for open and isolated quantum systems

abstract: The task of finding optimal protocols that minimize the energetic cost of thermodynamic processes of long yet finite duration $\tau$ is a pressing one. We approach this problem here in a rigorous and systematic fashion by means of the adiabatic perturbation theory of closed Hamiltonian quantum systems. Our main finding is a $1/\tau^2$ scaling of the excess work for large $\tau$ in gapped systems. This result is at odds with the $1/\tau$ prediction of the geometric approach to optimization, which is predicated on the slow evolution of open systems close to canonical equilibrium. In contrast, our approach does not lead to an obvious geometric interpretation. Furthermore, as the thermodynamic work does not depend on how an isolated quantum system is split into a system of interest and its environment, our results imply the failure of the geometric approach prediction even for open systems. Additionally, we provide alternative optimization procedures, both for slowly-varying processes described by adiabatic perturbation theory and for weakly-varying processes described by linear response theory. Our findings are benchmarked and confirmed through the application to the driven transverse-field Ising chain.

categories: cond-mat.stat-mech cond-mat.quant-gas cond-mat.str-el quant-ph


title: NewsEdits: A News Article Revision Dataset and a Document-Level Reasoning Challenge

abstract: News article revision histories provide clues to narrative and factual evolution in news articles. To facilitate analysis of this evolution, we present the first publicly available dataset of news revision histories, NewsEdits. Our dataset is large-scale and multilingual; it contains 1.2 million articles with 4.6 million versions from over 22 English- and French-language newspaper sources based in three countries, spanning 15 years of coverage (2006-2021). We define article-level edit actions: Addition, Deletion, Edit and Refactor, and develop a high-accuracy extraction algorithm to identify these actions. To underscore the factual nature of many edit actions, we conduct analyses showing that added and deleted sentences are more likely to contain updating events, main content and quotes than unchanged sentences. Finally, to explore whether edit actions are predictable, we introduce three novel tasks aimed at predicting actions performed during version updates. We show that these tasks are possible for expert humans but are challenging for large NLP models. We hope this can spur research in narrative framing and help provide predictive tools for journalists chasing breaking news.


title: Quantum transport of Dirac fermions in HgTe gapless quantum wells

abstract: We study transport properties of HgTe quantum wells with critical well thickness, where the band gap is closed, and the low energy spectrum is described by a single Dirac cone. In this work, we examined both macroscopic and micron-sized (mesocopic) samples. In micron-sized samples, we observe a magnetic field induced, quantized resistance ($\sim h/2e^{2}$) at Landau filling factor $\nu=0$, corresponding to the formation of helical edge states centered at the charge neutrality point (CNP). In macroscopic samples, the resistance near zero Landau level (LL) reveals strong oscillations, which we attribute to scattering between the edge $\nu=0$ state and bulk $\nu\neq 0$ hole LL. We provide a model taking an empirical approach to construct a LL diagram based on a reservoir scenario, formed by the heavy holes.


title: A Framework for the Optimal Selection for High-Throughput Data Collection Workflows by Autonomous Experimentation Systems

abstract: Autonomous experimentation systems have been used to greatly advance the integrated computational materials engineering (ICME) paradigm. This paper outlines a framework that enables the design and selection of data collection workflows for autonomous experimentation systems. The framework first searches for data collection workflows that generate high-quality information and then selects the workflow that generates the \emph{best, highest-value} information as per a user-defined objective. We employ this framework to select the \emph{user-defined best} high-throughput workflow for material characterization on an additively manufactured Ti-6Al-4V sample for the purposes of outlining a basic materials characterization scenario, reducing the collection time of backscattered electron scanning electron scanning electron microscopy images by a factor of 5 times as compared to the benchmark workflow for the case study presented, and by a factor of 85 times as compared to the workflow used in the previously published study.


title: Symmetry-Based Singlet-Triplet Excitation in Solution Nuclear Magnetic Resonance

abstract: Coupled pairs of spin-1/2 nuclei support one singlet state and three triplet states. In many circumstances the nuclear singlet order, defined as the difference between the singlet population and the mean of the triplet populations, is a long-lived state which persists for a relatively long time in solution. Various methods have been proposed for generating singlet order, starting from nuclear magnetization. This requires the stimulation of singlet-to-triplet transitions by modulated radiofrequency fields. We show that a recently described pulse sequence, known as PulsePol (Schwartz $\textit{et al.}$, Science Advances, $\textbf{4}$, eaat8978 (2018) and arXiv:1710.01508), is an efficient technique for converting magnetization into long-lived singlet order. We show that the operation of this pulse sequence may be understood by adapting the theory of symmetry-based recoupling sequences in magic-angle-spinning solid-state NMR. The concept of riffling allows PulsePol to be interpreted using the theory of symmetry-based pulse sequences, and explains its robustness. This theory is used to derive a range of new pulse sequences for performing singlet-triplet excitation and conversion in solution NMR. Schemes for further enhancing the robustness of the transformations are demonstrated.


title: Precision measurement of the Z boson invisible width in pp collisions at $\sqrt{s}$ = 13 TeV

abstract: A precise measurement of the invisible width of the Z boson produced in proton-proton collisions at a center-of-mass energy of 13 TeV is presented using data recorded by the CMS experiment at the LHC, corresponding to an integrated luminosity of 36.3 fb$^{-1}$. The result is obtained from a simultaneous fit to kinematic distributions for two data samples of Z boson plus jets: one dominated by Z boson decays to invisible particles and the other by Z boson decays to muon and electron pairs. The invisible width is measured to be 523 $\pm$ 3 (stat) $\pm$ 16 (syst) MeV. This result is the first precise measurement of the invisible width of the Z boson at a hadron collider, and is the single most precise direct measurement to date, competitive with the combined result of the direct measurements from the LEP experiments.


title: Ghost-free infinite-derivative dilaton gravity in two dimensions

abstract: We present the ghost-free infinite-derivative extensions of the Spherically-Reduced Gravity (SRG) and Callan-Giddings-Harvey-Strominger (CGHS) theories in two space-time dimensions. For the case of SRG, we specify the Schwarzschild-type gauge and diagonalise the quadratic action for field perturbations after taking the background fields to be those of the flat-space solution with a linear dilaton. Using the obtained diagonalisation, we construct ghost-free infinite-derivative modifications of the SRG theory. In the context of this modified SRG theory we derive a non-local modification of the linearised spherically-reduced Schwarzschild solution. For the case of CGHS gravity, we work in the conformal gauge and diagonalise the quadratic action associated with this theory for a general background solution. Using these results, we construct the ghost-free infinite-derivative modifications of the CGHS theory and examine non-local modifications to the linearised CGHS black-hole solution.


title: Collective excitability in highly diluted networks of rotators

abstract: We report on collective excitable events in a highly-diluted random network of non-excitable nodes. Excitability arises thanks to a self-sustained local adaptation mechanism that drives the system on a slow time-scale across a hysteretic phase transition involving states with different degrees of synchronization. These phenomena have been investigated for the Kuramoto model with bimodal distribution of the natural frequencies and for the Kuramoto model with inertia and an unimodal frequency distribution. We consider global and local stimulation protocols and characterize the system response for different level of dilution. We compare the results with those obtained in the fully-coupled case showing that such collective phenomena are remarkably robust against network diluteness.


title: Minorities in networks and algorithms

abstract: In this chapter, we provide an overview of recent advances in data-driven and theory-informed complex models of social networks and their potential in understanding societal inequalities and marginalization. We focus on inequalities arising from networks and network-based algorithms and how they affect minorities. In particular, we examine how homophily and mixing biases shape large and small social networks, influence perception of minorities, and affect collaboration patterns. We also discuss dynamical processes on and of networks and the formation of norms and health inequalities. Additionally, we argue that network modeling is paramount for unveiling the effect of ranking and social recommendation algorithms on the visibility of minorities. Finally, we highlight the key challenges and future opportunities in this emerging research topic.

categories: physics.soc-ph cs.AI cs.CY cs.SI nlin.AO


title: Inverse design of nano-photonic wavelength demultiplexer with a deep neural network approach

abstract: In this paper, we propose a pre-trained-combined neural network (PTCN) as a comprehensive solution to the inverse design of an integrated photonic circuit. By utilizing both the initially pre-trained inverse and forward model with a joint training process, our PTCN model shows remarkable tolerance to the quantity and quality of the training data. As a proof of concept demonstration, the inverse design of a wavelength demultiplexer is used to verify the effectiveness of the PTCN model. The correlation coefficient of the prediction by the presented PTCN model remains greater than 0.974 even when the size of training data is decreased to 17%. The experimental results show a good agreement with predictions, and demonstrate a wavelength demultiplexer with an ultra-compact footprint, a high transmission efficiency with a transmission loss of -2dB, a low reflection of -10dB, and low crosstalk around -7dB simultaneously.


title: If it Bleeds, it Leads: A Computational Approach to Covering Crime in Los Angeles

abstract: Developing and improving computational approaches to covering news can increase journalistic output and improve the way stories are covered. In this work we approach the problem of covering crime stories in Los Angeles. We present a machine-in-the-loop system that covers individual crimes by (1) learning the prototypical coverage archetypes from classical news articles on crime to learn their structure and (2) using output from the Los Angeles Police department to generate "lede paragraphs", first structural unit of crime-articles. We introduce a probabilistic graphical model for learning article structure and a rule-based system for generating ledes. We hope our work can lead to systems that use these components together to form the skeletons of news articles covering crime. This work was done for a class project in Jonathan May's Advanced Natural Language Processing Course, Fall, 2019.


title: A Partially Synchronizing Coloring

abstract: Given a finite directed graph, a coloring of its edges turns the graph into a finite-state automaton. A k-synchronizing word of a deterministic automaton is a word in the alphabet of colors at its edges that maps the state set of the automaton at least on k-element subset. A coloring of edges of a directed strongly connected finite graph of a uniform outdegree (constant outdegree of any vertex) is k-synchronizing if the coloring turns the graph into a deterministic finite automaton possessing a k-synchronizing word. For k=1 one has the well known road coloring problem. The recent positive solution of the road coloring problem implies an elegant generalization considered first by Beal and Perrin: a directed finite strongly connected graph of uniform outdegree is k-synchronizing iff the greatest common divisor of lengths of all its cycles is k. Some consequences for coloring of an arbitrary finite digraph are presented. We describe a subquadratic algorithm of the road coloring for the k-synchronization implemented in the package TESTAS. A new linear visualization program demonstrates the obtained coloring. Some consequences for coloring of an arbitrary finite digraph and of such a graph of uniform outdegree are presented.


title: TriHorn-Net: A Model for Accurate Depth-Based 3D Hand Pose Estimation

abstract: 3D hand pose estimation methods have made significant progress recently. However, the estimation accuracy is often far from sufficient for specific real-world applications, and thus there is significant room for improvement. This paper proposes TriHorn-Net, a novel model that uses specific innovations to improve hand pose estimation accuracy on depth images. The first innovation is the decomposition of the 3D hand pose estimation into the estimation of 2D joint locations in the depth image space (UV), and the estimation of their corresponding depths aided by two complementary attention maps. This decomposition prevents depth estimation, which is a more difficult task, from interfering with the UV estimations at both the prediction and feature levels. The second innovation is PixDropout, which is, to the best of our knowledge, the first appearance-based data augmentation method for hand depth images. Experimental results demonstrate that the proposed model outperforms the state-of-the-art methods on three public benchmark datasets. Our implementation is available at https://github.com/mrezaei92/TriHorn-Net.


title: Unification of Perdew-Zunger Self-Interaction Correction, DFT+U, and Rung 3.5 Density Functionals

abstract: We unify the Perdew-Zunger self-interaction correction (PZSIC) to approximate density functional theory (DFT), the Hubbard correction DFT+U, and Rung 3.5 functionals within the Adiabatic Projection formalism. We modify the Kohn-Sham reference system, introducing electron self-interaction in selected states. Choosing those states as localized orbitals, localized atomic states, or states at each point in space recovers PZSIC, DFT+U, and Rung 3.5. Typical Hubbard U parameters approximate scaled-down PZSIC. A Rung 3.5 variant of DFT+U opens a band gap in the homogeneous electron gas.


title: Sensitivity Analysis for Survey Weights

abstract: Survey weighting allows researchers to account for bias in survey samples, due to unit nonresponse or convenience sampling, using measured demographic covariates. Unfortunately, in practice, it is impossible to know whether the estimated survey weights are sufficient to alleviate concerns about bias due to unobserved confounders or incorrect functional forms used in weighting. In the following paper, we propose two sensitivity analyses for the exclusion of important covariates: (1) a sensitivity analysis for partially observed confounders (i.e., variables measured across the survey sample, but not the target population), and (2) a sensitivity analysis for fully unobserved confounders (i.e., variables not measured in either the survey or the target population). We provide graphical and numerical summaries of the potential bias that arises from such confounders, and introduce a benchmarking approach that allows researchers to quantitatively reason about the sensitivity of their results. We demonstrate our proposed sensitivity analyses using state-level 2020 U.S. Presidential Election polls.


title: On the dimension of bundle-valued Bergman spaces on compact Riemann surfaces

abstract: Given a holomorphic vector bundle $E$ over a compact Riemann surface $M$, and an open set $D$ in $M$, we prove that the Bergman space of holomorphic sections of the restriction of $E$ to $D$ must either coincide with the space of global holomorphic sections of $E$, or be infinite dimensional. Moreover, we characterize the latter entirely in terms of potential-theoretic properties of $D$.


title: Nonlinear microwave response of clean superconducting films

abstract: We develop an explicitly gauge-invariant semiclassical approach to investigate nonlinear response of superconductors to monochromatic THz radiation. We demonstrate that in clean superconductors charge conservation forbids non-linear response to a uniform field. We apply our approach to quasi-two-dimensional films and obtain an explicit expression for the photoinduced current. We find that the photoinduced current exhibits a strong dependence on polarization and incidence angle of the radiation. Our predictions may be directly verified in experiments with quasi-two-dimensional superconducting films.


title: Loss Functions for Classification using Structured Entropy

abstract: Cross-entropy loss is the standard metric used to train classification models in deep learning and gradient boosting. It is well-known that this loss function fails to account for similarities between the different values of the target. We propose a generalization of entropy called {\em structured entropy} which uses a random partition to incorporate the structure of the target variable in a manner which retains many theoretical properties of standard entropy. We show that a structured cross-entropy loss yields better results on several classification problems where the target variable has an a priori known structure. The approach is simple, flexible, easily computable, and does not rely on a hierarchically defined notion of structure.


title: The BSE-property for vector-valued $L^p-$algebras

abstract: Let $\mathcal A$ be a separable Banach algebra, $G$ be a locally compact Hausdorff group and $1< p<\infty$. In this paper, we first provide a necessary and sufficient condition, for which $L^p(G,\mathcal A)$ is a Banach algebra, under convolution product. Then we characterize the character space of $L^p(G,\mathcal A)$, in the case where $\mathcal A$ is commutative and $G$ is abelian. Moreover, we investigate the BSE-property for $L^p(G,\mathcal A)$ and prove that $L^p(G,\mathcal A)$ is a BSE-algebra if and only if $\mathcal A$ is a BSE-algebra and $G$ is finite. Finally, we study the BSE-norm property for $L^p(G,\mathcal A)$ and show that if $L^p(G,\mathcal A)$ is a BSE-norm algebra then $\mathcal A$ is so. We prove the converse of this statement for the case where $G$ is finite and $\mathcal A$ is unital.


title: Impact of curvature-induced Dzyaloshinskii-Moriya interaction on magnetic vortex texture in spherical caps

abstract: Geometric curvature of nanoscale magnetic shells brings about curvature-induced anisotropy and Dzyaloshinskii-Moriya interaction (DMI). Here, we derive equations to describe the profile of the magnetic vortex state in a spherical cap. We demonstrate that the azimuthal component of magnetization acquires a finite tilt at the edge of the cap, which results in the increase of the magnetic surface energy. This is different compared to the case of a closed spherical shell, where symmetry of the texture does not allow any tilt of magnetization at the equator of the sphere. Furthermore, we analyze the size of the vortex core in a spherical cap and show that the presence of the curvature-induced DMI leads to the increase of the core size independent of the product of the circulation and polarity of the vortex. This is in contrast to the case of planar disks with intrinsic DMI, where the preferred direction of circulation as well as the decrease or increase of the size of vortex core is determined by the sign of the product of the circulation and polarity with respect to the sign of the constant of the intrinsic DMI.


title: Self-Supervised Pretraining for Differentially Private Learning

abstract: We demonstrate self-supervised pretraining (SSP) is a scalable solution to deep learning with differential privacy (DP) regardless of the size of available public datasets in image classification. When facing the lack of public datasets, we show the features generated by SSP on only one single image enable a private classifier to obtain much better utility than the non-learned handcrafted features under the same privacy budget. When a moderate or large size public dataset is available, the features produced by SSP greatly outperform the features trained with labels on various complex private datasets under the same private budget. We also compared multiple DP-enabled training frameworks to train a private classifier on the features generated by SSP. Finally, we report a non-trivial utility 25.3\% of a private ImageNet-1K dataset when $\epsilon=3$. Our source code can be found at \url{https://github.com/UnchartedRLab/SSP}.


title: Lazy Queries Can Reduce Variance in Zeroth-order Optimization

abstract: A major challenge of applying zeroth-order (ZO) methods is the high query complexity, especially when queries are costly. We propose a novel gradient estimation technique for ZO methods based on adaptive lazy queries that we term as LAZO. Different from the classic one-point or two-point gradient estimation methods, LAZO develops two alternative ways to check the usefulness of old queries from previous iterations, and then adaptively reuses them to construct the low-variance gradient estimates. We rigorously establish that through judiciously reusing the old queries, LAZO can reduce the variance of stochastic gradient estimates so that it not only saves queries per iteration but also achieves the regret bound for the symmetric two-point method. We evaluate the numerical performance of LAZO, and demonstrate the low-variance property and the performance gain of LAZO in both regret and query complexity relative to several existing ZO methods. The idea of LAZO is general, and can be applied to other variants of ZO methods.


title: Understanding quantum black holes from quantum reduced loop gravity

abstract: We systematically study the top-down model of loop quantum black holes (LQBHs), recently derived by Alesci, Bahrami and Pranzetti (ABP). To understand the structure of the model, we first derive several well-known LQBH solutions by taking proper limits. These include the B\"ohmer-Vandersloot and Ashtekar-Olmedo-Singh models, which were all obtained by the so-called bottom-up polymerizations within the framework of the minisuperspace quantizations. Then, we study the ABP model, and find that the inverse volume corrections become important only when the radius of the two-sphere is of the Planck size. For macroscopic black holes, the minimal radius obtained at the transition surface is always much larger than the Planck scale, and hence these corrections are always sub-leading. The transition surface divides the whole spacetime into two regions, and in one of them the spacetime is asymptotically Schwarzschild-like, while in the other region, the asymptotical behavior sensitively depends on the ratio of two spin numbers involved in the model, and can be divided into three different classes. In one class, the spacetime in the 2-planes orthogonal to the two spheres is asymptotically flat, and in the second one it is not even conformally flat, while in the third one it can be asymptotically conformally flat by properly choosing the free parameters of the model. In the latter, it is asymptotically de Sitter. However, in any of these three classes, sharply in contrast to the models obtained by the bottom-up approach, the spacetime is already geodesically complete, and no additional extensions are needed in both sides of the transition surface. In particular, identical multiple black hole and white hole structures do not exist.


title: Stability of Image-Reconstruction Algorithms

abstract: Robustness and stability of image-reconstruction algorithms have recently come under scrutiny. Their importance to medical imaging cannot be overstated. We review the known results for the topical variational regularization strategies ($\ell_2$ and $\ell_1$ regularization) and present novel stability results for $\ell_p$-regularized linear inverse problems for $p\in(1,\infty)$. Our results guarantee Lipschitz continuity for small $p$ and H\"{o}lder continuity for larger $p$. They generalize well to the $L_p(\Omega)$ function spaces.


title: Potentials and Limits of Using Preconfigured Spatial Beams as Bandwidth Resources: Beam Selection vs Beam Aggregation

abstract: This letter studies how to use spatial beams pre-configured in a legacy spatial division multiple access (SDMA) network as bandwidth resources via the implementation of non-orthogonal multiple access (NOMA). Two different beam management schemes, namely beam selection and beam aggregation, are developed to improve the overall system throughput without consuming extra spectrum or changing the performance of the legacy network. Analytical and simulation results are presented to show that the two schemes realize different tradeoffs between system performance and complexity.


title: The probability flow in the Stock market and Spontaneous symmetry breaking in Quantum Finance

abstract: The Spontaneous Symmetry breaking in Quantum Finance considers the martingale condition in the stock market as a vacuum state if we express the financial equations in the Hamiltonian form. The original analysis for this phenomena ignores completely the kinetic terms in the neighborhood of the minimal of the potential terms. This is correct in most of the cases. However, when we deal with the Martingale condition, it comes out that the kinetic terms can also behave as potential terms and then reproduce a shift on the effective location of the vacuum (Martingale). In this paper we analyze the effective symmetry breaking patterns and the connected vacuum degeneracy for these special circumstances. Within the same scenario, we analyze the connection between the flow of information and the multiplicity of martingale states, providing in this way powerful tools for analyzing the dynamic of the stock market.


title: Emergence of non-Fickian transport in truncated pluri-Gaussian permeability fields

abstract: We present a numerical simulation study of advective-diffusive scalar transport in three-dimensional high-contrast discontinuous permeability fields, generated with a truncated pluri-Gaussian geostatistical approach. A range of permeability contrasts, correlation lengths, and P\'eclet numbers are studied to characterise the transition to non-Fickian transport behaviour. This is triggered by high permeability contrasts between different zones and is enhanced by the presence of connected higher permeability channels, which are characterised by high advective flow velocities. In this case, the overall transport behaviour deviate from the macroscopic advection-dispersion model based on a Fickian analogy. The numerical experiments are run with an Eulerian approach using a novel unified numerical framework based on the finite-volume library \of, for i) generating random pluri-Gaussian porous media, ii) solving the steady state Darcy-scale flow, iii) solving the advection diffusion equation, iv) computing post-processing quantities such as first order statistics, spatial probability density functions and breakthrough curves. We identify a hierarchy of non-Fickian transport triggering factors, the strength of permebility contrast being the pivotal driver. The P\'eclet number and the characteristic length at which facies transitions are observed as secondary factors. Transport remains Fickian when the facies conductivities differ by up to one order of magnitude. Greater permeability contrasts act strengthen the emergence of fast flow channels leading to non-Fickian transport.


title: Dynamics of a Binary Option Market with Exogenous Information and Price Sensitivity

abstract: In this paper, we derive and analyze a continuous of a binary option market with exogenous information. The resulting non-linear system has a discontinuous right hand side, which can be analyzed using zero-dimensional Filippov surfaces. Under general assumptions on purchasing rules, we show that when exogenous information is constant in the binary asset market, the price always converges. We then investigate market prices in the case of changing information, showing empirically that price sensitivity has a strong effect on price lag vs. information. We conclude with open questions on general $n$-ary option markets. As a by-product of the analysis, we show that these markets are equivalent to a simple recurrent neural network, helping to explain some of the predictive power associated with prediction markets, which are usually designed as $n$-ary option markets.


title: Mathematical modelling of proton migration in Earth mantle

abstract: In the study, we address the mathematical problem of proton migration in the Earth's mantle and suggest a prototype for exploring the Earth's interior to map the effects of superionic proton conduction. The problem can be mathematically solved by deriving the self-consistent electromagnetic field potential U(x,t) and then reconstructing the distribution function f(x, v, t). Reducing the Vlasov-Maxwell system of equations to non-linear sh-Gordon hyperbolic and transport equations, the propagation of a non-linear wavefront within the domain, and transport of the boundary conditions in the form of a non-linear wave are examined. By computing a 3D model and through Fourier-analysis, the spatial and electrical characteristics of potential U(x, t) are investigated. The numerical results are compared to the Fourier transformed quantities of the potential (V) obtained through field observations of the electric potential (Kuznetsov method). The non-stationary solutions for the forced oscillation of a two-component system, and therefore, the oscillatory strengths of two types of charged particles can be usefully addressed by the proposed mathematical model. Moreover, the model, along with data analysis of the electric potential observations and probabilistic seismic hazard maps, can be used to develop an advanced seismic risk metric.


title: X-ray spectra of the Fe-L complex III: systematic uncertainties in the atomic data

abstract: There has been a growing request from the X-ray astronomy community for a quantitative estimate of systematic uncertainties originating from the atomic data used in plasma codes. Though there have been several studies looking into atomic data uncertainties using theoretical calculations, in general, there is no commonly accepted solution for this task. We present a new approach for estimating uncertainties in the line emissivities for the current models of collisional plasma, mainly based upon dedicated analysis of observed high resolution spectra of stellar coronae and galaxy clusters. We find that the systematic uncertainties of the observed lines consistently show anti-correlation with the model line fluxes, after properly accounting for the additional uncertainties from the ion concentration calculation. The strong lines in the spectra are in general better reproduced, indicating that the atomic data and modeling of the main transitions are more accurate than those for the minor ones. This underlying anti-correlation is found to be roughly independent on source properties, line positions, ion species, and the line formation processes. We further apply our method to the simulated XRISM and Athena observations of collisional plasma sources and discuss the impact of uncertainties on the interpretation of these spectra. The typical uncertainties are 1-2% on temperature and 3-20% on abundances of O, Ne, Fe, Mg, and Ni.


title: Multicomplexes on Carnot groups and their associated spectral sequence

abstract: The aim of this paper is to give a thorough insight into the relationship between the Rumin complex on Carnot groups and the spectral sequence obtained from the filtration on forms by homogeneous weights that computes the de Rham cohomology of the underlying group.


title: Automatic Clipping: Differentially Private Deep Learning Made Easier and Stronger

abstract: Per-example gradient clipping is a key algorithmic step that enables practical differential private (DP) training for deep learning models. The choice of clipping threshold R, however, is vital for achieving high accuracy under DP. We propose an easy-to-use replacement, called automatic clipping, that eliminates the need to tune R for any DP optimizers, including DP-SGD, DP-Adam, DP-LAMB and many others. The automatic variants are as private and computationally efficient as existing DP optimizers, but require no DP-specific hyperparameters and thus make DP training as amenable as the standard non-private training. We give a rigorous convergence analysis of automatic DP-SGD in the non-convex setting, showing that it can enjoy an asymptotic convergence rate that matches the standard SGD, under a symmetric gradient noise assumption of the per-sample gradients (commonly used in the non-DP literature). We demonstrate on various language and vision tasks that automatic clipping outperforms or matches the state-of-the-art, and can be easily employed with minimal changes to existing codebases.


title: Prioritized Training on Points that are Learnable, Worth Learning, and Not Yet Learnt

abstract: Training on web-scale data can take months. But most computation and time is wasted on redundant and noisy points that are already learnt or not learnable. To accelerate training, we introduce Reducible Holdout Loss Selection (RHO-LOSS), a simple but principled technique which selects approximately those points for training that most reduce the model's generalization loss. As a result, RHO-LOSS mitigates the weaknesses of existing data selection methods: techniques from the optimization literature typically select 'hard' (e.g. high loss) points, but such points are often noisy (not learnable) or less task-relevant. Conversely, curriculum learning prioritizes 'easy' points, but such points need not be trained on once learned. In contrast, RHO-LOSS selects points that are learnable, worth learning, and not yet learnt. RHO-LOSS trains in far fewer steps than prior art, improves accuracy, and speeds up training on a wide range of datasets, hyperparameters, and architectures (MLPs, CNNs, and BERT). On the large web-scraped image dataset Clothing-1M, RHO-LOSS trains in 18x fewer steps and reaches 2% higher final accuracy than uniform data shuffling.


title: Determination of X-ray pulsar geometry with IXPE polarimetry

abstract: Using observations of X-ray pulsar Her X-1 by the Imaging X-ray Polarimetry Explorer, we report on a highly significant ($>17\sigma$) detection of the polarization signal from an accreting neutron star. The observed degree of the linear polarization of $\sim$10\% is found to be far below theoretical expectations for this object, and stays low throughout the spin cycle of the pulsar. Both the polarization degree and the angle exhibit variability with pulse phase, which allowed us to measure the pulsar spin position angle 57(2) deg and the magnetic obliquity 12(4) deg, which is an essential step towards detailed modelling of the intrinsic emission of X-ray pulsars. Combining our results with the optical polarimetric data, we find that the spin axis of the neutron star and the angular momentum of the binary orbit are misaligned by at least $\sim$20 deg, which is a strong argument in support of the models explaining stability of the observed super-orbital variability with the precession of the neutron star.


title: MBGDT:Robust Mini-Batch Gradient Descent

abstract: In high dimensions, most machine learning method perform fragile even there are a little outliers. To address this, we hope to introduce a new method with the base learner, such as Bayesian regression or stochastic gradient descent to solve the problem of the vulnerability in the model. Because the mini-batch gradient descent allows for a more robust convergence than the batch gradient descent, we work a method with the mini-batch gradient descent, called Mini-Batch Gradient Descent with Trimming (MBGDT). Our method show state-of-art performance and have greater robustness than several baselines when we apply our method in designed dataset.


title: Finite element method modeling of expansion of irradiated rocks: focusing on the minerals

abstract: Finite element method (FEM) modeling of the volumetric expansion phenomenon associated with the accumulation of irradiation was performed on rocks in a concrete for nuclear power plant. The FEM mesh of sandstone, tuff, and granite was created based on microscopic images, and the volumetric expansion due to irradiation was calculated. The saturated value of the volume expansion due to irradiation accumulation was calculated, and it was shown that the saturated value of the volume expansion was well explained by the experimental value. In addition, the FEM analysis indicates that irradiation-induced degradation of rock propagates through a localized concentration of stress followed by fracture with cracks spreading throughout the rock.


title: Topological groups with a compact open subgroup, Relative hyperbolicity and Coherence

abstract: The main objects of study in this article are pairs $(G, \mathcal{H})$ where $G$ is a topological group with a compact open subgroup, and $\mathcal{H}$ is a finite collection of open subgroups. We develop geometric techniques to study the notions of $G$ being compactly generated and compactly presented relative to $\mathcal H$. This includes topological characterizations in terms of discrete actions of $G$ on complexes, quasi-isometry invariance of certain graphs associated to the pairs $(G,\mathcal H)$ when $G$ is compactly generated relative to $\mathcal H$, and extensions of known results for the discrete case. For example, generalizing results of Osin for discrete groups, we show that in the case that $G$ is compactly presented relative to $\mathcal H$: $\bullet$ if $G$ is compactly generated, then each subgroup $H\in \mathcal H$ is compactly generated; $\bullet$ if each subgroup $H\in \mathcal H$ is compactly presented, then $G$ is compactly presented. The article also introduces an approach to relative hyperbolicity for pairs $(G, \mathcal H)$ based on Bowditch's work using discrete actions on hyperbolic fine graphs. For example, we prove that if $G$ is hyperbolic relative to $\mathcal H$ then $G$ is compactly presented relative to $\mathcal H$. As applications of the results of the article we prove combination results for coherent topological groups with a compact open subgroup, and extend McCammond-Wise perimeter method to this general framework.


title: Experimental Comparison of PAM-8 Probabilistic Shaping with Different Gaussian Orders at 200 Gb/s Net Rate in IM/DD System with O-Band TOSA

abstract: For 200Gb/s net rates, cap probabilistic shaped PAM-8 with different Gaussian orders are experimentally compared against uniform PAM-8. In back-to-back and 5km measurements, cap-shaped 85-GBd PAM-8 with Gaussian order of 5 outperforms 71-GBd uniform PAM-8 by up to 2.90dB and 3.80dB in receiver sensitivity, respectively.


title: Broadband Beamforming via Linear Embedding

abstract: In modern applications multi-sensor arrays are subject to an ever-present demand to accommodate signals with higher bandwidths. Standard methods for broadband beamforming, namely digital beamforming and true-time delay, are difficult and expensive to implement at scale. In this work, we explore an alternative method of broadband beamforming that uses a set of linear measurements and a robust low-dimensional signal subspace model. The linear measurements, taken directly from the sensors, serve as a method for dimensionality reduction and serve to limit the array readout. From these embedded samples, we show how the original samples can be recovered to within a provably small residual error using a Slepian subspace model. Previous work in multi-sensor array subspace models have largely analyzed performance from a qualitative or asymptotic perspective. In contrast, we give quantitative estimates of how well different dimensionality reduction strategies preserve the array gain. We also show how spatial and temporal correlations can be used to relax the standard Nyquist sampling criterion, how recovery can be achieved through fast algorithms, and how "hardware friendly" linear measurements can be designed.


title: Efficiently Training Low-Curvature Neural Networks

abstract: The highly non-linear nature of deep neural networks causes them to be susceptible to adversarial examples and have unstable gradients which hinders interpretability. However, existing methods to solve these issues, such as adversarial training, are expensive and often sacrifice predictive accuracy. In this work, we consider curvature, which is a mathematical quantity which encodes the degree of non-linearity. Using this, we demonstrate low-curvature neural networks (LCNNs) that obtain drastically lower curvature than standard models while exhibiting similar predictive performance, which leads to improved robustness and stable gradients, with only a marginally increased training time. To achieve this, we minimize a data-independent upper bound on the curvature of a neural network, which decomposes overall curvature in terms of curvatures and slopes of its constituent layers. To efficiently minimize this bound, we introduce two novel architectural components: first, a non-linearity called centered-softplus that is a stable variant of the softplus non-linearity, and second, a Lipschitz-constrained batch normalization layer. Our experiments show that LCNNs have lower curvature, more stable gradients and increased off-the-shelf adversarial robustness when compared to their standard high-curvature counterparts, all without affecting predictive performance. Our approach is easy to use and can be readily incorporated into existing neural network models.


title: Square Root Computation In Finite Fields

abstract: In this paper, we present a review of three widely-used practical square root algorithms. We then describe a unifying framework where each of these well-known algorithms can be seen as a special case of it. The framework with singular curves offers a broad perspective to compare and further improve the existing methods in addition to offering a new avenue for square root computation algorithms in finite fields.


title: Learning Hands-On Electronics from Home: A Simulator for Fritzing

abstract: The recent pandemic has forced us to teach online, which is especially difficult for hand-on courses in robotics, like basic electronics. In this paper, I present a simulator which tries to replicate the same experience students will encounter during the exercises in the laboratory. The simulator has been developed in Fritzing, uses realistic multimeters for measuring and checks for common mistakes. Results show not only that the simulator was extremely useful during the pandemic, but also that it can supplement laboratory exercises when teaching in-classroom.


title: Quantumness and speedup limit of a qubit under transition frequency modulation

abstract: Controlling and maintaining quantum properties of an open quantum system along its evolution is essential for both fundamental and technological aims. We assess the capability of a frequency-modulated qubit embedded in a leaky cavity to exhibit enhancement of its dynamical quantum features. The qubit transition frequency is sinusoidally modulated by an external driving field. We show that a properly optimized quantum witness effectively identifies quantum coherence protection due to frequency modulation while a standard quantum witness fails. We also find an evolution speedup of the qubit through proper manipulation of the modulation parameters of the driving field. Importantly, by introducing a new figure of merit Rg, we discover that the relation between Quantum Speed Limit Time (QSLT) and non-Markovianity depends on the system initial state, which generalizes previous connections between these two dynamical features. The frequency-modulated qubit model thus manifests insightful dynamical properties with potential utilization against decoherence.


title: It's Time for Artistic Correspondence in Music and Video

abstract: We present an approach for recommending a music track for a given video, and vice versa, based on both their temporal alignment and their correspondence at an artistic level. We propose a self-supervised approach that learns this correspondence directly from data, without any need of human annotations. In order to capture the high-level concepts that are required to solve the task, we propose modeling the long-term temporal context of both the video and the music signals, using Transformer networks for each modality. Experiments show that this approach strongly outperforms alternatives that do not exploit the temporal context. The combination of our contributions improve retrieval accuracy up to 10x over prior state of the art. This strong improvement allows us to introduce a wide range of analyses and applications. For instance, we can condition music retrieval based on visually defined attributes.


title: A Mixed Type Generalized Kimura Operator

abstract: We analyze a class of mixed type generalized Kimura operators on 2-dimensional compact manifolds with corners that find applications in the analysis of topological insulators. We model the operator and provide the degenerate H\"older space-type estimates for model operators. With the analysis of perturbation term we establish the existence of solutions. We also give proofs of the existence and regularity of the global heat kernel.


title: Attacks on Perception-Based Control Systems: Modeling and Fundamental Limits

abstract: We study the performance of perception-based control systems in the presence of attacks, and provide methods for modeling and analysis of their resiliency to stealthy attacks on both physical and perception-based sensing. Specifically, we consider a general setup with a nonlinear affine physical plant controlled with a perception-based controller that maps both the physical (e.g., IMUs) and perceptual (e.g., camera) sensing to the control input; the system is also equipped with a statistical or learning-based anomaly detector (AD). We model the attacks in the most general form, and introduce the notions of attack effectiveness and stealthiness independent of the used AD. In such setting, we consider attacks with different levels of runtime knowledge about the plant. We find sufficient conditions for existence of stealthy effective attacks that force the plant into an unsafe region without being detected by any AD. We show that as the open-loop unstable plant dynamics diverges faster and the closed-loop system converges faster to an equilibrium point, the system is more vulnerable to effective stealthy attacks. Also, depending on runtime information available to the attacker, the probability of attack remaining stealthy can be arbitrarily close to one, if the attacker's estimate of the plant's state is arbitrarily close to the true state; when an accurate estimate of the plant state is not available, the stealthiness level depends on the control performance in attack-free operation.


title: The Decay Q Value of Neutrinoless Double Beta Decay

abstract: An earlier publication "The implication of the atomic effects in neutrinoless double beta (0$\nu\beta\beta$) decay" written by Mei and Wei has motivated us to compare the decay Q value ($Q_{\beta\beta}$) derived from the decay of the parent nucleus to the daughter nucleus with the two ejected beta particles in the final state to the $Q_{\beta\beta}$ directly derived from the decay of the initial neutral atom to the final state of double-ionized daughter ion with the two ejected beta particles in the final state. We show that the results are the same, which is the mass-energy difference ($\Delta Mc^2$) subtracted by the total difference of the atomic electron binding energy ($\Delta E_{b}$) between the ground states of initial and final neutral atoms. We demonstrate that $\Delta Mc^2$ is the sum of $Q_{\beta\beta}$ and the atomic relaxation energy ($\Delta E_{b}$) of the atomic structure after the decay. Depending on the atomic relaxation time, the release of the atomic binding energy may not come together with the energy deposition of the two ejected beta particles.


title: An Intelligent Assistant for Converting City Requirements to Formal Specification

abstract: As more and more monitoring systems have been deployed to smart cities, there comes a higher demand for converting new human-specified requirements to machine-understandable formal specifications automatically. However, these human-specific requirements are often written in English and bring missing, inaccurate, or ambiguous information. In this paper, we present CitySpec, an intelligent assistant system for requirement specification in smart cities. CitySpec not only helps overcome the language differences brought by English requirements and formal specifications, but also offers solutions to those missing, inaccurate, or ambiguous information. The goal of this paper is to demonstrate how CitySpec works. Specifically, we present three demos: (1) interactive completion of requirements in CitySpec; (2) human-in-the-loop correction while CitySepc encounters exceptions; (3) online learning in CitySpec.


title: A Mixed Graph Achieving A Moore-like Bound

abstract: Mixed graphs have both directed and undirected edges. A mixed cage is a regular mixed graph of given girth with minimum possible order. In this paper we construct a mixed cage of order 30 that achieves the mixed graph analogue of the Moore bound for degree 3, out-degree 1, and girth 6.


title: Geometric Predictors of Knotted and Linked Arcs

abstract: Inspired by how certain proteins "sense" knots and entanglements in DNA molecules, here we ask if there exist local geometric features that may be used as a read-out of the underlying topology of generic polymers. We perform molecular simulations of knotted and linked semiflexbile polymers and study four geometric measures to predict topological entanglements: local curvature, local density, local 1D writhe and non-local 3D writhe. We discover that local curvature is a poor predictor of entanglements. In contrast, segments with maximum local density or writhe correlate as much as 90% of the time with the shortest knotted and linked arcs. We find that this accuracy is preserved across different knot types and also under significant spherical confinement, which is known to delocalise essential crossings in knotted polymers. We further discover that non-local 3D writhe is the best geometric read-out of knot location. Finally, we discuss how these geometric features may be used to computationally analyse entanglements in generic polymer melts and gels.


title: Self-Supervision on Images and Text Reduces Reliance on Visual Shortcut Features

abstract: Deep learning models trained in a fully supervised manner have been shown to rely on so-called "shortcut" features. Shortcut features are inputs that are associated with the outcome of interest in the training data, but are either no longer associated or not present in testing or deployment settings. Here we provide experiments that show recent self-supervised models trained on images and text provide more robust image representations and reduce the model's reliance on visual shortcut features on a realistic medical imaging example. Additionally, we find that these self-supervised models "forget" shortcut features more quickly than fully supervised ones when fine-tuned on labeled data. Though not a complete solution, our experiments provide compelling evidence that self-supervised models trained on images and text provide some resilience to visual shortcut features.


title: Federated Multi-organ Segmentation with Inconsistent Labels

abstract: Federated learning is an emerging paradigm allowing large-scale decentralized learning without sharing data across different data owners, which helps address the concern of data privacy in medical image analysis. However, the requirement for label consistency across clients by the existing methods largely narrows its application scope. In practice, each clinical site may only annotate certain organs of interest with partial or no overlap with other sites. Incorporating such partially labeled data into a unified federation is an unexplored problem with clinical significance and urgency. This work tackles the challenge by using a novel federated multi-encoding U-Net (Fed-MENU) method for multi-organ segmentation. In our method, a multi-encoding U-Net (MENU-Net) is proposed to extract organ-specific features through different encoding sub-networks. Each sub-network can be seen as an expert of a specific organ and trained for that client. Moreover, to encourage the organ-specific features extracted by different sub-networks to be informative and distinctive, we regularize the training of the MENU-Net by designing an auxiliary generic decoder (AGD). Extensive experiments on six public abdominal CT datasets show that our Fed-MENU method can effectively obtain a federated learning model using the partially labeled datasets with superior performance to other models trained by either localized or centralized learning methods. Source code is publicly available at https://github.com/DIAL-RPI/Fed-MENU.


title: Collaborative smartphone experiments for large audiences with phyphox

abstract: We present methods to implement collaborative experimentation with smartphone sensors for larger audiences as typically found at Universities. These methods are based on the app "phyphox", which is being developed by the authors, and encompass simple data collection via web forms as well as a new network interface for "phyphox", allowing to collect real-time experiment data from an audience on-site or easy data submission for remote participants. Examples are given with practical considerations derived from first implementations of this method in a lecture hall with 350 undergraduate students as well as a global experiment to determine the Earth's axial tilt with smartphones.


title: Gyroscopic tensor of a magnetic soliton

abstract: The gyroscopic force acting on a ferromagnetic soliton reflects the tendency of spins to precess. Its components increase linearly with (generalized) velocities of the soliton. The proportionality coefficients form the gyroscopic tensor, a generalization of Thiele's gyrovector. Originally introduced as an auxiliary quantity, the gyroscopic tensor turns out to be a mathematical object of fundamental importance with a long history going back to Lagrange. We review the applications of the gyroscopic tensor and its historical roots.


title: Weak solutions for stochastic differential equations with additive fractional noise

abstract: We give a new approach to prove the existence of a weak solution of \[dx_t = f(t,x_t)dt + g(t)dB^H_t\] where $B^H_t$ is a fractional Brownian motion with values in a separable Hilbert space for suitable functions $f$ and $g$. Our idea is to use the implicit function theorem and the scaling property of the fractional Brownian motion in order to obtain a weak solution for this equation.


title: LAVENDER: Unifying Video-Language Understanding as Masked Language Modeling

abstract: Unified vision-language frameworks have greatly advanced in recent years, most of which adopt an encoder-decoder architecture to unify image-text tasks as sequence-to-sequence generation. However, existing video-language (VidL) models still require task-specific designs in model architecture and training objectives for each task. In this work, we explore a unified VidL framework LAVENDER, where Masked Language Modeling (MLM) is used as the common interface for all pre-training and downstream tasks. Such unification leads to a simplified model architecture, where only a lightweight MLM head, instead of a decoder with much more parameters, is needed on top of the multimodal encoder. Surprisingly, experimental results show that this unified framework achieves competitive performance on 14 VidL benchmarks, covering video question answering, text-to-video retrieval and video captioning. Extensive analyses further demonstrate the advantage of LAVENDER over existing VidL methods in: (i) supporting all downstream tasks with just a single set of parameter values when multi-task finetuned; (ii) few-shot generalization on various downstream tasks; and (iii) enabling zero-shot evaluation on video question answering tasks. Code is available at https://github.com/microsoft/LAVENDER.


title: GraphFM: Improving Large-Scale GNN Training via Feature Momentum

abstract: Training of graph neural networks (GNNs) for large-scale node classification is challenging. A key difficulty lies in obtaining accurate hidden node representations while avoiding the neighborhood explosion problem. Here, we propose a new technique, named feature momentum (FM), that uses a momentum step to incorporate historical embeddings when updating feature representations. We develop two specific algorithms, known as GraphFM-IB and GraphFM-OB, that consider in-batch and out-of-batch data, respectively. GraphFM-IB applies FM to in-batch sampled data, while GraphFM-OB applies FM to out-of-batch data that are 1-hop neighborhood of in-batch data. We provide a convergence analysis for GraphFM-IB and some theoretical insight for GraphFM-OB. Empirically, we observe that GraphFM-IB can effectively alleviate the neighborhood explosion problem of existing methods. In addition, GraphFM-OB achieves promising performance on multiple large-scale graph datasets.


title: Category-Agnostic 6D Pose Estimation with Conditional Neural Processes

abstract: We present a novel meta-learning approach for 6D pose estimation on unknown objects. In contrast to ``instance-level" and ``category-level" pose estimation methods, our algorithm learns object representation in a category-agnostic way, which endows it with strong generalization capabilities across object categories. Specifically, we employ a neural process-based meta-learning approach to train an encoder to capture texture and geometry of an object in a latent representation, based on very few RGB-D images and ground-truth keypoints. The latent representation is then used by a simultaneously meta-trained decoder to predict the 6D pose of the object in new images. Furthermore, we propose a novel geometry-aware decoder for the keypoint prediction using a Graph Neural Network (GNN), which explicitly takes geometric constraints specific to each object into consideration. To evaluate our algorithm, extensive experiments are conducted on the \linemod dataset, and on our new fully-annotated synthetic datasets generated from Multiple Categories in Multiple Scenes (MCMS). Experimental results demonstrate that our model performs well on unseen objects with very different shapes and appearances. Remarkably, our model also shows robust performance on occluded scenes although trained fully on data without occlusion. To our knowledge, this is the first work exploring \textbf{cross-category level} 6D pose estimation.


title: DeepRecon: Joint 2D Cardiac Segmentation and 3D Volume Reconstruction via A Structure-Specific Generative Method

abstract: Joint 2D cardiac segmentation and 3D volume reconstruction are fundamental to building statistical cardiac anatomy models and understanding functional mechanisms from motion patterns. However, due to the low through-plane resolution of cine MR and high inter-subject variance, accurately segmenting cardiac images and reconstructing the 3D volume are challenging. In this study, we propose an end-to-end latent-space-based framework, DeepRecon, that generates multiple clinically essential outcomes, including accurate image segmentation, synthetic high-resolution 3D image, and 3D reconstructed volume. Our method identifies the optimal latent representation of the cine image that contains accurate semantic information for cardiac structures. In particular, our model jointly generates synthetic images with accurate semantic information and segmentation of the cardiac structures using the optimal latent representation. We further explore downstream applications of 3D shape reconstruction and 4D motion pattern adaptation by the different latent-space manipulation strategies.The simultaneously generated high-resolution images present a high interpretable value to assess the cardiac shape and motion.Experimental results demonstrate the effectiveness of our approach on multiple fronts including 2D segmentation, 3D reconstruction, downstream 4D motion pattern adaption performance.


title: Edge Security: Challenges and Issues

abstract: Edge computing is a paradigm that shifts data processing services to the network edge, where data are generated. While such an architecture provides faster processing and response, among other benefits, it also raises critical security issues and challenges that must be addressed. This paper discusses the security threats and vulnerabilities emerging from the edge network architecture spanning from the hardware layer to the system layer. We further discuss privacy and regulatory compliance challenges in such networks. Finally, we argue the need for a holistic approach to analyze edge network security posture, which must consider knowledge from each layer.


title: Rigidity of Circle Packings with Flexible Radii

abstract: Circle packings are arrangement of circles satisfying specified tangency requirements. Many problems about packing of circles and spheres occur in nature particularly in material design and protein structure. Surprisingly, little is known about the stability and rigidity of circle packings. In this paper, we study the rigidity of circle packings representing a given planar graph. The radii of circles are flexible with equality and inequality constraints. We provide a dual condition for the packing to be rigid in the first order. This gives us a sufficient condition to show a packing is rigid. Then we will explore the difficulties on rigidity problems beyond the first order.


title: Regularizing a Model-based Policy Stationary Distribution to Stabilize Offline Reinforcement Learning

abstract: Offline reinforcement learning (RL) extends the paradigm of classical RL algorithms to purely learning from static datasets, without interacting with the underlying environment during the learning process. A key challenge of offline RL is the instability of policy training, caused by the mismatch between the distribution of the offline data and the undiscounted stationary state-action distribution of the learned policy. To avoid the detrimental impact of distribution mismatch, we regularize the undiscounted stationary distribution of the current policy towards the offline data during the policy optimization process. Further, we train a dynamics model to both implement this regularization and better estimate the stationary distribution of the current policy, reducing the error induced by distribution mismatch. On a wide range of continuous-control offline RL datasets, our method indicates competitive performance, which validates our algorithm. The code is publicly available.