title: On the area rate of perturbed Siegel disks

abstract: In the famous work by Buff and Ch\'eritat constructing quadratic Julia sets with positive area, the control of the shape of perturbed Siegel disks is a key technique. To do it, Buff and Ch\'eritat added a restrictive condition on rotation numbers. In this paper, we show that this restrictive condition can be deleted. As a consequence, more quadratic Julia sets with positive area can be constructed.


title: Structure-Preserving Graph Kernel for Brain Network Classification

abstract: This paper presents a novel graph-based kernel learning approach for connectome analysis. Specifically, we demonstrate how to leverage the naturally available structure within the graph representation to encode prior knowledge in the kernel. We first proposed a matrix factorization to directly extract structural features from natural symmetric graph representations of connectome data. We then used them to derive a structure-persevering graph kernel to be fed into the support vector machine. The proposed approach has the advantage of being clinically interpretable. Quantitative evaluations on challenging HIV disease classification (DTI- and fMRI-derived connectome data) and emotion recognition (EEG-derived connectome data) tasks demonstrate the superior performance of our proposed methods against the state-of-the-art. Results showed that relevant EEG-connectome information is primarily encoded in the alpha band during the emotion regulation task.


title: Automatic Generation of Ice Hockey Defensive Motion via Coverage Control and Control Barrier Functions

abstract: A successful defensive strategy in ice hockey games is often designed empirically by an experienced professional. The majority of previous work on automating the strategy focuses on analyzing spatial data to decide the most optimal formation and action but cannot generalize the system to real games with real-time capabilities. We propose a novel control logic for generating real-time ice hockey defensive motion based on a control barrier function (CBF) and coverage control to extend our antecessors' logic that succeeds in duplicating ideal formations for specific scenes. To this end, we first present an ellipsoidal CBF to overcome the drawbacks of the existing line-based CBF of our antecessors. We also tune and add a novel density function to reflect real specifications more precisely than the previous work. The control logic is then demonstrated through simulations with offensive motion in real games. It is confirmed that the present logic generates valid defensive movements without specification to these specific scenes. We further exemplify that the logic generates proper motion under ice hockey's man-to-man and zone defense strategies and their intermediate strategies by tuning the logic. This would contribute to reducing the efforts of the practitioners to educate ice hockey players.


title: Modulation of pulse profile as a signal for phase transitions in a pulsar core

abstract: We calculate detailed modification of pulses from a pulsar arising from the effects of phase transition induced density fluctuations on the pulsar moment of inertia. We represent general statistical density fluctuations using a simple model where the initial moment of inertia tensor of the pulsar (taken to be diagonal here) is assumed to get random additional contributions for each of its component which are taken to be Gaussian distributed with certain width characterized by the strength of density fluctuations $\epsilon$. Using sample values of $\epsilon$, (and the pulsar deformation parameter $\eta$) we numerically calculate detailed pulse modifications by solving Euler's equations for the rotational dynamics of the pulsar. We also give analytical estimates which can be used for arbitrary values of $\epsilon$ and $\eta$. We show that there are very specific patterns in the perturbed pulses which are observable in terms of modulations of pulses over large time periods. In view of the fact that density fluctuations fade away eventually leading to a uniform phase in the interior of pulsar, the off-diagonal components of MI tensor also vanish eventually. Thus, the modification of pulses due to induced wobbling (from the off-diagonal MI components) will also die away eventually. This allows one to distinguish these transient pulse modulations from the effects of any wobbling originally present. Further, the decay of these modulations in time directly relates to relaxation of density fluctuations in the pulsar giving valuable information about the nature of phase transition occurring inside the pulsar.


title: A Data-Driven Line Search Rule for Support Recovery in High-dimensional Data Analysis

abstract: In this work, we consider the algorithm to the (nonlinear) regression problems with $\ell_0$ penalty. The existing algorithms for $\ell_0$ based optimization problem are often carried out with a fixed step size, and the selection of an appropriate step size depends on the restricted strong convexity and smoothness for the loss function, hence it is difficult to compute in practical calculation. In sprite of the ideas of support detection and root finding \cite{HJK2020}, we proposes a novel and efficient data-driven line search rule to adaptively determine the appropriate step size. We prove the $\ell_2$ error bound to the proposed algorithm without much restrictions for the cost functional. A large number of numerical comparisons with state-of-the-art algorithms in linear and logistic regression problems show the stability, effectiveness and superiority of the proposed algorithms.


title: A convergence criterion for the unstable manifolds of the MacKay approximate renormalisation

abstract: We give an explicit arithmetical condition which guarantees the existence of the unstable manifold of the MacKay approximate renormalisation scheme for the breakup of invariant tori in one and a half degrees of freedom Hamiltonian systems, correcting earlier results. Furthermore, when our condition is violated, we give an example of points on which the unstable manifold does not converge.


title: Flying electron spin control gates

abstract: The control of "flying" (or moving) spin qubits is an important functionality for the manipulation and exchange of quantum information between remote locations on a chip. Typically, gates based on electric or magnetic fields provide the necessary perturbation for their control either globally or at well-defined locations. Here, we demonstrate the dynamic control of moving electron spins via contactless gates that move together with the spin. The concept is realized using electron spins trapped and transported by moving potential dots defined by a surface acoustic wave (SAW). The SAW strain at the electron trapping site, which is set by the SAW amplitude, acts as a contactless, tunable gate that controls the precession frequency of the flying spins via the spin-orbit interaction. We show that the degree of precession control in moving dots exceeds previously reported results for unconstrained transport by an order of magnitude and is well accounted for by a theoretical model for the strain contribution to the spin-orbit interaction. This flying spin gate permits the realization of an acoustically driven optical polarization modulator based on electron spin transport, a key element for on-chip spin information processing with a photonic interface.


title: Reduction of symbolic first integrals of planar vector fields

abstract: Consider a planar polynomial vector field $X$, and assume it admits a symbolic first integral $\mathcal{F}$, i.e. of the $4$ classes, in growing complexity: Rational, Darbouxian, Liouvillian and Riccati. If $\mathcal{F}$ is not rational, it is sometimes possible to reduce it to a simpler class first integral. We will present algorithms to reduce symbolic first integral to a lower complexity class. These algorithms allow to find the minimal class first integral and in particular to test the existence of a rational first integral except in the case where $\mathcal{F}$ is a $k$-Darbouxian first integral without singularities and $k\in\{2,3,4,6\}$. In this case, several examples are built and a procedure is presented which however requires the computation of elliptic factors in the Jacobian of a superelliptic curve.


title: Vulcan: Solving the Steiner Tree Problem with Graph Neural Networks and Deep Reinforcement Learning

abstract: Steiner Tree Problem (STP) in graphs aims to find a tree of minimum weight in the graph that connects a given set of vertices. It is a classic NP-hard combinatorial optimization problem and has many real-world applications (e.g., VLSI chip design, transportation network planning and wireless sensor networks). Many exact and approximate algorithms have been developed for STP, but they suffer from high computational complexity and weak worst-case solution guarantees, respectively. Heuristic algorithms are also developed. However, each of them requires application domain knowledge to design and is only suitable for specific scenarios. Motivated by the recently reported observation that instances of the same NP-hard combinatorial problem may maintain the same or similar combinatorial structure but mainly differ in their data, we investigate the feasibility and benefits of applying machine learning techniques to solving STP. To this end, we design a novel model Vulcan based on novel graph neural networks and deep reinforcement learning. The core of Vulcan is a novel, compact graph embedding that transforms highdimensional graph structure data (i.e., path-changed information) into a low-dimensional vector representation. Given an STP instance, Vulcan uses this embedding to encode its pathrelated information and sends the encoded graph to a deep reinforcement learning component based on a double deep Q network (DDQN) to find solutions. In addition to STP, Vulcan can also find solutions to a wide range of NP-hard problems (e.g., SAT, MVC and X3C) by reducing them to STP. We implement a prototype of Vulcan and demonstrate its efficacy and efficiency with extensive experiments using real-world and synthetic datasets.


title: Anomaly of non-Abelian discrete symmetries

abstract: We study anomalies of non-Abelian discrete symmetries; which part of non-Abelian group is anomaly free and which part can be anomalous. It is found that the anomaly-free elements of the group $G$ generate a normal subgroup $G_0$ of $G$ and the residue class group $G/G_0$, which becomes the anomalous part of $G$, is isomorphic to a single cyclic group. The derived subgroup $D(G)$ of $G$ is useful to study the anomaly structure. This structure also constrains the structure of the anomaly-free subgroup; the derived subgroup $D(G)$ should be included in the anomaly-free subgroup. We study the detail structure of the anomaly-free subgroup from the structure of the derived subgroup in various discrete groups. For example, when $G=S_n \simeq A_n \rtimes Z_2$ and $G=\Delta(6n^2) \simeq \Delta(3n^2) \rtimes Z_2$, in particular, $A_n$ and $\Delta(3n^2)$ are at least included in the anomaly-free subgroup, respectively. This result holds in any arbitrary representations.


title: High-order QED correction impacts on phase transition of the Euler-Heisenberg AdS black hole

abstract: Two-phase transition branches of the Euler-Heisenberg (EH) anti-de Sitter (AdS) black hole (BH) were derived from its phase transition critical behavior by Magos et al. [Phys. Rev. D. 102, 084011 (2020)]. We found that the phase transition is unstable. Considering the high-order quantum electrodynamics (QED) correction, we re-derive the EHAdS BH solution and investigate its critical thermodynamic quantities. It is found that the corrected EHAdS BH has only one stable phase transition branch, and its critical exponents are equivalent to that of the vdW system. From the microscopic point of view, we also derive its normalized scalar curvature based on the Ruppeiner geometry. Different from two concave surfaces of the scalar curvature without considering the high-order QED correction, we show that the corrected Ruppeiner geometry has only one concave surface. Our results indicate that the phase transition instability derived by Magos $et~al.$ is due to without considering the high-order QED correction.


title: Experience-Enhanced Learning: One Size Still does not Fit All in Automatic Database

