title: Edge Cache-assisted Secure Low-Latency Millimeter Wave Transmission

abstract: In this paper, we consider an edge cache-assisted millimeter wave cloud radio access network (C-RAN). Each remote radio head (RRH) in the C-RAN has a local cache, which can pre-fetch and store the files requested by the actuators. Multiple RRHs form a cluster to cooperatively serve the actuators, which acquire their required files either from the local caches or from the central processor via multicast fronthaul links. For such a scenario, we formulate a beamforming design problem to minimize the secure transmission delay under transmit power constraint of each RRH. Due to the difficulty of directly solving the formulated problem, we divide it into two independent ones: {\textit{i)}} minimizing the fronthaul transmission delay by jointly optimizing the transmit and receive beamforming; {\textit{ii)}} minimizing the maximum access transmission delay by jointly designing cooperative beamforming among RRHs. An alternatively iterative algorithm is proposed to solve the first optimization problem. For the latter, we first design the analog beamforming based on the channel state information of the actuators. Then, with the aid of successive convex approximation and $S$-procedure techniques, a semidefinite program (SDP) is formulated, and an iterative algorithm is proposed through SDP relaxation. Finally, simulation results are provided to verify the performance of the proposed schemes.


title: Learning to Incorporate Structure Knowledge for Image Inpainting

abstract: This paper develops a multi-task learning framework that attempts to incorporate the image structure knowledge to assist image inpainting, which is not well explored in previous works. The primary idea is to train a shared generator to simultaneously complete the corrupted image and corresponding structures --- edge and gradient, thus implicitly encouraging the generator to exploit relevant structure knowledge while inpainting. In the meantime, we also introduce a structure embedding scheme to explicitly embed the learned structure features into the inpainting process, thus to provide possible preconditions for image completion. Specifically, a novel pyramid structure loss is proposed to supervise structure learning and embedding. Moreover, an attention mechanism is developed to further exploit the recurrent structures and patterns in the image to refine the generated structures and contents. Through multi-task learning, structure embedding besides with attention, our framework takes advantage of the structure knowledge and outperforms several state-of-the-art methods on benchmark datasets quantitatively and qualitatively.


title: Energy-Efficient Hybrid Precoding Design for Integrated Multicast-Unicast Millimeter Wave Communications with SWIPT

abstract: In this paper, we investigate the energy-efficient hybrid precoding design for integrated multicast-unicast millimeter wave (mmWave) system, where the simultaneous wireless information and power transform is considered at receivers. We adopt two sparse radio frequency chain antenna structures at the base station (BS), i.e., fully-connected and subarray structures, and design the codebook-based analog precoding according to the different structures. Then, we formulate a joint digital multicast, unicast precoding and power splitting ratio optimization problem to maximize the energy efficiency of the system, while the maximum transmit power at the BS and minimum harvested energy at receivers are considered. Due to its difficulty to directly solve the formulated problem, we equivalently transform the fractional objective function into a subtractive form one and propose a two-loop iterative algorithm to solve it. For the outer loop, the classic Bi-section iterative algorithm is applied. For the inner loop, we transform the formulated problem into a convex one by successive convex approximation techniques and propose an iterative algorithm to solve it. Meanwhile, to reduce the complexity of the inner loop, we develop a zero forcing (ZF) technique-based low complexity iterative algorithm. Specifically, the ZF technique is applied to cancel the inter-unicast interference and the first order Taylor approximation is used for the convexification of the non-convex constraints in the original problem. Finally, simulation results are provided to compare the performance of the proposed algorithms under different schemes.


title: Efficient Training of ANN Potentials by Including Atomic Forces via Taylor Expansion and Application to Water and a Transition-Metal Oxide

abstract: Artificial neural network (ANN) potentials enable the efficient large-scale atomistic modeling of complex materials with near first-principles accuracy. For molecular dynamics simulations, accurate energies and interatomic forces are a prerequisite, but training ANN potentials simultaneously on energies and forces from electronic structure calculations is computationally demanding. Here, we introduce an efficient alternative method for the training of ANN potentials on energy and force information based on an extrapolation of the total energy via a Taylor expansion. By translating the force information to approximate energies, the quadratic scaling with the number of atoms exhibited by conventional force-training methods can be avoided, which enables the training on reference data sets containing complex atomic structures. We demonstrate for different materials systems, clusters of water molecules, bulk liquid water, and a lithium transition-metal oxide, that the proposed force-training approach provides substantial improvements over schemes that train on energies only. Including force information for training reduces the size of the reference data sets required for ANN potential construction, increases the transferability of the potential, and generally improves the force prediction accuracy. For a set of water clusters, the Taylor-expansion approach achieves around 50% of the force error improvement compared to the explicit training on all force components, at a much smaller computational cost. The alternative force training approach thus simplifies the construction of general ANN potentials for the prediction of accurate energies and interatomic forces for diverse types of materials, as demonstrated here for water and a transition-metal oxide.

categories: physics.comp-ph cond-mat.mtrl-sci physics.app-ph physics.chem-ph


title: Dynamics of quantum correlations in a Qubit-Oscillator system interacting via a dissipative bath

abstract: The entanglement dynamics in a bipartite system consisting of a qubit and a harmonic oscillator interacting only through their coupling with the same bath is studied. The considered model assumes that the qubit is coupled to the bath via the Jaynes-Cummings interaction, whilst the position of the oscillator is coupled to the position of the bath via a dipole interaction. We give a microscopic derivation of the Gorini-Kossakowski-Sudarshan-Lindblad equation for the considered model. Based on the Kossakowski Matrix, we show that non-classical correlations including entanglement can be generated by the considered dynamics. We then analytically identify specific initial states for which entanglement is generated. This result is also supported by our numerical simulations.


title: The three-level coupled Maxwell-Bloch equations: rogue waves, semirational rogue waves and W-shaped solitons

abstract: In this paper the coupled Maxwell-Bloch equations which describe the propagation of two optical pulses in an optical medium with coherent three-level atoms are studied by Darboux transformation. The general nth-order rogue wave solution involving two different choices of multiple roots for the spectral characteristic equation and the multiparametric nth-order semirational solution are both obtained in terms of Schur polynomials. The explicit rogue wave solutions and semirational solutions from first to second order are provided. In contrast to the known Peregrine soliton, dark and four-petaled structures, some unusual patterns such as triple-hole, twisted-pair, composite four-petaled and composite dark rogue waves are put forward. Moreover, the interaction between dark-bright soliton and dark rogue wave and interaction between breather and dark rogue wave are shown. Further, the higher-order nonlinear superposition modes which feature triple and quadruple temporal-spatial distributions are presented. Finally, the state transition between rogue wave and W-shaped soliton is found where the modulation instability growth rate tends to zero under the low perturbation frequency. Particularly, the dark and double-peak W-shaped solitons are examined.


title: Reinforcement Learning for POMDP: Partitioned Rollout and Policy Iteration with Application to Autonomous Sequential Repair Problems

abstract: In this paper we consider infinite horizon discounted dynamic programming problems with finite state and control spaces, and partial state observations. We discuss an algorithm that uses multistep lookahead, truncated rollout with a known base policy, and a terminal cost function approximation. This algorithm is also used for policy improvement in an approximate policy iteration scheme, where successive policies are approximated by using a neural network classifier. A novel feature of our approach is that it is well suited for distributed computation through an extended belief space formulation and the use of a partitioned architecture, which is trained with multiple neural networks. We apply our methods in simulation to a class of sequential repair problems where a robot inspects and repairs a pipeline with potentially several rupture sites under partial information about the state of the pipeline.


title: Personalized acute stress classification from physiological signals with neural processes

abstract: Objective: A person's affective state has known relationships to physiological processes which can be measured by wearable sensors. However, while there are general trends those relationships can be person-specific. This work proposes using neural processes as a way to address individual differences. Methods: Stress classifiers built from classic machine learning models and from neural processes are compared on two datasets using leave-one-participant-out cross-validation. The neural processes models are contextualized on data from a brief period of a particular person's recording. Results: The neural processes models outperformed the standard machine learning models, and had the best performance when using periods of stress and baseline as context. Contextual points chosen from other participants led to lower performance. Conclusion: Neural processes can learn to adapt to person-specific physiological sensor data. There are a wide range of affective and medical applications for which this model could prove useful.


title: Towards Phase Balancing using Energy Storage

abstract: Ad-hoc growth of single-phase-connected distributed energy resources, such as solar generation and electric vehicles, can lead to network unbalance with negative consequences on the quality and efficiency of electricity supply. Case-studies are presented for a substation in Madeira, Portugal and an EV charging facility in Pasadena, California. These case studies show that phase imbalance can happen due to a large amount of distributed generation (DG) and electric vehicle (EV) integration. We conducted stylized load-flow analysis on a radial distribution network using an openDSS-based simulator to understand such negative effects of phase imbalance on neutral and phase conductor losses, and in voltage drop/rise. We evaluate the integration of storage in the distribution network as a possible solution for mitigating effects caused by imbalance. We present control architectures of storage operation for phase balancing. Numerically we show that relatively small-sized storage (compared to unbalance magnitude) can significantly reduce network imbalance. We identify the end node of the feeder as the best location to install storage.


title: Distinct solutions to generated Jacobian equations cannot intersect

abstract: We prove that if two $C^{1,1}(\Omega)$ solutions of the second boundary value problem for the generated Jacobian equation intersect in $\Omega$ then they are the same solution. In addition we extend this result to $C^{2}(\overline{\Omega})$ solutions intersecting on the boundary, via an additional convexity condition on the target domain.


title: Solving Nonsmooth Bi-Objective Environmental andEconomic Dispatch Problem using Smoothing Techniques

