title: An End-to-End Graph Convolutional Kernel Support Vector Machine

abstract: A novel kernel-based support vector machine (SVM) for graph classification is proposed. The SVM feature space mapping consists of a sequence of graph convolutional layers, which generates a vector space representation for each vertex, followed by a pooling layer which generates a reproducing kernel Hilbert space (RKHS) representation for the graph. The use of a RKHS offers the ability to implicitly operate in this space using a kernel function without the computational complexity of explicitly mapping into it. The proposed model is trained in a supervised end-to-end manner whereby the convolutional layers, the kernel function and SVM parameters are jointly optimized with respect to a regularized classification loss. This approach is distinct from existing kernel-based graph classification models which instead either use feature engineering or unsupervised learning to define the kernel function. Experimental results demonstrate that the proposed model outperforms existing deep learning baseline models on a number of datasets.


title: Spherically Symmetric Analytic Solutions and Naked Singularities in Einstein-Aether Theory

abstract: In the present work we analyze all the possible spherically symmetric exterior vacuum solutions allowed by the Einstein-Aether theory with static aether. We show that there are four classes of solutions corresponding to different values of a combination of the free parameters, $c_{14}=c_1+c_4$, which are: $ 0 < c_{14}<2$, $c_{14} < 0$, $c_{14}=2$ and $c_{14}=0$. We present explicit analytical solutions for $c_{14}=3/2, 16/9, 48/25, -16, 2$ and $0$. The first case has some pathological behavior, while the rest have all singularities at $r=0$ and are asymptotically flat spacetimes. For the solutions $c_{14}=16/9, 48/25\, \mathrm{\, and \,}\, -16$ we show that there exist no horizons, neither Killing nor universal horizon, thus we have naked singularities. Finally, the solution for $c_{14}=2$ has a metric component as an arbitrary function of radial coordinate, when it is chosen to be the same as in the Schwarzschild case, we have a physical singularity at finite radius, besides the one at $r=0$. This characteristic is completely different from General Relativity.


title: Global maps of Venus nightside mean infrared thermal emissions obtained by VIRTIS on Venus Express

abstract: One of the striking features about Venus atmosphere is its temporal variability and dynamics, with a chaotic polar vortex, large-scale atmospheric waves, sheared features, and variable winds that depend on local time and possibly orographic features. The aim of this research is to combine data accumulated over several years and obtain a global mean state of the atmosphere focusing in the global structure of the clouds using the cloud opacity and upper cloud temperatures. We have first produced global maps using the integrated radiance through the infrared atmospheric windows centred around 1.74{\mu}m and 2.25{\mu}m, that show the spatial variations of the cloud opacity in the lower clouds around 44-48 km altitude and also provide an indirect estimation of the possible particle size. We have also produced similar global maps using the brightness temperatures seen in the thermal region at 3.8{\mu}m and 5.0{\mu}m, which provide direct indication of the temperatures at the top of the clouds around 60-70 km altitude. These maps have been generated using the complete dataset of the Visible and InfraRed Thermal Imaging Spectrometer mapping channel (VIRTIS-M) on board Venus Express, with a wide spatial and long temporal coverage in the period from May 2006 until October 2008. Our results provide a global view of the cloud opacity, particle size and upper cloud temperatures at both hemispheres, showing the main different dynamical regions of the planet. The profiles obtained also provide the detailed dependencies with latitude, local time and longitude, diagnostic of the global circulation flow and dynamics at various altitude layers, from about 44 up to 70 km over the surface.


title: User-Level Privacy-Preserving Federated Learning: Analysis and Performance Optimization

abstract: Federated learning (FL), as a type of collaborative machine learning framework, is capable of preserving private data from mobile terminals (MTs) while training the data into useful models. Nevertheless, from a viewpoint of information theory, it is still possible for a curious server to infer private information from the shared models uploaded by MTs. To address this problem, we first make use of the concept of local differential privacy (LDP), and propose a user-level differential privacy (UDP) algorithm by adding artificial noise to the shared models before uploading them to servers. According to our analysis, the UDP framework can realize $(\epsilon_{i}, \delta_{i})$-LDP for the $i$-th MT with adjustable privacy protection levels by varying the variances of the artificial noise processes. We then derive a theoretical convergence upper-bound for the UDP algorithm. It reveals that there exists an optimal number of communication rounds to achieve the best learning performance. More importantly, we propose a communication rounds discounting (CRD) method. Compared with the heuristic search method, the proposed CRD method can achieve a much better trade-off between the computational complexity of searching and the convergence performance. Extensive experiments indicate that our UDP algorithm using the proposed CRD method can effectively improve both the training efficiency and model quality for the given privacy protection levels.


title: Nonreciprocal Emergence of Hybridized Magnons in magnetic thin Films

abstract: We investigate the transfer and control of nonreciprocity through magnons themselves in permalloy thin films deposited on surface oxide silicon substrate. Evidences of nonreciprocal emergence of hybridized dipole exchange magnons (spin waves) at two permalloy surfaces are provided by studying magnon transmission and asymmetry, via Brillouin light scattering measurements. The dipole dominated spin wave and exchange dominated spin wave are found to be localized near the top and bottom surfaces, respectively, and traveling along opposite directions. The nonreciprocity and the localization are intertwined and ca n be tuned by an in plane magnetic field. The effects are well explained by the magnetostatic theory and can be quantitatively reproduced by the micromagnetic simulations. Our findings provide a simple and flexible approach to nonreciprocal all magnon logi c devices with highly compatible with silicon based integrated circuit technology.


title: Conjugate-gradient-based Adam for stochastic optimization and its application to deep learning

abstract: This paper proposes a conjugate-gradient-based Adam algorithm blending Adam with nonlinear conjugate gradient methods and shows its convergence analysis. Numerical experiments on text classification and image classification show that the proposed algorithm can train deep neural network models in fewer epochs than the existing adaptive stochastic optimization algorithms can.


title: Effects of Dense Quark Matter on Gluon Propagators in Lattice QC$_2$D

abstract: The transverse and longitudinal gluon propagators in the Landau gauge are studied in the two-color lattice QCD at nonzero quark chemical potential $\mu_q$. Parameterization of the momentum dependence of the propagators is provided for all values of chemical potential under study. We find that the longitudinal propagator is infrared suppressed at nonzero $\mu_q$ with suppression increasing with increasing $\mu_q$. The transverse propagator dependence on $\mu_q$ was found to be opposite: it is enhanced at large $\mu_q$. It is found, respectively, that the electric screening mass is increasing while the magnetic screening mass is decreasing with increasing $\mu_q$. Nice agreement between the electric screening mass computed from the longitudinal propagator and the Debye mass computed earlier from the singlet static quark-antiquark potential was found. We discuss how the dependence of the propagators on the chemical potential correlates with the respective dependence of the string tension. Additionally, we consider the difference between two propagators as a function of the momentum and make interesting observations.


title: The Minimality of Determinantal Varieties

abstract: The determinantal variety $\Sigma_{pq}$ is defined to be the set of all $p\times q$ real matrices with $p\geq q$ whose ranks are strictly smaller than $q$. It is proved that $\Sigma_{pq}$ is a minimal cone in $\mathbb R^{pq}$ and all its strata are regular minimal submanifolds.


title: A Finite State Transducer Based Morphological Analyzer of Maithili Language

abstract: Morphological analyzers are the essential milestones for many linguistic applications like; machine translation, word sense disambiguation, spells checkers, and search engines etc. Therefore, development of an effective morphological analyzer has a greater impact on the computational recognition of a language. In this paper, we present a finite state transducer based inflectional morphological analyzer for a resource poor language of India, known as Maithili. Maithili is an eastern Indo-Aryan language spoken in the eastern and northern regions of Bihar in India and the southeastern plains, known as tarai of Nepal. This work can be recognized as the first work towards the computational development of Maithili which may attract researchers around the country to up-rise the language to establish in computational world.


title: Ab-initio studies of exciton $g$ factors: Monolayer transition metal dichalcogenides in magnetic fields

abstract: The effect of a magnetic field on the optical absorption in semiconductors has been measured experimentally and modeled theoretically for various systems in previous decades. We present a new first-principles approach to systematically determine the response of excitons to magnetic fields, i.e. exciton $g$ factors. By utilizing the $GW$-Bethe-Salpeter equation methodology we show that $g$ factors extracted from the Zeeman shift of electronic bands are strongly renormalized by many-body effects which we trace back to the extent of the excitons in reciprocal space. We apply our approach to monolayers of transition metal dichalcogenides (MoS$_2$, MoSe$_2$, MoTe$_2$, WS$_2$, and WSe$_2$) with strongly bound excitons for which $g$ factors are weakened by about 30%.


title: Uniqueness of the measure of maximal entropy for the standard map

abstract: In this paper we prove that for sufficiently large parameters the standard map has a unique measure of maximal entropy (m.m.e.). Moreover, we prove: the m.m.e. is Bernoulli, and the periodic points with Lyapunov exponents bounded away from zero equidistribute with respect to the m.m.e. We prove some estimates regarding the Hausdorff dimension of the m.m.e. and about the density of the support of the measure on the manifold. For a generic large parameter, we prove that the support of the m.m.e. has Hausdorff dimension $2$. We also obtain the $C^2$-robustness of several of these properties.


title: On the asymptotic properties of a canonical diffraction integral