abstract: Recent years, the database committee has attempted to develop automatic database management systems. Although some researches show that the applying AI to data management is a significant and promising direction, there still exists many problems in implementing these techniques to real applications (long training time, various environments and unstable performance). In this paper, we discover that traditional rule based methods have the potential to solve the above problems. We propose three methodologies for improving learned methods, i.e. label collection for efficiently pre-training, knowledge base for model transfer and theoretical guarantee for stable performance. We implement our methodologies on two widely used learning approaches, deep learning and reinforcement learning. Firstly, the novel experience enhanced deep learning (EEDL) could achieve efficient training and stable performance. We evaluate EEDL with cardinality estimation, an essential database management. The experimental results on four real dataset [1] show that our EEDL could outperforms the general DL model [2]. Secondly, we design a novel experience-enhanced reinforcement learning (EERL), which could efficiently converge and has better performance than general RL models [3]. We test EERL with online index tuning task. The experiments on TPC-H shows that EERL could accelerate the convergence of agent and generate better solution that generalizes the reinforcement learning.


title: A graphene inspired electromagnetic superlens

abstract: In this paper we propose a new paradigm to create superlenses inspired by n-p-n junctions of graphene. We show that by adjoining a n-type region and a p-type region with a crystal dislocation, it is possible to mimic the interaction of complementary Hamiltonians and achieve subwavelength imaging. We introduce an effective model of the system, and show that it predicts perfect lensing for both propagating and evanescent waves due to the excitation of a resonant mode at the interface between each region. This phenomenon is the consequence of a nontrivial boundary condition at the n-p interfaces due to a dislocation of the graphene "atoms". We discuss practical realizations of such superlenses in electronic and photonic platforms. Using full wave simulations, we study in detail the performance of a photonic realization of the lens based on a honeycomb array of dielectric cylinders embedded in a metal.


title: A User Centric Blockage Model for Wireless Networks

abstract: This paper proposes a cascade blockage model for analyzing the vision that a user has of a wireless network. This model, inspired by the classical multiplicative cascade models, has a radial structure meant to analyze blockages seen by the receiver at the origin in different angular sectors. The main novelty is that it is based on the geometry of obstacles and takes the joint blockage phenomenon into account. We show on a couple of simple instances that the Laplace transforms of total interference satisfies a functional equation that can be solved efficiently by an iterative scheme. This is used to analyze the coverage probability of the receiver and the effect of blockage correlation and penetration loss in both dense and sparse blockage environments. Furthermore, this model is used to investigate the effect of blockage correlation on user beamforming techniques. Another functional equation and its associated iterative algorithm are proposed to derive the coverage performance of the best beam selection in this context. In addition, the conditional coverage probability is also derived to evaluate the effect of beam switching. The results not only show that beam selection is quite efficient for multi-beam terminals, but also show how the correlation brought by blockages can be leveraged to accelerate beam sweeping and pairing.


title: Energy Transport in 1-Dimensional Oscillator Arrays With Hysteretic Damping

abstract: Energy transport in 1-dimensional oscillator arrays has been extensively studied to date in the conservative case, as well as under weak viscous damping. When driven at one end by a sinusoidal force, such arrays are known to exhibit the phenomenon of supratransmission, i.e. a sudden energy surge above a critical driving amplitude. In this paper, we study 1-dimensional oscillator chains in the presence of hysteretic damping, and include nonlinear stiffness forces that are important for many materials at high energies. We first employ Reid's model of local hysteretic damping, and then study a new model of nearest neighbor dependent hysteretic damping to compare their supratransmission and wave packet spreading properties in a deterministic as well as stochastic setting. The results have important quantitative differences, which should be helpful when comparing the merits of the two models in specific engineering applications.


title: Understanding Pixel-level 2D Image Semantics with 3D Keypoint Knowledge Engine

abstract: Pixel-level 2D object semantic understanding is an important topic in computer vision and could help machine deeply understand objects (e.g. functionality and affordance) in our daily life. However, most previous methods directly train on correspondences in 2D images, which is end-to-end but loses plenty of information in 3D spaces. In this paper, we propose a new method on predicting image corresponding semantics in 3D domain and then projecting them back onto 2D images to achieve pixel-level understanding. In order to obtain reliable 3D semantic labels that are absent in current image datasets, we build a large scale keypoint knowledge engine called KeypointNet, which contains 103,450 keypoints and 8,234 3D models from 16 object categories. Our method leverages the advantages in 3D vision and can explicitly reason about objects self-occlusion and visibility. We show that our method gives comparative and even superior results on standard semantic benchmarks.


title: New Binary-Addition Tree Algorithm for the All-Multiterminal Binary-State Network Reliability Problem

abstract: Various real-life applications, for example, Internet of Things, wireless sensor networks, smart grids, transportation networks, communication networks, social networks, and computer grid systems, are always modeled as network structures. The binary-state network composed of binary-state (e.g., functioning or failed) components (arcs and/or nodes) is one of the most popular network structures. The two-terminal network reliability is a success probability that the network is still functioning and can be calculated by verifying the connectivity between two specific nodes, and is an effective and popular technique for evaluating the performance of all types of networks. To obtain complete information for a making better decisions, a multi-terminal network reliability extends the two specific nodes to a specific node subset in which all nodes are connected. In this study, a new algorithm called the all-multiterminal BAT is proposed by revising the binary-addition-tree algorithm (BAT) and the layered-search algorithm (LSA) to calculate all multi-terminal reliabilities. The efficiency and effectiveness of the proposed all-multiterminal BAT are analyzed from the perspective of time complexity and explained via numerical experiments to solve the all-multiterminal network reliability problems.


title: Stochastic viscosity approximations of Hamilton-Jacobi equations and variance reduction

abstract: We consider the computation of free energy-like quantities for diffusions in high dimension, when resorting to Monte Carlo simulation is necessary. Such stochastic computations typically suffer from high variance, in particular in a low noise regime, because the expectation is dominated by rare trajectories for which the observable reaches large values. Although importance sampling, or tilting of trajectories, is now a standard technique for reducing the variance of such estimators, quantitative criteria for proving that a given control reduces variance are scarce, and often do not apply to practical situations. The goal of this work is to provide a quantitative criterion for assessing whether a given bias reduces variance, and at which order. We rely for this on a recently introduced notion of stochastic solution for Hamilton-Jacobi-Bellman (HJB) equations. Based on this tool, we introduce the notion of k-stochastic viscosity approximation (SVA) of a HJB equation. We next prove that such approximate solutions are associated with estimators having a relative variance of order k-1 at log-scale. In particular, a sampling scheme built from a 1-SVA has bounded variance as noise goes to zero. Finally, in order to show that our definition is relevant, we provide examples of stochastic viscosity approximations of order one and two, with a numerical illustration confirming our theoretical findings.

categories: math.NA cond-mat.stat-mech cs.NA math.OC math.PR


title: Wormhole inducing exponential expansion in $R^2$ gravity

abstract: Wormholes are considered both from the Wheeler deWitt equation, as well as from the field equations in the Euclidean background of Roberson Walker mini-superspace in $R^2$ gravity. Quantum wormhole satisfies Hawking Page wormhole boundary condition in the Euclidean background of mini-superspace, however, in the Lorentzian background wave functional turns to the usual oscillatory function. The Euclidean field equations for $\kappa=0, \pm1$ lead to the wormhole configuration; as well as oscillating universe in Euclidean time $\tau$. The oscillating universe is equivalent to expanding universe under analytic continuation $\tau=it$ and asymptotically leads to exponential solution. An Euclidean wormhole in the very early era evolves to an oscillating universe in $\tau$, thereafter crossing deSitter radius transition to an inflationary era is evident at later epoch only for $\kappa=1$.


title: The voter model with a slow membrane

abstract: We introduce the voter model on the infinite lattice with a slow membrane and investigate its hydrodynamic behavior and nonequilibrium fluctuations. The model is defined as follows: a voter adopts one of its neighbors' opinion at rate one except for neighbors crossing the hyperplane $\{x:x_1 = 1/2\}$, where the rate is $\alpha N^{-\beta}$. Above, $\alpha>0,\,\beta \geq 0$ are two parameters and $N$ is the scaling parameter. The hydrodynamic equation turns out to be heat equation with various boundary conditions depending on the value of $\beta$. For the nonequilibrium fluctuations, the limit is described by generalized Ornstein-Uhlenbeck process with certain boundary condition corresponding to the hydrodynamic equation.


title: New Clocks, Optimal Line Formation and Self-Replication Population Protocols

abstract: In this paper we consider a variant of population protocols in which agents are allowed to be connected by edges, known as the constructors model. During an interaction between two agents the relevant connecting edge can be formed, maintained or eliminated by the transition function. The contributions of this paper are manifold. -- We propose and analyse a novel type of phase clocks allowing to count parallel time $\Theta(n\log n)$ in the constructors model. This new type of clocks can be also implemented in the standard population protocol model assuming a unique leader is available. -- The new clock enables an optimal $O(n\log n)$ parallel time spanning line construction which improves dramatically on the best previously known $O(n^2)$ parallel time solution. -- We define a probabilistic version of bubble-sort in which random comparisons are allowed only between adjacent numbers in the sequence being sorted. We show that rather surprisingly this probabilistic bubble-sort requires $O(n^2)$ comparisons in expectation, i.e., on the same level as its deterministic counterpart. -- We propose the first self-replication protocol allowing to reproduce a strand (line-segment carrying information) of length $k$ in parallel time $O(n(k+\log n)).$ This result is based on the probabilistic bubble-sort argument. This protocol permits also simultaneous replication where $l$ copies of the strand can be obtained in time $O(n(k+\log n)\log l).$ All protocols in this paper operate with high probability.


title: Representability of Kleene posets and Kleene lattices