abstract: The Environmental and Economic Dispatch problem (EEDP)is a nonlinear Multi-objective Optimization Problem (MOP) which simultaneously satisfies multiple contradictory criteria, and it's a nonsmooth problem when valvepoint effects, multi-fuel effects and prohibited operating zones have been considered. It is an important optimization task in fossil fuel fired power plant operation for allocating generation among the committed units such that fuel cost and pollution (emission level) are optimized simultaneously while satisfying all operational constraints. In this paper, we use smoothing functions with the gradient consistency property to approximate the nonsmooth multi-objective Optimization problem. Our approach is based on the smoothing method. In fact, we explain the convergence analysis of smoothing method by using approximate Karush-Kuhn-Tucker condition, which is necessary for a point to be a local weak efficient solution and is also sufficient under convexity assumptions. Finally, we give an application of our approach for solving the bi-objective EEDP.


title: LoCEC: Local Community-based Edge Classification in Large Online Social Networks

abstract: Relationships in online social networks often imply social connections in the real world. An accurate understanding of relationship types benefits many applications, e.g. social advertising and recommendation. Some recent attempts have been proposed to classify user relationships into predefined types with the help of pre-labeled relationships or abundant interaction features on relationships. Unfortunately, both relationship feature data and label data are very sparse in real social platforms like WeChat, rendering existing methods inapplicable. In this paper, we present an in-depth analysis of WeChat relationships to identify the major challenges for the relationship classification task. To tackle the challenges, we propose a Local Community-based Edge Classification (LoCEC) framework that classifies user relationships in a social network into real-world social connection types. LoCEC enforces a three-phase processing, namely local community detection, community classification and relationship classification, to address the sparsity issue of relationship features and relationship labels. Moreover, LoCEC is designed to handle large-scale networks by allowing parallel and distributed processing. We conduct extensive experiments on the real-world WeChat network with hundreds of billions of edges to validate the effectiveness and efficiency of LoCEC.


title: Performance Comparison of Crowdworkers and NLP Tools on Named-Entity Recognition and Sentiment Analysis of Political Tweets

abstract: We report results of a comparison of the accuracy of crowdworkers and seven Natural Language Processing (NLP) toolkits in solving two important NLP tasks, named-entity recognition (NER) and entity-level sentiment (ELS) analysis. We here focus on a challenging dataset, 1,000 political tweets that were collected during the U.S. presidential primary election in February 2016. Each tweet refers to at least one of four presidential candidates, i.e., four named entities. The groundtruth, established by experts in political communication, has entity-level sentiment information for each candidate mentioned in the tweet. We tested several commercial and open-source tools. Our experiments show that, for our dataset of political tweets, the most accurate NER system, Google Cloud NL, performed almost on par with crowdworkers, but the most accurate ELS analysis system, TensiStrength, did not match the accuracy of crowdworkers by a large margin of more than 30 percent points.


title: Kinematic decomposition of IllustrisTNG disk galaxies: morphology and relation with morphological structures

abstract: We recently developed an automated method, auto-GMM to decompose simulated galaxies. It extracts kinematic structures in an accurate, efficient, and unsupervised way. We use auto-GMM to study the stellar kinematic structures of disk galaxies from the TNG100 run of IllustrisTNG. We identify four to five structures that are commonly present among the diverse galaxy population. Structures having strong to moderate rotation are defined as cold and warm disks, respectively. Spheroidal structures dominated by random motions are classified as bulges or stellar halos, depending on how tightly bound they are. Disky bulges are structures that have moderate rotation but compact morphology. Across all disky galaxies and accounting for the stellar mass within 3 half-mass radii, the kinematic spheroidal structures, obtained by summing up stars of bulges and halos, contribute ~45% of the total stellar mass, while the disky structures constitute 55%. This study also provides important insights about the relationship between kinematically and morphologically derived galactic structures. Comparing the morphology of kinematic structures with that of traditional bulge+disk decomposition, we conclude: (1) the morphologically decomposed bulges are composite structures comprised of a slowly rotating bulge, an inner halo, and a disky bulge; (2) kinematically disky bulges, akin to what are commonly called pseudo bulges in observations, are compact disk-like components that have rotation similar to warm disks; (3) halos contribute almost 30% of the surface density of the outer part of morphological disks when viewed face-on; and (4) both cold and warm disks are often truncated in central regions.


title: Cohomology of $\text{PSL}_2(q)$