abstract: We introduce and study a new canonical integral, denoted $I_{+-}^{\varepsilon}$, depending on two complex parameters $\alpha_1$ and $\alpha_2$. It arises from the canonical problem of wave diffraction by a quarter-plane, and is heuristically constructed to capture the complex field near the tip and edges. We establish some region of analyticity of this integral in $\mathbb{C}^2$, and derive its rich asymptotic behaviour as $|\alpha_1|$ and $|\alpha_2 |$ tend to infinity. We also study the decay properties of the function obtained from applying a specific double Cauchy integral operator to this integral. These results allow us to show that this integral shares all of the asymptotic properties expected from the key unknown function $G_{+-}$ arising when the quarter-plane diffraction problem is studied via a two-complex-variables Wiener--Hopf technique (see Assier \& Abrahams, arXiv:1905.03863, 2020). As a result, the integral $I_{+ -}^{\varepsilon}$ can be used to mimic the unknown function $G_{+ -}$ and to build an efficient `educated' approximation to the quarter-plane problem.


title: On the Sample Complexity of Data-Driven Inference of the $\mathcal{L}_2$-gain

abstract: Lately, data-driven control has become a widespread area of research. A few recent big-data based approaches for data-driven control of nonlinear systems try to use classical input-output techniques to design controllers for systems for which only a finite number of (input-output) samples are known. These methods focus on using the given data to compute bounds on the $\mathcal{L}_2$-gain or on the shortage of passivity from finite input-output data, allowing for the application of the small gain theorem or the feedback theorem for passive systems. One question regarding these methods asks about their sample complexity, namely how many input-output samples are needed to get an approximation of the operator norm or of the shortage of passivity. We show that the number of samples needed to estimate the operator norm of a system is roughly the same as the number of samples required to approximate the system in the operator norm.


title: Improving THz Quality-of-Transmission with Systematic RLNC and Auxiliary Channels

abstract: In this paper, we propose a novel solution that can improve the quality of THz transmission with systematic random linear network coding (sRLNC) and a low-bitrate auxiliary channel. To minimize complexity of channel coding, we complement a generic low complexity FEC code by a low complexity sRLNC. To increase the overall throughput of THz transmission, we propose to send the native data and coding redundancy in parallel over 2 differently configured THz channels, i.e., over 1 high bit rate main channel and 1 low bit rate low error rate auxiliary channel. The results show, that the main THz channel supported by low bit rate auxiliary channel can use a higher level modulation format and sent over longer distances with a higher throughput.


title: Secure Polar Coding for Adversarial Wiretap Channel

abstract: The adversarial wiretap channel (AWTC) model is a secure communication model in which adversary can directly read and write the transmitted bits in legitimate communication with fixed fractions. In this paper we propose a secure polar coding scheme to provide secure and reliable communication over the AWTC model. For the adversarial reading and writing action, we present a $\rho$ equivalent channel block and study its transformation under the channel polarization operation. We find that the generated channels are polarized in the sense that part of them are full-noise channels with probability almost $1$ and the rest part of them are noiseless channels with probability almost $1$. Based on this result, we polarize both equivalent channel blocks of adversarial reading and writing, and then construct a secure polar coding scheme by applying the multi-block chaining structure on the polarized equivalent blocks. Theoretically we prove that when block length $N$ goes infinity, the proposed scheme achieves the secrecy capacity of the AWTC model under both reliability and strong security criterions. Then by simulations, we prove that the proposed scheme can provide secure and reliable communication over AWTC model.


title: In search of biomarkers and the ideotype of barley tolerant to water scarcity

abstract: In barley plants, water shortage causes many changes on the morphological, physiological and biochemical levels resulting in the reduction of grain yield. In the present study the results of various experiments on the response of the same barley recombinant inbred lines to water shortage, including phenotypic, proteomic and metabolomic traits were integrated. Obtained results suggest that by a multi-omic approach it is possible to indicate proteomic and metabolomic traits important for reaction of barley plants to reduced water availability. Analysis of regression of drought effect (DE) for grain weight per plant on DE of proteomic and metabolomic traits allowed us to suggest ideotype of barley plants tolerant to water shortage. It was shown that grain weight under drought was determined significantly by six proteins in leaves and five in roots, the function of which were connected with defence mechanisms, ion/electron transport, carbon (in leaves) and nitrogen (in roots) metabolism, and in leaves additionally by two proteins of unknown function. Out of numerous metabolites detected in roots only Aspartic and Glutamic acids and one metabolite of unknown function, were found to have significant influence on grain weight per plant. The role of these traits as biomarkers, and especially as suggested targets of ideotype breeding, has to be further studied. One of the direction to be followed is genetic co-localization of proteomic, metabolomic and phenotypic traits in the genetic and physical maps of barley genome that can describe putative functional associations between traits; this is the next step of our analysis that is in progress.


title: Preconditioning nonlocal multi-phase flow

abstract: We propose an efficient solver for saddle point problems arising from finite element approximations of nonlocal multi-phase Allen--Cahn variational inequalities. The solver is seen to behave mesh independently and to have only a very mild dependence on the number of phase field variables. In addition we prove convergence, in three GMRES iterations, of the approximation of the two phase problem, regardless of mesh size or interfacial width. Numerical results are presented that illustrate the competitiveness of this approach.


title: Predictive Control and Communication Co-Design: A Gaussian Process Regression Approach

abstract: While Remote control over wireless connections is a key enabler for scalable control systems consisting of multiple actuator-sensor pairs, i.e., control systems, it entails two technical challenges. Due to the lack of wireless resources, only a limited number of control systems can be served, making the state observations outdated. Further, even after scheduling, the state observations received through wireless channels are distorted, hampering control stability. To address these issues, in this article we propose a scheduling algorithm that guarantees the age-of-information (AoI) of the last received states. Meanwhile, for non-scheduled sensor-actuator pairs, we propose a machine learning (ML) aided predictive control algorithm, in which states are predicted using a Gaussian process regression (GPR). Since the GPR prediction credibility decreases with the AoI of the input data, both predictive control and AoI-based scheduler should be co-designed. Hence, we formulate a joint scheduling and transmission power optimization via the Lyapunov optimization framework. Numerical simulations corroborate that the proposed co-designed predictive control and AoI based scheduling achieves lower control errors, compared to a benchmark scheme using a round-robin scheduler without state prediction.


title: Braiding quantum gates from partition algebras

abstract: Unitary braiding operators can be used as robust entangling quantum gates. We introduce a solution-generating technique to solve the $(d,m,l)$-generalized Yang-Baxter equation, for $m/2\leq l \leq m$, which allows to systematically construct such braiding operators. This is achieved by using partition algebras, a generalization of the Temperley-Lieb algebra encountered in statistical mechanics. We obtain families of unitary and non-unitary braiding operators that generate the full braid group. Explicit examples are given for a 2-, 3-, and 4-qubit system, including the classification of the entangled states generated by these operators based on Stochastic Local Operations and Classical Communication.


title: An Experimental Study of Network Coded REST HTTP in Dynamic IoT Systems

abstract: REST HTTP is the communication protocol of choice for software developers today. In IoT systems with unreliable connectivity, however, a stateless protocol like REST HTTP needs to send a request message multiple times, and it only stops the retransmissions when an acknowledgement arrives at the sender. In our previous work, we studied the usage of random linear network coding (RLNC) for REST HTTP protocol to reducing the amount of unnecessarily retransmissions. In this paper, we experimentally validate the study and analyze REST HTTP with and without RLNC in a simple testbed in dynamic IoT systems. The measurements show notable improvements in bandwidth utilization in terms of reducing the retransmissions and delay when using network-coded REST HTTP.


title: Downlink Secrecy Rate of One-Bit Massive MIMO System with Active Eavesdropping

abstract: In this study, we consider the physical layer security in the downlink of a Massive MIMO system employing one-bit quantization at the base station (BS). We assume an active eavesdropper that attempts to spoiling the channel estimation acquisition at the BS for a legitimate user, whereas overhearing on downlink transmission. We consider the two most widespread methods for degrading the eavesdropper's channel, the nullspace artificial noise (NS-AN) and random artificial noise (R-AN). Then, we present a lower bound on the secrecy rate and asymptotic performance, considering zero-forcing beamforming (ZF-BF) and maximum-ratio transmission beamforming (MRT-BF). Our results reveal that even when the eavesdropper is close enough to the intercepted user, a positive secrecy rate --which tends to saturation with increasing the number of BS antennas $N$---is possible, as long as the transmit power of eavesdropper is less than that of the legitimate user during channel training. We show that ZF-BF with NS-AN provides the best performance. It is found that MRT-BF and ZF-BF are equivalent in the asymptotic limit of $N$ and hence the artificial noise technique is the performance indicator. Moreover, we study the impact of \emph{power-scaling law} on the secrecy rate. When the transmit power of BS is reduced proportional to $1/N$, the performance is independent of artificial noise asymptotically and hence the beamforming technique is the performance indicator. In addition, when the BS's power is reduced proportional to $1/\sqrt{N}$, all combinations of beamforming and artificial noise schemes are equally likely asymptotically, independent of quantization noise. We present various numerical results to corroborate our analysis.


title: Throttling Process of Rotating Bardeen AdS Black Holes

abstract: In this paper, the author study the throttling process of the Rotating Bardeen-AdS black hole in a systematic way. In the exended phase space, the mass of black holes should be viewed as entheply. We derive the Joule-Thomson coefficient $\mu$ explicitly, and with numerical method, we depict the inversion curves and isenthalpic curves with different parameter $J$ and $g$. It is found that there are only minimum inversion temperature but no maximum inversion temperture, and the ratio between minimum inversion temperature $T_{min}$ and critical temperature $T_C$ is a little greater than $1/2$, and increase with the nonlinear parameter $g$. Furthermore, the shapes of the isenthalpic curves are similar to most case studied before, we calculate the inversion point exists as long as the mass is no less than a certain value $M_{min}$, the effect of the parameter $g$ on the throttling process is also discussed.


title: Tightly Robust Optimization via Empirical Domain Reduction

abstract: Data-driven decision-making is performed by solving a parameterized optimization problem, and the optimal decision is given by an optimal solution for unknown true parameters. We often need a solution that satisfies true constraints even though these are unknown. Robust optimization is employed to obtain such a solution, where the uncertainty of the parameter is represented by an ellipsoid, and the scale of robustness is controlled by a coefficient. In this study, we propose an algorithm to determine the scale such that the solution has a good objective value and satisfies the true constraints with a given confidence probability. Under some regularity conditions, the scale obtained by our algorithm is asymptotically $O(1/\sqrt{n})$, whereas the scale obtained by a standard approach is $O(\sqrt{d/n})$. This means that our algorithm is less affected by the dimensionality of the parameters.


title: Modular forms of degree two and curves of genus two in characteristic two

abstract: We describe the ring of modular forms of degree 2 in characteristic 2 using its relation with curves of genus 2.


title: Ergodicity and exponential mixing of the real Ginzburg-Landau equation with a degenerate noiss

abstract: In this paper, we establish the existence, uniqueness and attraction properties of an invariant measure for the real Ginzburg-Landau equation in the presence of a degenerate stochastic forcing acting only in four directions. The main challenge is to establish time asymptotic smoothing properties of the Markovian dynamics corresponding to this system. To achieve this, we propose a condition which only requires four noises


title: When is an invariant mean the limit of a F{\o}lner net?

abstract: Let $G$ be a locally compact amenable group, $TLIM(G)$ the topological left-invariant means on $G$, and $TLIM_0(G)$ the limit points of Folner-nets. I show that $TLIM_0(G) = TLIM(G)$ unless $G$ is $\sigma$-compact non-unimodular, in which case $TLIM_0(G) \neq TLIM(G)$. This improves a 1970 result of Chou and a 2009 result of Hindman and Strauss. I consider the analogous problem for the non-topological left-invariant means, and give a short construction of a net converging to invariance "weakly but not strongly," simplifying the proof of a 2001 result of Rosenblatt and Willis.


title: Broadband Control on Scattering Events with Interferometric Coherent Waves

abstract: We propose a universal strategy to realize a broadband control on arbitrary scatterers, through multiple coherent beams. By engineering the phases and amplitudes of incident beams, one can suppress the dominant scattering partial waves, making the obstacle lose its intrinsic responses in a broadband spectrum. The associated coherent beams generate a finite and static region, inside which the corresponding electric field intensity and Poynting vector vanish. As a solution to go beyond the sum-rule limit, our methodology is also irrespective of inherent system properties, as well as extrinsic operating wavelength, providing a non-invasive control on the wave-obstacles interaction for any kinds of shape.


title: Impact of Interparticle Interaction on Thermodynamics of Nano-Channel Transport of Two Species

abstract: We present a rigorous mathematical approach of two species channel transport within the framework of stochastic thermodynamics, which explains the impact of interparticle in-channel interactions. Different from mean field approaches, the model explicitly conserves spatial correlations by considering stochastic transitions between the channel's occupation states. The interparticle interactions determine the Brownian ratchet like rectifying forces, which these species exert mutually on each other. Perfect coupling of transport emerges by an attractive empty channel and strong repulsive forces between particles of the same species. Stochastic transitions are then confined to a subspace with circular topology, which makes channel flows of both species become equivalent. For opposing concentration gradients, this makes the species with the stronger gradient the driving, positive entropy producing one, the other is driven and produces negative entropy. A differential interaction with less repulsive forces within particles of one species, but maintenance of this interaction for the other species, adds a bypass path to this circular subspace. On this path a leak flow of the species with less repulsive interparticle interaction emerges, which is directed parallel to its concentration gradient, and, hence, produces positive entropy. Now, appropriate strong opposing concentration gradients may simultaneously parallelize flow of their respective species, which makes each species produce positive entropy. The rectifying potential of the species with the bypass option is diminished, which implies the existence of a gradient of the other species, above which its flow and gradient are always parallel. Conversely flow of the less coupled species may always be turned anti-parallel to its gradient by a sufficient strong opposing gradient of the other one.


title: Quantum computing for energy systems optimization: Challenges and opportunities

abstract: The purpose of this paper is to explore the applications of quantum computing to energy systems optimization problems and discuss some of the challenges faced by quantum computers with techniques to overcome them. The basic concepts underlying quantum computation and their distinctive characteristics in comparison to their classical counterparts are also discussed. Along with different hardware architecture description of two commercially available quantum systems, an example making use of open-source software tools is provided as a first step for diving into the new realm of programming quantum computers for solving systems optimization problems. The trade-off between qualities of these two quantum architectures is also discussed. Complex nature of energy systems due to their structure and large number of design and operational constraints make energy systems optimization a hard problem for most available algorithms. Problems like facility location allocation for energy systems infrastructure development, unit commitment of electric power systems operations, and heat exchanger network synthesis which fall under the category of energy systems optimization are solved using both classical algorithms implemented on conventional CPU based computer and quantum algorithm realized on quantum computing hardware. Their designs, implementation and results are stated. Additionally, this paper describes the limitations of state-of-the-art quantum computers and their great potential to impact the field of energy systems optimization.


title: Joint Face Completion and Super-resolution using Multi-scale Feature Relation Learning

abstract: Previous research on face restoration often focused on repairing a specific type of low-quality facial images such as low-resolution (LR) or occluded facial images. However, in the real world, both the above-mentioned forms of image degradation often coexist. Therefore, it is important to design a model that can repair LR occluded images simultaneously. This paper proposes a multi-scale feature graph generative adversarial network (MFG-GAN) to implement the face restoration of images in which both degradation modes coexist, and also to repair images with a single type of degradation. Based on the GAN, the MFG-GAN integrates the graph convolution and feature pyramid network to restore occluded low-resolution face images to non-occluded high-resolution face images. The MFG-GAN uses a set of customized losses to ensure that high-quality images are generated. In addition, we designed the network in an end-to-end format. Experimental results on the public-domain CelebA and Helen databases show that the proposed approach outperforms state-of-the-art methods in performing face super-resolution (up to 4x or 8x) and face completion simultaneously. Cross-database testing also revealed that the proposed approach has good generalizability.


title: Extra packing of mass of anisotropic interiors induced by MGD

abstract: In this work we investigate the extra packing of mass within the framework of gravitational decoupling by means of Minimal Geometric Deformation approach. It is shown that, after a suitable set of the free parameters involved, the like--Tolman IV solution extended by Minimal Geometric Deformation not only acquire extra packing of mass but it corresponds to a stable configuration according to the adiabatic index criteria. Additionally, it is shown that the extra packing condition induce a lower bound on the compactness parameter of the seed isotropic solution and a stringent restriction on the decoupling parameter.


title: ADF-GA: Data Flow Criterion Based Test Case Generation for Ethereum Smart Contracts

abstract: Testing is an important technique to improve the quality of Ethereum smart contract programs. However, current work on testing smart contract only focus on static problems of smart contract programs. A data flow oriented test case generation approach for dynamic testing of smart contract programs is still missing. To address this problem, this paper proposes a novel test case generation approach, called ADF-GA (All-uses Data Flow criterion based test case generation using Genetic Algorithm), for Solidity based Ethereum smart contract programs. ADF-GA aims to efficiently generate a valid set of test cases via three stages. First, the corresponding program control flow graph is constructed from the source codes. Second, the generated control flow graph is analyzed to obtain the variable information in the Solidity programs, locate the require statements, and also get the definition-use pairs to be tested. Finally, a genetic algorithm is used to generate test cases, in which an improved fitness function is proposed to calculate the definition-use pairs coverage of each test case with program instrumentation. Experimental studies are performed on several representative Solidity programs. The results show that ADF-GA can effectively generate test cases, achieve better coverage, and reduce the number of iterations in genetic algorithm.


title: A comparison between scintillation light Analog and Digital trigger for large volume Liquid Argon Time Projection Chambers

abstract: Large volume Liquid Argon Time Projection Chambers (LAr-TPC) are used and proposed for neutrino physics and rare event search. Most of these detectors make use of the scintillation light of liquid argon for trigger purposes. Two different approaches can be adopted to provide these detectors with an effective trigger system, relying upon analog or digital processing of signal coming from photodetectors, like photomultiplier tubes or silicon photomultipliers. Each method presents advantages and drawbacks, so the implementation of a hybrid solution can benefit from both approaches. To this purpose, an innovative electronic board prototype has been designed and proposed for the use in large volume LAr-TPC detectors.


title: Observation and Analysis of Multiple Dark-Antidark Solitons in Two-Component Bose-Einstein Condensates

abstract: We report on the static and dynamical properties of multiple dark-antidark solitons (DADs) in two-component, repulsively interacting Bose-Einstein condensates. Motivated by experimental observations involving multiple DADs, we present a theoretical study which showcases that bound states consisting of dark (antidark) solitons in the first (second) component of the mixture exist for different values of interspecies interactions. It is found that ensembles of few DADs may exist as stable configurations, while for larger DAD arrays, the relevant windows of stability with respect to the interspecies interaction strength become progressively narrower. Moreover, the dynamical formation of states consisting of alternating DADs in the two components of the mixture is monitored. A complex dynamical evolution of these states is observed, leading either to sorted DADs or to beating dark-dark solitons depending on the strength of the interspecies coupling. This study demonstrates clear avenues for future investigations of DAD configurations.

categories: cond-mat.quant-gas nlin.PS physics.atom-ph quant-ph


title: On Safety Assessment of Artificial Intelligence

abstract: In this paper we discuss how systems with Artificial Intelligence (AI) can undergo safety assessment. This is relevant, if AI is used in safety related applications. Taking a deeper look into AI models, we show, that many models of artificial intelligence, in particular machine learning, are statistical models. Safety assessment would then have t o concentrate on the model that is used in AI, besides the normal assessment procedure. Part of the budget of dangerous random failures for the relevant safety integrity level needs to be used for the probabilistic faulty behavior of the AI system. We demonstrate our thoughts with a simple example and propose a research challenge that may be decisive for the use of AI in safety related systems.


title: Synchrotron radiation in odd dimensions

abstract: In odd space-time dimensions, the retarded solution of the massless wave equation has support not only on the light cone, but also inside it. At the same time, a free massless field should propagate at the speed of light. The apparent contradiction of these two features is resolved by the fact that the emitted part of the field in the wave zone depends on the history of motion up to the retarded moment of proper time. It is shown that in the case of circular motion with ultrarelativistic velocity, the main contribution to the radiation amplitude is made by a small interval of proper time preceding the retarded time, and thus the tail term is effectively localized. We obtain a tentative formula for scalar synchrotron radiation in $D$ dimensions: $P =g^2(\omega_0\gamma^2/\sqrt{3})^{D-2}$, which is explicitly verified in $D=3,\,4,\,5$.


title: The Rate Distortion Function of Asynchronously Sampled Memoryless Cyclostationary Gaussian Processes

abstract: Man-made communications signals are typically modelled as continuous-time (CT) wide-sense cyclostationary (WSCS) processes. As modern processing is digital, it operates on sampled versions of the CT signals. When sampling is applied to a CT WSCS process, the statistics of the resulting discrete-time (DT) process depends on the relationship between the sampling interval and the period of the statistics of the CT process: When these two parameters have a common integer factor, then the DT process is WSCS. This situation is referred to as synchronous sampling. When this is not the case, which is referred to as asynchronous sampling, the resulting DT process is wide-sense almost cyclostationary (WSACS). In this work, we study the fundamental tradeoff of sources codes applied to sampled CT WSCS processes, namely, their rate-distortion function (RDF). We note that RDF characterization for the case of synchronous sampling directly follows from classic information-theoretic tools utilizing ergodicity and the law of large numbers; however, when sampling is asynchronous, the resulting process is not information stable. In such cases, commonly used information-theoretic tools are inapplicable to RDF analysis, which poses a major challenge. Using the information spectrum framework, we show that the RDF for asynchronous sampling in the low distortion regime can be expressed as the limit superior of a sequence of RDFs in which each element corresponds to the RDF of a synchronously sampled WSCS process (but their limit is not guaranteed to exist). The resulting characterization allows us to introduce novel insights on the relationship between sampling synchronization and RDF. For example, we demonstrate that, differently from stationary processes, small differences in the sampling rate and the sampling time offset can notably affect the RDF of sampled CT WSCS processes.


title: Imposing minimum and maximum member size, minimum cavity size, and minimum separation distance between solid members in topology optimization

abstract: This paper focuses on density-based topology optimization and proposes a combined method to simultaneously impose Minimum length scale in the Solid phase (MinSolid), Minimum length scale in the Void phase (MinVoid) and Maximum length scale in the Solid phase (MaxSolid). MinSolid and MinVoid mean that the size of solid parts and cavities must be greater than the size of a prescribed circle or sphere. This is ensured through the robust design approach based on eroded, intermediate and dilated designs. MaxSolid seeks to restrict the formation of solid parts larger than a prescribed size, which is imposed through local volume restrictions. In the first part of this article, we show that by proportionally restricting the maximum size of the eroded, intermediate and dilated designs, it is possible to obtain optimized designs satisfying, simultaneously, MinSolid, MinVoid and MaxSolid. However, in spite of obtaining designs with crisp boundaries, some results can be difficult to manufacture due to the presence of multiple rounded cavities, which are introduced by the maximum size restriction with the sole purpose of avoiding thick solid members in the structure. To address this issue, in the second part of this article we propose a new geometric constraint that seeks to control the minimum separation distance between two solid members, also called the Minimum Gap (MinGap). Differently from MinVoid, MinGap introduces large void areas that do not necessarily have to be round. 2D and 3D test cases show that simultaneous control of MinSolid, MinVoid, MaxSolid and MinGap can be useful to improve the manufacturability of maximum size constrained designs.


title: Quantum Computing Assisted Deep Learning for Fault Detection and Diagnosis in Industrial Process Systems

abstract: Quantum computing (QC) and deep learning techniques have attracted widespread attention in the recent years. This paper proposes QC-based deep learning methods for fault diagnosis that exploit their unique capabilities to overcome the computational challenges faced by conventional data-driven approaches performed on classical computers. Deep belief networks are integrated into the proposed fault diagnosis model and are used to extract features at different levels for normal and faulty process operations. The QC-based fault diagnosis model uses a quantum computing assisted generative training process followed by discriminative training to address the shortcomings of classical algorithms. To demonstrate its applicability and efficiency, the proposed fault diagnosis method is applied to process monitoring of continuous stirred tank reactor (CSTR) and Tennessee Eastman (TE) process. The proposed QC-based deep learning approach enjoys superior fault detection and diagnosis performance with obtained average fault detection rates of 79.2% and 99.39% for CSTR and TE process, respectively.

categories: quant-ph cs.LG cs.SY eess.SY math.OC stat.ML


title: Improved analysis of rare earth magnetic superconductors

abstract: We present an improved analysis of the phase transitions in rare earth superconductor using Ginzburg-Landau theory. Our work is based on the systematic study of critical field and superconducting order parameter in the presence of localized magnet due to rare-earth atom. We present the different phases that can occur and analyze the conditions of phase transition from the normal phase to the coexistence phase of antiferromagnetism and super-conductivity. We calculate the critical field and Ginzburg-Landau parameters to show the coexisting property. We compare our theoretical results with existing experimental results.


title: Real-time markerless tumour tracking with patient-specific deep learning using a personalized data generation strategy: Proof of concept by phantom study

abstract: Objective: For real-time markerless tumour tracking in stereotactic lung radiotherapy, we propose a different approach which uses patient-specific deep learning (DL) using a personalized data generation strategy, avoiding the need for collection of a large patient data set. We validated our strategy with digital phantom simulation and epoxy phantom studies. Methods: We developed lung tumour tracking for radiotherapy using a convolutional neural network trained for each phantom's lesion by using multiple digitally reconstructed radiographs (DRRs) generated from each phantom's treatment planning 4D-CT. We trained tumour-bone differentiation using large numbers of training DRRs generated with various projection geometries to simulate tumour motion. We solved the problem of using DRRs for training and X-ray images for tracking by using the training DRRs with random contrast transformation and random noise addition. Results: We defined adequate tracking accuracy as the % frames satisfying < 1 mm tracking error of the isocentre. In the simulation study, we achieved 100% tracking accuracy in 3-cm spherical and 1.5 x 2.25 x 3-cm ovoid masses. In the phantom study, we achieved 100% and 94.7% tracking accuracy in 3- and 2-cm spherical masses, respectively. This required 32.5 ms/frame (30.8 fps) real-time processing. Conclusions: We proved the potential feasibility of a real-time markerless tumour tracking framework for stereotactic lung radiotherapy based on patient-specific DL with personalized data generation with digital phantom and epoxy phantom studies. Advances in Knowledge: Using DL with personalized data generation is an efficient strategy for real-time lung tumour tracking.


title: Bounded affine permutations I. Pattern avoidance and enumeration

abstract: We introduce a new boundedness condition for affine permutations, motivated by the fruitful concept of periodic boundary conditions in statistical physics. We study pattern avoidance in bounded affine permutations. In particular, we show that if $\tau$ is one of the finite increasing oscillations, then every $\tau$-avoiding affine permutation satisfies the boundedness condition. We also explore the enumeration of pattern-avoiding affine permutations that can be decomposed into blocks, using analytic methods to relate their exact and asymptotic enumeration to that of the underlying ordinary permutations. Finally, we perform exact and asymptotic enumeration of the set of all bounded affine permutations of size $n$. A companion paper will focus on avoidance of monotone decreasing patterns in bounded affine permutations.


title: Role of intermediate 4$f$ states in tuning the band structure of high entropy oxides

abstract: High entropy oxides (HEOs) are single phase solid solutions consisting of 5 or more cations in approximately equiatomic proportions. In this study, we show reversible control of optical properties in a rare-earth (RE) based HEO-(Ce$_{0.2}$La$_{0.2}$Pr$_{0.2}$Sm$_{0.2}$Y$_{0.2}$)O$_{2-\delta}$ and subsequently utilize a combination of spectroscopic techniques to derive the features of the electronic band structure underpinning the observed optical phenomena. Heat treatment of the HEO under vacuum atmosphere followed by reheat-treatment in air results in a reversible change of the band gap energy, from 1.9 eV to 2.5 eV. The finding is consistent with the reversible changes in the oxidation state and related $f$-orbital occupancy of Pr. However, no pertinent changes in the phase composition or crystal structure is observed upon the vacuum heat treatment. Further annealing of this HEO under H$_2$ atmosphere, followed by reheat-treatment in air, results in even larger but still reversible change of the band gap energy from 1.9 eV to 3.2 eV. This is accompanied by a disorder-order type crystal structure transition and changes in the O 2$p$-RE 5$d$ hybridization evidenced from X-ray absorption near edge spectra (XANES). The O $K$ and RE ${M_{4,5}}$/$L_{3}$ XANES indicate that the presence of Ce and Pr (in 3+/4+) state leads to the formation of intermediate 4$f$ energy levels between the O 2$p$ and RE 5$d$ gap in HEO. It is concluded that heat treatment under reducing/oxidizing atmospheres affects these intermediate levels, thus, offering the possibility to tune the band gap energy in HEO.


title: Online Binary Space Partitioning Forests

abstract: The Binary Space Partitioning-Tree~(BSP-Tree) process was recently proposed as an efficient strategy for space partitioning tasks. Because it uses more than one dimension to partition the space, the BSP-Tree Process is more efficient and flexible than conventional axis-aligned cutting strategies. However, due to its batch learning setting, it is not well suited to large-scale classification and regression problems. In this paper, we develop an online BSP-Forest framework to address this limitation. With the arrival of new data, the resulting online algorithm can simultaneously expand the space coverage and refine the partition structure, with guaranteed universal consistency for both classification and regression problems. The effectiveness and competitive performance of the online BSP-Forest is verified via simulations on real-world datasets.


title: Breaking up Simplicial Homology and Subadditivity of Syzygies

abstract: We consider the following question: if a simplicial complex $\Delta$ has $d$-homology, then does the corresponding $d$-cycle always induce cycles of smaller dimension that are not boundaries in $\Delta$? We provide an answer to this question in a fixed dimension. We use the breaking of homology to show the subadditivity property for the maximal degrees of syzygies of monomial ideals in a fixed homological degree.


title: Dynamics of antibody levels: asymptotic properties

abstract: We study properties of a piecewise deterministic Markov process modeling the changes in concentration of specific antibodies. The evolution of densities of the process is described by a stochastic semigroup. The long-time behaviour of this semigroup is studied. In particular we prove theorems on its asymptotic stability.


title: Wavebreaking amplitudes in warm, inhomogeneous plasmas revisited

abstract: The effect of electron temperature on the space-time evolution of nonlinear plasma oscillations in an inhomogeneous plasma is studied using a one-dimensional particle-in-cell (PIC) code. In contrast to the conventional wisdom, it is found that for an inhomogeneous plasma, there exists a critical value of electron temperature beyond which wave breaking does not occur. This novel result, which is of relevance to present day laser plasma experiments, has been explained on the basis of interplay between electron thermal pressure and background inhomogeneity.


title: Reusing Discriminators for Encoding: Towards Unsupervised Image-to-Image Translation

abstract: Unsupervised image-to-image translation is a central task in computer vision. Current translation frameworks will abandon the discriminator once the training process is completed. This paper contends a novel role of the discriminator by reusing it for encoding the images of the target domain. The proposed architecture, termed as NICE-GAN, exhibits two advantageous patterns over previous approaches: First, it is more compact since no independent encoding component is required; Second, this plug-in encoder is directly trained by the adversary loss, making it more informative and trained more effectively if a multi-scale discriminator is applied. The main issue in NICE-GAN is the coupling of translation with discrimination along the encoder, which could incur training inconsistency when we play the min-max game via GAN. To tackle this issue, we develop a decoupled training strategy by which the encoder is only trained when maximizing the adversary loss while keeping frozen otherwise. Extensive experiments on four popular benchmarks demonstrate the superior performance of NICE-GAN over state-of-the-art methods in terms of FID, KID, and also human preference. Comprehensive ablation studies are also carried out to isolate the validity of each proposed component. Our codes are available at https://github.com/alpc91/NICE-GAN-pytorch.


title: Causal Learning by a Robot with Semantic-Episodic Memory in an Aesop's Fable Experiment

abstract: Corvids, apes, and children solve The Crow and The Pitcher task (from Aesop's Fables) indicating a causal understanding of the task. By cumulatively interacting with different objects, how can cognitive agents abstract the underlying cause-effect relations to predict affordances of novel objects? We address this question by re-enacting the Aesop's Fable task on a robot and present a) a brain-guided neural model of semantic-episodic memory; with b) four task-agnostic learning rules that compare expectations from recalled past episodes with the current scenario to progressively extract the hidden causal relations. The ensuing robot behaviours illustrate causal learning; and predictions for novel objects converge to Archimedes' principle, independent of both the objects explored during learning and the order of their cumulative exploration.


title: Richtmyer-Meshkov Instability of an Imploding Flow with a Two-Fluid Plasma Model

abstract: The two-fluid (ions and electrons) plasma Richtmyer-Meshkov instability of a cylindrical light/heavy density interface is numerically investigated without an initial magnetic field. Varying the Debye length scale, we examine the effects of the coupling between the electron and ion fluids. When the coupling becomes strong, the electrons are restricted to co-move with the ions and the resulting evolution is similar to the hydrodynamic neutral fluid case. The charge separation that occurs between the electrons and ions results in self-generated electromagnetic fields. We show that the Biermann battery effect dominates the generation of magnetic field when the coupling between the electrons and ions is weak. In addition to the Rayleigh-Tayler stabilization effect during flow deceleration, the interfaces are accelerated by the induced spatio-temporally varying Lorentz force. As a consequence, the perturbations develop into the Rayleigh-Taylor instability, leading to an enhancement of the perturbation amplitude compared with the hydrodynamic case.


title: Identification of Random Coefficient Latent Utility Models

abstract: This paper provides nonparametric identification results for random coefficient distributions in perturbed utility models. We cover discrete and continuous choice models. We establish identification using variation in mean quantities, and the results apply when an analyst observes aggregate demands but not whether goods are chosen together. We require exclusion restrictions and independence between random slope coefficients and random intercepts. We do not require regressors to have large supports or parametric assumptions.


title: The imaginary part of the high-harmonic cutoff

abstract: High-harmonic generation - the emission of high-frequency radiation by the ionization and subsequent recombination of an atomic electron driven by a strong laser field - is widely understood using a quasiclassical trajectory formalism, derived from a saddle-point approximation, where each saddle corresponds to a complex-valued trajectory whose recombination contributes to the harmonic emission. However, the classification of these saddle-points into individual quantum orbits remains a high-friction part of the formalism. Here we present a scheme to classify these trajectories, based on a natural identification of the (complex) time that corresponds to the harmonic cutoff. This identification also provides a natural complex value for the cutoff energy, whose imaginary part controls the strength of quantum-path interference between the quantum orbits that meet at the cutoff. Our construction gives an efficient method to evaluate the location and brightness of the cutoff for a wide class of driver waveforms by solving a single saddle-point equation. It also allows us to explore the intricate topologies of the Riemann surfaces formed by the quantum orbits induced by nontrivial waveforms.


title: Augmenting Visual Place Recognition with Structural Cues

abstract: In this paper, we propose to augment image-based place recognition with structural cues. Specifically, these structural cues are obtained using structure-from-motion, such that no additional sensors are needed for place recognition. This is achieved by augmenting the 2D convolutional neural network (CNN) typically used for image-based place recognition with a 3D CNN that takes as input a voxel grid derived from the structure-from-motion point cloud. We evaluate different methods for fusing the 2D and 3D features and obtain best performance with global average pooling and simple concatenation. On the Oxford RobotCar dataset, the resulting descriptor exhibits superior recognition performance compared to descriptors extracted from only one of the input modalities, including state-of-the-art image-based descriptors. Especially at low descriptor dimensionalities, we outperform state-of-the-art descriptors by up to 90%.


title: Calculating the Lyapunov exponents of a piecewise-smooth soft impacting system with a time-delayed feedback controller

abstract: Lyapunov exponents are a widely used tool for studying dynamical systems. When calculating Lyapunov exponents for piecewise-smooth systems with time-delayed arguments one faces a lack of continuity in the variational problem. This paper studies how to build a variational equation for the efficient construction of Jacobians along trajectories of the delayed nonsmooth system. Trajectories of the piecewise-smooth system may encounter a so-called grazing event where the trajectory approaches a discontinuity surface in the state space in a non-transversal manner. For this event we develop a grazing point estimation algorithm to ensure the accuracy of trajectories for the nonlinear and the variational equations. We show that the eigenvalues of the Jacobian matrix computed by the algorithm converge with an order consistent with the order of the numerical integration method, therefore guaranteeing the reliability of our proposed numerical method. Finally, the method is demonstrated on a periodically forced impacting oscillator under the time-delayed feedback control.


title: A Quadratic Programming Solution to the FICO Credit Scoring Problem

abstract: After decades of experience in developing credit scores, the FICO corporation has formulated the FICO Credit Scoring Problem as follows: Find the Generalized Additive Model (GAM), with component step functions, that maximizes divergence subject to the PILE (Palatability, Interpretability, Legal, Explain-ability) constraints. The PILE constraints are also called shape constraints, and satisfying them is called score engineering. Before 2003, FICO used an algorithm, based on Linear Programing, to approximately solve the FICO Credit Scoring Problem. In this paper, I develop an exact solution to the FICO Credit Scoring Problem. Finding the exact solution has eluded FICO for years. Divergence is a ratio of quadratic functions of the score weights. I show that the max divergence problem can be transformed into a quadratic program. The quadratic programming formulation allows one to handle the PILE constraints very easily. FICO currently uses aspects of this technology to develop the famous FICO Credit Score.


title: Geometric encoding of renormalization group $\beta-$functions in an emergent holographic dual description

abstract: First, we reformulate RG transformations in a recursive way with introduction of an order-parameter field. As a result, we manifest the RG flow of an effective field theory through the emergence of an extra dimensional space, where both RG $\beta-$functions of coupling functions and RG flow equation of the order-parameter field appear in the resulting effective action explicitly through the extra dimensional space. Second, we consider an effective dual holographic description derived recently, where the classical gravity theory of the large $N$ limit takes into account quantum corrections in the all-loop order. This non-perturbative nature turns out to originate from an intertwined renormalization structure between both RG flow equations of coupling functions and order-parameter fields in the emergent extra-dimensional space, where the IR boundary condition of the order-parameter field gives rise to a mean-field equation with fully renormalized interaction coefficients. Third, comparing the RG-reformulated effective field theory with this effective dual holographic description, we obtain term-by-term matching conditions in the level of an effective action. As a result, we express all RG coefficients of fields and interaction vertices in terms of the metric tensor of the dual holographic theory. Through this metric reformulation for the RG analysis, we propose a prescription on how to find RG $\beta-$functions of interaction coefficients in a non-perturbative way beyond the perturbative RG analysis. In particular, we claim that the present prescription of the RG flow generalizes the holographic RG flow of the holographic duality conjecture towards the absence of conformal symmetry, where the emergent holographic dual effective field theory has been derived from the first principle, thus being applicable even away from quantum criticality.


title: mmWave Doubly-Massive-MIMO Communications Enhanced with an Intelligent Reflecting Surface

abstract: As a means to control wireless propagation environments, the use of emerging and novel intelligent reflecting surfaces (IRS) is envisioned to enhance and broaden many applications in future wireless networks. This paper is concerned with a point-to-point IRS-assisted millimeter-wave (mmWave) system in which the IRS consists of multiple subsurfaces, each having the same number of passive reflecting elements, whereas both the transmitter and receiver are equipped with massive antenna arrays. Under the scenario of having very large numbers of antennas at both transmit and receive ends, the achievable rate of the system is derived. Furthermore, with the objective of maximizing the achievable rate, the paper presents optimal solutions of power allocation, precoding/combining, and IRS's phase shifts. Then it is shown that when the number of reflecting elements at each subsurface is very large, the number of favorable and controllable propagation paths provided by the IRS is simply equal to the number of subsurfaces while the received signal-to-noise ratio corresponding to each of the favorable paths increases quadratically with the number of reflecting elements. In addition, the problem of minimizing the transmit power subject to the rate constraint is analyzed for the scenario without direct paths in the pure LOS propagation. Finally, numerical results are provided to corroborate the obtained analysis.


title: The FKB invariant is the 3d index

abstract: We identify the q-series associated to an 1-efficient ideal triangulation of a cusped hyperbolic 3-manifold by Frohman and Kania-Bartoszynska with the 3D-index of Dimofte-Gaiotto-Gukov. This implies the topological invariance of the $q$-series of Frohman and Kania-Bartoszynska for cusped hyperbolic 3-manifolds. Conversely, we identify the tetrahedron index of Dimofte-Gaiotto-Gukov as a limit of quantum 6j-symbols.


title: Mapping the near-field spin angular momenta in the structured surface plasmon polaritons field

abstract: Optical spin angular momenta in a confined electromagnetic field exhibit remarkable difference with their free space counterparts, in particular, the optical transverse spin that is locked with the energy propagating direction lays the foundation for many intriguing physical effects such as unidirectional transportation, quantum spin Hall effect, photonic Skyrmion, etc. In order to investigate the underlying physics behind the spin-orbit interactions as well as to develop the optical spin-based applications, it is crucial to uncover the spin texture in a confined field, yet it faces challenge due to their chiral and near-field vectorial features. Here, we propose a scanning imaging technique which can map the near-field distributions of the optical spin angular momenta with an achiral dielectric nanosphere. The spin angular momentum component normal to the interface can be uncovered experimentally by employing the proposed scanning imaging technique and the three-dimensional spin vector can be reconstructed theoretically with the experimental results. The experiment is demonstrated on the example of surface plasmon polaritons excited by various vector vortex beams under a tight-focusing configuration, where the spin-orbit interaction emerges clearly. The proposed method, which can be utilized to reconstruct the photonic Skyrmion and other photonic topological structures, is straightforward and of high precision, and hence it is expected to be valuable for the study of near-field spin optics and topological photonics.


title: Linearized model for satellite station-keeping and tandem formations under the effects of atmospheric drag

abstract: This work introduces a linearized analytical model for the study of the dynamic of satellites in near circular orbits under the effects of the atmospheric drag. This includes the evaluation of the station keeping required for each satellite subjected to a control box strategy, and also the study of the dynamic of tandem formations between two or more satellites that are located on the same nominal space-track. The model takes into account the effect of the orbit perturbation provoked by the atmospheric drag, while the effects of the Earth gravitation potential are included in the definition of the nominal orbits of the satellites. This allows to easily define the maneuvering strategies for the satellites involved in the tandem formation and study their absolute and relative dynamic. In particular, this work focuses on the study of a master-slave scenario and the in plane maneuvers that these satellites require, proposing two different control strategies for the formation.


title: Probing Einstein-dilaton Gauss-Bonnet Gravity with the inspiral and ringdown of gravitational waves

abstract: Gravitational waves from extreme gravity events such as the coalescence of two black holes in a binary system fill our observable universe, bearing with them the underlying theory of gravity driving their process. One compelling alternative theory of gravity -- known as Einstein-dilaton Gauss-Bonnet gravity motivated by string theory -- describes the presence of an additional dilaton scalar field coupled directly to higher orders of the curvature, effectively describing a "fifth force" interaction and the emission of scalar dipole radiation between two scalarized black holes. Most previous studies focused on considering only the leading correction to the inspiral portion of the binary black hole waveforms. In our recent paper, we carried out inspiral-merger-ringdown consistency tests in this string-inspired gravity by including corrections to both the inspiral and ringdown portions, as well as those to the mass and spin of remnant black holes, valid to quadratic order in spin. We here extend the analysis by directly computing bounds on the theoretical coupling constant using the full inspiral-merger-ringdown waveform rather than treating the inspiral and merger-ringdown portions separately. We also consider the corrections valid to quartic order in spin to justify the validity of black hole's slow-rotation approximation. We find the quasinormal mode corrections to the waveform to be particularly important for high-mass events such as GW170729, in which the dilaton fields' small-coupling approximation fails without such effects included. We also show that future space-based and multiband gravitational-wave observations have the potential to go beyond existing bounds on the theory. The bounds presented here are comparable to those found in via the inspiral-merger-ringdown consistency tests.


title: Representations, Metrics and Statistics For Shape Analysis of Elastic Graphs

abstract: Past approaches for statistical shape analysis of objects have focused mainly on objects within the same topological classes, e.g., scalar functions, Euclidean curves, or surfaces, etc. For objects that differ in more complex ways, the current literature offers only topological methods. This paper introduces a far-reaching geometric approach for analyzing shapes of graphical objects, such as road networks, blood vessels, brain fiber tracts, etc. It represents such objects, exhibiting differences in both geometries and topologies, as graphs made of curves with arbitrary shapes (edges) and connected at arbitrary junctions (nodes). To perform statistical analyses, one needs mathematical representations, metrics and other geometrical tools, such as geodesics, means, and covariances. This paper utilizes a quotient structure to develop efficient algorithms for computing these quantities, leading to useful statistical tools, including principal component analysis and analytical statistical testing and modeling of graphical shapes. The efficacy of this framework is demonstrated using various simulated as well as the real data from neurons and brain arterial networks.


title: Turbulence suppression by energetic particle effects in modern optimized stellarators

abstract: Turbulent transport is known to limit the plasma confinement of present-day optimized stellarators. To address this issue, a novel method to strongly suppress turbulence in such devices is proposed, namely the resonant wave-particle interaction of supra-thermal particles - e.g., from ion-cyclotron-resonance-frequency (ICRF) heating - with turbulence-driving microinstabilities like ion-temperature-gradient (ITG) modes. The effectiveness of this mechanism is demonstrated via analytic theory and large-scale gyrokinetic simulations, revealing an overall turbulence reduction by up to $80\%$. These results hold the promise of new and still unexplored stellarator scenarios with enhanced confinement and improved performance, essential for achieving burning plasmas in future devices.


title: Interacting galaxies in the IllustrisTNG simulations -- I: Triggered star formation in a cosmological context

abstract: We use the IllustrisTNG cosmological hydrodynamical simulations to investigate how the specific star formation rates (sSFRs) of massive galaxies $(M_* > 10^{10} M_\odot)$ depend on the distance to their closest companions. We estimate sSFR enhancements by comparing with control samples that are matched in redshift, stellar mass, local density and isolation, and we restrict our analysis to pairs with stellar mass ratios of 0.1 to 10. At small separations (~15 kpc), the mean sSFR is enhanced by a factor of 2.0 $\pm$ 0.1 in the flagship (110.7 Mpc)$^3$ simulation (TNG100-1). Statistically significant enhancements extend out to 3D separations of 280 kpc in the (302.6 Mpc)$^3$ simulation (TNG300-1). We find similar trends in the EAGLE and Illustris simulations, although their sSFR enhancements are lower than those in TNG100-1 by about a factor of two. Enhancements in IllustrisTNG galaxies are seen throughout the redshift range explored ($0 \leq z < 1$), with the strength of the enhancements decreasing with increasing redshift for galaxies with close companions. In order to more closely compare with observational results, we separately consider 2D projected distances between galaxies in IllustrisTNG. We detect significant sSFR enhancements out to projected separations of 260 kpc in TNG300-1, with projection effects diluting the size of the enhancements by about 20 per cent below 50 kpc. We find similar sSFR enhancements in TNG100-1 and Sloan Digital Sky Survey galaxies, with enhancements extending out to projected separations of about 150 kpc for star-forming galaxies at $z < 0.2$. Finally, by summing over all separations, we estimate that the presence of closest companions boosts the average sSFR of massive galaxies in TNG100-1 by 14.5 per cent.


title: Enumerating Hardware-Software Splits with Program Rewriting

abstract: A core problem in hardware-software codesign is in the sheer size of the design space. Without a set ISA to constrain the hardware-software interface, the design space explodes. This work presents a strategy for managing the massive hardware-software design space within the domain of machine learning inference workloads and accelerators. We first propose EngineIR, a new language for representing machine learning hardware and software in a single program. Then, using equality graphs -- a data structure from the compilers literature -- we suggest a method for efficiently enumerating the design space by performing rewrites over our representation.


title: Emergent dual holographic description for interacting Dirac fermions in the large $N$ limit

abstract: We derive an effective dual holographic Einstein-Maxwell theory, applying renormalization group transformations to interacting Dirac fermions in a recursive way. In particular, we show how both background metric tensor and U(1) gauge fields become dynamical to describe the renormalization group flows of coupling functions and order parameter fields of the corresponding quantum field theory through natural emergence of an extra-dimensional space, respectively. Finally, we propose a prescription on how to calculate correlation functions in a non-perturbative way, where quantum fluctuations of both metric and gauge fields are frozen to cause a classical field theory of the Einstein-Maxwell type in the large $N$ limit. Here, $N$ is the flavor degeneracy of Dirac fermions. This prescription turns out to coincide with that of the holographic duality conjecture.


title: OpEn: Code Generation for Embedded Nonconvex Optimization

abstract: We present Optimization Engine (OpEn): an open-source code generation tool for real-time embedded nonconvex optimization, which implements a novel numerical method. OpEn combines the proximal averaged Newton-type method for optimal control (PANOC) with the penalty and augmented Lagrangian methods to compute approximate stationary points of nonconvex problems. The proposed method involves very simple algebraic operations such as vector products, has a low memory footprint and exhibits very good convergence properties that allow the solution of nonconvex problems on embedded devices. OpEn's core solver is written is Rust - a modern, high-performance, memory-safe and thread-safe systems programming language - while users can call it from Python, MATLAB, C, C++ or over a TCP socket.


title: Unsupervised Dictionary Learning for Anomaly Detection

abstract: We investigate the possibilities of employing dictionary learning to address the requirements of most anomaly detection applications, such as absence of supervision, online formulations, low false positive rates. We present new results of our recent semi-supervised online algorithm, TODDLeR, on a anti-money laundering application. We also introduce a novel unsupervised method of using the performance of the learning algorithm as indication of the nature of the samples.


title: Improving Sustainability of Cryptocurrency Payment Networks for IoT Applications

abstract: Blockchain-based cryptocurrencies received a lot of attention recently for their applications in many domains. IoT domain is one of such applications, which can utilize cryptocur-rencies for micro payments without compromising their payment privacy. However, long confirmation times of transactions and relatively high fees hinder the adoption of cryptoccurency based micro-payments. The payment channel networks is one of the proposed solutions to address these issue where nodes establish payment channels among themselves without writing on blockchain. IoT devices can benefit from such payment networks as long as they are capable of sustaining their overhead. Payment channel networks pose unique characteristics as far as the routing problem is concerned. Specifically, they should stay balanced to have a sustainable network for maintaining payments for longer times, which is crucial for IoT devices once they are deployed.In this paper, we present a payment channel network design that aims to keep the channels balanced by using a common weight policy across the network. We additionally propose using multi-point connections to nodes for each IoT device for unbalanced payment scenarios. The experiment results show that we can keep the channels in the network more equally balanced compared to the minimal fee approach. In addition, multiple connections from IoT devices to nodes increase the success ratio significantly.


title: Adaptive Federated Optimization

abstract: Federated learning is a distributed machine learning paradigm in which a large number of clients coordinate with a central server to learn a model without sharing their own training data. Standard federated optimization methods such as Federated Averaging (FedAvg) are often difficult to tune and exhibit unfavorable convergence behavior. In non-federated settings, adaptive optimization methods have had notable success in combating such issues. In this work, we propose federated versions of adaptive optimizers, including Adagrad, Adam, and Yogi, and analyze their convergence in the presence of heterogeneous data for general non-convex settings. Our results highlight the interplay between client heterogeneity and communication efficiency. We also perform extensive experiments on these methods and show that the use of adaptive optimizers can significantly improve the performance of federated learning.


title: Renegotiation and recursion in Bitcoin contracts

abstract: BitML is a process calculus to express smart contracts that can be run on Bitcoin. One of its current limitations is that, once a contract has been stipulated, the participants cannot renegotiate its terms: this prevents expressing common financial contracts, where funds have to be added by participants at run-time. In this paper, we extend BitML with a new primitive for contract renegotiation. At the same time, the new primitive can be used to write recursive contracts, which was not possible in the original BitML. We show that, despite the increased expressiveness, it is still possible to execute BitML on standard Bitcoin, preserving the security guarantees of BitML.


title: Uncertainty evaluation in the estimates of isotopic abundances and atomic weight of any element: a unique application of the theory of uncertainty for derived results

abstract: It has been previously shown that any measurement system specific relationship (SSR)/ mathematical-model Y_d = f_d ({X_m}) or so is bracketed with certain parameters which should prefix the achievable-accuracy/ uncertainty (e_d^Y) of a desired result y_d. Here we clarify how the element-specific-expressions of isotopic abundances and/ or atomic weight could be parametrically distinguished from one another, and the achievable accuracy be even a priori predicted. It is thus signified that, irrespective of whether the measurement-uncertainty (u_m) could be purely random by origin or not, e_d^Y should be a systematic parameter. Further, by property-governing-factors, any SSR should belong to either variable-independent (F.1) or -dependent (F.2) family of SSRs/ models. The SSRs here are shown to be the members of the F.2 family. That is, it is pointed out that, and explained why, the uncertainty (e) of determining an either isotopic abundance or atomic weight should vary, even for any given measurement-accuracy(s) u_m(s), as a function of the measurable-variable(s) X_m(s). However, the required computational-step has been shown to behave as an error-sink in the overall process of indirect measurement in question.


title: A new shape function for wormholes in $f(R)$ gravity and General Relativity

abstract: In the present work, a new shape function is proposed inside a modified $f(R)$ gravity and General Relativity in wormhole (WH) geometry. The shape function obeyed all the desired conditions of WH geometry. The equation of state (EoS) parameter, anisotropy parameter and the energy conditions are computed. The tangential null energy conditions and the weak energy condition are validated, as well as the radial energy conditions, which demonstrates the nonappearance of exotic matter due to modified gravity allied with such a new proposal.


title: Calculation of the Vacuum Energy Density using Zeta Function Regularization

abstract: This paper presents a theoretical calculation of the vacuum energy density by summing the contributions of all quantum fields vacuum states which turns out to indicate that there seems to be a missing bosonic contribution in order to match the predictions of current cosmological models and all observational data to date. The basis for this calculation is a Zeta function regularization method used to tame the infinities present in the improper integrals of power functions.


title: Correlations between emission events in Rainbow Gravity

abstract: In this work, we study emission correlations in Rainbow Gravity (RG) black holes known to have black hole remnants. Non-thermal corrections are responsible for generating non-zero correlations between particle emission events during the black hole evaporation process. With this in mind, we calculate the temperatures considering back-reaction effects. Then, we obtain the correlations between emission events for a RG metric proposed by Magueijo and Smolin. We also discuss through a numerical analysis the emission correlations behavior in the last stages of evaporation of the black hole.


title: Einstein Gravity Path Integral as an effective quantum theory of an quantized space-time

abstract: We show that Einstein gravitation theory may be understood as an effective theory of a quantum theory for the space-time implemented as a Bosonic string path integral and interacting with the fluctuating Einstein space time metric field .


title: Reducing Precoder/Channel Mismatch and Enhancing Secrecy in Practical MIMO Systems Using Artificial Signals

abstract: Practical multiple-input-multiple-output (MIMO) systems depend on a predefined set of precoders to provide spatial multiplexing gain. This limitation on the flexibility of the precoders affects the overall performance. Here, we propose a transmission scheme that can reduce the effect of mismatch between users' channels and precoders. The scheme uses the channel knowledge to generate an artificial signal, which realigns the predefined precoder to the actual channel. Moreover, the scheme can provide an additional level of secrecy for the communication link. The performance of the proposed scheme is evaluated using bit-error rate (BER), error vector magnitude (EVM), and secrecy capacity. The results show a significant improvement for the legitimate user, along with a degradation for the eavesdropper.


title: Grounded and Controllable Image Completion by Incorporating Lexical Semantics

abstract: In this paper, we present an approach, namely Lexical Semantic Image Completion (LSIC), that may have potential applications in art, design, and heritage conservation, among several others. Existing image completion procedure is highly subjective by considering only visual context, which may trigger unpredictable results which are plausible but not faithful to a grounded knowledge. To permit both grounded and controllable completion process, we advocate generating results faithful to both visual and lexical semantic context, i.e., the description of leaving holes or blank regions in the image (e.g., hole description). One major challenge for LSIC comes from modeling and aligning the structure of visual-semantic context and translating across different modalities. We term this process as structure completion, which is realized by multi-grained reasoning blocks in our model. Another challenge relates to the unimodal biases, which occurs when the model generates plausible results without using the textual description. This can be true since the annotated captions for an image are often semantically equivalent in existing datasets, and thus there is only one paired text for a masked image in training. We devise an unsupervised unpaired-creation learning path besides the over-explored paired-reconstruction path, as well as a multi-stage training strategy to mitigate the insufficiency of labeled data. We conduct extensive quantitative and qualitative experiments as well as ablation studies, which reveal the efficacy of our proposed LSIC.


title: Voice trigger detection from LVCSR hypothesis lattices using bidirectional lattice recurrent neural networks

abstract: We propose a method to reduce false voice triggers of a speech-enabled personal assistant by post-processing the hypothesis lattice of a server-side large-vocabulary continuous speech recognizer (LVCSR) via a neural network. We first discuss how an estimate of the posterior probability of the trigger phrase can be obtained from the hypothesis lattice using known techniques to perform detection, then investigate a statistical model that processes the lattice in a more explicitly data-driven, discriminative manner. We propose using a Bidirectional Lattice Recurrent Neural Network (LatticeRNN) for the task, and show that it can significantly improve detection accuracy over using the 1-best result or the posterior.


title: Control Efficacy on COVID-19

abstract: We proposed a Monte-Carlo method to estimate temporal reproduction number without complete information about symptom onsets of all cases. Province-level analysis demonstrated the huge success of Chinese control measures on COVID-19, that is, provinces' reproduction numbers quickly decrease to <1 by just one week after taking actions.


title: Dimension-free convergence rates for gradient Langevin dynamics in RKHS

abstract: Gradient Langevin dynamics (GLD) and stochastic GLD (SGLD) have attracted considerable attention lately, as a way to provide convergence guarantees in a non-convex setting. However, the known rates grow exponentially with the dimension of the space. In this work, we provide a convergence analysis of GLD and SGLD when the optimization space is an infinite dimensional Hilbert space. More precisely, we derive non-asymptotic, dimension-free convergence rates for GLD/SGLD when performing regularized non-convex optimization in a reproducing kernel Hilbert space. Amongst others, the convergence analysis relies on the properties of a stochastic differential equation, its discrete time Galerkin approximation and the geometric ergodicity of the associated Markov chains.


title: Loss landscapes and optimization in over-parameterized non-linear systems and neural networks

abstract: The success of deep learning is due, to a large extent, to the remarkable effectiveness of gradient-based optimization methods applied to large neural networks. The purpose of this work is to propose a modern view and a general mathematical framework for loss landscapes and efficient optimization in over-parameterized machine learning models and systems of non-linear equations, a setting that includes over-parameterized deep neural networks. Our starting observation is that optimization problems corresponding to such systems are generally not convex, even locally. We argue that instead they satisfy PL$^*$, a variant of the Polyak-Lojasiewicz condition on most (but not all) of the parameter space, which guarantees both the existence of solutions and efficient optimization by (stochastic) gradient descent (SGD/GD). The PL$^*$ condition of these systems is closely related to the condition number of the tangent kernel associated to a non-linear system showing how a PL$^*$-based non-linear theory parallels classical analyses of over-parameterized linear equations. We show that wide neural networks satisfy the PL$^*$ condition, which explains the (S)GD convergence to a global minimum. Finally we propose a relaxation of the PL$^*$ condition applicable to "almost" over-parameterized systems.


title: A Mathematical Model for Arch Fingerprint

abstract: In this paper, different categories of the arch fingerprint are set up in a general dynamical system model using ordinary differential equations. We study its global dynamics and analyze the existence and stability of equilibria. Numerical simulations using Maple show the matching between real images of categories of arch fingerprint and phase portraits of the considered dynamical system.


title: Possible Lattice and Charge Order in CuxBi2Te2Se

abstract: Metal intercalation into layered topological insulator materials such as the binary chalcogenide Bi2X3 (X=Te or Se) has yielded novel two-dimensional electron-gas physics, phase transitions to superconductivity, as well as interesting magnetic ground states. Of recent interest is the intercalation-driven interplay between lattice distortions, density wave ordering, and the emergence of new phenomena in the vicinity of instabilities induced by intercalation. Here, we examine the effects of Cu-intercalation on the ternary chalcogenide Bi2Te2Se. We report the discovery, in Cu0.3Bi2Te2Se, of a periodic lattice distortion at room temperature, together with a charge density wave transition around Td = 220K. We also report, for the first time, a complete study of the CuxBi2Te2Se system, and the effect of Cu-intercalation on crystal structure, phonon structure, and electronic properties for 0.0 $\le$ x $\le$ 0.5. Our electron diffraction studies reveal strong Bragg spots at reciprocal lattice positions forbidden by ABC stacking, possibly resulting from stacking faults, or a superlattice. The c-axis lattice parameter varies monotonically with x for 0 $\lt$ x $\lt$ 0.2, but drops precipitously for higher x. Similarly, Raman phonon modes $A^2_{1g}$ and $E_g$ soften monotonically for 0 $\lt$ x $\lt$ 0.2 but harden sharply for x $\gt$ 0.2. This indicates that Cu likely intercalates up to x $\sim$0.2, followed by partial site-substitutions at higher values. The resulting strain makes the 0.2 $\lt$ x $\lt$ 0.3 region susceptible to instabilities and distortions. Our results point toward the presence of an incommensurate CDW above Td = 220 K. This work strengthens prevalent thought that intercalation contributes significantly to instabilities in the lattice and charge degrees of freedom in layered chalcogenides.


title: Optical Kerr nonlinearity of arrays of all-dielectric high index nanodisks in the vicinity of the anapole state

abstract: The nonlinear optical properties of the high index nanoparticles are boosted at the anapole state. Researchers intensively study this phenomenon as promising for various applications. In this work, the nonlinear optical Kerr effect of disordered and square lattice metasurfaces of GaP nanodisks is investigated as a function of the disk size in the vicinity of the anapole state at the wavelength of 532 nm. When the sizes of the nanodisks are close to the anapole state, the effective second order refractive index of the metasurface increases exponentially. On approaching the anapole state, the sign of the effective second order refractive index is inverted. The absolute value of the effective nonlinear Kerr coefficient of the square lattice metasurface is higher than that of the disordered array of nanodisks. The absolute value of the effective second order refractive index in proximity to the anapole state is an order of magnitude higher than that at non-anapole resonances of the disordered metasurfaces consisting of the nanodisks or spheres.


title: Comparing decompositions of Poincar\'e duality pairs

abstract: Analogues of JSJ decompositions were developed for Poincar\'e duality pairs in [19]. These decompositions depend only on the group. Our focus will be on describing the edge splittings of these decompositions more precisely. We use our results to compare these decompositions with two other closely related decompositions.


title: Bilinear estimates in the presence of a large potential and a critical NLS in 3d

abstract: We propose an approach to nonlinear evolution equations with large and decaying external potentials that addresses the question of controlling globally-in-time the nonlinear interactions of localized waves in this setting. This problem arises when studying localized perturbations around (possibly non-decaying) special solutions of evolution PDEs, and trying to control the projection onto the continuous spectrum of the nonlinear radiative interactions. One of our main tools is the Fourier transform adapted to the Schr\"odinger operator $H=-\Delta+V$, which we employ at a nonlinear level. As a first step we analyze the spatial integral of the product of three generalized eigenfunctions of $H$, and determine the precise structure of its singularities. This leads to study bilinear operators with certain singular kernels, for which we derive product estimates of Coifman-Meyer type. This analysis can then be combined with multilinear harmonic analysis tools and the study of oscillations to obtain (distorted Fourier space analogues of) weighted estimates for dispersive and wave equations. As a first application we consider the nonlinear Schr\"odinger equation in $3$d in the presence of large decaying potential with no bound states, and with a $u^2$ non-linearity. The main difficulty is that a quadratic nonlinearity in $3$d is critical with respect to the Strauss exponent; moreover, this nonlinearity has non-trivial fully coherent interactions even when $V=0$. We prove quantitative global-in-time bounds and scattering for small solutions.


title: Magnetoelectric polarizability: A microscopic perspective

abstract: We extend a field theoretic approach for the investigation of the electronic charge-current density response of crystalline systems to arbitrary applied electromagnetic fields. The approach leads to the introduction of microscopic polarization and magnetization fields, as well as free charge and current densities, the dynamics of which are described by a lattice gauge theory. The spatial averages of such quantities constitute the fields of macroscopic electrodynamics. We implement this formalism to study the orbital electronic response of a class of insulators to applied uniform dc electric and magnetic fields at zero temperature. To first-order in the applied fields, the free charge and current densities vanish; thus the response of the system is characterized by the first-order modifications to the microscopic polarization and magnetization fields. Associated with the dipole moment of the microscopic polarization (magnetization) field is a macroscopic polarization (magnetization), for which we extract various response tensors. We focus on the orbital magnetoelectric polarizability (OMP) tensor, and find the accepted expression as derived from the "modern theory of polarization and magnetization." Since our results are based on the spatial averages of microscopic fields, we can identify the distinct contributions to the OMP tensor from the perspective of this microscopic theory, and we establish the general framework in which extensions to finite frequency can be made.


title: A complexity chasm for solving univariate sparse polynomial equations over $p$-adic fields

abstract: We reveal a complexity chasm, separating the trinomial and tetranomial cases, for solving univariate sparse polynomial equations over certain local fields. First, for any fixed field $K\in\{\mathbb{Q}_2,\mathbb{Q}_3,\mathbb{Q}_5,\ldots\}$, we prove that any polynomial $f\in\mathbb{Z}[x]$ with exactly $3$ monomial terms, degree $d$, and all coefficients having absolute value at most $H$, can be solved over $K$ in deterministic time $O(\log^{O(1)}(dH))$ in the classical Turing model. (The best previous algorithms were of complexity exponential in $\log d$, even for just counting roots in $\mathbb{Q}_p$.) In particular, our algorithm generates approximations in $\mathbb{Q}$ with bit-length $O(\log^{O(1)}(dH))$ to all the roots of $f$ in $K$, and these approximations converge quadratically under Newton iteration. On the other hand, we give a unified family of tetranomials requiring $\Omega(d\log H)$ digits to distinguish the base-$p$ expansions of their roots in $K$.


title: Lattice Bisognano-Wichmann modular Hamiltonian in critical quantum spin chains

abstract: We carry out a comprehensive comparison between the exact modular Hamiltonian and the lattice version of the Bisognano-Wichmann (BW) one in one-dimensional critical quantum spin chains. As a warm-up, we first illustrate how the trace distance provides a more informative mean of comparison between reduced density matrices when compared to any other Schatten $n$-distance, normalized or not. In particular, as noticed in earlier works, it provides a way to bound other correlation functions in a precise manner, i.e., providing both lower and upper bounds. Additionally, we show that two close reduced density matrices, i.e. with zero trace distance for large sizes, can have very different modular Hamiltonians. This means that, in terms of describing how two states are close to each other, it is more informative to compare their reduced density matrices rather than the corresponding modular Hamiltonians. After setting this framework, we consider the ground states for infinite and periodic XX spin chain and critical Ising chain. We provide robust numerical evidence that the trace distance between the lattice BW reduced density matrix and the exact one goes to zero as $\ell^{-2}$ for large length of the interval $\ell$. This provides strong constraints on the difference between the corresponding entanglement entropies and correlation functions. Our results indicate that discretized BW reduced density matrices reproduce exact entanglement entropies and correlation functions of local operators in the limit of large subsystem sizes. Finally, we show that the BW reduced density matrices fall short of reproducing the exact behavior of the logarithmic emptiness formation probability in the ground state of the XX spin chain.