abstract: A Kleene lattice is a distributive lattice equipped with an antitone involution and satisfying the so-called normality condition. These lattices were introduced by J. A. Kalman. We extended this concept also for posets with an antitone involution. In our recent paper [5], we showed how to construct such Kleene lattices or Kleene posets from a given distributive lattice or poset and a fixed element of this lattice or poset by using the so-called twist product construction, respectively. We extend this construction of Kleene lattices and Kleene posets by considering a fixed subset instead of a fixed element. Moreover, we show that in some cases, this generating poset can be embedded into the resulting Kleene poset. We investigate the question when a Kleene poset can be represented by a Kleene poset obtained by the mentioned construction. We show that a direct product of representable Kleene posets is again representable and hence a direct product of finite chains is representable. This does not hold in general for subdirect products, but we show some examples where it holds. We present large classes of representable and non-representable Kleene posets. Finally, we investigate two kinds of extensions of a distributive poset A, namely its Dedekind-MacNeille completion DM(A) and a completion G(A) which coincides with DM(A) provided A is finite. In particular we prove that if A is a Kleene poset then its extension G(A) is also a Kleene lattice. If the subset X of principal order ideals of A is involutionclosed and doubly dense in G(A) then it generates G(A) and it is isomorphic to A itself.


title: A Blockchain-Based Approach for Collaborative Formalization of Mathematics and Programs

abstract: Formalization of mathematics is the process of digitizing mathematical knowledge, which allows for formal proof verification as well as efficient semantic searches. Given the large and ever-increasing gap between the set of formalized and unformalized mathematical knowledge, there is a clear need to encourage more computer scientists and mathematicians to solve and formalize mathematical problems together. With blockchain technology, we are able to decentralize this process, provide time-stamped verification of authorship and encourage collaboration through implementation of incentive mechanisms via smart contracts. Currently, the formalization of mathematics is done through the use of proof assistants, which can be used to verify programs and protocols as well. Furthermore, with the advancement in artificial intelligence (AI), particularly machine learning, we can apply automated AI reasoning tools in these proof assistants and (at least partially) automate the process of synthesizing proofs. In our paper, we demonstrate a blockchain-based system for collaborative formalization of mathematics and programs incorporating both human labour as well as automated AI tools. We explain how Token-Curated Registries (TCR) and smart contracts are used to ensure appropriate documents are recorded and encourage collaboration through implementation of incentive mechanisms respectively. Using an illustrative example, we show how formalized proofs of different sorting algorithms can be produced collaboratively in our proposed blockchain system.


title: $g$-invariant on unary Hermitian lattices over imaginary quadratic fields with class number $2$ or $3$

abstract: In this paper, we study the unary Hermitian lattices over imaginary quadratic fields. Let $E=\mathbb{Q}\big(\sqrt{-d}\big)$ be an imaginary quadratic field for a square-free positive integer $d$, and let $\mathcal{O}$ be its ring of integers. For each positive integer $m$, let $I_m$ be the free Hermitian lattice over $\mathcal{O}$ with an orthonormal basis, let $\mathfrak{S}_d(1)$ be the set consisting of all positive definite integral unary Hermitian lattices over $\mathcal{O}$ that can be represented by some $I_m$, and let $g_d(1)$ be the smallest positive integer such that all Hermitian lattices in $\mathfrak{S}_d(1)$ can be represented by $I_{g_d(1)}$ uniformly. The main results of this paper determine the explicit form of $\mathfrak{S}_d(1)$ and the exact value of $g_d(1)$ for every imaginary quadratic field $E$ with class number $2$ or $3$.


title: Hunting active Brownian particles: Learning optimal behavior

abstract: We numerically study active Brownian particles that can respond to environmental cues through a small set of actions (switching their motility and turning left or right with respect to some direction) which are motivated by recent experiments with colloidal self-propelled Janus particles. We employ reinforcement learning to find optimal mappings between the state of particles and these actions. Specifically, we first consider a predator-prey situation in which prey particles try to avoid a predator. Using as reward the squared distance from the predator, we discuss the merits of three state-action sets and show that turning away from the predator is the most successful strategy. We then remove the predator and employ as collective reward the local concentration of signaling molecules exuded by all particles and show that aligning with the concentration gradient leads to chemotactic collapse into a single cluster. Our results illustrate a promising route to obtain local interaction rules and design collective states in active matter.


title: Domain Generalization for Mammography Detection via Multi-style and Multi-view Contrastive Learning

abstract: Lesion detection is a fundamental problem in the computer-aided diagnosis scheme for mammography. The advance of deep learning techniques have made a remarkable progress for this task, provided that the training data are large and sufficiently diverse in terms of image style and quality. In particular, the diversity of image style may be majorly attributed to the vendor factor. However, the collection of mammograms from vendors as many as possible is very expensive and sometimes impractical for laboratory-scale studies. Accordingly, to further augment the generalization capability of deep learning model to various vendors with limited resources, a new contrastive learning scheme is developed. Specifically, the backbone network is firstly trained with a multi-style and multi-view unsupervised self-learning scheme for the embedding of invariant features to various vendor-styles. Afterward, the backbone network is then recalibrated to the downstream task of lesion detection with the specific supervised learning. The proposed method is evaluated with mammograms from four vendors and one unseen public dataset. The experimental results suggest that our approach can effectively improve detection performance on both seen and unseen domains, and outperforms many state-of-the-art (SOTA) generalization methods.


title: Competition between Ta-Ta and Te-Te bonding leading to the commensurate charge density wave in TaTe4

abstract: The origin of the charge density wave in TaTe$_4$ is discussed on the basis of a first-principles DFT analysis of the Fermi surface, electron-hole response function, phonon band structure of the average structure and structural optimization of the modulated phase. Analysis of the band structure and Fermi surface of the average structure clearly proves that despite the presence of TaTe$_4$ chains in the crystal structure, TaTe$_4$ is in fact a 3D material as far as the electronic structure near the Fermi level is concerned. A Fermi surface nesting mechanism is dismissed as the origin of the 2$a\times2a\times3c$ structural modulation. The optimized 2$a$\xone2$a$\xone3$c$ structure, which is found to be the more stable modulation in agreement with the experimental observations, can be obtained directly from a soft-phonon mode computed for the undistorted structure. Our results suggest that the driving force for the distortion is the maximization of Ta-Ta metal-metal bonding subject to inducing the minimum bonding decrease in the Te sublattice.


title: Dirac fermions in armchair graphene nanoribbons trapped by electric quantum dots

abstract: We study the confinement of Dirac fermions in armchair graphene nanoribbons by means of a quantum-dot-type electrostatic potential. With the use of specific projection operators, we find exact solutions for some bound states that satisfy appropriate boundary conditions. We show that the energies of these bound states belong either to the gap of valence and conducting bands or they represent BIC's (bound states in the continuum) whose energies are embedded in the continuous spectrum.


title: Simple circuit simulations of classical and quantum Turing machines

abstract: We construct reversible Boolean circuits efficiently simulating reversible Turing machines. Both the circuits and the simulation proof are rather simple. Then we give a fairly straightforward generalization of the circuits and the simulation proof to the quantum case.


title: Learning by Active Forgetting for Neural Networks

abstract: Remembering and forgetting mechanisms are two sides of the same coin in a human learning-memory system. Inspired by human brain memory mechanisms, modern machine learning systems have been working to endow machine with lifelong learning capability through better remembering while pushing the forgetting as the antagonist to overcome. Nevertheless, this idea might only see the half picture. Up until very recently, increasing researchers argue that a brain is born to forget, i.e., forgetting is a natural and active process for abstract, rich, and flexible representations. This paper presents a learning model by active forgetting mechanism with artificial neural networks. The active forgetting mechanism (AFM) is introduced to a neural network via a "plug-and-play" forgetting layer (P\&PF), consisting of groups of inhibitory neurons with Internal Regulation Strategy (IRS) to adjust the extinction rate of themselves via lateral inhibition mechanism and External Regulation Strategy (ERS) to adjust the extinction rate of excitatory neurons via inhibition mechanism. Experimental studies have shown that the P\&PF offers surprising benefits: self-adaptive structure, strong generalization, long-term learning and memory, and robustness to data and parameter perturbation. This work sheds light on the importance of forgetting in the learning process and offers new perspectives to understand the underlying mechanisms of neural networks.


title: Automated Controller Calibration by Kalman Filtering

abstract: This paper proposes a method for calibrating control parameters. Examples of such control parameters are gains of PID controllers, weights of a cost function for optimal control, filter coefficients, the sliding surface of a sliding mode controller, or weights of a neural network. Hence, the proposed method can be applied to a wide range of controllers. The method uses a Kalman filter that estimates control parameters, using data of closed-loop system operation. The control parameter calibration is driven by a training objective, which encompasses specifications on the performance of the dynamical system. The performance-driven calibration method tunes the parameters online and robustly, is computationally efficient, has low data storage requirements, and is easy to implement making it appealing for many real-time applications. Simulation results show that the method is able to learn control parameters quickly, is able to tune the parameters to compensate for disturbances, and is robust to noise. A simulation study with the high-fidelity vehicle simulator CarSim shows that the method can calibrate controllers of a complex dynamical system online, which indicates its applicability to a real-world system. We also verify the real-time feasibility on an embedded platform with automotive-grade processors by implementing our method on a dSPACE MicroAutoBox-II rapid prototyping unit.


title: The Higgs condensate as a quantum liquid: Comparison with the ATLAS full Run 2 data

abstract: Recently, we proposed to picture the Higgs condensate of the Standard Model as a quantum liquid analogous to the superfluid Helium II. In this scenario the Higgs condensate excitations resemble closely two Standard Model Higgs bosons. The lightest Higgs boson was already identified with the LHC narrow resonance at 125 GeV. Concerning the heavy Higgs boson, we found preliminary evidence in our previous phenomenological analysis in the so-called golden channel. In the present note we compared our proposal to the full Run 2 data set released recently by the ATLAS Collaboration. Even though we do not found a clear statistical evidence for our Standard Model heavy Higgs, we found that our theoretical proposal is still in accordance with the available observations.


title: The shape of a Gaussian mixture is characterized by the probability density of the distance between two samples