abstract: In 2011, Guralnick and Tiep proved that if $G$ was a Chevalley group with Borel subgroup $B$ and $V$ an irreducible $G$-module in cross characteristic with $V^B = 0$, then the the dimension of $H^1(G,V)$ is determined by the structure of the permutation module on the cosets of $B$. We generalise this theorem to higher cohomology and an arbitrary finite group, so that if $H \leq G$ such that $O_{r'}(H) = O^r(H)$ and $V^H = 0$ for $V$ a $G$-module in characteristic $r$ then $\dim H^1(G,V)$ is determined by the structure of the permutation module on cosets of $H$, and $H^n(G,V)$ by $\text{Ext}_G^{n-1}(V^*,M)$ for some $kG$-module $M$ dependent on $H$. We also determine $\text{Ext}_G^n(V,W)$ for all irreducible $kG$-modules $V$, $W$ for $G \in \{\text{PSL}_2(q), \text{PGL}_2(q), \text{SL}_2(q)\}$ in cross characteristic.


title: On the convolution inequality $f \geq f\star f$

abstract: We consider the inequality $f \geqslant f\star f$ for real integrable functions on $d$ dimensional Euclidean space where $f\star f$ denotes the convolution of $f$ with itself. We show that all such functions $f$ are non-negative, which is not the case for the same inequality in $L^p$ for any $1 < p \leqslant 2$, for which the convolution is defined. We also show that all integrable solutions $f$ satisfy $\int f(x){\rm d}x \leqslant \tfrac12$. Moreover, if $\int f(x){\rm d}x = \tfrac12$, then $f$ must decay fairly slowly: $\int |x| f(x){\rm d}x = \infty$, and this is sharp since for all $r< 1$, there are solutions with $\int f(x){\rm d}x = \tfrac12$ and $\int |x|^r f(x){\rm d}x <\infty$. However, if $\int f(x){\rm d}x = : a < \tfrac12$, the decay at infinity can be much more rapid: we show that for all $a<\tfrac12$, there are solutions such that for some $\epsilon>0$, $\int e^{\epsilon|x|}f(x){\rm d}x < \infty$.


title: Smoothness and Stability in GANs

abstract: Generative adversarial networks, or GANs, commonly display unstable behavior during training. In this work, we develop a principled theoretical framework for understanding the stability of various types of GANs. In particular, we derive conditions that guarantee eventual stationarity of the generator when it is trained with gradient descent, conditions that must be satisfied by the divergence that is minimized by the GAN and the generator's architecture. We find that existing GAN variants satisfy some, but not all, of these conditions. Using tools from convex analysis, optimal transport, and reproducing kernels, we construct a GAN that fulfills these conditions simultaneously. In the process, we explain and clarify the need for various existing GAN stabilization techniques, including Lipschitz constraints, gradient penalties, and smooth activation functions.


title: Infinity Learning: Learning Markov Chains from Aggregate Steady-State Observations

abstract: We consider the task of learning a parametric Continuous Time Markov Chain (CTMC) sequence model without examples of sequences, where the training data consists entirely of aggregate steady-state statistics. Making the problem harder, we assume that the states we wish to predict are unobserved in the training data. Specifically, given a parametric model over the transition rates of a CTMC and some known transition rates, we wish to extrapolate its steady state distribution to states that are unobserved. A technical roadblock to learn a CTMC from its steady state has been that the chain rule to compute gradients will not work over the arbitrarily long sequences necessary to reach steady state ---from where the aggregate statistics are sampled. To overcome this optimization challenge, we propose $\infty$-SGD, a principled stochastic gradient descent method that uses randomly-stopped estimators to avoid infinite sums required by the steady state computation, while learning even when only a subset of the CTMC states can be observed. We apply $\infty$-SGD to a real-world testbed and synthetic experiments showcasing its accuracy, ability to extrapolate the steady state distribution to unobserved states under unobserved conditions (heavy loads, when training under light loads), and succeeding in difficult scenarios where even a tailor-made extension of existing methods fails.


title: Exact Indexing of Time Series under Dynamic Time Warping

abstract: Dynamic time warping (DTW) is a robust similarity measure of time series. However, it does not satisfy triangular inequality and has high computational complexity, severely limiting its applications in similarity search on large-scale datasets. Usually, we resort to lower bounding distances to speed up similarity search under DTW. Unfortunately, there is still a lack of an effective lower bounding distance that can measure unequal-length time series and has desirable tightness. In the paper, we propose a novel lower bounding distance LB_Keogh+, which is a seamless combination of sequence extension and LB_Keogh. It can be used for unequal-length sequences and has low computational complexity. Besides, LB_Keogh+ can extend sequences to an arbitrary suitable length, without significantly reducing tightness. Next, based on LB_Keogh+, an exact index of time series under DTW is devised. Then, we introduce several theorems and complete the relevant proofs to guarantee no false dismissals in our similarity search. Finally, extensive experiments are conducted on real-world datasets. Experimental results indicate that our proposed method can perform similarity search of unequal-length sequences with high tightness and good pruning power.


title: Polymer Nanocomposites having a High Filler Content: Synthesis, Structures, Properties, and Applications

abstract: The recent development of nanoscale fillers, such as carbon nanotube, graphene, and nanocellulose, allows the functionality of polymer nanocomposites to be controlled and enhanced. However, conventional synthesis methods of polymer nanocomposites cannot maximise the reinforcement of these nanofillers at high filler content. Approaches to the synthesis of high content filler polymer nanocomposites are suggested to facilitate future applications. The fabrication methods address design of the polymer nanocomposite architecture, which encompass one, two, and three dimensional morphology. Factors that hamper the reinforcement of nanostructures, such as alignment, dispersion of filler as well as interfacial bonding between filler and polymer are outlined. Using suitable approaches, maximum potential reinforcement of nanoscale filler can be anticipated without limitations in orientation, dispersion, and the integrity of the filler particle-matrix interface. High filler content polymer composites containing emerging materials such as 2D transition metal carbides, nitrides, and carbonitrides (MXenes) are expected in the future.


title: Optimal Transfer Learning Model for Binary Classification of Funduscopic Images through Simple Heuristics

abstract: Deep learning models have the capacity to fundamentally revolutionize medical imaging analysis, and they have particularly interesting applications in computer-aided diagnosis. We attempt to use deep learning neural networks to diagnose funduscopic images, visual representations of the interior of the eye. Recently, a few robust deep learning approaches have performed binary classification to infer the presence of a specific ocular disease, such as glaucoma or diabetic retinopathy. In an effort to broaden the applications of computer-aided ocular disease diagnosis, we propose a unifying model for disease classification: low-cost inference of a fundus image to determine whether it is healthy or diseased. To achieve this, we use transfer learning techniques, which retain the more overarching capabilities of a pre-trained base architecture but can adapt to another dataset. For comparisons, we then develop a custom heuristic equation and evaluation metric ranking system to determine the optimal base architecture and hyperparameters. The Xception base architecture, Adam optimizer, and mean squared error loss function perform best, achieving 90% accuracy, 94% sensitivity, and 86% specificity. For additional ease of use, we contain the model in a web interface whose file chooser can access the local filesystem, allowing for use on any internet-connected device: mobile, PC, or otherwise.


title: Topological torsion elements via natural density and a quest for solution of Armacost like problem

abstract: One can use the number theoretic idea of the notion of natural density \cite{B1} to define topological s-torsion elements (which form the statistically characterized subgroups, recently developed in \cite{DPK}) extending Armacost's idea of topological torsion elements. We follow in the line of Armacost who had posed the famous classical problem for "description of topological torsion elements" of the circle group. In this note we consider the natural density version of Armacost's problem and present a complete description of topological s-torsion elements in terms of the support, for all arithmetic sequences which also provides the solution of Problem 6.10 posed in \cite{DPK} .


title: On the Area Bounded by the Curve $\prod_{k = 1}^n |x\sin(k\pi/n)-y\cos(k\pi/n)| = 1$

abstract: For a positive integer $n$, let $$ F_n^*(X, Y) = \prod\limits_{k = 1}^n\left(X\sin\left(\frac{k\pi}{n}\right) -Y\cos\left(\frac{k\pi}{n}\right)\right). $$ In 2000 Bean and Laugesen proved that for every $n \geq 3$ the area bounded by the curve $|F_n^*(x, y)| = 1$ is equal to $4^{1 - 1/n}B\left(\frac{1}{2} - \frac{1}{n}, \frac{1}{2}\right)$, where $B(x, y)$ is the beta function. We provide an elementary proof of this fact based on the polar formula for the area calculation. We also prove that $$ F_n^*(X, Y) = 2^{1 - n}\sum\limits_{\substack{1 \leq k \leq n\\\text{$k$ is odd}}}(-1)^{\frac{k - 1}{2}}\binom{n}{k}X^{n - k}Y^k $$ and demonstrate that $\ell_n = 2^{n - 1 - \nu_2(n)}$ is the smallest positive integer such that the binary form $\ell_n F_n^*(X, Y)$ has integer coefficients. Here $\nu_2(n)$ denotes the $2$-adic order of $n$.


title: Energy storage applications for low voltage consumers in Uruguay

abstract: Energy storage can be used for many applications in the Smart Grid such as energy arbitrage, peak demand shaving, power factor correction, energy backup to name a few, and can play a major role at increasing the capacity of power networks to host renewable energy sources. Often, storage control algorithms will need to be \textit{tailored} according to power networks billing structure, reliability restrictions, and other local power networks norms. In this paper we explore residential energy storage applications in Uruguay, one of the global leaders in renewable energies, where new low-voltage consumer contracts were recently introduced. Based on these billing mechanisms, we focus on energy arbitrage and reactive energy compensation with the aim of minimizing the cost of consumption of an end-user. Given that in the new contacts the buying and selling price of electricity are equal and that reactive power compensation is primarily governed by the installed converter, the storage operation is not sensitive to parameter uncertainties and, therefore, no lookahead is required for decision making. A threshold-based \textit{hierarchical} controller is proposed which decides on the optimal active energy for arbitrage and uses the remaining converter capacity for reactive power compensation, which is shown to increase end-user profit. Numerical results indicate that storage could be profitable, even considering battery degradation, under some but not all of the studied contracts. For the cases in which it is not, we propose the best-suited contract. Results presented here can be naturally applied whenever the tariff structure satisfies the hypothesis considered in this work.


title: Compositional Embeddings for Multi-Label One-Shot Learning

abstract: We present a compositional embedding framework that infers not just a single class per input image, but a set of classes, in the setting of one-shot learning. Specifically, we propose and evaluate several novel models consisting of (1) an embedding function f trained jointly with a "composition" function g that computes set union operations between the classes encoded in two embedding vectors; and (2) embedding f trained jointly with a "query" function h that computes whether the classes encoded in one embedding subsume the classes encoded in another embedding. In contrast to prior work, these models must both perceive the classes associated with the input examples and encode the relationships between different class label sets, and they are trained using only weak one-shot supervision consisting of the label-set relationships among training examples. Experiments on the OmniGlot, Open Images, and COCO datasets show that the proposed compositional embedding models outperform existing embedding methods. Our compositional embedding models have applications to multi-label object recognition for both one-shot and supervised learning.


title: Astrophysical Tests of Screened Modified Gravity

abstract: Screened modified gravity theories evade the solar system tests that have proved prohibitive for classical alternative gravity theories. In many cases, they do not fit into the PPN formalism. The environmental dependence of the screening has motivated a concerted effort to find new and novel probes of gravity using objects that are well-studied but have hitherto not been used to test gravity. Astrophysical objects---stars, galaxies, clusters---have proved competitive tools for this purpose since they occupy the partially-screened regime between solar system and the Hubble flow. In this article we review the current astrophysical tests of screened modified gravity theories.


title: Generalization Guarantees for Sparse Kernel Approximation with Entropic Optimal Features

abstract: Despite their success, kernel methods suffer from a massive computational cost in practice. In this paper, in lieu of commonly used kernel expansion with respect to $N$ inputs, we develop a novel optimal design maximizing the entropy among kernel features. This procedure results in a kernel expansion with respect to entropic optimal features (EOF), improving the data representation dramatically due to features dissimilarity. Under mild technical assumptions, our generalization bound shows that with only $O(N^{\frac{1}{4}})$ features (disregarding logarithmic factors), we can achieve the optimal statistical accuracy (i.e., $O(1/\sqrt{N})$). The salient feature of our design is its sparsity that significantly reduces the time and space cost. Our numerical experiments on benchmark datasets verify the superiority of EOF over the state-of-the-art in kernel approximation.


title: Stability and the index of biharmonic hypersurfaces in a Riemannian manifold

abstract: In this paper, we give an explicit second variation formula for a biharmonic hypersurface in a Riamannian manifold similar to that of a minimal hypersurface. We then use the second variation formula to compute the stability index of the known biharmonic hypersurfaces in a Euclidean sphere, and to prove the non-existence of unstable proper biharmonic hypersurface in a Euclidean space or a hyperbolic space, which adds another special case to support Chen's conjecture on biharmonic submanifolds.


title: Generalised Lipschitz Regularisation Equals Distributional Robustness

abstract: The problem of adversarial examples has highlighted the need for a theory of regularisation that is general enough to apply to exotic function classes, such as universal approximators. In response, we give a very general equality result regarding the relationship between distributional robustness and regularisation, as defined with a transportation cost uncertainty set. The theory allows us to (tightly) certify the robustness properties of a Lipschitz-regularised model with very mild assumptions. As a theoretical application we show a new result explicating the connection between adversarial learning and distributional robustness. We then give new results for how to achieve Lipschitz regularisation of kernel classifiers, which are demonstrated experimentally.


title: A Strengthening of Erd\H{o}s-Gallai Theorem and Proof of Woodall's Conjecture

abstract: For a 2-connected graph $G$ on $n$ vertices and two vertices $x,y\in V(G)$, we prove that there is an $(x,y)$-path of length at least $k$ if there are at least $\frac{n-1}{2}$ vertices in $V(G)\backslash \{x,y\}$ of degree at least $k$. This strengthens a well-known theorem due to Erd\H{o}s and Gallai in 1959. As the first application of this result, we show that a 2-connected graph with $n$ vertices contains a cycle of length at least $2k$ if it has at least $\frac{n}{2}+k$ vertices of degree at least $k$. This confirms a 1975 conjecture made by Woodall. As another applications, we obtain some results which generalize previous theorems of Dirac, Erd\H{o}s-Gallai, Bondy, and Fujisawa et al., present short proofs of the path case of Loebl-Koml\'{o}s-S\'{o}s Conjecture which was verified by Bazgan et al. and of a conjecture of Bondy on longest cycles (for large graphs) which was confirmed by Fraisse and Fournier, and make progress on a conjecture of Bermond.


title: Inference on Accretion Flow Properties of XTE J1752-223 During Its 2009-10 Outburst

abstract: We carry out a detailed study of the spectral and the timing properties of the stellar-mass black hole candidate XTE J1752-223 during its 2009-10 outburst using RXTE PCA data in the $2.5-25$ keV energy range. Low frequency quasi-periodic oscillations (LFQPOs) are seen in the power density spectrum (PDS). The spectral analysis is done using two types of models: one is the combined disk black body plus power-law model and the other is Transonic flow solution based Two Component Advective Flow (TCAF) model. RXTE PCA was non-operational during 2009 Nov. 16 to 2010 Jan. 18 and thus we study light curve profiles and evolution of hardness ratios using MAXI GSC and Swift BAT data. Based on the evolution of the temporal and the spectral properties of the source during its 2009-10 outburst, we find that the object evolved through the following spectral states: hard, hard-intermediate and soft-intermediate/soft. From the TCAF model fitted spectral analysis, we also estimate the probable mass of the black hole to be in the range of $8.1-11.9$ $M_\odot$, and more precisely, the mass appears to be is $10\pm{1.9}~M_\odot$.


title: FOXSI-2 Solar Microflares I : Multi-instrument Differential Emission Measure Analysis and Thermal Energies

abstract: In this paper we present the differential emission measures (DEMs) of two sub-A class microflares observed in hard X-rays (HXRs) by the FOXSI-2 sounding rocket experiment, on 2014 December 11. The second FOXSI (Focusing Optics X-ray Solar Imager) flight was coordinated with instruments Hinode/XRT and SDO/AIA, which provided observations in soft X-rays (SXR) and Extreme Ultraviolet (EUV). This unique dataset offers an unprecedented temperature coverage useful for characterizing the plasma temperature distribution of microflares. By combining data from FOXSI-2, XRT, and AIA, we determined a well-constrained DEM for the microflares. The resulting DEMs peak around 3MK and extend beyond 10MK. The emission measures determined from FOXSI-2 were lower than 10 26cm-5 for temperatures higher than 5MK; faint emission in this range is best measured in HXRs. The coordinated FOXSI-2 observations produce one of the few definitive measurements of the distribution and the amount of plasma above 5MK in microflares. We utilize the multi-thermal DEMs to calculate the amount of thermal energy released during both the microflares as ~ 5.0 x 10 28 ergs for Microflare 1 and ~ 1.6 x 10 28 ergs for Microflare 2. We also show the multi-thermal DEMs provide a more comprehensive thermal energy estimates than isothermal approximation, which systematically underestimates the amount of thermal energy released.


title: SN 2010kd: Photometric and Spectroscopic Analysis of a Slow-Decaying Superluminous Supernova

abstract: This paper presents data and analysis of SN 2010kd, a low-redshift ($z = 0.101$) H-deficient superluminous supernova (SLSN), based on ultraviolet/optical photometry and optical spectroscopy spanning between $-$28 and +194 days relative to $\mathit{B}$ band maximum light. The $\mathit{B}$ band light curve comparison of SN 2010kd with a subset of well-studied SLSNe I at comparable redshifts indicates that it is a slow-decaying PTF12dam like SLSN. Analytical light-curve modeling using the $\mathtt{Minim}$ code suggests that the bolometric light curve of SN 2010kd favors circumstellar matter interaction for the powering mechanism. $\mathtt{SYNAPPS}$ modeling of the early-phase spectra does not identify broad H or He lines, whereas the photospheric-phase spectra are dominated by O I, O II, C II, C IV and Si II, particularly, presence of both low and high-velocity components of O II and Si II lines. The nebular-phase spectra of SN 2010kd are dominated by O I and Ca II emission lines similar to those seen in other SLSNe I. The line velocities in SN 2010kd exhibit flatter evolution curves similar to SN 2015bn but with comparatively higher values. SN 2010kd shows a higher single-zone local thermodynamic equilibrium temperature in comparison to PTF12dam and SN 2015bn, and it has an upper O I ejected mass limit of $\sim 10~M_\odot$. The host of SN 2010kd is a dwarf galaxy with a high star-formation rate ($\sim 0.18 \pm 0.04~M_\odot$ yr$^{-1}$) and extreme emission lines.


title: Leveraging Rationales to Improve Human Task Performance

abstract: Machine learning (ML) systems across many application areas are increasingly demonstrating performance that is beyond that of humans. In response to the proliferation of such models, the field of Explainable AI (XAI) has sought to develop techniques that enhance the transparency and interpretability of machine learning methods. In this work, we consider a question not previously explored within the XAI and ML communities: Given a computational system whose performance exceeds that of its human user, can explainable AI capabilities be leveraged to improve the performance of the human? We study this question in the context of the game of Chess, for which computational game engines that surpass the performance of the average player are widely available. We introduce the Rationale-Generating Algorithm, an automated technique for generating rationales for utility-based computational methods, which we evaluate with a multi-day user study against two baselines. The results show that our approach produces rationales that lead to statistically significant improvement in human task performance, demonstrating that rationales automatically generated from an AI's internal task model can be used not only to explain what the system is doing, but also to instruct the user and ultimately improve their task performance.


title: Observation of Optical Gain in Er-Doped GaN Epilayers

abstract: Rare-earth based lasing action in GaN semiconductor at the telecommunication wavelength of 1.5 micron has been demonstrated at room temperature. We have reported the stimulated emission under the above bandgap excitation from Er doped GaN epilayers prepared by metal-organic chemical vapor deposition. Using the variable stripe technique, the observation of the stimulated emission has been demonstrated through characteristic features of threshold behavior of emission intensity as functions of pump intensity, excitation length, and spectral linewidth narrowing. Using the variable stripe setup, the optical gain up to 75 cm-1 has been obtained in the GaN:Er epilayers. The near infrared lasing from GaN semiconductor opens up new possibilities for extended functionalities and integration capabilities for optoelectronic devices.


title: A Complete Solution to the Strong CP Problem: a SUSY Extension of the Nelson-Barr Model

abstract: We present a supersymmetric solution to the strong CP problem based on spontaneous CP violation which simultaneously addresses the affects coming from supersymmetry breaking. The generated CP violating phase is communicated to the quark sector by interacting with a heavy quark a la Nelson-Barr. The Majorana mass of the right handed neutrinos is generated by interactions with the CP violating sector and so does not conserve CP. This gives the neutrino sector a non-trivial CP violating phase which can then generate the baryon asymmetry of the universe through leptogeneis. The problematic phase in the supersymmetry breaking parameters are suppressed by appealing to a particular gauge mediation model which naturally suppresses the phases of the tree-level gluino mass. This suppression plus the fact that in gauge mediation all loop generated flavor and CP violation is of the minimal flavor violation variety allows for a complete and consistent solution to the strong CP problem.


title: Fine-grained Uncertainty Modeling in Neural Networks

abstract: Existing uncertainty modeling approaches try to detect an out-of-distribution point from the in-distribution dataset. We extend this argument to detect finer-grained uncertainty that distinguishes between (a). certain points, (b). uncertain points but within the data distribution, and (c). out-of-distribution points. Our method corrects overconfident NN decisions, detects outlier points and learns to say ``I don't know'' when uncertain about a critical point between the top two predictions. In addition, we provide a mechanism to quantify class distributions overlap in the decision manifold and investigate its implications in model interpretability. Our method is two-step: in the first step, the proposed method builds a class distribution using Kernel Activation Vectors (kav) extracted from the Network. In the second step, the algorithm determines the confidence of a test point by a hierarchical decision rule based on the chi-squared distribution of squared Mahalanobis distances. Our method sits on top of a given Neural Network, requires a single scan of training data to estimate class distribution statistics, and is highly scalable to deep networks and wider pre-softmax layer. As a positive side effect, our method helps to prevent adversarial attacks without requiring any additional training. It is directly achieved when the Softmax layer is substituted by our robust uncertainty layer at the evaluation phase.


title: Dual-Triplet Metric Learning for Unsupervised Domain Adaptation in Video-Based Face Recognition

abstract: The scalability and complexity of deep learning models remains a key issue in many of visual recognition applications like, e.g., video surveillance, where fine tuning with labeled image data from each new camera is required to reduce the domain shift between videos captured from the source domain, e.g., a laboratory setting, and the target domain, i.e, an operational environment. In many video surveillance applications, like face recognition (FR) and person re-identification, a pair-wise matcher is used to assign a query image captured using a video camera to the corresponding reference images in a gallery. The different configurations and operational conditions of video cameras can introduce significant shifts in the pair-wise distance distributions, resulting in degraded recognition performance for new cameras. In this paper, a new deep domain adaptation (DA) method is proposed to adapt the CNN embedding of a Siamese network using unlabeled tracklets captured with a new video cameras. To this end, a dual-triplet loss is introduced for metric learning, where two triplets are constructed using video data from a source camera, and a new target camera. In order to constitute the dual triplets, a mutual-supervised learning approach is introduced where the source camera acts as a teacher, providing the target camera with an initial embedding. Then, the student relies on the teacher to iteratively label the positive and negative pairs collected during, e.g., initial camera calibration. Both source and target embeddings continue to simultaneously learn such that their pair-wise distance distributions become aligned. For validation, the proposed metric learning technique is used to train deep Siamese networks under different training scenarios, and is compared to state-of-the-art techniques for still-to-video FR on the COX-S2V and a private video-based FR dataset.


title: Edge-Gated CNNs for Volumetric Semantic Segmentation of Medical Images

abstract: Textures and edges contribute different information to image recognition. Edges and boundaries encode shape information, while textures manifest the appearance of regions. Despite the success of Convolutional Neural Networks (CNNs) in computer vision and medical image analysis applications, predominantly only texture abstractions are learned, which often leads to imprecise boundary delineations. In medical imaging, expert manual segmentation often relies on organ boundaries; for example, to manually segment a liver, a medical practitioner usually identifies edges first and subsequently fills in the segmentation mask. Motivated by these observations, we propose a plug-and-play module, dubbed Edge-Gated CNNs (EG-CNNs), that can be used with existing encoder-decoder architectures to process both edge and texture information. The EG-CNN learns to emphasize the edges in the encoder, to predict crisp boundaries by an auxiliary edge supervision, and to fuse its output with the original CNN output. We evaluate the effectiveness of the EG-CNN with various mainstream CNNs on two publicly available datasets, BraTS 19 and KiTS 19 for brain tumor and kidney semantic segmentation. We demonstrate how the addition of EG-CNN consistently improves segmentation accuracy and generalization performance.


title: Image Analysis Enhanced Event Detection from Geo-tagged Tweet Streams

abstract: Events detected from social media streams often include early signs of accidents, crimes or disasters. Therefore, they can be used by related parties for timely and efficient response. Although significant progress has been made on event detection from tweet streams, most existing methods have not considered the posted images in tweets, which provide richer information than the text, and potentially can be a reliable indicator of whether an event occurs or not. In this paper, we design an event detection algorithm that combines textual, statistical and image information, following an unsupervised machine learning approach. Specifically, the algorithm starts with semantic and statistical analyses to obtain a list of tweet clusters, each of which corresponds to an event candidate, and then performs image analysis to separate events from non-events---a convolutional autoencoder is trained for each cluster as an anomaly detector, where a part of the images are used as the training data and the remaining images are used as the test instances. Our experiments on multiple datasets verify that when an event occurs, the mean reconstruction errors of the training and test images are much closer, compared with the case where the candidate is a non-event cluster. Based on this finding, the algorithm rejects a candidate if the difference is larger than a threshold. Experimental results over millions of tweets demonstrate that this image analysis enhanced approach can significantly increase the precision with minimum impact on the recall.


title: Boundary-obstructed topological phases of a massive Dirac fermion in a magnetic field

abstract: It is known that in some higher-order topological insulators (HOTIs), topological phases are distinguished not by gap closings of bulk states but by those of edge states, which are called boundary-obstructed topological phases (BOTPs). In this paper, we construct an effective theory of the BOTP transition of two-dimensional (2D) Su-Schrieffer-Heeger (SSH) model in a uniform magnetic field. At $\pi$ flux per plaquette, this model corresponds to the typical model of HOTIs proposed by Benalcazar, Bernevig, and Hughes (BBH). The BBH model can be approximated by Dirac fermions with two kinds of mass terms, which will be referred to as BBH Dirac insulator. To clarify the BOTP transition of the 2D SSH model around $\pi$ flux, we study such BBH Dirac insulator in the presence of a magnetic field. On the other hand, generically in continuum Dirac models, boundary conditions associated with the Hermiticity of Hamiltonians are known to play a crucial role in determining the edge states. We first demonstrate that for the conventional Dirac fermion with a single mass term, such boundary conditions indeed determine the edge states even in the presence of a magnetic field. Next, imposing boundary conditions consistent to the lattice terminations and symmetries of the BBH Hamiltonian as well as to the Hermiticity of the BBH Dirac insulator, we obtain the edge states of the BBH Dirac insulator in a magnetic field and reproduce its BOTP transition. In particular, we show that the unpaired Landau levels, which cause the spectral asymmetry, yield the edge states responsible for the BOTP transition.


title: Hardware Trust and Assurance through Reverse Engineering: A Survey and Outlook from Image Analysis and Machine Learning Perspectives

abstract: In the context of hardware trust and assurance, reverse engineering has been often considered as an illegal action. Generally speaking, reverse engineering aims to retrieve information from a product, i.e., integrated circuits (ICs) and printed circuit boards (PCBs) in hardware security-related scenarios, in the hope of understanding the functionality of the device and determining its constituent components. Hence, it can raise serious issues concerning Intellectual Property (IP) infringement, the (in)effectiveness of security-related measures, and even new opportunities for injecting hardware Trojans. Ironically, reverse engineering can enable IP owners to verify and validate the design. Nevertheless, this cannot be achieved without overcoming numerous obstacles that limit successful outcomes of the reverse engineering process. This paper surveys these challenges from two complementary perspectives: image processing and machine learning. These two fields of study form a firm basis for the enhancement of efficiency and accuracy of reverse engineering processes for both PCBs and ICs. In summary, therefore, this paper presents a roadmap indicating clearly the actions to be taken to fulfill hardware trust and assurance objectives.


title: Fixed-effects model: the most convincing model for meta-analysis with few studies

abstract: According to Davey et al. (2011) with a total of 22,453 meta-analyses from the January 2008 Issue of the Cochrane Database of Systematic Reviews, the median number of studies included in each meta-analysis is only three. In other words, about a half or more of meta-analyses conducted in the literature include only two or three studies. While the common-effect model (also referred to as the fixed-effect model) may lead to misleading results when the heterogeneity among studies is large, the conclusions based on the random-effects model may also be unreliable when the number of studies is small. Alternatively, the fixed-effects model avoids the restrictive assumption in the common-effect model and the need to estimate the between-study variance in the random-effects model. We note, however, that the fixed-effects model is under appreciated and rarely used in practice until recently. In this paper, we compare all three models and demonstrate the usefulness of the fixed-effects model when the number of studies is small. In addition, we propose a new estimator for the unweighted average effect in the fixed-effects model. Simulations and real examples are also used to illustrate the benefits of the fixed-effects model and the new estimator.


title: Quantum coupled-wave theory of price formation in financial markets: price measurement, dynamics and ergodicity

abstract: We explore nature of price formation in financial markets and develop a theory of bid and ask price dynamics in which the two prices form due to quantum-chaotic interaction between buy and sell orders. In this model bid and ask prices are represented by eigenvalues of a 2x2 price operator corresponding to 'bid' and 'ask' eigenstates, while randomness of price operator results in price fluctuations that destroy oscillatory effects. We show that this theory adequately captures behavior of bid-ask spread and allows to model bid and ask price dynamics in a coordinated way. We also discuss ergodicity properties of price formation and show how directional price movement occurs due to ergodicity violation in a quantum process instead of the commonly believed forces acting on price. This theory has wide range of applications such as trade execution modeling, large order pricing and risk valuation for illiquid securities.


title: Nucleon and $\Delta$ resonances in $\gamma p \to K^+ \Sigma^0(1385)$ photoproduction

abstract: The photoproduction of $\gamma p \to K^+ \Sigma^0(1385)$ is investigated based on an effective Lagrangian approach using the tree-level Born approximation, with the purpose of understanding the reaction mechanisms and resonance contents and their associated parameters in this reaction. In addition to the $t$-channel $K$ and $K^\ast(892)$ exchanges, $s$-channel nucleon ($N$) exchange, $u$-channel $\Lambda$ exchange, and generalized contact term, the exchanges of a minimum number of $N$ and $\Delta$ resonances in the $s$ channel are taken into account in constructing the reaction amplitudes to describe the experimental data. It is found that the most recent differential cross-section data from the CLAS Collaboration can be well reproduced by including one of the $N(1895){1/2}^-$, $\Delta(1900){1/2}^-$, and $\Delta(1930){5/2}^-$ resonances. The reaction mechanisms of $\gamma p \to K^+ \Sigma^0(1385)$ are discussed in detail, and the predictions of the beam and target asymmetries for this reaction are given. The cross sections of $\gamma p \to K^0 \Sigma^+(1385)$ are shown to be able to further constrain the theoretical models and pin down the resonance contents for $\gamma p \to K^+ \Sigma^0(1385)$.


title: On graphic splitting of regular matroids

abstract: Raghunathan at al. [9] introduced splitting operation with respect to a pair of element for binary matroid and characterized Eulerian binary matroids using it. In general, the splitting operation does not preserve the graphicness property of the given matroids. Shikare and Waphare [10] obtained the characterization for the class of graphic matroids which yield graphic matroids under the splitting operation with respect to a pair of elements. We study the effect of the splitting operation on regular matroids and characterize the class of regular matroids which yield graphic matroids under the splitting operation. We also provide an alternate and short proof to two of the known results.


title: Boundary Control of Vlasov--Fokker--Planck Equations

abstract: We introduce a novel Lyapunov function for stabilization of linear Vlasov--Fokker--Planck type equations with stiff source term. Contrary to existing results relying on transport properties to obtain stabilization, we present results based on hypocoercivity analysis for the Fokker--Planck operator. The existing estimates are extended to derive suitable feedback boundary control to guarantee the exponential stabilization. Further, we study the associated macroscopic limit and derive conditions on the feedback boundary control such that in the formal limit no boundary layer exists.


title: Optical analogues of black-hole horizons

abstract: Hawking radiation is unlikely to be measured from a real black-hole, but can be tested in laboratory analogues. It was predicted as a consequence of quantum mechanics and general relativity, but turned out to be more universal. A refractive index perturbation produce an optical analogue of the black-hole horizon and Hawking radiation that is made of light. We discuss the central and recent experiments of the optical analogue, using hands-on physics. We stress the roles of classical fields, negative frequencies, 'regular optics' and dispersion. Opportunities and challenges ahead are shortly discussed.


title: A new approach to single-phase systems under sinusoidal and non-sinusoidal supply using geometric algebra

abstract: The aim of this work is to present major upgrades to existing power theories based on geometric algebra for single-phase circuits in the frequency domain. It also embodies an interesting new approach with respect to traditionally accepted power theories, revisiting power concepts in both sinusoidal and non-sinusoidal systems with linear and nonlinear loads for a proper identification of its components to achieve passive compensation of true non-active current. Moreover, it outlines traditional power theories based on the apparent power $S$ and confirms that these should definitively be reconsidered. It is evidenced that traditional proposals based on the concepts of Budeanu, Fryze and others fail to identify the interactions between voltage and current harmonics. Based on the initial work of Castro-N\'u\~nez and others, new aspects not previously included are detailed, modified and reformulated. As a result, it is now possible to analyze non sinusoidal electrical circuits, establishing power balances that comply with the principle of energy conservation, and achieving optimal compensation scenarios with both passive and active elements in linear and non-linear loads.


title: Reflectance of Silicon Photomultipliers in Linear Alkylbenzene

abstract: Reflectance of silicon photomultipliers (SiPMs) is an important aspect to understand the large scale SiPM-based detector systems and evaluate the performance of SiPMs. We report the reflactance of two SiPMs, NUV-HD-lowCT and S14160-60-50HS manufactured by Fondazione Bruno Kessler (FBK) and Hamamatsu Photonics K.K. (HPK) respectively, in linear alkylbenzene (LAB) and in air at visible wavelengths. Our results show that the reflectance of the FBK SiPM in air varies in the range of 14% to 23% , depending on wavelengths and angle of incidence, which is 2 time larger than that of the HPK device. This indicates that the two manufacturers are using different designs of anti-reflective coating on SiPMs' surfaces. The reflectance is reduced by about 10% when SiPMs are immersed in LAB, compared with that measured in air. The profiles of reflected light beams are also measured by a charge-coupled device (CCD) camera for the two SiPMs.


title: Thermal to Visible Face Recognition Using Deep Autoencoders

abstract: Visible face recognition systems achieve nearly perfect recognition accuracies using deep learning. However, in lack of light, these systems perform poorly. A way to deal with this problem is thermal to visible cross-domain face matching. This is a desired technology because of its usefulness in night time surveillance. Nevertheless, due to differences between two domains, it is a very challenging face recognition problem. In this paper, we present a deep autoencoder based system to learn the mapping between visible and thermal face images. Also, we assess the impact of alignment in thermal to visible face recognition. For this purpose, we manually annotate the facial landmarks on the Carl and EURECOM datasets. The proposed approach is extensively tested on three publicly available datasets: Carl, UND-X1, and EURECOM. Experimental results show that the proposed approach improves the state-of-the-art significantly. We observe that alignment increases the performance by around 2%. Annotated facial landmark positions in this study can be downloaded from the following link: github.com/Alpkant/Thermal-to-Visible-Face-Recognition-Using-Deep-Autoencoders .


title: Impact of body thickness and scattering on III-V triple heterojunction Fin-TFET modeled with atomistic mode space approximation

abstract: The triple heterojunction TFET has been originally proposed to resolve TFET's low ON-current challenge. The carrier transport in such devices is complicated due to the presence of quantum wells and strong scattering. Hence, the full band atomistic NEGF approach, including scattering, is required to model the carrier transport accurately. However, such simulations for devices with realistic dimensions are computationally unfeasible. To mitigate this issue, we have employed the empirical tight-binding mode space approximation to simulate triple heterojunction TFETs with the body thickness up to 12 nm. The triple heterojunction TFET design is optimized using the model to achieve a sub-60mV/dec transfer characteristic under realistic scattering conditions.


title: On Throughput of Millimeter Wave MIMO Systems with Low Resolution ADCs

abstract: Use of low resolution analog to digital converters (ADCs) is an effective way to reduce the high power consumption of millimeter wave (mmWave) receivers. In this paper, a receiver with low resolution ADCs based on adaptive thresholds is considered in downlink mmWave communications in which the channel state information is not known a-priori and acquired through channel estimation. A performance comparison of low-complexity algorithms for power and ADC allocation among transmit and receive terminals, respectively, is provided. Through simulation of practical mmWave cellular networks, it is shown that the use of low resolution ADCs does not significantly degrade the system throughput (as compared to a conventional fully digital high resolution receiver) when using the adaptive threshold receiver in conjunction with simple power and ADC allocation strategies.


title: Nektar++: Design and implementation of an implicit, spectral/$hp$ element, compressible flow solver using a Jacobian-free Newton Krylov approach

abstract: At high Reynolds numbers, the use of explicit in time compressible flow simulations with spectral/$hp$ element discretization can become significantly limited by time step. To alleviate this limitation we extend the capability of the spectral/$hp$ element open-source software framework, Nektar++, to include an implicit discontinuous Galerkin compressible flow solver. The integration in time is carried out by a singly diagonally implicit Runge-Kutta method. The non-linear system arising from the implicit time integration is iteratively solved by the Jacobian-free Newton Krylov (JFNK) method. A favorable feature of the JFNK approach is its extensive use of the explicit operators available from the previous explicit in time implementation. The functionalities of different building blocks of the implicit solver are analyzed from the point of view of software design and placed in appropriate hierarchical levels in the C++ libraries. In the detailed implementation, the contributions of different parts of the solver to computational cost, memory consumption, and programming complexity are also analyzed. A combination of analytical and numerical methods is adopted to simplify the programming complexity in forming the preconditioning matrix. The solver is verified and tested using cases such as manufactured compressible Poiseuille flow, Taylor-Green vortex, turbulent flow over a circular cylinder at $\text{Re}=3900$ and shock wave boundary-layer interaction. The results show that the implicit solver can speed-up the simulations while maintaining good simulation accuracy.


title: Interpretable inverse design of particle spectral emissivity using machine learning

abstract: We examine the optical properties of a system of nano and micro particles of varying size, shape, and material (including metals and dielectrics, and sub-wavelength and super-wavelength regimes). Training data is generated by numerically solving Maxwel Equations. We then use a combination of decision tree and random forest models to solve both the forward problem (particle design in, optical properties out) and inverse problem (desired optical properties in, range of particle designs out). We show that on even comparatively sparse datasets these machine learning models solve both the forward and inverse problems with excellent accuracy and 4 to 8 orders of magnitude faster than traditional methods. A single trained model is capable of handling the full diversity of our dataset, producing a variety of different candidate particle designs to solve an inverse problem. The interpretability of our models confirms that dielectric particles emit and absorb electromagnetic radiation volumetrically, while metallic particles interaction with light is dominated by surface modes. This work demonstrates the possibility for approachable and interpretable machine learning models to be used for rapid forward and inverse design of devices that span a broad and diverse parameter space.


title: Star formation in cloud cores -- simulations and observations of dense molecular cores and the formation of solar mass stars

abstract: Star formation is inefficient. Recent advances in numerical simulations and theoretical models of molecular clouds show that the combined effects of interstellar turbulence, magnetic fields and stellar feedback can explain the low efficiency of star formation. The star formation rate is highly sensitive to the driving mode of the turbulence. Solenoidal driving may be more important in the Central Molecular Zone, compared to more compressive driving agents in spiral-am clouds. Both theoretical and observational efforts are underway to determine the dominant driving mode of turbulence in different Galactic environments. New observations with ALMA, combined with other instruments such as CARMA, JCMT and the SMA begin to reveal the magnetic field structure of dense cores and protostellar disks, showing highly complex field geometries with ordered and turbulent field components. Such complex magnetic fields can give rise to a range of stellar masses and jet/outflow efficiencies in dense cores and protostellar accretion disks.


title: Regularized Evolutionary Population-Based Training

abstract: Metalearning of deep neural network (DNN) architectures and hyperparameters has become an increasingly important area of research. At the same time, network regularization has been recognized as a crucial dimension to effective training of DNNs. However, the role of metalearning in establishing effective regularization has not yet been fully explored. There is recent evidence that loss-function optimization could play this role, however it is computationally impractical as an outer loop to full training. This paper presents an algorithm called Evolutionary Population-Based Training (EPBT) that interleaves the training of a DNN's weights with the metalearning of loss functions. They are parameterized using multivariate Taylor expansions that EPBT can directly optimize. Such simultaneous adaptation of weights and loss functions can be deceptive, and therefore EPBT uses a quality-diversity heuristic called Novelty Pulsation as well as knowledge distillation to prevent overfitting during training. On the CIFAR-10 and SVHN image classification benchmarks, EPBT results in faster, more accurate learning. The discovered hyperparameters adapt to the training process and serve to regularize the learning task by discouraging overfitting to the labels. EPBT thus demonstrates a practical instantiation of regularization metalearning based on simultaneous training.


title: Analysis of GSI HADES beamline configuration space

abstract: The High-Energy Beam Transport system of GSI Campus is a complex system of interconnected beamlines between SIS18 synchrotron and multiple experimental stations and storage rings. This system is designed to be flexible and each experimental station can be reached by several beam paths. The quadrupole settings must fulfill constraints due to the beamline acceptance, limitations of the installed magnets and experimental requirements. The number of degrees of freedom is large and leaves operators with a vast number of possible optics configurations. The choice of a particular configuration is often a matter of compromises, very specific requirements, operational experience and personal style. Once a satisfying configuration is found, the space of possible solutions is usually not explored any further. Here the Monte Carlo method is used to probe the space of all possible beamline optics configurations. The focus is on a particular section, the HADES beamline, because this is one of the most demanding lines due to high beam intensities required by the experiment. The presented analysis gives an overview of the possible settings, insight into beamline potential and flexibility and supports the choice of an optimal operational setting.


title: Hyperspectral Classification Based on 3D Asymmetric Inception Network with Data Fusion Transfer Learning

abstract: Hyperspectral image(HSI) classification has been improved with convolutional neural network(CNN) in very recent years. Being different from the RGB datasets, different HSI datasets are generally captured by various remote sensors and have different spectral configurations. Moreover, each HSI dataset only contains very limited training samples and thus it is prone to overfitting when using deep CNNs. In this paper, we first deliver a 3D asymmetric inception network, AINet, to overcome the overfitting problem. With the emphasis on spectral signatures over spatial contexts of HSI data, AINet can convey and classify the features effectively. In addition, the proposed data fusion transfer learning strategy is beneficial in boosting the classification performance. Extensive experiments show that the proposed approach beat all of the state-of-art methods on several HSI benchmarks, including Pavia University, Indian Pines and Kennedy Space Center(KSC). Code can be found at: https://github.com/UniLauX/AINet.


title: Sympathetic cooling of $^{113}$Cd$^+$ by laser-cooled $^{40}$Ca$^+$ in a linear Paul trap for Microwave Ion Clocks

abstract: We report sympathetic cooling of $^{113}$Cd$^+$ by laser-cooled $^{40}$Ca$^+$ in a linear Paul trap for microwave clocks. Long-term low-temperature confinement of $^{113}$Cd$^+$ ions was achieved. The temperature of these ions was measured at $90(10)$ mK, and the corresponding uncertainty arising from the second-order Doppler shifts was estimated to a level of $2\times10^{-17}$. Up to $4.2\times10^5$ Cd$^+$ ions were confined in the trap, and the confinement time constant was measured to be 84 hours. After three hours of confinement, there were still $10^5$ Cd$^+$ ions present, indicating that this Ca$^+$--Cd$^+$ dual ion system is surprisingly stable. The ac Stark shift was induced by the Ca$^+$ lasers and fluorescence, which was carefully estimated to an accuracy of $5.4(0.5)\times10^{-17}$ using a high-accuracy \textit{ab initio} approach. The Dick-effect-limited Allan deviation was also deduced because deadtimes were shorter. These results indicate that a microwave clock based on this sympathetic cooling scheme holds promise in providing ultra-high frequency accuracy and stability.


title: Shaping planetary nebulae with jets and the grazing envelope evolution

abstract: I argue that the high percentage of PNe that are shaped by jets show that main sequence stars in binary systems can accrete mass at a high rate from an accretion disk and launch jets. Not only this allows jets to shape PNe, but this also points to the importance of jets in other types of binary systems and in other processes. These processes include the grazing envelope evolution (GEE), the common envelope evolution (CEE), and the efficient conversion of kinetic energy to radiation in outflows. As well, the jets point to the possibility that many systems launch jets as they enter the CEE, possibly through a GEE phase. The other binary systems where jets might play significant roles include intermediate-luminosity optical transients (ILOTs), supernova impostors (including pre-explosion outbursts), post-CEE binary systems, post-GEE binary systems, and progenitors of neutron star binary systems and black hole binary systems. One of the immediate consequences is that the outflow of these systems is highly-non-spherical, including bipolar lobes, jets, and rings.


title: Pentaquark components in low-lying baryon resonances

abstract: We study pentaquark states of both light $q^4\bar q$ and hidden heavy $q^3 Q\bar Q$ (q = u,d,s quark in SU(3) flavor symmetry; Q = c, b quark) systems with a general group theory approach in the constituent quark model, and the spectrum of light baryon resonances in the ansatz that the $l=1$ baryon states may consist of the $q^3$ as well as $q^4\bar q$ pentaquark component. The model is fitted to ground state baryons and light baryon resonances which are believed to be normal three-quark states. The work reveals that the $N(1535)1/2^{-}$ and $N(1520)3/2^-$ may consist of a large $q^4\bar q$ component while the $N(1895)1/2^{-}$ and $N(1875)3/2^-$ are respectively their partners, and the $N^+(1685)$ might be a $q^4\bar q$ state. By the way, a new set of color-spin-flavor-spatial wave function for $q^3 Q\bar Q$ systems in the compact pentaquark picture are constructed systematically for studying hidden charm pentaquark states.


title: Tuning of friction noise by accessing the rolling-sliding option

abstract: Variable power transmission in mechanical systems is often achieved by devices, e.g., clutches and brakes, that use dry friction. In these systems, the variability in power transmission is brought about by engaging and disengaging the friction plates. Though commonly used, this method of making the coupling noisy is not as versatile as their electrical analog. An alternative method would be to intermittently vary the frictional force. In this paper, we demonstrate a self-organized way to tune the noise in the frictional coupling between two surfaces which are in relative motion with each other. This is achieved by exploiting the complexity that arises from the frictional interaction of the balls which are placed in a circular groove between the surfaces. The extent of floppiness in the coupling is related to the rate at which the balls make transitions between their rolling and sliding states. If the moving surface is soft and the static surface is hard we show that with increasing filling fraction of the balls the transitions between rolling and sliding against the static surface give way to the transitions between rolling and sliding against the moving surface. As a consequence, the noise in the coupling is large for both small and large filling fraction with a dip in the middle. In contrast, the sliding with the static surface is suppressed if the moving pate is hard and the noise in the coupling decreases monotonically with the filling fraction of the balls.


title: Learning and Sampling of Atomic Interventions from Observations

abstract: We study the problem of efficiently estimating the effect of an intervention on a single variable (atomic interventions) using observational samples in a causal Bayesian network. Our goal is to give algorithms that are efficient in both time and sample complexity in a non-parametric setting. Tian and Pearl (AAAI `02) have exactly characterized the class of causal graphs for which causal effects of atomic interventions can be identified from observational data. We make their result quantitative. Suppose P is a causal model on a set $\vec{V}$ of n observable variables with respect to a given causal graph G with observable distribution $P$. Let $P_x$ denote the interventional distribution over the observables with respect to an intervention of a designated variable X with x. Assuming that $G$ has bounded in-degree, bounded c-components ($k$), and that the observational distribution is identifiable and satisfies certain strong positivity condition, we give an algorithm that takes $m=\tilde{O}(n\epsilon^{-2})$ samples from $P$ and $O(mn)$ time, and outputs with high probability a description of a distribution $\hat{P}$ such that $d_{\mathrm{TV}}(P_x, \hat{P}) \leq \epsilon$, and: 1. [Evaluation] the description can return in $O(n)$ time the probability $\hat{P}(\vec{v})$ for any assignment $\vec{v}$ to $\vec{V}$ 2. [Generation] the description can return an iid sample from $\hat{P}$ in $O(n)$ time. We also show lower bounds for the sample complexity showing that our sample complexity has an optimal dependence on the parameters $n$ and $\epsilon$, as well as if $k=1$ on the strong positivity parameter.


title: Exploring the non-equilibrium fluctuation relation for quantum mechanical tunneling of electrons across a modulating barrier

abstract: We experimentally explore the phenomenon of electron tunneling across a modulated tunneling barrier which is created between an STM tip and an Au film deposited on a vibrating piezo surface. Measurements of the time series of the quantum mechanical tunneling current across the modulating barrier show large fluctuations. Analysis of the average work done in establishing tunneling current in finite time interval shows a distribution of both positive and negative work events. The negative work events suggest tunneling against the bias voltage direction. We show that these distributions obey the Gallavotti Cohen Non-equilibrium Fluctuation Relations (GC-NEFR) valid for systems driven through a dissipating environment. Typically, while the GC-NEFR has been shown for non -equilibrium classical systems we show its validity for the quantum mechanical tunneling process too. The GC-NEFR analysis also gives us a way to measure the dissipation present in this quantum tunneling system. We propose the modulated barrier behaves like a lossy scattering medium for the tunneling electrons resulting in a tendency to randomize of the tunneling process.


title: Topological Protection and Control of Quantum Markovianity

abstract: Under the Born--Markov approximation, a qubit system, such as a two-level atom, is known to undergo a memoryless decay of quantum coherence or excitation when weakly coupled to a featureless environment. Recently, it has been shown that unavoidable disorder in the environment is responsible for non-Markovian effects and information backflow from the environment into the system owing to Anderson localization. This~turns disorder into a resource for enhancing non-Markovianity in the system--environment dynamics, which could be of relevance in cavity quantum electrodynamics. Here we consider the decoherence dynamics of a qubit weakly coupled to a two-dimensional bath with a nontrivial topological phase, such as a two-level atom embedded in a two-dimensional coupled-cavity array with a synthetic gauge field realizing a quantum-Hall bath, and~show that Markovianity is protected against moderate disorder owing to the robustness of chiral edge modes in the quantum-Hall bath. Interestingly, switching off the gauge field, i.e., flipping the bath into a topological trivial phase, allows one to re-introduce non-Markovian effects. Such a result indicates that changing the topological phase of a bath by a tunable synthetic gauge field can be harnessed to control non-Markovian effects and quantum information backflow in a qubit-environment system.


title: Learning Structured Communication for Multi-agent Reinforcement Learning

abstract: This work explores the large-scale multi-agent communication mechanism under a multi-agent reinforcement learning (MARL) setting. We summarize the general categories of topology for communication structures in MARL literature, which are often manually specified. Then we propose a novel framework termed as Learning Structured Communication (LSC) by using a more flexible and efficient communication topology. Our framework allows for adaptive agent grouping to form different hierarchical formations over episodes, which is generated by an auxiliary task combined with a hierarchical routing protocol. Given each formed topology, a hierarchical graph neural network is learned to enable effective message information generation and propagation among inter- and intra-group communications. In contrast to existing communication mechanisms, our method has an explicit while learnable design for hierarchical communication. Experiments on challenging tasks show the proposed LSC enjoys high communication efficiency, scalability, and global cooperation capability.


title: A review on outlier/anomaly detection in time series data

abstract: Recent advances in technology have brought major breakthroughs in data collection, enabling a large amount of data to be gathered over time and thus generating time series. Mining this data has become an important task for researchers and practitioners in the past few years, including the detection of outliers or anomalies that may represent errors or events of interest. This review aims to provide a structured and comprehensive state-of-the-art on outlier detection techniques in the context of time series. To this end, a taxonomy is presented based on the main aspects that characterize an outlier detection technique.


title: Improving the affordability of robustness training for DNNs

abstract: Projected Gradient Descent (PGD) based adversarial training has become one of the most prominent methods for building robust deep neural network models. However, the computational complexity associated with this approach, due to the maximization of the loss function when finding adversaries, is a longstanding problem and may be prohibitive when using larger and more complex models. In this paper we show that the initial phase of adversarial training is redundant and can be replaced with natural training which significantly improves the computational efficiency. We demonstrate that this efficiency gain can be achieved without any loss in accuracy on natural and adversarial test samples. We support our argument with insights on the nature of the adversaries and their relative strength during the training process. We show that our proposed method can reduce the training time by a factor of up to 2.5 with comparable or better model test accuracy and generalization on various strengths of adversarial attacks.


title: HMRL: Hyper-Meta Learning for Sparse Reward Reinforcement Learning Problem

abstract: In spite of the success of existing meta reinforcement learning methods, they still have difficulty in learning a meta policy effectively for RL problems with sparse reward. In this respect, we develop a novel meta reinforcement learning framework called Hyper-Meta RL(HMRL), for sparse reward RL problems. It is consisted with three modules including the cross-environment meta state embedding module which constructs a common meta state space to adapt to different environments; the meta state based environment-specific meta reward shaping which effectively extends the original sparse reward trajectory by cross-environmental knowledge complementarity and as a consequence the meta policy achieves better generalization and efficiency with the shaped meta reward. Experiments with sparse-reward environments show the superiority of HMRL on both transferability and policy learning efficiency.


title: Detection prospects for the second-order weak decays of $^{124}$Xe in multi-tonne xenon time projection chambers

abstract: We investigate the detection prospects for two-neutrino and neutrinoless second order weak decays of $^{124}$Xe -- double electron capture ($0/2\nu\text{ECEC}$), electron capture with positron emission ($0/2\nu\text{EC}\beta^+$) and double-positron emission ($0/2\nu\beta^+\beta^+$) -- in multi-tonne xenon time projection chambers. We simulate the decays in a liquid xenon medium and develop a reconstruction algorithm which uses the multi-particle coincidence in these decays to separate signal from background. This is used to compute the expected detection efficiencies as a function of position resolution and energy threshold for planned experiments. In addition, we consider an exhaustive list of possible background sources and find that they are either negligible in rate or can be greatly reduced using our topological reconstruction criteria. In particular, we draw two conclusions: First, with a half-life of $T_{1/2}^{2\nu\text{EC}\beta^+} = (1.7 \pm 0.6)\cdot 10^{23}\,\text{yr}$, the $2\nu\text{EC}\beta^+$ decay of $^{124}$Xe will likely be detected in upcoming Dark Matter experiments (e.g. XENONnT or LZ), and their major background will be from gamma rays in the detector construction materials. Second, searches for the $0\nu\text{EC}\beta^+$ decay mode are likely to be background-free, and new parameter space may be within the reach. To this end we investigate three different scenarios of existing experimental constraints on the effective neutrino mass. The necessary 500 kg-year exposure of $^{124}$Xe could be achieved by the baseline design of the DARWIN observatory, or by extracting and using the $^{124}$Xe from the tailings of the nEXO experiment. We demonstrate how a combination of $^{124}$Xe results with those from $0\nu\beta^-\beta^-$ searches in $^{136}$Xe could help to identify the neutrinoless decay mechanism.


title: A general theory of comparison of quantum channels (and beyond)

abstract: We present a general theory of comparison of quantum channels, concerning with the question of simulability or approximate simulability of a given quantum channel by allowed transformations of another given channel. We introduce a modification of conditional min-entropies, with respect to the set F of allowed transformations, and show that under some conditions on F, these quantities characterize approximate simulability. If F is the set of free superchannels in a quantum resource theory of processes, the modified conditional min-entropies form a complete set of resource monotones. If the transformations in F consist of a preprocessing and a postprocessing of specified forms, approximate simulability is also characterized in terms of success probabilities in certain guessing games, where a preprocessing of a given form can be chosen and the measurements are restricted. These results are applied to several specific cases of simulability of quantum channels, including postprocessings, preprocessings and processing of bipartite channels by LOCC superchannels and by partial superchannels, as well as simulability of sets of quantum measurements. These questions are first studied in a general setting that is an extension of the framework of general probabilistic theories (GPT), suitable for dealing with channels. Here we prove a general theorem that shows that approximate simulability can be characterized by comparing outcome probabilities in certain tests. This result is inspired by the classical Le Cam randomization criterion for statistical experiments and contains its finite dimensional version as a special case.


title: Gauge invariance of the Dicke and Hopfield models

abstract: The Dicke model, which describes the dipolar coupling between N two-level atoms and a quantized electromagnetic field, seemingly violates gauge invariance in the presence of ultrastrong light-matter coupling, a regime that is now experimentally accessible in many physical systems. Specifically, it has been shown that, while the two-level approximation can work well in the dipole gauge, the Coulomb gauge fails to provide the correct spectra in the ultrastrong coupling regime. Here we show that, taking into account the nonlocality of the atomic potential induced by the two-level approximation, gauge invariance is fully restored for arbitrary interaction strengths, even in the limit of N going to infinity. Finally, we express the Hopfield model, a general description based on the quantization of a linear dielectric medium, in a manifestly gauge invariant form, and show that the Dicke model in the dilute regime can be regarded as a particular case of the more general Hopfield model.


title: An Attention Transfer Model for Human-Assisted Failure Avoidance in Robot Manipulations

abstract: Due to real-world dynamics and hardware uncertainty, robots inevitably fail in task executions, resulting in undesired or even dangerous executions. In order to avoid failures and improve robot performance, it is critical to identify and correct abnormal robot executions at an early stage. However, due to limited reasoning capability and knowledge storage, it is challenging for robots to self-diagnose and -correct their own abnormality in both planning and executing. To improve robot self diagnosis capability, in this research a novel human-to-robot attention transfer (\textit{\textbf{H2R-AT}}) method was developed to identify robot manipulation errors by leveraging human instructions. \textit{\textbf{H2R-AT}} was developed by fusing attention mapping mechanism into a novel stacked neural networks model, transferring human verbal attention into robot visual attention. With the attention transfer, a robot understands \textit{what} and \textit{where} human concerns are to identify and correct abnormal manipulations. Two representative task scenarios: ``serve water for a human in a kitchen" and ``pick up a defective gear in a factory" were designed in a simulation framework CRAIhri with abnormal robot manipulations; and $252$ volunteers were recruited to provide about 12000 verbal reminders to learn and test \textit{\textbf{H2R-AT}}. The method effectiveness was validated by the high accuracy of $73.68\%$ in transferring attention, and the high accuracy of $66.86\%$ in avoiding grasping failures.


title: Fully open-flavor tetraquark states $bc\bar{q}\bar{s}$ and $sc\bar{q}\bar{b}$ with $J^{P}=0^{+},1^{+}$

abstract: We have studied the masses for fully open-flavor tetraquark states $bc\bar{q}\bar{s}$ and $sc\bar{q}\bar{b}$ with quantum numbers $J^{P}=0^{+},1^{+}$. We systematically construct all diquark-antiquark interpolating currents and calculate the two-point correlation functions and spectral densities in the framework of QCD sum rule method. Our calculations show that the masses are about $7.1-7.2$ GeV for the $bc\bar{q}\bar{s}$ tetraquark states and $7.0-7.1$ GeV for the $sc\bar{q}\bar{b}$ tetraquarks. The masses of $bc\bar{q}\bar{s}$ tetraquarks are below the thresholds of $\bar{B}_{s}D$ and $\bar{B}_{s}^{*}D$ final states for the scalar and axial-vector channels respectively. The $sc\bar{q}\bar{b}$ tetraquark states with $J^{P}=1^{+}$ lie below the $B_{c}^{+}K^{*}$ and $B_{s}^{*}D$ thresholds. Such low masses for these possible tetraquark states indicate that they can only decay via weak interaction and thus are very narrow and stable.


title: Rapid Top-Down Synthesis of Large-Scale IoT Networks

abstract: Advances in optimization and constraint satisfaction techniques, together with the availability of elastic computing resources, have spurred interest in large-scale network verification and synthesis. Motivated by this, we consider the top-down synthesis of ad-hoc IoT networks for disaster response and search and rescue operations. This synthesis problem must satisfy complex and competing constraints: sensor coverage, line-of-sight visibility, and network connectivity. The central challenge in our synthesis problem is quickly scaling to large regions while producing cost-effective solutions. We explore two qualitatively different representations of the synthesis problems satisfiability modulo convex optimization (SMC), and mixed-integer linear programming (MILP). The former is more expressive, for our problem, than the latter, but is less well-suited for solving optimization problems like ours. We show how to express our network synthesis in these frameworks, and, to scale to problem sizes beyond what these frameworks are capable of, develop a hierarchical synthesis technique that independently synthesizes networks in sub-regions of the deployment area, then combines these. We find that, while MILP outperforms SMC in some settings for smaller problem sizes, the fact that SMC's expressivity matches our problem ensures that it uniformly generates better quality solutions at larger problem sizes.


title: Causal analysis of competing atomistic mechanisms in ferroelectric materials from high-resolution Scanning Transmission Electron Microscopy data

abstract: Machine learning has emerged as a powerful tool for the analysis of mesoscopic and atomically resolved images and spectroscopy in electron and scanning probe microscopy, with the applications ranging from feature extraction to information compression and elucidation of relevant order parameters to inversion of imaging data to reconstruct structural models. However, the fundamental limitation of machine learning methods is their correlative nature, leading to extreme susceptibility to confounding factors. Here, we implement the workflow for causal analysis of structural scanning transmission electron microscopy (STEM) data and explore the interplay between physical and chemical effects in ferroelectric perovskite across the ferroelectric-antiferroelectric phase transitions. The combinatorial library of the Sm-doped BiFeO3 is grown to cover the composition range from pure ferroelectric BFO to orthorhombic 20% Sm-doped BFO. Atomically resolved STEM images are acquired for selected compositions and are used to create a set of local compositional, structural, and polarization field descriptors. The information-geometric causal inference (IGCI) and additive noise model (ANM) analysis are used to establish the pairwise causal directions between the descriptors, ordering the data set in the causal direction. The causal chain for IGCI and ANM across the composition is compared and suggests the presence of common causal mechanisms across the composition series. Ultimately, we believe that the causal analysis of the multimodal data will allow exploring the causal links between multiple competing mechanisms that control the emergence of unique functionalities of morphotropic materials and ferroelectric relaxors.


title: Unified Riccati theory for optimal permanent and sampled-data control problems in finite and infinite time horizons

abstract: We revisit and extend the Riccati theory, unifying continuous-time linear-quadratic optimal permanent and sampled-data control problems, in finite and infinite time horizons. In a nutshell, we prove that:-- when the time horizon T tends to $+\infty$, one passes from the Sampled-Data Difference Riccati Equation (SD-DRE) to the Sampled-Data Algebraic Riccati Equation (SD-ARE), and from the Permanent Differential Riccati Equation (P-DRE) to the Permanent Algebraic Riccati Equation (P-ARE);-- when the maximal step of the time partition $\Delta$ tends to $0$, one passes from (SD-DRE) to (P-DRE), and from (SD-ARE) to (P-ARE).Our notations and analysis provide a unified framework in order to settle all corresponding results.


title: Approximation properties of periodic multivariate quasi-interpolation operators

abstract: We study approximation properties of general multivariate periodic quasi-interpolation operators, which are generated by distributions/functions $\widetilde{\varphi}_j$ and trigonometric polynomials $\varphi_j$. The class of such operators includes classical interpolation polynomials ($\widetilde\varphi_j$ is the Dirac delta function), Kantorovich-type operators ($\widetilde\varphi_j$ is a characteristic function), scaling expansions associated with wavelet constructions, and others. Under different compatibility conditions on $\widetilde\varphi_j$ and $\varphi_j$, we obtain upper and lower bound estimates for the $L_p$-error of approximation by quasi-interpolation operators in terms of the best and best one-sided approximation, classical and fractional moduli of smoothness, $K$-functionals, and other terms.


title: Marked and labelled Gushel-Mukai fourfolds

abstract: We prove that the moduli stacks of marked and labelled Hodge-special Gushel-Mukai fourfolds are isomorphic. As an application, we construct rational maps from the stack of Hodge-special Gushel-Mukai fourfolds of discriminant $d$ to the moduli space of (twisted) degree-$d$ polarized K3 surfaces. We use these results to prove a counting formula for the number of 4-dimensional fibers of Fourier-Mukai partners of very general Hodge-special Gushel-Mukai fourfolds with associated K3 surface, and a lower bound for this number in the case of a twisted associated K3 surface.