abstract: Let $\bf{x}$ be a random variable with density $\rho(x)$ taking values in ${\mathbb R}^d$. We are interested in finding a representation for the shape of $\rho(x)$, i.e. for the orbit $\{ \rho(g\cdot x) | g\in E(d) \}$ of $\rho$ under the Euclidean group. Let $x_1$ and $x_2$ be two random samples picked, independently, following $\rho(x)$, and let $\Delta$ be the squared Euclidean distance between $x_1$ and $x_2$. We show, if $\rho(x)$ is a mixture of Gaussians whose covariance matrix is the identity, and if the means of the Gaussians are in generic position, then the density $\rho(x)$ is reconstructible, up to a rigid motion in $E(d)$, from the density of $\bf{\Delta}$. In other words, any two such Gaussian mixtures $\rho(x)$ and $\bar{\rho} (x)$ with the same distribution of distances are guaranteed to be related by a rigid motion $g\in E(d)$ as $\rho(x)=\bar{\rho} (g\cdot x)$. We also show that a similar result holds when the distance is defined by a symmetric bilinear form.


title: Development of Microcontroller Based Smart Grid Framework

abstract: Smart grid technology has been recognized as a promising solution for the next-generation energy efficient electric power systems to mitigate energy crisis. Smart grid provides highly consistent and reliable services, efficient energy management practices, smart metering integration, automation and precision decision support systems and self-healing facilities. The smart power grid introduces a sensing, monitoring, and control system that provides end users with the cost of energy at any moment through real-time pricing. The classical power system operation has no control over the loads except in an emergency situation when a portion of the loads can be dropped as needed to balance the power grid generation with its loads. Furthermore, the smart power grid supplies the platform for the use of renewable energy sources that acts as a safeguard against a complete blackout of the interconnected power grid. In this work, all the concepts involved in smart grid mechanism is implemented with PIC18F452 microcontroller and other supplementary components. A solar module with storage capacity is connected to the proposed system for minimizing grid energy consumption and plays a primary energy source for maximum utilization of green energy. This intelligent device may inherently reduce the consumption of electrical energy during peak hours and allow consumers to sell back electricity into grid using bi-directional technique. Barriers, challenges, benefits and future trends regarding the technologies and the role of users have also been discussed in this paper.


title: Charge resolution in the isochronous mass spectrometry and the mass of $^{51}$Co

abstract: Isochronous mass spectrometry (IMS) of heavyion storage rings is a powerful tool for the mass measurements of short-lived nuclei. In IMS experiments, masses are determined through precision measurements of the revolution times of the ions stored in the ring. However, the revolution times cannot be resolved for particles with nearly the same mass-to-charge (m/q) ratios. To overcome this limitation and to extract the accurate revolution times for such pairs of ion species with very close m/q ratios, in our early work on particle identification, we analyzed the amplitudes of the timing signals from the detector based on the emission of secondary electrons. Here, the previous data analysis method is further improved by considering the signal amplitudes, detection efficiencies, and number of stored ions in the ring. A sensitive Z-dependent parameter is introduced in the data analysis, leading to a better resolution of $^{34}$Ar$^{18+}$ and $^{51}$Co$^{27+}$ with A/Z=17/9. The mean revolution times of $^{34}$Ar$^{18+}$ and $^{51}$Co$^{27+}$ are deduced, although their time difference is merely 1.8 ps. The uncorrected, overlapped peak of these ions has a full width at half maximum of 7.7 ps. The mass excess of $^{51}$Co was determined to be -27332(41) keV, which is in agreement with the previous value of -27342(48) keV.


title: Examples of chromatic redshift in algebraic $K$-theory

abstract: We give a simple argument to detect chromatic redshift in the algebraic $K$-theory of $\mathbb{E}_{\infty}$-ring spectra and give two applications: we show for $n\geq 1$ that $K(E_n)$, the algebraic $K$-theory of any height $n$ Lubin-Tate theory, has nontrivial $T(n+1)$-localization, and that $K^{(n)}(k)$, the $n$-fold iterated algebraic $K$-theory of a field $k$ of characteristic different from $p$, has nontrivial $T(n)$-localization.


title: Abundance of zirconium in the globular cluster 47 Tuc: a possible Zr-Na correlation?

abstract: We determined abundances of Na and Zr in the atmospheres of 237 RGB stars in Galactic globular cluster (GGC) 47 Tuc (NGC 104), with a primary objective of investigating possible differences between the abundances of Zr in the first generation (1P) and second generation (2P) stars. For the abundance analysis, we used archival UVES/GIRAFFE spectra obtained during three different observing programmes. Abundances were determined from two Na I and three Zr I lines, using 1D hydrostatic ATLAS model atmospheres. The target stars for the abundance analysis were limited to those with 4200 $\leq$ $T_{\rm eff}$ $\leq$ 4800 K. This is the largest sample of GGC stars in which Na and Zr abundances have been studied so far. While our mean [Na/Fe] and [Zr/Fe] ratios agree well with those determined in the earlier studies, we find a weak but statistically significant correlation in the ${\rm [Zr/Fe]} - {\rm [Na/Fe]}$ plane. A comparison of the mean [Zr/Fe] abundance ratios in the 1P and 2P stars suggests a small but statistically significant Zr over-abundance in the 2P stars, $\Delta {\rm [Zr/Fe]}_{\rm 2P-1P}\approx+0.06$ dex. Also, our analysis shows that stars enriched in both Zr and Na are more centrally concentrated. However, we find no correlation between their distance from the cluster centre and their full spatial velocity. While there may be some influence of CN line blends on the determined Zr abundances, it seems very unlikely that the detected Zr-Na correlation, for the slightly higher Zr abundances in the 2P stars, would be caused by the CN blending alone. The obtained results indicate that, in 47 Tuc, some amount of Zr should have been synthesised by the same polluters that enriched 2P stars with the light elements. Unfortunately, our data alone do not allow us to distinguish which of the two scenarios, or whether or not a combination of both, could have operated in this GGC.


abstract: In this paper we present in detail Newton's method and its modification, based on the Continuous analog of Newton's method for computing periodic orbits of the planar three-body problem. The linear system at each step of the method is formed by solving a system of ODEs with the multiple precision Taylor series method. We consider zero angular momentum symmetric initial configuration with parallel velocities, bodies with equal masses and relatively short periods. Taking candidates for the correction method with greater return proximity as usual and correcting with the modified Newton's method, allows us to find some new topological families that are not included in the database in [SCIENCE CHINA Physics, Mechanics & Astronomy 60.12 (2017)]


title: WEM: A Node Importance Algorithm in Weighted Networks

abstract: In view of the node importance in weighted networks, weighted expected method (WEM), was proposed in this paper, which take an advantages of uncertain graph algorithm. First, a weight processing method is proposed based on the relationship between the weight of edges and the intensity of contact between nodes, and the calculation method of the contribution of the weight of edges to the node importance is defined, even if there are two converse situations in the reality. Then, because of the use of dynamic programming method, which reduces the complexity of computational time to a linear level, WEM will be more suitable for the calculation in large weighted networks. Owning to its features of calculating, WEM can, to the greatest extent, ensure a precise order of node essential scores for each node. The node connectivity experiment and SIR simulation experiment show that the WEM has higher accuracy and relatively low time complexity.


title: A linear adjustment based approach to posterior drift in transfer learning

abstract: We present a new model and methods for the posterior drift problem where the regression function in the target domain is modeled as a linear adjustment (on an appropriate scale) of that in the source domain, an idea that inherits the simplicity and the usefulness of generalized linear models and accelerated failure time models from the classical statistics literature, and study the theoretical properties of our proposed estimator in the binary classification problem. Our approach is shown to be flexible and applicable in a variety of statistical settings, and can be adopted to transfer learning problems in various domains including epidemiology, genetics and biomedicine. As a concrete application, we illustrate the power of our approach through mortality prediction for British Asians by borrowing strength from similar data from the larger pool of British Caucasians, using the UK Biobank data.


title: The trans/cis ratio of formic, HCOOH, and thioformic, HC(O)SH, acids in the Interstellar Medium

abstract: We studied theoretically the cis-trans isomerization reactions of two astrophysically relevant acids, formic acid (HCOOH) and thioformic acid (HC(O)SH), where the latter has recently been discovered in space. We also searched for these molecules towards the hot core G31.41+0.31 to compare their abundances with the expected theoretical isomerization results. Our results demonstrate that these isomerizations are viable in the conditions of the ISM due to ground-state tunneling effects, which allow the system to reach the thermodynamic equilibrium at moderately low temperatures. At very low temperatures (Tkin 10 K), the reaction rate constants for the cis to trans isomerizations are very small, which implies that the cis isomers should not be formed under cold ISM conditions. This is in disagreement with observations of the cis/trans isomers of HCOOH in cold cores where the cis isomer is found to be 5-6% the trans isomer. At high temperatures (150-300 K), our theoretical data not only match the observed behaviour of the trans/cis abundance ratios for HCOOH (the cis form is undetected), but they support our tentative detection of the trans and, for the first time in the insterstellar medium, of the cis isomer of HC(O)SH towards the hot molecular core G31.41+0.31 (with a measured trans/cis abundance ratio of 3.7). While the trans/cis ratio for HC(O)SH in the ISM depends on the relative stability of the isomers, the trans/cis ratio for HCOOH cannot be explained by isomerization, and it is determined by other competitive chemical processes


title: Depth mapping of metallic nanowire polymer nanocomposites by scanning dielectric microscopy

abstract: Polymer nanocomposite materials based on metallic nanowires are widely investigated as transparent and flexible electrodes or as stretchable conductors and dielectrics for biosensing. Here we show that Scanning Dielectric Microscopy (SDM) can map the depth distribution of metallic nanowires within the nanocomposites in a non-destructive way. This is achieved by a quantitative analysis of sub-surface electrostatic force microscopy measurements with finite-element numerical calculations. As an application we determined the three-dimensional spatial distribution of around 50 nm diameter silver nanowires in 100 - 250 nm thick gelatin films. The characterization is done both under dry ambient conditions, where gelatin shows a relatively low dielectric constant, epsilon around 5, and under humid ambient conditions, where its dielectric constant increases up to epsilon around 14. The present results show that SDM can be a valuable non-destructive subsurface characterization technique for nanowire-based nanocomposite materials, which can contribute to the optimization of these materials for applications in fields such as wearable electronics, solar cell technologies or printable electronics.


title: Denoised Internal Models: a Brain-Inspired Autoencoder against Adversarial Attacks

abstract: Despite its great success, deep learning severely suffers from robustness; that is, deep neural networks are very vulnerable to adversarial attacks, even the simplest ones. Inspired by recent advances in brain science, we propose the Denoised Internal Models (DIM), a novel generative autoencoder-based model to tackle this challenge. Simulating the pipeline in the human brain for visual signal processing, DIM adopts a two-stage approach. In the first stage, DIM uses a denoiser to reduce the noise and the dimensions of inputs, reflecting the information pre-processing in the thalamus. Inspired from the sparse coding of memory-related traces in the primary visual cortex, the second stage produces a set of internal models, one for each category. We evaluate DIM over 42 adversarial attacks, showing that DIM effectively defenses against all the attacks and outperforms the SOTA on the overall robustness.


title: A hybrid optimization approach for employee rostering: Use cases at Swissgrid and lessons learned

abstract: Employee rostering is a process of assigning available employees to open shifts. Automating it has ubiquitous practical benefits for nearly all industries, such as reducing manual workload and producing flexible, high-quality schedules. In this work, we develop a hybrid methodology which combines Mixed-Integer Linear Programming (MILP) with scatter search, an evolutionary algorithm, having as use case the optimization of employee rostering for Swissgrid, where it is currently a largely manual process. The hybrid methodology guarantees compliance with labor laws, maximizes employees' preference satisfaction, and distributes workload as uniformly as possible among them. Above all, it is shown to be a robust and efficient algorithm, consistently solving realistic problems of varying complexity to near-optimality an order of magnitude faster than an MILP-alone approach using a state-of-the-art commercial solver. Several practical extensions and use cases are presented, which are incorporated into a software tool currently being in pilot use at Swissgrid.


title: Jointly Dynamic Topic Model for Recognition of Lead-lag Relationship in Two Text Corpora

abstract: Topic evolution modeling has received significant attentions in recent decades. Although various topic evolution models have been proposed, most studies focus on the single document corpus. However in practice, we can easily access data from multiple sources and also observe relationships between them. Then it is of great interest to recognize the relationship between multiple text corpora and further utilize this relationship to improve topic modeling. In this work, we focus on a special type of relationship between two text corpora, which we define as the "lead-lag relationship". This relationship characterizes the phenomenon that one text corpus would influence the topics to be discussed in the other text corpus in the future. To discover the lead-lag relationship, we propose a jointly dynamic topic model and also develop an embedding extension to address the modeling problem of large-scale text corpus. With the recognized lead-lag relationship, the similarities of the two text corpora can be figured out and the quality of topic learning in both corpora can be improved. We numerically investigate the performance of the jointly dynamic topic modeling approach using synthetic data. Finally, we apply the proposed model on two text corpora consisting of statistical papers and the graduation theses. Results show the proposed model can well recognize the lead-lag relationship between the two corpora, and the specific and shared topic patterns in the two corpora are also discovered.


title: Calibrated Diffusion Tensor Estimation

abstract: It is highly desirable to know how uncertain a model's predictions are, especially for models that are complex and hard to understand as in deep learning. Although there has been a growing interest in using deep learning methods in diffusion-weighted MRI, prior works have not addressed the issue of model uncertainty. Here, we propose a deep learning method to estimate the diffusion tensor and compute the estimation uncertainty. Data-dependent uncertainty is computed directly by the network and learned via loss attenuation. Model uncertainty is computed using Monte Carlo dropout. We also propose a new method for evaluating the quality of predicted uncertainties. We compare the new method with the standard least-squares tensor estimation and bootstrap-based uncertainty computation techniques. Our experiments show that when the number of measurements is small the deep learning method is more accurate and its uncertainty predictions are better calibrated than the standard methods. We show that the estimation uncertainties computed by the new method can highlight the model's biases, detect domain shift, and reflect the strength of noise in the measurements. Our study shows the importance and practical value of modeling prediction uncertainties in deep learning-based diffusion MRI analysis.


title: Dynamical number of base-points of non base-wandering Jonqui\`eres twists

abstract: We give some properties of the dynamical number of base-points of birational self-maps of the complex projective plane. In particular we give a formula to determine the dynamical number of base-points of non base-wandering Jonqui\`eres twists.


title: $M$-Ellipticity of Fredholm Pseudo-Differential Operators on $L^p(\mathbb{R}^n)$ and G\r{a}rding's Inequality

abstract: In this paper, we study the $M$-ellipticity of Fredholm pseudo-differential operators associated with weighted symbols on $L^p(\mathbb{R}^n)$, $1 < p < \infty$. We also prove the G\r{a}rding's inequality for $M$-elliptic operators and the hybrid class of pseudo-differential operators, namely SG$M$-elliptic operators.


title: The SEDIGISM survey: a search for molecular outflows

abstract: Context. The formation processes of massive stars are still unclear but a picture is emerging involving accretion disks and molecular outflows in what appears to be a scaled-up version of low-mass star formation. A census of outflow activity towards massive star-forming clumps in various evolutionary stages has the potential to shed light on massive star formation (MSF). Aims. We conducted an outflow survey towards ATLASGAL clumps using SEDIGISM data and aimed to obtain a large sample of clumps exhibiting outflows in different evolutionary stages. Methods. We identify the high-velocity wings of the 13CO lines toward ATLASGAL clumps by (1) extracting the simultaneously observed 13CO and C18O spectra from SEDIGISM, and (2) subtracting Gaussian fits to the scaled C18O from the 13CO, line after considering opacity broadening. Results. We have detected high-velocity gas towards 1192 clumps out of a total sample of 2052, giving an overall detection rate of 58%. Outflow activity has been detected in the earliest quiescent clumps (i.e., 70$\mu$m weak), to the most evolved HII region stages i.e., 8$\mu$m bright with MSF tracers. The detection rate increases as a function of evolution (quiescent=51%, protostellar=47%, YSO=57%, UCHII regions=76%). Conclusion. Our sample is the largest outflow sample identified so far. The high-detection rate from this large sample is consistent with previous results and supports that outflows are a ubiquitous feature of MSF. The lower detection rate in early evolutionary stages may be due to that outflows in the early stages are weak and difficult to detect. We obtain a statistically significant sample of outflow clumps for every evolutionary stage, especially for outflow clumps in the 70$\mu$m dark stage. This suggests that the absence of 70$\mu$m emission is not a robust indicator of starless/pre-stellar cores.


title: Shedding vertices and Ass-decomposable monomial ideals

abstract: The shedding vertices of simplicial complexes are studied from an algebraic point of view. Based on this perspective, we introduce the class of ass-decomposable monomial ideals which is a generalization of the class of Stanley-Reisner ideals of vertex decomposable simplicial complexes. The recursive structure of ass-decomposable monomial ideals allows us to find a simple formula for the depth, and in squarefree case, an upper bound for the regularity of such ideals.


title: Explicit complex-valued solutions of the 2D eikonal equation

abstract: We present a method to obtain explicit solutions of the complex eikonal equation in the plane. This equation arises in the approximation of Helmholtz equation by the WKBJ or EWT methods. We obtain the complex-valued solutions (called eikonals) as parameterizations in a complex variable. We consider both the cases of constant and non-constant index of refraction. In both cases, the relevant parameterizations depend on some holomorphic function. In the case of non-constant index of refraction, the parametrization also depends on some extra exponential complex-valued function and on a quasi-conformal homeomorphism. This is due to the use of the theory of pseudo-analytic functions and the related similarity principle. The parameterizations give information about the formation of caustics and the light and shadow regions for the relevant eikonals.


title: Decorrelated Variable Importance

abstract: Because of the widespread use of black box prediction methods such as random forests and neural nets, there is renewed interest in developing methods for quantifying variable importance as part of the broader goal of interpretable prediction. A popular approach is to define a variable importance parameter - known as LOCO (Leave Out COvariates) - based on dropping covariates from a regression model. This is essentially a nonparametric version of R-squared. This parameter is very general and can be estimated nonparametrically, but it can be hard to interpret because it is affected by correlation between covariates. We propose a method for mitigating the effect of correlation by defining a modified version of LOCO. This new parameter is difficult to estimate nonparametrically, but we show how to estimate it using semiparametric models.


title: XnODR and XnIDR: Two Accurate and Fast Fully Connected Layers For Convolutional Neural Networks

abstract: Capsule Network is powerful at defining the positional relationship between features in deep neural networks for visual recognition tasks, but it is computationally expensive and not suitable for running on mobile devices. The bottleneck is in the computational complexity of the Dynamic Routing mechanism used between the capsules. On the other hand, XNOR-Net is fast and computationally efficient, though it suffers from low accuracy due to information loss in the binarization process. To address the computational burdens of the Dynamic Routing mechanism, this paper proposes new Fully Connected (FC) layers by xnorizing the linear projection outside or inside the Dynamic Routing within the CapsFC layer. Specifically, our proposed FC layers have two versions, XnODR (Xnorize the Linear Projection Outside Dynamic Routing) and XnIDR (Xnorize the Linear Projection Inside Dynamic Routing). To test the generalization of both XnODR and XnIDR, we insert them into two different networks, MobileNetV2 and ResNet-50. Our experiments on three datasets, MNIST, CIFAR-10, and MultiMNIST validate their effectiveness. The results demonstrate that both XnODR and XnIDR help networks to have high accuracy with lower FLOPs and fewer parameters (e.g., 96.14% correctness with 2.99M parameters and 311.74M FLOPs on CIFAR-10).


title: Excited-state spin-resonance spectroscopy of V$_\text{B}^-$ defect centers in hexagonal boron nitride

abstract: The recently discovered spin-active boron vacancy (V$_\text{B}^-$) defect center in hexagonal boron nitride (hBN) has high contrast optically-detected magnetic resonance (ODMR) at room-temperature, with a spin-triplet ground-state that shows promise as a quantum sensor. Here we report temperature-dependent ODMR spectroscopy to probe spin within the orbital excited-state. Our experiments determine the excited-state spin Hamiltonian, including a room-temperature zero-field splitting of 2.1 GHz and a g-factor similar to that of the ground-state. We confirm that the resonance is associated with spin rotation in the excited-state using pulsed ODMR measurements, and we observe Zeeman-mediated level anti-crossings in both the orbital ground- and excited-state. Our observation of a single set of excited-state spin-triplet resonance from 10 to 300 K is consistent with an orbital-singlet, which has consequences for understanding the symmetry of this defect. Additionally, the excited-state ODMR has strong temperature dependence of both contrast and transverse anisotropy splitting, enabling promising avenues for quantum sensing.


title: Octave-spanning microcomb generation in 4H-silicon-carbide-on-insulator photonics platform

abstract: Silicon carbide has recently emerged as a promising photonics material due to its unique properties, including possessing strong second- and third-order nonlinear coefficients and hosting various color centers that can be utilized for a wealth of quantum applications. Here, we report the design and demonstration of octave-spanning microcombs in a 4H-silicon-carbide-on-insulator platform for the first time. Such broadband operation is enabled by optimized nanofabrication achieving >1 million intrinsic quality factors in a 36-$\mu$m-radius microring resonator, and careful dispersion engineering by investigating the dispersion properties of different mode families. For example, for the fundamental transverse-electric mode whose dispersion can be tailored by simply varying the microring waveguide width, we realized a microcomb spectrum covering the wavelength range from 1100 nm to 2400 nm with an on-chip power near 120 mW. While the observed comb state is verified to be chaotic and not soliton, attaining such a large bandwidth is a crucial step towards realizing $f$-2$f$ self-referencing. In addition, we have also observed coherent soliton-crystal state for the fundamental transverse-magnetic mode, which exhibits stronger dispersion than the fundamental transverse-electric mode and hence a narrower bandwidth.


title: Accretionary Learning with Deep Neural Networks

abstract: One of the fundamental limitations of Deep Neural Networks (DNN) is its inability to acquire and accumulate new cognitive capabilities. When some new data appears, such as new object classes that are not in the prescribed set of objects being recognized, a conventional DNN would not be able to recognize them due to the fundamental formulation that it takes. The current solution is typically to re-design and re-learn the entire network, perhaps with a new configuration, from a newly expanded dataset to accommodate new knowledge. This process is quite different from that of a human learner. In this paper, we propose a new learning method named Accretionary Learning (AL) to emulate human learning, in that the set of objects to be recognized may not be pre-specified. The corresponding learning structure is modularized, which can dynamically expand to register and use new knowledge. During accretionary learning, the learning process does not require the system to be totally re-designed and re-trained as the set of objects grows in size. The proposed DNN structure does not forget previous knowledge when learning to recognize new data classes. We show that the new structure and the design methodology lead to a system that can grow to cope with increased cognitive complexity while providing stable and superior overall performance.


title: Bilevel learning of l1-regularizers with closed-form gradients(BLORC)

abstract: We present a method for supervised learning of sparsity-promoting regularizers, a key ingredient in many modern signal reconstruction problems. The parameters of the regularizer are learned to minimize the mean squared error of reconstruction on a training set of ground truth signal and measurement pairs. Training involves solving a challenging bilevel optimization problem with a nonsmooth lower-level objective. We derive an expression for the gradient of the training loss using the implicit closed-form solution of the lower-level variational problem given by its dual problem, and provide an accompanying gradient descent algorithm (dubbed BLORC) to minimize the loss. Our experiments on simple natural images and for denoising 1D signals show that the proposed method can learn meaningful operators and the analytical gradients calculated are faster than standard automatic differentiation methods. While the approach we present is applied to denoising, we believe that it can be adapted to a wide-variety of inverse problems with linear measurement models, thus giving it applicability in a wide range of scenarios.


title: Coagulation dynamics under environmental noise: scaling limit to SPDE

abstract: We prove that a system of locally interacting diffusions carrying discrete masses, subject to an environmental noise and undergoing mass coagulation, converges to a system of Stochastic Partial Differential Equations (SPDEs) with Smoluchowski-type nonlinearity. Existence, uniqueness and regularity of the SPDEs are also proven.


title: The momentum constraint equation in Parameterised Post-Newtonian Cosmology

abstract: We derive a theory-independent version of the momentum constraint equation for use in cosmology, as a part of the Parameterised Post-Newtonian Cosmology (PPNC) framework. Our equations are constructed by adapting the corresponding quantities from formalisms devised for testing and constraining gravity in isolated astrophysical systems, thereby extending the domain of applicability of these approaches up to cosmological scales. Our parameterised equations include both scalar and divergenceless-vector gravitational potentials, and can be applied to both conservative and non-conservative theories of gravity. They can also be used to describe the gravitational fields of both non-linear structures and super-horizon perturbations. We apply the parameterised equations we propose to quintessence models of dark energy, as well as to scalar-tensor and vector-tensor theories of gravity. We find them to work well in each case. Our equations are highly compact, and are intended to be useful for constraining gravity in a theory-independent fashion in cosmology.


title: Consequences of Optimality

abstract: Rationality is often related to optimal decision making. Humans are known to be bounded rational agents. However, recent advances in computing, and other scientific and technical fields along with large amount of data have led to a feeling that this could result in extending the limits of bounded rationality in humans through augmented machine intelligence. In this paper, results from a computational model show that as more agents reach global optimality, faster with enhanced computing, etc., solving the same problem independently, this leads to accelerated "tragedy of the commons" due to quicker resource consumption. Thus, bounded rationality could be seen as blessing in disguise (providing diversity to solutions for the same problem) from sustainability standpoint.


title: Strictification of weakly stable type-theoretic structures using generic contexts

abstract: We present a new strictification method for type-theoretic structures that are only weakly stable under substitution. Given weakly stable structures over some model of type theory, we construct equivalent strictly stable structures by evaluating the weakly stable structures at generic contexts. These generic contexts are specified using the categorical notion of familial representability. This generalizes the local universes method of Lumsdaine and Warren. We show that generic contexts can also be constructed in any category with families which is freely generated by collections of types and terms, without any definitional equality. This relies on the fact that they support first-order unification. These free models can only be equipped with weak type-theoretic structures, whose computation rules are given by typal equalities. Our main result is that any model of type theory with weakly stable weak type-theoretic structures admits an equivalent model with strictly stable weak type-theoretic structures.


title: Atomic force microscopy calibration of standing surface acoustic wave amplitudes

abstract: Atomic force microscopy is an important tool for characterizing surface acoustic waves, in particular for high frequencies, where the wavelength is too short to be resolved by laser interferometry. A caveat is, that the cantilever deflection is not equal to the amplitude of the surface acoustic wave. We show, that the energy transfer from the moving surface to the cantilever instead leads to a deflection exceeding the surface modulation. We present a method for an accurate calibration of surface acoustic wave amplitudes based on comparing force-curve measurements with the equation of motion of a driven cantilever. We demonstrate our method for a standing surface acoustic wave on a GaAs crystal confined in a focusing cavity with a resonance frequency near 3 GHz.


title: The Impact of Main Content Extraction on Near-Duplicate Detection

abstract: Commercial web search engines employ near-duplicate detection to ensure that users see each relevant result only once, albeit the underlying web crawls typically include (near-)duplicates of many web pages. We revisit the risks and potential of near-duplicates with an information retrieval focus, motivating that current efforts toward an open and independent European web search infrastructure should maintain metadata on duplicate and near-duplicate documents in its index. Near-duplicate detection implemented in an open web search infrastructure should provide a suitable similarity threshold, a difficult choice since identical pages may substantially differ in parts of a page that are irrelevant to searchers (templates, advertisements, etc.). We study this problem by comparing the similarity of pages for five (main) content extraction methods in two studies on the ClueWeb crawls. We find that the full content of pages serves precision-oriented near-duplicate-detection, while main content extraction is more recall-oriented.


title: Hidden surface photovoltages revealed by pump probe KPFM

abstract: In this work, we use pump-probe Kelvin Probe Force Microscopy (pp-KPFM) to investigate light-induced surface potential dynamics in alumina-passivated crystalline silicon, and in an organic bulk heterojunction thin film based on the PTB7-PC71BM tandem. In both cases, we demonstrate that it is possible to identify and separate the contributions of two different kinds of photo-induced charge distributions that give rise to potential shifts with opposite polarities, each characterized by different dynamics. The data acquired on the passivated crystalline silicon are shown to be fully consistent with the band-bending at the silicon-oxide interface, and with electron trapping processes in acceptors states and in the passivation layer. The full sequence of events that follow the electron-hole generation can be observed on the pp-KPFM curves. Two dimensional dynamical maps of the organic blend photo-response are obtained by recording the pump-probe KPFM curves in data cube mode, and by implementing a specific batch processing protocol. Sample areas displaying an extra positive SPV component characterized by decay time-constants of a few tens of microseconds are thus revealed, and are tentatively attributed to specific interfaces formed between a polymer-enriched skin layer and recessed acceptor aggregates. Decay time constant images of the negative SPV component confirm that the acceptor clusters act as electron-trapping centres. Whatever the photovoltaic technology, our results exemplify how some of the SPV components may remain completely hidden to conventional SPV imaging by KPFM, with possible consequences in terms of photo-response misinterpretation. This work furthermore highlight the need of implementing time-resolved techniques that can provide a quantitative measurement of the time-resolved potential.


title: CpT: Convolutional Point Transformer for 3D Point Cloud Processing

abstract: We present CpT: Convolutional point Transformer - a novel deep learning architecture for dealing with the unstructured nature of 3D point cloud data. CpT is an improvement over existing attention-based Convolutions Neural Networks as well as previous 3D point cloud processing transformers. It achieves this feat due to its effectiveness in creating a novel and robust attention-based point set embedding through a convolutional projection layer crafted for processing dynamically local point set neighbourhoods. The resultant point set embedding is robust to the permutations of the input points. Our novel CpT block builds over local neighbourhoods of points obtained via a dynamic graph computation at each layer of the networks' structure. It is fully differentiable and can be stacked just like convolutional layers to learn global properties of the points. We evaluate our model on standard benchmark datasets such as ModelNet40, ShapeNet Part Segmentation, and the S3DIS 3D indoor scene semantic segmentation dataset to show that our model can serve as an effective backbone for various point cloud processing tasks when compared to the existing state-of-the-art approaches.


title: Qimaera: Type-safe (Variational) Quantum Programming in Idris

abstract: Variational Quantum Algorithms are hybrid classical-quantum algorithms where classical and quantum computation work in tandem to solve computational problems. These algorithms create interesting challenges for the design of suitable programming languages. In this paper we introduce Qimaera, which is a set of libraries for the Idris 2 programming language that enable the programmer to implement (variational) quantum algorithms where the full power of the elegant Idris language works in synchrony with quantum programming primitives that we introduce. The two key ingredients of Idris that make this possible are (1) dependent types which allow us to implement unitary (i.e. reversible and controllable) quantum operations; and (2) linearity which allows us to enforce fine-grained control over the execution of quantum operations that ensures compliance with the laws of quantum mechanics. We demonstrate that Qimaera is suitable for variational quantum programming by providing implementations of the two most prominent variational quantum algorithms -- QAOA and VQE. To the best of our knowledge, this is the first implementation of these algorithms that has been achieved in a type-safe framework.


title: Coexistence of solid and liquid phases in shear jammed colloidal drops

abstract: Complex fluids exhibit a variety of exotic flow behaviours under high stresses, such as shear thickening and shear jamming. Rheology is a powerful tool to characterise these flow behaviours over the bulk of the fluid. However, this technique is limited in its ability to probe fluid behaviour in a spatially resolved way. Here, we utilise high-speed imaging and the free-surface geometry in drop impact to study the flow of colloidal suspensions. We report, for the first time, observations of coexisting solid and liquid phases due to shear jamming caused by impact. In addition to observing Newtonian-like spreading and bulk shear jamming, we observe the transition between these regimes in the form of localised patches of jammed suspension in the spreading drop. We capture shear jamming as it occurs via a solidification front traveling from the impact point, and show that the speed of this front is set by how far the impact conditions are beyond the shear thickening transition.


title: The bicategory of groupoid correspondences

abstract: We define a bicategory with \'etale, locally compact groupoids as objects and suitable correspondences, that is, spaces with two commuting actions as arrows; the 2-arrows are injective, equivariant continuous maps. We prove that the usual recipe for composition makes this a bicategory, carefully treating also non-Hausdorff groupoids and correspondences. We extend the groupoid C*-algebra construction to a homomorphism from this bicategory to that of C*-algebra correspondences. We describe the C*-algebras of self-similar groups, higher-rank graphs, and discrete Conduch\'e fibrations in our setup.


title: Quantum synchro-curvature masers and their application to neutron stars

abstract: We explore the possibility of synchro-curvature maser in the magnetosphere of neutron stars (NSs). Unlike previous studies, we employ relativistic quantum mechanics, solving the Dirac equation for an electron in helical magnetic fields and calculating the radiative transition rates perturbatively. Assuming that the curvature of magnetic-field lines is much larger than the Larmor radius, we utilize adiabatic spinor rotations to obtain the wave functions of an electron. We classify the electron states further either by the spin operator projected on the magnetic field or by the helicity operator. We then evaluate numerically the true absorption rates accounting for the induced emission for some parameter values typical to the outer gaps of different types of NSs. We show that maser is indeed possible for a range of parameters. We will also present the dependence on those parameters systematically. We finally give a crude estimate of the amplification factor in the outer gap of NSs, which seems to favor millisecond pulsars as the host of maser emissions.


title: A Software Tool for Evaluating Unmanned Autonomous Systems

abstract: The North Carolina Agriculture and Technical State University (NC A&T) in collaboration with Georgia Tech Research Institute (GTRI) has developed methodologies for creating simulation-based technology tools that are capable of inferring the perceptions and behavioral states of autonomous systems. These methodologies have the potential to provide the Test and Evaluation (T&E) community at the Department of Defense (DoD) with a greater insight into the internal processes of these systems. The methodologies use only external observations and do not require complete knowledge of the internal processing of and/or any modifications to the system under test. This paper presents an example of one such simulation-based technology tool, named as the Data-Driven Intelligent Prediction Tool (DIPT). DIPT was developed for testing a multi-platform Unmanned Aerial Vehicle (UAV) system capable of conducting collaborative search missions. DIPT's Graphical User Interface (GUI) enables the testers to view the aircraft's current operating state, predicts its current target-detection status, and provides reasoning for exhibiting a particular behavior along with an explanation of assigning a particular task to it.


title: Joint Optimization for Secure Ambient Backscatter Communication in NOMA-enabled IoT Networks

abstract: Non-orthogonal multiple access (NOMA) has emerged as a novel air interface technology for massive connectivity in sixth-generation (6G) era. The recent integration of NOMA in backscatter communication (BC) has triggered significant research interest due to its applications in low-powered Internet of Things (IoT) networks. However, the link security aspect of these networks has not been well investigated. This article provides a new optimization framework for improving the physical layer security of the NOMA ambient BC system. Our system model takes into account the simultaneous operation of NOMA IoT users and the backscatter node (BN) in the presence of multiple eavesdroppers (EDs). The EDs in the surrounding area can overhear the communication of base station (BS) and BN due to the wireless broadcast transmission. Thus, the main objective is to enhance the link security by optimizing the BN reflection coefficient and BS transmit power. To gauge the performance of the proposed scheme, we also present the suboptimal NOMA and conventional orthogonal multiple access as benchmark schemes. Monte Carlo simulation results demonstrate the superiority of the NOMA BC scheme over the pure NOMA scheme without BC and conventional orthogonal multiple access scheme in terms of system secrecy rate.


title: The Central Valuations Monad

abstract: We give a commutative valuations monad Z on the category DCPO of dcpo's and Scott-continuous functions. Compared to the commutative valuations monads given in [Jia et al., 2021], our new monad Z is larger and it contains all push-forward images of valuations on the unit interval [0,1] along lower semi-continuous maps. We believe that this new monad will be useful in giving domain-theoretic denotational semantics for statistical programming languages with continuous probabilistic choice.


title: Dataset of Solution-based Inorganic Materials Synthesis Recipes Extracted from the Scientific Literature

abstract: The development of a materials synthesis route is usually based on heuristics and experience. A possible new approach would be to apply data-driven approaches to learn the patterns of synthesis from past experience and use them to predict the syntheses of novel materials. However, this route is impeded by the lack of a large-scale database of synthesis formulations. In this work, we applied advanced machine learning and natural language processing techniques to construct a dataset of 35,675 solution-based synthesis "recipes" extracted from the scientific literature. Each recipe contains essential synthesis information including the precursors and target materials, their quantities, and the synthesis actions and corresponding attributes. Every recipe is also augmented with the reaction formula. Through this work, we are making freely available the first large dataset of solution-based inorganic materials synthesis recipes.


title: The number of real zeros of elliptic polynomials

abstract: Let $N_n(a, b)$ denote the number of real zeros of Gaussian elliptic polynomials of degree $n$ on the interval $(a, b)$, where $a$ and $b$ may vary with $n$. We obtain a precise formula for the variance of $N_n(a, b)$ and utilize this expression to derive an asymptotic expansion for large values of $n$. Furthermore, we provide sharp estimates for the cumulants and central moments of $N_n(a, b)$. These estimates are instrumental in establishing sufficient conditions on the interval $(a, b)$ for $N_n(a, b)$ to satisfy both a central limit theorem and a strong law of large numbers. In the second part of the paper, we extend our analysis to nondegenerate Gaussian analytic functions, including well-known examples such as the Gaussian Weyl series and Weyl polynomials.


title: Domain Page-Table Isolation

abstract: Modern applications often consist of different security domains that require isolation from each other. While several solutions exist, most of them rely on specialized hardware, hardware extensions, or require less-efficient software instrumentation of the application. In this paper, we propose Domain Page-Table Isolation (DPTI), a novel mechanism for hardware-enforced security domains that can be readily used on commodity off-the-shelf CPUs. DPTI uses two novel techniques for dynamic, time-limited changes to the memory isolation at security-critical points, called memory freezing and stashing. We demonstrate the versatility and efficacy of DPTI in two scenarios: First, DPTI freezes or stashes memory to support faster and more fine-grained syscall filtering than state-of-the-art seccomp-bpf. With the provided memory safety guarantees, DPTI can even securely support deep argument filtering, such as string comparisons. Second, DPTI freezes or stashes memory to efficiently confine potentially untrusted SGX enclaves, outperforming existing solutions by 14.6%-22% while providing the same security guarantees. Our results show that DPTI is a viable mechanism to isolate domains within applications using only existing mechanisms available on modern CPUs, without relying on special hardware instructions or extensions


title: Reconstruction in the Horndeski theory within the scope of the Bianchi I cosmology

abstract: In the previous article Eur. Phys. J. Plus 136, 590 (2021) (arXiv: 2110.15396) we have proposed a reconstruction method for the kinetic gravity braiding theory in the framework of the flat Friedman-Robertson-Walker spacetime. Here we develop this method in the Bianchi I spacetime model for a subclass of the Horndeski theory: $G_5 \sim \phi $, $G_2(X)\neq0$, $G_3(X)\neq0$. The Hubble parameter $H(t)$ and the canonical kinetic term $X(t)$ are set a priori. The choice of the function $X(t)$ determines the anisotropic properties of the Universe. This makes it possible to provide believable anisotropy. The presented method allows for a realistic model of the Universe to simply reconstruct some scalar field theory. Reconstruction example is given for anisotropic model of a post-inflationary transition to the radiation-dominated phase. The model is investigated for the absence ghosts and Laplacian instabilities.


title: Switching dynamics of femtosecond solitons in parity-time-symmetric coupled optical waveguides

abstract: We report a detailed study on soliton steering dynamics in a parity-time-symmetric directional coupler in the femtosecond domain, which requires incorporation of higher-order perturbative effects such as third-order and fourth-order dispersions, self-steepening, and intrapulse Raman scattering. With a high gain/loss, the combination of all these effects is found to stabilize the soliton pulse evolution in the coupler from the chaotic behavior of unperturbed evolution. This work demonstrates that efficient soliton steering can be achieved at very low critical power and a relatively higher gain/loss even in the femtosecond regime.


title: Atomic Size Dark Matter Pearls, Electron Signal

abstract: We explain both the observation of dark matter by the seasonal variation of the DAMA-LIBRA data and the observation of ``electron recoil'' events at Xenon1T by the SAME dark matter model. This DM is bubbles of a new type of vacuum containing ordinary atomic matter under high pressure ensured by the surface tension of the domain wall. Surrounding it a cloud of electrons almost of atomic size. Also we explain the self interactions of dark matter suggested by astronomical studies of dwarf galaxies etc. Interaction in the shielding slows the dark matter down to a low terminal velocity. Nuclei in the underground detectors are thus not detected. Further we explain the ``mysterious'' X-ray line of 3.5 keV from our dark matter particles colliding with each other so that the surfaces/skins unite. Even the 3.5 keV X-ray radiation from the Tycho supernova remnant is explained as our pearls hitting cosmic rays in the remnant. DAMA-LIBRA and Xenon1T experiments see supposedly our dark matter pearls excited during their stopping in the shielding or the air. The most remarkable support for our type of model is that both these underground experiments see events with about 3.5 keV energy, just the energy of the X-ray line. We get a good numerical understanding of the fitted cross section over mass ratio of self interacting dark matter observed in the study of dwarf galaxies. Also the total energy of the dark matter pearls stopped in the shield is reasonably matching order of magnitudewise with the absolute observation rates of DAMA-LIBRA and Xenon1T, although the their ratio requires further development. Accepting that the different phases of the vacuum could be realized inside the Standard Model, our whole scheme also could. No new physics is needed for dark matter!


title: Bohr radius for Banach spaces on simply connected domains

abstract: Let $H^{\infty}(\Omega,X)$ be the space of bounded analytic functions $f(z)=\sum_{n=0}^{\infty} x_{n}z^{n}$ from a proper simply connected domain $\Omega$ containing the unit disk $\mathbb{D}:=\{z\in \mathbb{C}:|z|<1\}$ into a complex Banach space $X$ with $\norm{f}_{H^{\infty}(\Omega,X)} \leq 1$. Let $\phi=\{\phi_{n}(r)\}_{n=0}^{\infty}$ with $\phi_{0}(r)\leq 1$ such that $\sum_{n=0}^{\infty} \phi_{n}(r)$ converges locally uniformly with respect to $r \in [0,1)$. For $1\leq p,q<\infty$, we denote \begin{equation*} R_{p,q,\phi}(f,\Omega,X)= \sup \left\{r \geq 0: \norm{x_{0}}^p \phi_{0}(r) + \left(\sum_{n=1}^{\infty} \norm{x_{n}}\phi_{n}(r)\right)^q \leq \phi_{0}(r)\right\} \end{equation*} and define the Bohr radius associated with $\phi$ by $$R_{p,q,\phi}(\Omega,X)=\inf \left\{R_{p,q,\phi}(f,\Omega,X): \norm{f}_{H^{\infty}(\Omega,X)} \leq 1\right\}.$$ In this article, we extensively study the Bohr radius $R_{p,q,\phi}(\Omega,X)$, when $X$ is an arbitrary Banach space and $X$ is certain Hilbert space. Furthermore, we establish the Bohr inequality for the operator-valued Ces\'{a}ro operator and Bernardi operator.


title: Solving Infinite Games in the Baire Space

abstract: Infinite games (in the form of Gale-Stewart games) are studied where a play is a sequence of natural numbers chosen by two players in alternation, the winning condition being a subset of the Baire space $\omega^\omega$. We consider such games defined by a natural kind of parity automata over the alphabet $\mathbb{N}$, called $\mathbb{N}$-MSO-automata, where transitions are specified by monadic second-order formulas over the successor structure of the natural numbers. We show that the classical B\"uchi-Landweber Theorem (for finite-state games in the Cantor space $2^\omega$) holds again for the present games: A game defined by a deterministic parity $\mathbb{N}$-MSO-automaton is determined, the winner can be computed, and an $\mathbb{N}$-MSO-transducer realizing a winning strategy for the winner can be constructed.


title: Geometry-Aware Multi-Task Learning for Binaural Audio Generation from Video

abstract: Binaural audio provides human listeners with an immersive spatial sound experience, but most existing videos lack binaural audio recordings. We propose an audio spatialization method that draws on visual information in videos to convert their monaural (single-channel) audio to binaural audio. Whereas existing approaches leverage visual features extracted directly from video frames, our approach explicitly disentangles the geometric cues present in the visual stream to guide the learning process. In particular, we develop a multi-task framework that learns geometry-aware features for binaural audio generation by accounting for the underlying room impulse response, the visual stream's coherence with the sound source(s) positions, and the consistency in geometry of the sounding objects over time. Furthermore, we introduce a new large video dataset with realistic binaural audio simulated for real-world scanned environments. On two datasets, we demonstrate the efficacy of our method, which achieves state-of-the-art results.


title: Bohr operator on opertor valued polyanalytic functions on simply connected domains

abstract: In this article, we study the Bohr operator for the operator valued subordination class $S(f)$ consisting of holomorphic functions subordinate to $f$ in the unit disk $\mathbb{D}:=\{z \in \mathbb{C}: |z|<1\}$, where $f:\mathbb{D} \rightarrow \mathcal{B}(\mathcal{H})$ is holomorphic and $\mathcal{B}(\mathcal{H})$ is the algebra of bounded linear operators on a complex Hilbert space $\mathcal{H}$. We establish several subordination results, which can be viewed as the analogues of a couple of interesting subordination results from scalar valued settings. We also obtain a von Neumann-type inequality for the class of self-analytic mappings of the unit disk $\mathbb{D}$ which fix the origin. Furthermore, we extensively study Bohr inequalities for operator valued polyanalytic functions in certain proper simply connected domains in $\mathbb{C}$. We obtain Bohr radius for the operator valued polyanalytic functions of the form $F(z)= \sum_{l=0}^{p-1} \overline{z}^l \, f_{l}(z) $, where $f_{0}$ is subordinate to an operator valued convex biholomorphic function, and operator valued starlike biholomorphic function in the unit disk $\mathbb{D}$.


title: Antiferromagnetic resonance in the cubic iridium hexahalides (NH$_4$)$_2$IrCl$_6$ and K$_2$IrCl$_6$

abstract: We report on high-field electron spin resonance studies of two iridium hexahalide compounds, (NH$_4$)$_2$IrCl$_6$ and K$_2$IrCl$_6$. In the paramagnetic state, our measurements reveal isotropic $g$-factors $g = 1.79$(1) for the Ir$^{4+}$ ions, in agreement with their cubic symmetries. Most importantly, in the magnetically ordered state, we observe two magnon modes with zero-field gaps of 11.3 and 14.2 K for (NH$_4$)$_2$IrCl$_6$ and K$_2$IrCl$_6$, respectively. Based on that and using linear spin-wave theory, we estimate the nearest-neighbor exchange couplings and anisotropic Kitaev interactions, $J_1/k_B=10.3$ K, $K/k_B=0.7$ K for (NH$_4$)$_2$IrCl$_6$, and $J_1/k_B=13.8$ K, $K/k_B=0.9$ K for K$_2$IrCl$_6$, revealing the nearest-neighbor Heisenberg coupling as the leading interaction term, with only a weak Kitaev anisotropy.


title: On Fairness and Stability in Two-Sided Matchings

abstract: There are growing concerns that algorithms, which increasingly make or influence important decisions pertaining to individuals, might produce outcomes that discriminate against protected groups. We study such fairness concerns in the context of a two-sided market, where there are two sets of agents, and each agent has preferences over the other set. The goal is producing a matching between the sets. This setting has been the focus of a rich body of work. The seminal work of Gale and Shapley formulated a stability desideratum, and showed that a stable matching always exists and can be found efficiently. We study this question through the lens of metric-based fairness notions (Dwork et al., Kim et al.). We formulate appropriate definitions of fairness and stability in the presence of a similarity metric, and ask: does a fair and stable matching always exist? Can such a matching be found in polynomial time? Our contributions are as follows: (1) Composition failures for classical algorithms: We show that composing the Gale-Shapley algorithm with fair hospital preferences can produce blatantly unfair outcomes. (2) New algorithms for finding fair and stable matchings: Our main technical contributions are efficient new algorithms for finding fair and stable matchings when: (i) the hospitals' preferences are fair, and (ii) the fairness metric satisfies a strong "proto-metric" condition: the distance between every two doctors is either zero or one. In particular, these algorithms also show that, in this setting, fairness and stability are compatible. (3) Barriers for finding fair and stable matchings in the general case: We show that if the hospital preferences can be unfair, or if the metric fails to satisfy the proto-metric condition, then no algorithm in a natural class can find a fair and stable matching. The natural class includes the classical Gale-Shapley algorithms and our new algorithms.


title: Integrable partial differential equations and Lie--Rinehart algebras

abstract: We develop the method for constructing Lax representations of PDEs via the twisted extensions of their algebras of contact symmetries by generalizing the construction to the Lie--Rinehart algebras. We present examples of application of the proposed technique.


title: Dynamic imaging using motion-compensated smoothness regularization on manifolds (MoCo-SToRM)

abstract: We introduce an unsupervised deep manifold learning algorithm for motion-compensated dynamic MRI. We assume that the motion fields in a free-breathing lung MRI dataset live on a manifold. The motion field at each time instant is modeled as the output of a deep generative model, driven by low-dimensional time-varying latent vectors that capture the temporal variability. The images at each time instant are modeled as the deformed version of an image template using the above motion fields. The template, the parameters of the deep generator, and the latent vectors are learned from the k-t space data in an unsupervised fashion. The manifold motion model serves as a regularizer, making the joint estimation of the motion fields and images from few radial spokes/frame well-posed. The utility of the algorithm is demonstrated in the context of motion-compensated high-resolution lung MRI.